Trace number 4078734

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

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-full.all.ucl.opb
MD5SUM14c93c93dc53353f81a889ada18ba601
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark53.2519
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables81558
Total number of constraints240469
Number of constraints which are clauses235865
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints4604
Minimum length of a constraint1
Maximum length of a constraint13
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 68
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 257
Number of bits of the biggest sum of numbers9
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-06T16:02:11+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4078734-1465221731.opb"]
0.00/0.01	c use --random-gen="4228976927 4200063316 3964722855 2047340807 2969151419 3646129822 376927092 3760184516 3564895775 833087832 1101887747 3775923658 1210780836 3658350121 1943865278 3385915258 1404438553 3880911178 2585450159 1102107742 617048329 2688882275 4215663261 282383922 1409022352 4071092527 690467700 2413760659 588440930 222920698 2697286785 4067860063 964991864 3289637860 2660191893 2736461439 2526841724 2370763244 366540627 1916172260 3922457155 1425548725 3534456148 1444671381 2734628015 449658766 4254705140 2956780906 3012115764 3639442044 581470342 2588315515 225539930 1692920302 1998166337 2402046936 387316693 4062779290 868080271 3719490225 839432940 3372820064 2796947375 1457251923 66351994 599182422 3404839500 2901808153 196903669 2082102873 1796838099 3620433902 3653919827 1334944191 957556332 3976985814 4087205583 1605735128 1611722835 3535588196 866727239 505278937 2596375925 1974389034 2075897275 2634462446 2082154059 2730570830 2904040013 578383193 1594913971 3413658567 1643976060 3382219664 444385640 3650049436 1023746258 3304208343 4124048877 1050302502 136819726 4142903333 586870217 3868429478 2373957852 2234883337 2044986391 3971549390 946117080 3141938209 3649052316 1864726132 3937108931 769140055 2885520175 4050848833 2417000267 1935259184 1173442481 3496921668 804357916 1348418108 474332106 13610989 162089405 4254101801 2566136671 1111992320 3659000278 252084208 606072664 3873439010 1457012655 3723668972 1697557108 3599907766 3401077836 1785496289 3983642024 2514453091 2901839524 2764049935 77110355 1540755107 1350838395 1424939733 2031391468 2921442508 4144899272 842287765 1650838366 3555398375 221205851 898699036 302161580 3470336640 2749426099 3537107782 4134199823 3978866226 4031465873 4035041021 3422095892 3473125626 1115954557 218456784 238978128 4263594519 1429305741 2790433618 2735899299 483088962 3031758949 4210279744 887778025 828953176 4057277570 2068499614 4104958246 3778938029 1979622336 4237144675 1463011859 500711314 1151537087 339545495 3680489548 4133160744 1239849818 3167951125 2284038410 1171401993 3306393785 2742799105 3156955165 4028572771 3580599452 1608405556 2682954716 237684020 380541703 1115002048 4087735111 4269939725 3332881653 1296093278 600396881 3807036086 591261587 1978667800 3602678981 236666651 100125078 2783710791 2201488270 2108621676 3408372631 1847239270 1798546015 3541622662 1785897951 2718247172 796389621 1945918730 2437405142 2238701831 2200420131 1037550350 3738980283 2854771375 633606887 53399009 1710607248 359184193 2654777086 3977150582 2684691302 1835323237 581496585 2353201770 4177435506 3582139365 2023046211 810888625 743922372 1381471314 368950706 1991719056 2605346054 2824833287 134216954 3901888575 1878599601 2783547992 1918355726 23107374 255 362436" option to reproduce the execution
1.39/1.43	c #vars 81558
1.39/1.43	c #constraints 240469
4.89/4.90	c Solving starts ...
4.89/4.90	c ============================[ Search Statistics ]============================
4.89/4.90	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.89/4.90	c       |         |          |          |    Limit     GC | Var      | Constra 
4.89/4.90	c =============================================================================
4.99/5.03	c  0.0s |       0 |        0 |        0 |   107342      0 |      719 |        0
5.99/6.10	c  1.1s |       1 |     1389 |      100 |   107342      0 |      719 |     1863
8.09/8.14	c  3.1s |       1 |     1770 |      200 |   118077      0 |      719 |     1863
8.99/9.09	c  4.1s |       2 |     1900 |      250 |   118077      0 |      719 |     1863
11.59/11.65	c  6.6s |       2 |     2336 |      450 |   129885      0 |      719 |     1863
11.99/12.09	c  7.1s |       3 |     2368 |      475 |   129885      0 |      719 |     1863
15.59/15.63	c 10.6s |       3 |     2696 |      675 |   142874      0 |      719 |     1863
18.09/18.13	c 13.1s |       4 |     2931 |      813 |   142874      0 |      719 |     1863
20.29/20.36	c 15.3s |       4 |     3348 |     1013 |   157162      0 |      719 |     1863
23.39/23.45	c 18.4s |       4 |     3688 |     1213 |   157162      0 |      719 |     1863
25.09/25.13	c 20.1s |       5 |     3853 |     1320 |   157162      0 |      719 |     1863
27.99/28.04	c 23.0s |       5 |     4559 |     1720 |   172879      0 |      719 |     1863
30.09/30.16	c 25.1s |       5 |     4880 |     1920 |   172879      0 |      719 |     1863
31.69/31.76	c 26.7s |       6 |     5182 |     2081 |   190167      0 |      719 |     1863
33.89/33.93	c 28.9s |       6 |     5729 |     2281 |   190167      0 |      719 |     1863
36.59/36.65	c 31.6s |       6 |     6191 |     2481 |   190167      0 |      719 |     1863
39.29/39.38	c 34.4s |       6 |     6526 |     2681 |   190167      0 |      719 |     1863
41.79/41.81	c 36.8s |       6 |     6916 |     2881 |   190167      0 |      719 |     1863
44.29/44.31	c 39.3s |       6 |     7269 |     3081 |   190167      0 |      719 |     1863
46.58/46.60	c 41.6s |       7 |     7542 |     3223 |   209184      0 |      719 |     1863
48.98/49.04	c 44.0s |       7 |     8140 |     3523 |   209184      0 |      719 |     1863
51.18/51.28	c 46.2s |       7 |     8569 |     3723 |   209184      0 |      719 |     1863
53.78/53.84	c 48.8s |       7 |     8975 |     3923 |   209184      0 |      719 |     1863
56.19/56.25	c 51.2s |       7 |     9495 |     4123 |   209184      0 |      719 |     1863
58.58/58.65	c 53.6s |       7 |     9906 |     4323 |   209184      0 |      719 |     1863
60.88/60.98	c 56.0s |       7 |    10247 |     4523 |   209184      0 |      719 |     1863
63.79/63.88	c 58.9s |       7 |    10540 |     4723 |   209184      0 |      719 |     1863
66.68/66.74	c 61.7s |       7 |    10813 |     4923 |   230103      0 |      719 |     1863
66.88/66.98	c 61.9s |       8 |    10834 |     4936 |   230103      0 |      719 |     1863
69.48/69.54	c 64.5s |       8 |    11269 |     5136 |   230103      0 |      719 |     1863
72.08/72.13	c 67.1s |       8 |    11636 |     5336 |   230103      0 |      719 |     1863
74.18/74.28	c 69.3s |       8 |    12150 |     5536 |   230103      0 |      719 |     1863
76.99/77.09	c 72.1s |       8 |    12802 |     5836 |   230103      0 |      719 |     1863
79.38/79.42	c 74.4s |       8 |    13123 |     6036 |   230103      0 |      719 |     1863
81.49/81.51	c 76.5s |       8 |    13772 |     6436 |   230103      0 |      719 |     1863
83.98/84.05	c 79.0s |       8 |    14333 |     6736 |   230103      0 |      719 |     1863
86.48/86.58	c 81.5s |       8 |    14731 |     6936 |   230103      0 |      719 |     1863
89.09/89.11	c 84.1s |       8 |    15117 |     7136 |   230103      0 |      719 |     1863
91.78/91.84	c 86.8s |       8 |    15409 |     7336 |   230103      0 |      719 |     1863
93.58/93.65	c 88.6s |       9 |    15708 |     7506 |   253114      0 |      719 |     1863
95.58/95.68	c 90.7s |       9 |    16231 |     7706 |   253114      0 |      719 |     1863
98.48/98.52	c 93.5s |       9 |    16727 |     7906 |   253114      0 |      719 |     1863
100.78/100.83	c 95.8s |       9 |    17243 |     8106 |   253114      0 |      719 |     1863
103.38/103.50	c 98.5s |       9 |    17579 |     8306 |   253114      0 |      719 |     1863
106.08/106.19	c  101s |       9 |    17931 |     8506 |   253114      0 |      719 |     1863
108.58/108.64	c  103s |       9 |    18288 |     8706 |   253114      0 |      719 |     1863
111.58/111.63	c  106s |       9 |    18842 |     9006 |   253114      0 |      719 |     1863
113.57/113.65	c  108s |       9 |    19174 |     9206 |   253114      0 |      719 |     1863
116.17/116.20	c  111s |       9 |    19531 |     9406 |   253114      0 |      719 |     1863
118.17/118.21	c  113s |       9 |    19831 |     9606 |   253114      0 |      719 |     1863
120.98/121.03	c  115s |       9 |    20335 |     9906 |   253114      0 |      719 |     1863
123.47/123.53	c  118s |       9 |    20602 |    10106 |   253114      0 |      719 |     1863
126.97/127.02	c  121s |       9 |    20917 |    10306 |   253114      0 |      719 |     1863
130.57/130.61	c  125s |       9 |    21201 |    10506 |   253114      0 |      719 |     1863
133.57/133.68	c  128s |       9 |    21640 |    10706 |   253114      0 |      719 |     1863
137.27/137.31	c  132s |       9 |    22025 |    10906 |   253114      0 |      719 |     1863
140.37/140.45	c  135s |       9 |    22483 |    11106 |   253114      0 |      719 |     1863
142.57/142.62	c  137s |       9 |    22678 |    11206 |   253114      0 |      719 |     1863
144.67/144.75	c  139s |       9 |    22848 |    11306 |   278426      0 |      719 |     1863
145.77/145.86	c  140s |      10 |    22971 |    11361 |   278426      0 |      719 |     1863
147.97/148.04	c  143s |      10 |    23431 |    11561 |   278426      0 |      719 |     1863
150.27/150.36	c  145s |      10 |    23848 |    11761 |   278426      0 |      719 |     1863
153.17/153.29	c  148s |      10 |    24187 |    11961 |   278426      0 |      719 |     1863
155.67/155.74	c  150s |      10 |    24454 |    12161 |   278426      0 |      719 |     1863
157.97/158.04	c  153s |      10 |    24801 |    12361 |   278426      0 |      719 |     1863
160.57/160.63	c  155s |      10 |    25195 |    12561 |   278426      0 |      719 |     1863
162.57/162.66	c  157s |      10 |    25495 |    12761 |   278426      0 |      719 |     1863
165.47/165.57	c  160s |      10 |    25939 |    13061 |   278426      0 |      719 |     1863
168.46/168.50	c  163s |      10 |    26371 |    13261 |   278426      0 |      719 |     1863
171.16/171.27	c  166s |      10 |    26767 |    13461 |   278426      0 |      719 |     1863
173.96/174.02	c  168s |      10 |    27132 |    13661 |   278426      0 |      719 |     1863
177.17/177.21	c  172s |      10 |    27380 |    13861 |   278426      0 |      719 |     1863
179.96/180.04	c  175s |      10 |    27914 |    14061 |   278426      0 |      719 |     1863
182.67/182.77	c  177s |      10 |    28393 |    14261 |   278426      0 |      719 |     1863
184.87/184.95	c  179s |      10 |    28791 |    14461 |   278426      0 |      719 |     1863
187.46/187.53	c  182s |      10 |    29107 |    14661 |   278426      0 |      719 |     1863
189.76/189.87	c  184s |      10 |    29420 |    14861 |   278426      0 |      719 |     1863
192.66/192.70	c  187s |      10 |    29725 |    15061 |   278426      0 |      719 |     1863
196.16/196.22	c  191s |      10 |    30137 |    15261 |   278426      0 |      719 |     1863
199.45/199.58	c  194s |      10 |    30698 |    15461 |   278426      0 |      719 |     1863
202.46/202.59	c  197s |      10 |    31143 |    15661 |   278426      0 |      719 |     1863
206.15/206.22	c  201s |      10 |    31430 |    15861 |   278426      0 |      719 |     1863
209.25/209.36	c  204s |      10 |    31761 |    16061 |   278426      0 |      719 |     1863
212.15/212.22	c  207s |      10 |    32013 |    16261 |   278426      0 |      719 |     1863
214.35/214.44	c  209s |      10 |    32327 |    16461 |   278426      0 |      719 |     1863
217.45/217.56	c  212s |      10 |    32686 |    16661 |   278426      0 |      719 |     1863
221.15/221.24	c  216s |      10 |    32968 |    16861 |   278426      0 |      719 |     1863
224.64/224.70	c  219s |      10 |    33225 |    17061 |   306269      0 |      719 |     1863
225.84/225.99	c  220s |      11 |    33330 |    17144 |   306269      0 |      719 |     1863
228.75/228.90	c  223s |      11 |    33747 |    17344 |   306269      0 |      719 |     1863
231.44/231.51	c  226s |      11 |    34264 |    17544 |   306269      0 |      719 |     1863
233.44/233.51	c  228s |      11 |    34665 |    17744 |   306269      0 |      719 |     1863
235.94/236.01	c  230s |      11 |    35065 |    17944 |   306269      0 |      719 |     1863
239.24/239.31	c  234s |      11 |    35417 |    18144 |   306269      0 |      719 |     1863
243.05/243.14	c  238s |      11 |    35878 |    18344 |   306269      0 |      719 |     1863
245.94/246.08	c  241s |      11 |    36271 |    18544 |   306269      0 |      719 |     1863
249.14/249.24	c  244s |      11 |    36617 |    18744 |   306269      0 |      719 |     1863
252.14/252.24	c  247s |      11 |    36852 |    18944 |   306269      0 |      719 |     1863
255.64/255.71	c  250s |      11 |    37196 |    19144 |   306269      0 |      719 |     1863
258.03/258.18	c  253s |      11 |    37529 |    19344 |   306269      0 |      719 |     1863
260.93/261.03	c  255s |      11 |    37838 |    19544 |   306269      0 |      719 |     1863
263.33/263.45	c  258s |      11 |    38344 |    19844 |   306269      0 |      719 |     1863
266.03/266.13	c  261s |      11 |    38716 |    20044 |   306269      0 |      719 |     1863
268.03/268.16	c  263s |      11 |    38844 |    20144 |   306269      0 |      719 |     1863
271.13/271.24	c  266s |      11 |    39123 |    20344 |   306269      0 |      719 |     1863
275.04/275.15	c  270s |      11 |    39389 |    20544 |   306269      0 |      719 |     1863
278.53/278.62	c  273s |      11 |    39650 |    20744 |   306269      0 |      719 |     1863
281.63/281.77	c  276s |      11 |    40067 |    20944 |   306269      0 |      719 |     1863
284.63/284.79	c  279s |      11 |    40428 |    21144 |   306269      0 |      719 |     1863
288.02/288.16	c  283s |      11 |    40796 |    21344 |   306269      0 |      719 |     1863
291.43/291.57	c  286s |      11 |    41156 |    21544 |   306269      0 |      719 |     1863
294.52/294.62	c  289s |      11 |    41636 |    21744 |   306269      0 |      719 |     1863
298.12/298.29	c  293s |      11 |    41914 |    21944 |   306269      0 |      719 |     1863
301.51/301.67	c  296s |      11 |    42464 |    22144 |   306269      0 |      719 |     1863
303.71/303.88	c  298s |      11 |    42573 |    22244 |   306269      0 |      719 |     1863
307.21/307.31	c  302s |      11 |    43097 |    22444 |   306269      0 |      719 |     1863
310.71/310.85	c  305s |      11 |    43399 |    22644 |   306269      0 |      719 |     1863
313.71/313.88	c  308s |      11 |    43779 |    22844 |   306269      0 |      719 |     1863
316.31/316.42	c  311s |      11 |    44308 |    23044 |   306269      0 |      719 |     1863
318.41/318.52	c  313s |      11 |    44464 |    23144 |   306269      0 |      719 |     1863
321.71/321.86	c  316s |      11 |    44804 |    23344 |   306269      0 |      719 |     1863
325.41/325.53	c  320s |      11 |    45169 |    23544 |   306269      0 |      719 |     1863
328.81/328.96	c  323s |      11 |    45732 |    23744 |   306269      0 |      719 |     1863
332.01/332.19	c  327s |      11 |    46073 |    23944 |   306269      0 |      719 |     1863
334.21/334.37	c  329s |      11 |    46555 |    24144 |   306269      0 |      719 |     1863
337.10/337.28	c  332s |      11 |    47024 |    24344 |   306269      0 |      719 |     1863
340.50/340.63	c  335s |      11 |    47357 |    24544 |   306269      0 |      719 |     1863
343.00/343.11	c  338s |      11 |    47792 |    24744 |   306269      0 |      719 |     1863
345.70/345.82	c  340s |      11 |    48067 |    24944 |   306269      0 |      719 |     1863
348.50/348.62	c  343s |      11 |    48366 |    25144 |   306269      0 |      719 |     1863
351.10/351.27	c  346s |      11 |    48737 |    25344 |   306269      0 |      719 |     1863
353.60/353.79	c  348s |      11 |    49055 |    25544 |   306269      0 |      719 |     1863
356.50/356.67	c  351s |      11 |    49400 |    25744 |   336896      0 |      719 |     1863
357.70/357.80	c  352s |      12 |    49502 |    25819 |   336896      0 |      719 |     1863
360.50/360.61	c  355s |      12 |    49887 |    26019 |   336896      0 |      719 |     1863
362.90/363.03	c  358s |      12 |    50268 |    26219 |   336896      0 |      719 |     1863
365.90/366.01	c  360s |      12 |    50603 |    26419 |   336896      0 |      719 |     1863
368.99/369.11	c  364s |      12 |    51029 |    26619 |   336896      0 |      719 |     1863
371.19/371.38	c  366s |      12 |    51370 |    26819 |   336896      0 |      719 |     1863
373.59/373.75	c  368s |      12 |    51763 |    27019 |   336896      0 |      719 |     1863
375.99/376.17	c  371s |      12 |    52196 |    27219 |   336896      0 |      719 |     1863
378.30/378.46	c  373s |      12 |    52489 |    27419 |   336896      0 |      719 |     1863
381.60/381.73	c  376s |      12 |    52794 |    27619 |   336896      0 |      719 |     1863
384.29/384.41	c  379s |      12 |    53332 |    27919 |   336896      0 |      719 |     1863
386.99/387.19	c  382s |      12 |    53719 |    28119 |   336896      0 |      719 |     1863
389.99/390.17	c  385s |      12 |    54072 |    28319 |   336896      0 |      719 |     1863
392.39/392.59	c  387s |      12 |    54409 |    28519 |   336896      0 |      719 |     1863
394.59/394.76	c  389s |      12 |    54749 |    28719 |   336896      0 |      719 |     1863
397.49/397.61	c  392s |      12 |    55203 |    29019 |   336896      0 |      719 |     1863
399.88/400.05	c  395s |      12 |    55643 |    29319 |   336896      0 |      719 |     1863
402.28/402.43	c  397s |      12 |    56134 |    29619 |   336896      0 |      719 |     1863
404.48/404.66	c  399s |      12 |    56877 |    30019 |   336896      0 |      719 |     1863
407.88/408.03	c  403s |      12 |    58054 |    30419 |   336896      0 |      719 |     1863
410.78/410.90	c  405s |      12 |    58450 |    30619 |   336896      0 |      719 |     1863
413.28/413.40	c  408s |      12 |    59617 |    31019 |   336896      0 |      719 |     1863
415.38/415.51	c  410s |      12 |    60456 |    31419 |   336896      0 |      719 |     1863
417.58/417.74	c  412s |      12 |    61349 |    31819 |   336896      0 |      719 |     1863
419.87/420.09	c  415s |      12 |    61709 |    32019 |   336896      0 |      719 |     1863
423.38/423.56	c  418s |      12 |    61980 |    32219 |   336896      0 |      719 |     1863
426.87/427.02	c  421s |      12 |    62244 |    32419 |   336896      0 |      719 |     1863
429.37/429.55	c  424s |      12 |    62538 |    32619 |   336896      0 |      719 |     1863
432.18/432.33	c  427s |      12 |    62825 |    32819 |   336896      0 |      719 |     1863
435.48/435.67	c  430s |      12 |    63137 |    33019 |   336896      0 |      719 |     1863
438.17/438.39	c  433s |      12 |    63580 |    33219 |   336896      0 |      719 |     1863
441.97/442.19	c  437s |      12 |    63938 |    33419 |   336896      0 |      719 |     1863
445.67/445.84	c  440s |      12 |    64257 |    33619 |   336896      0 |      719 |     1863
449.16/449.32	c  444s |      12 |    64673 |    33819 |   336896      0 |      719 |     1863
451.16/451.38	c  446s |      12 |    64825 |    33919 |   336896      0 |      719 |     1863
453.66/453.81	c  448s |      12 |    65024 |    34019 |   336896      0 |      719 |     1863
456.06/456.24	c  451s |      12 |    65525 |    34319 |   336896      0 |      719 |     1863
458.96/459.13	c  454s |      12 |    65945 |    34519 |   336896      0 |      719 |     1863
461.96/462.12	c  457s |      12 |    66337 |    34719 |   336896      0 |      719 |     1863
464.16/464.34	c  459s |      12 |    66715 |    34919 |   336896      0 |      719 |     1863
466.66/466.80	c  461s |      12 |    67121 |    35219 |   336896      0 |      719 |     1863
468.65/468.83	c  463s |      12 |    67389 |    35419 |   336896      0 |      719 |     1863
471.05/471.23	c  466s |      12 |    67761 |    35719 |   336896      0 |      719 |     1863
474.25/474.43	c  469s |      12 |    68112 |    35919 |   336896      0 |      719 |     1863
476.75/476.90	c  471s |      12 |    68396 |    36119 |   336896      0 |      719 |     1863
479.15/479.34	c  474s |      12 |    68668 |    36319 |   336896      0 |      719 |     1863
482.05/482.29	c  477s |      12 |    68933 |    36519 |   336896      0 |      719 |     1863
484.75/484.99	c  479s |      12 |    69300 |    36719 |   336896      0 |      719 |     1863
487.05/487.22	c  482s |      12 |    69582 |    36919 |   336896      0 |      719 |     1863
489.35/489.52	c  484s |      12 |    69877 |    37119 |   336896      0 |      719 |     1863
491.55/491.72	c  486s |      12 |    70195 |    37319 |   336896      0 |      719 |     1863
493.75/493.94	c  488s |      12 |    70530 |    37519 |   336896      0 |      719 |     1863
495.84/496.04	c  491s |      12 |    70840 |    37719 |   336896      0 |      719 |     1863
498.14/498.34	c  493s |      12 |    71094 |    37919 |   336896      0 |      719 |     1863
500.44/500.66	c  495s |      12 |    71359 |    38119 |   336896      0 |      719 |     1863
502.93/503.12	c  498s |      12 |    71692 |    38319 |   336896      0 |      719 |     1863
504.93/505.14	c  500s |      12 |    72001 |    38519 |   336896      0 |      719 |     1863
507.33/507.58	c  502s |      12 |    72389 |    38719 |   370586      0 |      719 |     1863
509.03/509.28	c  504s |      13 |    72718 |    38832 |   370586      0 |      719 |     1863
511.53/511.79	c  506s |      13 |    73081 |    39032 |   370586      0 |      719 |     1863
513.63/513.88	c  508s |      13 |    73514 |    39232 |   370586      0 |      719 |     1863
516.03/516.21	c  511s |      13 |    73879 |    39432 |   370586      0 |      719 |     1863
518.42/518.62	c  513s |      13 |    74277 |    39632 |   370586      0 |      719 |     1863
521.12/521.36	c  516s |      13 |    74705 |    39832 |   370586      0 |      719 |     1863
523.92/524.10	c  519s |      13 |    75209 |    40132 |   370586      0 |      719 |     1863
526.73/526.91	c  521s |      13 |    75747 |    40432 |   370586      0 |      719 |     1863
528.82/529.02	c  523s |      13 |    76399 |    40732 |   370586      0 |      719 |     1863
530.92/531.18	c  526s |      13 |    76875 |    40932 |   370586      0 |      719 |     1863
533.02/533.29	c  528s |      13 |    77312 |    41132 |   370586      0 |      719 |     1863
535.52/535.70	c  530s |      13 |    77705 |    41332 |   370586      0 |      719 |     1863
538.11/538.37	c  533s |      13 |    78022 |    41532 |   370586      0 |      719 |     1863
540.41/540.64	c  535s |      13 |    78450 |    41832 |   370586      0 |      719 |     1863
542.91/543.14	c  538s |      13 |    78838 |    42032 |   370586      0 |      719 |     1863
546.31/546.55	c  541s |      13 |    79214 |    42232 |   370586      0 |      719 |     1863
549.51/549.74	c  544s |      13 |    79616 |    42432 |   370586      0 |      719 |     1863
552.12/552.30	c  547s |      13 |    79982 |    42632 |   370586      0 |      719 |     1863
554.72/554.93	c  549s |      13 |    80551 |    43032 |   370586      0 |      719 |     1863
558.12/558.32	c  553s |      13 |    80959 |    43332 |   370586      0 |      719 |     1863
561.22/561.43	c  556s |      13 |    81272 |    43532 |   370586      0 |      719 |     1863
563.42/563.63	c  558s |      13 |    81617 |    43732 |   370586      0 |      719 |     1863
565.42/565.66	c  560s |      13 |    81795 |    43832 |   370586      0 |      719 |     1863
567.52/567.75	c  562s |      13 |    82134 |    44032 |   370586      0 |      719 |     1863
570.51/570.77	c  565s |      13 |    82614 |    44332 |   370586      0 |      719 |     1863
573.02/573.22	c  568s |      13 |    83160 |    44532 |   370586      0 |      719 |     1863
575.91/576.15	c  571s |      13 |    83589 |    44732 |   370586      0 |      719 |     1863
579.62/579.84	c  574s |      13 |    84011 |    44932 |   370586      0 |      719 |     1863
582.51/582.79	c  577s |      13 |    84412 |    45132 |   370586      0 |      719 |     1863
585.31/585.59	c  580s |      13 |    84891 |    45332 |   370586      0 |      719 |     1863
587.80/588.02	c  582s |      13 |    85264 |    45532 |   370586      0 |      719 |     1863
590.00/590.23	c  585s |      13 |    85613 |    45732 |   370586      0 |      719 |     1863
592.20/592.44	c  587s |      13 |    85947 |    45932 |   370586      0 |      719 |     1863
594.50/594.80	c  589s |      13 |    86618 |    46232 |   370586      0 |      719 |     1863
596.70/596.96	c  591s |      13 |    87165 |    46532 |   370586      0 |      719 |     1863
599.00/599.24	c  594s |      13 |    87674 |    46832 |   370586      0 |      719 |     1863
601.10/601.33	c  596s |      13 |    88208 |    47132 |   370586      0 |      719 |     1863
603.30/603.59	c  598s |      13 |    88730 |    47432 |   370586      0 |      719 |     1863
605.60/605.86	c  600s |      13 |    89241 |    47732 |   370586      0 |      719 |     1863
607.70/607.98	c  602s |      13 |    89759 |    48032 |   370586      0 |      719 |     1863
610.10/610.40	c  605s |      13 |    90258 |    48332 |   370586      0 |      719 |     1863
612.30/612.52	c  607s |      13 |    90537 |    48532 |   370586      0 |      719 |     1863
615.40/615.63	c  610s |      13 |    91134 |    48832 |   370586      0 |      719 |     1863
618.39/618.65	c  613s |      13 |    91580 |    49132 |   370586      0 |      719 |     1863
620.89/621.19	c  616s |      13 |    91980 |    49332 |   370586      0 |      719 |     1863
622.99/623.23	c  618s |      13 |    92410 |    49632 |   370586      0 |      719 |     1863
625.29/625.56	c  620s |      13 |    92777 |    49932 |   370586      0 |      719 |     1863
628.39/628.69	c  623s |      13 |    93268 |    50232 |   370586      0 |      719 |     1863
630.89/631.19	c  626s |      13 |    93739 |    50532 |   370586      0 |      719 |     1863
633.59/633.86	c  628s |      13 |    94436 |    50932 |   370586      0 |      719 |     1863
635.79/636.05	c  631s |      13 |    94876 |    51132 |   370586      0 |      719 |     1863
638.08/638.33	c  633s |      13 |    95194 |    51332 |   370586      0 |      719 |     1863
640.88/641.16	c  636s |      13 |    95586 |    51532 |   370586      0 |      719 |     1863
642.98/643.21	c  638s |      13 |    95910 |    51732 |   370586      0 |      719 |     1863
645.08/645.34	c  640s |      13 |    96039 |    51832 |   370586      0 |      719 |     1863
647.58/647.86	c  642s |      13 |    96366 |    52032 |   370586      0 |      719 |     1863
649.58/649.89	c  644s |      13 |    96856 |    52332 |   370586      0 |      719 |     1863
652.48/652.76	c  647s |      13 |    97212 |    52632 |   370586      0 |      719 |     1863
654.58/654.81	c  649s |      13 |    97637 |    52932 |   370586      0 |      719 |     1863
656.88/657.11	c  652s |      13 |    98116 |    53232 |   370586      0 |      719 |     1863
659.57/659.89	c  654s |      13 |    98657 |    53532 |   370586      0 |      719 |     1863
662.37/662.66	c  657s |      13 |    98984 |    53732 |   370586      0 |      719 |     1863
664.97/665.25	c  660s |      13 |    99394 |    53932 |   370586      0 |      719 |     1863
667.87/668.12	c  663s |      13 |    99806 |    54232 |   370586      0 |      719 |     1863
670.27/670.50	c  665s |      13 |   100125 |    54432 |   370586      0 |      719 |     1863
672.37/672.66	c  667s |      13 |   100453 |    54632 |   370586      0 |      719 |     1863
674.97/675.22	c  670s |      13 |   100880 |    54832 |   370586      0 |      719 |     1863
678.16/678.44	c  673s |      13 |   101477 |    55232 |   370586      0 |      719 |     1863
680.86/681.11	c  676s |      13 |   101941 |    55532 |   370586      0 |      719 |     1863
683.36/683.63	c  678s |      13 |   102568 |    55832 |   370586      0 |      719 |     1863
686.17/686.45	c  681s |      13 |   103067 |    56132 |   370586      0 |      719 |     1863
688.47/688.78	c  683s |      13 |   103347 |    56332 |   370586      0 |      719 |     1863
690.46/690.78	c  685s |      13 |   103675 |    56532 |   370586      0 |      719 |     1863
693.36/693.63	c  688s |      13 |   104205 |    56832 |   370586      0 |      719 |     1863
695.66/695.95	c  690s |      13 |   104585 |    57032 |   370586      0 |      719 |     1863
698.06/698.33	c  693s |      13 |   104862 |    57232 |   370586      0 |      719 |     1863
701.26/701.57	c  696s |      13 |   105315 |    57532 |   370586      0 |      719 |     1863
703.66/703.99	c  698s |      13 |   105758 |    57732 |   370586      0 |      719 |     1863
705.96/706.30	c  701s |      13 |   106099 |    57932 |   370586      0 |      719 |     1863
708.75/709.09	c  704s |      13 |   106364 |    58132 |   407645      0 |      719 |     1863
711.56/711.84	c  706s |      13 |   106664 |    58332 |   407645      0 |      719 |     1863
711.85/712.15	c  707s |      14 |   106683 |    58352 |   407645      0 |      719 |     1863
714.95/715.26	c  710s |      14 |   107297 |    58652 |   407645      0 |      719 |     1863
716.96/717.29	c  712s |      14 |   107638 |    58852 |   407645      0 |      719 |     1863
719.25/719.59	c  714s |      14 |   108030 |    59052 |   407645      0 |      719 |     1863
721.54/721.83	c  716s |      14 |   108377 |    59252 |   407645      0 |      719 |     1863
724.54/724.84	c  719s |      14 |   108816 |    59552 |   407645      0 |      719 |     1863
727.14/727.44	c  722s |      14 |   109229 |    59752 |   407645      0 |      719 |     1863
729.94/730.29	c  725s |      14 |   109734 |    60052 |   407645      0 |      719 |     1863
732.14/732.49	c  727s |      14 |   110059 |    60252 |   407645      0 |      719 |     1863
735.04/735.30	c  730s |      14 |   110767 |    60552 |   407645      0 |      719 |     1863
737.64/737.92	c  732s |      14 |   111093 |    60752 |   407645      0 |      719 |     1863
740.05/740.36	c  735s |      14 |   111498 |    60952 |   407645      0 |      719 |     1863
742.84/743.12	c  738s |      14 |   112085 |    61252 |   407645      0 |      719 |     1863
745.34/745.63	c  740s |      14 |   112354 |    61452 |   407645      0 |      719 |     1863
748.24/748.54	c  743s |      14 |   112734 |    61652 |   407645      0 |      719 |     1863
750.24/750.56	c  745s |      14 |   113224 |    61952 |   407645      0 |      719 |     1863
753.64/753.99	c  748s |      14 |   113821 |    62252 |   407645      0 |      719 |     1863
756.44/756.76	c  751s |      14 |   114354 |    62452 |   407645      0 |      719 |     1863
759.03/759.39	c  754s |      14 |   114720 |    62652 |   407645      0 |      719 |     1863
761.43/761.70	c  756s |      14 |   115133 |    62852 |   407645      0 |      719 |     1863
763.73/764.02	c  758s |      14 |   115506 |    63052 |   407645      0 |      719 |     1863
766.63/766.90	c  761s |      14 |   115987 |    63252 |   407645      0 |      719 |     1863
769.33/769.66	c  764s |      14 |   116332 |    63452 |   407645      0 |      719 |     1863
772.42/772.71	c  767s |      14 |   116753 |    63752 |   407645      0 |      719 |     1863
774.62/774.99	c  769s |      14 |   117106 |    63952 |   407645      0 |      719 |     1863
777.12/777.46	c  772s |      14 |   117453 |    64152 |   407645      0 |      719 |     1863
779.63/779.93	c  774s |      14 |   117790 |    64352 |   407645      0 |      719 |     1863
782.02/782.39	c  777s |      14 |   118355 |    64752 |   407645      0 |      719 |     1863
784.92/785.22	c  780s |      14 |   118858 |    65052 |   407645      0 |      719 |     1863
787.33/787.61	c  782s |      14 |   119128 |    65252 |   407645      0 |      719 |     1863
789.52/789.84	c  784s |      14 |   119414 |    65452 |   407645      0 |      719 |     1863
792.11/792.47	c  787s |      14 |   119819 |    65752 |   407645      0 |      719 |     1863
794.41/794.78	c  789s |      14 |   120356 |    66052 |   407645      0 |      719 |     1863
797.01/797.37	c  792s |      14 |   120766 |    66352 |   407645      0 |      719 |     1863
799.52/799.81	c  794s |      14 |   121238 |    66652 |   407645      0 |      719 |     1863
802.41/802.78	c  797s |      14 |   121627 |    66952 |   407645      0 |      719 |     1863
805.21/805.54	c  800s |      14 |   122074 |    67252 |   407645      0 |      719 |     1863
807.71/808.01	c  802s |      14 |   122439 |    67452 |   407645      0 |      719 |     1863
810.61/810.96	c  805s |      14 |   122901 |    67752 |   407645      0 |      719 |     1863
813.51/813.83	c  808s |      14 |   123300 |    68052 |   407645      0 |      719 |     1863
816.11/816.50	c  811s |      14 |   123741 |    68352 |   407645      0 |      719 |     1863
818.21/818.50	c  813s |      14 |   124121 |    68552 |   407645      0 |      719 |     1863
821.20/821.55	c  816s |      14 |   124622 |    68852 |   407645      0 |      719 |     1863
823.50/823.86	c  818s |      14 |   125000 |    69052 |   407645      0 |      719 |     1863
826.30/826.63	c  821s |      14 |   125445 |    69352 |   407645      0 |      719 |     1863
828.30/828.65	c  823s |      14 |   125764 |    69552 |   407645      0 |      719 |     1863
830.50/830.83	c  825s |      14 |   126037 |    69752 |   407645      0 |      719 |     1863
832.51/832.86	c  827s |      14 |   126304 |    69952 |   407645      0 |      719 |     1863
835.50/835.87	c  830s |      14 |   126647 |    70152 |   407645      0 |      719 |     1863
838.90/839.27	c  834s |      14 |   126919 |    70352 |   407645      0 |      719 |     1863
842.41/842.73	c  837s |      14 |   127281 |    70552 |   407645      0 |      719 |     1863
845.30/845.62	c  840s |      14 |   127611 |    70752 |   407645      0 |      719 |     1863
847.70/848.03	c  842s |      14 |   127926 |    70952 |   407645      0 |      719 |     1863
850.30/850.69	c  845s |      14 |   128326 |    71152 |   407645      0 |      719 |     1863
853.00/853.32	c  848s |      14 |   128737 |    71352 |   407645      0 |      719 |     1863
855.51/855.88	c  850s |      14 |   129154 |    71552 |   407645      0 |      719 |     1863
858.30/858.69	c  853s |      14 |   129594 |    71752 |   407645      0 |      719 |     1863
860.70/861.00	c  855s |      14 |   130052 |    71952 |   407645      0 |      719 |     1863
862.70/863.01	c  857s |      14 |   130440 |    72152 |   407645      0 |      719 |     1863
864.70/865.07	c  860s |      14 |   130736 |    72352 |   407645      0 |      719 |     1863
867.00/867.34	c  862s |      14 |   131153 |    72552 |   407645      0 |      719 |     1863
869.80/870.16	c  865s |      14 |   131574 |    72852 |   407645      0 |      719 |     1863
872.50/872.81	c  867s |      14 |   132175 |    73152 |   407645      0 |      719 |     1863
875.20/875.51	c  870s |      14 |   132638 |    73352 |   407645      0 |      719 |     1863
877.29/877.62	c  872s |      14 |   132939 |    73552 |   407645      0 |      719 |     1863
879.29/879.63	c  874s |      14 |   133388 |    73752 |   407645      0 |      719 |     1863
881.59/881.98	c  876s |      14 |   133696 |    73952 |   407645      0 |      719 |     1863
884.20/884.53	c  879s |      14 |   134031 |    74152 |   407645      0 |      719 |     1863
887.40/887.75	c  882s |      14 |   134318 |    74352 |   407645      0 |      719 |     1863
889.39/889.78	c  884s |      14 |   134450 |    74452 |   407645      0 |      719 |     1863
892.39/892.75	c  887s |      14 |   134730 |    74652 |   407645      0 |      719 |     1863
895.20/895.57	c  890s |      14 |   135068 |    74852 |   407645      0 |      719 |     1863
898.59/898.98	c  893s |      14 |   135320 |    75052 |   407645      0 |      719 |     1863
901.59/901.97	c  896s |      14 |   135670 |    75252 |   407645      0 |      719 |     1863
904.39/904.74	c  899s |      14 |   135992 |    75452 |   407645      0 |      719 |     1863
906.69/907.03	c  902s |      14 |   136238 |    75652 |   407645      0 |      719 |     1863
909.59/909.98	c  904s |      14 |   136477 |    75852 |   407645      0 |      719 |     1863
912.09/912.49	c  907s |      14 |   136765 |    76052 |   407645      0 |      719 |     1863
914.19/914.55	c  909s |      14 |   137187 |    76252 |   407645      0 |      719 |     1863
916.39/916.73	c  911s |      14 |   137477 |    76452 |   407645      0 |      719 |     1863
918.89/919.20	c  914s |      14 |   137809 |    76652 |   407645      0 |      719 |     1863
921.99/922.31	c  917s |      14 |   138174 |    76952 |   407645      0 |      719 |     1863
924.49/924.88	c  919s |      14 |   138458 |    77152 |   407645      0 |      719 |     1863
926.79/927.13	c  922s |      14 |   138771 |    77352 |   407645      0 |      719 |     1863
928.79/929.17	c  924s |      14 |   139127 |    77552 |   407645      0 |      719 |     1863
931.39/931.75	c  926s |      14 |   139565 |    77752 |   407645      0 |      719 |     1863
934.58/934.98	c  929s |      14 |   139844 |    77952 |   407645      0 |      719 |     1863
936.89/937.26	c  932s |      14 |   140150 |    78152 |   407645      0 |      719 |     1863
939.58/939.90	c  934s |      14 |   140526 |    78352 |   407645      0 |      719 |     1863
941.98/942.31	c  937s |      14 |   140799 |    78552 |   407645      0 |      719 |     1863
944.78/945.11	c  940s |      14 |   141147 |    78752 |   407645      0 |      719 |     1863
947.08/947.41	c  942s |      14 |   141425 |    78952 |   407645      0 |      719 |     1863
949.68/950.07	c  945s |      14 |   141704 |    79152 |   407645      0 |      719 |     1863
952.78/953.15	c  948s |      14 |   142016 |    79352 |   407645      0 |      719 |     1863
955.98/956.38	c  951s |      14 |   142367 |    79552 |   407645      0 |      719 |     1863
959.68/960.06	c  955s |      14 |   142650 |    79752 |   407645      0 |      719 |     1863
963.08/963.47	c  958s |      14 |   142951 |    79952 |   407645      0 |      719 |     1863
966.48/966.84	c  961s |      14 |   143207 |    80152 |   407645      0 |      719 |     1863
969.68/970.09	c  965s |      14 |   143493 |    80352 |   407645      0 |      719 |     1863
973.19/973.51	c  968s |      14 |   143845 |    80552 |   407645      0 |      719 |     1863
975.68/976.02	c  970s |      14 |   144093 |    80752 |   407645      0 |      719 |     1863
977.68/978.03	c  972s |      14 |   144238 |    80852 |   407645      0 |      719 |     1863
980.98/981.39	c  976s |      14 |   144578 |    81052 |   407645      0 |      719 |     1863
983.08/983.44	c  978s |      14 |   144730 |    81152 |   407645      0 |      719 |     1863
985.78/986.13	c  981s |      14 |   145094 |    81352 |   407645      0 |      719 |     1863
988.38/988.76	c  983s |      14 |   145338 |    81552 |   407645      0 |      719 |     1863
991.58/991.97	c  986s |      14 |   145564 |    81752 |   407645      0 |      719 |     1863
994.47/994.89	c  989s |      14 |   145841 |    81952 |   407645      0 |      719 |     1863
997.07/997.41	c  992s |      14 |   146099 |    82152 |   407645      0 |      719 |     1863
999.58/999.96	c  994s |      14 |   146364 |    82352 |   407645      0 |      719 |     1863
1002.77/1003.18	c  998s |      14 |   146633 |    82552 |   407645      0 |      719 |     1863
1005.08/1005.44	c 1000s |      14 |   146797 |    82652 |   407645      0 |      719 |     1863
1007.38/1007.75	c 1002s |      14 |   146926 |    82752 |   407645      0 |      719 |     1863
1009.97/1010.35	c 1005s |      14 |   147269 |    82952 |   407645      0 |      719 |     1863
1012.88/1013.21	c 1008s |      14 |   147558 |    83152 |   407645      0 |      719 |     1863
1015.77/1016.14	c 1011s |      14 |   147894 |    83352 |   407645      0 |      719 |     1863
1018.57/1018.94	c 1013s |      14 |   148168 |    83552 |   407645      0 |      719 |     1863
1020.67/1021.01	c 1015s |      14 |   148319 |    83652 |   407645      0 |      719 |     1863
1023.47/1023.87	c 1018s |      14 |   148601 |    83852 |   407645      0 |      719 |     1863
1025.98/1026.33	c 1021s |      14 |   148874 |    84052 |   407645      0 |      719 |     1863
1028.18/1028.50	c 1023s |      14 |   149101 |    84252 |   407645      0 |      719 |     1863
1030.17/1030.52	c 1025s |      14 |   149384 |    84452 |   407645      0 |      719 |     1863
1032.37/1032.70	c 1027s |      14 |   149612 |    84652 |   407645      0 |      719 |     1863
1034.67/1035.08	c 1030s |      14 |   149942 |    84852 |   407645      0 |      719 |     1863
1037.47/1037.87	c 1032s |      14 |   150278 |    85052 |   407645      0 |      719 |     1863
1040.17/1040.51	c 1035s |      14 |   150573 |    85252 |   407645      0 |      719 |     1863
1042.67/1043.02	c 1037s |      14 |   150850 |    85452 |   407645      0 |      719 |     1863
1044.67/1045.02	c 1039s |      14 |   151107 |    85652 |   407645      0 |      719 |     1863
1047.87/1048.29	c 1043s |      14 |   151439 |    85852 |   407645      0 |      719 |     1863
1050.57/1050.90	c 1045s |      14 |   151752 |    86052 |   407645      0 |      719 |     1863
1052.77/1053.11	c 1048s |      14 |   151919 |    86152 |   407645      0 |      719 |     1863
1055.46/1055.81	c 1050s |      14 |   152365 |    86352 |   407645      0 |      719 |     1863
1057.87/1058.29	c 1053s |      14 |   152742 |    86552 |   407645      0 |      719 |     1863
1059.96/1060.34	c 1055s |      14 |   153014 |    86752 |   407645      0 |      719 |     1863
1063.06/1063.47	c 1058s |      14 |   153360 |    86952 |   407645      0 |      719 |     1863
1066.36/1066.74	c 1061s |      14 |   153701 |    87152 |   448410      0 |      719 |     1863
1070.26/1070.65	c 1065s |      14 |   153958 |    87352 |   448410      0 |      719 |     1863
1073.56/1073.91	c 1068s |      14 |   154275 |    87552 |   448410      0 |      719 |     1863
1074.96/1075.31	c 1070s |      15 |   154379 |    87632 |   448410      0 |      719 |     1863
1078.06/1078.42	c 1073s |      15 |   154728 |    87832 |   448410      0 |      719 |     1863
1080.56/1080.91	c 1075s |      15 |   155094 |    88032 |   448410      0 |      719 |     1863
1083.46/1083.85	c 1078s |      15 |   155610 |    88332 |   448410      0 |      719 |     1863
1086.16/1086.56	c 1081s |      15 |   156195 |    88632 |   448410      0 |      719 |     1863
1088.56/1088.98	c 1083s |      15 |   156654 |    88932 |   448410      0 |      719 |     1863
1091.66/1092.07	c 1087s |      15 |   156960 |    89132 |   448410      0 |      719 |     1863
1094.66/1095.05	c 1090s |      15 |   157234 |    89332 |   448410      0 |      719 |     1863
1098.16/1098.59	c 1093s |      15 |   157494 |    89532 |   448410      0 |      719 |     1863
1101.86/1102.28	c 1097s |      15 |   157810 |    89732 |   448410      0 |      719 |     1863
1104.36/1104.71	c 1099s |      15 |   158118 |    89932 |   448410      0 |      719 |     1863
1107.06/1107.48	c 1102s |      15 |   158363 |    90132 |   448410      0 |      719 |     1863
1109.16/1109.59	c 1104s |      15 |   158726 |    90332 |   448410      0 |      719 |     1863
1112.06/1112.46	c 1107s |      15 |   159094 |    90532 |   448410      0 |      719 |     1863
1115.06/1115.50	c 1110s |      15 |   159373 |    90732 |   448410      0 |      719 |     1863
1118.46/1118.85	c 1113s |      15 |   159643 |    90932 |   448410      0 |      719 |     1863
1121.55/1121.95	c 1116s |      15 |   159976 |    91132 |   448410      0 |      719 |     1863
1124.85/1125.28	c 1120s |      15 |   160230 |    91332 |   448410      0 |      719 |     1863
1126.95/1127.33	c 1122s |      15 |   160534 |    91532 |   448410      0 |      719 |     1863
1129.95/1130.32	c 1125s |      15 |   160873 |    91732 |   448410      0 |      719 |     1863
1132.55/1132.98	c 1127s |      15 |   161153 |    91932 |   448410      0 |      719 |     1863
1134.96/1135.38	c 1130s |      15 |   161424 |    92132 |   448410      0 |      719 |     1863
1137.85/1138.24	c 1133s |      15 |   161746 |    92332 |   448410      0 |      719 |     1863
1140.65/1141.06	c 1136s |      15 |   162009 |    92532 |   448410      0 |      719 |     1863
1143.55/1143.98	c 1138s |      15 |   162450 |    92832 |   448410      0 |      719 |     1863
1145.75/1146.14	c 1141s |      15 |   162703 |    93032 |   448410      0 |      719 |     1863
1149.26/1149.65	c 1144s |      15 |   163160 |    93332 |   448410      0 |      719 |     1863
1152.05/1152.49	c 1147s |      15 |   163424 |    93532 |   448410      0 |      719 |     1863
1155.05/1155.46	c 1150s |      15 |   163716 |    93732 |   448410      0 |      719 |     1863
1158.06/1158.41	c 1153s |      15 |   164022 |    93932 |   448410      0 |      719 |     1863
1161.05/1161.47	c 1156s |      15 |   164398 |    94132 |   448410      0 |      719 |     1863
1163.85/1164.27	c 1159s |      15 |   164672 |    94332 |   448410      0 |      719 |     1863
1166.45/1166.89	c 1161s |      15 |   165041 |    94532 |   448410      0 |      719 |     1863
1168.55/1168.99	c 1163s |      15 |   165448 |    94732 |   448410      0 |      719 |     1863
1171.45/1171.88	c 1166s |      15 |   165943 |    95032 |   448410      0 |      719 |     1863
1173.75/1174.19	c 1169s |      15 |   166290 |    95232 |   448410      0 |      719 |     1863
1176.55/1176.96	c 1171s |      15 |   166584 |    95432 |   448410      0 |      719 |     1863
1178.74/1179.12	c 1174s |      15 |   166875 |    95632 |   448410      0 |      719 |     1863
1182.54/1182.96	c 1177s |      15 |   167235 |    95832 |   448410      0 |      719 |     1863
1185.04/1185.47	c 1180s |      15 |   167546 |    96032 |   448410      0 |      719 |     1863
1187.54/1187.97	c 1182s |      15 |   167952 |    96232 |   448410      0 |      719 |     1863
1189.95/1190.33	c 1185s |      15 |   168314 |    96432 |   448410      0 |      719 |     1863
1192.24/1192.67	c 1187s |      15 |   168731 |    96632 |   448410      0 |      719 |     1863
1195.04/1195.48	c 1190s |      15 |   169063 |    96832 |   448410      0 |      719 |     1863
1197.74/1198.16	c 1193s |      15 |   169283 |    97032 |   448410      0 |      719 |     1863
1200.04/1200.45	c 1195s |      15 |   169718 |    97232 |   448410      0 |      719 |     1863
1202.34/1202.79	c 1197s |      15 |   170127 |    97432 |   448410      0 |      719 |     1863
1204.44/1204.81	c 1199s |      15 |   170612 |    97632 |   448410      0 |      719 |     1863
1206.64/1207.00	c 1201s |      15 |   171045 |    97832 |   448410      0 |      719 |     1863
1208.74/1209.12	c 1204s |      15 |   171502 |    98032 |   448410      0 |      719 |     1863
1210.94/1211.32	c 1206s |      15 |   171849 |    98232 |   448410      0 |      719 |     1863
1213.14/1213.56	c 1208s |      15 |   172113 |    98432 |   448410      0 |      719 |     1863
1215.84/1216.25	c 1211s |      15 |   172404 |    98632 |   448410      0 |      719 |     1863
1218.94/1219.36	c 1214s |      15 |   172691 |    98832 |   448410      0 |      719 |     1863
1221.14/1221.51	c 1216s |      15 |   173082 |    99032 |   448410      0 |      719 |     1863
1223.24/1223.69	c 1218s |      15 |   173542 |    99232 |   448410      0 |      719 |     1863
1225.44/1225.81	c 1220s |      15 |   173820 |    99432 |   448410      0 |      719 |     1863
1228.54/1228.96	c 1223s |      15 |   174332 |    99732 |   448410      0 |      719 |     1863
1230.74/1231.18	c 1226s |      15 |   174691 |    99932 |   448410      0 |      719 |     1863
1232.84/1233.27	c 1228s |      15 |   175012 |   100132 |   448410      0 |      719 |     1863
1235.64/1236.05	c 1231s |      15 |   175317 |   100332 |   448410      0 |      719 |     1863
1238.34/1238.74	c 1233s |      15 |   175547 |   100532 |   448410      0 |      719 |     1863
1240.63/1241.06	c 1236s |      15 |   175907 |   100732 |   448410      0 |      719 |     1863
1243.03/1243.46	c 1238s |      15 |   176172 |   100932 |   448410      0 |      719 |     1863
1245.83/1246.24	c 1241s |      15 |   176448 |   101132 |   448410      0 |      719 |     1863
1247.93/1248.38	c 1243s |      15 |   176644 |   101232 |   448410      0 |      719 |     1863
1251.23/1251.64	c 1246s |      15 |   176989 |   101432 |   448410      0 |      719 |     1863
1255.13/1255.54	c 1250s |      15 |   177430 |   101632 |   448410      0 |      719 |     1863
1257.23/1257.68	c 1252s |      15 |   177602 |   101732 |   448410      0 |      719 |     1863
1260.93/1261.33	c 1256s |      15 |   177895 |   101932 |   448410      0 |      719 |     1863
1263.64/1264.01	c 1258s |      15 |   178410 |   102232 |   448410      0 |      719 |     1863
1267.53/1267.94	c 1262s |      15 |   178754 |   102432 |   448410      0 |      719 |     1863
1270.53/1270.94	c 1265s |      15 |   179269 |   102732 |   448410      0 |      719 |     1863
1273.83/1274.21	c 1269s |      15 |   179769 |   103032 |   448410      0 |      719 |     1863
1276.63/1277.09	c 1272s |      15 |   180235 |   103332 |   448410      0 |      719 |     1863
1279.83/1280.21	c 1275s |      15 |   180660 |   103632 |   448410      0 |      719 |     1863
1283.93/1284.30	c 1279s |      15 |   181054 |   103932 |   448410      0 |      719 |     1863
1287.03/1287.42	c 1282s |      15 |   181508 |   104132 |   448410      0 |      719 |     1863
1290.03/1290.44	c 1285s |      15 |   181863 |   104332 |   448410      0 |      719 |     1863
1292.83/1293.23	c 1288s |      15 |   182211 |   104532 |   448410      0 |      719 |     1863
1295.13/1295.52	c 1290s |      15 |   182557 |   104732 |   448410      0 |      719 |     1863
1297.33/1297.75	c 1292s |      15 |   182885 |   104932 |   448410      0 |      719 |     1863
1299.53/1299.99	c 1294s |      15 |   183262 |   105132 |   448410      0 |      719 |     1863
1301.83/1302.27	c 1297s |      15 |   183641 |   105332 |   448410      0 |      719 |     1863
1305.02/1305.44	c 1300s |      15 |   184141 |   105532 |   448410      0 |      719 |     1863
1308.12/1308.50	c 1303s |      15 |   184543 |   105732 |   448410      0 |      719 |     1863
1310.62/1311.09	c 1306s |      15 |   184839 |   105932 |   448410      0 |      719 |     1863
1313.62/1314.03	c 1309s |      15 |   185235 |   106132 |   448410      0 |      719 |     1863
1317.22/1317.65	c 1312s |      15 |   185589 |   106332 |   448410      0 |      719 |     1863
1320.62/1321.06	c 1316s |      15 |   185934 |   106532 |   448410      0 |      719 |     1863
1323.22/1323.61	c 1318s |      15 |   186303 |   106732 |   448410      0 |      719 |     1863
1326.82/1327.29	c 1322s |      15 |   186634 |   106932 |   448410      0 |      719 |     1863
1330.42/1330.84	c 1325s |      15 |   186958 |   107132 |   448410      0 |      719 |     1863
1332.42/1332.88	c 1327s |      15 |   187349 |   107432 |   448410      0 |      719 |     1863
1335.13/1335.57	c 1330s |      15 |   187594 |   107632 |   448410      0 |      719 |     1863
1338.33/1338.70	c 1333s |      15 |   187808 |   107832 |   448410      0 |      719 |     1863
1341.73/1342.14	c 1337s |      15 |   188105 |   108032 |   448410      0 |      719 |     1863
1344.82/1345.25	c 1340s |      15 |   188421 |   108232 |   448410      0 |      719 |     1863
1348.23/1348.67	c 1343s |      15 |   188742 |   108432 |   448410      0 |      719 |     1863
1351.92/1352.33	c 1347s |      15 |   189107 |   108632 |   448410      0 |      719 |     1863
1354.72/1355.15	c 1350s |      15 |   189406 |   108832 |   448410      0 |      719 |     1863
1357.52/1357.96	c 1352s |      15 |   189804 |   109132 |   448410      0 |      719 |     1863
1360.42/1360.89	c 1355s |      15 |   190208 |   109332 |   448410      0 |      719 |     1863
1363.82/1364.20	c 1359s |      15 |   190483 |   109532 |   448410      0 |      719 |     1863
1367.22/1367.65	c 1362s |      15 |   190803 |   109732 |   448410      0 |      719 |     1863
1370.11/1370.58	c 1365s |      15 |   191054 |   109932 |   448410      0 |      719 |     1863
1373.41/1373.82	c 1368s |      15 |   191370 |   110132 |   448410      0 |      719 |     1863
1375.82/1376.25	c 1371s |      15 |   191649 |   110332 |   448410      0 |      719 |     1863
1378.41/1378.89	c 1373s |      15 |   191904 |   110532 |   448410      0 |      719 |     1863
1380.91/1381.35	c 1376s |      15 |   192174 |   110732 |   448410      0 |      719 |     1863
1383.01/1383.45	c 1378s |      15 |   192413 |   110932 |   448410      0 |      719 |     1863
1385.11/1385.57	c 1380s |      15 |   192687 |   111132 |   448410      0 |      719 |     1863
1387.31/1387.73	c 1382s |      15 |   192959 |   111332 |   448410      0 |      719 |     1863
1389.41/1389.88	c 1384s |      15 |   193282 |   111532 |   448410      0 |      719 |     1863
1391.61/1392.05	c 1387s |      15 |   193557 |   111732 |   448410      0 |      719 |     1863
1393.81/1394.26	c 1389s |      15 |   193815 |   111932 |   448410      0 |      719 |     1863
1395.91/1396.34	c 1391s |      15 |   194100 |   112132 |   448410      0 |      719 |     1863
1398.41/1398.88	c 1393s |      15 |   194348 |   112332 |   448410      0 |      719 |     1863
1401.02/1401.46	c 1396s |      15 |   194836 |   112632 |   448410      0 |      719 |     1863
1403.71/1404.19	c 1399s |      15 |   195218 |   112932 |   448410      0 |      719 |     1863
1405.91/1406.33	c 1401s |      15 |   195493 |   113132 |   448410      0 |      719 |     1863
1408.21/1408.68	c 1403s |      15 |   195746 |   113332 |   448410      0 |      719 |     1863
1410.92/1411.32	c 1406s |      15 |   195971 |   113532 |   448410      0 |      719 |     1863
1413.31/1413.72	c 1408s |      15 |   196311 |   113732 |   448410      0 |      719 |     1863
1416.01/1416.40	c 1411s |      15 |   196687 |   113932 |   448410      0 |      719 |     1863
1418.01/1418.41	c 1413s |      15 |   196980 |   114132 |   448410      0 |      719 |     1863
1420.32/1420.76	c 1415s |      15 |   197299 |   114332 |   448410      0 |      719 |     1863
1422.62/1423.00	c 1417s |      15 |   197570 |   114532 |   448410      0 |      719 |     1863
1424.61/1425.08	c 1420s |      15 |   197805 |   114732 |   448410      0 |      719 |     1863
1427.42/1427.89	c 1422s |      15 |   198110 |   114932 |   448410      0 |      719 |     1863
1430.72/1431.18	c 1426s |      15 |   198540 |   115232 |   448410      0 |      719 |     1863
1433.31/1433.71	c 1428s |      15 |   198907 |   115532 |   448410      0 |      719 |     1863
1435.51/1435.94	c 1430s |      15 |   199256 |   115732 |   448410      0 |      719 |     1863
1437.51/1437.99	c 1432s |      15 |   199559 |   115932 |   448410      0 |      719 |     1863
1440.51/1440.97	c 1435s |      15 |   199950 |   116232 |   448410      0 |      719 |     1863
1443.21/1443.61	c 1438s |      15 |   200253 |   116432 |   448410      0 |      719 |     1863
1445.31/1445.76	c 1440s |      15 |   200484 |   116632 |   448410      0 |      719 |     1863
1448.61/1449.09	c 1444s |      15 |   200885 |   116932 |   448410      0 |      719 |     1863
1450.71/1451.19	c 1446s |      15 |   201161 |   117132 |   448410      0 |      719 |     1863
1453.11/1453.55	c 1448s |      15 |   201389 |   117332 |   448410      0 |      719 |     1863
1455.71/1456.11	c 1451s |      15 |   201639 |   117532 |   448410      0 |      719 |     1863
1458.01/1458.43	c 1453s |      15 |   201910 |   117732 |   448410      0 |      719 |     1863
1460.31/1460.79	c 1455s |      15 |   202204 |   117932 |   448410      0 |      719 |     1863
1462.61/1463.06	c 1458s |      15 |   202468 |   118132 |   448410      0 |      719 |     1863
1465.21/1465.60	c 1460s |      15 |   202748 |   118332 |   448410      0 |      719 |     1863
1467.91/1468.37	c 1463s |      15 |   203073 |   118532 |   448410      0 |      719 |     1863
1470.51/1470.90	c 1465s |      15 |   203324 |   118732 |   448410      0 |      719 |     1863
1473.21/1473.63	c 1468s |      15 |   203635 |   118932 |   448410      0 |      719 |     1863
1475.81/1476.30	c 1471s |      15 |   203895 |   119132 |   448410      0 |      719 |     1863
1478.51/1478.96	c 1473s |      15 |   204225 |   119332 |   448410      0 |      719 |     1863
1481.10/1481.57	c 1476s |      15 |   204660 |   119532 |   448410      0 |      719 |     1863
1483.70/1484.16	c 1479s |      15 |   205005 |   119732 |   448410      0 |      719 |     1863
1486.20/1486.66	c 1481s |      15 |   205397 |   119932 |   448410      0 |      719 |     1863
1489.80/1490.22	c 1485s |      15 |   205854 |   120232 |   448410      0 |      719 |     1863
1492.31/1492.73	c 1487s |      15 |   206086 |   120432 |   448410      0 |      719 |     1863
1495.40/1495.80	c 1490s |      15 |   206359 |   120632 |   448410      0 |      719 |     1863
1499.70/1500.19	c 1495s |      15 |   206612 |   120832 |   448410      0 |      719 |     1863
1503.10/1503.56	c 1498s |      15 |   206892 |   121032 |   448410      0 |      719 |     1863
1506.71/1507.13	c 1502s |      15 |   207166 |   121232 |   448410      0 |      719 |     1863
1510.70/1511.10	c 1506s |      15 |   207427 |   121432 |   448410      0 |      719 |     1863
1514.00/1514.41	c 1509s |      15 |   207701 |   121632 |   448410      0 |      719 |     1863
1517.50/1517.96	c 1512s |      15 |   208081 |   121832 |   448410      0 |      719 |     1863
1521.30/1521.72	c 1516s |      15 |   208362 |   122032 |   448410      0 |      719 |     1863
1524.60/1525.09	c 1520s |      15 |   208600 |   122232 |   448410      0 |      719 |     1863
1526.70/1527.10	c 1522s |      15 |   208743 |   122332 |   448410      0 |      719 |     1863
1529.60/1530.06	c 1525s |      15 |   209076 |   122532 |   448410      0 |      719 |     1863
1532.70/1533.16	c 1528s |      15 |   209475 |   122732 |   448410      0 |      719 |     1863
1535.70/1536.14	c 1531s |      15 |   209759 |   122932 |   448410      0 |      719 |     1863
1538.40/1538.85	c 1533s |      15 |   210163 |   123132 |   448410      0 |      719 |     1863
1541.20/1541.68	c 1536s |      15 |   210442 |   123332 |   448410      0 |      719 |     1863
1544.30/1544.76	c 1539s |      15 |   210842 |   123532 |   448410      0 |      719 |     1863
1548.09/1548.52	c 1543s |      15 |   211196 |   123732 |   448410      0 |      719 |     1863
1551.49/1551.99	c 1546s |      15 |   211549 |   123932 |   448410      0 |      719 |     1863
1555.00/1555.42	c 1550s |      15 |   211902 |   124132 |   448410      0 |      719 |     1863
1558.30/1558.77	c 1553s |      15 |   212273 |   124332 |   448410      0 |      719 |     1863
1561.99/1562.41	c 1557s |      15 |   212636 |   124532 |   448410      0 |      719 |     1863
1565.49/1565.99	c 1560s |      15 |   212936 |   124732 |   448410      0 |      719 |     1863
1569.09/1569.52	c 1564s |      15 |   213237 |   124932 |   448410      0 |      719 |     1863
1572.49/1572.97	c 1567s |      15 |   213505 |   125132 |   448410      0 |      719 |     1863
1576.19/1576.65	c 1571s |      15 |   213867 |   125332 |   448410      0 |      719 |     1863
1579.89/1580.37	c 1575s |      15 |   214206 |   125532 |   448410      0 |      719 |     1863
1583.29/1583.70	c 1578s |      15 |   214499 |   125732 |   448410      0 |      719 |     1863
1586.49/1586.93	c 1581s |      15 |   214761 |   125932 |   448410      0 |      719 |     1863
1589.29/1589.79	c 1584s |      15 |   215018 |   126132 |   448410      0 |      719 |     1863
1592.19/1592.63	c 1587s |      15 |   215256 |   126332 |   448410      0 |      719 |     1863
1594.69/1595.19	c 1590s |      15 |   215508 |   126532 |   448410      0 |      719 |     1863
1597.69/1598.19	c 1593s |      15 |   215807 |   126732 |   448410      0 |      719 |     1863
1600.59/1601.07	c 1596s |      15 |   216043 |   126932 |   448410      0 |      719 |     1863
1602.69/1603.13	c 1598s |      15 |   216166 |   127032 |   448410      0 |      719 |     1863
1605.99/1606.41	c 1601s |      15 |   216424 |   127232 |   448410      0 |      719 |     1863
1609.18/1609.64	c 1604s |      15 |   216665 |   127432 |   448410      0 |      719 |     1863
1612.19/1612.62	c 1607s |      15 |   216932 |   127632 |   448410      0 |      719 |     1863
1614.49/1615.00	c 1609s |      15 |   217174 |   127832 |   448410      0 |      719 |     1863
1616.59/1617.08	c 1612s |      15 |   217420 |   128032 |   448410      0 |      719 |     1863
1618.89/1619.31	c 1614s |      15 |   217850 |   128332 |   448410      0 |      719 |     1863
1621.18/1621.65	c 1616s |      15 |   218302 |   128632 |   448410      0 |      719 |     1863
1624.08/1624.51	c 1619s |      15 |   218606 |   128832 |   448410      0 |      719 |     1863
1627.08/1627.56	c 1622s |      15 |   218831 |   129032 |   448410      0 |      719 |     1863
1630.08/1630.54	c 1625s |      15 |   219111 |   129232 |   448410      0 |      719 |     1863
1632.88/1633.34	c 1628s |      15 |   219431 |   129432 |   448410      0 |      719 |     1863
1634.88/1635.39	c 1630s |      15 |   219729 |   129632 |   448410      0 |      719 |     1863
1637.18/1637.63	c 1632s |      15 |   220170 |   129832 |   448410      0 |      719 |     1863
1639.88/1640.39	c 1635s |      15 |   220523 |   130032 |   448410      0 |      719 |     1863
1642.99/1643.41	c 1638s |      15 |   220978 |   130332 |   448410      0 |      719 |     1863
1645.78/1646.29	c 1641s |      15 |   221371 |   130632 |   448410      0 |      719 |     1863
1647.88/1648.31	c 1643s |      15 |   221651 |   130832 |   493252      0 |      719 |     1863
1650.18/1650.61	c 1645s |      15 |   222094 |   131032 |   493252      0 |      719 |     1863
1653.48/1653.91	c 1648s |      15 |   222534 |   131332 |   493252      0 |      719 |     1863
1655.78/1656.29	c 1651s |      15 |   222842 |   131532 |   493252      0 |      719 |     1863
1656.08/1656.58	c 1651s |      16 |   222867 |   131552 |   493252      0 |      719 |     1863
1658.28/1658.76	c 1653s |      16 |   223329 |   131752 |   493252      0 |      719 |     1863
1660.48/1661.00	c 1655s |      16 |   223694 |   131952 |   493252      0 |      719 |     1863
1662.78/1663.21	c 1658s |      16 |   224192 |   132152 |   493252      0 |      719 |     1863
1665.87/1666.30	c 1661s |      16 |   224535 |   132352 |   493252      0 |      719 |     1863
1667.97/1668.50	c 1663s |      16 |   224891 |   132552 |   493252      0 |      719 |     1863
1670.67/1671.18	c 1666s |      16 |   225216 |   132752 |   493252      0 |      719 |     1863
1672.97/1673.48	c 1668s |      16 |   225538 |   132952 |   493252      0 |      719 |     1863
1675.47/1675.95	c 1670s |      16 |   225921 |   133152 |   493252      0 |      719 |     1863
1678.57/1679.05	c 1674s |      16 |   226312 |   133352 |   493252      0 |      719 |     1863
1680.77/1681.20	c 1676s |      16 |   226617 |   133552 |   493252      0 |      719 |     1863
1682.97/1683.43	c 1678s |      16 |   226955 |   133752 |   493252      0 |      719 |     1863
1685.37/1685.85	c 1680s |      16 |   227327 |   133952 |   493252      0 |      719 |     1863
1687.77/1688.22	c 1683s |      16 |   227719 |   134152 |   493252      0 |      719 |     1863
1690.38/1690.86	c 1685s |      16 |   228273 |   134352 |   493252      0 |      719 |     1863
1692.97/1693.45	c 1688s |      16 |   228625 |   134552 |   493252      0 |      719 |     1863
1696.37/1696.83	c 1691s |      16 |   229053 |   134752 |   493252      0 |      719 |     1863
1698.97/1699.45	c 1694s |      16 |   229444 |   134952 |   493252      0 |      719 |     1863
1702.27/1702.72	c 1697s |      16 |   229864 |   135152 |   493252      0 |      719 |     1863
1705.37/1705.85	c 1700s |      16 |   230176 |   135352 |   493252      0 |      719 |     1863
1707.88/1708.40	c 1703s |      16 |   230495 |   135552 |   493252      0 |      719 |     1863
1710.77/1711.26	c 1706s |      16 |   230965 |   135752 |   493252      0 |      719 |     1863
1713.07/1713.59	c 1708s |      16 |   231432 |   135952 |   493252      0 |      719 |     1863
1716.27/1716.78	c 1711s |      16 |   231861 |   136252 |   493252      0 |      719 |     1863
1718.97/1719.44	c 1714s |      16 |   232269 |   136452 |   493252      0 |      719 |     1863
1721.97/1722.46	c 1717s |      16 |   232732 |   136752 |   493252      0 |      719 |     1863
1724.27/1724.80	c 1719s |      16 |   233085 |   136952 |   493252      0 |      719 |     1863
1726.37/1726.84	c 1721s |      16 |   233368 |   137152 |   493252      0 |      719 |     1863
1728.37/1728.89	c 1723s |      16 |   233660 |   137352 |   493252      0 |      719 |     1863
1730.97/1731.45	c 1726s |      16 |   233937 |   137552 |   493252      0 |      719 |     1863
1733.46/1733.96	c 1728s |      16 |   234243 |   137752 |   493252      0 |      719 |     1863
1735.96/1736.40	c 1731s |      16 |   234538 |   137952 |   493252      0 |      719 |     1863
1738.56/1739.01	c 1733s |      16 |   234902 |   138152 |   493252      0 |      719 |     1863
1740.97/1741.46	c 1736s |      16 |   235243 |   138352 |   493252      0 |      719 |     1863
1743.96/1744.48	c 1739s |      16 |   235643 |   138552 |   493252      0 |      719 |     1863
1746.96/1747.46	c 1742s |      16 |   236063 |   138752 |   493252      0 |      719 |     1863
1749.67/1750.14	c 1745s |      16 |   236443 |   138952 |   493252      0 |      719 |     1863
1752.86/1753.40	c 1748s |      16 |   236811 |   139152 |   493252      0 |      719 |     1863
1755.46/1755.94	c 1750s |      16 |   237139 |   139352 |   493252      0 |      719 |     1863
1758.16/1758.68	c 1753s |      16 |   237533 |   139552 |   493252      0 |      719 |     1863
1761.36/1761.84	c 1756s |      16 |   238131 |   139752 |   493252      0 |      719 |     1863
1764.16/1764.62	c 1759s |      16 |   238544 |   139952 |   493252      0 |      719 |     1863
1766.36/1766.83	c 1761s |      16 |   238917 |   140152 |   493252      0 |      719 |     1863
1769.66/1770.16	c 1765s |      16 |   239255 |   140352 |   493252      0 |      719 |     1863
1772.66/1773.10	c 1768s |      16 |   239655 |   140552 |   493252      0 |      719 |     1863
1775.46/1775.99	c 1770s |      16 |   240180 |   140852 |   493252      0 |      719 |     1863
1778.26/1778.71	c 1773s |      16 |   240655 |   141152 |   493252      0 |      719 |     1863
1780.46/1780.97	c 1775s |      16 |   240939 |   141352 |   493252      0 |      719 |     1863
1783.36/1783.82	c 1778s |      16 |   241401 |   141652 |   493252      0 |      719 |     1863
1786.26/1786.73	c 1781s |      16 |   241856 |   141952 |   493252      0 |      719 |     1863
1788.36/1788.85	c 1783s |      16 |   242187 |   142152 |   493252      0 |      719 |     1863
1790.86/1791.37	c 1786s |      16 |   242481 |   142352 |   493252      0 |      719 |     1863
1793.36/1793.87	c 1788s |      16 |   242755 |   142552 |   493252      0 |      719 |     1863
1795.86/1796.36	c 1791s |      16 |   243099 |   142752 |   493252      0 |      719 |     1863
1798.25/1798.71	c 1793s |      16 |   243423 |   142952 |   493252      0 |      719 |     1863

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

pid=14564
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.21 2.26 2.26 3/179 14567
/proc/meminfo: memFree=29396460/32872528 swapFree=16636/1570076
[pid=14567] ppid=14564 vsize=733628 CPUtime=0 cores=0,2,4,6
/proc/14567/stat : 14567 (toysat) R 14564 14567 13075 0 -1 4202496 2740 0 0 0 0 0 0 0 20 0 4 0 104105470 751235072 3101 33554432000 4194304 16246674 140734820989040 140734820988464 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14567/statm: 184175 3110 441 2943 0 181069 0
[pid=14567/tid=14568] ppid=14564 vsize=751036 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14568/stat : 14568 (toysat) S 14564 14567 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104105470 769060864 3169 33554432000 4194304 16246674 140734820989040 139998975208688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14567/tid=14569] ppid=14564 vsize=755132 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14569/stat : 14569 (toysat) S 14564 14567 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104105470 773255168 3184 33554432000 4194304 16246674 140734820989040 139998888176880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14567/tid=14570] ppid=14564 vsize=760252 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14570/stat : 14570 (toysat) S 14564 14567 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104105470 778498048 3201 33554432000 4194304 16246674 140734820989040 139998877703344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.21 2.26 2.26 3/179 14567
/proc/meminfo: memFree=29396460/32872528 swapFree=16636/1570076
[pid=14567] ppid=14564 vsize=1301060 CPUtime=0.08 cores=0,2,4,6
/proc/14567/stat : 14567 (toysat) R 14564 14567 13075 0 -1 4202496 25582 0 0 0 4 4 0 0 20 0 4 0 104105470 1332285440 25881 33554432000 4194304 16246674 140734820989040 140734820988352 7368729 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14567/statm: 325265 25895 799 2943 0 322159 0
[pid=14567/tid=14568] ppid=14564 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14568/stat : 14568 (toysat) S 14564 14567 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104105470 1332285440 25906 33554432000 4194304 16246674 140734820989040 139998975208688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14567/tid=14569] ppid=14564 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14569/stat : 14569 (toysat) S 14564 14567 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104105470 1332285440 25917 33554432000 4194304 16246674 140734820989040 139998888176880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14567/tid=14570] ppid=14564 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14570/stat : 14570 (toysat) S 14564 14567 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104105470 1332285440 25928 33554432000 4194304 16246674 140734820989040 139998877703344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1301060

[startup+0.200513 s]
/proc/loadavg: 2.21 2.26 2.26 3/179 14567
/proc/meminfo: memFree=29396460/32872528 swapFree=16636/1570076
[pid=14567] ppid=14564 vsize=1313348 CPUtime=0.18 cores=0,2,4,6
/proc/14567/stat : 14567 (toysat) R 14564 14567 13075 0 -1 4202496 47525 0 0 0 11 7 0 0 20 0 4 0 104105470 1344868352 48334 33554432000 4194304 16246674 140734820989040 140734820988352 14073329 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14567/statm: 328337 48334 799 2943 0 325231 0
[pid=14567/tid=14568] ppid=14564 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14568/stat : 14568 (toysat) S 14564 14567 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104105470 1344868352 48334 33554432000 4194304 16246674 140734820989040 139998975208688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14567/tid=14569] ppid=14564 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14569/stat : 14569 (toysat) S 14564 14567 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104105470 1344868352 48334 33554432000 4194304 16246674 140734820989040 139998888176880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14567/tid=14570] ppid=14564 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14570/stat : 14570 (toysat) S 14564 14567 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104105470 1344868352 48334 33554432000 4194304 16246674 140734820989040 139998877703344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348

[startup+0.3004 s]
/proc/loadavg: 2.21 2.26 2.26 3/179 14567
/proc/meminfo: memFree=29396460/32872528 swapFree=16636/1570076
[pid=14567] ppid=14564 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/14567/stat : 14567 (toysat) R 14564 14567 13075 0 -1 4202496 53532 0 0 0 20 9 0 0 20 0 4 0 104105470 1344868352 54341 33554432000 4194304 16246674 140734820989040 140734820988352 7364033 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14567/statm: 328337 54341 800 2943 0 325231 0
[pid=14567/tid=14568] ppid=14564 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14568/stat : 14568 (toysat) S 14564 14567 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104105470 1344868352 54341 33554432000 4194304 16246674 140734820989040 139998975208688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14567/tid=14569] ppid=14564 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14569/stat : 14569 (toysat) S 14564 14567 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104105470 1344868352 54341 33554432000 4194304 16246674 140734820989040 139998888176880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14567/tid=14570] ppid=14564 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14570/stat : 14570 (toysat) S 14564 14567 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104105470 1344868352 54341 33554432000 4194304 16246674 140734820989040 139998877703344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700414 s]
/proc/loadavg: 2.21 2.26 2.26 3/179 14567
/proc/meminfo: memFree=29396460/32872528 swapFree=16636/1570076
[pid=14567] ppid=14564 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/14567/stat : 14567 (toysat) R 14564 14567 13075 0 -1 4202496 65546 0 0 0 58 11 0 0 20 0 4 0 104105470 1344868352 66355 33554432000 4194304 16246674 140734820989040 140734820988352 4206649 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14567/statm: 328337 66355 801 2943 0 325231 0
[pid=14567/tid=14568] ppid=14564 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14568/stat : 14568 (toysat) S 14564 14567 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104105470 1344868352 66355 33554432000 4194304 16246674 140734820989040 139998975208688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14567/tid=14569] ppid=14564 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14569/stat : 14569 (toysat) S 14564 14567 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104105470 1344868352 66355 33554432000 4194304 16246674 140734820989040 139998888176880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14567/tid=14570] ppid=14564 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14570/stat : 14570 (toysat) S 14564 14567 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104105470 1344868352 66355 33554432000 4194304 16246674 140734820989040 139998877703344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 2.21 2.26 2.26 3/183 14571
/proc/meminfo: memFree=29096128/32872528 swapFree=16636/1570076
[pid=14567] ppid=14564 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/14567/stat : 14567 (toysat) R 14564 14567 13075 0 -1 4202496 80418 0 0 0 136 13 0 0 20 0 4 0 104105470 1344868352 81227 33554432000 4194304 16246674 140734820989040 140734820972032 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14567/statm: 328337 81227 813 2943 0 325231 0
[pid=14567/tid=14568] ppid=14564 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14568/stat : 14568 (toysat) S 14564 14567 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104105470 1344868352 81227 33554432000 4194304 16246674 140734820989040 139998975208688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14567/tid=14569] ppid=14564 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14569/stat : 14569 (toysat) S 14564 14567 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104105470 1344868352 81227 33554432000 4194304 16246674 140734820989040 139998888176880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14567/tid=14570] ppid=14564 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14570/stat : 14570 (toysat) S 14564 14567 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104105470 1344868352 81227 33554432000 4194304 16246674 140734820989040 139998877703344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.1004 s]
/proc/loadavg: 2.21 2.26 2.26 3/183 14571
/proc/meminfo: memFree=28640064/32872528 swapFree=16636/1570076
[pid=14567] ppid=14564 vsize=1335876 CPUtime=3.09 cores=0,2,4,6
/proc/14567/stat : 14567 (toysat) R 14564 14567 13075 0 -1 4202496 274585 0 0 0 264 45 0 0 20 0 4 0 104105470 1367937024 275394 33554432000 4194304 16246674 140734820989040 140734820970944 13778264 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14567/statm: 333969 275394 836 2943 0 330863 0
[pid=14567/tid=14568] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14568/stat : 14568 (toysat) S 14564 14567 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275394 33554432000 4194304 16246674 140734820989040 139998975208688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14567/tid=14569] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14569/stat : 14569 (toysat) S 14564 14567 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275394 33554432000 4194304 16246674 140734820989040 139998888176880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14567/tid=14570] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14570/stat : 14570 (toysat) S 14564 14567 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275394 33554432000 4194304 16246674 140734820989040 139998877703344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1335876

[startup+6.3004 s]
/proc/loadavg: 2.20 2.26 2.26 3/183 14571
/proc/meminfo: memFree=28295876/32872528 swapFree=16636/1570076
[pid=14567] ppid=14564 vsize=1335876 CPUtime=6.29 cores=0,2,4,6
/proc/14567/stat : 14567 (toysat) R 14564 14567 13075 0 -1 4202496 274637 0 0 0 584 45 0 0 20 0 4 0 104105470 1367937024 275446 33554432000 4194304 16246674 140734820989040 140734820970944 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14567/statm: 333969 275446 885 2943 0 330863 0
[pid=14567/tid=14568] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14568/stat : 14568 (toysat) S 14564 14567 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275446 33554432000 4194304 16246674 140734820989040 139998975208688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14567/tid=14569] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14569/stat : 14569 (toysat) S 14564 14567 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275446 33554432000 4194304 16246674 140734820989040 139998888176880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14567/tid=14570] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14570/stat : 14570 (toysat) S 14564 14567 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275446 33554432000 4194304 16246674 140734820989040 139998877703344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1335876

[startup+12.7004 s]
/proc/loadavg: 2.18 2.25 2.26 3/182 14571
/proc/meminfo: memFree=28295484/32872528 swapFree=16636/1570076
[pid=14567] ppid=14564 vsize=1335876 CPUtime=12.69 cores=0,2,4,6
/proc/14567/stat : 14567 (toysat) R 14564 14567 13075 0 -1 4202496 274640 0 0 0 1224 45 0 0 20 0 4 0 104105470 1367937024 275449 33554432000 4194304 16246674 140734820989040 140734820970944 5674844 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14567/statm: 333969 275449 888 2943 0 330863 0
[pid=14567/tid=14568] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14568/stat : 14568 (toysat) S 14564 14567 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275449 33554432000 4194304 16246674 140734820989040 139998975208688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14567/tid=14569] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14569/stat : 14569 (toysat) S 14564 14567 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275449 33554432000 4194304 16246674 140734820989040 139998888176880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14567/tid=14570] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14570/stat : 14570 (toysat) S 14564 14567 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275449 33554432000 4194304 16246674 140734820989040 139998877703344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1335876

[startup+25.5005 s]
/proc/loadavg: 2.14 2.24 2.25 4/183 14572
/proc/meminfo: memFree=28296080/32872528 swapFree=16636/1570076
[pid=14567] ppid=14564 vsize=1335876 CPUtime=25.49 cores=0,2,4,6
/proc/14567/stat : 14567 (toysat) R 14564 14567 13075 0 -1 4202496 274640 0 0 0 2504 45 0 0 20 0 4 0 104105470 1367937024 275449 33554432000 4194304 16246674 140734820989040 140734820970944 5661532 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14567/statm: 333969 275449 888 2943 0 330863 0
[pid=14567/tid=14568] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14568/stat : 14568 (toysat) S 14564 14567 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275449 33554432000 4194304 16246674 140734820989040 139998975208688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14567/tid=14569] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14569/stat : 14569 (toysat) S 14564 14567 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275449 33554432000 4194304 16246674 140734820989040 139998888176880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14567/tid=14570] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14570/stat : 14570 (toysat) S 14564 14567 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275449 33554432000 4194304 16246674 140734820989040 139998877703344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1335876

[startup+51.1005 s]
/proc/loadavg: 2.29 2.27 2.26 3/183 14572
/proc/meminfo: memFree=28296388/32872528 swapFree=16636/1570076
[pid=14567] ppid=14564 vsize=1335876 CPUtime=51.08 cores=0,2,4,6
/proc/14567/stat : 14567 (toysat) R 14564 14567 13075 0 -1 4202496 274643 0 0 0 5063 45 0 0 20 0 4 0 104105470 1367937024 275452 33554432000 4194304 16246674 140734820989040 140734820970944 6022294 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14567/statm: 333969 275452 888 2943 0 330863 0
[pid=14567/tid=14568] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14568/stat : 14568 (toysat) S 14564 14567 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275452 33554432000 4194304 16246674 140734820989040 139998975208688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14567/tid=14569] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14569/stat : 14569 (toysat) S 14564 14567 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275452 33554432000 4194304 16246674 140734820989040 139998888176880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14567/tid=14570] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14570/stat : 14570 (toysat) S 14564 14567 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275452 33554432000 4194304 16246674 140734820989040 139998877703344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1335876

[startup+102.3 s]
/proc/loadavg: 2.19 2.24 2.25 3/183 14573
/proc/meminfo: memFree=28296340/32872528 swapFree=16636/1570076
[pid=14567] ppid=14564 vsize=1335876 CPUtime=102.28 cores=0,2,4,6
/proc/14567/stat : 14567 (toysat) R 14564 14567 13075 0 -1 4202496 274647 0 0 0 10183 45 0 0 20 0 4 0 104105470 1367937024 275456 33554432000 4194304 16246674 140734820989040 140734820970944 5661363 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14567/statm: 333969 275456 891 2943 0 330863 0
[pid=14567/tid=14568] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14568/stat : 14568 (toysat) S 14564 14567 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275456 33554432000 4194304 16246674 140734820989040 139998975208688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14567/tid=14569] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14569/stat : 14569 (toysat) S 14564 14567 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275456 33554432000 4194304 16246674 140734820989040 139998888176880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14567/tid=14570] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14570/stat : 14570 (toysat) S 14564 14567 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275456 33554432000 4194304 16246674 140734820989040 139998877703344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1335876


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

/proc/14567/task/14570/stat : 14570 (toysat) S 14564 14567 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 139998877703344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1335876

[startup+1362.3 s]
/proc/loadavg: 2.27 2.25 2.22 3/183 14849
/proc/meminfo: memFree=28103864/32872528 swapFree=16636/1570076
[pid=14567] ppid=14564 vsize=1335876 CPUtime=1361.92 cores=0,2,4,6
/proc/14567/stat : 14567 (toysat) R 14564 14567 13075 0 -1 4202496 274938 0 0 0 136146 46 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 140734820970944 5601651 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14567/statm: 333969 275457 891 2943 0 330863 0
[pid=14567/tid=14568] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14568/stat : 14568 (toysat) S 14564 14567 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 139998975208688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14567/tid=14569] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14569/stat : 14569 (toysat) S 14564 14567 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 139998888176880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14567/tid=14570] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14570/stat : 14570 (toysat) S 14564 14567 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 139998877703344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1335876

[startup+1422.3 s]
/proc/loadavg: 2.25 2.25 2.22 3/183 14850
/proc/meminfo: memFree=28103816/32872528 swapFree=16636/1570076
[pid=14567] ppid=14564 vsize=1335876 CPUtime=1421.92 cores=0,2,4,6
/proc/14567/stat : 14567 (toysat) R 14564 14567 13075 0 -1 4202496 274938 0 0 0 142145 47 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 140734820970944 5674772 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14567/statm: 333969 275457 891 2943 0 330863 0
[pid=14567/tid=14568] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14568/stat : 14568 (toysat) S 14564 14567 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 139998975208688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14567/tid=14569] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14569/stat : 14569 (toysat) S 14564 14567 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 139998888176880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14567/tid=14570] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14570/stat : 14570 (toysat) S 14564 14567 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 139998877703344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1335876

[startup+1482.3 s]
/proc/loadavg: 2.19 2.23 2.21 4/183 14851
/proc/meminfo: memFree=27959600/32872528 swapFree=16636/1570076
[pid=14567] ppid=14564 vsize=1335876 CPUtime=1481.9 cores=0,2,4,6
/proc/14567/stat : 14567 (toysat) R 14564 14567 13075 0 -1 4202496 274938 0 0 0 148143 47 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 140734820970944 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14567/statm: 333969 275457 891 2943 0 330863 0
[pid=14567/tid=14568] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14568/stat : 14568 (toysat) S 14564 14567 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 139998975208688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14567/tid=14569] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14569/stat : 14569 (toysat) S 14564 14567 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 139998888176880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14567/tid=14570] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14570/stat : 14570 (toysat) S 14564 14567 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 139998877703344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1335876

[startup+1542.31 s]
/proc/loadavg: 2.20 2.23 2.21 3/183 14853
/proc/meminfo: memFree=27804964/32872528 swapFree=16636/1570076
[pid=14567] ppid=14564 vsize=1335876 CPUtime=1541.9 cores=0,2,4,6
/proc/14567/stat : 14567 (toysat) R 14564 14567 13075 0 -1 4202496 274938 0 0 0 154143 47 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 140734820970944 5661428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14567/statm: 333969 275457 891 2943 0 330863 0
[pid=14567/tid=14568] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14568/stat : 14568 (toysat) S 14564 14567 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 139998975208688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14567/tid=14569] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14569/stat : 14569 (toysat) S 14564 14567 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 139998888176880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14567/tid=14570] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14570/stat : 14570 (toysat) S 14564 14567 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 139998877703344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1335876

[startup+1602.3 s]
/proc/loadavg: 2.21 2.22 2.20 3/183 14854
/proc/meminfo: memFree=27648476/32872528 swapFree=16636/1570076
[pid=14567] ppid=14564 vsize=1335876 CPUtime=1601.89 cores=0,2,4,6
/proc/14567/stat : 14567 (toysat) R 14564 14567 13075 0 -1 4202496 274938 0 0 0 160142 47 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 140734820970944 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14567/statm: 333969 275457 891 2943 0 330863 0
[pid=14567/tid=14568] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14568/stat : 14568 (toysat) S 14564 14567 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 139998975208688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14567/tid=14569] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14569/stat : 14569 (toysat) S 14564 14567 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 139998888176880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14567/tid=14570] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14570/stat : 14570 (toysat) S 14564 14567 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 139998877703344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1335876

[startup+1662.3 s]
/proc/loadavg: 2.15 2.20 2.19 4/183 14855
/proc/meminfo: memFree=27648008/32872528 swapFree=16636/1570076
[pid=14567] ppid=14564 vsize=1335876 CPUtime=1661.88 cores=0,2,4,6
/proc/14567/stat : 14567 (toysat) R 14564 14567 13075 0 -1 4202496 274938 0 0 0 166141 47 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 140734820970944 5674896 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14567/statm: 333969 275457 891 2943 0 330863 0
[pid=14567/tid=14568] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14568/stat : 14568 (toysat) S 14564 14567 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 139998975208688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14567/tid=14569] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14569/stat : 14569 (toysat) S 14564 14567 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 139998888176880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14567/tid=14570] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14570/stat : 14570 (toysat) S 14564 14567 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 139998877703344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1335876

[startup+1722.3 s]
/proc/loadavg: 2.15 2.19 2.19 3/184 14859
/proc/meminfo: memFree=27611356/32872528 swapFree=16636/1570076
[pid=14567] ppid=14564 vsize=1335876 CPUtime=1721.87 cores=0,2,4,6
/proc/14567/stat : 14567 (toysat) R 14564 14567 13075 0 -1 4202496 274938 0 0 0 172140 47 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 140734820970944 5672060 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14567/statm: 333969 275457 891 2943 0 330863 0
[pid=14567/tid=14568] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14568/stat : 14568 (toysat) S 14564 14567 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 139998975208688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14567/tid=14569] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14569/stat : 14569 (toysat) S 14564 14567 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 139998888176880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14567/tid=14570] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14570/stat : 14570 (toysat) S 14564 14567 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 139998877703344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1335876

[startup+1782.3 s]
/proc/loadavg: 2.17 2.19 2.18 3/183 14860
/proc/meminfo: memFree=27611288/32872528 swapFree=16636/1570076
[pid=14567] ppid=14564 vsize=1335876 CPUtime=1781.86 cores=0,2,4,6
/proc/14567/stat : 14567 (toysat) R 14564 14567 13075 0 -1 4202496 274938 0 0 0 178139 47 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 140734820970944 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14567/statm: 333969 275457 891 2943 0 330863 0
[pid=14567/tid=14568] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14568/stat : 14568 (toysat) S 14564 14567 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 139998975208688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14567/tid=14569] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14569/stat : 14569 (toysat) S 14564 14567 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 139998888176880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14567/tid=14570] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14570/stat : 14570 (toysat) S 14564 14567 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 139998877703344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1335876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.27 2.21 2.19 3/183 14860
/proc/meminfo: memFree=27610760/32872528 swapFree=16636/1570076
[pid=14567] ppid=14564 vsize=1335876 CPUtime=1800.05 cores=0,2,4,6
/proc/14567/stat : 14567 (toysat) R 14564 14567 13075 0 -1 4202496 274938 0 0 0 179958 47 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 140734820970944 6022640 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14567/statm: 333969 275457 891 2943 0 330863 0
[pid=14567/tid=14568] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14568/stat : 14568 (toysat) S 14564 14567 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 139998975208688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14567/tid=14569] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14569/stat : 14569 (toysat) S 14564 14567 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 139998888176880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14567/tid=14570] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14570/stat : 14570 (toysat) S 14564 14567 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 139998877703344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1335876

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

[startup+1800.5 s]
/proc/loadavg: 2.27 2.21 2.19 3/183 14860
/proc/meminfo: memFree=27610760/32872528 swapFree=16636/1570076
[pid=14567] ppid=14564 vsize=1335876 CPUtime=1800.05 cores=0,2,4,6
/proc/14567/stat : 14567 (toysat) R 14564 14567 13075 0 -1 4202496 274938 0 0 0 179958 47 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 140734820970944 6022640 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14567/statm: 333969 275457 891 2943 0 330863 0
[pid=14567/tid=14568] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14568/stat : 14568 (toysat) S 14564 14567 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 139998975208688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14567/tid=14569] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14569/stat : 14569 (toysat) S 14564 14567 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 139998888176880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14567/tid=14570] ppid=14564 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14567/task/14570/stat : 14570 (toysat) S 14564 14567 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104105470 1367937024 275457 33554432000 4194304 16246674 140734820989040 139998877703344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1335876

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1799.59
CPU system time (s): 0.474927
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 1335876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.474927
maximum resident set size= 1101828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274938
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= 320
involuntary context switches= 1853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.51731 second user time and 6.99993 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-06 16:02:11
IDJOB=4078734
IDBENCH=1475
IDSOLVER=2542
FILE ID=node140/4078734-1465221731
RUNJOBID= node140-1465216678-13091
PBS_JOBID= 19843199
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache-ibm-q-full.all.ucl.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078734-1465221731/watcher-4078734-1465221731 -o /tmp/evaluation-result-4078734-1465221731/solver-4078734-1465221731 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13091 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078734-1465221731.opb

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

MD5SUM BENCH= 14c93c93dc53353f81a889ada18ba601
RANDOM SEED=728873596

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
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	: 5334.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29396996 kB
Buffers:           10644 kB
Cached:            83008 kB
SwapCached:         1736 kB
Active:          1172652 kB
Inactive:          29160 kB
Active(anon):    1107788 kB
Inactive(anon):     2644 kB
Active(file):      64864 kB
Inactive(file):    26516 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67097924 kB
Dirty:             24056 kB
Writeback:             0 kB
AnonPages:       2677648 kB
Mapped:            10296 kB
Shmem:                 0 kB
Slab:             567644 kB
SReclaimable:      11208 kB
SUnreclaim:       556436 kB
KernelStack:        1448 kB
PageTables:         9108 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2822264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2449408 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= 71700 MiB
End job on node140 at 2016-06-06 16:32:12