Trace number 4100737

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.08 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-israel.opb
MD5SUM916719a95a95b5989e5d4b5f3d786df3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-41
Best CPU time to get the best result obtained on this benchmark321.257
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -36
Optimality of the best value was proved NO
Number of variables4260
Total number of constraints174
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints174
Minimum length of a constraint30
Maximum length of a constraint3540
Number of terms in the objective function 2670
Biggest coefficient in the objective function 42742
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 526467
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262137
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 527037
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T04:30:00+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-4100737-1466217000.opb"]
0.00/0.01	c use --random-gen="158995050 2683564910 1565271481 144300448 564508380 928633251 2684349995 2779801197 3333313084 507635860 3189209387 1956398065 3250448296 3366917312 2631458869 3216156670 1688987274 1977673666 1449815419 4121100926 3721223683 2098419849 97517870 549414100 524146738 1152225439 1250414082 1117556646 2354641252 3408879011 15379584 4128589853 3125790947 2535853240 2601763569 705979733 2007210042 2598251507 1460929721 2158088485 3827086005 3714729421 1258689059 3732981045 1903364915 2641128863 2881763178 154619062 4149830632 2825176492 4280165606 1169993958 710012996 2322668597 3840803272 3905599323 2138423231 3783564567 2558006430 2634315853 2808398124 1839429134 140274029 1400399182 3273019961 4252913184 2077249998 4117383781 3684933808 614627625 2505744121 3956384382 3347800195 1751005883 3780567161 2696541733 4200905678 1170189503 948023895 1760611153 2894930637 3806741048 2407988209 3483838426 3347601888 1984088204 404612074 236273587 1663280304 1245256254 4042085957 52348239 2133203020 1068851794 266051847 755350364 3270667618 3008520272 2807184526 1489747492 1811266625 3612498014 1655863578 3150971348 44789808 2675803744 3581904495 591994826 2480040629 1013843103 3647476973 812405709 2574670626 2273126910 258112501 3583898818 1582901782 3969043426 493383196 757055899 1308041841 997454817 2898901670 3782330133 1566684916 1023872637 4010304276 795850720 3570963064 3729998392 1348979698 1708493968 3668496828 866972009 575096683 1047044024 2891709325 1955327389 1852220472 1039632711 3763288020 2160281849 404746022 2635583062 1927189341 354252644 1105383956 959663241 3853605920 1443755535 1341809614 1321486936 281331297 1750701461 3343205522 2511252669 3444649939 3244551624 2591325419 306618942 2341628593 2388480538 1379851631 4223492224 1409619551 565728512 3419957429 2064651510 2968179309 1062860225 2277999469 1551774292 1647118819 2216455615 1885503837 4125897957 904257177 2330631173 2134911602 996621224 827129991 2081387853 3256921870 799736405 949395534 1274303415 4067936640 494682030 1316816285 2967397722 2489010411 3748695359 2931050387 122323045 1579998431 3467246574 2247767951 2353563205 1041881180 3949766855 2133346746 4145130214 1772595851 318968355 852632712 120663342 1288708324 887304328 1051613425 355508407 70175548 2047991925 445389471 2357228092 219843866 4044838855 1025228802 3203175208 2813425091 1359705925 4031380468 566569213 1502952538 3094857005 754391439 3147025028 2768006587 2621266386 3550093855 230876044 2652324835 2420081727 855932067 3968363688 299672730 3673640799 3172346085 2962746243 903097557 114335186 989617465 1099831999 4141022846 3497294566 1106367619 3877593297 2611866069 2792346405 1620325719 2245396169 4246899135 1842306980 3414101273 3851702364 872778049 87971833 255 362436" option to reproduce the execution
0.09/0.15	c #vars 4260
0.09/0.15	c #constraints 174
0.49/0.57	c BCD2: Hardening is enabled.
0.49/0.57	c BCD2: BiasedSearch is enabled.
0.49/0.57	c Solving starts ...
0.49/0.57	c ============================[ Search Statistics ]============================
0.49/0.57	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.49/0.57	c       |         |          |          |    Limit     GC | Var      | Constra 
0.49/0.57	c =============================================================================
0.49/0.57	c  0.0s |       0 |        0 |        0 |     1478      0 |     1068 |        0
0.59/0.62	c  0.0s |       1 |      198 |      100 |     1478      0 |     1068 |        0
0.69/0.71	c  0.1s |       2 |      452 |      250 |     1626      0 |     1068 |        0
0.79/0.86	c  0.3s |       3 |      733 |      475 |     1789      0 |     1068 |        0
1.10/1.14	c  0.6s |       4 |     1306 |      813 |     1968      0 |     1068 |        0
1.69/1.70	c  1.1s |       5 |     2193 |     1320 |     2165      0 |     1068 |        0
2.79/2.86	c  2.3s |       6 |     3484 |     2081 |     2621      0 |     1068 |        0
4.19/4.30	c  3.7s |       7 |     5163 |     3223 |     2884      0 |     1068 |        0
5.79/5.86	c  5.3s |       8 |     7159 |     4936 |     3173      1 |     1068 |        0
7.79/7.87	c  7.3s |       8 |     9573 |     6836 |     3173      2 |     1068 |        0
8.48/8.51	c  7.9s |       9 |    10276 |     7506 |     3491      2 |     1068 |        0
10.58/10.62	c 10.1s |       9 |    15338 |     8906 |     3491      2 |     1068 |        0
12.68/12.77	c 12.2s |       9 |    16350 |     9906 |     3491      3 |     1068 |        0
14.78/14.86	c 14.3s |       9 |    17296 |    10806 |     3491      3 |     1068 |        0
16.18/16.26	c 15.7s |      10 |    17857 |    11361 |     3841      3 |     1068 |        0
18.38/18.43	c 17.9s |      10 |    20305 |    12761 |     3841      3 |     1068 |        0
20.38/20.48	c 19.9s |      10 |    20800 |    13261 |     3841      3 |     1068 |        0
22.68/22.76	c 22.2s |      10 |    21299 |    13761 |     3841      4 |     1068 |        0
25.08/25.16	c 24.6s |      10 |    21803 |    14261 |     3841      4 |     1068 |        0
27.28/27.31	c 26.7s |      10 |    22198 |    14661 |     3841      4 |     1068 |        0
29.28/29.36	c 28.8s |      10 |    22512 |    14961 |     3841      4 |     1068 |        0
31.68/31.74	c 31.2s |      10 |    22806 |    15261 |     3841      4 |     1068 |        0
33.78/33.82	c 33.2s |      10 |    23119 |    15561 |     3841      4 |     1068 |        0
35.78/35.89	c 35.3s |      10 |    23421 |    15861 |     3841      4 |     1068 |        0
37.88/37.90	c 37.3s |      10 |    23619 |    16061 |     3841      4 |     1068 |        0
40.18/40.24	c 39.7s |      10 |    23818 |    16261 |     3841      4 |     1068 |        0
42.48/42.52	c 41.9s |      10 |    24024 |    16461 |     3841      5 |     1068 |        0
45.09/45.11	c 44.5s |      10 |    24219 |    16661 |     3841      5 |     1068 |        0
47.98/48.01	c 47.4s |      10 |    24418 |    16861 |     3841      5 |     1068 |        0
50.38/50.40	c 49.8s |      11 |    24706 |    17144 |     4226      5 |     1068 |        0
52.59/52.66	c 52.1s |      11 |    27901 |    17244 |     4226      5 |     1068 |        0
54.88/54.93	c 54.4s |      11 |    29366 |    17344 |     4226      5 |     1068 |        0
58.68/58.75	c 58.2s |      11 |    40013 |    17644 |     4226      5 |     1068 |        0
61.08/61.15	c 60.6s |      11 |    42167 |    17744 |     4226      5 |     1068 |        0
64.48/64.54	c 64.0s |      11 |    46758 |    17944 |     4226      5 |     1068 |        0
67.68/67.78	c 67.2s |      11 |    49543 |    18244 |     4226      5 |     1068 |        0
70.28/70.36	c 69.8s |      11 |    57068 |    18444 |     4226      5 |     1068 |        0
72.38/72.48	c 71.9s |      11 |    61975 |    18644 |     4226      5 |     1068 |        0
74.68/74.75	c 74.2s |      11 |    66564 |    18944 |     4226      5 |     1068 |        0
76.88/76.95	c 76.4s |      11 |    71415 |    19144 |     4226      5 |     1068 |        0
79.29/79.32	c 78.7s |      11 |    74321 |    19444 |     4226      5 |     1068 |        0
82.18/82.21	c 81.6s |      11 |    79455 |    19744 |     4226      5 |     1068 |        0
84.48/84.55	c 84.0s |      11 |    80419 |    19944 |     4226      6 |     1068 |        0
87.58/87.61	c 87.0s |      11 |    83031 |    20044 |     4226      6 |     1068 |        0
89.78/89.81	c 89.2s |      11 |    86159 |    20244 |     4226      6 |     1068 |        0
93.28/93.37	c 92.8s |      11 |    88673 |    20444 |     4226      6 |     1068 |        0
95.88/95.91	c 95.3s |      11 |    91036 |    20644 |     4226      6 |     1068 |        0
99.48/99.53	c 99.0s |      11 |    95099 |    20944 |     4226      6 |     1068 |        0
101.58/101.68	c  101s |      11 |    96052 |    21144 |     4226      6 |     1068 |        0
103.88/103.94	c  103s |      11 |    97362 |    21344 |     4226      6 |     1068 |        0
106.78/106.87	c  106s |      11 |    98124 |    21544 |     4226      6 |     1068 |        0
109.98/110.01	c  109s |      11 |    98851 |    21744 |     4226      6 |     1068 |        0
113.07/113.10	c  112s |      11 |    99747 |    21944 |     4226      6 |     1068 |        0
116.07/116.18	c  115s |      11 |   100801 |    22144 |     4226      6 |     1068 |        0
119.57/119.68	c  119s |      11 |   102633 |    22344 |     4226      6 |     1068 |        0
121.67/121.79	c  121s |      11 |   104040 |    22444 |     4226      6 |     1068 |        0
125.27/125.40	c  124s |      11 |   105466 |    22744 |     4226      6 |     1068 |        0
128.87/128.98	c  128s |      11 |   106359 |    22944 |     4226      6 |     1068 |        0
133.47/133.57	c  132s |      11 |   108184 |    23144 |     4226      7 |     1068 |        0
136.57/136.68	c  136s |      11 |   109980 |    23344 |     4226      7 |     1068 |        0
139.37/139.45	c  138s |      11 |   111626 |    23544 |     4226      7 |     1068 |        0
141.77/141.82	c  141s |      11 |   112992 |    23744 |     4226      7 |     1068 |        0
145.07/145.14	c  144s |      11 |   114493 |    23944 |     4226      7 |     1068 |        0
147.67/147.79	c  147s |      11 |   115251 |    24044 |     4226      7 |     1068 |        0
149.87/149.92	c  149s |      11 |   116099 |    24244 |     4226      7 |     1068 |        0
153.37/153.43	c  152s |      11 |   118351 |    24544 |     4226      7 |     1068 |        0
156.27/156.39	c  155s |      11 |   121382 |    24744 |     4226      7 |     1068 |        0
159.37/159.43	c  158s |      11 |   126158 |    25044 |     4226      7 |     1068 |        0
162.07/162.13	c  161s |      11 |   128350 |    25244 |     4226      7 |     1068 |        0
164.97/165.08	c  164s |      11 |   130791 |    25544 |     4226      7 |     1068 |        0
166.67/166.76	c  166s |      12 |   132521 |    25819 |     4649      7 |     1068 |        0
169.77/169.82	c  169s |      12 |   135311 |    26019 |     4649      8 |     1068 |        0
173.06/173.12	c  172s |      12 |   137665 |    26219 |     4649      8 |     1068 |        0
175.06/175.13	c  174s |      12 |   141584 |    26419 |     4649      8 |     1068 |        0
177.07/177.13	c  176s |      12 |   142426 |    26719 |     4649      8 |     1068 |        0
179.86/179.98	c  179s |      12 |   146570 |    27019 |     4649      8 |     1068 |        0
182.06/182.15	c  181s |      12 |   147616 |    27219 |     4649      8 |     1068 |        0
185.16/185.28	c  184s |      12 |   152192 |    27519 |     4649      8 |     1068 |        0
187.26/187.33	c  186s |      12 |   152598 |    27619 |     4649      8 |     1068 |        0
190.16/190.26	c  189s |      12 |   156675 |    27819 |     4649      8 |     1068 |        0
192.66/192.70	c  192s |      12 |   157696 |    28019 |     4649      8 |     1068 |        0
196.46/196.60	c  196s |      12 |   158162 |    28219 |     4649      8 |     1068 |        0
198.76/198.87	c  198s |      12 |   160449 |    28319 |     4649      8 |     1068 |        0
201.27/201.35	c  200s |      12 |   161059 |    28519 |     4649      8 |     1068 |        0
203.36/203.45	c  202s |      12 |   162931 |    28819 |     4649      8 |     1068 |        0
207.66/207.75	c  207s |      12 |   163881 |    29019 |     4649      8 |     1068 |        0
210.07/210.14	c  209s |      12 |   167451 |    29319 |     4649      8 |     1068 |        0
212.46/212.54	c  211s |      12 |   171971 |    29619 |     4649      8 |     1068 |        0
215.06/215.18	c  214s |      12 |   173828 |    30019 |     4649      9 |     1068 |        0
218.56/218.66	c  218s |      12 |   176366 |    30219 |     4649      9 |     1068 |        0
221.46/221.59	c  221s |      12 |   179125 |    30619 |     4649      9 |     1068 |        0
223.66/223.77	c  223s |      12 |   181342 |    30819 |     4649      9 |     1068 |        0
225.96/226.04	c  225s |      12 |   183171 |    31119 |     4649      9 |     1068 |        0
228.96/229.01	c  228s |      12 |   184922 |    31319 |     4649      9 |     1068 |        0
232.76/232.87	c  232s |      12 |   187021 |    31619 |     4649      9 |     1068 |        0
234.86/234.99	c  234s |      12 |   192767 |    31819 |     4649      9 |     1068 |        0
237.25/237.40	c  236s |      12 |   196519 |    32119 |     4649      9 |     1068 |        0
240.35/240.45	c  239s |      12 |   199465 |    32319 |     4649      9 |     1068 |        0
243.85/243.96	c  243s |      12 |   202418 |    32519 |     4649      9 |     1068 |        0
246.55/246.69	c  246s |      12 |   205269 |    32719 |     4649      9 |     1068 |        0
249.05/249.15	c  248s |      12 |   208816 |    32919 |     4649      9 |     1068 |        0
251.86/251.95	c  251s |      12 |   211030 |    33219 |     4649     10 |     1068 |        0
254.06/254.20	c  253s |      12 |   213617 |    33419 |     4649     10 |     1068 |        0
257.05/257.17	c  256s |      12 |   215659 |    33719 |     4649     10 |     1068 |        0
259.35/259.47	c  258s |      12 |   218051 |    33919 |     4649     10 |     1068 |        0
261.45/261.51	c  260s |      12 |   220058 |    34219 |     4649     10 |     1068 |        0
263.55/263.67	c  263s |      12 |   221157 |    34419 |     4649     10 |     1068 |        0
266.05/266.10	c  265s |      12 |   224090 |    34719 |     4649     10 |     1068 |        0
269.05/269.10	c  268s |      12 |   225718 |    34919 |     4649     10 |     1068 |        0
271.55/271.60	c  271s |      12 |   227608 |    35119 |     4649     10 |     1068 |        0
273.86/273.99	c  273s |      12 |   230390 |    35419 |     4649     10 |     1068 |        0
275.95/276.06	c  275s |      12 |   231311 |    35519 |     4649     10 |     1068 |        0
279.25/279.39	c  278s |      12 |   232285 |    35719 |     4649     10 |     1068 |        0
282.05/282.14	c  281s |      12 |   233409 |    35919 |     4649     10 |     1068 |        0
284.65/284.76	c  284s |      12 |   235221 |    36219 |     4649     10 |     1068 |        0
287.95/288.06	c  287s |      12 |   237165 |    36519 |     4649     10 |     1068 |        0
290.45/290.53	c  289s |      12 |   239061 |    36719 |     4649     10 |     1068 |        0
293.85/293.95	c  293s |      12 |   241147 |    37019 |     4649     11 |     1068 |        0
296.05/296.18	c  295s |      12 |   242977 |    37319 |     4649     11 |     1068 |        0
298.25/298.32	c  297s |      12 |   243563 |    37519 |     4649     11 |     1068 |        0
300.25/300.40	c  299s |      12 |   244502 |    37719 |     4649     11 |     1068 |        0
303.44/303.53	c  302s |      12 |   246099 |    38019 |     4649     11 |     1068 |        0
306.04/306.18	c  305s |      12 |   251812 |    38319 |     4649     11 |     1068 |        0
308.24/308.30	c  307s |      12 |   253616 |    38519 |     4649     11 |     1068 |        0
310.84/310.98	c  310s |      12 |   254686 |    38719 |     5114     11 |     1068 |        0
312.74/312.81	c  312s |      13 |   256008 |    38832 |     5114     11 |     1068 |        0
315.54/315.61	c  315s |      13 |   256468 |    39032 |     5114     11 |     1068 |        0
318.14/318.24	c  317s |      13 |   259585 |    39332 |     5114     11 |     1068 |        0
320.64/320.75	c  320s |      13 |   262168 |    39732 |     5114     11 |     1068 |        0
323.64/323.71	c  323s |      13 |   263824 |    39932 |     5114     11 |     1068 |        0
325.94/326.09	c  325s |      13 |   265436 |    40232 |     5114     11 |     1068 |        0
328.64/328.72	c  328s |      13 |   268527 |    40432 |     5114     11 |     1068 |        0
330.84/330.92	c  330s |      13 |   271527 |    40732 |     5114     12 |     1068 |        0
333.04/333.15	c  332s |      13 |   274326 |    41032 |     5114     12 |     1068 |        0
335.24/335.34	c  334s |      13 |   275101 |    41232 |     5114     12 |     1068 |        0
337.75/337.82	c  337s |      13 |   277934 |    41532 |     5114     12 |     1068 |        0
339.95/340.04	c  339s |      13 |   280729 |    41732 |     5114     12 |     1068 |        0
342.74/342.82	c  342s |      13 |   282258 |    41932 |     5114     12 |     1068 |        0
344.94/345.07	c  344s |      13 |   285300 |    42132 |     5114     12 |     1068 |        0
347.55/347.67	c  347s |      13 |   287160 |    42332 |     5114     12 |     1068 |        0
349.94/350.05	c  349s |      13 |   289638 |    42632 |     5114     12 |     1068 |        0
352.74/352.85	c  352s |      13 |   291463 |    42832 |     5114     12 |     1068 |        0
355.24/355.36	c  354s |      13 |   293644 |    43232 |     5114     12 |     1068 |        0
357.74/357.87	c  357s |      13 |   297659 |    43632 |     5114     12 |     1068 |        0
361.24/361.33	c  360s |      13 |   300371 |    43932 |     5114     12 |     1068 |        0
363.83/363.93	c  363s |      13 |   302244 |    44132 |     5114     12 |     1068 |        0
368.13/368.21	c  367s |      13 |   303316 |    44332 |     5114     12 |     1068 |        0
370.64/370.75	c  370s |      13 |   304564 |    44532 |     5114     13 |     1068 |        0
373.03/373.12	c  372s |      13 |   306972 |    44932 |     5114     13 |     1068 |        0
375.43/375.54	c  374s |      13 |   309404 |    45332 |     5114     13 |     1068 |        0
378.03/378.17	c  377s |      13 |   311876 |    45732 |     5114     13 |     1068 |        0
380.43/380.51	c  379s |      13 |   314204 |    46132 |     5114     13 |     1068 |        0
382.53/382.66	c  382s |      13 |   314841 |    46232 |     5114     13 |     1068 |        0
385.33/385.43	c  384s |      13 |   315785 |    46432 |     5114     13 |     1068 |        0
388.53/388.68	c  388s |      13 |   318945 |    46732 |     5114     13 |     1068 |        0
390.73/390.86	c  390s |      13 |   321360 |    46932 |     5114     13 |     1068 |        0
394.84/395.00	c  394s |      13 |   323356 |    47132 |     5114     13 |     1068 |        0
398.43/398.55	c  397s |      13 |   325796 |    47332 |     5114     13 |     1068 |        0
401.83/401.99	c  401s |      13 |   328570 |    47532 |     5114     13 |     1068 |        0
404.33/404.43	c  403s |      13 |   329315 |    47732 |     5114     13 |     1068 |        0
406.43/406.55	c  405s |      13 |   332795 |    48132 |     5114     14 |     1068 |        0
409.03/409.17	c  408s |      13 |   335219 |    48432 |     5114     14 |     1068 |        0
413.43/413.58	c  413s |      13 |   337732 |    48832 |     5114     14 |     1068 |        0
415.73/415.81	c  415s |      13 |   341282 |    49132 |     5114     14 |     1068 |        0
418.13/418.27	c  417s |      13 |   343051 |    49432 |     5114     14 |     1068 |        0
420.43/420.54	c  419s |      13 |   343960 |    49732 |     5114     14 |     1068 |        0
422.93/423.07	c  422s |      13 |   346578 |    49932 |     5114     14 |     1068 |        0
425.03/425.12	c  424s |      13 |   351653 |    50132 |     5114     14 |     1068 |        0
427.03/427.13	c  426s |      13 |   355179 |    50432 |     5114     14 |     1068 |        0
429.42/429.53	c  428s |      13 |   357552 |    50632 |     5114     14 |     1068 |        0
432.72/432.82	c  432s |      13 |   360834 |    50832 |     5114     14 |     1068 |        0
435.32/435.48	c  434s |      13 |   362449 |    51032 |     5114     14 |     1068 |        0
437.62/437.76	c  437s |      13 |   364352 |    51332 |     5114     14 |     1068 |        0
441.03/441.12	c  440s |      13 |   369746 |    51632 |     5114     15 |     1068 |        0
443.62/443.72	c  443s |      13 |   373866 |    52032 |     5114     15 |     1068 |        0
445.92/446.06	c  445s |      13 |   377101 |    52332 |     5114     15 |     1068 |        0
448.32/448.50	c  447s |      13 |   388685 |    52632 |     5114     15 |     1068 |        0
451.12/451.21	c  450s |      13 |   393887 |    53132 |     5114     15 |     1068 |        0
453.72/453.84	c  453s |      13 |   402290 |    53332 |     5114     15 |     1068 |        0
455.72/455.88	c  455s |      13 |   404153 |    53532 |     5114     15 |     1068 |        0
458.73/458.87	c  458s |      13 |   408022 |    53832 |     5114     15 |     1068 |        0
461.32/461.42	c  460s |      13 |   412549 |    54232 |     5114     15 |     1068 |        0
464.02/464.18	c  463s |      13 |   416337 |    54532 |     5114     15 |     1068 |        0
466.43/466.55	c  465s |      13 |   418695 |    54932 |     5114     15 |     1068 |        0
469.42/469.55	c  468s |      13 |   423619 |    55332 |     5114     16 |     1068 |        0
472.02/472.18	c  471s |      13 |   428097 |    55632 |     5114     16 |     1068 |        0
474.12/474.21	c  473s |      13 |   431900 |    55832 |     5114     16 |     1068 |        0
476.92/477.02	c  476s |      13 |   438119 |    56132 |     5114     16 |     1068 |        0
479.02/479.10	c  478s |      13 |   442038 |    56332 |     5114     16 |     1068 |        0
481.92/482.05	c  481s |      13 |   447361 |    56632 |     5114     16 |     1068 |        0
484.52/484.64	c  484s |      13 |   452385 |    56932 |     5114     16 |     1068 |        0
487.02/487.17	c  486s |      13 |   457297 |    57232 |     5114     16 |     1068 |        0
489.31/489.43	c  488s |      13 |   459838 |    57532 |     5114     16 |     1068 |        0
491.62/491.77	c  491s |      13 |   463492 |    57732 |     5114     16 |     1068 |        0
494.21/494.33	c  493s |      13 |   466826 |    58032 |     5626     16 |     1068 |        0
497.01/497.14	c  496s |      13 |   470358 |    58332 |     5626     16 |     1068 |        0
497.31/497.48	c  496s |      14 |   470668 |    58352 |     5626     16 |     1068 |        0
499.61/499.71	c  499s |      14 |   472723 |    58552 |     5626     17 |     1068 |        0
502.72/502.82	c  502s |      14 |   476093 |    58852 |     5626     17 |     1068 |        0
505.01/505.14	c  504s |      14 |   477544 |    59152 |     5626     17 |     1068 |        0
507.61/507.70	c  507s |      14 |   478272 |    59352 |     5626     17 |     1068 |        0
509.61/509.78	c  509s |      14 |   478404 |    59452 |     5626     17 |     1068 |        0
511.71/511.87	c  511s |      14 |   478535 |    59552 |     5626     17 |     1068 |        0
513.72/513.89	c  513s |      14 |   478657 |    59652 |     5626     17 |     1068 |        0
516.01/516.18	c  515s |      14 |   478806 |    59752 |     5626     17 |     1068 |        0
518.61/518.74	c  518s |      14 |   478906 |    59852 |     5626     17 |     1068 |        0
521.11/521.29	c  520s |      14 |   479005 |    59952 |     5626     17 |     1068 |        0
523.71/523.80	c  523s |      14 |   479108 |    60052 |     5626     17 |     1068 |        0
526.01/526.19	c  525s |      14 |   479207 |    60152 |     5626     17 |     1068 |        0
528.61/528.73	c  528s |      14 |   479309 |    60252 |     5626     17 |     1068 |        0
530.71/530.89	c  530s |      14 |   479460 |    60352 |     5626     17 |     1068 |        0
533.21/533.33	c  532s |      14 |   479554 |    60452 |     5626     17 |     1068 |        0
535.61/535.75	c  535s |      14 |   479663 |    60552 |     5626     17 |     1068 |        0
538.31/538.43	c  537s |      14 |   479751 |    60652 |     5626     17 |     1068 |        0
541.60/541.76	c  541s |      14 |   479954 |    60852 |     5626     17 |     1068 |        0
544.70/544.88	c  544s |      14 |   480153 |    61052 |     5626     17 |     1068 |        0
549.00/549.10	c  548s |      14 |   480372 |    61252 |     5626     17 |     1068 |        0
552.00/552.10	c  551s |      14 |   480466 |    61352 |     5626     17 |     1068 |        0
554.90/555.06	c  554s |      14 |   480562 |    61452 |     5626     17 |     1068 |        0
557.20/557.33	c  556s |      14 |   480672 |    61552 |     5626     17 |     1068 |        0
560.00/560.10	c  559s |      14 |   480787 |    61652 |     5626     17 |     1068 |        0
563.30/563.40	c  562s |      14 |   480884 |    61752 |     5626     17 |     1068 |        0
566.41/566.59	c  566s |      14 |   480989 |    61852 |     5626     17 |     1068 |        0
568.90/569.00	c  568s |      14 |   481131 |    61952 |     5626     17 |     1068 |        0
571.00/571.13	c  570s |      14 |   481232 |    62052 |     5626     17 |     1068 |        0
573.30/573.41	c  572s |      14 |   481355 |    62152 |     5626     17 |     1068 |        0
576.10/576.24	c  575s |      14 |   481478 |    62252 |     5626     17 |     1068 |        0
579.30/579.48	c  578s |      14 |   481577 |    62352 |     5626     17 |     1068 |        0
582.40/582.57	c  581s |      14 |   481684 |    62452 |     5626     17 |     1068 |        0
585.50/585.68	c  585s |      14 |   481789 |    62552 |     5626     17 |     1068 |        0
588.60/588.77	c  588s |      14 |   481894 |    62652 |     5626     17 |     1068 |        0
591.70/591.87	c  591s |      14 |   481994 |    62752 |     5626     17 |     1068 |        0
594.80/594.94	c  594s |      14 |   482105 |    62852 |     5626     17 |     1068 |        0
597.90/598.01	c  597s |      14 |   482210 |    62952 |     5626     17 |     1068 |        0
600.99/601.12	c  600s |      14 |   482315 |    63052 |     5626     17 |     1068 |        0
604.09/604.26	c  603s |      14 |   482423 |    63152 |     5626     17 |     1068 |        0
607.29/607.40	c  606s |      14 |   482526 |    63252 |     5626     17 |     1068 |        0
610.40/610.55	c  609s |      14 |   482631 |    63352 |     5626     17 |     1068 |        0
613.39/613.59	c  613s |      14 |   482741 |    63452 |     5626     17 |     1068 |        0
616.59/616.78	c  616s |      14 |   482854 |    63552 |     5626     17 |     1068 |        0
619.69/619.89	c  619s |      14 |   482958 |    63652 |     5626     17 |     1068 |        0
622.39/622.52	c  621s |      14 |   483074 |    63752 |     5626     17 |     1068 |        0
625.49/625.60	c  625s |      14 |   483176 |    63852 |     5626     17 |     1068 |        0
628.50/628.63	c  628s |      14 |   483276 |    63952 |     5626     17 |     1068 |        0
631.41/631.56	c  630s |      14 |   483391 |    64052 |     5626     17 |     1068 |        0
634.60/634.76	c  634s |      14 |   483496 |    64152 |     5626     18 |     1068 |        0
637.80/637.93	c  637s |      14 |   483593 |    64252 |     5626     18 |     1068 |        0
640.70/640.81	c  640s |      14 |   483697 |    64352 |     5626     18 |     1068 |        0
643.70/643.87	c  643s |      14 |   483796 |    64452 |     5626     18 |     1068 |        0
646.90/647.02	c  646s |      14 |   483905 |    64552 |     5626     18 |     1068 |        0
650.10/650.28	c  649s |      14 |   483999 |    64652 |     5626     18 |     1068 |        0
653.30/653.48	c  652s |      14 |   484098 |    64752 |     5626     18 |     1068 |        0
656.60/656.75	c  656s |      14 |   484201 |    64852 |     5626     18 |     1068 |        0
659.59/659.73	c  659s |      14 |   484724 |    64952 |     5626     18 |     1068 |        0
663.20/663.31	c  662s |      14 |   485789 |    65152 |     5626     18 |     1068 |        0
666.89/667.01	c  666s |      14 |   486846 |    65352 |     5626     18 |     1068 |        0
672.10/672.25	c  671s |      14 |   487270 |    65552 |     5626     18 |     1068 |        0
675.09/675.23	c  674s |      14 |   487369 |    65652 |     5626     18 |     1068 |        0
677.99/678.18	c  677s |      14 |   487468 |    65752 |     5626     18 |     1068 |        0
680.99/681.18	c  680s |      14 |   487574 |    65852 |     5626     18 |     1068 |        0
683.99/684.15	c  683s |      14 |   487673 |    65952 |     5626     18 |     1068 |        0
686.99/687.14	c  686s |      14 |   487773 |    66052 |     5626     18 |     1068 |        0
689.99/690.14	c  689s |      14 |   487871 |    66152 |     5626     18 |     1068 |        0
692.99/693.14	c  692s |      14 |   487971 |    66252 |     5626     18 |     1068 |        0
696.09/696.21	c  695s |      14 |   488068 |    66352 |     5626     18 |     1068 |        0
699.19/699.37	c  698s |      14 |   488439 |    66452 |     5626     18 |     1068 |        0
702.79/702.91	c  702s |      14 |   489102 |    66652 |     5626     18 |     1068 |        0
705.68/705.89	c  705s |      14 |   489668 |    66752 |     5626     18 |     1068 |        0
710.38/710.59	c  710s |      14 |   492215 |    66952 |     5626     18 |     1068 |        0
713.58/713.78	c  713s |      14 |   492458 |    67152 |     5626     18 |     1068 |        0
716.58/716.73	c  716s |      14 |   492557 |    67252 |     5626     18 |     1068 |        0
719.68/719.88	c  719s |      14 |   492798 |    67352 |     5626     18 |     1068 |        0
723.88/724.08	c  723s |      14 |   494903 |    67452 |     5626     18 |     1068 |        0
727.78/727.90	c  727s |      14 |   496672 |    67552 |     5626     18 |     1068 |        0
731.88/732.04	c  731s |      14 |   498050 |    67752 |     5626     19 |     1068 |        0
734.48/734.67	c  734s |      14 |   498391 |    67852 |     5626     19 |     1068 |        0
737.68/737.83	c  737s |      14 |   498845 |    67952 |     5626     19 |     1068 |        0
741.88/742.07	c  741s |      14 |   499952 |    68152 |     5626     19 |     1068 |        0
744.48/744.61	c  744s |      14 |   500053 |    68252 |     5626     19 |     1068 |        0
746.98/747.18	c  746s |      14 |   500152 |    68352 |     5626     19 |     1068 |        0
749.78/749.96	c  749s |      14 |   500268 |    68452 |     5626     19 |     1068 |        0
752.78/752.98	c  752s |      14 |   500382 |    68552 |     5626     19 |     1068 |        0
755.88/756.06	c  755s |      14 |   500480 |    68652 |     5626     19 |     1068 |        0
758.37/758.59	c  758s |      14 |   500624 |    68752 |     5626     19 |     1068 |        0
761.08/761.22	c  760s |      14 |   500729 |    68852 |     5626     19 |     1068 |        0
763.87/764.03	c  763s |      14 |   500830 |    68952 |     5626     19 |     1068 |        0
766.58/766.72	c  766s |      14 |   500934 |    69052 |     5626     19 |     1068 |        0
769.17/769.32	c  768s |      14 |   501044 |    69152 |     5626     19 |     1068 |        0
771.87/772.04	c  771s |      14 |   501143 |    69252 |     5626     19 |     1068 |        0
774.47/774.69	c  774s |      14 |   501249 |    69352 |     5626     19 |     1068 |        0
777.37/777.54	c  776s |      14 |   501350 |    69452 |     5626     19 |     1068 |        0
780.07/780.21	c  779s |      14 |   501463 |    69552 |     5626     19 |     1068 |        0
782.67/782.84	c  782s |      14 |   501561 |    69652 |     5626     19 |     1068 |        0
785.46/785.64	c  785s |      14 |   501662 |    69752 |     5626     19 |     1068 |        0
788.16/788.31	c  787s |      14 |   501766 |    69852 |     5626     19 |     1068 |        0
790.87/791.01	c  790s |      14 |   501872 |    69952 |     5626     19 |     1068 |        0
793.56/793.74	c  793s |      14 |   501972 |    70052 |     5626     19 |     1068 |        0
796.37/796.59	c  796s |      14 |   502073 |    70152 |     5626     19 |     1068 |        0
798.96/799.16	c  798s |      14 |   502185 |    70252 |     5626     19 |     1068 |        0
801.86/802.03	c  801s |      14 |   502283 |    70352 |     5626     19 |     1068 |        0
804.56/804.77	c  804s |      14 |   502385 |    70452 |     5626     19 |     1068 |        0
807.36/807.51	c  806s |      14 |   502484 |    70552 |     5626     19 |     1068 |        0
810.05/810.24	c  809s |      14 |   502585 |    70652 |     5626     19 |     1068 |        0
812.65/812.90	c  812s |      14 |   502685 |    70752 |     5626     19 |     1068 |        0
815.06/815.29	c  814s |      14 |   502782 |    70852 |     5626     19 |     1068 |        0
817.55/817.72	c  817s |      14 |   502889 |    70952 |     5626     19 |     1068 |        0
820.15/820.30	c  819s |      14 |   502990 |    71052 |     5626     19 |     1068 |        0
822.85/823.08	c  822s |      14 |   503090 |    71152 |     5626     19 |     1068 |        0
825.75/825.90	c  825s |      14 |   503190 |    71252 |     5626     19 |     1068 |        0
828.45/828.68	c  828s |      14 |   503292 |    71352 |     5626     19 |     1068 |        0
831.05/831.24	c  830s |      14 |   503394 |    71452 |     5626     19 |     1068 |        0
833.75/833.92	c  833s |      14 |   503493 |    71552 |     5626     19 |     1068 |        0
836.14/836.31	c  835s |      14 |   503599 |    71652 |     5626     19 |     1068 |        0
838.84/839.04	c  838s |      14 |   503695 |    71752 |     5626     19 |     1068 |        0
841.54/841.73	c  841s |      14 |   503798 |    71852 |     5626     19 |     1068 |        0
843.94/844.14	c  843s |      14 |   503902 |    71952 |     5626     19 |     1068 |        0
846.14/846.34	c  845s |      14 |   504003 |    72052 |     5626     19 |     1068 |        0
848.34/848.57	c  847s |      14 |   504102 |    72152 |     5626     19 |     1068 |        0
850.64/850.87	c  850s |      14 |   504225 |    72252 |     5626     19 |     1068 |        0
853.55/853.78	c  853s |      14 |   504317 |    72352 |     5626     19 |     1068 |        0
856.04/856.21	c  855s |      14 |   504442 |    72452 |     5626     19 |     1068 |        0
858.74/858.99	c  858s |      14 |   504553 |    72552 |     5626     19 |     1068 |        0
861.54/861.78	c  861s |      14 |   504670 |    72652 |     5626     19 |     1068 |        0
864.34/864.53	c  863s |      14 |   504767 |    72752 |     5626     19 |     1068 |        0
867.34/867.59	c  867s |      14 |   504876 |    72852 |     5626     20 |     1068 |        0
870.13/870.30	c  869s |      14 |   504990 |    72952 |     5626     20 |     1068 |        0
872.83/873.03	c  872s |      14 |   505093 |    73052 |     5626     20 |     1068 |        0
875.54/875.77	c  875s |      14 |   505200 |    73152 |     5626     20 |     1068 |        0
878.33/878.57	c  877s |      14 |   505301 |    73252 |     5626     20 |     1068 |        0
881.23/881.41	c  880s |      14 |   505408 |    73352 |     5626     20 |     1068 |        0
884.03/884.28	c  883s |      14 |   505507 |    73452 |     5626     20 |     1068 |        0
886.93/887.17	c  886s |      14 |   505634 |    73552 |     5626     20 |     1068 |        0
889.73/889.94	c  889s |      14 |   505741 |    73652 |     5626     20 |     1068 |        0
892.53/892.71	c  892s |      14 |   505840 |    73752 |     5626     20 |     1068 |        0
895.23/895.47	c  894s |      14 |   505944 |    73852 |     5626     20 |     1068 |        0
898.02/898.28	c  897s |      14 |   506042 |    73952 |     5626     20 |     1068 |        0
900.83/901.09	c  900s |      14 |   506140 |    74052 |     5626     20 |     1068 |        0
903.62/903.87	c  903s |      14 |   506244 |    74152 |     5626     20 |     1068 |        0
906.52/906.70	c  906s |      14 |   506345 |    74252 |     5626     20 |     1068 |        0
909.32/909.56	c  908s |      14 |   506441 |    74352 |     5626     20 |     1068 |        0
912.12/912.38	c  911s |      14 |   506545 |    74452 |     5626     20 |     1068 |        0
915.03/915.26	c  914s |      14 |   506648 |    74552 |     5626     20 |     1068 |        0
917.92/918.13	c  917s |      14 |   506745 |    74652 |     5626     20 |     1068 |        0
920.72/920.97	c  920s |      14 |   506854 |    74752 |     5626     20 |     1068 |        0
923.62/923.81	c  923s |      14 |   506953 |    74852 |     5626     20 |     1068 |        0
926.43/926.62	c  926s |      14 |   507054 |    74952 |     5626     20 |     1068 |        0
929.22/929.46	c  928s |      14 |   507150 |    75052 |     5626     20 |     1068 |        0
931.72/931.97	c  931s |      14 |   507251 |    75152 |     5626     20 |     1068 |        0
934.12/934.38	c  933s |      14 |   507357 |    75252 |     5626     20 |     1068 |        0
936.72/936.92	c  936s |      14 |   507459 |    75352 |     5626     20 |     1068 |        0
939.12/939.36	c  938s |      14 |   507559 |    75452 |     5626     20 |     1068 |        0
941.32/941.51	c  940s |      14 |   507662 |    75552 |     5626     20 |     1068 |        0
943.42/943.62	c  943s |      14 |   507771 |    75652 |     5626     20 |     1068 |        0
945.83/946.05	c  945s |      14 |   507875 |    75752 |     5626     20 |     1068 |        0
949.62/949.85	c  949s |      14 |   508092 |    75952 |     5626     20 |     1068 |        0
952.02/952.28	c  951s |      14 |   508188 |    76052 |     5626     20 |     1068 |        0
954.42/954.66	c  954s |      14 |   508293 |    76152 |     5626     20 |     1068 |        0
956.82/957.09	c  956s |      14 |   508391 |    76252 |     5626     20 |     1068 |        0
959.31/959.54	c  958s |      14 |   508490 |    76352 |     5626     20 |     1068 |        0
961.71/961.94	c  961s |      14 |   508593 |    76452 |     5626     20 |     1068 |        0
964.11/964.39	c  963s |      14 |   508694 |    76552 |     5626     20 |     1068 |        0
966.61/966.90	c  966s |      14 |   508790 |    76652 |     5626     20 |     1068 |        0
969.21/969.42	c  968s |      14 |   508894 |    76752 |     5626     20 |     1068 |        0
971.81/972.01	c  971s |      14 |   508996 |    76852 |     5626     20 |     1068 |        0
974.01/974.24	c  973s |      14 |   509092 |    76952 |     5626     20 |     1068 |        0
976.41/976.66	c  976s |      14 |   509190 |    77052 |     5626     20 |     1068 |        0
979.30/979.55	c  978s |      14 |   509388 |    77252 |     5626     20 |     1068 |        0
981.70/981.97	c  981s |      14 |   509511 |    77352 |     5626     20 |     1068 |        0
984.50/984.76	c  984s |      14 |   509610 |    77452 |     5626     21 |     1068 |        0
987.00/987.20	c  986s |      14 |   509706 |    77552 |     5626     21 |     1068 |        0
989.40/989.69	c  989s |      14 |   509799 |    77652 |     5626     21 |     1068 |        0
992.01/992.21	c  991s |      14 |   509900 |    77752 |     5626     21 |     1068 |        0
994.50/994.78	c  994s |      14 |   510009 |    77852 |     5626     21 |     1068 |        0
996.90/997.18	c  996s |      14 |   510094 |    77952 |     5626     21 |     1068 |        0
999.29/999.56	c  998s |      14 |   510193 |    78052 |     5626     21 |     1068 |        0
1001.79/1002.00	c 1001s |      14 |   510291 |    78152 |     5626     21 |     1068 |        0
1004.20/1004.47	c 1003s |      14 |   510393 |    78252 |     5626     21 |     1068 |        0
1006.69/1006.90	c 1006s |      14 |   510490 |    78352 |     5626     21 |     1068 |        0
1009.09/1009.36	c 1008s |      14 |   510595 |    78452 |     5626     21 |     1068 |        0
1011.69/1011.93	c 1011s |      14 |   510703 |    78552 |     5626     21 |     1068 |        0
1014.29/1014.54	c 1013s |      14 |   510814 |    78652 |     5626     21 |     1068 |        0
1017.09/1017.34	c 1016s |      14 |   510934 |    78752 |     5626     21 |     1068 |        0
1019.49/1019.72	c 1019s |      14 |   511026 |    78852 |     5626     21 |     1068 |        0
1021.98/1022.22	c 1021s |      14 |   511132 |    78952 |     5626     21 |     1068 |        0
1024.48/1024.77	c 1024s |      14 |   511225 |    79052 |     5626     21 |     1068 |        0
1027.08/1027.37	c 1026s |      14 |   511334 |    79152 |     5626     21 |     1068 |        0
1029.68/1029.90	c 1029s |      14 |   511428 |    79252 |     5626     21 |     1068 |        0
1032.08/1032.39	c 1031s |      14 |   511529 |    79352 |     5626     21 |     1068 |        0
1034.58/1034.89	c 1034s |      14 |   511623 |    79452 |     5626     21 |     1068 |        0
1037.08/1037.32	c 1036s |      14 |   511728 |    79552 |     5626     21 |     1068 |        0
1039.57/1039.84	c 1039s |      14 |   511829 |    79652 |     5626     21 |     1068 |        0
1042.07/1042.34	c 1041s |      14 |   511924 |    79752 |     5626     21 |     1068 |        0
1044.57/1044.88	c 1044s |      14 |   512026 |    79852 |     5626     21 |     1068 |        0
1047.17/1047.47	c 1046s |      14 |   512124 |    79952 |     5626     21 |     1068 |        0
1049.87/1050.14	c 1049s |      14 |   512225 |    80052 |     5626     21 |     1068 |        0
1052.58/1052.82	c 1052s |      14 |   512341 |    80152 |     5626     21 |     1068 |        0
1055.07/1055.38	c 1054s |      14 |   512427 |    80252 |     5626     21 |     1068 |        0
1057.67/1057.91	c 1057s |      14 |   512529 |    80352 |     5626     21 |     1068 |        0
1060.17/1060.45	c 1059s |      14 |   512627 |    80452 |     5626     21 |     1068 |        0
1062.67/1062.97	c 1062s |      14 |   512734 |    80552 |     5626     21 |     1068 |        0
1065.27/1065.56	c 1064s |      14 |   512828 |    80652 |     5626     21 |     1068 |        0
1067.97/1068.24	c 1067s |      14 |   512928 |    80752 |     5626     21 |     1068 |        0
1070.46/1070.79	c 1070s |      14 |   513030 |    80852 |     5626     21 |     1068 |        0
1073.26/1073.52	c 1072s |      14 |   513127 |    80952 |     5626     21 |     1068 |        0
1075.96/1076.22	c 1075s |      14 |   513231 |    81052 |     5626     21 |     1068 |        0
1078.56/1078.87	c 1078s |      14 |   513330 |    81152 |     5626     21 |     1068 |        0
1081.26/1081.53	c 1080s |      14 |   513438 |    81252 |     5626     21 |     1068 |        0
1083.66/1083.93	c 1083s |      14 |   513528 |    81352 |     5626     21 |     1068 |        0
1086.06/1086.38	c 1085s |      14 |   513633 |    81452 |     5626     21 |     1068 |        0
1088.66/1088.90	c 1088s |      14 |   513727 |    81552 |     5626     21 |     1068 |        0
1091.16/1091.42	c 1090s |      14 |   513828 |    81652 |     5626     21 |     1068 |        0
1093.66/1093.97	c 1093s |      14 |   513931 |    81752 |     5626     21 |     1068 |        0
1096.26/1096.54	c 1095s |      14 |   514026 |    81852 |     5626     21 |     1068 |        0
1098.95/1099.20	c 1098s |      14 |   514130 |    81952 |     5626     21 |     1068 |        0
1101.96/1102.23	c 1101s |      14 |   514216 |    82052 |     5626     22 |     1068 |        0
1104.75/1105.07	c 1104s |      14 |   515713 |    82252 |     5626     22 |     1068 |        0
1106.85/1107.13	c 1106s |      14 |   515809 |    82352 |     5626     22 |     1068 |        0
1108.85/1109.13	c 1108s |      14 |   515910 |    82452 |     5626     22 |     1068 |        0
1111.05/1111.37	c 1110s |      14 |   516011 |    82552 |     5626     22 |     1068 |        0
1113.25/1113.56	c 1112s |      14 |   516110 |    82652 |     5626     22 |     1068 |        0
1115.55/1115.82	c 1115s |      14 |   516209 |    82752 |     5626     22 |     1068 |        0
1117.65/1117.97	c 1117s |      14 |   516310 |    82852 |     5626     22 |     1068 |        0
1121.25/1121.53	c 1120s |      14 |   516517 |    83052 |     5626     22 |     1068 |        0
1123.75/1124.03	c 1123s |      14 |   516612 |    83152 |     5626     22 |     1068 |        0
1125.85/1126.18	c 1125s |      14 |   516721 |    83252 |     5626     22 |     1068 |        0
1128.24/1128.57	c 1127s |      14 |   516830 |    83352 |     5626     22 |     1068 |        0
1130.74/1131.03	c 1130s |      14 |   516928 |    83452 |     5626     22 |     1068 |        0
1133.24/1133.58	c 1133s |      14 |   517022 |    83552 |     5626     22 |     1068 |        0
1135.84/1136.13	c 1135s |      14 |   517125 |    83652 |     5626     22 |     1068 |        0
1138.44/1138.72	c 1138s |      14 |   517220 |    83752 |     5626     22 |     1068 |        0
1140.84/1141.16	c 1140s |      14 |   517321 |    83852 |     5626     22 |     1068 |        0
1143.14/1143.48	c 1142s |      14 |   517462 |    83952 |     5626     22 |     1068 |        0
1145.64/1145.98	c 1145s |      14 |   517578 |    84052 |     5626     22 |     1068 |        0
1148.14/1148.47	c 1147s |      14 |   517694 |    84152 |     5626     22 |     1068 |        0
1150.64/1150.90	c 1150s |      14 |   517833 |    84252 |     5626     22 |     1068 |        0
1153.14/1153.40	c 1152s |      14 |   517924 |    84352 |     5626     22 |     1068 |        0
1155.44/1155.71	c 1155s |      14 |   518027 |    84452 |     5626     22 |     1068 |        0
1157.73/1158.04	c 1157s |      14 |   518128 |    84552 |     5626     22 |     1068 |        0
1160.03/1160.32	c 1159s |      14 |   518230 |    84652 |     5626     22 |     1068 |        0
1162.13/1162.40	c 1161s |      14 |   518327 |    84752 |     5626     22 |     1068 |        0
1164.53/1164.84	c 1164s |      14 |   518424 |    84852 |     5626     22 |     1068 |        0
1166.94/1167.27	c 1166s |      14 |   518526 |    84952 |     5626     22 |     1068 |        0
1169.23/1169.59	c 1169s |      14 |   518655 |    85052 |     5626     22 |     1068 |        0
1171.83/1172.17	c 1171s |      14 |   518758 |    85152 |     5626     22 |     1068 |        0
1174.43/1174.71	c 1174s |      14 |   518859 |    85252 |     5626     22 |     1068 |        0
1176.93/1177.28	c 1176s |      14 |   519058 |    85452 |     5626     22 |     1068 |        0
1181.23/1181.51	c 1180s |      14 |   519261 |    85652 |     5626     22 |     1068 |        0
1183.62/1183.93	c 1183s |      14 |   519365 |    85752 |     5626     22 |     1068 |        0
1186.02/1186.35	c 1185s |      14 |   519469 |    85852 |     5626     22 |     1068 |        0
1188.52/1188.87	c 1188s |      14 |   519563 |    85952 |     5626     22 |     1068 |        0
1191.12/1191.43	c 1190s |      14 |   519662 |    86052 |     5626     22 |     1068 |        0
1193.52/1193.86	c 1193s |      14 |   519768 |    86152 |     5626     22 |     1068 |        0
1195.92/1196.20	c 1195s |      14 |   519860 |    86252 |     5626     22 |     1068 |        0
1198.31/1198.64	c 1198s |      14 |   519965 |    86352 |     5626     22 |     1068 |        0
1200.81/1201.10	c 1200s |      14 |   520065 |    86452 |     5626     22 |     1068 |        0
1203.51/1203.87	c 1203s |      14 |   520163 |    86552 |     5626     23 |     1068 |        0
1205.91/1206.20	c 1205s |      14 |   520266 |    86652 |     5626     23 |     1068 |        0
1208.20/1208.58	c 1208s |      14 |   520365 |    86752 |     5626     23 |     1068 |        0
1210.70/1211.07	c 1210s |      14 |   520466 |    86852 |     5626     23 |     1068 |        0
1213.30/1213.64	c 1213s |      14 |   520563 |    86952 |     5626     23 |     1068 |        0
1215.70/1216.06	c 1215s |      14 |   520662 |    87052 |     6189     23 |     1068 |        0
1218.29/1218.61	c 1218s |      14 |   520765 |    87152 |     6189     23 |     1068 |        0
1220.59/1220.93	c 1220s |      14 |   520865 |    87252 |     6189     23 |     1068 |        0
1223.09/1223.40	c 1222s |      14 |   520971 |    87352 |     6189     23 |     1068 |        0
1225.59/1225.94	c 1225s |      14 |   521071 |    87452 |     6189     23 |     1068 |        0
1228.09/1228.40	c 1227s |      14 |   521164 |    87552 |     6189     23 |     1068 |        0
1229.99/1230.35	c 1229s |      15 |   521243 |    87632 |     6189     23 |     1068 |        0
1232.09/1232.40	c 1231s |      15 |   522614 |    88232 |     6189     23 |     1068 |        0
1234.09/1234.47	c 1233s |      15 |   523237 |    88832 |     6189     23 |     1068 |        0
1236.79/1237.12	c 1236s |      15 |   523949 |    89132 |     6189     23 |     1068 |        0
1238.88/1239.20	c 1238s |      15 |   526438 |    89432 |     6189     23 |     1068 |        0
1240.98/1241.31	c 1240s |      15 |   528904 |    89732 |     6189     23 |     1068 |        0
1243.08/1243.45	c 1242s |      15 |   531377 |    90032 |     6189     23 |     1068 |        0
1245.18/1245.58	c 1245s |      15 |   533868 |    90332 |     6189     23 |     1068 |        0
1247.68/1248.06	c 1247s |      15 |   536333 |    90632 |     6189     24 |     1068 |        0
1249.88/1250.22	c 1249s |      15 |   538825 |    90932 |     6189     24 |     1068 |        0
1251.98/1252.36	c 1251s |      15 |   541310 |    91232 |     6189     24 |     1068 |        0
1254.18/1254.52	c 1253s |      15 |   543812 |    91532 |     6189     24 |     1068 |        0
1256.28/1256.68	c 1256s |      15 |   546278 |    91832 |     6189     24 |     1068 |        0
1258.48/1258.87	c 1258s |      15 |   548765 |    92132 |     6189     24 |     1068 |        0
1260.68/1261.07	c 1260s |      15 |   551292 |    92432 |     6189     24 |     1068 |        0
1262.88/1263.29	c 1262s |      15 |   553782 |    92732 |     6189     24 |     1068 |        0
1265.08/1265.49	c 1264s |      15 |   556228 |    93032 |     6189     24 |     1068 |        0
1267.38/1267.71	c 1267s |      15 |   558727 |    93332 |     6189     24 |     1068 |        0
1269.68/1270.06	c 1269s |      15 |   561253 |    93632 |     6189     24 |     1068 |        0
1271.97/1272.39	c 1271s |      15 |   563737 |    93932 |     6189     24 |     1068 |        0
1274.37/1274.73	c 1274s |      15 |   566209 |    94232 |     6189     24 |     1068 |        0
1276.67/1277.09	c 1276s |      15 |   568727 |    94532 |     6189     24 |     1068 |        0
1279.68/1280.06	c 1279s |      15 |   571211 |    94832 |     6189     25 |     1068 |        0
1281.98/1282.39	c 1281s |      15 |   573670 |    95132 |     6189     25 |     1068 |        0
1284.38/1284.76	c 1284s |      15 |   576155 |    95432 |     6189     25 |     1068 |        0
1286.98/1287.33	c 1286s |      15 |   579092 |    95832 |     6189     25 |     1068 |        0
1289.18/1289.54	c 1288s |      15 |   582200 |    96132 |     6189     25 |     1068 |        0
1291.98/1292.31	c 1291s |      15 |   587694 |    96432 |     6189     25 |     1068 |        0
1294.28/1294.68	c 1294s |      15 |   593891 |    96632 |     6189     25 |     1068 |        0
1296.88/1297.26	c 1296s |      15 |   597032 |    97132 |     6189     25 |     1068 |        0
1299.48/1299.82	c 1299s |      15 |   598960 |    97532 |     6189     25 |     1068 |        0
1301.58/1301.95	c 1301s |      15 |   600217 |    97832 |     6189     25 |     1068 |        0
1303.67/1304.03	c 1303s |      15 |   603417 |    98132 |     6189     25 |     1068 |        0
1306.27/1306.64	c 1306s |      15 |   608817 |    98532 |     6189     25 |     1068 |        0
1308.68/1309.08	c 1308s |      15 |   611238 |    98832 |     6189     25 |     1068 |        0
1311.17/1311.52	c 1310s |      15 |   612577 |    99232 |     6189     26 |     1068 |        0
1313.37/1313.71	c 1313s |      15 |   614104 |    99532 |     6189     26 |     1068 |        0
1315.77/1316.15	c 1315s |      15 |   619595 |    99932 |     6189     26 |     1068 |        0
1318.47/1318.88	c 1318s |      15 |   628613 |   100232 |     6189     26 |     1068 |        0
1320.67/1321.02	c 1320s |      15 |   633374 |   100332 |     6189     26 |     1068 |        0
1322.86/1323.29	c 1322s |      15 |   634913 |   100432 |     6189     26 |     1068 |        0
1325.96/1326.36	c 1325s |      15 |   636373 |   100632 |     6189     26 |     1068 |        0
1328.47/1328.84	c 1328s |      15 |   639091 |   101032 |     6189     26 |     1068 |        0
1330.77/1331.19	c 1330s |      15 |   641264 |   101432 |     6189     26 |     1068 |        0
1333.06/1333.40	c 1332s |      15 |   642843 |   101732 |     6189     26 |     1068 |        0
1336.27/1336.69	c 1336s |      15 |   649759 |   102032 |     6189     26 |     1068 |        0
1338.85/1339.28	c 1338s |      15 |   651603 |   102432 |     6189     26 |     1068 |        0
1341.25/1341.65	c 1341s |      15 |   658176 |   102732 |     6189     26 |     1068 |        0
1344.05/1344.41	c 1343s |      15 |   659266 |   102932 |     6189     26 |     1068 |        0
1346.35/1346.79	c 1346s |      15 |   664634 |   103232 |     6189     26 |     1068 |        0
1348.45/1348.84	c 1348s |      15 |   672229 |   103432 |     6189     26 |     1068 |        0
1350.75/1351.19	c 1350s |      15 |   674136 |   103632 |     6189     27 |     1068 |        0
1353.25/1353.69	c 1353s |      15 |   676012 |   104032 |     6189     27 |     1068 |        0
1355.55/1355.97	c 1355s |      15 |   677558 |   104432 |     6189     27 |     1068 |        0
1358.04/1358.47	c 1357s |      15 |   679668 |   104832 |     6189     27 |     1068 |        0
1360.24/1360.63	c 1360s |      15 |   680797 |   105132 |     6189     27 |     1068 |        0
1362.74/1363.10	c 1362s |      15 |   684563 |   105432 |     6189     27 |     1068 |        0
1365.34/1365.77	c 1365s |      15 |   689110 |   105732 |     6189     27 |     1068 |        0
1367.44/1367.83	c 1367s |      15 |   700093 |   105932 |     6189     27 |     1068 |        0
1371.54/1371.99	c 1371s |      15 |   700634 |   106032 |     6189     27 |     1068 |        0
1375.84/1376.22	c 1375s |      15 |   701193 |   106132 |     6189     27 |     1068 |        0
1379.04/1379.50	c 1378s |      15 |   707017 |   106432 |     6189     27 |     1068 |        0
1381.44/1381.81	c 1381s |      15 |   710530 |   106632 |     6189     27 |     1068 |        0
1383.73/1384.13	c 1383s |      15 |   712968 |   106832 |     6189     27 |     1068 |        0
1386.03/1386.45	c 1385s |      15 |   715033 |   107132 |     6189     27 |     1068 |        0
1388.63/1389.07	c 1388s |      15 |   717970 |   107432 |     6189     27 |     1068 |        0
1391.33/1391.77	c 1391s |      15 |   724543 |   107732 |     6189     27 |     1068 |        0
1395.73/1396.11	c 1395s |      15 |   729115 |   107932 |     6189     28 |     1068 |        0
1398.83/1399.25	c 1398s |      15 |   730944 |   108032 |     6189     28 |     1068 |        0
1401.73/1402.15	c 1401s |      15 |   733968 |   108232 |     6189     28 |     1068 |        0
1404.13/1404.56	c 1403s |      15 |   736890 |   108532 |     6189     28 |     1068 |        0
1406.63/1407.01	c 1406s |      15 |   739400 |   108932 |     6189     28 |     1068 |        0
1408.83/1409.21	c 1408s |      15 |   740341 |   109532 |     6189     28 |     1068 |        0
1411.12/1411.56	c 1410s |      15 |   745333 |   110032 |     6189     28 |     1068 |        0
1413.52/1413.94	c 1413s |      15 |   752054 |   110332 |     6189     28 |     1068 |        0
1416.12/1416.53	c 1415s |      15 |   754129 |   110732 |     6189     28 |     1068 |        0
1418.82/1419.22	c 1418s |      15 |   759548 |   111032 |     6189     28 |     1068 |        0
1421.22/1421.61	c 1421s |      15 |   765155 |   111332 |     6189     28 |     1068 |        0
1423.72/1424.19	c 1423s |      15 |   767887 |   111732 |     6189     28 |     1068 |        0
1425.82/1426.28	c 1425s |      15 |   769263 |   112032 |     6189     28 |     1068 |        0
1428.92/1429.37	c 1428s |      15 |   777781 |   112332 |     6189     29 |     1068 |        0
1431.22/1431.65	c 1431s |      15 |   779855 |   112632 |     6189     29 |     1068 |        0
1433.22/1433.65	c 1433s |      15 |   780655 |   113132 |     6189     29 |     1068 |        0
1435.32/1435.70	c 1435s |      15 |   781654 |   113632 |     6189     29 |     1068 |        0
1437.72/1438.12	c 1437s |      15 |   784801 |   114132 |     6189     29 |     1068 |        0
1440.12/1440.55	c 1439s |      15 |   786834 |   114532 |     6189     29 |     1068 |        0
1442.42/1442.85	c 1442s |      15 |   788250 |   114932 |     6189     29 |     1068 |        0
1444.82/1445.27	c 1444s |      15 |   790283 |   115332 |     6189     29 |     1068 |        0
1447.52/1447.90	c 1447s |      15 |   792165 |   115732 |     6189     29 |     1068 |        0
1450.22/1450.67	c 1450s |      15 |   794192 |   116032 |     6189     29 |     1068 |        0
1452.42/1452.82	c 1452s |      15 |   796565 |   116232 |     6189     29 |     1068 |        0
1454.42/1454.85	c 1454s |      15 |   797607 |   116432 |     6189     30 |     1068 |        0
1457.02/1457.45	c 1456s |      15 |   803466 |   116732 |     6189     30 |     1068 |        0
1459.62/1460.08	c 1459s |      15 |   808861 |   117032 |     6189     30 |     1068 |        0
1461.81/1462.24	c 1461s |      15 |   812428 |   117432 |     6189     30 |     1068 |        0
1464.01/1464.42	c 1463s |      15 |   816201 |   117732 |     6189     30 |     1068 |        0
1466.61/1467.03	c 1466s |      15 |   823387 |   118032 |     6189     30 |     1068 |        0
1469.11/1469.51	c 1468s |      15 |   827121 |   118432 |     6189     30 |     1068 |        0
1471.21/1471.64	c 1471s |      15 |   827581 |   118832 |     6189     30 |     1068 |        0
1473.51/1474.00	c 1473s |      15 |   832579 |   119232 |     6189     30 |     1068 |        0
1476.01/1476.44	c 1475s |      15 |   836260 |   119632 |     6189     30 |     1068 |        0
1478.71/1479.15	c 1478s |      15 |   838505 |   120132 |     6189     30 |     1068 |        0
1481.42/1481.87	c 1481s |      15 |   844590 |   120432 |     6189     30 |     1068 |        0
1483.81/1484.25	c 1483s |      15 |   847466 |   120532 |     6189     30 |     1068 |        0
1487.01/1487.43	c 1486s |      15 |   849041 |   120832 |     6189     31 |     1068 |        0
1489.31/1489.76	c 1489s |      15 |   853120 |   121132 |     6189     31 |     1068 |        0
1491.91/1492.34	c 1491s |      15 |   858276 |   121332 |     6189     31 |     1068 |        0
1495.21/1495.66	c 1495s |      15 |   859217 |   121532 |     6189     31 |     1068 |        0
1497.82/1498.24	c 1497s |      15 |   861932 |   121832 |     6189     31 |     1068 |        0
1500.61/1501.09	c 1500s |      15 |   871135 |   122132 |     6189     31 |     1068 |        0
1503.21/1503.62	c 1503s |      15 |   873148 |   122432 |     6189     31 |     1068 |        0
1505.52/1505.91	c 1505s |      15 |   875499 |   122632 |     6189     31 |     1068 |        0
1507.51/1507.96	c 1507s |      15 |   876122 |   122832 |     6189     31 |     1068 |        0
1510.81/1511.26	c 1510s |      15 |   878506 |   123132 |     6189     31 |     1068 |        0
1513.31/1513.74	c 1513s |      15 |   880050 |   123432 |     6189     31 |     1068 |        0
1515.31/1515.76	c 1515s |      15 |   882226 |   123732 |     6189     31 |     1068 |        0
1517.71/1518.18	c 1517s |      15 |   883792 |   124132 |     6189     31 |     1068 |        0
1519.91/1520.32	c 1519s |      15 |   885693 |   124532 |     6189     31 |     1068 |        0
1522.21/1522.67	c 1522s |      15 |   887593 |   124932 |     6189     31 |     1068 |        0
1524.31/1524.74	c 1524s |      15 |   888634 |   125232 |     6189     32 |     1068 |        0
1526.70/1527.10	c 1526s |      15 |   894371 |   125632 |     6189     32 |     1068 |        0
1528.80/1529.21	c 1528s |      15 |   898554 |   125832 |     6189     32 |     1068 |        0
1531.10/1531.55	c 1530s |      15 |   899774 |   126032 |     6189     32 |     1068 |        0
1533.40/1533.83	c 1533s |      15 |   900648 |   126232 |     6189     32 |     1068 |        0
1537.00/1537.40	c 1536s |      15 |   901215 |   126532 |     6189     32 |     1068 |        0
1539.61/1540.01	c 1539s |      15 |   902944 |   126832 |     6189     32 |     1068 |        0
1541.60/1542.01	c 1541s |      15 |   904112 |   127132 |     6189     32 |     1068 |        0
1543.80/1544.28	c 1543s |      15 |   905800 |   127432 |     6189     32 |     1068 |        0
1546.10/1546.55	c 1545s |      15 |   906673 |   127632 |     6189     32 |     1068 |        0
1548.80/1549.21	c 1548s |      15 |   908891 |   127932 |     6189     32 |     1068 |        0
1551.10/1551.59	c 1551s |      15 |   909919 |   128132 |     6189     32 |     1068 |        0
1553.40/1553.87	c 1553s |      15 |   911984 |   128432 |     6189     32 |     1068 |        0
1556.21/1556.67	c 1556s |      15 |   912820 |   128732 |     6189     32 |     1068 |        0
1558.80/1559.27	c 1558s |      15 |   913419 |   128932 |     6189     32 |     1068 |        0
1561.50/1561.99	c 1561s |      15 |   914463 |   129232 |     6189     32 |     1068 |        0
1564.20/1564.66	c 1564s |      15 |   917647 |   129532 |     6189     33 |     1068 |        0
1566.50/1566.99	c 1566s |      15 |   918988 |   129932 |     6189     33 |     1068 |        0
1569.20/1569.66	c 1569s |      15 |   921854 |   130332 |     6189     33 |     1068 |        0
1571.50/1571.93	c 1571s |      15 |   930862 |   130632 |     6189     33 |     1068 |        0
1573.50/1573.99	c 1573s |      15 |   936128 |   131032 |     6808     33 |     1068 |        0
1576.10/1576.56	c 1575s |      15 |   937241 |   131432 |     6808     33 |     1068 |        0
1577.00/1577.46	c 1576s |      16 |   937607 |   131552 |     6808     33 |     1068 |        0
1580.20/1580.66	c 1580s |      16 |   938944 |   131752 |     6808     33 |     1068 |        0
1583.50/1583.96	c 1583s |      16 |   943365 |   131952 |     6808     33 |     1068 |        0
1586.00/1586.47	c 1585s |      16 |   945130 |   132152 |     6808     33 |     1068 |        0
1588.30/1588.74	c 1588s |      16 |   945872 |   132352 |     6808     33 |     1068 |        0
1590.40/1590.85	c 1590s |      16 |   946850 |   132552 |     6808     33 |     1068 |        0
1592.70/1593.19	c 1592s |      16 |   949870 |   132852 |     6808     33 |     1068 |        0
1595.50/1595.98	c 1595s |      16 |   951576 |   133052 |     6808     33 |     1068 |        0
1597.60/1598.05	c 1597s |      16 |   952983 |   133252 |     6808     33 |     1068 |        0
1600.50/1600.99	c 1600s |      16 |   955128 |   133652 |     6808     33 |     1068 |        0
1603.51/1603.97	c 1603s |      16 |   956345 |   134052 |     6808     33 |     1068 |        0
1606.50/1606.98	c 1606s |      16 |   957288 |   134352 |     6808     34 |     1068 |        0
1609.40/1609.85	c 1609s |      16 |   958569 |   134552 |     6808     34 |     1068 |        0
1613.20/1613.64	c 1613s |      16 |   958890 |   134652 |     6808     34 |     1068 |        0
1617.60/1618.02	c 1617s |      16 |   958988 |   134752 |     6808     34 |     1068 |        0
1622.00/1622.45	c 1621s |      16 |   959088 |   134852 |     6808     34 |     1068 |        0
1626.10/1626.59	c 1626s |      16 |   959188 |   134952 |     6808     34 |     1068 |        0
1630.30/1630.74	c 1630s |      16 |   959299 |   135052 |     6808     34 |     1068 |        0
1634.30/1634.74	c 1634s |      16 |   959459 |   135152 |     6808     34 |     1068 |        0
1637.50/1637.98	c 1637s |      16 |   959580 |   135252 |     6808     34 |     1068 |        0
1641.90/1642.34	c 1641s |      16 |   959686 |   135352 |     6808     34 |     1068 |        0
1646.19/1646.62	c 1646s |      16 |   959788 |   135452 |     6808     34 |     1068 |        0
1650.09/1650.59	c 1650s |      16 |   959888 |   135552 |     6808     34 |     1068 |        0
1654.69/1655.12	c 1654s |      16 |   959988 |   135652 |     6808     34 |     1068 |        0
1659.09/1659.55	c 1658s |      16 |   960084 |   135752 |     6808     34 |     1068 |        0
1661.99/1662.49	c 1661s |      16 |   960188 |   135852 |     6808     34 |     1068 |        0
1665.79/1666.29	c 1665s |      16 |   960907 |   135952 |     6808     34 |     1068 |        0
1670.09/1670.50	c 1669s |      16 |   962159 |   136252 |     6808     34 |     1068 |        0
1672.80/1673.23	c 1672s |      16 |   962262 |   136352 |     6808     34 |     1068 |        0
1675.49/1675.96	c 1675s |      16 |   962360 |   136452 |     6808     34 |     1068 |        0
1677.89/1678.39	c 1677s |      16 |   962459 |   136552 |     6808     34 |     1068 |        0
1680.09/1680.57	c 1679s |      16 |   962563 |   136652 |     6808     34 |     1068 |        0
1682.69/1683.16	c 1682s |      16 |   962679 |   136752 |     6808     34 |     1068 |        0
1685.49/1685.91	c 1685s |      16 |   962785 |   136852 |     6808     34 |     1068 |        0
1689.29/1689.74	c 1689s |      16 |   962890 |   136952 |     6808     34 |     1068 |        0
1691.98/1692.47	c 1691s |      16 |   962986 |   137052 |     6808     34 |     1068 |        0
1694.79/1695.20	c 1694s |      16 |   963086 |   137152 |     6808     34 |     1068 |        0
1697.38/1697.89	c 1697s |      16 |   963184 |   137252 |     6808     34 |     1068 |        0
1699.98/1700.48	c 1699s |      16 |   963280 |   137352 |     6808     34 |     1068 |        0
1702.68/1703.15	c 1702s |      16 |   963603 |   137452 |     6808     34 |     1068 |        0
1706.28/1706.79	c 1706s |      16 |   963701 |   137552 |     6808     34 |     1068 |        0
1709.09/1709.57	c 1708s |      16 |   964136 |   137652 |     6808     34 |     1068 |        0
1713.39/1713.88	c 1713s |      16 |   964368 |   137852 |     6808     34 |     1068 |        0
1716.08/1716.58	c 1716s |      16 |   964464 |   137952 |     6808     34 |     1068 |        0
1718.78/1719.22	c 1718s |      16 |   964562 |   138052 |     6808     34 |     1068 |        0
1721.38/1721.87	c 1721s |      16 |   964664 |   138152 |     6808     34 |     1068 |        0
1724.18/1724.67	c 1724s |      16 |   964765 |   138252 |     6808     34 |     1068 |        0
1726.98/1727.49	c 1726s |      16 |   964860 |   138352 |     6808     34 |     1068 |        0
1729.78/1730.28	c 1729s |      16 |   964960 |   138452 |     6808     34 |     1068 |        0
1732.78/1733.26	c 1732s |      16 |   965061 |   138552 |     6808     34 |     1068 |        0
1735.58/1736.05	c 1735s |      16 |   965164 |   138652 |     6808     34 |     1068 |        0
1738.38/1738.86	c 1738s |      16 |   965261 |   138752 |     6808     34 |     1068 |        0
1740.98/1741.43	c 1740s |      16 |   965364 |   138852 |     6808     34 |     1068 |        0
1745.68/1746.16	c 1745s |      16 |   965573 |   139052 |     6808     34 |     1068 |        0
1749.28/1749.75	c 1749s |      16 |   965667 |   139152 |     6808     34 |     1068 |        0
1751.68/1752.10	c 1751s |      16 |   965765 |   139252 |     6808     34 |     1068 |        0
1754.68/1755.10	c 1754s |      16 |   965864 |   139352 |     6808     34 |     1068 |        0
1757.38/1757.90	c 1757s |      16 |   965973 |   139452 |     6808     34 |     1068 |        0
1760.27/1760.71	c 1760s |      16 |   966071 |   139552 |     6808     34 |     1068 |        0
1763.37/1763.84	c 1763s |      16 |   966169 |   139652 |     6808     34 |     1068 |        0
1765.77/1766.23	c 1765s |      16 |   966269 |   139752 |     6808     34 |     1068 |        0
1768.48/1768.96	c 1768s |      16 |   966371 |   139852 |     6808     34 |     1068 |        0
1771.27/1771.77	c 1771s |      16 |   966472 |   139952 |     6808     34 |     1068 |        0
1774.47/1774.97	c 1774s |      16 |   966570 |   140052 |     6808     35 |     1068 |        0
1777.28/1777.78	c 1777s |      16 |   966669 |   140152 |     6808     35 |     1068 |        0
1781.17/1781.65	c 1781s |      16 |   966775 |   140252 |     6808     35 |     1068 |        0
1785.07/1785.55	c 1784s |      16 |   966870 |   140352 |     6808     35 |     1068 |        0
1787.87/1788.37	c 1787s |      16 |   966969 |   140452 |     6808     35 |     1068 |        0
1790.67/1791.17	c 1790s |      16 |   967069 |   140552 |     6808     35 |     1068 |        0
1793.57/1794.00	c 1793s |      16 |   967167 |   140652 |     6808     35 |     1068 |        0
1796.57/1797.00	c 1796s |      16 |   967272 |   140752 |     6808     35 |     1068 |        0
1799.37/1799.85	c 1799s |      16 |   967373 |   140852 |     6808     35 |     1068 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

pid=12938
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.04 2.05 2.07 3/179 12941
/proc/meminfo: memFree=30597948/32872528 swapFree=249320/249320
[pid=12941] ppid=12938 vsize=796092 CPUtime=0 cores=0,2,4,6
/proc/12941/stat : 12941 (toysat) R 12938 12941 11324 0 -1 4202496 2985 0 0 0 0 0 0 0 20 0 4 0 23750433 815198208 2835 33554432000 4194304 16246674 140736290362064 140736290361488 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12941/statm: 199791 2845 441 2943 0 196685 0
[pid=12941/tid=12942] ppid=12938 vsize=813500 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12942/stat : 12942 (toysat) S 12938 12941 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23750433 833024000 2904 33554432000 4194304 16246674 140736290362064 139725261221104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12941/tid=12943] ppid=12938 vsize=818620 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12943/stat : 12943 (toysat) S 12938 12941 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23750433 838266880 2922 33554432000 4194304 16246674 140736290362064 139725250731248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12941/tid=12944] ppid=12938 vsize=823740 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12944/stat : 12944 (toysat) S 12938 12941 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23750433 843509760 2940 33554432000 4194304 16246674 140736290362064 139725240257712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100214 s]
/proc/loadavg: 2.04 2.05 2.07 3/179 12941
/proc/meminfo: memFree=30597948/32872528 swapFree=249320/249320
[pid=12941] ppid=12938 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/12941/stat : 12941 (toysat) R 12938 12941 11324 0 -1 4202496 26759 0 0 0 6 3 0 0 20 0 4 0 23750433 1332285440 26547 33554432000 4194304 16246674 140736290362064 140736290361376 8058796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12941/statm: 325265 26564 799 2943 0 322159 0
[pid=12941/tid=12942] ppid=12938 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12942/stat : 12942 (toysat) S 12938 12941 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23750433 1332285440 26574 33554432000 4194304 16246674 140736290362064 139725261221104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12941/tid=12943] ppid=12938 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12943/stat : 12943 (toysat) S 12938 12941 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23750433 1332285440 26585 33554432000 4194304 16246674 140736290362064 139725250731248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12941/tid=12944] ppid=12938 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12944/stat : 12944 (toysat) S 12938 12941 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23750433 1332285440 26596 33554432000 4194304 16246674 140736290362064 139725240257712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.2005 s]
/proc/loadavg: 2.04 2.05 2.07 3/179 12941
/proc/meminfo: memFree=30597948/32872528 swapFree=249320/249320
[pid=12941] ppid=12938 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/12941/stat : 12941 (toysat) R 12938 12941 11324 0 -1 4202496 48557 0 0 0 13 6 0 0 20 0 4 0 23750433 1343819776 48345 33554432000 4194304 16246674 140736290362064 140736290361376 12449318 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12941/statm: 328081 48345 833 2943 0 324975 0
[pid=12941/tid=12942] ppid=12938 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12942/stat : 12942 (toysat) S 12938 12941 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23750433 1343819776 48345 33554432000 4194304 16246674 140736290362064 139725261221104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12941/tid=12943] ppid=12938 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12943/stat : 12943 (toysat) S 12938 12941 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23750433 1343819776 48345 33554432000 4194304 16246674 140736290362064 139725250731248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12941/tid=12944] ppid=12938 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12944/stat : 12944 (toysat) S 12938 12941 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23750433 1343819776 48345 33554432000 4194304 16246674 140736290362064 139725240257712 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) 1312324

[startup+0.300482 s]
/proc/loadavg: 2.04 2.05 2.07 3/179 12941
/proc/meminfo: memFree=30597948/32872528 swapFree=249320/249320
[pid=12941] ppid=12938 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/12941/stat : 12941 (toysat) R 12938 12941 11324 0 -1 4202496 61286 0 0 0 22 7 0 0 20 0 4 0 23750433 1343819776 61074 33554432000 4194304 16246674 140736290362064 140736290361376 12657222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12941/statm: 328081 61080 833 2943 0 324975 0
[pid=12941/tid=12942] ppid=12938 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12942/stat : 12942 (toysat) S 12938 12941 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23750433 1343819776 61084 33554432000 4194304 16246674 140736290362064 139725261221104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12941/tid=12943] ppid=12938 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12943/stat : 12943 (toysat) S 12938 12941 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23750433 1343819776 61088 33554432000 4194304 16246674 140736290362064 139725250731248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12941/tid=12944] ppid=12938 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12944/stat : 12944 (toysat) S 12938 12941 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23750433 1343819776 61092 33554432000 4194304 16246674 140736290362064 139725240257712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700389 s]
/proc/loadavg: 2.04 2.05 2.07 3/179 12941
/proc/meminfo: memFree=30597948/32872528 swapFree=249320/249320
[pid=12941] ppid=12938 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/12941/stat : 12941 (toysat) R 12938 12941 11324 0 -1 4202496 101496 0 0 0 58 11 0 0 20 0 4 0 23750433 1343819776 101284 33554432000 4194304 16246674 140736290362064 140736290343936 5600384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12941/statm: 328081 101284 883 2943 0 324975 0
[pid=12941/tid=12942] ppid=12938 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12942/stat : 12942 (toysat) S 12938 12941 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23750433 1343819776 101284 33554432000 4194304 16246674 140736290362064 139725261221104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12941/tid=12943] ppid=12938 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12943/stat : 12943 (toysat) S 12938 12941 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23750433 1343819776 101284 33554432000 4194304 16246674 140736290362064 139725250731248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12941/tid=12944] ppid=12938 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12944/stat : 12944 (toysat) S 12938 12941 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23750433 1343819776 101284 33554432000 4194304 16246674 140736290362064 139725240257712 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) 1312324

[startup+1.5004 s]
/proc/loadavg: 2.04 2.05 2.07 3/184 12948
/proc/meminfo: memFree=30194000/32872528 swapFree=249320/249320
[pid=12941] ppid=12938 vsize=1312324 CPUtime=1.49 cores=0,2,4,6
/proc/12941/stat : 12941 (toysat) R 12938 12941 11324 0 -1 4202496 101496 0 0 0 138 11 0 0 20 0 4 0 23750433 1343819776 101284 33554432000 4194304 16246674 140736290362064 140736290343936 12415665 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12941/statm: 328081 101284 883 2943 0 324975 0
[pid=12941/tid=12942] ppid=12938 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12942/stat : 12942 (toysat) S 12938 12941 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23750433 1343819776 101284 33554432000 4194304 16246674 140736290362064 139725261221104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12941/tid=12943] ppid=12938 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12943/stat : 12943 (toysat) S 12938 12941 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23750433 1343819776 101284 33554432000 4194304 16246674 140736290362064 139725250731248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12941/tid=12944] ppid=12938 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12944/stat : 12944 (toysat) S 12938 12941 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23750433 1343819776 101284 33554432000 4194304 16246674 140736290362064 139725240257712 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) 1312324

[startup+3.10039 s]
/proc/loadavg: 2.04 2.05 2.07 3/184 12948
/proc/meminfo: memFree=29985076/32872528 swapFree=249320/249320
[pid=12941] ppid=12938 vsize=1312324 CPUtime=3.09 cores=0,2,4,6
/proc/12941/stat : 12941 (toysat) R 12938 12941 11324 0 -1 4202496 220417 0 0 0 281 28 0 0 20 0 4 0 23750433 1343819776 220206 33554432000 4194304 16246674 140736290362064 140736290343936 13759916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12941/statm: 328081 220210 883 2943 0 324975 0
[pid=12941/tid=12942] ppid=12938 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12942/stat : 12942 (toysat) S 12938 12941 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23750433 1343819776 220211 33554432000 4194304 16246674 140736290362064 139725261221104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12941/tid=12943] ppid=12938 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12943/stat : 12943 (toysat) S 12938 12941 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23750433 1343819776 220212 33554432000 4194304 16246674 140736290362064 139725250731248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12941/tid=12944] ppid=12938 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12944/stat : 12944 (toysat) S 12938 12941 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23750433 1343819776 220213 33554432000 4194304 16246674 140736290362064 139725240257712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.3004 s]
/proc/loadavg: 2.03 2.05 2.07 3/184 12948
/proc/meminfo: memFree=29514388/32872528 swapFree=249320/249320
[pid=12941] ppid=12938 vsize=1312324 CPUtime=6.28 cores=0,2,4,6
/proc/12941/stat : 12941 (toysat) R 12938 12941 11324 0 -1 4202496 269274 0 0 0 592 36 0 0 20 0 4 0 23750433 1343819776 269062 33554432000 4194304 16246674 140736290362064 140736290343936 5661838 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12941/statm: 328081 269062 892 2943 0 324975 0
[pid=12941/tid=12942] ppid=12938 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12942/stat : 12942 (toysat) S 12938 12941 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23750433 1343819776 269062 33554432000 4194304 16246674 140736290362064 139725261221104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12941/tid=12943] ppid=12938 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12943/stat : 12943 (toysat) S 12938 12941 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23750433 1343819776 269062 33554432000 4194304 16246674 140736290362064 139725250731248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12941/tid=12944] ppid=12938 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12944/stat : 12944 (toysat) S 12938 12941 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23750433 1343819776 269062 33554432000 4194304 16246674 140736290362064 139725240257712 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) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.03 2.05 2.07 3/184 12948
/proc/meminfo: memFree=29513908/32872528 swapFree=249320/249320
[pid=12941] ppid=12938 vsize=1312324 CPUtime=12.68 cores=0,2,4,6
/proc/12941/stat : 12941 (toysat) R 12938 12941 11324 0 -1 4202496 269278 0 0 0 1232 36 0 0 20 0 4 0 23750433 1343819776 269066 33554432000 4194304 16246674 140736290362064 140736290343936 5600136 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12941/statm: 328081 269066 896 2943 0 324975 0
[pid=12941/tid=12942] ppid=12938 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12942/stat : 12942 (toysat) S 12938 12941 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23750433 1343819776 269066 33554432000 4194304 16246674 140736290362064 139725261221104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12941/tid=12943] ppid=12938 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12943/stat : 12943 (toysat) S 12938 12941 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23750433 1343819776 269066 33554432000 4194304 16246674 140736290362064 139725250731248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12941/tid=12944] ppid=12938 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12944/stat : 12944 (toysat) S 12938 12941 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23750433 1343819776 269066 33554432000 4194304 16246674 140736290362064 139725240257712 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) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.02 2.05 2.06 3/184 12948
/proc/meminfo: memFree=29514916/32872528 swapFree=249320/249320
[pid=12941] ppid=12938 vsize=1313348 CPUtime=25.48 cores=0,2,4,6
/proc/12941/stat : 12941 (toysat) R 12938 12941 11324 0 -1 4202496 269341 0 0 0 2512 36 0 0 20 0 4 0 23750433 1344868352 269129 33554432000 4194304 16246674 140736290362064 140736290343936 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12941/statm: 328337 269129 896 2943 0 325231 0
[pid=12941/tid=12942] ppid=12938 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12942/stat : 12942 (toysat) S 12938 12941 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23750433 1344868352 269129 33554432000 4194304 16246674 140736290362064 139725261221104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12941/tid=12943] ppid=12938 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12943/stat : 12943 (toysat) S 12938 12941 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23750433 1344868352 269129 33554432000 4194304 16246674 140736290362064 139725250731248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12941/tid=12944] ppid=12938 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12944/stat : 12944 (toysat) S 12938 12941 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23750433 1344868352 269129 33554432000 4194304 16246674 140736290362064 139725240257712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.01 2.04 2.06 3/184 12948
/proc/meminfo: memFree=29512524/32872528 swapFree=249320/249320
[pid=12941] ppid=12938 vsize=1313348 CPUtime=51.09 cores=0,2,4,6
/proc/12941/stat : 12941 (toysat) R 12938 12941 11324 0 -1 4202496 269498 0 0 0 5072 37 0 0 20 0 4 0 23750433 1344868352 269286 33554432000 4194304 16246674 140736290362064 140736290343936 13780568 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12941/statm: 328337 269286 896 2943 0 325231 0
[pid=12941/tid=12942] ppid=12938 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12942/stat : 12942 (toysat) S 12938 12941 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23750433 1344868352 269286 33554432000 4194304 16246674 140736290362064 139725261221104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12941/tid=12943] ppid=12938 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12943/stat : 12943 (toysat) S 12938 12941 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23750433 1344868352 269286 33554432000 4194304 16246674 140736290362064 139725250731248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12941/tid=12944] ppid=12938 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12944/stat : 12944 (toysat) S 12938 12941 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23750433 1344868352 269286 33554432000 4194304 16246674 140736290362064 139725240257712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.12 2.07 2.07 3/183 12949
/proc/meminfo: memFree=29470924/32872528 swapFree=249320/249320
[pid=12941] ppid=12938 vsize=1315396 CPUtime=102.28 cores=0,2,4,6
/proc/12941/stat : 12941 (toysat) R 12938 12941 11324 0 -1 4202496 270046 0 0 0 10191 37 0 0 20 0 4 0 23750433 1346965504 269834 33554432000 4194304 16246674 140736290362064 140736290343936 5711784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12941/statm: 328849 269834 896 2943 0 325743 0
[pid=12941/tid=12942] ppid=12938 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12942/stat : 12942 (toysat) S 12938 12941 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23750433 1346965504 269834 33554432000 4194304 16246674 140736290362064 139725261221104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12941/tid=12943] ppid=12938 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12943/stat : 12943 (toysat) S 12938 12941 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23750433 1346965504 269834 33554432000 4194304 16246674 140736290362064 139725250731248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12941/tid=12944] ppid=12938 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12944/stat : 12944 (toysat) S 12938 12941 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23750433 1346965504 269834 33554432000 4194304 16246674 140736290362064 139725240257712 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) 1315396


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

/proc/12941/task/12944/stat : 12944 (toysat) S 12938 12941 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23750433 1356402688 272177 33554432000 4194304 16246674 140736290362064 139725240257712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1324612

[startup+1362.3 s]
/proc/loadavg: 2.03 2.08 2.02 3/183 12980
/proc/meminfo: memFree=29416784/32872528 swapFree=249320/249320
[pid=12941] ppid=12938 vsize=1324612 CPUtime=1361.94 cores=0,2,4,6
/proc/12941/stat : 12941 (toysat) R 12938 12941 11324 0 -1 4202496 272574 0 0 0 136154 40 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 140736290343936 5711984 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12941/statm: 331153 272395 897 2943 0 328047 0
[pid=12941/tid=12942] ppid=12938 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12942/stat : 12942 (toysat) S 12938 12941 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 139725261221104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12941/tid=12943] ppid=12938 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12943/stat : 12943 (toysat) S 12938 12941 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 139725250731248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12941/tid=12944] ppid=12938 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12944/stat : 12944 (toysat) S 12938 12941 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 139725240257712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1324612

[startup+1422.3 s]
/proc/loadavg: 2.07 2.08 2.02 3/183 12981
/proc/meminfo: memFree=29416532/32872528 swapFree=249320/249320
[pid=12941] ppid=12938 vsize=1324612 CPUtime=1421.93 cores=0,2,4,6
/proc/12941/stat : 12941 (toysat) R 12938 12941 11324 0 -1 4202496 272590 0 0 0 142153 40 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 140736290343936 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12941/statm: 331153 272395 897 2943 0 328047 0
[pid=12941/tid=12942] ppid=12938 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12942/stat : 12942 (toysat) S 12938 12941 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 139725261221104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12941/tid=12943] ppid=12938 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12943/stat : 12943 (toysat) S 12938 12941 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 139725250731248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12941/tid=12944] ppid=12938 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12944/stat : 12944 (toysat) S 12938 12941 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 139725240257712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1324612

[startup+1482.3 s]
/proc/loadavg: 2.13 2.09 2.03 3/183 12983
/proc/meminfo: memFree=29416536/32872528 swapFree=249320/249320
[pid=12941] ppid=12938 vsize=1324612 CPUtime=1481.91 cores=0,2,4,6
/proc/12941/stat : 12941 (toysat) R 12938 12941 11324 0 -1 4202496 272590 0 0 0 148151 40 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 140736290343936 5545916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12941/statm: 331153 272395 897 2943 0 328047 0
[pid=12941/tid=12942] ppid=12938 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12942/stat : 12942 (toysat) S 12938 12941 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 139725261221104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12941/tid=12943] ppid=12938 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12943/stat : 12943 (toysat) S 12938 12941 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 139725250731248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12941/tid=12944] ppid=12938 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12944/stat : 12944 (toysat) S 12938 12941 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 139725240257712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1324612

[startup+1542.31 s]
/proc/loadavg: 2.08 2.08 2.03 3/183 12984
/proc/meminfo: memFree=29416528/32872528 swapFree=249320/249320
[pid=12941] ppid=12938 vsize=1324612 CPUtime=1541.91 cores=0,2,4,6
/proc/12941/stat : 12941 (toysat) R 12938 12941 11324 0 -1 4202496 272590 0 0 0 154151 40 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 140736290343936 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12941/statm: 331153 272395 897 2943 0 328047 0
[pid=12941/tid=12942] ppid=12938 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12942/stat : 12942 (toysat) S 12938 12941 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 139725261221104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12941/tid=12943] ppid=12938 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12943/stat : 12943 (toysat) S 12938 12941 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 139725250731248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12941/tid=12944] ppid=12938 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12944/stat : 12944 (toysat) S 12938 12941 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 139725240257712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1324612

[startup+1602.3 s]
/proc/loadavg: 2.07 2.08 2.03 3/183 12985
/proc/meminfo: memFree=29416660/32872528 swapFree=249320/249320
[pid=12941] ppid=12938 vsize=1324612 CPUtime=1601.9 cores=0,2,4,6
/proc/12941/stat : 12941 (toysat) R 12938 12941 11324 0 -1 4202496 272590 0 0 0 160149 41 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 140736290343936 5711644 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12941/statm: 331153 272395 897 2943 0 328047 0
[pid=12941/tid=12942] ppid=12938 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12942/stat : 12942 (toysat) S 12938 12941 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 139725261221104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12941/tid=12943] ppid=12938 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12943/stat : 12943 (toysat) S 12938 12941 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 139725250731248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12941/tid=12944] ppid=12938 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12944/stat : 12944 (toysat) S 12938 12941 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 139725240257712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1324612

[startup+1662.3 s]
/proc/loadavg: 2.02 2.06 2.02 3/183 12986
/proc/meminfo: memFree=29416528/32872528 swapFree=249320/249320
[pid=12941] ppid=12938 vsize=1324612 CPUtime=1661.89 cores=0,2,4,6
/proc/12941/stat : 12941 (toysat) R 12938 12941 11324 0 -1 4202496 272590 0 0 0 166148 41 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 140736290343936 5711338 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12941/statm: 331153 272395 897 2943 0 328047 0
[pid=12941/tid=12942] ppid=12938 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12942/stat : 12942 (toysat) S 12938 12941 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 139725261221104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12941/tid=12943] ppid=12938 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12943/stat : 12943 (toysat) S 12938 12941 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 139725250731248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12941/tid=12944] ppid=12938 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12944/stat : 12944 (toysat) S 12938 12941 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 139725240257712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1324612

[startup+1722.3 s]
/proc/loadavg: 2.04 2.06 2.02 3/183 12987
/proc/meminfo: memFree=29416648/32872528 swapFree=249320/249320
[pid=12941] ppid=12938 vsize=1324612 CPUtime=1721.88 cores=0,2,4,6
/proc/12941/stat : 12941 (toysat) R 12938 12941 11324 0 -1 4202496 272590 0 0 0 172147 41 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 140736290343936 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12941/statm: 331153 272395 897 2943 0 328047 0
[pid=12941/tid=12942] ppid=12938 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12942/stat : 12942 (toysat) S 12938 12941 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 139725261221104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12941/tid=12943] ppid=12938 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12943/stat : 12943 (toysat) S 12938 12941 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 139725250731248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12941/tid=12944] ppid=12938 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12944/stat : 12944 (toysat) S 12938 12941 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 139725240257712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 1324612

[startup+1782.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/183 13038
/proc/meminfo: memFree=29373240/32872528 swapFree=249320/249320
[pid=12941] ppid=12938 vsize=1324612 CPUtime=1781.87 cores=0,2,4,6
/proc/12941/stat : 12941 (toysat) R 12938 12941 11324 0 -1 4202496 272590 0 0 0 178146 41 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 140736290343936 5722604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12941/statm: 331153 272395 897 2943 0 328047 0
[pid=12941/tid=12942] ppid=12938 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12942/stat : 12942 (toysat) S 12938 12941 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 139725261221104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12941/tid=12943] ppid=12938 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12943/stat : 12943 (toysat) S 12938 12941 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 139725250731248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12941/tid=12944] ppid=12938 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12944/stat : 12944 (toysat) S 12938 12941 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 139725240257712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1324612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.01 2.05 2.01 3/183 13038
/proc/meminfo: memFree=29147048/32872528 swapFree=249320/249320
[pid=12941] ppid=12938 vsize=1324612 CPUtime=1800.07 cores=0,2,4,6
/proc/12941/stat : 12941 (toysat) R 12938 12941 11324 0 -1 4202496 272590 0 0 0 179966 41 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 140736290343936 5711716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12941/statm: 331153 272395 897 2943 0 328047 0
[pid=12941/tid=12942] ppid=12938 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12942/stat : 12942 (toysat) S 12938 12941 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 139725261221104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12941/tid=12943] ppid=12938 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12943/stat : 12943 (toysat) S 12938 12941 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 139725250731248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12941/tid=12944] ppid=12938 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12944/stat : 12944 (toysat) S 12938 12941 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 139725240257712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1324612

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

[startup+1800.5 s]
/proc/loadavg: 2.01 2.05 2.01 3/183 13038
/proc/meminfo: memFree=29147048/32872528 swapFree=249320/249320
[pid=12941] ppid=12938 vsize=1324612 CPUtime=1800.07 cores=0,2,4,6
/proc/12941/stat : 12941 (toysat) R 12938 12941 11324 0 -1 4202496 272590 0 0 0 179966 41 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 140736290343936 5711716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12941/statm: 331153 272395 897 2943 0 328047 0
[pid=12941/tid=12942] ppid=12938 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12942/stat : 12942 (toysat) S 12938 12941 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 139725261221104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12941/tid=12943] ppid=12938 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12943/stat : 12943 (toysat) S 12938 12941 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 139725250731248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12941/tid=12944] ppid=12938 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/12941/task/12944/stat : 12944 (toysat) S 12938 12941 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23750433 1356402688 272395 33554432000 4194304 16246674 140736290362064 139725240257712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1324612

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1799.67
CPU system time (s): 0.416936
CPU usage (%): 99.9763
Max. virtual memory (cumulated for all children) (KiB): 1324612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.67
system time used= 0.416936
maximum resident set size= 1089580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272590
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= 255
involuntary context switches= 1837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6273 second user time and 6.90095 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-18 04:30:00
IDJOB=4100737
IDBENCH=1655
IDSOLVER=2542
FILE ID=node103/4100737-1466217000
RUNJOBID= node103-1466206104-11340
PBS_JOBID= 19918169
Free space on /tmp= 71716 MiB

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

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

MD5SUM BENCH= 916719a95a95b5989e5d4b5f3d786df3
RANDOM SEED=731703446

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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		: 2667.278
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:        30598608 kB
Buffers:           96888 kB
Cached:           110148 kB
SwapCached:         2200 kB
Active:          1166804 kB
Inactive:         124484 kB
Active(anon):    1082768 kB
Inactive(anon):     3600 kB
Active(file):      84036 kB
Inactive(file):   120884 kB
Unevictable:      249320 kB
Mlocked:          249320 kB
SwapTotal:      67108856 kB
SwapFree:       67099436 kB
Dirty:             33860 kB
Writeback:             0 kB
AnonPages:       1436756 kB
Mapped:            10816 kB
Shmem:                 0 kB
Slab:             600488 kB
SReclaimable:      44544 kB
SUnreclaim:       555944 kB
KernelStack:        1520 kB
PageTables:         6720 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1476964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    104448 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= 71688 MiB
End job on node103 at 2016-06-18 05:00:01