Trace number 4078828

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12038_3-sat.opb
MD5SUM56cc40b9ea431027514a5b56e02d7edb
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 variables37752
Total number of constraints125892
Number of constraints which are clauses125272
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints620
Minimum length of a constraint1
Maximum length of a constraint120
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 34
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 740
Number of bits of the biggest sum of numbers10
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-07T06:17:05+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4078828-1465273025.opb"]
0.00/0.01	c use --random-gen="3088826249 2659706065 4079114007 3531978393 3401629903 1800432178 3027854376 839069601 2279382249 3780149082 2384079129 1574321460 904196313 2567534192 2900073124 694489246 1186606614 4073445559 3095953649 1242374156 2857400788 347443530 2466042344 457547980 1728757441 2201645430 1391112752 4046487137 681316926 2214034870 3729017817 2460065761 3630004032 3059920009 529178530 2748010724 1855506173 3317540781 2189888266 827669446 661460854 4225564991 560559042 390737291 3149048280 1349957818 1682780767 3328190897 2804526462 1782401153 3166778082 741518135 3815376022 1120959394 463368879 2358820610 1652176796 2788186905 3189627404 665342352 4117378689 2296368662 3234309944 3688144417 1829938439 1131774774 1303990562 1639795639 1132004225 1427221624 1131672702 2897617620 2901903129 3846224108 3780199758 3940080141 2280017222 3978762153 2230773588 23592885 3172046193 3232301290 2337246762 746710362 311009653 3406335775 1012698457 363094082 93740528 4224778152 3660382611 1632778609 261608053 1428393793 4108147878 3103836685 2909262923 3156644826 3266698715 271753287 605502604 2488941530 1092346197 3774542556 2559043895 1661034647 3976850185 3261247356 1473310196 1893260933 579332890 900913277 4246703094 2647270294 3478411732 513658819 99510617 824290355 15203639 3772614528 3647305819 3677346063 1782141999 944692599 3787673197 1042057268 864358079 2640024556 570191598 2847086568 4075507535 1619463642 4007975301 2753010700 3225797650 3020416507 3667362073 2023759265 1762461136 2766852690 3316140687 1411011079 3349798773 1150039182 2593998787 3473554509 153856076 1765090908 1007621047 4015732061 2293910992 2322508129 2301029782 3208347975 3508691180 73879036 3305899228 844658741 3388432100 787490183 1729726316 1771546093 2122968070 2460589921 393476338 1794257257 903200370 1496317693 1061993032 1111719279 6347610 1379133081 2137043184 2161871366 1970937599 1950726779 2669944751 2435439510 3562665786 1031873956 4160880157 3752737761 1708118174 2198238023 1533755898 533727011 2542629222 2390317994 292392227 1949513357 432586734 1299174262 3314179663 29539491 4172894562 4052468321 1246168347 3183562680 3893649148 2606900437 1205529758 1038898547 104195013 3401999527 465469331 3970383619 3998372196 2437619806 24792515 2971909487 1886217723 3654092865 3895665850 4202210269 3283829667 236758148 2517045580 1120097184 126493606 2036394295 3003756390 3109551037 2518949124 4044238675 1622700491 3579607445 3854895048 3150621955 3598494877 1542931302 2958266968 4217090833 3160958494 3085925649 2759236936 1799364790 2352608648 3073402300 1929143304 2900988306 464075318 609961210 4093553180 1445121647 3036850222 325363092 2607029325 769246582 1412847064 1841927979 2153272911 2173107953 2106143150 2176471369 2067017906 3848205487 255 362436" option to reproduce the execution
0.79/0.80	c #vars 37752
0.79/0.80	c #constraints 125892
1.89/1.97	c Solving starts ...
1.89/1.97	c ============================[ Search Statistics ]============================
1.89/1.97	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.89/1.97	c       |         |          |          |    Limit     GC | Var      | Constra 
1.89/1.97	c =============================================================================
2.09/2.12	c  0.0s |       0 |        0 |        0 |    36348      0 |    20952 |        0
2.30/2.32	c  0.2s |       1 |      183 |      100 |    36348      0 |    20952 |    24061
2.49/2.57	c  0.4s |       2 |      452 |      250 |    39983      0 |    20952 |    24061
3.09/3.12	c  1.0s |       3 |      821 |      475 |    43982      0 |    20952 |    24061
3.59/3.67	c  1.6s |       4 |     1360 |      813 |    48381      0 |    20952 |    24061
4.50/4.58	c  2.5s |       5 |     2110 |     1320 |    53220      0 |    20952 |    24061
5.39/5.50	c  3.4s |       6 |     3144 |     2081 |    64398      0 |    20952 |    24061
6.89/6.92	c  4.8s |       7 |     4594 |     3223 |    70838      0 |    20952 |    24061
8.90/8.96	c  6.8s |       7 |     6178 |     4423 |    70838      0 |    20952 |    24061
9.79/9.86	c  7.7s |       8 |     6792 |     4936 |    77922      0 |    20952 |    24061
11.79/11.88	c  9.8s |       8 |     8607 |     6336 |    77922      0 |    20952 |    24061
13.79/13.89	c 11.8s |       8 |     9952 |     7436 |    77922      0 |    20952 |    24061
13.89/13.98	c 11.9s |       9 |    10046 |     7506 |    85715      0 |    20952 |    24061
15.89/16.00	c 13.9s |       9 |    11994 |     9006 |    85715      0 |    20952 |    24061
17.99/18.05	c 15.9s |       9 |    13895 |    10606 |    85715      0 |    20952 |    24061
18.99/19.01	c 16.9s |      10 |    14901 |    11361 |    94287      0 |    20952 |    24061
21.08/21.14	c 19.0s |      10 |    16962 |    12861 |    94287      0 |    20952 |    24061
23.09/23.20	c 21.1s |      10 |    18852 |    14361 |    94287      0 |    20952 |    24061
25.18/25.24	c 23.1s |      10 |    20616 |    15761 |    94287      0 |    20952 |    24061
27.19/27.30	c 25.2s |      11 |    22335 |    17144 |   103716      0 |    20952 |    24061
29.39/29.43	c 27.3s |      11 |    23962 |    18344 |   103716      0 |    20952 |    24061
31.49/31.53	c 29.4s |      11 |    25574 |    19644 |   103716      0 |    20952 |    24061
33.49/33.56	c 31.4s |      11 |    26936 |    20744 |   103716      0 |    20952 |    24061
35.59/35.66	c 33.5s |      11 |    28140 |    21744 |   103716      0 |    20952 |    24061
37.69/37.72	c 35.6s |      11 |    29520 |    22844 |   103716      0 |    20952 |    24061
39.79/39.81	c 37.7s |      11 |    30855 |    23944 |   103716      0 |    20952 |    24061
41.89/41.95	c 39.8s |      11 |    32091 |    24944 |   103716      0 |    20952 |    24061
43.78/43.89	c 41.8s |      12 |    33157 |    25819 |   114088      0 |    20952 |    24061
45.88/45.94	c 43.8s |      12 |    34908 |    27119 |   114088      0 |    20952 |    24061
47.98/48.03	c 45.9s |      12 |    36578 |    28519 |   114088      0 |    20952 |    24061
50.08/50.16	c 48.0s |      12 |    38257 |    29819 |   114088      0 |    20952 |    24061
52.08/52.17	c 50.0s |      12 |    39740 |    31019 |   114088      0 |    20952 |    24061
54.18/54.26	c 52.1s |      12 |    41234 |    32219 |   114088      0 |    20952 |    24061
56.28/56.34	c 54.2s |      12 |    42690 |    33419 |   114088      0 |    20952 |    24061
58.29/58.40	c 56.3s |      12 |    44032 |    34519 |   114088      0 |    20952 |    24061
60.49/60.57	c 58.4s |      12 |    45362 |    35619 |   114088      0 |    20952 |    24061
62.58/62.60	c 60.5s |      12 |    46771 |    36719 |   114088      0 |    20952 |    24061
64.68/64.76	c 62.6s |      12 |    48161 |    37819 |   114088      0 |    20952 |    24061
66.78/66.82	c 64.7s |      12 |    49425 |    38819 |   125497      0 |    20952 |    24061
66.78/66.85	c 64.7s |      13 |    49435 |    38832 |   125497      0 |    20952 |    24061
68.88/68.96	c 66.8s |      13 |    50761 |    39832 |   125497      0 |    20952 |    24061
70.98/71.08	c 69.0s |      13 |    52024 |    40832 |   125497      0 |    20952 |    24061
73.08/73.19	c 71.1s |      13 |    53203 |    41832 |   125497      0 |    20952 |    24061
75.28/75.33	c 73.2s |      13 |    54305 |    42732 |   125497      0 |    20952 |    24061
77.38/77.44	c 75.3s |      13 |    55398 |    43632 |   125497      0 |    20952 |    24061
79.47/79.54	c 77.4s |      13 |    56504 |    44532 |   125497      0 |    20952 |    24061
81.48/81.56	c 79.4s |      13 |    57426 |    45332 |   125497      0 |    20952 |    24061
83.68/83.74	c 81.6s |      13 |    58444 |    46232 |   125497      0 |    20952 |    24061
85.88/85.93	c 83.8s |      13 |    59368 |    47032 |   125497      0 |    20952 |    24061
87.98/88.05	c 85.9s |      13 |    60537 |    47932 |   125497      0 |    20952 |    24061
89.97/90.08	c 88.0s |      13 |    61492 |    48732 |   125497      0 |    20952 |    24061
92.17/92.22	c 90.1s |      13 |    62493 |    49532 |   125497      0 |    20952 |    24061
94.17/94.22	c 92.1s |      13 |    63328 |    50232 |   125497      0 |    20952 |    24061
96.37/96.42	c 94.3s |      13 |    64305 |    51032 |   125497      0 |    20952 |    24061
98.37/98.43	c 96.3s |      13 |    65122 |    51732 |   125497      0 |    20952 |    24061
100.47/100.55	c 98.4s |      13 |    65973 |    52432 |   125497      0 |    20952 |    24061
102.57/102.66	c  100s |      13 |    66777 |    53132 |   125497      0 |    20952 |    24061
104.67/104.71	c  102s |      13 |    67628 |    53832 |   125497      0 |    20952 |    24061
106.78/106.84	c  104s |      13 |    68455 |    54532 |   125497      0 |    20952 |    24061
108.88/108.94	c  106s |      13 |    69292 |    55232 |   125497      0 |    20952 |    24061
110.97/111.07	c  108s |      13 |    70121 |    55932 |   125497      0 |    20952 |    24061
113.28/113.35	c  111s |      13 |    70991 |    56632 |   125497      0 |    20952 |    24061
115.27/115.36	c  113s |      13 |    71703 |    57232 |   125497      0 |    20952 |    24061
117.47/117.52	c  115s |      13 |    72561 |    57932 |   125497      0 |    20952 |    24061
118.87/118.93	c  116s |      14 |    73044 |    58352 |   138047      0 |    20952 |    24061
120.97/121.09	c  118s |      14 |    74274 |    59252 |   138047      0 |    20952 |    24061
123.17/123.22	c  121s |      14 |    75507 |    60252 |   138047      0 |    20952 |    24061
125.37/125.41	c  123s |      14 |    76743 |    61252 |   138047      0 |    20952 |    24061
127.57/127.64	c  125s |      14 |    78016 |    62252 |   138047      0 |    20952 |    24061
129.67/129.75	c  127s |      14 |    78972 |    63052 |   138047      0 |    20952 |    24061
131.77/131.86	c  129s |      14 |    79955 |    63852 |   138047      0 |    20952 |    24061
133.76/133.88	c  131s |      14 |    80860 |    64652 |   138047      0 |    20952 |    24061
135.86/135.94	c  133s |      14 |    81656 |    65352 |   138047      0 |    20952 |    24061
138.16/138.20	c  136s |      14 |    82629 |    66152 |   138047      0 |    20952 |    24061
140.16/140.24	c  138s |      14 |    83630 |    66952 |   138047      0 |    20952 |    24061
142.46/142.54	c  140s |      14 |    84606 |    67752 |   138047      0 |    20952 |    24061
144.56/144.69	c  142s |      14 |    85495 |    68452 |   138047      0 |    20952 |    24061
146.86/146.91	c  144s |      14 |    86330 |    69152 |   138047      0 |    20952 |    24061
148.86/148.96	c  146s |      14 |    87214 |    69852 |   138047      0 |    20952 |    24061
151.06/151.17	c  149s |      14 |    88097 |    70552 |   138047      0 |    20952 |    24061
153.16/153.27	c  151s |      14 |    88841 |    71152 |   138047      0 |    20952 |    24061
155.46/155.53	c  153s |      14 |    89675 |    71852 |   138047      0 |    20952 |    24061
157.76/157.83	c  155s |      14 |    90516 |    72552 |   138047      0 |    20952 |    24061
159.96/160.02	c  157s |      14 |    91246 |    73152 |   138047      0 |    20952 |    24061
162.16/162.21	c  160s |      14 |    91952 |    73752 |   138047      0 |    20952 |    24061
164.46/164.54	c  162s |      14 |    92656 |    74352 |   138047      0 |    20952 |    24061
166.76/166.82	c  164s |      14 |    93344 |    74952 |   138047      0 |    20952 |    24061
169.06/169.10	c  166s |      14 |    94086 |    75552 |   138047      0 |    20952 |    24061
171.26/171.33	c  169s |      14 |    94832 |    76152 |   138047      0 |    20952 |    24061
173.46/173.56	c  171s |      14 |    95568 |    76752 |   138047      0 |    20952 |    24061
175.76/175.85	c  173s |      14 |    96293 |    77352 |   138047      0 |    20952 |    24061
178.06/178.11	c  175s |      14 |    97023 |    77952 |   138047      0 |    20952 |    24061
180.16/180.27	c  178s |      14 |    97797 |    78552 |   138047      0 |    20952 |    24061
182.46/182.54	c  180s |      14 |    98833 |    79352 |   138047      0 |    20952 |    24061
184.46/184.57	c  182s |      14 |    99853 |    80152 |   138047      0 |    20952 |    24061
186.56/186.60	c  184s |      14 |   100849 |    80852 |   138047      0 |    20952 |    24061
188.56/188.66	c  186s |      14 |   101720 |    81552 |   138047      0 |    20952 |    24061
190.76/190.84	c  188s |      14 |   102583 |    82252 |   138047      0 |    20952 |    24061
192.86/192.97	c  190s |      14 |   103464 |    82952 |   138047      0 |    20952 |    24061
195.15/195.24	c  193s |      14 |   104286 |    83652 |   138047      0 |    20952 |    24061
197.25/197.35	c  195s |      14 |   105199 |    84352 |   138047      0 |    20952 |    24061
199.35/199.47	c  197s |      14 |   106134 |    85052 |   138047      0 |    20952 |    24061
201.65/201.71	c  199s |      14 |   107095 |    85852 |   138047      0 |    20952 |    24061
203.65/203.73	c  201s |      14 |   107999 |    86552 |   138047      0 |    20952 |    24061
205.66/205.74	c  203s |      14 |   108840 |    87252 |   151852      0 |    20952 |    24061
206.86/206.99	c  204s |      15 |   109373 |    87632 |   151852      0 |    20952 |    24061
209.15/209.22	c  207s |      15 |   110653 |    88332 |   151852      0 |    20952 |    24061
211.16/211.22	c  209s |      15 |   111750 |    89132 |   151852      0 |    20952 |    24061
213.46/213.58	c  211s |      15 |   112927 |    90032 |   151852      0 |    20952 |    24061
215.75/215.82	c  213s |      15 |   113931 |    90732 |   151852      0 |    20952 |    24061
217.95/218.04	c  215s |      15 |   114855 |    91432 |   151852      0 |    20952 |    24061
220.25/220.31	c  218s |      15 |   115751 |    92132 |   151852      0 |    20952 |    24061
222.55/222.65	c  220s |      15 |   116639 |    92832 |   151852      0 |    20952 |    24061
224.65/224.71	c  222s |      15 |   117410 |    93432 |   151852      0 |    20952 |    24061
226.85/226.92	c  224s |      15 |   118131 |    94032 |   151852      0 |    20952 |    24061
228.95/229.00	c  226s |      15 |   118946 |    94632 |   151852      0 |    20952 |    24061
230.96/231.01	c  228s |      15 |   119784 |    95232 |   151852      0 |    20952 |    24061
232.95/233.05	c  230s |      15 |   120682 |    95832 |   151852      0 |    20952 |    24061
235.16/235.27	c  233s |      15 |   121645 |    96532 |   151852      0 |    20952 |    24061
237.26/237.39	c  235s |      15 |   122505 |    97132 |   151852      0 |    20952 |    24061
239.36/239.42	c  237s |      15 |   123385 |    97732 |   151852      0 |    20952 |    24061
241.36/241.45	c  239s |      15 |   124216 |    98332 |   151852      0 |    20952 |    24061
243.66/243.71	c  241s |      15 |   124976 |    98932 |   151852      0 |    20952 |    24061
245.85/245.90	c  243s |      15 |   125826 |    99532 |   151852      0 |    20952 |    24061
248.05/248.14	c  246s |      15 |   126817 |   100232 |   151852      0 |    20952 |    24061
250.45/250.54	c  248s |      15 |   127743 |   100932 |   151852      0 |    20952 |    24061
252.65/252.77	c  250s |      15 |   128573 |   101532 |   151852      0 |    20952 |    24061
255.05/255.14	c  253s |      15 |   129396 |   102132 |   151852      0 |    20952 |    24061
257.15/257.22	c  255s |      15 |   130027 |   102632 |   151852      0 |    20952 |    24061
259.35/259.40	c  257s |      15 |   130883 |   103232 |   151852      0 |    20952 |    24061
261.35/261.47	c  259s |      15 |   131645 |   103732 |   151852      0 |    20952 |    24061
263.65/263.78	c  261s |      15 |   132445 |   104332 |   151852      0 |    20952 |    24061
266.05/266.12	c  263s |      15 |   133261 |   104932 |   151852      0 |    20952 |    24061
268.25/268.30	c  266s |      15 |   133911 |   105432 |   151852      0 |    20952 |    24061
270.56/270.70	c  268s |      15 |   134768 |   106032 |   151852      0 |    20952 |    24061
272.76/272.90	c  270s |      15 |   135448 |   106532 |   151852      0 |    20952 |    24061
274.85/275.00	c  272s |      15 |   136228 |   107032 |   151852      0 |    20952 |    24061
277.16/277.21	c  275s |      15 |   136902 |   107532 |   151852      0 |    20952 |    24061
279.36/279.43	c  277s |      15 |   137554 |   108032 |   151852      0 |    20952 |    24061
281.35/281.47	c  279s |      15 |   138378 |   108632 |   151852      0 |    20952 |    24061
283.55/283.61	c  281s |      15 |   139011 |   109132 |   151852      0 |    20952 |    24061
285.75/285.80	c  283s |      15 |   139673 |   109632 |   151852      0 |    20952 |    24061
287.95/288.08	c  285s |      15 |   140263 |   110132 |   151852      0 |    20952 |    24061
290.25/290.36	c  288s |      15 |   140932 |   110632 |   151852      0 |    20952 |    24061
292.45/292.60	c  290s |      15 |   141543 |   111132 |   151852      0 |    20952 |    24061
294.85/294.96	c  292s |      15 |   142181 |   111632 |   151852      0 |    20952 |    24061
296.95/297.04	c  294s |      15 |   142930 |   112132 |   151852      0 |    20952 |    24061
299.05/299.11	c  296s |      15 |   143601 |   112632 |   151852      0 |    20952 |    24061
301.35/301.50	c  299s |      15 |   144361 |   113232 |   151852      0 |    20952 |    24061
303.55/303.66	c  301s |      15 |   145050 |   113732 |   151852      0 |    20952 |    24061
305.75/305.85	c  303s |      15 |   145701 |   114232 |   151852      0 |    20952 |    24061
307.95/308.02	c  305s |      15 |   146372 |   114732 |   151852      0 |    20952 |    24061
310.34/310.41	c  308s |      15 |   147244 |   115332 |   151852      0 |    20952 |    24061
312.64/312.71	c  310s |      15 |   147882 |   115832 |   151852      0 |    20952 |    24061
314.74/314.80	c  312s |      15 |   148518 |   116332 |   151852      0 |    20952 |    24061
316.85/316.96	c  314s |      15 |   149136 |   116832 |   151852      0 |    20952 |    24061
318.84/318.98	c  316s |      15 |   149650 |   117232 |   151852      0 |    20952 |    24061
321.34/321.48	c  319s |      15 |   150272 |   117732 |   151852      0 |    20952 |    24061
323.84/323.92	c  321s |      15 |   150939 |   118232 |   151852      0 |    20952 |    24061
326.14/326.22	c  324s |      15 |   151562 |   118732 |   151852      0 |    20952 |    24061
328.44/328.51	c  326s |      15 |   152267 |   119232 |   151852      0 |    20952 |    24061
330.54/330.60	c  328s |      15 |   152818 |   119632 |   151852      0 |    20952 |    24061
332.64/332.76	c  330s |      15 |   153324 |   120032 |   151852      0 |    20952 |    24061
334.64/334.77	c  332s |      15 |   153852 |   120432 |   151852      0 |    20952 |    24061
337.04/337.16	c  335s |      15 |   154619 |   120932 |   151852      0 |    20952 |    24061
339.24/339.36	c  337s |      15 |   155350 |   121432 |   151852      0 |    20952 |    24061
341.34/341.47	c  339s |      15 |   156068 |   121932 |   151852      0 |    20952 |    24061
343.34/343.48	c  341s |      15 |   156627 |   122332 |   151852      0 |    20952 |    24061
345.54/345.65	c  343s |      15 |   157114 |   122732 |   151852      0 |    20952 |    24061
347.74/347.80	c  345s |      15 |   157640 |   123132 |   151852      0 |    20952 |    24061
349.94/350.07	c  347s |      15 |   158410 |   123632 |   151852      0 |    20952 |    24061
352.05/352.15	c  350s |      15 |   158994 |   124032 |   151852      0 |    20952 |    24061
354.44/354.51	c  352s |      15 |   159699 |   124532 |   151852      0 |    20952 |    24061
356.84/356.93	c  354s |      15 |   160354 |   125032 |   151852      0 |    20952 |    24061
358.84/359.00	c  356s |      15 |   160911 |   125432 |   151852      0 |    20952 |    24061
360.94/361.03	c  358s |      15 |   161502 |   125832 |   151852      0 |    20952 |    24061
363.14/363.21	c  361s |      15 |   161980 |   126232 |   151852      0 |    20952 |    24061
365.14/365.26	c  363s |      15 |   162505 |   126632 |   151852      0 |    20952 |    24061
367.74/367.86	c  365s |      15 |   163165 |   127132 |   151852      0 |    20952 |    24061
369.84/369.99	c  367s |      15 |   163661 |   127532 |   151852      0 |    20952 |    24061
372.13/372.21	c  370s |      15 |   164192 |   127932 |   151852      0 |    20952 |    24061
374.24/374.30	c  372s |      15 |   164761 |   128332 |   151852      0 |    20952 |    24061
376.53/376.62	c  374s |      15 |   165280 |   128732 |   151852      0 |    20952 |    24061
378.73/378.86	c  376s |      15 |   165960 |   129232 |   151852      0 |    20952 |    24061
381.13/381.22	c  379s |      15 |   166609 |   129732 |   151852      0 |    20952 |    24061
383.63/383.70	c  381s |      15 |   167250 |   130232 |   151852      0 |    20952 |    24061
386.04/386.19	c  384s |      15 |   167828 |   130632 |   151852      0 |    20952 |    24061
388.43/388.58	c  386s |      15 |   168345 |   131032 |   167038      0 |    20952 |    24061
390.73/390.80	c  388s |      15 |   168856 |   131432 |   167038      0 |    20952 |    24061
391.43/391.51	c  389s |      16 |   169021 |   131552 |   167038      0 |    20952 |    24061
393.53/393.62	c  391s |      16 |   169776 |   131952 |   167038      0 |    20952 |    24061
395.73/395.84	c  393s |      16 |   170655 |   132552 |   167038      0 |    20952 |    24061
397.93/398.00	c  395s |      16 |   171295 |   133052 |   167038      0 |    20952 |    24061
400.34/400.40	c  398s |      16 |   171913 |   133552 |   167038      0 |    20952 |    24061
402.43/402.56	c  400s |      16 |   172571 |   134052 |   167038      0 |    20952 |    24061
404.63/404.76	c  402s |      16 |   173246 |   134552 |   167038      0 |    20952 |    24061
407.13/407.20	c  405s |      16 |   173884 |   135052 |   167038      0 |    20952 |    24061
409.24/409.36	c  407s |      16 |   174353 |   135452 |   167038      0 |    20952 |    24061
411.53/411.63	c  409s |      16 |   175051 |   135952 |   167038      0 |    20952 |    24061
413.73/413.89	c  411s |      16 |   175915 |   136652 |   167038      0 |    20952 |    24061
415.93/416.04	c  413s |      16 |   176834 |   137352 |   167038      0 |    20952 |    24061
418.03/418.19	c  416s |      16 |   177798 |   138152 |   167038      0 |    20952 |    24061
420.23/420.32	c  418s |      16 |   178886 |   139052 |   167038      0 |    20952 |    24061
422.33/422.47	c  420s |      16 |   179938 |   139952 |   167038      0 |    20952 |    24061
424.33/424.47	c  422s |      16 |   180988 |   140852 |   167038      0 |    20952 |    24061
426.43/426.57	c  424s |      16 |   181944 |   141652 |   167038      0 |    20952 |    24061
428.73/428.80	c  426s |      16 |   182975 |   142552 |   167038      0 |    20952 |    24061
430.73/430.83	c  428s |      16 |   183897 |   143352 |   167038      0 |    20952 |    24061
432.92/433.00	c  430s |      16 |   184812 |   144152 |   167038      0 |    20952 |    24061
435.02/435.19	c  433s |      16 |   185741 |   144952 |   167038      0 |    20952 |    24061
437.12/437.24	c  435s |      16 |   186523 |   145652 |   167038      0 |    20952 |    24061
439.22/439.34	c  437s |      16 |   187455 |   146452 |   167038      0 |    20952 |    24061
441.32/441.40	c  439s |      16 |   188391 |   147252 |   167038      0 |    20952 |    24061
443.42/443.56	c  441s |      16 |   189313 |   148052 |   167038      0 |    20952 |    24061
445.72/445.81	c  443s |      16 |   190267 |   148852 |   167038      0 |    20952 |    24061
447.82/447.91	c  445s |      16 |   190954 |   149452 |   167038      0 |    20952 |    24061
450.02/450.14	c  448s |      16 |   191756 |   150152 |   167038      0 |    20952 |    24061
452.13/452.28	c  450s |      16 |   192461 |   150752 |   167038      0 |    20952 |    24061
454.33/454.41	c  452s |      16 |   193271 |   151452 |   167038      0 |    20952 |    24061
456.53/456.62	c  454s |      16 |   194076 |   152152 |   167038      0 |    20952 |    24061
458.73/458.87	c  456s |      16 |   194876 |   152852 |   167038      0 |    20952 |    24061
460.93/461.01	c  458s |      16 |   195676 |   153552 |   167038      0 |    20952 |    24061
462.92/463.06	c  460s |      16 |   196354 |   154152 |   167038      0 |    20952 |    24061
465.23/465.36	c  463s |      16 |   197166 |   154852 |   167038      0 |    20952 |    24061
467.32/467.44	c  465s |      16 |   197848 |   155452 |   167038      0 |    20952 |    24061
469.72/469.82	c  467s |      16 |   198512 |   156052 |   167038      0 |    20952 |    24061
471.72/471.85	c  469s |      16 |   199192 |   156652 |   167038      0 |    20952 |    24061
473.92/474.08	c  471s |      16 |   199901 |   157252 |   167038      0 |    20952 |    24061
476.22/476.36	c  474s |      16 |   200589 |   157852 |   167038      0 |    20952 |    24061
478.32/478.48	c  476s |      16 |   201283 |   158452 |   167038      0 |    20952 |    24061
480.72/480.85	c  478s |      16 |   201982 |   159052 |   167038      0 |    20952 |    24061
482.92/483.09	c  480s |      16 |   202685 |   159652 |   167038      0 |    20952 |    24061
485.21/485.35	c  483s |      16 |   203370 |   160252 |   167038      0 |    20952 |    24061
487.51/487.65	c  485s |      16 |   204200 |   160952 |   167038      0 |    20952 |    24061
489.52/489.67	c  487s |      16 |   204904 |   161552 |   167038      0 |    20952 |    24061
491.62/491.74	c  489s |      16 |   205793 |   162252 |   167038      0 |    20952 |    24061
493.92/494.02	c  491s |      16 |   206644 |   162952 |   167038      0 |    20952 |    24061
495.91/496.10	c  493s |      16 |   207344 |   163552 |   167038      0 |    20952 |    24061
498.01/498.12	c  495s |      16 |   208083 |   164152 |   167038      0 |    20952 |    24061
500.11/500.27	c  498s |      16 |   208786 |   164752 |   167038      0 |    20952 |    24061
502.31/502.48	c  500s |      16 |   209620 |   165452 |   167038      0 |    20952 |    24061
504.51/504.63	c  502s |      16 |   210338 |   166052 |   167038      0 |    20952 |    24061
506.51/506.63	c  504s |      16 |   211116 |   166652 |   167038      0 |    20952 |    24061
508.81/508.99	c  506s |      16 |   211821 |   167152 |   167038      0 |    20952 |    24061
511.31/511.48	c  509s |      16 |   212486 |   167652 |   167038      0 |    20952 |    24061
513.41/513.50	c  511s |      16 |   213034 |   168052 |   167038      0 |    20952 |    24061
515.41/515.57	c  513s |      16 |   213668 |   168552 |   167038      0 |    20952 |    24061
517.62/517.77	c  515s |      16 |   214392 |   169052 |   167038      0 |    20952 |    24061
520.01/520.10	c  517s |      16 |   215100 |   169552 |   167038      0 |    20952 |    24061
522.21/522.37	c  520s |      16 |   215762 |   170052 |   167038      0 |    20952 |    24061
524.41/524.57	c  522s |      16 |   216393 |   170552 |   167038      0 |    20952 |    24061
526.71/526.82	c  524s |      16 |   217085 |   171052 |   167038      0 |    20952 |    24061
528.91/529.09	c  526s |      16 |   217984 |   171652 |   167038      0 |    20952 |    24061
531.01/531.17	c  529s |      16 |   218653 |   172152 |   167038      0 |    20952 |    24061
533.42/533.55	c  531s |      16 |   219312 |   172652 |   167038      0 |    20952 |    24061
535.81/535.96	c  533s |      16 |   219965 |   173152 |   167038      0 |    20952 |    24061
538.31/538.43	c  536s |      16 |   220673 |   173652 |   167038      0 |    20952 |    24061
540.51/540.62	c  538s |      16 |   221217 |   174052 |   167038      0 |    20952 |    24061
542.81/542.98	c  540s |      16 |   221723 |   174452 |   167038      0 |    20952 |    24061
545.01/545.13	c  543s |      16 |   222555 |   174952 |   167038      0 |    20952 |    24061
547.31/547.43	c  545s |      16 |   223243 |   175452 |   167038      0 |    20952 |    24061
549.61/549.72	c  547s |      16 |   223910 |   175952 |   167038      0 |    20952 |    24061
551.91/552.03	c  549s |      16 |   224555 |   176452 |   167038      0 |    20952 |    24061
554.42/554.56	c  552s |      16 |   225289 |   176952 |   167038      0 |    20952 |    24061
556.41/556.60	c  554s |      16 |   225843 |   177352 |   167038      0 |    20952 |    24061
558.61/558.72	c  556s |      16 |   226602 |   177852 |   167038      0 |    20952 |    24061
560.91/561.04	c  558s |      16 |   227357 |   178352 |   167038      0 |    20952 |    24061
562.91/563.07	c  560s |      16 |   227915 |   178752 |   167038      0 |    20952 |    24061
565.01/565.16	c  563s |      16 |   228444 |   179152 |   167038      0 |    20952 |    24061
567.41/567.55	c  565s |      16 |   229202 |   179652 |   167038      0 |    20952 |    24061
569.51/569.69	c  567s |      16 |   229724 |   180052 |   167038      0 |    20952 |    24061
571.71/571.82	c  569s |      16 |   230296 |   180452 |   167038      0 |    20952 |    24061
574.11/574.27	c  572s |      16 |   231023 |   180952 |   167038      0 |    20952 |    24061
576.20/576.38	c  574s |      16 |   231585 |   181352 |   167038      0 |    20952 |    24061
578.51/578.63	c  576s |      16 |   232089 |   181752 |   167038      0 |    20952 |    24061
580.71/580.85	c  578s |      16 |   232614 |   182152 |   167038      0 |    20952 |    24061
583.10/583.20	c  581s |      16 |   233106 |   182552 |   167038      0 |    20952 |    24061
585.40/585.59	c  583s |      16 |   233592 |   182952 |   167038      0 |    20952 |    24061
587.90/588.07	c  585s |      16 |   234120 |   183352 |   167038      0 |    20952 |    24061
590.00/590.18	c  588s |      16 |   234491 |   183652 |   167038      0 |    20952 |    24061
592.30/592.48	c  590s |      16 |   234990 |   184052 |   167038      0 |    20952 |    24061
594.40/594.56	c  592s |      16 |   235517 |   184452 |   167038      0 |    20952 |    24061
596.80/596.99	c  594s |      16 |   236268 |   184952 |   167038      0 |    20952 |    24061
599.20/599.32	c  597s |      16 |   236902 |   185452 |   167038      0 |    20952 |    24061
601.50/601.65	c  599s |      16 |   237556 |   185952 |   167038      0 |    20952 |    24061
603.91/604.09	c  601s |      16 |   238219 |   186452 |   167038      0 |    20952 |    24061
606.40/606.54	c  604s |      16 |   238814 |   186952 |   167038      0 |    20952 |    24061
608.70/608.85	c  606s |      16 |   239438 |   187452 |   167038      0 |    20952 |    24061
611.00/611.11	c  608s |      16 |   240046 |   187952 |   167038      0 |    20952 |    24061
613.20/613.38	c  611s |      16 |   240700 |   188452 |   167038      0 |    20952 |    24061
615.80/615.91	c  613s |      16 |   241320 |   188952 |   167038      0 |    20952 |    24061
617.80/617.96	c  615s |      16 |   241802 |   189352 |   167038      0 |    20952 |    24061
620.10/620.29	c  618s |      16 |   242294 |   189752 |   167038      0 |    20952 |    24061
622.40/622.55	c  620s |      16 |   242771 |   190152 |   167038      0 |    20952 |    24061
624.80/624.94	c  622s |      16 |   243236 |   190552 |   167038      0 |    20952 |    24061
626.80/626.96	c  624s |      16 |   243749 |   190952 |   167038      0 |    20952 |    24061
629.20/629.32	c  627s |      16 |   244220 |   191352 |   167038      0 |    20952 |    24061
631.50/631.60	c  629s |      16 |   244661 |   191752 |   167038      0 |    20952 |    24061
633.80/633.99	c  631s |      16 |   245313 |   192252 |   167038      0 |    20952 |    24061
636.20/636.33	c  634s |      16 |   245803 |   192652 |   167038      0 |    20952 |    24061
638.30/638.49	c  636s |      16 |   246339 |   193052 |   167038      0 |    20952 |    24061
640.39/640.53	c  638s |      16 |   246881 |   193452 |   167038      0 |    20952 |    24061
642.40/642.58	c  640s |      16 |   247356 |   193852 |   167038      0 |    20952 |    24061
644.69/644.83	c  642s |      16 |   247875 |   194252 |   167038      0 |    20952 |    24061
647.19/647.35	c  645s |      16 |   248525 |   194752 |   167038      0 |    20952 |    24061
649.49/649.68	c  647s |      16 |   248997 |   195152 |   167038      0 |    20952 |    24061
651.79/651.90	c  649s |      16 |   249465 |   195552 |   167038      0 |    20952 |    24061
653.99/654.15	c  652s |      16 |   249936 |   195952 |   167038      0 |    20952 |    24061
656.29/656.47	c  654s |      16 |   250439 |   196352 |   183742      0 |    20952 |    24061
658.80/658.92	c  656s |      16 |   250958 |   196752 |   183742      0 |    20952 |    24061
661.29/661.42	c  659s |      16 |   251428 |   197152 |   183742      0 |    20952 |    24061
662.79/662.96	c  660s |      17 |   251784 |   197432 |   183742      0 |    20952 |    24061
664.99/665.18	c  663s |      17 |   252443 |   197732 |   183742      0 |    20952 |    24061
667.29/667.42	c  665s |      17 |   253151 |   198332 |   183742      0 |    20952 |    24061
669.39/669.50	c  667s |      17 |   253867 |   198932 |   183742      0 |    20952 |    24061
671.69/671.85	c  669s |      17 |   254611 |   199532 |   183742      0 |    20952 |    24061
673.99/674.18	c  672s |      17 |   255334 |   200132 |   183742      0 |    20952 |    24061
676.29/676.49	c  674s |      17 |   256106 |   200732 |   183742      0 |    20952 |    24061
678.49/678.65	c  676s |      17 |   256705 |   201232 |   183742      0 |    20952 |    24061
680.89/681.03	c  678s |      17 |   257416 |   201832 |   183742      0 |    20952 |    24061
682.99/683.13	c  681s |      17 |   258013 |   202332 |   183742      0 |    20952 |    24061
685.09/685.27	c  683s |      17 |   258723 |   202932 |   183742      0 |    20952 |    24061
687.09/687.28	c  685s |      17 |   259319 |   203432 |   183742      0 |    20952 |    24061
689.49/689.68	c  687s |      17 |   260052 |   204032 |   183742      0 |    20952 |    24061
691.89/692.06	c  689s |      17 |   260754 |   204632 |   183742      0 |    20952 |    24061
694.28/694.41	c  692s |      17 |   261475 |   205232 |   183742      0 |    20952 |    24061
696.29/696.44	c  694s |      17 |   262082 |   205732 |   183742      0 |    20952 |    24061
698.58/698.77	c  696s |      17 |   262798 |   206332 |   183742      0 |    20952 |    24061
700.59/700.80	c  698s |      17 |   263407 |   206832 |   183742      0 |    20952 |    24061
702.79/702.94	c  700s |      17 |   264057 |   207332 |   183742      0 |    20952 |    24061
705.09/705.27	c  703s |      17 |   264829 |   207932 |   183742      0 |    20952 |    24061
707.19/707.32	c  705s |      17 |   265452 |   208432 |   183742      0 |    20952 |    24061
709.39/709.53	c  707s |      17 |   266092 |   208932 |   183742      0 |    20952 |    24061
711.69/711.84	c  709s |      17 |   266711 |   209432 |   183742      0 |    20952 |    24061
713.68/713.87	c  711s |      17 |   267352 |   209932 |   183742      0 |    20952 |    24061
716.09/716.21	c  714s |      17 |   268019 |   210532 |   183742      0 |    20952 |    24061
718.19/718.36	c  716s |      17 |   268579 |   211032 |   183742      0 |    20952 |    24061
720.28/720.46	c  718s |      17 |   269245 |   211532 |   183742      0 |    20952 |    24061
722.48/722.62	c  720s |      17 |   269816 |   212032 |   183742      0 |    20952 |    24061
724.58/724.78	c  722s |      17 |   270388 |   212532 |   183742      0 |    20952 |    24061
726.78/726.99	c  724s |      17 |   270975 |   213032 |   183742      0 |    20952 |    24061
728.98/729.19	c  727s |      17 |   271642 |   213532 |   183742      0 |    20952 |    24061
731.38/731.60	c  729s |      17 |   272261 |   214032 |   183742      0 |    20952 |    24061
733.87/734.06	c  731s |      17 |   272852 |   214532 |   183742      0 |    20952 |    24061
736.37/736.59	c  734s |      17 |   273432 |   215032 |   183742      0 |    20952 |    24061
738.97/739.10	c  736s |      17 |   274024 |   215532 |   183742      0 |    20952 |    24061
741.07/741.24	c  739s |      17 |   274506 |   215932 |   183742      0 |    20952 |    24061
743.17/743.39	c  741s |      17 |   275022 |   216332 |   183742      0 |    20952 |    24061
745.68/745.89	c  743s |      17 |   275664 |   216832 |   183742      0 |    20952 |    24061
747.97/748.13	c  746s |      17 |   276264 |   217332 |   183742      0 |    20952 |    24061
750.36/750.51	c  748s |      17 |   276863 |   217832 |   183742      0 |    20952 |    24061
752.86/753.06	c  750s |      17 |   277408 |   218332 |   183742      0 |    20952 |    24061
755.26/755.45	c  753s |      17 |   278020 |   218832 |   183742      0 |    20952 |    24061
759.46/759.64	c  757s |      17 |   278652 |   219332 |   183742      1 |    20952 |    24061
761.77/761.90	c  759s |      17 |   279266 |   219832 |   183742      1 |    20952 |    24061
763.76/763.95	c  761s |      17 |   279989 |   220432 |   183742      1 |    20952 |    24061
765.76/765.97	c  763s |      17 |   280702 |   221032 |   183742      1 |    20952 |    24061
768.06/768.20	c  766s |      17 |   281403 |   221632 |   183742      1 |    20952 |    24061
770.26/770.40	c  768s |      17 |   282146 |   222232 |   183742      1 |    20952 |    24061
772.36/772.52	c  770s |      17 |   282903 |   222832 |   183742      1 |    20952 |    24061
774.56/774.72	c  772s |      17 |   283594 |   223432 |   183742      1 |    20952 |    24061
776.76/776.92	c  774s |      17 |   284336 |   224032 |   183742      1 |    20952 |    24061
778.85/779.00	c  776s |      17 |   284925 |   224532 |   183742      1 |    20952 |    24061
781.15/781.30	c  779s |      17 |   285484 |   225032 |   183742      1 |    20952 |    24061
783.35/783.58	c  781s |      17 |   286074 |   225532 |   183742      1 |    20952 |    24061
785.55/785.71	c  783s |      17 |   286793 |   226132 |   183742      1 |    20952 |    24061
787.55/787.72	c  785s |      17 |   287609 |   226732 |   183742      1 |    20952 |    24061
789.75/789.91	c  787s |      17 |   288344 |   227332 |   183742      1 |    20952 |    24061
791.85/792.06	c  789s |      17 |   289053 |   227932 |   183742      1 |    20952 |    24061
794.15/794.31	c  792s |      17 |   289766 |   228532 |   183742      1 |    20952 |    24061
796.25/796.45	c  794s |      17 |   290343 |   229032 |   183742      1 |    20952 |    24061
798.45/798.70	c  796s |      17 |   291058 |   229632 |   183742      1 |    20952 |    24061
800.75/800.97	c  798s |      17 |   291777 |   230232 |   183742      1 |    20952 |    24061
802.95/803.15	c  801s |      17 |   292344 |   230732 |   183742      1 |    20952 |    24061
804.94/805.19	c  803s |      17 |   292949 |   231232 |   183742      1 |    20952 |    24061
807.35/807.51	c  805s |      17 |   293625 |   231832 |   183742      1 |    20952 |    24061
809.54/809.72	c  807s |      17 |   294365 |   232432 |   183742      1 |    20952 |    24061
811.74/811.94	c  809s |      17 |   295092 |   233032 |   183742      1 |    20952 |    24061
813.84/814.01	c  811s |      17 |   295741 |   233532 |   183742      1 |    20952 |    24061
815.84/816.09	c  813s |      17 |   296373 |   234032 |   183742      1 |    20952 |    24061
818.03/818.26	c  816s |      17 |   296962 |   234532 |   183742      1 |    20952 |    24061
820.33/820.50	c  818s |      17 |   297568 |   235032 |   183742      1 |    20952 |    24061
822.43/822.66	c  820s |      17 |   298162 |   235532 |   183742      1 |    20952 |    24061
824.94/825.13	c  823s |      17 |   298728 |   236032 |   183742      1 |    20952 |    24061
827.33/827.52	c  825s |      17 |   299310 |   236532 |   183742      1 |    20952 |    24061
829.73/829.96	c  827s |      17 |   299915 |   237032 |   183742      1 |    20952 |    24061
832.23/832.40	c  830s |      17 |   300479 |   237532 |   183742      1 |    20952 |    24061
834.63/834.81	c  832s |      17 |   301044 |   238032 |   183742      1 |    20952 |    24061
836.83/837.00	c  834s |      17 |   301649 |   238532 |   183742      1 |    20952 |    24061
839.03/839.22	c  837s |      17 |   302241 |   239032 |   183742      1 |    20952 |    24061
841.34/841.60	c  839s |      17 |   302803 |   239532 |   183742      1 |    20952 |    24061
843.53/843.75	c  841s |      17 |   303380 |   240032 |   183742      1 |    20952 |    24061
845.73/845.98	c  843s |      17 |   303954 |   240532 |   183742      1 |    20952 |    24061
847.82/848.03	c  845s |      17 |   304444 |   240932 |   183742      1 |    20952 |    24061
849.82/850.06	c  847s |      17 |   304932 |   241332 |   183742      1 |    20952 |    24061
852.02/852.25	c  850s |      17 |   305576 |   241832 |   183742      1 |    20952 |    24061
854.22/854.45	c  852s |      17 |   306301 |   242432 |   183742      1 |    20952 |    24061
856.32/856.51	c  854s |      17 |   307075 |   243032 |   183742      1 |    20952 |    24061
858.62/858.83	c  856s |      17 |   307968 |   243732 |   183742      1 |    20952 |    24061
860.62/860.84	c  858s |      17 |   308564 |   244232 |   183742      1 |    20952 |    24061
863.02/863.27	c  861s |      17 |   309308 |   244832 |   183742      1 |    20952 |    24061
865.32/865.59	c  863s |      17 |   310068 |   245432 |   183742      1 |    20952 |    24061
867.61/867.81	c  865s |      17 |   310809 |   246032 |   183742      1 |    20952 |    24061
869.81/870.04	c  867s |      17 |   311516 |   246632 |   183742      1 |    20952 |    24061
871.91/872.11	c  869s |      17 |   312217 |   247232 |   183742      1 |    20952 |    24061
874.21/874.44	c  872s |      17 |   312919 |   247832 |   183742      1 |    20952 |    24061
876.31/876.55	c  874s |      17 |   313505 |   248332 |   183742      1 |    20952 |    24061
878.61/878.89	c  876s |      17 |   314234 |   248932 |   183742      1 |    20952 |    24061
880.71/880.98	c  878s |      17 |   314950 |   249532 |   183742      1 |    20952 |    24061
882.91/883.17	c  881s |      17 |   315672 |   250132 |   183742      1 |    20952 |    24061
885.00/885.24	c  883s |      17 |   316259 |   250632 |   183742      1 |    20952 |    24061
887.10/887.34	c  885s |      17 |   316982 |   251232 |   183742      1 |    20952 |    24061
889.40/889.60	c  887s |      17 |   317738 |   251832 |   183742      1 |    20952 |    24061
891.40/891.68	c  889s |      17 |   318478 |   252432 |   183742      1 |    20952 |    24061
893.80/894.04	c  891s |      17 |   319193 |   253032 |   183742      1 |    20952 |    24061
895.90/896.19	c  894s |      17 |   319818 |   253532 |   183742      1 |    20952 |    24061
898.19/898.47	c  896s |      17 |   320545 |   254132 |   183742      1 |    20952 |    24061
900.40/900.61	c  898s |      17 |   321139 |   254632 |   183742      1 |    20952 |    24061
902.70/902.91	c  900s |      17 |   321870 |   255232 |   183742      1 |    20952 |    24061
904.70/904.99	c  902s |      17 |   322449 |   255732 |   183742      1 |    20952 |    24061
906.80/907.03	c  904s |      17 |   322949 |   256132 |   183742      1 |    20952 |    24061
908.89/909.16	c  907s |      17 |   323537 |   256632 |   183742      1 |    20952 |    24061
911.29/911.51	c  909s |      17 |   324105 |   257132 |   183742      1 |    20952 |    24061
913.39/913.60	c  911s |      17 |   324697 |   257632 |   183742      1 |    20952 |    24061
915.49/915.73	c  913s |      17 |   325267 |   258132 |   183742      1 |    20952 |    24061
917.79/918.06	c  915s |      17 |   325815 |   258632 |   183742      1 |    20952 |    24061
919.98/920.27	c  918s |      17 |   326360 |   259132 |   183742      1 |    20952 |    24061
922.08/922.37	c  920s |      17 |   326922 |   259632 |   183742      1 |    20952 |    24061
924.48/924.70	c  922s |      17 |   327644 |   260232 |   183742      1 |    20952 |    24061
926.88/927.10	c  924s |      17 |   328321 |   260832 |   183742      1 |    20952 |    24061
928.98/929.23	c  927s |      17 |   328898 |   261332 |   183742      1 |    20952 |    24061
931.28/931.54	c  929s |      17 |   329440 |   261832 |   183742      1 |    20952 |    24061
933.58/933.82	c  931s |      17 |   329997 |   262332 |   183742      1 |    20952 |    24061
935.78/936.08	c  933s |      17 |   330555 |   262832 |   183742      1 |    20952 |    24061
938.18/938.46	c  936s |      17 |   331325 |   263432 |   183742      1 |    20952 |    24061
940.18/940.50	c  938s |      17 |   331972 |   263932 |   183742      1 |    20952 |    24061
942.58/942.87	c  940s |      17 |   332544 |   264432 |   183742      1 |    20952 |    24061
944.57/944.89	c  942s |      17 |   333046 |   264832 |   183742      1 |    20952 |    24061
946.98/947.27	c  945s |      17 |   333634 |   265332 |   183742      1 |    20952 |    24061
949.08/949.33	c  947s |      17 |   334269 |   265832 |   183742      1 |    20952 |    24061
951.38/951.69	c  949s |      17 |   334841 |   266332 |   183742      1 |    20952 |    24061
953.77/954.03	c  951s |      17 |   335450 |   266832 |   183742      1 |    20952 |    24061
955.87/956.14	c  954s |      17 |   336093 |   267332 |   183742      1 |    20952 |    24061
958.07/958.30	c  956s |      17 |   336699 |   267832 |   183742      1 |    20952 |    24061
960.07/960.36	c  958s |      17 |   337295 |   268332 |   183742      1 |    20952 |    24061
962.38/962.63	c  960s |      17 |   338010 |   268932 |   183742      1 |    20952 |    24061
964.37/964.67	c  962s |      17 |   338616 |   269432 |   183742      1 |    20952 |    24061
966.57/966.80	c  964s |      17 |   339228 |   269932 |   183742      1 |    20952 |    24061
968.57/968.86	c  966s |      17 |   339708 |   270332 |   183742      1 |    20952 |    24061
970.87/971.15	c  969s |      17 |   340302 |   270832 |   183742      1 |    20952 |    24061
972.97/973.22	c  971s |      17 |   340796 |   271232 |   183742      1 |    20952 |    24061
975.07/975.34	c  973s |      17 |   341292 |   271632 |   183742      1 |    20952 |    24061
977.27/977.53	c  975s |      17 |   341908 |   272132 |   183742      1 |    20952 |    24061
979.47/979.73	c  977s |      17 |   342469 |   272632 |   183742      1 |    20952 |    24061
981.57/981.81	c  979s |      17 |   342923 |   273032 |   183742      1 |    20952 |    24061
983.77/984.09	c  981s |      17 |   343374 |   273432 |   183742      1 |    20952 |    24061
985.97/986.26	c  984s |      17 |   343816 |   273832 |   183742      1 |    20952 |    24061
988.06/988.31	c  986s |      17 |   344269 |   274232 |   183742      1 |    20952 |    24061
990.16/990.41	c  988s |      17 |   344829 |   274732 |   183742      1 |    20952 |    24061
992.26/992.54	c  990s |      17 |   345400 |   275232 |   183742      1 |    20952 |    24061
994.46/994.76	c  992s |      17 |   345997 |   275732 |   183742      1 |    20952 |    24061
996.86/997.19	c  995s |      17 |   346590 |   276232 |   183742      1 |    20952 |    24061
999.36/999.61	c  997s |      17 |   347195 |   276732 |   183742      1 |    20952 |    24061
1001.76/1002.00	c  999s |      17 |   347742 |   277232 |   183742      1 |    20952 |    24061
1003.95/1004.27	c 1002s |      17 |   348305 |   277732 |   183742      1 |    20952 |    24061
1006.26/1006.54	c 1004s |      17 |   348869 |   278232 |   183742      1 |    20952 |    24061
1008.35/1008.66	c 1006s |      17 |   349344 |   278632 |   183742      1 |    20952 |    24061
1010.45/1010.77	c 1008s |      17 |   349927 |   279132 |   183742      1 |    20952 |    24061
1012.55/1012.86	c 1010s |      17 |   350531 |   279632 |   183742      1 |    20952 |    24061
1014.75/1015.08	c 1012s |      17 |   351129 |   280132 |   183742      1 |    20952 |    24061
1017.25/1017.58	c 1015s |      17 |   351702 |   280632 |   183742      1 |    20952 |    24061
1019.25/1019.60	c 1017s |      17 |   352162 |   281032 |   183742      1 |    20952 |    24061
1021.35/1021.63	c 1019s |      17 |   352678 |   281432 |   183742      1 |    20952 |    24061
1023.45/1023.76	c 1021s |      17 |   353330 |   281932 |   183742      1 |    20952 |    24061
1025.54/1025.82	c 1023s |      17 |   353911 |   282432 |   183742      1 |    20952 |    24061
1027.84/1028.19	c 1026s |      17 |   354470 |   282932 |   183742      1 |    20952 |    24061
1030.34/1030.61	c 1028s |      17 |   355061 |   283432 |   183742      1 |    20952 |    24061
1032.54/1032.80	c 1030s |      17 |   355517 |   283832 |   183742      1 |    20952 |    24061
1034.54/1034.84	c 1032s |      17 |   355987 |   284232 |   183742      1 |    20952 |    24061
1036.94/1037.28	c 1035s |      17 |   356581 |   284732 |   183742      1 |    20952 |    24061
1039.13/1039.42	c 1037s |      17 |   357177 |   285232 |   183742      1 |    20952 |    24061
1041.63/1041.93	c 1039s |      17 |   357740 |   285732 |   183742      1 |    20952 |    24061
1044.13/1044.45	c 1042s |      17 |   358198 |   286132 |   183742      1 |    20952 |    24061
1046.43/1046.71	c 1044s |      17 |   358649 |   286532 |   183742      1 |    20952 |    24061
1048.43/1048.73	c 1046s |      17 |   359148 |   286932 |   183742      1 |    20952 |    24061
1050.43/1050.77	c 1048s |      17 |   359631 |   287332 |   183742      1 |    20952 |    24061
1052.73/1053.00	c 1050s |      17 |   360095 |   287732 |   183742      1 |    20952 |    24061
1054.93/1055.20	c 1053s |      17 |   360543 |   288132 |   183742      1 |    20952 |    24061
1057.13/1057.41	c 1055s |      17 |   360994 |   288532 |   183742      1 |    20952 |    24061
1059.22/1059.57	c 1057s |      17 |   361433 |   288932 |   183742      1 |    20952 |    24061
1061.52/1061.86	c 1059s |      17 |   362044 |   289432 |   183742      1 |    20952 |    24061
1063.62/1063.91	c 1061s |      17 |   362758 |   290032 |   183742      1 |    20952 |    24061
1065.92/1066.26	c 1064s |      17 |   363384 |   290432 |   183742      1 |    20952 |    24061
1068.12/1068.41	c 1066s |      17 |   364034 |   290932 |   183742      1 |    20952 |    24061
1070.12/1070.44	c 1068s |      17 |   364663 |   291432 |   183742      1 |    20952 |    24061
1072.52/1072.88	c 1070s |      17 |   365428 |   292032 |   183742      1 |    20952 |    24061
1074.92/1075.25	c 1073s |      17 |   366012 |   292532 |   183742      1 |    20952 |    24061
1077.12/1077.45	c 1075s |      17 |   366615 |   293032 |   183742      1 |    20952 |    24061
1079.41/1079.79	c 1077s |      17 |   367251 |   293532 |   183742      1 |    20952 |    24061
1081.51/1081.88	c 1079s |      17 |   367796 |   293932 |   183742      1 |    20952 |    24061
1083.81/1084.11	c 1081s |      17 |   368283 |   294332 |   202117      1 |    20952 |    24061
1086.01/1086.38	c 1084s |      17 |   368762 |   294732 |   202117      1 |    20952 |    24061
1088.71/1089.01	c 1086s |      17 |   369242 |   295132 |   202117      1 |    20952 |    24061
1090.91/1091.28	c 1089s |      17 |   369758 |   295532 |   202117      1 |    20952 |    24061
1093.11/1093.48	c 1091s |      17 |   370549 |   296132 |   202117      1 |    20952 |    24061
1093.71/1094.09	c 1091s |      18 |   370700 |   296252 |   202117      1 |    20952 |    24061
1095.90/1096.22	c 1094s |      18 |   371137 |   296552 |   202117      1 |    20952 |    24061
1098.21/1098.51	c 1096s |      18 |   371882 |   297052 |   202117      1 |    20952 |    24061
1100.41/1100.71	c 1098s |      18 |   372896 |   297752 |   202117      1 |    20952 |    24061
1102.71/1103.07	c 1100s |      18 |   373950 |   298452 |   202117      1 |    20952 |    24061
1104.71/1105.09	c 1102s |      18 |   374741 |   298952 |   202117      1 |    20952 |    24061
1106.81/1107.15	c 1105s |      18 |   375354 |   299452 |   202117      1 |    20952 |    24061
1108.90/1109.28	c 1107s |      18 |   375953 |   299952 |   202117      1 |    20952 |    24061
1111.20/1111.51	c 1109s |      18 |   376564 |   300452 |   202117      1 |    20952 |    24061
1113.30/1113.66	c 1111s |      18 |   377172 |   300952 |   202117      1 |    20952 |    24061
1115.70/1116.02	c 1113s |      18 |   377750 |   301452 |   202117      1 |    20952 |    24061
1117.80/1118.18	c 1116s |      18 |   378327 |   301952 |   202117      1 |    20952 |    24061
1120.20/1120.50	c 1118s |      18 |   379034 |   302552 |   202117      1 |    20952 |    24061
1122.30/1122.64	c 1120s |      18 |   379624 |   303052 |   202117      1 |    20952 |    24061
1124.50/1124.90	c 1122s |      18 |   380240 |   303552 |   202117      1 |    20952 |    24061
1126.79/1127.19	c 1125s |      18 |   380831 |   304052 |   202117      1 |    20952 |    24061
1129.19/1129.58	c 1127s |      18 |   381403 |   304552 |   202117      1 |    20952 |    24061
1131.39/1131.75	c 1129s |      18 |   381996 |   305052 |   202117      1 |    20952 |    24061
1133.49/1133.81	c 1131s |      18 |   382458 |   305452 |   202117      1 |    20952 |    24061
1135.69/1136.01	c 1133s |      18 |   383034 |   305952 |   202117      1 |    20952 |    24061
1137.68/1138.03	c 1135s |      18 |   383640 |   306452 |   202117      1 |    20952 |    24061
1140.08/1140.43	c 1138s |      18 |   384227 |   306952 |   202117      1 |    20952 |    24061
1142.28/1142.61	c 1140s |      18 |   384700 |   307352 |   202117      1 |    20952 |    24061
1144.38/1144.70	c 1142s |      18 |   385152 |   307752 |   202117      1 |    20952 |    24061
1146.48/1146.83	c 1144s |      18 |   385616 |   308152 |   202117      1 |    20952 |    24061
1148.68/1149.05	c 1146s |      18 |   386084 |   308552 |   202117      1 |    20952 |    24061
1150.98/1151.34	c 1149s |      18 |   386655 |   309052 |   202117      1 |    20952 |    24061
1153.18/1153.51	c 1151s |      18 |   387231 |   309552 |   202117      1 |    20952 |    24061
1155.58/1155.99	c 1153s |      18 |   387783 |   310052 |   202117      1 |    20952 |    24061
1158.08/1158.45	c 1156s |      18 |   388356 |   310552 |   202117      1 |    20952 |    24061
1160.37/1160.72	c 1158s |      18 |   388932 |   311052 |   202117      1 |    20952 |    24061
1162.57/1162.96	c 1160s |      18 |   389519 |   311552 |   202117      1 |    20952 |    24061
1164.68/1165.01	c 1162s |      18 |   390087 |   312052 |   202117      1 |    20952 |    24061
1166.87/1167.23	c 1165s |      18 |   390675 |   312552 |   202117      1 |    20952 |    24061
1168.97/1169.31	c 1167s |      18 |   391142 |   312952 |   202117      1 |    20952 |    24061
1171.27/1171.63	c 1169s |      18 |   391730 |   313452 |   202117      1 |    20952 |    24061
1173.47/1173.83	c 1171s |      18 |   392483 |   314052 |   202117      1 |    20952 |    24061
1175.76/1176.10	c 1173s |      18 |   393180 |   314652 |   202117      1 |    20952 |    24061
1178.05/1178.48	c 1176s |      18 |   393892 |   315252 |   202117      1 |    20952 |    24061
1180.35/1180.79	c 1178s |      18 |   394528 |   315752 |   202117      1 |    20952 |    24061
1182.55/1182.93	c 1180s |      18 |   394982 |   316152 |   202117      1 |    20952 |    24061
1184.95/1185.39	c 1183s |      18 |   395592 |   316652 |   202117      1 |    20952 |    24061
1187.45/1187.81	c 1185s |      18 |   396201 |   317152 |   202117      1 |    20952 |    24061
1189.45/1189.82	c 1187s |      18 |   396671 |   317552 |   202117      1 |    20952 |    24061
1191.85/1192.26	c 1190s |      18 |   397253 |   318052 |   202117      1 |    20952 |    24061
1193.95/1194.37	c 1192s |      18 |   397711 |   318452 |   202117      1 |    20952 |    24061
1196.05/1196.46	c 1194s |      18 |   398176 |   318852 |   202117      1 |    20952 |    24061
1198.24/1198.65	c 1196s |      18 |   398629 |   319252 |   202117      1 |    20952 |    24061
1200.64/1201.03	c 1198s |      18 |   399099 |   319652 |   202117      1 |    20952 |    24061
1202.75/1203.19	c 1201s |      18 |   399568 |   320052 |   202117      1 |    20952 |    24061
1205.26/1205.62	c 1203s |      18 |   400138 |   320552 |   202117      1 |    20952 |    24061
1207.35/1207.72	c 1205s |      18 |   400624 |   320952 |   202117      1 |    20952 |    24061
1209.76/1210.17	c 1208s |      18 |   401221 |   321452 |   202117      1 |    20952 |    24061
1211.85/1212.24	c 1210s |      18 |   401700 |   321852 |   202117      1 |    20952 |    24061
1214.25/1214.63	c 1212s |      18 |   402302 |   322352 |   202117      1 |    20952 |    24061
1216.25/1216.70	c 1214s |      18 |   402814 |   322752 |   202117      1 |    20952 |    24061
1218.84/1219.21	c 1217s |      18 |   403256 |   323152 |   202117      1 |    20952 |    24061
1220.84/1221.23	c 1219s |      18 |   403749 |   323552 |   202117      1 |    20952 |    24061
1223.14/1223.51	c 1221s |      18 |   404232 |   323952 |   202117      1 |    20952 |    24061
1225.24/1225.68	c 1223s |      18 |   404750 |   324352 |   202117      1 |    20952 |    24061
1227.43/1227.86	c 1225s |      18 |   405242 |   324752 |   202117      1 |    20952 |    24061
1229.83/1230.27	c 1228s |      18 |   405706 |   325152 |   202117      1 |    20952 |    24061
1232.03/1232.48	c 1230s |      18 |   406205 |   325552 |   202117      1 |    20952 |    24061
1234.13/1234.59	c 1232s |      18 |   406680 |   325952 |   202117      1 |    20952 |    24061
1236.33/1236.73	c 1234s |      18 |   407156 |   326352 |   202117      1 |    20952 |    24061
1238.53/1238.92	c 1236s |      18 |   407614 |   326752 |   202117      1 |    20952 |    24061
1240.93/1241.35	c 1239s |      18 |   408067 |   327152 |   202117      1 |    20952 |    24061
1243.33/1243.79	c 1241s |      18 |   408547 |   327552 |   202117      1 |    20952 |    24061
1245.53/1245.95	c 1243s |      18 |   409074 |   327952 |   202117      1 |    20952 |    24061
1247.92/1248.36	c 1246s |      18 |   409530 |   328352 |   202117      1 |    20952 |    24061
1250.12/1250.58	c 1248s |      18 |   409994 |   328752 |   202117      1 |    20952 |    24061
1252.32/1252.74	c 1250s |      18 |   410454 |   329152 |   202117      1 |    20952 |    24061
1254.62/1255.03	c 1252s |      18 |   410895 |   329552 |   202117      1 |    20952 |    24061
1256.92/1257.36	c 1255s |      18 |   411356 |   329952 |   202117      1 |    20952 |    24061
1259.42/1259.83	c 1257s |      18 |   411831 |   330352 |   202117      1 |    20952 |    24061
1261.92/1262.35	c 1260s |      18 |   412300 |   330752 |   202117      1 |    20952 |    24061
1264.21/1264.65	c 1262s |      18 |   412751 |   331152 |   202117      1 |    20952 |    24061
1266.41/1266.88	c 1264s |      18 |   413229 |   331552 |   202117      1 |    20952 |    24061
1269.02/1269.42	c 1267s |      18 |   413680 |   331952 |   202117      1 |    20952 |    24061
1271.01/1271.44	c 1269s |      18 |   414015 |   332252 |   202117      1 |    20952 |    24061
1273.21/1273.64	c 1271s |      18 |   414475 |   332652 |   202117      1 |    20952 |    24061
1275.62/1276.03	c 1273s |      18 |   414954 |   333052 |   202117      1 |    20952 |    24061
1277.71/1278.12	c 1275s |      18 |   415297 |   333352 |   202117      1 |    20952 |    24061
1279.71/1280.19	c 1278s |      18 |   415645 |   333652 |   202117      1 |    20952 |    24061
1281.91/1282.37	c 1280s |      18 |   416105 |   334052 |   202117      1 |    20952 |    24061
1284.31/1284.75	c 1282s |      18 |   416595 |   334452 |   202117      1 |    20952 |    24061
1286.90/1287.36	c 1285s |      18 |   417047 |   334852 |   202117      1 |    20952 |    24061
1289.50/1289.92	c 1287s |      18 |   417511 |   335252 |   202117      1 |    20952 |    24061
1291.50/1291.93	c 1289s |      18 |   417851 |   335552 |   202117      1 |    20952 |    24061
1293.90/1294.31	c 1292s |      18 |   418327 |   335952 |   202117      1 |    20952 |    24061
1296.20/1296.60	c 1294s |      18 |   418815 |   336352 |   202117      1 |    20952 |    24061
1298.19/1298.65	c 1296s |      18 |   419138 |   336652 |   202117      1 |    20952 |    24061
1300.19/1300.66	c 1298s |      18 |   419468 |   336952 |   202117      1 |    20952 |    24061
1302.89/1303.36	c 1301s |      18 |   419919 |   337352 |   202117      1 |    20952 |    24061
1304.99/1305.42	c 1303s |      18 |   420252 |   337652 |   202117      1 |    20952 |    24061
1306.99/1307.44	c 1305s |      18 |   420579 |   337952 |   202117      1 |    20952 |    24061
1309.09/1309.54	c 1307s |      18 |   420914 |   338252 |   202117      1 |    20952 |    24061
1311.29/1311.79	c 1309s |      18 |   421249 |   338552 |   202117      1 |    20952 |    24061
1313.39/1313.86	c 1311s |      18 |   421580 |   338852 |   202117      1 |    20952 |    24061
1315.50/1315.93	c 1313s |      18 |   421914 |   339152 |   202117      1 |    20952 |    24061
1317.50/1317.99	c 1315s |      18 |   422262 |   339452 |   202117      1 |    20952 |    24061
1319.70/1320.12	c 1318s |      18 |   422591 |   339752 |   202117      1 |    20952 |    24061
1322.30/1322.76	c 1320s |      18 |   423028 |   340152 |   202117      1 |    20952 |    24061
1324.50/1324.92	c 1322s |      18 |   423352 |   340452 |   202117      1 |    20952 |    24061
1326.60/1327.00	c 1324s |      18 |   423672 |   340752 |   202117      1 |    20952 |    24061
1329.19/1329.61	c 1327s |      18 |   424104 |   341152 |   202117      1 |    20952 |    24061
1331.59/1332.10	c 1329s |      18 |   424553 |   341552 |   202117      1 |    20952 |    24061
1333.90/1334.38	c 1332s |      18 |   424987 |   341952 |   202117      1 |    20952 |    24061
1336.10/1336.55	c 1334s |      18 |   425453 |   342352 |   202117      1 |    20952 |    24061
1338.58/1339.04	c 1336s |      18 |   426027 |   342852 |   202117      1 |    20952 |    24061
1340.88/1341.33	c 1339s |      18 |   426497 |   343252 |   202117      1 |    20952 |    24061
1342.98/1343.46	c 1341s |      18 |   426966 |   343652 |   202117      1 |    20952 |    24061
1345.28/1345.76	c 1343s |      18 |   427431 |   344052 |   202117      1 |    20952 |    24061
1347.78/1348.25	c 1346s |      18 |   427883 |   344452 |   202117      1 |    20952 |    24061
1352.47/1352.92	c 1350s |      18 |   428338 |   344752 |   202117      2 |    20952 |    24061
1354.68/1355.17	c 1353s |      18 |   428963 |   345252 |   202117      2 |    20952 |    24061
1357.28/1357.71	c 1355s |      18 |   429431 |   345552 |   202117      2 |    20952 |    24061
1359.37/1359.88	c 1357s |      18 |   429873 |   345952 |   202117      2 |    20952 |    24061
1361.48/1361.96	c 1359s |      18 |   430355 |   346352 |   202117      2 |    20952 |    24061
1363.87/1364.38	c 1362s |      18 |   430795 |   346752 |   202117      2 |    20952 |    24061
1366.27/1366.76	c 1364s |      18 |   431236 |   347152 |   202117      2 |    20952 |    24061
1368.57/1369.05	c 1366s |      18 |   431694 |   347552 |   202117      2 |    20952 |    24061
1370.97/1371.41	c 1369s |      18 |   432124 |   347952 |   202117      2 |    20952 |    24061
1373.27/1373.80	c 1371s |      18 |   432565 |   348352 |   202117      2 |    20952 |    24061
1375.37/1375.89	c 1373s |      18 |   433026 |   348752 |   202117      2 |    20952 |    24061
1377.67/1378.16	c 1376s |      18 |   433590 |   349252 |   202117      2 |    20952 |    24061
1379.87/1380.38	c 1378s |      18 |   434169 |   349752 |   202117      2 |    20952 |    24061
1381.87/1382.38	c 1380s |      18 |   434609 |   350152 |   202117      2 |    20952 |    24061
1383.96/1384.49	c 1382s |      18 |   435067 |   350552 |   202117      2 |    20952 |    24061
1386.36/1386.84	c 1384s |      18 |   435648 |   351052 |   202117      2 |    20952 |    24061
1388.76/1389.25	c 1387s |      18 |   436271 |   351552 |   202117      2 |    20952 |    24061
1390.96/1391.40	c 1389s |      18 |   436741 |   351952 |   202117      2 |    20952 |    24061
1393.06/1393.56	c 1391s |      18 |   437205 |   352352 |   202117      2 |    20952 |    24061
1395.26/1395.74	c 1393s |      18 |   437670 |   352752 |   202117      2 |    20952 |    24061
1397.25/1397.75	c 1395s |      18 |   438134 |   353152 |   202117      2 |    20952 |    24061
1399.35/1399.88	c 1397s |      18 |   438691 |   353652 |   202117      2 |    20952 |    24061
1401.85/1402.32	c 1400s |      18 |   439263 |   354152 |   202117      2 |    20952 |    24061
1404.36/1404.86	c 1402s |      18 |   439854 |   354652 |   202117      2 |    20952 |    24061
1406.35/1406.88	c 1404s |      18 |   440313 |   355052 |   202117      2 |    20952 |    24061
1408.45/1408.90	c 1406s |      18 |   440757 |   355452 |   202117      2 |    20952 |    24061
1410.65/1411.13	c 1409s |      18 |   441223 |   355852 |   202117      2 |    20952 |    24061
1412.65/1413.14	c 1411s |      18 |   441678 |   356252 |   202117      2 |    20952 |    24061
1415.05/1415.55	c 1413s |      18 |   442235 |   356752 |   202117      2 |    20952 |    24061
1417.46/1417.93	c 1415s |      18 |   442810 |   357252 |   202117      2 |    20952 |    24061
1419.76/1420.24	c 1418s |      18 |   443382 |   357752 |   202117      2 |    20952 |    24061
1421.86/1422.34	c 1420s |      18 |   443815 |   358152 |   202117      2 |    20952 |    24061
1424.35/1424.81	c 1422s |      18 |   444404 |   358652 |   202117      2 |    20952 |    24061
1426.85/1427.38	c 1425s |      18 |   444948 |   359152 |   202117      2 |    20952 |    24061
1428.85/1429.39	c 1427s |      18 |   445416 |   359552 |   202117      2 |    20952 |    24061
1431.25/1431.70	c 1429s |      18 |   445978 |   360052 |   202117      2 |    20952 |    24061
1433.25/1433.75	c 1431s |      18 |   446428 |   360452 |   202117      2 |    20952 |    24061
1435.25/1435.78	c 1433s |      18 |   446880 |   360852 |   202117      2 |    20952 |    24061
1437.26/1437.78	c 1435s |      18 |   447347 |   361252 |   202117      2 |    20952 |    24061
1439.35/1439.82	c 1437s |      18 |   448544 |   362052 |   202117      2 |    20952 |    24061
1441.35/1441.89	c 1439s |      18 |   449560 |   362852 |   202117      2 |    20952 |    24061
1443.65/1444.10	c 1441s |      18 |   450412 |   363552 |   202117      2 |    20952 |    24061
1445.85/1446.32	c 1444s |      18 |   451287 |   364252 |   202117      2 |    20952 |    24061
1447.85/1448.32	c 1446s |      18 |   452198 |   364952 |   202117      2 |    20952 |    24061
1449.95/1450.48	c 1448s |      18 |   453363 |   365752 |   202117      2 |    20952 |    24061
1452.05/1452.54	c 1450s |      18 |   454276 |   366452 |   202117      2 |    20952 |    24061
1454.35/1454.87	c 1452s |      18 |   455172 |   367152 |   202117      2 |    20952 |    24061
1456.55/1457.09	c 1454s |      18 |   455879 |   367752 |   202117      2 |    20952 |    24061
1458.75/1459.26	c 1457s |      18 |   456792 |   368452 |   202117      2 |    20952 |    24061
1460.85/1461.30	c 1459s |      18 |   457834 |   369252 |   202117      2 |    20952 |    24061
1463.05/1463.54	c 1461s |      18 |   458714 |   369952 |   202117      2 |    20952 |    24061
1465.15/1465.62	c 1463s |      18 |   459460 |   370552 |   202117      2 |    20952 |    24061
1467.25/1467.76	c 1465s |      18 |   460533 |   371352 |   202117      2 |    20952 |    24061
1469.34/1469.84	c 1467s |      18 |   461394 |   372052 |   202117      2 |    20952 |    24061
1471.64/1472.11	c 1469s |      18 |   462625 |   372852 |   202117      2 |    20952 |    24061
1473.74/1474.24	c 1472s |      18 |   463704 |   373652 |   202117      2 |    20952 |    24061
1476.14/1476.68	c 1474s |      18 |   464822 |   374352 |   202117      2 |    20952 |    24061
1478.64/1479.17	c 1477s |      18 |   465345 |   374752 |   202117      2 |    20952 |    24061
1481.25/1481.74	c 1479s |      18 |   465785 |   375152 |   202117      2 |    20952 |    24061
1483.25/1483.75	c 1481s |      18 |   466113 |   375452 |   202117      2 |    20952 |    24061
1485.95/1486.44	c 1484s |      18 |   466561 |   375852 |   202117      2 |    20952 |    24061
1488.55/1489.02	c 1486s |      18 |   467002 |   376252 |   202117      2 |    20952 |    24061
1491.05/1491.51	c 1489s |      18 |   467434 |   376652 |   202117      2 |    20952 |    24061
1493.05/1493.56	c 1491s |      18 |   467754 |   376952 |   202117      2 |    20952 |    24061
1495.45/1496.00	c 1493s |      18 |   468237 |   377352 |   202117      2 |    20952 |    24061
1497.75/1498.26	c 1496s |      18 |   468689 |   377752 |   202117      2 |    20952 |    24061
1499.85/1500.39	c 1498s |      18 |   469136 |   378152 |   202117      2 |    20952 |    24061
1502.34/1502.86	c 1500s |      18 |   469721 |   378652 |   202117      2 |    20952 |    24061
1504.74/1505.27	c 1503s |      18 |   470305 |   379152 |   202117      2 |    20952 |    24061
1506.94/1507.43	c 1505s |      18 |   470768 |   379552 |   202117      2 |    20952 |    24061
1509.04/1509.55	c 1507s |      18 |   471221 |   379952 |   202117      2 |    20952 |    24061
1511.34/1511.80	c 1509s |      18 |   471796 |   380452 |   202117      2 |    20952 |    24061
1513.54/1514.09	c 1511s |      18 |   472230 |   380852 |   202117      2 |    20952 |    24061
1515.94/1516.48	c 1514s |      18 |   472668 |   381252 |   202117      2 |    20952 |    24061
1518.44/1518.94	c 1516s |      18 |   473249 |   381752 |   202117      2 |    20952 |    24061
1520.44/1520.95	c 1518s |      18 |   473713 |   382152 |   202117      2 |    20952 |    24061
1522.74/1523.20	c 1521s |      18 |   474181 |   382552 |   202117      2 |    20952 |    24061
1524.94/1525.43	c 1523s |      18 |   474837 |   383052 |   202117      2 |    20952 |    24061
1527.14/1527.68	c 1525s |      18 |   475710 |   383652 |   202117      2 |    20952 |    24061
1529.54/1530.01	c 1527s |      18 |   476562 |   384352 |   202117      2 |    20952 |    24061
1531.54/1532.09	c 1529s |      18 |   477427 |   385052 |   202117      2 |    20952 |    24061
1533.73/1534.20	c 1532s |      18 |   478147 |   385652 |   202117      2 |    20952 |    24061
1536.04/1536.54	c 1534s |      18 |   478956 |   386352 |   202117      2 |    20952 |    24061
1538.33/1538.83	c 1536s |      18 |   479648 |   386952 |   202117      2 |    20952 |    24061
1540.64/1541.18	c 1539s |      18 |   480366 |   387552 |   202117      2 |    20952 |    24061
1542.84/1543.37	c 1541s |      18 |   481066 |   388152 |   202117      2 |    20952 |    24061
1544.93/1545.49	c 1543s |      18 |   481784 |   388752 |   202117      2 |    20952 |    24061
1547.24/1547.74	c 1545s |      18 |   482486 |   389352 |   202117      2 |    20952 |    24061
1549.33/1549.90	c 1547s |      18 |   483088 |   389852 |   202117      2 |    20952 |    24061
1551.43/1551.94	c 1549s |      18 |   483673 |   390352 |   202117      2 |    20952 |    24061
1553.43/1553.95	c 1551s |      18 |   484318 |   390852 |   202117      2 |    20952 |    24061
1555.53/1556.02	c 1553s |      18 |   485156 |   391452 |   202117      2 |    20952 |    24061
1557.93/1558.43	c 1556s |      18 |   485910 |   392052 |   202117      2 |    20952 |    24061
1560.33/1560.80	c 1558s |      18 |   486650 |   392652 |   202117      2 |    20952 |    24061
1562.64/1563.11	c 1560s |      18 |   487429 |   393252 |   202117      2 |    20952 |    24061
1564.94/1565.46	c 1563s |      18 |   488169 |   393852 |   202117      2 |    20952 |    24061
1567.14/1567.65	c 1565s |      18 |   488869 |   394452 |   202117      2 |    20952 |    24061
1569.34/1569.85	c 1567s |      18 |   489456 |   394952 |   202117      2 |    20952 |    24061
1571.44/1571.98	c 1569s |      18 |   490047 |   395452 |   202117      2 |    20952 |    24061
1573.63/1574.12	c 1572s |      18 |   490623 |   395952 |   202117      2 |    20952 |    24061
1575.83/1576.37	c 1574s |      18 |   491343 |   396552 |   202117      2 |    20952 |    24061
1577.93/1578.44	c 1576s |      18 |   491924 |   397052 |   202117      2 |    20952 |    24061
1580.33/1580.82	c 1578s |      18 |   492674 |   397652 |   202117      2 |    20952 |    24061
1582.32/1582.88	c 1580s |      18 |   493274 |   398152 |   202117      2 |    20952 |    24061
1584.63/1585.15	c 1583s |      18 |   493840 |   398652 |   202117      2 |    20952 |    24061
1587.02/1587.56	c 1585s |      18 |   494386 |   399152 |   202117      2 |    20952 |    24061
1589.32/1589.87	c 1587s |      18 |   494984 |   399652 |   202117      2 |    20952 |    24061
1591.72/1592.21	c 1590s |      18 |   495597 |   400152 |   202117      2 |    20952 |    24061
1594.02/1594.55	c 1592s |      18 |   496188 |   400652 |   202117      2 |    20952 |    24061
1596.22/1596.77	c 1594s |      18 |   496793 |   401152 |   202117      2 |    20952 |    24061
1598.82/1599.30	c 1597s |      18 |   497337 |   401652 |   202117      2 |    20952 |    24061
1601.32/1601.89	c 1599s |      18 |   497928 |   402152 |   202117      2 |    20952 |    24061
1603.33/1603.89	c 1601s |      18 |   498562 |   402652 |   202117      2 |    20952 |    24061
1605.72/1606.25	c 1604s |      18 |   499303 |   403252 |   202117      2 |    20952 |    24061
1608.03/1608.59	c 1606s |      18 |   499900 |   403752 |   202117      2 |    20952 |    24061
1610.13/1610.69	c 1608s |      18 |   500504 |   404252 |   202117      2 |    20952 |    24061
1612.33/1612.82	c 1610s |      18 |   501087 |   404752 |   202117      2 |    20952 |    24061
1614.63/1615.19	c 1613s |      18 |   501802 |   405352 |   202117      2 |    20952 |    24061
1617.03/1617.55	c 1615s |      18 |   502542 |   405952 |   202117      2 |    20952 |    24061
1619.43/1619.91	c 1617s |      18 |   503144 |   406452 |   202117      2 |    20952 |    24061
1621.73/1622.21	c 1620s |      18 |   503797 |   406952 |   202117      2 |    20952 |    24061
1624.13/1624.64	c 1622s |      18 |   504368 |   407452 |   202117      2 |    20952 |    24061
1626.13/1626.68	c 1624s |      18 |   504867 |   407852 |   202117      2 |    20952 |    24061
1628.52/1629.02	c 1626s |      18 |   505457 |   408352 |   202117      2 |    20952 |    24061
1630.93/1631.45	c 1629s |      18 |   506185 |   408952 |   202117      2 |    20952 |    24061
1633.03/1633.59	c 1631s |      18 |   506642 |   409352 |   202117      2 |    20952 |    24061
1635.62/1636.13	c 1634s |      18 |   507218 |   409852 |   202117      2 |    20952 |    24061
1637.92/1638.47	c 1636s |      18 |   507659 |   410252 |   202117      2 |    20952 |    24061
1640.52/1641.03	c 1638s |      18 |   508236 |   410752 |   202117      2 |    20952 |    24061
1642.62/1643.13	c 1641s |      18 |   508740 |   411152 |   202117      2 |    20952 |    24061
1645.02/1645.53	c 1643s |      18 |   509347 |   411652 |   202117      2 |    20952 |    24061
1647.33/1647.83	c 1645s |      18 |   509977 |   412152 |   202117      2 |    20952 |    24061
1649.53/1650.05	c 1647s |      18 |   510444 |   412552 |   202117      2 |    20952 |    24061
1651.73/1652.26	c 1650s |      18 |   510909 |   412952 |   202117      2 |    20952 |    24061
1653.93/1654.49	c 1652s |      18 |   511380 |   413352 |   202117      2 |    20952 |    24061
1656.13/1656.67	c 1654s |      18 |   511877 |   413752 |   202117      2 |    20952 |    24061
1658.22/1658.75	c 1656s |      18 |   512343 |   414152 |   202117      2 |    20952 |    24061
1660.32/1660.87	c 1658s |      18 |   512823 |   414552 |   202117      2 |    20952 |    24061
1662.42/1662.94	c 1660s |      18 |   513329 |   414952 |   202117      2 |    20952 |    24061
1664.82/1665.30	c 1663s |      18 |   514045 |   415452 |   202117      2 |    20952 |    24061
1666.92/1667.44	c 1665s |      18 |   514742 |   415852 |   202117      2 |    20952 |    24061
1669.32/1669.90	c 1667s |      18 |   515225 |   416252 |   202117      2 |    20952 |    24061
1671.81/1672.31	c 1670s |      18 |   515699 |   416652 |   202117      2 |    20952 |    24061
1674.11/1674.64	c 1672s |      18 |   516148 |   417052 |   202117      2 |    20952 |    24061
1676.61/1677.11	c 1674s |      18 |   516614 |   417452 |   202117      2 |    20952 |    24061
1679.22/1679.77	c 1677s |      18 |   517091 |   417852 |   202117      2 |    20952 |    24061
1681.42/1681.91	c 1679s |      18 |   517560 |   418152 |   202117      2 |    20952 |    24061
1683.41/1683.96	c 1681s |      18 |   517906 |   418452 |   202117      2 |    20952 |    24061
1685.92/1686.42	c 1684s |      18 |   518396 |   418852 |   202117      2 |    20952 |    24061
1688.31/1688.88	c 1686s |      18 |   518876 |   419252 |   202117      2 |    20952 |    24061
1690.81/1691.33	c 1689s |      18 |   519386 |   419652 |   202117      2 |    20952 |    24061
1693.01/1693.51	c 1691s |      18 |   519913 |   420052 |   202117      2 |    20952 |    24061
1695.51/1696.05	c 1693s |      18 |   520442 |   420452 |   202117      2 |    20952 |    24061
1697.81/1698.34	c 1696s |      18 |   520920 |   420852 |   202117      2 |    20952 |    24061
1700.41/1700.94	c 1698s |      18 |   521392 |   421252 |   202117      2 |    20952 |    24061
1702.91/1703.42	c 1701s |      18 |   521890 |   421652 |   202117      2 |    20952 |    24061
1705.51/1706.05	c 1703s |      18 |   522382 |   422052 |   202117      2 |    20952 |    24061
1707.81/1708.33	c 1706s |      18 |   522853 |   422452 |   202117      2 |    20952 |    24061
1710.11/1710.68	c 1708s |      18 |   523314 |   422852 |   202117      2 |    20952 |    24061
1712.61/1713.12	c 1710s |      18 |   523800 |   423252 |   202117      2 |    20952 |    24061
1715.21/1715.74	c 1713s |      18 |   524297 |   423652 |   202117      2 |    20952 |    24061
1717.50/1718.10	c 1715s |      18 |   524867 |   424152 |   202117      2 |    20952 |    24061
1720.11/1720.63	c 1718s |      18 |   525355 |   424552 |   202117      2 |    20952 |    24061
1722.11/1722.64	c 1720s |      18 |   525747 |   424852 |   202117      2 |    20952 |    24061
1724.70/1725.27	c 1723s |      18 |   526219 |   425252 |   202117      2 |    20952 |    24061
1727.20/1727.75	c 1725s |      18 |   526671 |   425652 |   202117      2 |    20952 |    24061
1729.81/1730.36	c 1728s |      18 |   527170 |   426052 |   202117      2 |    20952 |    24061
1732.40/1732.97	c 1730s |      18 |   527758 |   426452 |   202117      2 |    20952 |    24061
1734.90/1735.45	c 1733s |      18 |   528120 |   426752 |   202117      2 |    20952 |    24061
1737.61/1738.17	c 1736s |      18 |   528495 |   427052 |   202117      2 |    20952 |    24061
1740.10/1740.63	c 1738s |      18 |   528991 |   427452 |   202117      2 |    20952 |    24061
1742.30/1742.84	c 1740s |      18 |   529509 |   427852 |   202117      2 |    20952 |    24061
1744.70/1745.25	c 1743s |      18 |   529965 |   428252 |   202117      2 |    20952 |    24061
1747.10/1747.66	c 1745s |      18 |   530432 |   428652 |   202117      2 |    20952 |    24061
1749.61/1750.13	c 1748s |      18 |   530918 |   429052 |   202117      2 |    20952 |    24061
1751.91/1752.47	c 1750s |      18 |   531412 |   429452 |   202117      2 |    20952 |    24061
1754.01/1754.57	c 1752s |      18 |   531907 |   429852 |   202117      2 |    20952 |    24061
1756.60/1757.16	c 1755s |      18 |   532295 |   430152 |   202117      2 |    20952 |    24061
1759.00/1759.54	c 1757s |      18 |   532620 |   430452 |   202117      2 |    20952 |    24061
1761.20/1761.73	c 1759s |      18 |   532972 |   430752 |   202117      2 |    20952 |    24061
1763.30/1763.84	c 1761s |      18 |   533341 |   431052 |   202117      2 |    20952 |    24061
1765.50/1766.01	c 1763s |      18 |   533668 |   431352 |   202117      2 |    20952 |    24061
1767.50/1768.03	c 1765s |      18 |   534032 |   431652 |   202117      2 |    20952 |    24061
1769.51/1770.05	c 1767s |      18 |   534403 |   431952 |   202117      2 |    20952 |    24061
1771.60/1772.19	c 1770s |      18 |   534741 |   432252 |   202117      2 |    20952 |    24061
1773.80/1774.33	c 1772s |      18 |   535104 |   432552 |   202117      2 |    20952 |    24061
1776.40/1776.92	c 1774s |      18 |   535475 |   432852 |   202117      2 |    20952 |    24061
1778.79/1779.30	c 1777s |      18 |   535809 |   433152 |   202117      2 |    20952 |    24061
1780.89/1781.44	c 1779s |      18 |   536156 |   433452 |   202117      2 |    20952 |    24061
1782.99/1783.52	c 1781s |      18 |   536518 |   433752 |   202117      2 |    20952 |    24061
1785.09/1785.64	c 1783s |      18 |   536846 |   434052 |   202117      2 |    20952 |    24061
1787.10/1787.68	c 1785s |      18 |   537194 |   434352 |   202117      2 |    20952 |    24061
1789.20/1789.78	c 1787s |      18 |   537551 |   434652 |   202117      2 |    20952 |    24061
1791.50/1792.09	c 1789s |      18 |   537882 |   434952 |   202117      2 |    20952 |    24061
1793.70/1794.26	c 1792s |      18 |   538230 |   435252 |   202117      2 |    20952 |    24061
1795.80/1796.34	c 1794s |      18 |   538579 |   435552 |   202117      2 |    20952 |    24061
1798.10/1798.66	c 1796s |      18 |   538917 |   435852 |   202117      2 |    20952 |    24061

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

pid=8169
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: 2.07 2.02 2.00 3/179 8172
/proc/meminfo: memFree=30495100/32872528 swapFree=12744/274376
[pid=8172] ppid=8169 vsize=736700 CPUtime=0 cores=0,2,4,6
/proc/8172/stat : 8172 (toysat) R 8169 8172 5566 0 -1 4202496 2750 0 0 0 0 0 0 0 20 0 4 0 109237281 754380800 3110 33554432000 4194304 16246674 140737014827552 140737014826976 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8172/statm: 184943 3119 441 2943 0 181837 0
[pid=8172/tid=8173] ppid=8169 vsize=753084 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8173/stat : 8173 (toysat) S 8169 8172 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109237281 771158016 3176 33554432000 4194304 16246674 140737014827552 140393230347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8172/tid=8174] ppid=8169 vsize=757180 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8174/stat : 8174 (toysat) S 8169 8172 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109237281 775352320 3191 33554432000 4194304 16246674 140737014827552 140393219857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8172/tid=8175] ppid=8169 vsize=762300 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8175/stat : 8175 (toysat) S 8169 8172 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109237281 780595200 3209 33554432000 4194304 16246674 140737014827552 140393209384112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100183 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 8172
/proc/meminfo: memFree=30495100/32872528 swapFree=12744/274376
[pid=8172] ppid=8169 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/8172/stat : 8172 (toysat) R 8169 8172 5566 0 -1 4202496 27111 0 0 0 6 3 0 0 20 0 4 0 109237281 1250496512 27409 33554432000 4194304 16246674 140737014827552 140737014826864 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8172/statm: 305297 27415 802 2943 0 302191 0
[pid=8172/tid=8173] ppid=8169 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8173/stat : 8173 (toysat) S 8169 8172 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109237281 1250496512 27419 33554432000 4194304 16246674 140737014827552 140393230347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8172/tid=8174] ppid=8169 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8174/stat : 8174 (toysat) S 8169 8172 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109237281 1250496512 27423 33554432000 4194304 16246674 140737014827552 140393219857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8172/tid=8175] ppid=8169 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8175/stat : 8175 (toysat) S 8169 8172 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109237281 1250496512 27428 33554432000 4194304 16246674 140737014827552 140393209384112 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) 1221188

[startup+0.200566 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 8172
/proc/meminfo: memFree=30495100/32872528 swapFree=12744/274376
[pid=8172] ppid=8169 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/8172/stat : 8172 (toysat) R 8169 8172 5566 0 -1 4202496 49466 0 0 0 13 6 0 0 20 0 4 0 109237281 1344868352 50275 33554432000 4194304 16246674 140737014827552 140737014826864 7439436 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8172/statm: 328337 50275 802 2943 0 325231 0
[pid=8172/tid=8173] ppid=8169 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8173/stat : 8173 (toysat) S 8169 8172 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109237281 1344868352 50275 33554432000 4194304 16246674 140737014827552 140393230347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8172/tid=8174] ppid=8169 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8174/stat : 8174 (toysat) S 8169 8172 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109237281 1344868352 50275 33554432000 4194304 16246674 140737014827552 140393219857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8172/tid=8175] ppid=8169 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8175/stat : 8175 (toysat) S 8169 8172 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109237281 1344868352 50275 33554432000 4194304 16246674 140737014827552 140393209384112 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) 1313348

[startup+0.300446 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 8172
/proc/meminfo: memFree=30495100/32872528 swapFree=12744/274376
[pid=8172] ppid=8169 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/8172/stat : 8172 (toysat) R 8169 8172 5566 0 -1 4202496 56617 0 0 0 22 7 0 0 20 0 4 0 109237281 1344868352 57426 33554432000 4194304 16246674 140737014827552 140737014826864 8055381 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8172/statm: 328337 57426 802 2943 0 325231 0
[pid=8172/tid=8173] ppid=8169 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8173/stat : 8173 (toysat) S 8169 8172 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109237281 1344868352 57426 33554432000 4194304 16246674 140737014827552 140393230347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8172/tid=8174] ppid=8169 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8174/stat : 8174 (toysat) S 8169 8172 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109237281 1344868352 57426 33554432000 4194304 16246674 140737014827552 140393219857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8172/tid=8175] ppid=8169 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8175/stat : 8175 (toysat) S 8169 8172 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109237281 1344868352 57426 33554432000 4194304 16246674 140737014827552 140393209384112 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) 1313348

[startup+0.70042 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 8172
/proc/meminfo: memFree=30495100/32872528 swapFree=12744/274376
[pid=8172] ppid=8169 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/8172/stat : 8172 (toysat) R 8169 8172 5566 0 -1 4202496 65154 0 0 0 60 9 0 0 20 0 4 0 109237281 1344868352 65963 33554432000 4194304 16246674 140737014827552 140737014826864 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8172/statm: 328337 65963 803 2943 0 325231 0
[pid=8172/tid=8173] ppid=8169 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8173/stat : 8173 (toysat) S 8169 8172 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109237281 1344868352 65963 33554432000 4194304 16246674 140737014827552 140393230347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8172/tid=8174] ppid=8169 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8174/stat : 8174 (toysat) S 8169 8172 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109237281 1344868352 65963 33554432000 4194304 16246674 140737014827552 140393219857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8172/tid=8175] ppid=8169 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8175/stat : 8175 (toysat) S 8169 8172 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109237281 1344868352 65963 33554432000 4194304 16246674 140737014827552 140393209384112 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) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.14 2.04 2.01 3/183 8176
/proc/meminfo: memFree=30131000/32872528 swapFree=12744/274376
[pid=8172] ppid=8169 vsize=1330756 CPUtime=1.49 cores=0,2,4,6
/proc/8172/stat : 8172 (toysat) R 8169 8172 5566 0 -1 4202496 124784 0 0 0 131 18 0 0 20 0 4 0 109237281 1362694144 125593 33554432000 4194304 16246674 140737014827552 140737014809472 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8172/statm: 332689 125593 839 2943 0 329583 0
[pid=8172/tid=8173] ppid=8169 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8173/stat : 8173 (toysat) S 8169 8172 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109237281 1362694144 125593 33554432000 4194304 16246674 140737014827552 140393230347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8172/tid=8174] ppid=8169 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8174/stat : 8174 (toysat) S 8169 8172 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109237281 1362694144 125593 33554432000 4194304 16246674 140737014827552 140393219857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8172/tid=8175] ppid=8169 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8175/stat : 8175 (toysat) S 8169 8172 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109237281 1362694144 125593 33554432000 4194304 16246674 140737014827552 140393209384112 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) 1330756

[startup+3.10041 s]
/proc/loadavg: 2.14 2.04 2.01 3/183 8176
/proc/meminfo: memFree=29750444/32872528 swapFree=12744/274376
[pid=8172] ppid=8169 vsize=1330756 CPUtime=3.09 cores=0,2,4,6
/proc/8172/stat : 8172 (toysat) R 8169 8172 5566 0 -1 4202496 225457 0 0 0 278 31 0 0 20 0 4 0 109237281 1362694144 226266 33554432000 4194304 16246674 140737014827552 140737014809472 5661217 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8172/statm: 332689 226267 886 2943 0 329583 0
[pid=8172/tid=8173] ppid=8169 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8173/stat : 8173 (toysat) S 8169 8172 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109237281 1362694144 226269 33554432000 4194304 16246674 140737014827552 140393230347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8172/tid=8174] ppid=8169 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8174/stat : 8174 (toysat) S 8169 8172 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109237281 1362694144 226270 33554432000 4194304 16246674 140737014827552 140393219857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8172/tid=8175] ppid=8169 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8175/stat : 8175 (toysat) S 8169 8172 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109237281 1362694144 226272 33554432000 4194304 16246674 140737014827552 140393209384112 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) 1330756

[startup+6.30042 s]
/proc/loadavg: 2.14 2.04 2.01 3/183 8176
/proc/meminfo: memFree=29399396/32872528 swapFree=12744/274376
[pid=8172] ppid=8169 vsize=1330756 CPUtime=6.29 cores=0,2,4,6
/proc/8172/stat : 8172 (toysat) R 8169 8172 5566 0 -1 4202496 273365 0 0 0 591 38 0 0 20 0 4 0 109237281 1362694144 274174 33554432000 4194304 16246674 140737014827552 140737014809472 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8172/statm: 332689 274174 892 2943 0 329583 0
[pid=8172/tid=8173] ppid=8169 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8173/stat : 8173 (toysat) S 8169 8172 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109237281 1362694144 274174 33554432000 4194304 16246674 140737014827552 140393230347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8172/tid=8174] ppid=8169 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8174/stat : 8174 (toysat) S 8169 8172 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109237281 1362694144 274174 33554432000 4194304 16246674 140737014827552 140393219857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8172/tid=8175] ppid=8169 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8175/stat : 8175 (toysat) S 8169 8172 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109237281 1362694144 274174 33554432000 4194304 16246674 140737014827552 140393209384112 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) 1330756

[startup+12.7004 s]
/proc/loadavg: 2.12 2.04 2.01 3/183 8176
/proc/meminfo: memFree=29400064/32872528 swapFree=12744/274376
[pid=8172] ppid=8169 vsize=1330756 CPUtime=12.69 cores=0,2,4,6
/proc/8172/stat : 8172 (toysat) R 8169 8172 5566 0 -1 4202496 273366 0 0 0 1231 38 0 0 20 0 4 0 109237281 1362694144 274175 33554432000 4194304 16246674 140737014827552 140737014809472 5661363 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8172/statm: 332689 274175 892 2943 0 329583 0
[pid=8172/tid=8173] ppid=8169 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8173/stat : 8173 (toysat) S 8169 8172 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109237281 1362694144 274175 33554432000 4194304 16246674 140737014827552 140393230347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8172/tid=8174] ppid=8169 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8174/stat : 8174 (toysat) S 8169 8172 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109237281 1362694144 274175 33554432000 4194304 16246674 140737014827552 140393219857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8172/tid=8175] ppid=8169 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8175/stat : 8175 (toysat) S 8169 8172 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109237281 1362694144 274175 33554432000 4194304 16246674 140737014827552 140393209384112 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) 1330756

[startup+25.5005 s]
/proc/loadavg: 2.10 2.04 2.01 3/183 8176
/proc/meminfo: memFree=29400760/32872528 swapFree=12744/274376
[pid=8172] ppid=8169 vsize=1330756 CPUtime=25.48 cores=0,2,4,6
/proc/8172/stat : 8172 (toysat) R 8169 8172 5566 0 -1 4202496 273366 0 0 0 2510 38 0 0 20 0 4 0 109237281 1362694144 274175 33554432000 4194304 16246674 140737014827552 140737014809472 5661363 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8172/statm: 332689 274175 892 2943 0 329583 0
[pid=8172/tid=8173] ppid=8169 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8173/stat : 8173 (toysat) S 8169 8172 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109237281 1362694144 274175 33554432000 4194304 16246674 140737014827552 140393230347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8172/tid=8174] ppid=8169 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8174/stat : 8174 (toysat) S 8169 8172 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109237281 1362694144 274175 33554432000 4194304 16246674 140737014827552 140393219857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8172/tid=8175] ppid=8169 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8175/stat : 8175 (toysat) S 8169 8172 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109237281 1362694144 274175 33554432000 4194304 16246674 140737014827552 140393209384112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1330756

[startup+51.1005 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 8176
/proc/meminfo: memFree=29400612/32872528 swapFree=12744/274376
[pid=8172] ppid=8169 vsize=1330756 CPUtime=51.08 cores=0,2,4,6
/proc/8172/stat : 8172 (toysat) R 8169 8172 5566 0 -1 4202496 273366 0 0 0 5069 39 0 0 20 0 4 0 109237281 1362694144 274175 33554432000 4194304 16246674 140737014827552 140737014809472 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8172/statm: 332689 274175 892 2943 0 329583 0
[pid=8172/tid=8173] ppid=8169 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8173/stat : 8173 (toysat) S 8169 8172 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109237281 1362694144 274175 33554432000 4194304 16246674 140737014827552 140393230347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8172/tid=8174] ppid=8169 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8174/stat : 8174 (toysat) S 8169 8172 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109237281 1362694144 274175 33554432000 4194304 16246674 140737014827552 140393219857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8172/tid=8175] ppid=8169 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8175/stat : 8175 (toysat) S 8169 8172 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109237281 1362694144 274175 33554432000 4194304 16246674 140737014827552 140393209384112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1330756

[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 8177
/proc/meminfo: memFree=29400412/32872528 swapFree=12744/274376
[pid=8172] ppid=8169 vsize=1330756 CPUtime=102.28 cores=0,2,4,6
/proc/8172/stat : 8172 (toysat) R 8169 8172 5566 0 -1 4202496 273367 0 0 0 10188 40 0 0 20 0 4 0 109237281 1362694144 274176 33554432000 4194304 16246674 140737014827552 140737014809472 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8172/statm: 332689 274176 892 2943 0 329583 0
[pid=8172/tid=8173] ppid=8169 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8173/stat : 8173 (toysat) S 8169 8172 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109237281 1362694144 274176 33554432000 4194304 16246674 140737014827552 140393230347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8172/tid=8174] ppid=8169 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8174/stat : 8174 (toysat) S 8169 8172 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109237281 1362694144 274176 33554432000 4194304 16246674 140737014827552 140393219857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8172/tid=8175] ppid=8169 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8175/stat : 8175 (toysat) S 8169 8172 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109237281 1362694144 274176 33554432000 4194304 16246674 140737014827552 140393209384112 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) 1330756


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

/proc/8172/task/8175/stat : 8175 (toysat) S 8169 8172 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109237281 1404637184 284420 33554432000 4194304 16246674 140737014827552 140393209384112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1371716

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8207
/proc/meminfo: memFree=29355936/32872528 swapFree=12744/274376
[pid=8172] ppid=8169 vsize=1371716 CPUtime=1301.89 cores=0,2,4,6
/proc/8172/stat : 8172 (toysat) R 8169 8172 5566 0 -1 4202496 283983 0 0 0 130140 49 0 0 20 0 4 0 109237281 1404637184 284420 33554432000 4194304 16246674 140737014827552 140737014809472 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8172/statm: 342929 284420 894 2943 0 339823 0
[pid=8172/tid=8173] ppid=8169 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8173/stat : 8173 (toysat) S 8169 8172 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109237281 1404637184 284420 33554432000 4194304 16246674 140737014827552 140393230347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8172/tid=8174] ppid=8169 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8174/stat : 8174 (toysat) S 8169 8172 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109237281 1404637184 284420 33554432000 4194304 16246674 140737014827552 140393219857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8172/tid=8175] ppid=8169 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8175/stat : 8175 (toysat) S 8169 8172 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109237281 1404637184 284420 33554432000 4194304 16246674 140737014827552 140393209384112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1371716

[startup+1362.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/183 8208
/proc/meminfo: memFree=29337244/32872528 swapFree=12744/274376
[pid=8172] ppid=8169 vsize=1391172 CPUtime=1361.87 cores=0,2,4,6
/proc/8172/stat : 8172 (toysat) R 8169 8172 5566 0 -1 4202496 288635 0 0 0 136133 54 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140737014809472 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8172/statm: 347793 289040 894 2943 0 344687 0
[pid=8172/tid=8173] ppid=8169 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8173/stat : 8173 (toysat) S 8169 8172 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140393230347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8172/tid=8174] ppid=8169 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8174/stat : 8174 (toysat) S 8169 8172 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140393219857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8172/tid=8175] ppid=8169 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8175/stat : 8175 (toysat) S 8169 8172 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140393209384112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1391172

[startup+1422.3 s]
/proc/loadavg: 2.25 2.08 2.02 3/184 8213
/proc/meminfo: memFree=29337872/32872528 swapFree=12744/274376
[pid=8172] ppid=8169 vsize=1391172 CPUtime=1421.86 cores=0,2,4,6
/proc/8172/stat : 8172 (toysat) R 8169 8172 5566 0 -1 4202496 288652 0 0 0 142131 55 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140737014809472 13906976 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8172/statm: 347793 289040 894 2943 0 344687 0
[pid=8172/tid=8173] ppid=8169 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8173/stat : 8173 (toysat) S 8169 8172 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140393230347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8172/tid=8174] ppid=8169 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8174/stat : 8174 (toysat) S 8169 8172 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140393219857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8172/tid=8175] ppid=8169 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8175/stat : 8175 (toysat) S 8169 8172 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140393209384112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1391172

[startup+1482.3 s]
/proc/loadavg: 2.22 2.09 2.03 3/183 8214
/proc/meminfo: memFree=29337992/32872528 swapFree=12744/274376
[pid=8172] ppid=8169 vsize=1391172 CPUtime=1481.85 cores=0,2,4,6
/proc/8172/stat : 8172 (toysat) R 8169 8172 5566 0 -1 4202496 288652 0 0 0 148128 57 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140737014809472 5677884 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8172/statm: 347793 289040 894 2943 0 344687 0
[pid=8172/tid=8173] ppid=8169 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8173/stat : 8173 (toysat) S 8169 8172 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140393230347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8172/tid=8174] ppid=8169 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8174/stat : 8174 (toysat) S 8169 8172 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140393219857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8172/tid=8175] ppid=8169 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8175/stat : 8175 (toysat) S 8169 8172 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140393209384112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1391172

[startup+1542.31 s]
/proc/loadavg: 2.12 2.09 2.03 3/183 8215
/proc/meminfo: memFree=29337992/32872528 swapFree=12744/274376
[pid=8172] ppid=8169 vsize=1391172 CPUtime=1541.84 cores=0,2,4,6
/proc/8172/stat : 8172 (toysat) R 8169 8172 5566 0 -1 4202496 288652 0 0 0 154127 57 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140737014809472 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8172/statm: 347793 289040 894 2943 0 344687 0
[pid=8172/tid=8173] ppid=8169 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8173/stat : 8173 (toysat) S 8169 8172 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140393230347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8172/tid=8174] ppid=8169 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8174/stat : 8174 (toysat) S 8169 8172 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140393219857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8172/tid=8175] ppid=8169 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8175/stat : 8175 (toysat) S 8169 8172 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140393209384112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1391172

[startup+1602.3 s]
/proc/loadavg: 2.09 2.08 2.02 3/183 8216
/proc/meminfo: memFree=29337872/32872528 swapFree=12744/274376
[pid=8172] ppid=8169 vsize=1391172 CPUtime=1601.82 cores=0,2,4,6
/proc/8172/stat : 8172 (toysat) R 8169 8172 5566 0 -1 4202496 288652 0 0 0 160125 57 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140737014809472 5822848 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8172/statm: 347793 289040 894 2943 0 344687 0
[pid=8172/tid=8173] ppid=8169 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8173/stat : 8173 (toysat) S 8169 8172 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140393230347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8172/tid=8174] ppid=8169 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8174/stat : 8174 (toysat) S 8169 8172 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140393219857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8172/tid=8175] ppid=8169 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8175/stat : 8175 (toysat) S 8169 8172 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140393209384112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1391172

[startup+1662.3 s]
/proc/loadavg: 2.15 2.10 2.03 3/183 8217
/proc/meminfo: memFree=29338000/32872528 swapFree=12744/274376
[pid=8172] ppid=8169 vsize=1391172 CPUtime=1661.82 cores=0,2,4,6
/proc/8172/stat : 8172 (toysat) R 8169 8172 5566 0 -1 4202496 288652 0 0 0 166124 58 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140737014809472 5677902 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8172/statm: 347793 289040 894 2943 0 344687 0
[pid=8172/tid=8173] ppid=8169 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8173/stat : 8173 (toysat) S 8169 8172 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140393230347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8172/tid=8174] ppid=8169 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8174/stat : 8174 (toysat) S 8169 8172 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140393219857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8172/tid=8175] ppid=8169 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8175/stat : 8175 (toysat) S 8169 8172 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140393209384112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1391172

[startup+1722.3 s]
/proc/loadavg: 2.09 2.09 2.03 3/183 8219
/proc/meminfo: memFree=29338156/32872528 swapFree=12744/274376
[pid=8172] ppid=8169 vsize=1391172 CPUtime=1721.8 cores=0,2,4,6
/proc/8172/stat : 8172 (toysat) R 8169 8172 5566 0 -1 4202496 288652 0 0 0 172122 58 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140737014809472 5717604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8172/statm: 347793 289040 894 2943 0 344687 0
[pid=8172/tid=8173] ppid=8169 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8173/stat : 8173 (toysat) S 8169 8172 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140393230347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8172/tid=8174] ppid=8169 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8174/stat : 8174 (toysat) S 8169 8172 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140393219857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8172/tid=8175] ppid=8169 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8175/stat : 8175 (toysat) S 8169 8172 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140393209384112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1391172

[startup+1782.3 s]
/proc/loadavg: 2.06 2.08 2.03 3/183 8220
/proc/meminfo: memFree=29337624/32872528 swapFree=12744/274376
[pid=8172] ppid=8169 vsize=1391172 CPUtime=1781.8 cores=0,2,4,6
/proc/8172/stat : 8172 (toysat) R 8169 8172 5566 0 -1 4202496 288652 0 0 0 178122 58 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140737014809472 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8172/statm: 347793 289040 894 2943 0 344687 0
[pid=8172/tid=8173] ppid=8169 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8173/stat : 8173 (toysat) S 8169 8172 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140393230347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8172/tid=8174] ppid=8169 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8174/stat : 8174 (toysat) S 8169 8172 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140393219857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8172/tid=8175] ppid=8169 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8175/stat : 8175 (toysat) S 8169 8172 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140393209384112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1391172



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.05 2.08 2.03 3/183 8367
/proc/meminfo: memFree=29734428/32872528 swapFree=12744/274376
[pid=8172] ppid=8169 vsize=1391172 CPUtime=1800.09 cores=0,2,4,6
/proc/8172/stat : 8172 (toysat) R 8169 8172 5566 0 -1 4202496 288652 0 0 0 179951 58 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140737014809472 5823234 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8172/statm: 347793 289040 894 2943 0 344687 0
[pid=8172/tid=8173] ppid=8169 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8173/stat : 8173 (toysat) S 8169 8172 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140393230347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8172/tid=8174] ppid=8169 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8174/stat : 8174 (toysat) S 8169 8172 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140393219857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8172/tid=8175] ppid=8169 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/8172/task/8175/stat : 8175 (toysat) S 8169 8172 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109237281 1424560128 289040 33554432000 4194304 16246674 140737014827552 140393209384112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1391172

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 8172 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.11
CPU user time (s): 1799.52
CPU system time (s): 0.58991
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 1391172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 0.58991
maximum resident set size= 1156160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288652
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= 455
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.75352 second user time and 19.561 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-07 06:17:05
IDJOB=4078828
IDBENCH=73867
IDSOLVER=2542
FILE ID=node107/4078828-1465273025
RUNJOBID= node107-1465255895-5582
PBS_JOBID= 19843278
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12038_3-sat.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078828-1465273025/watcher-4078828-1465273025 -o /tmp/evaluation-result-4078828-1465273025/solver-4078828-1465273025 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5582 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078828-1465273025.opb

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

MD5SUM BENCH= 56cc40b9ea431027514a5b56e02d7edb
RANDOM SEED=1980573499

node107.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		: 2666.441
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	: 5332.88
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		: 2666.441
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.55
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		: 2666.441
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.54
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		: 2666.441
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		: 2666.441
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		: 2666.441
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.441
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.56
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		: 2666.441
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:        30495760 kB
Buffers:          103180 kB
Cached:           155760 kB
SwapCached:         1664 kB
Active:          1219012 kB
Inactive:         147736 kB
Active(anon):    1106776 kB
Inactive(anon):     2936 kB
Active(file):     112236 kB
Inactive(file):   144800 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098524 kB
Dirty:             40284 kB
Writeback:             0 kB
AnonPages:       1383088 kB
Mapped:            10728 kB
Shmem:                 0 kB
Slab:             600848 kB
SReclaimable:      43856 kB
SUnreclaim:       556992 kB
KernelStack:        1472 kB
PageTables:         6788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1525808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    268288 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 node107 at 2016-06-07 06:47:06