Trace number 4100649

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-maros.opb
MD5SUMffbe7c5e96212b70bc71f745eee091ea
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables42240
Total number of constraints836
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 constraints836
Minimum length of a constraint30
Maximum length of a constraint4740
Number of terms in the objective function 10110
Biggest coefficient in the objective function 11592
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 532977
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 532977
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-18T04:29:07+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-4100649-1466216947.opb"]
0.00/0.01	c use --random-gen="110399019 2696700317 1961835266 487745699 642479647 3992893911 2688879097 1233857394 4078382283 1270837054 2153258675 486656092 2237831354 1722988103 1836338095 744396378 878954255 2776048253 3156359979 3817104244 2870080572 1365094190 3129240521 2520541873 2804060714 3586410628 2485628873 977942317 3331802885 3533013187 2714164217 1495463489 1018976398 3229049167 4010888948 1160313588 3834928024 4211226644 2629490815 1167152408 3229137407 2145739622 755169240 499436542 4029328416 3891904248 582480961 3781242639 4091426478 160789596 4292575283 2285619155 3659805768 3234788318 103734562 2067581357 1306794763 60723122 1863569454 2931059272 3318880133 3799128364 546935903 1583867891 2634030526 2212279190 3514319432 1431019984 285419383 3524550657 1575729323 438925470 2547115498 2062583713 502768722 3867267773 2103274081 2943140289 2636114255 4219803676 2161593487 688130732 3191187030 3460213395 3004154529 3681475415 1623004668 2089597876 1222818724 801398308 766282487 1289264927 3007359315 4021942036 476836849 2927394468 2006435088 2400180975 1032804354 2364163680 1228351176 2759341437 43447117 2763947195 63567692 3351425309 2993237858 448457588 4193781046 1558915886 2507447643 504307052 4127166444 1835139512 630871877 2693132084 3916066566 2449910977 2673547069 2336127713 3586937930 3311916280 2299839229 1925492188 2528817393 716861308 1335347525 3097132412 1251088696 2864726982 3212930229 3364001062 4093018116 2667380567 2099791957 2549034471 1757363492 730912913 3630735361 774723190 233543020 1002289890 3311638393 3455447212 1323632770 1789003508 1793690320 3789173523 2382327840 1401237731 971626463 576971852 3536226663 3234378618 2391981838 3815508030 1381779991 2903144171 3351711363 3855985735 2590055834 3492263253 2365549345 2055854413 3856197914 2810494514 615145024 2111361604 375065438 500351939 1255032523 1973241074 3915099116 1872765458 2682213561 770668576 185644843 1980314765 3812017109 3178872844 2886598550 3070553399 2480321777 445028350 2422806829 3527023971 3912516651 2234619542 1349393224 2695053997 3992823534 1750965199 314407083 4065837033 2420209411 614367484 780909492 2140808291 630213414 4014687163 28278501 384805702 3478977076 2730811642 205087476 3757696408 1604595393 2620742030 2577754007 2550475476 829198027 3374545213 3797937514 3981305233 3773639125 2896846394 3204277178 2737780386 336407700 883287510 126606315 3960987590 3746835824 4207720299 1026026534 1970144653 1517379993 892798382 1325858551 2298659435 253210198 72509347 2431174961 494306935 4089431371 1769279617 2374021366 1516226503 2532942009 2708878889 2255537062 130644913 240239617 4167884809 2444232076 1184298948 2835665654 3687356664 2620426725 1583598272 3587536773 3954463276 3109124845 2409786346 3484398998 1310934518 255 362436" option to reproduce the execution
0.39/0.49	c #vars 42240
0.39/0.49	c #constraints 836
2.30/2.39	c BCD2: Hardening is enabled.
2.30/2.39	c BCD2: BiasedSearch is enabled.
2.30/2.39	c Solving starts ...
2.30/2.39	c ============================[ Search Statistics ]============================
2.30/2.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.30/2.39	c       |         |          |          |    Limit     GC | Var      | Constra 
2.30/2.39	c =============================================================================
2.39/2.42	c  0.0s |       0 |        0 |        0 |    14461      0 |    21631 |        0
2.89/2.90	c  0.5s |       1 |      422 |      100 |    14461      0 |    21638 |      207
2.89/2.97	c  0.6s |       2 |      807 |      250 |    15908      0 |    21638 |      207
3.40/3.44	c  1.0s |       3 |     1722 |      475 |    17499      0 |    21645 |      207
3.79/3.87	c  1.4s |       4 |     2159 |      813 |    19249      0 |    21647 |      207
4.40/4.41	c  2.0s |       5 |     2684 |     1320 |    21174      0 |    21647 |      207
5.19/5.22	c  2.8s |       6 |     3464 |     2081 |    25622      0 |    21647 |      207
6.39/6.46	c  4.0s |       7 |     4677 |     3223 |    28185      0 |    21647 |      207
8.39/8.44	c  6.0s |       8 |     6416 |     4936 |    31004      0 |    21647 |      207
10.49/10.56	c  8.1s |       8 |     8260 |     6736 |    31004      0 |    21648 |      207
11.39/11.44	c  9.0s |       9 |     9033 |     7506 |    34105      0 |    21648 |      207
13.39/13.48	c 11.1s |       9 |    11185 |     9606 |    34105      0 |    21648 |      207
15.19/15.20	c 12.8s |      10 |    12964 |    11361 |    37516      0 |    21648 |      207
17.19/17.20	c 14.8s |      10 |    14627 |    12861 |    37516      0 |    21648 |      207
19.19/19.29	c 16.9s |      10 |    16210 |    14361 |    37516      0 |    21650 |      207
21.29/21.35	c 18.9s |      10 |    17646 |    15661 |    37516      0 |    21650 |      207
23.29/23.32	c 20.9s |      11 |    19220 |    17144 |    41268      0 |    21650 |      207
25.29/25.40	c 23.0s |      11 |    20639 |    18444 |    41268      0 |    21650 |      207
27.49/27.51	c 25.1s |      11 |    22061 |    19844 |    41268      0 |    21650 |      207
29.59/29.64	c 27.2s |      11 |    23490 |    21244 |    41268      0 |    21650 |      207
31.69/31.77	c 29.3s |      11 |    25004 |    22744 |    41268      0 |    21650 |      207
33.78/33.84	c 31.4s |      11 |    26325 |    24044 |    41268      0 |    21650 |      207
35.88/35.94	c 33.5s |      11 |    27531 |    25244 |    41268      0 |    21650 |      207
36.88/36.97	c 34.6s |      12 |    28106 |    25819 |    45395      0 |    21650 |      207
38.98/39.08	c 36.7s |      12 |    29228 |    26919 |    45395      0 |    21650 |      207
41.08/41.18	c 38.8s |      12 |    30429 |    28119 |    45395      0 |    21650 |      207
43.18/43.26	c 40.8s |      12 |    31896 |    29519 |    45395      0 |    21650 |      207
45.28/45.30	c 42.9s |      12 |    33351 |    30919 |    45395      0 |    21650 |      207
47.39/47.46	c 45.0s |      12 |    34802 |    32319 |    45395      0 |    21650 |      207
49.38/49.48	c 47.1s |      12 |    36109 |    33619 |    45395      0 |    21650 |      207
51.48/51.56	c 49.1s |      12 |    37327 |    34819 |    45395      0 |    21650 |      207
53.58/53.69	c 51.3s |      12 |    38549 |    36019 |    45395      0 |    21650 |      207
55.78/55.86	c 53.4s |      12 |    39851 |    37319 |    45395      0 |    21650 |      207
57.98/58.02	c 55.6s |      12 |    41153 |    38619 |    49935      0 |    21650 |      207
58.29/58.37	c 55.9s |      13 |    41365 |    38832 |    49935      0 |    21650 |      207
60.38/60.44	c 58.0s |      13 |    42299 |    39732 |    49935      0 |    21650 |      207
62.38/62.49	c 60.1s |      13 |    43290 |    40732 |    49935      0 |    21650 |      207
64.58/64.61	c 62.2s |      13 |    44395 |    41832 |    49935      0 |    21650 |      207
66.68/66.70	c 64.3s |      13 |    45401 |    42832 |    49935      0 |    21650 |      207
68.68/68.75	c 66.3s |      13 |    46306 |    43732 |    49935      0 |    21650 |      207
70.77/70.85	c 68.4s |      13 |    47305 |    44732 |    49935      0 |    21650 |      207
72.77/72.88	c 70.5s |      13 |    48309 |    45732 |    49935      0 |    21650 |      207
74.88/74.91	c 72.5s |      13 |    49212 |    46632 |    49935      0 |    21650 |      207
76.87/76.98	c 74.6s |      13 |    50109 |    47532 |    49935      0 |    21650 |      207
78.97/79.07	c 76.6s |      13 |    50917 |    48332 |    49935      0 |    21650 |      207
81.27/81.32	c 78.9s |      13 |    51822 |    49232 |    49935      0 |    21650 |      207
83.27/83.38	c 81.0s |      13 |    52635 |    50032 |    49935      0 |    21650 |      207
85.47/85.52	c 83.1s |      13 |    53362 |    50732 |    49935      0 |    21650 |      207
87.57/87.68	c 85.3s |      13 |    54077 |    51432 |    49935      0 |    21650 |      207
89.87/89.91	c 87.5s |      13 |    54877 |    52232 |    49935      0 |    21650 |      207
92.07/92.11	c 89.7s |      13 |    55804 |    53132 |    49935      0 |    21650 |      207
94.17/94.24	c 91.8s |      13 |    56607 |    53932 |    49935      0 |    21650 |      207
96.37/96.44	c 94.0s |      13 |    57308 |    54632 |    49935      0 |    21650 |      207
98.57/98.67	c 96.2s |      13 |    58011 |    55332 |    49935      0 |    21650 |      207
100.76/100.83	c 98.4s |      13 |    58712 |    56032 |    49935      0 |    21650 |      207
102.86/102.91	c  100s |      13 |    59415 |    56732 |    49935      0 |    21650 |      207
105.06/105.18	c  102s |      13 |    60118 |    57432 |    49935      0 |    21650 |      207
107.36/107.49	c  105s |      13 |    60818 |    58132 |    54929      0 |    21650 |      207
108.06/108.14	c  105s |      14 |    61033 |    58352 |    54929      0 |    21650 |      207
110.16/110.25	c  107s |      14 |    61668 |    58952 |    54929      0 |    21650 |      207
112.16/112.26	c  109s |      14 |    62368 |    59652 |    54929      0 |    21650 |      207
114.16/114.28	c  111s |      14 |    63061 |    60352 |    54929      0 |    21650 |      207
116.26/116.37	c  113s |      14 |    63765 |    61052 |    54929      0 |    21650 |      207
118.56/118.60	c  116s |      14 |    64469 |    61752 |    54929      0 |    21650 |      207
120.55/120.60	c  118s |      14 |    65176 |    62452 |    54929      0 |    21650 |      207
122.65/122.78	c  120s |      14 |    65986 |    63252 |    54929      0 |    21650 |      207
124.85/124.99	c  122s |      14 |    66684 |    63952 |    54929      0 |    21650 |      207
127.05/127.14	c  124s |      14 |    67284 |    64552 |    54929      0 |    21650 |      207
129.35/129.41	c  126s |      14 |    67985 |    65252 |    54929      0 |    21650 |      207
131.35/131.44	c  129s |      14 |    68595 |    65852 |    54929      0 |    21650 |      207
133.45/133.52	c  131s |      14 |    69194 |    66452 |    54929      0 |    21650 |      207
135.45/135.57	c  133s |      14 |    69698 |    66952 |    54929      0 |    21650 |      207
137.75/137.83	c  135s |      14 |    70306 |    67552 |    54929      0 |    21650 |      207
139.76/139.88	c  137s |      14 |    71021 |    68252 |    54929      0 |    21650 |      207
142.05/142.16	c  139s |      14 |    71833 |    69052 |    54929      0 |    21650 |      207
144.25/144.34	c  141s |      14 |    72539 |    69752 |    54929      0 |    21650 |      207
146.25/146.40	c  143s |      14 |    73134 |    70352 |    54929      0 |    21650 |      207
148.65/148.73	c  146s |      14 |    73860 |    71052 |    54929      0 |    21650 |      207
150.85/150.94	c  148s |      14 |    74465 |    71652 |    54929      0 |    21650 |      207
152.95/153.01	c  150s |      14 |    75067 |    72252 |    54929      0 |    21650 |      207
155.15/155.28	c  152s |      14 |    75780 |    72952 |    54929      0 |    21650 |      207
157.44/157.59	c  155s |      14 |    76588 |    73752 |    54929      0 |    21650 |      207
159.84/159.90	c  157s |      14 |    77405 |    74552 |    54929      0 |    21650 |      207
162.04/162.15	c  159s |      14 |    78003 |    75152 |    54929      0 |    21650 |      207
164.14/164.26	c  161s |      14 |    78501 |    75652 |    54929      0 |    21650 |      207
166.54/166.63	c  164s |      14 |    79102 |    76252 |    54929      0 |    21650 |      207
169.54/169.66	c  167s |      14 |    79702 |    76852 |    54929      1 |    21650 |      207
171.74/171.81	c  169s |      14 |    80332 |    77452 |    54929      1 |    21651 |      207
173.85/173.99	c  171s |      14 |    80839 |    77952 |    54929      1 |    21651 |      207
176.05/176.18	c  173s |      14 |    81942 |    79052 |    54929      1 |    21651 |      207
178.25/178.38	c  175s |      14 |    82845 |    79952 |    54929      1 |    21651 |      207
180.45/180.54	c  178s |      14 |    83458 |    80552 |    54929      1 |    21651 |      207
182.65/182.71	c  180s |      14 |    83963 |    81052 |    54929      1 |    21651 |      207
184.85/184.93	c  182s |      14 |    84566 |    81652 |    54929      1 |    21651 |      207
186.95/187.09	c  184s |      14 |    85266 |    82352 |    54929      1 |    21651 |      207
189.04/189.20	c  186s |      14 |    86167 |    83252 |    54929      1 |    21651 |      207
191.14/191.26	c  188s |      14 |    86868 |    83952 |    54929      1 |    21651 |      207
193.24/193.36	c  190s |      14 |    87570 |    84652 |    54929      1 |    21651 |      207
195.34/195.41	c  192s |      14 |    88173 |    85252 |    54929      1 |    21651 |      207
197.44/197.57	c  195s |      14 |    88876 |    85952 |    54929      1 |    21651 |      207
199.54/199.68	c  197s |      14 |    89885 |    86952 |    54929      1 |    21651 |      207
201.84/201.94	c  199s |      15 |    90568 |    87632 |    60422      1 |    21651 |      207
203.94/204.08	c  201s |      15 |    91094 |    88132 |    60422      1 |    21651 |      207
206.33/206.44	c  204s |      15 |    91691 |    88732 |    60422      1 |    21651 |      207
208.53/208.60	c  206s |      15 |    92304 |    89332 |    60422      1 |    21651 |      207
210.73/210.83	c  208s |      15 |    92904 |    89932 |    60422      1 |    21651 |      207
212.83/212.92	c  210s |      15 |    93607 |    90632 |    60422      1 |    21651 |      207
214.83/214.98	c  212s |      15 |    94412 |    91432 |    60422      1 |    21651 |      207
216.93/217.00	c  214s |      15 |    95013 |    92032 |    60422      1 |    21651 |      207
218.93/219.07	c  216s |      15 |    95612 |    92632 |    60422      1 |    21651 |      207
221.03/221.15	c  218s |      15 |    96323 |    93332 |    60422      1 |    21651 |      207
223.23/223.36	c  220s |      15 |    97021 |    94032 |    60422      1 |    21651 |      207
225.32/225.42	c  222s |      15 |    97726 |    94732 |    60422      1 |    21651 |      207
227.52/227.62	c  225s |      15 |    98425 |    95432 |    60422      1 |    21651 |      207
229.62/229.70	c  227s |      15 |    99125 |    96132 |    60422      1 |    21651 |      207
231.82/231.96	c  229s |      15 |    99941 |    96932 |    60422      1 |    21651 |      207
233.92/234.06	c  231s |      15 |   100675 |    97632 |    60422      1 |    21652 |      207
236.32/236.42	c  233s |      15 |   101479 |    98432 |    60422      1 |    21652 |      207
238.42/238.57	c  236s |      15 |   102077 |    99032 |    60422      1 |    21652 |      207
240.62/240.71	c  238s |      15 |   102775 |    99732 |    60422      1 |    21652 |      207
242.82/242.93	c  240s |      15 |   103583 |   100532 |    60422      1 |    21652 |      207
244.92/245.02	c  242s |      15 |   104290 |   101232 |    60422      1 |    21652 |      207
247.22/247.37	c  244s |      15 |   105087 |   102032 |    60422      1 |    21652 |      207
249.22/249.38	c  246s |      15 |   105801 |   102732 |    60422      1 |    21652 |      207
251.31/251.45	c  249s |      15 |   106597 |   103532 |    60422      1 |    21652 |      207
253.41/253.57	c  251s |      15 |   107298 |   104232 |    60422      1 |    21652 |      207
255.51/255.65	c  253s |      15 |   107704 |   104632 |    60422      1 |    21652 |      207
258.01/258.11	c  255s |      15 |   108303 |   105232 |    60422      1 |    21652 |      207
260.31/260.44	c  258s |      15 |   108803 |   105732 |    60422      1 |    21652 |      207
262.41/262.59	c  260s |      15 |   109405 |   106332 |    60422      1 |    21652 |      207
264.51/264.61	c  262s |      15 |   109909 |   106832 |    60422      1 |    21652 |      207
266.51/266.67	c  264s |      15 |   110313 |   107232 |    60422      1 |    21652 |      207
268.61/268.77	c  266s |      15 |   110916 |   107832 |    60422      1 |    21652 |      207
270.81/270.95	c  268s |      15 |   111418 |   108332 |    60422      1 |    21652 |      207
273.11/273.22	c  270s |      15 |   112020 |   108932 |    60422      1 |    21652 |      207
275.11/275.23	c  272s |      15 |   112521 |   109432 |    60422      1 |    21652 |      207
277.31/277.40	c  274s |      15 |   113024 |   109932 |    60422      1 |    21652 |      207
279.31/279.42	c  276s |      15 |   113520 |   110432 |    60422      1 |    21652 |      207
281.51/281.65	c  279s |      15 |   114122 |   111032 |    60422      1 |    21652 |      207
283.60/283.70	c  281s |      15 |   114728 |   111632 |    60422      1 |    21652 |      207
285.70/285.84	c  283s |      15 |   115248 |   112132 |    60422      1 |    21652 |      207
287.70/287.88	c  285s |      15 |   115675 |   112532 |    60422      1 |    21652 |      207
290.10/290.26	c  287s |      15 |   116171 |   113032 |    60422      1 |    21652 |      207
292.30/292.43	c  290s |      15 |   116780 |   113632 |    60422      1 |    21652 |      207
294.30/294.45	c  292s |      15 |   117283 |   114132 |    60422      1 |    21652 |      207
296.91/297.04	c  294s |      15 |   117902 |   114732 |    60422      1 |    21652 |      207
299.00/299.17	c  296s |      15 |   118300 |   115132 |    60422      1 |    21652 |      207
301.41/301.55	c  299s |      15 |   118803 |   115632 |    60422      1 |    21652 |      207
303.51/303.70	c  301s |      15 |   119212 |   116032 |    60422      1 |    21652 |      207
305.60/305.78	c  303s |      15 |   119608 |   116432 |    60422      1 |    21652 |      207
307.70/307.86	c  305s |      15 |   120011 |   116832 |    60422      1 |    21652 |      207
310.20/310.33	c  307s |      15 |   120511 |   117332 |    60422      1 |    21652 |      207
312.30/312.43	c  310s |      15 |   121215 |   118032 |    60422      1 |    21652 |      207
314.50/314.64	c  312s |      15 |   121815 |   118632 |    60422      1 |    21652 |      207
316.60/316.74	c  314s |      15 |   122517 |   119332 |    60422      1 |    21652 |      207
318.60/318.75	c  316s |      15 |   123125 |   119932 |    60422      1 |    21652 |      207
320.70/320.90	c  318s |      15 |   123724 |   120532 |    60422      1 |    21652 |      207
323.41/323.54	c  321s |      15 |   123834 |   120632 |    60422      2 |    21652 |      207
325.70/325.89	c  323s |      15 |   123933 |   120732 |    60422      2 |    21652 |      207
327.90/328.08	c  325s |      15 |   124727 |   121532 |    60422      2 |    21652 |      207
330.00/330.19	c  327s |      15 |   125634 |   122432 |    60422      2 |    21652 |      207
334.10/334.24	c  331s |      15 |   125835 |   122632 |    60422      2 |    21652 |      207
336.09/336.28	c  333s |      15 |   126628 |   123432 |    60422      2 |    21652 |      207
338.29/338.44	c  336s |      15 |   127533 |   124332 |    60422      2 |    21652 |      207
340.39/340.55	c  338s |      15 |   128440 |   125232 |    60422      2 |    21652 |      207
342.49/342.69	c  340s |      15 |   129440 |   126232 |    60422      2 |    21652 |      207
344.69/344.86	c  342s |      15 |   130344 |   127132 |    60422      2 |    21652 |      207
346.99/347.10	c  344s |      15 |   131243 |   128032 |    60422      2 |    21652 |      207
348.99/349.14	c  346s |      15 |   131945 |   128732 |    60422      2 |    21652 |      207
351.29/351.41	c  348s |      15 |   132747 |   129532 |    60422      2 |    21652 |      207
353.49/353.62	c  351s |      15 |   133547 |   130332 |    60422      2 |    21652 |      207
355.49/355.68	c  353s |      15 |   134352 |   131132 |    66465      2 |    21652 |      207
356.69/356.87	c  354s |      16 |   134775 |   131552 |    66465      2 |    21652 |      207
358.79/358.91	c  356s |      16 |   135499 |   132252 |    66465      2 |    21652 |      207
360.79/360.95	c  358s |      16 |   136306 |   133052 |    66465      2 |    21652 |      207
363.09/363.20	c  360s |      16 |   137210 |   133952 |    66465      2 |    21652 |      207
365.29/365.43	c  363s |      16 |   138105 |   134852 |    66465      2 |    21652 |      207
367.29/367.44	c  365s |      16 |   138912 |   135652 |    66465      2 |    21652 |      207
369.29/369.47	c  367s |      16 |   139705 |   136452 |    66465      2 |    21652 |      207
375.99/376.16	c  373s |      16 |   140516 |   137252 |    66465      2 |    21652 |      207
378.19/378.34	c  375s |      16 |   141324 |   138052 |    66465      2 |    21652 |      207
380.29/380.44	c  378s |      16 |   142126 |   138852 |    66465      2 |    21652 |      207
382.58/382.72	c  380s |      16 |   142924 |   139652 |    66465      2 |    21652 |      207
384.58/384.79	c  382s |      16 |   143622 |   140352 |    66465      2 |    21652 |      207
386.88/387.05	c  384s |      16 |   144325 |   141052 |    66465      2 |    21652 |      207
388.88/389.05	c  386s |      16 |   145029 |   141752 |    66465      2 |    21652 |      207
390.88/391.09	c  388s |      16 |   145728 |   142452 |    66465      2 |    21652 |      207
393.18/393.34	c  390s |      16 |   146544 |   143252 |    66465      2 |    21652 |      207
395.28/395.47	c  393s |      16 |   147241 |   143952 |    66465      2 |    21652 |      207
397.38/397.57	c  395s |      16 |   147939 |   144652 |    66465      2 |    21652 |      207
399.38/399.59	c  397s |      16 |   148643 |   145352 |    66465      2 |    21652 |      207
401.58/401.71	c  399s |      16 |   149457 |   146152 |    66465      2 |    21652 |      207
403.78/403.92	c  401s |      16 |   150259 |   146952 |    66465      2 |    21652 |      207
405.98/406.16	c  403s |      16 |   150963 |   147652 |    66465      2 |    21652 |      207
408.09/408.28	c  405s |      16 |   151562 |   148252 |    66465      2 |    21652 |      207
410.38/410.51	c  408s |      16 |   152270 |   148952 |    66465      2 |    21652 |      207
412.58/412.70	c  410s |      16 |   152972 |   149652 |    66465      2 |    21652 |      207
414.88/415.01	c  412s |      16 |   153672 |   150352 |    66465      2 |    21652 |      207
416.98/417.10	c  414s |      16 |   154289 |   150952 |    66465      2 |    21652 |      207
419.08/419.27	c  416s |      16 |   154892 |   151552 |    66465      2 |    21652 |      207
421.37/421.55	c  419s |      16 |   155486 |   152152 |    66465      2 |    21652 |      207
423.57/423.74	c  421s |      16 |   156093 |   152752 |    66465      2 |    21652 |      207
425.67/425.82	c  423s |      16 |   156793 |   153452 |    66465      2 |    21652 |      207
427.67/427.82	c  425s |      16 |   157395 |   154052 |    66465      2 |    21652 |      207
429.67/429.83	c  427s |      16 |   157992 |   154652 |    66465      2 |    21652 |      207
431.96/432.10	c  429s |      16 |   158705 |   155352 |    66465      2 |    21652 |      207
434.06/434.28	c  431s |      16 |   159399 |   156052 |    66465      2 |    21652 |      207
436.36/436.50	c  434s |      16 |   160001 |   156652 |    66465      2 |    21652 |      207
438.66/438.82	c  436s |      16 |   160601 |   157252 |    66465      2 |    21652 |      207
440.96/441.14	c  438s |      16 |   161203 |   157852 |    66465      2 |    21652 |      207
443.36/443.53	c  441s |      16 |   161804 |   158452 |    66465      2 |    21652 |      207
445.36/445.56	c  443s |      16 |   162300 |   158952 |    66465      2 |    21652 |      207
447.66/447.81	c  445s |      16 |   163008 |   159652 |    66465      2 |    21652 |      207
449.95/450.12	c  447s |      16 |   163607 |   160252 |    66465      2 |    21652 |      207
452.06/452.28	c  449s |      16 |   164209 |   160852 |    66465      2 |    21652 |      207
454.35/454.50	c  452s |      16 |   164813 |   161452 |    66465      2 |    21652 |      207
456.55/456.78	c  454s |      16 |   165519 |   162152 |    66465      2 |    21652 |      207
458.75/458.96	c  456s |      16 |   166120 |   162752 |    66465      2 |    21652 |      207
460.95/461.18	c  458s |      16 |   166818 |   163452 |    66465      2 |    21652 |      207
463.25/463.47	c  461s |      16 |   167522 |   164152 |    66465      2 |    21652 |      207
465.55/465.77	c  463s |      16 |   168225 |   164852 |    66465      2 |    21652 |      207
467.64/467.82	c  465s |      16 |   168835 |   165452 |    66465      2 |    21652 |      207
469.94/470.16	c  467s |      16 |   169433 |   166052 |    66465      2 |    21652 |      207
472.34/472.50	c  470s |      16 |   170036 |   166652 |    66465      2 |    21652 |      207
474.54/474.76	c  472s |      16 |   170539 |   167152 |    66465      2 |    21652 |      207
477.94/478.13	c  475s |      16 |   171141 |   167752 |    66465      3 |    21652 |      207
480.24/480.43	c  478s |      16 |   171638 |   168252 |    66465      3 |    21652 |      207
484.74/484.92	c  482s |      16 |   171945 |   168552 |    66465      3 |    21652 |      207
492.04/492.23	c  489s |      16 |   172051 |   168652 |    66465      3 |    21652 |      207
494.34/494.54	c  492s |      16 |   172849 |   169452 |    66465      3 |    21652 |      207
496.54/496.72	c  494s |      16 |   173654 |   170252 |    66465      3 |    21652 |      207
498.64/498.82	c  496s |      16 |   174351 |   170952 |    66465      3 |    21652 |      207
500.84/501.08	c  498s |      16 |   175059 |   171652 |    66465      3 |    21652 |      207
503.04/503.28	c  500s |      16 |   175754 |   172352 |    66465      3 |    21652 |      207
505.24/505.44	c  503s |      16 |   176362 |   172952 |    66465      3 |    21652 |      207
507.33/507.53	c  505s |      16 |   176971 |   173552 |    66465      3 |    21652 |      207
509.33/509.54	c  507s |      16 |   177568 |   174152 |    66465      3 |    21652 |      207
511.44/511.61	c  509s |      16 |   178260 |   174852 |    66465      3 |    21652 |      207
513.73/513.94	c  511s |      16 |   178866 |   175452 |    66465      3 |    21652 |      207
515.74/515.96	c  513s |      16 |   179464 |   176052 |    66465      3 |    21652 |      207
518.04/518.24	c  515s |      16 |   180267 |   176852 |    66465      3 |    21652 |      207
520.24/520.41	c  517s |      16 |   180967 |   177552 |    66465      3 |    21652 |      207
522.44/522.65	c  520s |      16 |   181675 |   178252 |    66465      3 |    21652 |      207
524.54/524.73	c  522s |      16 |   182178 |   178752 |    66465      3 |    21652 |      207
526.74/526.91	c  524s |      16 |   182882 |   179452 |    66465      3 |    21652 |      207
528.83/529.00	c  526s |      16 |   183579 |   180152 |    66465      3 |    21652 |      207
530.83/531.05	c  528s |      16 |   184285 |   180852 |    66465      3 |    21652 |      207
533.03/533.23	c  530s |      16 |   184889 |   181452 |    66465      3 |    21652 |      207
535.33/535.50	c  533s |      16 |   185596 |   182152 |    66465      3 |    21652 |      207
537.33/537.55	c  535s |      16 |   186197 |   182752 |    66465      3 |    21652 |      207
539.53/539.71	c  537s |      16 |   186898 |   183452 |    66465      3 |    21652 |      207
541.82/542.00	c  539s |      16 |   187595 |   184152 |    66465      3 |    21652 |      207
543.92/544.14	c  541s |      16 |   188304 |   184852 |    66465      3 |    21652 |      207
545.92/546.18	c  543s |      16 |   189101 |   185652 |    66465      3 |    21652 |      207
548.02/548.24	c  545s |      16 |   189910 |   186452 |    66465      3 |    21652 |      207
550.22/550.45	c  548s |      16 |   190502 |   187052 |    66465      3 |    21652 |      207
552.32/552.54	c  550s |      16 |   191207 |   187752 |    66465      3 |    21652 |      207
554.52/554.79	c  552s |      16 |   191802 |   188352 |    66465      3 |    21652 |      207
556.72/556.90	c  554s |      16 |   192311 |   188852 |    66465      3 |    21652 |      207
558.73/558.96	c  556s |      16 |   192814 |   189352 |    66465      3 |    21652 |      207
560.72/560.97	c  558s |      16 |   193318 |   189852 |    66465      3 |    21652 |      207
562.92/563.16	c  560s |      16 |   193817 |   190352 |    66465      3 |    21652 |      207
565.23/565.42	c  563s |      16 |   194420 |   190952 |    66465      3 |    21652 |      207
567.32/567.53	c  565s |      16 |   195130 |   191652 |    66465      3 |    21652 |      207
569.63/569.84	c  567s |      16 |   195728 |   192252 |    66465      3 |    21652 |      207
571.62/571.86	c  569s |      16 |   196229 |   192752 |    66465      3 |    21652 |      207
573.62/573.86	c  571s |      16 |   196735 |   193252 |    66465      3 |    21652 |      207
575.62/575.87	c  573s |      16 |   197234 |   193752 |    66465      3 |    21652 |      207
578.02/578.21	c  575s |      16 |   197839 |   194352 |    66465      3 |    21652 |      207
580.01/580.22	c  577s |      16 |   198334 |   194852 |    66465      3 |    21652 |      207
582.41/582.60	c  580s |      16 |   198838 |   195352 |    66465      3 |    21652 |      207
584.61/584.87	c  582s |      16 |   199341 |   195852 |    66465      3 |    21652 |      207
586.91/587.16	c  584s |      16 |   199839 |   196352 |    73112      3 |    21652 |      207
589.01/589.25	c  586s |      16 |   200341 |   196852 |    73112      3 |    21652 |      207
591.31/591.58	c  589s |      16 |   200842 |   197352 |    73112      3 |    21652 |      207
591.62/591.89	c  589s |      17 |   200921 |   197432 |    73112      3 |    21652 |      207
594.11/594.35	c  591s |      17 |   201547 |   198032 |    73112      3 |    21652 |      207
596.51/596.71	c  594s |      17 |   202049 |   198532 |    73112      3 |    21652 |      207
598.51/598.73	c  596s |      17 |   202449 |   198932 |    73112      3 |    21652 |      207
600.61/600.85	c  598s |      17 |   203058 |   199532 |    73112      3 |    21652 |      207
602.91/603.15	c  600s |      17 |   203658 |   200132 |    73112      3 |    21652 |      207
605.31/605.59	c  603s |      17 |   204259 |   200732 |    73112      3 |    21652 |      207
607.61/607.83	c  605s |      17 |   204864 |   201332 |    73112      3 |    21652 |      207
610.01/610.27	c  607s |      17 |   205368 |   201832 |    73112      3 |    21652 |      207
612.20/612.40	c  609s |      17 |   205771 |   202232 |    73112      3 |    21652 |      207
614.50/614.71	c  612s |      17 |   206269 |   202732 |    73112      3 |    21652 |      207
616.60/616.82	c  614s |      17 |   206679 |   203132 |    73112      3 |    21652 |      207
618.80/619.08	c  616s |      17 |   207180 |   203632 |    73112      3 |    21652 |      207
621.10/621.33	c  618s |      17 |   207779 |   204232 |    73112      3 |    21652 |      207
623.30/623.52	c  621s |      17 |   208277 |   204732 |    73112      3 |    21652 |      207
625.50/625.71	c  623s |      17 |   208774 |   205232 |    73112      3 |    21652 |      207
627.60/627.86	c  625s |      17 |   209178 |   205632 |    73112      3 |    21652 |      207
629.70/629.90	c  627s |      17 |   209574 |   206032 |    73112      3 |    21652 |      207
631.90/632.14	c  629s |      17 |   210082 |   206532 |    73112      3 |    21652 |      207
634.00/634.26	c  631s |      17 |   210588 |   207032 |    73112      3 |    21652 |      207
636.30/636.58	c  634s |      17 |   211185 |   207632 |    73112      3 |    21652 |      207
638.70/638.94	c  636s |      17 |   211790 |   208232 |    73112      3 |    21652 |      207
640.80/641.00	c  638s |      17 |   212292 |   208732 |    73112      3 |    21652 |      207
642.90/643.18	c  640s |      17 |   212895 |   209332 |    73112      3 |    21652 |      207
645.20/645.41	c  642s |      17 |   213304 |   209732 |    73112      3 |    21652 |      207
647.60/647.82	c  645s |      17 |   213804 |   210232 |    73112      3 |    21652 |      207
649.80/650.10	c  647s |      17 |   214304 |   210732 |    73112      3 |    21652 |      207
651.99/652.22	c  649s |      17 |   214702 |   211132 |    73112      3 |    21652 |      207
654.30/654.52	c  652s |      17 |   215307 |   211732 |    73112      3 |    21652 |      207
656.60/656.84	c  654s |      17 |   215808 |   212232 |    73112      3 |    21652 |      207
658.99/659.28	c  656s |      17 |   216310 |   212732 |    73112      3 |    21652 |      207
661.58/661.85	c  659s |      17 |   216812 |   213232 |    73112      3 |    21652 |      207
663.68/663.99	c  661s |      17 |   217209 |   213632 |    73112      3 |    21652 |      207
665.88/666.13	c  663s |      17 |   217610 |   214032 |    73112      3 |    21652 |      207
667.98/668.22	c  665s |      17 |   218012 |   214432 |    73112      3 |    21652 |      207
670.18/670.48	c  668s |      17 |   218414 |   214832 |    73112      3 |    21652 |      207
672.48/672.72	c  670s |      17 |   218816 |   215232 |    73112      3 |    21652 |      207
674.48/674.74	c  672s |      17 |   219316 |   215732 |    73112      3 |    21652 |      207
676.58/676.89	c  674s |      17 |   219820 |   216232 |    73112      3 |    21652 |      207
678.77/679.02	c  676s |      17 |   220420 |   216832 |    73112      3 |    21652 |      207
681.07/681.33	c  678s |      17 |   220825 |   217232 |    73112      3 |    21652 |      207
683.17/683.47	c  681s |      17 |   221228 |   217632 |    73112      3 |    21652 |      207
685.27/685.52	c  683s |      17 |   221642 |   218032 |    73112      3 |    21652 |      207
689.48/689.77	c  687s |      17 |   222138 |   218532 |    73112      4 |    21652 |      207
692.67/692.94	c  690s |      17 |   222240 |   218632 |    73112      4 |    21652 |      207
694.97/695.22	c  692s |      17 |   222942 |   219332 |    73112      4 |    21652 |      207
697.17/697.41	c  694s |      17 |   223643 |   220032 |    73112      4 |    21652 |      207
699.47/699.71	c  697s |      17 |   224448 |   220832 |    73112      4 |    21652 |      207
701.57/701.82	c  699s |      17 |   225245 |   221632 |    73112      4 |    21652 |      207
704.16/704.45	c  702s |      17 |   225847 |   222232 |    73112      4 |    21652 |      207
706.26/706.54	c  704s |      17 |   226651 |   223032 |    73112      4 |    21652 |      207
708.46/708.71	c  706s |      17 |   227457 |   223832 |    73112      4 |    21652 |      207
710.47/710.78	c  708s |      17 |   228366 |   224732 |    73112      4 |    21652 |      207
712.57/712.86	c  710s |      17 |   229265 |   225632 |    73112      4 |    21652 |      207
714.77/715.01	c  712s |      17 |   230165 |   226532 |    73112      4 |    21652 |      207
716.97/717.28	c  714s |      17 |   231076 |   227432 |    73112      4 |    21652 |      207
719.06/719.37	c  716s |      17 |   231775 |   228132 |    73112      4 |    21652 |      207
721.26/721.50	c  719s |      17 |   232582 |   228932 |    73112      4 |    21652 |      207
723.46/723.71	c  721s |      17 |   233492 |   229832 |    73112      4 |    21652 |      207
725.56/725.81	c  723s |      17 |   234402 |   230732 |    73112      4 |    21652 |      207
728.46/728.72	c  726s |      17 |   235202 |   231532 |    73112      4 |    21652 |      207
793.45/793.72	c  791s |      17 |   235404 |   231732 |    73112      4 |    21652 |      207
845.65/845.92	c  843s |      17 |   235511 |   231832 |    73112      4 |    21652 |      207
847.74/848.03	c  845s |      17 |   235906 |   232232 |    73112      4 |    21652 |      207
850.55/850.89	c  848s |      17 |   236003 |   232332 |    73112      4 |    21652 |      207
852.85/853.19	c  850s |      17 |   236617 |   232932 |    73112      4 |    21652 |      207
855.15/855.46	c  853s |      17 |   237014 |   233332 |    73112      4 |    21652 |      207
857.24/857.51	c  855s |      17 |   237418 |   233732 |    73112      4 |    21652 |      207
859.24/859.57	c  857s |      17 |   237924 |   234232 |    73112      4 |    21652 |      207
861.64/861.92	c  859s |      17 |   238523 |   234832 |    73112      4 |    21652 |      207
863.74/864.08	c  861s |      17 |   238927 |   235232 |    73112      4 |    21652 |      207
865.94/866.28	c  863s |      17 |   239329 |   235632 |    73112      4 |    21652 |      207
868.24/868.59	c  866s |      17 |   239838 |   236132 |    73112      4 |    21652 |      207
870.44/870.77	c  868s |      17 |   240442 |   236732 |    73112      4 |    21652 |      207
872.54/872.82	c  870s |      17 |   241056 |   237332 |    73112      4 |    21652 |      207
874.64/874.97	c  872s |      17 |   241763 |   238032 |    73112      4 |    21652 |      207
876.84/877.10	c  874s |      17 |   242167 |   238432 |    73112      4 |    21652 |      207
879.04/879.36	c  876s |      17 |   242772 |   239032 |    73112      4 |    21652 |      207
881.14/881.46	c  879s |      17 |   243176 |   239432 |    73112      4 |    21652 |      207
883.54/883.88	c  881s |      17 |   243675 |   239932 |    73112      4 |    21652 |      207
885.74/886.09	c  883s |      17 |   244178 |   240432 |    73112      4 |    21652 |      207
888.04/888.36	c  885s |      17 |   244782 |   241032 |    73112      4 |    21652 |      207
890.34/890.69	c  888s |      17 |   245383 |   241632 |    73112      4 |    21652 |      207
892.84/893.10	c  890s |      17 |   245983 |   242232 |    73112      4 |    21652 |      207
895.25/895.59	c  893s |      17 |   246584 |   242832 |    73112      4 |    21652 |      207
897.35/897.69	c  895s |      17 |   246985 |   243232 |    73112      4 |    21652 |      207
899.55/899.88	c  897s |      17 |   247496 |   243732 |    73112      4 |    21652 |      207
901.84/902.14	c  899s |      17 |   248100 |   244332 |    73112      4 |    21652 |      207
903.84/904.17	c  901s |      17 |   248803 |   245032 |    73112      4 |    21652 |      207
906.04/906.38	c  903s |      17 |   249611 |   245832 |    73112      4 |    21652 |      207
908.34/908.69	c  906s |      17 |   250331 |   246532 |    73112      4 |    21652 |      207
910.44/910.76	c  908s |      17 |   250935 |   247132 |    73112      4 |    21652 |      207
912.64/912.98	c  910s |      17 |   251752 |   247932 |    73112      4 |    21652 |      207
914.94/915.23	c  912s |      17 |   252460 |   248632 |    73112      4 |    21652 |      207
916.94/917.24	c  914s |      17 |   253063 |   249232 |    73112      4 |    21652 |      207
919.24/919.54	c  917s |      17 |   253863 |   250032 |    73112      4 |    21652 |      207
921.54/921.88	c  919s |      17 |   254367 |   250532 |    73112      4 |    21652 |      207
924.03/924.30	c  921s |      17 |   254871 |   251032 |    73112      4 |    21652 |      207
926.23/926.59	c  924s |      17 |   255572 |   251732 |    73112      4 |    21652 |      207
928.43/928.74	c  926s |      17 |   256073 |   252232 |    73112      4 |    21652 |      207
930.63/930.97	c  928s |      17 |   256776 |   252932 |    73112      4 |    21652 |      207
933.13/933.44	c  931s |      17 |   257484 |   253632 |    73112      4 |    21652 |      207
935.33/935.66	c  933s |      17 |   257895 |   254032 |    73112      4 |    21652 |      207
937.43/937.79	c  935s |      17 |   258290 |   254432 |    73112      4 |    21652 |      207
939.63/939.92	c  937s |      17 |   258684 |   254832 |    73112      4 |    21652 |      207
942.13/942.40	c  939s |      17 |   259191 |   255332 |    73112      4 |    21652 |      207
944.23/944.58	c  942s |      17 |   259592 |   255732 |    73112      4 |    21652 |      207
946.33/946.64	c  944s |      17 |   259994 |   256132 |    73112      4 |    21652 |      207
948.73/949.04	c  946s |      17 |   260489 |   256632 |    73112      4 |    21652 |      207
951.24/951.52	c  949s |      17 |   261095 |   257232 |    73112      4 |    21652 |      207
953.33/953.63	c  951s |      17 |   261496 |   257632 |    73112      4 |    21652 |      207
955.83/956.16	c  953s |      17 |   261995 |   258132 |    73112      4 |    21652 |      207
958.03/958.34	c  955s |      17 |   262397 |   258532 |    73112      4 |    21652 |      207
960.43/960.71	c  958s |      17 |   262999 |   259132 |    73112      4 |    21652 |      207
962.63/962.92	c  960s |      17 |   263404 |   259532 |    73112      4 |    21652 |      207
964.93/965.20	c  962s |      17 |   263807 |   259932 |    73112      4 |    21652 |      207
967.43/967.73	c  965s |      17 |   264515 |   260632 |    73112      4 |    21652 |      207
969.42/969.79	c  967s |      17 |   265022 |   261132 |    73112      4 |    21652 |      207
971.92/972.22	c  969s |      17 |   265526 |   261632 |    73112      4 |    21652 |      207
974.52/974.83	c  972s |      17 |   266026 |   262132 |    73112      4 |    21652 |      207
976.53/976.84	c  974s |      17 |   266335 |   262432 |    73112      4 |    21652 |      207
978.73/979.05	c  976s |      17 |   266733 |   262832 |    73112      4 |    21652 |      207
981.12/981.42	c  978s |      17 |   267129 |   263232 |    73112      4 |    21652 |      207
983.23/983.53	c  981s |      17 |   267536 |   263632 |    73112      4 |    21652 |      207
985.62/985.95	c  983s |      17 |   268040 |   264132 |    73112      4 |    21652 |      207
987.62/987.96	c  985s |      17 |   268541 |   264632 |    73112      4 |    21652 |      207
990.02/990.38	c  987s |      17 |   269043 |   265132 |    73112      4 |    21652 |      207
992.42/992.74	c  990s |      17 |   269643 |   265732 |    73112      4 |    21652 |      207
997.43/997.71	c  995s |      17 |   269944 |   266032 |    73112      5 |    21652 |      207
999.63/999.94	c  997s |      17 |   270654 |   266732 |    73112      5 |    21652 |      207
1001.82/1002.12	c  999s |      17 |   271559 |   267632 |    73112      5 |    21652 |      207
1009.41/1009.70	c 1007s |      17 |   272075 |   268132 |    73112      5 |    21652 |      207
1014.22/1014.52	c 1012s |      17 |   272167 |   268232 |    73112      5 |    21652 |      207
1016.52/1016.82	c 1014s |      17 |   272965 |   269032 |    73112      5 |    21652 |      207
1018.61/1018.95	c 1016s |      17 |   273773 |   269832 |    73112      5 |    21652 |      207
1020.81/1021.14	c 1018s |      17 |   274577 |   270632 |    73112      5 |    21652 |      207
1023.01/1023.39	c 1020s |      17 |   275476 |   271532 |    73112      5 |    21652 |      207
1025.11/1025.42	c 1023s |      17 |   276280 |   272332 |    73112      5 |    21652 |      207
1027.31/1027.64	c 1025s |      17 |   277191 |   273232 |    73112      5 |    21652 |      207
1029.51/1029.82	c 1027s |      17 |   277791 |   273832 |    73112      5 |    21652 |      207
1031.71/1032.03	c 1029s |      17 |   278398 |   274432 |    73112      5 |    21652 |      207
1033.72/1034.04	c 1031s |      17 |   279098 |   275132 |    73112      5 |    21652 |      207
1035.92/1036.22	c 1033s |      17 |   279908 |   275932 |    73112      5 |    21652 |      207
1038.01/1038.35	c 1035s |      17 |   280514 |   276532 |    73112      5 |    21652 |      207
1040.11/1040.49	c 1038s |      17 |   281226 |   277232 |    73112      5 |    21652 |      207
1042.31/1042.62	c 1040s |      17 |   281828 |   277832 |    73112      5 |    21652 |      207
1044.61/1044.91	c 1042s |      17 |   282635 |   278632 |    73112      5 |    21652 |      207
1046.92/1047.21	c 1044s |      17 |   283335 |   279332 |    73112      5 |    21652 |      207
1049.01/1049.38	c 1046s |      17 |   284034 |   280032 |    73112      5 |    21652 |      207
1051.11/1051.43	c 1049s |      17 |   284742 |   280732 |    73112      5 |    21652 |      207
1053.21/1053.51	c 1051s |      17 |   285451 |   281432 |    73112      5 |    21652 |      207
1055.31/1055.65	c 1053s |      17 |   286164 |   282132 |    73112      5 |    21652 |      207
1057.71/1058.02	c 1055s |      17 |   286862 |   282832 |    73112      5 |    21652 |      207
1060.01/1060.31	c 1057s |      17 |   287466 |   283432 |    73112      5 |    21652 |      207
1062.21/1062.55	c 1060s |      17 |   288168 |   284132 |    73112      5 |    21652 |      207
1064.41/1064.71	c 1062s |      17 |   288868 |   284832 |    73112      5 |    21652 |      207
1066.61/1066.99	c 1064s |      17 |   289573 |   285532 |    73112      5 |    21652 |      207
1068.81/1069.18	c 1066s |      17 |   290381 |   286332 |    73112      5 |    21652 |      207
1071.11/1071.45	c 1069s |      17 |   291079 |   287032 |    73112      5 |    21652 |      207
1073.31/1073.66	c 1071s |      17 |   291684 |   287632 |    73112      5 |    21652 |      207
1075.41/1075.70	c 1073s |      17 |   292187 |   288132 |    73112      5 |    21652 |      207
1077.51/1077.87	c 1075s |      17 |   292893 |   288832 |    73112      5 |    21652 |      207
1079.60/1079.94	c 1077s |      17 |   293616 |   289532 |    73112      5 |    21652 |      207
1081.70/1082.03	c 1079s |      17 |   294217 |   290132 |    73112      5 |    21652 |      207
1084.00/1084.32	c 1081s |      17 |   294816 |   290732 |    73112      5 |    21652 |      207
1086.10/1086.49	c 1084s |      17 |   295424 |   291332 |    73112      5 |    21652 |      207
1088.50/1088.87	c 1086s |      17 |   295925 |   291832 |    73112      5 |    21652 |      207
1090.80/1091.12	c 1088s |      17 |   296532 |   292432 |    73112      5 |    21652 |      207
1093.00/1093.30	c 1090s |      17 |   297134 |   293032 |    73112      5 |    21652 |      207
1095.20/1095.57	c 1093s |      17 |   297634 |   293532 |    73112      5 |    21652 |      207
1097.51/1097.85	c 1095s |      17 |   298339 |   294232 |    80424      5 |    21652 |      207
1099.60/1099.92	c 1097s |      17 |   298946 |   294832 |    80424      5 |    21652 |      207
1101.80/1102.11	c 1099s |      17 |   299647 |   295532 |    80424      5 |    21652 |      207
1103.80/1104.13	c 1101s |      17 |   300248 |   296132 |    80424      5 |    21652 |      207
1104.11/1104.50	c 1102s |      18 |   300367 |   296252 |    80424      5 |    21652 |      207
1182.98/1183.32	c 1180s |      18 |   300701 |   296552 |    80424      5 |    21652 |      207
1184.98/1185.34	c 1182s |      18 |   301297 |   297152 |    80424      5 |    21652 |      207
1186.98/1187.34	c 1184s |      18 |   301903 |   297752 |    80424      5 |    21652 |      207
1189.18/1189.60	c 1187s |      18 |   302501 |   298352 |    80424      5 |    21652 |      207
1191.38/1191.77	c 1189s |      18 |   303098 |   298952 |    80424      5 |    21652 |      207
1193.68/1194.07	c 1191s |      18 |   303799 |   299652 |    80424      5 |    21652 |      207
1195.78/1196.19	c 1193s |      18 |   304399 |   300252 |    80424      5 |    21652 |      207
1197.88/1198.22	c 1195s |      18 |   305004 |   300852 |    80424      5 |    21652 |      207
1200.08/1200.46	c 1198s |      18 |   305707 |   301552 |    80424      5 |    21652 |      207
1202.38/1202.79	c 1200s |      18 |   306315 |   302152 |    80424      5 |    21652 |      207
1204.68/1205.08	c 1202s |      18 |   307012 |   302852 |    80424      5 |    21652 |      207
1206.88/1207.26	c 1204s |      18 |   307619 |   303452 |    80424      5 |    21652 |      207
1209.18/1209.55	c 1207s |      18 |   308328 |   304152 |    80424      5 |    21652 |      207
1211.38/1211.73	c 1209s |      18 |   309027 |   304852 |    80424      5 |    21652 |      207
1213.38/1213.78	c 1211s |      18 |   309730 |   305552 |    80424      5 |    21652 |      207
1215.58/1215.95	c 1213s |      18 |   310326 |   306152 |    80424      5 |    21652 |      207
1217.88/1218.24	c 1215s |      18 |   310937 |   306752 |    80424      5 |    21652 |      207
1220.08/1220.46	c 1218s |      18 |   311541 |   307352 |    80424      5 |    21652 |      207
1222.18/1222.51	c 1220s |      18 |   312138 |   307952 |    80424      5 |    21652 |      207
1224.18/1224.56	c 1222s |      18 |   312740 |   308552 |    80424      5 |    21652 |      207
1226.38/1226.72	c 1224s |      18 |   313145 |   308952 |    80424      5 |    21652 |      207
1228.68/1229.09	c 1226s |      18 |   313546 |   309352 |    80424      5 |    21652 |      207
1230.78/1231.18	c 1228s |      18 |   313950 |   309752 |    80424      5 |    21652 |      207
1232.98/1233.36	c 1230s |      18 |   314346 |   310152 |    80424      5 |    21652 |      207
1235.18/1235.54	c 1233s |      18 |   314851 |   310652 |    80424      5 |    21652 |      207
1237.47/1237.87	c 1235s |      18 |   315355 |   311152 |    80424      5 |    21652 |      207
1239.77/1240.11	c 1237s |      18 |   315861 |   311652 |    80424      5 |    21652 |      207
1241.97/1242.37	c 1239s |      18 |   316462 |   312252 |    80424      5 |    21652 |      207
1244.17/1244.53	c 1242s |      18 |   316959 |   312752 |    80424      5 |    21652 |      207
1246.37/1246.73	c 1244s |      18 |   317464 |   313252 |    80424      5 |    21652 |      207
1248.67/1249.04	c 1246s |      18 |   318066 |   313852 |    80424      5 |    21652 |      207
1251.07/1251.40	c 1248s |      18 |   318573 |   314352 |    80424      5 |    21652 |      207
1253.37/1253.77	c 1251s |      18 |   319178 |   314952 |    80424      5 |    21652 |      207
1255.77/1256.12	c 1253s |      18 |   319784 |   315552 |    80424      5 |    21652 |      207
1258.08/1258.44	c 1256s |      18 |   320389 |   316152 |    80424      5 |    21652 |      207
1260.17/1260.52	c 1258s |      18 |   320890 |   316652 |    80424      5 |    21652 |      207
1262.48/1262.88	c 1260s |      18 |   321395 |   317152 |    80424      5 |    21652 |      207
1264.78/1265.18	c 1262s |      18 |   321793 |   317552 |    80424      5 |    21652 |      207
1267.17/1267.54	c 1265s |      18 |   322298 |   318052 |    80424      5 |    21652 |      207
1269.37/1269.79	c 1267s |      18 |   322702 |   318452 |    80424      5 |    21652 |      207
1271.77/1272.16	c 1269s |      18 |   323098 |   318852 |    80424      5 |    21652 |      207
1273.87/1274.22	c 1271s |      18 |   323500 |   319252 |    80424      5 |    21652 |      207
1276.17/1276.54	c 1274s |      18 |   323898 |   319652 |    80424      5 |    21652 |      207
1278.57/1278.94	c 1276s |      18 |   324408 |   320152 |    80424      5 |    21652 |      207
1280.67/1281.08	c 1278s |      18 |   324811 |   320552 |    80424      5 |    21652 |      207
1285.76/1286.17	c 1283s |      18 |   325009 |   320752 |    80424      6 |    21652 |      207
1288.26/1288.65	c 1286s |      18 |   325731 |   321452 |    80424      6 |    21652 |      207
1294.27/1294.67	c 1292s |      18 |   326437 |   322152 |    80424      6 |    21652 |      207
1296.47/1296.82	c 1294s |      18 |   327244 |   322952 |    80424      6 |    21652 |      207
1298.57/1298.90	c 1296s |      18 |   327955 |   323652 |    80424      6 |    21652 |      207
1300.76/1301.17	c 1298s |      18 |   328762 |   324452 |    80424      6 |    21652 |      207
1302.86/1303.29	c 1300s |      18 |   329460 |   325152 |    80424      6 |    21652 |      207
1305.06/1305.48	c 1303s |      18 |   330160 |   325852 |    80424      6 |    21652 |      207
1307.36/1307.72	c 1305s |      18 |   330961 |   326652 |    80424      6 |    21652 |      207
1309.46/1309.80	c 1307s |      18 |   331770 |   327452 |    80424      6 |    21652 |      207
1311.46/1311.86	c 1309s |      18 |   332570 |   328252 |    80424      6 |    21652 |      207
1313.56/1313.93	c 1311s |      18 |   333276 |   328952 |    80424      6 |    21652 |      207
1315.66/1316.06	c 1313s |      18 |   334075 |   329752 |    80424      6 |    21652 |      207
1317.76/1318.15	c 1315s |      18 |   334781 |   330452 |    80424      6 |    21652 |      207
1319.77/1320.17	c 1317s |      18 |   335482 |   331152 |    80424      6 |    21652 |      207
1321.87/1322.28	c 1319s |      18 |   336188 |   331852 |    80424      6 |    21652 |      207
1323.86/1324.29	c 1321s |      18 |   336887 |   332552 |    80424      6 |    21652 |      207
1325.96/1326.32	c 1323s |      18 |   337486 |   333152 |    80424      6 |    21652 |      207
1328.06/1328.46	c 1326s |      18 |   338193 |   333852 |    80424      6 |    21652 |      207
1330.26/1330.68	c 1328s |      18 |   338996 |   334652 |    80424      6 |    21652 |      207
1332.36/1332.73	c 1330s |      18 |   339597 |   335252 |    80424      6 |    21652 |      207
1334.65/1335.02	c 1332s |      18 |   340400 |   336052 |    80424      6 |    21652 |      207
1336.85/1337.21	c 1334s |      18 |   341108 |   336752 |    80424      6 |    21652 |      207
1339.05/1339.41	c 1336s |      18 |   341813 |   337452 |    80424      6 |    21652 |      207
1341.35/1341.70	c 1339s |      18 |   342318 |   337952 |    80424      6 |    21652 |      207
1343.35/1343.77	c 1341s |      18 |   342826 |   338452 |    80424      6 |    21652 |      207
1345.45/1345.89	c 1343s |      18 |   343425 |   339052 |    80424      6 |    21652 |      207
1347.75/1348.18	c 1345s |      18 |   344036 |   339652 |    80424      6 |    21652 |      207
1349.95/1350.30	c 1347s |      18 |   344633 |   340252 |    80424      6 |    21652 |      207
1352.25/1352.61	c 1350s |      18 |   345345 |   340952 |    80424      6 |    21652 |      207
1354.45/1354.82	c 1352s |      18 |   345947 |   341552 |    80424      6 |    21652 |      207
1356.45/1356.89	c 1354s |      18 |   346449 |   342052 |    80424      6 |    21652 |      207
1358.85/1359.25	c 1356s |      18 |   347052 |   342652 |    80424      6 |    21652 |      207
1361.25/1361.64	c 1359s |      18 |   347658 |   343252 |    80424      6 |    21652 |      207
1363.55/1363.92	c 1361s |      18 |   348259 |   343852 |    80424      6 |    21652 |      207
1365.65/1366.06	c 1363s |      18 |   348857 |   344452 |    80424      6 |    21652 |      207
1368.05/1368.42	c 1365s |      18 |   349466 |   345052 |    80424      6 |    21652 |      207
1370.14/1370.53	c 1368s |      18 |   349967 |   345552 |    80424      6 |    21652 |      207
1372.45/1372.81	c 1370s |      18 |   350570 |   346152 |    80424      6 |    21652 |      207
1374.65/1375.02	c 1372s |      18 |   351170 |   346752 |    80424      6 |    21652 |      207
1376.74/1377.19	c 1374s |      18 |   351672 |   347252 |    80424      6 |    21652 |      207
1379.15/1379.57	c 1377s |      18 |   352273 |   347852 |    80424      6 |    21652 |      207
1381.35/1381.77	c 1379s |      18 |   352775 |   348352 |    80424      6 |    21652 |      207
1383.55/1383.98	c 1381s |      18 |   353274 |   348852 |    80424      6 |    21652 |      207
1385.75/1386.11	c 1383s |      18 |   353679 |   349252 |    80424      6 |    21652 |      207
1388.04/1388.43	c 1386s |      18 |   354180 |   349752 |    80424      6 |    21652 |      207
1390.54/1390.91	c 1388s |      18 |   354679 |   350252 |    80424      6 |    21652 |      207
1392.84/1393.28	c 1390s |      18 |   355182 |   350752 |    80424      6 |    21652 |      207
1395.14/1395.53	c 1393s |      18 |   355786 |   351352 |    80424      6 |    21652 |      207
1397.34/1397.71	c 1395s |      18 |   356391 |   351952 |    80424      6 |    21652 |      207
1399.54/1399.95	c 1397s |      18 |   356993 |   352552 |    80424      6 |    21652 |      207
1401.74/1402.11	c 1399s |      18 |   357496 |   353052 |    80424      6 |    21652 |      207
1403.73/1404.19	c 1401s |      18 |   358102 |   353652 |    80424      6 |    21652 |      207
1406.03/1406.49	c 1404s |      18 |   358804 |   354352 |    80424      6 |    21652 |      207
1408.43/1408.82	c 1406s |      18 |   359309 |   354852 |    80424      6 |    21652 |      207
1410.53/1410.95	c 1408s |      18 |   359812 |   355352 |    80424      6 |    21652 |      207
1412.73/1413.12	c 1410s |      18 |   360418 |   355952 |    80424      6 |    21652 |      207
1415.03/1415.40	c 1412s |      18 |   360921 |   356452 |    80424      6 |    21652 |      207
1417.03/1417.41	c 1414s |      18 |   361425 |   356952 |    80424      6 |    21652 |      207
1419.13/1419.57	c 1417s |      18 |   362044 |   357552 |    80424      6 |    21652 |      207
1421.33/1421.77	c 1419s |      18 |   362645 |   358152 |    80424      6 |    21652 |      207
1423.63/1424.06	c 1421s |      18 |   363244 |   358752 |    80424      6 |    21652 |      207
1425.93/1426.32	c 1423s |      18 |   363869 |   359352 |    80424      6 |    21652 |      207
1428.23/1428.68	c 1426s |      18 |   364373 |   359852 |    80424      6 |    21652 |      207
1430.63/1431.06	c 1428s |      18 |   364878 |   360352 |    80424      6 |    21652 |      207
1432.73/1433.15	c 1430s |      18 |   365280 |   360752 |    80424      6 |    21652 |      207
1435.24/1435.69	c 1433s |      18 |   365786 |   361252 |    80424      6 |    21652 |      207
1437.44/1437.86	c 1435s |      18 |   366187 |   361652 |    80424      6 |    21652 |      207
1439.73/1440.12	c 1437s |      18 |   366703 |   362152 |    80424      6 |    21652 |      207
1441.93/1442.36	c 1439s |      18 |   367210 |   362652 |    80424      6 |    21652 |      207
1444.04/1444.43	c 1442s |      18 |   367611 |   363052 |    80424      6 |    21652 |      207
1446.33/1446.74	c 1444s |      18 |   368105 |   363552 |    80424      6 |    21652 |      207
1448.53/1448.93	c 1446s |      18 |   368508 |   363952 |    80424      6 |    21652 |      207
1451.03/1451.43	c 1449s |      18 |   369011 |   364452 |    80424      6 |    21652 |      207
1453.13/1453.59	c 1451s |      18 |   369410 |   364852 |    80424      6 |    21652 |      207
1455.73/1456.14	c 1453s |      18 |   369815 |   365252 |    80424      6 |    21652 |      207
1458.03/1458.40	c 1455s |      18 |   370210 |   365652 |    80424      6 |    21652 |      207
1460.13/1460.54	c 1458s |      18 |   370716 |   366152 |    80424      6 |    21652 |      207
1462.63/1463.08	c 1460s |      18 |   371219 |   366652 |    80424      6 |    21652 |      207
1464.83/1465.30	c 1462s |      18 |   371616 |   367052 |    80424      6 |    21652 |      207
1467.03/1467.49	c 1465s |      18 |   372226 |   367652 |    80424      6 |    21652 |      207
1469.23/1469.64	c 1467s |      18 |   372628 |   368052 |    80424      6 |    21652 |      207
1488.83/1489.27	c 1486s |      18 |   372833 |   368252 |    80424      6 |    21652 |      207
1491.43/1491.82	c 1489s |      18 |   373357 |   368752 |    80424      6 |    21652 |      207
1494.03/1494.43	c 1492s |      18 |   373751 |   369152 |    80424      6 |    21652 |      207
1496.03/1496.44	c 1494s |      18 |   374052 |   369452 |    80424      6 |    21652 |      207
1498.73/1499.14	c 1496s |      18 |   374353 |   369752 |    80424      6 |    21652 |      207
1501.52/1501.91	c 1499s |      18 |   374753 |   370152 |    80424      6 |    21652 |      207
1503.72/1504.13	c 1501s |      18 |   375055 |   370452 |    80424      6 |    21652 |      207
1505.92/1506.33	c 1503s |      18 |   375354 |   370752 |    80424      6 |    21652 |      207
1508.32/1508.79	c 1506s |      18 |   375756 |   371152 |    80424      6 |    21652 |      207
1510.72/1511.12	c 1508s |      18 |   376254 |   371652 |    80424      6 |    21652 |      207
1515.52/1515.97	c 1513s |      18 |   376454 |   371852 |    80424      7 |    21652 |      207
1536.51/1536.91	c 1534s |      18 |   376660 |   372052 |    80424      7 |    21652 |      207
1538.52/1538.95	c 1536s |      18 |   377060 |   372452 |    80424      7 |    21652 |      207
1540.82/1541.20	c 1538s |      18 |   377872 |   373252 |    80424      7 |    21652 |      207
1542.92/1543.34	c 1540s |      18 |   378575 |   373952 |    80424      7 |    21652 |      207
1545.12/1545.59	c 1543s |      18 |   379379 |   374752 |    80424      7 |    21652 |      207
1547.21/1547.60	c 1545s |      18 |   379979 |   375352 |    80424      7 |    21652 |      207
1549.41/1549.81	c 1547s |      18 |   380887 |   376252 |    80424      7 |    21652 |      207
1551.51/1551.99	c 1549s |      18 |   381688 |   377052 |    80424      7 |    21652 |      207
1553.92/1554.35	c 1551s |      18 |   382095 |   377452 |    80424      7 |    21652 |      207
1556.01/1556.49	c 1554s |      18 |   382695 |   378052 |    80424      7 |    21652 |      207
1558.11/1558.57	c 1556s |      18 |   383301 |   378652 |    80424      7 |    21652 |      207
1560.11/1560.59	c 1558s |      18 |   383937 |   379252 |    80424      7 |    21652 |      207
1566.30/1566.79	c 1564s |      18 |   384246 |   379552 |    80424      7 |    21652 |      207
1568.50/1568.95	c 1566s |      18 |   384997 |   380252 |    80424      7 |    21652 |      207
1570.60/1571.01	c 1568s |      18 |   385820 |   381052 |    80424      7 |    21652 |      207
1572.71/1573.11	c 1570s |      18 |   386636 |   381852 |    80424      7 |    21652 |      207
1574.70/1575.14	c 1572s |      18 |   387345 |   382552 |    80424      7 |    21652 |      207
1577.01/1577.46	c 1575s |      18 |   388175 |   383352 |    80424      7 |    21652 |      207
1585.81/1586.27	c 1583s |      18 |   388925 |   384052 |    80424      7 |    21653 |      207
1588.20/1588.62	c 1586s |      18 |   389636 |   384752 |    80424      7 |    21653 |      207
1590.40/1590.81	c 1588s |      18 |   390340 |   385452 |    80424      7 |    21653 |      207
1592.51/1592.92	c 1590s |      18 |   390967 |   386052 |    80424      7 |    21660 |      207
1594.61/1595.09	c 1592s |      18 |   391672 |   386752 |    80424      7 |    21660 |      207
1596.70/1597.16	c 1594s |      18 |   392473 |   387552 |    80424      7 |    21660 |      207
1598.90/1599.34	c 1596s |      18 |   393479 |   388552 |    80424      7 |    21660 |      207
1601.00/1601.42	c 1598s |      18 |   393887 |   388952 |    80424      7 |    21660 |      207
1603.30/1603.70	c 1601s |      18 |   394286 |   389352 |    80424      7 |    21660 |      207
1605.30/1605.76	c 1603s |      18 |   394797 |   389852 |    80424      7 |    21660 |      207
1607.30/1607.79	c 1605s |      18 |   395513 |   390552 |    80424      7 |    21660 |      207
1609.50/1609.90	c 1607s |      18 |   396125 |   391152 |    80424      7 |    21660 |      207
1611.60/1612.09	c 1609s |      18 |   397027 |   392052 |    80424      7 |    21660 |      207
1613.79/1614.23	c 1611s |      18 |   397833 |   392852 |    80424      7 |    21660 |      207
1615.99/1616.44	c 1614s |      18 |   398536 |   393552 |    80424      7 |    21660 |      207
1618.09/1618.56	c 1616s |      18 |   399246 |   394252 |    80424      7 |    21660 |      207
1620.19/1620.60	c 1618s |      18 |   399950 |   394952 |    80424      7 |    21660 |      207
1631.79/1632.27	c 1629s |      18 |   400557 |   395552 |    80424      7 |    21660 |      207
1633.99/1634.45	c 1632s |      18 |   401266 |   396252 |    80424      7 |    21660 |      207
1636.09/1636.51	c 1634s |      18 |   401667 |   396652 |    80424      7 |    21660 |      207
1638.29/1638.79	c 1636s |      18 |   402169 |   397152 |    80424      7 |    21660 |      207
1640.49/1640.99	c 1638s |      18 |   402772 |   397752 |    80424      7 |    21660 |      207
1642.59/1643.07	c 1640s |      18 |   403271 |   398252 |    80424      7 |    21660 |      207
1644.58/1645.09	c 1642s |      18 |   403778 |   398752 |    80424      7 |    21660 |      207
1646.88/1647.30	c 1644s |      18 |   404379 |   399352 |    80424      7 |    21660 |      207
1648.98/1649.42	c 1646s |      18 |   404880 |   399852 |    80424      7 |    21660 |      207
1651.18/1651.60	c 1649s |      18 |   405279 |   400252 |    80424      7 |    21660 |      207
1653.58/1654.01	c 1651s |      18 |   405785 |   400752 |    80424      7 |    21660 |      207
1655.58/1656.01	c 1653s |      18 |   406187 |   401152 |    80424      7 |    21660 |      207
1657.68/1658.18	c 1655s |      18 |   406786 |   401752 |    80424      7 |    21660 |      207
1660.08/1660.50	c 1658s |      18 |   407487 |   402452 |    80424      7 |    21660 |      207
1662.38/1662.85	c 1660s |      18 |   407988 |   402952 |    80424      7 |    21660 |      207
1664.48/1664.93	c 1662s |      18 |   408492 |   403452 |    80424      7 |    21660 |      207
1666.58/1667.04	c 1664s |      18 |   408892 |   403852 |    80424      7 |    21660 |      207
1668.88/1669.36	c 1666s |      18 |   409294 |   404252 |    80424      7 |    21660 |      207
1671.18/1671.62	c 1669s |      18 |   409894 |   404852 |    80424      7 |    21660 |      207
1673.18/1673.63	c 1671s |      18 |   410498 |   405452 |    80424      7 |    21660 |      207
1675.48/1675.96	c 1673s |      18 |   410900 |   405852 |    80424      7 |    21660 |      207
1677.88/1678.38	c 1675s |      18 |   411303 |   406252 |    80424      7 |    21660 |      207
1680.18/1680.65	c 1678s |      18 |   411806 |   406752 |    80424      7 |    21660 |      207
1682.28/1682.77	c 1680s |      18 |   412204 |   407152 |    80424      7 |    21660 |      207
1684.38/1684.83	c 1682s |      18 |   412611 |   407552 |    80424      7 |    21660 |      207
1686.68/1687.10	c 1684s |      18 |   413006 |   407952 |    80424      7 |    21660 |      207
1688.68/1689.14	c 1686s |      18 |   413509 |   408452 |    80424      7 |    21660 |      207
1690.88/1691.39	c 1688s |      18 |   414011 |   408952 |    80424      7 |    21660 |      207
1693.08/1693.52	c 1691s |      18 |   414421 |   409352 |    80424      7 |    21660 |      207
1695.08/1695.54	c 1693s |      18 |   414915 |   409852 |    80424      7 |    21660 |      207
1697.28/1697.71	c 1695s |      18 |   415422 |   410352 |    80424      7 |    21660 |      207
1699.67/1700.15	c 1697s |      18 |   415817 |   410752 |    80424      7 |    21660 |      207
1701.87/1702.39	c 1699s |      18 |   416316 |   411252 |    80424      7 |    21660 |      207
1704.27/1704.72	c 1702s |      18 |   416823 |   411752 |    80424      7 |    21660 |      207
1706.47/1706.94	c 1704s |      18 |   417329 |   412252 |    80424      7 |    21660 |      207
1708.77/1709.28	c 1706s |      18 |   417833 |   412752 |    80424      7 |    21660 |      207
1711.07/1711.56	c 1709s |      18 |   418232 |   413152 |    80424      7 |    21660 |      207
1713.38/1713.87	c 1711s |      18 |   418731 |   413652 |    80424      7 |    21660 |      207
1715.68/1716.19	c 1713s |      18 |   419231 |   414152 |    80424      7 |    21660 |      207
1717.97/1718.44	c 1716s |      18 |   419727 |   414652 |    80424      7 |    21660 |      207
1720.17/1720.62	c 1718s |      18 |   420127 |   415052 |    80424      7 |    21660 |      207
1722.28/1722.71	c 1720s |      18 |   420632 |   415552 |    80424      7 |    21660 |      207
1724.67/1725.14	c 1722s |      18 |   421139 |   416052 |    80424      7 |    21660 |      207
1727.17/1727.61	c 1725s |      18 |   421541 |   416452 |    80424      7 |    21660 |      207
1729.27/1729.75	c 1727s |      18 |   421841 |   416752 |    80424      7 |    21660 |      207
1731.37/1731.86	c 1729s |      18 |   422139 |   417052 |    80424      7 |    21660 |      207
1733.57/1734.02	c 1731s |      18 |   422440 |   417352 |    80424      7 |    21660 |      207
1735.77/1736.26	c 1733s |      18 |   422844 |   417752 |    80424      7 |    21660 |      207
1737.87/1738.30	c 1735s |      18 |   423253 |   418152 |    80424      7 |    21660 |      207
1739.87/1740.37	c 1737s |      18 |   423544 |   418452 |    80424      7 |    21660 |      207
1742.17/1742.65	c 1740s |      18 |   423845 |   418752 |    80424      7 |    21660 |      207
1744.56/1745.05	c 1742s |      18 |   424347 |   419252 |    80424      7 |    21660 |      207
1746.96/1747.47	c 1745s |      18 |   424755 |   419652 |    80424      7 |    21660 |      207
1749.36/1749.87	c 1747s |      18 |   425150 |   420052 |    80424      7 |    21660 |      207
1751.46/1751.98	c 1749s |      18 |   425751 |   420652 |    80424      7 |    21660 |      207
1753.96/1754.43	c 1752s |      18 |   426261 |   421152 |    80424      7 |    21660 |      207
1756.27/1756.74	c 1754s |      18 |   426674 |   421552 |    80424      7 |    21660 |      207
1758.36/1758.85	c 1756s |      18 |   427077 |   421952 |    80424      7 |    21660 |      207
1760.56/1761.09	c 1758s |      18 |   427571 |   422452 |    80424      7 |    21660 |      207
1763.06/1763.56	c 1761s |      18 |   427981 |   422852 |    80424      7 |    21660 |      207
1766.67/1767.16	c 1764s |      18 |   428077 |   422952 |    80424      8 |    21660 |      207
1768.87/1769.36	c 1766s |      18 |   428679 |   423552 |    80424      8 |    21660 |      207
1771.06/1771.57	c 1769s |      18 |   429383 |   424252 |    80424      8 |    21660 |      207
1773.06/1773.58	c 1771s |      18 |   429784 |   424652 |    80424      8 |    21660 |      207
1775.26/1775.75	c 1773s |      18 |   430484 |   425352 |    80424      8 |    21660 |      207
1777.36/1777.81	c 1775s |      18 |   431185 |   426052 |    80424      8 |    21660 |      207
1779.56/1780.04	c 1777s |      18 |   431994 |   426852 |    80424      8 |    21660 |      207
1781.76/1782.21	c 1779s |      18 |   432791 |   427652 |    80424      8 |    21660 |      207
1783.96/1784.43	c 1782s |      18 |   433593 |   428452 |    80424      8 |    21660 |      207
1786.07/1786.52	c 1784s |      18 |   434500 |   429352 |    80424      8 |    21660 |      207
1788.36/1788.83	c 1786s |      18 |   435299 |   430152 |    80424      8 |    21660 |      207
1790.46/1790.98	c 1788s |      18 |   436004 |   430852 |    80424      8 |    21660 |      207
1792.46/1792.99	c 1790s |      18 |   436703 |   431552 |    80424      8 |    21660 |      207
1794.86/1795.31	c 1792s |      18 |   437404 |   432252 |    80424      8 |    21660 |      207
1797.16/1797.62	c 1795s |      18 |   438110 |   432952 |    80424      8 |    21660 |      207
1799.36/1799.87	c 1797s |      18 |   438816 |   433652 |    80424      8 |    21660 |      207

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

pid=25379
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: 2.00 2.00 2.00 3/179 25382
/proc/meminfo: memFree=27209396/32872528 swapFree=7780/7780
[pid=25382] ppid=25379 vsize=797252 CPUtime=0 cores=1,3,5,7
/proc/25382/stat : 25382 (toysat) R 25379 25382 23276 0 -1 4202496 2986 0 0 0 0 0 0 0 20 0 4 0 23739519 816386048 2837 33554432000 4194304 16246674 140736262082704 140736262082128 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25382/statm: 199825 2845 442 2943 0 196719 0
[pid=25382/tid=25383] ppid=25379 vsize=813636 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25383/stat : 25383 (toysat) S 25379 25382 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23739519 833163264 2902 33554432000 4194304 16246674 140736262082704 139989609327856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25382/tid=25384] ppid=25379 vsize=817732 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25384/stat : 25384 (toysat) S 25379 25382 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23739519 837357568 2919 33554432000 4194304 16246674 140736262082704 139989598838000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25382/tid=25385] ppid=25379 vsize=822852 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25385/stat : 25385 (toysat) S 25379 25382 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23739519 842600448 2938 33554432000 4194304 16246674 140736262082704 139989588364464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25382
/proc/meminfo: memFree=27209396/32872528 swapFree=7780/7780
[pid=25382] ppid=25379 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/25382/stat : 25382 (toysat) R 25379 25382 23276 0 -1 4202496 28273 0 0 0 5 4 0 0 20 0 4 0 23739519 1333334016 28062 33554432000 4194304 16246674 140736262082704 140736262082016 7364033 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25382/statm: 325521 28077 801 2943 0 322415 0
[pid=25382/tid=25383] ppid=25379 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25383/stat : 25383 (toysat) S 25379 25382 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23739519 1333334016 28089 33554432000 4194304 16246674 140736262082704 139989609327856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25382/tid=25384] ppid=25379 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25384/stat : 25384 (toysat) S 25379 25382 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23739519 1333334016 28100 33554432000 4194304 16246674 140736262082704 139989598838000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25382/tid=25385] ppid=25379 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25385/stat : 25385 (toysat) S 25379 25382 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23739519 1333334016 28111 33554432000 4194304 16246674 140736262082704 139989588364464 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) 1302084

[startup+0.200536 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25382
/proc/meminfo: memFree=27209396/32872528 swapFree=7780/7780
[pid=25382] ppid=25379 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/25382/stat : 25382 (toysat) R 25379 25382 23276 0 -1 4202496 44095 0 0 0 13 6 0 0 20 0 4 0 23739519 1344868352 44394 33554432000 4194304 16246674 140736262082704 140736262082016 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25382/statm: 328337 44394 801 2943 0 325231 0
[pid=25382/tid=25383] ppid=25379 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25383/stat : 25383 (toysat) S 25379 25382 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23739519 1344868352 44394 33554432000 4194304 16246674 140736262082704 139989609327856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25382/tid=25384] ppid=25379 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25384/stat : 25384 (toysat) S 25379 25382 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23739519 1344868352 44394 33554432000 4194304 16246674 140736262082704 139989598838000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25382/tid=25385] ppid=25379 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25385/stat : 25385 (toysat) S 25379 25382 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23739519 1344868352 44394 33554432000 4194304 16246674 140736262082704 139989588364464 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) 1313348

[startup+0.300502 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25382
/proc/meminfo: memFree=27209396/32872528 swapFree=7780/7780
[pid=25382] ppid=25379 vsize=1313348 CPUtime=0.3 cores=1,3,5,7
/proc/25382/stat : 25382 (toysat) R 25379 25382 23276 0 -1 4202496 50385 0 0 0 22 8 0 0 20 0 4 0 23739519 1344868352 50684 33554432000 4194304 16246674 140736262082704 140736262082016 4206864 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25382/statm: 328337 50684 801 2943 0 325231 0
[pid=25382/tid=25383] ppid=25379 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25383/stat : 25383 (toysat) S 25379 25382 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23739519 1344868352 50684 33554432000 4194304 16246674 140736262082704 139989609327856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25382/tid=25384] ppid=25379 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25384/stat : 25384 (toysat) S 25379 25382 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23739519 1344868352 50684 33554432000 4194304 16246674 140736262082704 139989598838000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25382/tid=25385] ppid=25379 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25385/stat : 25385 (toysat) S 25379 25382 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23739519 1344868352 50684 33554432000 4194304 16246674 140736262082704 139989588364464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 1313348

[startup+0.700419 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25382
/proc/meminfo: memFree=27209396/32872528 swapFree=7780/7780
[pid=25382] ppid=25379 vsize=1316420 CPUtime=0.69 cores=1,3,5,7
/proc/25382/stat : 25382 (toysat) R 25379 25382 23276 0 -1 4202496 58377 0 0 0 60 9 0 0 20 0 4 0 23739519 1348014080 58676 33554432000 4194304 16246674 140736262082704 140736262082016 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25382/statm: 329105 58676 829 2943 0 325999 0
[pid=25382/tid=25383] ppid=25379 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25383/stat : 25383 (toysat) S 25379 25382 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23739519 1348014080 58676 33554432000 4194304 16246674 140736262082704 139989609327856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25382/tid=25384] ppid=25379 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25384/stat : 25384 (toysat) S 25379 25382 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23739519 1348014080 58676 33554432000 4194304 16246674 140736262082704 139989598838000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25382/tid=25385] ppid=25379 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25385/stat : 25385 (toysat) S 25379 25382 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23739519 1348014080 58676 33554432000 4194304 16246674 140736262082704 139989588364464 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) 1316420

[startup+1.50042 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25386
/proc/meminfo: memFree=26975552/32872528 swapFree=7780/7780
[pid=25382] ppid=25379 vsize=1316420 CPUtime=1.49 cores=1,3,5,7
/proc/25382/stat : 25382 (toysat) R 25379 25382 23276 0 -1 4202496 58385 0 0 0 140 9 0 0 20 0 4 0 23739519 1348014080 58684 33554432000 4194304 16246674 140736262082704 140736262064576 6955704 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25382/statm: 329105 58684 836 2943 0 325999 0
[pid=25382/tid=25383] ppid=25379 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25383/stat : 25383 (toysat) S 25379 25382 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23739519 1348014080 58684 33554432000 4194304 16246674 140736262082704 139989609327856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25382/tid=25384] ppid=25379 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25384/stat : 25384 (toysat) S 25379 25382 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23739519 1348014080 58684 33554432000 4194304 16246674 140736262082704 139989598838000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25382/tid=25385] ppid=25379 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25385/stat : 25385 (toysat) S 25379 25382 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23739519 1348014080 58684 33554432000 4194304 16246674 140736262082704 139989588364464 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) 1316420

[startup+3.10041 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25386
/proc/meminfo: memFree=26565980/32872528 swapFree=7780/7780
[pid=25382] ppid=25379 vsize=1318468 CPUtime=3.09 cores=1,3,5,7
/proc/25382/stat : 25382 (toysat) R 25379 25382 23276 0 -1 4202496 161115 0 0 0 287 22 0 0 20 0 4 0 23739519 1350111232 161414 33554432000 4194304 16246674 140736262082704 140736262080512 5581772 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25382/statm: 329617 161414 896 2943 0 326511 0
[pid=25382/tid=25383] ppid=25379 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25383/stat : 25383 (toysat) S 25379 25382 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23739519 1350111232 161414 33554432000 4194304 16246674 140736262082704 139989609327856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25382/tid=25384] ppid=25379 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25384/stat : 25384 (toysat) S 25379 25382 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23739519 1350111232 161414 33554432000 4194304 16246674 140736262082704 139989598838000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25382/tid=25385] ppid=25379 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25385/stat : 25385 (toysat) S 25379 25382 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23739519 1350111232 161414 33554432000 4194304 16246674 140736262082704 139989588364464 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) 1318468

[startup+6.3004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25386
/proc/meminfo: memFree=26560900/32872528 swapFree=7780/7780
[pid=25382] ppid=25379 vsize=1318468 CPUtime=6.29 cores=1,3,5,7
/proc/25382/stat : 25382 (toysat) R 25379 25382 23276 0 -1 4202496 161193 0 0 0 607 22 0 0 20 0 4 0 23739519 1350111232 161492 33554432000 4194304 16246674 140736262082704 140736262065704 5724340 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25382/statm: 329617 161492 896 2943 0 326511 0
[pid=25382/tid=25383] ppid=25379 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25383/stat : 25383 (toysat) S 25379 25382 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23739519 1350111232 161492 33554432000 4194304 16246674 140736262082704 139989609327856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25382/tid=25384] ppid=25379 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25384/stat : 25384 (toysat) S 25379 25382 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23739519 1350111232 161492 33554432000 4194304 16246674 140736262082704 139989598838000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25382/tid=25385] ppid=25379 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25385/stat : 25385 (toysat) S 25379 25382 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23739519 1350111232 161492 33554432000 4194304 16246674 140736262082704 139989588364464 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) 1318468

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25386
/proc/meminfo: memFree=26287884/32872528 swapFree=7780/7780
[pid=25382] ppid=25379 vsize=1318468 CPUtime=12.69 cores=1,3,5,7
/proc/25382/stat : 25382 (toysat) R 25379 25382 23276 0 -1 4202496 229395 0 0 0 1237 32 0 0 20 0 4 0 23739519 1350111232 229694 33554432000 4194304 16246674 140736262082704 140736262065704 5712090 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25382/statm: 329617 229694 896 2943 0 326511 0
[pid=25382/tid=25383] ppid=25379 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25383/stat : 25383 (toysat) S 25379 25382 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23739519 1350111232 229694 33554432000 4194304 16246674 140736262082704 139989609327856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25382/tid=25384] ppid=25379 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25384/stat : 25384 (toysat) S 25379 25382 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23739519 1350111232 229694 33554432000 4194304 16246674 140736262082704 139989598838000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25382/tid=25385] ppid=25379 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25385/stat : 25385 (toysat) S 25379 25382 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23739519 1350111232 229694 33554432000 4194304 16246674 140736262082704 139989588364464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1318468

[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25386
/proc/meminfo: memFree=26117988/32872528 swapFree=7780/7780
[pid=25382] ppid=25379 vsize=1318468 CPUtime=25.49 cores=1,3,5,7
/proc/25382/stat : 25382 (toysat) R 25379 25382 23276 0 -1 4202496 270305 0 0 0 2512 37 0 0 20 0 4 0 23739519 1350111232 270604 33554432000 4194304 16246674 140736262082704 140736262064576 5721391 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25382/statm: 329617 270604 898 2943 0 326511 0
[pid=25382/tid=25383] ppid=25379 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25383/stat : 25383 (toysat) S 25379 25382 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23739519 1350111232 270604 33554432000 4194304 16246674 140736262082704 139989609327856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25382/tid=25384] ppid=25379 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25384/stat : 25384 (toysat) S 25379 25382 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23739519 1350111232 270604 33554432000 4194304 16246674 140736262082704 139989598838000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25382/tid=25385] ppid=25379 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25385/stat : 25385 (toysat) S 25379 25382 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23739519 1350111232 270604 33554432000 4194304 16246674 140736262082704 139989588364464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1318468

[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25484
/proc/meminfo: memFree=29635684/32872528 swapFree=7780/7780
[pid=25382] ppid=25379 vsize=1318468 CPUtime=51.08 cores=1,3,5,7
/proc/25382/stat : 25382 (toysat) R 25379 25382 23276 0 -1 4202496 270307 0 0 0 5071 37 0 0 20 0 4 0 23739519 1350111232 270604 33554432000 4194304 16246674 140736262082704 140736262064576 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25382/statm: 329617 270604 898 2943 0 326511 0
[pid=25382/tid=25383] ppid=25379 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25383/stat : 25383 (toysat) S 25379 25382 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23739519 1350111232 270604 33554432000 4194304 16246674 140736262082704 139989609327856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25382/tid=25384] ppid=25379 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25384/stat : 25384 (toysat) S 25379 25382 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23739519 1350111232 270604 33554432000 4194304 16246674 140736262082704 139989598838000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25382/tid=25385] ppid=25379 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25385/stat : 25385 (toysat) S 25379 25382 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23739519 1350111232 270604 33554432000 4194304 16246674 140736262082704 139989588364464 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) 1318468

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 25488
/proc/meminfo: memFree=29630588/32872528 swapFree=7780/7780
[pid=25382] ppid=25379 vsize=1318468 CPUtime=102.27 cores=1,3,5,7
/proc/25382/stat : 25382 (toysat) R 25379 25382 23276 0 -1 4202496 270330 0 0 0 10190 37 0 0 20 0 4 0 23739519 1350111232 270604 33554432000 4194304 16246674 140736262082704 140736262064576 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25382/statm: 329617 270604 898 2943 0 326511 0
[pid=25382/tid=25383] ppid=25379 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25383/stat : 25383 (toysat) S 25379 25382 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23739519 1350111232 270604 33554432000 4194304 16246674 140736262082704 139989609327856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25382/tid=25384] ppid=25379 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25384/stat : 25384 (toysat) S 25379 25382 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23739519 1350111232 270604 33554432000 4194304 16246674 140736262082704 139989598838000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25382/tid=25385] ppid=25379 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25385/stat : 25385 (toysat) S 25379 25382 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23739519 1350111232 270604 33554432000 4194304 16246674 140736262082704 139989588364464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1318468


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

/proc/25382/task/25385/stat : 25385 (toysat) S 25379 25382 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23739519 1471746048 300301 33554432000 4194304 16246674 140736262082704 139989588364464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1437252

[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 25518
/proc/meminfo: memFree=29489492/32872528 swapFree=7780/7780
[pid=25382] ppid=25379 vsize=1437252 CPUtime=1361.95 cores=1,3,5,7
/proc/25382/stat : 25382 (toysat) R 25379 25382 23276 0 -1 4202496 300215 0 0 0 136125 70 0 0 20 0 4 0 23739519 1471746048 300301 33554432000 4194304 16246674 140736262082704 140736262064576 13774488 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25382/statm: 359313 300301 899 2943 0 356207 0
[pid=25382/tid=25383] ppid=25379 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25383/stat : 25383 (toysat) S 25379 25382 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23739519 1471746048 300301 33554432000 4194304 16246674 140736262082704 139989609327856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25382/tid=25384] ppid=25379 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25384/stat : 25384 (toysat) S 25379 25382 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23739519 1471746048 300301 33554432000 4194304 16246674 140736262082704 139989598838000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25382/tid=25385] ppid=25379 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25385/stat : 25385 (toysat) S 25379 25382 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23739519 1471746048 300301 33554432000 4194304 16246674 140736262082704 139989588364464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1437252

[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 25519
/proc/meminfo: memFree=29489924/32872528 swapFree=7780/7780
[pid=25382] ppid=25379 vsize=1437252 CPUtime=1421.94 cores=1,3,5,7
/proc/25382/stat : 25382 (toysat) R 25379 25382 23276 0 -1 4202496 300215 0 0 0 142124 70 0 0 20 0 4 0 23739519 1471746048 300301 33554432000 4194304 16246674 140736262082704 140736262064576 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25382/statm: 359313 300301 899 2943 0 356207 0
[pid=25382/tid=25383] ppid=25379 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25383/stat : 25383 (toysat) S 25379 25382 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23739519 1471746048 300301 33554432000 4194304 16246674 140736262082704 139989609327856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25382/tid=25384] ppid=25379 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25384/stat : 25384 (toysat) S 25379 25382 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23739519 1471746048 300301 33554432000 4194304 16246674 140736262082704 139989598838000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25382/tid=25385] ppid=25379 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25385/stat : 25385 (toysat) S 25379 25382 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23739519 1471746048 300301 33554432000 4194304 16246674 140736262082704 139989588364464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1437252

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 25521
/proc/meminfo: memFree=29488768/32872528 swapFree=7780/7780
[pid=25382] ppid=25379 vsize=1437252 CPUtime=1481.92 cores=1,3,5,7
/proc/25382/stat : 25382 (toysat) R 25379 25382 23276 0 -1 4202496 300216 0 0 0 148121 71 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 140736262081880 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25382/statm: 359313 300557 899 2943 0 356207 0
[pid=25382/tid=25383] ppid=25379 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25383/stat : 25383 (toysat) S 25379 25382 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 139989609327856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25382/tid=25384] ppid=25379 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25384/stat : 25384 (toysat) S 25379 25382 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 139989598838000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25382/tid=25385] ppid=25379 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25385/stat : 25385 (toysat) S 25379 25382 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 139989588364464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1437252

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 25522
/proc/meminfo: memFree=29488776/32872528 swapFree=7780/7780
[pid=25382] ppid=25379 vsize=1437252 CPUtime=1541.92 cores=1,3,5,7
/proc/25382/stat : 25382 (toysat) R 25379 25382 23276 0 -1 4202496 300216 0 0 0 154118 74 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 140736262064576 5822428 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25382/statm: 359313 300557 899 2943 0 356207 0
[pid=25382/tid=25383] ppid=25379 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25383/stat : 25383 (toysat) S 25379 25382 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 139989609327856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25382/tid=25384] ppid=25379 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25384/stat : 25384 (toysat) S 25379 25382 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 139989598838000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25382/tid=25385] ppid=25379 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25385/stat : 25385 (toysat) S 25379 25382 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 139989588364464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 1437252

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 25523
/proc/meminfo: memFree=29488860/32872528 swapFree=7780/7780
[pid=25382] ppid=25379 vsize=1437252 CPUtime=1601.9 cores=1,3,5,7
/proc/25382/stat : 25382 (toysat) R 25379 25382 23276 0 -1 4202496 300216 0 0 0 160114 76 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 140736262064576 5822252 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25382/statm: 359313 300557 899 2943 0 356207 0
[pid=25382/tid=25383] ppid=25379 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25383/stat : 25383 (toysat) S 25379 25382 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 139989609327856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25382/tid=25384] ppid=25379 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25384/stat : 25384 (toysat) S 25379 25382 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 139989598838000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25382/tid=25385] ppid=25379 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25385/stat : 25385 (toysat) S 25379 25382 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 139989588364464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1437252

[startup+1662.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/183 25524
/proc/meminfo: memFree=29489064/32872528 swapFree=7780/7780
[pid=25382] ppid=25379 vsize=1437252 CPUtime=1661.88 cores=1,3,5,7
/proc/25382/stat : 25382 (toysat) R 25379 25382 23276 0 -1 4202496 300216 0 0 0 166111 77 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 140736262064576 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25382/statm: 359313 300557 899 2943 0 356207 0
[pid=25382/tid=25383] ppid=25379 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25383/stat : 25383 (toysat) S 25379 25382 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 139989609327856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25382/tid=25384] ppid=25379 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25384/stat : 25384 (toysat) S 25379 25382 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 139989598838000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25382/tid=25385] ppid=25379 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25385/stat : 25385 (toysat) S 25379 25382 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 139989588364464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1437252

[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.01 3/183 25525
/proc/meminfo: memFree=29474532/32872528 swapFree=7780/7780
[pid=25382] ppid=25379 vsize=1437252 CPUtime=1721.87 cores=1,3,5,7
/proc/25382/stat : 25382 (toysat) R 25379 25382 23276 0 -1 4202496 300216 0 0 0 172110 77 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 140736262064576 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25382/statm: 359313 300557 899 2943 0 356207 0
[pid=25382/tid=25383] ppid=25379 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25383/stat : 25383 (toysat) S 25379 25382 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 139989609327856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25382/tid=25384] ppid=25379 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25384/stat : 25384 (toysat) S 25379 25382 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 139989598838000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25382/tid=25385] ppid=25379 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25385/stat : 25385 (toysat) S 25379 25382 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 139989588364464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1437252

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 25527
/proc/meminfo: memFree=29474292/32872528 swapFree=7780/7780
[pid=25382] ppid=25379 vsize=1437252 CPUtime=1781.86 cores=1,3,5,7
/proc/25382/stat : 25382 (toysat) R 25379 25382 23276 0 -1 4202496 300216 0 0 0 178108 78 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 140736262064576 5721504 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25382/statm: 359313 300557 899 2943 0 356207 0
[pid=25382/tid=25383] ppid=25379 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25383/stat : 25383 (toysat) S 25379 25382 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 139989609327856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25382/tid=25384] ppid=25379 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25384/stat : 25384 (toysat) S 25379 25382 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 139989598838000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25382/tid=25385] ppid=25379 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25385/stat : 25385 (toysat) S 25379 25382 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 139989588364464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1437252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 25528
/proc/meminfo: memFree=29474292/32872528 swapFree=7780/7780
[pid=25382] ppid=25379 vsize=1437252 CPUtime=1800.06 cores=1,3,5,7
/proc/25382/stat : 25382 (toysat) R 25379 25382 23276 0 -1 4202496 300216 0 0 0 179928 78 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 140736262064576 5711784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25382/statm: 359313 300557 899 2943 0 356207 0
[pid=25382/tid=25383] ppid=25379 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25383/stat : 25383 (toysat) S 25379 25382 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 139989609327856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25382/tid=25384] ppid=25379 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25384/stat : 25384 (toysat) S 25379 25382 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 139989598838000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25382/tid=25385] ppid=25379 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25385/stat : 25385 (toysat) S 25379 25382 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 139989588364464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1437252

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

[startup+1800.5 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 25528
/proc/meminfo: memFree=29474292/32872528 swapFree=7780/7780
[pid=25382] ppid=25379 vsize=1437252 CPUtime=1800.06 cores=1,3,5,7
/proc/25382/stat : 25382 (toysat) R 25379 25382 23276 0 -1 4202496 300216 0 0 0 179928 78 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 140736262064576 5711784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25382/statm: 359313 300557 899 2943 0 356207 0
[pid=25382/tid=25383] ppid=25379 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25383/stat : 25383 (toysat) S 25379 25382 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 139989609327856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25382/tid=25384] ppid=25379 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25384/stat : 25384 (toysat) S 25379 25382 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 139989598838000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25382/tid=25385] ppid=25379 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25385/stat : 25385 (toysat) S 25379 25382 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23739519 1471746048 300557 33554432000 4194304 16246674 140736262082704 139989588364464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1437252

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 0.78788
maximum resident set size= 1202228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 300216
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= 232
involuntary context switches= 2512

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.54431 second user time and 6.95694 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-18 04:29:07
IDJOB=4100649
IDBENCH=1644
IDSOLVER=2542
FILE ID=node151/4100649-1466216947
RUNJOBID= node151-1466206051-23293
PBS_JOBID= 19918135
Free space on /tmp= 71672 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-maros.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100649-1466216947/watcher-4100649-1466216947 -o /tmp/evaluation-result-4100649-1466216947/solver-4100649-1466216947 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23293 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100649-1466216947.opb

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

MD5SUM BENCH= ffbe7c5e96212b70bc71f745eee091ea
RANDOM SEED=1735191830

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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:        27210288 kB
Buffers:           92724 kB
Cached:           300528 kB
SwapCached:         1996 kB
Active:          4679216 kB
Inactive:         231480 kB
Active(anon):    4517752 kB
Inactive(anon):     1788 kB
Active(file):     161464 kB
Inactive(file):   229692 kB
Unevictable:        7780 kB
Mlocked:            7780 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:             19028 kB
Writeback:             0 kB
AnonPages:       4507976 kB
Mapped:            11860 kB
Shmem:                 0 kB
Slab:             604924 kB
SReclaimable:      48572 kB
SUnreclaim:       556352 kB
KernelStack:        1488 kB
PageTables:        13176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4668388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1691648 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= 71712 MiB
End job on node151 at 2016-06-18 04:59:08