Trace number 4079739

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_3.opb
MD5SUM0cfcb152e5d64f6fbadc82a2b31230da
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 variables61
Total number of constraints15
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint1
Maximum length of a constraint60
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1901
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5704
Number of bits of the biggest sum of numbers13
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-06T22:26:24+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-4079739-1465244783.opb"]
0.00/0.01	c use --random-gen="4221279718 1108601253 2741296419 3183579045 2368351892 1498987861 3160199550 2932986628 351191162 1915047145 276001471 3432760834 3558210891 2252763623 3214906159 481757963 2330331528 1517680008 1282119291 3417862472 2398102369 422864371 2061796294 896467372 1722551793 3798213061 3626427523 1697257517 643268342 3803227165 1671591877 1472126184 4115372988 621661289 1824394297 1134360811 3514462759 4062808612 659448370 2562708966 4075303627 1271580956 4042548050 1051639299 2776338353 2709701857 3316374605 268886162 3086178904 3403608332 2250522478 345988791 589033693 3869603256 4105392403 822966601 1351446882 1783304577 1801889889 2154650237 546002949 723924193 3704813712 1361099070 692584586 1963093269 1436618314 3005091476 2758895151 1936978536 3064660123 3705387442 3405561776 704595550 1565682564 830583127 599376930 2467938838 1873155717 2979795964 1648679684 637567311 3283410261 790037218 1167103922 621861112 3254363158 2949171274 2149777528 2488992939 4250950233 3364834013 1604439455 3510898756 3018645913 2300926152 2052877479 2779120246 3074278046 3379149806 375657099 3180851495 1426514367 730066976 3762458642 1626747870 75787125 379195868 2618317095 1814188151 3743912917 4003886995 3430458529 2707685546 650602984 2157987511 1396581054 1263267134 119212052 1139313073 4007282858 3841798635 1006019473 3382020387 369253962 3684552491 1158322223 2327954492 1893425634 2526667306 764918374 2180361584 1735775797 359643583 5948572 3118947201 476078724 494760004 1020929820 1906216886 3183698439 1826547551 2325693824 1817971511 594368016 1343367036 2491107915 1010725311 3771470370 310251888 473116233 714722753 3809005997 227103372 379641494 3746589947 4232576753 2921533631 2480362532 2063568259 2962026944 3865883433 277049052 118743478 2119976777 1344108532 3450266271 4167764647 1354805205 3833105703 872896895 1105197322 2476628898 3175958250 3859651047 1925071841 1443800170 4280568273 2757043736 1720861824 2381203720 822247043 3938883224 2333265141 1828568014 1077363817 3400244129 619880585 407291596 1255645339 1499289869 3851778664 1485313677 4015496225 708842835 3317039463 1986290027 565732023 1009651884 1178131705 3163285069 1215945267 799642572 4099944740 4210951354 3935962540 3804895969 1146589311 4054890438 966134774 2326287016 105270337 191446138 3041151357 2721028382 1596372336 3863663938 3393356943 1899356147 896299990 4024453281 2770780009 1406411441 1074078336 3944992667 226506666 3022797070 2458348670 3244351613 1843962233 4007466932 2307998366 2642574677 4257181250 2929812514 373212201 3876008620 1569535453 2172417916 1964617464 239350161 1881124798 2554820012 2860620891 1904311485 3167164778 1992569737 1294481735 3745916121 520489012 2755347427 984333590 1004040691 930381552 2234695932 2767632160 255 362436" option to reproduce the execution
0.00/0.01	c #vars 61
0.00/0.01	c #constraints 15
0.00/0.01	c BCD2: Hardening is enabled.
0.00/0.01	c BCD2: BiasedSearch is enabled.
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       25      0 |        1 |        0
0.00/0.03	c  0.0s |       1 |      138 |      100 |       25      2 |        1 |        0
0.00/0.07	c  0.1s |       2 |      326 |      250 |       28      7 |        1 |        0
0.08/0.11	c  0.1s |       3 |      588 |      475 |       31     14 |        1 |        0
0.08/0.19	c  0.2s |       4 |      975 |      813 |       35     25 |        1 |        0
0.29/0.30	c  0.3s |       5 |     1524 |     1320 |       39     39 |        1 |        0
0.39/0.46	c  0.5s |       6 |     2341 |     2081 |       48     60 |        1 |        0
0.69/0.70	c  0.7s |       7 |     3543 |     3223 |       53     89 |        1 |        0
0.99/1.06	c  1.0s |       8 |     5326 |     4936 |       59    131 |        1 |        0
1.49/1.55	c  1.5s |       9 |     7983 |     7506 |       65    191 |        1 |        0
1.99/2.07	c  2.1s |      10 |    11938 |    11361 |       72    272 |        1 |        0
2.79/2.88	c  2.9s |      11 |    17906 |    17144 |       80    389 |        1 |        0
3.99/4.03	c  4.0s |      12 |    26825 |    25819 |       88    552 |        1 |        0
5.69/5.72	c  5.7s |      13 |    40156 |    38832 |       97    780 |        1 |        0
7.70/7.73	c  7.7s |      13 |    56049 |    54332 |       97   1038 |        1 |        0
8.19/8.22	c  8.2s |      14 |    60204 |    58352 |      107   1108 |        1 |        0
10.19/10.22	c 10.2s |      14 |    76203 |    73852 |      107   1344 |        1 |        0
11.89/11.91	c 11.9s |      15 |    90256 |    87632 |      118   1553 |        1 |        0
13.89/13.92	c 13.9s |      15 |   105351 |   102432 |      118   1759 |        1 |        0
15.89/15.92	c 15.9s |      15 |   120519 |   117332 |      118   1973 |        1 |        0
17.79/17.81	c 17.8s |      16 |   134915 |   131552 |      130   2179 |        1 |        0
19.79/19.82	c 19.8s |      16 |   149668 |   146052 |      130   2366 |        1 |        0
21.79/21.83	c 21.8s |      16 |   164694 |   160952 |      130   2560 |        1 |        0
23.79/23.84	c 23.8s |      16 |   180213 |   176152 |      130   2759 |        1 |        0
25.79/25.85	c 25.8s |      16 |   194879 |   190552 |      130   2948 |        1 |        0
26.78/26.80	c 26.8s |      17 |   201911 |   197432 |      143   3037 |        1 |        0
28.79/28.80	c 28.8s |      17 |   216217 |   211432 |      143   3205 |        1 |        0
30.80/30.82	c 30.8s |      17 |   231041 |   226032 |      143   3384 |        1 |        0
32.79/32.82	c 32.8s |      17 |   245281 |   240232 |      143   3556 |        1 |        0
34.78/34.83	c 34.8s |      17 |   259646 |   254432 |      143   3728 |        1 |        0
36.78/36.85	c 36.8s |      17 |   274179 |   268832 |      143   3905 |        1 |        0
38.78/38.85	c 38.8s |      17 |   288711 |   283232 |      143   4082 |        1 |        0
40.59/40.64	c 40.6s |      18 |   301811 |   296252 |      158   4239 |        1 |        0
42.58/42.65	c 42.6s |      18 |   315985 |   310152 |      158   4390 |        1 |        0
44.58/44.66	c 44.6s |      18 |   329949 |   323952 |      158   4542 |        1 |        0
46.59/46.67	c 46.7s |      18 |   344375 |   338152 |      158   4700 |        1 |        0
48.59/48.67	c 48.7s |      18 |   358778 |   352352 |      158   4857 |        1 |        0
50.59/50.68	c 50.7s |      18 |   373191 |   366552 |      158   5015 |        1 |        0
52.59/52.69	c 52.7s |      18 |   387917 |   381052 |      158   5180 |        1 |        0
54.58/54.69	c 54.7s |      18 |   401583 |   394552 |      158   5327 |        1 |        0
56.58/56.69	c 56.7s |      18 |   415774 |   408552 |      158   5486 |        1 |        0
58.68/58.71	c 58.7s |      18 |   430249 |   422752 |      158   5645 |        1 |        0
60.68/60.72	c 60.7s |      18 |   444603 |   436852 |      158   5804 |        1 |        0
61.78/61.82	c 61.8s |      19 |   452334 |   444482 |      174   5886 |        1 |        0
63.78/63.83	c 63.8s |      19 |   466377 |   458282 |      174   6026 |        1 |        0
65.78/65.85	c 65.8s |      19 |   480488 |   472182 |      174   6164 |        1 |        0
67.78/67.86	c 67.8s |      19 |   495110 |   486582 |      174   6310 |        1 |        0
69.78/69.86	c 69.8s |      19 |   508932 |   500182 |      174   6448 |        1 |        0
71.78/71.87	c 71.9s |      19 |   522897 |   513882 |      174   6589 |        1 |        0
73.78/73.87	c 73.9s |      19 |   537192 |   527882 |      174   6730 |        1 |        0
75.78/75.88	c 75.9s |      19 |   551335 |   541782 |      174   6873 |        1 |        0
77.78/77.89	c 77.9s |      19 |   566012 |   556082 |      174   7017 |        1 |        0
79.88/79.90	c 79.9s |      19 |   580631 |   570482 |      174   7165 |        1 |        0
81.88/81.90	c 81.9s |      19 |   595250 |   584882 |      174   7313 |        1 |        0
83.87/83.91	c 83.9s |      19 |   609941 |   599382 |      174   7464 |        1 |        0
85.88/85.91	c 85.9s |      19 |   624470 |   613682 |      174   7614 |        1 |        0
87.88/87.92	c 87.9s |      19 |   638363 |   627382 |      174   7751 |        1 |        0
89.88/89.93	c 89.9s |      19 |   652436 |   641182 |      174   7891 |        1 |        0
91.88/91.94	c 91.9s |      19 |   667254 |   655582 |      174   8037 |        1 |        0
93.49/93.55	c 93.5s |      20 |   678789 |   666827 |      192   8149 |        1 |        0
95.48/95.56	c 95.5s |      20 |   692544 |   680227 |      192   8271 |        1 |        0
97.47/97.57	c 97.6s |      20 |   706916 |   694327 |      192   8402 |        1 |        0
99.48/99.58	c 99.6s |      20 |   721112 |   708327 |      192   8534 |        1 |        0
101.47/101.58	c  101s |      20 |   735304 |   722327 |      192   8664 |        1 |        0
103.49/103.58	c  103s |      20 |   749639 |   736527 |      192   8796 |        1 |        0
105.47/105.60	c  105s |      20 |   764276 |   751027 |      192   8933 |        1 |        0
107.57/107.60	c  107s |      20 |   778825 |   765427 |      192   9072 |        1 |        0
109.58/109.61	c  109s |      20 |   792728 |   779127 |      192   9198 |        1 |        0
111.57/111.62	c  111s |      20 |   806859 |   793127 |      192   9328 |        1 |        0
113.57/113.63	c  113s |      20 |   821331 |   807427 |      192   9463 |        1 |        0
115.58/115.64	c  115s |      20 |   835520 |   821427 |      192   9595 |        1 |        0
117.57/117.65	c  117s |      20 |   849654 |   835427 |      192   9726 |        1 |        0
119.57/119.65	c  119s |      20 |   863963 |   849627 |      192   9860 |        1 |        0
121.57/121.66	c  121s |      20 |   878050 |   863527 |      192   9989 |        1 |        0
123.57/123.66	c  123s |      20 |   891951 |   877227 |      192  10118 |        1 |        0
125.57/125.67	c  125s |      20 |   906023 |   891127 |      192  10249 |        1 |        0
127.58/127.68	c  127s |      20 |   920361 |   905327 |      192  10385 |        1 |        0
129.57/129.68	c  129s |      20 |   934991 |   919727 |      192  10520 |        1 |        0
131.57/131.68	c  131s |      20 |   950229 |   934727 |      192  10664 |        1 |        0
133.57/133.69	c  133s |      20 |   964933 |   949227 |      192  10801 |        1 |        0
135.67/135.70	c  135s |      20 |   979846 |   963927 |      192  10939 |        1 |        0
137.67/137.71	c  137s |      20 |   994296 |   978127 |      192  11075 |        1 |        0
139.68/139.73	c  139s |      20 |  1008723 |   992327 |      192  11210 |        1 |        0
140.78/140.85	c  140s |      21 |  1016871 |  1000345 |      212  11281 |        1 |        0
142.77/142.86	c  142s |      21 |  1030928 |  1014145 |      212  11397 |        1 |        0
144.77/144.87	c  144s |      21 |  1044927 |  1027845 |      212  11511 |        1 |        0
146.77/146.87	c  146s |      21 |  1059255 |  1041845 |      212  11632 |        1 |        0
148.77/148.88	c  148s |      21 |  1073431 |  1055845 |      212  11753 |        1 |        0
150.78/150.89	c  150s |      21 |  1087273 |  1069545 |      212  11868 |        1 |        0
152.77/152.90	c  152s |      21 |  1101534 |  1083645 |      212  11986 |        1 |        0
154.86/154.90	c  154s |      21 |  1115728 |  1097645 |      212  12104 |        1 |        0
156.87/156.90	c  156s |      21 |  1130939 |  1112645 |      212  12232 |        1 |        0
158.87/158.91	c  158s |      21 |  1145542 |  1127045 |      212  12356 |        1 |        0
160.86/160.91	c  160s |      21 |  1159466 |  1140745 |      212  12472 |        1 |        0
162.87/162.91	c  162s |      21 |  1173690 |  1154745 |      212  12592 |        1 |        0
164.86/164.92	c  164s |      21 |  1188253 |  1169045 |      212  12715 |        1 |        0
166.87/166.93	c  166s |      21 |  1201478 |  1182045 |      212  12824 |        1 |        0
168.86/168.94	c  168s |      21 |  1215822 |  1196145 |      212  12945 |        1 |        0
170.86/170.95	c  170s |      21 |  1229801 |  1209945 |      212  13066 |        1 |        0
172.87/172.95	c  172s |      21 |  1243742 |  1223745 |      212  13186 |        1 |        0
174.87/174.96	c  174s |      21 |  1257881 |  1237745 |      212  13305 |        1 |        0
176.86/176.97	c  176s |      21 |  1271511 |  1251245 |      212  13418 |        1 |        0
178.86/178.98	c  178s |      21 |  1285909 |  1265445 |      212  13540 |        1 |        0
180.86/180.99	c  180s |      21 |  1300798 |  1280145 |      212  13666 |        1 |        0
182.96/183.00	c  182s |      21 |  1314908 |  1294045 |      212  13785 |        1 |        0
184.96/185.00	c  184s |      21 |  1328904 |  1307845 |      212  13902 |        1 |        0
186.96/187.00	c  186s |      21 |  1343561 |  1322245 |      212  14026 |        1 |        0
188.96/189.02	c  189s |      21 |  1357973 |  1336445 |      212  14149 |        1 |        0
190.97/191.03	c  191s |      21 |  1372300 |  1350645 |      212  14273 |        1 |        0
192.96/193.04	c  193s |      21 |  1386624 |  1364845 |      212  14397 |        1 |        0
194.96/195.04	c  195s |      21 |  1401152 |  1379245 |      212  14522 |        1 |        0
196.97/197.04	c  197s |      21 |  1415650 |  1393545 |      212  14648 |        1 |        0
198.96/199.05	c  199s |      21 |  1431003 |  1408645 |      212  14778 |        1 |        0
200.96/201.07	c  201s |      21 |  1445862 |  1423245 |      212  14904 |        1 |        0
202.96/203.07	c  203s |      21 |  1460373 |  1437445 |      212  15027 |        1 |        0
204.96/205.08	c  205s |      21 |  1474611 |  1451445 |      212  15150 |        1 |        0
206.96/207.08	c  207s |      21 |  1488209 |  1464845 |      212  15265 |        1 |        0
208.96/209.08	c  209s |      21 |  1502569 |  1478945 |      212  15384 |        1 |        0
211.06/211.10	c  211s |      21 |  1516934 |  1493145 |      234  15504 |        1 |        0
212.15/212.27	c  212s |      22 |  1524531 |  1500622 |      234  15562 |        1 |        0
214.16/214.28	c  214s |      22 |  1537744 |  1513622 |      234  15662 |        1 |        0
216.16/216.28	c  216s |      22 |  1551830 |  1527522 |      234  15770 |        1 |        0
218.15/218.29	c  218s |      22 |  1565418 |  1540922 |      234  15874 |        1 |        0
220.26/220.30	c  220s |      22 |  1579129 |  1554422 |      234  15979 |        1 |        0
222.26/222.31	c  222s |      22 |  1593308 |  1568422 |      234  16091 |        1 |        0
224.26/224.32	c  224s |      22 |  1607520 |  1582422 |      234  16200 |        1 |        0
226.25/226.33	c  226s |      22 |  1622067 |  1596722 |      234  16313 |        1 |        0
228.25/228.34	c  228s |      22 |  1636467 |  1610922 |      234  16427 |        1 |        0
230.25/230.34	c  230s |      22 |  1651117 |  1625322 |      234  16541 |        1 |        0
232.25/232.35	c  232s |      22 |  1666184 |  1640122 |      234  16661 |        1 |        0
234.26/234.36	c  234s |      22 |  1679876 |  1653622 |      234  16766 |        1 |        0
236.26/236.38	c  236s |      22 |  1693949 |  1667522 |      234  16875 |        1 |        0
238.25/238.39	c  238s |      22 |  1708057 |  1681422 |      234  16984 |        1 |        0
240.26/240.39	c  240s |      22 |  1722097 |  1695222 |      234  17093 |        1 |        0
242.35/242.40	c  242s |      22 |  1735583 |  1708522 |      234  17197 |        1 |        0
244.35/244.40	c  244s |      22 |  1749706 |  1722422 |      234  17305 |        1 |        0
246.36/246.41	c  246s |      22 |  1763743 |  1736222 |      234  17414 |        1 |        0
248.35/248.42	c  248s |      22 |  1778448 |  1750722 |      234  17528 |        1 |        0
250.35/250.43	c  250s |      22 |  1793413 |  1765422 |      234  17644 |        1 |        0
252.35/252.43	c  252s |      22 |  1807229 |  1779022 |      234  17751 |        1 |        0
254.35/254.44	c  254s |      22 |  1820716 |  1792322 |      234  17855 |        1 |        0
256.36/256.45	c  256s |      22 |  1834471 |  1805822 |      234  17960 |        1 |        0
258.35/258.46	c  258s |      22 |  1848598 |  1819722 |      234  18071 |        1 |        0
260.35/260.48	c  260s |      22 |  1862303 |  1833222 |      234  18178 |        1 |        0
262.35/262.49	c  262s |      22 |  1876702 |  1847322 |      234  18288 |        1 |        0
264.45/264.50	c  264s |      22 |  1890543 |  1860922 |      234  18397 |        1 |        0
266.45/266.50	c  266s |      22 |  1904910 |  1875022 |      234  18510 |        1 |        0
268.46/268.51	c  268s |      22 |  1918510 |  1888422 |      234  18616 |        1 |        0
270.45/270.52	c  270s |      22 |  1932340 |  1902122 |      234  18724 |        1 |        0
272.45/272.52	c  272s |      22 |  1946333 |  1915922 |      234  18833 |        1 |        0
274.45/274.53	c  274s |      22 |  1960294 |  1929722 |      234  18943 |        1 |        0
276.44/276.55	c  276s |      22 |  1974653 |  1943922 |      234  19058 |        1 |        0
278.45/278.55	c  278s |      22 |  1989013 |  1958122 |      234  19173 |        1 |        0
280.46/280.56	c  280s |      22 |  2003517 |  1972422 |      234  19289 |        1 |        0
282.45/282.57	c  282s |      22 |  2017743 |  1986522 |      234  19403 |        1 |        0
284.45/284.58	c  284s |      22 |  2032479 |  2001122 |      234  19521 |        1 |        0
286.45/286.59	c  286s |      22 |  2047265 |  2015722 |      234  19641 |        1 |        0
288.55/288.60	c  288s |      22 |  2061366 |  2029622 |      234  19754 |        1 |        0
290.54/290.61	c  290s |      22 |  2074906 |  2042922 |      234  19857 |        1 |        0
292.55/292.62	c  292s |      22 |  2088423 |  2056322 |      234  19961 |        1 |        0
294.55/294.63	c  294s |      22 |  2101878 |  2069622 |      234  20062 |        1 |        0
296.55/296.64	c  296s |      22 |  2115469 |  2083022 |      234  20167 |        1 |        0
298.55/298.64	c  298s |      22 |  2129147 |  2096522 |      234  20272 |        1 |        0
300.54/300.65	c  300s |      22 |  2143038 |  2110222 |      234  20381 |        1 |        0
302.56/302.66	c  302s |      22 |  2157429 |  2124422 |      234  20496 |        1 |        0
304.54/304.68	c  304s |      22 |  2172962 |  2139722 |      234  20611 |        1 |        0
306.55/306.69	c  306s |      22 |  2187725 |  2154322 |      234  20721 |        1 |        0
308.54/308.69	c  308s |      22 |  2201853 |  2168322 |      234  20827 |        1 |        0
310.64/310.70	c  310s |      22 |  2216581 |  2182822 |      234  20938 |        1 |        0
312.64/312.71	c  312s |      22 |  2231287 |  2197322 |      234  21049 |        1 |        0
314.65/314.72	c  314s |      22 |  2245955 |  2211722 |      234  21160 |        1 |        0
316.64/316.72	c  316s |      22 |  2260017 |  2225622 |      234  21266 |        1 |        0
318.64/318.73	c  318s |      22 |  2274006 |  2239422 |      258  21369 |        1 |        0
320.34/320.40	c  320s |      23 |  2285768 |  2251038 |      258  21451 |        1 |        0
322.35/322.41	c  322s |      23 |  2298668 |  2263738 |      258  21540 |        1 |        0
324.34/324.41	c  324s |      23 |  2311841 |  2276738 |      258  21632 |        1 |        0
326.35/326.43	c  326s |      23 |  2325019 |  2289738 |      258  21724 |        1 |        0
328.34/328.43	c  328s |      23 |  2338512 |  2303038 |      258  21817 |        1 |        0
330.34/330.43	c  330s |      23 |  2351853 |  2316238 |      258  21911 |        1 |        0
332.34/332.43	c  332s |      23 |  2365266 |  2329538 |      258  22008 |        1 |        0
334.34/334.43	c  334s |      23 |  2378695 |  2342838 |      258  22104 |        1 |        0
336.34/336.44	c  336s |      23 |  2392577 |  2356538 |      258  22204 |        1 |        0
338.33/338.45	c  338s |      23 |  2406985 |  2370738 |      258  22309 |        1 |        0
340.34/340.46	c  340s |      23 |  2420661 |  2384138 |      258  22406 |        1 |        0
342.34/342.46	c  342s |      23 |  2433481 |  2396738 |      258  22494 |        1 |        0
344.34/344.46	c  344s |      23 |  2446434 |  2409438 |      258  22584 |        1 |        0
346.33/346.47	c  346s |      23 |  2459201 |  2422038 |      258  22673 |        1 |        0
348.34/348.48	c  348s |      23 |  2472644 |  2435338 |      258  22768 |        1 |        0
350.33/350.49	c  350s |      23 |  2486751 |  2449238 |      258  22869 |        1 |        0
352.44/352.50	c  352s |      23 |  2500815 |  2463138 |      258  22973 |        1 |        0
354.43/354.51	c  354s |      23 |  2515217 |  2477338 |      258  23072 |        1 |        0
356.45/356.52	c  356s |      23 |  2529049 |  2490938 |      258  23166 |        1 |        0
358.44/358.53	c  358s |      23 |  2542498 |  2504138 |      258  23259 |        1 |        0
360.43/360.53	c  360s |      23 |  2555911 |  2517338 |      258  23353 |        1 |        0
362.44/362.54	c  362s |      23 |  2568655 |  2529838 |      258  23441 |        1 |        0
364.43/364.54	c  364s |      23 |  2581778 |  2542738 |      258  23533 |        1 |        0
366.43/366.56	c  366s |      23 |  2595014 |  2555738 |      258  23627 |        1 |        0
368.44/368.56	c  368s |      23 |  2607975 |  2568538 |      258  23719 |        1 |        0
370.44/370.57	c  370s |      23 |  2621461 |  2581838 |      258  23814 |        1 |        0
372.43/372.58	c  372s |      23 |  2634543 |  2594738 |      258  23906 |        1 |        0
374.44/374.59	c  374s |      23 |  2648739 |  2608738 |      258  24010 |        1 |        0
376.43/376.59	c  376s |      23 |  2662768 |  2622438 |      258  24107 |        1 |        0
378.53/378.60	c  378s |      23 |  2676205 |  2635538 |      258  24202 |        1 |        0
380.43/380.60	c  380s |      23 |  2689213 |  2648438 |      258  24295 |        1 |        0
382.53/382.61	c  382s |      23 |  2702603 |  2661638 |      258  24391 |        1 |        0
384.53/384.62	c  384s |      23 |  2716886 |  2675738 |      258  24492 |        1 |        0
386.53/386.64	c  386s |      23 |  2731044 |  2689638 |      258  24593 |        1 |        0
388.53/388.64	c  388s |      23 |  2744774 |  2703138 |      258  24691 |        1 |        0
390.54/390.65	c  390s |      23 |  2758347 |  2716538 |      258  24790 |        1 |        0
392.53/392.67	c  392s |      23 |  2772124 |  2730138 |      258  24890 |        1 |        0
394.54/394.67	c  394s |      23 |  2785666 |  2743438 |      258  24988 |        1 |        0
396.53/396.68	c  396s |      23 |  2799127 |  2756638 |      258  25084 |        1 |        0
398.53/398.68	c  398s |      23 |  2813899 |  2771138 |      258  25188 |        1 |        0
400.53/400.69	c  400s |      23 |  2827623 |  2784738 |      258  25286 |        1 |        0
402.54/402.70	c  402s |      23 |  2840854 |  2797838 |      258  25382 |        1 |        0
404.63/404.71	c  404s |      23 |  2854296 |  2811138 |      258  25480 |        1 |        0
406.63/406.72	c  406s |      23 |  2867409 |  2824038 |      258  25572 |        1 |        0
408.63/408.72	c  408s |      23 |  2881231 |  2837638 |      258  25670 |        1 |        0
410.63/410.74	c  410s |      23 |  2894173 |  2850238 |      258  25759 |        1 |        0
412.63/412.74	c  412s |      23 |  2907587 |  2863338 |      258  25852 |        1 |        0
414.64/414.75	c  414s |      23 |  2921014 |  2876538 |      258  25948 |        1 |        0
416.62/416.75	c  416s |      23 |  2934405 |  2889738 |      258  26043 |        1 |        0
418.62/418.76	c  418s |      23 |  2948461 |  2903638 |      258  26146 |        1 |        0
420.62/420.76	c  420s |      23 |  2961111 |  2916138 |      258  26234 |        1 |        0
422.62/422.76	c  422s |      23 |  2974095 |  2928938 |      258  26326 |        1 |        0
424.64/424.77	c  424s |      23 |  2987680 |  2942238 |      258  26424 |        1 |        0
426.63/426.78	c  426s |      23 |  3000958 |  2955238 |      258  26516 |        1 |        0
428.63/428.78	c  428s |      23 |  3014546 |  2968538 |      258  26612 |        1 |        0
430.63/430.78	c  430s |      23 |  3028337 |  2982038 |      258  26709 |        1 |        0
432.63/432.79	c  432s |      23 |  3041681 |  2995138 |      258  26803 |        1 |        0
434.73/434.80	c  434s |      23 |  3055130 |  3008338 |      258  26898 |        1 |        0
436.74/436.81	c  436s |      23 |  3068841 |  3021838 |      258  26996 |        1 |        0
438.73/438.82	c  438s |      23 |  3082657 |  3035438 |      258  27096 |        1 |        0
440.72/440.83	c  440s |      23 |  3095760 |  3048338 |      258  27188 |        1 |        0
442.73/442.84	c  442s |      23 |  3109065 |  3061438 |      258  27283 |        1 |        0
444.72/444.85	c  444s |      23 |  3122759 |  3074938 |      258  27382 |        1 |        0
446.72/446.86	c  446s |      23 |  3136211 |  3088138 |      258  27477 |        1 |        0
448.73/448.87	c  448s |      23 |  3149888 |  3101638 |      258  27576 |        1 |        0
450.72/450.87	c  450s |      23 |  3163555 |  3115138 |      258  27675 |        1 |        0
452.72/452.87	c  452s |      23 |  3178066 |  3129438 |      258  27779 |        1 |        0
454.72/454.88	c  454s |      23 |  3191742 |  3142938 |      258  27876 |        1 |        0
456.72/456.88	c  456s |      23 |  3206012 |  3156938 |      258  27979 |        1 |        0
458.72/458.89	c  458s |      23 |  3220270 |  3170938 |      258  28082 |        1 |        0
460.72/460.90	c  460s |      23 |  3233878 |  3184338 |      258  28179 |        1 |        0
462.82/462.91	c  462s |      23 |  3247362 |  3197638 |      258  28273 |        1 |        0
464.81/464.92	c  464s |      23 |  3260655 |  3210738 |      258  28368 |        1 |        0
466.82/466.93	c  466s |      23 |  3273987 |  3223938 |      258  28463 |        1 |        0
468.82/468.93	c  468s |      23 |  3287547 |  3237338 |      258  28561 |        1 |        0
470.82/470.94	c  470s |      23 |  3301046 |  3250638 |      258  28658 |        1 |        0
472.82/472.95	c  472s |      23 |  3315035 |  3264438 |      258  28759 |        1 |        0
474.82/474.95	c  474s |      23 |  3329090 |  3278338 |      258  28862 |        1 |        0
476.82/476.96	c  476s |      23 |  3342451 |  3291338 |      258  28954 |        1 |        0
478.82/478.97	c  478s |      23 |  3355974 |  3304638 |      258  29050 |        1 |        0
480.82/480.98	c  480s |      23 |  3369330 |  3317738 |      258  29143 |        1 |        0
482.82/482.98	c  482s |      23 |  3382371 |  3330638 |      258  29236 |        1 |        0
484.82/484.99	c  484s |      23 |  3396003 |  3344038 |      258  29334 |        1 |        0
486.81/486.99	c  486s |      23 |  3409765 |  3357538 |      284  29430 |        1 |        0
488.82/489.00	c  488s |      23 |  3422957 |  3370538 |      284  29515 |        1 |        0
489.81/489.92	c  489s |      24 |  3429180 |  3376662 |      284  29556 |        1 |        0
491.82/491.93	c  491s |      24 |  3442598 |  3389862 |      284  29643 |        1 |        0
493.82/493.93	c  493s |      24 |  3456098 |  3403162 |      284  29731 |        1 |        0
495.82/495.94	c  495s |      24 |  3469867 |  3416762 |      284  29822 |        1 |        0
497.82/497.94	c  497s |      24 |  3483607 |  3430362 |      284  29913 |        1 |        0
499.82/499.95	c  499s |      24 |  3496935 |  3443462 |      284  30000 |        1 |        0
501.82/501.95	c  501s |      24 |  3510344 |  3456562 |      284  30085 |        1 |        0
503.82/503.96	c  503s |      24 |  3523722 |  3469762 |      284  30172 |        1 |        0
505.82/505.97	c  505s |      24 |  3537137 |  3482962 |      284  30257 |        1 |        0
507.81/507.97	c  507s |      24 |  3550814 |  3496462 |      284  30347 |        1 |        0
509.81/509.98	c  509s |      24 |  3565097 |  3510562 |      284  30442 |        1 |        0
511.81/511.99	c  511s |      24 |  3579037 |  3524362 |      284  30530 |        1 |        0
513.91/514.00	c  513s |      24 |  3592607 |  3537762 |      284  30616 |        1 |        0
515.92/516.01	c  516s |      24 |  3606680 |  3551562 |      284  30705 |        1 |        0
517.91/518.02	c  518s |      24 |  3620136 |  3564862 |      284  30791 |        1 |        0
519.92/520.02	c  520s |      24 |  3632973 |  3577562 |      284  30873 |        1 |        0
521.92/522.03	c  522s |      24 |  3646512 |  3590962 |      284  30961 |        1 |        0
523.91/524.05	c  524s |      24 |  3659686 |  3603962 |      284  31045 |        1 |        0
525.91/526.06	c  526s |      24 |  3673267 |  3617362 |      284  31133 |        1 |        0
527.92/528.07	c  528s |      24 |  3687495 |  3631362 |      284  31224 |        1 |        0
529.91/530.07	c  530s |      24 |  3701832 |  3645462 |      284  31315 |        1 |        0
531.91/532.07	c  532s |      24 |  3715936 |  3659362 |      284  31405 |        1 |        0
533.91/534.09	c  534s |      24 |  3729816 |  3673062 |      284  31494 |        1 |        0
536.01/536.10	c  536s |      24 |  3744017 |  3687062 |      284  31586 |        1 |        0
538.01/538.11	c  538s |      24 |  3758049 |  3700862 |      284  31676 |        1 |        0
540.02/540.11	c  540s |      24 |  3772048 |  3714662 |      284  31767 |        1 |        0
542.01/542.12	c  542s |      24 |  3785998 |  3728362 |      284  31857 |        1 |        0
544.01/544.13	c  544s |      24 |  3800073 |  3742162 |      284  31948 |        1 |        0
546.01/546.13	c  546s |      24 |  3813870 |  3755762 |      284  32038 |        1 |        0
548.01/548.14	c  548s |      24 |  3827605 |  3769262 |      284  32127 |        1 |        0
550.01/550.15	c  550s |      24 |  3841642 |  3783062 |      284  32219 |        1 |        0
552.01/552.15	c  552s |      24 |  3855068 |  3796262 |      284  32306 |        1 |        0
554.00/554.16	c  554s |      24 |  3868733 |  3809662 |      284  32396 |        1 |        0
556.00/556.17	c  556s |      24 |  3881528 |  3822262 |      284  32478 |        1 |        0
558.00/558.18	c  558s |      24 |  3894527 |  3835062 |      284  32563 |        1 |        0
560.00/560.18	c  560s |      24 |  3907651 |  3848062 |      284  32648 |        1 |        0
562.01/562.19	c  562s |      24 |  3920489 |  3860762 |      284  32732 |        1 |        0
564.10/564.20	c  564s |      24 |  3933710 |  3873862 |      284  32818 |        1 |        0
566.10/566.21	c  566s |      24 |  3947247 |  3887262 |      284  32907 |        1 |        0
568.10/568.22	c  568s |      24 |  3960994 |  3900862 |      284  32997 |        1 |        0
570.10/570.23	c  570s |      24 |  3973982 |  3913662 |      284  33082 |        1 |        0
572.10/572.24	c  572s |      24 |  3987071 |  3926462 |      284  33166 |        1 |        0
574.11/574.26	c  574s |      24 |  4000863 |  3940062 |      284  33254 |        1 |        0
576.10/576.26	c  576s |      24 |  4014039 |  3953062 |      284  33339 |        1 |        0
578.10/578.26	c  578s |      24 |  4027554 |  3966362 |      284  33426 |        1 |        0
580.10/580.27	c  580s |      24 |  4041549 |  3980162 |      284  33518 |        1 |        0
582.10/582.28	c  582s |      24 |  4054990 |  3993462 |      284  33607 |        1 |        0
584.11/584.29	c  584s |      24 |  4068320 |  4006462 |      284  33691 |        1 |        0
586.21/586.31	c  586s |      24 |  4081406 |  4019262 |      284  33776 |        1 |        0
588.20/588.32	c  588s |      24 |  4095011 |  4032562 |      284  33864 |        1 |        0
590.20/590.33	c  590s |      24 |  4108212 |  4045562 |      284  33950 |        1 |        0
592.20/592.34	c  592s |      24 |  4121625 |  4058762 |      284  34036 |        1 |        0
594.20/594.35	c  594s |      24 |  4135193 |  4072162 |      284  34124 |        1 |        0
596.20/596.35	c  596s |      24 |  4148787 |  4085462 |      284  34212 |        1 |        0
598.20/598.36	c  598s |      24 |  4162805 |  4099262 |      284  34304 |        1 |        0
600.20/600.36	c  600s |      24 |  4176285 |  4112562 |      284  34392 |        1 |        0
602.20/602.38	c  602s |      24 |  4189401 |  4125462 |      284  34476 |        1 |        0
604.20/604.38	c  604s |      24 |  4203294 |  4139162 |      284  34566 |        1 |        0
606.20/606.39	c  606s |      24 |  4216906 |  4152562 |      284  34655 |        1 |        0
608.21/608.40	c  608s |      24 |  4230796 |  4166262 |      284  34745 |        1 |        0
610.30/610.41	c  610s |      24 |  4245031 |  4180362 |      284  34839 |        1 |        0
612.30/612.41	c  612s |      24 |  4258854 |  4193962 |      284  34929 |        1 |        0
614.30/614.42	c  614s |      24 |  4272368 |  4207362 |      284  35018 |        1 |        0
616.29/616.43	c  616s |      24 |  4285784 |  4220662 |      284  35106 |        1 |        0
618.29/618.44	c  618s |      24 |  4299334 |  4234062 |      284  35195 |        1 |        0
620.31/620.44	c  620s |      24 |  4313068 |  4247662 |      284  35285 |        1 |        0
622.29/622.45	c  622s |      24 |  4326969 |  4261362 |      284  35377 |        1 |        0
624.30/624.45	c  624s |      24 |  4340795 |  4275062 |      284  35469 |        1 |        0
626.30/626.45	c  626s |      24 |  4354641 |  4288662 |      284  35560 |        1 |        0
628.30/628.47	c  628s |      24 |  4368152 |  4301962 |      284  35648 |        1 |        0
630.30/630.48	c  630s |      24 |  4381899 |  4315462 |      284  35738 |        1 |        0
632.29/632.48	c  632s |      24 |  4396235 |  4329562 |      284  35830 |        1 |        0
634.30/634.48	c  634s |      24 |  4410801 |  4343962 |      284  35921 |        1 |        0
636.29/636.49	c  636s |      24 |  4425349 |  4358262 |      284  36013 |        1 |        0
638.39/638.51	c  638s |      24 |  4440059 |  4372762 |      284  36105 |        1 |        0
640.39/640.52	c  640s |      24 |  4454466 |  4386962 |      284  36196 |        1 |        0
642.40/642.53	c  642s |      24 |  4468495 |  4400862 |      284  36285 |        1 |        0
644.40/644.54	c  644s |      24 |  4482770 |  4414962 |      284  36376 |        1 |        0
646.39/646.54	c  646s |      24 |  4496829 |  4428762 |      284  36465 |        1 |        0
648.39/648.54	c  648s |      24 |  4510664 |  4442462 |      284  36552 |        1 |        0
650.40/650.55	c  650s |      24 |  4524640 |  4456262 |      284  36641 |        1 |        0
652.40/652.56	c  652s |      24 |  4538815 |  4470262 |      284  36731 |        1 |        0
654.40/654.57	c  654s |      24 |  4552674 |  4483962 |      284  36819 |        1 |        0
656.39/656.58	c  656s |      24 |  4566426 |  4497562 |      284  36907 |        1 |        0
658.39/658.58	c  658s |      24 |  4580418 |  4511362 |      284  36996 |        1 |        0
660.49/660.60	c  660s |      24 |  4594490 |  4525262 |      284  37086 |        1 |        0
662.49/662.60	c  662s |      24 |  4608707 |  4539262 |      284  37176 |        1 |        0
664.49/664.60	c  664s |      24 |  4622982 |  4553362 |      284  37268 |        1 |        0
666.50/666.61	c  666s |      24 |  4637361 |  4567562 |      284  37360 |        1 |        0
668.49/668.62	c  668s |      24 |  4651722 |  4581762 |      284  37453 |        1 |        0
670.48/670.64	c  670s |      24 |  4666185 |  4595962 |      284  37546 |        1 |        0
672.49/672.65	c  672s |      24 |  4680593 |  4610062 |      284  37637 |        1 |        0
674.49/674.66	c  674s |      24 |  4695186 |  4624262 |      284  37729 |        1 |        0
676.49/676.67	c  676s |      24 |  4709440 |  4638162 |      284  37819 |        1 |        0
678.49/678.68	c  678s |      24 |  4723450 |  4651862 |      284  37907 |        1 |        0
680.49/680.69	c  680s |      24 |  4737667 |  4665862 |      284  37999 |        1 |        0
682.48/682.69	c  682s |      24 |  4752015 |  4679962 |      284  38091 |        1 |        0
684.59/684.70	c  684s |      24 |  4766040 |  4693762 |      284  38180 |        1 |        0
686.58/686.71	c  686s |      24 |  4780626 |  4708062 |      284  38274 |        1 |        0
688.59/688.72	c  688s |      24 |  4794855 |  4722062 |      284  38365 |        1 |        0
690.59/690.74	c  690s |      24 |  4809356 |  4736362 |      284  38459 |        1 |        0
692.58/692.75	c  692s |      24 |  4823557 |  4750362 |      284  38551 |        1 |        0
694.58/694.75	c  694s |      24 |  4837222 |  4763862 |      284  38639 |        1 |        0
696.58/696.75	c  696s |      24 |  4850801 |  4777262 |      284  38726 |        1 |        0
698.58/698.77	c  698s |      24 |  4864794 |  4791062 |      284  38816 |        1 |        0
700.60/700.77	c  700s |      24 |  4878579 |  4804662 |      284  38903 |        1 |        0
702.58/702.77	c  702s |      24 |  4892140 |  4818062 |      284  38991 |        1 |        0
704.58/704.78	c  704s |      24 |  4906037 |  4831762 |      284  39080 |        1 |        0
706.59/706.79	c  706s |      24 |  4920115 |  4845662 |      284  39171 |        1 |        0
708.68/708.80	c  708s |      24 |  4934256 |  4859562 |      284  39262 |        1 |        0
710.68/710.81	c  710s |      24 |  4947831 |  4872962 |      284  39349 |        1 |        0
712.69/712.82	c  712s |      24 |  4961548 |  4886462 |      284  39438 |        1 |        0
714.69/714.82	c  714s |      24 |  4975380 |  4900162 |      284  39529 |        1 |        0
716.69/716.82	c  716s |      24 |  4989318 |  4913862 |      284  39618 |        1 |        0
718.68/718.83	c  718s |      24 |  5002677 |  4927062 |      284  39704 |        1 |        0
720.68/720.84	c  720s |      24 |  5016586 |  4940762 |      284  39793 |        1 |        0
722.69/722.85	c  722s |      24 |  5030465 |  4954362 |      284  39882 |        1 |        0
724.68/724.86	c  724s |      24 |  5044856 |  4968462 |      284  39973 |        1 |        0
726.68/726.87	c  726s |      24 |  5058948 |  4982362 |      284  40064 |        1 |        0
728.68/728.87	c  728s |      24 |  5072692 |  4995962 |      284  40152 |        1 |        0
730.68/730.88	c  730s |      24 |  5086518 |  5009662 |      284  40242 |        1 |        0
732.67/732.89	c  732s |      24 |  5100205 |  5023162 |      284  40330 |        1 |        0
734.69/734.89	c  734s |      24 |  5113773 |  5036562 |      313  40414 |        1 |        0
736.68/736.90	c  736s |      24 |  5127324 |  5049862 |      313  40493 |        1 |        0
738.78/738.90	c  738s |      24 |  5140587 |  5062962 |      313  40572 |        1 |        0
739.09/739.21	c  739s |      25 |  5142778 |  5065098 |      313  40585 |        1 |        0
741.08/741.21	c  741s |      25 |  5155609 |  5077598 |      313  40658 |        1 |        0
743.08/743.22	c  743s |      25 |  5168496 |  5090198 |      313  40733 |        1 |        0
745.07/745.23	c  745s |      25 |  5181408 |  5102898 |      313  40808 |        1 |        0
747.08/747.24	c  747s |      25 |  5194652 |  5115898 |      313  40886 |        1 |        0
749.08/749.25	c  749s |      25 |  5207773 |  5128798 |      313  40963 |        1 |        0
751.08/751.25	c  751s |      25 |  5220755 |  5141498 |      313  41039 |        1 |        0
753.08/753.26	c  753s |      25 |  5234211 |  5154698 |      313  41118 |        1 |        0
755.07/755.27	c  755s |      25 |  5247608 |  5167798 |      313  41197 |        1 |        0
757.08/757.27	c  757s |      25 |  5261057 |  5180998 |      313  41276 |        1 |        0
759.07/759.28	c  759s |      25 |  5274565 |  5194298 |      313  41356 |        1 |        0
761.08/761.29	c  761s |      25 |  5287410 |  5206998 |      313  41431 |        1 |        0
763.17/763.30	c  763s |      25 |  5300815 |  5220198 |      313  41510 |        1 |        0
765.17/765.31	c  765s |      25 |  5313956 |  5233198 |      313  41587 |        1 |        0
767.17/767.32	c  767s |      25 |  5327361 |  5246498 |      313  41667 |        1 |        0
769.17/769.33	c  769s |      25 |  5340765 |  5259698 |      313  41745 |        1 |        0
771.17/771.34	c  771s |      25 |  5354313 |  5272998 |      313  41825 |        1 |        0
773.18/773.35	c  773s |      25 |  5367912 |  5286398 |      313  41905 |        1 |        0
775.18/775.36	c  775s |      25 |  5381091 |  5299398 |      313  41983 |        1 |        0
777.17/777.38	c  777s |      25 |  5394687 |  5312798 |      313  42063 |        1 |        0
779.17/779.38	c  779s |      25 |  5408326 |  5326298 |      313  42144 |        1 |        0
781.17/781.39	c  781s |      25 |  5421495 |  5339298 |      313  42222 |        1 |        0
783.27/783.40	c  783s |      25 |  5434620 |  5352298 |      313  42301 |        1 |        0
785.28/785.41	c  785s |      25 |  5447878 |  5365398 |      313  42380 |        1 |        0
787.27/787.41	c  787s |      25 |  5461495 |  5378798 |      313  42460 |        1 |        0
789.27/789.43	c  789s |      25 |  5474996 |  5392098 |      313  42541 |        1 |        0
791.26/791.44	c  791s |      25 |  5488499 |  5405398 |      313  42621 |        1 |        0
793.26/793.45	c  793s |      25 |  5502160 |  5418898 |      313  42702 |        1 |        0
795.27/795.46	c  795s |      25 |  5516023 |  5432498 |      313  42784 |        1 |        0
797.26/797.47	c  797s |      25 |  5529888 |  5446198 |      313  42867 |        1 |        0
799.26/799.48	c  799s |      25 |  5543624 |  5459798 |      313  42950 |        1 |        0
801.26/801.48	c  801s |      25 |  5557081 |  5473098 |      313  43030 |        1 |        0
803.26/803.49	c  803s |      25 |  5570433 |  5486298 |      313  43109 |        1 |        0
805.26/805.50	c  805s |      25 |  5583874 |  5499598 |      313  43190 |        1 |        0
807.37/807.50	c  807s |      25 |  5597626 |  5513198 |      313  43273 |        1 |        0
809.36/809.51	c  809s |      25 |  5611249 |  5526698 |      313  43354 |        1 |        0
811.36/811.52	c  811s |      25 |  5624684 |  5539998 |      313  43435 |        1 |        0
813.36/813.52	c  813s |      25 |  5638132 |  5553298 |      313  43516 |        1 |        0
815.36/815.53	c  815s |      25 |  5651380 |  5566398 |      313  43596 |        1 |        0
817.36/817.54	c  817s |      25 |  5664424 |  5579298 |      313  43673 |        1 |        0
819.36/819.54	c  819s |      25 |  5677041 |  5591698 |      313  43747 |        1 |        0
821.35/821.56	c  821s |      25 |  5689961 |  5604398 |      313  43823 |        1 |        0
823.35/823.57	c  823s |      25 |  5702995 |  5617098 |      313  43899 |        1 |        0
825.35/825.57	c  825s |      25 |  5716039 |  5629898 |      313  43976 |        1 |        0
827.35/827.58	c  827s |      25 |  5729259 |  5642798 |      313  44054 |        1 |        0
829.36/829.59	c  829s |      25 |  5742837 |  5656098 |      313  44134 |        1 |        0
831.46/831.60	c  831s |      25 |  5756529 |  5669598 |      313  44217 |        1 |        0
833.45/833.60	c  833s |      25 |  5770316 |  5682998 |      313  44298 |        1 |        0
835.45/835.62	c  835s |      25 |  5783686 |  5696098 |      313  44375 |        1 |        0
837.45/837.63	c  837s |      25 |  5797567 |  5709698 |      313  44455 |        1 |        0
839.45/839.64	c  839s |      25 |  5810856 |  5722798 |      313  44532 |        1 |        0
841.45/841.64	c  841s |      25 |  5824295 |  5736098 |      313  44612 |        1 |        0
843.45/843.64	c  843s |      25 |  5837730 |  5749298 |      313  44689 |        1 |        0
845.44/845.65	c  845s |      25 |  5851018 |  5762298 |      313  44766 |        1 |        0
847.45/847.66	c  847s |      25 |  5863779 |  5774798 |      313  44839 |        1 |        0
849.44/849.67	c  849s |      25 |  5876638 |  5787398 |      313  44914 |        1 |        0
851.44/851.68	c  851s |      25 |  5890113 |  5800598 |      313  44993 |        1 |        0
853.45/853.69	c  853s |      25 |  5903837 |  5813998 |      313  45073 |        1 |        0
855.54/855.70	c  855s |      25 |  5917418 |  5827298 |      313  45153 |        1 |        0
857.54/857.70	c  857s |      25 |  5930818 |  5840498 |      313  45232 |        1 |        0
859.53/859.71	c  859s |      25 |  5944325 |  5853898 |      313  45312 |        1 |        0
861.53/861.73	c  861s |      25 |  5957912 |  5867298 |      313  45392 |        1 |        0
863.53/863.73	c  863s |      25 |  5971618 |  5880798 |      313  45472 |        1 |        0
865.55/865.74	c  865s |      25 |  5985065 |  5894098 |      313  45552 |        1 |        0
867.54/867.75	c  867s |      25 |  5998553 |  5907398 |      313  45632 |        1 |        0
869.54/869.75	c  869s |      25 |  6011921 |  5920598 |      313  45712 |        1 |        0
871.54/871.77	c  871s |      25 |  6025584 |  5934098 |      313  45793 |        1 |        0
873.54/873.77	c  873s |      25 |  6039454 |  5947798 |      313  45875 |        1 |        0
875.54/875.78	c  875s |      25 |  6053413 |  5961498 |      313  45958 |        1 |        0
877.53/877.79	c  877s |      25 |  6067428 |  5975298 |      313  46042 |        1 |        0
879.63/879.80	c  879s |      25 |  6081571 |  5989298 |      313  46127 |        1 |        0
881.63/881.81	c  881s |      25 |  6095498 |  6003098 |      313  46210 |        1 |        0
883.63/883.82	c  883s |      25 |  6109140 |  6016598 |      313  46291 |        1 |        0
885.63/885.83	c  885s |      25 |  6122970 |  6030298 |      313  46373 |        1 |        0
887.64/887.84	c  887s |      25 |  6137060 |  6044198 |      313  46458 |        1 |        0
889.62/889.84	c  889s |      25 |  6150517 |  6057498 |      313  46538 |        1 |        0
891.62/891.85	c  891s |      25 |  6164073 |  6070898 |      313  46620 |        1 |        0
893.62/893.86	c  893s |      25 |  6177516 |  6084198 |      313  46700 |        1 |        0
895.62/895.88	c  895s |      25 |  6191030 |  6097598 |      313  46782 |        1 |        0
897.62/897.88	c  897s |      25 |  6204569 |  6110998 |      313  46864 |        1 |        0
899.63/899.89	c  899s |      25 |  6218224 |  6124498 |      313  46946 |        1 |        0
901.62/901.89	c  901s |      25 |  6232070 |  6138198 |      313  47030 |        1 |        0
903.72/903.90	c  903s |      25 |  6245902 |  6151898 |      313  47114 |        1 |        0
905.72/905.91	c  905s |      25 |  6259244 |  6165098 |      313  47194 |        1 |        0
907.71/907.92	c  907s |      25 |  6272321 |  6177998 |      313  47270 |        1 |        0
909.72/909.92	c  909s |      25 |  6285263 |  6190798 |      313  47346 |        1 |        0
911.72/911.93	c  911s |      25 |  6298244 |  6203598 |      313  47423 |        1 |        0
913.71/913.94	c  913s |      25 |  6311479 |  6216698 |      313  47500 |        1 |        0
915.72/915.95	c  915s |      25 |  6324758 |  6229798 |      313  47578 |        1 |        0
917.71/917.96	c  917s |      25 |  6337792 |  6242598 |      313  47654 |        1 |        0
919.71/919.97	c  919s |      25 |  6350882 |  6255498 |      313  47732 |        1 |        0
921.72/921.98	c  921s |      25 |  6364236 |  6268698 |      313  47811 |        1 |        0
923.71/923.99	c  923s |      25 |  6377378 |  6281698 |      313  47888 |        1 |        0
925.81/926.00	c  925s |      25 |  6390783 |  6294898 |      313  47968 |        1 |        0
927.81/928.01	c  927s |      25 |  6404221 |  6308198 |      313  48048 |        1 |        0
929.80/930.02	c  930s |      25 |  6417663 |  6321398 |      313  48127 |        1 |        0
931.81/932.03	c  932s |      25 |  6430687 |  6334198 |      313  48204 |        1 |        0
933.82/934.04	c  934s |      25 |  6443844 |  6347098 |      313  48281 |        1 |        0
935.80/936.05	c  936s |      25 |  6457266 |  6360298 |      313  48361 |        1 |        0
937.80/938.06	c  938s |      25 |  6469785 |  6372598 |      313  48435 |        1 |        0
939.80/940.06	c  940s |      25 |  6482580 |  6385198 |      313  48510 |        1 |        0
941.80/942.08	c  942s |      25 |  6495518 |  6397898 |      313  48586 |        1 |        0
943.80/944.09	c  944s |      25 |  6508530 |  6410698 |      313  48663 |        1 |        0
945.80/946.10	c  946s |      25 |  6521849 |  6423798 |      313  48741 |        1 |        0
947.90/948.11	c  948s |      25 |  6535127 |  6436898 |      313  48820 |        1 |        0
949.90/950.11	c  950s |      25 |  6548507 |  6450098 |      313  48900 |        1 |        0
951.89/952.13	c  952s |      25 |  6561740 |  6463098 |      313  48978 |        1 |        0
953.89/954.14	c  954s |      25 |  6575091 |  6476298 |      313  49057 |        1 |        0
955.89/956.14	c  956s |      25 |  6588443 |  6489498 |      313  49137 |        1 |        0
957.90/958.16	c  958s |      25 |  6601170 |  6502098 |      313  49212 |        1 |        0
959.89/960.16	c  960s |      25 |  6614264 |  6515098 |      313  49290 |        1 |        0
961.89/962.17	c  962s |      25 |  6627671 |  6528298 |      313  49369 |        1 |        0
963.89/964.18	c  964s |      25 |  6640972 |  6541398 |      313  49447 |        1 |        0
965.99/966.20	c  966s |      25 |  6654505 |  6554798 |      313  49527 |        1 |        0
967.99/968.21	c  968s |      25 |  6667819 |  6567998 |      313  49606 |        1 |        0
969.99/970.22	c  970s |      25 |  6681289 |  6581298 |      313  49687 |        1 |        0
971.98/972.23	c  972s |      25 |  6694609 |  6594498 |      313  49766 |        1 |        0
973.99/974.25	c  974s |      25 |  6707627 |  6607398 |      313  49844 |        1 |        0
975.98/976.25	c  976s |      25 |  6720801 |  6620398 |      313  49922 |        1 |        0
977.98/978.25	c  978s |      25 |  6733905 |  6633298 |      313  50000 |        1 |        0
979.99/980.26	c  980s |      25 |  6747371 |  6646598 |      313  50081 |        1 |        0
981.98/982.26	c  982s |      25 |  6760287 |  6659298 |      313  50157 |        1 |        0
983.99/984.27	c  984s |      25 |  6773601 |  6672398 |      313  50237 |        1 |        0
985.98/986.29	c  986s |      25 |  6787096 |  6685698 |      313  50318 |        1 |        0
987.98/988.29	c  988s |      25 |  6800136 |  6698498 |      313  50394 |        1 |        0
989.98/990.29	c  990s |      25 |  6813354 |  6711498 |      313  50472 |        1 |        0
991.99/992.30	c  992s |      25 |  6826494 |  6724498 |      313  50550 |        1 |        0
994.08/994.31	c  994s |      25 |  6839882 |  6737698 |      313  50629 |        1 |        0
996.08/996.32	c  996s |      25 |  6853393 |  6750998 |      313  50709 |        1 |        0
998.07/998.33	c  998s |      25 |  6866400 |  6763898 |      313  50787 |        1 |        0
1000.07/1000.35	c 1000s |      25 |  6879871 |  6777198 |      313  50867 |        1 |        0
1002.07/1002.36	c 1002s |      25 |  6893328 |  6790498 |      313  50947 |        1 |        0
1004.08/1004.37	c 1004s |      25 |  6906638 |  6803698 |      313  51027 |        1 |        0
1006.07/1006.39	c 1006s |      25 |  6919945 |  6816898 |      313  51108 |        1 |        0
1008.17/1008.40	c 1008s |      25 |  6933710 |  6830498 |      313  51189 |        1 |        0
1010.17/1010.40	c 1010s |      25 |  6947819 |  6844398 |      313  51271 |        1 |        0
1012.17/1012.41	c 1012s |      25 |  6961689 |  6858098 |      313  51353 |        1 |        0
1014.17/1014.41	c 1014s |      25 |  6975516 |  6871698 |      313  51434 |        1 |        0
1016.17/1016.42	c 1016s |      25 |  6989429 |  6885398 |      313  51516 |        1 |        0
1018.17/1018.43	c 1018s |      25 |  7003129 |  6898898 |      313  51597 |        1 |        0
1020.16/1020.44	c 1020s |      25 |  7016661 |  6912198 |      313  51677 |        1 |        0
1022.17/1022.45	c 1022s |      25 |  7030452 |  6925798 |      313  51759 |        1 |        0
1024.16/1024.45	c 1024s |      25 |  7044203 |  6939398 |      313  51840 |        1 |        0
1026.17/1026.45	c 1026s |      25 |  7057888 |  6952898 |      313  51921 |        1 |        0
1028.16/1028.46	c 1028s |      25 |  7071774 |  6966598 |      313  52004 |        1 |        0
1030.16/1030.48	c 1030s |      25 |  7085761 |  6980298 |      313  52086 |        1 |        0
1032.16/1032.48	c 1032s |      25 |  7098938 |  6993298 |      313  52164 |        1 |        0
1034.16/1034.48	c 1034s |      25 |  7112021 |  7006198 |      313  52242 |        1 |        0
1036.16/1036.49	c 1036s |      25 |  7125142 |  7019198 |      313  52320 |        1 |        0
1038.16/1038.49	c 1038s |      25 |  7138170 |  7032098 |      313  52398 |        1 |        0
1040.25/1040.50	c 1040s |      25 |  7151434 |  7045198 |      313  52477 |        1 |        0
1042.26/1042.51	c 1042s |      25 |  7164891 |  7058498 |      313  52559 |        1 |        0
1044.25/1044.52	c 1044s |      25 |  7178322 |  7071798 |      313  52640 |        1 |        0
1046.26/1046.53	c 1046s |      25 |  7191098 |  7084398 |      313  52716 |        1 |        0
1048.25/1048.54	c 1048s |      25 |  7204228 |  7097398 |      313  52795 |        1 |        0
1050.26/1050.55	c 1050s |      25 |  7217187 |  7110198 |      313  52872 |        1 |        0
1052.26/1052.56	c 1052s |      25 |  7230363 |  7123198 |      313  52951 |        1 |        0
1054.25/1054.56	c 1054s |      25 |  7243747 |  7136398 |      313  53031 |        1 |        0
1056.25/1056.57	c 1056s |      25 |  7257091 |  7149598 |      313  53111 |        1 |        0
1058.25/1058.57	c 1058s |      25 |  7270326 |  7162698 |      313  53191 |        1 |        0
1060.25/1060.57	c 1060s |      25 |  7283460 |  7175698 |      313  53271 |        1 |        0
1062.24/1062.58	c 1062s |      25 |  7296650 |  7188598 |      313  53349 |        1 |        0
1064.24/1064.58	c 1064s |      25 |  7309772 |  7201498 |      313  53427 |        1 |        0
1066.24/1066.58	c 1066s |      25 |  7323207 |  7214698 |      313  53508 |        1 |        0
1068.24/1068.59	c 1068s |      25 |  7336422 |  7227698 |      313  53587 |        1 |        0
1070.23/1070.59	c 1070s |      25 |  7349839 |  7240898 |      313  53667 |        1 |        0
1072.25/1072.60	c 1072s |      25 |  7363725 |  7254598 |      313  53750 |        1 |        0
1074.33/1074.60	c 1074s |      25 |  7376937 |  7267598 |      313  53829 |        1 |        0
1076.34/1076.61	c 1076s |      25 |  7390464 |  7280898 |      313  53910 |        1 |        0
1078.33/1078.62	c 1078s |      25 |  7403641 |  7293898 |      313  53989 |        1 |        0
1080.33/1080.63	c 1080s |      25 |  7416740 |  7306798 |      313  54068 |        1 |        0
1082.33/1082.64	c 1082s |      25 |  7430003 |  7319898 |      313  54148 |        1 |        0
1084.34/1084.65	c 1084s |      25 |  7443160 |  7332898 |      313  54228 |        1 |        0
1086.33/1086.66	c 1086s |      25 |  7456099 |  7345698 |      313  54307 |        1 |        0
1088.33/1088.66	c 1088s |      25 |  7469492 |  7358898 |      313  54388 |        1 |        0
1090.33/1090.67	c 1090s |      25 |  7482325 |  7371498 |      313  54465 |        1 |        0
1092.33/1092.68	c 1092s |      25 |  7494771 |  7383698 |      313  54538 |        1 |        0
1094.34/1094.68	c 1094s |      25 |  7507234 |  7395898 |      313  54611 |        1 |        0
1096.33/1096.69	c 1096s |      25 |  7520139 |  7408498 |      313  54687 |        1 |        0
1098.32/1098.69	c 1098s |      25 |  7532507 |  7420598 |      313  54759 |        1 |        0
1100.32/1100.70	c 1100s |      25 |  7545221 |  7433098 |      313  54834 |        1 |        0
1102.42/1102.70	c 1102s |      25 |  7558088 |  7445698 |      313  54911 |        1 |        0
1104.42/1104.70	c 1104s |      25 |  7570856 |  7458298 |      313  54987 |        1 |        0
1106.43/1106.72	c 1106s |      25 |  7583901 |  7471198 |      313  55066 |        1 |        0
1108.41/1108.72	c 1108s |      25 |  7596906 |  7483998 |      313  55144 |        1 |        0
1110.42/1110.72	c 1110s |      25 |  7609639 |  7496498 |      313  55219 |        1 |        0
1112.41/1112.73	c 1112s |      25 |  7622791 |  7509298 |      313  55296 |        1 |        0
1114.41/1114.73	c 1114s |      25 |  7635429 |  7521698 |      313  55370 |        1 |        0
1116.41/1116.74	c 1116s |      25 |  7648806 |  7534798 |      313  55449 |        1 |        0
1118.41/1118.74	c 1118s |      25 |  7661753 |  7547498 |      345  55523 |        1 |        0
1120.41/1120.75	c 1120s |      25 |  7674783 |  7560298 |      345  55592 |        1 |        0
1122.40/1122.76	c 1122s |      25 |  7687615 |  7572998 |      345  55662 |        1 |        0
1124.41/1124.76	c 1124s |      25 |  7700424 |  7585698 |      345  55731 |        1 |        0
1126.30/1126.64	c 1126s |      26 |  7712560 |  7597752 |      345  55797 |        1 |        0
1128.31/1128.65	c 1128s |      26 |  7724686 |  7609552 |      345  55861 |        1 |        0
1130.30/1130.66	c 1130s |      26 |  7736879 |  7621552 |      345  55926 |        1 |        0
1132.31/1132.67	c 1132s |      26 |  7749302 |  7633752 |      345  55993 |        1 |        0
1134.30/1134.67	c 1134s |      26 |  7761725 |  7646052 |      345  56060 |        1 |        0
1136.30/1136.68	c 1136s |      26 |  7774530 |  7658652 |      345  56129 |        1 |        0
1138.31/1138.69	c 1138s |      26 |  7786741 |  7670552 |      345  56194 |        1 |        0
1140.30/1140.70	c 1140s |      26 |  7799309 |  7682952 |      345  56260 |        1 |        0
1142.40/1142.72	c 1142s |      26 |  7812022 |  7695552 |      345  56329 |        1 |        0
1144.40/1144.72	c 1144s |      26 |  7824609 |  7707952 |      345  56397 |        1 |        0
1146.40/1146.72	c 1146s |      26 |  7836989 |  7720152 |      345  56463 |        1 |        0
1148.40/1148.73	c 1148s |      26 |  7849559 |  7732552 |      345  56530 |        1 |        0
1150.40/1150.73	c 1150s |      26 |  7862283 |  7745152 |      345  56600 |        1 |        0
1152.40/1152.73	c 1152s |      26 |  7874863 |  7757552 |      345  56667 |        1 |        0
1154.40/1154.74	c 1154s |      26 |  7887276 |  7769852 |      345  56734 |        1 |        0
1156.39/1156.74	c 1156s |      26 |  7899723 |  7782152 |      345  56802 |        1 |        0
1158.40/1158.75	c 1158s |      26 |  7911960 |  7794252 |      345  56868 |        1 |        0
1160.39/1160.75	c 1160s |      26 |  7924289 |  7806452 |      345  56935 |        1 |        0
1162.41/1162.75	c 1162s |      26 |  7936887 |  7818952 |      345  57005 |        1 |        0
1164.40/1164.75	c 1164s |      26 |  7949633 |  7831552 |      345  57075 |        1 |        0
1166.40/1166.77	c 1166s |      26 |  7962214 |  7843952 |      345  57143 |        1 |        0
1168.39/1168.77	c 1168s |      26 |  7974631 |  7856152 |      345  57209 |        1 |        0
1170.39/1170.78	c 1170s |      26 |  7986930 |  7868252 |      345  57275 |        1 |        0
1172.40/1172.79	c 1172s |      26 |  7999173 |  7880352 |      345  57342 |        1 |        0
1174.50/1174.80	c 1174s |      26 |  8011768 |  7892852 |      345  57411 |        1 |        0
1176.49/1176.82	c 1176s |      26 |  8023791 |  7904752 |      345  57476 |        1 |        0
1178.49/1178.83	c 1178s |      26 |  8035762 |  7916652 |      345  57541 |        1 |        0
1180.49/1180.84	c 1180s |      26 |  8048304 |  7928952 |      345  57608 |        1 |        0
1182.49/1182.85	c 1182s |      26 |  8060410 |  7940852 |      345  57673 |        1 |        0
1184.50/1184.85	c 1184s |      26 |  8072698 |  7952952 |      345  57740 |        1 |        0
1186.48/1186.87	c 1186s |      26 |  8085051 |  7965152 |      345  57807 |        1 |        0
1188.48/1188.87	c 1188s |      26 |  8096994 |  7976952 |      345  57872 |        1 |        0
1190.48/1190.88	c 1190s |      26 |  8109340 |  7989152 |      345  57939 |        1 |        0
1192.49/1192.88	c 1192s |      26 |  8121918 |  8001552 |      345  58008 |        1 |        0
1194.48/1194.88	c 1194s |      26 |  8134855 |  8014352 |      345  58079 |        1 |        0
1196.48/1196.90	c 1196s |      26 |  8147706 |  8027052 |      345  58148 |        1 |        0
1198.58/1198.90	c 1198s |      26 |  8160129 |  8039252 |      345  58213 |        1 |        0
1200.57/1200.91	c 1200s |      26 |  8172409 |  8051352 |      345  58279 |        1 |        0
1202.58/1202.92	c 1202s |      26 |  8184631 |  8063352 |      345  58344 |        1 |        0
1204.58/1204.93	c 1204s |      26 |  8196941 |  8075552 |      345  58411 |        1 |        0
1206.57/1206.94	c 1206s |      26 |  8209378 |  8087852 |      345  58478 |        1 |        0
1208.59/1208.94	c 1208s |      26 |  8221669 |  8099952 |      345  58543 |        1 |        0
1210.58/1210.95	c 1210s |      26 |  8233937 |  8112052 |      345  58609 |        1 |        0
1212.57/1212.96	c 1212s |      26 |  8246364 |  8124252 |      345  58676 |        1 |        0
1214.58/1214.96	c 1214s |      26 |  8258773 |  8136552 |      345  58744 |        1 |        0
1216.57/1216.97	c 1216s |      26 |  8271109 |  8148752 |      345  58810 |        1 |        0
1218.58/1218.98	c 1218s |      26 |  8283748 |  8161252 |      345  58878 |        1 |        0
1220.57/1220.99	c 1220s |      26 |  8296331 |  8173652 |      345  58946 |        1 |        0
1222.57/1222.99	c 1222s |      26 |  8308733 |  8185952 |      345  59015 |        1 |        0
1224.68/1225.00	c 1224s |      26 |  8321241 |  8198352 |      345  59083 |        1 |        0
1226.67/1227.02	c 1227s |      26 |  8333941 |  8210852 |      345  59151 |        1 |        0
1228.67/1229.02	c 1229s |      26 |  8346580 |  8223352 |      345  59220 |        1 |        0
1230.67/1231.03	c 1231s |      26 |  8359154 |  8235752 |      345  59288 |        1 |        0
1232.67/1233.03	c 1233s |      26 |  8372111 |  8248552 |      345  59359 |        1 |        0
1234.67/1235.04	c 1235s |      26 |  8384546 |  8260852 |      345  59427 |        1 |        0
1236.67/1237.05	c 1237s |      26 |  8397370 |  8273552 |      345  59497 |        1 |        0
1238.66/1239.06	c 1239s |      26 |  8410082 |  8286152 |      345  59567 |        1 |        0
1240.66/1241.07	c 1241s |      26 |  8422407 |  8298252 |      345  59634 |        1 |        0
1242.66/1243.08	c 1243s |      26 |  8434864 |  8310552 |      345  59702 |        1 |        0
1244.76/1245.10	c 1245s |      26 |  8447508 |  8322852 |      345  59770 |        1 |        0
1246.76/1247.11	c 1247s |      26 |  8459662 |  8334752 |      345  59835 |        1 |        0
1248.75/1249.13	c 1249s |      26 |  8471731 |  8346652 |      345  59901 |        1 |        0
1250.75/1251.13	c 1251s |      26 |  8484077 |  8358852 |      345  59968 |        1 |        0
1252.76/1253.14	c 1253s |      26 |  8496456 |  8371052 |      345  60035 |        1 |        0
1254.76/1255.14	c 1255s |      26 |  8509077 |  8383452 |      345  60103 |        1 |        0
1256.75/1257.16	c 1257s |      26 |  8522657 |  8396852 |      345  60177 |        1 |        0
1258.76/1259.17	c 1259s |      26 |  8535482 |  8409352 |      345  60246 |        1 |        0
1260.75/1261.18	c 1261s |      26 |  8548201 |  8421852 |      345  60315 |        1 |        0
1262.75/1263.18	c 1263s |      26 |  8561007 |  8434452 |      345  60385 |        1 |        0
1264.76/1265.19	c 1265s |      26 |  8573773 |  8447052 |      345  60454 |        1 |        0
1266.75/1267.19	c 1267s |      26 |  8586378 |  8459452 |      345  60523 |        1 |        0
1268.85/1269.20	c 1269s |      26 |  8599268 |  8472152 |      345  60594 |        1 |        0
1270.85/1271.21	c 1271s |      26 |  8612209 |  8484952 |      345  60666 |        1 |        0
1272.85/1273.22	c 1273s |      26 |  8624858 |  8497452 |      345  60735 |        1 |        0
1274.85/1275.22	c 1275s |      26 |  8636873 |  8509252 |      345  60799 |        1 |        0
1276.86/1277.23	c 1277s |      26 |  8648883 |  8521052 |      345  60863 |        1 |        0
1278.84/1279.25	c 1279s |      26 |  8661097 |  8533052 |      345  60929 |        1 |        0
1280.84/1281.26	c 1281s |      26 |  8673152 |  8544952 |      345  60994 |        1 |        0
1282.84/1283.26	c 1283s |      26 |  8685405 |  8557052 |      345  61060 |        1 |        0
1284.85/1285.26	c 1285s |      26 |  8697433 |  8568952 |      345  61125 |        1 |        0
1286.85/1287.26	c 1287s |      26 |  8709687 |  8581052 |      345  61192 |        1 |        0
1288.84/1289.27	c 1289s |      26 |  8722316 |  8593452 |      345  61261 |        1 |        0
1290.83/1291.27	c 1291s |      26 |  8734923 |  8605852 |      345  61330 |        1 |        0
1292.84/1293.28	c 1293s |      26 |  8746758 |  8617452 |      345  61393 |        1 |        0
1294.84/1295.28	c 1295s |      26 |  8759142 |  8629652 |      345  61460 |        1 |        0
1296.84/1297.29	c 1297s |      26 |  8771305 |  8641652 |      345  61525 |        1 |        0
1298.93/1299.30	c 1299s |      26 |  8783714 |  8653852 |      345  61592 |        1 |        0
1300.83/1301.30	c 1301s |      26 |  8795866 |  8665852 |      345  61658 |        1 |        0
1302.93/1303.30	c 1303s |      26 |  8808119 |  8677952 |      345  61725 |        1 |        0
1304.93/1305.32	c 1305s |      26 |  8820231 |  8689852 |      345  61790 |        1 |        0
1306.93/1307.32	c 1307s |      26 |  8832486 |  8701952 |      345  61856 |        1 |        0
1308.93/1309.34	c 1309s |      26 |  8845174 |  8714452 |      345  61925 |        1 |        0
1310.93/1311.34	c 1311s |      26 |  8857367 |  8726452 |      345  61991 |        1 |        0
1312.93/1313.36	c 1313s |      26 |  8869902 |  8738752 |      345  62059 |        1 |        0
1314.93/1315.37	c 1315s |      26 |  8882261 |  8750952 |      345  62126 |        1 |        0
1316.94/1317.37	c 1317s |      26 |  8894834 |  8763352 |      345  62194 |        1 |        0
1318.92/1319.38	c 1319s |      26 |  8907571 |  8775952 |      345  62265 |        1 |        0
1320.93/1321.39	c 1321s |      26 |  8920283 |  8788552 |      345  62335 |        1 |        0
1322.93/1323.40	c 1323s |      26 |  8932939 |  8801052 |      345  62404 |        1 |        0
1325.02/1325.40	c 1325s |      26 |  8945103 |  8813052 |      345  62470 |        1 |        0
1327.02/1327.42	c 1327s |      26 |  8957254 |  8825052 |      345  62536 |        1 |        0
1329.03/1329.43	c 1329s |      26 |  8969105 |  8836752 |      345  62600 |        1 |        0
1331.02/1331.44	c 1331s |      26 |  8981311 |  8848752 |      345  62666 |        1 |        0
1333.02/1333.45	c 1333s |      26 |  8993588 |  8860852 |      345  62734 |        1 |        0
1335.03/1335.46	c 1335s |      26 |  9005813 |  8872852 |      345  62799 |        1 |        0
1337.02/1337.47	c 1337s |      26 |  9018441 |  8885252 |      345  62868 |        1 |        0
1339.02/1339.49	c 1339s |      26 |  9030675 |  8897352 |      345  62935 |        1 |        0
1341.02/1341.50	c 1341s |      26 |  9043597 |  8910052 |      345  63006 |        1 |        0
1343.12/1343.51	c 1343s |      26 |  9056199 |  8922452 |      345  63075 |        1 |        0
1345.12/1345.52	c 1345s |      26 |  9068640 |  8934652 |      345  63142 |        1 |        0
1347.13/1347.54	c 1347s |      26 |  9081211 |  8947052 |      345  63211 |        1 |        0
1349.11/1349.55	c 1349s |      26 |  9093545 |  8959252 |      345  63279 |        1 |        0
1351.11/1351.56	c 1351s |      26 |  9105963 |  8971452 |      345  63348 |        1 |        0
1353.11/1353.56	c 1353s |      26 |  9118349 |  8983552 |      345  63415 |        1 |        0
1355.11/1355.57	c 1355s |      26 |  9130976 |  8995952 |      345  63485 |        1 |        0
1357.12/1357.58	c 1357s |      26 |  9143033 |  9007852 |      345  63549 |        1 |        0
1359.11/1359.59	c 1359s |      26 |  9155377 |  9019952 |      345  63616 |        1 |        0
1361.21/1361.60	c 1361s |      26 |  9166919 |  9031352 |      345  63678 |        1 |        0
1363.21/1363.60	c 1363s |      26 |  9178751 |  9043052 |      345  63742 |        1 |        0
1365.21/1365.62	c 1365s |      26 |  9190918 |  9055052 |      345  63808 |        1 |        0
1367.21/1367.62	c 1367s |      26 |  9203343 |  9067352 |      345  63876 |        1 |        0
1369.21/1369.62	c 1369s |      26 |  9215361 |  9079252 |      345  63942 |        1 |        0
1371.20/1371.63	c 1371s |      26 |  9227566 |  9091252 |      345  64008 |        1 |        0
1373.21/1373.64	c 1373s |      26 |  9240072 |  9103652 |      345  64076 |        1 |        0
1375.20/1375.65	c 1375s |      26 |  9252839 |  9116252 |      345  64146 |        1 |        0
1377.20/1377.66	c 1377s |      26 |  9264768 |  9128052 |      345  64211 |        1 |        0
1379.20/1379.67	c 1379s |      26 |  9276721 |  9139852 |      345  64275 |        1 |        0
1381.20/1381.69	c 1381s |      26 |  9288952 |  9151952 |      345  64342 |        1 |        0
1383.29/1383.70	c 1383s |      26 |  9301160 |  9164052 |      345  64409 |        1 |        0
1385.30/1385.70	c 1385s |      26 |  9313257 |  9176052 |      345  64475 |        1 |        0
1387.29/1387.71	c 1387s |      26 |  9325252 |  9187952 |      345  64540 |        1 |        0
1389.29/1389.72	c 1389s |      26 |  9337362 |  9199952 |      345  64605 |        1 |        0
1391.29/1391.73	c 1391s |      26 |  9349090 |  9211552 |      345  64669 |        1 |        0
1393.30/1393.73	c 1393s |      26 |  9361088 |  9223452 |      345  64735 |        1 |        0
1395.29/1395.75	c 1395s |      26 |  9373631 |  9235852 |      345  64804 |        1 |        0
1397.29/1397.75	c 1397s |      26 |  9385853 |  9247952 |      345  64871 |        1 |        0
1399.28/1399.77	c 1399s |      26 |  9398263 |  9260252 |      345  64940 |        1 |        0
1401.29/1401.77	c 1401s |      26 |  9410275 |  9272152 |      345  65006 |        1 |        0
1403.29/1403.78	c 1403s |      26 |  9422804 |  9284552 |      345  65074 |        1 |        0
1405.29/1405.79	c 1405s |      26 |  9435145 |  9296752 |      345  65143 |        1 |        0
1407.29/1407.79	c 1407s |      26 |  9447483 |  9308952 |      345  65210 |        1 |        0
1409.38/1409.80	c 1409s |      26 |  9459883 |  9321252 |      345  65279 |        1 |        0
1411.38/1411.81	c 1411s |      26 |  9471809 |  9333052 |      345  65344 |        1 |        0
1413.38/1413.83	c 1413s |      26 |  9483563 |  9344652 |      345  65407 |        1 |        0
1415.39/1415.84	c 1415s |      26 |  9495866 |  9356752 |      345  65473 |        1 |        0
1417.38/1417.84	c 1417s |      26 |  9508091 |  9368852 |      345  65539 |        1 |        0
1419.38/1419.84	c 1419s |      26 |  9519810 |  9380452 |      345  65603 |        1 |        0
1421.38/1421.85	c 1421s |      26 |  9531369 |  9391852 |      345  65666 |        1 |        0
1423.37/1423.87	c 1423s |      26 |  9543028 |  9403352 |      345  65729 |        1 |        0
1425.37/1425.87	c 1425s |      26 |  9554757 |  9414952 |      345  65793 |        1 |        0
1427.39/1427.89	c 1427s |      26 |  9566684 |  9426752 |      345  65859 |        1 |        0
1429.47/1429.90	c 1429s |      26 |  9578743 |  9438652 |      345  65924 |        1 |        0
1431.47/1431.91	c 1431s |      26 |  9591205 |  9450952 |      345  65993 |        1 |        0
1433.48/1433.91	c 1433s |      26 |  9603511 |  9463052 |      345  66060 |        1 |        0
1435.47/1435.92	c 1435s |      26 |  9615675 |  9475052 |      345  66126 |        1 |        0
1437.48/1437.92	c 1437s |      26 |  9627896 |  9487152 |      345  66193 |        1 |        0
1439.48/1439.93	c 1439s |      26 |  9640041 |  9499152 |      345  66260 |        1 |        0
1441.48/1441.95	c 1441s |      26 |  9652271 |  9511252 |      345  66328 |        1 |        0
1443.48/1443.96	c 1443s |      26 |  9664065 |  9522952 |      345  66392 |        1 |        0
1445.47/1445.97	c 1445s |      26 |  9675602 |  9534352 |      345  66454 |        1 |        0
1447.47/1447.99	c 1447s |      26 |  9687430 |  9546052 |      345  66518 |        1 |        0
1449.57/1450.00	c 1449s |      26 |  9699496 |  9557952 |      345  66584 |        1 |        0
1451.58/1452.01	c 1451s |      26 |  9711457 |  9569752 |      345  66649 |        1 |        0
1453.57/1454.02	c 1454s |      26 |  9723331 |  9581452 |      345  66713 |        1 |        0
1455.57/1456.03	c 1456s |      26 |  9735143 |  9593152 |      345  66779 |        1 |        0
1457.57/1458.04	c 1458s |      26 |  9747177 |  9605052 |      345  66845 |        1 |        0
1459.57/1460.05	c 1460s |      26 |  9758974 |  9616752 |      345  66909 |        1 |        0
1461.58/1462.07	c 1462s |      26 |  9771319 |  9628952 |      345  66977 |        1 |        0
1463.57/1464.07	c 1464s |      26 |  9783802 |  9641252 |      345  67045 |        1 |        0
1465.57/1466.08	c 1466s |      26 |  9796457 |  9653752 |      345  67115 |        1 |        0
1467.57/1468.09	c 1468s |      26 |  9808715 |  9665852 |      345  67182 |        1 |        0
1469.67/1470.10	c 1470s |      26 |  9821358 |  9678352 |      345  67251 |        1 |        0
1471.67/1472.11	c 1472s |      26 |  9834227 |  9691052 |      345  67322 |        1 |        0
1473.67/1474.12	c 1474s |      26 |  9846752 |  9703452 |      345  67391 |        1 |        0
1475.67/1476.13	c 1476s |      26 |  9858659 |  9715252 |      345  67457 |        1 |        0
1477.67/1478.15	c 1478s |      26 |  9870658 |  9727152 |      345  67523 |        1 |        0
1479.67/1480.15	c 1480s |      26 |  9882663 |  9739052 |      345  67589 |        1 |        0
1481.67/1482.16	c 1482s |      26 |  9894674 |  9750952 |      345  67655 |        1 |        0
1483.67/1484.17	c 1484s |      26 |  9906877 |  9763052 |      345  67722 |        1 |        0
1485.68/1486.17	c 1486s |      26 |  9919101 |  9775152 |      345  67789 |        1 |        0
1487.67/1488.18	c 1488s |      26 |  9931295 |  9787252 |      345  67857 |        1 |        0
1489.77/1490.20	c 1490s |      26 |  9943785 |  9799652 |      345  67927 |        1 |        0
1491.77/1492.20	c 1492s |      26 |  9956231 |  9811952 |      345  67995 |        1 |        0
1493.77/1494.21	c 1494s |      26 |  9968272 |  9823852 |      345  68062 |        1 |        0
1495.77/1496.21	c 1496s |      26 |  9980249 |  9835652 |      345  68127 |        1 |        0
1497.77/1498.22	c 1498s |      26 |  9992377 |  9847652 |      345  68194 |        1 |        0
1499.77/1500.22	c 1500s |      26 | 10004824 |  9859952 |      345  68264 |        1 |        0
1501.77/1502.23	c 1502s |      26 | 10016976 |  9871952 |      345  68330 |        1 |        0
1503.77/1504.24	c 1504s |      26 | 10028918 |  9883752 |      345  68396 |        1 |        0
1505.77/1506.24	c 1506s |      26 | 10041059 |  9895752 |      345  68463 |        1 |        0
1507.77/1508.25	c 1508s |      26 | 10052998 |  9907552 |      345  68529 |        1 |        0
1509.77/1510.27	c 1510s |      26 | 10064524 |  9918952 |      345  68592 |        1 |        0
1511.76/1512.27	c 1512s |      26 | 10076146 |  9930452 |      345  68657 |        1 |        0
1513.76/1514.28	c 1514s |      26 | 10087853 |  9942052 |      345  68722 |        1 |        0
1515.76/1516.28	c 1516s |      26 | 10099761 |  9953852 |      345  68788 |        1 |        0
1517.76/1518.29	c 1518s |      26 | 10111709 |  9965652 |      345  68855 |        1 |        0
1519.77/1520.29	c 1520s |      26 | 10123587 |  9977352 |      345  68920 |        1 |        0
1521.86/1522.30	c 1522s |      26 | 10135307 |  9988852 |      345  68982 |        1 |        0
1523.86/1524.30	c 1524s |      26 | 10147449 | 10000752 |      345  69046 |        1 |        0
1525.86/1526.31	c 1526s |      26 | 10159400 | 10012452 |      345  69110 |        1 |        0
1527.86/1528.32	c 1528s |      26 | 10170425 | 10023352 |      345  69169 |        1 |        0
1529.86/1530.33	c 1530s |      26 | 10182087 | 10034852 |      345  69231 |        1 |        0
1531.87/1532.35	c 1532s |      26 | 10194089 | 10046652 |      345  69296 |        1 |        0
1533.86/1534.35	c 1534s |      26 | 10205860 | 10058252 |      345  69359 |        1 |        0
1535.86/1536.36	c 1536s |      26 | 10217673 | 10069952 |      345  69423 |        1 |        0
1537.86/1538.36	c 1538s |      26 | 10229768 | 10081952 |      345  69488 |        1 |        0
1539.86/1540.37	c 1540s |      26 | 10241133 | 10093252 |      345  69549 |        1 |        0
1541.86/1542.39	c 1542s |      26 | 10252539 | 10104552 |      345  69611 |        1 |        0
1543.96/1544.40	c 1544s |      26 | 10263856 | 10115752 |      345  69672 |        1 |        0
1545.95/1546.41	c 1546s |      26 | 10274955 | 10126752 |      345  69731 |        1 |        0
1547.96/1548.42	c 1548s |      26 | 10286345 | 10138052 |      345  69793 |        1 |        0
1549.96/1550.42	c 1550s |      26 | 10297646 | 10149252 |      345  69854 |        1 |        0
1551.96/1552.44	c 1552s |      26 | 10309140 | 10160652 |      345  69916 |        1 |        0
1553.96/1554.44	c 1554s |      26 | 10320447 | 10171852 |      345  69977 |        1 |        0
1555.96/1556.45	c 1556s |      26 | 10331828 | 10183152 |      345  70039 |        1 |        0
1557.96/1558.45	c 1558s |      26 | 10343403 | 10194652 |      345  70102 |        1 |        0
1559.95/1560.46	c 1560s |      26 | 10355020 | 10206152 |      345  70165 |        1 |        0
1561.95/1562.47	c 1562s |      26 | 10366684 | 10217652 |      345  70228 |        1 |        0
1563.96/1564.48	c 1564s |      26 | 10378407 | 10229252 |      345  70292 |        1 |        0
1565.96/1566.48	c 1566s |      26 | 10390102 | 10240852 |      345  70356 |        1 |        0
1567.96/1568.48	c 1568s |      26 | 10402141 | 10252752 |      345  70421 |        1 |        0
1569.95/1570.49	c 1570s |      26 | 10414126 | 10264652 |      345  70486 |        1 |        0
1572.06/1572.50	c 1572s |      26 | 10425749 | 10276152 |      345  70548 |        1 |        0
1574.06/1574.51	c 1574s |      26 | 10437299 | 10287552 |      345  70610 |        1 |        0
1576.05/1576.52	c 1576s |      26 | 10448784 | 10298852 |      345  70671 |        1 |        0
1578.06/1578.53	c 1578s |      26 | 10460026 | 10309952 |      345  70732 |        1 |        0
1580.05/1580.54	c 1580s |      26 | 10471586 | 10321352 |      345  70795 |        1 |        0
1582.05/1582.54	c 1582s |      26 | 10482928 | 10332552 |      345  70857 |        1 |        0
1584.05/1584.54	c 1584s |      26 | 10494690 | 10344152 |      345  70920 |        1 |        0
1586.05/1586.54	c 1586s |      26 | 10506547 | 10355852 |      345  70984 |        1 |        0
1588.06/1588.56	c 1588s |      26 | 10517778 | 10366952 |      345  71045 |        1 |        0
1590.05/1590.57	c 1590s |      26 | 10529116 | 10378152 |      345  71107 |        1 |        0
1592.05/1592.57	c 1592s |      26 | 10540530 | 10389452 |      345  71169 |        1 |        0
1594.05/1594.57	c 1594s |      26 | 10552412 | 10401152 |      345  71233 |        1 |        0
1596.05/1596.59	c 1596s |      26 | 10564384 | 10412952 |      345  71299 |        1 |        0
1598.05/1598.59	c 1598s |      26 | 10576320 | 10424752 |      345  71364 |        1 |        0
1600.16/1600.60	c 1600s |      26 | 10588541 | 10436852 |      345  71431 |        1 |        0
1602.15/1602.62	c 1602s |      26 | 10601056 | 10449252 |      345  71500 |        1 |        0
1604.15/1604.63	c 1604s |      26 | 10613284 | 10461352 |      345  71567 |        1 |        0
1606.15/1606.63	c 1606s |      26 | 10625184 | 10473152 |      345  71633 |        1 |        0
1608.15/1608.64	c 1608s |      26 | 10637709 | 10485552 |      345  71700 |        1 |        0
1610.15/1610.65	c 1610s |      26 | 10649981 | 10497652 |      345  71765 |        1 |        0
1612.16/1612.66	c 1612s |      26 | 10662254 | 10509752 |      345  71831 |        1 |        0
1614.15/1614.67	c 1614s |      26 | 10674714 | 10522052 |      345  71897 |        1 |        0
1616.15/1616.68	c 1616s |      26 | 10687207 | 10534452 |      345  71963 |        1 |        0
1618.15/1618.69	c 1618s |      26 | 10699266 | 10546352 |      345  72028 |        1 |        0
1620.25/1620.70	c 1620s |      26 | 10711837 | 10558752 |      345  72095 |        1 |        0
1622.24/1622.71	c 1622s |      26 | 10724343 | 10571152 |      345  72162 |        1 |        0
1624.26/1624.72	c 1624s |      26 | 10736979 | 10583652 |      345  72230 |        1 |        0
1626.25/1626.72	c 1626s |      26 | 10749518 | 10596052 |      345  72298 |        1 |        0
1628.24/1628.72	c 1628s |      26 | 10762066 | 10608452 |      345  72366 |        1 |        0
1630.25/1630.72	c 1630s |      26 | 10774387 | 10620652 |      345  72432 |        1 |        0
1632.24/1632.73	c 1632s |      26 | 10786609 | 10632752 |      345  72498 |        1 |        0
1634.25/1634.74	c 1634s |      26 | 10798756 | 10644752 |      345  72564 |        1 |        0
1636.25/1636.74	c 1636s |      26 | 10810600 | 10656452 |      345  72628 |        1 |        0
1638.24/1638.75	c 1638s |      26 | 10822764 | 10668452 |      345  72693 |        1 |        0
1640.25/1640.76	c 1640s |      26 | 10835097 | 10680652 |      345  72759 |        1 |        0
1642.24/1642.77	c 1642s |      26 | 10847017 | 10692452 |      345  72824 |        1 |        0
1644.24/1644.79	c 1644s |      26 | 10858626 | 10703952 |      345  72886 |        1 |        0
1646.25/1646.80	c 1646s |      26 | 10870327 | 10715552 |      345  72949 |        1 |        0
1648.34/1648.80	c 1648s |      26 | 10882140 | 10727252 |      345  73013 |        1 |        0
1650.34/1650.81	c 1650s |      26 | 10894122 | 10739152 |      345  73078 |        1 |        0
1652.35/1652.81	c 1652s |      26 | 10905849 | 10750752 |      345  73141 |        1 |        0
1654.34/1654.82	c 1654s |      26 | 10917957 | 10762652 |      345  73206 |        1 |        0
1656.34/1656.83	c 1656s |      26 | 10930129 | 10774652 |      345  73272 |        1 |        0
1658.35/1658.84	c 1658s |      26 | 10942428 | 10786752 |      345  73338 |        1 |        0
1660.34/1660.85	c 1660s |      26 | 10955125 | 10799252 |      345  73407 |        1 |        0
1662.35/1662.85	c 1662s |      26 | 10967776 | 10811752 |      345  73476 |        1 |        0
1664.34/1664.87	c 1664s |      26 | 10979523 | 10823352 |      345  73539 |        1 |        0
1666.34/1666.88	c 1666s |      26 | 10991441 | 10835152 |      345  73604 |        1 |        0
1668.35/1668.89	c 1668s |      26 | 11003768 | 10847352 |      345  73670 |        1 |        0
1670.34/1670.90	c 1670s |      26 | 11015705 | 10859152 |      345  73735 |        1 |        0
1672.44/1672.92	c 1672s |      26 | 11027895 | 10871252 |      345  73801 |        1 |        0
1674.44/1674.92	c 1674s |      26 | 11039867 | 10883152 |      345  73866 |        1 |        0
1676.44/1676.94	c 1676s |      26 | 11051880 | 10895052 |      345  73931 |        1 |        0
1678.44/1678.94	c 1678s |      26 | 11063599 | 10906652 |      345  73995 |        1 |        0
1680.45/1680.95	c 1680s |      26 | 11075930 | 10918852 |      345  74062 |        1 |        0
1682.44/1682.97	c 1682s |      26 | 11088283 | 10931052 |      345  74129 |        1 |        0
1684.43/1684.98	c 1684s |      26 | 11100592 | 10943252 |      345  74196 |        1 |        0
1686.44/1686.99	c 1686s |      26 | 11112808 | 10955352 |      345  74263 |        1 |        0
1688.54/1689.00	c 1688s |      26 | 11125397 | 10967852 |      345  74332 |        1 |        0
1690.54/1691.00	c 1690s |      26 | 11137510 | 10979852 |      345  74398 |        1 |        0
1692.54/1693.01	c 1692s |      26 | 11149727 | 10991952 |      345  74465 |        1 |        0
1694.53/1695.01	c 1695s |      26 | 11161714 | 11003852 |      345  74531 |        1 |        0
1696.54/1697.02	c 1697s |      26 | 11173458 | 11015452 |      345  74595 |        1 |        0
1698.53/1699.02	c 1699s |      26 | 11185362 | 11027252 |      345  74661 |        1 |        0
1700.54/1701.03	c 1701s |      26 | 11197168 | 11038952 |      345  74726 |        1 |        0
1702.53/1703.04	c 1703s |      26 | 11209161 | 11050852 |      345  74792 |        1 |        0
1704.55/1705.05	c 1705s |      26 | 11221138 | 11062752 |      345  74858 |        1 |        0
1706.53/1707.06	c 1707s |      26 | 11233444 | 11074952 |      345  74926 |        1 |        0
1708.53/1709.06	c 1709s |      26 | 11245832 | 11087252 |      345  74995 |        1 |        0
1710.54/1711.07	c 1711s |      26 | 11258023 | 11099352 |      345  75063 |        1 |        0
1712.53/1713.08	c 1713s |      26 | 11270958 | 11112152 |      345  75131 |        1 |        0
1714.54/1715.09	c 1715s |      26 | 11283540 | 11124552 |      345  75198 |        1 |        0
1716.63/1717.10	c 1717s |      26 | 11296188 | 11137052 |      345  75266 |        1 |        0
1718.63/1719.12	c 1719s |      26 | 11308433 | 11149152 |      345  75332 |        1 |        0
1720.63/1721.12	c 1721s |      26 | 11320682 | 11161252 |      345  75397 |        1 |        0
1722.63/1723.14	c 1723s |      26 | 11332434 | 11172852 |      345  75461 |        1 |        0
1724.63/1725.15	c 1725s |      26 | 11344420 | 11184652 |      345  75525 |        1 |        0
1726.64/1727.15	c 1727s |      26 | 11356570 | 11196652 |      345  75591 |        1 |        0
1728.63/1729.16	c 1729s |      26 | 11368571 | 11208452 |      345  75656 |        1 |        0
1730.63/1731.18	c 1731s |      26 | 11380198 | 11219952 |      345  75719 |        1 |        0
1732.63/1733.19	c 1733s |      26 | 11392016 | 11231652 |      345  75782 |        1 |        0
1734.73/1735.20	c 1735s |      26 | 11403742 | 11243252 |      345  75846 |        1 |        0
1736.73/1737.21	c 1737s |      26 | 11415699 | 11255052 |      345  75910 |        1 |        0
1738.74/1739.22	c 1739s |      26 | 11427960 | 11267152 |      345  75977 |        1 |        0
1740.73/1741.22	c 1741s |      26 | 11439984 | 11279052 |      345  76042 |        1 |        0
1742.73/1743.23	c 1743s |      26 | 11451695 | 11290552 |      345  76105 |        1 |        0
1744.72/1745.23	c 1745s |      26 | 11463939 | 11302552 |      345  76171 |        1 |        0
1746.73/1747.24	c 1747s |      26 | 11476039 | 11314552 |      345  76237 |        1 |        0
1748.73/1749.26	c 1749s |      26 | 11488341 | 11326752 |      380  76298 |        1 |        0
1750.73/1751.26	c 1751s |      26 | 11500349 | 11338652 |      380  76358 |        1 |        0
1752.72/1753.27	c 1753s |      26 | 11511779 | 11349852 |      380  76414 |        1 |        0
1754.73/1755.28	c 1755s |      26 | 11523390 | 11361252 |      380  76471 |        1 |        0
1756.73/1757.29	c 1757s |      26 | 11535115 | 11372852 |      380  76530 |        1 |        0
1758.82/1759.30	c 1759s |      26 | 11547141 | 11384752 |      380  76589 |        1 |        0
1760.82/1761.30	c 1761s |      26 | 11559038 | 11396452 |      380  76648 |        1 |        0
1760.82/1761.35	c 1761s |      27 | 11559319 | 11396733 |      380  76649 |        1 |        0
1762.83/1763.35	c 1763s |      27 | 11570374 | 11407533 |      380  76702 |        1 |        0
1764.82/1765.36	c 1765s |      27 | 11582125 | 11418933 |      380  76759 |        1 |        0
1766.83/1767.37	c 1767s |      27 | 11593788 | 11430433 |      380  76816 |        1 |        0
1768.83/1769.37	c 1769s |      27 | 11605375 | 11441833 |      380  76873 |        1 |        0
1770.82/1771.37	c 1771s |      27 | 11616661 | 11452933 |      380  76927 |        1 |        0
1772.84/1773.39	c 1773s |      27 | 11628467 | 11464533 |      380  76985 |        1 |        0
1774.82/1775.40	c 1775s |      27 | 11640479 | 11476333 |      380  77044 |        1 |        0
1776.92/1777.41	c 1777s |      27 | 11652388 | 11488033 |      380  77103 |        1 |        0
1778.92/1779.42	c 1779s |      27 | 11664447 | 11499933 |      380  77162 |        1 |        0
1780.92/1781.43	c 1781s |      27 | 11675922 | 11511233 |      380  77218 |        1 |        0
1782.93/1783.44	c 1783s |      27 | 11687493 | 11522633 |      380  77275 |        1 |        0
1784.93/1785.45	c 1785s |      27 | 11699133 | 11534133 |      380  77332 |        1 |        0
1786.92/1787.46	c 1787s |      27 | 11710621 | 11545433 |      380  77389 |        1 |        0
1788.92/1789.46	c 1789s |      27 | 11722142 | 11556833 |      380  77447 |        1 |        0
1790.93/1791.47	c 1791s |      27 | 11733498 | 11567933 |      380  77502 |        1 |        0
1792.92/1793.48	c 1793s |      27 | 11744157 | 11578433 |      380  77554 |        1 |        0
1795.02/1795.50	c 1795s |      27 | 11755261 | 11589333 |      380  77609 |        1 |        0
1797.03/1797.51	c 1797s |      27 | 11766678 | 11600533 |      380  77665 |        1 |        0
1799.03/1799.52	c 1799s |      27 | 11778549 | 11612233 |      380  77724 |        1 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4079739-1465244783/watcher-4079739-1465244783 -o /tmp/evaluation-result-4079739-1465244783/solver-4079739-1465244783 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4607 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079739-1465244783.opb 

pid=7492
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.04 2.00 4/179 7495
/proc/meminfo: memFree=30675508/32872528 swapFree=11372/178980
[pid=7495] ppid=7492 vsize=720316 CPUtime=0 cores=1,3,5,7
/proc/7495/stat : 7495 (toysat) R 7492 7495 4590 0 -1 4202496 2688 0 0 0 0 0 0 0 20 0 4 0 106413013 737603584 3048 33554432000 4194304 16246674 140735729941248 140735729940672 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7495/statm: 180847 3057 441 2943 0 177741 0
[pid=7495/tid=7496] ppid=7492 vsize=738748 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7496/stat : 7496 (toysat) S 7492 7495 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106413013 756477952 3118 33554432000 4194304 16246674 140735729941248 139926103370992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7495/tid=7497] ppid=7492 vsize=742844 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7497/stat : 7497 (toysat) S 7492 7495 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106413013 760672256 3135 33554432000 4194304 16246674 140735729941248 139926092881136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7495/tid=7498] ppid=7492 vsize=746940 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7498/stat : 7498 (toysat) S 7492 7495 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106413013 764866560 3151 33554432000 4194304 16246674 140735729941248 139926007966896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100191 s]
/proc/loadavg: 2.00 2.04 2.00 4/179 7495
/proc/meminfo: memFree=30675508/32872528 swapFree=11372/178980
[pid=7495] ppid=7492 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/7495/stat : 7495 (toysat) R 7492 7495 4590 0 -1 4202496 19831 0 0 0 6 2 0 0 20 0 4 0 106413013 1247350784 20179 33554432000 4194304 16246674 140735729941248 140735729940672 6021133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7495/statm: 304529 20187 752 2943 0 301423 0
[pid=7495/tid=7496] ppid=7492 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7496/stat : 7496 (toysat) S 7492 7495 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106413013 1247350784 20191 33554432000 4194304 16246674 140735729941248 139926103370992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7495/tid=7497] ppid=7492 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7497/stat : 7497 (toysat) S 7492 7495 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106413013 1247350784 20195 33554432000 4194304 16246674 140735729941248 139926092881136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7495/tid=7498] ppid=7492 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7498/stat : 7498 (toysat) S 7492 7495 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106413013 1247350784 20201 33554432000 4194304 16246674 140735729941248 139926007966896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200579 s]
/proc/loadavg: 2.00 2.04 2.00 4/179 7495
/proc/meminfo: memFree=30675508/32872528 swapFree=11372/178980
[pid=7495] ppid=7492 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/7495/stat : 7495 (toysat) R 7492 7495 4590 0 -1 4202496 36022 0 0 0 15 4 0 0 20 0 4 0 106413013 1247350784 36370 33554432000 4194304 16246674 140735729941248 140735729940672 6836566 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7495/statm: 304529 36375 752 2943 0 301423 0
[pid=7495/tid=7496] ppid=7492 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7496/stat : 7496 (toysat) S 7492 7495 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106413013 1247350784 36378 33554432000 4194304 16246674 140735729941248 139926103370992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7495/tid=7497] ppid=7492 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7497/stat : 7497 (toysat) S 7492 7495 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106413013 1247350784 36382 33554432000 4194304 16246674 140735729941248 139926092881136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7495/tid=7498] ppid=7492 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7498/stat : 7498 (toysat) S 7492 7495 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106413013 1247350784 36386 33554432000 4194304 16246674 140735729941248 139926007966896 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) 1218116

[startup+0.300458 s]
/proc/loadavg: 2.00 2.04 2.00 4/179 7495
/proc/meminfo: memFree=30675508/32872528 swapFree=11372/178980
[pid=7495] ppid=7492 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/7495/stat : 7495 (toysat) R 7492 7495 4590 0 -1 4202496 52424 0 0 0 23 6 0 0 20 0 4 0 106413013 1247350784 52772 33554432000 4194304 16246674 140735729941248 140735729940672 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7495/statm: 304529 52787 752 2943 0 301423 0
[pid=7495/tid=7496] ppid=7492 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7496/stat : 7496 (toysat) S 7492 7495 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106413013 1247350784 52792 33554432000 4194304 16246674 140735729941248 139926103370992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7495/tid=7497] ppid=7492 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7497/stat : 7497 (toysat) S 7492 7495 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106413013 1247350784 52796 33554432000 4194304 16246674 140735729941248 139926092881136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7495/tid=7498] ppid=7492 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7498/stat : 7498 (toysat) S 7492 7495 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106413013 1247350784 52799 33554432000 4194304 16246674 140735729941248 139926007966896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700429 s]
/proc/loadavg: 2.00 2.04 2.00 4/179 7495
/proc/meminfo: memFree=30675508/32872528 swapFree=11372/178980
[pid=7495] ppid=7492 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/7495/stat : 7495 (toysat) R 7492 7495 4590 0 -1 4202496 118651 0 0 0 54 15 0 0 20 0 4 0 106413013 1247350784 119000 33554432000 4194304 16246674 140735729941248 140735729924248 12477891 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7495/statm: 304529 119009 752 2943 0 301423 0
[pid=7495/tid=7496] ppid=7492 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7496/stat : 7496 (toysat) S 7492 7495 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106413013 1247350784 119012 33554432000 4194304 16246674 140735729941248 139926103370992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7495/tid=7497] ppid=7492 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7497/stat : 7497 (toysat) S 7492 7495 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106413013 1247350784 119018 33554432000 4194304 16246674 140735729941248 139926092881136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7495/tid=7498] ppid=7492 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7498/stat : 7498 (toysat) S 7492 7495 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106413013 1247350784 119023 33554432000 4194304 16246674 140735729941248 139926007966896 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) 1218116

[startup+1.50039 s]
/proc/loadavg: 2.00 2.04 2.00 3/183 7499
/proc/meminfo: memFree=29937232/32872528 swapFree=11372/178980
[pid=7495] ppid=7492 vsize=1218116 CPUtime=1.49 cores=1,3,5,7
/proc/7495/stat : 7495 (toysat) R 7492 7495 4590 0 -1 4202496 245569 0 0 0 117 32 0 0 20 0 4 0 106413013 1247350784 245894 33554432000 4194304 16246674 140735729941248 140735729940560 13753004 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7495/statm: 304529 245894 825 2943 0 301423 0
[pid=7495/tid=7496] ppid=7492 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7496/stat : 7496 (toysat) S 7492 7495 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106413013 1247350784 245894 33554432000 4194304 16246674 140735729941248 139926103370992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7495/tid=7497] ppid=7492 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7497/stat : 7497 (toysat) S 7492 7495 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106413013 1247350784 245894 33554432000 4194304 16246674 140735729941248 139926092881136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7495/tid=7498] ppid=7492 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7498/stat : 7498 (toysat) S 7492 7495 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106413013 1247350784 245894 33554432000 4194304 16246674 140735729941248 139926007966896 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) 1218116

[startup+3.10038 s]
/proc/loadavg: 2.00 2.04 2.00 3/183 7499
/proc/meminfo: memFree=29692200/32872528 swapFree=11372/178980
[pid=7495] ppid=7492 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/7495/stat : 7495 (toysat) R 7492 7495 4590 0 -1 4202496 267372 0 0 0 274 35 0 0 20 0 4 0 106413013 1337528320 267697 33554432000 4194304 16246674 140735729941248 140735729923136 6021154 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7495/statm: 326545 267697 825 2943 0 323439 0
[pid=7495/tid=7496] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7496/stat : 7496 (toysat) S 7492 7495 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 267697 33554432000 4194304 16246674 140735729941248 139926103370992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7495/tid=7497] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7497/stat : 7497 (toysat) S 7492 7495 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 267697 33554432000 4194304 16246674 140735729941248 139926092881136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7495/tid=7498] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7498/stat : 7498 (toysat) S 7492 7495 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 267697 33554432000 4194304 16246674 140735729941248 139926007966896 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) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.08 2.05 2.01 3/183 7499
/proc/meminfo: memFree=29604432/32872528 swapFree=11372/178980
[pid=7495] ppid=7492 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/7495/stat : 7495 (toysat) R 7492 7495 4590 0 -1 4202496 267472 0 0 0 594 35 0 0 20 0 4 0 106413013 1337528320 267797 33554432000 4194304 16246674 140735729941248 140735729924248 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7495/statm: 326545 267797 825 2943 0 323439 0
[pid=7495/tid=7496] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7496/stat : 7496 (toysat) S 7492 7495 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 267797 33554432000 4194304 16246674 140735729941248 139926103370992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7495/tid=7497] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7497/stat : 7497 (toysat) S 7492 7495 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 267797 33554432000 4194304 16246674 140735729941248 139926092881136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7495/tid=7498] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7498/stat : 7498 (toysat) S 7492 7495 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 267797 33554432000 4194304 16246674 140735729941248 139926007966896 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) 1306180

[startup+12.7005 s]
/proc/loadavg: 2.07 2.05 2.01 3/183 7499
/proc/meminfo: memFree=29604200/32872528 swapFree=11372/178980
[pid=7495] ppid=7492 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/7495/stat : 7495 (toysat) R 7492 7495 4590 0 -1 4202496 267475 0 0 0 1234 35 0 0 20 0 4 0 106413013 1337528320 267800 33554432000 4194304 16246674 140735729941248 140735729924248 5717184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7495/statm: 326545 267800 827 2943 0 323439 0
[pid=7495/tid=7496] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7496/stat : 7496 (toysat) S 7492 7495 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 267800 33554432000 4194304 16246674 140735729941248 139926103370992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7495/tid=7497] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7497/stat : 7497 (toysat) S 7492 7495 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 267800 33554432000 4194304 16246674 140735729941248 139926092881136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7495/tid=7498] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7498/stat : 7498 (toysat) S 7492 7495 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 267800 33554432000 4194304 16246674 140735729941248 139926007966896 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) 1306180

[startup+25.5006 s]
/proc/loadavg: 2.06 2.05 2.01 3/183 7499
/proc/meminfo: memFree=29604460/32872528 swapFree=11372/178980
[pid=7495] ppid=7492 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/7495/stat : 7495 (toysat) R 7492 7495 4590 0 -1 4202496 267489 0 0 0 2512 37 0 0 20 0 4 0 106413013 1337528320 267814 33554432000 4194304 16246674 140735729941248 140735729924248 13949889 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7495/statm: 326545 267814 827 2943 0 323439 0
[pid=7495/tid=7496] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7496/stat : 7496 (toysat) S 7492 7495 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 267814 33554432000 4194304 16246674 140735729941248 139926103370992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7495/tid=7497] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7497/stat : 7497 (toysat) S 7492 7495 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 267814 33554432000 4194304 16246674 140735729941248 139926092881136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7495/tid=7498] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7498/stat : 7498 (toysat) S 7492 7495 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 267814 33554432000 4194304 16246674 140735729941248 139926007966896 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) 1306180

[startup+51.1006 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 7499
/proc/meminfo: memFree=29604460/32872528 swapFree=11372/178980
[pid=7495] ppid=7492 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/7495/stat : 7495 (toysat) R 7492 7495 4590 0 -1 4202496 267490 0 0 0 5065 43 0 0 20 0 4 0 106413013 1337528320 267815 33554432000 4194304 16246674 140735729941248 140735729924248 5763312 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7495/statm: 326545 267815 828 2943 0 323439 0
[pid=7495/tid=7496] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7496/stat : 7496 (toysat) S 7492 7495 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 267815 33554432000 4194304 16246674 140735729941248 139926103370992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7495/tid=7497] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7497/stat : 7497 (toysat) S 7492 7495 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 267815 33554432000 4194304 16246674 140735729941248 139926092881136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7495/tid=7498] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7498/stat : 7498 (toysat) S 7492 7495 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 267815 33554432000 4194304 16246674 140735729941248 139926007966896 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) 1306180

[startup+102.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 7500
/proc/meminfo: memFree=29604556/32872528 swapFree=11372/178980
[pid=7495] ppid=7492 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/7495/stat : 7495 (toysat) R 7492 7495 4590 0 -1 4202496 267493 0 0 0 10173 55 0 0 20 0 4 0 106413013 1337528320 267818 33554432000 4194304 16246674 140735729941248 140735729923136 6842400 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7495/statm: 326545 267818 828 2943 0 323439 0
[pid=7495/tid=7496] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7496/stat : 7496 (toysat) S 7492 7495 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 267818 33554432000 4194304 16246674 140735729941248 139926103370992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7495/tid=7497] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7497/stat : 7497 (toysat) S 7492 7495 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 267818 33554432000 4194304 16246674 140735729941248 139926092881136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7495/tid=7498] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7498/stat : 7498 (toysat) S 7492 7495 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 267818 33554432000 4194304 16246674 140735729941248 139926007966896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/7495/task/7498/stat : 7498 (toysat) S 7492 7495 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 139926007966896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1306180

[startup+1362.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 7580
/proc/meminfo: memFree=29660244/32872528 swapFree=11372/178980
[pid=7495] ppid=7492 vsize=1306180 CPUtime=1361.91 cores=1,3,5,7
/proc/7495/stat : 7495 (toysat) R 7492 7495 4590 0 -1 4202496 267930 0 0 0 135906 285 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 140735729924248 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7495/statm: 326545 268196 829 2943 0 323439 0
[pid=7495/tid=7496] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7496/stat : 7496 (toysat) S 7492 7495 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 139926103370992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7495/tid=7497] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7497/stat : 7497 (toysat) S 7492 7495 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 139926092881136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7495/tid=7498] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7498/stat : 7498 (toysat) S 7492 7495 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 139926007966896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1306180

[startup+1422.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/184 7584
/proc/meminfo: memFree=29658988/32872528 swapFree=11372/178980
[pid=7495] ppid=7492 vsize=1306180 CPUtime=1421.88 cores=1,3,5,7
/proc/7495/stat : 7495 (toysat) R 7492 7495 4590 0 -1 4202496 267967 0 0 0 141890 298 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 140735729923136 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7495/statm: 326545 268196 829 2943 0 323439 0
[pid=7495/tid=7496] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7496/stat : 7496 (toysat) S 7492 7495 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 139926103370992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7495/tid=7497] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7497/stat : 7497 (toysat) S 7492 7495 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 139926092881136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7495/tid=7498] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7498/stat : 7498 (toysat) S 7492 7495 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 139926007966896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1306180

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 7585
/proc/meminfo: memFree=29659148/32872528 swapFree=11372/178980
[pid=7495] ppid=7492 vsize=1306180 CPUtime=1481.87 cores=1,3,5,7
/proc/7495/stat : 7495 (toysat) R 7492 7495 4590 0 -1 4202496 267967 0 0 0 147877 310 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 140735729924248 5824438 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7495/statm: 326545 268196 829 2943 0 323439 0
[pid=7495/tid=7496] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7496/stat : 7496 (toysat) S 7492 7495 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 139926103370992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7495/tid=7497] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7497/stat : 7497 (toysat) S 7492 7495 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 139926092881136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7495/tid=7498] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7498/stat : 7498 (toysat) S 7492 7495 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 139926007966896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1306180

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 7587
/proc/meminfo: memFree=29658744/32872528 swapFree=11372/178980
[pid=7495] ppid=7492 vsize=1306180 CPUtime=1541.86 cores=1,3,5,7
/proc/7495/stat : 7495 (toysat) R 7492 7495 4590 0 -1 4202496 267967 0 0 0 153874 312 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 140735729923136 5545993 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7495/statm: 326545 268196 829 2943 0 323439 0
[pid=7495/tid=7496] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7496/stat : 7496 (toysat) S 7492 7495 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 139926103370992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7495/tid=7497] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7497/stat : 7497 (toysat) S 7492 7495 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 139926092881136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7495/tid=7498] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7498/stat : 7498 (toysat) S 7492 7495 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 139926007966896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1306180

[startup+1602.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 7588
/proc/meminfo: memFree=29658444/32872528 swapFree=11372/178980
[pid=7495] ppid=7492 vsize=1306180 CPUtime=1601.85 cores=1,3,5,7
/proc/7495/stat : 7495 (toysat) R 7492 7495 4590 0 -1 4202496 267967 0 0 0 159864 321 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 140735729923136 5661735 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7495/statm: 326545 268196 829 2943 0 323439 0
[pid=7495/tid=7496] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7496/stat : 7496 (toysat) S 7492 7495 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 139926103370992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7495/tid=7497] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7497/stat : 7497 (toysat) S 7492 7495 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 139926092881136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7495/tid=7498] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7498/stat : 7498 (toysat) S 7492 7495 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 139926007966896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1306180

[startup+1662.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/183 7589
/proc/meminfo: memFree=29658828/32872528 swapFree=11372/178980
[pid=7495] ppid=7492 vsize=1306180 CPUtime=1661.84 cores=1,3,5,7
/proc/7495/stat : 7495 (toysat) R 7492 7495 4590 0 -1 4202496 267967 0 0 0 165851 333 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 140735729923136 5653136 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7495/statm: 326545 268196 829 2943 0 323439 0
[pid=7495/tid=7496] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7496/stat : 7496 (toysat) S 7492 7495 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 139926103370992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7495/tid=7497] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7497/stat : 7497 (toysat) S 7492 7495 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 139926092881136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7495/tid=7498] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7498/stat : 7498 (toysat) S 7492 7495 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 139926007966896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1306180

[startup+1722.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 7590
/proc/meminfo: memFree=29658204/32872528 swapFree=11372/178980
[pid=7495] ppid=7492 vsize=1306180 CPUtime=1721.83 cores=1,3,5,7
/proc/7495/stat : 7495 (toysat) R 7492 7495 4590 0 -1 4202496 267967 0 0 0 171837 346 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 140735729923136 13195385 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7495/statm: 326545 268196 829 2943 0 323439 0
[pid=7495/tid=7496] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7496/stat : 7496 (toysat) S 7492 7495 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 139926103370992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7495/tid=7497] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7497/stat : 7497 (toysat) S 7492 7495 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 139926092881136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7495/tid=7498] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7498/stat : 7498 (toysat) S 7492 7495 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 139926007966896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1306180

[startup+1782.3 s]
/proc/loadavg: 2.16 2.07 2.01 3/183 7591
/proc/meminfo: memFree=29657596/32872528 swapFree=11372/178980
[pid=7495] ppid=7492 vsize=1306180 CPUtime=1781.83 cores=1,3,5,7
/proc/7495/stat : 7495 (toysat) R 7492 7495 4590 0 -1 4202496 267967 0 0 0 177825 358 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 140735729923136 13759456 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7495/statm: 326545 268196 829 2943 0 323439 0
[pid=7495/tid=7496] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7496/stat : 7496 (toysat) S 7492 7495 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 139926103370992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7495/tid=7497] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7497/stat : 7497 (toysat) S 7492 7495 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 139926092881136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7495/tid=7498] ppid=7492 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7498/stat : 7498 (toysat) S 7492 7495 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106413013 1337528320 268196 33554432000 4194304 16246674 140735729941248 139926007966896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1306180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.11 2.07 2.01 3/183 7591
/proc/meminfo: memFree=29657788/32872528 swapFree=11372/178980
[pid=7495] ppid=7492 vsize=1307204 CPUtime=1800.02 cores=1,3,5,7
/proc/7495/stat : 7495 (toysat) R 7492 7495 4590 0 -1 4202496 267980 0 0 0 179642 360 0 0 20 0 4 0 106413013 1338576896 268209 33554432000 4194304 16246674 140735729941248 140735729924248 5600464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7495/statm: 326801 268209 829 2943 0 323695 0
[pid=7495/tid=7496] ppid=7492 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7496/stat : 7496 (toysat) S 7492 7495 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106413013 1338576896 268209 33554432000 4194304 16246674 140735729941248 139926103370992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7495/tid=7497] ppid=7492 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7497/stat : 7497 (toysat) S 7492 7495 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106413013 1338576896 268209 33554432000 4194304 16246674 140735729941248 139926092881136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7495/tid=7498] ppid=7492 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7498/stat : 7498 (toysat) S 7492 7495 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106413013 1338576896 268209 33554432000 4194304 16246674 140735729941248 139926007966896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1307204

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

[startup+1800.5 s]
/proc/loadavg: 2.11 2.07 2.01 3/183 7591
/proc/meminfo: memFree=29657788/32872528 swapFree=11372/178980
[pid=7495] ppid=7492 vsize=1307204 CPUtime=1800.02 cores=1,3,5,7
/proc/7495/stat : 7495 (toysat) R 7492 7495 4590 0 -1 4202496 267980 0 0 0 179642 360 0 0 20 0 4 0 106413013 1338576896 268209 33554432000 4194304 16246674 140735729941248 140735729924248 5600464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7495/statm: 326801 268209 829 2943 0 323695 0
[pid=7495/tid=7496] ppid=7492 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7496/stat : 7496 (toysat) S 7492 7495 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106413013 1338576896 268209 33554432000 4194304 16246674 140735729941248 139926103370992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7495/tid=7497] ppid=7492 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7497/stat : 7497 (toysat) S 7492 7495 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106413013 1338576896 268209 33554432000 4194304 16246674 140735729941248 139926092881136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7495/tid=7498] ppid=7492 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7495/task/7498/stat : 7498 (toysat) S 7492 7495 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106413013 1338576896 268209 33554432000 4194304 16246674 140735729941248 139926007966896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1307204

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1796.43
CPU system time (s): 3.60045
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.43
system time used= 3.60045
maximum resident set size= 1072836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267980
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= 369
involuntary context switches= 1834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.0922 second user time and 15.7636 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-06 22:26:23
IDJOB=4079739
IDBENCH=2909
IDSOLVER=2542
FILE ID=node105/4079739-1465244783
RUNJOBID= node105-1465220657-4607
PBS_JOBID= 19843223
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_3.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079739-1465244783/watcher-4079739-1465244783 -o /tmp/evaluation-result-4079739-1465244783/solver-4079739-1465244783 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4607 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079739-1465244783.opb

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

MD5SUM BENCH= 0cfcb152e5d64f6fbadc82a2b31230da
RANDOM SEED=1668239433

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30675764 kB
Buffers:           48112 kB
Cached:           140796 kB
SwapCached:         1756 kB
Active:          1233488 kB
Inactive:          81556 kB
Active(anon):    1126916 kB
Inactive(anon):     1504 kB
Active(file):     106572 kB
Inactive(file):    80052 kB
Unevictable:      178980 kB
Mlocked:           11372 kB
SwapTotal:      67108856 kB
SwapFree:       67098460 kB
Dirty:             16332 kB
Writeback:            16 kB
AnonPages:       1304708 kB
Mapped:            10984 kB
Shmem:                 0 kB
Slab:             569740 kB
SReclaimable:      13220 kB
SUnreclaim:       556520 kB
KernelStack:        1472 kB
PageTables:         6552 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1447552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1286144 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= 71716 MiB
End job on node105 at 2016-06-06 22:56:24