Trace number 4078930

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.08 1800.61

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K109.opb
MD5SUM3a5151d7fc286e1b50737dee685a4276
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark407.01
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7412
Total number of constraints7632
Number of constraints which are clauses7523
Number of constraints which are cardinality constraints (but not clauses)109
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint109
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 110
Number of bits of the biggest sum of numbers7
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-07T09:19:55+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-4078930-1465283995.opb"]
0.00/0.01	c use --random-gen="544778608 1222812141 3697533194 1113794417 3406242435 247197909 3358437133 3556378752 505468301 2781916723 1789198485 1278376545 741369822 1034532246 3602807952 2718171901 2409560433 3828216338 2412182639 2965472049 1837837507 1011970124 3409176238 2411696381 540383593 778085266 942222820 2949052763 2666506551 1092904236 457245765 2734600789 2818547134 379705378 3887846800 1903035098 112024403 2706282636 3895613032 670697478 1849371481 1712574896 2288787522 2919436022 2887318871 359533675 1357697612 1645320634 3604980604 1513856473 2156802616 536046970 1969998109 3194743829 3805709274 149465203 3586898409 1732922100 1658933758 3052220918 1611233942 1043073621 3091517751 2016127662 3757922699 973105178 3187682968 433955960 2864512070 1640403372 1823013292 4109864138 2247346940 2320138982 517310693 1078762122 4054046454 3997086327 3096852600 3164562960 1512018220 239071756 1163531426 1271032849 4033538987 2372659690 1674850566 554709372 3756077289 1338869315 514231904 1704789482 317924196 1137582322 1789146252 2766861383 1290825260 4071793493 903951048 4142431969 2209171928 785741618 1671812449 2803543707 3273263134 3505927438 3985166712 49556719 1682592586 1156987564 589700291 416227392 499673787 2197249875 1880361554 3935724665 2740836463 257829460 109488308 244885576 3170097285 1144515485 2706953261 2518042271 1055301933 1443028804 1592463905 128480816 1304665386 1007245608 2360701961 4276539730 940648192 736497402 4195558533 1990582491 3150387983 319522268 1418171288 223822439 3833599600 4291723077 299713591 188148070 22623478 3801266419 2329394881 1885226136 3599349918 4072097493 3964484091 1807285372 241003233 3926248957 1315562993 3592631663 1142541253 3581917094 1276873939 727889744 2119925407 2636727197 3600606339 2953661402 687071743 1479290205 366891794 137050940 1635127735 28596934 3518021324 711766193 2577357526 4087859047 1265287964 1930528165 918842699 1359962745 4232491425 1785880583 534597256 486664102 4215106671 1065072543 2726064306 1025135886 2277955037 3186672766 1999912211 2251717386 917851219 2551514943 3610844197 147403579 934875237 139960042 4111572139 1286633950 122881718 550062345 3515804842 1239605726 4231339931 2902428946 371651584 1669909172 2145265959 2240568675 1619268749 232142647 4100690688 60041985 375235798 509559925 1842242255 2593674416 1255721905 1142159694 527464185 287248071 59450393 1122964971 833946610 4018621466 3795708241 107275913 3793380987 2695209454 3872324770 2473645202 2219891343 1254419258 2977575443 346231287 2478783397 3453089556 3448442019 3155139971 663078132 3165228350 1051691502 4035014979 2902780128 89905422 3318596488 4266483132 3883334326 2453358258 600350759 3335627999 1663952788 3887334739 3853030007 193812726 2222780143 565092103 255 362436" option to reproduce the execution
0.08/0.12	c #vars 7412
0.08/0.12	c #constraints 7632
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.27	c  0.0s |       0 |        0 |        0 |     5014      0 |      362 |        0
0.38/0.49	c  0.2s |       1 |     4719 |      100 |     5014      0 |      363 |      304
0.69/0.75	c  0.5s |       2 |     9694 |      250 |     5516      0 |      363 |      304
1.10/1.13	c  0.9s |       3 |    17237 |      475 |     6068      0 |      363 |      304
1.59/1.68	c  1.4s |       4 |    29674 |      813 |     6675      0 |      364 |      305
2.29/2.37	c  2.1s |       5 |    45182 |     1320 |     7343      0 |      366 |      307
3.29/3.37	c  3.1s |       6 |    58090 |     2081 |     8886      0 |      366 |      307
5.38/5.42	c  5.1s |       6 |    66619 |     2881 |     8886      0 |      366 |      307
5.78/5.89	c  5.6s |       7 |    71111 |     3223 |     9775      0 |      366 |      307
7.88/7.99	c  7.7s |       7 |   110611 |     4823 |     9775      0 |      367 |      308
8.08/8.19	c  7.9s |       8 |   110858 |     4936 |    10753      0 |      367 |      308
10.18/10.25	c 10.0s |       8 |   140973 |     6436 |    10753      0 |      370 |      311
11.78/11.87	c 11.6s |       9 |   152772 |     7506 |    11829      0 |      370 |      311
13.78/13.89	c 13.6s |       9 |   183659 |     8806 |    11829      0 |      371 |      312
15.88/15.94	c 15.7s |       9 |   208115 |    10206 |    11829      0 |      372 |      313
17.98/18.01	c 17.7s |       9 |   211908 |    11206 |    11829      0 |      372 |      313
18.38/18.43	c 18.2s |      10 |   212517 |    11361 |    13012      0 |      372 |      313
20.48/20.54	c 20.3s |      10 |   235129 |    12561 |    13012      0 |      373 |      314
22.48/22.59	c 22.3s |      10 |   247484 |    13561 |    13012      0 |      375 |      316
24.78/24.84	c 24.6s |      10 |   249920 |    14161 |    13012      0 |      375 |      316
27.08/27.13	c 26.9s |      10 |   251289 |    14561 |    13012      0 |      375 |      316
29.69/29.77	c 29.5s |      10 |   252569 |    14861 |    13012      0 |      375 |      316
32.18/32.26	c 32.0s |      10 |   253899 |    15161 |    13012      0 |      375 |      316
34.28/34.33	c 34.1s |      10 |   256671 |    15461 |    13012      0 |      375 |      316
36.29/36.34	c 36.1s |      10 |   268373 |    16561 |    13012      0 |      375 |      316
37.49/37.51	c 37.2s |      11 |   273603 |    17144 |    14314      1 |      375 |      316
39.59/39.68	c 39.4s |      11 |   286007 |    18044 |    14314      1 |      375 |      316
41.89/41.98	c 41.7s |      11 |   289195 |    18744 |    14314      1 |      375 |      316
43.98/44.07	c 43.8s |      11 |   291478 |    19344 |    14314      1 |      375 |      316
46.18/46.25	c 46.0s |      11 |   293156 |    19744 |    14314      1 |      375 |      316
48.78/48.86	c 48.6s |      11 |   294161 |    20144 |    14314      1 |      375 |      316
51.18/51.28	c 51.0s |      11 |   295886 |    20644 |    14314      1 |      375 |      316
53.47/53.56	c 53.3s |      11 |   297457 |    21144 |    14314      1 |      375 |      316
55.68/55.79	c 55.5s |      11 |   298778 |    21544 |    14314      1 |      375 |      316
58.39/58.41	c 58.1s |      11 |   300075 |    21944 |    14314      1 |      375 |      316
60.68/60.70	c 60.4s |      11 |   301657 |    22444 |    14314      1 |      375 |      316
62.98/63.01	c 62.7s |      11 |   302595 |    22744 |    14314      1 |      375 |      316
65.08/65.14	c 64.9s |      11 |   303528 |    23044 |    14314      1 |      375 |      316
67.08/67.19	c 66.9s |      11 |   304866 |    23344 |    14314      1 |      375 |      316
69.29/69.35	c 69.1s |      11 |   305745 |    23644 |    14314      1 |      375 |      316
71.88/71.92	c 71.6s |      11 |   306550 |    23944 |    14314      1 |      375 |      316
73.97/74.02	c 73.7s |      11 |   307249 |    24244 |    14314      1 |      375 |      316
75.98/76.08	c 75.8s |      11 |   314235 |    24944 |    14314      1 |      375 |      316
77.97/78.00	c 77.7s |      12 |   320284 |    25819 |    15746      1 |      375 |      316
79.97/80.07	c 79.8s |      12 |   331206 |    26919 |    15746      2 |      376 |      317
81.97/82.07	c 81.8s |      12 |   352867 |    28319 |    15746      2 |      376 |      317
84.17/84.20	c 83.9s |      12 |   377166 |    29519 |    15746      2 |      378 |      319
86.27/86.35	c 86.1s |      12 |   410357 |    30919 |    15746      2 |      378 |      319
88.37/88.47	c 88.2s |      12 |   430598 |    31719 |    15746      2 |      381 |      322
90.57/90.64	c 90.4s |      12 |   458618 |    33119 |    15746      2 |      381 |      322
92.67/92.72	c 92.5s |      12 |   475130 |    34119 |    15746      2 |      381 |      322
94.68/94.75	c 94.5s |      12 |   486035 |    35119 |    15746      3 |      381 |      322
96.78/96.83	c 96.6s |      12 |   510410 |    36819 |    15746      3 |      381 |      322
98.87/98.96	c 98.7s |      12 |   531477 |    37819 |    15746      3 |      383 |      324
101.07/101.12	c  100s |      12 |   532795 |    38319 |    15746      3 |      383 |      324
103.07/103.14	c  102s |      13 |   534341 |    38832 |    17321      3 |      383 |      324
105.17/105.21	c  104s |      13 |   550103 |    40032 |    17321      3 |      383 |      324
107.27/107.36	c  107s |      13 |   569788 |    41332 |    17321      3 |      383 |      324
109.37/109.49	c  109s |      13 |   585117 |    42532 |    17321      3 |      383 |      324
111.67/111.74	c  111s |      13 |   590355 |    43432 |    17321      3 |      383 |      324
113.97/114.02	c  113s |      13 |   592810 |    43932 |    17321      3 |      383 |      324
116.17/116.22	c  115s |      13 |   598070 |    44832 |    17321      3 |      383 |      324
118.57/118.61	c  118s |      13 |   599539 |    45332 |    17321      3 |      383 |      324
121.27/121.36	c  121s |      13 |   600233 |    45632 |    17321      3 |      383 |      324
123.46/123.57	c  123s |      13 |   603348 |    46232 |    17321      3 |      383 |      324
125.56/125.65	c  125s |      13 |   606079 |    46832 |    17321      3 |      383 |      324
127.96/128.09	c  127s |      13 |   608823 |    47432 |    17321      3 |      383 |      324
130.27/130.31	c  130s |      13 |   611895 |    48032 |    17321      4 |      383 |      324
132.37/132.46	c  132s |      13 |   613469 |    48632 |    17321      4 |      383 |      324
134.67/134.74	c  134s |      13 |   614151 |    48932 |    17321      4 |      383 |      324
137.07/137.12	c  136s |      13 |   615262 |    49332 |    17321      4 |      383 |      324
139.27/139.36	c  139s |      13 |   615998 |    49632 |    17321      4 |      383 |      324
141.46/141.58	c  141s |      13 |   616617 |    49832 |    17321      4 |      383 |      324
143.96/144.03	c  143s |      13 |   617367 |    50132 |    17321      4 |      383 |      324
146.37/146.44	c  146s |      13 |   619534 |    50632 |    17321      4 |      383 |      324
148.66/148.76	c  148s |      13 |   621079 |    51032 |    17321      4 |      383 |      324
150.86/150.94	c  150s |      13 |   623039 |    51432 |    17321      4 |      383 |      324
153.16/153.22	c  152s |      13 |   624375 |    51832 |    17321      4 |      383 |      324
155.47/155.50	c  155s |      13 |   625446 |    52232 |    17321      4 |      383 |      324
157.96/158.01	c  157s |      13 |   626016 |    52532 |    17321      4 |      383 |      324
160.67/160.78	c  160s |      13 |   627001 |    52932 |    17321      4 |      383 |      324
163.06/163.15	c  162s |      13 |   627751 |    53232 |    17321      4 |      383 |      324
165.36/165.48	c  165s |      13 |   628413 |    53532 |    17321      4 |      383 |      324
167.86/167.95	c  167s |      13 |   629157 |    53832 |    17321      4 |      383 |      324
170.36/170.40	c  170s |      13 |   630596 |    54132 |    17321      4 |      383 |      324
173.36/173.46	c  173s |      13 |   631224 |    54432 |    17321      4 |      383 |      324
175.76/175.80	c  175s |      13 |   631562 |    54632 |    17321      4 |      383 |      324
177.76/177.85	c  177s |      13 |   632028 |    54832 |    17321      4 |      383 |      324
179.86/179.99	c  179s |      13 |   632415 |    55032 |    17321      4 |      383 |      324
182.56/182.63	c  182s |      13 |   632834 |    55232 |    17321      4 |      383 |      324
184.76/184.82	c  184s |      13 |   633411 |    55432 |    17321      4 |      383 |      324
187.07/187.19	c  186s |      13 |   634037 |    55632 |    17321      4 |      383 |      324
189.66/189.73	c  189s |      13 |   635102 |    55932 |    17321      4 |      383 |      324
191.75/191.87	c  191s |      13 |   637161 |    56432 |    17321      4 |      383 |      324
194.35/194.41	c  194s |      13 |   638203 |    56832 |    17321      4 |      383 |      324
196.86/196.98	c  196s |      13 |   638730 |    57132 |    17321      4 |      383 |      324
199.17/199.25	c  198s |      13 |   639148 |    57332 |    17321      4 |      383 |      324
201.96/202.05	c  201s |      13 |   640230 |    57732 |    17321      4 |      383 |      324
204.86/204.94	c  204s |      13 |   640796 |    58032 |    19054      4 |      383 |      324
206.86/206.99	c  206s |      13 |   641782 |    58332 |    19054      4 |      383 |      324
207.06/207.17	c  206s |      14 |   641799 |    58352 |    19054      4 |      383 |      324
209.16/209.27	c  208s |      14 |   660248 |    59052 |    19054      5 |      383 |      324
211.26/211.39	c  211s |      14 |   686941 |    60252 |    19054      5 |      385 |      326
213.36/213.45	c  213s |      14 |   716232 |    61452 |    19054      5 |      386 |      327
215.45/215.52	c  215s |      14 |   750543 |    62852 |    19054      5 |      386 |      327
217.76/217.81	c  217s |      14 |   777973 |    64052 |    19054      5 |      389 |      330
219.85/219.92	c  219s |      14 |   805908 |    65352 |    19054      5 |      389 |      330
222.16/222.20	c  221s |      14 |   828747 |    66352 |    19054      5 |      389 |      330
224.15/224.27	c  223s |      14 |   838223 |    66952 |    19054      5 |      389 |      330
226.25/226.34	c  226s |      14 |   854783 |    68052 |    19054      6 |      389 |      330
228.45/228.51	c  228s |      14 |   871947 |    69452 |    19054      6 |      389 |      330
230.55/230.69	c  230s |      14 |   892524 |    70852 |    19054      6 |      390 |      331
232.65/232.71	c  232s |      14 |   917019 |    72152 |    19054      6 |      390 |      331
234.85/234.91	c  234s |      14 |   925477 |    73052 |    19054      6 |      390 |      331
237.34/237.42	c  237s |      14 |   927301 |    73652 |    19054      6 |      390 |      331
239.44/239.53	c  239s |      14 |   938872 |    74752 |    19054      6 |      390 |      331
241.65/241.71	c  241s |      14 |   944456 |    75652 |    19054      6 |      390 |      331
243.75/243.87	c  243s |      14 |   950487 |    76452 |    19054      6 |      390 |      331
246.25/246.33	c  246s |      14 |   963406 |    77452 |    19054      6 |      390 |      331
248.35/248.43	c  248s |      14 |   966507 |    78052 |    19054      6 |      390 |      331
250.45/250.53	c  250s |      14 |   971897 |    78552 |    19054      6 |      390 |      331
252.96/253.07	c  252s |      14 |   973195 |    78952 |    19054      6 |      390 |      331
255.55/255.61	c  255s |      14 |   973955 |    79252 |    19054      6 |      390 |      331
257.85/257.90	c  257s |      14 |   982703 |    79952 |    19054      7 |      390 |      331
260.15/260.26	c  259s |      14 |   995984 |    81052 |    19054      7 |      390 |      331
262.25/262.32	c  262s |      14 |  1004667 |    81852 |    19054      7 |      390 |      331
264.64/264.70	c  264s |      14 |  1007791 |    82352 |    19054      7 |      390 |      331
266.94/267.00	c  266s |      14 |  1011160 |    83152 |    19054      7 |      390 |      331
268.94/269.08	c  268s |      14 |  1014585 |    83752 |    19054      7 |      390 |      331
271.34/271.47	c  271s |      14 |  1020297 |    84752 |    19054      7 |      390 |      331
273.85/273.92	c  273s |      14 |  1023499 |    85452 |    19054      7 |      390 |      331
276.24/276.35	c  276s |      14 |  1026615 |    86152 |    19054      7 |      390 |      331
278.35/278.49	c  278s |      14 |  1029367 |    86852 |    19054      7 |      390 |      331
280.55/280.61	c  280s |      14 |  1031169 |    87452 |    20960      7 |      390 |      331
280.94/281.06	c  280s |      15 |  1032466 |    87632 |    20960      7 |      390 |      331
283.24/283.39	c  283s |      15 |  1049086 |    88632 |    20960      7 |      390 |      331
285.44/285.51	c  285s |      15 |  1051309 |    89232 |    20960      7 |      390 |      331
287.54/287.69	c  287s |      15 |  1057166 |    89932 |    20960      7 |      390 |      331
289.64/289.80	c  289s |      15 |  1081265 |    91032 |    20960      8 |      391 |      332
291.74/291.82	c  291s |      15 |  1094813 |    92132 |    20960      8 |      391 |      332
293.75/293.84	c  293s |      15 |  1114173 |    93432 |    20960      8 |      391 |      332
295.85/295.94	c  295s |      15 |  1145033 |    94832 |    20960      8 |      391 |      332
297.84/297.94	c  297s |      15 |  1162665 |    96032 |    20960      8 |      391 |      332
299.84/299.97	c  299s |      15 |  1186083 |    97332 |    20960      8 |      391 |      332
301.94/302.01	c  301s |      15 |  1208371 |    98632 |    20960      8 |      391 |      332
304.04/304.14	c  303s |      15 |  1213113 |    99332 |    20960      8 |      391 |      332
306.04/306.15	c  305s |      15 |  1228279 |   100532 |    20960      8 |      391 |      332
308.04/308.16	c  307s |      15 |  1246925 |   101632 |    20960      8 |      391 |      332
310.43/310.55	c  310s |      15 |  1271108 |   102632 |    20960      9 |      391 |      332
312.53/312.67	c  312s |      15 |  1277324 |   103632 |    20960      9 |      391 |      332
314.73/314.89	c  314s |      15 |  1278890 |   104132 |    20960      9 |      391 |      332
317.03/317.14	c  316s |      15 |  1279925 |   104432 |    20960      9 |      391 |      332
319.24/319.38	c  319s |      15 |  1281534 |   104832 |    20960      9 |      391 |      332
321.25/321.39	c  321s |      15 |  1282727 |   105132 |    20960      9 |      391 |      332
323.35/323.49	c  323s |      15 |  1301362 |   105932 |    20960      9 |      391 |      332
325.44/325.53	c  325s |      15 |  1312705 |   106732 |    20960      9 |      392 |      333
327.54/327.62	c  327s |      15 |  1329117 |   107932 |    20960      9 |      392 |      333
329.64/329.76	c  329s |      15 |  1348133 |   109132 |    20960      9 |      392 |      333
331.74/331.90	c  331s |      15 |  1372887 |   110432 |    20960      9 |      392 |      333
333.94/334.04	c  333s |      15 |  1401439 |   111532 |    20960      9 |      392 |      333
335.94/336.06	c  335s |      15 |  1413729 |   112632 |    20960      9 |      392 |      333
338.04/338.16	c  337s |      15 |  1429106 |   113432 |    20960     10 |      392 |      333
340.04/340.18	c  339s |      15 |  1437933 |   114632 |    20960     10 |      392 |      333
342.14/342.23	c  341s |      15 |  1464682 |   115832 |    20960     10 |      392 |      333
344.13/344.28	c  344s |      15 |  1486119 |   117132 |    20960     10 |      392 |      333
346.23/346.37	c  346s |      15 |  1510407 |   118332 |    20960     10 |      392 |      333
348.33/348.41	c  348s |      15 |  1533053 |   119632 |    20960     10 |      392 |      333
350.33/350.43	c  350s |      15 |  1553269 |   120832 |    20960     10 |      392 |      333
352.43/352.51	c  352s |      15 |  1579798 |   122132 |    20960     10 |      392 |      333
354.43/354.55	c  354s |      15 |  1592214 |   123232 |    20960     10 |      392 |      333
356.44/356.56	c  356s |      15 |  1613796 |   124332 |    20960     10 |      392 |      333
358.54/358.63	c  358s |      15 |  1621670 |   125032 |    20960     11 |      392 |      333
360.63/360.70	c  360s |      15 |  1656068 |   126332 |    20960     11 |      392 |      333
362.73/362.81	c  362s |      15 |  1672074 |   127932 |    20960     11 |      392 |      333
364.83/364.96	c  364s |      15 |  1675716 |   128832 |    20960     11 |      392 |      333
367.03/367.13	c  366s |      15 |  1678930 |   129632 |    20960     11 |      392 |      333
369.63/369.72	c  369s |      15 |  1680563 |   130232 |    20960     11 |      392 |      333
372.02/372.13	c  371s |      15 |  1682854 |   130832 |    23057     11 |      392 |      333
374.33/374.42	c  374s |      15 |  1684745 |   131432 |    23057     11 |      392 |      333
374.93/375.04	c  374s |      16 |  1685222 |   131552 |    23057     11 |      392 |      333
377.03/377.14	c  376s |      16 |  1709474 |   132652 |    23057     11 |      392 |      333
379.03/379.19	c  378s |      16 |  1712503 |   133652 |    23057     11 |      392 |      333
381.13/381.26	c  380s |      16 |  1728722 |   135052 |    23057     11 |      392 |      333
383.23/383.38	c  383s |      16 |  1759309 |   136052 |    23057     11 |      393 |      334
385.33/385.48	c  385s |      16 |  1773641 |   137252 |    23057     11 |      394 |      335
387.53/387.64	c  387s |      16 |  1799248 |   138352 |    23057     12 |      394 |      335
389.53/389.69	c  389s |      16 |  1813787 |   139552 |    23057     12 |      394 |      335
391.72/391.83	c  391s |      16 |  1843948 |   140852 |    23057     12 |      394 |      335
393.73/393.89	c  393s |      16 |  1873962 |   142252 |    23057     12 |      394 |      335
395.82/395.90	c  395s |      16 |  1893876 |   143452 |    23057     12 |      394 |      335
397.82/397.94	c  397s |      16 |  1922905 |   144652 |    23057     12 |      394 |      335
400.02/400.15	c  399s |      16 |  1940347 |   145752 |    23057     12 |      394 |      335
402.02/402.18	c  401s |      16 |  1955166 |   146852 |    23057     12 |      394 |      335
404.12/404.20	c  403s |      16 |  1963518 |   147752 |    23057     12 |      394 |      335
406.12/406.27	c  405s |      16 |  1989196 |   148852 |    23057     12 |      394 |      335
408.33/408.42	c  408s |      16 |  2007825 |   149752 |    23057     13 |      395 |      336
410.33/410.48	c  410s |      16 |  2017856 |   150852 |    23057     13 |      395 |      336
412.43/412.54	c  412s |      16 |  2030438 |   152252 |    23057     13 |      395 |      336
414.43/414.56	c  414s |      16 |  2037420 |   153352 |    23057     13 |      395 |      336
416.53/416.60	c  416s |      16 |  2039405 |   154152 |    23057     13 |      395 |      336
418.62/418.73	c  418s |      16 |  2041735 |   154952 |    23057     13 |      395 |      336
420.62/420.78	c  420s |      16 |  2043679 |   155552 |    23057     13 |      395 |      336
422.82/422.91	c  422s |      16 |  2046777 |   156152 |    23057     13 |      395 |      336
425.12/425.26	c  424s |      16 |  2059747 |   157452 |    23057     13 |      395 |      336
427.22/427.33	c  427s |      16 |  2068070 |   158552 |    23057     13 |      395 |      336
429.22/429.34	c  429s |      16 |  2075119 |   159552 |    23057     13 |      395 |      336
431.23/431.35	c  431s |      16 |  2091750 |   160652 |    23057     13 |      395 |      336
433.22/433.39	c  433s |      16 |  2106263 |   161852 |    23057     13 |      395 |      336
435.52/435.68	c  435s |      16 |  2113514 |   162952 |    23057     13 |      395 |      336
437.72/437.83	c  437s |      16 |  2116973 |   163452 |    23057     14 |      395 |      336
439.82/439.95	c  439s |      16 |  2136252 |   165052 |    23057     14 |      395 |      336
441.92/442.07	c  441s |      16 |  2149083 |   166352 |    23057     14 |      395 |      336
443.92/444.07	c  443s |      16 |  2154725 |   167352 |    23057     14 |      395 |      336
446.12/446.20	c  445s |      16 |  2168166 |   168552 |    23057     14 |      395 |      336
448.41/448.51	c  448s |      16 |  2171834 |   169452 |    23057     14 |      395 |      336
450.51/450.63	c  450s |      16 |  2176181 |   170352 |    23057     14 |      395 |      336
452.71/452.82	c  452s |      16 |  2183356 |   171052 |    23057     14 |      395 |      336
454.81/454.94	c  454s |      16 |  2189294 |   171852 |    23057     14 |      395 |      336
456.81/456.94	c  456s |      16 |  2197329 |   172652 |    23057     14 |      395 |      336
458.91/459.02	c  458s |      16 |  2205881 |   173752 |    23057     14 |      395 |      336
461.02/461.18	c  460s |      16 |  2214895 |   174752 |    23057     14 |      395 |      336
463.13/463.29	c  463s |      16 |  2222114 |   175652 |    23057     14 |      395 |      336
465.62/465.78	c  465s |      16 |  2231815 |   176552 |    23057     15 |      395 |      336
467.72/467.83	c  467s |      16 |  2250736 |   177852 |    23057     15 |      395 |      336
469.72/469.85	c  469s |      16 |  2265930 |   179152 |    23057     15 |      395 |      336
471.82/471.91	c  471s |      16 |  2270275 |   180052 |    23057     15 |      395 |      336
473.82/473.97	c  473s |      16 |  2278788 |   180952 |    23057     15 |      395 |      336
475.91/476.09	c  475s |      16 |  2284578 |   181952 |    23057     15 |      395 |      336
478.11/478.24	c  477s |      16 |  2286295 |   182452 |    23057     15 |      395 |      336
480.62/480.72	c  480s |      16 |  2287677 |   182652 |    23057     15 |      395 |      336
483.51/483.64	c  483s |      16 |  2288690 |   182952 |    23057     15 |      395 |      336
485.71/485.86	c  485s |      16 |  2290169 |   183252 |    23057     15 |      395 |      336
487.81/487.93	c  487s |      16 |  2294268 |   183952 |    23057     15 |      395 |      336
490.01/490.10	c  489s |      16 |  2299212 |   184652 |    23057     15 |      395 |      336
492.11/492.25	c  491s |      16 |  2303351 |   185652 |    23057     15 |      395 |      336
494.21/494.32	c  494s |      16 |  2307654 |   186352 |    23057     15 |      395 |      336
496.21/496.35	c  496s |      16 |  2311215 |   186952 |    23057     15 |      395 |      336
498.22/498.37	c  498s |      16 |  2313363 |   187552 |    23057     15 |      395 |      336
500.31/500.41	c  500s |      16 |  2315094 |   187952 |    23057     15 |      395 |      336
502.81/502.95	c  502s |      16 |  2316220 |   188252 |    23057     15 |      395 |      336
505.41/505.58	c  505s |      16 |  2316773 |   188452 |    23057     15 |      395 |      336
508.51/508.64	c  508s |      16 |  2317514 |   188652 |    23057     15 |      395 |      336
512.21/512.32	c  512s |      16 |  2318003 |   188852 |    23057     15 |      395 |      336
514.60/514.80	c  514s |      16 |  2320227 |   189452 |    23057     15 |      395 |      336
516.70/516.82	c  516s |      16 |  2321580 |   189852 |    23057     15 |      395 |      336
519.40/519.56	c  519s |      16 |  2324557 |   190352 |    23057     15 |      395 |      336
521.60/521.72	c  521s |      16 |  2325681 |   190652 |    23057     15 |      395 |      336
523.90/524.10	c  523s |      16 |  2326629 |   190952 |    23057     15 |      395 |      336
526.60/526.77	c  526s |      16 |  2328045 |   191352 |    23057     15 |      395 |      336
529.12/529.23	c  528s |      16 |  2328642 |   191552 |    23057     16 |      395 |      336
531.11/531.26	c  530s |      16 |  2329473 |   191752 |    23057     16 |      395 |      336
533.52/533.67	c  533s |      16 |  2330001 |   191952 |    23057     16 |      395 |      336
535.71/535.85	c  535s |      16 |  2332186 |   192352 |    23057     16 |      395 |      336
537.91/538.00	c  537s |      16 |  2333689 |   192752 |    23057     16 |      395 |      336
540.31/540.41	c  540s |      16 |  2335080 |   193152 |    23057     16 |      395 |      336
542.70/542.84	c  542s |      16 |  2336447 |   193552 |    23057     16 |      395 |      336
545.00/545.12	c  544s |      16 |  2337546 |   193852 |    23057     16 |      395 |      336
547.60/547.79	c  547s |      16 |  2338678 |   194152 |    23057     16 |      395 |      336
549.80/549.99	c  549s |      16 |  2339146 |   194352 |    23057     16 |      395 |      336
552.71/552.85	c  552s |      16 |  2339979 |   194652 |    23057     16 |      395 |      336
555.41/555.58	c  555s |      16 |  2340828 |   194952 |    23057     16 |      395 |      336
557.50/557.69	c  557s |      16 |  2341945 |   195352 |    23057     16 |      395 |      336
559.60/559.77	c  559s |      16 |  2343294 |   195752 |    23057     16 |      395 |      336
562.01/562.16	c  561s |      16 |  2344551 |   196052 |    23057     16 |      395 |      336
564.90/565.04	c  564s |      16 |  2345820 |   196452 |    25363     16 |      395 |      336
567.40/567.56	c  567s |      16 |  2347095 |   196852 |    25363     16 |      395 |      336
569.60/569.76	c  569s |      16 |  2348282 |   197152 |    25363     16 |      395 |      336
571.80/571.95	c  571s |      16 |  2348721 |   197352 |    25363     16 |      395 |      336
572.90/573.04	c  572s |      17 |  2348868 |   197432 |    25363     16 |      395 |      336
574.90/575.08	c  574s |      17 |  2372159 |   198532 |    25363     16 |      395 |      336
577.10/577.26	c  576s |      17 |  2397162 |   199732 |    25363     16 |      395 |      336
579.30/579.45	c  579s |      17 |  2426110 |   200932 |    25363     16 |      395 |      336
581.50/581.61	c  581s |      17 |  2428868 |   201732 |    25363     16 |      395 |      336
583.50/583.70	c  583s |      17 |  2433552 |   202432 |    25363     16 |      395 |      336
585.60/585.70	c  585s |      17 |  2451911 |   203632 |    25363     16 |      395 |      336
587.60/587.78	c  587s |      17 |  2469534 |   204832 |    25363     17 |      395 |      336
589.80/589.98	c  589s |      17 |  2487108 |   206432 |    25363     17 |      395 |      336
592.20/592.35	c  592s |      17 |  2501483 |   207532 |    25363     17 |      395 |      336
594.29/594.48	c  594s |      17 |  2518200 |   208832 |    25363     17 |      395 |      336
596.39/596.56	c  596s |      17 |  2544465 |   210132 |    25363     17 |      395 |      336
598.40/598.58	c  598s |      17 |  2571390 |   211232 |    25363     17 |      395 |      336
600.60/600.70	c  600s |      17 |  2587388 |   212132 |    25363     17 |      395 |      336
602.59/602.74	c  602s |      17 |  2603672 |   213132 |    25363     17 |      395 |      336
604.69/604.85	c  604s |      17 |  2627221 |   214232 |    25363     17 |      395 |      336
606.79/606.93	c  606s |      17 |  2646177 |   215432 |    25363     17 |      395 |      336
608.89/609.05	c  608s |      17 |  2655439 |   216432 |    25363     17 |      395 |      336
610.99/611.10	c  610s |      17 |  2658791 |   217432 |    25363     17 |      395 |      336
613.09/613.20	c  612s |      17 |  2662956 |   218532 |    25363     17 |      395 |      336
615.29/615.48	c  615s |      17 |  2665454 |   219132 |    25363     17 |      395 |      336
617.69/617.80	c  617s |      17 |  2667961 |   219732 |    25363     17 |      395 |      336
619.79/619.97	c  619s |      17 |  2670888 |   220432 |    25363     17 |      395 |      336
621.79/621.97	c  621s |      17 |  2672683 |   220932 |    25363     17 |      395 |      336
623.79/623.99	c  623s |      17 |  2673964 |   221332 |    25363     18 |      395 |      336
625.99/626.19	c  625s |      17 |  2677120 |   222032 |    25363     18 |      395 |      336
628.19/628.32	c  628s |      17 |  2699367 |   223232 |    25363     18 |      395 |      336
630.19/630.40	c  630s |      17 |  2722820 |   224732 |    25363     18 |      395 |      336
632.28/632.46	c  632s |      17 |  2741205 |   226232 |    25363     18 |      395 |      336
634.59/634.73	c  634s |      17 |  2745127 |   227132 |    25363     18 |      395 |      336
636.68/636.80	c  636s |      17 |  2752679 |   227832 |    25363     18 |      395 |      336
638.68/638.85	c  638s |      17 |  2762186 |   228932 |    25363     18 |      395 |      336
640.68/640.86	c  640s |      17 |  2780666 |   230132 |    25363     18 |      395 |      336
642.98/643.12	c  642s |      17 |  2784160 |   230732 |    25363     18 |      395 |      336
645.28/645.47	c  645s |      17 |  2784756 |   231132 |    25363     18 |      395 |      336
647.48/647.63	c  647s |      17 |  2785515 |   231532 |    25363     18 |      395 |      336
649.67/649.80	c  649s |      17 |  2795325 |   232432 |    25363     18 |      395 |      336
651.77/651.90	c  651s |      17 |  2826075 |   233532 |    25363     19 |      395 |      336
653.87/654.08	c  653s |      17 |  2846986 |   235032 |    25363     19 |      395 |      336
656.08/656.21	c  655s |      17 |  2872412 |   236132 |    25363     19 |      395 |      336
658.18/658.34	c  658s |      17 |  2898030 |   237432 |    25363     19 |      395 |      336
660.27/660.44	c  660s |      17 |  2912801 |   238432 |    25363     19 |      395 |      336
662.27/662.48	c  662s |      17 |  2915301 |   238932 |    25363     19 |      395 |      336
664.38/664.58	c  664s |      17 |  2930543 |   240332 |    25363     19 |      395 |      336
666.67/666.81	c  666s |      17 |  2946017 |   241632 |    25363     19 |      395 |      336
669.27/669.49	c  669s |      17 |  2955860 |   242632 |    25363     19 |      395 |      336
671.46/671.64	c  671s |      17 |  2962730 |   243432 |    25363     19 |      395 |      336
673.56/673.71	c  673s |      17 |  2974675 |   244332 |    25363     19 |      395 |      336
675.56/675.76	c  675s |      17 |  2993470 |   245332 |    25363     19 |      395 |      336
677.66/677.89	c  677s |      17 |  2998472 |   246132 |    25363     19 |      395 |      336
679.76/679.99	c  679s |      17 |  3001521 |   247032 |    25363     19 |      395 |      336
681.86/682.01	c  681s |      17 |  3016840 |   248032 |    25363     20 |      395 |      336
683.85/684.10	c  683s |      17 |  3036035 |   249332 |    25363     20 |      395 |      336
685.95/686.14	c  685s |      17 |  3054621 |   250532 |    25363     20 |      395 |      336
688.15/688.38	c  688s |      17 |  3062196 |   251232 |    25363     20 |      395 |      336
690.45/690.63	c  690s |      17 |  3064052 |   251632 |    25363     20 |      395 |      336
692.55/692.74	c  692s |      17 |  3084106 |   252732 |    25363     20 |      395 |      336
694.65/694.89	c  694s |      17 |  3098114 |   253732 |    25363     20 |      395 |      336
696.75/696.95	c  696s |      17 |  3118706 |   254832 |    25363     20 |      395 |      336
699.14/699.39	c  699s |      17 |  3120102 |   255232 |    25363     20 |      395 |      336
701.45/701.69	c  701s |      17 |  3120850 |   255532 |    25363     20 |      395 |      336
703.55/703.79	c  703s |      17 |  3135888 |   256432 |    25363     20 |      395 |      336
705.75/705.97	c  705s |      17 |  3139573 |   256932 |    25363     20 |      395 |      336
707.95/708.12	c  707s |      17 |  3146515 |   257432 |    25363     20 |      395 |      336
709.95/710.17	c  709s |      17 |  3165865 |   258432 |    25363     20 |      395 |      336
711.95/712.18	c  711s |      17 |  3171249 |   259432 |    25363     20 |      395 |      336
714.15/714.35	c  714s |      17 |  3183641 |   260232 |    25363     21 |      395 |      336
716.15/716.37	c  716s |      17 |  3216335 |   261732 |    25363     21 |      395 |      336
718.26/718.47	c  718s |      17 |  3227602 |   263032 |    25363     21 |      395 |      336
720.46/720.61	c  720s |      17 |  3241119 |   264432 |    25363     21 |      395 |      336
722.45/722.70	c  722s |      17 |  3255741 |   265432 |    25363     21 |      395 |      336
724.55/724.72	c  724s |      17 |  3279543 |   266632 |    25363     21 |      396 |      337
726.55/726.77	c  726s |      17 |  3304016 |   268132 |    25363     21 |      396 |      337
728.65/728.87	c  728s |      17 |  3322221 |   269532 |    25363     21 |      396 |      337
730.74/730.94	c  730s |      17 |  3325055 |   270432 |    25363     21 |      396 |      337
732.74/732.98	c  732s |      17 |  3335066 |   271332 |    25363     21 |      396 |      337
734.84/735.06	c  734s |      17 |  3357621 |   272632 |    25363     21 |      396 |      337
737.14/737.32	c  737s |      17 |  3372997 |   274032 |    25363     22 |      396 |      337
739.15/739.39	c  739s |      17 |  3381771 |   275232 |    25363     22 |      396 |      337
741.25/741.44	c  741s |      17 |  3385973 |   276032 |    25363     22 |      396 |      337
743.34/743.54	c  743s |      17 |  3399539 |   277232 |    25363     22 |      396 |      337
745.34/745.57	c  745s |      17 |  3412093 |   278732 |    25363     22 |      396 |      337
747.34/747.59	c  747s |      17 |  3447224 |   280232 |    25363     22 |      396 |      337
749.43/749.60	c  749s |      17 |  3473772 |   281632 |    25363     22 |      396 |      337
751.43/751.61	c  751s |      17 |  3481454 |   282732 |    25363     22 |      396 |      337
753.53/753.70	c  753s |      17 |  3485734 |   283632 |    25363     22 |      396 |      337
755.54/755.75	c  755s |      17 |  3504550 |   284832 |    25363     23 |      396 |      337
757.53/757.75	c  757s |      17 |  3510074 |   285832 |    25363     23 |      396 |      337
759.63/759.82	c  759s |      17 |  3522741 |   287132 |    25363     23 |      396 |      337
761.63/761.84	c  761s |      17 |  3533102 |   288332 |    25363     23 |      396 |      337
763.63/763.89	c  763s |      17 |  3536051 |   289032 |    25363     23 |      396 |      337
765.93/766.12	c  765s |      17 |  3542202 |   289832 |    25363     23 |      397 |      338
767.93/768.18	c  767s |      17 |  3545670 |   290632 |    25363     23 |      397 |      338
770.03/770.26	c  769s |      17 |  3551283 |   291632 |    25363     23 |      397 |      338
772.14/772.32	c  772s |      17 |  3575037 |   293032 |    25363     23 |      397 |      338
774.24/774.44	c  774s |      17 |  3598420 |   294532 |    27900     23 |      397 |      338
776.33/776.58	c  776s |      17 |  3620331 |   295832 |    27900     23 |      397 |      338
777.13/777.30	c  777s |      18 |  3628237 |   296252 |    27900     23 |      397 |      338
779.13/779.38	c  779s |      18 |  3632734 |   297252 |    27900     23 |      397 |      338
781.62/781.85	c  781s |      18 |  3639400 |   298052 |    27900     24 |      397 |      338
783.72/783.93	c  783s |      18 |  3669195 |   299852 |    27900     24 |      397 |      338
785.82/786.05	c  785s |      18 |  3685225 |   301352 |    27900     24 |      397 |      338
788.02/788.29	c  788s |      18 |  3687689 |   302152 |    27900     24 |      397 |      338
790.12/790.33	c  790s |      18 |  3692100 |   302852 |    27900     24 |      397 |      338
792.22/792.40	c  792s |      18 |  3706516 |   304252 |    27900     24 |      397 |      338
794.22/794.49	c  794s |      18 |  3719116 |   305452 |    27900     24 |      397 |      338
796.33/796.57	c  796s |      18 |  3730625 |   306552 |    27900     24 |      397 |      338
798.42/798.65	c  798s |      18 |  3760775 |   307952 |    27900     24 |      397 |      338
800.51/800.73	c  800s |      18 |  3779966 |   309252 |    27900     24 |      397 |      338
802.51/802.76	c  802s |      18 |  3794960 |   310252 |    27900     24 |      397 |      338
804.61/804.83	c  804s |      18 |  3828260 |   311552 |    27900     25 |      397 |      338
806.71/806.98	c  806s |      18 |  3840712 |   312952 |    27900     25 |      397 |      338
808.81/809.08	c  808s |      18 |  3867584 |   314252 |    27900     25 |      397 |      338
811.10/811.30	c  811s |      18 |  3894922 |   315652 |    27900     25 |      397 |      338
813.30/813.55	c  813s |      18 |  3915672 |   316952 |    27900     25 |      397 |      338
815.50/815.78	c  815s |      18 |  3922259 |   318152 |    27900     25 |      397 |      338
817.60/817.83	c  817s |      18 |  3937631 |   319252 |    27900     25 |      397 |      338
819.70/819.97	c  819s |      18 |  3955665 |   320352 |    27900     25 |      397 |      338
821.80/822.00	c  821s |      18 |  3974701 |   321452 |    27900     25 |      398 |      339
823.80/824.03	c  823s |      18 |  3988223 |   322552 |    27900     26 |      398 |      339
825.90/826.14	c  825s |      18 |  4023995 |   324152 |    27900     26 |      398 |      339
827.99/828.20	c  827s |      18 |  4048479 |   325852 |    27900     26 |      398 |      339
829.99/830.26	c  829s |      18 |  4075027 |   327252 |    27900     26 |      398 |      339
832.00/832.29	c  832s |      18 |  4097716 |   328752 |    27900     26 |      398 |      339
834.10/834.38	c  834s |      18 |  4110196 |   329752 |    27900     26 |      398 |      339
836.20/836.49	c  836s |      18 |  4114364 |   330752 |    27900     26 |      398 |      339
838.39/838.66	c  838s |      18 |  4118547 |   331552 |    27900     26 |      398 |      339
840.59/840.86	c  840s |      18 |  4121635 |   332152 |    27900     26 |      398 |      339
842.89/843.12	c  842s |      18 |  4123434 |   332652 |    27900     26 |      398 |      339
845.29/845.57	c  845s |      18 |  4143670 |   333852 |    27900     27 |      398 |      339
847.38/847.62	c  847s |      18 |  4160691 |   335252 |    27900     27 |      398 |      339
849.38/849.67	c  849s |      18 |  4190037 |   336552 |    27900     27 |      398 |      339
851.49/851.80	c  851s |      18 |  4210963 |   338052 |    27900     27 |      398 |      339
853.69/853.91	c  853s |      18 |  4222278 |   339352 |    27900     27 |      398 |      339
855.79/856.02	c  855s |      18 |  4244095 |   340752 |    27900     27 |      398 |      339
857.80/858.03	c  857s |      18 |  4271475 |   342152 |    27900     27 |      398 |      339
859.79/860.07	c  859s |      18 |  4293928 |   343552 |    27900     27 |      398 |      339
861.89/862.12	c  861s |      18 |  4312318 |   344852 |    27900     27 |      398 |      339
863.89/864.19	c  863s |      18 |  4337376 |   346452 |    27900     28 |      399 |      340
866.19/866.44	c  866s |      18 |  4358709 |   348152 |    27900     28 |      399 |      340
868.39/868.61	c  868s |      18 |  4374082 |   349752 |    27900     28 |      399 |      340
870.38/870.68	c  870s |      18 |  4392428 |   351352 |    27900     28 |      399 |      340
872.48/872.72	c  872s |      18 |  4411769 |   352852 |    27900     28 |      399 |      340
874.48/874.74	c  874s |      18 |  4435665 |   354252 |    27900     28 |      399 |      340
876.59/876.81	c  876s |      18 |  4451019 |   355452 |    27900     28 |      399 |      340
878.58/878.88	c  878s |      18 |  4461001 |   356752 |    27900     29 |      399 |      340
880.68/880.96	c  880s |      18 |  4462324 |   357352 |    27900     29 |      399 |      340
882.78/883.07	c  882s |      18 |  4464602 |   358052 |    27900     29 |      399 |      340
885.07/885.38	c  885s |      18 |  4467117 |   358852 |    27900     29 |      399 |      340
887.17/887.43	c  887s |      18 |  4471999 |   359452 |    27900     29 |      399 |      340
889.17/889.45	c  889s |      18 |  4506648 |   361052 |    27900     29 |      399 |      340
891.27/891.53	c  891s |      18 |  4529016 |   362652 |    27900     29 |      399 |      340
893.37/893.66	c  893s |      18 |  4545582 |   364152 |    27900     29 |      399 |      340
895.67/895.91	c  895s |      18 |  4559579 |   365152 |    27900     30 |      399 |      340
897.67/897.98	c  897s |      18 |  4585027 |   366852 |    27900     30 |      399 |      340
899.98/900.23	c  899s |      18 |  4590019 |   367852 |    27900     30 |      399 |      340
902.07/902.39	c  902s |      18 |  4600519 |   368952 |    27900     30 |      399 |      340
904.17/904.47	c  904s |      18 |  4611849 |   369652 |    27900     30 |      399 |      340
906.28/906.53	c  906s |      18 |  4632810 |   370852 |    27900     30 |      399 |      340
908.27/908.57	c  908s |      18 |  4647856 |   371952 |    27900     30 |      399 |      340
910.36/910.66	c  910s |      18 |  4657490 |   372752 |    27900     30 |      399 |      340
912.46/912.72	c  912s |      18 |  4687022 |   374052 |    27900     31 |      399 |      340
914.46/914.76	c  914s |      18 |  4702858 |   375452 |    27900     31 |      399 |      340
916.46/916.79	c  916s |      18 |  4724128 |   376852 |    27900     31 |      399 |      340
918.56/918.84	c  918s |      18 |  4737432 |   378152 |    27900     31 |      399 |      340
920.56/920.88	c  920s |      18 |  4759573 |   379452 |    27900     31 |      399 |      340
922.76/923.00	c  922s |      18 |  4767611 |   380452 |    27900     31 |      399 |      340
924.86/925.11	c  924s |      18 |  4787719 |   381852 |    27900     32 |      399 |      340
926.96/927.22	c  926s |      18 |  4810767 |   383352 |    27900     32 |      399 |      340
928.95/929.24	c  928s |      18 |  4830437 |   384852 |    27900     32 |      399 |      340
931.05/931.38	c  931s |      18 |  4851920 |   386052 |    27900     32 |      399 |      340
933.05/933.38	c  933s |      18 |  4875676 |   387552 |    27900     32 |      399 |      340
935.15/935.44	c  935s |      18 |  4900397 |   388852 |    27900     33 |      399 |      340
937.25/937.54	c  937s |      18 |  4932399 |   390452 |    27900     33 |      399 |      340
939.45/939.74	c  939s |      18 |  4948967 |   391852 |    27900     33 |      399 |      340
941.54/941.83	c  941s |      18 |  4955189 |   392752 |    27900     33 |      399 |      340
943.65/943.94	c  943s |      18 |  4971133 |   394252 |    27900     33 |      399 |      340
945.94/946.27	c  945s |      18 |  4996348 |   395552 |    27900     34 |      399 |      340
947.95/948.27	c  948s |      18 |  5012572 |   397252 |    27900     34 |      399 |      340
950.04/950.31	c  950s |      18 |  5037011 |   398852 |    27900     34 |      399 |      340
952.04/952.35	c  952s |      18 |  5041494 |   399952 |    27900     34 |      399 |      340
954.04/954.37	c  954s |      18 |  5050230 |   401052 |    27900     34 |      399 |      340
956.14/956.44	c  956s |      18 |  5064850 |   402252 |    27900     35 |      399 |      340
958.14/958.49	c  958s |      18 |  5099069 |   403852 |    27900     35 |      399 |      340
960.24/960.50	c  960s |      18 |  5112103 |   405152 |    27900     35 |      399 |      340
962.24/962.57	c  962s |      18 |  5121769 |   406352 |    27900     35 |      399 |      340
964.33/964.61	c  964s |      18 |  5134679 |   407652 |    27900     35 |      399 |      340
966.64/966.90	c  966s |      18 |  5155793 |   409052 |    27900     36 |      399 |      340
968.73/969.02	c  968s |      18 |  5171920 |   410552 |    27900     36 |      399 |      340
970.73/971.02	c  970s |      18 |  5189189 |   411852 |    27900     36 |      399 |      340
972.73/973.07	c  972s |      18 |  5206248 |   413452 |    27900     36 |      399 |      340
974.83/975.15	c  974s |      18 |  5214593 |   414352 |    27900     36 |      399 |      340
976.93/977.22	c  976s |      18 |  5217324 |   415152 |    27900     36 |      399 |      340
978.93/979.23	c  978s |      18 |  5220307 |   415852 |    27900     36 |      399 |      340
981.03/981.38	c  981s |      18 |  5230194 |   417052 |    27900     37 |      399 |      340
983.13/983.41	c  983s |      18 |  5247228 |   418452 |    27900     37 |      399 |      340
985.23/985.58	c  985s |      18 |  5273168 |   419852 |    27900     37 |      399 |      340
987.33/987.61	c  987s |      18 |  5302411 |   421252 |    27900     37 |      399 |      340
989.42/989.75	c  989s |      18 |  5311818 |   422452 |    27900     38 |      399 |      340
991.52/991.88	c  991s |      18 |  5328759 |   423952 |    27900     38 |      399 |      340
993.62/993.94	c  993s |      18 |  5346443 |   425552 |    27900     38 |      399 |      340
995.72/996.01	c  995s |      18 |  5365297 |   426752 |    27900     39 |      400 |      341
997.72/998.09	c  997s |      18 |  5396015 |   428152 |    27900     39 |      400 |      341
999.81/1000.10	c  999s |      18 |  5410933 |   429552 |    27900     39 |      400 |      341
1001.92/1002.22	c 1001s |      18 |  5413213 |   430252 |    27900     39 |      400 |      341
1003.91/1004.28	c 1004s |      18 |  5421779 |   431252 |    27900     39 |      400 |      341
1006.01/1006.39	c 1006s |      18 |  5443664 |   432852 |    27900     40 |      400 |      341
1008.11/1008.49	c 1008s |      18 |  5460415 |   434252 |    27900     40 |      400 |      341
1010.40/1010.71	c 1010s |      18 |  5487403 |   435852 |    27900     41 |      400 |      341
1012.40/1012.78	c 1012s |      18 |  5521228 |   437552 |    27900     41 |      400 |      341
1014.50/1014.85	c 1014s |      18 |  5540912 |   439052 |    27900     41 |      400 |      341
1016.60/1016.92	c 1016s |      18 |  5565034 |   440552 |    27900     42 |      400 |      341
1018.70/1019.04	c 1018s |      18 |  5595868 |   442052 |    30691     42 |      400 |      341
1020.69/1021.05	c 1020s |      18 |  5622558 |   443552 |    30691     42 |      400 |      341
1022.09/1022.45	c 1022s |      19 |  5629780 |   444482 |    30691     42 |      400 |      341
1024.19/1024.50	c 1024s |      19 |  5657663 |   445782 |    30691     42 |      400 |      341
1026.19/1026.56	c 1026s |      19 |  5677745 |   446782 |    30691     42 |      400 |      341
1028.20/1028.57	c 1028s |      19 |  5681189 |   447582 |    30691     42 |      400 |      341
1030.39/1030.72	c 1030s |      19 |  5696717 |   448882 |    30691     43 |      400 |      341
1032.39/1032.77	c 1032s |      19 |  5722187 |   450282 |    30691     43 |      400 |      341
1034.48/1034.84	c 1034s |      19 |  5748217 |   451782 |    30691     43 |      400 |      341
1036.58/1036.98	c 1036s |      19 |  5772702 |   453282 |    30691     43 |      400 |      341
1038.68/1039.01	c 1038s |      19 |  5793854 |   454582 |    30691     44 |      400 |      341
1040.78/1041.17	c 1040s |      19 |  5826791 |   456382 |    30691     44 |      400 |      341
1042.88/1043.28	c 1043s |      19 |  5864557 |   457882 |    30691     44 |      400 |      341
1044.98/1045.37	c 1045s |      19 |  5882997 |   459382 |    30691     44 |      400 |      341
1047.28/1047.65	c 1047s |      19 |  5899012 |   461082 |    30691     45 |      400 |      341
1049.48/1049.85	c 1049s |      19 |  5903437 |   461982 |    30691     45 |      400 |      341
1051.78/1052.12	c 1051s |      19 |  5907579 |   462882 |    30691     45 |      400 |      341
1053.87/1054.21	c 1053s |      19 |  5909467 |   463482 |    30691     45 |      400 |      341
1055.87/1056.26	c 1055s |      19 |  5911228 |   463982 |    30691     45 |      400 |      341
1057.99/1058.35	c 1058s |      19 |  5915569 |   464882 |    30691     45 |      400 |      341
1060.18/1060.52	c 1060s |      19 |  5921107 |   465882 |    30691     45 |      400 |      341
1062.28/1062.63	c 1062s |      19 |  5925942 |   466682 |    30691     45 |      400 |      341
1064.27/1064.65	c 1064s |      19 |  5944284 |   467882 |    30691     46 |      400 |      341
1066.37/1066.77	c 1066s |      19 |  5961696 |   469382 |    30691     46 |      400 |      341
1068.37/1068.78	c 1068s |      19 |  5974489 |   470482 |    30691     46 |      400 |      341
1070.56/1070.93	c 1070s |      19 |  5987249 |   471582 |    30691     46 |      400 |      341
1072.56/1072.96	c 1072s |      19 |  5995172 |   472482 |    30691     46 |      400 |      341
1074.66/1075.09	c 1074s |      19 |  5998020 |   473282 |    30691     46 |      400 |      341
1076.96/1077.38	c 1077s |      19 |  5998995 |   473682 |    30691     46 |      400 |      341
1079.45/1079.83	c 1079s |      19 |  6000136 |   474082 |    30691     46 |      400 |      341
1081.65/1082.05	c 1081s |      19 |  6006291 |   474982 |    30691     47 |      400 |      341
1084.05/1084.45	c 1084s |      19 |  6007321 |   475582 |    30691     47 |      400 |      341
1086.05/1086.47	c 1086s |      19 |  6008574 |   476082 |    30691     47 |      400 |      341
1088.35/1088.73	c 1088s |      19 |  6010839 |   476882 |    30691     47 |      400 |      341
1090.75/1091.15	c 1090s |      19 |  6012766 |   477482 |    30691     47 |      400 |      341
1092.75/1093.16	c 1092s |      19 |  6013877 |   477882 |    30691     47 |      400 |      341
1095.14/1095.50	c 1095s |      19 |  6015818 |   478582 |    30691     47 |      400 |      341
1097.45/1097.83	c 1097s |      19 |  6019547 |   478982 |    30691     48 |      401 |      342
1099.53/1099.98	c 1099s |      19 |  6038069 |   480282 |    30691     48 |      401 |      342
1101.64/1102.09	c 1101s |      19 |  6062916 |   481882 |    30691     48 |      401 |      342
1103.94/1104.33	c 1104s |      19 |  6074498 |   483282 |    30691     48 |      401 |      342
1106.14/1106.50	c 1106s |      19 |  6087162 |   484382 |    30691     48 |      401 |      342
1108.14/1108.54	c 1108s |      19 |  6113572 |   485682 |    30691     49 |      401 |      342
1110.13/1110.57	c 1110s |      19 |  6131363 |   486882 |    30691     49 |      401 |      342
1112.23/1112.69	c 1112s |      19 |  6145862 |   488182 |    30691     49 |      401 |      342
1114.43/1114.81	c 1114s |      19 |  6157691 |   489582 |    30691     49 |      401 |      342
1116.43/1116.81	c 1116s |      19 |  6163787 |   490682 |    30691     49 |      401 |      342
1118.63/1119.06	c 1118s |      19 |  6166739 |   491382 |    30691     49 |      401 |      342
1120.82/1121.28	c 1121s |      19 |  6170224 |   492082 |    30691     49 |      401 |      342
1123.02/1123.49	c 1123s |      19 |  6171628 |   492582 |    30691     49 |      401 |      342
1125.12/1125.50	c 1125s |      19 |  6178065 |   493382 |    30691     50 |      401 |      342
1127.23/1127.62	c 1127s |      19 |  6192495 |   494882 |    30691     50 |      401 |      342
1129.22/1129.66	c 1129s |      19 |  6214373 |   496582 |    30691     50 |      401 |      342
1131.21/1131.68	c 1131s |      19 |  6227304 |   497682 |    30691     51 |      401 |      342
1133.31/1133.72	c 1133s |      19 |  6230682 |   498582 |    30691     51 |      401 |      342
1135.41/1135.82	c 1135s |      19 |  6236360 |   499582 |    30691     51 |      401 |      342
1137.61/1138.03	c 1137s |      19 |  6241994 |   500682 |    30691     51 |      401 |      342
1139.71/1140.17	c 1139s |      19 |  6245366 |   501582 |    30691     51 |      401 |      342
1141.90/1142.38	c 1142s |      19 |  6258067 |   502582 |    30691     52 |      401 |      342
1144.10/1144.53	c 1144s |      19 |  6264532 |   503982 |    30691     52 |      401 |      342
1146.30/1146.71	c 1146s |      19 |  6267332 |   504882 |    30691     52 |      401 |      342
1148.30/1148.75	c 1148s |      19 |  6268222 |   505282 |    30691     52 |      401 |      342
1150.31/1150.78	c 1150s |      19 |  6270561 |   505982 |    30691     52 |      401 |      342
1152.60/1153.04	c 1152s |      19 |  6274973 |   507082 |    30691     52 |      401 |      342
1154.71/1155.14	c 1154s |      19 |  6277469 |   507782 |    30691     52 |      401 |      342
1156.81/1157.22	c 1156s |      19 |  6279844 |   508582 |    30691     52 |      401 |      342
1159.00/1159.41	c 1159s |      19 |  6281100 |   509182 |    30691     52 |      401 |      342
1161.10/1161.59	c 1161s |      19 |  6282733 |   509782 |    30691     53 |      401 |      342
1163.20/1163.68	c 1163s |      19 |  6285091 |   510682 |    30691     53 |      401 |      342
1165.49/1165.95	c 1165s |      19 |  6287372 |   511482 |    30691     53 |      401 |      342
1167.59/1168.08	c 1167s |      19 |  6288772 |   511982 |    30691     53 |      401 |      342
1169.69/1170.14	c 1169s |      19 |  6289905 |   512482 |    30691     53 |      401 |      342
1171.69/1172.18	c 1171s |      19 |  6291188 |   512982 |    30691     53 |      401 |      342
1173.99/1174.41	c 1174s |      19 |  6293207 |   513782 |    30691     53 |      401 |      342
1176.09/1176.59	c 1176s |      19 |  6296034 |   514582 |    30691     53 |      401 |      342
1178.19/1178.61	c 1178s |      19 |  6297614 |   515282 |    30691     53 |      401 |      342
1180.28/1180.79	c 1180s |      19 |  6299818 |   515882 |    30691     54 |      401 |      342
1182.38/1182.86	c 1182s |      19 |  6303371 |   516982 |    30691     54 |      401 |      342
1184.48/1184.94	c 1184s |      19 |  6306572 |   517882 |    30691     54 |      401 |      342
1186.87/1187.36	c 1187s |      19 |  6308507 |   518582 |    30691     54 |      401 |      342
1188.97/1189.44	c 1189s |      19 |  6310568 |   519382 |    30691     54 |      401 |      342
1191.18/1191.61	c 1191s |      19 |  6312335 |   520082 |    30691     54 |      401 |      342
1193.38/1193.81	c 1193s |      19 |  6314689 |   520782 |    30691     54 |      401 |      342
1195.48/1195.96	c 1195s |      19 |  6316236 |   521382 |    30691     54 |      401 |      342
1197.68/1198.17	c 1197s |      19 |  6318699 |   522082 |    30691     54 |      401 |      342
1199.77/1200.23	c 1199s |      19 |  6322629 |   523082 |    30691     55 |      401 |      342
1201.87/1202.36	c 1202s |      19 |  6326088 |   523982 |    30691     55 |      401 |      342
1204.07/1204.54	c 1204s |      19 |  6327311 |   524582 |    30691     55 |      401 |      342
1206.16/1206.64	c 1206s |      19 |  6328926 |   525182 |    30691     55 |      401 |      342
1208.16/1208.69	c 1208s |      19 |  6355313 |   526482 |    30691     56 |      401 |      342
1210.15/1210.70	c 1210s |      19 |  6358358 |   527282 |    30691     56 |      401 |      342
1212.25/1212.75	c 1212s |      19 |  6379822 |   528582 |    30691     57 |      401 |      342
1214.25/1214.80	c 1214s |      19 |  6382940 |   529682 |    30691     57 |      401 |      342
1216.35/1216.81	c 1216s |      19 |  6404280 |   530982 |    30691     58 |      401 |      342
1218.36/1218.83	c 1218s |      19 |  6432640 |   532382 |    30691     58 |      401 |      342
1220.45/1220.93	c 1220s |      19 |  6454949 |   533882 |    30691     59 |      401 |      342
1222.45/1222.96	c 1222s |      19 |  6466752 |   534882 |    30691     59 |      401 |      342
1224.55/1225.09	c 1224s |      19 |  6483006 |   536282 |    30691     60 |      401 |      342
1226.65/1227.18	c 1226s |      19 |  6492655 |   537282 |    30691     60 |      401 |      342
1228.75/1229.21	c 1228s |      19 |  6494681 |   537782 |    30691     60 |      401 |      342
1231.15/1231.67	c 1231s |      19 |  6496196 |   538182 |    30691     60 |      401 |      342
1233.76/1234.22	c 1233s |      19 |  6497650 |   538682 |    30691     60 |      401 |      342
1236.35/1236.87	c 1236s |      19 |  6498652 |   539082 |    30691     60 |      401 |      342
1238.45/1238.98	c 1238s |      19 |  6504311 |   539882 |    30691     61 |      401 |      342
1240.65/1241.18	c 1240s |      19 |  6507605 |   540782 |    30691     61 |      401 |      342
1242.75/1243.21	c 1242s |      19 |  6516565 |   541882 |    30691     61 |      401 |      342
1244.76/1245.22	c 1244s |      19 |  6543768 |   543382 |    30691     62 |      401 |      342
1246.75/1247.24	c 1246s |      19 |  6568754 |   544782 |    30691     63 |      401 |      342
1248.95/1249.43	c 1249s |      19 |  6584695 |   545982 |    30691     63 |      401 |      342
1251.25/1251.75	c 1251s |      19 |  6585680 |   546382 |    30691     63 |      401 |      342
1253.56/1254.05	c 1253s |      19 |  6586443 |   546682 |    30691     63 |      401 |      342
1255.55/1256.09	c 1255s |      19 |  6595828 |   547582 |    30691     64 |      401 |      342
1257.85/1258.35	c 1258s |      19 |  6612960 |   549082 |    30691     65 |      401 |      342
1259.95/1260.44	c 1260s |      19 |  6628526 |   550382 |    30691     65 |      401 |      342
1262.36/1262.82	c 1262s |      19 |  6643305 |   551882 |    30691     65 |      401 |      342
1264.45/1264.95	c 1264s |      19 |  6663902 |   553282 |    30691     67 |      401 |      342
1266.55/1267.05	c 1266s |      19 |  6668251 |   554382 |    30691     67 |      401 |      342
1268.55/1269.09	c 1268s |      19 |  6683165 |   555582 |    30691     68 |      401 |      342
1270.75/1271.20	c 1270s |      19 |  6700627 |   557182 |    30691     68 |      401 |      342
1272.85/1273.30	c 1273s |      19 |  6717300 |   558482 |    30691     71 |      402 |      343
1274.85/1275.35	c 1275s |      19 |  6734754 |   559782 |    30691     72 |      402 |      343
1277.04/1277.53	c 1277s |      19 |  6737545 |   560582 |    30691     72 |      402 |      343
1279.04/1279.55	c 1279s |      19 |  6739864 |   561282 |    30691     72 |      402 |      343
1281.05/1281.59	c 1281s |      19 |  6742252 |   561882 |    30691     72 |      402 |      343
1283.35/1283.87	c 1283s |      19 |  6744900 |   562582 |    30691     72 |      402 |      343
1285.45/1285.91	c 1285s |      19 |  6748604 |   563382 |    30691     73 |      402 |      343
1287.65/1288.12	c 1287s |      19 |  6751958 |   564282 |    30691     73 |      402 |      343
1289.74/1290.21	c 1289s |      19 |  6753952 |   564882 |    30691     73 |      402 |      343
1291.74/1292.27	c 1291s |      19 |  6755370 |   565382 |    30691     73 |      402 |      343
1294.04/1294.55	c 1294s |      19 |  6757419 |   565982 |    30691     73 |      402 |      343
1299.85/1300.36	c 1300s |      19 |  6760164 |   566682 |    30691    209 |      402 |      343
1301.84/1302.37	c 1302s |      19 |  6768712 |   567282 |    30691    255 |      402 |      343
1304.04/1304.53	c 1304s |      19 |  6777721 |   568482 |    30691    256 |      402 |      343
1306.14/1306.66	c 1306s |      19 |  6779482 |   569282 |    30691    256 |      402 |      343
1308.44/1308.95	c 1308s |      19 |  6785559 |   570182 |    30691    256 |      402 |      343
1312.24/1312.75	c 1312s |      19 |  6790962 |   570682 |    30691    359 |      402 |      343
1314.74/1315.22	c 1314s |      19 |  6806159 |   571482 |    30691    414 |      402 |      343
1318.14/1318.65	c 1318s |      19 |  6827969 |   572382 |    30691    493 |      402 |      343
1323.14/1323.67	c 1323s |      19 |  6835559 |   572682 |    30691    671 |      402 |      343
1328.14/1328.65	c 1328s |      19 |  6845110 |   573082 |    30691    842 |      402 |      343
1332.54/1333.07	c 1332s |      19 |  6851749 |   573282 |    30691   1029 |      402 |      343
1342.13/1342.67	c 1342s |      19 |  6861441 |   573982 |    30691   1395 |      402 |      343
1345.14/1345.61	c 1345s |      19 |  6866671 |   574082 |    30691   1510 |      402 |      343
1351.03/1351.57	c 1351s |      19 |  6879531 |   575382 |    30691   1662 |      402 |      343
1353.53/1354.08	c 1353s |      19 |  6886941 |   575882 |    30691   1732 |      402 |      343
1355.94/1356.41	c 1356s |      19 |  6891613 |   576682 |    30691   1742 |      402 |      343
1358.23/1358.74	c 1358s |      19 |  6894348 |   577282 |    30691   1742 |      402 |      343
1360.24/1360.75	c 1360s |      19 |  6896483 |   577782 |    30691   1742 |      402 |      343
1363.83/1364.33	c 1364s |      19 |  6904488 |   578382 |    30691   1855 |      402 |      343
1368.33/1368.89	c 1368s |      19 |  6907353 |   578582 |    30691   2035 |      402 |      343
1370.93/1371.47	c 1371s |      19 |  6910169 |   578782 |    30691   2136 |      402 |      343
1374.03/1374.57	c 1374s |      19 |  6920989 |   579682 |    30691   2192 |      402 |      343
1376.13/1376.64	c 1376s |      19 |  6926182 |   580082 |    30691   2257 |      402 |      343
1379.53/1380.05	c 1379s |      19 |  6931777 |   580282 |    30691   2382 |      402 |      343
1382.93/1383.41	c 1383s |      19 |  6935241 |   580482 |    30691   2508 |      402 |      343
1395.83/1396.39	c 1396s |      19 |  6943952 |   581082 |    30691   3022 |      402 |      343
1398.03/1398.58	c 1398s |      19 |  6955829 |   582382 |    30691   3022 |      402 |      343
1400.22/1400.73	c 1400s |      19 |  6959267 |   583382 |    30691   3022 |      402 |      343
1402.33/1402.84	c 1402s |      19 |  6964458 |   584382 |    30691   3023 |      402 |      343
1404.42/1404.98	c 1404s |      19 |  6966633 |   585182 |    30691   3023 |      402 |      343
1406.53/1407.03	c 1406s |      19 |  6968272 |   585782 |    30691   3023 |      402 |      343
1408.73/1409.21	c 1408s |      19 |  6970256 |   586382 |    30691   3023 |      402 |      343
1411.03/1411.53	c 1411s |      19 |  6972706 |   587082 |    30691   3023 |      402 |      343
1413.03/1413.58	c 1413s |      19 |  6973974 |   587582 |    30691   3024 |      402 |      343
1415.12/1415.67	c 1415s |      19 |  6984326 |   588882 |    30691   3024 |      402 |      343
1417.43/1417.92	c 1417s |      19 |  6990191 |   589882 |    30691   3025 |      402 |      343
1419.52/1420.06	c 1419s |      19 |  6995186 |   590982 |    30691   3025 |      402 |      343
1421.83/1422.32	c 1422s |      19 |  6997401 |   591582 |    30691   3025 |      402 |      343
1424.03/1424.55	c 1424s |      19 |  6999190 |   592082 |    30691   3025 |      402 |      343
1426.23/1426.72	c 1426s |      19 |  7001090 |   592882 |    30691   3025 |      402 |      343
1428.32/1428.89	c 1428s |      19 |  7003911 |   593682 |    30691   3026 |      402 |      343
1430.42/1430.94	c 1430s |      19 |  7005857 |   594282 |    30691   3026 |      402 |      343
1432.52/1433.05	c 1432s |      19 |  7011662 |   595382 |    30691   3026 |      402 |      343
1434.62/1435.12	c 1434s |      19 |  7016705 |   596382 |    30691   3027 |      402 |      343
1436.82/1437.37	c 1437s |      19 |  7018680 |   596982 |    30691   3027 |      402 |      343
1439.02/1439.50	c 1439s |      19 |  7020920 |   597582 |    30691   3027 |      402 |      343
1441.02/1441.59	c 1441s |      19 |  7022004 |   598082 |    30691   3027 |      402 |      343
1443.72/1444.28	c 1444s |      19 |  7022869 |   598582 |    30691   3027 |      402 |      343
1446.82/1447.35	c 1447s |      19 |  7029779 |   599382 |    30691   3064 |      402 |      343
1450.92/1451.45	c 1451s |      19 |  7031829 |   599482 |    30691   3226 |      402 |      343
1456.32/1456.85	c 1456s |      19 |  7037282 |   599882 |    30691   3420 |      402 |      343
1460.51/1461.02	c 1460s |      19 |  7038762 |   599982 |    30691   3588 |      402 |      343
1464.02/1464.51	c 1464s |      19 |  7040937 |   600082 |    30691   3721 |      402 |      343
1467.72/1468.22	c 1467s |      19 |  7043614 |   600282 |    30691   3861 |      402 |      343
1474.32/1474.81	c 1474s |      19 |  7046373 |   600382 |    30691   4125 |      402 |      343
1483.52/1484.04	c 1483s |      19 |  7049445 |   600482 |    30691   4497 |      402 |      343
1495.21/1495.80	c 1495s |      19 |  7052446 |   600582 |    30691   4974 |      402 |      343
1503.32/1503.86	c 1503s |      19 |  7057545 |   600782 |    30691   5285 |      402 |      343
1505.81/1506.32	c 1506s |      19 |  7062416 |   601082 |    30691   5365 |      402 |      343
1524.90/1525.41	c 1525s |      19 |  7066949 |   601282 |    30691   6254 |      402 |      343
1527.00/1527.58	c 1527s |      19 |  7075615 |   602482 |    30691   6254 |      402 |      343
1532.41/1532.96	c 1532s |      19 |  7081387 |   602982 |    30691   6427 |      402 |      343
1538.20/1538.72	c 1538s |      19 |  7085142 |   603082 |    30691   6648 |      402 |      343
1546.01/1546.60	c 1546s |      19 |  7088341 |   603182 |    30691   6962 |      402 |      343
1549.80/1550.32	c 1550s |      19 |  7089485 |   603282 |    30691   7108 |      402 |      343
1553.01/1553.54	c 1553s |      19 |  7091203 |   603382 |    30691   7234 |      402 |      343
1560.41/1560.93	c 1560s |      19 |  7093259 |   603482 |    30691   7534 |      402 |      343
1573.00/1573.54	c 1573s |      19 |  7094439 |   603582 |    30691   8041 |      402 |      343
1576.91/1577.43	c 1577s |      19 |  7096758 |   603782 |    30691   8190 |      402 |      343
1592.31/1592.83	c 1592s |      19 |  7098618 |   603882 |    30691   8819 |      402 |      343
1594.40/1594.93	c 1594s |      19 |  7108036 |   605082 |    30691   8819 |      402 |      343
1596.59/1597.11	c 1596s |      19 |  7116161 |   606582 |    30691   8820 |      402 |      343
1598.69/1599.23	c 1598s |      19 |  7128799 |   607882 |    30691   8821 |      402 |      343
1600.90/1601.49	c 1601s |      19 |  7136022 |   609082 |    30691   8822 |      402 |      343
1603.00/1603.54	c 1603s |      19 |  7146381 |   610382 |    30691   8823 |      402 |      343
1605.10/1605.69	c 1605s |      19 |  7149658 |   611182 |    30691   8823 |      402 |      343
1607.30/1607.87	c 1607s |      19 |  7161360 |   612482 |    30691   8825 |      402 |      343
1629.40/1629.90	c 1629s |      19 |  7174340 |   613682 |    30691   9795 |      402 |      343
1638.39/1638.97	c 1638s |      19 |  7177547 |   613882 |    30691  10153 |      402 |      343
1644.39/1644.99	c 1644s |      19 |  7178783 |   613982 |    30691  10416 |      402 |      343
1646.39/1646.99	c 1646s |      19 |  7187752 |   615282 |    30691  10417 |      402 |      343
1648.50/1649.02	c 1648s |      19 |  7189967 |   615982 |    30691  10417 |      402 |      343
1661.59/1662.13	c 1661s |      19 |  7191685 |   616282 |    30691  10910 |      402 |      343
1663.79/1664.31	c 1664s |      19 |  7197024 |   617582 |    30691  10916 |      402 |      343
1665.88/1666.43	c 1666s |      19 |  7200032 |   618282 |    30691  10917 |      402 |      343
1675.28/1675.82	c 1675s |      19 |  7201927 |   618582 |    30691  11249 |      402 |      343
1684.69/1685.22	c 1684s |      19 |  7203510 |   618682 |    30691  11598 |      402 |      343
1701.88/1702.42	c 1702s |      19 |  7206881 |   618782 |    30691  12385 |      402 |      343
1706.08/1706.63	c 1706s |      19 |  7208235 |   618882 |    30691  12575 |      402 |      343
1708.18/1708.74	c 1708s |      19 |  7211078 |   619082 |    30691  12666 |      402 |      343
1712.48/1713.08	c 1712s |      19 |  7214339 |   619682 |    30691  12820 |      402 |      343
1720.18/1720.73	c 1720s |      19 |  7218999 |   619882 |    30691  13150 |      402 |      343
1722.98/1723.54	c 1723s |      19 |  7220936 |   619982 |    30691  13271 |      402 |      343
1732.68/1733.28	c 1733s |      19 |  7223721 |   620082 |    30691  13734 |      402 |      343
1743.27/1743.86	c 1743s |      19 |  7227774 |   620282 |    30691  14231 |      402 |      343
1750.48/1751.03	c 1750s |      19 |  7228891 |   620382 |    30691  14572 |      402 |      343
1754.67/1755.24	c 1754s |      19 |  7232532 |   620582 |    30691  14723 |      402 |      343
1768.87/1769.46	c 1769s |      19 |  7235152 |   620782 |    30691  15263 |      402 |      343
1781.37/1781.99	c 1781s |      19 |  7238596 |   621082 |    30691  15732 |      402 |      343
1786.26/1786.83	c 1786s |      19 |  7239517 |   621182 |    30691  15914 |      402 |      343
1789.87/1790.46	c 1790s |      19 |  7240969 |   621282 |    30691  16049 |      402 |      343
1791.87/1792.49	c 1792s |      19 |  7242203 |   621482 |    30691  16119 |      402 |      343

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

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

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


[startup+0 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 16742
/proc/meminfo: memFree=30605444/32872528 swapFree=11196/354588
[pid=16742] ppid=16739 vsize=744892 CPUtime=0 cores=1,3,5,7
/proc/16742/stat : 16742 (toysat) R 16739 16742 12837 0 -1 4202496 2781 0 0 0 0 0 0 0 20 0 4 0 110332952 762769408 2631 33554432000 4194304 16246674 140737476852832 140737476852256 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16742/statm: 186735 2641 441 2943 0 183629 0
[pid=16742/tid=16743] ppid=16739 vsize=762300 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16743/stat : 16743 (toysat) S 16739 16742 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110332952 780595200 2702 33554432000 4194304 16246674 140737476852832 140072713170160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16742/tid=16744] ppid=16739 vsize=767420 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16744/stat : 16744 (toysat) S 16739 16742 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110332952 785838080 2722 33554432000 4194304 16246674 140737476852832 140072702680304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16742/tid=16745] ppid=16739 vsize=771516 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16745/stat : 16745 (toysat) S 16739 16742 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110332952 790032384 2738 33554432000 4194304 16246674 140737476852832 140072692206768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 16742
/proc/meminfo: memFree=30605444/32872528 swapFree=11196/354588
[pid=16742] ppid=16739 vsize=1302084 CPUtime=0.08 cores=1,3,5,7
/proc/16742/stat : 16742 (toysat) R 16739 16742 12837 0 -1 4202496 25899 0 0 0 5 3 0 0 20 0 4 0 110332952 1333334016 25686 33554432000 4194304 16246674 140737476852832 140737476850624 7368729 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16742/statm: 325521 25701 800 2943 0 322415 0
[pid=16742/tid=16743] ppid=16739 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16743/stat : 16743 (toysat) S 16739 16742 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110332952 1333334016 25713 33554432000 4194304 16246674 140737476852832 140072713170160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16742/tid=16744] ppid=16739 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16744/stat : 16744 (toysat) S 16739 16742 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110332952 1333334016 25724 33554432000 4194304 16246674 140737476852832 140072702680304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16742/tid=16745] ppid=16739 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16745/stat : 16745 (toysat) S 16739 16742 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110332952 1333334016 25734 33554432000 4194304 16246674 140737476852832 140072692206768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200531 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 16742
/proc/meminfo: memFree=30605444/32872528 swapFree=11196/354588
[pid=16742] ppid=16739 vsize=1302084 CPUtime=0.19 cores=1,3,5,7
/proc/16742/stat : 16742 (toysat) R 16739 16742 12837 0 -1 4202496 42662 0 0 0 13 6 0 0 20 0 4 0 110332952 1333334016 42450 33554432000 4194304 16246674 140737476852832 140737476834752 6760513 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16742/statm: 325521 42457 832 2943 0 322415 0
[pid=16742/tid=16743] ppid=16739 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16743/stat : 16743 (toysat) S 16739 16742 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110332952 1333334016 42462 33554432000 4194304 16246674 140737476852832 140072713170160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16742/tid=16744] ppid=16739 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16744/stat : 16744 (toysat) S 16739 16742 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110332952 1333334016 42467 33554432000 4194304 16246674 140737476852832 140072702680304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16742/tid=16745] ppid=16739 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16745/stat : 16745 (toysat) S 16739 16742 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110332952 1333334016 42476 33554432000 4194304 16246674 140737476852832 140072692206768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300523 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 16742
/proc/meminfo: memFree=30605444/32872528 swapFree=11196/354588
[pid=16742] ppid=16739 vsize=1302084 CPUtime=0.28 cores=1,3,5,7
/proc/16742/stat : 16742 (toysat) R 16739 16742 12837 0 -1 4202496 64347 0 0 0 20 8 0 0 20 0 4 0 110332952 1333334016 64134 33554432000 4194304 16246674 140737476852832 140737476834752 13954410 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16742/statm: 325521 64140 869 2943 0 322415 0
[pid=16742/tid=16743] ppid=16739 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16743/stat : 16743 (toysat) S 16739 16742 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110332952 1333334016 64148 33554432000 4194304 16246674 140737476852832 140072713170160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16742/tid=16744] ppid=16739 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16744/stat : 16744 (toysat) S 16739 16742 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110332952 1333334016 64152 33554432000 4194304 16246674 140737476852832 140072702680304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16742/tid=16745] ppid=16739 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16745/stat : 16745 (toysat) S 16739 16742 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110332952 1333334016 64156 33554432000 4194304 16246674 140737476852832 140072692206768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1302084

[startup+0.700415 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 16742
/proc/meminfo: memFree=30605444/32872528 swapFree=11196/354588
[pid=16742] ppid=16739 vsize=1302084 CPUtime=0.69 cores=1,3,5,7
/proc/16742/stat : 16742 (toysat) R 16739 16742 12837 0 -1 4202496 146652 0 0 0 50 19 0 0 20 0 4 0 110332952 1333334016 146439 33554432000 4194304 16246674 140737476852832 140737476834752 5674637 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16742/statm: 325521 146447 875 2943 0 322415 0
[pid=16742/tid=16743] ppid=16739 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16743/stat : 16743 (toysat) S 16739 16742 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110332952 1333334016 146452 33554432000 4194304 16246674 140737476852832 140072713170160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16742/tid=16744] ppid=16739 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16744/stat : 16744 (toysat) S 16739 16742 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110332952 1333334016 146457 33554432000 4194304 16246674 140737476852832 140072702680304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16742/tid=16745] ppid=16739 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16745/stat : 16745 (toysat) S 16739 16742 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110332952 1333334016 146461 33554432000 4194304 16246674 140737476852832 140072692206768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084

[startup+1.50043 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 16746
/proc/meminfo: memFree=29672056/32872528 swapFree=11196/354588
[pid=16742] ppid=16739 vsize=1312324 CPUtime=1.49 cores=1,3,5,7
/proc/16742/stat : 16742 (toysat) R 16739 16742 12837 0 -1 4202496 269061 0 0 0 112 37 0 0 20 0 4 0 110332952 1343819776 268848 33554432000 4194304 16246674 140737476852832 140737476852144 5661363 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16742/statm: 328081 268848 882 2943 0 324975 0
[pid=16742/tid=16743] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16743/stat : 16743 (toysat) S 16739 16742 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 268848 33554432000 4194304 16246674 140737476852832 140072713170160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16742/tid=16744] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16744/stat : 16744 (toysat) S 16739 16742 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 268848 33554432000 4194304 16246674 140737476852832 140072702680304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16742/tid=16745] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16745/stat : 16745 (toysat) S 16739 16742 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 268848 33554432000 4194304 16246674 140737476852832 140072692206768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1312324

[startup+3.10043 s]
/proc/loadavg: 2.11 2.04 2.01 3/183 16746
/proc/meminfo: memFree=29530068/32872528 swapFree=11196/354588
[pid=16742] ppid=16739 vsize=1312324 CPUtime=3.08 cores=1,3,5,7
/proc/16742/stat : 16742 (toysat) R 16739 16742 12837 0 -1 4202496 269262 0 0 0 271 37 0 0 20 0 4 0 110332952 1343819776 269049 33554432000 4194304 16246674 140737476852832 140737476834752 5662768 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16742/statm: 328081 269049 882 2943 0 324975 0
[pid=16742/tid=16743] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16743/stat : 16743 (toysat) S 16739 16742 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269049 33554432000 4194304 16246674 140737476852832 140072713170160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16742/tid=16744] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16744/stat : 16744 (toysat) S 16739 16742 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269049 33554432000 4194304 16246674 140737476852832 140072702680304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16742/tid=16745] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16745/stat : 16745 (toysat) S 16739 16742 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269049 33554432000 4194304 16246674 140737476852832 140072692206768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1312324

[startup+6.30041 s]
/proc/loadavg: 2.11 2.04 2.01 3/183 16746
/proc/meminfo: memFree=29530236/32872528 swapFree=11196/354588
[pid=16742] ppid=16739 vsize=1312324 CPUtime=6.28 cores=1,3,5,7
/proc/16742/stat : 16742 (toysat) R 16739 16742 12837 0 -1 4202496 269262 0 0 0 591 37 0 0 20 0 4 0 110332952 1343819776 269049 33554432000 4194304 16246674 140737476852832 140737476834752 5673965 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16742/statm: 328081 269049 882 2943 0 324975 0
[pid=16742/tid=16743] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16743/stat : 16743 (toysat) S 16739 16742 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269049 33554432000 4194304 16246674 140737476852832 140072713170160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16742/tid=16744] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16744/stat : 16744 (toysat) S 16739 16742 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269049 33554432000 4194304 16246674 140737476852832 140072702680304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16742/tid=16745] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16745/stat : 16745 (toysat) S 16739 16742 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269049 33554432000 4194304 16246674 140737476852832 140072692206768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.10 2.04 2.00 3/184 16749
/proc/meminfo: memFree=29530316/32872528 swapFree=11196/354588
[pid=16742] ppid=16739 vsize=1312324 CPUtime=12.68 cores=1,3,5,7
/proc/16742/stat : 16742 (toysat) R 16739 16742 12837 0 -1 4202496 269264 0 0 0 1231 37 0 0 20 0 4 0 110332952 1343819776 269051 33554432000 4194304 16246674 140737476852832 140737476834752 5532135 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16742/statm: 328081 269051 884 2943 0 324975 0
[pid=16742/tid=16743] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16743/stat : 16743 (toysat) S 16739 16742 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269051 33554432000 4194304 16246674 140737476852832 140072713170160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16742/tid=16744] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16744/stat : 16744 (toysat) S 16739 16742 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269051 33554432000 4194304 16246674 140737476852832 140072702680304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16742/tid=16745] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16745/stat : 16745 (toysat) S 16739 16742 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269051 33554432000 4194304 16246674 140737476852832 140072692206768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.08 2.03 2.00 3/184 16749
/proc/meminfo: memFree=29531544/32872528 swapFree=11196/354588
[pid=16742] ppid=16739 vsize=1312324 CPUtime=25.48 cores=1,3,5,7
/proc/16742/stat : 16742 (toysat) R 16739 16742 12837 0 -1 4202496 269264 0 0 0 2511 37 0 0 20 0 4 0 110332952 1343819776 269051 33554432000 4194304 16246674 140737476852832 140737476834752 5722656 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16742/statm: 328081 269051 884 2943 0 324975 0
[pid=16742/tid=16743] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16743/stat : 16743 (toysat) S 16739 16742 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269051 33554432000 4194304 16246674 140737476852832 140072713170160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16742/tid=16744] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16744/stat : 16744 (toysat) S 16739 16742 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269051 33554432000 4194304 16246674 140737476852832 140072702680304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16742/tid=16745] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16745/stat : 16745 (toysat) S 16739 16742 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269051 33554432000 4194304 16246674 140737476852832 140072692206768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.05 2.03 2.00 3/184 16749
/proc/meminfo: memFree=29531496/32872528 swapFree=11196/354588
[pid=16742] ppid=16739 vsize=1312324 CPUtime=51.08 cores=1,3,5,7
/proc/16742/stat : 16742 (toysat) R 16739 16742 12837 0 -1 4202496 269265 0 0 0 5069 39 0 0 20 0 4 0 110332952 1343819776 269052 33554432000 4194304 16246674 140737476852832 140737476852008 12478189 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16742/statm: 328081 269052 885 2943 0 324975 0
[pid=16742/tid=16743] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16743/stat : 16743 (toysat) S 16739 16742 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269052 33554432000 4194304 16246674 140737476852832 140072713170160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16742/tid=16744] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16744/stat : 16744 (toysat) S 16739 16742 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269052 33554432000 4194304 16246674 140737476852832 140072702680304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16742/tid=16745] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16745/stat : 16745 (toysat) S 16739 16742 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269052 33554432000 4194304 16246674 140737476852832 140072692206768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 16750
/proc/meminfo: memFree=29531260/32872528 swapFree=11196/354588
[pid=16742] ppid=16739 vsize=1312324 CPUtime=102.27 cores=1,3,5,7
/proc/16742/stat : 16742 (toysat) R 16739 16742 12837 0 -1 4202496 269266 0 0 0 10185 42 0 0 20 0 4 0 110332952 1343819776 269053 33554432000 4194304 16246674 140737476852832 140737476852008 13820875 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16742/statm: 328081 269053 885 2943 0 324975 0
[pid=16742/tid=16743] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16743/stat : 16743 (toysat) S 16739 16742 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269053 33554432000 4194304 16246674 140737476852832 140072713170160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16742/tid=16744] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16744/stat : 16744 (toysat) S 16739 16742 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269053 33554432000 4194304 16246674 140737476852832 140072702680304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16742/tid=16745] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16745/stat : 16745 (toysat) S 16739 16742 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269053 33554432000 4194304 16246674 140737476852832 140072692206768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1312324


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

/proc/16742/task/16745/stat : 16745 (toysat) S 16739 16742 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140072692206768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1312324

[startup+1302.3 s]
/proc/loadavg: 2.14 2.09 2.05 3/183 16829
/proc/meminfo: memFree=29517412/32872528 swapFree=11196/354588
[pid=16742] ppid=16739 vsize=1312324 CPUtime=1301.84 cores=1,3,5,7
/proc/16742/stat : 16742 (toysat) R 16739 16742 12837 0 -1 4202496 269620 0 0 0 130101 83 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140737476834752 13950199 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16742/statm: 328081 269309 885 2943 0 324975 0
[pid=16742/tid=16743] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16743/stat : 16743 (toysat) S 16739 16742 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140072713170160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16742/tid=16744] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16744/stat : 16744 (toysat) S 16739 16742 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140072702680304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16742/tid=16745] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16745/stat : 16745 (toysat) S 16739 16742 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140072692206768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1312324

[startup+1362.3 s]
/proc/loadavg: 2.05 2.07 2.04 3/183 16830
/proc/meminfo: memFree=29516320/32872528 swapFree=11196/354588
[pid=16742] ppid=16739 vsize=1312324 CPUtime=1361.83 cores=1,3,5,7
/proc/16742/stat : 16742 (toysat) R 16739 16742 12837 0 -1 4202496 269620 0 0 0 136087 96 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140737476851928 13192016 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16742/statm: 328081 269309 885 2943 0 324975 0
[pid=16742/tid=16743] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16743/stat : 16743 (toysat) S 16739 16742 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140072713170160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16742/tid=16744] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16744/stat : 16744 (toysat) S 16739 16742 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140072702680304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16742/tid=16745] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16745/stat : 16745 (toysat) S 16739 16742 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140072692206768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1312324

[startup+1422.3 s]
/proc/loadavg: 2.02 2.05 2.03 3/183 16831
/proc/meminfo: memFree=29516460/32872528 swapFree=11196/354588
[pid=16742] ppid=16739 vsize=1312324 CPUtime=1421.83 cores=1,3,5,7
/proc/16742/stat : 16742 (toysat) R 16739 16742 12837 0 -1 4202496 269620 0 0 0 142070 113 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140737476834752 6012046 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16742/statm: 328081 269309 885 2943 0 324975 0
[pid=16742/tid=16743] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16743/stat : 16743 (toysat) S 16739 16742 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140072713170160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16742/tid=16744] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16744/stat : 16744 (toysat) S 16739 16742 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140072702680304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16742/tid=16745] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16745/stat : 16745 (toysat) S 16739 16742 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140072692206768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1312324

[startup+1482.3 s]
/proc/loadavg: 2.00 2.04 2.03 3/183 16833
/proc/meminfo: memFree=29516500/32872528 swapFree=11196/354588
[pid=16742] ppid=16739 vsize=1312324 CPUtime=1481.82 cores=1,3,5,7
/proc/16742/stat : 16742 (toysat) R 16739 16742 12837 0 -1 4202496 269620 0 0 0 148053 129 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140737476852008 5653044 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16742/statm: 328081 269309 885 2943 0 324975 0
[pid=16742/tid=16743] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16743/stat : 16743 (toysat) S 16739 16742 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140072713170160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16742/tid=16744] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16744/stat : 16744 (toysat) S 16739 16742 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140072702680304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16742/tid=16745] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16745/stat : 16745 (toysat) S 16739 16742 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140072692206768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1312324

[startup+1542.31 s]
/proc/loadavg: 2.05 2.05 2.03 3/183 16834
/proc/meminfo: memFree=29516768/32872528 swapFree=11196/354588
[pid=16742] ppid=16739 vsize=1312324 CPUtime=1541.82 cores=1,3,5,7
/proc/16742/stat : 16742 (toysat) R 16739 16742 12837 0 -1 4202496 269620 0 0 0 154033 149 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140737476851928 5974189 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16742/statm: 328081 269309 885 2943 0 324975 0
[pid=16742/tid=16743] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16743/stat : 16743 (toysat) S 16739 16742 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140072713170160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16742/tid=16744] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16744/stat : 16744 (toysat) S 16739 16742 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140072702680304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16742/tid=16745] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16745/stat : 16745 (toysat) S 16739 16742 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140072692206768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1312324

[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.02 3/183 16835
/proc/meminfo: memFree=29516424/32872528 swapFree=11196/354588
[pid=16742] ppid=16739 vsize=1312324 CPUtime=1601.8 cores=1,3,5,7
/proc/16742/stat : 16742 (toysat) R 16739 16742 12837 0 -1 4202496 269620 0 0 0 160013 167 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140737476834752 13808416 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16742/statm: 328081 269309 885 2943 0 324975 0
[pid=16742/tid=16743] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16743/stat : 16743 (toysat) S 16739 16742 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140072713170160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16742/tid=16744] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16744/stat : 16744 (toysat) S 16739 16742 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140072702680304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16742/tid=16745] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16745/stat : 16745 (toysat) S 16739 16742 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140072692206768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1312324

[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.02 4/183 16836
/proc/meminfo: memFree=29516228/32872528 swapFree=11196/354588
[pid=16742] ppid=16739 vsize=1312324 CPUtime=1661.78 cores=1,3,5,7
/proc/16742/stat : 16742 (toysat) R 16739 16742 12837 0 -1 4202496 269620 0 0 0 166008 170 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140737476834752 4224581 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16742/statm: 328081 269309 885 2943 0 324975 0
[pid=16742/tid=16743] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16743/stat : 16743 (toysat) S 16739 16742 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140072713170160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16742/tid=16744] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16744/stat : 16744 (toysat) S 16739 16742 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140072702680304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16742/tid=16745] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16745/stat : 16745 (toysat) S 16739 16742 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140072692206768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1312324

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/183 16837
/proc/meminfo: memFree=29516392/32872528 swapFree=11196/354588
[pid=16742] ppid=16739 vsize=1312324 CPUtime=1721.78 cores=1,3,5,7
/proc/16742/stat : 16742 (toysat) R 16739 16742 12837 0 -1 4202496 269620 0 0 0 172003 175 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140737476834752 5974291 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16742/statm: 328081 269309 885 2943 0 324975 0
[pid=16742/tid=16743] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16743/stat : 16743 (toysat) S 16739 16742 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140072713170160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16742/tid=16744] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16744/stat : 16744 (toysat) S 16739 16742 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140072702680304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16742/tid=16745] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16745/stat : 16745 (toysat) S 16739 16742 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140072692206768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1312324

[startup+1782.3 s]
/proc/loadavg: 2.13 2.05 2.02 3/183 16839
/proc/meminfo: memFree=29515684/32872528 swapFree=11196/354588
[pid=16742] ppid=16739 vsize=1312324 CPUtime=1781.77 cores=1,3,5,7
/proc/16742/stat : 16742 (toysat) R 16739 16742 12837 0 -1 4202496 269620 0 0 0 178000 177 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140737476850624 13818354 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16742/statm: 328081 269309 885 2943 0 324975 0
[pid=16742/tid=16743] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16743/stat : 16743 (toysat) S 16739 16742 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140072713170160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16742/tid=16744] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16744/stat : 16744 (toysat) S 16739 16742 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140072702680304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16742/tid=16745] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16745/stat : 16745 (toysat) S 16739 16742 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140072692206768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1312324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.10 2.04 2.01 3/183 16839
/proc/meminfo: memFree=29515668/32872528 swapFree=11196/354588
[pid=16742] ppid=16739 vsize=1312324 CPUtime=1800.06 cores=1,3,5,7
/proc/16742/stat : 16742 (toysat) R 16739 16742 12837 0 -1 4202496 269620 0 0 0 179828 178 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140737476851928 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16742/statm: 328081 269309 885 2943 0 324975 0
[pid=16742/tid=16743] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16743/stat : 16743 (toysat) S 16739 16742 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140072713170160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16742/tid=16744] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16744/stat : 16744 (toysat) S 16739 16742 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140072702680304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16742/tid=16745] ppid=16739 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16742/task/16745/stat : 16745 (toysat) S 16739 16742 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110332952 1343819776 269309 33554432000 4194304 16246674 140737476852832 140072692206768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1312324

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 16742 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.61
CPU time (s): 1800.08
CPU user time (s): 1798.29
CPU system time (s): 1.78773
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 1312324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.29
system time used= 1.78773
maximum resident set size= 1077236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269620
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 369
involuntary context switches= 2097

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.46302 second user time and 9.10961 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-07 09:19:55
IDJOB=4078930
IDBENCH=90137
IDSOLVER=2542
FILE ID=node126/4078930-1465283995
RUNJOBID= node126-1465253620-12854
PBS_JOBID= 19843265
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K109.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078930-1465283995/watcher-4078930-1465283995 -o /tmp/evaluation-result-4078930-1465283995/solver-4078930-1465283995 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12854 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078930-1465283995.opb

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

MD5SUM BENCH= 3a5151d7fc286e1b50737dee685a4276
RANDOM SEED=183651023

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30606204 kB
Buffers:           19152 kB
Cached:            79688 kB
SwapCached:         2100 kB
Active:          1138928 kB
Inactive:          41816 kB
Active(anon):    1078940 kB
Inactive(anon):     4724 kB
Active(file):      59988 kB
Inactive(file):    37092 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             16720 kB
Writeback:             0 kB
AnonPages:       1520576 kB
Mapped:            10700 kB
Shmem:                 0 kB
Slab:             595336 kB
SReclaimable:      39524 kB
SUnreclaim:       555812 kB
KernelStack:        1528 kB
PageTables:         6992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1582368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    628736 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= 71708 MiB
End job on node126 at 2016-06-07 09:49:56