Trace number 4099833

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.06 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran14x18.opb
MD5SUM61bd3dd8a49bc9125fdf13f69f76abf6
Bench CategoryOPT-SMALLINT (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 benchmark0.06399
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables7812
Total number of constraints284
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints284
Minimum length of a constraint31
Maximum length of a constraint540
Number of terms in the objective function 7812
Biggest coefficient in the objective function 1941
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 530902
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 530902
Number of bits of the biggest sum of numbers20
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-18T01:59:28+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4099833-1466207968.opb"]
0.00/0.01	c use --random-gen="3508695759 3691595533 7470812 2708761222 1120607248 2257854629 1292607763 513688704 2769183799 666449987 2627949453 2022766841 2846856252 318543610 30160289 870826460 4083909207 579152572 2177843854 287802920 2322883240 2646381358 569139574 2701781087 3792233397 3351227961 1288943890 364820484 1111560689 2666039217 1965067990 1220759858 2263711121 3257315477 3751720222 2003480637 2885277425 3232729920 420099962 1117234994 3690086802 1037755467 275115607 663005724 1865555724 3020093264 3994537435 1158768256 2880909243 2130343255 2200950145 3730153233 637115791 420159378 2581112712 1928746575 3379688400 4059282240 3584594553 3438253736 2602959891 3501582517 1129715519 2768020847 1908076553 774805474 1660027216 220895049 383743300 437046589 579862508 3788479792 2725349814 2910099054 727442247 2915597334 3787422254 1240186208 2873200879 3915738721 1504486535 2476441699 3231609930 3748475584 3883925088 2335776836 3406660542 2430643852 1666479010 3349670416 569171835 3122096029 4217088143 3863725829 257614779 548383093 4292631583 4175735075 108778410 1449968777 3339720782 2093693504 2842155446 602662543 450312502 412317581 1741403452 3097882806 781950108 3296007992 793630936 1304040759 3555217038 1960008202 2061450929 1269024723 1075416426 3603023617 3572899098 3041940282 146139812 1996987209 1546225745 2224640978 1764936687 1858408514 3898094486 2930698681 3407585326 1434595868 2226652314 1855831887 3786568867 576357117 3436168989 2319712444 3587118675 3207610462 2998549835 591924859 2793815177 2060838649 3121221551 647580195 2782260264 1769237201 2851494815 713702319 1512839835 3850706995 332816739 3618376374 3742248424 2762503610 1669454205 2620391230 3051649758 601553656 3036499824 1227428339 1612155350 894111767 1597302575 455366082 4188122549 4202836167 2343334856 2007387201 3589753367 4081693493 4132805919 3800395276 4106859628 3717480620 3746791111 1842898279 3678759973 4239837482 4258971739 2889559554 3708488429 3039710580 4268069516 3664033099 1559259112 2197337405 2821991777 143350849 1241730252 2806632440 611083112 636523415 3674090981 4076919738 4161079510 2683622448 2585837766 3624335809 334378189 2225934645 2170155720 34383605 1789428043 1096672898 2294915229 171562767 3105657187 3348946417 4243709021 4005491544 235861608 2786853504 3776223846 2278638948 1083422348 978750615 2750092650 3057453049 2718859502 200487412 1944370826 2213740070 2321586234 885332424 2743511789 1629454962 1939013019 3594706932 4261504529 3539386263 30566818 2068549894 1367895582 2243211489 3093413220 2905639458 2356959191 2217441581 2736138196 1658060027 2581828461 3546400936 1133411881 2686250511 1175718394 169950934 1647432912 2749507442 1299644319 4077705909 3095278938 4133997597 2748027486 3122315154 841293745 3983984619 255 362436" option to reproduce the execution
0.00/0.07	c #vars 7812
0.00/0.07	c #constraints 284
0.09/0.17	c BCD2: Hardening is enabled.
0.09/0.17	c BCD2: BiasedSearch is enabled.
0.09/0.17	c Solving starts ...
0.09/0.17	c ============================[ Search Statistics ]============================
0.09/0.17	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.17	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.17	c =============================================================================
0.09/0.17	c  0.0s |       0 |        0 |        0 |     2709      0 |     3958 |        0
0.39/0.49	c  0.3s |       1 |      744 |      100 |     2709      0 |     3958 |        0
0.89/0.98	c  0.8s |       2 |     2424 |      250 |     2980      0 |     3958 |        0
1.89/1.99	c  1.8s |       3 |     4333 |      475 |     3279      0 |     3958 |        0
3.59/3.60	c  3.4s |       4 |     6873 |      813 |     3607      0 |     3958 |        0
6.19/6.27	c  6.1s |       4 |    17755 |     1313 |     3968      0 |     3958 |        0
6.29/6.32	c  6.1s |       5 |    17770 |     1320 |     3968      0 |     3958 |        0
8.59/8.69	c  8.5s |       5 |    22371 |     1820 |     4365      0 |     3958 |        0
10.69/10.79	c 10.6s |       6 |    23845 |     2081 |     4802      0 |     3958 |        0
12.78/12.88	c 12.7s |       6 |    28215 |     2781 |     4802      0 |     3958 |        0
15.09/15.11	c 14.9s |       6 |    30349 |     3181 |     4802      0 |     3958 |        0
15.40/15.45	c 15.3s |       7 |    30498 |     3223 |     5283      0 |     3958 |        0
17.69/17.74	c 17.6s |       7 |    34497 |     3623 |     5283      0 |     3958 |        0
20.08/20.18	c 20.0s |       7 |    35856 |     3923 |     5283      0 |     3958 |        0
22.38/22.46	c 22.3s |       7 |    36890 |     4123 |     5283      0 |     3958 |        0
24.88/24.98	c 24.8s |       7 |    39642 |     4323 |     5283      0 |     3958 |        0
27.50/27.55	c 27.4s |       7 |    42167 |     4723 |     5283      0 |     3958 |        0
28.89/28.95	c 28.8s |       8 |    42921 |     4936 |     5812      0 |     3958 |        0
31.09/31.10	c 30.9s |       8 |    48443 |     5336 |     5812      0 |     3958 |        0
33.19/33.25	c 33.1s |       8 |    51524 |     5636 |     5812      0 |     3958 |        0
35.59/35.68	c 35.5s |       8 |    53932 |     5936 |     5812      0 |     3958 |        0
37.69/37.77	c 37.6s |       8 |    54925 |     6136 |     5812      0 |     3958 |        0
40.29/40.31	c 40.1s |       8 |    55949 |     6336 |     5812      0 |     3958 |        0
42.49/42.58	c 42.4s |       8 |    57911 |     6536 |     5812      0 |     3958 |        0
45.29/45.32	c 45.2s |       8 |    58839 |     6736 |     5812      0 |     3958 |        0
47.98/48.09	c 47.9s |       8 |    60711 |     7036 |     5812      0 |     3958 |        0
50.08/50.10	c 49.9s |       8 |    62338 |     7336 |     5812      0 |     3958 |        0
51.38/51.46	c 51.3s |       9 |    62851 |     7506 |     6394      0 |     3958 |        0
53.89/53.97	c 53.8s |       9 |    67453 |     8006 |     6394      0 |     3958 |        0
56.28/56.37	c 56.2s |       9 |    70967 |     8306 |     6394      0 |     3958 |        0
58.78/58.84	c 58.7s |       9 |    72213 |     8606 |     6394      0 |     3958 |        0
61.88/61.98	c 61.8s |       9 |    73300 |     8906 |     6394      0 |     3958 |        0
64.18/64.23	c 64.1s |       9 |    74247 |     9106 |     6394      0 |     3958 |        0
66.68/66.74	c 66.6s |       9 |    74809 |     9306 |     6394      0 |     3958 |        0
69.08/69.18	c 69.0s |       9 |    75858 |     9606 |     6394      0 |     3958 |        0
71.59/71.61	c 71.4s |       9 |    77353 |     9906 |     6394      0 |     3958 |        0
73.88/73.93	c 73.8s |       9 |    78335 |    10206 |     6394      0 |     3958 |        0
76.47/76.55	c 76.4s |       9 |    79941 |    10506 |     6394      0 |     3958 |        0
79.18/79.24	c 79.1s |       9 |    80884 |    10806 |     6394      0 |     3958 |        0
81.57/81.62	c 81.5s |       9 |    82049 |    11106 |     6394      0 |     3958 |        0
83.27/83.32	c 83.2s |      10 |    83228 |    11361 |     7034      0 |     3958 |        0
85.28/85.39	c 85.2s |      10 |    87049 |    11961 |     7034      1 |     3958 |        0
87.37/87.46	c 87.3s |      10 |    90919 |    12961 |     7034      1 |     3958 |        0
89.37/89.49	c 89.3s |      10 |    93683 |    13761 |     7034      1 |     3958 |        0
91.58/91.60	c 91.4s |      10 |    96566 |    14561 |     7034      1 |     3958 |        0
93.68/93.75	c 93.6s |      10 |    98793 |    15161 |     7034      1 |     3958 |        0
96.17/96.28	c 96.1s |      10 |   100839 |    15761 |     7034      1 |     3958 |        0
98.37/98.42	c 98.2s |      10 |   102814 |    16261 |     7034      1 |     3958 |        0
100.38/100.41	c  100s |      11 |   105468 |    17144 |     7738      1 |     3958 |        0
102.39/102.46	c  102s |      11 |   108624 |    17544 |     7738      1 |     3958 |        0
104.49/104.54	c  104s |      11 |   109702 |    17844 |     7738      1 |     3958 |        0
107.08/107.13	c  106s |      11 |   111749 |    18144 |     7738      1 |     3958 |        0
109.17/109.20	c  109s |      11 |   112449 |    18344 |     7738      1 |     3958 |        0
111.67/111.71	c  111s |      11 |   113365 |    18544 |     7738      1 |     3958 |        0
113.87/113.92	c  113s |      11 |   114619 |    18744 |     7738      1 |     3958 |        0
116.38/116.46	c  116s |      11 |   115919 |    19044 |     7738      1 |     3958 |        0
119.27/119.35	c  119s |      11 |   117478 |    19344 |     7738      1 |     3958 |        0
121.77/121.83	c  121s |      11 |   117929 |    19544 |     7738      1 |     3958 |        0
124.28/124.39	c  124s |      11 |   118727 |    19744 |     7738      1 |     3958 |        0
126.67/126.73	c  126s |      11 |   119479 |    19944 |     7738      1 |     3958 |        0
129.67/129.71	c  129s |      11 |   120227 |    20144 |     7738      1 |     3958 |        0
132.37/132.40	c  132s |      11 |   120870 |    20344 |     7738      1 |     3958 |        0
134.87/134.95	c  134s |      11 |   122450 |    20544 |     7738      2 |     3958 |        0
137.27/137.31	c  137s |      11 |   123393 |    20744 |     7738      2 |     3958 |        0
140.47/140.51	c  140s |      11 |   126415 |    21044 |     7738      2 |     3958 |        0
143.37/143.48	c  143s |      11 |   127689 |    21244 |     7738      2 |     3958 |        0
146.87/146.96	c  146s |      11 |   128391 |    21444 |     7738      2 |     3958 |        0
150.17/150.26	c  150s |      11 |   130222 |    21644 |     7738      2 |     3958 |        0
153.26/153.34	c  153s |      11 |   130982 |    21844 |     7738      2 |     3958 |        0
155.87/155.90	c  155s |      11 |   132525 |    22044 |     7738      2 |     3958 |        0
158.77/158.82	c  158s |      11 |   133299 |    22244 |     7738      2 |     3958 |        0
161.37/161.46	c  161s |      11 |   134715 |    22444 |     7738      2 |     3958 |        0
164.66/164.74	c  164s |      11 |   136114 |    22644 |     7738      2 |     3958 |        0
168.17/168.23	c  168s |      11 |   136838 |    22844 |     7738      2 |     3958 |        0
170.27/170.33	c  170s |      11 |   137708 |    23044 |     7738      2 |     3958 |        0
172.67/172.73	c  172s |      11 |   138504 |    23244 |     7738      2 |     3958 |        0
175.26/175.37	c  175s |      11 |   139494 |    23444 |     7738      2 |     3958 |        0
177.56/177.61	c  177s |      11 |   140386 |    23644 |     7738      2 |     3958 |        0
180.47/180.57	c  180s |      11 |   141090 |    23844 |     7738      2 |     3958 |        0
182.97/183.05	c  182s |      11 |   142978 |    24244 |     7738      2 |     3958 |        0
184.96/185.07	c  184s |      11 |   143584 |    24444 |     7738      2 |     3958 |        0
187.16/187.25	c  187s |      11 |   144395 |    24644 |     7738      2 |     3958 |        0
189.96/190.07	c  189s |      11 |   145185 |    24844 |     7738      2 |     3958 |        0
192.26/192.32	c  192s |      11 |   145564 |    24944 |     7738      2 |     3958 |        0
194.56/194.63	c  194s |      11 |   145724 |    25044 |     7738      2 |     3958 |        0
197.86/197.98	c  197s |      11 |   146419 |    25244 |     7738      2 |     3958 |        0
201.56/201.68	c  201s |      11 |   147291 |    25444 |     7738      2 |     3958 |        0
204.26/204.33	c  204s |      11 |   148018 |    25644 |     7738      2 |     3958 |        0
205.46/205.59	c  205s |      12 |   149010 |    25819 |     8512      2 |     3958 |        0
207.56/207.60	c  207s |      12 |   151544 |    26019 |     8512      3 |     3958 |        0
209.66/209.75	c  209s |      12 |   153777 |    26319 |     8512      3 |     3958 |        0
212.55/212.66	c  212s |      12 |   155526 |    26619 |     8512      3 |     3958 |        0
215.16/215.23	c  215s |      12 |   156601 |    26919 |     8512      3 |     3958 |        0
217.26/217.35	c  217s |      12 |   157189 |    27119 |     8512      3 |     3958 |        0
219.35/219.46	c  219s |      12 |   157626 |    27319 |     8512      3 |     3958 |        0
221.85/221.94	c  221s |      12 |   158041 |    27519 |     8512      3 |     3958 |        0
224.15/224.20	c  224s |      12 |   159454 |    27819 |     8512      3 |     3958 |        0
227.16/227.21	c  227s |      12 |   160822 |    28119 |     8512      3 |     3958 |        0
230.16/230.21	c  230s |      12 |   161443 |    28319 |     8512      3 |     3958 |        0
232.86/232.98	c  232s |      12 |   162384 |    28519 |     8512      3 |     3958 |        0
235.56/235.63	c  235s |      12 |   162982 |    28719 |     8512      3 |     3958 |        0
237.95/238.01	c  237s |      12 |   164074 |    29019 |     8512      3 |     3958 |        0
240.15/240.22	c  240s |      12 |   164843 |    29219 |     8512      3 |     3958 |        0
243.45/243.53	c  243s |      12 |   166250 |    29519 |     8512      3 |     3958 |        0
245.66/245.75	c  245s |      12 |   166962 |    29719 |     8512      3 |     3958 |        0
248.16/248.26	c  248s |      12 |   167396 |    29919 |     8512      3 |     3958 |        0
250.76/250.85	c  250s |      12 |   167777 |    30119 |     8512      3 |     3958 |        0
252.85/252.96	c  252s |      12 |   168729 |    30319 |     8512      3 |     3958 |        0
255.55/255.64	c  255s |      12 |   169288 |    30519 |     8512      3 |     3958 |        0
257.66/257.76	c  257s |      12 |   170014 |    30719 |     8512      3 |     3958 |        0
260.45/260.57	c  260s |      12 |   170663 |    30919 |     8512      3 |     3958 |        0
263.65/263.75	c  263s |      12 |   171346 |    31119 |     8512      3 |     3958 |        0
266.65/266.73	c  266s |      12 |   172639 |    31419 |     8512      3 |     3958 |        0
268.75/268.86	c  268s |      12 |   173738 |    31619 |     8512      3 |     3958 |        0
271.66/271.76	c  271s |      12 |   174326 |    31819 |     8512      3 |     3958 |        0
274.15/274.23	c  274s |      12 |   175101 |    32019 |     8512      3 |     3958 |        0
276.55/276.62	c  276s |      12 |   175804 |    32219 |     8512      3 |     3958 |        0
279.15/279.25	c  279s |      12 |   176427 |    32419 |     8512      3 |     3958 |        0
281.25/281.32	c  281s |      12 |   177453 |    32619 |     8512      3 |     3958 |        0
284.05/284.10	c  283s |      12 |   177968 |    32819 |     8512      3 |     3958 |        0
286.65/286.70	c  286s |      12 |   178387 |    33019 |     8512      3 |     3958 |        0
289.35/289.42	c  289s |      12 |   178775 |    33219 |     8512      3 |     3958 |        0
291.55/291.67	c  291s |      12 |   179399 |    33419 |     8512      3 |     3958 |        0
294.76/294.85	c  294s |      12 |   180257 |    33719 |     8512      3 |     3958 |        0
297.54/297.65	c  297s |      12 |   180842 |    33919 |     8512      3 |     3958 |        0
300.35/300.43	c  300s |      12 |   181350 |    34119 |     8512      3 |     3958 |        0
303.15/303.27	c  303s |      12 |   182028 |    34319 |     8512      3 |     3958 |        0
305.75/305.85	c  305s |      12 |   182620 |    34519 |     8512      3 |     3958 |        0
308.84/308.93	c  308s |      12 |   183094 |    34719 |     8512      3 |     3958 |        0
311.64/311.79	c  311s |      12 |   183743 |    34919 |     8512      3 |     3958 |        0
314.15/314.28	c  314s |      12 |   184438 |    35119 |     8512      3 |     3958 |        0
316.34/316.44	c  316s |      12 |   184629 |    35219 |     8512      4 |     3958 |        0
319.24/319.37	c  319s |      12 |   185318 |    35419 |     8512      4 |     3958 |        0
322.64/322.71	c  322s |      12 |   185770 |    35619 |     8512      4 |     3958 |        0
325.44/325.51	c  325s |      12 |   186543 |    35819 |     8512      4 |     3958 |        0
328.54/328.63	c  328s |      12 |   187242 |    36019 |     8512      4 |     3958 |        0
332.15/332.21	c  332s |      12 |   187747 |    36219 |     8512      4 |     3958 |        0
335.04/335.18	c  335s |      12 |   188268 |    36419 |     8512      4 |     3958 |        0
338.33/338.43	c  338s |      12 |   188828 |    36619 |     8512      4 |     3958 |        0
341.34/341.49	c  341s |      12 |   189268 |    36819 |     8512      4 |     3958 |        0
344.44/344.54	c  344s |      12 |   190124 |    37019 |     8512      4 |     3958 |        0
347.74/347.83	c  347s |      12 |   190699 |    37219 |     8512      4 |     3958 |        0
351.23/351.34	c  351s |      12 |   191273 |    37419 |     8512      4 |     3958 |        0
354.34/354.45	c  354s |      12 |   191887 |    37619 |     8512      4 |     3958 |        0
357.63/357.72	c  357s |      12 |   192481 |    37819 |     8512      4 |     3958 |        0
361.13/361.26	c  361s |      12 |   192998 |    38019 |     8512      4 |     3958 |        0
364.43/364.50	c  364s |      12 |   193743 |    38219 |     8512      4 |     3958 |        0
367.54/367.67	c  367s |      12 |   194311 |    38419 |     8512      4 |     3958 |        0
370.64/370.76	c  370s |      12 |   195161 |    38619 |     9364      4 |     3958 |        0
374.04/374.19	c  374s |      12 |   195744 |    38819 |     9364      4 |     3958 |        0
374.33/374.45	c  374s |      13 |   195769 |    38832 |     9364      4 |     3958 |        0
376.43/376.51	c  376s |      13 |   198666 |    39432 |     9364      4 |     3958 |        0
378.53/378.67	c  378s |      13 |   202725 |    40332 |     9364      4 |     3958 |        0
380.83/380.93	c  380s |      13 |   206272 |    40732 |     9364      4 |     3958 |        0
382.92/383.02	c  382s |      13 |   209784 |    41232 |     9364      4 |     3958 |        0
385.32/385.47	c  385s |      13 |   211144 |    41532 |     9364      4 |     3958 |        0
387.82/387.96	c  387s |      13 |   213431 |    41932 |     9364      4 |     3958 |        0
390.32/390.48	c  390s |      13 |   216540 |    42332 |     9364      4 |     3958 |        0
392.53/392.67	c  392s |      13 |   220617 |    42632 |     9364      4 |     3958 |        0
395.42/395.54	c  395s |      13 |   221723 |    42832 |     9364      4 |     3958 |        0
398.62/398.75	c  398s |      13 |   222318 |    43032 |     9364      4 |     3958 |        0
400.92/401.00	c  400s |      13 |   223748 |    43332 |     9364      4 |     3958 |        0
403.02/403.10	c  402s |      13 |   224582 |    43532 |     9364      4 |     3958 |        0
405.72/405.87	c  405s |      13 |   226315 |    43732 |     9364      5 |     3958 |        0
408.22/408.36	c  408s |      13 |   226893 |    44032 |     9364      5 |     3958 |        0
410.62/410.78	c  410s |      13 |   229631 |    44332 |     9364      5 |     3958 |        0
413.12/413.23	c  413s |      13 |   230403 |    44532 |     9364      5 |     3958 |        0
415.83/415.92	c  415s |      13 |   231644 |    44732 |     9364      5 |     3958 |        0
418.52/418.63	c  418s |      13 |   232087 |    44932 |     9364      5 |     3958 |        0
421.82/421.92	c  421s |      13 |   234172 |    45232 |     9364      5 |     3958 |        0
423.92/424.04	c  423s |      13 |   235439 |    45532 |     9364      5 |     3958 |        0
426.12/426.20	c  426s |      13 |   236555 |    45832 |     9364      5 |     3958 |        0
428.51/428.64	c  428s |      13 |   237495 |    46132 |     9364      5 |     3958 |        0
430.71/430.89	c  430s |      13 |   238784 |    46432 |     9364      5 |     3958 |        0
433.11/433.21	c  433s |      13 |   240850 |    46732 |     9364      5 |     3958 |        0
435.91/436.09	c  435s |      13 |   243075 |    47032 |     9364      5 |     3958 |        0
438.21/438.38	c  438s |      13 |   243865 |    47232 |     9364      5 |     3958 |        0
440.41/440.59	c  440s |      13 |   244673 |    47432 |     9364      5 |     3958 |        0
442.71/442.88	c  442s |      13 |   245487 |    47632 |     9364      5 |     3958 |        0
445.10/445.20	c  445s |      13 |   246265 |    47832 |     9364      5 |     3958 |        0
447.61/447.80	c  447s |      13 |   246951 |    48032 |     9364      5 |     3958 |        0
450.10/450.28	c  450s |      13 |   247601 |    48232 |     9364      5 |     3958 |        0
452.21/452.30	c  452s |      13 |   248945 |    48432 |     9364      5 |     3958 |        0
454.60/454.70	c  454s |      13 |   249856 |    48632 |     9364      5 |     3958 |        0
457.40/457.60	c  457s |      13 |   253381 |    48932 |     9364      5 |     3958 |        0
460.20/460.37	c  460s |      13 |   254579 |    49132 |     9364      5 |     3958 |        0
463.40/463.57	c  463s |      13 |   255237 |    49332 |     9364      5 |     3958 |        0
466.20/466.31	c  466s |      13 |   256322 |    49532 |     9364      5 |     3958 |        0
468.19/468.33	c  468s |      13 |   257598 |    49732 |     9364      5 |     3958 |        0
471.09/471.21	c  471s |      13 |   258298 |    49932 |     9364      5 |     3958 |        0
474.40/474.51	c  474s |      13 |   259035 |    50132 |     9364      5 |     3958 |        0
477.10/477.22	c  477s |      13 |   259830 |    50232 |     9364      5 |     3958 |        0
480.80/480.98	c  480s |      13 |   260490 |    50432 |     9364      5 |     3958 |        0
484.10/484.20	c  484s |      13 |   261161 |    50632 |     9364      5 |     3958 |        0
486.80/486.98	c  486s |      13 |   261870 |    50832 |     9364      5 |     3958 |        0
489.29/489.43	c  489s |      13 |   263326 |    51032 |     9364      5 |     3958 |        0
492.29/492.42	c  492s |      13 |   265067 |    51232 |     9364      5 |     3958 |        0
494.69/494.89	c  494s |      13 |   265899 |    51432 |     9364      5 |     3958 |        0
498.09/498.25	c  498s |      13 |   266462 |    51632 |     9364      5 |     3958 |        0
501.69/501.80	c  501s |      13 |   267248 |    51832 |     9364      6 |     3958 |        0
503.69/503.87	c  503s |      13 |   268528 |    52032 |     9364      6 |     3958 |        0
506.48/506.68	c  506s |      13 |   269521 |    52232 |     9364      6 |     3958 |        0
509.68/509.86	c  509s |      13 |   270380 |    52432 |     9364      6 |     3958 |        0
512.68/512.84	c  512s |      13 |   271156 |    52632 |     9364      6 |     3958 |        0
515.48/515.64	c  515s |      13 |   273961 |    52832 |     9364      6 |     3958 |        0
518.58/518.75	c  518s |      13 |   274915 |    53032 |     9364      6 |     3958 |        0
521.58/521.75	c  521s |      13 |   276189 |    53232 |     9364      6 |     3958 |        0
523.98/524.10	c  523s |      13 |   277316 |    53432 |     9364      6 |     3958 |        0
526.28/526.46	c  526s |      13 |   278644 |    53632 |     9364      6 |     3958 |        0
529.28/529.41	c  529s |      13 |   279527 |    53832 |     9364      6 |     3958 |        0
531.88/532.06	c  531s |      13 |   280363 |    54032 |     9364      6 |     3958 |        0
534.48/534.66	c  534s |      13 |   281235 |    54232 |     9364      6 |     3958 |        0
536.68/536.84	c  536s |      13 |   282012 |    54432 |     9364      6 |     3958 |        0
539.07/539.26	c  539s |      13 |   282882 |    54632 |     9364      6 |     3958 |        0
541.87/542.02	c  541s |      13 |   283572 |    54832 |     9364      6 |     3958 |        0
544.87/545.07	c  544s |      13 |   284977 |    55032 |     9364      6 |     3958 |        0
547.98/548.17	c  548s |      13 |   285782 |    55232 |     9364      6 |     3958 |        0
551.37/551.51	c  551s |      13 |   287119 |    55432 |     9364      6 |     3958 |        0
554.67/554.89	c  554s |      13 |   288561 |    55632 |     9364      6 |     3958 |        0
557.87/558.03	c  557s |      13 |   289680 |    55832 |     9364      6 |     3958 |        0
561.67/561.86	c  561s |      13 |   290323 |    56032 |     9364      6 |     3958 |        0
564.87/565.03	c  564s |      13 |   291191 |    56232 |     9364      6 |     3958 |        0
568.36/568.52	c  568s |      13 |   292392 |    56432 |     9364      6 |     3958 |        0
571.56/571.72	c  571s |      13 |   292923 |    56632 |     9364      6 |     3958 |        0
574.07/574.23	c  574s |      13 |   293398 |    56732 |     9364      6 |     3958 |        0
578.06/578.26	c  578s |      13 |   293833 |    56832 |     9364      6 |     3958 |        0
580.96/581.14	c  580s |      13 |   294424 |    56932 |     9364      6 |     3958 |        0
584.66/584.89	c  584s |      13 |   295361 |    57132 |     9364      6 |     3958 |        0
587.26/587.43	c  587s |      13 |   297632 |    57332 |     9364      6 |     3958 |        0
590.66/590.82	c  590s |      13 |   298364 |    57532 |     9364      6 |     3958 |        0
593.55/593.71	c  593s |      13 |   299430 |    57732 |     9364      6 |     3958 |        0
597.85/598.02	c  597s |      13 |   300241 |    57932 |     9364      6 |     3958 |        0
601.25/601.42	c  601s |      13 |   300631 |    58032 |    10301      6 |     3958 |        0
603.65/603.83	c  603s |      13 |   301274 |    58132 |    10301      6 |     3958 |        0
607.15/607.34	c  607s |      13 |   301943 |    58332 |    10301      6 |     3958 |        0
607.44/607.60	c  607s |      14 |   302078 |    58352 |    10301      6 |     3958 |        0
610.04/610.24	c  610s |      14 |   305585 |    58652 |    10301      7 |     3958 |        0
612.35/612.51	c  612s |      14 |   307173 |    59052 |    10301      7 |     3958 |        0
615.05/615.25	c  615s |      14 |   308029 |    59352 |    10301      7 |     3958 |        0
617.64/617.82	c  617s |      14 |   308916 |    59652 |    10301      7 |     3958 |        0
620.14/620.39	c  620s |      14 |   309982 |    59952 |    10301      7 |     3958 |        0
623.04/623.22	c  623s |      14 |   310810 |    60252 |    10301      7 |     3958 |        0
625.23/625.41	c  625s |      14 |   311446 |    60452 |    10301      7 |     3958 |        0
627.95/628.12	c  627s |      14 |   313129 |    60852 |    10301      7 |     3958 |        0
630.54/630.72	c  630s |      14 |   314496 |    61252 |    10301      7 |     3958 |        0
632.94/633.12	c  632s |      14 |   315431 |    61552 |    10301      7 |     3958 |        0
635.34/635.53	c  635s |      14 |   316677 |    61852 |    10301      7 |     3958 |        0
637.44/637.61	c  637s |      14 |   317940 |    62152 |    10301      7 |     3958 |        0
640.14/640.32	c  640s |      14 |   319045 |    62452 |    10301      7 |     3958 |        0
642.53/642.71	c  642s |      14 |   319491 |    62652 |    10301      7 |     3958 |        0
644.83/645.04	c  644s |      14 |   320724 |    62952 |    10301      7 |     3958 |        0
647.43/647.63	c  647s |      14 |   322715 |    63252 |    10301      7 |     3958 |        0
649.93/650.18	c  650s |      14 |   323708 |    63552 |    10301      7 |     3958 |        0
652.42/652.61	c  652s |      14 |   324851 |    63852 |    10301      7 |     3958 |        0
654.83/655.02	c  654s |      14 |   326256 |    64152 |    10301      7 |     3958 |        0
657.64/657.82	c  657s |      14 |   327195 |    64452 |    10301      7 |     3958 |        0
660.03/660.21	c  660s |      14 |   328707 |    64752 |    10301      7 |     3958 |        0
663.03/663.27	c  663s |      14 |   329898 |    65052 |    10301      7 |     3958 |        0
665.22/665.41	c  665s |      14 |   330514 |    65252 |    10301      7 |     3958 |        0
668.02/668.21	c  668s |      14 |   331616 |    65452 |    10301      7 |     3958 |        0
670.83/671.05	c  670s |      14 |   332306 |    65652 |    10301      7 |     3958 |        0
674.02/674.22	c  674s |      14 |   332982 |    65852 |    10301      7 |     3958 |        0
677.72/677.93	c  677s |      14 |   333433 |    66052 |    10301      7 |     3958 |        0
681.12/681.31	c  681s |      14 |   333815 |    66252 |    10301      7 |     3958 |        0
684.22/684.47	c  684s |      14 |   334554 |    66552 |    10301      7 |     3958 |        0
686.61/686.82	c  686s |      14 |   335346 |    66752 |    10301      7 |     3958 |        0
690.01/690.20	c  690s |      14 |   336000 |    66952 |    10301      7 |     3958 |        0
692.71/692.98	c  692s |      14 |   336747 |    67152 |    10301      7 |     3958 |        0
695.12/695.39	c  695s |      14 |   337913 |    67352 |    10301      7 |     3958 |        0
698.32/698.52	c  698s |      14 |   338707 |    67552 |    10301      7 |     3958 |        0
701.62/701.84	c  701s |      14 |   339513 |    67752 |    10301      7 |     3958 |        0
704.61/704.89	c  704s |      14 |   340423 |    68052 |    10301      7 |     3958 |        0
706.91/707.16	c  706s |      14 |   341161 |    68252 |    10301      7 |     3958 |        0
709.91/710.11	c  709s |      14 |   342169 |    68452 |    10301      7 |     3958 |        0
712.72/712.95	c  712s |      14 |   342680 |    68652 |    10301      7 |     3958 |        0
714.81/715.02	c  714s |      14 |   342907 |    68752 |    10301      8 |     3958 |        0
717.31/717.52	c  717s |      14 |   343898 |    68952 |    10301      8 |     3958 |        0
720.31/720.60	c  720s |      14 |   344481 |    69152 |    10301      8 |     3958 |        0
723.11/723.32	c  723s |      14 |   344963 |    69352 |    10301      8 |     3958 |        0
725.41/725.63	c  725s |      14 |   345809 |    69552 |    10301      8 |     3958 |        0
727.70/727.97	c  727s |      14 |   346483 |    69752 |    10301      8 |     3958 |        0
730.31/730.56	c  730s |      14 |   347083 |    69952 |    10301      8 |     3958 |        0
733.11/733.30	c  733s |      14 |   347652 |    70152 |    10301      8 |     3958 |        0
736.21/736.42	c  736s |      14 |   348960 |    70452 |    10301      8 |     3958 |        0
738.51/738.73	c  738s |      14 |   349611 |    70652 |    10301      8 |     3958 |        0
740.61/740.87	c  740s |      14 |   350206 |    70852 |    10301      8 |     3958 |        0
743.10/743.31	c  743s |      14 |   350796 |    71052 |    10301      8 |     3958 |        0
745.50/745.79	c  745s |      14 |   351363 |    71252 |    10301      8 |     3958 |        0
748.20/748.49	c  748s |      14 |   352095 |    71452 |    10301      8 |     3958 |        0
750.81/751.03	c  750s |      14 |   352493 |    71652 |    10301      8 |     3958 |        0
753.31/753.60	c  753s |      14 |   353327 |    71852 |    10301      8 |     3958 |        0
756.20/756.48	c  756s |      14 |   353790 |    72052 |    10301      8 |     3958 |        0
758.81/759.06	c  758s |      14 |   354499 |    72252 |    10301      8 |     3958 |        0
761.70/761.96	c  761s |      14 |   355135 |    72452 |    10301      8 |     3958 |        0
764.30/764.60	c  764s |      14 |   355779 |    72652 |    10301      8 |     3958 |        0
766.90/767.19	c  767s |      14 |   356761 |    72852 |    10301      8 |     3958 |        0
769.60/769.81	c  769s |      14 |   357286 |    73052 |    10301      8 |     3958 |        0
771.70/771.99	c  771s |      14 |   357987 |    73252 |    10301      8 |     3958 |        0
774.60/774.89	c  774s |      14 |   358827 |    73452 |    10301      8 |     3958 |        0
778.30/778.51	c  778s |      14 |   359762 |    73652 |    10301      8 |     3958 |        0
780.91/781.13	c  780s |      14 |   361075 |    73852 |    10301      8 |     3958 |        0
783.20/783.49	c  783s |      14 |   362075 |    74052 |    10301      8 |     3958 |        0
785.90/786.17	c  786s |      14 |   362876 |    74252 |    10301      8 |     3958 |        0
788.79/789.06	c  788s |      14 |   363644 |    74452 |    10301      8 |     3958 |        0
791.59/791.88	c  791s |      14 |   364503 |    74652 |    10301      8 |     3958 |        0
794.59/794.82	c  794s |      14 |   365401 |    74852 |    10301      8 |     3958 |        0
798.10/798.35	c  798s |      14 |   366371 |    75052 |    10301      8 |     3958 |        0
801.50/801.70	c  801s |      14 |   367149 |    75252 |    10301      8 |     3958 |        0
804.60/804.89	c  804s |      14 |   368058 |    75452 |    10301      8 |     3958 |        0
807.79/808.04	c  807s |      14 |   368709 |    75652 |    10301      8 |     3958 |        0
811.29/811.52	c  811s |      14 |   370139 |    75852 |    10301      8 |     3958 |        0
814.29/814.55	c  814s |      14 |   372424 |    76052 |    10301      8 |     3958 |        0
816.49/816.77	c  816s |      14 |   372872 |    76152 |    10301      8 |     3958 |        0
818.99/819.29	c  819s |      14 |   373715 |    76352 |    10301      8 |     3958 |        0
822.09/822.30	c  822s |      14 |   374363 |    76552 |    10301      8 |     3958 |        0
825.69/825.98	c  825s |      14 |   374870 |    76752 |    10301      8 |     3958 |        0
829.09/829.34	c  829s |      14 |   375290 |    76952 |    10301      8 |     3958 |        0
832.50/832.79	c  832s |      14 |   375757 |    77152 |    10301      8 |     3958 |        0
835.19/835.42	c  835s |      14 |   376920 |    77352 |    10301      8 |     3958 |        0
838.59/838.81	c  838s |      14 |   377529 |    77552 |    10301      9 |     3958 |        0
841.18/841.48	c  841s |      14 |   378295 |    77752 |    10301      9 |     3958 |        0
843.39/843.61	c  843s |      14 |   379331 |    77952 |    10301      9 |     3958 |        0
845.39/845.68	c  845s |      14 |   380148 |    78152 |    10301      9 |     3958 |        0
848.59/848.81	c  848s |      14 |   380936 |    78352 |    10301      9 |     3958 |        0
851.79/852.03	c  851s |      14 |   381571 |    78552 |    10301      9 |     3958 |        0
854.79/855.02	c  854s |      14 |   382499 |    78752 |    10301      9 |     3958 |        0
857.18/857.44	c  857s |      14 |   383214 |    78952 |    10301      9 |     3958 |        0
860.10/860.34	c  860s |      14 |   383855 |    79152 |    10301      9 |     3958 |        0
863.18/863.43	c  863s |      14 |   384418 |    79352 |    10301      9 |     3958 |        0
865.88/866.17	c  865s |      14 |   385217 |    79552 |    10301      9 |     3958 |        0
868.99/869.27	c  869s |      14 |   385747 |    79752 |    10301      9 |     3958 |        0
871.49/871.72	c  871s |      14 |   386416 |    79952 |    10301      9 |     3958 |        0
874.49/874.70	c  874s |      14 |   386911 |    80152 |    10301      9 |     3958 |        0
877.18/877.45	c  877s |      14 |   387446 |    80352 |    10301      9 |     3958 |        0
880.08/880.34	c  880s |      14 |   387989 |    80552 |    10301      9 |     3958 |        0
882.18/882.43	c  882s |      14 |   388837 |    80752 |    10301      9 |     3958 |        0
884.38/884.67	c  884s |      14 |   389311 |    80952 |    10301      9 |     3958 |        0
886.98/887.30	c  887s |      14 |   391267 |    81252 |    10301      9 |     3958 |        0
889.28/889.51	c  889s |      14 |   392261 |    81452 |    10301      9 |     3958 |        0
891.58/891.85	c  891s |      14 |   392858 |    81652 |    10301      9 |     3958 |        0
894.09/894.31	c  894s |      14 |   393714 |    81852 |    10301      9 |     3958 |        0
896.88/897.11	c  896s |      14 |   394584 |    82052 |    10301      9 |     3958 |        0
899.08/899.31	c  899s |      14 |   395331 |    82252 |    10301      9 |     3958 |        0
901.68/901.97	c  901s |      14 |   395954 |    82452 |    10301      9 |     3958 |        0
904.48/904.75	c  904s |      14 |   396602 |    82652 |    10301      9 |     3958 |        0
907.08/907.34	c  907s |      14 |   397178 |    82852 |    10301      9 |     3958 |        0
909.87/910.18	c  910s |      14 |   397936 |    83052 |    10301      9 |     3958 |        0
912.58/912.89	c  912s |      14 |   398565 |    83252 |    10301      9 |     3958 |        0
915.38/915.64	c  915s |      14 |   399094 |    83452 |    10301      9 |     3958 |        0
918.39/918.69	c  918s |      14 |   399790 |    83652 |    10301      9 |     3958 |        0
921.58/921.84	c  921s |      14 |   400209 |    83852 |    10301      9 |     3958 |        0
924.77/925.08	c  924s |      14 |   400928 |    84052 |    10301      9 |     3958 |        0
927.87/928.14	c  927s |      14 |   401607 |    84252 |    10301      9 |     3958 |        0
931.17/931.46	c  931s |      14 |   402343 |    84452 |    10301      9 |     3958 |        0
934.28/934.58	c  934s |      14 |   403099 |    84652 |    10301      9 |     3958 |        0
937.78/938.09	c  937s |      14 |   403569 |    84852 |    10301      9 |     3958 |        0
941.48/941.74	c  941s |      14 |   404037 |    85052 |    10301      9 |     3958 |        0
944.78/945.04	c  944s |      14 |   404642 |    85252 |    10301      9 |     3958 |        0
947.57/947.89	c  947s |      14 |   405715 |    85552 |    10301      9 |     3958 |        0
950.87/951.14	c  950s |      14 |   406881 |    85852 |    10301      9 |     3958 |        0
953.97/954.29	c  954s |      14 |   408162 |    86152 |    10301      9 |     3958 |        0
957.37/957.61	c  957s |      14 |   409079 |    86352 |    10301     10 |     3958 |        0
960.37/960.65	c  960s |      14 |   410430 |    86652 |    10301     10 |     3958 |        0
962.67/962.99	c  962s |      14 |   411582 |    86852 |    10301     10 |     3958 |        0
965.58/965.81	c  965s |      14 |   412368 |    87052 |    11332     10 |     3958 |        0
968.27/968.57	c  968s |      14 |   413445 |    87252 |    11332     10 |     3958 |        0
971.07/971.34	c  971s |      14 |   413847 |    87452 |    11332     10 |     3958 |        0
973.47/973.73	c  973s |      15 |   414487 |    87632 |    11332     10 |     3958 |        0
975.58/975.90	c  975s |      15 |   417279 |    88032 |    11332     10 |     3958 |        0
978.27/978.53	c  978s |      15 |   419144 |    88532 |    11332     10 |     3958 |        0
980.76/981.06	c  980s |      15 |   420268 |    88932 |    11332     10 |     3958 |        0
983.07/983.32	c  983s |      15 |   421533 |    89232 |    11332     10 |     3958 |        0
985.17/985.40	c  985s |      15 |   424723 |    89832 |    11332     10 |     3958 |        0
987.37/987.69	c  987s |      15 |   426565 |    90432 |    11332     10 |     3958 |        0
989.56/989.80	c  989s |      15 |   428841 |    91032 |    11332     10 |     3958 |        0
991.76/992.09	c  991s |      15 |   431609 |    91632 |    11332     10 |     3958 |        0
994.06/994.34	c  994s |      15 |   433892 |    92232 |    11332     10 |     3958 |        0
996.26/996.59	c  996s |      15 |   437027 |    92832 |    11332     10 |     3958 |        0
998.67/998.99	c  998s |      15 |   438022 |    93132 |    11332     10 |     3958 |        0
1001.06/1001.32	c 1001s |      15 |   441459 |    93732 |    11332     10 |     3958 |        0
1003.56/1003.81	c 1003s |      15 |   443733 |    94232 |    11332     11 |     3958 |        0
1005.66/1005.97	c 1005s |      15 |   446814 |    94832 |    11332     11 |     3958 |        0
1007.76/1008.00	c 1007s |      15 |   447673 |    95132 |    11332     11 |     3958 |        0
1009.96/1010.25	c 1010s |      15 |   448843 |    95432 |    11332     11 |     3958 |        0
1011.97/1012.28	c 1012s |      15 |   450379 |    95832 |    11332     11 |     3958 |        0
1014.16/1014.49	c 1014s |      15 |   451763 |    96232 |    11332     11 |     3958 |        0
1016.56/1016.87	c 1016s |      15 |   453242 |    96632 |    11332     11 |     3958 |        0
1018.66/1018.91	c 1018s |      15 |   454266 |    96932 |    11332     11 |     3958 |        0
1021.36/1021.63	c 1021s |      15 |   456074 |    97332 |    11332     11 |     3958 |        0
1023.46/1023.73	c 1023s |      15 |   457399 |    97732 |    11332     11 |     3958 |        0
1025.56/1025.83	c 1025s |      15 |   458877 |    98132 |    11332     11 |     3958 |        0
1027.76/1028.02	c 1027s |      15 |   461220 |    98632 |    11332     11 |     3958 |        0
1029.86/1030.10	c 1029s |      15 |   462747 |    99032 |    11332     11 |     3958 |        0
1031.96/1032.27	c 1032s |      15 |   464661 |    99432 |    11332     11 |     3958 |        0
1034.26/1034.58	c 1034s |      15 |   466050 |    99832 |    11332     11 |     3958 |        0
1036.76/1037.04	c 1036s |      15 |   467655 |   100232 |    11332     11 |     3958 |        0
1039.16/1039.50	c 1039s |      15 |   468426 |   100532 |    11332     11 |     3958 |        0
1041.47/1041.78	c 1041s |      15 |   469230 |   100832 |    11332     11 |     3958 |        0
1043.96/1044.20	c 1044s |      15 |   470695 |   101232 |    11332     11 |     3958 |        0
1046.46/1046.78	c 1046s |      15 |   472438 |   101532 |    11332     11 |     3958 |        0
1048.95/1049.20	c 1049s |      15 |   474110 |   101932 |    11332     11 |     3958 |        0
1051.16/1051.45	c 1051s |      15 |   475336 |   102232 |    11332     11 |     3958 |        0
1053.96/1054.26	c 1054s |      15 |   476665 |   102532 |    11332     12 |     3958 |        0
1056.35/1056.63	c 1056s |      15 |   477632 |   102832 |    11332     12 |     3958 |        0
1058.76/1059.04	c 1058s |      15 |   478606 |   103232 |    11332     12 |     3958 |        0
1061.26/1061.54	c 1061s |      15 |   480325 |   103732 |    11332     12 |     3958 |        0
1063.47/1063.77	c 1063s |      15 |   483028 |   104232 |    11332     12 |     3958 |        0
1065.96/1066.22	c 1066s |      15 |   484690 |   104632 |    11332     12 |     3958 |        0
1068.25/1068.55	c 1068s |      15 |   486378 |   105032 |    11332     12 |     3958 |        0
1070.95/1071.25	c 1071s |      15 |   489191 |   105532 |    11332     12 |     3958 |        0
1073.46/1073.78	c 1073s |      15 |   490530 |   105932 |    11332     12 |     3958 |        0
1075.96/1076.21	c 1076s |      15 |   492728 |   106332 |    11332     12 |     3958 |        0
1078.86/1079.15	c 1078s |      15 |   493852 |   106632 |    11332     12 |     3958 |        0
1081.16/1081.44	c 1081s |      15 |   494832 |   106932 |    11332     12 |     3958 |        0
1083.15/1083.47	c 1083s |      15 |   495495 |   107232 |    11332     12 |     3958 |        0
1085.35/1085.62	c 1085s |      15 |   496714 |   107632 |    11332     12 |     3958 |        0
1087.96/1088.24	c 1088s |      15 |   498179 |   108032 |    11332     12 |     3958 |        0
1090.05/1090.37	c 1090s |      15 |   499787 |   108432 |    11332     12 |     3958 |        0
1092.35/1092.67	c 1092s |      15 |   500848 |   108832 |    11332     12 |     3958 |        0
1094.75/1095.01	c 1094s |      15 |   502134 |   109232 |    11332     12 |     3958 |        0
1096.75/1097.02	c 1096s |      15 |   503638 |   109532 |    11332     12 |     3958 |        0
1098.85/1099.19	c 1099s |      15 |   504414 |   109832 |    11332     12 |     3958 |        0
1101.15/1101.43	c 1101s |      15 |   505555 |   110132 |    11332     12 |     3958 |        0
1103.55/1103.83	c 1103s |      15 |   506831 |   110432 |    11332     12 |     3958 |        0
1106.64/1106.90	c 1106s |      15 |   507981 |   110732 |    11332     12 |     3958 |        0
1109.15/1109.40	c 1109s |      15 |   508544 |   110932 |    11332     13 |     3958 |        0
1111.95/1112.21	c 1112s |      15 |   509473 |   111232 |    11332     13 |     3958 |        0
1114.16/1114.42	c 1114s |      15 |   510130 |   111432 |    11332     13 |     3958 |        0
1116.55/1116.83	c 1116s |      15 |   511583 |   111732 |    11332     13 |     3958 |        0
1119.25/1119.58	c 1119s |      15 |   513088 |   112132 |    11332     13 |     3958 |        0
1121.54/1121.86	c 1121s |      15 |   514874 |   112632 |    11332     13 |     3958 |        0
1123.74/1124.00	c 1123s |      15 |   517967 |   113432 |    11332     13 |     3958 |        0
1125.74/1126.09	c 1125s |      15 |   521651 |   114332 |    11332     13 |     3958 |        0
1128.14/1128.45	c 1128s |      15 |   523930 |   114932 |    11332     13 |     3958 |        0
1130.45/1130.78	c 1130s |      15 |   526105 |   115532 |    11332     13 |     3958 |        0
1132.54/1132.83	c 1132s |      15 |   528240 |   116032 |    11332     13 |     3958 |        0
1134.64/1134.92	c 1134s |      15 |   531257 |   116632 |    11332     13 |     3958 |        0
1136.74/1137.06	c 1136s |      15 |   533984 |   117332 |    11332     13 |     3958 |        0
1139.04/1139.31	c 1139s |      15 |   537122 |   118032 |    11332     13 |     3958 |        0
1141.34/1141.60	c 1141s |      15 |   539734 |   118632 |    11332     13 |     3958 |        0
1144.44/1144.78	c 1144s |      15 |   542730 |   119232 |    11332     14 |     3958 |        0
1146.64/1146.94	c 1146s |      15 |   544422 |   119732 |    11332     14 |     3958 |        0
1148.74/1149.01	c 1148s |      15 |   547026 |   120432 |    11332     14 |     3958 |        0
1151.04/1151.35	c 1151s |      15 |   548713 |   121032 |    11332     14 |     3958 |        0
1153.14/1153.42	c 1153s |      15 |   551042 |   121632 |    11332     14 |     3958 |        0
1155.14/1155.48	c 1155s |      15 |   553206 |   122232 |    11332     14 |     3958 |        0
1157.34/1157.68	c 1157s |      15 |   555398 |   122832 |    11332     14 |     3958 |        0
1159.84/1160.16	c 1159s |      15 |   558677 |   123532 |    11332     14 |     3958 |        0
1162.34/1162.66	c 1162s |      15 |   559732 |   123932 |    11332     14 |     3958 |        0
1164.54/1164.87	c 1164s |      15 |   561455 |   124432 |    11332     14 |     3958 |        0
1166.74/1167.07	c 1166s |      15 |   563810 |   125032 |    11332     14 |     3958 |        0
1168.74/1169.08	c 1168s |      15 |   565364 |   125532 |    11332     14 |     3958 |        0
1170.94/1171.27	c 1171s |      15 |   566833 |   126032 |    11332     14 |     3958 |        0
1173.14/1173.44	c 1173s |      15 |   570181 |   126632 |    11332     14 |     3958 |        0
1175.23/1175.55	c 1175s |      15 |   572273 |   127232 |    11332     14 |     3958 |        0
1177.43/1177.74	c 1177s |      15 |   574419 |   127732 |    11332     15 |     3958 |        0
1179.54/1179.88	c 1179s |      15 |   576834 |   128332 |    11332     15 |     3958 |        0
1182.04/1182.39	c 1182s |      15 |   578822 |   128932 |    11332     15 |     3958 |        0
1184.45/1184.79	c 1184s |      15 |   580238 |   129432 |    11332     15 |     3958 |        0
1187.04/1187.33	c 1187s |      15 |   581927 |   129832 |    11332     15 |     3958 |        0
1189.53/1189.84	c 1189s |      15 |   583219 |   130132 |    11332     15 |     3958 |        0
1192.53/1192.88	c 1192s |      15 |   583897 |   130432 |    11332     15 |     3958 |        0
1195.14/1195.40	c 1195s |      15 |   585850 |   130732 |    12466     15 |     3958 |        0
1197.54/1197.85	c 1197s |      15 |   586602 |   131032 |    12466     15 |     3958 |        0
1199.53/1199.86	c 1199s |      15 |   588147 |   131432 |    12466     15 |     3958 |        0
1200.23/1200.59	c 1200s |      16 |   588459 |   131552 |    12466     15 |     3958 |        0
1202.53/1202.85	c 1202s |      16 |   592974 |   131852 |    12466     15 |     3958 |        0
1204.74/1205.07	c 1204s |      16 |   594105 |   132152 |    12466     15 |     3958 |        0
1206.94/1207.20	c 1207s |      16 |   594983 |   132452 |    12466     15 |     3958 |        0
1209.03/1209.31	c 1209s |      16 |   595401 |   132652 |    12466     15 |     3958 |        0
1211.33/1211.65	c 1211s |      16 |   596635 |   132952 |    12466     15 |     3958 |        0
1213.53/1213.81	c 1213s |      16 |   597645 |   133252 |    12466     15 |     3958 |        0
1216.03/1216.37	c 1216s |      16 |   598981 |   133552 |    12466     15 |     3958 |        0
1218.83/1219.17	c 1219s |      16 |   599795 |   133852 |    12466     15 |     3958 |        0
1221.73/1222.03	c 1221s |      16 |   600567 |   134152 |    12466     15 |     3958 |        0
1224.33/1224.66	c 1224s |      16 |   600938 |   134352 |    12466     15 |     3958 |        0
1226.73/1227.03	c 1226s |      16 |   601382 |   134552 |    12466     15 |     3958 |        0
1228.83/1229.17	c 1229s |      16 |   601913 |   134752 |    12466     15 |     3958 |        0
1231.53/1231.88	c 1231s |      16 |   602433 |   134952 |    12466     15 |     3958 |        0
1233.83/1234.13	c 1233s |      16 |   603007 |   135152 |    12466     15 |     3958 |        0
1235.83/1236.18	c 1236s |      16 |   603699 |   135352 |    12466     15 |     3958 |        0
1238.44/1238.71	c 1238s |      16 |   604758 |   135652 |    12466     15 |     3958 |        0
1240.54/1240.89	c 1240s |      16 |   605731 |   135852 |    12466     15 |     3958 |        0
1243.23/1243.58	c 1243s |      16 |   606428 |   136052 |    12466     15 |     3958 |        0
1245.62/1245.98	c 1245s |      16 |   607083 |   136252 |    12466     15 |     3958 |        0
1248.03/1248.32	c 1248s |      16 |   607722 |   136452 |    12466     15 |     3958 |        0
1250.62/1250.92	c 1250s |      16 |   608792 |   136652 |    12466     15 |     3958 |        0
1253.52/1253.86	c 1253s |      16 |   609423 |   136852 |    12466     15 |     3958 |        0
1257.04/1257.31	c 1257s |      16 |   610199 |   137052 |    12466     15 |     3958 |        0
1261.12/1261.42	c 1261s |      16 |   610673 |   137252 |    12466     15 |     3958 |        0
1263.22/1263.53	c 1263s |      16 |   611005 |   137352 |    12466     15 |     3958 |        0
1266.93/1267.27	c 1267s |      16 |   611606 |   137552 |    12466     15 |     3958 |        0
1269.13/1269.44	c 1269s |      16 |   612440 |   137752 |    12466     15 |     3958 |        0
1272.03/1272.33	c 1272s |      16 |   613745 |   138052 |    12466     15 |     3958 |        0
1274.32/1274.69	c 1274s |      16 |   614892 |   138352 |    12466     15 |     3958 |        0
1277.12/1277.41	c 1277s |      16 |   615780 |   138652 |    12466     15 |     3958 |        0
1279.92/1280.24	c 1280s |      16 |   616778 |   138952 |    12466     15 |     3958 |        0
1283.02/1283.30	c 1283s |      16 |   617474 |   139152 |    12466     16 |     3958 |        0
1285.72/1286.05	c 1285s |      16 |   618444 |   139452 |    12466     16 |     3958 |        0
1287.72/1288.06	c 1287s |      16 |   619366 |   139652 |    12466     16 |     3958 |        0
1290.03/1290.32	c 1290s |      16 |   620049 |   139852 |    12466     16 |     3958 |        0
1292.33/1292.65	c 1292s |      16 |   620798 |   140052 |    12466     16 |     3958 |        0
1295.22/1295.50	c 1295s |      16 |   621678 |   140252 |    12466     16 |     3958 |        0
1298.22/1298.56	c 1298s |      16 |   622474 |   140452 |    12466     16 |     3958 |        0
1301.32/1301.63	c 1301s |      16 |   623235 |   140652 |    12466     16 |     3958 |        0
1303.92/1304.29	c 1304s |      16 |   623888 |   140852 |    12466     16 |     3958 |        0
1307.22/1307.59	c 1307s |      16 |   624492 |   141052 |    12466     16 |     3958 |        0
1310.52/1310.86	c 1310s |      16 |   625129 |   141252 |    12466     16 |     3958 |        0
1314.32/1314.60	c 1314s |      16 |   625584 |   141452 |    12466     16 |     3958 |        0
1317.01/1317.37	c 1317s |      16 |   626066 |   141652 |    12466     16 |     3958 |        0
1319.91/1320.27	c 1320s |      16 |   626745 |   141852 |    12466     16 |     3958 |        0
1323.62/1323.95	c 1323s |      16 |   627147 |   142052 |    12466     16 |     3958 |        0
1326.61/1326.94	c 1326s |      16 |   627892 |   142252 |    12466     16 |     3958 |        0
1329.72/1330.02	c 1329s |      16 |   628534 |   142452 |    12466     16 |     3958 |        0
1332.41/1332.77	c 1332s |      16 |   629185 |   142652 |    12466     16 |     3958 |        0
1335.02/1335.40	c 1335s |      16 |   629857 |   142852 |    12466     16 |     3958 |        0
1337.81/1338.12	c 1337s |      16 |   630468 |   143052 |    12466     16 |     3958 |        0
1340.81/1341.13	c 1340s |      16 |   631025 |   143252 |    12466     16 |     3958 |        0
1343.81/1344.20	c 1344s |      16 |   631375 |   143452 |    12466     16 |     3958 |        0
1346.51/1346.85	c 1346s |      16 |   631946 |   143652 |    12466     16 |     3958 |        0
1350.02/1350.36	c 1350s |      16 |   632273 |   143852 |    12466     16 |     3958 |        0
1353.41/1353.78	c 1353s |      16 |   632792 |   144052 |    12466     16 |     3958 |        0
1356.41/1356.73	c 1356s |      16 |   633244 |   144252 |    12466     16 |     3958 |        0
1359.41/1359.79	c 1359s |      16 |   633830 |   144452 |    12466     16 |     3958 |        0
1363.11/1363.46	c 1363s |      16 |   634474 |   144652 |    12466     16 |     3958 |        0
1366.51/1366.85	c 1366s |      16 |   635085 |   144852 |    12466     16 |     3958 |        0
1370.42/1370.79	c 1370s |      16 |   635945 |   145052 |    12466     16 |     3958 |        0
1374.41/1374.72	c 1374s |      16 |   636698 |   145252 |    12466     16 |     3958 |        0
1377.41/1377.77	c 1377s |      16 |   637318 |   145452 |    12466     16 |     3958 |        0
1380.21/1380.52	c 1380s |      16 |   638110 |   145652 |    12466     16 |     3958 |        0
1383.41/1383.70	c 1383s |      16 |   639024 |   145852 |    12466     16 |     3958 |        0
1386.92/1387.22	c 1387s |      16 |   639549 |   146052 |    12466     16 |     3958 |        0
1390.61/1390.97	c 1390s |      16 |   640187 |   146252 |    12466     16 |     3958 |        0
1394.30/1394.66	c 1394s |      16 |   640807 |   146452 |    12466     16 |     3958 |        0
1397.70/1398.09	c 1397s |      16 |   641535 |   146652 |    12466     16 |     3958 |        0
1400.12/1400.47	c 1400s |      16 |   642266 |   146852 |    12466     16 |     3958 |        0
1403.31/1403.68	c 1403s |      16 |   642665 |   147052 |    12466     16 |     3958 |        0
1406.41/1406.71	c 1406s |      16 |   643151 |   147252 |    12466     16 |     3958 |        0
1410.01/1410.37	c 1410s |      16 |   643755 |   147452 |    12466     16 |     3958 |        0
1413.41/1413.75	c 1413s |      16 |   644495 |   147652 |    12466     16 |     3958 |        0
1417.10/1417.48	c 1417s |      16 |   645022 |   147852 |    12466     16 |     3958 |        0
1420.91/1421.23	c 1421s |      16 |   645579 |   148052 |    12466     16 |     3958 |        0
1424.50/1424.83	c 1424s |      16 |   646066 |   148252 |    12466     16 |     3958 |        0
1428.10/1428.44	c 1428s |      16 |   646535 |   148452 |    12466     16 |     3958 |        0
1431.90/1432.28	c 1432s |      16 |   646983 |   148652 |    12466     16 |     3958 |        0
1435.59/1435.98	c 1435s |      16 |   647614 |   148852 |    12466     16 |     3958 |        0
1438.40/1438.75	c 1438s |      16 |   647879 |   148952 |    12466     17 |     3958 |        0
1441.81/1442.20	c 1442s |      16 |   648320 |   149152 |    12466     17 |     3958 |        0
1445.20/1445.55	c 1445s |      16 |   648817 |   149352 |    12466     17 |     3958 |        0
1448.41/1448.70	c 1448s |      16 |   649445 |   149552 |    12466     17 |     3958 |        0
1451.70/1452.10	c 1451s |      16 |   649963 |   149752 |    12466     17 |     3958 |        0
1453.79/1454.17	c 1454s |      16 |   650177 |   149852 |    12466     17 |     3958 |        0
1457.39/1457.74	c 1457s |      16 |   650628 |   150052 |    12466     17 |     3958 |        0
1460.89/1461.28	c 1461s |      16 |   651012 |   150252 |    12466     17 |     3958 |        0
1464.00/1464.32	c 1464s |      16 |   651584 |   150452 |    12466     17 |     3958 |        0
1466.50/1466.89	c 1466s |      16 |   652273 |   150652 |    12466     17 |     3958 |        0
1470.29/1470.66	c 1470s |      16 |   652816 |   150852 |    12466     17 |     3958 |        0
1474.20/1474.50	c 1474s |      16 |   653405 |   151052 |    12466     17 |     3958 |        0
1476.20/1476.55	c 1476s |      16 |   653613 |   151152 |    12466     17 |     3958 |        0
1479.99/1480.38	c 1480s |      16 |   653953 |   151352 |    12466     17 |     3958 |        0
1483.39/1483.75	c 1483s |      16 |   654358 |   151552 |    12466     17 |     3958 |        0
1487.19/1487.56	c 1487s |      16 |   654846 |   151752 |    12466     17 |     3958 |        0
1490.89/1491.29	c 1491s |      16 |   655134 |   151952 |    12466     17 |     3958 |        0
1492.99/1493.32	c 1493s |      16 |   655676 |   152052 |    12466     17 |     3958 |        0
1496.59/1496.96	c 1496s |      16 |   656227 |   152252 |    12466     17 |     3958 |        0
1498.59/1498.98	c 1498s |      16 |   656445 |   152352 |    12466     17 |     3958 |        0
1500.79/1501.19	c 1501s |      16 |   656629 |   152452 |    12466     17 |     3958 |        0
1503.39/1503.72	c 1503s |      16 |   656821 |   152552 |    12466     17 |     3958 |        0
1505.89/1506.22	c 1506s |      16 |   656990 |   152652 |    12466     17 |     3958 |        0
1509.69/1510.06	c 1509s |      16 |   657458 |   152852 |    12466     17 |     3958 |        0
1511.99/1512.38	c 1512s |      16 |   657622 |   152952 |    12466     17 |     3958 |        0
1514.79/1515.17	c 1515s |      16 |   658149 |   153152 |    12466     17 |     3958 |        0
1518.38/1518.75	c 1518s |      16 |   658591 |   153352 |    12466     17 |     3958 |        0
1520.59/1520.99	c 1520s |      16 |   658833 |   153452 |    12466     17 |     3958 |        0
1523.39/1523.78	c 1523s |      16 |   659613 |   153652 |    12466     17 |     3958 |        0
1527.18/1527.53	c 1527s |      16 |   660098 |   153852 |    12466     17 |     3958 |        0
1529.79/1530.19	c 1530s |      16 |   660622 |   154052 |    12466     17 |     3958 |        0
1531.99/1532.32	c 1532s |      16 |   661205 |   154252 |    12466     17 |     3958 |        0
1535.08/1535.41	c 1535s |      16 |   661598 |   154452 |    12466     17 |     3958 |        0
1537.89/1538.22	c 1538s |      16 |   662071 |   154652 |    12466     17 |     3958 |        0
1540.99/1541.39	c 1541s |      16 |   662467 |   154852 |    12466     17 |     3958 |        0
1544.19/1544.55	c 1544s |      16 |   662980 |   155052 |    12466     17 |     3958 |        0
1546.58/1546.92	c 1546s |      16 |   663423 |   155252 |    12466     17 |     3958 |        0
1549.48/1549.88	c 1549s |      16 |   663969 |   155452 |    12466     17 |     3958 |        0
1552.58/1552.96	c 1552s |      16 |   664668 |   155652 |    12466     17 |     3958 |        0
1556.19/1556.56	c 1556s |      16 |   665070 |   155852 |    12466     17 |     3958 |        0
1558.28/1558.61	c 1558s |      16 |   665223 |   155952 |    12466     17 |     3958 |        0
1561.18/1561.51	c 1561s |      16 |   665936 |   156152 |    12466     17 |     3958 |        0
1564.18/1564.54	c 1564s |      16 |   666567 |   156352 |    12466     17 |     3958 |        0
1566.87/1567.22	c 1567s |      16 |   667254 |   156552 |    12466     17 |     3958 |        0
1569.88/1570.24	c 1570s |      16 |   667744 |   156752 |    12466     17 |     3958 |        0
1572.18/1572.53	c 1572s |      16 |   668263 |   156952 |    12466     17 |     3958 |        0
1575.08/1575.40	c 1575s |      16 |   668992 |   157152 |    12466     17 |     3958 |        0
1578.18/1578.50	c 1578s |      16 |   669433 |   157352 |    12466     17 |     3958 |        0
1581.27/1581.67	c 1581s |      16 |   669872 |   157552 |    12466     17 |     3958 |        0
1584.08/1584.48	c 1584s |      16 |   670679 |   157752 |    12466     17 |     3958 |        0
1587.28/1587.63	c 1587s |      16 |   671267 |   157952 |    12466     17 |     3958 |        0
1590.67/1591.00	c 1590s |      16 |   671747 |   158152 |    12466     17 |     3958 |        0
1594.08/1594.49	c 1594s |      16 |   672352 |   158352 |    12466     17 |     3958 |        0
1597.37/1597.75	c 1597s |      16 |   672761 |   158552 |    12466     17 |     3958 |        0
1600.78/1601.15	c 1600s |      16 |   673188 |   158752 |    12466     17 |     3958 |        0
1603.97/1604.37	c 1604s |      16 |   673760 |   158952 |    12466     17 |     3958 |        0
1606.97/1607.37	c 1607s |      16 |   674005 |   159052 |    12466     18 |     3958 |        0
1609.17/1609.51	c 1609s |      16 |   674139 |   159152 |    12466     18 |     3958 |        0
1611.67/1612.01	c 1611s |      16 |   674936 |   159352 |    12466     18 |     3958 |        0
1614.67/1615.04	c 1614s |      16 |   675633 |   159552 |    12466     18 |     3958 |        0
1618.07/1618.49	c 1618s |      16 |   676191 |   159752 |    12466     18 |     3958 |        0
1621.17/1621.53	c 1621s |      16 |   676705 |   159952 |    12466     18 |     3958 |        0
1624.38/1624.71	c 1624s |      16 |   677216 |   160152 |    12466     18 |     3958 |        0
1627.77/1628.13	c 1627s |      16 |   677748 |   160352 |    12466     18 |     3958 |        0
1630.87/1631.21	c 1631s |      16 |   678591 |   160552 |    12466     18 |     3958 |        0
1634.38/1634.71	c 1634s |      16 |   679098 |   160752 |    12466     18 |     3958 |        0
1637.97/1638.31	c 1638s |      16 |   679794 |   160952 |    12466     18 |     3958 |        0
1641.57/1641.91	c 1641s |      16 |   680226 |   161152 |    12466     18 |     3958 |        0
1645.57/1645.94	c 1645s |      16 |   680697 |   161352 |    12466     18 |     3958 |        0
1649.36/1649.70	c 1649s |      16 |   681107 |   161552 |    12466     18 |     3958 |        0
1651.47/1651.80	c 1651s |      16 |   681301 |   161652 |    12466     18 |     3958 |        0
1653.66/1654.02	c 1653s |      16 |   681562 |   161752 |    12466     18 |     3958 |        0
1657.06/1657.45	c 1657s |      16 |   682075 |   161952 |    12466     18 |     3958 |        0
1660.87/1661.26	c 1661s |      16 |   682491 |   162152 |    12466     18 |     3958 |        0
1664.36/1664.75	c 1664s |      16 |   682908 |   162352 |    12466     18 |     3958 |        0
1668.16/1668.50	c 1668s |      16 |   683278 |   162552 |    12466     18 |     3958 |        0
1671.97/1672.34	c 1672s |      16 |   683787 |   162752 |    12466     18 |     3958 |        0
1675.96/1676.38	c 1676s |      16 |   684087 |   162952 |    12466     18 |     3958 |        0
1678.27/1678.65	c 1678s |      16 |   684209 |   163052 |    12466     18 |     3958 |        0
1680.96/1681.37	c 1681s |      16 |   684708 |   163252 |    12466     18 |     3958 |        0
1683.66/1684.03	c 1683s |      16 |   685530 |   163452 |    12466     18 |     3958 |        0
1686.36/1686.71	c 1686s |      16 |   686218 |   163652 |    12466     18 |     3958 |        0
1689.16/1689.53	c 1689s |      16 |   686896 |   163852 |    12466     18 |     3958 |        0
1692.06/1692.43	c 1692s |      16 |   687542 |   164052 |    12466     18 |     3958 |        0
1695.26/1695.67	c 1695s |      16 |   688367 |   164252 |    12466     18 |     3958 |        0
1698.75/1699.12	c 1698s |      16 |   688755 |   164452 |    12466     18 |     3958 |        0
1701.96/1702.36	c 1702s |      16 |   689322 |   164652 |    12466     18 |     3958 |        0
1705.26/1705.68	c 1705s |      16 |   689992 |   164852 |    12466     18 |     3958 |        0
1707.56/1707.98	c 1707s |      16 |   690823 |   165052 |    12466     18 |     3958 |        0
1710.56/1710.95	c 1710s |      16 |   691425 |   165252 |    12466     18 |     3958 |        0
1713.46/1713.81	c 1713s |      16 |   692004 |   165452 |    12466     18 |     3958 |        0
1716.77/1717.11	c 1716s |      16 |   692807 |   165652 |    12466     18 |     3958 |        0
1720.16/1720.57	c 1720s |      16 |   693460 |   165852 |    12466     18 |     3958 |        0
1723.65/1724.03	c 1723s |      16 |   694383 |   166052 |    12466     18 |     3958 |        0
1727.55/1727.98	c 1727s |      16 |   694864 |   166252 |    12466     18 |     3958 |        0
1730.95/1731.32	c 1731s |      16 |   695367 |   166452 |    12466     18 |     3958 |        0
1734.05/1734.42	c 1734s |      16 |   696135 |   166652 |    12466     18 |     3958 |        0
1737.25/1737.62	c 1737s |      16 |   696680 |   166852 |    12466     18 |     3958 |        0
1740.05/1740.42	c 1740s |      16 |   696945 |   167052 |    12466     18 |     3958 |        0
1743.05/1743.43	c 1743s |      16 |   697520 |   167252 |    12466     18 |     3958 |        0
1746.35/1746.78	c 1746s |      16 |   698281 |   167452 |    12466     18 |     3958 |        0
1750.06/1750.46	c 1750s |      16 |   698669 |   167652 |    12466     18 |     3958 |        0
1753.95/1754.33	c 1754s |      16 |   699377 |   167852 |    12466     18 |     3958 |        0
1756.05/1756.48	c 1756s |      16 |   699545 |   167952 |    12466     18 |     3958 |        0
1758.66/1759.07	c 1758s |      16 |   700158 |   168152 |    12466     18 |     3958 |        0
1762.05/1762.46	c 1762s |      16 |   700873 |   168452 |    12466     18 |     3958 |        0
1765.44/1765.80	c 1765s |      16 |   701505 |   168652 |    12466     18 |     3958 |        0
1768.64/1769.09	c 1768s |      16 |   701750 |   168752 |    12466     19 |     3958 |        0
1772.14/1772.52	c 1772s |      16 |   702448 |   168952 |    12466     19 |     3958 |        0
1775.94/1776.34	c 1776s |      16 |   703062 |   169152 |    12466     19 |     3958 |        0
1779.15/1779.52	c 1779s |      16 |   703405 |   169352 |    12466     19 |     3958 |        0
1781.45/1781.85	c 1781s |      16 |   703997 |   169552 |    12466     19 |     3958 |        0
1784.95/1785.36	c 1785s |      16 |   704840 |   169752 |    12466     19 |     3958 |        0
1788.94/1789.32	c 1789s |      16 |   705448 |   169952 |    12466     19 |     3958 |        0
1791.35/1791.72	c 1791s |      16 |   705594 |   170052 |    12466     19 |     3958 |        0
1794.15/1794.54	c 1794s |      16 |   705752 |   170152 |    12466     19 |     3958 |        0
1798.15/1798.59	c 1798s |      16 |   706473 |   170352 |    12466     19 |     3958 |        0

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

pid=11905
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.71 3/179 11908
/proc/meminfo: memFree=18820140/32872528 swapFree=249320/249320
[pid=11908] ppid=11905 vsize=738748 CPUtime=0 cores=1,3,5,7
/proc/11908/stat : 11908 (toysat) R 11905 11908 11324 0 -1 4202496 2761 0 0 0 0 0 0 0 20 0 4 0 22847255 756477952 2611 33554432000 4194304 16246674 140735779446304 140735779445728 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11908/statm: 185455 2619 441 2943 0 182349 0
[pid=11908/tid=11909] ppid=11905 vsize=757180 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11909/stat : 11909 (toysat) S 11905 11908 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22847255 775352320 2681 33554432000 4194304 16246674 140735779446304 140471385959664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11908/tid=11910] ppid=11905 vsize=761276 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11910/stat : 11910 (toysat) S 11905 11908 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22847255 779546624 2698 33554432000 4194304 16246674 140735779446304 140471375469808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11908/tid=11911] ppid=11905 vsize=766396 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11911/stat : 11911 (toysat) S 11905 11908 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22847255 784789504 2716 33554432000 4194304 16246674 140735779446304 140471364996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100218 s]
/proc/loadavg: 1.92 1.98 1.71 3/179 11908
/proc/meminfo: memFree=18820140/32872528 swapFree=249320/249320
[pid=11908] ppid=11905 vsize=1299012 CPUtime=0.09 cores=1,3,5,7
/proc/11908/stat : 11908 (toysat) R 11905 11908 11324 0 -1 4202496 26728 0 0 0 5 4 0 0 20 0 4 0 22847255 1330188288 26516 33554432000 4194304 16246674 140735779446304 140735779445616 9616021 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11908/statm: 324753 26523 837 2943 0 321647 0
[pid=11908/tid=11909] ppid=11905 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11909/stat : 11909 (toysat) S 11905 11908 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22847255 1330188288 26531 33554432000 4194304 16246674 140735779446304 140471385959664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11908/tid=11910] ppid=11905 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11910/stat : 11910 (toysat) S 11905 11908 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22847255 1330188288 26538 33554432000 4194304 16246674 140735779446304 140471375469808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11908/tid=11911] ppid=11905 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11911/stat : 11911 (toysat) S 11905 11908 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 22847255 1330188288 26546 33554432000 4194304 16246674 140735779446304 140471364996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1299012

[startup+0.200529 s]
/proc/loadavg: 1.92 1.98 1.71 3/179 11908
/proc/meminfo: memFree=18820140/32872528 swapFree=249320/249320
[pid=11908] ppid=11905 vsize=1308228 CPUtime=0.19 cores=1,3,5,7
/proc/11908/stat : 11908 (toysat) R 11905 11908 11324 0 -1 4202496 41843 0 0 0 14 5 0 0 20 0 4 0 22847255 1339625472 41631 33554432000 4194304 16246674 140735779446304 140735779428224 5724032 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11908/statm: 327057 41631 884 2943 0 323951 0
[pid=11908/tid=11909] ppid=11905 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11909/stat : 11909 (toysat) S 11905 11908 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22847255 1339625472 41631 33554432000 4194304 16246674 140735779446304 140471385959664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11908/tid=11910] ppid=11905 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11910/stat : 11910 (toysat) S 11905 11908 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22847255 1339625472 41631 33554432000 4194304 16246674 140735779446304 140471375469808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11908/tid=11911] ppid=11905 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11911/stat : 11911 (toysat) S 11905 11908 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 22847255 1339625472 41639 33554432000 4194304 16246674 140735779446304 140471364996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1308228

[startup+0.30049 s]
/proc/loadavg: 1.92 1.98 1.71 3/179 11908
/proc/meminfo: memFree=18820140/32872528 swapFree=249320/249320
[pid=11908] ppid=11905 vsize=1308228 CPUtime=0.29 cores=1,3,5,7
/proc/11908/stat : 11908 (toysat) R 11905 11908 11324 0 -1 4202496 45919 0 0 0 23 6 0 0 20 0 4 0 22847255 1339625472 45707 33554432000 4194304 16246674 140735779446304 140735779428224 5711355 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11908/statm: 327057 45707 884 2943 0 323951 0
[pid=11908/tid=11909] ppid=11905 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11909/stat : 11909 (toysat) S 11905 11908 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22847255 1339625472 45707 33554432000 4194304 16246674 140735779446304 140471385959664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11908/tid=11910] ppid=11905 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11910/stat : 11910 (toysat) S 11905 11908 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22847255 1339625472 45707 33554432000 4194304 16246674 140735779446304 140471375469808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11908/tid=11911] ppid=11905 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11911/stat : 11911 (toysat) S 11905 11908 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 22847255 1339625472 45707 33554432000 4194304 16246674 140735779446304 140471364996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1308228

[startup+0.700412 s]
/proc/loadavg: 1.92 1.98 1.71 3/179 11908
/proc/meminfo: memFree=18820140/32872528 swapFree=249320/249320
[pid=11908] ppid=11905 vsize=1308228 CPUtime=0.69 cores=1,3,5,7
/proc/11908/stat : 11908 (toysat) R 11905 11908 11324 0 -1 4202496 70482 0 0 0 60 9 0 0 20 0 4 0 22847255 1339625472 70270 33554432000 4194304 16246674 140735779446304 140735779428224 5723366 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11908/statm: 327057 70270 884 2943 0 323951 0
[pid=11908/tid=11909] ppid=11905 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11909/stat : 11909 (toysat) S 11905 11908 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22847255 1339625472 70271 33554432000 4194304 16246674 140735779446304 140471385959664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11908/tid=11910] ppid=11905 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11910/stat : 11910 (toysat) S 11905 11908 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22847255 1339625472 70271 33554432000 4194304 16246674 140735779446304 140471375469808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11908/tid=11911] ppid=11905 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11911/stat : 11911 (toysat) S 11905 11908 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 22847255 1339625472 70276 33554432000 4194304 16246674 140735779446304 140471364996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1308228

[startup+1.50043 s]
/proc/loadavg: 1.92 1.98 1.71 3/183 11912
/proc/meminfo: memFree=18431120/32872528 swapFree=249320/249320
[pid=11908] ppid=11905 vsize=1311300 CPUtime=1.49 cores=1,3,5,7
/proc/11908/stat : 11908 (toysat) R 11905 11908 11324 0 -1 4202496 125735 0 0 0 133 16 0 0 20 0 4 0 22847255 1342771200 125523 33554432000 4194304 16246674 140735779446304 140735779428224 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11908/statm: 327825 125523 887 2943 0 324719 0
[pid=11908/tid=11909] ppid=11905 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11909/stat : 11909 (toysat) S 11905 11908 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22847255 1342771200 125523 33554432000 4194304 16246674 140735779446304 140471385959664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11908/tid=11910] ppid=11905 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11910/stat : 11910 (toysat) S 11905 11908 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22847255 1342771200 125523 33554432000 4194304 16246674 140735779446304 140471375469808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11908/tid=11911] ppid=11905 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11911/stat : 11911 (toysat) S 11905 11908 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 22847255 1342771200 125523 33554432000 4194304 16246674 140735779446304 140471364996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1311300

[startup+3.10043 s]
/proc/loadavg: 1.92 1.98 1.71 3/183 11912
/proc/meminfo: memFree=18318792/32872528 swapFree=249320/249320
[pid=11908] ppid=11905 vsize=1311300 CPUtime=3.09 cores=1,3,5,7
/proc/11908/stat : 11908 (toysat) R 11905 11908 11324 0 -1 4202496 125739 0 0 0 293 16 0 0 20 0 4 0 22847255 1342771200 125527 33554432000 4194304 16246674 140735779446304 140735779428224 5711968 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11908/statm: 327825 125527 891 2943 0 324719 0
[pid=11908/tid=11909] ppid=11905 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11909/stat : 11909 (toysat) S 11905 11908 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22847255 1342771200 125527 33554432000 4194304 16246674 140735779446304 140471385959664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11908/tid=11910] ppid=11905 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11910/stat : 11910 (toysat) S 11905 11908 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22847255 1342771200 125527 33554432000 4194304 16246674 140735779446304 140471375469808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11908/tid=11911] ppid=11905 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11911/stat : 11911 (toysat) S 11905 11908 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 22847255 1342771200 125527 33554432000 4194304 16246674 140735779446304 140471364996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1311300

[startup+6.30043 s]
/proc/loadavg: 1.93 1.98 1.71 3/183 11912
/proc/meminfo: memFree=18318404/32872528 swapFree=249320/249320
[pid=11908] ppid=11905 vsize=1311300 CPUtime=6.29 cores=1,3,5,7
/proc/11908/stat : 11908 (toysat) R 11905 11908 11324 0 -1 4202496 125739 0 0 0 613 16 0 0 20 0 4 0 22847255 1342771200 125527 33554432000 4194304 16246674 140735779446304 140735779428224 5711716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11908/statm: 327825 125527 891 2943 0 324719 0
[pid=11908/tid=11909] ppid=11905 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11909/stat : 11909 (toysat) S 11905 11908 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22847255 1342771200 125527 33554432000 4194304 16246674 140735779446304 140471385959664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11908/tid=11910] ppid=11905 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11910/stat : 11910 (toysat) S 11905 11908 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22847255 1342771200 125527 33554432000 4194304 16246674 140735779446304 140471375469808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11908/tid=11911] ppid=11905 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11911/stat : 11911 (toysat) S 11905 11908 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 22847255 1342771200 125527 33554432000 4194304 16246674 140735779446304 140471364996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1311300

[startup+12.7004 s]
/proc/loadavg: 1.93 1.98 1.71 3/183 11912
/proc/meminfo: memFree=18209828/32872528 swapFree=249320/249320
[pid=11908] ppid=11905 vsize=1311300 CPUtime=12.68 cores=1,3,5,7
/proc/11908/stat : 11908 (toysat) R 11905 11908 11324 0 -1 4202496 152928 0 0 0 1248 20 0 0 20 0 4 0 22847255 1342771200 152716 33554432000 4194304 16246674 140735779446304 140735779445480 12483168 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11908/statm: 327825 152716 891 2943 0 324719 0
[pid=11908/tid=11909] ppid=11905 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11909/stat : 11909 (toysat) S 11905 11908 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22847255 1342771200 152716 33554432000 4194304 16246674 140735779446304 140471385959664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11908/tid=11910] ppid=11905 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11910/stat : 11910 (toysat) S 11905 11908 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22847255 1342771200 152716 33554432000 4194304 16246674 140735779446304 140471375469808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11908/tid=11911] ppid=11905 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11911/stat : 11911 (toysat) S 11905 11908 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 22847255 1342771200 152716 33554432000 4194304 16246674 140735779446304 140471364996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.02 2.00 1.72 4/183 11912
/proc/meminfo: memFree=18210052/32872528 swapFree=249320/249320
[pid=11908] ppid=11905 vsize=1311300 CPUtime=25.48 cores=1,3,5,7
/proc/11908/stat : 11908 (toysat) R 11905 11908 11324 0 -1 4202496 152928 0 0 0 2527 21 0 0 20 0 4 0 22847255 1342771200 152716 33554432000 4194304 16246674 140735779446304 140735779445480 6023308 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11908/statm: 327825 152716 891 2943 0 324719 0
[pid=11908/tid=11909] ppid=11905 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11909/stat : 11909 (toysat) S 11905 11908 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22847255 1342771200 152716 33554432000 4194304 16246674 140735779446304 140471385959664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11908/tid=11910] ppid=11905 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11910/stat : 11910 (toysat) S 11905 11908 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22847255 1342771200 152716 33554432000 4194304 16246674 140735779446304 140471375469808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11908/tid=11911] ppid=11905 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11911/stat : 11911 (toysat) S 11905 11908 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 22847255 1342771200 152716 33554432000 4194304 16246674 140735779446304 140471364996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1311300

[startup+51.1005 s]
/proc/loadavg: 2.15 2.03 1.74 3/184 11964
/proc/meminfo: memFree=30505016/32872528 swapFree=249320/249320
[pid=11908] ppid=11905 vsize=1311300 CPUtime=51.08 cores=1,3,5,7
/proc/11908/stat : 11908 (toysat) R 11905 11908 11324 0 -1 4202496 152930 0 0 0 5086 22 0 0 20 0 4 0 22847255 1342771200 152718 33554432000 4194304 16246674 140735779446304 140735779445480 12477989 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11908/statm: 327825 152718 893 2943 0 324719 0
[pid=11908/tid=11909] ppid=11905 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11909/stat : 11909 (toysat) S 11905 11908 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22847255 1342771200 152718 33554432000 4194304 16246674 140735779446304 140471385959664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11908/tid=11910] ppid=11905 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11910/stat : 11910 (toysat) S 11905 11908 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22847255 1342771200 152718 33554432000 4194304 16246674 140735779446304 140471375469808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11908/tid=11911] ppid=11905 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11911/stat : 11911 (toysat) S 11905 11908 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 22847255 1342771200 152718 33554432000 4194304 16246674 140735779446304 140471364996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1311300

[startup+102.301 s]
/proc/loadavg: 2.20 2.06 1.76 3/184 11989
/proc/meminfo: memFree=30038424/32872528 swapFree=249320/249320
[pid=11908] ppid=11905 vsize=1311300 CPUtime=102.29 cores=1,3,5,7
/proc/11908/stat : 11908 (toysat) R 11905 11908 11324 0 -1 4202496 259355 0 0 0 10189 40 0 0 20 0 4 0 22847255 1342771200 269066 33554432000 4194304 16246674 140735779446304 140735779445480 5711369 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11908/statm: 327825 269066 897 2943 0 324719 0
[pid=11908/tid=11909] ppid=11905 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11909/stat : 11909 (toysat) S 11905 11908 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22847255 1342771200 269066 33554432000 4194304 16246674 140735779446304 140471385959664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11908/tid=11910] ppid=11905 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11910/stat : 11910 (toysat) S 11905 11908 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22847255 1342771200 269066 33554432000 4194304 16246674 140735779446304 140471375469808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11908/tid=11911] ppid=11905 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11911/stat : 11911 (toysat) S 11905 11908 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 22847255 1342771200 269066 33554432000 4194304 16246674 140735779446304 140471364996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1311300


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

/proc/11908/task/11911/stat : 11911 (toysat) S 11905 11908 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 22847255 1354305536 271883 33554432000 4194304 16246674 140735779446304 140471364996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 1322564

[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/183 12019
/proc/meminfo: memFree=29542716/32872528 swapFree=249320/249320
[pid=11908] ppid=11905 vsize=1322564 CPUtime=1302.02 cores=1,3,5,7
/proc/11908/stat : 11908 (toysat) R 11905 11908 11324 0 -1 4202496 262312 0 0 0 130082 120 0 0 20 0 4 0 22847255 1354305536 271883 33554432000 4194304 16246674 140735779446304 140735779445480 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11908/statm: 330641 271883 898 2943 0 327535 0
[pid=11908/tid=11909] ppid=11905 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11909/stat : 11909 (toysat) S 11905 11908 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22847255 1354305536 271883 33554432000 4194304 16246674 140735779446304 140471385959664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11908/tid=11910] ppid=11905 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11910/stat : 11910 (toysat) S 11905 11908 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22847255 1354305536 271883 33554432000 4194304 16246674 140735779446304 140471375469808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11908/tid=11911] ppid=11905 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11911/stat : 11911 (toysat) S 11905 11908 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 22847255 1354305536 271883 33554432000 4194304 16246674 140735779446304 140471364996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 1322564

[startup+1362.3 s]
/proc/loadavg: 2.10 2.05 1.94 3/183 12020
/proc/meminfo: memFree=29542368/32872528 swapFree=249320/249320
[pid=11908] ppid=11905 vsize=1322564 CPUtime=1362.01 cores=1,3,5,7
/proc/11908/stat : 11908 (toysat) R 11905 11908 11324 0 -1 4202496 262312 0 0 0 136077 124 0 0 20 0 4 0 22847255 1354305536 271883 33554432000 4194304 16246674 140735779446304 140735779445480 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11908/statm: 330641 271883 898 2943 0 327535 0
[pid=11908/tid=11909] ppid=11905 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11909/stat : 11909 (toysat) S 11905 11908 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22847255 1354305536 271883 33554432000 4194304 16246674 140735779446304 140471385959664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11908/tid=11910] ppid=11905 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11910/stat : 11910 (toysat) S 11905 11908 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22847255 1354305536 271883 33554432000 4194304 16246674 140735779446304 140471375469808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11908/tid=11911] ppid=11905 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11911/stat : 11911 (toysat) S 11905 11908 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 22847255 1354305536 271883 33554432000 4194304 16246674 140735779446304 140471364996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 1322564

[startup+1422.3 s]
/proc/loadavg: 2.07 2.05 1.94 3/183 12021
/proc/meminfo: memFree=29543028/32872528 swapFree=249320/249320
[pid=11908] ppid=11905 vsize=1322564 CPUtime=1422 cores=1,3,5,7
/proc/11908/stat : 11908 (toysat) R 11905 11908 11324 0 -1 4202496 262312 0 0 0 142072 128 0 0 20 0 4 0 22847255 1354305536 271883 33554432000 4194304 16246674 140735779446304 140735779445480 5546072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11908/statm: 330641 271883 898 2943 0 327535 0
[pid=11908/tid=11909] ppid=11905 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11909/stat : 11909 (toysat) S 11905 11908 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22847255 1354305536 271883 33554432000 4194304 16246674 140735779446304 140471385959664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11908/tid=11910] ppid=11905 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11910/stat : 11910 (toysat) S 11905 11908 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22847255 1354305536 271883 33554432000 4194304 16246674 140735779446304 140471375469808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11908/tid=11911] ppid=11905 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11911/stat : 11911 (toysat) S 11905 11908 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 22847255 1354305536 271883 33554432000 4194304 16246674 140735779446304 140471364996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 1322564

[startup+1482.3 s]
/proc/loadavg: 2.12 2.07 1.95 3/183 12022
/proc/meminfo: memFree=29543164/32872528 swapFree=249320/249320
[pid=11908] ppid=11905 vsize=1322564 CPUtime=1481.99 cores=1,3,5,7
/proc/11908/stat : 11908 (toysat) R 11905 11908 11324 0 -1 4202496 262312 0 0 0 148065 134 0 0 20 0 4 0 22847255 1354305536 271883 33554432000 4194304 16246674 140735779446304 140735779445480 5712536 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11908/statm: 330641 271883 898 2943 0 327535 0
[pid=11908/tid=11909] ppid=11905 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11909/stat : 11909 (toysat) S 11905 11908 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22847255 1354305536 271883 33554432000 4194304 16246674 140735779446304 140471385959664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11908/tid=11910] ppid=11905 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11910/stat : 11910 (toysat) S 11905 11908 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22847255 1354305536 271883 33554432000 4194304 16246674 140735779446304 140471375469808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11908/tid=11911] ppid=11905 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11911/stat : 11911 (toysat) S 11905 11908 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 22847255 1354305536 271883 33554432000 4194304 16246674 140735779446304 140471364996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 1322564

[startup+1542.31 s]
/proc/loadavg: 2.04 2.05 1.95 3/183 12023
/proc/meminfo: memFree=29531268/32872528 swapFree=249320/249320
[pid=11908] ppid=11905 vsize=1335876 CPUtime=1541.99 cores=1,3,5,7
/proc/11908/stat : 11908 (toysat) R 11905 11908 11324 0 -1 4202496 265396 0 0 0 154059 140 0 0 20 0 4 0 22847255 1367937024 274967 33554432000 4194304 16246674 140735779446304 140735779445480 5711984 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11908/statm: 333969 274967 898 2943 0 330863 0
[pid=11908/tid=11909] ppid=11905 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11909/stat : 11909 (toysat) S 11905 11908 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22847255 1367937024 274967 33554432000 4194304 16246674 140735779446304 140471385959664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11908/tid=11910] ppid=11905 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11910/stat : 11910 (toysat) S 11905 11908 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22847255 1367937024 274967 33554432000 4194304 16246674 140735779446304 140471375469808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11908/tid=11911] ppid=11905 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11911/stat : 11911 (toysat) S 11905 11908 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 22847255 1367937024 274967 33554432000 4194304 16246674 140735779446304 140471364996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 1335876

[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 1.95 3/182 12024
/proc/meminfo: memFree=29531144/32872528 swapFree=249320/249320
[pid=11908] ppid=11905 vsize=1335876 CPUtime=1601.97 cores=1,3,5,7
/proc/11908/stat : 11908 (toysat) R 11905 11908 11324 0 -1 4202496 265396 0 0 0 160052 145 0 0 20 0 4 0 22847255 1367937024 274967 33554432000 4194304 16246674 140735779446304 140735779445480 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11908/statm: 333969 274967 898 2943 0 330863 0
[pid=11908/tid=11909] ppid=11905 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11909/stat : 11909 (toysat) S 11905 11908 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22847255 1367937024 274967 33554432000 4194304 16246674 140735779446304 140471385959664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11908/tid=11910] ppid=11905 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11910/stat : 11910 (toysat) S 11905 11908 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22847255 1367937024 274967 33554432000 4194304 16246674 140735779446304 140471375469808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11908/tid=11911] ppid=11905 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11911/stat : 11911 (toysat) S 11905 11908 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 22847255 1367937024 274967 33554432000 4194304 16246674 140735779446304 140471364996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 1335876

[startup+1662.3 s]
/proc/loadavg: 2.04 2.05 1.96 3/183 12026
/proc/meminfo: memFree=29511720/32872528 swapFree=249320/249320
[pid=11908] ppid=11905 vsize=1354308 CPUtime=1661.96 cores=1,3,5,7
/proc/11908/stat : 11908 (toysat) R 11905 11908 11324 0 -1 4202496 270080 0 0 0 166043 153 0 0 20 0 4 0 22847255 1386811392 279650 33554432000 4194304 16246674 140735779446304 140735779445480 13901746 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11908/statm: 338577 279650 898 2943 0 335471 0
[pid=11908/tid=11909] ppid=11905 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11909/stat : 11909 (toysat) S 11905 11908 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22847255 1386811392 279650 33554432000 4194304 16246674 140735779446304 140471385959664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11908/tid=11910] ppid=11905 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11910/stat : 11910 (toysat) S 11905 11908 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22847255 1386811392 279650 33554432000 4194304 16246674 140735779446304 140471375469808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11908/tid=11911] ppid=11905 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11911/stat : 11911 (toysat) S 11905 11908 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 22847255 1386811392 279650 33554432000 4194304 16246674 140735779446304 140471364996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 1354308

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 1.96 3/183 12027
/proc/meminfo: memFree=29511720/32872528 swapFree=249320/249320
[pid=11908] ppid=11905 vsize=1354308 CPUtime=1721.96 cores=1,3,5,7
/proc/11908/stat : 11908 (toysat) R 11905 11908 11324 0 -1 4202496 270080 0 0 0 172037 159 0 0 20 0 4 0 22847255 1386811392 279650 33554432000 4194304 16246674 140735779446304 140735779428224 12478176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11908/statm: 338577 279650 898 2943 0 335471 0
[pid=11908/tid=11909] ppid=11905 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11909/stat : 11909 (toysat) S 11905 11908 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22847255 1386811392 279650 33554432000 4194304 16246674 140735779446304 140471385959664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11908/tid=11910] ppid=11905 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11910/stat : 11910 (toysat) S 11905 11908 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22847255 1386811392 279650 33554432000 4194304 16246674 140735779446304 140471375469808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11908/tid=11911] ppid=11905 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11911/stat : 11911 (toysat) S 11905 11908 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 22847255 1386811392 279650 33554432000 4194304 16246674 140735779446304 140471364996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 1354308

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 1.96 3/183 12028
/proc/meminfo: memFree=29511472/32872528 swapFree=249320/249320
[pid=11908] ppid=11905 vsize=1354308 CPUtime=1781.95 cores=1,3,5,7
/proc/11908/stat : 11908 (toysat) R 11905 11908 11324 0 -1 4202496 270082 0 0 0 178032 163 0 0 20 0 4 0 22847255 1386811392 279652 33554432000 4194304 16246674 140735779446304 140735779445480 12482193 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11908/statm: 338577 279652 898 2943 0 335471 0
[pid=11908/tid=11909] ppid=11905 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11909/stat : 11909 (toysat) S 11905 11908 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22847255 1386811392 279652 33554432000 4194304 16246674 140735779446304 140471385959664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11908/tid=11910] ppid=11905 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11910/stat : 11910 (toysat) S 11905 11908 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22847255 1386811392 279652 33554432000 4194304 16246674 140735779446304 140471375469808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11908/tid=11911] ppid=11905 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11911/stat : 11911 (toysat) S 11905 11908 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 22847255 1386811392 279652 33554432000 4194304 16246674 140735779446304 140471364996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 1354308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.02 1.96 3/183 12028
/proc/meminfo: memFree=29510612/32872528 swapFree=249320/249320
[pid=11908] ppid=11905 vsize=1354308 CPUtime=1800.04 cores=1,3,5,7
/proc/11908/stat : 11908 (toysat) R 11905 11908 11324 0 -1 4202496 270249 0 0 0 179840 164 0 0 20 0 4 0 22847255 1386811392 279819 33554432000 4194304 16246674 140735779446304 140735779445480 5711318 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11908/statm: 338577 279819 898 2943 0 335471 0
[pid=11908/tid=11909] ppid=11905 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11909/stat : 11909 (toysat) S 11905 11908 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22847255 1386811392 279819 33554432000 4194304 16246674 140735779446304 140471385959664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11908/tid=11910] ppid=11905 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11910/stat : 11910 (toysat) S 11905 11908 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22847255 1386811392 279819 33554432000 4194304 16246674 140735779446304 140471375469808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11908/tid=11911] ppid=11905 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/11908/task/11911/stat : 11911 (toysat) S 11905 11908 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 22847255 1386811392 279819 33554432000 4194304 16246674 140735779446304 140471364996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1354308

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1798.41
CPU system time (s): 1.64575
CPU usage (%): 99.9804
Max. virtual memory (cumulated for all children) (KiB): 1354308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.41
system time used= 1.64575
maximum resident set size= 1119276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270249
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= 157
involuntary context switches= 1966

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.42533 second user time and 7.06593 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-18 01:59:28
IDJOB=4099833
IDBENCH=1540
IDSOLVER=2542
FILE ID=node103/4099833-1466207968
RUNJOBID= node103-1466206104-11341
PBS_JOBID= 19918169
Free space on /tmp= 71596 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran14x18.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099833-1466207968/watcher-4099833-1466207968 -o /tmp/evaluation-result-4099833-1466207968/solver-4099833-1466207968 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11341 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099833-1466207968.opb

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

MD5SUM BENCH= 61bd3dd8a49bc9125fdf13f69f76abf6
RANDOM SEED=1286706299

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        18820660 kB
Buffers:           33316 kB
Cached:           219012 kB
SwapCached:         2228 kB
Active:         12996048 kB
Inactive:          77068 kB
Active(anon):   12818020 kB
Inactive(anon):     4900 kB
Active(file):     178028 kB
Inactive(file):    72168 kB
Unevictable:      249320 kB
Mlocked:          249320 kB
SwapTotal:      67108856 kB
SwapFree:       67099368 kB
Dirty:             16708 kB
Writeback:             0 kB
AnonPages:      13068844 kB
Mapped:            10740 kB
Shmem:                 0 kB
Slab:             573948 kB
SReclaimable:      17860 kB
SUnreclaim:       556088 kB
KernelStack:        1464 kB
PageTables:        29396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   13211972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1757184 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= 71696 MiB
End job on node103 at 2016-06-18 02:29:29