Trace number 4116221

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size144-round22-8.opb
MD5SUM060553e9278d09db71a072242e10172b
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 constraints8720
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)432
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-26T20:46:16+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-4116221-1466966776.opb"]
0.00/0.01	c use --random-gen="2195832683 3585668578 2076124345 3995263916 408235587 3984357814 2436206943 585460942 3925413223 3033271847 1140242488 3122213656 1263427224 2722590161 4280787970 1461870479 4220248613 79717122 1609213937 716551645 2713323684 2776294480 2982532510 377240698 3012188343 1027669017 2223681421 1363044129 728598411 3310264149 158507486 1856677981 3921224951 3546144088 739155270 4139939221 3265597187 2494176097 139332645 1644879276 4032715372 1068997853 2563382695 4234619359 920898081 793229829 1044348433 2966164076 2134886437 2761607831 1142369156 595905573 297739954 1036272418 3693385128 3781360130 2384492581 444547332 3703201527 2139738523 1031495101 3288499964 4285852806 2600455605 1138180242 2292090072 774698653 1846806370 2798980186 436394850 3055916279 1299928538 872787526 265086200 3277472614 805888494 931219744 2766193573 380971662 219878568 3504737814 577306885 1297934148 2767267718 2628448319 1648650212 3062450624 3241835078 1410101732 370366580 335297598 3505735044 2082059721 2314115734 2473581470 3276631069 1068530120 4249011487 4291158240 878614898 1497775770 3271633857 341889277 2337083244 1672993401 3665904623 3190308316 440605798 7489544 475422505 2339708914 3965168788 2834520110 670438727 550550984 1251740436 495915540 2556621290 2365419693 555314500 981134109 59176601 2094005668 2005238185 509397070 3059241602 2530955247 872155544 2638731126 3858085870 1753033076 3774695139 2099117694 1752160760 1865656844 191910679 3676694573 1183849957 60852088 3267024800 2279461505 2750846705 1454020984 1652292041 2485821106 948261472 1813433683 709589373 3006996862 712571802 2636779287 2848106859 2972764292 2376519130 2328977874 1286057726 4253485875 964907756 4124433129 2710421297 2976372821 1254034862 3532063694 2870464977 3731323184 401426334 438870046 2044035838 2371008567 4095378892 30194024 2764114068 1408108403 3910572539 121510002 975749560 852025232 2900478174 1035458530 2056976931 1554375991 3007775990 977702638 3343020008 3888075748 2472469437 2558993830 3466790606 2958223743 2070672881 2152642546 2332579418 3148114953 479679303 1052818256 1519609874 73954766 4290707797 3943339602 225966511 2982122128 2623234796 2768168670 1079441278 3563626895 1660800542 1940499666 1729916298 329546276 879522887 796599697 4248744142 3671564825 1884690916 3896029757 1407357294 848968500 2151677173 1155198276 3566947596 1686337605 3135424506 4085582680 4050655118 1411408691 1347333123 1017400194 999042024 3120645150 3977756816 3530884520 132319307 816860997 3179428038 1623789675 3135653936 3156271937 365901470 2353912332 1019003857 1628895909 3812785022 160464749 639369032 2977018197 2446437653 1011912005 1144454659 3209953853 4197089494 1850528379 913835040 731845151 3978544430 2398015109 1697953849 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8720
0.19/0.26	c Solving starts ...
0.19/0.26	c ============================[ Search Statistics ]============================
0.19/0.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.26	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.26	c =============================================================================
0.19/0.26	c  0.0s |       0 |        0 |        0 |     4234      0 |      824 |        0
0.29/0.35	c  0.1s |       1 |      391 |      100 |     4234      0 |      824 |      712
0.39/0.48	c  0.2s |       2 |     1608 |      250 |     4658      0 |      825 |      712
0.59/0.63	c  0.4s |       3 |     3862 |      475 |     5124      0 |      825 |      712
0.79/0.85	c  0.6s |       4 |     6367 |      813 |     5637      0 |      825 |      712
1.10/1.19	c  0.9s |       5 |    10166 |     1320 |     6201      0 |      826 |      712
1.79/1.86	c  1.6s |       6 |    14179 |     2081 |     7505      0 |      826 |      712
2.89/2.90	c  2.6s |       7 |    16766 |     3223 |     8256      0 |      826 |      712
3.89/3.96	c  3.7s |       8 |    25052 |     4936 |     9082      0 |      826 |      712
5.89/5.99	c  5.7s |       9 |    35350 |     7506 |     9991      0 |      826 |      712
7.99/8.08	c  7.8s |       9 |    40442 |     9606 |     9991      0 |      826 |      712
10.09/10.12	c  9.9s |       9 |    42284 |    11106 |     9991      0 |      826 |      712
10.39/10.49	c 10.2s |      10 |    42581 |    11361 |    10991      0 |      826 |      712
12.49/12.56	c 12.3s |      10 |    50836 |    14061 |    10991      0 |      826 |      712
14.49/14.59	c 14.3s |      10 |    52364 |    15261 |    10991      1 |      826 |      712
16.79/16.81	c 16.6s |      10 |    53731 |    16361 |    10991      1 |      826 |      712
17.89/17.90	c 17.6s |      11 |    54911 |    17144 |    12091      1 |      826 |      712
19.90/19.93	c 19.7s |      11 |    62124 |    19244 |    12091      1 |      826 |      712
21.89/21.93	c 21.7s |      11 |    64497 |    20844 |    12091      1 |      826 |      712
23.99/24.03	c 23.8s |      11 |    66884 |    22444 |    12091      1 |      826 |      712
26.19/26.23	c 26.0s |      11 |    68909 |    23844 |    12091      2 |      826 |      712
28.19/28.28	c 28.0s |      11 |    70534 |    25144 |    12091      2 |      826 |      712
29.29/29.30	c 29.0s |      12 |    71543 |    25819 |    13301      2 |      826 |      712
31.29/31.31	c 31.1s |      12 |    76697 |    27819 |    13301      2 |      826 |      712
33.29/33.36	c 33.1s |      12 |    79356 |    29419 |    13301      2 |      826 |      712
35.49/35.54	c 35.3s |      12 |    81589 |    30919 |    13301      2 |      826 |      712
37.59/37.63	c 37.4s |      12 |    82979 |    32019 |    13301      3 |      826 |      712
39.69/39.75	c 39.5s |      12 |    84312 |    33119 |    13301      3 |      826 |      712
41.79/41.89	c 41.6s |      12 |    85718 |    34219 |    13301      3 |      826 |      712
43.99/44.07	c 43.8s |      12 |    86768 |    35119 |    13301      3 |      826 |      712
46.19/46.30	c 46.0s |      12 |    87847 |    36019 |    13301      3 |      826 |      712
48.29/48.39	c 48.1s |      12 |    88762 |    36819 |    13301      3 |      826 |      712
50.49/50.52	c 50.3s |      12 |    89691 |    37619 |    13301      3 |      826 |      712
52.69/52.74	c 52.5s |      12 |    90496 |    38319 |    13301      3 |      826 |      712
53.78/53.89	c 53.6s |      13 |    91074 |    38832 |    14632      3 |      826 |      712
55.88/55.93	c 55.7s |      13 |    94730 |    40332 |    14632      4 |      826 |      712
57.98/58.07	c 57.8s |      13 |    96358 |    41732 |    14632      4 |      826 |      712
60.18/60.25	c 60.0s |      13 |    97852 |    43032 |    14632      4 |      826 |      712
62.28/62.34	c 62.1s |      13 |    99093 |    44132 |    14632      4 |      826 |      712
64.48/64.56	c 64.3s |      13 |   100072 |    45032 |    14632      4 |      826 |      712
66.68/66.75	c 66.5s |      13 |   101156 |    46032 |    14632      4 |      826 |      712
68.78/68.87	c 68.6s |      13 |   102134 |    46932 |    14632      4 |      826 |      712
70.98/71.07	c 70.8s |      13 |   103256 |    47932 |    14632      4 |      826 |      712
73.08/73.19	c 72.9s |      13 |   104383 |    48932 |    14632      4 |      826 |      712
75.28/75.36	c 75.1s |      13 |   105433 |    49832 |    14632      5 |      826 |      712
77.38/77.44	c 77.2s |      13 |   106585 |    50832 |    14632      5 |      826 |      712
79.48/79.59	c 79.3s |      13 |   107449 |    51632 |    14632      5 |      826 |      712
81.58/81.62	c 81.4s |      13 |   108318 |    52432 |    14632      5 |      826 |      712
83.69/83.77	c 83.5s |      13 |   109227 |    53232 |    14632      5 |      826 |      712
85.79/85.86	c 85.6s |      13 |   109854 |    53832 |    14632      5 |      826 |      712
87.99/88.03	c 87.8s |      13 |   110714 |    54632 |    14632      5 |      826 |      712
90.19/90.30	c 90.0s |      13 |   111587 |    55432 |    14632      5 |      826 |      712
92.28/92.32	c 92.1s |      13 |   112350 |    56132 |    14632      5 |      826 |      712
94.48/94.50	c 94.2s |      13 |   113094 |    56832 |    14632      5 |      826 |      712
96.48/96.50	c 96.2s |      13 |   113734 |    57432 |    14632      5 |      826 |      712
98.68/98.79	c 98.5s |      13 |   114507 |    58132 |    16096      5 |      826 |      712
99.48/99.50	c 99.2s |      14 |   114754 |    58352 |    16096      5 |      826 |      712
101.48/101.51	c  101s |      14 |   123340 |    60552 |    16096      6 |      826 |      712
103.58/103.60	c  103s |      14 |   126586 |    62152 |    16096      6 |      826 |      712
105.68/105.74	c  105s |      14 |   128282 |    63252 |    16096      6 |      826 |      712
107.78/107.85	c  107s |      14 |   129686 |    64152 |    16096      6 |      826 |      712
110.08/110.12	c  109s |      14 |   131306 |    65352 |    16096      6 |      826 |      712
112.07/112.19	c  111s |      14 |   132555 |    66352 |    16096      6 |      826 |      712
114.17/114.27	c  114s |      14 |   134192 |    67552 |    16096      6 |      826 |      712
116.17/116.27	c  116s |      14 |   135757 |    68652 |    16096      6 |      826 |      712
118.37/118.42	c  118s |      14 |   136901 |    69552 |    16096      7 |      826 |      712
120.57/120.63	c  120s |      14 |   138030 |    70452 |    16096      7 |      826 |      712
122.77/122.80	c  122s |      14 |   138895 |    71152 |    16096      7 |      826 |      712
124.77/124.87	c  124s |      14 |   140124 |    72052 |    16096      7 |      826 |      712
127.07/127.10	c  126s |      14 |   141141 |    72852 |    16096      7 |      826 |      712
129.17/129.22	c  128s |      14 |   141998 |    73552 |    16096      7 |      826 |      712
131.27/131.35	c  131s |      14 |   142705 |    74152 |    16096      7 |      826 |      712
133.57/133.61	c  133s |      14 |   143398 |    74752 |    16096      7 |      826 |      712
135.67/135.79	c  135s |      14 |   144106 |    75352 |    16096      7 |      826 |      712
137.87/137.96	c  137s |      14 |   145037 |    76052 |    16096      7 |      826 |      712
139.87/139.97	c  139s |      14 |   145889 |    76752 |    16096      7 |      826 |      712
142.17/142.20	c  141s |      14 |   146900 |    77552 |    16096      7 |      826 |      712
144.17/144.24	c  143s |      14 |   147656 |    78152 |    16096      7 |      826 |      712
146.37/146.46	c  146s |      14 |   148549 |    78852 |    16096      8 |      826 |      712
148.57/148.68	c  148s |      14 |   149521 |    79652 |    16096      8 |      826 |      712
150.67/150.78	c  150s |      14 |   150536 |    80452 |    16096      8 |      826 |      712
152.97/153.08	c  152s |      14 |   151359 |    81152 |    16096      8 |      826 |      712
155.27/155.37	c  155s |      14 |   152190 |    81852 |    16096      8 |      826 |      712
157.37/157.43	c  157s |      14 |   152944 |    82452 |    16096      8 |      826 |      712
159.66/159.75	c  159s |      14 |   153848 |    83152 |    16096      8 |      826 |      712
161.96/162.02	c  161s |      14 |   154661 |    83852 |    16096      8 |      826 |      712
164.16/164.26	c  164s |      14 |   155384 |    84452 |    16096      8 |      826 |      712
166.36/166.44	c  166s |      14 |   155977 |    84952 |    16096      8 |      826 |      712
168.46/168.53	c  168s |      14 |   157900 |    85852 |    16096      8 |      826 |      712
170.57/170.63	c  170s |      14 |   159355 |    86852 |    16096      8 |      826 |      712
172.46/172.57	c  172s |      15 |   160306 |    87632 |    17706      8 |      826 |      712
174.56/174.68	c  174s |      15 |   164821 |    89232 |    17706      9 |      826 |      712
176.66/176.73	c  176s |      15 |   167344 |    91032 |    17706      9 |      826 |      712
178.76/178.82	c  178s |      15 |   169396 |    92632 |    17706      9 |      826 |      712
180.86/180.91	c  180s |      15 |   171363 |    94132 |    17706      9 |      826 |      712
182.96/183.08	c  182s |      15 |   173302 |    95632 |    17706      9 |      826 |      712
185.06/185.15	c  184s |      15 |   174749 |    96832 |    17706      9 |      826 |      712
187.07/187.18	c  186s |      15 |   175945 |    97832 |    17706      9 |      826 |      712
189.17/189.27	c  189s |      15 |   177066 |    98832 |    17706      9 |      826 |      712
191.36/191.44	c  191s |      15 |   178175 |    99732 |    17706     10 |      826 |      712
193.46/193.59	c  193s |      15 |   179224 |   100632 |    17706     10 |      826 |      712
195.56/195.65	c  195s |      15 |   180107 |   101432 |    17706     10 |      826 |      712
197.76/197.85	c  197s |      15 |   181165 |   102332 |    17706     10 |      826 |      712
200.06/200.17	c  199s |      15 |   182053 |   103132 |    17706     10 |      826 |      712
202.16/202.26	c  202s |      15 |   182824 |   103832 |    17706     10 |      826 |      712
204.16/204.27	c  204s |      15 |   183751 |   104632 |    17706     10 |      826 |      712
206.16/206.29	c  206s |      15 |   184534 |   105332 |    17706     10 |      826 |      712
208.26/208.38	c  208s |      15 |   185308 |   106032 |    17706     10 |      826 |      712
210.66/210.74	c  210s |      15 |   186081 |   106732 |    17706     10 |      826 |      712
212.75/212.89	c  212s |      15 |   186723 |   107332 |    17706     10 |      826 |      712
215.05/215.17	c  214s |      15 |   187381 |   107932 |    17706     10 |      826 |      712
217.35/217.42	c  217s |      15 |   188049 |   108532 |    17706     10 |      826 |      712
219.35/219.48	c  219s |      15 |   188713 |   109132 |    17706     10 |      826 |      712
221.55/221.65	c  221s |      15 |   189547 |   109832 |    17706     11 |      826 |      712
223.65/223.74	c  223s |      15 |   190757 |   110832 |    17706     11 |      826 |      712
225.86/225.97	c  225s |      15 |   191918 |   111832 |    17706     11 |      826 |      712
227.96/228.05	c  227s |      15 |   192799 |   112632 |    17706     11 |      826 |      712
230.16/230.25	c  229s |      15 |   193692 |   113432 |    17706     11 |      826 |      712
232.36/232.41	c  232s |      15 |   194588 |   114232 |    17706     11 |      826 |      712
234.56/234.64	c  234s |      15 |   195612 |   115032 |    17706     11 |      826 |      712
236.66/236.79	c  236s |      15 |   197457 |   116232 |    17706     11 |      826 |      712
238.96/239.03	c  238s |      15 |   198653 |   117232 |    17706     11 |      826 |      712
241.06/241.13	c  240s |      15 |   199778 |   118132 |    17706     11 |      826 |      712
243.26/243.33	c  243s |      15 |   201014 |   119132 |    17706     11 |      826 |      712
245.26/245.39	c  245s |      15 |   201935 |   119932 |    17706     11 |      826 |      712
247.36/247.48	c  247s |      15 |   202720 |   120632 |    17706     12 |      826 |      712
249.56/249.63	c  249s |      15 |   203878 |   121632 |    17706     12 |      826 |      712
251.56/251.65	c  251s |      15 |   205120 |   122632 |    17706     12 |      826 |      712
253.66/253.70	c  253s |      15 |   207188 |   123932 |    17706     12 |      826 |      712
255.76/255.83	c  255s |      15 |   209398 |   125132 |    17706     12 |      826 |      712
257.76/257.90	c  257s |      15 |   210995 |   126232 |    17706     12 |      826 |      712
260.06/260.11	c  259s |      15 |   212202 |   127232 |    17706     12 |      826 |      712
262.05/262.12	c  261s |      15 |   213171 |   128032 |    17706     12 |      826 |      712
264.15/264.29	c  264s |      15 |   214209 |   128932 |    17706     12 |      826 |      712
266.35/266.48	c  266s |      15 |   215131 |   129732 |    17706     12 |      826 |      712
268.46/268.56	c  268s |      15 |   216073 |   130532 |    17706     12 |      826 |      712
270.66/270.75	c  270s |      15 |   216858 |   131232 |    19477     12 |      826 |      712
271.66/271.70	c  271s |      16 |   217225 |   131552 |    19477     12 |      826 |      712
273.65/273.79	c  273s |      16 |   230712 |   133952 |    19477     13 |      826 |      712
275.95/276.00	c  275s |      16 |   234003 |   135552 |    19477     13 |      826 |      712
277.95/278.07	c  277s |      16 |   236017 |   136752 |    19477     13 |      826 |      712
280.05/280.14	c  279s |      16 |   238702 |   138252 |    19477     13 |      826 |      712
282.15/282.22	c  281s |      16 |   240280 |   139352 |    19477     13 |      826 |      712
284.25/284.32	c  284s |      16 |   242818 |   140652 |    19477     13 |      826 |      712
286.25/286.33	c  286s |      16 |   246025 |   142052 |    19477     13 |      826 |      712
288.26/288.33	c  288s |      16 |   247632 |   142952 |    19477     13 |      826 |      712
290.46/290.52	c  290s |      16 |   248617 |   143752 |    19477     14 |      826 |      712
292.45/292.59	c  292s |      16 |   250742 |   144852 |    19477     14 |      826 |      712
294.75/294.81	c  294s |      16 |   252342 |   145952 |    19477     14 |      826 |      712
296.85/296.97	c  296s |      16 |   253365 |   146752 |    19477     14 |      826 |      712
299.05/299.14	c  298s |      16 |   254360 |   147552 |    19477     14 |      826 |      712
301.05/301.18	c  300s |      16 |   255464 |   148352 |    19477     14 |      826 |      712
303.34/303.40	c  303s |      16 |   256574 |   149152 |    19477     14 |      826 |      712
305.54/305.60	c  305s |      16 |   257425 |   149852 |    19477     14 |      826 |      712
307.64/307.71	c  307s |      16 |   258142 |   150452 |    19477     14 |      826 |      712
309.64/309.77	c  309s |      16 |   258882 |   151052 |    19477     14 |      826 |      712
311.94/312.04	c  311s |      16 |   259625 |   151652 |    19477     14 |      826 |      712
313.94/314.04	c  313s |      16 |   260223 |   152152 |    19477     14 |      826 |      712
316.14/316.27	c  316s |      16 |   260937 |   152752 |    19477     14 |      826 |      712
318.44/318.59	c  318s |      16 |   261809 |   153452 |    19477     14 |      826 |      712
320.74/320.86	c  320s |      16 |   262526 |   154052 |    19477     14 |      826 |      712
322.74/322.88	c  322s |      16 |   263157 |   154552 |    19477     14 |      826 |      712
324.94/325.02	c  324s |      16 |   263717 |   155052 |    19477     15 |      826 |      712
327.14/327.22	c  326s |      16 |   265448 |   156052 |    19477     15 |      826 |      712
329.14/329.23	c  328s |      16 |   266696 |   156852 |    19477     15 |      826 |      712
331.14/331.27	c  331s |      16 |   267946 |   157652 |    19477     15 |      826 |      712
333.24/333.33	c  333s |      16 |   269004 |   158452 |    19477     15 |      826 |      712
335.34/335.46	c  335s |      16 |   270057 |   159252 |    19477     15 |      826 |      712
337.54/337.63	c  337s |      16 |   270938 |   159952 |    19477     15 |      826 |      712
339.94/340.05	c  339s |      16 |   271655 |   160552 |    19477     15 |      826 |      712
342.04/342.18	c  341s |      16 |   272383 |   161152 |    19477     15 |      826 |      712
344.24/344.40	c  344s |      16 |   273593 |   161952 |    19477     15 |      826 |      712
346.44/346.60	c  346s |      16 |   274564 |   162752 |    19477     15 |      826 |      712
348.74/348.81	c  348s |      16 |   275657 |   163652 |    19477     15 |      826 |      712
350.94/351.01	c  350s |      16 |   276551 |   164452 |    19477     15 |      826 |      712
352.93/353.02	c  352s |      16 |   277279 |   165052 |    19477     15 |      826 |      712
355.13/355.23	c  354s |      16 |   278051 |   165752 |    19477     15 |      826 |      712
357.33/357.43	c  357s |      16 |   278728 |   166352 |    19477     16 |      826 |      712
359.53/359.70	c  359s |      16 |   279654 |   167152 |    19477     16 |      826 |      712
361.73/361.82	c  361s |      16 |   280479 |   167852 |    19477     16 |      826 |      712
363.84/363.95	c  363s |      16 |   281191 |   168452 |    19477     16 |      826 |      712
366.04/366.15	c  365s |      16 |   281983 |   169152 |    19477     16 |      826 |      712
368.04/368.18	c  367s |      16 |   282646 |   169752 |    19477     16 |      826 |      712
370.24/370.35	c  370s |      16 |   283488 |   170452 |    19477     16 |      826 |      712
372.34/372.42	c  372s |      16 |   284172 |   171052 |    19477     16 |      826 |      712
374.44/374.56	c  374s |      16 |   284830 |   171652 |    19477     16 |      826 |      712
376.74/376.83	c  376s |      16 |   285499 |   172252 |    19477     16 |      826 |      712
378.94/379.08	c  378s |      16 |   286181 |   172852 |    19477     16 |      826 |      712
381.14/381.22	c  380s |      16 |   286993 |   173552 |    19477     16 |      826 |      712
383.14/383.25	c  382s |      16 |   287671 |   174152 |    19477     16 |      826 |      712
385.14/385.26	c  385s |      16 |   288319 |   174752 |    19477     16 |      826 |      712
387.54/387.61	c  387s |      16 |   289103 |   175452 |    19477     16 |      826 |      712
389.74/389.85	c  389s |      16 |   289754 |   176052 |    19477     16 |      826 |      712
392.04/392.15	c  391s |      16 |   290450 |   176652 |    19477     16 |      826 |      712
394.44/394.50	c  394s |      16 |   291037 |   177152 |    19477     16 |      826 |      712
396.53/396.60	c  396s |      16 |   291838 |   177652 |    19477     17 |      826 |      712
398.83/398.96	c  398s |      16 |   292666 |   178352 |    19477     17 |      826 |      712
401.03/401.11	c  400s |      16 |   293546 |   179052 |    19477     17 |      826 |      712
403.03/403.19	c  402s |      16 |   294503 |   179852 |    19477     17 |      826 |      712
405.33/405.41	c  405s |      16 |   295332 |   180552 |    19477     17 |      826 |      712
407.43/407.57	c  407s |      16 |   296026 |   181152 |    19477     17 |      826 |      712
409.42/409.58	c  409s |      16 |   296701 |   181752 |    19477     17 |      826 |      712
411.72/411.80	c  411s |      16 |   297517 |   182452 |    19477     17 |      826 |      712
413.92/414.03	c  413s |      16 |   298373 |   183152 |    19477     17 |      826 |      712
416.02/416.14	c  415s |      16 |   299065 |   183752 |    19477     17 |      826 |      712
418.22/418.35	c  418s |      16 |   299734 |   184352 |    19477     17 |      826 |      712
420.52/420.67	c  420s |      16 |   300379 |   184952 |    19477     17 |      826 |      712
422.72/422.81	c  422s |      16 |   300948 |   185452 |    19477     17 |      826 |      712
424.82/424.94	c  424s |      16 |   301540 |   185952 |    19477     17 |      826 |      712
426.83/426.99	c  426s |      16 |   302383 |   186552 |    19477     17 |      826 |      712
429.03/429.11	c  428s |      16 |   303090 |   187152 |    19477     17 |      826 |      712
431.13/431.24	c  430s |      16 |   303664 |   187652 |    19477     17 |      826 |      712
433.23/433.31	c  433s |      16 |   304207 |   188152 |    19477     17 |      826 |      712
435.43/435.56	c  435s |      16 |   304640 |   188552 |    19477     18 |      826 |      712
437.63/437.78	c  437s |      16 |   305325 |   189152 |    19477     18 |      826 |      712
439.73/439.85	c  439s |      16 |   305998 |   189752 |    19477     18 |      826 |      712
441.93/442.05	c  441s |      16 |   306675 |   190352 |    19477     18 |      826 |      712
444.13/444.20	c  443s |      16 |   307354 |   190952 |    19477     18 |      826 |      712
446.33/446.43	c  446s |      16 |   308079 |   191552 |    19477     18 |      826 |      712
448.63/448.71	c  448s |      16 |   308774 |   192152 |    19477     18 |      826 |      712
450.63/450.78	c  450s |      16 |   309346 |   192652 |    19477     18 |      826 |      712
452.83/452.92	c  452s |      16 |   309952 |   193152 |    19477     18 |      826 |      712
454.82/454.94	c  454s |      16 |   311198 |   193952 |    19477     18 |      826 |      712
457.02/457.10	c  456s |      16 |   311939 |   194552 |    19477     18 |      826 |      712
459.02/459.17	c  458s |      16 |   312765 |   195252 |    19477     18 |      826 |      712
461.12/461.29	c  461s |      16 |   313441 |   195852 |    19477     18 |      826 |      712
463.22/463.31	c  463s |      16 |   314124 |   196352 |    21425     18 |      826 |      712
465.42/465.59	c  465s |      16 |   315008 |   197052 |    21425     18 |      826 |      712
466.72/466.85	c  466s |      17 |   315461 |   197432 |    21425     18 |      826 |      712
468.72/468.87	c  468s |      17 |   318874 |   199032 |    21425     18 |      826 |      712
470.73/470.88	c  470s |      17 |   320675 |   200532 |    21425     18 |      826 |      712
473.03/473.15	c  472s |      17 |   322506 |   201932 |    21425     19 |      826 |      712
475.02/475.17	c  474s |      17 |   323782 |   203132 |    21425     19 |      826 |      712
477.12/477.26	c  477s |      17 |   325810 |   204632 |    21425     19 |      826 |      712
479.22/479.38	c  479s |      17 |   327342 |   205932 |    21425     19 |      826 |      712
481.32/481.41	c  481s |      17 |   328602 |   207032 |    21425     19 |      826 |      712
483.32/483.47	c  483s |      17 |   330071 |   208232 |    21425     19 |      826 |      712
485.42/485.50	c  485s |      17 |   331386 |   209332 |    21425     19 |      826 |      712
487.52/487.68	c  487s |      17 |   332740 |   210432 |    21425     19 |      826 |      712
489.62/489.76	c  489s |      17 |   333927 |   211432 |    21425     19 |      826 |      712
491.62/491.80	c  491s |      17 |   334846 |   212232 |    21425     19 |      826 |      712
493.82/493.95	c  493s |      17 |   335877 |   213132 |    21425     19 |      826 |      712
495.92/496.04	c  495s |      17 |   337009 |   214032 |    21425     19 |      826 |      712
498.12/498.23	c  497s |      17 |   337931 |   214832 |    21425     20 |      826 |      712
500.22/500.34	c  500s |      17 |   338981 |   215732 |    21425     20 |      826 |      712
502.31/502.45	c  502s |      17 |   340094 |   216632 |    21425     20 |      826 |      712
504.41/504.50	c  504s |      17 |   341433 |   217632 |    21425     20 |      826 |      712
506.51/506.63	c  506s |      17 |   342539 |   218532 |    21425     20 |      826 |      712
508.61/508.77	c  508s |      17 |   343617 |   219432 |    21425     20 |      826 |      712
510.71/510.83	c  510s |      17 |   344942 |   220432 |    21425     20 |      826 |      712
512.81/512.98	c  512s |      17 |   346155 |   221432 |    21425     20 |      826 |      712
514.91/515.08	c  514s |      17 |   347327 |   222432 |    21425     20 |      826 |      712
516.92/517.09	c  516s |      17 |   348544 |   223432 |    21425     20 |      826 |      712
519.22/519.36	c  519s |      17 |   349587 |   224332 |    21425     20 |      826 |      712
521.42/521.51	c  521s |      17 |   350492 |   225132 |    21425     20 |      826 |      712
523.41/523.53	c  523s |      17 |   351302 |   225832 |    21425     20 |      826 |      712
525.91/526.08	c  525s |      17 |   352408 |   226732 |    21425     21 |      826 |      712
528.11/528.22	c  527s |      17 |   353591 |   227732 |    21425     21 |      826 |      712
530.31/530.42	c  530s |      17 |   354905 |   228832 |    21425     21 |      826 |      712
532.42/532.57	c  532s |      17 |   356091 |   229832 |    21425     21 |      826 |      712
534.71/534.80	c  534s |      17 |   357113 |   230732 |    21425     21 |      826 |      712
536.91/537.00	c  536s |      17 |   358019 |   231532 |    21425     21 |      826 |      712
538.92/539.04	c  538s |      17 |   358901 |   232332 |    21425     21 |      826 |      712
541.11/541.23	c  540s |      17 |   359961 |   233232 |    21425     21 |      826 |      712
543.32/543.45	c  543s |      17 |   360865 |   234032 |    21425     21 |      826 |      712
545.41/545.52	c  545s |      17 |   361780 |   234832 |    21425     21 |      826 |      712
547.61/547.71	c  547s |      17 |   362573 |   235532 |    21425     21 |      826 |      712
549.71/549.82	c  549s |      17 |   363375 |   236232 |    21425     21 |      826 |      712
551.81/551.99	c  551s |      17 |   364171 |   236932 |    21425     21 |      826 |      712
553.91/554.09	c  553s |      17 |   364832 |   237532 |    21425     21 |      826 |      712
556.21/556.31	c  556s |      17 |   365634 |   238232 |    21425     21 |      826 |      712
558.31/558.42	c  558s |      17 |   366321 |   238832 |    21425     21 |      826 |      712
560.31/560.46	c  560s |      17 |   366873 |   239332 |    21425     22 |      826 |      712
562.41/562.56	c  562s |      17 |   367768 |   240132 |    21425     22 |      826 |      712
564.61/564.76	c  564s |      17 |   368668 |   240932 |    21425     22 |      826 |      712
566.90/567.06	c  566s |      17 |   369535 |   241732 |    21425     22 |      826 |      712
569.10/569.26	c  569s |      17 |   370417 |   242532 |    21425     22 |      826 |      712
571.20/571.31	c  571s |      17 |   371225 |   243232 |    21425     22 |      826 |      712
573.30/573.47	c  573s |      17 |   372130 |   244032 |    21425     22 |      826 |      712
575.50/575.62	c  575s |      17 |   372925 |   244732 |    21425     22 |      826 |      712
577.70/577.87	c  577s |      17 |   373702 |   245432 |    21425     22 |      826 |      712
579.90/580.07	c  579s |      17 |   374499 |   246132 |    21425     22 |      826 |      712
582.20/582.30	c  582s |      17 |   375282 |   246832 |    21425     22 |      826 |      712
584.20/584.33	c  584s |      17 |   375968 |   247432 |    21425     22 |      826 |      712
586.50/586.61	c  586s |      17 |   376747 |   248132 |    21425     22 |      826 |      712
588.51/588.66	c  588s |      17 |   377417 |   248732 |    21425     22 |      826 |      712
590.61/590.76	c  590s |      17 |   378078 |   249332 |    21425     22 |      826 |      712
592.81/592.94	c  592s |      17 |   378748 |   249932 |    21425     22 |      826 |      712
595.11/595.27	c  595s |      17 |   379418 |   250532 |    21425     22 |      826 |      712
597.10/597.29	c  597s |      17 |   380120 |   251132 |    21425     22 |      826 |      712
599.20/599.32	c  599s |      17 |   380830 |   251732 |    21425     23 |      826 |      712
601.30/601.47	c  601s |      17 |   381890 |   252632 |    21425     23 |      826 |      712
603.50/603.61	c  603s |      17 |   382934 |   253532 |    21425     23 |      826 |      712
605.60/605.71	c  605s |      17 |   383856 |   254332 |    21425     23 |      826 |      712
607.69/607.82	c  607s |      17 |   384770 |   255132 |    21425     23 |      826 |      712
609.89/610.09	c  609s |      17 |   385645 |   255932 |    21425     23 |      826 |      712
612.19/612.35	c  612s |      17 |   386555 |   256732 |    21425     23 |      826 |      712
614.19/614.39	c  614s |      17 |   387220 |   257332 |    21425     23 |      826 |      712
616.49/616.60	c  616s |      17 |   387884 |   257932 |    21425     23 |      826 |      712
618.79/618.94	c  618s |      17 |   388633 |   258632 |    21425     23 |      826 |      712
620.89/621.04	c  620s |      17 |   389292 |   259232 |    21425     23 |      826 |      712
623.19/623.38	c  623s |      17 |   389940 |   259832 |    21425     23 |      826 |      712
625.29/625.46	c  625s |      17 |   390609 |   260432 |    21425     23 |      826 |      712
627.48/627.60	c  627s |      17 |   391278 |   261032 |    21425     23 |      826 |      712
629.78/629.97	c  629s |      17 |   391924 |   261632 |    21425     23 |      826 |      712
632.18/632.30	c  632s |      17 |   392567 |   262232 |    21425     23 |      826 |      712
634.18/634.30	c  634s |      17 |   393106 |   262732 |    21425     23 |      826 |      712
636.28/636.43	c  636s |      17 |   393642 |   263232 |    21425     23 |      826 |      712
638.88/639.09	c  638s |      17 |   394289 |   263832 |    21425     24 |      826 |      712
641.19/641.38	c  641s |      17 |   395151 |   264632 |    21425     24 |      826 |      712
643.39/643.52	c  643s |      17 |   395908 |   265332 |    21425     24 |      826 |      712
645.48/645.66	c  645s |      17 |   396653 |   266032 |    21425     24 |      826 |      712
647.67/647.83	c  647s |      17 |   397426 |   266732 |    21425     24 |      826 |      712
649.67/649.88	c  649s |      17 |   398068 |   267332 |    21425     24 |      826 |      712
651.67/651.89	c  651s |      17 |   398705 |   267932 |    21425     24 |      826 |      712
653.77/653.92	c  653s |      17 |   399379 |   268532 |    21425     24 |      826 |      712
655.77/655.95	c  655s |      17 |   400017 |   269132 |    21425     24 |      826 |      712
657.77/657.99	c  657s |      17 |   400647 |   269732 |    21425     24 |      826 |      712
660.17/660.31	c  660s |      17 |   401411 |   270432 |    21425     24 |      826 |      712
662.27/662.48	c  662s |      17 |   402069 |   271032 |    21425     24 |      826 |      712
664.37/664.59	c  664s |      17 |   402803 |   271632 |    21425     24 |      826 |      712
666.76/666.92	c  666s |      17 |   403611 |   272332 |    21425     24 |      826 |      712
668.86/669.07	c  668s |      17 |   404295 |   272932 |    21425     24 |      826 |      712
671.16/671.36	c  671s |      17 |   405061 |   273632 |    21425     24 |      826 |      712
673.46/673.61	c  673s |      17 |   405794 |   274232 |    21425     24 |      826 |      712
675.46/675.64	c  675s |      17 |   406511 |   274832 |    21425     24 |      826 |      712
677.46/677.69	c  677s |      17 |   407208 |   275432 |    21425     24 |      826 |      712
679.66/679.88	c  679s |      17 |   407912 |   276032 |    21425     24 |      826 |      712
681.86/682.06	c  681s |      17 |   408641 |   276632 |    21425     25 |      826 |      712
684.06/684.21	c  683s |      17 |   409575 |   277432 |    21425     25 |      826 |      712
686.15/686.31	c  686s |      17 |   410498 |   278232 |    21425     25 |      826 |      712
688.35/688.55	c  688s |      17 |   411410 |   279032 |    21425     25 |      826 |      712
690.66/690.86	c  690s |      17 |   412337 |   279832 |    21425     25 |      826 |      712
692.86/693.01	c  692s |      17 |   413286 |   280632 |    21425     25 |      826 |      712
694.95/695.17	c  694s |      17 |   413979 |   281232 |    21425     25 |      826 |      712
697.26/697.41	c  697s |      17 |   414793 |   281932 |    21425     25 |      826 |      712
699.45/699.65	c  699s |      17 |   415463 |   282532 |    21425     25 |      826 |      712
701.75/701.96	c  701s |      17 |   416137 |   283132 |    21425     25 |      826 |      712
704.05/704.24	c  703s |      17 |   416951 |   283832 |    21425     25 |      826 |      712
706.35/706.53	c  706s |      17 |   417630 |   284432 |    21425     25 |      826 |      712
708.54/708.77	c  708s |      17 |   418351 |   285032 |    21425     25 |      826 |      712
710.94/711.12	c  710s |      17 |   419033 |   285632 |    21425     25 |      826 |      712
713.04/713.24	c  712s |      17 |   419602 |   286132 |    21425     25 |      826 |      712
715.14/715.38	c  715s |      17 |   420298 |   286732 |    21425     25 |      826 |      712
717.24/717.43	c  717s |      17 |   420844 |   287232 |    21425     25 |      826 |      712
719.64/719.86	c  719s |      17 |   421501 |   287832 |    21425     25 |      826 |      712
721.94/722.17	c  721s |      17 |   422180 |   288432 |    21425     25 |      826 |      712
724.24/724.43	c  724s |      17 |   422846 |   289032 |    21425     26 |      826 |      712
726.24/726.47	c  726s |      17 |   423627 |   289732 |    21425     26 |      826 |      712
728.33/728.56	c  728s |      17 |   424389 |   290432 |    21425     26 |      826 |      712
730.43/730.61	c  730s |      17 |   425186 |   291132 |    21425     26 |      826 |      712
732.44/732.65	c  732s |      17 |   425996 |   291832 |    21425     26 |      826 |      712
734.64/734.82	c  734s |      17 |   426791 |   292532 |    21425     26 |      826 |      712
736.73/736.93	c  736s |      17 |   427459 |   293132 |    21425     26 |      826 |      712
738.73/738.98	c  738s |      17 |   428116 |   293732 |    21425     26 |      826 |      712
740.83/741.07	c  740s |      17 |   428770 |   294332 |    23568     26 |      826 |      712
742.93/743.15	c  742s |      17 |   429441 |   294932 |    23568     26 |      826 |      712
745.23/745.47	c  745s |      17 |   430210 |   295632 |    23568     26 |      826 |      712
747.23/747.48	c  747s |      17 |   430768 |   296132 |    23568     26 |      826 |      712
747.83/748.03	c  747s |      18 |   430897 |   296252 |    23568     26 |      826 |      712
749.83/750.09	c  749s |      18 |   439369 |   298252 |    23568     26 |      826 |      712
751.93/752.16	c  751s |      18 |   441328 |   299752 |    23568     26 |      826 |      712
754.03/754.27	c  754s |      18 |   442657 |   300852 |    23568     26 |      826 |      712
756.13/756.39	c  756s |      18 |   445578 |   302552 |    23568     26 |      826 |      712
758.22/758.47	c  758s |      18 |   446775 |   303552 |    23568     27 |      826 |      712
760.22/760.48	c  760s |      18 |   448040 |   304652 |    23568     27 |      826 |      712
762.23/762.49	c  762s |      18 |   449186 |   305652 |    23568     27 |      826 |      712
764.33/764.56	c  764s |      18 |   450223 |   306552 |    23568     27 |      826 |      712
766.42/766.66	c  766s |      18 |   451365 |   307452 |    23568     27 |      826 |      712
768.51/768.72	c  768s |      18 |   453185 |   308652 |    23568     27 |      826 |      712
770.51/770.75	c  770s |      18 |   454118 |   309452 |    23568     27 |      826 |      712
772.61/772.85	c  772s |      18 |   455720 |   310352 |    23568     27 |      826 |      712
774.81/775.02	c  774s |      18 |   459655 |   311952 |    23568     27 |      826 |      712
777.01/777.23	c  776s |      18 |   460957 |   312952 |    23568     27 |      826 |      712
779.11/779.32	c  779s |      18 |   463173 |   314252 |    23568     27 |      826 |      712
781.11/781.34	c  781s |      18 |   464307 |   315152 |    23568     27 |      826 |      712
783.12/783.36	c  783s |      18 |   465099 |   315852 |    23568     27 |      826 |      712
785.41/785.62	c  785s |      18 |   465899 |   316552 |    23568     28 |      826 |      712
787.51/787.78	c  787s |      18 |   466958 |   317452 |    23568     28 |      826 |      712
789.61/789.87	c  789s |      18 |   469138 |   318752 |    23568     28 |      826 |      712
791.81/792.05	c  791s |      18 |   471533 |   320152 |    23568     28 |      826 |      712
793.91/794.11	c  793s |      18 |   473001 |   321252 |    23568     28 |      826 |      712
795.91/796.14	c  795s |      18 |   474628 |   322052 |    23568     28 |      826 |      712
798.00/798.28	c  798s |      18 |   479236 |   323452 |    23568     28 |      826 |      712
800.10/800.33	c  800s |      18 |   481826 |   324752 |    23568     28 |      826 |      712
802.20/802.44	c  802s |      18 |   483223 |   325852 |    23568     28 |      826 |      712
804.20/804.44	c  804s |      18 |   484526 |   326852 |    23568     28 |      826 |      712
806.40/806.64	c  806s |      18 |   485658 |   327752 |    23568     28 |      826 |      712
808.50/808.70	c  808s |      18 |   486639 |   328552 |    23568     28 |      826 |      712
810.60/810.87	c  810s |      18 |   487610 |   329352 |    23568     28 |      826 |      712
812.60/812.88	c  812s |      18 |   488463 |   330052 |    23568     29 |      826 |      712
814.60/814.88	c  814s |      18 |   489537 |   330952 |    23568     29 |      826 |      712
816.69/816.97	c  816s |      18 |   490648 |   331852 |    23568     29 |      826 |      712
818.79/819.06	c  818s |      18 |   491614 |   332652 |    23568     29 |      826 |      712
821.09/821.31	c  821s |      18 |   492651 |   333452 |    23568     29 |      826 |      712
823.09/823.32	c  823s |      18 |   493479 |   334152 |    23568     29 |      826 |      712
825.29/825.51	c  825s |      18 |   494294 |   334852 |    23568     29 |      826 |      712
827.49/827.71	c  827s |      18 |   495109 |   335552 |    23568     29 |      826 |      712
829.69/829.92	c  829s |      18 |   495905 |   336252 |    23568     29 |      826 |      712
831.69/831.93	c  831s |      18 |   499386 |   337152 |    23568     29 |      826 |      712
833.69/833.99	c  833s |      18 |   506017 |   339052 |    23568     29 |      826 |      712
835.89/836.12	c  835s |      18 |   510244 |   341152 |    23568     29 |      826 |      712
837.88/838.16	c  837s |      18 |   513419 |   342552 |    23568     30 |      826 |      712
839.98/840.20	c  839s |      18 |   515098 |   343952 |    23568     30 |      826 |      712
842.08/842.35	c  842s |      18 |   516653 |   345252 |    23568     30 |      826 |      712
844.18/844.42	c  844s |      18 |   517924 |   346352 |    23568     30 |      826 |      712
846.28/846.52	c  846s |      18 |   519080 |   347352 |    23568     30 |      826 |      712
848.37/848.60	c  848s |      18 |   520301 |   348352 |    23568     30 |      826 |      712
850.37/850.61	c  850s |      18 |   521457 |   349352 |    23568     30 |      826 |      712
852.38/852.63	c  852s |      18 |   522496 |   350252 |    23568     30 |      826 |      712
854.58/854.85	c  854s |      18 |   523658 |   351252 |    23568     30 |      826 |      712
856.57/856.86	c  856s |      18 |   524624 |   352052 |    23568     30 |      826 |      712
858.87/859.15	c  858s |      18 |   525668 |   352952 |    23568     30 |      826 |      712
860.96/861.25	c  860s |      18 |   526581 |   353752 |    23568     30 |      826 |      712
863.16/863.47	c  863s |      18 |   527452 |   354552 |    23568     30 |      826 |      712
865.47/865.72	c  865s |      18 |   528262 |   355252 |    23568     31 |      826 |      712
867.56/867.81	c  867s |      18 |   529316 |   356152 |    23568     31 |      826 |      712
869.66/869.93	c  869s |      18 |   530221 |   356952 |    23568     31 |      826 |      712
871.66/871.98	c  871s |      18 |   531144 |   357752 |    23568     31 |      826 |      712
873.76/874.07	c  873s |      18 |   532057 |   358552 |    23568     31 |      826 |      712
875.86/876.14	c  875s |      18 |   532989 |   359352 |    23568     31 |      826 |      712
877.95/878.21	c  877s |      18 |   533760 |   360052 |    23568     31 |      826 |      712
879.95/880.29	c  880s |      18 |   534543 |   360752 |    23568     31 |      826 |      712
882.15/882.50	c  882s |      18 |   535329 |   361452 |    23568     31 |      826 |      712
884.55/884.82	c  884s |      18 |   536085 |   362152 |    23568     31 |      826 |      712
886.64/886.99	c  886s |      18 |   536861 |   362852 |    23568     31 |      826 |      712
888.94/889.25	c  888s |      18 |   537633 |   363552 |    23568     31 |      826 |      712
891.24/891.54	c  891s |      18 |   538429 |   364252 |    23568     31 |      826 |      712
893.24/893.58	c  893s |      18 |   539100 |   364852 |    23568     31 |      826 |      712
895.34/895.68	c  895s |      18 |   539757 |   365452 |    23568     31 |      826 |      712
897.44/897.76	c  897s |      18 |   540426 |   366052 |    23568     31 |      826 |      712
899.54/899.90	c  899s |      18 |   541101 |   366652 |    23568     31 |      826 |      712
901.64/901.97	c  901s |      18 |   541652 |   367152 |    23568     31 |      826 |      712
903.74/904.05	c  903s |      18 |   542213 |   367652 |    23568     31 |      826 |      712
905.84/906.10	c  905s |      18 |   542639 |   368052 |    23568     32 |      826 |      712
907.93/908.23	c  907s |      18 |   543539 |   368852 |    23568     32 |      826 |      712
909.93/910.25	c  909s |      18 |   544495 |   369652 |    23568     32 |      826 |      712
912.13/912.46	c  912s |      18 |   545374 |   370452 |    23568     32 |      826 |      712
914.23/914.50	c  914s |      18 |   546164 |   371152 |    23568     32 |      826 |      712
916.23/916.58	c  916s |      18 |   546930 |   371852 |    23568     32 |      826 |      712
918.34/918.69	c  918s |      18 |   547855 |   372652 |    23568     32 |      826 |      712
920.54/920.85	c  920s |      18 |   548726 |   373452 |    23568     32 |      826 |      712
922.73/923.05	c  922s |      18 |   549591 |   374252 |    23568     32 |      826 |      712
924.73/925.06	c  924s |      18 |   550376 |   374952 |    23568     32 |      826 |      712
926.92/927.30	c  927s |      18 |   551148 |   375652 |    23568     32 |      826 |      712
929.02/929.39	c  929s |      18 |   551812 |   376252 |    23568     32 |      826 |      712
931.32/931.69	c  931s |      18 |   552573 |   376952 |    23568     32 |      826 |      712
933.42/933.71	c  933s |      18 |   553264 |   377552 |    23568     32 |      826 |      712
935.62/935.91	c  935s |      18 |   553942 |   378152 |    23568     32 |      826 |      712
937.72/938.00	c  937s |      18 |   554601 |   378752 |    23568     32 |      826 |      712
940.02/940.30	c  940s |      18 |   555258 |   379352 |    23568     32 |      826 |      712
942.12/942.46	c  942s |      18 |   555911 |   379952 |    23568     32 |      826 |      712
944.12/944.47	c  944s |      18 |   556580 |   380552 |    23568     32 |      826 |      712
946.32/946.64	c  946s |      18 |   557149 |   381052 |    23568     33 |      826 |      712
948.42/948.73	c  948s |      18 |   558013 |   381852 |    23568     33 |      826 |      712
950.52/950.89	c  950s |      18 |   559078 |   382652 |    23568     33 |      826 |      712
952.82/953.11	c  952s |      18 |   559944 |   383452 |    23568     33 |      826 |      712
954.91/955.28	c  955s |      18 |   560870 |   384252 |    23568     33 |      826 |      712
957.11/957.41	c  957s |      18 |   561657 |   384952 |    23568     33 |      826 |      712
959.11/959.49	c  959s |      18 |   562443 |   385652 |    23568     33 |      826 |      712
961.22/961.57	c  961s |      18 |   563217 |   386352 |    23568     33 |      826 |      712
963.32/963.67	c  963s |      18 |   563889 |   386952 |    23568     33 |      826 |      712
965.51/965.89	c  965s |      18 |   564655 |   387652 |    23568     33 |      826 |      712
967.81/968.14	c  967s |      18 |   565444 |   388352 |    23568     33 |      826 |      712
969.80/970.18	c  969s |      18 |   566091 |   388952 |    23568     33 |      826 |      712
971.80/972.19	c  971s |      18 |   566767 |   389552 |    23568     33 |      826 |      712
974.10/974.49	c  974s |      18 |   567543 |   390252 |    23568     33 |      826 |      712
976.20/976.58	c  976s |      18 |   568208 |   390852 |    23568     33 |      826 |      712
978.60/978.92	c  978s |      18 |   568858 |   391452 |    23568     33 |      826 |      712
980.60/980.99	c  980s |      18 |   569542 |   392052 |    23568     33 |      826 |      712
982.70/983.05	c  982s |      18 |   570084 |   392552 |    23568     33 |      826 |      712
984.80/985.16	c  984s |      18 |   570639 |   393052 |    23568     33 |      826 |      712
986.89/987.24	c  986s |      18 |   571441 |   393652 |    23568     34 |      826 |      712
988.99/989.37	c  989s |      18 |   572877 |   394952 |    23568     34 |      826 |      712
991.09/991.44	c  991s |      18 |   575068 |   396752 |    23568     34 |      826 |      712
993.19/993.53	c  993s |      18 |   576976 |   398452 |    23568     34 |      826 |      712
995.30/995.61	c  995s |      18 |   578428 |   399752 |    23568     34 |      826 |      712
997.28/997.69	c  997s |      18 |   579866 |   400952 |    23568     34 |      826 |      712
999.38/999.71	c  999s |      18 |   581433 |   402252 |    23568     34 |      826 |      712
1001.48/1001.82	c 1001s |      18 |   582778 |   403452 |    23568     34 |      826 |      712
1003.48/1003.85	c 1003s |      18 |   583886 |   404452 |    23568     34 |      826 |      712
1005.58/1005.92	c 1005s |      18 |   585045 |   405452 |    23568     34 |      826 |      712
1007.78/1008.14	c 1007s |      18 |   586160 |   406452 |    23568     34 |      826 |      712
1009.88/1010.26	c 1010s |      18 |   587062 |   407252 |    23568     35 |      826 |      712
1011.88/1012.29	c 1012s |      18 |   588191 |   408152 |    23568     35 |      826 |      712
1014.08/1014.48	c 1014s |      18 |   589316 |   409152 |    23568     35 |      826 |      712
1016.28/1016.66	c 1016s |      18 |   590427 |   410052 |    23568     35 |      826 |      712
1018.38/1018.70	c 1018s |      18 |   591326 |   410852 |    23568     35 |      826 |      712
1020.58/1020.95	c 1020s |      18 |   592203 |   411652 |    23568     35 |      826 |      712
1022.78/1023.14	c 1022s |      18 |   593146 |   412452 |    23568     35 |      826 |      712
1025.07/1025.44	c 1025s |      18 |   594036 |   413252 |    23568     35 |      826 |      712
1027.26/1027.69	c 1027s |      18 |   594952 |   414052 |    23568     35 |      826 |      712
1029.46/1029.80	c 1029s |      18 |   595744 |   414752 |    23568     35 |      826 |      712
1031.47/1031.89	c 1031s |      18 |   596532 |   415452 |    23568     35 |      826 |      712
1033.67/1034.07	c 1033s |      18 |   597236 |   416052 |    23568     35 |      826 |      712
1035.87/1036.27	c 1036s |      18 |   598065 |   416752 |    23568     35 |      826 |      712
1038.06/1038.50	c 1038s |      18 |   598848 |   417452 |    23568     35 |      826 |      712
1040.16/1040.55	c 1040s |      18 |   599529 |   418052 |    23568     35 |      826 |      712
1042.36/1042.76	c 1042s |      18 |   600328 |   418752 |    23568     35 |      826 |      712
1044.56/1044.91	c 1044s |      18 |   601103 |   419452 |    23568     35 |      826 |      712
1046.65/1047.07	c 1046s |      18 |   601778 |   420052 |    23568     35 |      826 |      712
1048.75/1049.17	c 1048s |      18 |   602337 |   420552 |    23568     36 |      826 |      712
1050.95/1051.36	c 1051s |      18 |   603217 |   421352 |    23568     36 |      826 |      712
1053.25/1053.62	c 1053s |      18 |   603989 |   422052 |    23568     36 |      826 |      712
1055.35/1055.72	c 1055s |      18 |   604642 |   422652 |    23568     36 |      826 |      712
1057.34/1057.74	c 1057s |      18 |   605455 |   423352 |    23568     36 |      826 |      712
1059.54/1059.98	c 1059s |      18 |   606202 |   424052 |    23568     36 |      826 |      712
1061.64/1062.06	c 1061s |      18 |   606981 |   424752 |    23568     36 |      826 |      712
1063.84/1064.28	c 1064s |      18 |   607854 |   425552 |    23568     36 |      826 |      712
1066.24/1066.65	c 1066s |      18 |   608596 |   426252 |    23568     36 |      826 |      712
1068.34/1068.79	c 1068s |      18 |   609234 |   426852 |    23568     36 |      826 |      712
1070.64/1071.08	c 1070s |      18 |   610003 |   427552 |    23568     36 |      826 |      712
1072.73/1073.15	c 1072s |      18 |   610740 |   428152 |    23568     36 |      826 |      712
1074.83/1075.25	c 1074s |      18 |   611526 |   428852 |    23568     36 |      826 |      712
1076.83/1077.29	c 1077s |      18 |   612213 |   429452 |    23568     36 |      826 |      712
1078.93/1079.35	c 1079s |      18 |   612771 |   429952 |    23568     36 |      826 |      712
1081.33/1081.70	c 1081s |      18 |   613408 |   430552 |    23568     36 |      826 |      712
1083.43/1083.86	c 1083s |      18 |   614101 |   431152 |    23568     36 |      826 |      712
1085.44/1085.87	c 1085s |      18 |   614648 |   431652 |    23568     36 |      826 |      712
1087.64/1088.01	c 1087s |      18 |   615198 |   432152 |    23568     36 |      826 |      712
1089.74/1090.14	c 1089s |      18 |   615744 |   432652 |    23568     36 |      826 |      712
1091.83/1092.25	c 1091s |      18 |   616319 |   433152 |    23568     36 |      826 |      712
1093.93/1094.36	c 1094s |      18 |   616869 |   433652 |    23568     36 |      826 |      712
1096.13/1096.54	c 1096s |      18 |   617408 |   434152 |    23568     37 |      826 |      712
1098.32/1098.73	c 1098s |      18 |   618364 |   434952 |    23568     37 |      826 |      712
1100.52/1100.95	c 1100s |      18 |   619247 |   435752 |    23568     37 |      826 |      712
1102.62/1103.09	c 1102s |      18 |   619994 |   436452 |    23568     37 |      826 |      712
1104.92/1105.32	c 1105s |      18 |   620743 |   437152 |    23568     37 |      826 |      712
1107.12/1107.56	c 1107s |      18 |   621420 |   437752 |    23568     37 |      826 |      712
1109.32/1109.76	c 1109s |      18 |   622097 |   438352 |    23568     37 |      826 |      712
1111.42/1111.85	c 1111s |      18 |   622765 |   438952 |    23568     37 |      826 |      712
1113.41/1113.86	c 1113s |      18 |   623447 |   439552 |    23568     37 |      826 |      712
1115.71/1116.11	c 1115s |      18 |   624259 |   440252 |    23568     37 |      826 |      712
1117.71/1118.17	c 1117s |      18 |   624917 |   440852 |    23568     37 |      826 |      712
1119.71/1120.19	c 1119s |      18 |   625436 |   441352 |    25925     37 |      826 |      712
1122.01/1122.49	c 1122s |      18 |   625968 |   441852 |    25925     37 |      826 |      712
1124.11/1124.51	c 1124s |      18 |   626385 |   442252 |    25925     37 |      826 |      712
1126.11/1126.59	c 1126s |      18 |   627031 |   442852 |    25925     37 |      826 |      712
1128.31/1128.79	c 1128s |      18 |   627666 |   443452 |    25925     37 |      826 |      712
1130.60/1131.05	c 1130s |      18 |   628294 |   444052 |    25925     37 |      826 |      712
1132.20/1132.69	c 1132s |      19 |   628768 |   444482 |    25925     37 |      826 |      712
1134.30/1134.77	c 1134s |      19 |   633477 |   445482 |    25925     37 |      826 |      712
1136.40/1136.87	c 1136s |      19 |   637976 |   447182 |    25925     37 |      826 |      712
1138.39/1138.88	c 1138s |      19 |   639437 |   448382 |    25925     37 |      826 |      712
1140.79/1141.25	c 1140s |      19 |   640824 |   449482 |    25925     38 |      826 |      712
1142.79/1143.28	c 1143s |      19 |   641922 |   450382 |    25925     38 |      826 |      712
1144.89/1145.36	c 1145s |      19 |   642861 |   451182 |    25925     38 |      826 |      712
1147.09/1147.51	c 1147s |      19 |   643929 |   452082 |    25925     38 |      826 |      712
1149.39/1149.84	c 1149s |      19 |   644824 |   452882 |    25925     38 |      826 |      712
1151.49/1151.92	c 1151s |      19 |   645917 |   453782 |    25925     38 |      826 |      712
1153.68/1154.13	c 1153s |      19 |   646865 |   454582 |    25925     38 |      826 |      712
1155.79/1156.27	c 1156s |      19 |   647872 |   455382 |    25925     38 |      826 |      712
1157.89/1158.39	c 1158s |      19 |   648826 |   456182 |    25925     38 |      826 |      712
1159.98/1160.50	c 1160s |      19 |   649741 |   456982 |    25925     38 |      826 |      712
1162.18/1162.69	c 1162s |      19 |   650568 |   457682 |    25925     38 |      826 |      712
1164.38/1164.86	c 1164s |      19 |   651267 |   458282 |    25925     38 |      826 |      712
1166.58/1167.01	c 1166s |      19 |   651934 |   458882 |    25925     38 |      826 |      712
1168.77/1169.25	c 1168s |      19 |   652589 |   459482 |    25925     38 |      826 |      712
1170.87/1171.30	c 1171s |      19 |   653301 |   460082 |    25925     38 |      826 |      712
1173.38/1173.81	c 1173s |      19 |   654003 |   460682 |    25925     38 |      826 |      712
1175.48/1175.96	c 1175s |      19 |   654895 |   461382 |    25925     38 |      826 |      712
1177.56/1178.01	c 1177s |      19 |   656037 |   462182 |    25925     38 |      826 |      712
1179.56/1180.08	c 1179s |      19 |   657010 |   462882 |    25925     38 |      826 |      712
1181.76/1182.26	c 1182s |      19 |   657762 |   463482 |    25925     38 |      826 |      712
1184.16/1184.61	c 1184s |      19 |   658527 |   464082 |    25925     39 |      826 |      712
1186.36/1186.87	c 1186s |      19 |   659403 |   464782 |    25925     39 |      826 |      712
1188.76/1189.28	c 1189s |      19 |   660104 |   465382 |    25925     39 |      826 |      712
1191.05/1191.55	c 1191s |      19 |   660820 |   465982 |    25925     39 |      826 |      712
1193.25/1193.73	c 1193s |      19 |   661609 |   466582 |    25925     39 |      826 |      712
1195.45/1195.96	c 1195s |      19 |   662188 |   467082 |    25925     39 |      826 |      712
1197.55/1198.04	c 1197s |      19 |   662884 |   467682 |    25925     39 |      826 |      712
1199.75/1200.25	c 1199s |      19 |   663794 |   468382 |    25925     39 |      826 |      712
1202.05/1202.54	c 1202s |      19 |   664760 |   469182 |    25925     39 |      826 |      712
1204.15/1204.61	c 1204s |      19 |   665633 |   469882 |    25925     39 |      826 |      712
1206.25/1206.77	c 1206s |      19 |   666626 |   470682 |    25925     39 |      826 |      712
1208.64/1209.12	c 1208s |      19 |   667513 |   471382 |    25925     39 |      826 |      712
1210.84/1211.33	c 1211s |      19 |   668361 |   472082 |    25925     39 |      826 |      712
1212.85/1213.38	c 1213s |      19 |   669083 |   472682 |    25925     39 |      826 |      712
1215.15/1215.66	c 1215s |      19 |   669768 |   473282 |    25925     39 |      826 |      712
1217.24/1217.79	c 1217s |      19 |   670461 |   473882 |    25925     39 |      826 |      712
1219.44/1219.96	c 1219s |      19 |   671213 |   474482 |    25925     39 |      826 |      712
1221.74/1222.29	c 1222s |      19 |   671930 |   475082 |    25925     39 |      826 |      712
1223.94/1224.48	c 1224s |      19 |   672636 |   475682 |    25925     39 |      826 |      712
1226.04/1226.58	c 1226s |      19 |   673192 |   476182 |    25925     39 |      826 |      712
1228.03/1228.59	c 1228s |      19 |   673791 |   476682 |    25925     39 |      826 |      712
1230.43/1230.97	c 1230s |      19 |   674470 |   477282 |    25925     39 |      826 |      712
1232.63/1233.14	c 1232s |      19 |   675017 |   477782 |    25925     39 |      826 |      712
1234.63/1235.19	c 1234s |      19 |   675584 |   478282 |    25925     39 |      826 |      712
1236.82/1237.37	c 1237s |      19 |   676039 |   478682 |    25925     40 |      826 |      712
1238.92/1239.42	c 1239s |      19 |   676743 |   479282 |    25925     40 |      826 |      712
1241.02/1241.57	c 1241s |      19 |   677602 |   479982 |    25925     40 |      826 |      712
1243.32/1243.85	c 1243s |      19 |   678401 |   480682 |    25925     40 |      826 |      712
1245.52/1246.03	c 1245s |      19 |   679090 |   481282 |    25925     40 |      826 |      712
1247.62/1248.17	c 1247s |      19 |   679730 |   481882 |    25925     40 |      826 |      712
1249.82/1250.40	c 1250s |      19 |   680370 |   482482 |    25925     40 |      826 |      712
1251.92/1252.47	c 1252s |      19 |   681139 |   483082 |    25925     40 |      826 |      712
1254.02/1254.59	c 1254s |      19 |   681803 |   483682 |    25925     40 |      826 |      712
1256.22/1256.71	c 1256s |      19 |   682488 |   484282 |    25925     40 |      826 |      712
1258.31/1258.88	c 1258s |      19 |   683197 |   484882 |    25925     40 |      826 |      712
1260.61/1261.13	c 1260s |      19 |   683923 |   485482 |    25925     40 |      826 |      712
1262.91/1263.49	c 1263s |      19 |   684605 |   486082 |    25925     40 |      826 |      712
1265.01/1265.52	c 1265s |      19 |   685186 |   486582 |    25925     40 |      826 |      712
1267.01/1267.57	c 1267s |      19 |   685758 |   487082 |    25925     40 |      826 |      712
1269.41/1269.97	c 1269s |      19 |   686291 |   487582 |    25925     40 |      826 |      712
1271.91/1272.43	c 1272s |      19 |   686826 |   488082 |    25925     40 |      826 |      712
1274.21/1274.72	c 1274s |      19 |   687407 |   488582 |    25925     40 |      826 |      712
1276.21/1276.77	c 1276s |      19 |   687874 |   488982 |    25925     40 |      826 |      712
1278.51/1279.02	c 1278s |      19 |   688635 |   489582 |    25925     40 |      826 |      712
1280.61/1281.14	c 1280s |      19 |   689544 |   490282 |    25925     40 |      826 |      712
1282.91/1283.40	c 1283s |      19 |   690354 |   490982 |    25925     40 |      826 |      712
1284.91/1285.40	c 1285s |      19 |   691044 |   491582 |    25925     40 |      826 |      712
1287.11/1287.65	c 1287s |      19 |   691694 |   492182 |    25925     40 |      826 |      712
1289.41/1289.96	c 1289s |      19 |   692439 |   492782 |    25925     40 |      826 |      712
1291.51/1292.04	c 1291s |      19 |   692884 |   493182 |    25925     41 |      826 |      712
1293.51/1294.06	c 1293s |      19 |   693559 |   493782 |    25925     41 |      826 |      712
1295.51/1296.08	c 1295s |      19 |   694211 |   494382 |    25925     41 |      826 |      712
1297.81/1298.34	c 1298s |      19 |   694995 |   495082 |    25925     41 |      826 |      712
1300.11/1300.60	c 1300s |      19 |   695765 |   495782 |    25925     41 |      826 |      712
1302.21/1302.77	c 1302s |      19 |   696447 |   496382 |    25925     41 |      826 |      712
1304.30/1304.86	c 1304s |      19 |   697102 |   496982 |    25925     41 |      826 |      712
1306.41/1306.97	c 1306s |      19 |   697659 |   497482 |    25925     41 |      826 |      712
1308.80/1309.30	c 1309s |      19 |   698327 |   498082 |    25925     41 |      826 |      712
1310.91/1311.49	c 1311s |      19 |   699032 |   498682 |    25925     41 |      826 |      712
1313.11/1313.68	c 1313s |      19 |   699886 |   499482 |    25925     41 |      826 |      712
1315.31/1315.85	c 1315s |      19 |   700723 |   500282 |    25925     41 |      826 |      712
1317.42/1317.91	c 1317s |      19 |   701653 |   501082 |    25925     41 |      826 |      712
1319.41/1319.95	c 1319s |      19 |   702416 |   501782 |    25925     41 |      826 |      712
1321.61/1322.14	c 1321s |      19 |   703173 |   502482 |    25925     41 |      826 |      712
1323.92/1324.45	c 1324s |      19 |   703981 |   503182 |    25925     41 |      826 |      712
1326.22/1326.74	c 1326s |      19 |   704755 |   503882 |    25925     41 |      826 |      712
1328.51/1329.02	c 1328s |      19 |   705378 |   504482 |    25925     41 |      826 |      712
1330.71/1331.23	c 1330s |      19 |   706105 |   505082 |    25925     41 |      826 |      712
1333.01/1333.50	c 1333s |      19 |   706739 |   505682 |    25925     41 |      826 |      712
1335.21/1335.74	c 1335s |      19 |   707382 |   506282 |    25925     41 |      826 |      712
1337.51/1338.04	c 1337s |      19 |   708033 |   506882 |    25925     41 |      826 |      712
1339.91/1340.43	c 1340s |      19 |   708763 |   507482 |    25925     41 |      826 |      712
1342.01/1342.54	c 1342s |      19 |   709188 |   507882 |    25925     42 |      826 |      712
1344.31/1344.89	c 1344s |      19 |   709942 |   508582 |    25925     42 |      826 |      712
1346.51/1347.00	c 1346s |      19 |   710595 |   509182 |    25925     42 |      826 |      712
1348.81/1349.36	c 1349s |      19 |   711240 |   509782 |    25925     42 |      826 |      712
1351.01/1351.53	c 1351s |      19 |   711902 |   510382 |    25925     42 |      826 |      712
1353.01/1353.54	c 1353s |      19 |   712441 |   510882 |    25925     42 |      826 |      712
1355.01/1355.58	c 1355s |      19 |   712984 |   511382 |    25925     42 |      826 |      712
1357.11/1357.66	c 1357s |      19 |   713524 |   511882 |    25925     42 |      826 |      712
1359.41/1360.00	c 1359s |      19 |   714054 |   512382 |    25925     42 |      826 |      712
1362.10/1362.61	c 1362s |      19 |   714575 |   512882 |    25925     42 |      826 |      712
1364.20/1364.75	c 1364s |      19 |   714995 |   513282 |    25925     42 |      826 |      712
1366.60/1367.13	c 1366s |      19 |   715539 |   513782 |    25925     42 |      826 |      712
1368.70/1369.23	c 1368s |      19 |   715965 |   514182 |    25925     42 |      826 |      712
1371.00/1371.58	c 1371s |      19 |   716506 |   514682 |    25925     42 |      826 |      712
1373.30/1373.85	c 1373s |      19 |   717041 |   515182 |    25925     42 |      826 |      712
1375.50/1376.07	c 1375s |      19 |   717586 |   515682 |    25925     42 |      826 |      712
1377.81/1378.33	c 1378s |      19 |   718137 |   516182 |    25925     42 |      826 |      712
1380.20/1380.75	c 1380s |      19 |   718668 |   516682 |    25925     42 |      826 |      712
1382.31/1382.82	c 1382s |      19 |   719100 |   517082 |    25925     42 |      826 |      712
1384.51/1385.04	c 1384s |      19 |   719533 |   517482 |    25925     42 |      826 |      712
1386.90/1387.48	c 1387s |      19 |   720096 |   517982 |    25925     42 |      826 |      712
1389.20/1389.79	c 1389s |      19 |   720658 |   518482 |    25925     42 |      826 |      712
1391.60/1392.11	c 1391s |      19 |   721194 |   518982 |    25925     42 |      826 |      712
1393.90/1394.45	c 1394s |      19 |   721719 |   519482 |    25925     42 |      826 |      712
1396.30/1396.82	c 1396s |      19 |   722241 |   519982 |    25925     42 |      826 |      712
1398.40/1398.94	c 1398s |      19 |   722652 |   520382 |    25925     42 |      826 |      712
1400.40/1400.95	c 1400s |      19 |   723060 |   520782 |    25925     42 |      826 |      712
1402.60/1403.13	c 1402s |      19 |   723472 |   521182 |    25925     42 |      826 |      712
1404.70/1405.21	c 1404s |      19 |   723899 |   521582 |    25925     42 |      826 |      712
1406.70/1407.23	c 1406s |      19 |   724316 |   521982 |    25925     42 |      826 |      712
1408.90/1409.42	c 1409s |      19 |   724737 |   522382 |    25925     42 |      826 |      712
1411.00/1411.53	c 1411s |      19 |   725060 |   522682 |    25925     43 |      826 |      712
1413.00/1413.57	c 1413s |      19 |   725582 |   523182 |    25925     43 |      826 |      712
1415.10/1415.64	c 1415s |      19 |   726111 |   523682 |    25925     43 |      826 |      712
1417.40/1417.93	c 1417s |      19 |   726735 |   524282 |    25925     43 |      826 |      712
1419.39/1419.95	c 1419s |      19 |   727273 |   524782 |    25925     43 |      826 |      712
1421.49/1422.07	c 1421s |      19 |   727788 |   525282 |    25925     43 |      826 |      712
1423.69/1424.26	c 1424s |      19 |   728320 |   525782 |    25925     43 |      826 |      712
1425.79/1426.37	c 1426s |      19 |   728850 |   526282 |    25925     43 |      826 |      712
1427.89/1428.43	c 1428s |      19 |   729379 |   526782 |    25925     43 |      826 |      712
1430.19/1430.71	c 1430s |      19 |   729915 |   527282 |    25925     43 |      826 |      712
1432.19/1432.74	c 1432s |      19 |   730452 |   527782 |    25925     43 |      826 |      712
1434.29/1434.83	c 1434s |      19 |   730973 |   528282 |    25925     43 |      826 |      712
1436.39/1436.94	c 1436s |      19 |   731499 |   528782 |    25925     43 |      826 |      712
1438.79/1439.38	c 1439s |      19 |   732027 |   529282 |    25925     43 |      826 |      712
1441.19/1441.73	c 1441s |      19 |   732557 |   529782 |    25925     43 |      826 |      712
1443.49/1444.03	c 1443s |      19 |   733077 |   530282 |    25925     43 |      826 |      712
1446.00/1446.51	c 1446s |      19 |   733619 |   530782 |    25925     43 |      826 |      712
1448.39/1448.90	c 1448s |      19 |   734167 |   531282 |    25925     43 |      826 |      712
1450.40/1450.95	c 1450s |      19 |   734588 |   531682 |    25925     43 |      826 |      712
1452.70/1453.25	c 1452s |      19 |   735123 |   532182 |    25925     43 |      826 |      712
1455.09/1455.61	c 1455s |      19 |   735656 |   532682 |    25925     43 |      826 |      712
1457.49/1458.07	c 1457s |      19 |   736202 |   533182 |    25925     43 |      826 |      712
1459.59/1460.11	c 1459s |      19 |   736608 |   533582 |    25925     43 |      826 |      712
1461.69/1462.23	c 1461s |      19 |   737031 |   533982 |    25925     43 |      826 |      712
1464.09/1464.61	c 1464s |      19 |   737445 |   534382 |    25925     43 |      826 |      712
1466.09/1466.67	c 1466s |      19 |   737884 |   534782 |    25925     43 |      826 |      712
1468.49/1469.06	c 1468s |      19 |   738417 |   535282 |    25925     43 |      826 |      712
1470.89/1471.49	c 1471s |      19 |   738946 |   535782 |    25925     43 |      826 |      712
1473.19/1473.72	c 1473s |      19 |   739375 |   536182 |    25925     43 |      826 |      712
1475.59/1476.18	c 1475s |      19 |   739793 |   536582 |    25925     43 |      826 |      712
1477.89/1478.45	c 1478s |      19 |   740224 |   536982 |    25925     43 |      826 |      712
1479.89/1480.46	c 1480s |      19 |   740558 |   537282 |    25925     44 |      826 |      712
1481.98/1482.54	c 1482s |      19 |   741096 |   537782 |    25925     44 |      826 |      712
1484.08/1484.64	c 1484s |      19 |   741618 |   538282 |    25925     44 |      826 |      712
1486.18/1486.79	c 1486s |      19 |   742134 |   538782 |    25925     44 |      826 |      712
1488.48/1489.04	c 1488s |      19 |   742661 |   539282 |    25925     44 |      826 |      712
1490.68/1491.25	c 1490s |      19 |   743358 |   539882 |    25925     44 |      826 |      712
1492.88/1493.46	c 1493s |      19 |   743998 |   540482 |    25925     44 |      826 |      712
1495.28/1495.89	c 1495s |      19 |   744675 |   541082 |    25925     44 |      826 |      712
1497.69/1498.26	c 1498s |      19 |   745340 |   541682 |    25925     44 |      826 |      712
1499.78/1500.39	c 1500s |      19 |   745893 |   542182 |    25925     44 |      826 |      712
1502.19/1502.79	c 1502s |      19 |   746419 |   542682 |    25925     44 |      826 |      712
1504.29/1504.88	c 1504s |      19 |   746831 |   543082 |    25925     44 |      826 |      712
1506.59/1507.18	c 1506s |      19 |   747376 |   543582 |    25925     44 |      826 |      712
1508.88/1509.40	c 1509s |      19 |   747917 |   544082 |    25925     44 |      826 |      712
1511.28/1511.84	c 1511s |      19 |   748446 |   544582 |    25925     44 |      826 |      712
1513.68/1514.25	c 1513s |      19 |   748988 |   545082 |    25925     44 |      826 |      712
1516.18/1516.74	c 1516s |      19 |   749520 |   545582 |    25925     44 |      826 |      712
1518.28/1518.82	c 1518s |      19 |   749971 |   545982 |    25925     44 |      826 |      712
1520.58/1521.11	c 1520s |      19 |   750515 |   546482 |    25925     44 |      826 |      712
1522.88/1523.42	c 1523s |      19 |   751063 |   546982 |    25925     44 |      826 |      712
1525.18/1525.78	c 1525s |      19 |   751604 |   547482 |    25925     44 |      826 |      712
1527.28/1527.80	c 1527s |      19 |   752022 |   547882 |    25925     44 |      826 |      712
1529.78/1530.38	c 1530s |      19 |   752552 |   548382 |    25925     44 |      826 |      712
1532.08/1532.60	c 1532s |      19 |   752986 |   548782 |    25925     44 |      826 |      712
1534.08/1534.61	c 1534s |      19 |   753413 |   549182 |    25925     44 |      826 |      712
1536.28/1536.83	c 1536s |      19 |   753839 |   549582 |    25925     44 |      826 |      712
1538.48/1539.04	c 1538s |      19 |   754260 |   549982 |    25925     44 |      826 |      712
1540.58/1541.12	c 1540s |      19 |   754707 |   550382 |    25925     44 |      826 |      712
1542.98/1543.51	c 1543s |      19 |   755127 |   550782 |    25925     44 |      826 |      712
1545.28/1545.83	c 1545s |      19 |   755554 |   551182 |    25925     44 |      826 |      712
1547.57/1548.18	c 1547s |      19 |   755971 |   551582 |    25925     44 |      826 |      712
1549.77/1550.31	c 1550s |      19 |   756289 |   551882 |    25925     45 |      826 |      712
1551.77/1552.32	c 1552s |      19 |   756828 |   552382 |    25925     45 |      826 |      712
1554.07/1554.63	c 1554s |      19 |   757354 |   552882 |    25925     45 |      826 |      712
1556.17/1556.76	c 1556s |      19 |   757905 |   553382 |    25925     45 |      826 |      712
1558.28/1558.82	c 1558s |      19 |   758522 |   553882 |    25925     45 |      826 |      712
1560.38/1560.94	c 1560s |      19 |   759197 |   554482 |    25925     45 |      826 |      712
1562.58/1563.19	c 1562s |      19 |   759847 |   555082 |    25925     45 |      826 |      712
1564.67/1565.27	c 1565s |      19 |   760384 |   555582 |    25925     45 |      826 |      712
1566.87/1567.40	c 1567s |      19 |   760915 |   556082 |    25925     45 |      826 |      712
1569.18/1569.74	c 1569s |      19 |   761560 |   556682 |    25925     45 |      826 |      712
1571.27/1571.89	c 1571s |      19 |   762088 |   557182 |    25925     45 |      826 |      712
1573.68/1574.23	c 1573s |      19 |   762617 |   557682 |    25925     45 |      826 |      712
1575.67/1576.23	c 1575s |      19 |   763023 |   558082 |    25925     45 |      826 |      712
1577.98/1578.53	c 1578s |      19 |   763545 |   558582 |    25925     45 |      826 |      712
1580.18/1580.73	c 1580s |      19 |   764092 |   559082 |    25925     45 |      826 |      712
1582.67/1583.20	c 1582s |      19 |   764612 |   559582 |    25925     45 |      826 |      712
1584.68/1585.26	c 1585s |      19 |   765030 |   559982 |    25925     45 |      826 |      712
1586.77/1587.38	c 1587s |      19 |   765457 |   560382 |    25925     45 |      826 |      712
1588.87/1589.44	c 1589s |      19 |   765874 |   560782 |    25925     45 |      826 |      712
1590.97/1591.59	c 1591s |      19 |   766289 |   561182 |    25925     45 |      826 |      712
1593.27/1593.88	c 1593s |      19 |   766717 |   561582 |    25925     45 |      826 |      712
1595.57/1596.19	c 1595s |      19 |   767133 |   561982 |    25925     45 |      826 |      712
1597.87/1598.41	c 1598s |      19 |   767561 |   562382 |    25925     45 |      826 |      712
1600.16/1600.79	c 1600s |      19 |   767973 |   562782 |    25925     45 |      826 |      712
1602.76/1603.37	c 1603s |      19 |   768393 |   563182 |    25925     45 |      826 |      712
1605.16/1605.72	c 1605s |      19 |   768797 |   563582 |    25925     45 |      826 |      712
1607.26/1607.80	c 1607s |      19 |   769231 |   563982 |    25925     45 |      826 |      712
1609.46/1610.08	c 1609s |      19 |   769657 |   564382 |    25925     45 |      826 |      712
1611.66/1612.25	c 1611s |      19 |   770076 |   564782 |    25925     45 |      826 |      712
1614.06/1614.68	c 1614s |      19 |   770505 |   565182 |    25925     45 |      826 |      712
1616.57/1617.12	c 1616s |      19 |   770919 |   565582 |    25925     45 |      826 |      712
1618.96/1619.55	c 1619s |      19 |   771346 |   565982 |    25925     45 |      826 |      712
1621.16/1621.72	c 1621s |      19 |   771777 |   566382 |    25925     45 |      826 |      712
1623.36/1623.94	c 1623s |      19 |   772194 |   566782 |    25925     46 |      826 |      712
1625.46/1626.01	c 1625s |      19 |   772723 |   567282 |    25925     46 |      826 |      712
1627.46/1628.04	c 1627s |      19 |   773260 |   567782 |    25925     46 |      826 |      712
1629.86/1630.48	c 1630s |      19 |   773893 |   568382 |    25925     46 |      826 |      712
1632.26/1632.87	c 1632s |      19 |   774536 |   568982 |    25925     46 |      826 |      712
1634.26/1634.89	c 1634s |      19 |   775182 |   569582 |    25925     46 |      826 |      712
1636.76/1637.37	c 1637s |      19 |   775706 |   570082 |    25925     46 |      826 |      712
1639.26/1639.82	c 1639s |      19 |   776236 |   570582 |    25925     46 |      826 |      712
1641.66/1642.29	c 1642s |      19 |   776751 |   571082 |    25925     46 |      826 |      712
1644.16/1644.78	c 1644s |      19 |   777275 |   571582 |    25925     46 |      826 |      712
1646.46/1647.04	c 1646s |      19 |   777692 |   571982 |    25925     46 |      826 |      712
1648.96/1649.51	c 1649s |      19 |   778105 |   572382 |    25925     46 |      826 |      712
1651.16/1651.76	c 1651s |      19 |   778509 |   572782 |    25925     46 |      826 |      712
1653.55/1654.13	c 1653s |      19 |   778924 |   573182 |    25925     46 |      826 |      712
1655.75/1656.34	c 1656s |      19 |   779342 |   573582 |    25925     46 |      826 |      712
1657.75/1658.36	c 1658s |      19 |   779760 |   573982 |    25925     46 |      826 |      712
1660.15/1660.72	c 1660s |      19 |   780173 |   574382 |    25925     46 |      826 |      712
1662.35/1662.98	c 1662s |      19 |   780602 |   574782 |    25925     46 |      826 |      712
1664.86/1665.44	c 1665s |      19 |   781124 |   575282 |    25925     46 |      826 |      712
1666.85/1667.46	c 1667s |      19 |   781547 |   575682 |    25925     46 |      826 |      712
1669.05/1669.69	c 1669s |      19 |   781967 |   576082 |    25925     46 |      826 |      712
1671.25/1671.81	c 1671s |      19 |   782390 |   576482 |    25925     46 |      826 |      712
1673.55/1674.11	c 1673s |      19 |   782810 |   576882 |    25925     46 |      826 |      712
1675.86/1676.48	c 1676s |      19 |   783239 |   577282 |    25925     46 |      826 |      712
1677.95/1678.56	c 1678s |      19 |   783901 |   577782 |    25925     46 |      826 |      712
1680.36/1680.97	c 1680s |      19 |   784687 |   578382 |    25925     46 |      826 |      712
1682.75/1683.37	c 1683s |      19 |   785313 |   578882 |    25925     46 |      826 |      712
1685.35/1685.91	c 1685s |      19 |   785962 |   579382 |    25925     46 |      826 |      712
1687.45/1688.06	c 1687s |      19 |   786419 |   579782 |    25925     46 |      826 |      712
1689.75/1690.33	c 1690s |      19 |   787051 |   580282 |    25925     46 |      826 |      712
1691.75/1692.37	c 1692s |      19 |   787507 |   580682 |    25925     46 |      826 |      712
1693.85/1694.43	c 1694s |      19 |   787891 |   580982 |    25925     47 |      826 |      712
1696.25/1696.81	c 1696s |      19 |   788582 |   581582 |    25925     47 |      826 |      712
1698.55/1699.19	c 1698s |      19 |   789234 |   582182 |    25925     47 |      826 |      712
1700.95/1701.54	c 1701s |      19 |   789817 |   582682 |    25925     47 |      826 |      712
1703.15/1703.71	c 1703s |      19 |   790252 |   583082 |    25925     47 |      826 |      712
1705.65/1706.25	c 1705s |      19 |   790786 |   583582 |    25925     47 |      826 |      712
1708.14/1708.72	c 1708s |      19 |   791347 |   584082 |    25925     47 |      826 |      712
1710.34/1710.90	c 1710s |      19 |   791766 |   584482 |    25925     47 |      826 |      712
1712.34/1712.93	c 1712s |      19 |   792184 |   584882 |    25925     47 |      826 |      712
1714.74/1715.34	c 1715s |      19 |   792898 |   585482 |    25925     47 |      826 |      712
1716.94/1717.56	c 1717s |      19 |   793493 |   585982 |    25925     47 |      826 |      712
1719.34/1719.94	c 1719s |      19 |   794036 |   586482 |    25925     47 |      826 |      712
1721.64/1722.25	c 1721s |      19 |   794586 |   586982 |    25925     47 |      826 |      712
1723.84/1724.46	c 1724s |      19 |   795169 |   587482 |    25925     47 |      826 |      712
1726.04/1726.60	c 1726s |      19 |   795595 |   587882 |    25925     47 |      826 |      712
1728.04/1728.67	c 1728s |      19 |   796044 |   588282 |    25925     47 |      826 |      712
1730.24/1730.81	c 1730s |      19 |   796561 |   588782 |    25925     47 |      826 |      712
1732.54/1733.19	c 1732s |      19 |   797085 |   589282 |    25925     47 |      826 |      712
1734.74/1735.37	c 1735s |      19 |   797629 |   589782 |    25925     47 |      826 |      712
1737.04/1737.60	c 1737s |      19 |   798160 |   590282 |    25925     47 |      826 |      712
1739.24/1739.81	c 1739s |      19 |   798718 |   590782 |    25925     47 |      826 |      712
1741.34/1741.96	c 1741s |      19 |   799145 |   591182 |    25925     47 |      826 |      712
1743.74/1744.36	c 1744s |      19 |   799673 |   591682 |    25925     47 |      826 |      712
1745.74/1746.38	c 1746s |      19 |   800083 |   592082 |    25925     47 |      826 |      712
1748.04/1748.63	c 1748s |      19 |   800503 |   592482 |    25925     47 |      826 |      712
1750.24/1750.84	c 1750s |      19 |   800928 |   592882 |    25925     47 |      826 |      712
1752.84/1753.43	c 1753s |      19 |   801337 |   593282 |    25925     47 |      826 |      712
1754.84/1755.47	c 1755s |      19 |   801667 |   593582 |    25925     47 |      826 |      712
1756.84/1757.49	c 1757s |      19 |   802131 |   593982 |    25925     47 |      826 |      712
1758.94/1759.58	c 1759s |      19 |   802610 |   594382 |    25925     47 |      826 |      712
1761.14/1761.72	c 1761s |      19 |   803058 |   594782 |    25925     47 |      826 |      712
1763.44/1764.06	c 1763s |      19 |   803507 |   595182 |    25925     47 |      826 |      712
1765.64/1766.22	c 1765s |      19 |   803844 |   595482 |    25925     48 |      826 |      712
1767.63/1768.26	c 1768s |      19 |   804413 |   595982 |    25925     48 |      826 |      712
1769.73/1770.30	c 1770s |      19 |   804956 |   596482 |    25925     48 |      826 |      712
1772.23/1772.80	c 1772s |      19 |   805608 |   597082 |    25925     48 |      826 |      712
1774.64/1775.23	c 1774s |      19 |   806186 |   597582 |    25925     48 |      826 |      712
1776.84/1777.47	c 1777s |      19 |   806751 |   598082 |    25925     48 |      826 |      712
1779.14/1779.77	c 1779s |      19 |   807326 |   598582 |    25925     48 |      826 |      712
1781.55/1782.14	c 1781s |      19 |   807866 |   599082 |    25925     48 |      826 |      712
1783.75/1784.31	c 1784s |      19 |   808289 |   599482 |    25925     48 |      826 |      712
1785.95/1786.52	c 1786s |      19 |   808708 |   599882 |    25925     48 |      826 |      712
1788.15/1788.75	c 1788s |      19 |   809131 |   600282 |    25925     48 |      826 |      712
1790.74/1791.36	c 1791s |      19 |   809608 |   600682 |    25925     48 |      826 |      712
1793.24/1793.84	c 1793s |      19 |   810192 |   601182 |    25925     48 |      826 |      712
1795.54/1796.11	c 1795s |      19 |   810735 |   601682 |    25925     48 |      826 |      712
1797.54/1798.13	c 1797s |      19 |   811167 |   602082 |    25925     48 |      826 |      712
1799.74/1800.32	c 1800s |      19 |   811609 |   602482 |    25925     48 |      826 |      712

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

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

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


[startup+0 s]
/proc/loadavg: 1.11 1.27 1.64 4/170 23483
/proc/meminfo: memFree=30345328/32872528 swapFree=1541156/1696500
[pid=23483] ppid=23480 vsize=786876 CPUtime=0 cores=0,2,4,6
/proc/23483/stat : 23483 (toysat) R 23480 23483 23447 0 -1 4202496 2948 0 0 0 0 0 0 0 20 0 4 0 29716336 805761024 2798 33554432000 4194304 16246674 140735143345072 140735143344496 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23483/statm: 197487 2806 441 2943 0 194381 0
[pid=23483/tid=23484] ppid=23480 vsize=804284 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23484/stat : 23484 (toysat) S 23480 23483 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29716336 823586816 2865 33554432000 4194304 16246674 140735143345072 139987958869232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23483/tid=23485] ppid=23480 vsize=807356 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23485/stat : 23485 (toysat) S 23480 23483 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716336 826732544 2878 33554432000 4194304 16246674 140735143345072 139987948379376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23483/tid=23486] ppid=23480 vsize=812476 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23486/stat : 23486 (toysat) S 23480 23483 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29716336 831975424 2898 33554432000 4194304 16246674 140735143345072 139987937905840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100181 s]
/proc/loadavg: 1.11 1.27 1.64 4/170 23483
/proc/meminfo: memFree=30345328/32872528 swapFree=1541156/1696500
[pid=23483] ppid=23480 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/23483/stat : 23483 (toysat) R 23480 23483 23447 0 -1 4202496 28277 0 0 0 4 5 0 0 20 0 4 0 29716336 1249447936 28064 33554432000 4194304 16246674 140735143345072 140735143344384 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23483/statm: 305041 28064 801 2943 0 301935 0
[pid=23483/tid=23484] ppid=23480 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23484/stat : 23484 (toysat) S 23480 23483 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29716336 1249447936 28064 33554432000 4194304 16246674 140735143345072 139987958869232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23483/tid=23485] ppid=23480 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23485/stat : 23485 (toysat) S 23480 23483 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716336 1249447936 28064 33554432000 4194304 16246674 140735143345072 139987948379376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23483/tid=23486] ppid=23480 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23486/stat : 23486 (toysat) S 23480 23483 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716336 1249447936 28064 33554432000 4194304 16246674 140735143345072 139987937905840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200527 s]
/proc/loadavg: 1.11 1.27 1.64 4/170 23483
/proc/meminfo: memFree=30345328/32872528 swapFree=1541156/1696500
[pid=23483] ppid=23480 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/23483/stat : 23483 (toysat) R 23480 23483 23447 0 -1 4202496 48484 0 0 0 11 8 0 0 20 0 4 0 29716336 1332285440 48271 33554432000 4194304 16246674 140735143345072 140735143344384 13950700 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23483/statm: 325265 48271 842 2943 0 322159 0
[pid=23483/tid=23484] ppid=23480 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23484/stat : 23484 (toysat) S 23480 23483 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29716336 1332285440 48271 33554432000 4194304 16246674 140735143345072 139987958869232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23483/tid=23485] ppid=23480 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23485/stat : 23485 (toysat) S 23480 23483 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716336 1332285440 48271 33554432000 4194304 16246674 140735143345072 139987948379376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23483/tid=23486] ppid=23480 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23486/stat : 23486 (toysat) S 23480 23483 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716336 1332285440 48271 33554432000 4194304 16246674 140735143345072 139987937905840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300477 s]
/proc/loadavg: 1.11 1.27 1.64 4/170 23483
/proc/meminfo: memFree=30345328/32872528 swapFree=1541156/1696500
[pid=23483] ppid=23480 vsize=1301060 CPUtime=0.29 cores=0,2,4,6
/proc/23483/stat : 23483 (toysat) R 23480 23483 23447 0 -1 4202496 50663 0 0 0 21 8 0 0 20 0 4 0 29716336 1332285440 50451 33554432000 4194304 16246674 140735143345072 140735143344384 12875570 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23483/statm: 325265 50457 882 2943 0 322159 0
[pid=23483/tid=23484] ppid=23480 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23484/stat : 23484 (toysat) S 23480 23483 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29716336 1332285440 50461 33554432000 4194304 16246674 140735143345072 139987958869232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23483/tid=23485] ppid=23480 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23485/stat : 23485 (toysat) S 23480 23483 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716336 1332285440 50464 33554432000 4194304 16246674 140735143345072 139987948379376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23483/tid=23486] ppid=23480 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23486/stat : 23486 (toysat) S 23480 23483 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716336 1332285440 50467 33554432000 4194304 16246674 140735143345072 139987937905840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700395 s]
/proc/loadavg: 1.11 1.27 1.64 4/170 23483
/proc/meminfo: memFree=30345328/32872528 swapFree=1541156/1696500
[pid=23483] ppid=23480 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/23483/stat : 23483 (toysat) R 23480 23483 23447 0 -1 4202496 103038 0 0 0 54 15 0 0 20 0 4 0 29716336 1332285440 102825 33554432000 4194304 16246674 140735143345072 140735143326976 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23483/statm: 325265 102831 882 2943 0 322159 0
[pid=23483/tid=23484] ppid=23480 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23484/stat : 23484 (toysat) S 23480 23483 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29716336 1332285440 102835 33554432000 4194304 16246674 140735143345072 139987958869232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23483/tid=23485] ppid=23480 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23485/stat : 23485 (toysat) S 23480 23483 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716336 1332285440 102837 33554432000 4194304 16246674 140735143345072 139987948379376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23483/tid=23486] ppid=23480 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23486/stat : 23486 (toysat) S 23480 23483 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716336 1332285440 102839 33554432000 4194304 16246674 140735143345072 139987937905840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.5004 s]
/proc/loadavg: 1.18 1.29 1.64 4/183 23500
/proc/meminfo: memFree=29131000/32872528 swapFree=1541156/1696500
[pid=23483] ppid=23480 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/23483/stat : 23483 (toysat) R 23480 23483 23447 0 -1 4202496 200647 0 0 0 120 29 0 0 20 0 4 0 29716336 1332285440 200434 33554432000 4194304 16246674 140735143345072 140735143326976 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23483/statm: 325265 200439 882 2943 0 322159 0
[pid=23483/tid=23484] ppid=23480 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23484/stat : 23484 (toysat) S 23480 23483 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29716336 1332285440 200442 33554432000 4194304 16246674 140735143345072 139987958869232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23483/tid=23485] ppid=23480 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23485/stat : 23485 (toysat) S 23480 23483 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716336 1332285440 200445 33554432000 4194304 16246674 140735143345072 139987948379376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23483/tid=23486] ppid=23480 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23486/stat : 23486 (toysat) S 23480 23483 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716336 1332285440 200447 33554432000 4194304 16246674 140735143345072 139987937905840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10041 s]
/proc/loadavg: 1.18 1.29 1.64 3/183 23500
/proc/meminfo: memFree=28192396/32872528 swapFree=1541156/1696500
[pid=23483] ppid=23480 vsize=1312324 CPUtime=3.09 cores=0,2,4,6
/proc/23483/stat : 23483 (toysat) R 23480 23483 23447 0 -1 4202496 269169 0 0 0 269 40 0 0 20 0 4 0 29716336 1343819776 268956 33554432000 4194304 16246674 140735143345072 140735143328072 6020448 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23483/statm: 328081 268956 889 2943 0 324975 0
[pid=23483/tid=23484] ppid=23480 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23484/stat : 23484 (toysat) S 23480 23483 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29716336 1343819776 268956 33554432000 4194304 16246674 140735143345072 139987958869232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23483/tid=23485] ppid=23480 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23485/stat : 23485 (toysat) S 23480 23483 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716336 1343819776 268956 33554432000 4194304 16246674 140735143345072 139987948379376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23483/tid=23486] ppid=23480 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23486/stat : 23486 (toysat) S 23480 23483 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716336 1343819776 268956 33554432000 4194304 16246674 140735143345072 139987937905840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30041 s]
/proc/loadavg: 1.18 1.29 1.64 3/183 23500
/proc/meminfo: memFree=28191464/32872528 swapFree=1541156/1696500
[pid=23483] ppid=23480 vsize=1312324 CPUtime=6.29 cores=0,2,4,6
/proc/23483/stat : 23483 (toysat) R 23480 23483 23447 0 -1 4202496 269268 0 0 0 589 40 0 0 20 0 4 0 29716336 1343819776 269055 33554432000 4194304 16246674 140735143345072 140735143326976 4206615 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23483/statm: 328081 269055 889 2943 0 324975 0
[pid=23483/tid=23484] ppid=23480 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23484/stat : 23484 (toysat) S 23480 23483 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29716336 1343819776 269055 33554432000 4194304 16246674 140735143345072 139987958869232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23483/tid=23485] ppid=23480 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23485/stat : 23485 (toysat) S 23480 23483 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716336 1343819776 269055 33554432000 4194304 16246674 140735143345072 139987948379376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23483/tid=23486] ppid=23480 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23486/stat : 23486 (toysat) S 23480 23483 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716336 1343819776 269055 33554432000 4194304 16246674 140735143345072 139987937905840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 1.38 1.33 1.65 4/183 23500
/proc/meminfo: memFree=28192040/32872528 swapFree=1541156/1696500
[pid=23483] ppid=23480 vsize=1312324 CPUtime=12.69 cores=0,2,4,6
/proc/23483/stat : 23483 (toysat) R 23480 23483 23447 0 -1 4202496 269270 0 0 0 1229 40 0 0 20 0 4 0 29716336 1343819776 269057 33554432000 4194304 16246674 140735143345072 140735143326976 4220871 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23483/statm: 328081 269057 891 2943 0 324975 0
[pid=23483/tid=23484] ppid=23480 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23484/stat : 23484 (toysat) S 23480 23483 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29716336 1343819776 269057 33554432000 4194304 16246674 140735143345072 139987958869232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23483/tid=23485] ppid=23480 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23485/stat : 23485 (toysat) S 23480 23483 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716336 1343819776 269057 33554432000 4194304 16246674 140735143345072 139987948379376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23483/tid=23486] ppid=23480 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23486/stat : 23486 (toysat) S 23480 23483 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716336 1343819776 269057 33554432000 4194304 16246674 140735143345072 139987937905840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 1.55 1.36 1.66 3/183 23500
/proc/meminfo: memFree=28193152/32872528 swapFree=1541156/1696500
[pid=23483] ppid=23480 vsize=1312324 CPUtime=25.49 cores=0,2,4,6
/proc/23483/stat : 23483 (toysat) R 23480 23483 23447 0 -1 4202496 269270 0 0 0 2509 40 0 0 20 0 4 0 29716336 1343819776 269057 33554432000 4194304 16246674 140735143345072 140735143326976 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23483/statm: 328081 269057 891 2943 0 324975 0
[pid=23483/tid=23484] ppid=23480 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23484/stat : 23484 (toysat) S 23480 23483 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29716336 1343819776 269057 33554432000 4194304 16246674 140735143345072 139987958869232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23483/tid=23485] ppid=23480 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23485/stat : 23485 (toysat) S 23480 23483 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716336 1343819776 269057 33554432000 4194304 16246674 140735143345072 139987948379376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23483/tid=23486] ppid=23480 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23486/stat : 23486 (toysat) S 23480 23483 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716336 1343819776 269057 33554432000 4194304 16246674 140735143345072 139987937905840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 1.78 1.43 1.67 3/183 23500
/proc/meminfo: memFree=28193352/32872528 swapFree=1541160/1696504
[pid=23483] ppid=23480 vsize=1312324 CPUtime=51.09 cores=0,2,4,6
/proc/23483/stat : 23483 (toysat) R 23480 23483 23447 0 -1 4202496 269272 0 0 0 5069 40 0 0 20 0 4 0 29716336 1343819776 269059 33554432000 4194304 16246674 140735143345072 140735143326976 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23483/statm: 328081 269059 892 2943 0 324975 0
[pid=23483/tid=23484] ppid=23480 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23484/stat : 23484 (toysat) S 23480 23483 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29716336 1343819776 269059 33554432000 4194304 16246674 140735143345072 139987958869232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23483/tid=23485] ppid=23480 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23485/stat : 23485 (toysat) S 23480 23483 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716336 1343819776 269059 33554432000 4194304 16246674 140735143345072 139987948379376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23483/tid=23486] ppid=23480 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23486/stat : 23486 (toysat) S 23480 23483 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716336 1343819776 269059 33554432000 4194304 16246674 140735143345072 139987937905840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.07 1.57 1.70 3/183 23501
/proc/meminfo: memFree=28181616/32872528 swapFree=1541156/1696500
[pid=23483] ppid=23480 vsize=1319492 CPUtime=102.28 cores=0,2,4,6
/proc/23483/stat : 23483 (toysat) R 23480 23483 23447 0 -1 4202496 270933 0 0 0 10188 40 0 0 20 0 4 0 29716336 1351159808 270720 33554432000 4194304 16246674 140735143345072 140735143328072 5600232 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23483/statm: 329873 270720 892 2943 0 326767 0
[pid=23483/tid=23484] ppid=23480 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23484/stat : 23484 (toysat) S 23480 23483 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29716336 1351159808 270720 33554432000 4194304 16246674 140735143345072 139987958869232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23483/tid=23485] ppid=23480 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23485/stat : 23485 (toysat) S 23480 23483 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716336 1351159808 270720 33554432000 4194304 16246674 140735143345072 139987948379376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23483/tid=23486] ppid=23480 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23486/stat : 23486 (toysat) S 23480 23483 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716336 1351159808 270720 33554432000 4194304 16246674 140735143345072 139987937905840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1319492


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

/proc/23483/task/23486/stat : 23486 (toysat) S 23480 23483 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 139987937905840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 1340996

[startup+1302.3 s]
/proc/loadavg: 2.25 2.21 2.07 3/183 23554
/proc/meminfo: memFree=28138916/32872528 swapFree=1541156/1696500
[pid=23483] ppid=23480 vsize=1340996 CPUtime=1301.81 cores=0,2,4,6
/proc/23483/stat : 23483 (toysat) R 23480 23483 23447 0 -1 4202496 276902 0 0 0 130136 45 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 140735143326976 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23483/statm: 335249 276484 892 2943 0 332143 0
[pid=23483/tid=23484] ppid=23480 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23484/stat : 23484 (toysat) S 23480 23483 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 139987958869232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23483/tid=23485] ppid=23480 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23485/stat : 23485 (toysat) S 23480 23483 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 139987948379376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23483/tid=23486] ppid=23480 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23486/stat : 23486 (toysat) S 23480 23483 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 139987937905840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1340996

[startup+1362.3 s]
/proc/loadavg: 2.21 2.21 2.08 3/183 23555
/proc/meminfo: memFree=28139072/32872528 swapFree=1541156/1696500
[pid=23483] ppid=23480 vsize=1340996 CPUtime=1361.81 cores=0,2,4,6
/proc/23483/stat : 23483 (toysat) R 23480 23483 23447 0 -1 4202496 276902 0 0 0 136135 46 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 140735143326976 5673912 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23483/statm: 335249 276484 892 2943 0 332143 0
[pid=23483/tid=23484] ppid=23480 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23484/stat : 23484 (toysat) S 23480 23483 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 139987958869232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23483/tid=23485] ppid=23480 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23485/stat : 23485 (toysat) S 23480 23483 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 139987948379376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23483/tid=23486] ppid=23480 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23486/stat : 23486 (toysat) S 23480 23483 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 139987937905840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1340996

[startup+1422.3 s]
/proc/loadavg: 2.40 2.26 2.10 3/182 23556
/proc/meminfo: memFree=28138124/32872528 swapFree=1541156/1696500
[pid=23483] ppid=23480 vsize=1340996 CPUtime=1421.8 cores=0,2,4,6
/proc/23483/stat : 23483 (toysat) R 23480 23483 23447 0 -1 4202496 276902 0 0 0 142134 46 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 140735143326976 6023713 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23483/statm: 335249 276484 892 2943 0 332143 0
[pid=23483/tid=23484] ppid=23480 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23484/stat : 23484 (toysat) S 23480 23483 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 139987958869232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23483/tid=23485] ppid=23480 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23485/stat : 23485 (toysat) S 23480 23483 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 139987948379376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23483/tid=23486] ppid=23480 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23486/stat : 23486 (toysat) S 23480 23483 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 139987937905840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1340996

[startup+1482.3 s]
/proc/loadavg: 2.34 2.27 2.11 3/184 23561
/proc/meminfo: memFree=28137984/32872528 swapFree=1541156/1696500
[pid=23483] ppid=23480 vsize=1340996 CPUtime=1481.78 cores=0,2,4,6
/proc/23483/stat : 23483 (toysat) R 23480 23483 23447 0 -1 4202496 276902 0 0 0 148132 46 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 140735143326976 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23483/statm: 335249 276484 892 2943 0 332143 0
[pid=23483/tid=23484] ppid=23480 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23484/stat : 23484 (toysat) S 23480 23483 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 139987958869232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23483/tid=23485] ppid=23480 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23485/stat : 23485 (toysat) S 23480 23483 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 139987948379376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23483/tid=23486] ppid=23480 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23486/stat : 23486 (toysat) S 23480 23483 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 139987937905840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1340996

[startup+1542.31 s]
/proc/loadavg: 2.41 2.31 2.13 4/183 23562
/proc/meminfo: memFree=28137780/32872528 swapFree=1541156/1696500
[pid=23483] ppid=23480 vsize=1340996 CPUtime=1541.78 cores=0,2,4,6
/proc/23483/stat : 23483 (toysat) R 23480 23483 23447 0 -1 4202496 276902 0 0 0 154132 46 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 140735143326976 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23483/statm: 335249 276484 892 2943 0 332143 0
[pid=23483/tid=23484] ppid=23480 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23484/stat : 23484 (toysat) S 23480 23483 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 139987958869232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23483/tid=23485] ppid=23480 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23485/stat : 23485 (toysat) S 23480 23483 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 139987948379376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23483/tid=23486] ppid=23480 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23486/stat : 23486 (toysat) S 23480 23483 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 139987937905840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1340996

[startup+1602.3 s]
/proc/loadavg: 2.38 2.32 2.15 3/183 23563
/proc/meminfo: memFree=28138068/32872528 swapFree=1541156/1696500
[pid=23483] ppid=23480 vsize=1340996 CPUtime=1601.76 cores=0,2,4,6
/proc/23483/stat : 23483 (toysat) R 23480 23483 23447 0 -1 4202496 276902 0 0 0 160130 46 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 140735143326976 5522977 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23483/statm: 335249 276484 892 2943 0 332143 0
[pid=23483/tid=23484] ppid=23480 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23484/stat : 23484 (toysat) S 23480 23483 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 139987958869232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23483/tid=23485] ppid=23480 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23485/stat : 23485 (toysat) S 23480 23483 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 139987948379376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23483/tid=23486] ppid=23480 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23486/stat : 23486 (toysat) S 23480 23483 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 139987937905840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1340996

[startup+1662.3 s]
/proc/loadavg: 2.31 2.32 2.16 3/183 23564
/proc/meminfo: memFree=28137980/32872528 swapFree=1541156/1696500
[pid=23483] ppid=23480 vsize=1340996 CPUtime=1661.75 cores=0,2,4,6
/proc/23483/stat : 23483 (toysat) R 23480 23483 23447 0 -1 4202496 276902 0 0 0 166129 46 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 140735143326976 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23483/statm: 335249 276484 892 2943 0 332143 0
[pid=23483/tid=23484] ppid=23480 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23484/stat : 23484 (toysat) S 23480 23483 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 139987958869232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23483/tid=23485] ppid=23480 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23485/stat : 23485 (toysat) S 23480 23483 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 139987948379376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23483/tid=23486] ppid=23480 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23486/stat : 23486 (toysat) S 23480 23483 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 139987937905840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1340996

[startup+1722.3 s]
/proc/loadavg: 2.41 2.36 2.18 3/183 23565
/proc/meminfo: memFree=28138200/32872528 swapFree=1541156/1696500
[pid=23483] ppid=23480 vsize=1340996 CPUtime=1721.74 cores=0,2,4,6
/proc/23483/stat : 23483 (toysat) R 23480 23483 23447 0 -1 4202496 276902 0 0 0 172128 46 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 140735143326976 12875026 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23483/statm: 335249 276484 892 2943 0 332143 0
[pid=23483/tid=23484] ppid=23480 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23484/stat : 23484 (toysat) S 23480 23483 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 139987958869232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23483/tid=23485] ppid=23480 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23485/stat : 23485 (toysat) S 23480 23483 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 139987948379376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23483/tid=23486] ppid=23480 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23486/stat : 23486 (toysat) S 23480 23483 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 139987937905840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1340996

[startup+1782.3 s]
/proc/loadavg: 2.25 2.32 2.18 4/183 23567
/proc/meminfo: memFree=28137736/32872528 swapFree=1541156/1696500
[pid=23483] ppid=23480 vsize=1340996 CPUtime=1781.74 cores=0,2,4,6
/proc/23483/stat : 23483 (toysat) R 23480 23483 23447 0 -1 4202496 276902 0 0 0 178127 47 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 140735143326976 12483218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23483/statm: 335249 276484 892 2943 0 332143 0
[pid=23483/tid=23484] ppid=23480 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23484/stat : 23484 (toysat) S 23480 23483 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 139987958869232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23483/tid=23485] ppid=23480 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23485/stat : 23485 (toysat) S 23480 23483 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 139987948379376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23483/tid=23486] ppid=23480 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23486/stat : 23486 (toysat) S 23480 23483 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 139987937905840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1340996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.27 2.32 2.18 3/183 23567
/proc/meminfo: memFree=28138200/32872528 swapFree=1541156/1696500
[pid=23483] ppid=23480 vsize=1340996 CPUtime=1800.04 cores=0,2,4,6
/proc/23483/stat : 23483 (toysat) R 23480 23483 23447 0 -1 4202496 276902 0 0 0 179957 47 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 140735143326976 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23483/statm: 335249 276484 892 2943 0 332143 0
[pid=23483/tid=23484] ppid=23480 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23484/stat : 23484 (toysat) S 23480 23483 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 139987958869232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23483/tid=23485] ppid=23480 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23485/stat : 23485 (toysat) S 23480 23483 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 139987948379376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23483/tid=23486] ppid=23480 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/23483/task/23486/stat : 23486 (toysat) S 23480 23483 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716336 1373179904 276484 33554432000 4194304 16246674 140735143345072 139987937905840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1340996

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 23483 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.05
CPU user time (s): 1799.58
CPU system time (s): 0.471928
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (KiB): 1340996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.471928
maximum resident set size= 1105936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276902
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= 477
involuntary context switches= 2140

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.54531 second user time and 6.97294 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-26 20:46:16
IDJOB=4116221
IDBENCH=109443
IDSOLVER=2542
FILE ID=node125/4116221-1466966776
RUNJOBID= node125-1466966776-23463
PBS_JOBID= 19976375
Free space on /tmp= 71740 MiB

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

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

MD5SUM BENCH= 060553e9278d09db71a072242e10172b
RANDOM SEED=71680743

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30347748 kB
Buffers:           32276 kB
Cached:            92060 kB
SwapCached:         1736 kB
Active:            61280 kB
Inactive:          65596 kB
Active(anon):       4832 kB
Inactive(anon):      448 kB
Active(file):      56448 kB
Inactive(file):    65148 kB
Unevictable:     1696500 kB
Mlocked:         1541156 kB
SwapTotal:      67108856 kB
SwapFree:       67098452 kB
Dirty:             31832 kB
Writeback:             0 kB
AnonPages:       1698920 kB
Mapped:             6756 kB
Shmem:                 0 kB
Slab:             567244 kB
SReclaimable:      11488 kB
SUnreclaim:       555756 kB
KernelStack:        1336 kB
PageTables:         7688 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1793768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node125 at 2016-06-26 21:16:17