Trace number 4101801

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-gesa2-o.opb
MD5SUM2ee0b4368a56ab3fadfc3737456bcd30
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark756
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 799
Optimality of the best value was proved NO
Number of variables16224
Total number of constraints1488
Number of constraints which are clauses192
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1296
Minimum length of a constraint2
Maximum length of a constraint309
Number of terms in the objective function 10368
Biggest coefficient in the objective function 1219
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 532440
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 532440
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-18T07:29:14+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-4101801-1466227754.opb"]
0.00/0.01	c use --random-gen="2562906338 1869013039 205244770 1993798574 467037705 1648395117 1664581162 2576569790 2701182165 1629711122 1692118832 538707294 2387146151 1752060951 1966312575 1599489311 3280869519 3943918144 3958246019 2492220366 569628866 3123707042 913159785 250522472 206384036 1851927165 2001900622 3221490055 2100045044 104360383 3296457658 2842452500 1958598446 2173204526 332924929 2670475474 824949078 112914216 3580198644 4069807 1320090268 1914444820 4055367321 2054839427 1598887511 1315913047 2499574098 160368740 3586932973 3482401092 2846096592 3119624805 334111243 2235774076 3691740473 2535101638 1342546431 3687590791 2115543375 477858693 1198219273 650524611 1665748994 829209189 4062414576 1758048753 4078177463 4193726760 2964932807 1719642040 329934167 1186060335 1887963717 1531975000 823930283 2742107808 689798541 1702605374 640085259 3783315975 3045862983 2733999451 4147428763 100695415 2988059322 3230689027 1027621032 3754182770 761563322 4212214973 1800087544 4083052069 3800147254 411808548 3249332703 2581122748 2413278732 2213944943 1167449897 655028363 2757171302 3128091783 3183088127 4187391065 802568586 1853973252 1092718915 237503141 3350828866 4010122248 771210250 2604466679 822051980 1211048957 2978095445 2226373574 3745372452 1203816684 2219699558 4288301594 3160186367 2831252419 2026705837 1050996693 1146718535 2949960658 164070261 807691535 1685018254 3281924103 1666454970 3120798398 3059924608 1208998368 744029556 481621376 2059002413 3109949272 299127451 912386338 1706225690 1804839774 1274687729 2291228979 3453173826 423122314 3288947285 3937790540 815169170 3142578139 19288621 2293513525 456688878 1289748197 3457851496 912071712 883925110 2978095249 475998403 198234972 2879635523 1477849242 4127090263 1305243938 710683802 3633159035 804800592 3598517005 2135249832 436820696 1897140604 1381315095 1555156267 2092487146 3071193149 1938643265 1247657309 2247201719 109500545 427681497 1610910921 2262106587 771170169 3615928628 539967240 2871099207 2853898256 4004901291 2605649283 4268272962 1237875452 821747552 345727211 14395251 1137552119 4289520620 2386866097 2825819837 4081984885 3456667807 4285078284 3812391307 3041581256 3307312929 1724536921 901366604 1432834366 382712723 403521042 4271578886 2941468335 3861998697 2725897907 3438581115 2442026737 737308950 484249041 2630069398 2904932027 998990948 2611087973 3959247849 25155166 340885628 4017709687 2004327966 1514486573 3007968957 748608723 2531967338 2858962977 3816723745 1649478625 2716137393 3497269161 1239625436 2991946439 1252761112 3251836398 19236612 4048411699 3658658081 2889468703 453043372 4183109360 2702728234 1429459269 679801084 27404360 3137677641 2482647271 782036115 2688020148 3661683142 1518816161 3091708463 255 362436" option to reproduce the execution
0.09/0.14	c #vars 16224
0.09/0.14	c #constraints 1488
0.29/0.39	c BCD2: Hardening is enabled.
0.29/0.39	c BCD2: BiasedSearch is enabled.
0.29/0.39	c Solving starts ...
0.29/0.39	c ============================[ Search Statistics ]============================
0.29/0.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.39	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.39	c =============================================================================
0.29/0.39	c  0.0s |       0 |        0 |        0 |     5944      0 |     6936 |        0
0.49/0.55	c  0.2s |       1 |     1672 |      100 |     5944      0 |     6946 |        0
0.58/0.65	c  0.3s |       2 |     2306 |      250 |     6539      0 |     6946 |        0
0.79/0.82	c  0.4s |       3 |     2748 |      475 |     7193      0 |     6946 |        0
0.98/1.10	c  0.7s |       4 |     3879 |      813 |     7913      0 |     6946 |        0
1.39/1.49	c  1.1s |       5 |     4985 |     1320 |     8705      0 |     6946 |        0
2.09/2.15	c  1.8s |       6 |     7759 |     2081 |    10534      0 |     6946 |        0
2.89/2.90	c  2.5s |       7 |    11808 |     3223 |    11588      0 |     6946 |        0
3.99/4.03	c  3.6s |       8 |    17202 |     4936 |    12747      0 |     6946 |        0
5.79/5.89	c  5.5s |       9 |    25632 |     7506 |    14022      0 |     6946 |        0
7.89/7.90	c  7.5s |       9 |    33573 |    10206 |    14022      0 |     6946 |        0
8.80/8.81	c  8.4s |      10 |    37740 |    11361 |    15425      0 |     6946 |        0
10.79/10.87	c 10.5s |      10 |    45872 |    13861 |    15425      0 |     6946 |        0
12.89/12.91	c 12.5s |      10 |    53658 |    16261 |    15425      0 |     6946 |        0
13.59/13.69	c 13.3s |      11 |    56765 |    17144 |    16968      0 |     6946 |        0
15.59/15.69	c 15.3s |      11 |    62120 |    19444 |    16968      0 |     6946 |        0
17.70/17.75	c 17.4s |      11 |    68159 |    21744 |    16968      0 |     6947 |        0
20.09/20.12	c 19.7s |      11 |    73791 |    24144 |    16968      1 |     6947 |        0
22.00/22.10	c 21.7s |      12 |    78430 |    25819 |    18665      1 |     6948 |        0
24.09/24.12	c 23.7s |      12 |    84090 |    28219 |    18665      1 |     6948 |        0
26.09/26.16	c 25.8s |      12 |    90774 |    30619 |    18665      1 |     6949 |        0
28.19/28.23	c 27.8s |      12 |    96383 |    33319 |    18665      1 |     6949 |        0
30.29/30.32	c 29.9s |      12 |   102622 |    35519 |    18665      1 |     6949 |        0
32.29/32.34	c 31.9s |      12 |   108068 |    37219 |    18665      1 |     6949 |        0
33.89/33.93	c 33.5s |      13 |   113454 |    38832 |    20532      2 |     6949 |        0
35.89/35.95	c 35.6s |      13 |   121562 |    41232 |    20532      2 |     6949 |        0
37.89/37.98	c 37.6s |      13 |   129382 |    43732 |    20532      2 |     6949 |        0
39.99/40.03	c 39.6s |      13 |   136066 |    46032 |    20532      2 |     6949 |        0
42.09/42.11	c 41.7s |      13 |   140605 |    48232 |    20532      2 |     6949 |        0
44.09/44.13	c 43.7s |      13 |   145505 |    50132 |    20532      2 |     6949 |        0
46.19/46.23	c 45.8s |      13 |   151849 |    52132 |    20532      2 |     6949 |        0
48.18/48.24	c 47.9s |      13 |   158693 |    54932 |    20532      3 |     6949 |        0
50.18/50.27	c 49.9s |      13 |   163955 |    57832 |    20532      3 |     6949 |        0
50.59/50.64	c 50.3s |      14 |   165225 |    58352 |    22586      3 |     6949 |        0
52.68/52.70	c 52.3s |      14 |   173995 |    61152 |    22586      3 |     6949 |        0
54.68/54.77	c 54.4s |      14 |   181065 |    63752 |    22586      3 |     6949 |        0
56.78/56.82	c 56.4s |      14 |   189045 |    66352 |    22586      3 |     6949 |        0
58.78/58.83	c 58.4s |      14 |   194772 |    68652 |    22586      4 |     6949 |        0
60.78/60.88	c 60.5s |      14 |   199808 |    70752 |    22586      4 |     6950 |        0
62.88/62.90	c 62.5s |      14 |   207523 |    73852 |    22586      4 |     6951 |        0
64.78/64.90	c 64.5s |      14 |   214969 |    76752 |    22586      4 |     6951 |        0
66.88/66.99	c 66.6s |      14 |   221773 |    79452 |    22586      4 |     6951 |        0
68.98/69.06	c 68.7s |      14 |   227256 |    81652 |    22586      4 |     6951 |        0
70.98/71.09	c 70.7s |      14 |   235603 |    84852 |    22586      5 |     6952 |        0
72.18/72.25	c 71.9s |      15 |   245889 |    87632 |    24845      5 |     6961 |        0
74.18/74.25	c 73.9s |      15 |   258353 |    94032 |    24845      5 |     6961 |        0
76.18/76.26	c 75.9s |      15 |   266952 |    98632 |    24845      5 |     6961 |        0
78.18/78.28	c 77.9s |      15 |   273145 |   102232 |    24845      6 |     6961 |        0
80.28/80.35	c 80.0s |      15 |   278794 |   105432 |    24845      6 |     6961 |        0
82.28/82.38	c 82.0s |      15 |   283045 |   108332 |    24845      6 |     6961 |        0
84.38/84.46	c 84.1s |      15 |   287174 |   110732 |    24845      6 |     6961 |        0
86.47/86.54	c 86.2s |      15 |   292895 |   113132 |    24845      6 |     6961 |        0
88.47/88.55	c 88.2s |      15 |   298511 |   115832 |    24845      6 |     6961 |        0
90.57/90.63	c 90.2s |      15 |   304560 |   119032 |    24845      7 |     6962 |        0
92.57/92.66	c 92.3s |      15 |   309945 |   122232 |    24845      7 |     6962 |        0
94.58/94.70	c 94.3s |      15 |   315081 |   125232 |    24845      7 |     6962 |        0
96.67/96.74	c 96.4s |      15 |   319132 |   127932 |    24845      7 |     6962 |        0
98.67/98.77	c 98.4s |      15 |   323224 |   130732 |    27330      7 |     6962 |        0
99.37/99.44	c 99.1s |      16 |   324453 |   131552 |    27330      7 |     6962 |        0
101.37/101.48	c  101s |      16 |   333618 |   134752 |    27330      8 |     6962 |        0
103.38/103.50	c  103s |      16 |   348333 |   139552 |    27330      8 |     6962 |        0
105.47/105.53	c  105s |      16 |   358196 |   143652 |    27330      8 |     6962 |        0
107.47/107.56	c  107s |      16 |   369359 |   147352 |    27330      8 |     6962 |        0
109.47/109.56	c  109s |      16 |   379437 |   150752 |    27330      8 |     6962 |        0
111.47/111.57	c  111s |      16 |   389262 |   154152 |    27330      9 |     6962 |        0
113.47/113.58	c  113s |      16 |   398683 |   157552 |    27330      9 |     6962 |        0
115.58/115.65	c  115s |      16 |   406763 |   160452 |    27330      9 |     6962 |        0
117.57/117.68	c  117s |      16 |   413376 |   162852 |    27330      9 |     6962 |        0
119.67/119.73	c  119s |      16 |   418855 |   164952 |    27330      9 |     6962 |        0
121.67/121.76	c  121s |      16 |   423653 |   167152 |    27330      9 |     6962 |        0
123.67/123.77	c  123s |      16 |   431023 |   169752 |    27330     10 |     6962 |        0
125.66/125.78	c  125s |      16 |   435806 |   172252 |    27330     10 |     6962 |        0
128.68/128.79	c  128s |      16 |   441271 |   175652 |    27330     10 |     6962 |        0
130.77/130.84	c  130s |      16 |   450173 |   178752 |    27330     10 |     6962 |        0
132.77/132.87	c  132s |      16 |   457422 |   181852 |    27330     10 |     6962 |        0
134.87/134.92	c  134s |      16 |   466787 |   184852 |    27330     10 |     6962 |        0
136.87/136.92	c  136s |      16 |   477821 |   188152 |    27330     11 |     6962 |        0
138.87/138.98	c  138s |      16 |   486632 |   191052 |    27330     11 |     6962 |        0
140.97/141.01	c  140s |      16 |   491272 |   192952 |    27330     11 |     6962 |        0
142.97/143.08	c  142s |      16 |   495280 |   195252 |    27330     11 |     6962 |        0
144.97/145.06	c  144s |      17 |   498917 |   197432 |    30064     11 |     6962 |        0
147.07/147.13	c  146s |      17 |   502478 |   199532 |    30064     11 |     6962 |        0
149.07/149.16	c  148s |      17 |   506884 |   201432 |    30064     11 |     6962 |        0
151.17/151.21	c  150s |      17 |   511140 |   203432 |    30064     11 |     6962 |        0
153.16/153.24	c  152s |      17 |   514334 |   205432 |    30064     11 |     6962 |        0
155.17/155.26	c  154s |      17 |   524735 |   209532 |    30064     12 |     6966 |        0
157.16/157.28	c  156s |      17 |   537600 |   215232 |    30064     12 |     6966 |        0
159.26/159.31	c  158s |      17 |   546260 |   220232 |    30064     12 |     6966 |        0
161.26/161.35	c  160s |      17 |   552692 |   223832 |    30064     12 |     6966 |        0
163.26/163.37	c  162s |      17 |   558038 |   227032 |    30064     13 |     6966 |        0
165.36/165.41	c  165s |      17 |   562853 |   229832 |    30064     13 |     6966 |        0
167.36/167.48	c  167s |      17 |   567291 |   232432 |    30064     13 |     6966 |        0
169.47/169.51	c  169s |      17 |   570763 |   234732 |    30064     13 |     6966 |        0
171.46/171.56	c  171s |      17 |   574747 |   236832 |    30064     13 |     6966 |        0
173.56/173.68	c  173s |      17 |   578499 |   238932 |    30064     13 |     6966 |        0
175.66/175.74	c  175s |      17 |   583104 |   241832 |    30064     13 |     6966 |        0
177.66/177.79	c  177s |      17 |   589014 |   244732 |    30064     13 |     6966 |        0
179.76/179.84	c  179s |      17 |   596415 |   248132 |    30064     14 |     6966 |        0
181.76/181.88	c  181s |      17 |   603812 |   251132 |    30064     14 |     6967 |        0
183.86/183.90	c  183s |      17 |   611254 |   254932 |    30064     14 |     6967 |        0
185.87/185.93	c  185s |      17 |   621687 |   258632 |    30064     14 |     6967 |        0
187.86/187.97	c  187s |      17 |   631466 |   262032 |    30064     14 |     6967 |        0
189.96/190.00	c  189s |      17 |   641245 |   265332 |    30064     15 |     6967 |        0
192.26/192.36	c  191s |      17 |   647638 |   268132 |    30064     15 |     6967 |        0
194.25/194.39	c  193s |      17 |   653611 |   270332 |    30064     15 |     6969 |        0
196.36/196.44	c  196s |      17 |   661930 |   273732 |    30064     15 |     6969 |        0
198.36/198.49	c  198s |      17 |   671740 |   277132 |    30064     15 |     6969 |        0
200.46/200.53	c  200s |      17 |   679127 |   280432 |    30064     15 |     6969 |        0
202.47/202.57	c  202s |      17 |   685657 |   283332 |    30064     16 |     6969 |        0
204.46/204.58	c  204s |      17 |   693236 |   287232 |    30064     16 |     6969 |        0
206.56/206.60	c  206s |      17 |   699367 |   290732 |    30064     16 |     6969 |        0
208.56/208.63	c  208s |      17 |   704470 |   293532 |    30064     16 |     6969 |        0
210.46/210.54	c  210s |      18 |   708160 |   296252 |    33071     16 |     6969 |        0
212.46/212.56	c  212s |      18 |   712081 |   297452 |    33071     16 |     6969 |        0
217.26/217.30	c  216s |      18 |   714649 |   299052 |    33071     16 |     6969 |        0
219.36/219.46	c  219s |      18 |   717772 |   300552 |    33071     16 |     6969 |        0
221.46/221.53	c  221s |      18 |   720555 |   301952 |    33071     16 |     6969 |        0
224.55/224.69	c  224s |      18 |   723487 |   303152 |    33071     17 |     6969 |        0
226.67/226.74	c  226s |      18 |   732388 |   306352 |    33071     17 |     6969 |        0
228.66/228.78	c  228s |      18 |   744252 |   310052 |    33071     17 |     6969 |        0
230.66/230.79	c  230s |      18 |   754680 |   313452 |    33071     17 |     6969 |        0
232.76/232.83	c  232s |      18 |   755768 |   313852 |    33071     17 |     6969 |        0
234.75/234.86	c  234s |      18 |   763930 |   317152 |    33071     17 |     6969 |        0
236.75/236.89	c  236s |      18 |   770432 |   320152 |    33071     17 |     6969 |        0
238.85/238.90	c  238s |      18 |   776491 |   322652 |    33071     17 |     6969 |        0
240.86/240.97	c  240s |      18 |   782359 |   324952 |    33071     18 |     6969 |        0
242.85/242.97	c  242s |      18 |   786969 |   326752 |    33071     18 |     6969 |        0
244.95/245.01	c  244s |      18 |   787793 |   327052 |    33071     18 |     6969 |        0
246.95/247.02	c  246s |      18 |   794249 |   329452 |    33071     18 |     6969 |        0
249.05/249.10	c  248s |      18 |   799350 |   332552 |    33071     18 |     6969 |        0
251.05/251.14	c  250s |      18 |   802138 |   334752 |    33071     18 |     6969 |        0
253.06/253.17	c  252s |      18 |   805884 |   336852 |    33071     18 |     6969 |        0
255.16/255.21	c  254s |      18 |   808342 |   338752 |    33071     18 |     6969 |        0
257.15/257.23	c  256s |      18 |   812775 |   340852 |    33071     18 |     6969 |        0
259.25/259.34	c  258s |      18 |   815895 |   342752 |    33071     18 |     6969 |        0
261.35/261.40	c  261s |      18 |   817742 |   344352 |    33071     18 |     6969 |        0
263.35/263.42	c  263s |      18 |   819396 |   345752 |    33071     19 |     6969 |        0
265.45/265.55	c  265s |      18 |   821586 |   347352 |    33071     19 |     6969 |        0
267.45/267.58	c  267s |      18 |   823364 |   348752 |    33071     19 |     6969 |        0
269.65/269.71	c  269s |      18 |   825667 |   350252 |    33071     19 |     6969 |        0
271.66/271.75	c  271s |      18 |   827312 |   351552 |    33071     19 |     6969 |        0
273.75/273.88	c  273s |      18 |   828624 |   352752 |    33071     19 |     6969 |        0
275.95/276.01	c  275s |      18 |   830260 |   353952 |    33071     19 |     6969 |        0
278.05/278.13	c  277s |      18 |   831484 |   355052 |    33071     19 |     6969 |        0
280.05/280.15	c  279s |      18 |   844334 |   359352 |    33071     19 |     6969 |        0
282.05/282.19	c  281s |      18 |   855901 |   363252 |    33071     19 |     6969 |        0
284.15/284.24	c  283s |      18 |   864704 |   366152 |    33071     20 |     6969 |        0
286.15/286.27	c  285s |      18 |   876535 |   370552 |    33071     20 |     6969 |        0
288.25/288.31	c  287s |      18 |   884649 |   373552 |    33071     20 |     6969 |        0
290.25/290.36	c  289s |      18 |   887596 |   375552 |    33071     20 |     6969 |        0
292.25/292.36	c  291s |      18 |   892379 |   377952 |    33071     20 |     6969 |        0
294.35/294.44	c  294s |      18 |   895967 |   379952 |    33071     20 |     6969 |        0
296.35/296.49	c  296s |      18 |   901883 |   382752 |    33071     20 |     6969 |        0
298.44/298.50	c  298s |      18 |   907530 |   385252 |    33071     20 |     6969 |        0
300.44/300.54	c  300s |      18 |   915496 |   388752 |    33071     21 |     6969 |        0
302.45/302.55	c  302s |      18 |   922019 |   392052 |    33071     21 |     6969 |        0
304.54/304.61	c  304s |      18 |   929759 |   395152 |    33071     21 |     6969 |        0
306.54/306.67	c  306s |      18 |   937505 |   397652 |    33071     21 |     6970 |        0
309.74/309.85	c  309s |      18 |   938950 |   399052 |    33071     21 |     6970 |        0
311.74/311.86	c  311s |      18 |   945948 |   403952 |    33071     21 |     6970 |        0
313.74/313.87	c  313s |      18 |   952231 |   408052 |    33071     22 |     6970 |        0
315.74/315.88	c  315s |      18 |   960439 |   412452 |    33071     22 |     6970 |        0
317.84/317.91	c  317s |      18 |   964895 |   415352 |    33071     22 |     6970 |        0
319.84/319.95	c  319s |      18 |   969887 |   418252 |    33071     22 |     6970 |        0
321.94/322.01	c  321s |      18 |   974598 |   420952 |    33071     22 |     6970 |        0
323.93/324.08	c  323s |      18 |   978233 |   423352 |    33071     22 |     6970 |        0
326.14/326.21	c  325s |      18 |   981525 |   425452 |    33071     22 |     6970 |        0
328.14/328.24	c  327s |      18 |   984082 |   427152 |    33071     22 |     6970 |        0
330.24/330.31	c  329s |      18 |   987652 |   429252 |    33071     23 |     6970 |        0
332.25/332.31	c  331s |      18 |   990898 |   431352 |    33071     23 |     6970 |        0
334.24/334.40	c  334s |      18 |   993860 |   433352 |    33071     23 |     6970 |        0
336.44/336.56	c  336s |      18 |   995815 |   434852 |    33071     23 |     6970 |        0
338.44/338.58	c  338s |      18 |   997450 |   435952 |    33071     23 |     6970 |        0
340.54/340.62	c  340s |      18 |   999389 |   437452 |    33071     23 |     6970 |        0
342.54/342.62	c  342s |      18 |  1001914 |   439052 |    33071     23 |     6970 |        0
344.64/344.75	c  344s |      18 |  1004084 |   440652 |    33071     23 |     6970 |        0
346.74/346.87	c  346s |      18 |  1005873 |   442052 |    36379     23 |     6970 |        0
348.94/349.06	c  348s |      18 |  1007815 |   443352 |    36379     23 |     6970 |        0
350.64/350.70	c  350s |      19 |  1009485 |   444482 |    36379     23 |     6970 |        0
352.64/352.76	c  352s |      19 |  1017319 |   447182 |    36379     23 |     6971 |        0
354.64/354.77	c  354s |      19 |  1024093 |   450082 |    36379     23 |     6971 |        0
356.64/356.79	c  356s |      19 |  1027529 |   452882 |    36379     23 |     6971 |        0
358.74/358.84	c  358s |      19 |  1030776 |   455982 |    36379     24 |     6971 |        0
360.75/360.85	c  360s |      19 |  1033061 |   458182 |    36379     24 |     6971 |        0
362.84/362.90	c  362s |      19 |  1036574 |   460882 |    36379     24 |     6971 |        0
364.84/364.94	c  364s |      19 |  1043233 |   463682 |    36379     24 |     6971 |        0
366.84/366.97	c  366s |      19 |  1048498 |   466282 |    36379     24 |     6971 |        0
368.84/368.98	c  368s |      19 |  1052389 |   468282 |    36379     24 |     6971 |        0
371.04/371.11	c  370s |      19 |  1054212 |   469982 |    36379     24 |     6971 |        0
373.14/373.22	c  372s |      19 |  1055876 |   471582 |    36379     24 |     6971 |        0
375.24/375.35	c  374s |      19 |  1057412 |   473082 |    36379     24 |     6971 |        0
377.34/377.42	c  377s |      19 |  1059053 |   474582 |    36379     24 |     6971 |        0
379.54/379.63	c  379s |      19 |  1062152 |   476482 |    36379     25 |     6971 |        0
381.64/381.72	c  381s |      19 |  1066373 |   478582 |    36379     25 |     6971 |        0
383.73/383.80	c  383s |      19 |  1067986 |   479782 |    36379     25 |     6971 |        0
385.73/385.80	c  385s |      19 |  1071083 |   481882 |    36379     25 |     6971 |        0
387.73/387.83	c  387s |      19 |  1074604 |   484082 |    36379     25 |     6971 |        0
389.73/389.86	c  389s |      19 |  1078483 |   486382 |    36379     25 |     6971 |        0
391.73/391.89	c  391s |      19 |  1081853 |   488482 |    36379     25 |     6971 |        0
393.84/393.91	c  393s |      19 |  1085653 |   490582 |    36379     25 |     6971 |        0
395.83/395.93	c  395s |      19 |  1089030 |   492582 |    36379     25 |     6971 |        0
397.83/397.95	c  397s |      19 |  1092351 |   494482 |    36379     25 |     6971 |        0
399.93/400.03	c  399s |      19 |  1094281 |   495682 |    36379     25 |     6971 |        0
402.03/402.12	c  401s |      19 |  1095400 |   496682 |    36379     25 |     6971 |        0
404.03/404.17	c  403s |      19 |  1097686 |   497982 |    36379     25 |     6971 |        0
406.13/406.29	c  405s |      19 |  1100443 |   499282 |    36379     25 |     6971 |        0
408.43/408.53	c  408s |      19 |  1102132 |   500282 |    36379     26 |     6971 |        0
410.53/410.62	c  410s |      19 |  1105871 |   502182 |    36379     26 |     6971 |        0
412.63/412.75	c  412s |      19 |  1108924 |   503282 |    36379     26 |     6971 |        0
414.74/414.86	c  414s |      19 |  1111942 |   504782 |    36379     26 |     6971 |        0
416.83/416.91	c  416s |      19 |  1115150 |   506382 |    36379     26 |     6971 |        0
418.93/419.04	c  418s |      19 |  1116990 |   507982 |    36379     26 |     6971 |        0
421.03/421.11	c  420s |      19 |  1119537 |   509682 |    36379     26 |     6971 |        0
423.03/423.16	c  422s |      19 |  1122339 |   511782 |    36379     26 |     6971 |        0
425.13/425.21	c  424s |      19 |  1125207 |   513782 |    36379     26 |     6971 |        0
427.23/427.34	c  426s |      19 |  1127525 |   515182 |    36379     26 |     6971 |        0
429.33/429.41	c  429s |      19 |  1130444 |   517182 |    36379     26 |     6971 |        0
431.43/431.52	c  431s |      19 |  1134709 |   518982 |    36379     26 |     6971 |        0
433.43/433.54	c  433s |      19 |  1138102 |   520782 |    36379     26 |     6971 |        0
435.53/435.66	c  435s |      19 |  1141511 |   521982 |    36379     26 |     6971 |        0
437.83/437.94	c  437s |      19 |  1144891 |   523382 |    36379     27 |     6971 |        0
439.82/439.97	c  439s |      19 |  1149957 |   525182 |    36379     27 |     6971 |        0
441.92/442.00	c  441s |      19 |  1154291 |   527182 |    36379     27 |     6971 |        0
443.92/444.08	c  443s |      19 |  1157635 |   529382 |    36379     27 |     6971 |        0
445.92/446.09	c  445s |      19 |  1160995 |   531382 |    36379     27 |     6971 |        0
448.02/448.13	c  447s |      19 |  1163866 |   533482 |    36379     27 |     6971 |        0
450.12/450.22	c  449s |      19 |  1167428 |   535582 |    36379     27 |     6971 |        0
452.22/452.32	c  451s |      19 |  1171628 |   537082 |    36379     27 |     6971 |        0
454.33/454.43	c  454s |      19 |  1175158 |   538582 |    36379     27 |     6971 |        0
456.32/456.49	c  456s |      19 |  1178199 |   540582 |    36379     27 |     6971 |        0
458.42/458.51	c  458s |      19 |  1180459 |   542182 |    36379     27 |     6971 |        0
460.42/460.58	c  460s |      19 |  1182541 |   543882 |    36379     27 |     6971 |        0
462.52/462.63	c  462s |      19 |  1185070 |   545682 |    36379     28 |     6971 |        0
464.52/464.66	c  464s |      19 |  1187559 |   547582 |    36379     28 |     6971 |        0
466.62/466.70	c  466s |      19 |  1190496 |   549582 |    36379     28 |     6971 |        0
468.63/468.74	c  468s |      19 |  1193589 |   551382 |    36379     28 |     6971 |        0
470.62/470.77	c  470s |      19 |  1196849 |   553382 |    36379     28 |     6971 |        0
472.72/472.82	c  472s |      19 |  1198895 |   554982 |    36379     28 |     6971 |        0
474.82/474.90	c  474s |      19 |  1201165 |   556482 |    36379     28 |     6971 |        0
476.82/476.91	c  476s |      19 |  1203039 |   557782 |    36379     28 |     6971 |        0
478.92/479.01	c  478s |      19 |  1204795 |   558782 |    36379     28 |     6971 |        0
480.91/481.04	c  480s |      19 |  1213309 |   561082 |    36379     28 |     6973 |        0
482.92/483.05	c  482s |      19 |  1223558 |   568382 |    36379     29 |     6973 |        0
484.91/485.06	c  484s |      19 |  1228741 |   573382 |    36379     29 |     6973 |        0
486.91/487.07	c  486s |      19 |  1233113 |   577282 |    36379     29 |     6973 |        0
489.01/489.10	c  488s |      19 |  1237609 |   581282 |    36379     29 |     6973 |        0
491.01/491.10	c  490s |      19 |  1241583 |   584982 |    36379     29 |     6973 |        0
493.01/493.13	c  492s |      19 |  1247215 |   588382 |    36379     29 |     6973 |        0
495.02/495.13	c  494s |      19 |  1250030 |   590982 |    36379     30 |     6973 |        0
497.01/497.20	c  496s |      19 |  1253409 |   594082 |    36379     30 |     6973 |        0
499.11/499.21	c  498s |      19 |  1256688 |   596982 |    36379     30 |     6973 |        0
501.11/501.23	c  500s |      19 |  1260101 |   600082 |    36379     30 |     6973 |        0
503.11/503.29	c  502s |      19 |  1263079 |   602382 |    36379     30 |     6973 |        0
505.21/505.39	c  505s |      19 |  1264938 |   604082 |    36379     30 |     6973 |        0
507.31/507.42	c  507s |      19 |  1266871 |   605882 |    36379     30 |     6973 |        0
509.32/509.46	c  509s |      19 |  1269241 |   607982 |    36379     30 |     6973 |        0
511.42/511.52	c  511s |      19 |  1271246 |   609882 |    36379     30 |     6973 |        0
513.51/513.62	c  513s |      19 |  1272742 |   611282 |    36379     30 |     6973 |        0
515.61/515.79	c  515s |      19 |  1274187 |   612582 |    36379     31 |     6973 |        0
517.81/517.93	c  517s |      19 |  1276152 |   614382 |    36379     31 |     6973 |        0
540.01/540.14	c  539s |      19 |  1277008 |   615182 |    36379     31 |     6973 |        0
542.10/542.23	c  541s |      19 |  1280032 |   617982 |    36379     31 |     6973 |        0
544.10/544.29	c  543s |      19 |  1283268 |   620982 |    36379     31 |     6973 |        0
546.10/546.29	c  545s |      19 |  1286266 |   623782 |    36379     31 |     6973 |        0
548.20/548.34	c  547s |      19 |  1289087 |   626382 |    36379     31 |     6973 |        0
550.20/550.35	c  549s |      19 |  1291723 |   628782 |    36379     31 |     6973 |        0
552.30/552.46	c  552s |      19 |  1294188 |   631082 |    36379     31 |     6973 |        0
554.31/554.50	c  554s |      19 |  1296209 |   632982 |    36379     31 |     6973 |        0
556.40/556.52	c  556s |      19 |  1298261 |   634882 |    36379     31 |     6973 |        0
561.20/561.30	c  560s |      19 |  1298580 |   635182 |    36379     32 |     6973 |        0
599.99/600.10	c  599s |      19 |  1298802 |   635382 |    36379     32 |     6973 |        0
602.00/602.20	c  601s |      19 |  1301807 |   638182 |    36379     32 |     6973 |        0
604.10/604.23	c  603s |      19 |  1304381 |   640582 |    36379     32 |     6973 |        0
606.20/606.32	c  605s |      19 |  1307533 |   643482 |    36379     32 |     6973 |        0
608.21/608.40	c  608s |      19 |  1311301 |   646282 |    36379     32 |     6973 |        0
610.50/610.67	c  610s |      19 |  1312430 |   646682 |    36379     32 |     6973 |        0
612.60/612.77	c  612s |      19 |  1313404 |   647582 |    36379     32 |     6973 |        0
614.70/614.87	c  614s |      19 |  1314945 |   648982 |    36379     32 |     6973 |        0
616.80/616.97	c  616s |      19 |  1316795 |   650682 |    36379     32 |     6973 |        0
618.99/619.13	c  618s |      19 |  1318284 |   652082 |    36379     32 |     6973 |        0
620.99/621.14	c  620s |      19 |  1319349 |   653082 |    36379     32 |     6973 |        0
622.99/623.15	c  622s |      19 |  1321586 |   654782 |    36379     32 |     6973 |        0
624.99/625.19	c  624s |      19 |  1322900 |   655982 |    36379     32 |     6973 |        0
627.09/627.27	c  626s |      19 |  1324087 |   657082 |    36379     32 |     6973 |        0
676.97/677.14	c  676s |      19 |  1324637 |   657582 |    36379     33 |     6973 |        0
679.87/680.02	c  679s |      19 |  1325629 |   658082 |    36379     33 |     6973 |        0
681.87/682.07	c  681s |      19 |  1331084 |   661382 |    36379     33 |     6973 |        0
683.97/684.10	c  683s |      19 |  1334471 |   664082 |    40017     33 |     6973 |        0
685.56/685.75	c  685s |      20 |  1340736 |   666827 |    40017     33 |     6973 |        0
687.66/687.81	c  687s |      20 |  1347427 |   669727 |    40017     33 |     6974 |        0
689.76/689.90	c  689s |      20 |  1349882 |   672127 |    40017     33 |     6974 |        0
691.76/691.94	c  691s |      20 |  1352032 |   673927 |    40017     33 |     6974 |        0
693.96/694.13	c  693s |      20 |  1353939 |   675227 |    40017     33 |     6974 |        0
696.06/696.24	c  695s |      20 |  1355515 |   676627 |    40017     33 |     6974 |        0
698.15/698.32	c  697s |      20 |  1357456 |   678527 |    40017     33 |     6974 |        0
700.25/700.44	c  700s |      20 |  1359131 |   680127 |    40017     33 |     6974 |        0
702.45/702.60	c  702s |      20 |  1361009 |   681927 |    40017     33 |     6974 |        0
706.76/706.93	c  706s |      20 |  1361447 |   682327 |    40017     34 |     6974 |        0
709.55/709.77	c  709s |      20 |  1363189 |   684027 |    40017     34 |     6974 |        0
711.66/711.86	c  711s |      20 |  1364847 |   685627 |    40017     34 |     6974 |        0
713.65/713.90	c  713s |      20 |  1367460 |   688027 |    40017     34 |     6974 |        0
715.75/715.93	c  715s |      20 |  1369880 |   690327 |    40017     34 |     6974 |        0
717.84/718.01	c  717s |      20 |  1371462 |   691827 |    40017     34 |     6974 |        0
719.84/720.03	c  719s |      20 |  1373102 |   693427 |    40017     34 |     6974 |        0
721.84/722.06	c  721s |      20 |  1374742 |   695027 |    40017     34 |     6974 |        0
723.94/724.15	c  723s |      20 |  1376838 |   697027 |    40017     34 |     6974 |        0
726.04/726.21	c  725s |      20 |  1379017 |   699127 |    40017     34 |     6974 |        0
728.75/728.93	c  728s |      20 |  1380289 |   700327 |    40017     34 |     6974 |        0
730.75/730.96	c  730s |      20 |  1381776 |   701727 |    40017     34 |     6974 |        0
732.75/732.99	c  732s |      20 |  1383215 |   703127 |    40017     34 |     6974 |        0
734.85/735.02	c  734s |      20 |  1384837 |   704727 |    40017     34 |     6974 |        0
736.95/737.11	c  736s |      20 |  1385785 |   705627 |    40017     35 |     6974 |        0
739.15/739.34	c  738s |      20 |  1386205 |   706027 |    40017     35 |     6974 |        0
742.35/742.57	c  742s |      20 |  1387244 |   707027 |    40017     35 |     6974 |        0
744.94/745.18	c  744s |      20 |  1389474 |   708827 |    40017     35 |     6974 |        0
747.14/747.30	c  746s |      20 |  1391813 |   710227 |    40017     35 |     6974 |        0
749.14/749.33	c  748s |      20 |  1394323 |   711727 |    40017     35 |     6974 |        0
751.25/751.45	c  751s |      20 |  1396393 |   713027 |    40017     35 |     6974 |        0
753.35/753.56	c  753s |      20 |  1398375 |   714327 |    40017     35 |     6974 |        0
755.44/755.66	c  755s |      20 |  1400280 |   715527 |    40017     35 |     6974 |        0
757.43/757.69	c  757s |      20 |  1404284 |   718927 |    40017     35 |     6974 |        0
759.53/759.70	c  759s |      20 |  1407089 |   721427 |    40017     35 |     6974 |        0
761.53/761.73	c  761s |      20 |  1409323 |   723327 |    40017     35 |     6974 |        0
763.53/763.76	c  763s |      20 |  1411644 |   725427 |    40017     35 |     6974 |        0
765.54/765.76	c  765s |      20 |  1415105 |   727327 |    40017     35 |     6974 |        0
767.53/767.79	c  767s |      20 |  1420683 |   729327 |    40017     36 |     6974 |        0
769.63/769.82	c  769s |      20 |  1431460 |   732927 |    40017     36 |     6974 |        0
771.63/771.86	c  771s |      20 |  1443785 |   737227 |    40017     36 |     6974 |        0
773.73/773.94	c  773s |      20 |  1448066 |   738827 |    40017     36 |     6974 |        0
775.83/776.05	c  775s |      20 |  1455085 |   741427 |    40017     36 |     6974 |        0
777.83/778.05	c  777s |      20 |  1459128 |   744727 |    40017     36 |     6974 |        0
789.13/789.34	c  788s |      20 |  1459405 |   744927 |    40017     36 |     6974 |        0
791.13/791.39	c  791s |      20 |  1462077 |   747527 |    40017     36 |     6974 |        0
793.23/793.42	c  793s |      20 |  1465184 |   750327 |    40017     36 |     6974 |        0
795.93/796.19	c  795s |      20 |  1467600 |   752727 |    40017     37 |     6974 |        0
798.02/798.21	c  797s |      20 |  1473156 |   756127 |    40017     37 |     6974 |        0
800.02/800.23	c  799s |      20 |  1482314 |   759727 |    40017     37 |     6974 |        0
802.03/802.29	c  801s |      20 |  1489726 |   763027 |    40017     37 |     6974 |        0
804.13/804.38	c  803s |      20 |  1492638 |   765627 |    40017     37 |     6974 |        0
806.24/806.43	c  806s |      20 |  1495287 |   768027 |    40017     37 |     6974 |        0
808.23/808.44	c  808s |      20 |  1497640 |   770227 |    40017     37 |     6974 |        0
810.33/810.53	c  810s |      20 |  1499662 |   772127 |    40017     37 |     6974 |        0
812.33/812.54	c  812s |      20 |  1501302 |   773627 |    40017     37 |     6974 |        0
814.42/814.62	c  814s |      20 |  1502969 |   775227 |    40017     37 |     6974 |        0
816.92/817.15	c  816s |      20 |  1504135 |   776327 |    40017     38 |     6974 |        0
819.02/819.21	c  818s |      20 |  1506399 |   778427 |    40017     38 |     6974 |        0
821.12/821.30	c  820s |      20 |  1508998 |   780927 |    40017     38 |     6974 |        0
823.92/824.11	c  823s |      20 |  1511417 |   783127 |    40017     38 |     6974 |        0
825.93/826.16	c  825s |      20 |  1512541 |   784227 |    40017     38 |     6974 |        0
828.02/828.23	c  827s |      20 |  1513915 |   785527 |    40017     38 |     6974 |        0
830.02/830.25	c  829s |      20 |  1515868 |   787427 |    40017     38 |     6974 |        0
832.02/832.25	c  831s |      20 |  1517907 |   789227 |    40017     38 |     6974 |        0
834.12/834.38	c  833s |      20 |  1519247 |   790527 |    40017     38 |     6974 |        0
836.22/836.48	c  836s |      20 |  1521056 |   792227 |    40017     38 |     6974 |        0
838.32/838.57	c  838s |      20 |  1522862 |   793927 |    40017     38 |     6974 |        0
840.42/840.64	c  840s |      20 |  1524486 |   795527 |    40017     38 |     6974 |        0
842.42/842.69	c  842s |      20 |  1526341 |   797227 |    40017     38 |     6974 |        0
844.52/844.75	c  844s |      20 |  1528237 |   798727 |    40017     38 |     6974 |        0
847.81/848.05	c  847s |      20 |  1529699 |   799927 |    40017     39 |     6974 |        0
858.21/858.40	c  858s |      20 |  1530394 |   800527 |    40017     39 |     6974 |        0
860.21/860.41	c  860s |      20 |  1533193 |   802827 |    40017     39 |     6974 |        0
862.22/862.49	c  862s |      20 |  1535753 |   805027 |    40017     39 |     6974 |        0
864.31/864.55	c  864s |      20 |  1537679 |   806827 |    40017     39 |     6974 |        0
866.41/866.65	c  866s |      20 |  1539790 |   808827 |    40017     39 |     6974 |        0
868.40/868.68	c  868s |      20 |  1541646 |   810627 |    40017     39 |     6974 |        0
870.50/870.72	c  870s |      20 |  1543127 |   812027 |    40017     39 |     6974 |        0
872.50/872.76	c  872s |      20 |  1544842 |   813627 |    40017     39 |     6974 |        0
874.50/874.77	c  874s |      20 |  1546279 |   815027 |    40017     39 |     6974 |        0
876.61/876.83	c  876s |      20 |  1547927 |   816627 |    40017     39 |     6974 |        0
878.71/878.93	c  878s |      20 |  1549456 |   818127 |    40017     39 |     6974 |        0
881.01/881.26	c  880s |      20 |  1550890 |   819527 |    40017     39 |     6974 |        0
883.10/883.32	c  882s |      20 |  1551922 |   820527 |    40017     39 |     6974 |        0
885.10/885.38	c  884s |      20 |  1553149 |   821727 |    40017     39 |     6974 |        0
887.29/887.51	c  887s |      20 |  1554386 |   822927 |    40017     39 |     6974 |        0
889.60/889.86	c  889s |      20 |  1554896 |   823427 |    40017     40 |     6974 |        0
891.70/891.95	c  891s |      20 |  1556854 |   825327 |    40017     40 |     6974 |        0
895.69/895.96	c  895s |      20 |  1557881 |   826327 |    40017     40 |     6974 |        0
897.69/897.99	c  897s |      20 |  1569196 |   830227 |    40017     40 |     6974 |        0
899.79/900.00	c  899s |      20 |  1574846 |   833127 |    40017     40 |     6974 |        0
901.80/902.09	c  901s |      20 |  1579030 |   836027 |    40017     40 |     6974 |        0
903.89/904.17	c  903s |      20 |  1581609 |   838327 |    40017     40 |     6974 |        0
905.99/906.26	c  905s |      20 |  1583279 |   839927 |    40017     40 |     6974 |        0
907.98/908.26	c  907s |      20 |  1585977 |   841927 |    40017     40 |     6974 |        0
910.08/910.33	c  909s |      20 |  1590585 |   844127 |    40017     40 |     6974 |        0
912.18/912.46	c  912s |      20 |  1592572 |   845727 |    40017     40 |     6974 |        0
915.98/916.24	c  915s |      20 |  1594038 |   847027 |    40017     41 |     6974 |        0
918.38/918.61	c  918s |      20 |  1596429 |   848327 |    40017     41 |     6974 |        0
920.38/920.63	c  920s |      20 |  1600740 |   851427 |    40017     41 |     6974 |        0
922.38/922.64	c  922s |      20 |  1606493 |   854227 |    40017     41 |     6974 |        0
930.68/930.97	c  930s |      20 |  1609945 |   855327 |    40017     41 |     6974 |        0
932.69/932.98	c  932s |      20 |  1612428 |   857627 |    40017     41 |     6974 |        0
934.68/935.00	c  934s |      20 |  1616012 |   860927 |    40017     41 |     6974 |        0
936.78/937.00	c  936s |      20 |  1619095 |   863727 |    40017     41 |     6974 |        0
938.78/939.05	c  938s |      20 |  1621565 |   866127 |    40017     41 |     6974 |        0
940.88/941.16	c  940s |      20 |  1623693 |   868127 |    40017     41 |     6974 |        0
942.98/943.21	c  942s |      20 |  1626060 |   870227 |    40017     41 |     6974 |        0
945.08/945.34	c  944s |      20 |  1627311 |   871327 |    40017     42 |     6974 |        0
960.08/960.31	c  959s |      20 |  1627640 |   871627 |    40017     42 |     6974 |        0
962.07/962.32	c  961s |      20 |  1630956 |   874427 |    40017     42 |     6974 |        0
964.07/964.36	c  963s |      20 |  1634775 |   877727 |    40017     42 |     6974 |        0
966.17/966.42	c  966s |      20 |  1637981 |   880527 |    40017     42 |     6974 |        0
968.17/968.48	c  968s |      20 |  1640963 |   883127 |    40017     42 |     6974 |        0
970.26/970.54	c  970s |      20 |  1644710 |   886427 |    40017     42 |     6974 |        0
972.27/972.56	c  972s |      20 |  1647806 |   889227 |    40017     42 |     6974 |        0
974.37/974.64	c  974s |      20 |  1650383 |   891527 |    40017     42 |     6974 |        0
976.36/976.64	c  976s |      20 |  1652519 |   893427 |    40017     42 |     6974 |        0
981.27/981.54	c  981s |      20 |  1653286 |   894127 |    40017     43 |     6974 |        0
992.46/992.80	c  992s |      20 |  1658535 |   895827 |    40017     43 |     6974 |        0
994.56/994.86	c  994s |      20 |  1667476 |   899827 |    40017     43 |     6974 |        0
996.56/996.89	c  996s |      20 |  1670789 |   902627 |    40017     43 |     6974 |        0
998.66/998.94	c  998s |      20 |  1674701 |   906027 |    40017     43 |     6974 |        0
1000.65/1000.96	c 1000s |      20 |  1678207 |   909027 |    40017     43 |     6974 |        0
1002.75/1003.03	c 1002s |      20 |  1682861 |   911427 |    40017     43 |     6974 |        0
1006.75/1007.07	c 1006s |      20 |  1692338 |   914627 |    40017     43 |     6974 |        0
1008.86/1009.17	c 1008s |      20 |  1694569 |   916127 |    40017     43 |     6974 |        0
1011.16/1011.42	c 1011s |      20 |  1697043 |   917627 |    40017     44 |     6974 |        0
1013.16/1013.44	c 1013s |      20 |  1698014 |   918227 |    40017     44 |     6974 |        0
1018.85/1019.16	c 1018s |      20 |  1700731 |   919727 |    40017     44 |     6974 |        0
1020.85/1021.16	c 1020s |      20 |  1706988 |   922827 |    40017     44 |     6974 |        0
1022.95/1023.20	c 1022s |      20 |  1712887 |   925927 |    40017     44 |     6974 |        0
1024.96/1025.21	c 1024s |      20 |  1716918 |   928627 |    40017     44 |     6974 |        0
1026.95/1027.22	c 1026s |      20 |  1721110 |   931427 |    40017     44 |     6974 |        0
1028.94/1029.23	c 1028s |      20 |  1724822 |   933727 |    40017     44 |     6974 |        0
1030.94/1031.24	c 1030s |      20 |  1727438 |   935527 |    40017     44 |     6974 |        0
1032.94/1033.26	c 1032s |      20 |  1731090 |   937827 |    40017     44 |     6974 |        0
1034.95/1035.28	c 1034s |      20 |  1733775 |   939627 |    40017     44 |     6974 |        0
1037.64/1037.96	c 1037s |      20 |  1736138 |   941227 |    40017     45 |     6974 |        0
1055.75/1056.10	c 1055s |      20 |  1739322 |   943127 |    40017     45 |     6974 |        0
1057.83/1058.16	c 1057s |      20 |  1746347 |   946027 |    40017     45 |     6974 |        0
1059.93/1060.21	c 1059s |      20 |  1752287 |   950027 |    40017     45 |     6974 |        0
1061.93/1062.23	c 1061s |      20 |  1755668 |   953327 |    40017     45 |     6974 |        0
1063.93/1064.28	c 1063s |      20 |  1759043 |   956027 |    40017     45 |     6974 |        0
1066.03/1066.36	c 1065s |      20 |  1763340 |   958727 |    40017     45 |     6974 |        0
1068.03/1068.36	c 1067s |      20 |  1766849 |   961127 |    40017     45 |     6974 |        0
1070.13/1070.45	c 1070s |      20 |  1770262 |   963327 |    40017     45 |     6974 |        0
1072.63/1072.91	c 1072s |      20 |  1772480 |   964827 |    40017     46 |     6974 |        0
1074.83/1075.12	c 1074s |      20 |  1773859 |   965727 |    40017     46 |     6974 |        0
1093.92/1094.25	c 1093s |      20 |  1777066 |   967827 |    40017     46 |     6974 |        0
1096.02/1096.30	c 1095s |      20 |  1783439 |   971627 |    40017     46 |     6974 |        0
1098.02/1098.34	c 1097s |      20 |  1789172 |   974927 |    40017     46 |     6974 |        0
1100.02/1100.35	c 1099s |      20 |  1794117 |   978127 |    40017     46 |     6974 |        0
1102.12/1102.42	c 1102s |      20 |  1798698 |   980827 |    40017     46 |     6974 |        0
1104.13/1104.48	c 1104s |      20 |  1801463 |   982627 |    40017     46 |     6974 |        0
1106.22/1106.51	c 1106s |      20 |  1805360 |   984827 |    40017     46 |     6974 |        0
1108.22/1108.57	c 1108s |      20 |  1809007 |   987227 |    40017     46 |     6974 |        0
1110.62/1110.97	c 1110s |      20 |  1810956 |   988527 |    40017     47 |     6974 |        0
1117.51/1117.86	c 1117s |      20 |  1811454 |   988827 |    40017     47 |     6974 |        0
1119.62/1119.90	c 1119s |      20 |  1816166 |   991727 |    40017     47 |     6974 |        0
1125.81/1126.14	c 1125s |      20 |  1817134 |   992227 |    40017     47 |     6974 |        0
1127.81/1128.19	c 1127s |      20 |  1822238 |   995127 |    44019     47 |     6974 |        0
1129.91/1130.26	c 1129s |      20 |  1826491 |   997627 |    44019     47 |     6974 |        0
1132.01/1132.31	c 1131s |      20 |  1830519 |  1000027 |    44019     47 |     6974 |        0
1132.21/1132.57	c 1132s |      21 |  1831061 |  1000345 |    44019     47 |     6974 |        0
1134.31/1134.63	c 1134s |      21 |  1837432 |  1003145 |    44019     47 |     6974 |        0
1136.31/1136.63	c 1136s |      21 |  1843879 |  1006045 |    44019     47 |     6974 |        0
1138.32/1138.64	c 1138s |      21 |  1848444 |  1008945 |    44019     47 |     6974 |        0
1140.31/1140.68	c 1140s |      21 |  1854680 |  1011345 |    44019     47 |     6974 |        0
1142.41/1142.71	c 1142s |      21 |  1859566 |  1013745 |    44019     47 |     6974 |        0
1144.41/1144.77	c 1144s |      21 |  1864293 |  1016145 |    44019     47 |     6974 |        0
1146.51/1146.80	c 1146s |      21 |  1868774 |  1018545 |    44019     48 |     6974 |        0
1148.51/1148.87	c 1148s |      21 |  1873681 |  1021245 |    44019     48 |     6974 |        0
1150.61/1150.96	c 1150s |      21 |  1877783 |  1023445 |    44019     48 |     6974 |        0
1152.70/1153.08	c 1152s |      21 |  1882377 |  1025645 |    44019     48 |     6974 |        0
1154.81/1155.13	c 1154s |      21 |  1886431 |  1027645 |    44019     48 |     6974 |        0
1156.80/1157.13	c 1156s |      21 |  1890195 |  1029545 |    44019     48 |     6974 |        0
1158.80/1159.16	c 1158s |      21 |  1894391 |  1031345 |    44019     48 |     6974 |        0
1160.80/1161.19	c 1160s |      21 |  1898092 |  1033245 |    44019     48 |     6974 |        0
1162.90/1163.22	c 1162s |      21 |  1902026 |  1036145 |    44019     48 |     6974 |        0
1164.90/1165.22	c 1164s |      21 |  1905302 |  1037745 |    44019     48 |     6974 |        0
1166.91/1167.24	c 1166s |      21 |  1907315 |  1039245 |    44019     48 |     6974 |        0
1169.00/1169.33	c 1168s |      21 |  1909718 |  1040645 |    44019     48 |     6974 |        0
1171.10/1171.44	c 1171s |      21 |  1911492 |  1042045 |    44019     48 |     6974 |        0
1173.10/1173.48	c 1173s |      21 |  1914384 |  1044545 |    44019     49 |     6974 |        0
1175.10/1175.49	c 1175s |      21 |  1919657 |  1046945 |    44019     49 |     6974 |        0
1177.19/1177.55	c 1177s |      21 |  1924833 |  1049345 |    44019     49 |     6974 |        0
1179.19/1179.56	c 1179s |      21 |  1927605 |  1051245 |    44019     49 |     6974 |        0
1181.39/1181.70	c 1181s |      21 |  1930718 |  1053245 |    44019     49 |     6974 |        0
1184.50/1184.87	c 1184s |      21 |  1933485 |  1054845 |    44019     49 |     6974 |        0
1186.60/1186.96	c 1186s |      21 |  1936048 |  1056045 |    44019     49 |     6974 |        0
1188.69/1189.07	c 1188s |      21 |  1938727 |  1057245 |    44019     49 |     6974 |        0
1192.59/1192.92	c 1192s |      21 |  1938863 |  1057345 |    44019     49 |     6974 |        0
1194.69/1195.04	c 1194s |      21 |  1940177 |  1058245 |    44019     49 |     6974 |        0
1196.79/1197.18	c 1196s |      21 |  1942355 |  1059845 |    44019     49 |     6974 |        0
1198.79/1199.18	c 1198s |      21 |  1945542 |  1061545 |    44019     49 |     6974 |        0
1200.79/1201.20	c 1200s |      21 |  1949731 |  1063245 |    44019     49 |     6974 |        0
1202.89/1203.24	c 1202s |      21 |  1953743 |  1065045 |    44019     49 |     6974 |        0
1204.99/1205.35	c 1204s |      21 |  1956097 |  1066545 |    44019     49 |     6974 |        0
1207.09/1207.42	c 1207s |      21 |  1958471 |  1067845 |    44019     49 |     6974 |        0
1209.18/1209.56	c 1209s |      21 |  1960713 |  1068945 |    44019     49 |     6974 |        0
1211.48/1211.86	c 1211s |      21 |  1962849 |  1069945 |    44019     50 |     6974 |        0
1215.29/1215.61	c 1215s |      21 |  1963435 |  1070245 |    44019     50 |     6974 |        0
1217.28/1217.66	c 1217s |      21 |  1966383 |  1071945 |    44019     50 |     6974 |        0
1219.38/1219.74	c 1219s |      21 |  1969926 |  1074445 |    44019     50 |     6974 |        0
1221.38/1221.79	c 1221s |      21 |  1974452 |  1076545 |    44019     50 |     6974 |        0
1223.48/1223.85	c 1223s |      21 |  1978933 |  1078645 |    44019     50 |     6974 |        0
1225.47/1225.87	c 1225s |      21 |  1982527 |  1080645 |    44019     50 |     6974 |        0
1227.57/1227.92	c 1227s |      21 |  1985557 |  1082345 |    44019     50 |     6974 |        0
1229.58/1229.95	c 1229s |      21 |  1989443 |  1084145 |    44019     50 |     6974 |        0
1231.57/1231.99	c 1231s |      21 |  2000988 |  1089345 |    44019     50 |     6974 |        0
1233.67/1234.03	c 1233s |      21 |  2006990 |  1092945 |    44019     50 |     6974 |        0
1235.67/1236.05	c 1235s |      21 |  2009848 |  1094545 |    44019     50 |     6974 |        0
1237.67/1238.05	c 1237s |      21 |  2012175 |  1095945 |    44019     50 |     6974 |        0
1239.78/1240.14	c 1239s |      21 |  2013103 |  1096445 |    44019     51 |     6974 |        0
1241.78/1242.15	c 1241s |      21 |  2015734 |  1098145 |    44019     51 |     6974 |        0
1243.78/1244.19	c 1243s |      21 |  2018706 |  1099945 |    44019     51 |     6974 |        0
1245.88/1246.23	c 1245s |      21 |  2020571 |  1101445 |    44019     51 |     6974 |        0
1247.88/1248.29	c 1247s |      21 |  2023700 |  1102945 |    44019     51 |     6974 |        0
1250.08/1250.40	c 1250s |      21 |  2027018 |  1104545 |    44019     51 |     6974 |        0
1252.17/1252.54	c 1252s |      21 |  2030021 |  1106045 |    44019     51 |     6974 |        0
1254.37/1254.74	c 1254s |      21 |  2032600 |  1107745 |    44019     51 |     6974 |        0
1256.37/1256.76	c 1256s |      21 |  2035522 |  1109445 |    44019     51 |     6974 |        0
1258.97/1259.33	c 1258s |      21 |  2038322 |  1110945 |    44019     51 |     6974 |        0
1260.97/1261.34	c 1260s |      21 |  2040546 |  1112445 |    44019     51 |     6974 |        0
1263.07/1263.42	c 1263s |      21 |  2042794 |  1114045 |    44019     51 |     6974 |        0
1265.07/1265.46	c 1265s |      21 |  2044611 |  1115345 |    44019     51 |     6974 |        0
1271.37/1271.73	c 1271s |      21 |  2046530 |  1116845 |    44019     51 |     6974 |        0
1273.36/1273.80	c 1273s |      21 |  2050546 |  1118545 |    44019     51 |     6974 |        0
1275.46/1275.88	c 1275s |      21 |  2054589 |  1120745 |    44019     51 |     6974 |        0
1277.56/1277.92	c 1277s |      21 |  2059082 |  1122545 |    44019     52 |     6974 |        0
1279.76/1280.13	c 1279s |      21 |  2059546 |  1122745 |    44019     52 |     6974 |        0
1282.57/1282.96	c 1282s |      21 |  2064826 |  1124645 |    44019     52 |     6974 |        0
1284.67/1285.04	c 1284s |      21 |  2070092 |  1126745 |    44019     52 |     6974 |        0
1286.77/1287.11	c 1286s |      21 |  2074519 |  1128545 |    44019     52 |     6974 |        0
1288.77/1289.14	c 1288s |      21 |  2079354 |  1130345 |    44019     52 |     6974 |        0
1290.86/1291.22	c 1290s |      21 |  2084313 |  1131845 |    44019     52 |     6974 |        0
1292.96/1293.33	c 1292s |      21 |  2089347 |  1133545 |    44019     52 |     6974 |        0
1294.96/1295.35	c 1294s |      21 |  2093458 |  1135245 |    44019     52 |     6974 |        0
1297.06/1297.48	c 1297s |      21 |  2098796 |  1136945 |    44019     52 |     6974 |        0
1299.16/1299.53	c 1299s |      21 |  2102888 |  1138545 |    44019     52 |     6974 |        0
1301.26/1301.61	c 1301s |      21 |  2106830 |  1140145 |    44019     52 |     6974 |        0
1303.27/1303.67	c 1303s |      21 |  2111449 |  1141745 |    44019     52 |     6974 |        0
1305.37/1305.74	c 1305s |      21 |  2115787 |  1143545 |    44019     52 |     6974 |        0
1307.46/1307.85	c 1307s |      21 |  2120075 |  1145545 |    44019     52 |     6974 |        0
1309.46/1309.89	c 1309s |      21 |  2124065 |  1147445 |    44019     52 |     6974 |        0
1312.56/1312.99	c 1312s |      21 |  2127215 |  1148545 |    44019     53 |     6974 |        0
1314.76/1315.12	c 1314s |      21 |  2128912 |  1149745 |    44019     53 |     6974 |        0
1316.76/1317.14	c 1316s |      21 |  2133032 |  1151745 |    44019     53 |     6974 |        0
1318.75/1319.18	c 1318s |      21 |  2136562 |  1153545 |    44019     53 |     6974 |        0
1320.86/1321.23	c 1320s |      21 |  2141333 |  1155745 |    44019     53 |     6974 |        0
1322.96/1323.33	c 1322s |      21 |  2146530 |  1157545 |    44019     53 |     6974 |        0
1324.95/1325.37	c 1324s |      21 |  2151305 |  1159445 |    44019     53 |     6974 |        0
1327.15/1327.52	c 1327s |      21 |  2154608 |  1161245 |    44019     53 |     6974 |        0
1329.15/1329.53	c 1329s |      21 |  2158273 |  1162745 |    44019     53 |     6974 |        0
1331.15/1331.54	c 1331s |      21 |  2161772 |  1164245 |    44019     53 |     6974 |        0
1333.25/1333.65	c 1333s |      21 |  2164212 |  1165645 |    44019     53 |     6974 |        0
1335.35/1335.73	c 1335s |      21 |  2166915 |  1167145 |    44019     53 |     6974 |        0
1337.45/1337.81	c 1337s |      21 |  2171435 |  1168645 |    44019     53 |     6974 |        0
1339.65/1340.05	c 1339s |      21 |  2173472 |  1170045 |    44019     53 |     6974 |        0
1341.76/1342.19	c 1341s |      21 |  2179036 |  1171545 |    44019     53 |     6974 |        0
1343.86/1344.29	c 1343s |      21 |  2182025 |  1172745 |    44019     53 |     6974 |        0
1345.95/1346.33	c 1345s |      21 |  2185291 |  1173845 |    44019     53 |     6974 |        0
1348.05/1348.47	c 1348s |      21 |  2188601 |  1174945 |    44019     54 |     6974 |        0
1350.45/1350.88	c 1350s |      21 |  2188999 |  1175045 |    44019     54 |     6974 |        0
1352.55/1352.98	c 1352s |      21 |  2193514 |  1176645 |    44019     54 |     6974 |        0
1357.25/1357.64	c 1357s |      21 |  2195767 |  1177545 |    44019     54 |     6974 |        0
1359.26/1359.64	c 1359s |      21 |  2214585 |  1185445 |    44019     54 |     6974 |        0
1361.25/1361.67	c 1361s |      21 |  2228787 |  1191245 |    44019     54 |     6974 |        0
1363.35/1363.71	c 1363s |      21 |  2239657 |  1196145 |    44019     54 |     6974 |        0
1365.35/1365.71	c 1365s |      21 |  2248138 |  1200445 |    44019     54 |     6974 |        0
1367.35/1367.74	c 1367s |      21 |  2255600 |  1203545 |    44019     55 |     6974 |        0
1369.35/1369.77	c 1369s |      21 |  2261022 |  1206245 |    44019     55 |     6974 |        0
1371.35/1371.78	c 1371s |      21 |  2266544 |  1209145 |    44019     55 |     6974 |        0
1373.45/1373.82	c 1373s |      21 |  2271461 |  1211945 |    44019     55 |     6974 |        0
1375.45/1375.88	c 1375s |      21 |  2276502 |  1214645 |    44019     55 |     6974 |        0
1377.45/1377.89	c 1377s |      21 |  2280044 |  1216945 |    44019     55 |     6974 |        0
1379.55/1379.93	c 1379s |      21 |  2284294 |  1219445 |    44019     55 |     6974 |        0
1381.55/1381.99	c 1381s |      21 |  2287900 |  1221745 |    44019     55 |     6974 |        0
1383.64/1384.05	c 1383s |      21 |  2292202 |  1223945 |    44019     55 |     6974 |        0
1385.75/1386.11	c 1385s |      21 |  2294903 |  1225745 |    44019     55 |     6974 |        0
1387.74/1388.15	c 1387s |      21 |  2298753 |  1227445 |    44019     56 |     6974 |        0
1389.74/1390.18	c 1389s |      21 |  2305663 |  1229945 |    44019     56 |     6974 |        0
1392.25/1392.69	c 1392s |      21 |  2308817 |  1231245 |    44019     56 |     6974 |        0
1394.34/1394.70	c 1394s |      21 |  2310056 |  1232345 |    44019     56 |     6974 |        0
1396.34/1396.75	c 1396s |      21 |  2313005 |  1234445 |    44019     56 |     6974 |        0
1398.34/1398.78	c 1398s |      21 |  2318541 |  1237345 |    44019     56 |     6974 |        0
1400.44/1400.81	c 1400s |      21 |  2329335 |  1241345 |    44019     56 |     6974 |        0
1402.44/1402.83	c 1402s |      21 |  2334669 |  1244745 |    44019     56 |     6974 |        0
1404.44/1404.83	c 1404s |      21 |  2339395 |  1247545 |    44019     56 |     6974 |        0
1406.44/1406.89	c 1406s |      21 |  2345183 |  1250745 |    44019     56 |     6974 |        0
1408.54/1408.98	c 1408s |      21 |  2349696 |  1253445 |    44019     57 |     6974 |        0
1410.84/1411.20	c 1410s |      21 |  2350395 |  1253945 |    44019     57 |     6974 |        0
1412.84/1413.22	c 1412s |      21 |  2353058 |  1255045 |    44019     57 |     6974 |        0
1414.84/1415.29	c 1414s |      21 |  2358410 |  1258045 |    44019     57 |     6974 |        0
1418.24/1418.64	c 1418s |      21 |  2362412 |  1260545 |    44019     57 |     6974 |        0
1420.64/1421.02	c 1420s |      21 |  2364014 |  1261645 |    44019     57 |     6974 |        0
1422.64/1423.09	c 1422s |      21 |  2370603 |  1264145 |    44019     57 |     6974 |        0
1425.64/1426.09	c 1425s |      21 |  2372456 |  1265145 |    44019     57 |     6974 |        0
1427.64/1428.09	c 1427s |      21 |  2376528 |  1268045 |    44019     57 |     6974 |        0
1429.94/1430.32	c 1429s |      21 |  2378034 |  1269245 |    44019     57 |     6974 |        0
1431.95/1432.36	c 1431s |      21 |  2384611 |  1271845 |    44019     57 |     6974 |        0
1433.94/1434.39	c 1433s |      21 |  2390767 |  1274445 |    44019     57 |     6974 |        0
1436.04/1436.40	c 1436s |      21 |  2394230 |  1276745 |    44019     57 |     6974 |        0
1438.04/1438.48	c 1438s |      21 |  2399503 |  1279245 |    44019     57 |     6974 |        0
1440.14/1440.55	c 1440s |      21 |  2403454 |  1281345 |    44019     58 |     6974 |        0
1442.14/1442.55	c 1442s |      21 |  2408516 |  1282745 |    44019     58 |     6974 |        0
1444.24/1444.60	c 1444s |      21 |  2413933 |  1284945 |    44019     58 |     6974 |        0
1446.24/1446.69	c 1446s |      21 |  2421323 |  1287445 |    44019     58 |     6974 |        0
1448.63/1449.05	c 1448s |      21 |  2425830 |  1289445 |    44019     58 |     6974 |        0
1450.64/1451.05	c 1450s |      21 |  2426108 |  1289645 |    44019     58 |     6974 |        0
1452.63/1453.09	c 1452s |      21 |  2432848 |  1292945 |    44019     58 |     6974 |        0
1454.63/1455.09	c 1454s |      21 |  2441903 |  1297545 |    44019     58 |     6974 |        0
1456.73/1457.13	c 1456s |      21 |  2450499 |  1301445 |    44019     58 |     6974 |        0
1458.73/1459.17	c 1458s |      21 |  2457371 |  1304845 |    44019     58 |     6974 |        0
1460.83/1461.25	c 1460s |      21 |  2462077 |  1306745 |    44019     59 |     6974 |        0
1462.83/1463.28	c 1462s |      21 |  2468306 |  1310545 |    44019     59 |     6974 |        0
1464.93/1465.33	c 1464s |      21 |  2473461 |  1312745 |    44019     59 |     6974 |        0
1466.93/1467.35	c 1466s |      21 |  2481216 |  1316145 |    44019     59 |     6974 |        0
1468.93/1469.37	c 1468s |      21 |  2486896 |  1318945 |    44019     59 |     6974 |        0
1471.03/1471.44	c 1471s |      21 |  2492199 |  1321945 |    44019     59 |     6974 |        0
1473.03/1473.47	c 1473s |      21 |  2498291 |  1324645 |    44019     59 |     6974 |        0
1475.03/1475.48	c 1475s |      21 |  2503970 |  1327745 |    44019     59 |     6974 |        0
1477.03/1477.49	c 1477s |      21 |  2510277 |  1330545 |    44019     59 |     6974 |        0
1479.23/1479.61	c 1479s |      21 |  2514067 |  1332445 |    44019     60 |     6974 |        0
1481.22/1481.65	c 1481s |      21 |  2520151 |  1335145 |    44019     60 |     6974 |        0
1483.22/1483.65	c 1483s |      21 |  2525634 |  1338545 |    44019     60 |     6974 |        0
1485.22/1485.67	c 1485s |      21 |  2535107 |  1343045 |    44019     60 |     6974 |        0
1487.22/1487.69	c 1487s |      21 |  2542859 |  1346945 |    44019     60 |     6974 |        0
1489.32/1489.71	c 1489s |      21 |  2549954 |  1350245 |    44019     60 |     6974 |        0
1491.42/1491.82	c 1491s |      21 |  2553859 |  1352645 |    44019     60 |     6974 |        0
1493.43/1493.87	c 1493s |      21 |  2557395 |  1353945 |    44019     60 |     6974 |        0
1495.63/1496.01	c 1495s |      21 |  2561146 |  1355245 |    44019     60 |     6974 |        0
1497.62/1498.05	c 1497s |      21 |  2563157 |  1356545 |    44019     60 |     6974 |        0
1502.24/1502.62	c 1502s |      21 |  2565619 |  1357945 |    44019     61 |     6974 |        0
1504.23/1504.65	c 1504s |      21 |  2572700 |  1361445 |    44019     61 |     6974 |        0
1506.23/1506.66	c 1506s |      21 |  2579226 |  1364745 |    44019     61 |     6974 |        0
1508.33/1508.79	c 1508s |      21 |  2585302 |  1367745 |    44019     61 |     6974 |        0
1510.43/1510.80	c 1510s |      21 |  2590214 |  1370545 |    44019     61 |     6974 |        0
1512.53/1512.91	c 1512s |      21 |  2594687 |  1372945 |    44019     61 |     6974 |        0
1514.63/1515.00	c 1514s |      21 |  2600976 |  1375545 |    44019     61 |     6974 |        0
1516.63/1517.05	c 1516s |      21 |  2605413 |  1378045 |    44019     61 |     6974 |        0
1518.63/1519.09	c 1518s |      21 |  2609246 |  1380445 |    44019     61 |     6974 |        0
1520.72/1521.11	c 1520s |      21 |  2613734 |  1382845 |    44019     61 |     6974 |        0
1522.92/1523.36	c 1522s |      21 |  2617774 |  1384045 |    44019     62 |     6974 |        0
1524.92/1525.36	c 1524s |      21 |  2621831 |  1386045 |    44019     62 |     6974 |        0
1526.92/1527.36	c 1526s |      21 |  2626536 |  1389245 |    44019     62 |     6974 |        0
1528.92/1529.38	c 1528s |      21 |  2633608 |  1391545 |    44019     62 |     6974 |        0
1536.43/1536.86	c 1536s |      21 |  2633863 |  1391645 |    44019     62 |     6974 |        0
1538.42/1538.89	c 1538s |      21 |  2638981 |  1394145 |    44019     62 |     6974 |        0
1540.52/1540.95	c 1540s |      21 |  2643420 |  1396845 |    44019     62 |     6974 |        0
1542.52/1542.97	c 1542s |      21 |  2647725 |  1399445 |    44019     62 |     6974 |        0
1544.62/1545.06	c 1544s |      21 |  2654305 |  1402245 |    44019     62 |     6974 |        0
1546.62/1547.09	c 1546s |      21 |  2658026 |  1404245 |    44019     62 |     6974 |        0
1548.72/1549.13	c 1548s |      21 |  2661290 |  1406245 |    44019     62 |     6974 |        0
1550.82/1551.23	c 1550s |      21 |  2664487 |  1408245 |    44019     62 |     6974 |        0
1553.12/1553.54	c 1553s |      21 |  2667791 |  1410145 |    44019     63 |     6974 |        0
1555.12/1555.58	c 1555s |      21 |  2670036 |  1411345 |    44019     63 |     6974 |        0
1557.12/1557.58	c 1557s |      21 |  2675664 |  1414245 |    44019     63 |     6974 |        0
1560.52/1560.97	c 1560s |      21 |  2677034 |  1415145 |    44019     63 |     6974 |        0
1562.72/1563.18	c 1562s |      21 |  2678146 |  1416245 |    44019     63 |     6974 |        0
1565.41/1565.86	c 1565s |      21 |  2679853 |  1417545 |    44019     63 |     6974 |        0
1567.41/1567.87	c 1567s |      21 |  2686967 |  1421945 |    44019     63 |     6974 |        0
1569.42/1569.87	c 1569s |      21 |  2691683 |  1425245 |    44019     63 |     6974 |        0
1571.41/1571.89	c 1571s |      21 |  2693796 |  1427145 |    44019     63 |     6974 |        0
1573.51/1573.91	c 1573s |      21 |  2697288 |  1429545 |    44019     63 |     6974 |        0
1575.61/1576.01	c 1575s |      21 |  2699585 |  1431445 |    44019     63 |     6974 |        0
1588.01/1588.48	c 1588s |      21 |  2701017 |  1432545 |    44019     63 |     6974 |        0
1590.11/1590.56	c 1590s |      21 |  2701982 |  1433145 |    44019     63 |     6974 |        0
1592.31/1592.79	c 1592s |      21 |  2704905 |  1434345 |    44019     63 |     6974 |        0
1594.41/1594.80	c 1594s |      21 |  2707598 |  1435345 |    44019     63 |     6974 |        0
1598.01/1598.42	c 1598s |      21 |  2711706 |  1436345 |    44019     64 |     6974 |        0
1600.01/1600.46	c 1600s |      21 |  2714010 |  1437245 |    44019     64 |     6974 |        0
1602.01/1602.47	c 1602s |      21 |  2720405 |  1439445 |    44019     64 |     6974 |        0
1604.11/1604.52	c 1604s |      21 |  2729276 |  1442845 |    44019     64 |     6974 |        0
1606.11/1606.55	c 1606s |      21 |  2735482 |  1445745 |    44019     64 |     6974 |        0
1608.21/1608.61	c 1608s |      21 |  2741459 |  1448145 |    44019     64 |     6974 |        0
1610.21/1610.65	c 1610s |      21 |  2746296 |  1450545 |    44019     64 |     6974 |        0
1612.32/1612.71	c 1612s |      21 |  2753919 |  1453245 |    44019     64 |     6974 |        0
1614.31/1614.74	c 1614s |      21 |  2760842 |  1455745 |    44019     64 |     6974 |        0
1616.41/1616.82	c 1616s |      21 |  2768190 |  1457945 |    44019     64 |     6974 |        0
1618.41/1618.88	c 1618s |      21 |  2774632 |  1460245 |    44019     64 |     6974 |        0
1620.41/1620.88	c 1620s |      21 |  2781176 |  1462245 |    44019     64 |     6974 |        0
1624.80/1625.26	c 1624s |      21 |  2782262 |  1462545 |    44019     65 |     6974 |        0
1627.31/1627.72	c 1627s |      21 |  2782789 |  1462745 |    44019     65 |     6974 |        0
1629.31/1629.73	c 1629s |      21 |  2789861 |  1465745 |    44019     65 |     6974 |        0
1631.31/1631.77	c 1631s |      21 |  2797349 |  1468545 |    44019     65 |     6974 |        0
1633.41/1633.83	c 1633s |      21 |  2801708 |  1471045 |    44019     65 |     6974 |        0
1635.41/1635.88	c 1635s |      21 |  2806445 |  1473345 |    44019     65 |     6974 |        0
1637.51/1637.90	c 1637s |      21 |  2811049 |  1475645 |    44019     65 |     6974 |        0
1639.50/1639.94	c 1639s |      21 |  2819265 |  1478045 |    44019     65 |     6974 |        0
1641.50/1641.98	c 1641s |      21 |  2825253 |  1480445 |    44019     65 |     6974 |        0
1643.60/1644.05	c 1643s |      21 |  2829631 |  1482645 |    44019     65 |     6974 |        0
1645.60/1646.07	c 1645s |      21 |  2834138 |  1484845 |    44019     65 |     6974 |        0
1647.60/1648.09	c 1647s |      21 |  2837185 |  1486645 |    44019     65 |     6974 |        0
1649.71/1650.17	c 1649s |      21 |  2839867 |  1488645 |    44019     65 |     6974 |        0
1651.70/1652.18	c 1651s |      21 |  2842284 |  1489445 |    44019     66 |     6974 |        0
1653.80/1654.22	c 1653s |      21 |  2848043 |  1492145 |    48421     66 |     6974 |        0
1656.40/1656.86	c 1656s |      21 |  2850530 |  1494045 |    48421     66 |     6974 |        0
1658.41/1658.89	c 1658s |      21 |  2856209 |  1496745 |    48421     66 |     6974 |        0
1660.50/1660.94	c 1660s |      21 |  2862774 |  1499645 |    48421     66 |     6974 |        0
1661.10/1661.57	c 1661s |      22 |  2865604 |  1500622 |    48421     66 |     6974 |        0
1664.20/1664.60	c 1664s |      22 |  2865985 |  1500722 |    48421     66 |     6974 |        0
1668.70/1669.19	c 1668s |      22 |  2867890 |  1501422 |    48421     66 |     6974 |        0
1670.80/1671.23	c 1670s |      22 |  2872058 |  1502622 |    48421     66 |     6974 |        0
1672.80/1673.25	c 1672s |      22 |  2877836 |  1505822 |    48421     66 |     6974 |        0
1674.80/1675.27	c 1674s |      22 |  2884481 |  1508822 |    48421     66 |     6974 |        0
1676.80/1677.29	c 1676s |      22 |  2889260 |  1512122 |    48421     66 |     6974 |        0
1678.90/1679.33	c 1678s |      22 |  2893748 |  1515222 |    48421     66 |     6974 |        0
1681.00/1681.42	c 1681s |      22 |  2898479 |  1517622 |    48421     66 |     6974 |        0
1683.10/1683.53	c 1683s |      22 |  2904449 |  1519422 |    48421     66 |     6974 |        0
1685.09/1685.59	c 1685s |      22 |  2910588 |  1520922 |    48421     67 |     6974 |        0
1687.19/1687.63	c 1687s |      22 |  2917165 |  1523022 |    48421     67 |     6974 |        0
1689.20/1689.65	c 1689s |      22 |  2926757 |  1525522 |    48421     67 |     6974 |        0
1691.29/1691.71	c 1691s |      22 |  2936156 |  1527822 |    48421     67 |     6974 |        0
1693.29/1693.73	c 1693s |      22 |  2944408 |  1530122 |    48421     67 |     6974 |        0
1695.29/1695.73	c 1695s |      22 |  2952632 |  1532522 |    48421     67 |     6974 |        0
1697.29/1697.79	c 1697s |      22 |  2961259 |  1534622 |    48421     67 |     6974 |        0
1699.39/1699.81	c 1699s |      22 |  2966982 |  1536822 |    48421     67 |     6974 |        0
1701.40/1701.85	c 1701s |      22 |  2972353 |  1538922 |    48421     67 |     6974 |        0
1703.50/1703.91	c 1703s |      22 |  2977710 |  1540922 |    48421     67 |     6974 |        0
1705.49/1705.93	c 1705s |      22 |  2981232 |  1542622 |    48421     67 |     6974 |        0
1707.59/1708.00	c 1707s |      22 |  2985173 |  1544222 |    48421     67 |     6974 |        0
1709.59/1710.06	c 1709s |      22 |  2989169 |  1545822 |    48421     67 |     6974 |        0
1711.69/1712.13	c 1711s |      22 |  2993201 |  1547622 |    48421     67 |     6974 |        0
1713.79/1714.23	c 1713s |      22 |  2997613 |  1549422 |    48421     67 |     6974 |        0
1715.89/1716.38	c 1715s |      22 |  3000254 |  1550822 |    48421     68 |     6974 |        0
1717.99/1718.46	c 1718s |      22 |  3003277 |  1551922 |    48421     68 |     6974 |        0
1719.99/1720.46	c 1720s |      22 |  3006756 |  1553322 |    48421     68 |     6974 |        0
1722.09/1722.51	c 1722s |      22 |  3010349 |  1555022 |    48421     68 |     6974 |        0
1724.09/1724.53	c 1724s |      22 |  3014271 |  1556822 |    48421     68 |     6974 |        0
1726.18/1726.66	c 1726s |      22 |  3017431 |  1558622 |    48421     68 |     6974 |        0
1728.28/1728.77	c 1728s |      22 |  3021561 |  1560222 |    48421     68 |     6974 |        0
1730.38/1730.85	c 1730s |      22 |  3025793 |  1561722 |    48421     68 |     6974 |        0
1732.48/1732.92	c 1732s |      22 |  3029320 |  1563322 |    48421     68 |     6974 |        0
1734.58/1735.03	c 1734s |      22 |  3032092 |  1564922 |    48421     68 |     6974 |        0
1736.59/1737.05	c 1736s |      22 |  3035704 |  1566222 |    48421     68 |     6974 |        0
1738.69/1739.12	c 1738s |      22 |  3038398 |  1567622 |    48421     68 |     6974 |        0
1740.78/1741.21	c 1740s |      22 |  3040993 |  1569022 |    48421     68 |     6974 |        0
1742.78/1743.27	c 1742s |      22 |  3044073 |  1570422 |    48421     68 |     6974 |        0
1744.88/1745.32	c 1744s |      22 |  3046904 |  1571622 |    48421     68 |     6974 |        0
1746.98/1747.41	c 1747s |      22 |  3049446 |  1572922 |    48421     68 |     6974 |        0
1749.08/1749.51	c 1749s |      22 |  3051967 |  1574022 |    48421     68 |     6974 |        0
1751.18/1751.63	c 1751s |      22 |  3054330 |  1575222 |    48421     68 |     6974 |        0
1753.18/1753.69	c 1753s |      22 |  3056863 |  1576322 |    48421     68 |     6974 |        0
1755.38/1755.83	c 1755s |      22 |  3060597 |  1577322 |    48421     68 |     6974 |        0
1757.49/1757.97	c 1757s |      22 |  3063227 |  1578422 |    48421     68 |     6974 |        0
1759.48/1759.99	c 1759s |      22 |  3064479 |  1579022 |    48421     69 |     6974 |        0
1761.59/1762.04	c 1761s |      22 |  3066290 |  1579922 |    48421     69 |     6974 |        0
1763.59/1764.09	c 1763s |      22 |  3069352 |  1581622 |    48421     69 |     6974 |        0
1767.29/1767.72	c 1767s |      22 |  3072160 |  1583122 |    48421     69 |     6974 |        0
1769.38/1769.85	c 1769s |      22 |  3076353 |  1584722 |    48421     69 |     6974 |        0
1771.48/1771.94	c 1771s |      22 |  3082523 |  1586322 |    48421     69 |     6974 |        0
1773.58/1774.03	c 1773s |      22 |  3086544 |  1587922 |    48421     69 |     6974 |        0
1775.58/1776.05	c 1775s |      22 |  3089418 |  1589522 |    48421     69 |     6974 |        0
1777.68/1778.12	c 1777s |      22 |  3095533 |  1591422 |    48421     69 |     6974 |        0
1779.78/1780.20	c 1779s |      22 |  3102275 |  1593322 |    48421     69 |     6974 |        0
1781.88/1782.35	c 1781s |      22 |  3105999 |  1594822 |    48421     69 |     6974 |        0
1783.88/1784.35	c 1783s |      22 |  3109751 |  1596122 |    48421     69 |     6974 |        0
1785.98/1786.43	c 1786s |      22 |  3114250 |  1597722 |    48421     69 |     6974 |        0
1788.08/1788.57	c 1788s |      22 |  3116781 |  1598922 |    48421     69 |     6974 |        0
1790.18/1790.61	c 1790s |      22 |  3119393 |  1600122 |    48421     69 |     6974 |        0
1792.18/1792.66	c 1792s |      22 |  3123622 |  1601322 |    48421     69 |     6974 |        0
1794.28/1794.76	c 1794s |      22 |  3126460 |  1602522 |    48421     69 |     6974 |        0
1796.38/1796.86	c 1796s |      22 |  3128933 |  1603722 |    48421     69 |     6974 |        0
1798.57/1799.01	c 1798s |      22 |  3132681 |  1605022 |    48421     69 |     6974 |        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-4101801-1466227754/watcher-4101801-1466227754 -o /tmp/evaluation-result-4101801-1466227754/solver-4101801-1466227754 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-12999 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101801-1466227754.opb 

pid=15910
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.17 2.18 2.18 3/178 15913
/proc/meminfo: memFree=29345260/32872528 swapFree=1286400/1433568
[pid=15913] ppid=15910 vsize=598596 CPUtime=0 cores=0,2,4,6
/proc/15913/stat : 15913 (toysat) R 15910 15913 12983 0 -1 4202496 2211 0 0 0 0 0 0 0 20 0 4 0 24822191 612962304 2573 33554432000 4194304 16246674 140736908536128 140736908535552 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15913/statm: 150161 2578 442 2943 0 147055 0
[pid=15913/tid=15914] ppid=15910 vsize=616004 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15914/stat : 15914 (toysat) S 15910 15913 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822191 630788096 2638 33554432000 4194304 16246674 140736908536128 140376506608880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15913/tid=15915] ppid=15910 vsize=620100 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15915/stat : 15915 (toysat) S 15910 15913 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822191 634982400 2656 33554432000 4194304 16246674 140736908536128 140376496119024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15913/tid=15916] ppid=15910 vsize=624196 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15916/stat : 15916 (toysat) S 15910 15913 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24822191 639176704 2672 33554432000 4194304 16246674 140736908536128 140376375553200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.17 2.18 2.18 3/178 15913
/proc/meminfo: memFree=29345260/32872528 swapFree=1286400/1433568
[pid=15913] ppid=15910 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/15913/stat : 15913 (toysat) R 15910 15913 12983 0 -1 4202496 28474 0 0 0 5 4 0 0 20 0 4 0 24822191 1333334016 28774 33554432000 4194304 16246674 140736908536128 140736908535440 7377409 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15913/statm: 325521 28790 802 2943 0 322415 0
[pid=15913/tid=15914] ppid=15910 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15914/stat : 15914 (toysat) S 15910 15913 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822191 1333334016 28801 33554432000 4194304 16246674 140736908536128 140376506608880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15913/tid=15915] ppid=15910 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15915/stat : 15915 (toysat) S 15910 15913 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822191 1333334016 28812 33554432000 4194304 16246674 140736908536128 140376496119024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15913/tid=15916] ppid=15910 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15916/stat : 15916 (toysat) S 15910 15913 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24822191 1333334016 28823 33554432000 4194304 16246674 140736908536128 140376375553200 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) 1302084

[startup+0.200512 s]
/proc/loadavg: 2.17 2.18 2.18 3/178 15913
/proc/meminfo: memFree=29345260/32872528 swapFree=1286400/1433568
[pid=15913] ppid=15910 vsize=1309252 CPUtime=0.19 cores=0,2,4,6
/proc/15913/stat : 15913 (toysat) R 15910 15913 12983 0 -1 4202496 45157 0 0 0 13 6 0 0 20 0 4 0 24822191 1340674048 45456 33554432000 4194304 16246674 140736908536128 140736908535440 13774094 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15913/statm: 327313 45456 844 2943 0 324207 0
[pid=15913/tid=15914] ppid=15910 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15914/stat : 15914 (toysat) S 15910 15913 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822191 1340674048 45456 33554432000 4194304 16246674 140736908536128 140376506608880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15913/tid=15915] ppid=15910 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15915/stat : 15915 (toysat) S 15910 15913 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822191 1340674048 45456 33554432000 4194304 16246674 140736908536128 140376496119024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15913/tid=15916] ppid=15910 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15916/stat : 15916 (toysat) S 15910 15913 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24822191 1340674048 45456 33554432000 4194304 16246674 140736908536128 140376375553200 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) 1309252

[startup+0.300493 s]
/proc/loadavg: 2.17 2.18 2.18 3/178 15913
/proc/meminfo: memFree=29345260/32872528 swapFree=1286400/1433568
[pid=15913] ppid=15910 vsize=1309252 CPUtime=0.29 cores=0,2,4,6
/proc/15913/stat : 15913 (toysat) R 15910 15913 12983 0 -1 4202496 61752 0 0 0 20 9 0 0 20 0 4 0 24822191 1340674048 62051 33554432000 4194304 16246674 140736908536128 140736908535440 5653837 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15913/statm: 327313 62062 844 2943 0 324207 0
[pid=15913/tid=15914] ppid=15910 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15914/stat : 15914 (toysat) S 15910 15913 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822191 1340674048 62069 33554432000 4194304 16246674 140736908536128 140376506608880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15913/tid=15915] ppid=15910 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15915/stat : 15915 (toysat) S 15910 15913 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822191 1340674048 62076 33554432000 4194304 16246674 140736908536128 140376496119024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15913/tid=15916] ppid=15910 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15916/stat : 15916 (toysat) S 15910 15913 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24822191 1340674048 62081 33554432000 4194304 16246674 140736908536128 140376375553200 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) 1309252

[startup+0.700403 s]
/proc/loadavg: 2.17 2.18 2.18 3/178 15913
/proc/meminfo: memFree=29345260/32872528 swapFree=1286400/1433568
[pid=15913] ppid=15910 vsize=1325636 CPUtime=0.68 cores=0,2,4,6
/proc/15913/stat : 15913 (toysat) R 15910 15913 12983 0 -1 4202496 71534 0 0 0 59 9 0 0 20 0 4 0 24822191 1357451264 71833 33554432000 4194304 16246674 140736908536128 140736908535440 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15913/statm: 331409 71839 890 2943 0 328303 0
[pid=15913/tid=15914] ppid=15910 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15914/stat : 15914 (toysat) S 15910 15913 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822191 1357451264 71843 33554432000 4194304 16246674 140736908536128 140376506608880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15913/tid=15915] ppid=15910 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15915/stat : 15915 (toysat) S 15910 15913 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822191 1357451264 71847 33554432000 4194304 16246674 140736908536128 140376496119024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15913/tid=15916] ppid=15910 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15916/stat : 15916 (toysat) S 15910 15913 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24822191 1357451264 71852 33554432000 4194304 16246674 140736908536128 140376375553200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1325636

[startup+1.5004 s]
/proc/loadavg: 2.17 2.18 2.18 3/182 15917
/proc/meminfo: memFree=28826960/32872528 swapFree=1286400/1433568
[pid=15913] ppid=15910 vsize=1325636 CPUtime=1.49 cores=0,2,4,6
/proc/15913/stat : 15913 (toysat) R 15910 15913 12983 0 -1 4202496 186291 0 0 0 124 25 0 0 20 0 4 0 24822191 1357451264 186590 33554432000 4194304 16246674 140736908536128 140736908518016 5582397 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15913/statm: 331409 186593 890 2943 0 328303 0
[pid=15913/tid=15914] ppid=15910 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15914/stat : 15914 (toysat) S 15910 15913 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822191 1357451264 186595 33554432000 4194304 16246674 140736908536128 140376506608880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15913/tid=15915] ppid=15910 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15915/stat : 15915 (toysat) S 15910 15913 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822191 1357451264 186597 33554432000 4194304 16246674 140736908536128 140376496119024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15913/tid=15916] ppid=15910 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15916/stat : 15916 (toysat) S 15910 15913 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24822191 1357451264 186598 33554432000 4194304 16246674 140736908536128 140376375553200 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) 1325636

[startup+3.10041 s]
/proc/loadavg: 2.17 2.18 2.18 3/183 15918
/proc/meminfo: memFree=28254948/32872528 swapFree=1286400/1433568
[pid=15913] ppid=15910 vsize=1325636 CPUtime=3.09 cores=0,2,4,6
/proc/15913/stat : 15913 (toysat) R 15910 15913 12983 0 -1 4202496 272597 0 0 0 272 37 0 0 20 0 4 0 24822191 1357451264 272896 33554432000 4194304 16246674 140736908536128 140736908518016 13760224 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15913/statm: 331409 272896 893 2943 0 328303 0
[pid=15913/tid=15914] ppid=15910 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15914/stat : 15914 (toysat) S 15910 15913 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822191 1357451264 272896 33554432000 4194304 16246674 140736908536128 140376506608880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15913/tid=15915] ppid=15910 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15915/stat : 15915 (toysat) S 15910 15913 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822191 1357451264 272896 33554432000 4194304 16246674 140736908536128 140376496119024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15913/tid=15916] ppid=15910 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15916/stat : 15916 (toysat) S 15910 15913 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24822191 1357451264 272896 33554432000 4194304 16246674 140736908536128 140376375553200 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) 1325636

[startup+6.30041 s]
/proc/loadavg: 2.16 2.18 2.18 3/183 15918
/proc/meminfo: memFree=28254700/32872528 swapFree=1286400/1433568
[pid=15913] ppid=15910 vsize=1325636 CPUtime=6.29 cores=0,2,4,6
/proc/15913/stat : 15913 (toysat) R 15910 15913 12983 0 -1 4202496 272602 0 0 0 592 37 0 0 20 0 4 0 24822191 1357451264 272901 33554432000 4194304 16246674 140736908536128 140736908518016 5673345 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15913/statm: 331409 272901 897 2943 0 328303 0
[pid=15913/tid=15914] ppid=15910 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15914/stat : 15914 (toysat) S 15910 15913 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822191 1357451264 272901 33554432000 4194304 16246674 140736908536128 140376506608880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15913/tid=15915] ppid=15910 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15915/stat : 15915 (toysat) S 15910 15913 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822191 1357451264 272901 33554432000 4194304 16246674 140736908536128 140376496119024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15913/tid=15916] ppid=15910 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15916/stat : 15916 (toysat) S 15910 15913 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24822191 1357451264 272901 33554432000 4194304 16246674 140736908536128 140376375553200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1325636

[startup+12.7004 s]
/proc/loadavg: 2.15 2.17 2.18 3/183 15918
/proc/meminfo: memFree=28254904/32872528 swapFree=1286400/1433568
[pid=15913] ppid=15910 vsize=1325636 CPUtime=12.69 cores=0,2,4,6
/proc/15913/stat : 15913 (toysat) R 15910 15913 12983 0 -1 4202496 272602 0 0 0 1232 37 0 0 20 0 4 0 24822191 1357451264 272901 33554432000 4194304 16246674 140736908536128 140736908519128 5712056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15913/statm: 331409 272901 897 2943 0 328303 0
[pid=15913/tid=15914] ppid=15910 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15914/stat : 15914 (toysat) S 15910 15913 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822191 1357451264 272901 33554432000 4194304 16246674 140736908536128 140376506608880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15913/tid=15915] ppid=15910 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15915/stat : 15915 (toysat) S 15910 15913 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822191 1357451264 272901 33554432000 4194304 16246674 140736908536128 140376496119024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15913/tid=15916] ppid=15910 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15916/stat : 15916 (toysat) S 15910 15913 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24822191 1357451264 272901 33554432000 4194304 16246674 140736908536128 140376375553200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1325636

[startup+25.5005 s]
/proc/loadavg: 2.18 2.18 2.18 4/183 15918
/proc/meminfo: memFree=28231372/32872528 swapFree=1286400/1433568
[pid=15913] ppid=15910 vsize=1350212 CPUtime=25.49 cores=0,2,4,6
/proc/15913/stat : 15913 (toysat) R 15910 15913 12983 0 -1 4202496 278575 0 0 0 2511 38 0 0 20 0 4 0 24822191 1382617088 278874 33554432000 4194304 16246674 140736908536128 140736908518016 5522977 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15913/statm: 337553 278874 904 2943 0 334447 0
[pid=15913/tid=15914] ppid=15910 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15914/stat : 15914 (toysat) S 15910 15913 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822191 1382617088 278874 33554432000 4194304 16246674 140736908536128 140376506608880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15913/tid=15915] ppid=15910 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15915/stat : 15915 (toysat) S 15910 15913 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822191 1382617088 278874 33554432000 4194304 16246674 140736908536128 140376496119024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15913/tid=15916] ppid=15910 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15916/stat : 15916 (toysat) S 15910 15913 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24822191 1382617088 278874 33554432000 4194304 16246674 140736908536128 140376375553200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1350212

[startup+51.1005 s]
/proc/loadavg: 2.19 2.18 2.18 4/184 15921
/proc/meminfo: memFree=28229860/32872528 swapFree=1286400/1433568
[pid=15913] ppid=15910 vsize=1350212 CPUtime=51.08 cores=0,2,4,6
/proc/15913/stat : 15913 (toysat) R 15910 15913 12983 0 -1 4202496 278755 0 0 0 5070 38 0 0 20 0 4 0 24822191 1382617088 279054 33554432000 4194304 16246674 140736908536128 140736908518016 5545988 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15913/statm: 337553 279054 904 2943 0 334447 0
[pid=15913/tid=15914] ppid=15910 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15914/stat : 15914 (toysat) S 15910 15913 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822191 1382617088 279054 33554432000 4194304 16246674 140736908536128 140376506608880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15913/tid=15915] ppid=15910 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15915/stat : 15915 (toysat) S 15910 15913 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822191 1382617088 279054 33554432000 4194304 16246674 140736908536128 140376496119024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15913/tid=15916] ppid=15910 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15916/stat : 15916 (toysat) S 15910 15913 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24822191 1382617088 279054 33554432000 4194304 16246674 140736908536128 140376375553200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1350212

[startup+102.301 s]
/proc/loadavg: 2.13 2.16 2.17 3/184 15922
/proc/meminfo: memFree=28230120/32872528 swapFree=1286400/1433568
[pid=15913] ppid=15910 vsize=1350212 CPUtime=102.28 cores=0,2,4,6
/proc/15913/stat : 15913 (toysat) R 15910 15913 12983 0 -1 4202496 278755 0 0 0 10190 38 0 0 20 0 4 0 24822191 1382617088 279054 33554432000 4194304 16246674 140736908536128 140736908518016 13965488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15913/statm: 337553 279054 904 2943 0 334447 0
[pid=15913/tid=15914] ppid=15910 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15914/stat : 15914 (toysat) S 15910 15913 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822191 1382617088 279054 33554432000 4194304 16246674 140736908536128 140376506608880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15913/tid=15915] ppid=15910 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15915/stat : 15915 (toysat) S 15910 15913 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822191 1382617088 279054 33554432000 4194304 16246674 140736908536128 140376496119024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15913/tid=15916] ppid=15910 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15916/stat : 15916 (toysat) S 15910 15913 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24822191 1382617088 279054 33554432000 4194304 16246674 140736908536128 140376375553200 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) 1350212


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

/proc/15913/task/15916/stat : 15916 (toysat) S 15910 15913 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24822191 1431900160 291342 33554432000 4194304 16246674 140736908536128 140376375553200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1398340

[startup+1362.3 s]
/proc/loadavg: 2.42 2.36 2.28 3/183 16051
/proc/meminfo: memFree=28143212/32872528 swapFree=1286400/1433568
[pid=15913] ppid=15910 vsize=1398340 CPUtime=1361.95 cores=0,2,4,6
/proc/15913/stat : 15913 (toysat) R 15910 15913 12983 0 -1 4202496 291055 0 0 0 136117 78 0 0 20 0 4 0 24822191 1431900160 291342 33554432000 4194304 16246674 140736908536128 140736908518016 13780660 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15913/statm: 349585 291342 904 2943 0 346479 0
[pid=15913/tid=15914] ppid=15910 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15914/stat : 15914 (toysat) S 15910 15913 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822191 1431900160 291342 33554432000 4194304 16246674 140736908536128 140376506608880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15913/tid=15915] ppid=15910 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15915/stat : 15915 (toysat) S 15910 15913 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822191 1431900160 291342 33554432000 4194304 16246674 140736908536128 140376496119024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15913/tid=15916] ppid=15910 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15916/stat : 15916 (toysat) S 15910 15913 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24822191 1431900160 291342 33554432000 4194304 16246674 140736908536128 140376375553200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1398340

[startup+1422.3 s]
/proc/loadavg: 2.42 2.36 2.28 4/183 16052
/proc/meminfo: memFree=28064632/32872528 swapFree=1286400/1433568
[pid=15913] ppid=15910 vsize=1398340 CPUtime=1421.94 cores=0,2,4,6
/proc/15913/stat : 15913 (toysat) R 15910 15913 12983 0 -1 4202496 291055 0 0 0 142115 79 0 0 20 0 4 0 24822191 1431900160 291342 33554432000 4194304 16246674 140736908536128 140736908518016 5823242 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15913/statm: 349585 291342 904 2943 0 346479 0
[pid=15913/tid=15914] ppid=15910 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15914/stat : 15914 (toysat) S 15910 15913 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822191 1431900160 291342 33554432000 4194304 16246674 140736908536128 140376506608880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15913/tid=15915] ppid=15910 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15915/stat : 15915 (toysat) S 15910 15913 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822191 1431900160 291342 33554432000 4194304 16246674 140736908536128 140376496119024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15913/tid=15916] ppid=15910 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15916/stat : 15916 (toysat) S 15910 15913 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24822191 1431900160 291342 33554432000 4194304 16246674 140736908536128 140376375553200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1398340

[startup+1482.3 s]
/proc/loadavg: 2.25 2.33 2.27 4/183 16053
/proc/meminfo: memFree=28064376/32872528 swapFree=1286400/1433568
[pid=15913] ppid=15910 vsize=1398340 CPUtime=1481.92 cores=0,2,4,6
/proc/15913/stat : 15913 (toysat) R 15910 15913 12983 0 -1 4202496 291055 0 0 0 148112 80 0 0 20 0 4 0 24822191 1431900160 291342 33554432000 4194304 16246674 140736908536128 140736908518016 5672160 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15913/statm: 349585 291342 904 2943 0 346479 0
[pid=15913/tid=15914] ppid=15910 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15914/stat : 15914 (toysat) S 15910 15913 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822191 1431900160 291342 33554432000 4194304 16246674 140736908536128 140376506608880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15913/tid=15915] ppid=15910 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15915/stat : 15915 (toysat) S 15910 15913 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822191 1431900160 291342 33554432000 4194304 16246674 140736908536128 140376496119024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15913/tid=15916] ppid=15910 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15916/stat : 15916 (toysat) S 15910 15913 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24822191 1431900160 291342 33554432000 4194304 16246674 140736908536128 140376375553200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1398340

[startup+1542.31 s]
/proc/loadavg: 2.29 2.32 2.27 3/183 16055
/proc/meminfo: memFree=28064844/32872528 swapFree=1286400/1433568
[pid=15913] ppid=15910 vsize=1398340 CPUtime=1541.93 cores=0,2,4,6
/proc/15913/stat : 15913 (toysat) R 15910 15913 12983 0 -1 4202496 291055 0 0 0 154111 82 0 0 20 0 4 0 24822191 1431900160 291342 33554432000 4194304 16246674 140736908536128 140736908518016 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15913/statm: 349585 291342 904 2943 0 346479 0
[pid=15913/tid=15914] ppid=15910 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15914/stat : 15914 (toysat) S 15910 15913 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822191 1431900160 291342 33554432000 4194304 16246674 140736908536128 140376506608880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15913/tid=15915] ppid=15910 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15915/stat : 15915 (toysat) S 15910 15913 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822191 1431900160 291342 33554432000 4194304 16246674 140736908536128 140376496119024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15913/tid=15916] ppid=15910 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15916/stat : 15916 (toysat) S 15910 15913 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24822191 1431900160 291342 33554432000 4194304 16246674 140736908536128 140376375553200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1398340

[startup+1602.3 s]
/proc/loadavg: 2.33 2.32 2.27 4/183 16056
/proc/meminfo: memFree=28005044/32872528 swapFree=1286400/1433568
[pid=15913] ppid=15910 vsize=1398340 CPUtime=1601.91 cores=0,2,4,6
/proc/15913/stat : 15913 (toysat) R 15910 15913 12983 0 -1 4202496 291055 0 0 0 160107 84 0 0 20 0 4 0 24822191 1431900160 291342 33554432000 4194304 16246674 140736908536128 140736908518016 6020686 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15913/statm: 349585 291342 904 2943 0 346479 0
[pid=15913/tid=15914] ppid=15910 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15914/stat : 15914 (toysat) S 15910 15913 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822191 1431900160 291342 33554432000 4194304 16246674 140736908536128 140376506608880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15913/tid=15915] ppid=15910 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15915/stat : 15915 (toysat) S 15910 15913 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822191 1431900160 291342 33554432000 4194304 16246674 140736908536128 140376496119024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15913/tid=15916] ppid=15910 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15916/stat : 15916 (toysat) S 15910 15913 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24822191 1431900160 291342 33554432000 4194304 16246674 140736908536128 140376375553200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1398340

[startup+1662.3 s]
/proc/loadavg: 2.28 2.32 2.27 4/183 16057
/proc/meminfo: memFree=27949332/32872528 swapFree=1286400/1433568
[pid=15913] ppid=15910 vsize=1409604 CPUtime=1661.9 cores=0,2,4,6
/proc/15913/stat : 15913 (toysat) R 15910 15913 12983 0 -1 4202496 293701 0 0 0 166105 85 0 0 20 0 4 0 24822191 1443434496 293988 33554432000 4194304 16246674 140736908536128 140736908535224 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15913/statm: 352401 293988 904 2943 0 349295 0
[pid=15913/tid=15914] ppid=15910 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15914/stat : 15914 (toysat) S 15910 15913 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822191 1443434496 293988 33554432000 4194304 16246674 140736908536128 140376506608880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15913/tid=15915] ppid=15910 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15915/stat : 15915 (toysat) S 15910 15913 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822191 1443434496 293988 33554432000 4194304 16246674 140736908536128 140376496119024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15913/tid=15916] ppid=15910 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15916/stat : 15916 (toysat) S 15910 15913 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24822191 1443434496 293988 33554432000 4194304 16246674 140736908536128 140376375553200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1409604

[startup+1722.3 s]
/proc/loadavg: 2.25 2.30 2.27 4/183 16058
/proc/meminfo: memFree=27937532/32872528 swapFree=1286400/1433568
[pid=15913] ppid=15910 vsize=1409604 CPUtime=1721.89 cores=0,2,4,6
/proc/15913/stat : 15913 (toysat) R 15910 15913 12983 0 -1 4202496 293871 0 0 0 172103 86 0 0 20 0 4 0 24822191 1443434496 294158 33554432000 4194304 16246674 140736908536128 140736908518016 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15913/statm: 352401 294158 904 2943 0 349295 0
[pid=15913/tid=15914] ppid=15910 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15914/stat : 15914 (toysat) S 15910 15913 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822191 1443434496 294158 33554432000 4194304 16246674 140736908536128 140376506608880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15913/tid=15915] ppid=15910 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15915/stat : 15915 (toysat) S 15910 15913 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822191 1443434496 294158 33554432000 4194304 16246674 140736908536128 140376496119024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15913/tid=15916] ppid=15910 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15916/stat : 15916 (toysat) S 15910 15913 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24822191 1443434496 294158 33554432000 4194304 16246674 140736908536128 140376375553200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 1409604

[startup+1782.3 s]
/proc/loadavg: 2.32 2.32 2.27 4/183 16059
/proc/meminfo: memFree=27936948/32872528 swapFree=1286400/1433568
[pid=15913] ppid=15910 vsize=1409604 CPUtime=1781.88 cores=0,2,4,6
/proc/15913/stat : 15913 (toysat) R 15910 15913 12983 0 -1 4202496 293871 0 0 0 178101 87 0 0 20 0 4 0 24822191 1443434496 294158 33554432000 4194304 16246674 140736908536128 140736908518016 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15913/statm: 352401 294158 904 2943 0 349295 0
[pid=15913/tid=15914] ppid=15910 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15914/stat : 15914 (toysat) S 15910 15913 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822191 1443434496 294158 33554432000 4194304 16246674 140736908536128 140376506608880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15913/tid=15915] ppid=15910 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15915/stat : 15915 (toysat) S 15910 15913 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822191 1443434496 294158 33554432000 4194304 16246674 140736908536128 140376496119024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15913/tid=15916] ppid=15910 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15916/stat : 15916 (toysat) S 15910 15913 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24822191 1443434496 294158 33554432000 4194304 16246674 140736908536128 140376375553200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1409604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.36 2.33 2.28 3/183 16059
/proc/meminfo: memFree=27936548/32872528 swapFree=1286400/1433568
[pid=15913] ppid=15910 vsize=1409604 CPUtime=1800.07 cores=0,2,4,6
/proc/15913/stat : 15913 (toysat) R 15910 15913 12983 0 -1 4202496 293871 0 0 0 179920 87 0 0 20 0 4 0 24822191 1443434496 294158 33554432000 4194304 16246674 140736908536128 140736908518016 5711784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15913/statm: 352401 294158 904 2943 0 349295 0
[pid=15913/tid=15914] ppid=15910 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15914/stat : 15914 (toysat) S 15910 15913 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822191 1443434496 294158 33554432000 4194304 16246674 140736908536128 140376506608880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15913/tid=15915] ppid=15910 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15915/stat : 15915 (toysat) S 15910 15913 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822191 1443434496 294158 33554432000 4194304 16246674 140736908536128 140376496119024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15913/tid=15916] ppid=15910 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15916/stat : 15916 (toysat) S 15910 15913 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24822191 1443434496 294158 33554432000 4194304 16246674 140736908536128 140376375553200 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) 1409604

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

[startup+1800.5 s]
/proc/loadavg: 2.36 2.33 2.28 3/183 16059
/proc/meminfo: memFree=27936548/32872528 swapFree=1286400/1433568
[pid=15913] ppid=15910 vsize=1409604 CPUtime=1800.07 cores=0,2,4,6
/proc/15913/stat : 15913 (toysat) R 15910 15913 12983 0 -1 4202496 293871 0 0 0 179920 87 0 0 20 0 4 0 24822191 1443434496 294158 33554432000 4194304 16246674 140736908536128 140736908518016 5711784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15913/statm: 352401 294158 904 2943 0 349295 0
[pid=15913/tid=15914] ppid=15910 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15914/stat : 15914 (toysat) S 15910 15913 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822191 1443434496 294158 33554432000 4194304 16246674 140736908536128 140376506608880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15913/tid=15915] ppid=15910 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15915/stat : 15915 (toysat) S 15910 15913 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822191 1443434496 294158 33554432000 4194304 16246674 140736908536128 140376496119024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15913/tid=15916] ppid=15910 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/15913/task/15916/stat : 15916 (toysat) S 15910 15913 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24822191 1443434496 294158 33554432000 4194304 16246674 140736908536128 140376375553200 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) 1409604

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1799.21
CPU system time (s): 0.874867
CPU usage (%): 99.9766
Max. virtual memory (cumulated for all children) (KiB): 1409604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.21
system time used= 0.874867
maximum resident set size= 1176632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 293871
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= 602
involuntary context switches= 1830

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.46432 second user time and 7.04693 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-18 07:29:14
IDJOB=4101801
IDBENCH=1796
IDSOLVER=2542
FILE ID=node130/4101801-1466227754
RUNJOBID= node130-1466206066-12999
PBS_JOBID= 19918147
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-gesa2-o.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101801-1466227754/watcher-4101801-1466227754 -o /tmp/evaluation-result-4101801-1466227754/solver-4101801-1466227754 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-12999 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101801-1466227754.opb

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

MD5SUM BENCH= 2ee0b4368a56ab3fadfc3737456bcd30
RANDOM SEED=788378375

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
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:        29345532 kB
Buffers:          108848 kB
Cached:           124144 kB
SwapCached:         1804 kB
Active:          1217192 kB
Inactive:         137676 kB
Active(anon):    1122516 kB
Inactive(anon):     1604 kB
Active(file):      94676 kB
Inactive(file):   136072 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67099028 kB
Dirty:             16768 kB
Writeback:             0 kB
AnonPages:       2644708 kB
Mapped:            10884 kB
Shmem:                 0 kB
Slab:             602932 kB
SReclaimable:      46448 kB
SUnreclaim:       556484 kB
KernelStack:        1472 kB
PageTables:         8692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2696420 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1343488 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node130 at 2016-06-18 07:59:15