Trace number 4101049

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.08 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-degen2.opb
MD5SUMef301ecece8b2033bfa1fe9b39eee48a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.390939
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables16020
Total number of constraints444
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints444
Minimum length of a constraint60
Maximum length of a constraint2550
Number of terms in the objective function 14100
Biggest coefficient in the objective function 3337
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 535636
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 131073
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 535636
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T05:29:22+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-4101049-1466220562.opb"]
0.00/0.01	c use --random-gen="707003791 884602481 331781847 2130749510 1636084006 722709678 2304167908 2182657241 1224389610 1794186470 999660407 1170664129 3481651475 3518984823 979171780 21402690 314321862 3395398264 3015214081 238124788 2684429665 1251581127 2600534654 3874621808 1894608402 2336867040 992379729 419196683 2729904852 2798682648 1551820091 51693507 3230316429 2493193924 341499136 591017062 3433143058 201358732 295491412 2323698861 4087972809 490618983 742344278 3948883038 1041082687 1861996603 139718747 1141213905 1791566118 2212131953 3396625179 962935404 507036357 1256621255 4211112132 3828485717 2977095894 2662685966 3395125280 2033512794 3768621906 415787951 373640542 379545983 869702492 2632721554 3394439258 3418306861 2972788088 1752573126 3986506064 3712435449 125397214 825957495 2835224367 1261399972 4279923780 2691298303 14944003 2275151567 2721197684 4105646960 2914649046 4211329671 3377904522 3431821682 873172280 2708019797 1201818114 3792609865 3072296004 3349453202 628645189 2438504526 37265295 2500326753 1357702190 2018253052 245899140 305484739 547616405 3152366777 4159466131 1153697589 3200624099 674289970 1401099008 827808980 1139073745 1686676057 2582463022 864634448 1105985367 1497663038 2092024220 614643726 2725929493 1146226191 2078411617 902174437 4206243379 4198777341 751079371 4124250066 3871031388 1042286341 213930817 784373479 361478732 2311420873 3950142496 3014653634 3666431858 2374390886 901953238 1697376479 3747254377 2505555151 1786730472 2248541593 3188010569 2377103358 2544043396 2449922863 465077433 3197082282 3257378538 586435605 1656226726 2084559174 2433606945 1481354855 2811393318 847354881 1581830483 3192160836 2437775387 2842492868 3388767910 4019462800 3321610585 228951023 4259561293 1753491705 2501799789 2628222172 1602779463 1160762897 1735242931 2173294784 352869193 4029124125 3009250836 863523004 3995654732 3766371785 384246883 1668686087 1177103129 2602388254 1701138541 4166822616 641102051 1448997777 2828215229 561797290 2539285806 3268707493 172099796 1131103875 1647507961 2198695595 3123555647 3894054475 555904837 3707171747 72255757 2121497672 2489147609 824968119 1532572072 3168941316 2762219878 2499162905 1944714143 1705918444 111246235 1803676880 1133269874 3961217135 1506617969 2008405455 16926722 3123919440 3595016587 1665854267 3970262245 2144130378 3176648369 3467210380 2407701774 1617026588 1837280246 917071520 2063231956 600670458 1317754222 2349075254 2164746951 3750704027 2756855292 1273228170 270466803 2654574387 3034195139 61909799 1731045740 914079688 2706765204 178633059 2846548612 3106897155 2669798975 1083345428 3709483398 3563490532 851160288 1356915206 610176261 1361206658 3327310139 268639873 1501604836 2563204285 2448512463 824005439 255 362436" option to reproduce the execution
0.18/0.27	c #vars 16020
0.18/0.27	c #constraints 444
0.79/0.83	c BCD2: Hardening is enabled.
0.79/0.83	c BCD2: BiasedSearch is enabled.
0.79/0.83	c Solving starts ...
0.99/1.00	c ============================[ Search Statistics ]============================
0.99/1.00	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.99/1.00	c       |         |          |          |    Limit     GC | Var      | Constra 
0.99/1.00	c =============================================================================
0.99/1.00	c  0.0s |       0 |        0 |        0 |     5561      0 |     8468 |        0
1.49/1.55	c  0.7s |       1 |     1741 |      100 |     5561      0 |     8470 |        0
4.58/4.61	c  3.8s |       2 |     3625 |      250 |     6118      0 |     8470 |        0
6.60/6.64	c  5.8s |       2 |     4945 |      450 |     6730      0 |     8470 |        0
6.78/6.85	c  6.0s |       3 |     5347 |      475 |     6730      0 |     8470 |        0
9.78/9.88	c  9.0s |       3 |     6567 |      775 |     7404      0 |     8470 |        0
10.08/10.11	c  9.3s |       4 |     6921 |      813 |     7404      0 |     8470 |        0
12.09/12.14	c 11.3s |       4 |     7480 |      913 |     8145      0 |     8470 |        0
14.29/14.33	c 13.5s |       4 |    10044 |     1113 |     8145      0 |     8470 |        0
16.39/16.43	c 15.6s |       4 |    11702 |     1313 |     8145      0 |     8470 |        0
16.39/16.49	c 15.7s |       5 |    11802 |     1320 |     8145      0 |     8470 |        0
18.88/18.95	c 18.1s |       5 |    13706 |     1520 |     8960      0 |     8470 |        0
20.99/21.09	c 20.3s |       5 |    14639 |     1720 |     8960      0 |     8470 |        0
23.88/23.91	c 23.1s |       5 |    16591 |     1920 |     8960      0 |     8470 |        0
25.58/25.63	c 24.8s |       6 |    17721 |     2081 |     9856      0 |     8470 |        0
28.48/28.52	c 27.7s |       6 |    19498 |     2281 |     9856      0 |     8470 |        0
31.18/31.21	c 30.4s |       6 |    20766 |     2581 |     9856      0 |     8470 |        0
34.09/34.15	c 33.3s |       6 |    22909 |     2781 |     9856      0 |     8470 |        0
36.58/36.65	c 35.8s |       6 |    24274 |     2981 |     9856      0 |     8470 |        0
39.38/39.46	c 38.6s |       6 |    25741 |     3181 |     9856      0 |     8470 |        0
39.59/39.70	c 38.9s |       7 |    25939 |     3223 |    10842      0 |     8470 |        0
42.28/42.39	c 41.6s |       7 |    27641 |     3523 |    10842      0 |     8470 |        0
44.38/44.40	c 43.6s |       7 |    28883 |     3723 |    10842      0 |     8470 |        0
47.38/47.43	c 46.6s |       7 |    29819 |     3923 |    10842      0 |     8470 |        0
51.08/51.14	c 50.3s |       7 |    32092 |     4123 |    10842      0 |     8470 |        0
53.58/53.64	c 52.8s |       7 |    33501 |     4323 |    10842      0 |     8470 |        0
56.68/56.72	c 55.9s |       7 |    35259 |     4623 |    10842      0 |     8470 |        0
59.18/59.24	c 58.4s |       7 |    36000 |     4823 |    10842      0 |     8470 |        0
61.08/61.12	c 60.3s |       8 |    36993 |     4936 |    11927      0 |     8470 |        0
64.18/64.29	c 63.5s |       8 |    38530 |     5336 |    11927      0 |     8470 |        0
66.97/67.04	c 66.2s |       8 |    39622 |     5536 |    11927      0 |     8470 |        0
69.77/69.81	c 69.0s |       8 |    40944 |     5836 |    11927      0 |     8470 |        0
72.07/72.19	c 71.4s |       8 |    41672 |     6036 |    11927      0 |     8470 |        0
74.67/74.70	c 73.9s |       8 |    43089 |     6236 |    11927      0 |     8470 |        0
77.08/77.14	c 76.3s |       8 |    43745 |     6436 |    11927      0 |     8470 |        0
79.87/79.96	c 79.1s |       8 |    44371 |     6636 |    11927      0 |     8470 |        0
81.97/82.06	c 81.2s |       8 |    45219 |     6836 |    11927      0 |     8470 |        0
84.37/84.45	c 83.6s |       8 |    45986 |     7036 |    11927      0 |     8470 |        0
87.77/87.87	c 87.0s |       8 |    47384 |     7236 |    11927      0 |     8470 |        0
90.77/90.88	c 90.0s |       8 |    48343 |     7436 |    11927      0 |     8470 |        0
91.57/91.67	c 90.8s |       9 |    48497 |     7506 |    13120      0 |     8470 |        0
94.68/94.71	c 93.9s |       9 |    50038 |     7806 |    13120      0 |     8470 |        0
98.17/98.23	c 97.4s |       9 |    52002 |     8106 |    13120      0 |     8470 |        0
100.87/100.92	c  100s |       9 |    54191 |     8306 |    13120      0 |     8470 |        0
104.27/104.34	c  103s |       9 |    55925 |     8506 |    13120      0 |     8470 |        0
106.87/106.90	c  106s |       9 |    57426 |     8706 |    13120      0 |     8470 |        0
109.98/110.06	c  109s |       9 |    59063 |     8906 |    13120      0 |     8470 |        0
112.77/112.80	c  111s |       9 |    60745 |     9106 |    13120      0 |     8470 |        0
116.07/116.14	c  115s |       9 |    62509 |     9306 |    13120      0 |     8470 |        0
118.57/118.62	c  117s |       9 |    63257 |     9506 |    13120      0 |     8470 |        0
121.57/121.64	c  120s |       9 |    64681 |     9706 |    13120      0 |     8470 |        0
124.17/124.23	c  123s |       9 |    66295 |     9906 |    13120      0 |     8470 |        0
126.76/126.84	c  126s |       9 |    68147 |    10206 |    13120      0 |     8470 |        0
130.16/130.21	c  129s |       9 |    70180 |    10506 |    13120      0 |     8470 |        0
132.46/132.50	c  131s |       9 |    71426 |    10706 |    13120      0 |     8470 |        0
134.46/134.53	c  133s |       9 |    72658 |    10906 |    13120      0 |     8470 |        0
137.16/137.23	c  136s |       9 |    74008 |    11206 |    13120      0 |     8470 |        0
138.96/139.01	c  138s |      10 |    74971 |    11361 |    14433      0 |     8470 |        0
141.66/141.71	c  140s |      10 |    76152 |    11561 |    14433      0 |     8470 |        0
144.66/144.76	c  143s |      10 |    77633 |    11861 |    14433      0 |     8470 |        0
147.16/147.21	c  146s |      10 |    78663 |    12161 |    14433      0 |     8470 |        0
149.96/150.06	c  149s |      10 |    79867 |    12461 |    14433      0 |     8470 |        0
152.66/152.73	c  151s |      10 |    80937 |    12761 |    14433      0 |     8470 |        0
155.66/155.73	c  154s |      10 |    81887 |    12961 |    14433      0 |     8470 |        0
158.96/159.01	c  158s |      10 |    82584 |    13161 |    14433      0 |     8470 |        0
162.06/162.10	c  161s |      10 |    83239 |    13361 |    14433      0 |     8470 |        0
164.66/164.74	c  163s |      10 |    83832 |    13561 |    14433      0 |     8470 |        0
167.66/167.75	c  166s |      10 |    84859 |    13761 |    14433      0 |     8470 |        0
169.76/169.84	c  169s |      10 |    85314 |    13961 |    14433      0 |     8470 |        0
171.96/172.09	c  171s |      10 |    86260 |    14261 |    14433      0 |     8470 |        0
174.46/174.58	c  173s |      10 |    87189 |    14561 |    14433      0 |     8470 |        0
177.26/177.34	c  176s |      10 |    87925 |    14861 |    14433      0 |     8470 |        0
179.75/179.84	c  179s |      10 |    88677 |    15061 |    14433      0 |     8470 |        0
182.05/182.16	c  181s |      10 |    89388 |    15261 |    14433      0 |     8470 |        0
185.25/185.30	c  184s |      10 |    90290 |    15561 |    14433      0 |     8470 |        0
187.85/187.94	c  187s |      10 |    92986 |    15761 |    14433      0 |     8470 |        0
190.55/190.70	c  189s |      10 |    95772 |    15961 |    14433      0 |     8470 |        0
193.15/193.20	c  192s |      10 |    97949 |    16161 |    14433      0 |     8470 |        0
196.35/196.47	c  195s |      10 |   100825 |    16461 |    14433      0 |     8470 |        0
199.25/199.40	c  198s |      10 |   101584 |    16661 |    14433      0 |     8470 |        0
203.15/203.29	c  202s |      10 |   103372 |    16961 |    14433      0 |     8470 |        0
205.75/205.88	c  205s |      11 |   104880 |    17144 |    15877      0 |     8470 |        0
208.15/208.25	c  207s |      11 |   107914 |    17344 |    15877      0 |     8470 |        0
211.45/211.56	c  210s |      11 |   109189 |    17544 |    15877      0 |     8470 |        0
213.64/213.78	c  212s |      11 |   110244 |    17744 |    15877      0 |     8470 |        0
215.65/215.78	c  214s |      11 |   111403 |    17844 |    15877      0 |     8470 |        0
218.85/219.00	c  218s |      11 |   113329 |    18044 |    15877      0 |     8470 |        0
221.64/221.77	c  220s |      11 |   114769 |    18244 |    15877      0 |     8470 |        0
224.54/224.60	c  223s |      11 |   116179 |    18444 |    15877      0 |     8470 |        0
226.65/226.77	c  225s |      11 |   117094 |    18544 |    15877      0 |     8470 |        0
229.24/229.36	c  228s |      11 |   118293 |    18744 |    15877      0 |     8470 |        0
232.05/232.19	c  231s |      11 |   119528 |    18944 |    15877      0 |     8470 |        0
234.54/234.67	c  233s |      11 |   120725 |    19144 |    15877      0 |     8470 |        0
237.14/237.23	c  236s |      11 |   122224 |    19344 |    15877      0 |     8470 |        0
239.75/239.84	c  239s |      11 |   123462 |    19544 |    15877      0 |     8470 |        0
242.34/242.48	c  241s |      11 |   124580 |    19744 |    15877      0 |     8470 |        0
244.74/244.87	c  244s |      11 |   125838 |    19944 |    15877      0 |     8470 |        0
248.44/248.54	c  247s |      11 |   127059 |    20144 |    15877      0 |     8470 |        0
251.24/251.35	c  250s |      11 |   128165 |    20344 |    15877      0 |     8470 |        0
254.54/254.65	c  253s |      11 |   129333 |    20544 |    15877      0 |     8470 |        0
256.84/256.91	c  256s |      11 |   129853 |    20644 |    15877      0 |     8470 |        0
259.84/259.96	c  259s |      11 |   131658 |    20944 |    15877      0 |     8470 |        0
262.94/263.04	c  262s |      11 |   132886 |    21144 |    15877      0 |     8470 |        0
265.93/266.03	c  265s |      11 |   134066 |    21444 |    15877      0 |     8470 |        0
268.73/268.86	c  268s |      11 |   135438 |    21644 |    15877      0 |     8470 |        0
270.83/270.95	c  270s |      11 |   136369 |    21744 |    15877      0 |     8470 |        0
274.03/274.12	c  273s |      11 |   139308 |    22044 |    15877      0 |     8470 |        0
276.33/276.45	c  275s |      11 |   140235 |    22144 |    15877      0 |     8470 |        0
278.53/278.68	c  277s |      11 |   141354 |    22344 |    15877      0 |     8470 |        0
282.23/282.34	c  281s |      11 |   143284 |    22544 |    15877      0 |     8470 |        0
284.33/284.42	c  283s |      11 |   144797 |    22744 |    15877      0 |     8470 |        0
288.14/288.25	c  287s |      11 |   146425 |    22944 |    15877      0 |     8470 |        0
290.53/290.64	c  289s |      11 |   147850 |    23144 |    15877      0 |     8470 |        0
293.13/293.26	c  292s |      11 |   149150 |    23344 |    15877      0 |     8470 |        0
295.73/295.89	c  295s |      11 |   150641 |    23544 |    15877      0 |     8470 |        0
297.93/298.06	c  297s |      11 |   152353 |    23744 |    15877      0 |     8470 |        0
300.03/300.18	c  299s |      11 |   153661 |    23944 |    15877      0 |     8470 |        0
302.54/302.67	c  301s |      11 |   155347 |    24144 |    15877      0 |     8470 |        0
306.13/306.23	c  305s |      11 |   156049 |    24444 |    15877      0 |     8470 |        0
309.93/310.00	c  309s |      11 |   156955 |    24644 |    15877      1 |     8470 |        0
313.73/313.83	c  313s |      11 |   157767 |    24844 |    15877      1 |     8470 |        0
317.33/317.45	c  316s |      11 |   158806 |    25044 |    15877      1 |     8470 |        0
319.93/320.04	c  319s |      11 |   159838 |    25244 |    15877      1 |     8470 |        0
322.33/322.42	c  321s |      11 |   160766 |    25444 |    15877      1 |     8470 |        0
325.63/325.72	c  324s |      11 |   162258 |    25644 |    15877      1 |     8470 |        0
327.92/328.00	c  327s |      12 |   163342 |    25819 |    17465      1 |     8470 |        0
330.72/330.86	c  330s |      12 |   165559 |    26119 |    17465      1 |     8470 |        0
333.82/333.92	c  333s |      12 |   167542 |    26419 |    17465      1 |     8470 |        0
336.32/336.45	c  335s |      12 |   168375 |    26619 |    17465      1 |     8470 |        0
346.92/347.02	c  346s |      12 |   169563 |    26819 |    17465      1 |     8470 |        0
350.93/351.02	c  350s |      12 |   171451 |    27019 |    17465      1 |     8470 |        0
354.02/354.14	c  353s |      12 |   173373 |    27219 |    17465      1 |     8470 |        0
357.53/357.65	c  356s |      12 |   176065 |    27419 |    17465      1 |     8470 |        0
360.32/360.43	c  359s |      12 |   177739 |    27619 |    17465      1 |     8470 |        0
363.72/363.89	c  363s |      12 |   178685 |    27819 |    17465      1 |     8470 |        0
367.22/367.39	c  366s |      12 |   179787 |    28019 |    17465      1 |     8470 |        0
370.92/371.05	c  370s |      12 |   182739 |    28219 |    17465      1 |     8470 |        0
373.22/373.35	c  372s |      12 |   183604 |    28419 |    17465      1 |     8470 |        0
375.72/375.82	c  374s |      12 |   186108 |    28619 |    17465      1 |     8470 |        0
378.12/378.24	c  377s |      12 |   188477 |    28719 |    17465      1 |     8470 |        0
380.72/380.89	c  380s |      12 |   190133 |    28919 |    17465      1 |     8470 |        0
384.12/384.20	c  383s |      12 |   190279 |    29019 |    17465      1 |     8470 |        0
386.52/386.66	c  385s |      12 |   191215 |    29119 |    17465      1 |     8470 |        0
389.62/389.72	c  388s |      12 |   191928 |    29319 |    17465      1 |     8470 |        0
391.92/392.05	c  391s |      12 |   193806 |    29419 |    17465      1 |     8470 |        0
394.22/394.35	c  393s |      12 |   194696 |    29519 |    17465      1 |     8470 |        0
396.71/396.88	c  396s |      12 |   196510 |    29719 |    17465      1 |     8470 |        0
398.91/399.00	c  398s |      12 |   197893 |    29919 |    17465      1 |     8470 |        0
401.01/401.10	c  400s |      12 |   199065 |    30119 |    17465      1 |     8470 |        0
403.62/403.75	c  402s |      12 |   199648 |    30219 |    17465      1 |     8470 |        0
406.61/406.76	c  405s |      12 |   201187 |    30419 |    17465      1 |     8470 |        0
409.91/410.08	c  409s |      12 |   204019 |    30619 |    17465      1 |     8470 |        0
412.52/412.68	c  411s |      12 |   205270 |    30819 |    17465      1 |     8470 |        0
414.81/414.95	c  414s |      12 |   206130 |    30919 |    17465      1 |     8470 |        0
418.11/418.20	c  417s |      12 |   208332 |    31119 |    17465      1 |     8470 |        0
421.71/421.80	c  420s |      12 |   210720 |    31319 |    17465      1 |     8470 |        0
424.52/424.67	c  423s |      12 |   211963 |    31519 |    17465      1 |     8470 |        0
427.31/427.43	c  426s |      12 |   213145 |    31719 |    17465      1 |     8470 |        0
431.71/431.80	c  430s |      12 |   215439 |    31919 |    17465      1 |     8470 |        0
434.42/434.55	c  433s |      12 |   216573 |    32119 |    17465      1 |     8470 |        0
436.81/436.97	c  436s |      12 |   218424 |    32319 |    17465      1 |     8470 |        0
440.41/440.56	c  439s |      12 |   220024 |    32519 |    17465      1 |     8470 |        0
443.81/443.94	c  443s |      12 |   221146 |    32719 |    17465      1 |     8470 |        0
447.61/447.71	c  446s |      12 |   222713 |    32919 |    17465      1 |     8470 |        0
450.91/451.07	c  450s |      12 |   224206 |    33219 |    17465      1 |     8470 |        0
453.01/453.20	c  452s |      12 |   224376 |    33319 |    17465      1 |     8470 |        0
457.31/457.45	c  456s |      12 |   225862 |    33519 |    17465      1 |     8470 |        0
459.61/459.78	c  458s |      12 |   226968 |    33619 |    17465      1 |     8470 |        0
463.01/463.19	c  462s |      12 |   229003 |    33819 |    17465      1 |     8470 |        0
466.31/466.48	c  465s |      12 |   232496 |    34019 |    17465      1 |     8470 |        0
470.71/470.82	c  469s |      12 |   234166 |    34219 |    17465      1 |     8470 |        0
473.20/473.39	c  472s |      12 |   235405 |    34419 |    17465      1 |     8470 |        0
476.00/476.17	c  475s |      12 |   236176 |    34519 |    17465      1 |     8470 |        0
480.30/480.49	c  479s |      12 |   237223 |    34719 |    17465      1 |     8470 |        0
484.40/484.51	c  483s |      12 |   240043 |    34919 |    17465      1 |     8470 |        0
487.10/487.23	c  486s |      12 |   241914 |    35119 |    17465      1 |     8470 |        0
489.20/489.37	c  488s |      12 |   242927 |    35319 |    17465      1 |     8470 |        0
491.40/491.58	c  490s |      12 |   244956 |    35519 |    17465      1 |     8470 |        0
493.80/493.92	c  493s |      12 |   246114 |    35619 |    17465      1 |     8470 |        0
497.30/497.41	c  496s |      12 |   248399 |    35919 |    17465      1 |     8470 |        0
499.60/499.77	c  498s |      12 |   250675 |    36019 |    17465      1 |     8470 |        0
502.10/502.29	c  501s |      12 |   252852 |    36219 |    17465      1 |     8470 |        0
505.20/505.37	c  504s |      12 |   254887 |    36519 |    17465      1 |     8470 |        0
507.39/507.53	c  506s |      12 |   256043 |    36719 |    17465      1 |     8470 |        0
510.19/510.31	c  509s |      12 |   257592 |    36919 |    17465      1 |     8470 |        0
512.99/513.17	c  512s |      12 |   258852 |    37119 |    17465      1 |     8470 |        0
515.29/515.43	c  514s |      12 |   259985 |    37219 |    17465      1 |     8470 |        0
518.39/518.56	c  517s |      12 |   262947 |    37419 |    17465      1 |     8470 |        0
521.89/522.00	c  521s |      12 |   264326 |    37719 |    17465      1 |     8470 |        0
524.49/524.67	c  523s |      12 |   266793 |    37919 |    17465      1 |     8470 |        0
527.79/527.91	c  527s |      12 |   268657 |    38219 |    17465      1 |     8470 |        0
531.20/531.39	c  530s |      12 |   271039 |    38519 |    17465      1 |     8470 |        0
534.19/534.33	c  533s |      12 |   272445 |    38719 |    19212      1 |     8470 |        0
535.49/535.67	c  534s |      13 |   273267 |    38832 |    19212      1 |     8470 |        0
538.19/538.39	c  537s |      13 |   274280 |    39032 |    19212      1 |     8470 |        0
540.49/540.69	c  539s |      13 |   276472 |    39232 |    19212      1 |     8470 |        0
544.59/544.74	c  543s |      13 |   277497 |    39532 |    19212      1 |     8470 |        0
547.70/547.85	c  547s |      13 |   278814 |    39732 |    19212      1 |     8470 |        0
550.79/550.98	c  550s |      13 |   280643 |    39932 |    19212      1 |     8470 |        0
553.59/553.77	c  552s |      13 |   282798 |    40132 |    19212      1 |     8470 |        0
556.79/556.91	c  556s |      13 |   284553 |    40432 |    19212      1 |     8470 |        0
559.49/559.69	c  558s |      13 |   285335 |    40632 |    19212      2 |     8470 |        0
561.99/562.17	c  561s |      13 |   285898 |    40832 |    19212      2 |     8470 |        0
564.39/564.52	c  563s |      13 |   287298 |    41132 |    19212      2 |     8470 |        0
566.68/566.87	c  566s |      13 |   287945 |    41332 |    19212      2 |     8470 |        0
569.58/569.78	c  568s |      13 |   288872 |    41632 |    19212      2 |     8470 |        0
572.18/572.30	c  571s |      13 |   289852 |    41832 |    19212      2 |     8470 |        0
574.98/575.13	c  574s |      13 |   290542 |    42032 |    19212      2 |     8470 |        0
578.28/578.40	c  577s |      13 |   291802 |    42232 |    19212      2 |     8470 |        0
580.69/580.84	c  580s |      13 |   292506 |    42532 |    19212      2 |     8470 |        0
583.28/583.40	c  582s |      13 |   293353 |    42732 |    19212      2 |     8470 |        0
585.88/586.09	c  585s |      13 |   293952 |    42932 |    19212      2 |     8470 |        0
588.49/588.69	c  587s |      13 |   295219 |    43232 |    19212      2 |     8470 |        0
591.08/591.25	c  590s |      13 |   296904 |    43432 |    19212      2 |     8470 |        0
593.38/593.51	c  592s |      13 |   297790 |    43632 |    19212      2 |     8470 |        0
595.68/595.89	c  595s |      13 |   298892 |    43832 |    19212      2 |     8470 |        0
598.68/598.82	c  597s |      13 |   300180 |    44032 |    19212      2 |     8470 |        0
601.88/602.00	c  601s |      13 |   302191 |    44232 |    19212      2 |     8470 |        0
604.18/604.30	c  603s |      13 |   303445 |    44432 |    19212      2 |     8470 |        0
606.68/606.86	c  606s |      13 |   305011 |    44632 |    19212      2 |     8470 |        0
609.38/609.53	c  608s |      13 |   306031 |    44832 |    19212      2 |     8470 |        0
611.67/611.80	c  610s |      13 |   307764 |    45032 |    19212      2 |     8470 |        0
614.17/614.35	c  613s |      13 |   309767 |    45232 |    19212      2 |     8470 |        0
616.67/616.85	c  616s |      13 |   312150 |    45432 |    19212      2 |     8470 |        0
619.87/620.04	c  619s |      13 |   313205 |    45632 |    19212      2 |     8470 |        0
623.68/623.83	c  622s |      13 |   315470 |    45932 |    19212      2 |     8470 |        0
625.97/626.18	c  625s |      13 |   316865 |    46132 |    19212      2 |     8470 |        0
629.18/629.32	c  628s |      13 |   318143 |    46332 |    19212      2 |     8470 |        0
632.07/632.26	c  631s |      13 |   318771 |    46532 |    19212      2 |     8470 |        0
634.47/634.63	c  633s |      13 |   319895 |    46732 |    19212      2 |     8470 |        0
637.67/637.89	c  637s |      13 |   320917 |    47032 |    19212      2 |     8470 |        0
640.08/640.26	c  639s |      13 |   321719 |    47232 |    19212      2 |     8470 |        0
642.87/643.06	c  642s |      13 |   322702 |    47432 |    19212      2 |     8470 |        0
645.76/645.98	c  645s |      13 |   323316 |    47632 |    19212      2 |     8470 |        0
648.36/648.56	c  647s |      13 |   323999 |    47832 |    19212      2 |     8470 |        0
651.46/651.64	c  650s |      13 |   324944 |    48032 |    19212      2 |     8470 |        0
654.26/654.48	c  653s |      13 |   325944 |    48232 |    19212      2 |     8470 |        0
656.36/656.51	c  655s |      13 |   326814 |    48432 |    19212      2 |     8470 |        0
659.26/659.42	c  658s |      13 |   327333 |    48632 |    19212      2 |     8470 |        0
662.55/662.73	c  661s |      13 |   327956 |    48832 |    19212      2 |     8470 |        0
665.85/666.01	c  665s |      13 |   329347 |    49032 |    19212      2 |     8470 |        0
668.35/668.56	c  667s |      13 |   332369 |    49232 |    19212      2 |     8470 |        0
671.65/671.87	c  671s |      13 |   333809 |    49432 |    19212      2 |     8470 |        0
674.25/674.48	c  673s |      13 |   334844 |    49632 |    19212      2 |     8470 |        0
676.75/676.99	c  676s |      13 |   335598 |    49832 |    19212      2 |     8470 |        0
679.45/679.61	c  678s |      13 |   336417 |    50032 |    19212      2 |     8470 |        0
681.85/682.04	c  681s |      13 |   337328 |    50232 |    19212      2 |     8470 |        0
684.34/684.50	c  683s |      13 |   338406 |    50432 |    19212      2 |     8470 |        0
686.54/686.70	c  685s |      13 |   341898 |    50632 |    19212      2 |     8470 |        0
690.04/690.21	c  689s |      13 |   343847 |    50932 |    19212      2 |     8470 |        0
692.04/692.29	c  691s |      13 |   345708 |    51132 |    19212      2 |     8470 |        0
694.64/694.81	c  693s |      13 |   347390 |    51432 |    19212      2 |     8470 |        0
696.64/696.81	c  695s |      13 |   349841 |    51632 |    19212      2 |     8470 |        0
699.94/700.10	c  699s |      13 |   352883 |    51932 |    19212      2 |     8470 |        0
701.93/702.14	c  701s |      13 |   354172 |    52132 |    19212      2 |     8470 |        0
704.53/704.76	c  703s |      13 |   355637 |    52432 |    19212      2 |     8470 |        0
707.03/707.20	c  706s |      13 |   356550 |    52632 |    19212      2 |     8470 |        0
709.34/709.55	c  708s |      13 |   357186 |    52832 |    19212      2 |     8470 |        0
712.03/712.23	c  711s |      13 |   360117 |    53032 |    19212      2 |     8470 |        0
714.03/714.30	c  713s |      13 |   362895 |    53232 |    19212      2 |     8470 |        0
716.73/716.92	c  716s |      13 |   365491 |    53432 |    19212      2 |     8470 |        0
718.73/718.97	c  718s |      13 |   367580 |    53632 |    19212      2 |     8470 |        0
721.13/721.35	c  720s |      13 |   369961 |    53832 |    19212      2 |     8470 |        0
723.52/723.80	c  722s |      13 |   371515 |    54132 |    19212      2 |     8470 |        0
725.83/726.08	c  725s |      13 |   373917 |    54332 |    19212      2 |     8470 |        0
728.13/728.35	c  727s |      13 |   374464 |    54532 |    19212      2 |     8470 |        0
731.52/731.72	c  730s |      13 |   376770 |    54732 |    19212      2 |     8470 |        0
733.53/733.76	c  732s |      13 |   378477 |    54932 |    19212      2 |     8470 |        0
736.02/736.24	c  735s |      13 |   380833 |    55132 |    19212      2 |     8470 |        0
739.22/739.47	c  738s |      13 |   384388 |    55432 |    19212      2 |     8470 |        0
742.02/742.23	c  741s |      13 |   386931 |    55732 |    19212      2 |     8470 |        0
744.02/744.25	c  743s |      13 |   389226 |    55932 |    19212      3 |     8470 |        0
746.22/746.46	c  745s |      13 |   391065 |    56132 |    19212      3 |     8470 |        0
749.12/749.33	c  748s |      13 |   391994 |    56332 |    19212      3 |     8470 |        0
751.23/751.41	c  750s |      13 |   393762 |    56532 |    19212      3 |     8470 |        0
753.22/753.49	c  752s |      13 |   395324 |    56732 |    19212      3 |     8470 |        0
756.82/757.02	c  756s |      13 |   398707 |    57032 |    19212      3 |     8470 |        0
759.62/759.80	c  758s |      13 |   400569 |    57332 |    19212      3 |     8470 |        0
761.92/762.15	c  761s |      13 |   403361 |    57532 |    19212      3 |     8470 |        0
764.62/764.83	c  763s |      13 |   404222 |    57732 |    19212      3 |     8470 |        0
767.22/767.42	c  766s |      13 |   407565 |    57932 |    19212      3 |     8470 |        0
769.72/769.90	c  769s |      13 |   410283 |    58132 |    21134      3 |     8470 |        0
771.72/771.93	c  771s |      14 |   411646 |    58352 |    21134      3 |     8470 |        0
774.01/774.25	c  773s |      14 |   413657 |    58452 |    21134      3 |     8470 |        0
776.11/776.30	c  775s |      14 |   415459 |    58652 |    21134      3 |     8470 |        0
780.01/780.21	c  779s |      14 |   418399 |    58952 |    21134      3 |     8470 |        0
782.41/782.67	c  781s |      14 |   421008 |    59152 |    21134      3 |     8470 |        0
784.71/784.91	c  784s |      14 |   422540 |    59352 |    21134      3 |     8470 |        0
787.61/787.83	c  786s |      14 |   426494 |    59752 |    21134      3 |     8470 |        0
790.51/790.70	c  789s |      14 |   428189 |    60052 |    21134      3 |     8470 |        0
792.61/792.88	c  792s |      14 |   429627 |    60352 |    21134      3 |     8470 |        0
795.31/795.50	c  794s |      14 |   430971 |    60652 |    21134      3 |     8470 |        0
798.11/798.39	c  797s |      14 |   432547 |    60952 |    21134      3 |     8470 |        0
800.91/801.14	c  800s |      14 |   433902 |    61252 |    21134      3 |     8470 |        0
803.61/803.86	c  803s |      14 |   435035 |    61552 |    21134      3 |     8470 |        0
805.71/805.95	c  805s |      14 |   436352 |    61852 |    21134      3 |     8470 |        0
808.01/808.24	c  807s |      14 |   437283 |    62152 |    21134      3 |     8470 |        0
810.01/810.28	c  809s |      14 |   438640 |    62452 |    21134      3 |     8470 |        0
812.11/812.37	c  811s |      14 |   439935 |    62752 |    21134      3 |     8470 |        0
814.61/814.87	c  814s |      14 |   441062 |    63052 |    21134      3 |     8470 |        0
816.71/816.94	c  816s |      14 |   442258 |    63252 |    21134      3 |     8470 |        0
818.91/819.15	c  818s |      14 |   443529 |    63552 |    21134      3 |     8470 |        0
822.01/822.22	c  821s |      14 |   444403 |    63852 |    21134      3 |     8470 |        0
825.21/825.42	c  824s |      14 |   445479 |    64052 |    21134      3 |     8470 |        0
827.61/827.83	c  826s |      14 |   446135 |    64352 |    21134      3 |     8470 |        0
829.91/830.14	c  829s |      14 |   447289 |    64652 |    21134      3 |     8470 |        0
833.31/833.58	c  832s |      14 |   448743 |    64852 |    21134      3 |     8470 |        0
836.50/836.75	c  835s |      14 |   451702 |    65152 |    21134      3 |     8470 |        0
840.10/840.34	c  839s |      14 |   456111 |    65452 |    21134      3 |     8470 |        0
842.30/842.50	c  841s |      14 |   457696 |    65752 |    21134      3 |     8470 |        0
844.90/845.17	c  844s |      14 |   459680 |    66052 |    21134      3 |     8470 |        0
847.80/848.03	c  847s |      14 |   460841 |    66352 |    21134      3 |     8470 |        0
850.40/850.64	c  849s |      14 |   461614 |    66552 |    21134      3 |     8470 |        0
853.60/853.85	c  853s |      14 |   463163 |    66852 |    21134      3 |     8470 |        0
856.40/856.65	c  855s |      14 |   465206 |    67152 |    21134      3 |     8470 |        0
858.70/858.99	c  858s |      14 |   466626 |    67452 |    21134      3 |     8470 |        0
861.50/861.79	c  860s |      14 |   467793 |    67752 |    21134      3 |     8470 |        0
864.41/864.68	c  863s |      14 |   468796 |    68052 |    21134      3 |     8470 |        0
867.30/867.55	c  866s |      14 |   469840 |    68352 |    21134      3 |     8470 |        0
869.80/870.07	c  869s |      14 |   470774 |    68652 |    21134      3 |     8470 |        0
872.30/872.54	c  871s |      14 |   472482 |    68952 |    21134      3 |     8470 |        0
874.70/874.95	c  874s |      14 |   473280 |    69252 |    21134      3 |     8470 |        0
877.00/877.27	c  876s |      14 |   474624 |    69552 |    21134      3 |     8470 |        0
879.10/879.33	c  878s |      14 |   476360 |    69752 |    21134      3 |     8470 |        0
881.50/881.72	c  880s |      14 |   477869 |    70352 |    21134      3 |     8470 |        0
883.50/883.79	c  882s |      14 |   479322 |    70852 |    21134      3 |     8470 |        0
886.00/886.20	c  885s |      14 |   480210 |    71252 |    21134      4 |     8470 |        0
888.80/889.05	c  888s |      14 |   481145 |    71452 |    21134      4 |     8470 |        0
891.40/891.61	c  890s |      14 |   482494 |    71852 |    21134      4 |     8470 |        0
893.70/893.99	c  893s |      14 |   483640 |    72252 |    21134      4 |     8470 |        0
896.40/896.61	c  895s |      14 |   486358 |    72552 |    21134      4 |     8470 |        0
899.00/899.27	c  898s |      14 |   488783 |    72752 |    21134      4 |     8470 |        0
901.59/901.86	c  901s |      14 |   489768 |    72952 |    21134      4 |     8470 |        0
904.39/904.67	c  903s |      14 |   493122 |    73252 |    21134      4 |     8470 |        0
907.69/907.92	c  907s |      14 |   496884 |    73552 |    21134      4 |     8470 |        0
909.69/909.94	c  909s |      14 |   499392 |    73752 |    21134      4 |     8470 |        0
912.29/912.54	c  911s |      14 |   500733 |    73952 |    21134      4 |     8470 |        0
914.69/914.98	c  914s |      14 |   503796 |    74152 |    21134      4 |     8470 |        0
917.39/917.67	c  916s |      14 |   506273 |    74352 |    21134      4 |     8470 |        0
919.50/919.79	c  918s |      14 |   507712 |    74552 |    21134      4 |     8470 |        0
922.49/922.71	c  921s |      14 |   509220 |    74852 |    21134      4 |     8470 |        0
925.00/925.21	c  924s |      14 |   511668 |    75152 |    21134      4 |     8470 |        0
927.89/928.19	c  927s |      14 |   513054 |    75452 |    21134      4 |     8470 |        0
930.29/930.50	c  929s |      14 |   515201 |    75652 |    21134      4 |     8470 |        0
932.39/932.61	c  931s |      14 |   515817 |    75852 |    21134      4 |     8470 |        0
934.90/935.11	c  934s |      14 |   516692 |    76052 |    21134      4 |     8470 |        0
936.89/937.18	c  936s |      14 |   517623 |    76252 |    21134      4 |     8470 |        0
939.20/939.46	c  938s |      14 |   519076 |    76452 |    21134      4 |     8470 |        0
941.19/941.46	c  940s |      14 |   520520 |    76652 |    21134      4 |     8470 |        0
943.70/943.95	c  943s |      14 |   522860 |    76852 |    21134      4 |     8470 |        0
946.09/946.32	c  945s |      14 |   524905 |    77052 |    21134      4 |     8470 |        0
949.69/949.91	c  949s |      14 |   527539 |    77352 |    21134      4 |     8470 |        0
952.09/952.38	c  951s |      14 |   529114 |    77552 |    21134      4 |     8470 |        0
955.29/955.55	c  954s |      14 |   530529 |    77852 |    21134      4 |     8470 |        0
957.59/957.81	c  956s |      14 |   531207 |    78052 |    21134      4 |     8470 |        0
960.19/960.48	c  959s |      14 |   533383 |    78252 |    21134      4 |     8470 |        0
962.79/963.09	c  962s |      14 |   536082 |    78552 |    21134      4 |     8470 |        0
965.09/965.35	c  964s |      14 |   538643 |    78852 |    21134      4 |     8470 |        0
967.38/967.67	c  966s |      14 |   540189 |    79052 |    21134      4 |     8470 |        0
969.38/969.67	c  968s |      14 |   541376 |    79252 |    21134      4 |     8470 |        0
971.88/972.15	c  971s |      14 |   544813 |    79452 |    21134      4 |     8470 |        0
974.28/974.51	c  973s |      14 |   546823 |    79652 |    21134      4 |     8470 |        0
976.28/976.52	c  975s |      14 |   548670 |    79852 |    21134      4 |     8470 |        0
978.48/978.76	c  977s |      14 |   550889 |    80152 |    21134      4 |     8470 |        0
980.58/980.85	c  980s |      14 |   552559 |    80352 |    21134      4 |     8470 |        0
982.78/983.03	c  982s |      14 |   553402 |    80552 |    21134      4 |     8470 |        0
985.28/985.56	c  984s |      14 |   554478 |    80752 |    21134      4 |     8470 |        0
987.78/988.05	c  987s |      14 |   555465 |    80952 |    21134      4 |     8470 |        0
990.08/990.31	c  989s |      14 |   556310 |    81152 |    21134      4 |     8470 |        0
992.48/992.77	c  991s |      14 |   557424 |    81352 |    21134      4 |     8470 |        0
995.68/995.99	c  995s |      14 |   558923 |    81652 |    21134      4 |     8470 |        0
998.28/998.54	c  997s |      14 |   560468 |    81852 |    21134      4 |     8470 |        0
1000.58/1000.82	c  999s |      14 |   561374 |    82052 |    21134      4 |     8470 |        0
1002.99/1003.24	c 1002s |      14 |   561810 |    82252 |    21134      4 |     8470 |        0
1005.48/1005.70	c 1004s |      14 |   562872 |    82452 |    21134      4 |     8470 |        0
1007.98/1008.26	c 1007s |      14 |   563625 |    82652 |    21134      4 |     8470 |        0
1010.38/1010.61	c 1009s |      14 |   565309 |    82852 |    21134      4 |     8470 |        0
1012.78/1013.07	c 1012s |      14 |   566161 |    83052 |    21134      4 |     8470 |        0
1015.48/1015.76	c 1014s |      14 |   567258 |    83252 |    21134      4 |     8470 |        0
1018.68/1018.91	c 1018s |      14 |   568457 |    83452 |    21134      4 |     8470 |        0
1021.38/1021.68	c 1020s |      14 |   570254 |    83752 |    21134      4 |     8470 |        0
1024.48/1024.74	c 1023s |      14 |   571012 |    84052 |    21134      4 |     8470 |        0
1028.08/1028.32	c 1027s |      14 |   573671 |    84252 |    21134      4 |     8470 |        0
1031.38/1031.62	c 1030s |      14 |   576178 |    84452 |    21134      4 |     8470 |        0
1034.47/1034.78	c 1033s |      14 |   579642 |    84652 |    21134      4 |     8470 |        0
1037.37/1037.68	c 1036s |      14 |   582633 |    84852 |    21134      4 |     8470 |        0
1040.67/1040.99	c 1040s |      14 |   586738 |    85152 |    21134      4 |     8470 |        0
1044.07/1044.39	c 1043s |      14 |   589704 |    85452 |    21134      4 |     8470 |        0
1047.08/1047.36	c 1046s |      14 |   593156 |    85652 |    21134      4 |     8470 |        0
1049.77/1050.08	c 1049s |      14 |   595730 |    85952 |    21134      4 |     8470 |        0
1052.48/1052.73	c 1051s |      14 |   598191 |    86152 |    21134      5 |     8470 |        0
1054.87/1055.19	c 1054s |      14 |   601418 |    86352 |    21134      5 |     8470 |        0
1057.27/1057.58	c 1056s |      14 |   603741 |    86552 |    21134      5 |     8470 |        0
1060.47/1060.78	c 1059s |      14 |   606163 |    86852 |    21134      5 |     8470 |        0
1062.57/1062.88	c 1062s |      14 |   608032 |    87052 |    23248      5 |     8470 |        0
1065.07/1065.32	c 1064s |      14 |   610464 |    87352 |    23248      5 |     8470 |        0
1067.07/1067.31	c 1066s |      15 |   612812 |    87632 |    23248      5 |     8470 |        0
1069.37/1069.68	c 1068s |      15 |   614704 |    88032 |    23248      5 |     8470 |        0
1071.77/1072.08	c 1071s |      15 |   616640 |    88332 |    23248      5 |     8470 |        0
1073.87/1074.12	c 1073s |      15 |   618346 |    88632 |    23248      5 |     8470 |        0
1076.78/1077.01	c 1076s |      15 |   619643 |    88932 |    23248      5 |     8470 |        0
1078.77/1079.07	c 1078s |      15 |   620210 |    89132 |    23248      5 |     8470 |        0
1081.07/1081.39	c 1080s |      15 |   621512 |    89332 |    23248      5 |     8470 |        0
1083.07/1083.39	c 1082s |      15 |   622217 |    89532 |    23248      5 |     8470 |        0
1085.58/1085.81	c 1084s |      15 |   623413 |    89732 |    23248      5 |     8470 |        0
1088.28/1088.53	c 1087s |      15 |   625682 |    90132 |    23248      5 |     8470 |        0
1090.48/1090.71	c 1089s |      15 |   626843 |    90332 |    23248      5 |     8470 |        0
1092.77/1093.06	c 1092s |      15 |   627955 |    90532 |    23248      5 |     8470 |        0
1094.87/1095.19	c 1094s |      15 |   629317 |    90732 |    23248      5 |     8470 |        0
1096.97/1097.25	c 1096s |      15 |   631235 |    91132 |    23248      5 |     8470 |        0
1101.67/1101.95	c 1101s |      15 |   631551 |    91232 |    23248      5 |     8470 |        0
1104.07/1104.37	c 1103s |      15 |   633394 |    91332 |    23248      5 |     8470 |        0
1107.97/1108.29	c 1107s |      15 |   638168 |    91532 |    23248      5 |     8470 |        0
1110.37/1110.62	c 1109s |      15 |   641520 |    91732 |    23248      5 |     8470 |        0
1113.87/1114.17	c 1113s |      15 |   645614 |    92132 |    23248      5 |     8470 |        0
1115.97/1116.23	c 1115s |      15 |   647540 |    92332 |    23248      5 |     8470 |        0
1118.77/1119.09	c 1118s |      15 |   650383 |    92532 |    23248      5 |     8470 |        0
1121.27/1121.52	c 1120s |      15 |   653384 |    92732 |    23248      5 |     8470 |        0
1123.67/1123.91	c 1123s |      15 |   656272 |    92932 |    23248      5 |     8470 |        0
1126.47/1126.71	c 1125s |      15 |   659360 |    93132 |    23248      5 |     8470 |        0
1129.07/1129.39	c 1128s |      15 |   661067 |    93332 |    23248      5 |     8470 |        0
1132.27/1132.50	c 1131s |      15 |   663081 |    93632 |    23248      5 |     8470 |        0
1135.37/1135.65	c 1134s |      15 |   665184 |    93932 |    23248      5 |     8470 |        0
1137.47/1137.78	c 1136s |      15 |   666754 |    94132 |    23248      5 |     8470 |        0
1139.86/1140.14	c 1139s |      15 |   668365 |    94332 |    23248      5 |     8470 |        0
1142.46/1142.75	c 1141s |      15 |   670270 |    94532 |    23248      5 |     8470 |        0
1144.97/1145.21	c 1144s |      15 |   671768 |    94732 |    23248      5 |     8470 |        0
1148.76/1149.04	c 1148s |      15 |   674605 |    95032 |    23248      5 |     8470 |        0
1150.86/1151.14	c 1150s |      15 |   676618 |    95332 |    23248      5 |     8470 |        0
1153.36/1153.67	c 1152s |      15 |   678059 |    95532 |    23248      5 |     8470 |        0
1155.76/1156.10	c 1155s |      15 |   679069 |    95732 |    23248      5 |     8470 |        0
1158.76/1159.00	c 1158s |      15 |   680306 |    95932 |    23248      5 |     8470 |        0
1161.16/1161.41	c 1160s |      15 |   681770 |    96132 |    23248      5 |     8470 |        0
1163.96/1164.28	c 1163s |      15 |   683600 |    96332 |    23248      5 |     8470 |        0
1166.56/1166.88	c 1166s |      15 |   684370 |    96532 |    23248      5 |     8470 |        0
1168.76/1169.05	c 1168s |      15 |   685883 |    96732 |    23248      5 |     8470 |        0
1172.16/1172.41	c 1171s |      15 |   686968 |    96932 |    23248      5 |     8470 |        0
1174.86/1175.17	c 1174s |      15 |   688124 |    97232 |    23248      5 |     8470 |        0
1177.36/1177.65	c 1176s |      15 |   689625 |    97532 |    23248      5 |     8470 |        0
1179.46/1179.75	c 1178s |      15 |   691605 |    97632 |    23248      5 |     8470 |        0
1182.66/1182.93	c 1182s |      15 |   694592 |    97832 |    23248      5 |     8470 |        0
1186.36/1186.62	c 1185s |      15 |   697849 |    98132 |    23248      5 |     8470 |        0
1188.96/1189.24	c 1188s |      15 |   700458 |    98332 |    23248      5 |     8470 |        0
1192.06/1192.35	c 1191s |      15 |   704575 |    98532 |    23248      5 |     8470 |        0
1194.16/1194.43	c 1193s |      15 |   707006 |    98732 |    23248      5 |     8470 |        0
1197.26/1197.56	c 1196s |      15 |   710231 |    99032 |    23248      5 |     8470 |        0
1200.46/1200.75	c 1199s |      15 |   713929 |    99232 |    23248      5 |     8470 |        0
1203.26/1203.58	c 1202s |      15 |   717296 |    99532 |    23248      5 |     8470 |        0
1205.75/1206.07	c 1205s |      15 |   720008 |    99732 |    23248      5 |     8470 |        0
1209.05/1209.39	c 1208s |      15 |   723063 |   100032 |    23248      5 |     8470 |        0
1211.45/1211.79	c 1210s |      15 |   724799 |   100232 |    23248      5 |     8470 |        0
1213.55/1213.89	c 1213s |      15 |   726249 |   100432 |    23248      5 |     8470 |        0
1216.65/1216.96	c 1216s |      15 |   729505 |   100632 |    23248      5 |     8470 |        0
1218.66/1218.99	c 1218s |      15 |   731558 |   100832 |    23248      5 |     8470 |        0
1221.35/1221.66	c 1220s |      15 |   734160 |   101032 |    23248      5 |     8470 |        0
1223.95/1224.23	c 1223s |      15 |   735889 |   101232 |    23248      5 |     8470 |        0
1226.55/1226.87	c 1226s |      15 |   737992 |   101532 |    23248      5 |     8470 |        0
1229.05/1229.31	c 1228s |      15 |   739673 |   101732 |    23248      5 |     8470 |        0
1231.35/1231.69	c 1230s |      15 |   740781 |   101932 |    23248      5 |     8470 |        0
1234.75/1235.03	c 1234s |      15 |   742901 |   102232 |    23248      5 |     8470 |        0
1237.15/1237.50	c 1236s |      15 |   744424 |   102432 |    23248      5 |     8470 |        0
1239.46/1239.74	c 1238s |      15 |   745352 |   102632 |    23248      5 |     8470 |        0
1241.55/1241.84	c 1241s |      15 |   746304 |   102832 |    23248      5 |     8470 |        0
1245.05/1245.32	c 1244s |      15 |   747264 |   103032 |    23248      6 |     8470 |        0
1247.55/1247.82	c 1246s |      15 |   748826 |   103332 |    23248      6 |     8470 |        0
1249.55/1249.87	c 1249s |      15 |   750721 |   103732 |    23248      6 |     8470 |        0
1252.05/1252.39	c 1251s |      15 |   752358 |   104032 |    23248      6 |     8470 |        0
1274.15/1274.42	c 1273s |      15 |   754936 |   104232 |    23248      6 |     8470 |        0
1276.85/1277.15	c 1276s |      15 |   758720 |   104432 |    23248      6 |     8470 |        0
1279.54/1279.83	c 1278s |      15 |   762947 |   104632 |    23248      6 |     8470 |        0
1281.74/1282.02	c 1281s |      15 |   765480 |   104832 |    23248      6 |     8470 |        0
1283.94/1284.29	c 1283s |      15 |   767429 |   105032 |    23248      6 |     8470 |        0
1286.04/1286.35	c 1285s |      15 |   769316 |   105232 |    23248      6 |     8470 |        0
1288.14/1288.47	c 1287s |      15 |   771831 |   105432 |    23248      6 |     8470 |        0
1291.04/1291.39	c 1290s |      15 |   776077 |   105632 |    23248      6 |     8470 |        0
1293.35/1293.68	c 1292s |      15 |   777944 |   105832 |    23248      6 |     8470 |        0
1296.14/1296.42	c 1295s |      15 |   780105 |   106132 |    23248      6 |     8470 |        0
1298.64/1298.94	c 1298s |      15 |   782511 |   106332 |    23248      6 |     8470 |        0
1301.44/1301.77	c 1300s |      15 |   785055 |   106532 |    23248      6 |     8470 |        0
1304.45/1304.77	c 1303s |      15 |   786445 |   106732 |    23248      6 |     8470 |        0
1307.75/1308.00	c 1307s |      15 |   788679 |   106932 |    23248      6 |     8470 |        0
1310.14/1310.43	c 1309s |      15 |   791751 |   107232 |    23248      6 |     8470 |        0
1312.94/1313.20	c 1312s |      15 |   793100 |   107532 |    23248      6 |     8470 |        0
1315.94/1316.20	c 1315s |      15 |   794564 |   107832 |    23248      6 |     8470 |        0
1318.44/1318.80	c 1317s |      15 |   795366 |   108032 |    23248      6 |     8470 |        0
1321.64/1321.94	c 1321s |      15 |   797833 |   108232 |    23248      6 |     8470 |        0
1323.94/1324.29	c 1323s |      15 |   799037 |   108432 |    23248      6 |     8470 |        0
1326.84/1327.11	c 1326s |      15 |   801599 |   108732 |    23248      6 |     8470 |        0
1329.14/1329.42	c 1328s |      15 |   804064 |   109132 |    23248      6 |     8470 |        0
1332.34/1332.66	c 1331s |      15 |   807202 |   109432 |    23248      6 |     8470 |        0
1335.04/1335.38	c 1334s |      15 |   808540 |   109632 |    23248      6 |     8470 |        0
1337.93/1338.21	c 1337s |      15 |   809920 |   109932 |    23248      6 |     8470 |        0
1340.23/1340.57	c 1339s |      15 |   812143 |   110232 |    23248      6 |     8470 |        0
1343.03/1343.32	c 1342s |      15 |   814837 |   110532 |    23248      6 |     8470 |        0
1345.14/1345.42	c 1344s |      15 |   818248 |   110632 |    23248      6 |     8470 |        0
1347.43/1347.74	c 1346s |      15 |   819899 |   110832 |    23248      6 |     8470 |        0
1350.43/1350.72	c 1349s |      15 |   824294 |   111132 |    23248      6 |     8470 |        0
1352.53/1352.86	c 1352s |      15 |   826762 |   111332 |    23248      6 |     8470 |        0
1355.04/1355.34	c 1354s |      15 |   829905 |   111532 |    23248      6 |     8470 |        0
1357.73/1358.01	c 1357s |      15 |   832007 |   111732 |    23248      6 |     8470 |        0
1360.33/1360.67	c 1359s |      15 |   834297 |   112032 |    23248      6 |     8470 |        0
1363.13/1363.44	c 1362s |      15 |   837558 |   112232 |    23248      6 |     8470 |        0
1365.73/1366.09	c 1365s |      15 |   839544 |   112432 |    23248      6 |     8470 |        0
1368.83/1369.12	c 1368s |      15 |   841774 |   112732 |    23248      6 |     8470 |        0
1371.13/1371.41	c 1370s |      15 |   842773 |   112932 |    23248      6 |     8470 |        0
1374.23/1374.57	c 1373s |      15 |   844379 |   113232 |    23248      6 |     8470 |        0
1377.63/1378.00	c 1377s |      15 |   846259 |   113432 |    23248      6 |     8470 |        0
1379.83/1380.15	c 1379s |      15 |   847662 |   113632 |    23248      6 |     8470 |        0
1382.43/1382.71	c 1381s |      15 |   850086 |   113932 |    23248      6 |     8470 |        0
1384.83/1385.13	c 1384s |      15 |   852884 |   114232 |    23248      6 |     8470 |        0
1386.93/1387.29	c 1386s |      15 |   854871 |   114532 |    23248      6 |     8470 |        0
1389.13/1389.47	c 1388s |      15 |   856209 |   114832 |    23248      6 |     8470 |        0
1392.23/1392.51	c 1391s |      15 |   858453 |   115032 |    23248      6 |     8470 |        0
1394.23/1394.53	c 1393s |      15 |   859755 |   115232 |    23248      6 |     8470 |        0
1396.52/1396.82	c 1395s |      15 |   860718 |   115432 |    23248      6 |     8470 |        0
1398.62/1398.98	c 1398s |      15 |   861556 |   115632 |    23248      6 |     8470 |        0
1400.72/1401.07	c 1400s |      15 |   862714 |   115932 |    23248      6 |     8470 |        0
1402.82/1403.14	c 1402s |      15 |   864087 |   116232 |    23248      6 |     8470 |        0
1405.92/1406.22	c 1405s |      15 |   865008 |   116532 |    23248      6 |     8470 |        0
1408.83/1409.18	c 1408s |      15 |   866495 |   116732 |    23248      6 |     8470 |        0
1411.92/1412.29	c 1411s |      15 |   867859 |   116932 |    23248      6 |     8470 |        0
1414.92/1415.21	c 1414s |      15 |   870838 |   117132 |    23248      6 |     8470 |        0
1416.92/1417.29	c 1416s |      15 |   873341 |   117332 |    23248      6 |     8470 |        0
1419.02/1419.31	c 1418s |      15 |   875369 |   117432 |    23248      6 |     8470 |        0
1421.42/1421.72	c 1420s |      15 |   878089 |   117632 |    23248      6 |     8470 |        0
1424.52/1424.84	c 1424s |      15 |   881361 |   117932 |    23248      6 |     8470 |        0
1426.62/1426.92	c 1426s |      15 |   883742 |   118132 |    23248      6 |     8470 |        0
1428.63/1428.98	c 1428s |      15 |   885945 |   118332 |    23248      6 |     8470 |        0
1430.93/1431.21	c 1430s |      15 |   888253 |   118532 |    23248      6 |     8470 |        0
1433.22/1433.54	c 1432s |      15 |   890653 |   118732 |    23248      6 |     8470 |        0
1435.82/1436.18	c 1435s |      15 |   892992 |   118932 |    23248      6 |     8470 |        0
1438.32/1438.60	c 1437s |      15 |   894384 |   119132 |    23248      7 |     8470 |        0
1440.42/1440.79	c 1439s |      15 |   896336 |   119332 |    23248      7 |     8470 |        0
1442.92/1443.27	c 1442s |      15 |   898510 |   119632 |    23248      7 |     8470 |        0
1445.32/1445.64	c 1444s |      15 |   900742 |   119832 |    23248      7 |     8470 |        0
1448.22/1448.56	c 1447s |      15 |   902538 |   120132 |    23248      7 |     8470 |        0
1450.82/1451.13	c 1450s |      15 |   903931 |   120332 |    23248      7 |     8470 |        0
1453.62/1453.92	c 1453s |      15 |   905964 |   120532 |    23248      7 |     8470 |        0
1456.72/1457.05	c 1456s |      15 |   907025 |   120832 |    23248      7 |     8470 |        0
1459.62/1459.94	c 1459s |      15 |   909726 |   121032 |    23248      7 |     8470 |        0
1462.51/1462.82	c 1461s |      15 |   911932 |   121332 |    23248      7 |     8470 |        0
1464.81/1465.18	c 1464s |      15 |   913771 |   121632 |    23248      7 |     8470 |        0
1467.91/1468.24	c 1467s |      15 |   915051 |   121932 |    23248      7 |     8470 |        0
1470.52/1470.81	c 1469s |      15 |   916750 |   122232 |    23248      7 |     8470 |        0
1473.61/1473.96	c 1473s |      15 |   918965 |   122632 |    23248      7 |     8470 |        0
1475.92/1476.23	c 1475s |      15 |   920010 |   122932 |    23248      7 |     8470 |        0
1478.12/1478.43	c 1477s |      15 |   920836 |   123132 |    23248      7 |     8470 |        0
1480.61/1480.91	c 1480s |      15 |   922396 |   123532 |    23248      7 |     8470 |        0
1492.01/1492.35	c 1491s |      15 |   922719 |   123632 |    23248      7 |     8470 |        0
1495.11/1495.48	c 1494s |      15 |   925916 |   123832 |    23248      7 |     8470 |        0
1497.81/1498.18	c 1497s |      15 |   928278 |   124032 |    23248      7 |     8470 |        0
1500.41/1500.74	c 1499s |      15 |   931286 |   124232 |    23248      7 |     8470 |        0
1503.01/1503.37	c 1502s |      15 |   934339 |   124432 |    23248      7 |     8470 |        0
1506.72/1507.06	c 1506s |      15 |   938214 |   124732 |    23248      7 |     8470 |        0
1508.81/1509.15	c 1508s |      15 |   940591 |   124932 |    23248      7 |     8470 |        0
1511.31/1511.62	c 1510s |      15 |   943360 |   125132 |    23248      7 |     8470 |        0
1513.71/1514.08	c 1513s |      15 |   946026 |   125332 |    23248      7 |     8470 |        0
1516.01/1516.35	c 1515s |      15 |   947944 |   125532 |    23248      7 |     8470 |        0
1518.21/1518.59	c 1517s |      15 |   949251 |   125732 |    23248      7 |     8470 |        0
1521.01/1521.36	c 1520s |      15 |   951539 |   125932 |    23248      7 |     8470 |        0
1524.31/1524.65	c 1523s |      15 |   953536 |   126132 |    23248      7 |     8470 |        0
1527.81/1528.12	c 1527s |      15 |   956410 |   126432 |    23248      7 |     8470 |        0
1529.81/1530.17	c 1529s |      15 |   957706 |   126632 |    23248      7 |     8470 |        0
1532.41/1532.72	c 1531s |      15 |   959466 |   126832 |    23248      7 |     8470 |        0
1534.50/1534.82	c 1533s |      15 |   960917 |   127032 |    23248      7 |     8470 |        0
1536.51/1536.84	c 1536s |      15 |   961831 |   127232 |    23248      7 |     8470 |        0
1538.80/1539.13	c 1538s |      15 |   962514 |   127432 |    23248      7 |     8470 |        0
1542.70/1543.03	c 1542s |      15 |   964299 |   127632 |    23248      7 |     8470 |        0
1545.80/1546.18	c 1545s |      15 |   966751 |   127832 |    23248      7 |     8470 |        0
1548.70/1549.01	c 1548s |      15 |   968742 |   128032 |    23248      7 |     8470 |        0
1550.90/1551.28	c 1550s |      15 |   969740 |   128232 |    23248      7 |     8470 |        0
1554.30/1554.60	c 1553s |      15 |   971047 |   128532 |    23248      7 |     8470 |        0
1556.60/1556.98	c 1556s |      15 |   972091 |   128732 |    23248      7 |     8470 |        0
1558.80/1559.14	c 1558s |      15 |   973880 |   129032 |    23248      7 |     8470 |        0
1561.20/1561.54	c 1560s |      15 |   975199 |   129332 |    23248      7 |     8470 |        0
1563.50/1563.81	c 1562s |      15 |   976102 |   129632 |    23248      7 |     8470 |        0
1566.30/1566.66	c 1565s |      15 |   976719 |   129832 |    23248      7 |     8470 |        0
1570.10/1570.41	c 1569s |      15 |   980292 |   130032 |    23248      7 |     8470 |        0
1572.90/1573.28	c 1572s |      15 |   982566 |   130232 |    23248      7 |     8470 |        0
1575.50/1575.83	c 1574s |      15 |   983654 |   130432 |    23248      7 |     8470 |        0
1578.31/1578.64	c 1577s |      15 |   985579 |   130632 |    23248      7 |     8470 |        0
1581.40/1581.75	c 1580s |      15 |   987753 |   130832 |    25573      7 |     8470 |        0
1583.90/1584.27	c 1583s |      15 |   990244 |   131032 |    25573      7 |     8470 |        0
1586.50/1586.86	c 1586s |      15 |   991837 |   131232 |    25573      7 |     8470 |        0
1589.10/1589.40	c 1588s |      15 |   992986 |   131432 |    25573      7 |     8470 |        0
1590.20/1590.52	c 1589s |      16 |   993587 |   131552 |    25573      7 |     8470 |        0
1592.30/1592.64	c 1591s |      16 |   994465 |   131752 |    25573      7 |     8470 |        0
1595.40/1595.76	c 1594s |      16 |   997139 |   131952 |    25573      7 |     8470 |        0
1598.00/1598.33	c 1597s |      16 |   999118 |   132152 |    25573      7 |     8470 |        0
1599.99/1600.38	c 1599s |      16 |  1001108 |   132352 |    25573      7 |     8470 |        0
1602.19/1602.56	c 1601s |      16 |  1002811 |   132552 |    25573      7 |     8470 |        0
1604.39/1604.78	c 1603s |      16 |  1004273 |   132752 |    25573      7 |     8470 |        0
1606.80/1607.15	c 1606s |      16 |  1005817 |   132952 |    25573      7 |     8470 |        0
1609.29/1609.65	c 1608s |      16 |  1007367 |   133152 |    25573      7 |     8470 |        0
1611.89/1612.20	c 1611s |      16 |  1009290 |   133352 |    25573      7 |     8470 |        0
1615.29/1615.60	c 1614s |      16 |  1011802 |   133552 |    25573      7 |     8470 |        0
1617.29/1617.62	c 1616s |      16 |  1013520 |   133752 |    25573      7 |     8470 |        0
1619.59/1619.98	c 1619s |      16 |  1015302 |   133952 |    25573      7 |     8470 |        0
1622.59/1622.95	c 1622s |      16 |  1017502 |   134152 |    25573      7 |     8470 |        0
1624.59/1624.98	c 1624s |      16 |  1019092 |   134352 |    25573      7 |     8470 |        0
1626.99/1627.33	c 1626s |      16 |  1020272 |   134552 |    25573      7 |     8470 |        0
1630.19/1630.59	c 1629s |      16 |  1022088 |   134852 |    25573      7 |     8470 |        0
1632.79/1633.11	c 1632s |      16 |  1023299 |   135052 |    25573      7 |     8470 |        0
1634.89/1635.28	c 1634s |      16 |  1024169 |   135252 |    25573      7 |     8470 |        0
1637.49/1637.90	c 1637s |      16 |  1025389 |   135452 |    25573      7 |     8470 |        0
1639.90/1640.29	c 1639s |      16 |  1026323 |   135652 |    25573      7 |     8470 |        0
1643.10/1643.42	c 1642s |      16 |  1027464 |   135852 |    25573      7 |     8470 |        0
1647.29/1647.60	c 1646s |      16 |  1029671 |   135952 |    25573      7 |     8470 |        0
1649.69/1650.10	c 1649s |      16 |  1033365 |   136152 |    25573      7 |     8470 |        0
1652.78/1653.10	c 1652s |      16 |  1035534 |   136452 |    25573      7 |     8470 |        0
1655.08/1655.40	c 1654s |      16 |  1038525 |   136652 |    25573      7 |     8470 |        0
1657.68/1658.02	c 1657s |      16 |  1040892 |   136852 |    25573      7 |     8470 |        0
1659.88/1660.25	c 1659s |      16 |  1043562 |   137052 |    25573      7 |     8470 |        0
1673.69/1674.02	c 1673s |      16 |  1046763 |   137352 |    25573      8 |     8470 |        0
1676.19/1676.59	c 1675s |      16 |  1048571 |   137552 |    25573      8 |     8470 |        0
1678.68/1679.01	c 1678s |      16 |  1050452 |   137752 |    25573      8 |     8470 |        0
1681.08/1681.46	c 1680s |      16 |  1052474 |   137952 |    25573      8 |     8470 |        0
1683.48/1683.84	c 1683s |      16 |  1054088 |   138152 |    25573      8 |     8470 |        0
1686.28/1686.60	c 1685s |      16 |  1056569 |   138352 |    25573      8 |     8470 |        0
1688.78/1689.11	c 1688s |      16 |  1058127 |   138552 |    25573      8 |     8470 |        0
1691.08/1691.47	c 1690s |      16 |  1058799 |   138752 |    25573      8 |     8470 |        0
1693.58/1693.96	c 1693s |      16 |  1059713 |   138952 |    25573      8 |     8470 |        0
1695.99/1696.31	c 1695s |      16 |  1062338 |   139152 |    25573      8 |     8470 |        0
1698.58/1698.94	c 1698s |      16 |  1065306 |   139352 |    25573      8 |     8470 |        0
1700.98/1701.32	c 1700s |      16 |  1068034 |   139552 |    25573      8 |     8470 |        0
1703.38/1703.80	c 1702s |      16 |  1069181 |   139752 |    25573      8 |     8470 |        0
1706.28/1706.62	c 1705s |      16 |  1070263 |   139952 |    25573      8 |     8470 |        0
1709.09/1709.44	c 1708s |      16 |  1071485 |   140152 |    25573      8 |     8470 |        0
1711.58/1711.98	c 1711s |      16 |  1073020 |   140352 |    25573      8 |     8470 |        0
1714.08/1714.47	c 1713s |      16 |  1074570 |   140552 |    25573      8 |     8470 |        0
1716.98/1717.35	c 1716s |      16 |  1075994 |   140752 |    25573      8 |     8470 |        0
1719.48/1719.83	c 1718s |      16 |  1078144 |   140952 |    25573      8 |     8470 |        0
1721.48/1721.85	c 1721s |      16 |  1078817 |   141152 |    25573      8 |     8470 |        0
1724.38/1724.74	c 1723s |      16 |  1079819 |   141352 |    25573      8 |     8470 |        0
1726.78/1727.13	c 1726s |      16 |  1080772 |   141652 |    25573      8 |     8470 |        0
1728.98/1729.38	c 1728s |      16 |  1081010 |   141752 |    25573      8 |     8470 |        0
1731.38/1731.70	c 1730s |      16 |  1082008 |   141952 |    25573      8 |     8470 |        0
1734.28/1734.67	c 1733s |      16 |  1084953 |   142252 |    25573      8 |     8470 |        0
1737.37/1737.70	c 1736s |      16 |  1087081 |   142552 |    25573      8 |     8470 |        0
1739.98/1740.34	c 1739s |      16 |  1088153 |   142752 |    25573      8 |     8470 |        0
1742.37/1742.79	c 1741s |      16 |  1089307 |   142952 |    25573      8 |     8470 |        0
1744.97/1745.31	c 1744s |      16 |  1091452 |   143252 |    25573      8 |     8470 |        0
1746.97/1747.34	c 1746s |      16 |  1093429 |   143452 |    25573      8 |     8470 |        0
1750.57/1750.94	c 1750s |      16 |  1095640 |   143852 |    25573      8 |     8470 |        0
1752.77/1753.13	c 1752s |      16 |  1097285 |   144052 |    25573      8 |     8470 |        0
1754.97/1755.30	c 1754s |      16 |  1098364 |   144252 |    25573      8 |     8470 |        0
1756.97/1757.34	c 1756s |      16 |  1099553 |   144452 |    25573      8 |     8470 |        0
1759.57/1759.91	c 1759s |      16 |  1101473 |   144752 |    25573      8 |     8470 |        0
1761.57/1761.92	c 1761s |      16 |  1102639 |   144952 |    25573      8 |     8470 |        0
1763.57/1763.96	c 1763s |      16 |  1103778 |   145152 |    25573      8 |     8470 |        0
1766.38/1766.79	c 1765s |      16 |  1105602 |   145452 |    25573      8 |     8470 |        0
1768.67/1769.05	c 1768s |      16 |  1106841 |   145652 |    25573      8 |     8470 |        0
1771.27/1771.63	c 1770s |      16 |  1108461 |   145952 |    25573      8 |     8470 |        0
1773.47/1773.86	c 1773s |      16 |  1110291 |   146152 |    25573      8 |     8470 |        0
1775.47/1775.89	c 1775s |      16 |  1110542 |   146252 |    25573      8 |     8470 |        0
1778.07/1778.45	c 1777s |      16 |  1111136 |   146452 |    25573      8 |     8470 |        0
1780.47/1780.82	c 1779s |      16 |  1111891 |   146652 |    25573      8 |     8470 |        0
1782.97/1783.38	c 1782s |      16 |  1112564 |   146852 |    25573      8 |     8470 |        0
1785.97/1786.35	c 1785s |      16 |  1113754 |   147052 |    25573      8 |     8470 |        0
1787.97/1788.38	c 1787s |      16 |  1116754 |   147252 |    25573      8 |     8470 |        0
1791.37/1791.74	c 1790s |      16 |  1120342 |   147552 |    25573      8 |     8470 |        0
1793.77/1794.12	c 1793s |      16 |  1122922 |   147752 |    25573      8 |     8470 |        0
1796.46/1796.81	c 1795s |      16 |  1125924 |   147952 |    25573      8 |     8470 |        0
1799.06/1799.44	c 1798s |      16 |  1128802 |   148152 |    25573      8 |     8470 |        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-4101049-1466220562/watcher-4101049-1466220562 -o /tmp/evaluation-result-4101049-1466220562/solver-4101049-1466220562 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10369 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101049-1466220562.opb 

pid=13255
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.14 2.07 2.02 3/179 13258
/proc/meminfo: memFree=30160204/32872528 swapFree=534252/566956
[pid=13258] ppid=13255 vsize=464316 CPUtime=0 cores=0,2,4,6
/proc/13258/stat : 13258 (toysat) R 13255 13258 10353 0 -1 4202496 1688 0 0 0 0 0 0 0 20 0 4 0 24101829 475459584 2049 33554432000 4194304 16246674 140736607688656 140736607688080 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13258/statm: 116591 2058 441 2943 0 113485 0
[pid=13258/tid=13259] ppid=13255 vsize=481724 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13259/stat : 13259 (toysat) S 13255 13258 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24101830 493285376 2114 33554432000 4194304 16246674 140736607688656 140229301218544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13258/tid=13260] ppid=13255 vsize=485820 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13260/stat : 13260 (toysat) S 13255 13258 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24101830 497479680 2130 33554432000 4194304 16246674 140736607688656 140229290728688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13258/tid=13261] ppid=13255 vsize=489916 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13261/stat : 13261 (toysat) S 13255 13258 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24101830 501673984 2148 33554432000 4194304 16246674 140736607688656 140229205814448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.14 2.07 2.02 3/179 13258
/proc/meminfo: memFree=30160204/32872528 swapFree=534252/566956
[pid=13258] ppid=13255 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/13258/stat : 13258 (toysat) R 13255 13258 10353 0 -1 4202496 27727 0 0 0 5 4 0 0 20 0 4 0 24101829 1332285440 28027 33554432000 4194304 16246674 140736607688656 140736607687968 7371468 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13258/statm: 325265 28042 800 2943 0 322159 0
[pid=13258/tid=13259] ppid=13255 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13259/stat : 13259 (toysat) S 13255 13258 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24101830 1332285440 28053 33554432000 4194304 16246674 140736607688656 140229301218544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13258/tid=13260] ppid=13255 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13260/stat : 13260 (toysat) S 13255 13258 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24101830 1332285440 28065 33554432000 4194304 16246674 140736607688656 140229290728688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13258/tid=13261] ppid=13255 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13261/stat : 13261 (toysat) S 13255 13258 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24101830 1332285440 28076 33554432000 4194304 16246674 140736607688656 140229205814448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200496 s]
/proc/loadavg: 2.14 2.07 2.02 3/179 13258
/proc/meminfo: memFree=30160204/32872528 swapFree=534252/566956
[pid=13258] ppid=13255 vsize=1312324 CPUtime=0.18 cores=0,2,4,6
/proc/13258/stat : 13258 (toysat) R 13255 13258 10353 0 -1 4202496 49341 0 0 0 12 6 0 0 20 0 4 0 24101829 1343819776 50151 33554432000 4194304 16246674 140736607688656 140736607687968 7364055 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13258/statm: 328081 50151 801 2943 0 324975 0
[pid=13258/tid=13259] ppid=13255 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13259/stat : 13259 (toysat) S 13255 13258 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24101830 1343819776 50151 33554432000 4194304 16246674 140736607688656 140229301218544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13258/tid=13260] ppid=13255 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13260/stat : 13260 (toysat) S 13255 13258 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24101830 1343819776 50151 33554432000 4194304 16246674 140736607688656 140229290728688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13258/tid=13261] ppid=13255 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13261/stat : 13261 (toysat) S 13255 13258 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24101830 1343819776 50151 33554432000 4194304 16246674 140736607688656 140229205814448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1312324

[startup+0.300496 s]
/proc/loadavg: 2.14 2.07 2.02 3/179 13258
/proc/meminfo: memFree=30160204/32872528 swapFree=534252/566956
[pid=13258] ppid=13255 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/13258/stat : 13258 (toysat) R 13255 13258 10353 0 -1 4202496 57622 0 0 0 21 8 0 0 20 0 4 0 24101829 1343819776 58432 33554432000 4194304 16246674 140736607688656 140736607687968 4220907 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13258/statm: 328081 58432 811 2943 0 324975 0
[pid=13258/tid=13259] ppid=13255 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13259/stat : 13259 (toysat) S 13255 13258 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24101830 1343819776 58432 33554432000 4194304 16246674 140736607688656 140229301218544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13258/tid=13260] ppid=13255 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13260/stat : 13260 (toysat) S 13255 13258 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24101830 1343819776 58432 33554432000 4194304 16246674 140736607688656 140229290728688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13258/tid=13261] ppid=13255 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13261/stat : 13261 (toysat) S 13255 13258 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24101830 1343819776 58432 33554432000 4194304 16246674 140736607688656 140229205814448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700405 s]
/proc/loadavg: 2.14 2.07 2.02 3/179 13258
/proc/meminfo: memFree=30160204/32872528 swapFree=534252/566956
[pid=13258] ppid=13255 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/13258/stat : 13258 (toysat) R 13255 13258 10353 0 -1 4202496 58170 0 0 0 61 8 0 0 20 0 4 0 24101829 1345916928 58980 33554432000 4194304 16246674 140736607688656 140736607670528 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13258/statm: 328593 58980 843 2943 0 325487 0
[pid=13258/tid=13259] ppid=13255 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13259/stat : 13259 (toysat) S 13255 13258 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24101830 1345916928 58980 33554432000 4194304 16246674 140736607688656 140229301218544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13258/tid=13260] ppid=13255 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13260/stat : 13260 (toysat) S 13255 13258 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24101830 1345916928 58980 33554432000 4194304 16246674 140736607688656 140229290728688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13258/tid=13261] ppid=13255 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13261/stat : 13261 (toysat) S 13255 13258 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24101830 1345916928 58980 33554432000 4194304 16246674 140736607688656 140229205814448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50038 s]
/proc/loadavg: 2.14 2.07 2.02 3/183 13262
/proc/meminfo: memFree=29925584/32872528 swapFree=534252/566956
[pid=13258] ppid=13255 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/13258/stat : 13258 (toysat) R 13255 13258 10353 0 -1 4202496 58223 0 0 0 141 8 0 0 20 0 4 0 24101829 1345916928 59033 33554432000 4194304 16246674 140736607688656 140736607670528 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13258/statm: 328593 59033 896 2943 0 325487 0
[pid=13258/tid=13259] ppid=13255 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13259/stat : 13259 (toysat) S 13255 13258 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24101830 1345916928 59033 33554432000 4194304 16246674 140736607688656 140229301218544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13258/tid=13260] ppid=13255 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13260/stat : 13260 (toysat) S 13255 13258 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24101830 1345916928 59033 33554432000 4194304 16246674 140736607688656 140229290728688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13258/tid=13261] ppid=13255 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13261/stat : 13261 (toysat) S 13255 13258 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24101830 1345916928 59033 33554432000 4194304 16246674 140736607688656 140229205814448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10038 s]
/proc/loadavg: 2.14 2.07 2.02 3/183 13262
/proc/meminfo: memFree=29924312/32872528 swapFree=534252/566956
[pid=13258] ppid=13255 vsize=1314372 CPUtime=3.09 cores=0,2,4,6
/proc/13258/stat : 13258 (toysat) R 13255 13258 10353 0 -1 4202496 72634 0 0 0 299 10 0 0 20 0 4 0 24101829 1345916928 73444 33554432000 4194304 16246674 140736607688656 140736607670528 5602147 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13258/statm: 328593 73445 896 2943 0 325487 0
[pid=13258/tid=13259] ppid=13255 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13259/stat : 13259 (toysat) S 13255 13258 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24101830 1345916928 73445 33554432000 4194304 16246674 140736607688656 140229301218544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13258/tid=13260] ppid=13255 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13260/stat : 13260 (toysat) S 13255 13258 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24101830 1345916928 73445 33554432000 4194304 16246674 140736607688656 140229290728688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13258/tid=13261] ppid=13255 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13261/stat : 13261 (toysat) S 13255 13258 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24101830 1345916928 73445 33554432000 4194304 16246674 140736607688656 140229205814448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1314372

[startup+6.30039 s]
/proc/loadavg: 2.12 2.07 2.02 3/183 13262
/proc/meminfo: memFree=29666536/32872528 swapFree=534252/566956
[pid=13258] ppid=13255 vsize=1314372 CPUtime=6.29 cores=0,2,4,6
/proc/13258/stat : 13258 (toysat) R 13255 13258 10353 0 -1 4202496 137042 0 0 0 611 18 0 0 20 0 4 0 24101829 1345916928 137852 33554432000 4194304 16246674 140736607688656 140736607670528 5602147 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13258/statm: 328593 137853 896 2943 0 325487 0
[pid=13258/tid=13259] ppid=13255 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13259/stat : 13259 (toysat) S 13255 13258 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24101830 1345916928 137854 33554432000 4194304 16246674 140736607688656 140229301218544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13258/tid=13260] ppid=13255 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13260/stat : 13260 (toysat) S 13255 13258 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24101830 1345916928 137855 33554432000 4194304 16246674 140736607688656 140229290728688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13258/tid=13261] ppid=13255 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13261/stat : 13261 (toysat) S 13255 13258 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24101830 1345916928 137856 33554432000 4194304 16246674 140736607688656 140229205814448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1314372

[startup+12.7004 s]
/proc/loadavg: 2.19 2.08 2.02 3/183 13263
/proc/meminfo: memFree=29259828/32872528 swapFree=534252/566956
[pid=13258] ppid=13255 vsize=1314372 CPUtime=12.69 cores=0,2,4,6
/proc/13258/stat : 13258 (toysat) R 13255 13258 10353 0 -1 4202496 224364 0 0 0 1238 31 0 0 20 0 4 0 24101829 1345916928 225174 33554432000 4194304 16246674 140736607688656 140736607670528 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13258/statm: 328593 225174 896 2943 0 325487 0
[pid=13258/tid=13259] ppid=13255 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13259/stat : 13259 (toysat) S 13255 13258 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24101830 1345916928 225174 33554432000 4194304 16246674 140736607688656 140229301218544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13258/tid=13260] ppid=13255 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13260/stat : 13260 (toysat) S 13255 13258 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24101830 1345916928 225174 33554432000 4194304 16246674 140736607688656 140229290728688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13258/tid=13261] ppid=13255 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13261/stat : 13261 (toysat) S 13255 13258 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24101830 1345916928 225174 33554432000 4194304 16246674 140736607688656 140229205814448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1314372

[startup+25.5005 s]
/proc/loadavg: 2.23 2.09 2.02 3/183 13263
/proc/meminfo: memFree=29081088/32872528 swapFree=534252/566956
[pid=13258] ppid=13255 vsize=1314372 CPUtime=25.48 cores=0,2,4,6
/proc/13258/stat : 13258 (toysat) R 13255 13258 10353 0 -1 4202496 269280 0 0 0 2511 37 0 0 20 0 4 0 24101829 1345916928 270090 33554432000 4194304 16246674 140736607688656 140736607670528 5600323 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13258/statm: 328593 270090 899 2943 0 325487 0
[pid=13258/tid=13259] ppid=13255 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13259/stat : 13259 (toysat) S 13255 13258 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24101830 1345916928 270090 33554432000 4194304 16246674 140736607688656 140229301218544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13258/tid=13260] ppid=13255 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13260/stat : 13260 (toysat) S 13255 13258 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24101830 1345916928 270090 33554432000 4194304 16246674 140736607688656 140229290728688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13258/tid=13261] ppid=13255 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13261/stat : 13261 (toysat) S 13255 13258 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24101830 1345916928 270090 33554432000 4194304 16246674 140736607688656 140229205814448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1314372

[startup+51.1005 s]
/proc/loadavg: 2.15 2.08 2.02 3/184 13266
/proc/meminfo: memFree=29080584/32872528 swapFree=534252/566956
[pid=13258] ppid=13255 vsize=1314372 CPUtime=51.08 cores=0,2,4,6
/proc/13258/stat : 13258 (toysat) R 13255 13258 10353 0 -1 4202496 269280 0 0 0 5071 37 0 0 20 0 4 0 24101829 1345916928 270090 33554432000 4194304 16246674 140736607688656 140736607670528 5600384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13258/statm: 328593 270090 899 2943 0 325487 0
[pid=13258/tid=13259] ppid=13255 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13259/stat : 13259 (toysat) S 13255 13258 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24101830 1345916928 270090 33554432000 4194304 16246674 140736607688656 140229301218544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13258/tid=13260] ppid=13255 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13260/stat : 13260 (toysat) S 13255 13258 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24101830 1345916928 270090 33554432000 4194304 16246674 140736607688656 140229290728688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13258/tid=13261] ppid=13255 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13261/stat : 13261 (toysat) S 13255 13258 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24101830 1345916928 270090 33554432000 4194304 16246674 140736607688656 140229205814448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1314372

[startup+102.3 s]
/proc/loadavg: 2.06 2.07 2.02 3/183 13267
/proc/meminfo: memFree=29080908/32872528 swapFree=534252/566956
[pid=13258] ppid=13255 vsize=1314372 CPUtime=102.28 cores=0,2,4,6
/proc/13258/stat : 13258 (toysat) R 13255 13258 10353 0 -1 4202496 269282 0 0 0 10191 37 0 0 20 0 4 0 24101829 1345916928 270092 33554432000 4194304 16246674 140736607688656 140736607670528 5600331 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13258/statm: 328593 270092 901 2943 0 325487 0
[pid=13258/tid=13259] ppid=13255 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13259/stat : 13259 (toysat) S 13255 13258 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24101830 1345916928 270092 33554432000 4194304 16246674 140736607688656 140229301218544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13258/tid=13260] ppid=13255 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13260/stat : 13260 (toysat) S 13255 13258 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24101830 1345916928 270092 33554432000 4194304 16246674 140736607688656 140229290728688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13258/tid=13261] ppid=13255 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13261/stat : 13261 (toysat) S 13255 13258 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24101830 1345916928 270092 33554432000 4194304 16246674 140736607688656 140229205814448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372


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

/proc/13258/task/13261/stat : 13261 (toysat) S 13255 13258 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24101830 1348014080 270606 33554432000 4194304 16246674 140736607688656 140229205814448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 1316420

[startup+1302.3 s]
/proc/loadavg: 2.10 2.08 2.02 3/183 13347
/proc/meminfo: memFree=28960308/32872528 swapFree=534252/566956
[pid=13258] ppid=13255 vsize=1316420 CPUtime=1302.04 cores=0,2,4,6
/proc/13258/stat : 13258 (toysat) R 13255 13258 10353 0 -1 4202496 269892 0 0 0 130163 41 0 0 20 0 4 0 24101829 1348014080 270606 33554432000 4194304 16246674 140736607688656 140736607670528 13775091 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13258/statm: 329105 270606 903 2943 0 325999 0
[pid=13258/tid=13259] ppid=13255 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13259/stat : 13259 (toysat) S 13255 13258 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24101830 1348014080 270606 33554432000 4194304 16246674 140736607688656 140229301218544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13258/tid=13260] ppid=13255 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13260/stat : 13260 (toysat) S 13255 13258 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24101830 1348014080 270606 33554432000 4194304 16246674 140736607688656 140229290728688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13258/tid=13261] ppid=13255 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13261/stat : 13261 (toysat) S 13255 13258 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24101830 1348014080 270606 33554432000 4194304 16246674 140736607688656 140229205814448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 1316420

[startup+1362.3 s]
/proc/loadavg: 2.04 2.07 2.01 3/183 13348
/proc/meminfo: memFree=28960328/32872528 swapFree=534252/566956
[pid=13258] ppid=13255 vsize=1316420 CPUtime=1362.03 cores=0,2,4,6
/proc/13258/stat : 13258 (toysat) R 13255 13258 10353 0 -1 4202496 269892 0 0 0 136162 41 0 0 20 0 4 0 24101829 1348014080 270606 33554432000 4194304 16246674 140736607688656 140736607670528 5600120 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13258/statm: 329105 270606 903 2943 0 325999 0
[pid=13258/tid=13259] ppid=13255 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13259/stat : 13259 (toysat) S 13255 13258 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24101830 1348014080 270606 33554432000 4194304 16246674 140736607688656 140229301218544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13258/tid=13260] ppid=13255 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13260/stat : 13260 (toysat) S 13255 13258 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24101830 1348014080 270606 33554432000 4194304 16246674 140736607688656 140229290728688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13258/tid=13261] ppid=13255 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13261/stat : 13261 (toysat) S 13255 13258 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24101830 1348014080 270606 33554432000 4194304 16246674 140736607688656 140229205814448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 1316420

[startup+1422.3 s]
/proc/loadavg: 2.13 2.08 2.02 3/183 13349
/proc/meminfo: memFree=28959660/32872528 swapFree=534252/566956
[pid=13258] ppid=13255 vsize=1316420 CPUtime=1422.03 cores=0,2,4,6
/proc/13258/stat : 13258 (toysat) R 13255 13258 10353 0 -1 4202496 269892 0 0 0 142162 41 0 0 20 0 4 0 24101829 1348014080 270606 33554432000 4194304 16246674 140736607688656 140736607670528 5600010 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13258/statm: 329105 270606 903 2943 0 325999 0
[pid=13258/tid=13259] ppid=13255 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13259/stat : 13259 (toysat) S 13255 13258 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24101830 1348014080 270606 33554432000 4194304 16246674 140736607688656 140229301218544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13258/tid=13260] ppid=13255 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13260/stat : 13260 (toysat) S 13255 13258 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24101830 1348014080 270606 33554432000 4194304 16246674 140736607688656 140229290728688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13258/tid=13261] ppid=13255 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13261/stat : 13261 (toysat) S 13255 13258 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24101830 1348014080 270606 33554432000 4194304 16246674 140736607688656 140229205814448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 1316420

[startup+1482.3 s]
/proc/loadavg: 2.10 2.08 2.02 3/183 13350
/proc/meminfo: memFree=28959208/32872528 swapFree=534252/566956
[pid=13258] ppid=13255 vsize=1317444 CPUtime=1482.01 cores=0,2,4,6
/proc/13258/stat : 13258 (toysat) R 13255 13258 10353 0 -1 4202496 270148 0 0 0 148160 41 0 0 20 0 4 0 24101829 1349062656 270862 33554432000 4194304 16246674 140736607688656 140736607687832 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13258/statm: 329361 270862 903 2943 0 326255 0
[pid=13258/tid=13259] ppid=13255 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13259/stat : 13259 (toysat) S 13255 13258 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24101830 1349062656 270862 33554432000 4194304 16246674 140736607688656 140229301218544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13258/tid=13260] ppid=13255 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13260/stat : 13260 (toysat) S 13255 13258 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24101830 1349062656 270862 33554432000 4194304 16246674 140736607688656 140229290728688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13258/tid=13261] ppid=13255 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13261/stat : 13261 (toysat) S 13255 13258 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24101830 1349062656 270862 33554432000 4194304 16246674 140736607688656 140229205814448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 1317444

[startup+1542.31 s]
/proc/loadavg: 2.08 2.08 2.01 3/183 13352
/proc/meminfo: memFree=28917576/32872528 swapFree=534252/566956
[pid=13258] ppid=13255 vsize=1317444 CPUtime=1542.01 cores=0,2,4,6
/proc/13258/stat : 13258 (toysat) R 13255 13258 10353 0 -1 4202496 270148 0 0 0 154159 42 0 0 20 0 4 0 24101829 1349062656 270862 33554432000 4194304 16246674 140736607688656 140736607670528 5600384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13258/statm: 329361 270862 903 2943 0 326255 0
[pid=13258/tid=13259] ppid=13255 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13259/stat : 13259 (toysat) S 13255 13258 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24101830 1349062656 270862 33554432000 4194304 16246674 140736607688656 140229301218544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13258/tid=13260] ppid=13255 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13260/stat : 13260 (toysat) S 13255 13258 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24101830 1349062656 270862 33554432000 4194304 16246674 140736607688656 140229290728688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13258/tid=13261] ppid=13255 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13261/stat : 13261 (toysat) S 13255 13258 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24101830 1349062656 270862 33554432000 4194304 16246674 140736607688656 140229205814448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 1317444

[startup+1602.3 s]
/proc/loadavg: 2.14 2.09 2.02 3/183 13353
/proc/meminfo: memFree=28918168/32872528 swapFree=534252/566956
[pid=13258] ppid=13255 vsize=1317444 CPUtime=1601.99 cores=0,2,4,6
/proc/13258/stat : 13258 (toysat) R 13255 13258 10353 0 -1 4202496 270148 0 0 0 160157 42 0 0 20 0 4 0 24101829 1349062656 270862 33554432000 4194304 16246674 140736607688656 140736607670528 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13258/statm: 329361 270862 903 2943 0 326255 0
[pid=13258/tid=13259] ppid=13255 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13259/stat : 13259 (toysat) S 13255 13258 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24101830 1349062656 270862 33554432000 4194304 16246674 140736607688656 140229301218544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13258/tid=13260] ppid=13255 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13260/stat : 13260 (toysat) S 13255 13258 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24101830 1349062656 270862 33554432000 4194304 16246674 140736607688656 140229290728688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13258/tid=13261] ppid=13255 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13261/stat : 13261 (toysat) S 13255 13258 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24101830 1349062656 270862 33554432000 4194304 16246674 140736607688656 140229205814448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 1317444

[startup+1662.3 s]
/proc/loadavg: 2.10 2.09 2.02 3/183 13354
/proc/meminfo: memFree=28917920/32872528 swapFree=534252/566956
[pid=13258] ppid=13255 vsize=1317444 CPUtime=1661.98 cores=0,2,4,6
/proc/13258/stat : 13258 (toysat) R 13255 13258 10353 0 -1 4202496 270148 0 0 0 166156 42 0 0 20 0 4 0 24101829 1349062656 270862 33554432000 4194304 16246674 140736607688656 140736607670528 5824932 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13258/statm: 329361 270862 903 2943 0 326255 0
[pid=13258/tid=13259] ppid=13255 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13259/stat : 13259 (toysat) S 13255 13258 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24101830 1349062656 270862 33554432000 4194304 16246674 140736607688656 140229301218544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13258/tid=13260] ppid=13255 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13260/stat : 13260 (toysat) S 13255 13258 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24101830 1349062656 270862 33554432000 4194304 16246674 140736607688656 140229290728688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13258/tid=13261] ppid=13255 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13261/stat : 13261 (toysat) S 13255 13258 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24101830 1349062656 270862 33554432000 4194304 16246674 140736607688656 140229205814448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 1317444

[startup+1722.3 s]
/proc/loadavg: 2.16 2.10 2.02 3/183 13355
/proc/meminfo: memFree=28900748/32872528 swapFree=534252/566956
[pid=13258] ppid=13255 vsize=1334852 CPUtime=1721.98 cores=0,2,4,6
/proc/13258/stat : 13258 (toysat) R 13255 13258 10353 0 -1 4202496 274500 0 0 0 172154 44 0 0 20 0 4 0 24101829 1366888448 275214 33554432000 4194304 16246674 140736607688656 140736607670528 5600804 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13258/statm: 333713 275214 903 2943 0 330607 0
[pid=13258/tid=13259] ppid=13255 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13259/stat : 13259 (toysat) S 13255 13258 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24101830 1366888448 275214 33554432000 4194304 16246674 140736607688656 140229301218544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13258/tid=13260] ppid=13255 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13260/stat : 13260 (toysat) S 13255 13258 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24101830 1366888448 275214 33554432000 4194304 16246674 140736607688656 140229290728688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13258/tid=13261] ppid=13255 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13261/stat : 13261 (toysat) S 13255 13258 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24101830 1366888448 275214 33554432000 4194304 16246674 140736607688656 140229205814448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 1334852

[startup+1782.3 s]
/proc/loadavg: 2.14 2.10 2.02 3/183 13356
/proc/meminfo: memFree=28900008/32872528 swapFree=534252/566956
[pid=13258] ppid=13255 vsize=1334852 CPUtime=1781.97 cores=0,2,4,6
/proc/13258/stat : 13258 (toysat) R 13255 13258 10353 0 -1 4202496 274500 0 0 0 178153 44 0 0 20 0 4 0 24101829 1366888448 275214 33554432000 4194304 16246674 140736607688656 140736607670528 5600241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13258/statm: 333713 275214 903 2943 0 330607 0
[pid=13258/tid=13259] ppid=13255 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13259/stat : 13259 (toysat) S 13255 13258 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24101830 1366888448 275214 33554432000 4194304 16246674 140736607688656 140229301218544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13258/tid=13260] ppid=13255 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13260/stat : 13260 (toysat) S 13255 13258 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24101830 1366888448 275214 33554432000 4194304 16246674 140736607688656 140229290728688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13258/tid=13261] ppid=13255 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13261/stat : 13261 (toysat) S 13255 13258 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24101830 1366888448 275214 33554432000 4194304 16246674 140736607688656 140229205814448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 1334852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.11 2.09 2.02 3/183 13356
/proc/meminfo: memFree=28900256/32872528 swapFree=534252/566956
[pid=13258] ppid=13255 vsize=1334852 CPUtime=1800.06 cores=0,2,4,6
/proc/13258/stat : 13258 (toysat) R 13255 13258 10353 0 -1 4202496 274500 0 0 0 179962 44 0 0 20 0 4 0 24101829 1366888448 275214 33554432000 4194304 16246674 140736607688656 140736607670528 5600384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13258/statm: 333713 275214 903 2943 0 330607 0
[pid=13258/tid=13259] ppid=13255 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13259/stat : 13259 (toysat) S 13255 13258 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24101830 1366888448 275214 33554432000 4194304 16246674 140736607688656 140229301218544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13258/tid=13260] ppid=13255 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13260/stat : 13260 (toysat) S 13255 13258 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24101830 1366888448 275214 33554432000 4194304 16246674 140736607688656 140229290728688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13258/tid=13261] ppid=13255 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/13258/task/13261/stat : 13261 (toysat) S 13255 13258 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24101830 1366888448 275214 33554432000 4194304 16246674 140736607688656 140229205814448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1334852

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1799.63
CPU system time (s): 0.443932
CPU usage (%): 99.9816
Max. virtual memory (cumulated for all children) (KiB): 1334852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.443932
maximum resident set size= 1100856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274500
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= 111
involuntary context switches= 1843

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.31219 second user time and 8.33873 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-18 05:29:22
IDJOB=4101049
IDBENCH=1694
IDSOLVER=2542
FILE ID=node138/4101049-1466220562
RUNJOBID= node138-1466206053-10369
PBS_JOBID= 19918139
Free space on /tmp= 71716 MiB

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

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

MD5SUM BENCH= ef301ecece8b2033bfa1fe9b39eee48a
RANDOM SEED=266204397

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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.54
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.395
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:        30160584 kB
Buffers:           96088 kB
Cached:           120904 kB
SwapCached:         1060 kB
Active:          1287420 kB
Inactive:         120336 kB
Active(anon):    1191700 kB
Inactive(anon):     1228 kB
Active(file):      95720 kB
Inactive(file):   119108 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             17492 kB
Writeback:             0 kB
AnonPages:       1826740 kB
Mapped:            10860 kB
Shmem:                 0 kB
Slab:             602992 kB
SReclaimable:      46724 kB
SUnreclaim:       556268 kB
KernelStack:        1520 kB
PageTables:         7532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1901264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1212416 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71696 MiB
End job on node138 at 2016-06-18 05:59:23