Trace number 4078884

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K74.opb
MD5SUM2c8bde17548c9a00246d31b2c96230ce
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 benchmark9.08262
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4070
Total number of constraints4220
Number of constraints which are clauses4146
Number of constraints which are cardinality constraints (but not clauses)74
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint74
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 75
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-07T10:24:02+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-4078884-1465287841.opb"]
0.00/0.01	c use --random-gen="2255474726 2987427108 1317379120 3642718491 1160256245 2771445992 3050504931 2331990947 3476814096 4249421325 2900312378 329530797 3951534417 4171106093 2714026019 2782141126 1195315273 1781859202 3525525274 1137342302 3031178672 1020952291 4181439434 2973725280 3261203320 4195254340 1274460849 1793096372 1358581040 2745045223 395098246 4044514419 2691884255 3068798870 3084851181 837518661 1067459343 2634256011 165736320 2301563474 1874236164 3208911130 2410035232 1883106651 1879814718 2138143745 3783540421 1743692771 1535645063 3020790322 3639830795 871977714 2520583380 1290286392 3459313046 3323442409 3940329298 1292086626 3025215399 1312554099 1387184835 2462242734 4147986063 867444939 3967966682 2521207086 502781563 3992499015 3841927916 3534003431 656103397 4277965751 2444486414 3701349567 4129579148 3798399881 2385288545 3032911278 1960288817 2444753362 1629920979 2687438646 521338594 761785560 1924941081 709873217 2981250319 1991529768 1978514764 2412052697 3914760356 2933571881 2506829876 180138651 2929085258 3615982281 2291359427 4062835898 410858915 1767114931 1652819460 3323258714 146712116 701314970 1717136584 1451136419 172021949 2319387801 150927603 249049939 3064669071 1443644665 190539202 3352570551 1451121700 87628050 3809538033 768020982 330345542 3933741198 2267485149 2993117676 560406913 3036211103 3887797601 3962111074 2710747505 1052507307 2115513513 1965009599 1642117937 2067015332 3021626914 772174394 2453408362 684388887 559369705 1575012593 4251050554 2828039149 904473586 1413195646 564675706 1006535774 3304099005 4219375358 1563783282 3235088622 734039422 4168296676 4034679534 1962754620 4199497121 27791065 249410741 3615564266 2809553351 2106450148 3553284178 2089059561 2617495664 3154052471 247258587 1111288918 190471023 1124078927 525552908 3912553602 3638527797 3793879839 2989736539 4073794252 4186978518 2733719412 4072649873 4071791589 3604266456 1596177062 1721654047 2566913776 340953978 532524596 4271961396 220687822 530515745 1669900318 3248269061 2596082730 93402306 354538597 3169087586 394806291 976842467 1866876396 3652016614 3221658085 777974393 1739350164 2178725087 1614791123 4247015753 58726515 146925081 1353942518 2152313927 245368555 3365995332 2514157648 70233049 1596800818 2037571430 1165903044 690036069 3721498994 526698342 877001768 2567946747 576226770 2209848901 2159445020 205384500 921397477 238945550 2755664576 152036759 3757696849 66747629 2849116253 633373510 66275780 2650494942 4089195844 3276153183 3369962391 3835913371 2350349694 2019495470 971992219 56614196 1634335388 1415931826 3701345786 1370293231 2606551961 2407024758 1870204182 2826414771 3479716409 3925822576 1867356674 3786355814 1456906931 3296933902 693160011 1242915563 3994951347 255 362436" option to reproduce the execution
0.00/0.07	c #vars 4070
0.00/0.07	c #constraints 4220
0.09/0.15	c Solving starts ...
0.09/0.15	c ============================[ Search Statistics ]============================
0.09/0.15	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.15	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.15	c =============================================================================
0.09/0.15	c  0.0s |       0 |        0 |        0 |     2762      0 |      455 |        0
0.19/0.27	c  0.1s |       1 |     3112 |      100 |     2762      0 |      456 |      411
0.38/0.46	c  0.3s |       2 |     6799 |      250 |     3039      0 |      461 |      416
0.59/0.67	c  0.5s |       3 |    10354 |      475 |     3343      0 |      461 |      416
0.88/0.97	c  0.8s |       4 |    11685 |      813 |     3678      0 |      461 |      416
1.49/1.59	c  1.4s |       5 |    15370 |     1320 |     4046      0 |      463 |      418
2.09/2.19	c  2.0s |       6 |    23208 |     2081 |     4897      0 |      466 |      421
3.08/3.14	c  3.0s |       7 |    35397 |     3223 |     5387      0 |      470 |      425
5.18/5.25	c  5.1s |       7 |    48205 |     4823 |     5387      0 |      476 |      431
5.38/5.46	c  5.3s |       8 |    48470 |     4936 |     5926      0 |      476 |      431
7.48/7.51	c  7.4s |       8 |    63034 |     6636 |     5926      0 |      478 |      433
8.68/8.71	c  8.6s |       9 |    69737 |     7506 |     6519      1 |      482 |      437
10.78/10.82	c 10.7s |       9 |    76319 |     8906 |     6519      1 |      484 |      439
12.78/12.83	c 12.7s |       9 |    92544 |    10306 |     6519      1 |      493 |      448
13.88/13.95	c 13.8s |      10 |   101005 |    11361 |     7171      2 |      495 |      450
15.98/16.05	c 15.9s |      10 |   113304 |    13361 |     7171      2 |      495 |      450
18.28/18.31	c 18.2s |      10 |   119033 |    14761 |     7171      2 |      495 |      450
20.29/20.33	c 20.2s |      10 |   122408 |    15761 |     7171      2 |      495 |      450
22.29/22.35	c 22.2s |      10 |   126138 |    16861 |     7171      3 |      495 |      450
22.99/23.09	c 22.9s |      11 |   127358 |    17144 |     7889      3 |      495 |      450
25.09/25.10	c 24.9s |      11 |   141152 |    19044 |     7889      3 |      496 |      451
27.19/27.20	c 27.0s |      11 |   149800 |    20544 |     7889      3 |      496 |      451
29.19/29.23	c 29.1s |      11 |   161289 |    22544 |     7889      4 |      496 |      451
31.39/31.40	c 31.2s |      11 |   180077 |    24644 |     7889      4 |      499 |      454
32.69/32.75	c 32.6s |      12 |   188104 |    25819 |     8678      5 |      500 |      455
34.79/34.83	c 34.7s |      12 |   203267 |    27919 |     8678      5 |      502 |      457
36.89/36.91	c 36.8s |      12 |   208501 |    28919 |     8678      5 |      502 |      457
38.89/38.92	c 38.8s |      12 |   222636 |    30719 |     8678      6 |      504 |      459
40.89/40.96	c 40.8s |      12 |   234264 |    32419 |     8678      6 |      505 |      460
42.89/42.98	c 42.8s |      12 |   247847 |    34519 |     8678      6 |      505 |      460
44.89/44.99	c 44.8s |      12 |   258098 |    36219 |     8678      7 |      505 |      460
46.98/47.06	c 46.9s |      12 |   269358 |    38119 |     8678      7 |      505 |      460
47.98/48.02	c 47.9s |      13 |   274086 |    38832 |     9546      7 |      505 |      460
50.08/50.12	c 50.0s |      13 |   288310 |    40632 |     9546      7 |      506 |      461
52.08/52.12	c 52.0s |      13 |   301796 |    42132 |     9546      8 |      507 |      462
54.18/54.23	c 54.1s |      13 |   320357 |    44132 |     9546      8 |      511 |      466
56.28/56.39	c 56.2s |      13 |   328427 |    45732 |     9546      8 |      511 |      466
58.48/58.55	c 58.4s |      13 |   337355 |    47232 |     9546      9 |      514 |      469
60.49/60.56	c 60.4s |      13 |   343178 |    48732 |     9546      9 |      514 |      469
62.69/62.75	c 62.6s |      13 |   345512 |    49532 |     9546      9 |      514 |      469
64.89/64.93	c 64.8s |      13 |   350451 |    50832 |     9546      9 |      514 |      469
66.88/66.98	c 66.8s |      13 |   360409 |    52432 |     9546     10 |      516 |      471
68.98/69.02	c 68.9s |      13 |   366794 |    53932 |     9546     10 |      516 |      471
71.28/71.38	c 71.2s |      13 |   381877 |    55932 |     9546     10 |      516 |      471
73.68/73.72	c 73.6s |      13 |   386285 |    57132 |     9546     10 |      516 |      471
75.78/75.80	c 75.6s |      13 |   388220 |    57932 |     9546     10 |      516 |      471
76.38/76.40	c 76.2s |      14 |   390167 |    58352 |    10501     11 |      516 |      471
78.38/78.48	c 78.3s |      14 |   411201 |    60652 |    10501     11 |      517 |      472
80.38/80.49	c 80.3s |      14 |   426628 |    62552 |    10501     11 |      517 |      472
82.48/82.57	c 82.4s |      14 |   440124 |    63952 |    10501     11 |      517 |      472
84.58/84.61	c 84.5s |      14 |   454116 |    65252 |    10501     12 |      517 |      472
86.77/86.85	c 86.7s |      14 |   459429 |    66552 |    10501     12 |      517 |      472
88.87/88.97	c 88.8s |      14 |   468409 |    67952 |    10501     12 |      518 |      473
90.98/91.00	c 90.8s |      14 |   477391 |    69452 |    10501     12 |      518 |      473
92.97/93.05	c 92.9s |      14 |   489800 |    71252 |    10501     13 |      518 |      473
94.97/95.07	c 94.9s |      14 |   498357 |    72952 |    10501     13 |      518 |      473
96.97/97.09	c 96.9s |      14 |   506424 |    74552 |    10501     13 |      518 |      473
98.98/99.10	c 98.9s |      14 |   514736 |    75952 |    10501     14 |      518 |      473
101.18/101.21	c  101s |      14 |   520759 |    77552 |    10501     14 |      518 |      473
103.17/103.21	c  103s |      14 |   528269 |    79252 |    10501     14 |      518 |      473
105.37/105.47	c  105s |      14 |   537560 |    80952 |    10501     15 |      519 |      474
107.37/107.48	c  107s |      14 |   542793 |    82152 |    10501     15 |      520 |      475
109.47/109.56	c  109s |      14 |   553376 |    83852 |    10501     15 |      520 |      475
111.57/111.64	c  111s |      14 |   569302 |    85852 |    10501     15 |      521 |      476
113.57/113.63	c  113s |      15 |   580546 |    87632 |    11552     16 |      521 |      476
115.67/115.70	c  115s |      15 |   587358 |    89332 |    11552     16 |      521 |      476
117.68/117.72	c  117s |      15 |   590332 |    90032 |    11552     16 |      521 |      476
119.67/119.72	c  119s |      15 |   602036 |    91832 |    11552     16 |      521 |      476
121.67/121.79	c  121s |      15 |   615387 |    93632 |    11552     16 |      521 |      476
123.77/123.82	c  123s |      15 |   625131 |    95232 |    11552     17 |      521 |      476
125.77/125.85	c  125s |      15 |   634359 |    97032 |    11552     17 |      521 |      476
127.87/127.97	c  127s |      15 |   637778 |    98232 |    11552     17 |      521 |      476
129.97/130.08	c  129s |      15 |   640735 |    99132 |    11552     17 |      521 |      476
132.07/132.10	c  131s |      15 |   642923 |    99732 |    11552     17 |      521 |      476
134.07/134.20	c  134s |      15 |   649639 |   101132 |    11552     17 |      521 |      476
136.17/136.23	c  136s |      15 |   657537 |   102632 |    11552     18 |      521 |      476
138.16/138.29	c  138s |      15 |   661050 |   103732 |    11552     18 |      521 |      476
140.36/140.44	c  140s |      15 |   663068 |   104432 |    11552     18 |      521 |      476
142.46/142.54	c  142s |      15 |   667370 |   105632 |    11552     18 |      521 |      476
144.56/144.62	c  144s |      15 |   673515 |   107132 |    11552     18 |      521 |      476
146.56/146.70	c  146s |      15 |   677235 |   108232 |    11552     18 |      521 |      476
148.66/148.73	c  148s |      15 |   680286 |   109132 |    11552     19 |      521 |      476
150.67/150.74	c  150s |      15 |   684702 |   110332 |    11552     19 |      521 |      476
152.66/152.75	c  152s |      15 |   688789 |   111632 |    11552     19 |      521 |      476
154.96/155.00	c  154s |      15 |   690703 |   112532 |    11552     19 |      521 |      476
157.07/157.14	c  156s |      15 |   692780 |   113232 |    11552     19 |      521 |      476
159.07/159.19	c  159s |      15 |   696106 |   114032 |    11552     19 |      521 |      476
161.37/161.41	c  161s |      15 |   698222 |   114832 |    11552     19 |      521 |      476
163.47/163.58	c  163s |      15 |   703274 |   116032 |    11552     20 |      521 |      476
165.57/165.62	c  165s |      15 |   707229 |   117332 |    11552     20 |      521 |      476
167.77/167.86	c  167s |      15 |   709913 |   118132 |    11552     20 |      521 |      476
169.77/169.87	c  169s |      15 |   710809 |   118532 |    11552     20 |      521 |      476
171.87/171.96	c  171s |      15 |   714359 |   119632 |    11552     20 |      521 |      476
173.87/173.97	c  173s |      15 |   719951 |   120932 |    11552     20 |      521 |      476
175.97/176.09	c  175s |      15 |   723638 |   121832 |    11552     21 |      521 |      476
178.06/178.20	c  178s |      15 |   730494 |   123532 |    11552     21 |      521 |      476
180.37/180.42	c  180s |      15 |   735881 |   124932 |    11552     21 |      521 |      476
182.46/182.58	c  182s |      15 |   739062 |   125932 |    11552     21 |      521 |      476
184.66/184.76	c  184s |      15 |   740603 |   126532 |    11552     21 |      521 |      476
186.86/186.92	c  186s |      15 |   743321 |   127232 |    11552     21 |      521 |      476
188.86/188.99	c  188s |      15 |   746555 |   128232 |    11552     21 |      521 |      476
190.86/191.00	c  190s |      15 |   748138 |   128932 |    11552     21 |      521 |      476
193.06/193.16	c  193s |      15 |   752070 |   130032 |    11552     22 |      521 |      476
195.16/195.23	c  195s |      15 |   754705 |   130832 |    12708     22 |      521 |      476
196.66/196.77	c  196s |      16 |   756659 |   131552 |    12708     22 |      521 |      476
198.76/198.81	c  198s |      16 |   769997 |   133552 |    12708     22 |      521 |      476
200.76/200.82	c  200s |      16 |   777960 |   134952 |    12708     22 |      522 |      477
202.96/203.00	c  202s |      16 |   783594 |   136352 |    12708     22 |      522 |      477
205.06/205.12	c  204s |      16 |   786202 |   137152 |    12708     23 |      522 |      477
207.06/207.17	c  207s |      16 |   791940 |   138752 |    12708     23 |      522 |      477
209.16/209.28	c  209s |      16 |   795506 |   139752 |    12708     23 |      522 |      477
211.26/211.34	c  211s |      16 |   798960 |   140652 |    12708     23 |      522 |      477
213.46/213.56	c  213s |      16 |   802498 |   141552 |    12708     23 |      522 |      477
215.75/215.86	c  215s |      16 |   804807 |   142252 |    12708     23 |      522 |      477
217.86/217.97	c  217s |      16 |   811479 |   143352 |    12708     24 |      522 |      477
219.96/220.03	c  219s |      16 |   826245 |   145652 |    12708     24 |      523 |      478
222.05/222.17	c  222s |      16 |   835493 |   147552 |    12708     24 |      523 |      478
224.15/224.23	c  224s |      16 |   840425 |   148852 |    12708     24 |      523 |      478
226.15/226.26	c  226s |      16 |   844076 |   150052 |    12708     24 |      523 |      478
228.15/228.28	c  228s |      16 |   851307 |   151552 |    12708     25 |      523 |      478
230.35/230.40	c  230s |      16 |   855777 |   153052 |    12708     25 |      523 |      478
232.35/232.41	c  232s |      16 |   858059 |   153952 |    12708     25 |      523 |      478
234.36/234.42	c  234s |      16 |   860193 |   154752 |    12708     25 |      523 |      478
236.46/236.51	c  236s |      16 |   862480 |   155552 |    12708     25 |      523 |      478
238.46/238.52	c  238s |      16 |   864413 |   156352 |    12708     25 |      523 |      478
240.46/240.56	c  240s |      16 |   868067 |   157352 |    12708     25 |      523 |      478
242.56/242.62	c  242s |      16 |   872181 |   158552 |    12708     26 |      523 |      478
244.66/244.72	c  244s |      16 |   875917 |   159852 |    12708     26 |      523 |      478
246.76/246.89	c  246s |      16 |   877735 |   160652 |    12708     26 |      523 |      478
248.85/248.94	c  248s |      16 |   880873 |   161652 |    12708     26 |      523 |      478
250.95/251.03	c  250s |      16 |   888683 |   163352 |    12708     26 |      523 |      478
253.15/253.26	c  253s |      16 |   893256 |   164552 |    12708     26 |      523 |      478
255.26/255.32	c  255s |      16 |   898659 |   165952 |    12708     27 |      523 |      478
257.25/257.39	c  257s |      16 |   906096 |   167652 |    12708     27 |      523 |      478
259.35/259.49	c  259s |      16 |   908618 |   168552 |    12708     27 |      523 |      478
261.45/261.56	c  261s |      16 |   913725 |   169752 |    12708     27 |      523 |      478
263.55/263.66	c  263s |      16 |   918559 |   171052 |    12708     27 |      523 |      478
265.75/265.84	c  265s |      16 |   923298 |   172452 |    12708     28 |      523 |      478
267.85/267.92	c  267s |      16 |   926705 |   173552 |    12708     28 |      523 |      478
270.15/270.20	c  270s |      16 |   929495 |   174452 |    12708     28 |      523 |      478
272.25/272.35	c  272s |      16 |   933590 |   175552 |    12708     28 |      523 |      478
274.45/274.51	c  274s |      16 |   936165 |   176452 |    12708     28 |      523 |      478
276.45/276.56	c  276s |      16 |   942563 |   177952 |    12708     29 |      523 |      478
278.45/278.60	c  278s |      16 |   948150 |   179152 |    12708     29 |      523 |      478
280.56/280.67	c  280s |      16 |   950974 |   180152 |    12708     29 |      523 |      478
282.85/282.90	c  282s |      16 |   954458 |   181352 |    12708     29 |      523 |      478
285.05/285.15	c  284s |      16 |   956261 |   182152 |    12708     29 |      523 |      478
287.15/287.28	c  287s |      16 |   964047 |   183852 |    12708     30 |      523 |      478
289.25/289.36	c  289s |      16 |   967632 |   185052 |    12708     30 |      523 |      478
291.34/291.40	c  291s |      16 |   973407 |   186552 |    12708     30 |      523 |      478
293.44/293.52	c  293s |      16 |   978255 |   188052 |    12708     30 |      523 |      478
295.44/295.54	c  295s |      16 |   987271 |   189552 |    12708     31 |      523 |      478
297.44/297.55	c  297s |      16 |  1005093 |   191852 |    12708     31 |      523 |      478
299.44/299.57	c  299s |      16 |  1025214 |   194252 |    12708     32 |      523 |      478
301.64/301.70	c  301s |      16 |  1044796 |   196752 |    13979     32 |      523 |      478
302.14/302.28	c  302s |      17 |  1053022 |   197432 |    13979     32 |      523 |      478
304.24/304.36	c  304s |      17 |  1065299 |   199432 |    13979     33 |      523 |      478
306.24/306.39	c  306s |      17 |  1078377 |   201532 |    13979     33 |      523 |      478
308.34/308.42	c  308s |      17 |  1086033 |   203032 |    13979     33 |      523 |      478
310.44/310.52	c  310s |      17 |  1088025 |   203532 |    13979     33 |      523 |      478
312.45/312.56	c  312s |      17 |  1093718 |   204332 |    13979     33 |      523 |      478
314.55/314.62	c  314s |      17 |  1105429 |   206332 |    13979     34 |      523 |      478
316.85/316.97	c  316s |      17 |  1109786 |   207732 |    13979     34 |      523 |      478
318.84/318.98	c  318s |      17 |  1111871 |   208532 |    13979     34 |      523 |      478
320.94/321.05	c  320s |      17 |  1115118 |   209732 |    13979     34 |      523 |      478
322.94/323.09	c  322s |      17 |  1125130 |   211232 |    13979     35 |      523 |      478
325.04/325.10	c  324s |      17 |  1142801 |   213532 |    13979     35 |      523 |      478
327.04/327.15	c  326s |      17 |  1157385 |   215532 |    13979     35 |      523 |      478
329.04/329.17	c  329s |      17 |  1169308 |   217432 |    13979     36 |      523 |      478
331.14/331.26	c  331s |      17 |  1176471 |   219032 |    13979     36 |      523 |      478
333.34/333.41	c  333s |      17 |  1180402 |   220232 |    13979     36 |      523 |      478
335.34/335.41	c  335s |      17 |  1194333 |   222232 |    13979     37 |      523 |      478
337.44/337.52	c  337s |      17 |  1204808 |   224132 |    13979     37 |      523 |      478
339.44/339.55	c  339s |      17 |  1222946 |   226332 |    13979     38 |      524 |      479
341.53/341.63	c  341s |      17 |  1239321 |   228632 |    13979     38 |      524 |      479
343.63/343.76	c  343s |      17 |  1242447 |   229632 |    13979     38 |      524 |      479
345.83/345.90	c  345s |      17 |  1250853 |   231332 |    13979     39 |      524 |      479
347.93/348.01	c  347s |      17 |  1260439 |   232732 |    13979     39 |      524 |      479
350.03/350.10	c  349s |      17 |  1273852 |   234732 |    13979     40 |      524 |      479
352.13/352.28	c  352s |      17 |  1284596 |   236632 |    13979     40 |      524 |      479
354.24/354.34	c  354s |      17 |  1288481 |   237732 |    13979     40 |      524 |      479
356.34/356.41	c  356s |      17 |  1291617 |   238732 |    13979     40 |      524 |      479
358.54/358.61	c  358s |      17 |  1295782 |   239832 |    13979     41 |      524 |      479
360.53/360.67	c  360s |      17 |  1297972 |   240632 |    13979     41 |      524 |      479
362.54/362.68	c  362s |      17 |  1302310 |   241732 |    13979     41 |      524 |      479
364.74/364.83	c  364s |      17 |  1304604 |   242632 |    13979     41 |      524 |      479
366.83/366.99	c  366s |      17 |  1307089 |   243532 |    13979     41 |      524 |      479
369.13/369.26	c  369s |      17 |  1311378 |   244632 |    13979     42 |      524 |      479
371.53/371.61	c  371s |      17 |  1313880 |   245532 |    13979     42 |      524 |      479
373.73/373.82	c  373s |      17 |  1317658 |   246632 |    13979     42 |      524 |      479
375.93/376.03	c  375s |      17 |  1321161 |   247632 |    13979     42 |      524 |      479
378.03/378.14	c  377s |      17 |  1326130 |   248932 |    13979     43 |      524 |      479
380.13/380.29	c  380s |      17 |  1329898 |   250132 |    13979     43 |      524 |      479
382.33/382.43	c  382s |      17 |  1333206 |   251232 |    13979     43 |      524 |      479
384.33/384.45	c  384s |      17 |  1335471 |   251932 |    13979     43 |      524 |      479
386.63/386.77	c  386s |      17 |  1336679 |   252532 |    13979     43 |      524 |      479
388.73/388.82	c  388s |      17 |  1340043 |   253532 |    13979     44 |      524 |      479
390.73/390.86	c  390s |      17 |  1343684 |   254632 |    13979     44 |      524 |      479
393.03/393.11	c  392s |      17 |  1346698 |   255532 |    13979     44 |      524 |      479
395.23/395.37	c  395s |      17 |  1349050 |   256332 |    13979     44 |      524 |      479
397.23/397.38	c  397s |      17 |  1352836 |   257232 |    13979     45 |      524 |      479
399.34/399.49	c  399s |      17 |  1359422 |   258832 |    13979     45 |      524 |      479
401.44/401.55	c  401s |      17 |  1362487 |   259832 |    13979     45 |      524 |      479
403.64/403.78	c  403s |      17 |  1364644 |   260532 |    13979     45 |      524 |      479
406.03/406.15	c  406s |      17 |  1366771 |   261232 |    13979     45 |      524 |      479
408.14/408.24	c  408s |      17 |  1370878 |   262532 |    13979     46 |      524 |      479
410.24/410.32	c  410s |      17 |  1374510 |   263632 |    13979     46 |      524 |      479
412.23/412.33	c  412s |      17 |  1377023 |   264532 |    13979     46 |      524 |      479
414.33/414.47	c  414s |      17 |  1379216 |   265332 |    13979     46 |      524 |      479
416.43/416.54	c  416s |      17 |  1384399 |   266532 |    13979     47 |      524 |      479
418.42/418.58	c  418s |      17 |  1386466 |   267232 |    13979     47 |      524 |      479
420.62/420.72	c  420s |      17 |  1389409 |   268232 |    13979     47 |      524 |      479
422.82/422.96	c  422s |      17 |  1394041 |   269332 |    13979     47 |      524 |      479
424.92/425.08	c  424s |      17 |  1397894 |   270332 |    13979     48 |      524 |      479
427.02/427.11	c  426s |      17 |  1400905 |   271132 |    13979     48 |      524 |      479
429.32/429.42	c  429s |      17 |  1402695 |   271632 |    13979     48 |      524 |      479
431.42/431.57	c  431s |      17 |  1404608 |   272232 |    13979     48 |      524 |      479
433.52/433.60	c  433s |      17 |  1405971 |   272732 |    13979     48 |      524 |      479
435.52/435.62	c  435s |      17 |  1416764 |   274132 |    13979     49 |      524 |      479
437.52/437.67	c  437s |      17 |  1429200 |   275832 |    13979     50 |      524 |      479
439.62/439.75	c  439s |      17 |  1447922 |   278132 |    13979     50 |      524 |      479
441.72/441.82	c  441s |      17 |  1461851 |   280232 |    13979     51 |      524 |      479
443.72/443.89	c  443s |      17 |  1469555 |   281932 |    13979     51 |      524 |      479
445.82/445.98	c  445s |      17 |  1476589 |   283532 |    13979     52 |      524 |      479
447.91/448.09	c  447s |      17 |  1485253 |   285132 |    13979     52 |      524 |      479
450.02/450.14	c  449s |      17 |  1491636 |   286332 |    13979     53 |      524 |      479
452.12/452.24	c  452s |      17 |  1506085 |   288532 |    13979     54 |      524 |      479
454.12/454.28	c  454s |      17 |  1524567 |   290832 |    13979     55 |      524 |      479
456.11/456.29	c  456s |      17 |  1529084 |   292432 |    13979     56 |      524 |      479
458.22/458.32	c  458s |      17 |  1531858 |   293432 |    13979     56 |      524 |      479
460.22/460.32	c  460s |      17 |  1543214 |   295632 |    15377     57 |      524 |      479
460.72/460.88	c  460s |      18 |  1546374 |   296252 |    15377     57 |      524 |      479
462.92/463.00	c  462s |      18 |  1553082 |   297752 |    15377     58 |      524 |      479
465.02/465.10	c  464s |      18 |  1561210 |   299452 |    15377     59 |      524 |      479
467.02/467.17	c  467s |      18 |  1573605 |   301452 |    15377     59 |      524 |      479
469.02/469.17	c  469s |      18 |  1580562 |   303052 |    15377     60 |      524 |      479
471.02/471.19	c  471s |      18 |  1586088 |   304552 |    15377     60 |      524 |      479
473.12/473.23	c  473s |      18 |  1590526 |   305952 |    15377     60 |      524 |      479
475.13/475.25	c  475s |      18 |  1606490 |   307952 |    15377     61 |      524 |      479
477.33/477.44	c  477s |      18 |  1614555 |   309752 |    15377     62 |      524 |      479
479.32/479.49	c  479s |      18 |  1623297 |   311552 |    15377     63 |      525 |      480
481.42/481.50	c  481s |      18 |  1631667 |   313452 |    15377     63 |      525 |      480
483.52/483.66	c  483s |      18 |  1637349 |   314752 |    15377     64 |      525 |      480
486.12/486.28	c  486s |      18 |  1639494 |   315552 |    15377     64 |      525 |      480
488.22/488.37	c  488s |      18 |  1646294 |   316652 |    15377     65 |      525 |      480
490.42/490.52	c  490s |      18 |  1653982 |   318252 |    15377     66 |      525 |      480
492.51/492.64	c  492s |      18 |  1666044 |   320152 |    15377     66 |      525 |      480
494.51/494.66	c  494s |      18 |  1679916 |   321952 |    15377     67 |      525 |      480
496.61/496.71	c  496s |      18 |  1692323 |   324152 |    15377     68 |      525 |      480
498.71/498.83	c  498s |      18 |  1698897 |   325652 |    15377     69 |      525 |      480
500.71/500.89	c  500s |      18 |  1704166 |   327052 |    15377     70 |      525 |      480
502.81/502.96	c  502s |      18 |  1715269 |   328652 |    15377     71 |      527 |      482
504.92/505.05	c  504s |      18 |  1722807 |   330452 |    15377     72 |      527 |      482
506.91/507.10	c  506s |      18 |  1731004 |   332052 |    15377     73 |      527 |      482
509.01/509.14	c  508s |      18 |  1736511 |   333552 |    15377     74 |      527 |      482
511.11/511.20	c  511s |      18 |  1742105 |   335052 |    15377     75 |      527 |      482
513.11/513.24	c  513s |      18 |  1751407 |   336752 |    15377     76 |      527 |      482
515.11/515.26	c  515s |      18 |  1762229 |   338152 |    15377     78 |      527 |      482
517.11/517.27	c  517s |      18 |  1778436 |   340352 |    15377     81 |      527 |      482
519.12/519.29	c  519s |      18 |  1788754 |   342352 |    15377     83 |      527 |      482
521.21/521.35	c  521s |      18 |  1802392 |   344652 |    15377     86 |      527 |      482
523.31/523.41	c  523s |      18 |  1809510 |   346252 |    15377     93 |      529 |      484
525.31/525.42	c  525s |      18 |  1818954 |   348152 |    15377     95 |      529 |      484
527.41/527.50	c  527s |      18 |  1831912 |   350252 |    15377     98 |      529 |      484
529.41/529.55	c  529s |      18 |  1843594 |   352352 |    15377    100 |      529 |      484
531.51/531.62	c  531s |      18 |  1851040 |   354352 |    15377    102 |      529 |      484
533.61/533.74	c  533s |      18 |  1857501 |   356252 |    15377    105 |      529 |      484
535.71/535.84	c  535s |      18 |  1862967 |   357952 |    15377    107 |      529 |      484
537.81/537.96	c  537s |      18 |  1870694 |   359752 |    15377    109 |      529 |      484
539.90/540.01	c  539s |      18 |  1876573 |   361352 |    15377    111 |      529 |      484
541.91/542.06	c  541s |      18 |  1880183 |   362652 |    15377    112 |      529 |      484
543.91/544.07	c  543s |      18 |  1886271 |   364452 |    15377    115 |      529 |      484
546.01/546.13	c  545s |      18 |  1894236 |   366652 |    15377    119 |      529 |      484
548.00/548.13	c  547s |      18 |  1898885 |   368352 |    15377    120 |      529 |      484
550.10/550.20	c  550s |      18 |  1904502 |   370152 |    15377    125 |      529 |      484
552.11/552.27	c  552s |      18 |  1910324 |   372052 |    15377    129 |      529 |      484
554.20/554.31	c  554s |      18 |  1916686 |   373052 |    15377    282 |      529 |      484
556.30/556.41	c  556s |      18 |  1925405 |   374652 |    15377    359 |      529 |      484
558.40/558.55	c  558s |      18 |  1932215 |   375852 |    15377    527 |      529 |      484
560.50/560.65	c  560s |      18 |  1939375 |   377652 |    15377    604 |      529 |      484
563.11/563.23	c  563s |      18 |  1946315 |   379352 |    15377    702 |      529 |      484
565.20/565.37	c  565s |      18 |  1951999 |   380752 |    15377    790 |      529 |      484
567.30/567.40	c  567s |      18 |  1956896 |   382152 |    15377    793 |      529 |      484
569.40/569.52	c  569s |      18 |  1961379 |   383452 |    15377    796 |      529 |      484
571.50/571.63	c  571s |      18 |  1966955 |   385052 |    15377    799 |      529 |      484
573.50/573.68	c  573s |      18 |  1969666 |   386152 |    15377    802 |      529 |      484
575.61/575.71	c  575s |      18 |  1976189 |   387752 |    15377    810 |      529 |      484
577.61/577.78	c  577s |      18 |  1982104 |   389352 |    15377    817 |      529 |      484
583.20/583.39	c  583s |      18 |  1985034 |   390152 |    15377   1449 |      529 |      484
586.40/586.56	c  586s |      18 |  1986007 |   390352 |    15377   1901 |      529 |      484
591.20/591.37	c  591s |      18 |  1988247 |   390752 |    15377   2576 |      529 |      484
594.70/594.85	c  594s |      18 |  1990138 |   391052 |    15377   3073 |      529 |      484
598.10/598.25	c  598s |      18 |  1991774 |   391252 |    15377   3564 |      529 |      484
600.19/600.30	c  600s |      18 |  1994060 |   391752 |    15377   3801 |      529 |      484
603.20/603.35	c  603s |      18 |  1996502 |   392452 |    15377   4114 |      529 |      484
605.79/605.91	c  605s |      18 |  1998745 |   392952 |    15377   4432 |      529 |      484
608.70/608.84	c  608s |      18 |  2001341 |   393352 |    15377   4820 |      529 |      484
610.80/610.95	c  610s |      18 |  2004290 |   394052 |    15377   5029 |      529 |      484
614.20/614.34	c  614s |      18 |  2008951 |   395252 |    15377   5370 |      529 |      484
617.60/617.74	c  617s |      18 |  2010104 |   395452 |    15377   5855 |      529 |      484
619.79/619.92	c  619s |      18 |  2013013 |   396252 |    15377   6061 |      529 |      484
624.19/624.32	c  624s |      18 |  2018138 |   397852 |    15377   6443 |      529 |      484
626.90/627.09	c  626s |      18 |  2019118 |   398152 |    15377   6804 |      529 |      484
629.89/630.01	c  629s |      18 |  2019636 |   398352 |    15377   7206 |      529 |      484
632.29/632.47	c  632s |      18 |  2020159 |   398552 |    15377   7534 |      529 |      484
634.60/634.79	c  634s |      18 |  2020637 |   398752 |    15377   7845 |      529 |      484
637.19/637.39	c  637s |      18 |  2021123 |   398952 |    15377   8201 |      529 |      484
641.09/641.21	c  641s |      18 |  2021742 |   399152 |    15377   8732 |      529 |      484
643.69/643.81	c  643s |      18 |  2022477 |   399352 |    15377   9084 |      529 |      484
645.79/645.95	c  645s |      18 |  2023117 |   399452 |    15377   9391 |      529 |      484
647.90/648.01	c  647s |      18 |  2024153 |   399852 |    15377   9639 |      529 |      484
650.29/650.43	c  650s |      18 |  2025282 |   400252 |    15377   9934 |      529 |      484
653.19/653.34	c  653s |      18 |  2026174 |   400452 |    15377  10334 |      529 |      484
655.19/655.35	c  655s |      18 |  2026647 |   400552 |    15377  10616 |      529 |      484
657.48/657.63	c  657s |      18 |  2027601 |   400752 |    15377  10929 |      529 |      484
660.39/660.53	c  660s |      18 |  2029077 |   401052 |    15377  11307 |      529 |      484
663.09/663.23	c  663s |      18 |  2030716 |   401652 |    15377  11620 |      529 |      484
665.09/665.26	c  665s |      18 |  2032404 |   402252 |    15377  11826 |      529 |      484
667.19/667.38	c  667s |      18 |  2033401 |   402652 |    15377  12076 |      529 |      484
669.69/669.84	c  669s |      18 |  2034162 |   402852 |    15377  12403 |      529 |      484
672.09/672.26	c  672s |      18 |  2036576 |   403652 |    15377  12635 |      529 |      484
674.09/674.28	c  674s |      18 |  2037783 |   404252 |    15377  12819 |      529 |      484
676.18/676.34	c  676s |      18 |  2038491 |   404552 |    15377  13058 |      529 |      484
678.28/678.49	c  678s |      18 |  2039532 |   404952 |    15377  13299 |      529 |      484
681.90/682.08	c  681s |      18 |  2041154 |   405452 |    15377  13738 |      529 |      484
684.39/684.55	c  684s |      18 |  2041966 |   405752 |    15377  14037 |      529 |      484
687.08/687.28	c  687s |      18 |  2042594 |   405952 |    15377  14396 |      529 |      484
689.69/689.81	c  689s |      18 |  2043561 |   406252 |    15377  14709 |      529 |      484
691.89/692.02	c  691s |      18 |  2044502 |   406652 |    15377  14957 |      529 |      484
694.48/694.65	c  694s |      18 |  2045317 |   406952 |    15377  15277 |      529 |      484
697.58/697.78	c  697s |      18 |  2046160 |   407252 |    15377  15671 |      529 |      484
699.88/700.00	c  699s |      18 |  2046684 |   407452 |    15377  15955 |      529 |      484
702.48/702.64	c  702s |      18 |  2047187 |   407652 |    15377  16303 |      529 |      484
705.18/705.38	c  705s |      18 |  2047846 |   407852 |    15377  16661 |      529 |      484
707.38/707.51	c  707s |      18 |  2048650 |   408152 |    15377  16919 |      529 |      484
710.29/710.42	c  710s |      18 |  2049261 |   408352 |    15377  17307 |      529 |      484
713.68/713.87	c  713s |      18 |  2050029 |   408652 |    15377  17729 |      529 |      484
717.28/717.41	c  717s |      18 |  2050710 |   408952 |    15377  18150 |      529 |      484
719.28/719.41	c  719s |      18 |  2051194 |   409152 |    15377  18380 |      529 |      484
722.08/722.25	c  722s |      18 |  2051670 |   409352 |    15377  18730 |      529 |      484
725.28/725.45	c  725s |      18 |  2052175 |   409552 |    15377  19153 |      529 |      484
727.58/727.78	c  727s |      18 |  2052493 |   409652 |    15377  19464 |      529 |      484
730.58/730.79	c  730s |      18 |  2053112 |   409852 |    15377  19858 |      529 |      484
733.47/733.70	c  733s |      18 |  2053680 |   410052 |    15377  20249 |      529 |      484
736.17/736.35	c  736s |      18 |  2054278 |   410252 |    15377  20596 |      529 |      484
739.98/740.14	c  739s |      18 |  2055269 |   410652 |    15377  21089 |      529 |      484
743.18/743.33	c  743s |      18 |  2055746 |   410852 |    15377  21525 |      529 |      484
745.78/745.99	c  745s |      18 |  2056337 |   411052 |    15377  21876 |      529 |      484
749.47/749.69	c  749s |      18 |  2057003 |   411252 |    15377  22375 |      529 |      484
752.18/752.34	c  752s |      18 |  2057710 |   411552 |    15377  22691 |      529 |      484
754.37/754.59	c  754s |      18 |  2058222 |   411752 |    15377  22978 |      529 |      484
757.07/757.21	c  757s |      18 |  2058646 |   411952 |    15377  23312 |      529 |      484
759.57/759.76	c  759s |      18 |  2059320 |   412252 |    15377  23582 |      529 |      484
762.18/762.37	c  762s |      18 |  2059948 |   412552 |    15377  23878 |      529 |      484
765.07/765.25	c  765s |      18 |  2060605 |   412852 |    15377  24205 |      529 |      484
767.57/767.72	c  767s |      18 |  2061235 |   413152 |    15377  24476 |      529 |      484
770.17/770.39	c  770s |      18 |  2061853 |   413452 |    15377  24777 |      529 |      484
773.07/773.24	c  773s |      18 |  2062649 |   413852 |    15377  25086 |      529 |      484
776.67/776.89	c  776s |      18 |  2063227 |   414052 |    15377  25569 |      529 |      484
779.88/780.02	c  779s |      18 |  2063751 |   414252 |    15377  25991 |      529 |      484
784.07/784.30	c  784s |      18 |  2064346 |   414352 |    15377  26586 |      529 |      484
787.37/787.57	c  787s |      18 |  2064805 |   414552 |    15377  27008 |      529 |      484
790.37/790.56	c  790s |      18 |  2065243 |   414652 |    15377  27414 |      529 |      484
792.46/792.62	c  792s |      18 |  2065654 |   414752 |    15377  27677 |      529 |      484
797.06/797.20	c  797s |      18 |  2066327 |   414852 |    15377  28304 |      529 |      484
799.17/799.38	c  799s |      18 |  2066671 |   414952 |    15377  28595 |      529 |      484
802.56/802.75	c  802s |      18 |  2067385 |   415152 |    15377  29040 |      529 |      484
806.37/806.56	c  806s |      18 |  2068080 |   415252 |    15377  29556 |      529 |      484
812.26/812.46	c  812s |      18 |  2069109 |   415452 |    15377  30368 |      529 |      484
816.56/816.76	c  816s |      18 |  2069792 |   415552 |    15377  30963 |      529 |      484
819.87/820.00	c  819s |      18 |  2070279 |   415652 |    15377  31403 |      529 |      484
822.57/822.74	c  822s |      18 |  2070704 |   415752 |    15377  31773 |      529 |      484
825.26/825.49	c  825s |      18 |  2071153 |   415852 |    15377  32142 |      529 |      484
827.86/828.07	c  827s |      18 |  2071607 |   416052 |    15377  32469 |      529 |      484
830.16/830.34	c  830s |      18 |  2072016 |   416252 |    15377  32748 |      529 |      484
832.37/832.57	c  832s |      18 |  2072402 |   416352 |    15377  33027 |      529 |      484
834.96/835.17	c  835s |      18 |  2072840 |   416552 |    15377  33358 |      529 |      484
837.36/837.57	c  837s |      18 |  2073205 |   416752 |    15377  33664 |      529 |      484
839.76/839.95	c  839s |      18 |  2073725 |   416952 |    15377  33964 |      529 |      484
844.06/844.28	c  844s |      18 |  2074313 |   417152 |    15377  34533 |      529 |      484
846.66/846.82	c  846s |      18 |  2074653 |   417252 |    15377  34869 |      529 |      484
850.36/850.55	c  850s |      18 |  2075275 |   417352 |    15377  35380 |      529 |      484
853.66/853.88	c  853s |      18 |  2075733 |   417452 |    15377  35832 |      529 |      484
855.77/855.93	c  855s |      18 |  2076034 |   417552 |    15377  36107 |      529 |      484
859.76/859.97	c  859s |      18 |  2076612 |   417652 |    15377  36661 |      529 |      484
864.86/865.05	c  864s |      18 |  2077447 |   417752 |    15377  37359 |      529 |      484
867.46/867.67	c  867s |      18 |  2077835 |   417852 |    15377  37708 |      529 |      484
870.06/870.29	c  870s |      18 |  2078394 |   418052 |    15377  38031 |      529 |      484
872.27/872.41	c  872s |      18 |  2078854 |   418152 |    15377  38317 |      529 |      484
874.76/874.98	c  874s |      18 |  2079366 |   418352 |    15377  38632 |      529 |      484
877.36/877.55	c  877s |      18 |  2079834 |   418452 |    15377  38973 |      529 |      484
880.85/881.08	c  880s |      18 |  2080365 |   418552 |    15377  39451 |      529 |      484
884.66/884.86	c  884s |      18 |  2080992 |   418752 |    15377  39940 |      529 |      484
887.16/887.31	c  887s |      18 |  2081348 |   418852 |    15377  40254 |      529 |      484
891.45/891.68	c  891s |      18 |  2081980 |   418952 |    15377  40849 |      529 |      484
895.26/895.42	c  895s |      18 |  2082535 |   419052 |    15377  41357 |      529 |      484
900.05/900.23	c  900s |      18 |  2083448 |   419252 |    15377  41997 |      529 |      484
902.55/902.71	c  902s |      18 |  2083938 |   419352 |    15377  42329 |      529 |      484
907.55/907.80	c  907s |      18 |  2084845 |   419552 |    15377  43015 |      529 |      484
910.85/911.10	c  910s |      18 |  2085499 |   419652 |    15377  43459 |      529 |      484
913.15/913.30	c  913s |      18 |  2085812 |   419752 |    15377  43749 |      529 |      484
917.45/917.65	c  917s |      18 |  2086404 |   419852 |    15377  44341 |      529 |      484
919.65/919.86	c  919s |      18 |  2086693 |   419952 |    15377  44630 |      529 |      484
922.94/923.12	c  922s |      18 |  2087190 |   420052 |    15377  45068 |      529 |      484
924.95/925.13	c  924s |      18 |  2087583 |   420152 |    15377  45333 |      529 |      484
927.35/927.50	c  927s |      18 |  2087897 |   420252 |    15377  45642 |      529 |      484
930.35/930.53	c  930s |      18 |  2088306 |   420352 |    15377  46045 |      529 |      484
933.86/934.06	c  933s |      18 |  2088772 |   420552 |    15377  46487 |      529 |      484
937.54/937.71	c  937s |      18 |  2089256 |   420752 |    15377  46947 |      529 |      484
939.74/939.96	c  939s |      18 |  2089561 |   420852 |    15377  47234 |      529 |      484
942.75/942.93	c  942s |      18 |  2089919 |   421052 |    15377  47588 |      529 |      484
945.64/945.82	c  945s |      18 |  2090291 |   421152 |    15377  47960 |      529 |      484
947.94/948.19	c  948s |      18 |  2090667 |   421252 |    15377  48264 |      529 |      484
951.05/951.23	c  951s |      18 |  2091161 |   421352 |    15377  48668 |      529 |      484
953.55/953.71	c  953s |      18 |  2091627 |   421552 |    15377  48970 |      529 |      484
955.94/956.12	c  955s |      18 |  2091978 |   421652 |    15377  49276 |      529 |      484
958.64/958.86	c  958s |      18 |  2092359 |   421752 |    15377  49630 |      529 |      484
962.65/962.84	c  962s |      18 |  2092888 |   421952 |    15377  50131 |      529 |      484
967.54/967.78	c  967s |      18 |  2093579 |   422152 |    15377  50781 |      529 |      484
971.94/972.16	c  972s |      18 |  2094219 |   422352 |    15377  51355 |      529 |      484
975.14/975.32	c  975s |      18 |  2094763 |   422552 |    15377  51748 |      529 |      484
977.84/978.07	c  977s |      18 |  2095121 |   422652 |    15377  52106 |      529 |      484
980.94/981.19	c  981s |      18 |  2095530 |   422752 |    15377  52493 |      529 |      484
983.14/983.30	c  983s |      18 |  2095798 |   422852 |    15377  52759 |      529 |      484
986.14/986.32	c  986s |      18 |  2096162 |   423052 |    15377  53121 |      529 |      484
989.85/990.04	c  989s |      18 |  2096630 |   423252 |    15377  53571 |      529 |      484
993.54/993.73	c  993s |      18 |  2097139 |   423452 |    15377  54023 |      529 |      484
997.64/997.82	c  997s |      18 |  2097771 |   423552 |    15377  54567 |      529 |      484
999.63/999.88	c  999s |      18 |  2098049 |   423652 |    15377  54828 |      529 |      484
1002.34/1002.52	c 1002s |      18 |  2098396 |   423752 |    15377  55158 |      529 |      484
1005.54/1005.77	c 1005s |      18 |  2098848 |   423852 |    15377  55581 |      529 |      484
1008.34/1008.58	c 1008s |      18 |  2099210 |   423952 |    15377  55942 |      529 |      484
1011.03/1011.24	c 1011s |      18 |  2099586 |   424052 |    15377  56282 |      529 |      484
1013.14/1013.36	c 1013s |      18 |  2099872 |   424152 |    15377  56548 |      529 |      484
1015.93/1016.14	c 1015s |      18 |  2100213 |   424352 |    15377  56874 |      529 |      484
1018.03/1018.24	c 1018s |      18 |  2100484 |   424452 |    15377  57142 |      529 |      484
1020.33/1020.52	c 1020s |      18 |  2100766 |   424552 |    15377  57420 |      529 |      484
1025.44/1025.60	c 1025s |      18 |  2101504 |   424752 |    15377  58070 |      529 |      484
1027.63/1027.84	c 1027s |      18 |  2101820 |   424852 |    15377  58351 |      529 |      484
1031.33/1031.51	c 1031s |      18 |  2102354 |   424952 |    15377  58837 |      529 |      484
1033.43/1033.67	c 1033s |      18 |  2102660 |   425052 |    15377  59109 |      529 |      484
1036.13/1036.30	c 1036s |      18 |  2103005 |   425152 |    15377  59445 |      529 |      484
1040.13/1040.30	c 1040s |      18 |  2103552 |   425352 |    15377  59921 |      529 |      484
1042.93/1043.13	c 1042s |      18 |  2103923 |   425452 |    15377  60284 |      529 |      484
1046.33/1046.56	c 1046s |      18 |  2104385 |   425552 |    15377  60725 |      529 |      484
1050.33/1050.60	c 1050s |      18 |  2104901 |   425752 |    15377  61208 |      529 |      484
1055.03/1055.23	c 1055s |      18 |  2105511 |   425952 |    15377  61776 |      529 |      484
1057.33/1057.58	c 1057s |      18 |  2105832 |   426052 |    15377  62072 |      529 |      484
1059.72/1059.97	c 1059s |      18 |  2106133 |   426152 |    15377  62367 |      529 |      484
1063.92/1064.12	c 1063s |      18 |  2106668 |   426252 |    15377  62896 |      529 |      484
1066.73/1066.93	c 1066s |      18 |  2107021 |   426352 |    15377  63247 |      529 |      484
1070.43/1070.69	c 1070s |      18 |  2107488 |   426552 |    15377  63706 |      529 |      484
1075.42/1075.64	c 1075s |      18 |  2108135 |   426752 |    15377  64326 |      529 |      484
1078.63/1078.82	c 1078s |      18 |  2108538 |   426852 |    15377  64726 |      529 |      484
1082.33/1082.56	c 1082s |      18 |  2108998 |   427052 |    15377  65176 |      529 |      484
1086.22/1086.46	c 1086s |      18 |  2109493 |   427252 |    15377  65660 |      529 |      484
1089.02/1089.24	c 1089s |      18 |  2109852 |   427352 |    15377  66010 |      529 |      484
1091.72/1091.92	c 1091s |      18 |  2110195 |   427452 |    15377  66347 |      529 |      484
1094.82/1095.05	c 1094s |      18 |  2110565 |   427652 |    15377  66717 |      529 |      484
1096.92/1097.10	c 1096s |      18 |  2110817 |   427752 |    15377  66966 |      529 |      484
1100.52/1100.73	c 1100s |      18 |  2111267 |   427952 |    15377  67411 |      529 |      484
1103.72/1104.00	c 1103s |      18 |  2111681 |   428052 |    15377  67825 |      529 |      484
1105.82/1106.07	c 1105s |      18 |  2111918 |   428152 |    15377  68060 |      529 |      484
1108.92/1109.10	c 1108s |      18 |  2112309 |   428252 |    15377  68451 |      529 |      484
1111.52/1111.74	c 1111s |      18 |  2112645 |   428352 |    15377  68782 |      529 |      484
1114.91/1115.17	c 1115s |      18 |  2113094 |   428452 |    15377  69227 |      529 |      484
1118.12/1118.36	c 1118s |      18 |  2113486 |   428652 |    15377  69619 |      529 |      484
1121.11/1121.38	c 1121s |      18 |  2113871 |   428752 |    15377  70001 |      529 |      484
1124.81/1125.08	c 1124s |      18 |  2114315 |   428952 |    15377  70445 |      529 |      484
1127.22/1127.45	c 1127s |      18 |  2114601 |   429052 |    15377  70731 |      529 |      484
1130.82/1131.08	c 1130s |      18 |  2115048 |   429252 |    15377  71172 |      529 |      484
1134.11/1134.36	c 1134s |      18 |  2115448 |   429452 |    15377  71556 |      529 |      484
1137.81/1138.00	c 1137s |      18 |  2115886 |   429652 |    15377  71988 |      529 |      484
1140.31/1140.58	c 1140s |      18 |  2116206 |   429752 |    15377  72308 |      529 |      484
1144.01/1144.24	c 1144s |      18 |  2116674 |   429852 |    15377  72771 |      529 |      484
1147.60/1147.80	c 1147s |      18 |  2117107 |   430052 |    15377  73204 |      529 |      484
1150.71/1150.94	c 1150s |      18 |  2117484 |   430252 |    15377  73577 |      529 |      484
1153.91/1154.14	c 1153s |      18 |  2117883 |   430352 |    15377  73976 |      529 |      484
1156.21/1156.46	c 1156s |      18 |  2118182 |   430452 |    15377  74259 |      529 |      484
1159.00/1159.23	c 1159s |      18 |  2118538 |   430552 |    15377  74615 |      529 |      484
1161.30/1161.52	c 1161s |      18 |  2118822 |   430652 |    15377  74899 |      529 |      484
1164.00/1164.22	c 1164s |      18 |  2119147 |   430852 |    15377  75224 |      529 |      484
1166.31/1166.57	c 1166s |      18 |  2119422 |   430952 |    15377  75497 |      529 |      484
1169.30/1169.55	c 1169s |      18 |  2119782 |   431152 |    15377  75854 |      529 |      484
1172.41/1172.61	c 1172s |      18 |  2120148 |   431352 |    15377  76219 |      529 |      484
1175.60/1175.87	c 1175s |      18 |  2120536 |   431552 |    15377  76607 |      529 |      484
1177.80/1178.08	c 1177s |      18 |  2120804 |   431652 |    15377  76872 |      529 |      484
1181.10/1181.31	c 1181s |      18 |  2121215 |   431752 |    15377  77283 |      529 |      484
1183.30/1183.57	c 1183s |      18 |  2121492 |   431852 |    15377  77560 |      529 |      484
1186.10/1186.31	c 1186s |      18 |  2121836 |   431952 |    15377  77904 |      529 |      484
1191.79/1192.02	c 1191s |      18 |  2122568 |   432152 |    15377  78636 |      529 |      484
1193.89/1194.18	c 1194s |      18 |  2122830 |   432252 |    15377  78898 |      529 |      484
1197.69/1197.95	c 1197s |      18 |  2123276 |   432452 |    15377  79344 |      529 |      484
1201.29/1201.53	c 1201s |      18 |  2123744 |   432552 |    15377  79812 |      529 |      484
1203.49/1203.78	c 1203s |      18 |  2124027 |   432652 |    15377  80092 |      529 |      484
1207.49/1207.74	c 1207s |      18 |  2124538 |   432752 |    15377  80603 |      529 |      484
1209.90/1210.18	c 1210s |      18 |  2124839 |   432852 |    15377  80904 |      529 |      484
1212.19/1212.44	c 1212s |      18 |  2125124 |   432952 |    15377  81189 |      529 |      484
1215.19/1215.40	c 1215s |      18 |  2125501 |   433052 |    15377  81566 |      529 |      484
1217.29/1217.58	c 1217s |      18 |  2125776 |   433152 |    15377  81841 |      529 |      484
1219.39/1219.60	c 1219s |      18 |  2126020 |   433252 |    15377  82085 |      529 |      484
1221.69/1221.90	c 1221s |      18 |  2126306 |   433352 |    15377  82371 |      529 |      484
1223.99/1224.22	c 1224s |      18 |  2126593 |   433452 |    15377  82658 |      529 |      484
1226.79/1227.06	c 1226s |      18 |  2126946 |   433552 |    15377  83011 |      529 |      484
1230.58/1230.84	c 1230s |      18 |  2127420 |   433752 |    15377  83485 |      529 |      484
1234.38/1234.65	c 1234s |      18 |  2127900 |   433952 |    15377  83965 |      529 |      484
1236.68/1236.95	c 1236s |      18 |  2128181 |   434052 |    15377  84246 |      529 |      484
1239.97/1240.23	c 1240s |      18 |  2128607 |   434152 |    15377  84672 |      529 |      484
1243.99/1244.21	c 1244s |      18 |  2129111 |   434352 |    15377  85176 |      529 |      484
1245.98/1246.25	c 1246s |      18 |  2129365 |   434452 |    15377  85430 |      529 |      484
1248.38/1248.67	c 1248s |      18 |  2129680 |   434552 |    15377  85745 |      529 |      484
1250.97/1251.27	c 1251s |      18 |  2130017 |   434652 |    15377  86082 |      529 |      484
1253.48/1253.73	c 1253s |      18 |  2130339 |   434752 |    15377  86403 |      529 |      484
1259.77/1260.04	c 1259s |      18 |  2131156 |   434952 |    15377  87217 |      529 |      484
1262.58/1262.89	c 1262s |      18 |  2131522 |   435052 |    15377  87583 |      529 |      484
1266.07/1266.31	c 1266s |      18 |  2131981 |   435152 |    15377  88042 |      529 |      484
1269.47/1269.75	c 1269s |      18 |  2132417 |   435352 |    15377  88478 |      529 |      484
1271.47/1271.76	c 1271s |      18 |  2132674 |   435452 |    15377  88734 |      529 |      484
1274.07/1274.33	c 1274s |      18 |  2133008 |   435552 |    15377  89068 |      529 |      484
1277.67/1277.90	c 1277s |      18 |  2133460 |   435752 |    15377  89520 |      529 |      484
1280.27/1280.53	c 1280s |      18 |  2133809 |   435852 |    15377  89869 |      529 |      484
1283.96/1284.24	c 1284s |      18 |  2134271 |   436052 |    15377  90331 |      529 |      484
1286.17/1286.44	c 1286s |      18 |  2134532 |   436152 |    15377  90592 |      529 |      484
1288.37/1288.60	c 1288s |      18 |  2134812 |   436252 |    15377  90872 |      529 |      484
1290.46/1290.71	c 1290s |      18 |  2135077 |   436352 |    15377  91137 |      529 |      484
1292.57/1292.83	c 1292s |      18 |  2135346 |   436452 |    15377  91406 |      529 |      484
1295.37/1295.65	c 1295s |      18 |  2135727 |   436552 |    15377  91787 |      529 |      484
1297.87/1298.17	c 1298s |      18 |  2136065 |   436652 |    15377  92117 |      529 |      484
1299.97/1300.29	c 1300s |      18 |  2136333 |   436752 |    15377  92385 |      529 |      484
1306.46/1306.79	c 1306s |      18 |  2137184 |   436952 |    15377  93236 |      529 |      484
1310.05/1310.37	c 1310s |      18 |  2137668 |   437052 |    15377  93716 |      529 |      484
1313.76/1314.06	c 1313s |      18 |  2138183 |   437152 |    15377  94218 |      529 |      484
1316.96/1317.26	c 1317s |      18 |  2138616 |   437252 |    15377  94650 |      529 |      484
1320.55/1320.88	c 1320s |      18 |  2139094 |   437352 |    15377  95128 |      529 |      484
1325.26/1325.53	c 1325s |      18 |  2139715 |   437452 |    15377  95749 |      529 |      484
1327.26/1327.59	c 1327s |      18 |  2139977 |   437552 |    15377  96011 |      529 |      484
1329.56/1329.90	c 1329s |      18 |  2140278 |   437652 |    15377  96312 |      529 |      484
1334.75/1335.00	c 1334s |      18 |  2140977 |   437752 |    15377  97011 |      529 |      484
1337.85/1338.13	c 1337s |      18 |  2141402 |   437852 |    15377  97436 |      529 |      484
1339.95/1340.27	c 1340s |      18 |  2141688 |   437952 |    15377  97720 |      529 |      484
1343.65/1343.91	c 1343s |      18 |  2142167 |   438152 |    15377  98199 |      529 |      484
1345.95/1346.24	c 1346s |      18 |  2142474 |   438252 |    15377  98506 |      529 |      484
1348.04/1348.33	c 1348s |      18 |  2142744 |   438352 |    15377  98776 |      529 |      484
1352.34/1352.69	c 1352s |      18 |  2143308 |   438552 |    15377  99340 |      529 |      484
1356.34/1356.66	c 1356s |      18 |  2143816 |   438752 |    15377  99848 |      529 |      484
1360.84/1361.10	c 1360s |      18 |  2144392 |   438952 |    15377 100423 |      529 |      484
1364.73/1365.09	c 1364s |      18 |  2144923 |   439152 |    15377 100945 |      529 |      484
1367.44/1367.71	c 1367s |      18 |  2145268 |   439252 |    15377 101290 |      529 |      484
1371.83/1372.19	c 1372s |      18 |  2145874 |   439352 |    15377 101896 |      529 |      484
1375.53/1375.82	c 1375s |      18 |  2146361 |   439452 |    15377 102383 |      529 |      484
1377.53/1377.89	c 1377s |      18 |  2146624 |   439552 |    15377 102646 |      529 |      484
1379.83/1380.15	c 1379s |      18 |  2146916 |   439652 |    15377 102938 |      529 |      484
1384.13/1384.45	c 1384s |      18 |  2147465 |   439852 |    15377 103487 |      529 |      484
1388.13/1388.43	c 1388s |      18 |  2147957 |   440052 |    15377 103979 |      529 |      484
1392.23/1392.50	c 1392s |      18 |  2148473 |   440252 |    15377 104495 |      529 |      484
1394.53/1394.86	c 1394s |      18 |  2148781 |   440352 |    15377 104800 |      529 |      484
1397.52/1397.89	c 1397s |      18 |  2149178 |   440452 |    15377 105197 |      529 |      484
1400.13/1400.41	c 1400s |      18 |  2149501 |   440552 |    15377 105520 |      529 |      484
1403.12/1403.41	c 1403s |      18 |  2149884 |   440752 |    15377 105903 |      529 |      484
1408.22/1408.59	c 1408s |      18 |  2150565 |   440952 |    15377 106583 |      529 |      484
1410.52/1410.87	c 1410s |      18 |  2150857 |   441052 |    15377 106875 |      529 |      484
1413.13/1413.49	c 1413s |      18 |  2151200 |   441152 |    15377 107218 |      529 |      484
1416.72/1417.02	c 1416s |      18 |  2151659 |   441252 |    15377 107677 |      529 |      484
1419.62/1419.95	c 1419s |      18 |  2152059 |   441352 |    16915 108060 |      529 |      484
1421.72/1422.06	c 1421s |      18 |  2158148 |   443052 |    16915 108063 |      529 |      484
1423.71/1424.08	c 1423s |      19 |  2163602 |   444482 |    16915 108066 |      529 |      484
1427.01/1427.32	c 1427s |      19 |  2164911 |   444582 |    16915 108501 |      529 |      484
1429.12/1429.41	c 1429s |      19 |  2172234 |   446182 |    16915 108569 |      529 |      484
1431.12/1431.47	c 1431s |      19 |  2178882 |   447882 |    16915 108614 |      529 |      484
1433.61/1433.95	c 1433s |      19 |  2181877 |   448482 |    16915 108857 |      529 |      484
1438.31/1438.67	c 1438s |      19 |  2183243 |   448582 |    16915 109506 |      529 |      484
1440.51/1440.80	c 1440s |      19 |  2187872 |   449682 |    16915 109608 |      529 |      484
1442.51/1442.86	c 1442s |      19 |  2193922 |   451382 |    16915 109614 |      529 |      484
1444.51/1444.86	c 1444s |      19 |  2197629 |   452682 |    16915 109620 |      529 |      484
1448.60/1448.91	c 1448s |      19 |  2200135 |   453182 |    16915 110069 |      529 |      484
1457.50/1457.83	c 1457s |      19 |  2204365 |   453682 |    16915 111243 |      529 |      484
1459.50/1459.87	c 1459s |      19 |  2208063 |   454682 |    16915 111367 |      529 |      484
1461.60/1461.98	c 1461s |      19 |  2214917 |   456282 |    16915 111428 |      529 |      484
1464.20/1464.52	c 1464s |      19 |  2218687 |   457382 |    16915 111615 |      529 |      484
1466.30/1466.62	c 1466s |      19 |  2220530 |   457882 |    16915 111804 |      529 |      484
1468.80/1469.19	c 1469s |      19 |  2223633 |   458582 |    16915 112031 |      529 |      484
1471.29/1471.66	c 1471s |      19 |  2224903 |   458982 |    16915 112292 |      529 |      484
1474.59/1474.97	c 1474s |      19 |  2227686 |   459582 |    16915 112638 |      529 |      484
1476.99/1477.34	c 1477s |      19 |  2228711 |   459782 |    16915 112937 |      529 |      484
1482.29/1482.67	c 1482s |      19 |  2229654 |   459882 |    16915 113640 |      529 |      484
1484.70/1485.02	c 1484s |      19 |  2230904 |   460082 |    16915 113923 |      529 |      484
1489.88/1490.29	c 1490s |      19 |  2232153 |   460282 |    16915 114593 |      529 |      484
1493.38/1493.72	c 1493s |      19 |  2233054 |   460382 |    16915 115040 |      529 |      484
1495.48/1495.83	c 1495s |      19 |  2233549 |   460582 |    16915 115295 |      529 |      484
1498.00/1498.34	c 1498s |      19 |  2234858 |   460982 |    16915 115575 |      529 |      484
1505.49/1505.88	c 1505s |      19 |  2236590 |   461282 |    16915 116534 |      529 |      484
1511.98/1512.38	c 1512s |      19 |  2238585 |   461582 |    16915 117352 |      529 |      484
1516.38/1516.72	c 1516s |      19 |  2239382 |   461682 |    16915 117911 |      529 |      484
1519.47/1519.83	c 1519s |      19 |  2239816 |   461782 |    16915 118299 |      529 |      484
1522.37/1522.77	c 1522s |      19 |  2240184 |   461882 |    16915 118665 |      529 |      484
1525.48/1525.84	c 1525s |      19 |  2240743 |   461982 |    16915 119057 |      529 |      484
1529.27/1529.66	c 1529s |      19 |  2241320 |   462182 |    16915 119512 |      529 |      484
1532.07/1532.48	c 1532s |      19 |  2241673 |   462282 |    16915 119865 |      529 |      484
1534.57/1534.99	c 1534s |      19 |  2241982 |   462382 |    16915 120170 |      529 |      484
1537.36/1537.77	c 1537s |      19 |  2242574 |   462582 |    16915 120489 |      529 |      484
1541.27/1541.69	c 1541s |      19 |  2243358 |   462782 |    16915 120977 |      529 |      484
1544.57/1544.93	c 1544s |      19 |  2244303 |   463082 |    16915 121355 |      529 |      484
1547.96/1548.33	c 1548s |      19 |  2245041 |   463282 |    16915 121769 |      529 |      484
1549.97/1550.37	c 1550s |      19 |  2245674 |   463482 |    16915 122012 |      529 |      484
1553.86/1554.24	c 1554s |      19 |  2246292 |   463682 |    16915 122477 |      529 |      484
1557.36/1557.79	c 1557s |      19 |  2246856 |   463782 |    16915 122925 |      529 |      484
1560.67/1561.02	c 1560s |      19 |  2247277 |   463982 |    16915 123310 |      529 |      484
1563.26/1563.68	c 1563s |      19 |  2247883 |   464182 |    16915 123615 |      529 |      484
1566.06/1566.44	c 1566s |      19 |  2248366 |   464282 |    16915 123955 |      529 |      484
1569.46/1569.88	c 1569s |      19 |  2249410 |   464582 |    16915 124353 |      529 |      484
1572.46/1572.80	c 1572s |      19 |  2249978 |   464682 |    16915 124728 |      529 |      484
1575.15/1575.55	c 1575s |      19 |  2250864 |   464782 |    16915 125074 |      529 |      484
1577.75/1578.12	c 1577s |      19 |  2252664 |   465282 |    16915 125347 |      529 |      484
1579.94/1580.38	c 1580s |      19 |  2253956 |   465582 |    16915 125601 |      529 |      484
1584.75/1585.19	c 1585s |      19 |  2254765 |   465682 |    16915 126235 |      529 |      484
1587.05/1587.47	c 1587s |      19 |  2255286 |   465782 |    16915 126526 |      529 |      484
1589.15/1589.53	c 1589s |      19 |  2255897 |   465882 |    16915 126791 |      529 |      484
1593.14/1593.54	c 1593s |      19 |  2257142 |   466082 |    16915 127283 |      529 |      484
1596.24/1596.66	c 1596s |      19 |  2257730 |   466182 |    16915 127685 |      529 |      484
1600.84/1601.22	c 1601s |      19 |  2258747 |   466282 |    16915 128275 |      529 |      484
1605.34/1605.72	c 1605s |      19 |  2260034 |   466382 |    16915 128863 |      529 |      484
1610.64/1611.08	c 1610s |      19 |  2261397 |   466482 |    16915 129566 |      529 |      484
1614.03/1614.48	c 1614s |      19 |  2263129 |   466882 |    16915 129943 |      529 |      484
1616.93/1617.36	c 1617s |      19 |  2263513 |   466982 |    16915 130299 |      529 |      484
1619.33/1619.75	c 1619s |      19 |  2264327 |   467182 |    16915 130571 |      529 |      484
1623.23/1623.61	c 1623s |      19 |  2265040 |   467282 |    16915 131064 |      529 |      484
1626.03/1626.44	c 1626s |      19 |  2265702 |   467482 |    16915 131397 |      529 |      484
1629.32/1629.72	c 1629s |      19 |  2267757 |   467882 |    16915 131764 |      529 |      484
1633.13/1633.52	c 1633s |      19 |  2268528 |   467982 |    16915 132251 |      529 |      484
1636.03/1636.42	c 1636s |      19 |  2269118 |   468082 |    16915 132618 |      529 |      484
1638.82/1639.29	c 1639s |      19 |  2269864 |   468282 |    16915 132955 |      529 |      484
1643.62/1644.00	c 1643s |      19 |  2271194 |   468582 |    16915 133520 |      529 |      484
1645.62/1646.08	c 1645s |      19 |  2271561 |   468682 |    16915 133767 |      529 |      484
1648.22/1648.65	c 1648s |      19 |  2272272 |   468882 |    16915 134064 |      529 |      484
1651.22/1651.61	c 1651s |      19 |  2272814 |   468982 |    16915 134433 |      529 |      484
1653.81/1654.22	c 1654s |      19 |  2273403 |   469182 |    16915 134738 |      529 |      484
1656.51/1656.97	c 1656s |      19 |  2274086 |   469382 |    16915 135055 |      529 |      484
1658.51/1658.98	c 1658s |      19 |  2275021 |   469582 |    16915 135273 |      529 |      484
1660.62/1661.08	c 1660s |      19 |  2275950 |   469782 |    16915 135507 |      529 |      484
1663.20/1663.68	c 1663s |      19 |  2277661 |   470282 |    16915 135774 |      529 |      484
1665.50/1665.91	c 1665s |      19 |  2279443 |   470882 |    16915 135965 |      529 |      484
1669.41/1669.86	c 1669s |      19 |  2280066 |   471082 |    16915 136425 |      529 |      484
1672.71/1673.16	c 1673s |      19 |  2280958 |   471382 |    16915 136799 |      529 |      484
1675.40/1675.84	c 1675s |      19 |  2281894 |   471682 |    16915 137090 |      529 |      484
1678.60/1679.03	c 1678s |      19 |  2282896 |   472082 |    16915 137454 |      529 |      484
1682.29/1682.79	c 1682s |      19 |  2284371 |   472482 |    16915 137887 |      529 |      484
1684.80/1685.22	c 1685s |      19 |  2284899 |   472682 |    16915 138179 |      529 |      484
1686.79/1687.29	c 1687s |      19 |  2286512 |   473182 |    16915 138380 |      529 |      484
1689.59/1690.08	c 1689s |      19 |  2287442 |   473382 |    16915 138718 |      529 |      484
1692.39/1692.84	c 1692s |      19 |  2288340 |   473582 |    16915 139046 |      529 |      484
1695.19/1695.61	c 1695s |      19 |  2288952 |   473782 |    16915 139370 |      529 |      484
1698.09/1698.57	c 1698s |      19 |  2289578 |   473982 |    16915 139718 |      529 |      484
1700.18/1700.68	c 1700s |      19 |  2290576 |   474282 |    16915 139958 |      529 |      484
1703.29/1703.72	c 1703s |      19 |  2291200 |   474482 |    16915 140330 |      529 |      484
1706.89/1707.36	c 1707s |      19 |  2291682 |   474682 |    16915 140776 |      529 |      484
1710.28/1710.74	c 1710s |      19 |  2292165 |   474882 |    16915 141175 |      529 |      484
1712.38/1712.89	c 1712s |      19 |  2292460 |   474982 |    16915 141434 |      529 |      484
1715.98/1716.41	c 1716s |      19 |  2293086 |   475182 |    16915 141848 |      529 |      484
1718.57/1719.02	c 1718s |      19 |  2293457 |   475382 |    16915 142153 |      529 |      484
1720.77/1721.23	c 1721s |      19 |  2293811 |   475482 |    16915 142424 |      529 |      484
1722.87/1723.37	c 1723s |      19 |  2295310 |   475982 |    16915 142599 |      529 |      484
1728.07/1728.54	c 1728s |      19 |  2296325 |   476182 |    16915 143234 |      529 |      484
1730.57/1731.07	c 1730s |      19 |  2297362 |   476482 |    16915 143527 |      529 |      484
1735.06/1735.59	c 1735s |      19 |  2298192 |   476682 |    16915 144097 |      529 |      484
1737.67/1738.16	c 1738s |      19 |  2298956 |   476882 |    16915 144406 |      529 |      484
1742.27/1742.75	c 1742s |      19 |  2299578 |   476982 |    16915 144984 |      529 |      484
1747.06/1747.58	c 1747s |      19 |  2300478 |   477182 |    16915 145570 |      529 |      484
1749.46/1749.98	c 1749s |      19 |  2300857 |   477282 |    16915 145866 |      529 |      484
1752.46/1752.90	c 1752s |      19 |  2301271 |   477382 |    16915 146231 |      529 |      484
1755.28/1755.71	c 1755s |      19 |  2301880 |   477582 |    16915 146548 |      529 |      484
1758.57/1759.02	c 1758s |      19 |  2302725 |   477882 |    16915 146914 |      529 |      484
1760.77/1761.30	c 1761s |      19 |  2303222 |   477982 |    16915 147191 |      529 |      484
1763.16/1763.66	c 1763s |      19 |  2303837 |   478182 |    16915 147458 |      529 |      484
1767.57/1768.02	c 1767s |      19 |  2304798 |   478382 |    16915 147984 |      529 |      484
1769.77/1770.26	c 1770s |      19 |  2305209 |   478482 |    16915 148253 |      529 |      484
1773.26/1773.76	c 1773s |      19 |  2306045 |   478782 |    16915 148642 |      529 |      484
1775.46/1775.99	c 1775s |      19 |  2306510 |   478982 |    16915 148892 |      529 |      484
1779.26/1779.76	c 1779s |      19 |  2307061 |   479182 |    16915 149343 |      529 |      484
1781.57/1782.06	c 1781s |      19 |  2307635 |   479382 |    16915 149600 |      529 |      484
1784.87/1785.38	c 1785s |      19 |  2308129 |   479482 |    16915 150006 |      529 |      484
1789.16/1789.63	c 1789s |      19 |  2308884 |   479782 |    16915 150494 |      529 |      484
1792.06/1792.59	c 1792s |      19 |  2309452 |   479982 |    16915 150838 |      529 |      484
1794.36/1794.83	c 1794s |      19 |  2309880 |   480082 |    16915 151106 |      529 |      484
1798.66/1799.13	c 1798s |      19 |  2310583 |   480282 |    16915 151617 |      529 |      484

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

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

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


[startup+0 s]
/proc/loadavg: 2.21 2.19 2.18 3/179 13709
/proc/meminfo: memFree=29203508/32872528 swapFree=15272/1656604
[pid=13709] ppid=13706 vsize=731716 CPUtime=0 cores=0,2,4,6
/proc/13709/stat : 13709 (toysat) R 13706 13709 9894 0 -1 4202496 2734 0 0 0 0 0 0 0 20 0 4 0 110717469 749277184 2585 33554432000 4194304 16246674 140734443173872 140734443156864 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13709/statm: 183441 2592 442 2943 0 180335 0
[pid=13709/tid=13710] ppid=13706 vsize=749124 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13710/stat : 13710 (toysat) S 13706 13709 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110717469 767102976 2651 33554432000 4194304 16246674 140734443173872 140535477021936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13709/tid=13711] ppid=13706 vsize=753220 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13711/stat : 13711 (toysat) S 13706 13709 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110717469 771297280 2669 33554432000 4194304 16246674 140734443173872 140535466532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13709/tid=13712] ppid=13706 vsize=757316 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13712/stat : 13712 (toysat) S 13706 13709 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110717469 775491584 2685 33554432000 4194304 16246674 140734443173872 140535456058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.21 2.19 2.18 3/179 13709
/proc/meminfo: memFree=29203508/32872528 swapFree=15272/1656604
[pid=13709] ppid=13706 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/13709/stat : 13709 (toysat) R 13706 13709 9894 0 -1 4202496 23909 0 0 0 6 3 0 0 20 0 4 0 110717469 1250496512 23698 33554432000 4194304 16246674 140734443173872 140734443173184 5589077 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13709/statm: 305297 23705 832 2943 0 302191 0
[pid=13709/tid=13710] ppid=13706 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13710/stat : 13710 (toysat) S 13706 13709 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110717469 1250496512 23711 33554432000 4194304 16246674 140734443173872 140535477021936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13709/tid=13711] ppid=13706 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13711/stat : 13711 (toysat) S 13706 13709 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110717469 1250496512 23716 33554432000 4194304 16246674 140734443173872 140535466532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13709/tid=13712] ppid=13706 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13712/stat : 13712 (toysat) S 13706 13709 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110717469 1250496512 23721 33554432000 4194304 16246674 140734443173872 140535456058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.20055 s]
/proc/loadavg: 2.21 2.19 2.18 3/179 13709
/proc/meminfo: memFree=29203508/32872528 swapFree=15272/1656604
[pid=13709] ppid=13706 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/13709/stat : 13709 (toysat) R 13706 13709 9894 0 -1 4202496 44574 0 0 0 13 6 0 0 20 0 4 0 110717469 1250496512 44362 33554432000 4194304 16246674 140734443173872 140734443173184 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13709/statm: 305297 44366 875 2943 0 302191 0
[pid=13709/tid=13710] ppid=13706 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13710/stat : 13710 (toysat) S 13706 13709 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110717469 1250496512 44368 33554432000 4194304 16246674 140734443173872 140535477021936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13709/tid=13711] ppid=13706 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13711/stat : 13711 (toysat) S 13706 13709 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110717469 1250496512 44371 33554432000 4194304 16246674 140734443173872 140535466532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13709/tid=13712] ppid=13706 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13712/stat : 13712 (toysat) S 13706 13709 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110717469 1250496512 44374 33554432000 4194304 16246674 140734443173872 140535456058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300468 s]
/proc/loadavg: 2.21 2.19 2.18 3/179 13709
/proc/meminfo: memFree=29203508/32872528 swapFree=15272/1656604
[pid=13709] ppid=13706 vsize=1221188 CPUtime=0.29 cores=0,2,4,6
/proc/13709/stat : 13709 (toysat) R 13706 13709 9894 0 -1 4202496 67712 0 0 0 20 9 0 0 20 0 4 0 110717469 1250496512 67500 33554432000 4194304 16246674 140734443173872 140734443173184 5662075 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13709/statm: 305297 67507 877 2943 0 302191 0
[pid=13709/tid=13710] ppid=13706 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13710/stat : 13710 (toysat) S 13706 13709 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110717469 1250496512 67512 33554432000 4194304 16246674 140734443173872 140535477021936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13709/tid=13711] ppid=13706 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13711/stat : 13711 (toysat) S 13706 13709 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110717469 1250496512 67518 33554432000 4194304 16246674 140734443173872 140535466532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13709/tid=13712] ppid=13706 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13712/stat : 13712 (toysat) S 13706 13709 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110717469 1250496512 67523 33554432000 4194304 16246674 140734443173872 140535456058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1221188

[startup+0.7004 s]
/proc/loadavg: 2.21 2.19 2.18 3/179 13709
/proc/meminfo: memFree=29203508/32872528 swapFree=15272/1656604
[pid=13709] ppid=13706 vsize=1221188 CPUtime=0.69 cores=0,2,4,6
/proc/13709/stat : 13709 (toysat) R 13706 13709 9894 0 -1 4202496 147431 0 0 0 49 20 0 0 20 0 4 0 110717469 1250496512 147220 33554432000 4194304 16246674 140734443173872 140734443173184 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13709/statm: 305297 147234 877 2943 0 302191 0
[pid=13709/tid=13710] ppid=13706 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13710/stat : 13710 (toysat) S 13706 13709 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110717469 1250496512 147246 33554432000 4194304 16246674 140734443173872 140535477021936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13709/tid=13711] ppid=13706 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13711/stat : 13711 (toysat) S 13706 13709 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110717469 1250496512 147254 33554432000 4194304 16246674 140734443173872 140535466532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13709/tid=13712] ppid=13706 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13712/stat : 13712 (toysat) S 13706 13709 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110717469 1250496512 147264 33554432000 4194304 16246674 140734443173872 140535456058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1221188

[startup+1.50041 s]
/proc/loadavg: 2.21 2.19 2.18 3/183 13713
/proc/meminfo: memFree=28223380/32872528 swapFree=15272/1656604
[pid=13709] ppid=13706 vsize=1300036 CPUtime=1.49 cores=0,2,4,6
/proc/13709/stat : 13709 (toysat) R 13706 13709 9894 0 -1 4202496 266099 0 0 0 113 36 0 0 20 0 4 0 110717469 1331236864 265887 33554432000 4194304 16246674 140734443173872 140734443173184 12483272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13709/statm: 325009 265887 880 2943 0 321903 0
[pid=13709/tid=13710] ppid=13706 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13710/stat : 13710 (toysat) S 13706 13709 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110717469 1331236864 265887 33554432000 4194304 16246674 140734443173872 140535477021936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13709/tid=13711] ppid=13706 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13711/stat : 13711 (toysat) S 13706 13709 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110717469 1331236864 265887 33554432000 4194304 16246674 140734443173872 140535466532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13709/tid=13712] ppid=13706 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13712/stat : 13712 (toysat) S 13706 13709 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110717469 1331236864 265887 33554432000 4194304 16246674 140734443173872 140535456058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1300036

[startup+3.10041 s]
/proc/loadavg: 2.27 2.20 2.18 3/183 13713
/proc/meminfo: memFree=28133980/32872528 swapFree=15272/1656604
[pid=13709] ppid=13706 vsize=1307204 CPUtime=3.08 cores=0,2,4,6
/proc/13709/stat : 13709 (toysat) R 13706 13709 9894 0 -1 4202496 267986 0 0 0 272 36 0 0 20 0 4 0 110717469 1338576896 267774 33554432000 4194304 16246674 140734443173872 140734443155776 5754668 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13709/statm: 326801 267774 883 2943 0 323695 0
[pid=13709/tid=13710] ppid=13706 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13710/stat : 13710 (toysat) S 13706 13709 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110717469 1338576896 267774 33554432000 4194304 16246674 140734443173872 140535477021936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13709/tid=13711] ppid=13706 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13711/stat : 13711 (toysat) S 13706 13709 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110717469 1338576896 267774 33554432000 4194304 16246674 140734443173872 140535466532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13709/tid=13712] ppid=13706 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13712/stat : 13712 (toysat) S 13706 13709 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110717469 1338576896 267774 33554432000 4194304 16246674 140734443173872 140535456058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1307204

[startup+6.30041 s]
/proc/loadavg: 2.27 2.20 2.18 3/183 13713
/proc/meminfo: memFree=28132492/32872528 swapFree=15272/1656604
[pid=13709] ppid=13706 vsize=1307204 CPUtime=6.28 cores=0,2,4,6
/proc/13709/stat : 13709 (toysat) R 13706 13709 9894 0 -1 4202496 267986 0 0 0 592 36 0 0 20 0 4 0 110717469 1338576896 267774 33554432000 4194304 16246674 140734443173872 140734443155776 6023560 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13709/statm: 326801 267774 883 2943 0 323695 0
[pid=13709/tid=13710] ppid=13706 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13710/stat : 13710 (toysat) S 13706 13709 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110717469 1338576896 267774 33554432000 4194304 16246674 140734443173872 140535477021936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13709/tid=13711] ppid=13706 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13711/stat : 13711 (toysat) S 13706 13709 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110717469 1338576896 267774 33554432000 4194304 16246674 140734443173872 140535466532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13709/tid=13712] ppid=13706 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13712/stat : 13712 (toysat) S 13706 13709 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110717469 1338576896 267774 33554432000 4194304 16246674 140734443173872 140535456058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.31 2.21 2.19 3/183 13713
/proc/meminfo: memFree=28132400/32872528 swapFree=15272/1656604
[pid=13709] ppid=13706 vsize=1308228 CPUtime=12.68 cores=0,2,4,6
/proc/13709/stat : 13709 (toysat) R 13706 13709 9894 0 -1 4202496 268012 0 0 0 1232 36 0 0 20 0 4 0 110717469 1339625472 267800 33554432000 4194304 16246674 140734443173872 140734443155776 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13709/statm: 327057 267800 883 2943 0 323951 0
[pid=13709/tid=13710] ppid=13706 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13710/stat : 13710 (toysat) S 13706 13709 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110717469 1339625472 267800 33554432000 4194304 16246674 140734443173872 140535477021936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13709/tid=13711] ppid=13706 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13711/stat : 13711 (toysat) S 13706 13709 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110717469 1339625472 267800 33554432000 4194304 16246674 140734443173872 140535466532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13709/tid=13712] ppid=13706 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13712/stat : 13712 (toysat) S 13706 13709 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110717469 1339625472 267800 33554432000 4194304 16246674 140734443173872 140535456058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.26 2.20 2.18 3/183 13713
/proc/meminfo: memFree=28131192/32872528 swapFree=15272/1656604
[pid=13709] ppid=13706 vsize=1310276 CPUtime=25.49 cores=0,2,4,6
/proc/13709/stat : 13709 (toysat) R 13706 13709 9894 0 -1 4202496 268508 0 0 0 2512 37 0 0 20 0 4 0 110717469 1341722624 268296 33554432000 4194304 16246674 140734443173872 140734443155776 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13709/statm: 327569 268296 884 2943 0 324463 0
[pid=13709/tid=13710] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13710/stat : 13710 (toysat) S 13706 13709 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268296 33554432000 4194304 16246674 140734443173872 140535477021936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13709/tid=13711] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13711/stat : 13711 (toysat) S 13706 13709 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268296 33554432000 4194304 16246674 140734443173872 140535466532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13709/tid=13712] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13712/stat : 13712 (toysat) S 13706 13709 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268296 33554432000 4194304 16246674 140734443173872 140535456058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1310276

[startup+51.1005 s]
/proc/loadavg: 2.25 2.20 2.18 3/183 13713
/proc/meminfo: memFree=28129956/32872528 swapFree=15272/1656604
[pid=13709] ppid=13706 vsize=1310276 CPUtime=51.08 cores=0,2,4,6
/proc/13709/stat : 13709 (toysat) R 13706 13709 9894 0 -1 4202496 268756 0 0 0 5071 37 0 0 20 0 4 0 110717469 1341722624 268544 33554432000 4194304 16246674 140734443173872 140734443155776 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13709/statm: 327569 268544 885 2943 0 324463 0
[pid=13709/tid=13710] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13710/stat : 13710 (toysat) S 13706 13709 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268544 33554432000 4194304 16246674 140734443173872 140535477021936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13709/tid=13711] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13711/stat : 13711 (toysat) S 13706 13709 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268544 33554432000 4194304 16246674 140734443173872 140535466532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13709/tid=13712] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13712/stat : 13712 (toysat) S 13706 13709 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268544 33554432000 4194304 16246674 140734443173872 140535456058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1310276

[startup+102.301 s]
/proc/loadavg: 2.32 2.23 2.19 3/183 13714
/proc/meminfo: memFree=28129956/32872528 swapFree=15272/1656604
[pid=13709] ppid=13706 vsize=1310276 CPUtime=102.28 cores=0,2,4,6
/proc/13709/stat : 13709 (toysat) R 13706 13709 9894 0 -1 4202496 268756 0 0 0 10191 37 0 0 20 0 4 0 110717469 1341722624 268544 33554432000 4194304 16246674 140734443173872 140734443155776 13191844 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13709/statm: 327569 268544 885 2943 0 324463 0
[pid=13709/tid=13710] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13710/stat : 13710 (toysat) S 13706 13709 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268544 33554432000 4194304 16246674 140734443173872 140535477021936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13709/tid=13711] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13711/stat : 13711 (toysat) S 13706 13709 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268544 33554432000 4194304 16246674 140734443173872 140535466532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13709/tid=13712] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13712/stat : 13712 (toysat) S 13706 13709 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268544 33554432000 4194304 16246674 140734443173872 140535456058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1310276


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

/proc/13709/task/13712/stat : 13712 (toysat) S 13706 13709 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140535456058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1310276

[startup+1362.3 s]
/proc/loadavg: 2.30 2.26 2.19 3/183 13794
/proc/meminfo: memFree=28427188/32872528 swapFree=15272/1656604
[pid=13709] ppid=13706 vsize=1310276 CPUtime=1362.04 cores=0,2,4,6
/proc/13709/stat : 13709 (toysat) R 13706 13709 9894 0 -1 4202496 268833 0 0 0 136103 101 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140734443155776 6000150 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13709/statm: 327569 268800 885 2943 0 324463 0
[pid=13709/tid=13710] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13710/stat : 13710 (toysat) S 13706 13709 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140535477021936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13709/tid=13711] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13711/stat : 13711 (toysat) S 13706 13709 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140535466532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13709/tid=13712] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13712/stat : 13712 (toysat) S 13706 13709 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140535456058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 1310276

[startup+1422.3 s]
/proc/loadavg: 2.23 2.25 2.19 3/183 13795
/proc/meminfo: memFree=28426060/32872528 swapFree=15272/1656604
[pid=13709] ppid=13706 vsize=1310276 CPUtime=1422.02 cores=0,2,4,6
/proc/13709/stat : 13709 (toysat) R 13706 13709 9894 0 -1 4202496 268859 0 0 0 142096 106 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140734443155776 13001412 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13709/statm: 327569 268800 885 2943 0 324463 0
[pid=13709/tid=13710] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13710/stat : 13710 (toysat) S 13706 13709 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140535477021936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13709/tid=13711] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13711/stat : 13711 (toysat) S 13706 13709 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140535466532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13709/tid=13712] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13712/stat : 13712 (toysat) S 13706 13709 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140535456058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 1310276

[startup+1482.3 s]
/proc/loadavg: 2.30 2.26 2.19 3/183 13796
/proc/meminfo: memFree=28425352/32872528 swapFree=15272/1656604
[pid=13709] ppid=13706 vsize=1310276 CPUtime=1481.99 cores=0,2,4,6
/proc/13709/stat : 13709 (toysat) R 13706 13709 9894 0 -1 4202496 268888 0 0 0 148089 110 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140734443173048 13191293 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13709/statm: 327569 268800 885 2943 0 324463 0
[pid=13709/tid=13710] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13710/stat : 13710 (toysat) S 13706 13709 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140535477021936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13709/tid=13711] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13711/stat : 13711 (toysat) S 13706 13709 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140535466532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13709/tid=13712] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13712/stat : 13712 (toysat) S 13706 13709 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140535456058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 1310276

[startup+1542.31 s]
/proc/loadavg: 2.24 2.25 2.19 3/183 13798
/proc/meminfo: memFree=28424068/32872528 swapFree=15272/1656604
[pid=13709] ppid=13706 vsize=1310276 CPUtime=1541.98 cores=0,2,4,6
/proc/13709/stat : 13709 (toysat) R 13706 13709 9894 0 -1 4202496 268912 0 0 0 154084 114 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140734443171776 13006819 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13709/statm: 327569 268800 885 2943 0 324463 0
[pid=13709/tid=13710] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13710/stat : 13710 (toysat) S 13706 13709 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140535477021936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13709/tid=13711] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13711/stat : 13711 (toysat) S 13706 13709 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140535466532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13709/tid=13712] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13712/stat : 13712 (toysat) S 13706 13709 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140535456058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 1310276

[startup+1602.3 s]
/proc/loadavg: 2.23 2.25 2.19 3/184 13801
/proc/meminfo: memFree=28423084/32872528 swapFree=15272/1656604
[pid=13709] ppid=13706 vsize=1310276 CPUtime=1601.94 cores=0,2,4,6
/proc/13709/stat : 13709 (toysat) R 13706 13709 9894 0 -1 4202496 268942 0 0 0 160075 119 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140734443155776 13193800 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13709/statm: 327569 268800 885 2943 0 324463 0
[pid=13709/tid=13710] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13710/stat : 13710 (toysat) S 13706 13709 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140535477021936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13709/tid=13711] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13711/stat : 13711 (toysat) S 13706 13709 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140535466532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13709/tid=13712] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13712/stat : 13712 (toysat) S 13706 13709 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140535456058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 1310276

[startup+1662.3 s]
/proc/loadavg: 2.15 2.23 2.18 3/183 13803
/proc/meminfo: memFree=28422000/32872528 swapFree=15272/1656604
[pid=13709] ppid=13706 vsize=1310276 CPUtime=1661.91 cores=0,2,4,6
/proc/13709/stat : 13709 (toysat) R 13706 13709 9894 0 -1 4202496 268982 0 0 0 166067 124 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140734443155776 4207027 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13709/statm: 327569 268800 885 2943 0 324463 0
[pid=13709/tid=13710] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13710/stat : 13710 (toysat) S 13706 13709 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140535477021936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13709/tid=13711] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13711/stat : 13711 (toysat) S 13706 13709 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140535466532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13709/tid=13712] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13712/stat : 13712 (toysat) S 13706 13709 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140535456058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 1310276

[startup+1722.3 s]
/proc/loadavg: 2.25 2.24 2.19 3/183 13803
/proc/meminfo: memFree=28421356/32872528 swapFree=15272/1656604
[pid=13709] ppid=13706 vsize=1310276 CPUtime=1721.87 cores=0,2,4,6
/proc/13709/stat : 13709 (toysat) R 13706 13709 9894 0 -1 4202496 269026 0 0 0 172059 128 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140734443155776 4220498 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13709/statm: 327569 268800 885 2943 0 324463 0
[pid=13709/tid=13710] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13710/stat : 13710 (toysat) S 13706 13709 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140535477021936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13709/tid=13711] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13711/stat : 13711 (toysat) S 13706 13709 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140535466532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13709/tid=13712] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13712/stat : 13712 (toysat) S 13706 13709 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140535456058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1310276

[startup+1782.3 s]
/proc/loadavg: 2.35 2.27 2.19 3/183 13805
/proc/meminfo: memFree=28366200/32872528 swapFree=15272/1656604
[pid=13709] ppid=13706 vsize=1310276 CPUtime=1781.86 cores=0,2,4,6
/proc/13709/stat : 13709 (toysat) R 13706 13709 9894 0 -1 4202496 269026 0 0 0 178053 133 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140734443172968 5652729 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13709/statm: 327569 268800 885 2943 0 324463 0
[pid=13709/tid=13710] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13710/stat : 13710 (toysat) S 13706 13709 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140535477021936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13709/tid=13711] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13711/stat : 13711 (toysat) S 13706 13709 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140535466532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13709/tid=13712] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13712/stat : 13712 (toysat) S 13706 13709 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140535456058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1310276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.25 2.25 2.19 4/183 13806
/proc/meminfo: memFree=28334156/32872528 swapFree=15272/1656604
[pid=13709] ppid=13706 vsize=1310276 CPUtime=1800.05 cores=0,2,4,6
/proc/13709/stat : 13709 (toysat) R 13706 13709 9894 0 -1 4202496 269026 0 0 0 179870 135 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140734443155776 13898695 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13709/statm: 327569 268800 885 2943 0 324463 0
[pid=13709/tid=13710] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13710/stat : 13710 (toysat) S 13706 13709 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140535477021936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13709/tid=13711] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13711/stat : 13711 (toysat) S 13706 13709 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140535466532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13709/tid=13712] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13712/stat : 13712 (toysat) S 13706 13709 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140535456058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1310276

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

[startup+1800.5 s]
/proc/loadavg: 2.25 2.25 2.19 4/183 13806
/proc/meminfo: memFree=28334156/32872528 swapFree=15272/1656604
[pid=13709] ppid=13706 vsize=1310276 CPUtime=1800.05 cores=0,2,4,6
/proc/13709/stat : 13709 (toysat) R 13706 13709 9894 0 -1 4202496 269026 0 0 0 179870 135 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140734443155776 13898695 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13709/statm: 327569 268800 885 2943 0 324463 0
[pid=13709/tid=13710] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13710/stat : 13710 (toysat) S 13706 13709 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140535477021936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13709/tid=13711] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13711/stat : 13711 (toysat) S 13706 13709 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140535466532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13709/tid=13712] ppid=13706 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13712/stat : 13712 (toysat) S 13706 13709 9894 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110717469 1341722624 268800 33554432000 4194304 16246674 140734443173872 140535456058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1310276

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1798.71
CPU system time (s): 1.35879
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 1310276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.71
system time used= 1.35879
maximum resident set size= 1075200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269026
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= 285
involuntary context switches= 1937

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.3361 second user time and 16.0976 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-07 10:24:01
IDJOB=4078884
IDBENCH=90231
IDSOLVER=2542
FILE ID=node136/4078884-1465287841
RUNJOBID= node136-1465261284-9910
PBS_JOBID= 19843291
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K74.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078884-1465287841/watcher-4078884-1465287841 -o /tmp/evaluation-result-4078884-1465287841/solver-4078884-1465287841 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465261284-9910 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078884-1465287841.opb

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

MD5SUM BENCH= 2c8bde17548c9a00246d31b2c96230ce
RANDOM SEED=1506417

node136.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.959
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.91
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.959
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.959
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.959
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.959
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.959
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.59
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.959
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.959
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:        29204036 kB
Buffers:           55372 kB
Cached:           144152 kB
SwapCached:          768 kB
Active:          1152828 kB
Inactive:         125284 kB
Active(anon):    1077428 kB
Inactive(anon):     3536 kB
Active(file):      75400 kB
Inactive(file):   121748 kB
Unevictable:     1656604 kB
Mlocked:           15272 kB
SwapTotal:      67108856 kB
SwapFree:       67099384 kB
Dirty:             16896 kB
Writeback:             0 kB
AnonPages:       2736540 kB
Mapped:            10692 kB
Shmem:                 0 kB
Slab:             598480 kB
SReclaimable:      42232 kB
SUnreclaim:       556248 kB
KernelStack:        1520 kB
PageTables:         9452 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2879248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1648640 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= 71692 MiB
End job on node136 at 2016-06-07 10:54:02