Trace number 4080196

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=139-P1=101-P2=227-P3=251-P4=227-P5=251-B.opb
MD5SUM1d3dc680e7fede194f84acfa61415e9b
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.083986
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables120
Total number of constraints11
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)320
Sum of products size (including duplicates)640
Number of different products320
Sum of products size640

Solver Data 

0.00/0.00	c 2016-06-07T01:12:56+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-4080196-1465254776.opb"]
0.00/0.01	c use --random-gen="1175185961 67398432 3769389186 1522195991 2587098591 2713768433 2614762447 3786749030 1147567608 346118056 2521545675 708329624 3689566728 815318855 1126237196 1873054755 2580282032 2971904114 1679733451 2796633389 4029980756 2812897315 3973915828 65258230 1698541627 1611657088 534318027 1044548018 26683517 4050424255 994557233 3393280222 115432230 213334487 288486451 3079303488 4267227238 2676381440 2185647567 2659171648 1287845313 1081746286 2503173674 3212642678 3145277744 3877883427 2003256294 2765913846 2218808846 4219854924 3781262217 1101669921 23265719 1939839661 1543865909 1644130174 1483540544 288692796 2994719475 2191421242 2142249818 836233989 1359135117 129109913 858729492 4224185954 1986050757 3815595807 1312178053 4155234178 1925304381 563346069 2631923653 381239854 815271497 2028726212 4003892154 1956720821 1991413935 2639525333 2241929967 4033410124 607121162 2817245046 621559257 3284588392 3508703508 3270799817 2317523856 4122464003 830357091 510702665 351639048 2844059725 2285065078 3636192229 2640448766 154315776 2771911922 774195178 124714999 2463842783 2314155320 4152334558 241047873 1514422227 3839264921 1133446688 3893255650 2253926207 470772948 2471159264 1008188276 3074384136 1983863672 1206768484 4210537612 3444977103 2449593353 1184178712 4019701714 1279601637 4216742127 1866530477 1089164196 3940272748 1425068833 288059097 1081576508 2539810387 3121036947 2133157981 2536940053 2771893134 26494199 1304828760 2231829866 4190278329 3498782392 74436230 505339387 2327001187 3663479184 1612134597 732252065 3544209456 127528045 912042366 663242133 3713941129 71151116 1495213169 3824477133 3669828279 2747217844 799694623 3578576584 1780712320 1696379797 4244158673 3374790108 1293352201 1553109672 4104562458 2177070255 3542841214 3705800308 1722483679 1174828058 2272369887 1077850520 128395601 1499399646 2567919586 1188263030 721103917 2913783992 3010498056 2089374792 4111506342 346512118 3495000374 1118404746 1389935995 3512720036 545760721 3764597439 3495398349 2165840270 536843434 1672962558 3633553226 3442960464 323407937 1990749056 2741191758 1396181004 146218503 3808401568 550787298 1815870886 4082484536 3179726722 493640459 470067348 1228413506 1296939502 3357637830 3264133234 2458189068 2345134678 2617737906 1938258879 160570831 3000528703 1460033074 2700991705 3274592545 2656740740 1950863169 2585246592 1038032080 781924353 1116780985 1197195756 3285351019 2653131745 2138553501 1018269456 141969508 1918814937 2564987636 3102545910 722962036 1480593533 4247014203 1552566423 2902709611 102614003 632893236 949620183 1141041228 3938046669 1024912893 470150388 1634955984 586041121 4046412026 3785416052 2456602294 3436333569 2235570294 2900891211 249559633 2357978762 4052302203 255 362436" option to reproduce the execution
0.00/0.01	c #vars 120
0.00/0.01	c #constraints 11
0.00/0.02	c BCD2: Hardening is enabled.
0.00/0.02	c BCD2: BiasedSearch is enabled.
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      472      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      113 |      100 |      472      0 |        0 |        0
0.00/0.07	c  0.1s |       2 |      273 |      250 |      520      0 |        0 |        0
0.08/0.13	c  0.1s |       3 |      532 |      475 |      572      0 |        0 |        0
0.19/0.21	c  0.2s |       4 |      928 |      813 |      630      0 |        0 |        0
0.29/0.32	c  0.3s |       5 |     1483 |     1320 |      693      1 |        0 |        0
0.98/1.01	c  1.0s |       6 |     2361 |     2081 |      840      3 |        0 |        0
1.20/1.26	c  1.2s |       7 |     3600 |     3223 |      925      5 |        0 |        0
1.69/1.77	c  1.8s |       8 |     5440 |     4936 |     1018      8 |        0 |        0
1.89/1.93	c  1.9s |       8 |     6330 |     5725 |     1018      9 |        0 |        0
1.89/1.93	c #cpu_time = 1.910s
1.89/1.93	c #wall_clock_time = 1.915s
1.89/1.93	c #decision = 6330
1.89/1.93	c #random_decision = 28
1.89/1.93	c #conflict = 5725
1.89/1.93	c #restart = 8
1.89/1.93	o 163
1.89/1.93	c BCD2: updating upper bound: 255 -> 162
1.89/1.93	c BCD2: 0 <= obj <= 162
1.89/1.93	c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0
1.89/1.93	c BCD2: #sat=1 #unsat=1 bias=1/2
1.89/1.93	c Solving starts ...
1.89/1.93	c ============================[ Search Statistics ]============================
1.89/1.93	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.89/1.93	c       |         |          |          |    Limit     GC | Var      | Constra 
1.89/1.93	c =============================================================================
1.89/1.93	c  0.0s |       0 |        0 |        0 |     1018      0 |        0 |        0
1.89/1.94	c  0.0s |       0 |        6 |        0 |     1018      0 |        0 |        0
1.89/1.94	c #cpu_time = 0.003s
1.89/1.94	c #wall_clock_time = 0.003s
1.89/1.94	c #decision = 6
1.89/1.94	c #random_decision = 0
1.89/1.94	c #conflict = 0
1.89/1.94	c #restart = 0
1.89/1.94	c BCD2: found a new core of size 7: cost of the new core is >=2
1.89/1.94	c lower bound updated to 2
1.89/1.94	c BCD2: 2 <= obj <= 162
1.89/1.94	c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=0
1.89/1.94	c BCD2: #sat=1 #unsat=2 bias=2/3
1.89/1.94	c Solving starts ...
1.89/1.94	c ============================[ Search Statistics ]============================
1.89/1.94	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.89/1.94	c       |         |          |          |    Limit     GC | Var      | Constra 
1.89/1.94	c =============================================================================
1.89/1.94	c  0.0s |       0 |        0 |        0 |     1018      0 |        0 |        0
1.89/1.96	c  0.0s |       1 |      142 |      100 |     1018      0 |        0 |        0
1.99/2.09	c  0.1s |       2 |      342 |      250 |     1018      0 |        0 |        0
2.09/2.16	c  0.2s |       3 |      639 |      475 |     1018      1 |        0 |        0
2.19/2.25	c  0.3s |       4 |     1014 |      813 |     1018      1 |        0 |        0
2.29/2.37	c  0.4s |       5 |     1612 |     1320 |     1018      2 |        0 |        0
2.59/2.61	c  0.7s |       6 |     2543 |     2081 |     1120      3 |        0 |        0
2.89/2.90	c  1.0s |       7 |     3764 |     3223 |     1120      5 |        0 |        0
3.19/3.25	c  1.3s |       8 |     5549 |     4936 |     1120      7 |        0 |        0
3.99/4.02	c  2.1s |       9 |     8244 |     7506 |     1232     10 |        0 |        0
4.69/4.77	c  2.8s |      10 |    12361 |    11361 |     1356     16 |        0 |        0
6.29/6.39	c  4.5s |      11 |    18541 |    17144 |     1356     23 |        0 |        0
8.39/8.40	c  6.5s |      11 |    25471 |    23644 |     1492     30 |        0 |        0
8.98/9.06	c  7.1s |      12 |    27789 |    25819 |     1492     32 |        0 |        0
10.99/11.07	c  9.1s |      12 |    36245 |    33819 |     1642     41 |        0 |        0
12.28/12.39	c 10.5s |      13 |    41486 |    38832 |     1642     46 |        0 |        0
14.29/14.40	c 12.5s |      13 |    48992 |    45832 |     1642     54 |        0 |        0
16.38/16.40	c 14.5s |      13 |    55465 |    51532 |     1642     59 |        0 |        0
18.18/18.27	c 16.3s |      14 |    62597 |    58352 |     1807     66 |        0 |        0
20.18/20.28	c 18.3s |      14 |    72586 |    68052 |     1807     75 |        0 |        0
22.18/22.29	c 20.3s |      14 |    80564 |    75452 |     1807     82 |        0 |        0
24.29/24.31	c 22.4s |      14 |    89283 |    83852 |     1988     89 |        0 |        0
25.18/25.28	c 23.3s |      15 |    93141 |    87632 |     1988     92 |        0 |        0
27.19/27.28	c 25.3s |      15 |    98035 |    92232 |     1988     96 |        0 |        0
29.29/29.35	c 27.4s |      15 |   102067 |    96032 |     1988    100 |        0 |        0
31.29/31.36	c 29.4s |      15 |   106289 |   100132 |     1988    103 |        0 |        0
33.29/33.37	c 31.4s |      15 |   113140 |   106632 |     1988    109 |        0 |        0
35.39/35.41	c 33.5s |      15 |   119362 |   112332 |     1988    113 |        0 |        0
37.39/37.45	c 35.5s |      15 |   125216 |   117932 |     1988    118 |        0 |        0
39.39/39.47	c 37.5s |      15 |   131550 |   123732 |     1988    123 |        0 |        0
41.49/41.51	c 39.6s |      15 |   137221 |   129032 |     2187    127 |        0 |        0
42.39/42.48	c 40.5s |      16 |   139943 |   131552 |     2187    129 |        0 |        0
44.39/44.49	c 42.6s |      16 |   148925 |   140252 |     2187    136 |        0 |        0
46.48/46.50	c 44.6s |      16 |   156933 |   148052 |     2187    143 |        0 |        0
48.49/48.52	c 46.6s |      16 |   165256 |   156152 |     2187    149 |        0 |        0
50.48/50.52	c 48.6s |      16 |   173239 |   163852 |     2187    155 |        0 |        0
52.48/52.54	c 50.6s |      16 |   181090 |   171452 |     2187    161 |        0 |        0
54.48/54.56	c 52.6s |      16 |   189131 |   179352 |     2187    168 |        0 |        0
56.48/56.58	c 54.6s |      16 |   197872 |   187852 |     2187    174 |        0 |        0
58.48/58.59	c 56.6s |      16 |   205775 |   195552 |     2406    180 |        0 |        0
58.98/59.06	c 57.1s |      17 |   207674 |   197432 |     2406    181 |        0 |        0
60.98/61.09	c 59.2s |      17 |   214641 |   204032 |     2406    186 |        0 |        0
63.08/63.12	c 61.2s |      17 |   220747 |   209932 |     2406    190 |        0 |        0
65.08/65.16	c 63.2s |      17 |   226301 |   215232 |     2406    194 |        0 |        0
67.09/67.17	c 65.2s |      17 |   233155 |   221932 |     2406    199 |        0 |        0
69.08/69.18	c 67.2s |      17 |   241947 |   230232 |     2406    205 |        0 |        0
71.18/71.20	c 69.3s |      17 |   250570 |   238332 |     2406    211 |        0 |        0
73.18/73.20	c 71.3s |      17 |   257538 |   244832 |     2406    216 |        0 |        0
75.18/75.21	c 73.3s |      17 |   267132 |   254032 |     2406    223 |        0 |        0
77.18/77.23	c 75.3s |      17 |   276377 |   262832 |     2406    229 |        0 |        0
79.18/79.24	c 77.3s |      17 |   284999 |   271032 |     2406    235 |        0 |        0
81.17/81.25	c 79.3s |      17 |   293679 |   279132 |     2406    241 |        0 |        0
83.17/83.28	c 81.3s |      17 |   302479 |   287332 |     2406    247 |        0 |        0
85.27/85.31	c 83.4s |      17 |   310940 |   295232 |     2647    252 |        0 |        0
85.47/85.58	c 83.6s |      18 |   312006 |   296252 |     2647    253 |        0 |        0
87.47/87.59	c 85.7s |      18 |   321161 |   304952 |     2647    259 |        0 |        0
89.47/89.59	c 87.7s |      18 |   329417 |   312852 |     2647    264 |        0 |        0
91.57/91.62	c 89.7s |      18 |   337486 |   320552 |     2647    269 |        0 |        0
93.58/93.64	c 91.7s |      18 |   346018 |   328452 |     2647    275 |        0 |        0
95.57/95.65	c 93.7s |      18 |   353734 |   335752 |     2647    280 |        0 |        0
97.57/97.67	c 95.7s |      18 |   361389 |   343052 |     2647    285 |        0 |        0
99.57/99.68	c 97.7s |      18 |   368239 |   349552 |     2647    289 |        0 |        0
101.57/101.69	c 99.8s |      18 |   375395 |   356352 |     2647    294 |        0 |        0
103.67/103.71	c  101s |      18 |   382668 |   363252 |     2647    299 |        0 |        0
105.68/105.74	c  103s |      18 |   390022 |   370352 |     2647    304 |        0 |        0
107.67/107.77	c  105s |      18 |   396248 |   376352 |     2647    308 |        0 |        0
109.67/109.79	c  107s |      18 |   403478 |   383052 |     2647    312 |        0 |        0
111.78/111.80	c  109s |      18 |   410697 |   389852 |     2647    317 |        0 |        0
113.77/113.82	c  111s |      18 |   418623 |   397552 |     2647    322 |        0 |        0
115.77/115.84	c  113s |      18 |   426155 |   404952 |     2647    327 |        0 |        0
117.78/117.85	c  115s |      18 |   433424 |   412052 |     2647    332 |        0 |        0
119.77/119.88	c  117s |      18 |   440528 |   418952 |     2647    336 |        0 |        0
121.77/121.89	c  119s |      18 |   448030 |   426252 |     2647    341 |        0 |        0
123.77/123.89	c  121s |      18 |   454959 |   433052 |     2647    346 |        0 |        0
125.87/125.90	c  123s |      18 |   462139 |   439952 |     2912    350 |        0 |        0
127.17/127.23	c  125s |      19 |   466913 |   444482 |     2912    353 |        0 |        0
129.17/129.25	c  127s |      19 |   473364 |   450582 |     2912    357 |        0 |        0
131.17/131.27	c  129s |      19 |   479862 |   456682 |     2912    361 |        0 |        0
133.27/133.30	c  131s |      19 |   486311 |   462782 |     2912    364 |        0 |        0
135.28/135.31	c  133s |      19 |   493116 |   469082 |     2912    368 |        0 |        0
137.27/137.35	c  135s |      19 |   499820 |   475282 |     2912    372 |        0 |        0
139.27/139.35	c  137s |      19 |   507397 |   482382 |     2912    376 |        0 |        0
141.27/141.37	c  139s |      19 |   514053 |   488782 |     2912    380 |        0 |        0
143.27/143.37	c  141s |      19 |   521109 |   495482 |     2912    384 |        0 |        0
145.27/145.37	c  143s |      19 |   527731 |   501682 |     2912    388 |        0 |        0
147.26/147.39	c  145s |      19 |   534944 |   508282 |     2912    392 |        0 |        0
149.36/149.42	c  147s |      19 |   542546 |   515482 |     2912    397 |        0 |        0
151.36/151.42	c  149s |      19 |   548736 |   521382 |     2912    400 |        0 |        0
153.36/153.42	c  151s |      19 |   556153 |   528282 |     2912    404 |        0 |        0
155.36/155.44	c  153s |      19 |   564800 |   536682 |     2912    410 |        0 |        0
157.37/157.45	c  155s |      19 |   572928 |   544582 |     2912    415 |        0 |        0
159.36/159.46	c  157s |      19 |   581501 |   552682 |     2912    420 |        0 |        0
161.36/161.46	c  159s |      19 |   589854 |   560582 |     2912    425 |        0 |        0
163.36/163.49	c  161s |      19 |   598353 |   568482 |     2912    429 |        0 |        0
165.36/165.49	c  163s |      19 |   606884 |   576382 |     2912    434 |        0 |        0
167.46/167.50	c  165s |      19 |   614902 |   583882 |     2912    439 |        0 |        0
169.47/169.52	c  167s |      19 |   623313 |   591882 |     2912    444 |        0 |        0
171.46/171.54	c  169s |      19 |   631837 |   599982 |     2912    449 |        0 |        0
173.46/173.55	c  171s |      19 |   640313 |   607882 |     2912    454 |        0 |        0
175.46/175.56	c  173s |      19 |   649075 |   615882 |     2912    459 |        0 |        0
177.46/177.57	c  175s |      19 |   657333 |   623482 |     2912    464 |        0 |        0
179.46/179.58	c  177s |      19 |   666026 |   631382 |     2912    469 |        0 |        0
181.47/181.60	c  179s |      19 |   674414 |   639082 |     2912    474 |        0 |        0
183.56/183.61	c  181s |      19 |   683086 |   647082 |     2912    479 |        0 |        0
185.56/185.62	c  183s |      19 |   691614 |   654982 |     2912    484 |        0 |        0
187.56/187.63	c  185s |      19 |   700023 |   663182 |     3204    488 |        0 |        0
188.56/188.65	c  186s |      20 |   703780 |   666827 |     3204    490 |        0 |        0
190.56/190.65	c  188s |      20 |   712319 |   674927 |     3204    495 |        0 |        0
192.56/192.66	c  190s |      20 |   720744 |   683027 |     3204    500 |        0 |        0
194.56/194.67	c  192s |      20 |   729388 |   691227 |     3204    505 |        0 |        0
196.56/196.69	c  194s |      20 |   738147 |   699727 |     3204    510 |        0 |        0
198.65/198.73	c  196s |      20 |   746356 |   707127 |     3204    515 |        0 |        0
200.65/200.73	c  198s |      20 |   754250 |   714727 |     3204    519 |        0 |        0
202.65/202.75	c  200s |      20 |   762284 |   722427 |     3204    524 |        0 |        0
204.66/204.76	c  202s |      20 |   770420 |   730227 |     3204    528 |        0 |        0
206.65/206.77	c  204s |      20 |   778860 |   738227 |     3204    533 |        0 |        0
208.76/208.80	c  206s |      20 |   787370 |   746227 |     3204    538 |        0 |        0
210.76/210.80	c  208s |      20 |   796369 |   754727 |     3204    543 |        0 |        0
212.76/212.83	c  210s |      20 |   805479 |   763427 |     3204    548 |        0 |        0
214.76/214.83	c  212s |      20 |   814111 |   771527 |     3204    553 |        0 |        0
216.77/216.84	c  214s |      20 |   823120 |   779927 |     3204    558 |        0 |        0
218.76/218.86	c  216s |      20 |   831674 |   788027 |     3204    563 |        0 |        0
220.76/220.86	c  218s |      20 |   840579 |   796527 |     3204    568 |        0 |        0
222.76/222.87	c  220s |      20 |   849162 |   804427 |     3204    573 |        0 |        0
224.76/224.88	c  222s |      20 |   858361 |   813127 |     3204    578 |        0 |        0
226.76/226.89	c  224s |      20 |   867593 |   821927 |     3204    583 |        0 |        0
228.86/228.91	c  226s |      20 |   876693 |   830327 |     3204    589 |        0 |        0
230.86/230.92	c  228s |      20 |   885323 |   838627 |     3204    594 |        0 |        0
232.86/232.94	c  231s |      20 |   894085 |   846927 |     3204    599 |        0 |        0
234.85/234.94	c  233s |      20 |   902979 |   855227 |     3204    604 |        0 |        0
236.85/236.96	c  235s |      20 |   912107 |   863927 |     3204    609 |        0 |        0
238.85/238.97	c  237s |      20 |   920373 |   871727 |     3204    613 |        0 |        0
240.86/240.99	c  239s |      20 |   929434 |   880127 |     3204    619 |        0 |        0
242.95/243.00	c  241s |      20 |   937822 |   887827 |     3204    623 |        0 |        0
244.95/245.00	c  243s |      20 |   946615 |   896227 |     3204    628 |        0 |        0
246.95/247.01	c  245s |      20 |   955178 |   904427 |     3204    633 |        0 |        0
248.95/249.01	c  247s |      20 |   963345 |   912327 |     3204    638 |        0 |        0
250.95/251.01	c  249s |      20 |   971870 |   920427 |     3204    643 |        0 |        0
252.95/253.03	c  251s |      20 |   980024 |   928327 |     3204    648 |        0 |        0
254.95/255.03	c  253s |      20 |   988559 |   936327 |     3204    652 |        0 |        0
256.95/257.04	c  255s |      20 |   997097 |   944427 |     3204    657 |        0 |        0
258.95/259.05	c  257s |      20 |  1005738 |   952727 |     3204    662 |        0 |        0
260.95/261.06	c  259s |      20 |  1014511 |   960927 |     3204    667 |        0 |        0
262.96/263.06	c  261s |      20 |  1023431 |   969127 |     3204    672 |        0 |        0
264.95/265.08	c  263s |      20 |  1031995 |   977027 |     3204    677 |        0 |        0
266.95/267.08	c  265s |      20 |  1040415 |   985127 |     3204    682 |        0 |        0
268.95/269.09	c  267s |      20 |  1048796 |   993227 |     3525    686 |        0 |        0
270.85/270.91	c  268s |      21 |  1056050 |  1000345 |     3525    690 |        0 |        0
272.86/272.91	c  270s |      21 |  1064078 |  1008145 |     3525    694 |        0 |        0
274.85/274.91	c  272s |      21 |  1072178 |  1016045 |     3525    699 |        0 |        0
276.85/276.92	c  274s |      21 |  1080699 |  1024045 |     3525    703 |        0 |        0
278.85/278.94	c  276s |      21 |  1088621 |  1031745 |     3525    707 |        0 |        0
280.85/280.96	c  279s |      21 |  1095430 |  1038245 |     3525    710 |        0 |        0
282.85/282.98	c  281s |      21 |  1102001 |  1044345 |     3525    714 |        0 |        0
284.85/284.98	c  283s |      21 |  1109253 |  1051145 |     3525    717 |        0 |        0
286.95/287.00	c  285s |      21 |  1116621 |  1057945 |     3525    721 |        0 |        0
288.95/289.02	c  287s |      21 |  1124498 |  1065245 |     3525    725 |        0 |        0
290.95/291.05	c  289s |      21 |  1131822 |  1071845 |     3525    728 |        0 |        0
292.94/293.07	c  291s |      21 |  1139156 |  1078345 |     3525    731 |        0 |        0
294.94/295.09	c  293s |      21 |  1145940 |  1084645 |     3525    735 |        0 |        0
297.05/297.10	c  295s |      21 |  1153380 |  1091045 |     3525    738 |        0 |        0
299.04/299.12	c  297s |      21 |  1160929 |  1097545 |     3525    741 |        0 |        0
301.04/301.15	c  299s |      21 |  1168301 |  1103845 |     3525    745 |        0 |        0
303.04/303.16	c  301s |      21 |  1175958 |  1110645 |     3525    748 |        0 |        0
305.14/305.20	c  303s |      21 |  1183720 |  1117545 |     3525    752 |        0 |        0
307.14/307.22	c  305s |      21 |  1191353 |  1123945 |     3525    755 |        0 |        0
309.15/309.22	c  307s |      21 |  1198305 |  1130445 |     3525    759 |        0 |        0
311.14/311.23	c  309s |      21 |  1204844 |  1136145 |     3525    762 |        0 |        0
313.14/313.24	c  311s |      21 |  1211746 |  1142045 |     3525    765 |        0 |        0
315.14/315.24	c  313s |      21 |  1218914 |  1148645 |     3525    768 |        0 |        0
317.14/317.25	c  315s |      21 |  1226080 |  1154945 |     3525    772 |        0 |        0
319.14/319.27	c  317s |      21 |  1232300 |  1160745 |     3525    775 |        0 |        0
321.15/321.27	c  319s |      21 |  1238541 |  1166445 |     3525    778 |        0 |        0
323.14/323.28	c  321s |      21 |  1245194 |  1172345 |     3525    781 |        0 |        0
325.24/325.30	c  323s |      21 |  1251561 |  1178245 |     3525    784 |        0 |        0
327.24/327.32	c  325s |      21 |  1258722 |  1184345 |     3525    787 |        0 |        0
329.24/329.33	c  327s |      21 |  1265889 |  1190345 |     3525    790 |        0 |        0
331.24/331.36	c  329s |      21 |  1273505 |  1196845 |     3525    794 |        0 |        0
333.24/333.39	c  331s |      21 |  1280577 |  1203345 |     3525    797 |        0 |        0
335.24/335.39	c  333s |      21 |  1287405 |  1209245 |     3525    800 |        0 |        0
337.34/337.42	c  335s |      21 |  1294649 |  1215045 |     3525    803 |        0 |        0
339.33/339.45	c  337s |      21 |  1301722 |  1221045 |     3525    806 |        0 |        0
341.33/341.47	c  339s |      21 |  1308560 |  1227445 |     3525    810 |        0 |        0
343.33/343.48	c  341s |      21 |  1315519 |  1234245 |     3525    813 |        0 |        0
345.34/345.49	c  343s |      21 |  1321745 |  1240345 |     3525    817 |        0 |        0
347.33/347.49	c  345s |      21 |  1329389 |  1247845 |     3525    820 |        0 |        0
349.33/349.49	c  347s |      21 |  1336510 |  1254645 |     3525    824 |        0 |        0
351.43/351.53	c  349s |      21 |  1343233 |  1261145 |     3525    827 |        0 |        0
353.43/353.54	c  351s |      21 |  1349899 |  1267545 |     3525    831 |        0 |        0
355.43/355.56	c  353s |      21 |  1356686 |  1274245 |     3525    834 |        0 |        0
357.44/357.57	c  355s |      21 |  1363311 |  1280645 |     3525    837 |        0 |        0
359.43/359.58	c  357s |      21 |  1370177 |  1287345 |     3525    841 |        0 |        0
361.53/361.60	c  359s |      21 |  1377061 |  1294045 |     3525    844 |        0 |        0
363.53/363.63	c  361s |      21 |  1383533 |  1300445 |     3525    848 |        0 |        0
365.53/365.65	c  363s |      21 |  1390115 |  1306845 |     3525    851 |        0 |        0
367.53/367.68	c  365s |      21 |  1397237 |  1313845 |     3525    855 |        0 |        0
369.54/369.69	c  367s |      21 |  1404297 |  1320745 |     3525    858 |        0 |        0
371.53/371.69	c  369s |      21 |  1411040 |  1327345 |     3525    861 |        0 |        0
373.63/373.71	c  371s |      21 |  1417782 |  1333945 |     3525    865 |        0 |        0
375.63/375.71	c  373s |      21 |  1424666 |  1340745 |     3525    868 |        0 |        0
377.63/377.72	c  375s |      21 |  1430957 |  1346845 |     3525    872 |        0 |        0
379.63/379.73	c  377s |      21 |  1438102 |  1353745 |     3525    875 |        0 |        0
381.63/381.74	c  379s |      21 |  1444976 |  1360245 |     3525    879 |        0 |        0
383.63/383.77	c  381s |      21 |  1452035 |  1367045 |     3525    882 |        0 |        0
385.73/385.80	c  383s |      21 |  1459001 |  1373645 |     3525    885 |        0 |        0
387.74/387.83	c  385s |      21 |  1465220 |  1379545 |     3525    889 |        0 |        0
389.73/389.86	c  387s |      21 |  1471647 |  1385645 |     3525    892 |        0 |        0
391.73/391.87	c  389s |      21 |  1478407 |  1391945 |     3525    895 |        0 |        0
393.74/393.87	c  391s |      21 |  1485027 |  1397945 |     3525    898 |        0 |        0
395.73/395.87	c  393s |      21 |  1491275 |  1403845 |     3525    901 |        0 |        0
397.73/397.88	c  395s |      21 |  1497737 |  1410045 |     3525    904 |        0 |        0
399.73/399.88	c  397s |      21 |  1505313 |  1417445 |     3525    908 |        0 |        0
401.83/401.92	c  399s |      21 |  1511460 |  1423345 |     3525    911 |        0 |        0
403.83/403.93	c  401s |      21 |  1517988 |  1429645 |     3525    915 |        0 |        0
405.84/405.95	c  404s |      21 |  1524525 |  1435945 |     3525    918 |        0 |        0
407.83/407.95	c  406s |      21 |  1530707 |  1441845 |     3525    921 |        0 |        0
409.83/409.98	c  408s |      21 |  1537194 |  1447945 |     3525    924 |        0 |        0
411.83/411.99	c  410s |      21 |  1543542 |  1454045 |     3525    927 |        0 |        0
413.93/414.00	c  412s |      21 |  1549785 |  1459845 |     3525    930 |        0 |        0
415.93/416.00	c  414s |      21 |  1556348 |  1465945 |     3525    934 |        0 |        0
417.94/418.01	c  416s |      21 |  1563094 |  1472145 |     3525    937 |        0 |        0
419.93/420.02	c  418s |      21 |  1569593 |  1478345 |     3525    940 |        0 |        0
421.93/422.02	c  420s |      21 |  1575950 |  1484545 |     3878    943 |        0 |        0
423.93/424.02	c  422s |      21 |  1582996 |  1491345 |     3878    947 |        0 |        0
425.93/426.05	c  424s |      21 |  1589604 |  1497745 |     3878    950 |        0 |        0
426.83/426.92	c  424s |      22 |  1592602 |  1500622 |     3878    951 |        0 |        0
428.82/428.93	c  426s |      22 |  1598308 |  1505922 |     3878    953 |        0 |        0
430.82/430.94	c  428s |      22 |  1603944 |  1511222 |     3878    956 |        0 |        0
432.82/432.94	c  431s |      22 |  1609498 |  1516422 |     3878    958 |        0 |        0
434.82/434.95	c  433s |      22 |  1615061 |  1521622 |     3878    961 |        0 |        0
436.82/436.99	c  435s |      22 |  1621005 |  1527122 |     3878    963 |        0 |        0
438.93/439.01	c  437s |      22 |  1626698 |  1532522 |     3878    966 |        0 |        0
440.92/441.03	c  439s |      22 |  1631397 |  1536822 |     3878    968 |        0 |        0
442.92/443.03	c  441s |      22 |  1636556 |  1541822 |     3878    970 |        0 |        0
444.92/445.04	c  443s |      22 |  1642190 |  1547122 |     3878    973 |        0 |        0
446.92/447.04	c  445s |      22 |  1647725 |  1552422 |     3878    975 |        0 |        0
448.92/449.07	c  447s |      22 |  1654222 |  1558622 |     3878    978 |        0 |        0
450.92/451.08	c  449s |      22 |  1659900 |  1564122 |     3878    981 |        0 |        0
452.92/453.08	c  451s |      22 |  1665748 |  1569722 |     3878    983 |        0 |        0
455.02/455.10	c  453s |      22 |  1670722 |  1574322 |     3878    986 |        0 |        0
457.02/457.12	c  455s |      22 |  1677011 |  1580422 |     3878    989 |        0 |        0
459.02/459.14	c  457s |      22 |  1682672 |  1585922 |     3878    991 |        0 |        0
461.02/461.15	c  459s |      22 |  1688011 |  1590922 |     3878    993 |        0 |        0
463.02/463.18	c  461s |      22 |  1694077 |  1596622 |     3878    996 |        0 |        0
465.02/465.19	c  463s |      22 |  1700159 |  1602422 |     3878    999 |        0 |        0
467.12/467.21	c  465s |      22 |  1706001 |  1607922 |     3878   1001 |        0 |        0
469.11/469.24	c  467s |      22 |  1711460 |  1613122 |     3878   1004 |        0 |        0
471.11/471.29	c  469s |      22 |  1716830 |  1618222 |     3878   1006 |        0 |        0
473.21/473.35	c  471s |      22 |  1722769 |  1623722 |     3878   1009 |        0 |        0
475.22/475.38	c  473s |      22 |  1727593 |  1628222 |     3878   1011 |        0 |        0
477.21/477.39	c  475s |      22 |  1733062 |  1633422 |     3878   1014 |        0 |        0
479.31/479.40	c  477s |      22 |  1738396 |  1638622 |     3878   1016 |        0 |        0
481.31/481.41	c  479s |      22 |  1744780 |  1644822 |     3878   1019 |        0 |        0
483.31/483.45	c  481s |      22 |  1749759 |  1649722 |     3878   1021 |        0 |        0
485.31/485.49	c  483s |      22 |  1755248 |  1654822 |     3878   1024 |        0 |        0
487.41/487.52	c  485s |      22 |  1760272 |  1659222 |     3878   1026 |        0 |        0
489.42/489.59	c  487s |      22 |  1765288 |  1663822 |     3878   1028 |        0 |        0
491.51/491.62	c  489s |      22 |  1770019 |  1668122 |     3878   1030 |        0 |        0
493.51/493.66	c  491s |      22 |  1774442 |  1672222 |     3878   1032 |        0 |        0
495.51/495.66	c  493s |      22 |  1780628 |  1678122 |     3878   1035 |        0 |        0
497.61/497.71	c  495s |      22 |  1784702 |  1681522 |     3878   1036 |        0 |        0
499.61/499.71	c  497s |      22 |  1792093 |  1688122 |     3878   1039 |        0 |        0
501.62/501.72	c  499s |      22 |  1799217 |  1694722 |     3878   1043 |        0 |        0
503.61/503.73	c  501s |      22 |  1806510 |  1701422 |     3878   1046 |        0 |        0
505.61/505.74	c  503s |      22 |  1813546 |  1708022 |     3878   1049 |        0 |        0
507.61/507.75	c  505s |      22 |  1820380 |  1714122 |     3878   1052 |        0 |        0
509.61/509.76	c  507s |      22 |  1827388 |  1720122 |     3878   1055 |        0 |        0
511.61/511.79	c  509s |      22 |  1833596 |  1726122 |     3878   1057 |        0 |        0
513.72/513.81	c  511s |      22 |  1839111 |  1731322 |     3878   1060 |        0 |        0
515.72/515.82	c  513s |      22 |  1845572 |  1737122 |     3878   1063 |        0 |        0
517.72/517.82	c  515s |      22 |  1851932 |  1743022 |     3878   1065 |        0 |        0
519.72/519.85	c  517s |      22 |  1858508 |  1749022 |     3878   1068 |        0 |        0
521.71/521.87	c  519s |      22 |  1865019 |  1754922 |     3878   1071 |        0 |        0
523.81/523.92	c  521s |      22 |  1871479 |  1760922 |     3878   1074 |        0 |        0
525.82/525.94	c  524s |      22 |  1877162 |  1765622 |     3878   1076 |        0 |        0
527.81/527.94	c  526s |      22 |  1885108 |  1773122 |     3878   1080 |        0 |        0
529.81/529.96	c  528s |      22 |  1892497 |  1780222 |     3878   1083 |        0 |        0
531.81/531.99	c  530s |      22 |  1900190 |  1787322 |     3878   1087 |        0 |        0
533.91/534.00	c  532s |      22 |  1906911 |  1793622 |     3878   1090 |        0 |        0
535.91/536.00	c  534s |      22 |  1914978 |  1801122 |     3878   1093 |        0 |        0
537.92/538.00	c  536s |      22 |  1922780 |  1808522 |     3878   1097 |        0 |        0
539.91/540.02	c  538s |      22 |  1929728 |  1814622 |     3878   1099 |        0 |        0
541.91/542.05	c  540s |      22 |  1935967 |  1820622 |     3878   1102 |        0 |        0
543.91/544.05	c  542s |      22 |  1941239 |  1825622 |     3878   1105 |        0 |        0
545.91/546.09	c  544s |      22 |  1945866 |  1829722 |     3878   1107 |        0 |        0
548.01/548.11	c  546s |      22 |  1950741 |  1834222 |     3878   1109 |        0 |        0
550.01/550.14	c  548s |      22 |  1955112 |  1838322 |     3878   1111 |        0 |        0
552.01/552.15	c  550s |      22 |  1959730 |  1842622 |     3878   1113 |        0 |        0
554.11/554.20	c  552s |      22 |  1965950 |  1848422 |     3878   1116 |        0 |        0
556.11/556.21	c  554s |      22 |  1970575 |  1852622 |     3878   1118 |        0 |        0
558.11/558.23	c  556s |      22 |  1976567 |  1857922 |     3878   1120 |        0 |        0
560.10/560.23	c  558s |      22 |  1982382 |  1863322 |     3878   1123 |        0 |        0
562.11/562.26	c  560s |      22 |  1988186 |  1868622 |     3878   1125 |        0 |        0
564.10/564.27	c  562s |      22 |  1994472 |  1874522 |     3878   1128 |        0 |        0
566.10/566.29	c  564s |      22 |  2000444 |  1880322 |     3878   1131 |        0 |        0
568.20/568.30	c  566s |      22 |  2006097 |  1885722 |     3878   1133 |        0 |        0
570.20/570.31	c  568s |      22 |  2011483 |  1890822 |     3878   1136 |        0 |        0
572.20/572.31	c  570s |      22 |  2016339 |  1895422 |     3878   1138 |        0 |        0
574.21/574.32	c  572s |      22 |  2020802 |  1899722 |     3878   1140 |        0 |        0
576.20/576.33	c  574s |      22 |  2024950 |  1903822 |     3878   1142 |        0 |        0
578.20/578.37	c  576s |      22 |  2029352 |  1908122 |     3878   1144 |        0 |        0
580.20/580.37	c  578s |      22 |  2035212 |  1913822 |     3878   1147 |        0 |        0
582.30/582.40	c  580s |      22 |  2039893 |  1918222 |     3878   1149 |        0 |        0
584.30/584.45	c  582s |      22 |  2045351 |  1923422 |     3878   1151 |        0 |        0
586.31/586.46	c  584s |      22 |  2050331 |  1928022 |     3878   1153 |        0 |        0
588.30/588.48	c  586s |      22 |  2056722 |  1934022 |     3878   1156 |        0 |        0
590.30/590.49	c  588s |      22 |  2063219 |  1939922 |     3878   1159 |        0 |        0
592.40/592.52	c  590s |      22 |  2069936 |  1946122 |     3878   1162 |        0 |        0
594.40/594.52	c  592s |      22 |  2077209 |  1953022 |     3878   1165 |        0 |        0
596.40/596.53	c  594s |      22 |  2084062 |  1959622 |     3878   1168 |        0 |        0
598.41/598.54	c  596s |      22 |  2091143 |  1966522 |     3878   1172 |        0 |        0
600.40/600.54	c  598s |      22 |  2098167 |  1973122 |     3878   1175 |        0 |        0
602.40/602.55	c  600s |      22 |  2105682 |  1980122 |     3878   1178 |        0 |        0
604.40/604.57	c  602s |      22 |  2113044 |  1987222 |     3878   1181 |        0 |        0
606.50/606.60	c  604s |      22 |  2120398 |  1994222 |     3878   1185 |        0 |        0
608.50/608.60	c  606s |      22 |  2127936 |  2001422 |     3878   1188 |        0 |        0
610.50/610.61	c  608s |      22 |  2135409 |  2008222 |     3878   1191 |        0 |        0
612.50/612.63	c  610s |      22 |  2142727 |  2014822 |     3878   1195 |        0 |        0
614.50/614.64	c  612s |      22 |  2150129 |  2021722 |     3878   1198 |        0 |        0
616.50/616.67	c  614s |      22 |  2157748 |  2028922 |     3878   1201 |        0 |        0
618.50/618.68	c  616s |      22 |  2165595 |  2036322 |     3878   1205 |        0 |        0
620.49/620.69	c  618s |      22 |  2172779 |  2042922 |     3878   1208 |        0 |        0
622.60/622.71	c  620s |      22 |  2179747 |  2049522 |     3878   1211 |        0 |        0
624.59/624.74	c  622s |      22 |  2186618 |  2056022 |     3878   1214 |        0 |        0
626.59/626.75	c  624s |      22 |  2193785 |  2062822 |     3878   1217 |        0 |        0
628.59/628.75	c  626s |      22 |  2201047 |  2069722 |     3878   1221 |        0 |        0
630.59/630.76	c  628s |      22 |  2208551 |  2076822 |     3878   1224 |        0 |        0
632.59/632.77	c  630s |      22 |  2215504 |  2083422 |     3878   1227 |        0 |        0
634.60/634.80	c  632s |      22 |  2223385 |  2091022 |     3878   1231 |        0 |        0
636.69/636.82	c  634s |      22 |  2230345 |  2097622 |     3878   1234 |        0 |        0
638.69/638.83	c  636s |      22 |  2238063 |  2104822 |     3878   1237 |        0 |        0
640.69/640.85	c  638s |      22 |  2246000 |  2111922 |     3878   1241 |        0 |        0
642.69/642.86	c  640s |      22 |  2254109 |  2119422 |     3878   1244 |        0 |        0
644.69/644.86	c  642s |      22 |  2262180 |  2126822 |     3878   1248 |        0 |        0
646.70/646.87	c  644s |      22 |  2269986 |  2133922 |     3878   1251 |        0 |        0
648.69/648.87	c  646s |      22 |  2277342 |  2140522 |     3878   1254 |        0 |        0
650.69/650.89	c  648s |      22 |  2284864 |  2147422 |     3878   1258 |        0 |        0
652.79/652.90	c  650s |      22 |  2292990 |  2155022 |     3878   1261 |        0 |        0
654.79/654.93	c  652s |      22 |  2300681 |  2162422 |     3878   1265 |        0 |        0
656.79/656.94	c  655s |      22 |  2307792 |  2169222 |     3878   1268 |        0 |        0
658.79/658.96	c  657s |      22 |  2315203 |  2176322 |     3878   1271 |        0 |        0
660.79/660.96	c  659s |      22 |  2322396 |  2183222 |     3878   1275 |        0 |        0
662.79/662.99	c  661s |      22 |  2329648 |  2190122 |     3878   1278 |        0 |        0
664.89/665.00	c  663s |      22 |  2337664 |  2197722 |     3878   1282 |        0 |        0
666.89/667.00	c  665s |      22 |  2345129 |  2204822 |     3878   1285 |        0 |        0
668.89/669.02	c  667s |      22 |  2352095 |  2211122 |     3878   1288 |        0 |        0
670.89/671.02	c  669s |      22 |  2359663 |  2218322 |     3878   1291 |        0 |        0
672.88/673.04	c  671s |      22 |  2367085 |  2225222 |     3878   1295 |        0 |        0
674.88/675.06	c  673s |      22 |  2374180 |  2232122 |     4266   1298 |        0 |        0
676.88/677.06	c  675s |      22 |  2381508 |  2239022 |     4266   1301 |        0 |        0
678.88/679.06	c  677s |      22 |  2388210 |  2245422 |     4266   1304 |        0 |        0
680.80/680.91	c  678s |      23 |  2394189 |  2251038 |     4266   1306 |        0 |        0
682.79/682.92	c  680s |      23 |  2402171 |  2258738 |     4266   1309 |        0 |        0
684.79/684.93	c  682s |      23 |  2408917 |  2265338 |     4266   1312 |        0 |        0
686.79/686.93	c  684s |      23 |  2415922 |  2272238 |     4266   1315 |        0 |        0
688.79/688.95	c  687s |      23 |  2423452 |  2279638 |     4266   1319 |        0 |        0
690.79/690.95	c  689s |      23 |  2430483 |  2286538 |     4266   1322 |        0 |        0
692.79/692.97	c  691s |      23 |  2437140 |  2293138 |     4266   1325 |        0 |        0
694.89/695.02	c  693s |      23 |  2443788 |  2299638 |     4266   1328 |        0 |        0
696.89/697.04	c  695s |      23 |  2450790 |  2306538 |     4266   1331 |        0 |        0
698.89/699.06	c  697s |      23 |  2457266 |  2312938 |     4266   1333 |        0 |        0
700.88/701.07	c  699s |      23 |  2464522 |  2319938 |     4266   1336 |        0 |        0
702.89/703.07	c  701s |      23 |  2471208 |  2326538 |     4266   1339 |        0 |        0
704.88/705.09	c  703s |      23 |  2478075 |  2333338 |     4266   1342 |        0 |        0
706.88/707.09	c  705s |      23 |  2485048 |  2339938 |     4266   1345 |        0 |        0
708.88/709.09	c  707s |      23 |  2491460 |  2346238 |     4266   1348 |        0 |        0
710.88/711.10	c  709s |      23 |  2498042 |  2352638 |     4266   1351 |        0 |        0
712.98/713.10	c  711s |      23 |  2504624 |  2359138 |     4266   1354 |        0 |        0
714.99/715.11	c  713s |      23 |  2512187 |  2366538 |     4266   1357 |        0 |        0
716.98/717.14	c  715s |      23 |  2519353 |  2373538 |     4266   1360 |        0 |        0
718.98/719.15	c  717s |      23 |  2526181 |  2380238 |     4266   1363 |        0 |        0
720.98/721.17	c  719s |      23 |  2532702 |  2386638 |     4266   1366 |        0 |        0
722.98/723.19	c  721s |      23 |  2538842 |  2392538 |     4266   1368 |        0 |        0
725.08/725.20	c  723s |      23 |  2545522 |  2398938 |     4266   1371 |        0 |        0
727.09/727.21	c  725s |      23 |  2550966 |  2404238 |     4266   1373 |        0 |        0
729.08/729.21	c  727s |      23 |  2556981 |  2410138 |     4266   1376 |        0 |        0
731.08/731.22	c  729s |      23 |  2562658 |  2415438 |     4266   1378 |        0 |        0
733.08/733.24	c  731s |      23 |  2568750 |  2421338 |     4266   1381 |        0 |        0
735.08/735.24	c  733s |      23 |  2575300 |  2427438 |     4266   1384 |        0 |        0
737.08/737.25	c  735s |      23 |  2581215 |  2433038 |     4266   1386 |        0 |        0
739.08/739.26	c  737s |      23 |  2587704 |  2439338 |     4266   1389 |        0 |        0
741.07/741.27	c  739s |      23 |  2594251 |  2445638 |     4266   1392 |        0 |        0
743.08/743.27	c  741s |      23 |  2601157 |  2452338 |     4266   1394 |        0 |        0
745.18/745.30	c  743s |      23 |  2607764 |  2458738 |     4266   1397 |        0 |        0
747.18/747.32	c  745s |      23 |  2613952 |  2464638 |     4266   1400 |        0 |        0
749.18/749.33	c  747s |      23 |  2620182 |  2470738 |     4266   1402 |        0 |        0
751.19/751.35	c  749s |      23 |  2626569 |  2476738 |     4266   1405 |        0 |        0
753.18/753.37	c  751s |      23 |  2633057 |  2482938 |     4266   1408 |        0 |        0
755.28/755.40	c  753s |      23 |  2639052 |  2488738 |     4266   1410 |        0 |        0
757.28/757.43	c  755s |      23 |  2645244 |  2494738 |     4266   1413 |        0 |        0
759.28/759.46	c  757s |      23 |  2650733 |  2500138 |     4266   1415 |        0 |        0
761.28/761.47	c  759s |      23 |  2656185 |  2505438 |     4266   1417 |        0 |        0
763.28/763.50	c  761s |      23 |  2661961 |  2510738 |     4266   1420 |        0 |        0
765.38/765.51	c  763s |      23 |  2667977 |  2516538 |     4266   1422 |        0 |        0
767.38/767.53	c  765s |      23 |  2673830 |  2522238 |     4266   1425 |        0 |        0
769.38/769.57	c  767s |      23 |  2680455 |  2528538 |     4266   1428 |        0 |        0
771.37/771.58	c  769s |      23 |  2686412 |  2534238 |     4266   1430 |        0 |        0
773.47/773.62	c  771s |      23 |  2692299 |  2539938 |     4266   1433 |        0 |        0
775.48/775.63	c  773s |      23 |  2698358 |  2545838 |     4266   1435 |        0 |        0
777.47/777.64	c  775s |      23 |  2705205 |  2552438 |     4266   1438 |        0 |        0
779.47/779.65	c  777s |      23 |  2711634 |  2558438 |     4266   1441 |        0 |        0
781.47/781.66	c  779s |      23 |  2717421 |  2564038 |     4266   1443 |        0 |        0
783.47/783.68	c  781s |      23 |  2722964 |  2569338 |     4266   1445 |        0 |        0
785.47/785.68	c  783s |      23 |  2728683 |  2574838 |     4266   1448 |        0 |        0
787.58/787.71	c  785s |      23 |  2734361 |  2580338 |     4266   1450 |        0 |        0
789.57/789.72	c  787s |      23 |  2739907 |  2585638 |     4266   1453 |        0 |        0
791.57/791.74	c  789s |      23 |  2745896 |  2591438 |     4266   1455 |        0 |        0
793.57/793.74	c  791s |      23 |  2752189 |  2597638 |     4266   1458 |        0 |        0
795.57/795.75	c  793s |      23 |  2758070 |  2603338 |     4266   1460 |        0 |        0
797.67/797.80	c  795s |      23 |  2763224 |  2608238 |     4266   1462 |        0 |        0
799.67/799.81	c  797s |      23 |  2768322 |  2613138 |     4266   1464 |        0 |        0
801.67/801.84	c  799s |      23 |  2774261 |  2618738 |     4266   1467 |        0 |        0
803.67/803.86	c  801s |      23 |  2779957 |  2623938 |     4266   1469 |        0 |        0
805.67/805.88	c  803s |      23 |  2786372 |  2629938 |     4266   1472 |        0 |        0
807.77/807.91	c  805s |      23 |  2792557 |  2636038 |     4266   1475 |        0 |        0
809.77/809.95	c  808s |      23 |  2799060 |  2642038 |     4266   1477 |        0 |        0
811.77/811.96	c  810s |      23 |  2805463 |  2647838 |     4266   1480 |        0 |        0
813.77/813.99	c  812s |      23 |  2811375 |  2653138 |     4266   1482 |        0 |        0
815.86/816.00	c  814s |      23 |  2817502 |  2658538 |     4266   1484 |        0 |        0
817.86/818.02	c  816s |      23 |  2823368 |  2663738 |     4266   1487 |        0 |        0
819.86/820.05	c  818s |      23 |  2828533 |  2668438 |     4266   1489 |        0 |        0
821.86/822.07	c  820s |      23 |  2834160 |  2673338 |     4266   1491 |        0 |        0
823.96/824.11	c  822s |      23 |  2840210 |  2678538 |     4266   1493 |        0 |        0
825.97/826.11	c  824s |      23 |  2846134 |  2683638 |     4266   1495 |        0 |        0
827.96/828.13	c  826s |      23 |  2852774 |  2689638 |     4266   1498 |        0 |        0
829.96/830.13	c  828s |      23 |  2859427 |  2695538 |     4266   1501 |        0 |        0
831.96/832.14	c  830s |      23 |  2866613 |  2701638 |     4266   1503 |        0 |        0
833.96/834.17	c  832s |      23 |  2872847 |  2707638 |     4266   1506 |        0 |        0
835.97/836.20	c  834s |      23 |  2878506 |  2712838 |     4266   1508 |        0 |        0
837.96/838.20	c  836s |      23 |  2884538 |  2718338 |     4266   1511 |        0 |        0
840.06/840.23	c  838s |      23 |  2890080 |  2723838 |     4266   1513 |        0 |        0
842.06/842.26	c  840s |      23 |  2896299 |  2729538 |     4266   1516 |        0 |        0
844.06/844.27	c  842s |      23 |  2902579 |  2735338 |     4266   1518 |        0 |        0
846.06/846.29	c  844s |      23 |  2909027 |  2741638 |     4266   1521 |        0 |        0
848.16/848.32	c  846s |      23 |  2914563 |  2746638 |     4266   1523 |        0 |        0
850.16/850.36	c  848s |      23 |  2920641 |  2752238 |     4266   1526 |        0 |        0
852.16/852.36	c  850s |      23 |  2926737 |  2757838 |     4266   1528 |        0 |        0
854.16/854.38	c  852s |      23 |  2932831 |  2763438 |     4266   1530 |        0 |        0
856.16/856.39	c  854s |      23 |  2939384 |  2769538 |     4266   1533 |        0 |        0
858.26/858.41	c  856s |      23 |  2945602 |  2775438 |     4266   1536 |        0 |        0
860.26/860.44	c  858s |      23 |  2951412 |  2780938 |     4266   1538 |        0 |        0
862.26/862.44	c  860s |      23 |  2957894 |  2786938 |     4266   1541 |        0 |        0
864.25/864.46	c  862s |      23 |  2964724 |  2793238 |     4266   1544 |        0 |        0
866.25/866.48	c  864s |      23 |  2970942 |  2799238 |     4266   1546 |        0 |        0
868.36/868.53	c  866s |      23 |  2976276 |  2804438 |     4266   1549 |        0 |        0
870.36/870.55	c  868s |      23 |  2982570 |  2810438 |     4266   1551 |        0 |        0
872.36/872.56	c  870s |      23 |  2989171 |  2816638 |     4266   1554 |        0 |        0
874.37/874.57	c  872s |      23 |  2995659 |  2822838 |     4266   1557 |        0 |        0
876.36/876.58	c  874s |      23 |  3002292 |  2828838 |     4266   1559 |        0 |        0
878.46/878.60	c  876s |      23 |  3008314 |  2834438 |     4266   1562 |        0 |        0
880.46/880.63	c  878s |      23 |  3015453 |  2841138 |     4266   1565 |        0 |        0
882.46/882.64	c  880s |      23 |  3021497 |  2846938 |     4266   1567 |        0 |        0
884.46/884.66	c  882s |      23 |  3028000 |  2853038 |     4266   1570 |        0 |        0
886.46/886.67	c  884s |      23 |  3034575 |  2859338 |     4266   1573 |        0 |        0
888.46/888.69	c  886s |      23 |  3041544 |  2865838 |     4266   1575 |        0 |        0
890.56/890.71	c  888s |      23 |  3047918 |  2871738 |     4266   1578 |        0 |        0
892.55/892.73	c  890s |      23 |  3054445 |  2877638 |     4266   1581 |        0 |        0
894.55/894.76	c  892s |      23 |  3060281 |  2882838 |     4266   1583 |        0 |        0
896.55/896.77	c  894s |      23 |  3066027 |  2888138 |     4266   1585 |        0 |        0
898.56/898.79	c  896s |      23 |  3072641 |  2894338 |     4266   1588 |        0 |        0
900.65/900.81	c  898s |      23 |  3078477 |  2899538 |     4266   1590 |        0 |        0
902.65/902.83	c  900s |      23 |  3085167 |  2905938 |     4266   1593 |        0 |        0
904.65/904.85	c  902s |      23 |  3090268 |  2910738 |     4266   1595 |        0 |        0
906.65/906.86	c  904s |      23 |  3096189 |  2916138 |     4266   1598 |        0 |        0
908.65/908.87	c  906s |      23 |  3102316 |  2921738 |     4266   1600 |        0 |        0
910.65/910.89	c  908s |      23 |  3108409 |  2927538 |     4266   1603 |        0 |        0
912.74/912.91	c  910s |      23 |  3114724 |  2933338 |     4266   1605 |        0 |        0
914.74/914.93	c  912s |      23 |  3120824 |  2938938 |     4266   1608 |        0 |        0
916.74/916.95	c  915s |      23 |  3126973 |  2944438 |     4266   1610 |        0 |        0
918.74/918.98	c  917s |      23 |  3133129 |  2950038 |     4266   1613 |        0 |        0
920.74/920.98	c  919s |      23 |  3139759 |  2956438 |     4266   1615 |        0 |        0
922.84/923.02	c  921s |      23 |  3146114 |  2962338 |     4266   1618 |        0 |        0
924.83/925.03	c  923s |      23 |  3152064 |  2967538 |     4266   1620 |        0 |        0
926.83/927.04	c  925s |      23 |  3158490 |  2973238 |     4266   1623 |        0 |        0
928.83/929.04	c  927s |      23 |  3164886 |  2979038 |     4266   1625 |        0 |        0
930.83/931.06	c  929s |      23 |  3171010 |  2984838 |     4266   1628 |        0 |        0
932.83/933.09	c  931s |      23 |  3177325 |  2990738 |     4266   1630 |        0 |        0
934.93/935.11	c  933s |      23 |  3183921 |  2996938 |     4266   1633 |        0 |        0
936.93/937.13	c  935s |      23 |  3190743 |  3003238 |     4266   1636 |        0 |        0
938.93/939.16	c  937s |      23 |  3196944 |  3009238 |     4266   1639 |        0 |        0
941.03/941.20	c  939s |      23 |  3203572 |  3015338 |     4266   1641 |        0 |        0
943.02/943.20	c  941s |      23 |  3209112 |  3020738 |     4266   1644 |        0 |        0
945.03/945.23	c  943s |      23 |  3215081 |  3026438 |     4266   1646 |        0 |        0
947.04/947.24	c  945s |      23 |  3220817 |  3031838 |     4266   1648 |        0 |        0
949.03/949.27	c  947s |      23 |  3227215 |  3037938 |     4266   1651 |        0 |        0
951.03/951.28	c  949s |      23 |  3233225 |  3043638 |     4266   1654 |        0 |        0
953.13/953.31	c  951s |      23 |  3239268 |  3049538 |     4266   1656 |        0 |        0
955.13/955.33	c  953s |      23 |  3245680 |  3055338 |     4266   1659 |        0 |        0
957.13/957.34	c  955s |      23 |  3252251 |  3061138 |     4266   1661 |        0 |        0
959.13/959.36	c  957s |      23 |  3258337 |  3066938 |     4266   1664 |        0 |        0
961.13/961.39	c  959s |      23 |  3264551 |  3072738 |     4266   1666 |        0 |        0
963.22/963.40	c  961s |      23 |  3270667 |  3078638 |     4266   1669 |        0 |        0
965.22/965.42	c  963s |      23 |  3276404 |  3084238 |     4266   1672 |        0 |        0
967.22/967.46	c  965s |      23 |  3282774 |  3090438 |     4266   1674 |        0 |        0
969.22/969.49	c  967s |      23 |  3288883 |  3096438 |     4266   1677 |        0 |        0
971.32/971.52	c  969s |      23 |  3295933 |  3103038 |     4266   1680 |        0 |        0
973.33/973.53	c  971s |      23 |  3302423 |  3109038 |     4266   1682 |        0 |        0
975.32/975.55	c  973s |      23 |  3308472 |  3114838 |     4266   1685 |        0 |        0
977.32/977.57	c  975s |      23 |  3315059 |  3121238 |     4266   1688 |        0 |        0
979.32/979.59	c  977s |      23 |  3321670 |  3127638 |     4266   1691 |        0 |        0
981.42/981.61	c  979s |      23 |  3328396 |  3134038 |     4266   1693 |        0 |        0
983.41/983.66	c  981s |      23 |  3335065 |  3140338 |     4266   1696 |        0 |        0
985.42/985.67	c  983s |      23 |  3341410 |  3146438 |     4266   1699 |        0 |        0
987.41/987.69	c  985s |      23 |  3348155 |  3153038 |     4266   1702 |        0 |        0
989.51/989.70	c  987s |      23 |  3354228 |  3158938 |     4266   1704 |        0 |        0
991.51/991.72	c  989s |      23 |  3360544 |  3165038 |     4266   1707 |        0 |        0
993.51/993.75	c  991s |      23 |  3367171 |  3171538 |     4266   1710 |        0 |        0
995.51/995.77	c  993s |      23 |  3373159 |  3177338 |     4266   1713 |        0 |        0
997.61/997.81	c  995s |      23 |  3379651 |  3183538 |     4266   1715 |        0 |        0
999.61/999.82	c  997s |      23 |  3385890 |  3189538 |     4266   1718 |        0 |        0
1001.61/1001.85	c  999s |      23 |  3392190 |  3195738 |     4266   1721 |        0 |        0
1003.60/1003.86	c 1001s |      23 |  3398825 |  3201938 |     4266   1723 |        0 |        0
1005.60/1005.88	c 1003s |      23 |  3404861 |  3207838 |     4266   1726 |        0 |        0
1007.70/1007.90	c 1005s |      23 |  3411334 |  3214238 |     4266   1729 |        0 |        0
1009.71/1009.90	c 1007s |      23 |  3417838 |  3220538 |     4266   1732 |        0 |        0
1011.70/1011.91	c 1009s |      23 |  3424067 |  3226138 |     4266   1734 |        0 |        0
1013.70/1013.94	c 1011s |      23 |  3430367 |  3231738 |     4266   1736 |        0 |        0
1015.70/1015.95	c 1014s |      23 |  3436869 |  3237838 |     4266   1739 |        0 |        0
1017.70/1017.98	c 1016s |      23 |  3443807 |  3244538 |     4266   1742 |        0 |        0
1019.70/1019.99	c 1018s |      23 |  3450108 |  3250638 |     4266   1745 |        0 |        0
1021.80/1022.03	c 1020s |      23 |  3456895 |  3256838 |     4266   1748 |        0 |        0
1023.79/1024.04	c 1022s |      23 |  3462854 |  3262538 |     4266   1750 |        0 |        0
1025.79/1026.04	c 1024s |      23 |  3468693 |  3267938 |     4266   1752 |        0 |        0
1027.89/1028.10	c 1026s |      23 |  3474052 |  3273138 |     4266   1755 |        0 |        0
1029.89/1030.11	c 1028s |      23 |  3480185 |  3278938 |     4266   1757 |        0 |        0
1031.89/1032.13	c 1030s |      23 |  3486478 |  3284938 |     4266   1760 |        0 |        0
1033.89/1034.18	c 1032s |      23 |  3492785 |  3290838 |     4266   1763 |        0 |        0
1035.89/1036.19	c 1034s |      23 |  3499100 |  3296938 |     4266   1765 |        0 |        0
1037.99/1038.21	c 1036s |      23 |  3505391 |  3303038 |     4266   1768 |        0 |        0
1039.99/1040.21	c 1038s |      23 |  3511761 |  3308938 |     4266   1770 |        0 |        0
1041.99/1042.25	c 1040s |      23 |  3517916 |  3314838 |     4266   1773 |        0 |        0
1043.98/1044.28	c 1042s |      23 |  3524439 |  3320838 |     4266   1776 |        0 |        0
1046.08/1046.30	c 1044s |      23 |  3530480 |  3326538 |     4266   1778 |        0 |        0
1048.09/1048.33	c 1046s |      23 |  3536684 |  3332638 |     4266   1781 |        0 |        0
1050.08/1050.36	c 1048s |      23 |  3542828 |  3338538 |     4266   1784 |        0 |        0
1052.08/1052.37	c 1050s |      23 |  3549332 |  3344938 |     4266   1786 |        0 |        0
1054.08/1054.38	c 1052s |      23 |  3555735 |  3351138 |     4693   1789 |        0 |        0
1056.08/1056.39	c 1054s |      23 |  3561773 |  3357138 |     4693   1791 |        0 |        0
1058.18/1058.41	c 1056s |      23 |  3567976 |  3363038 |     4693   1794 |        0 |        0
1060.18/1060.42	c 1058s |      23 |  3573806 |  3368738 |     4693   1796 |        0 |        0
1062.19/1062.42	c 1060s |      23 |  3580132 |  3374938 |     4693   1798 |        0 |        0
1062.78/1063.02	c 1061s |      24 |  3581868 |  3376662 |     4693   1799 |        0 |        0
1064.78/1065.03	c 1063s |      24 |  3587706 |  3382062 |     4693   1801 |        0 |        0
1066.79/1067.04	c 1065s |      24 |  3592702 |  3386662 |     4693   1803 |        0 |        0
1068.78/1069.05	c 1067s |      24 |  3598060 |  3391462 |     4693   1805 |        0 |        0
1070.78/1071.05	c 1069s |      24 |  3604844 |  3397462 |     4693   1807 |        0 |        0
1072.78/1073.08	c 1071s |      24 |  3611614 |  3403462 |     4693   1810 |        0 |        0
1074.88/1075.10	c 1073s |      24 |  3617008 |  3408062 |     4693   1812 |        0 |        0
1076.88/1077.12	c 1075s |      24 |  3623382 |  3413862 |     4693   1814 |        0 |        0
1078.89/1079.15	c 1077s |      24 |  3630199 |  3420162 |     4693   1817 |        0 |        0
1080.88/1081.16	c 1079s |      24 |  3636621 |  3426062 |     4693   1819 |        0 |        0
1082.87/1083.19	c 1081s |      24 |  3643110 |  3432062 |     4693   1821 |        0 |        0
1084.97/1085.21	c 1083s |      24 |  3650426 |  3438762 |     4693   1824 |        0 |        0
1086.97/1087.24	c 1085s |      24 |  3657480 |  3445262 |     4693   1827 |        0 |        0
1088.97/1089.26	c 1087s |      24 |  3664555 |  3451562 |     4693   1829 |        0 |        0
1090.98/1091.29	c 1089s |      24 |  3671555 |  3457962 |     4693   1832 |        0 |        0
1093.07/1093.30	c 1091s |      24 |  3678078 |  3463762 |     4693   1834 |        0 |        0
1095.07/1095.33	c 1093s |      24 |  3682974 |  3467762 |     4693   1836 |        0 |        0
1097.07/1097.35	c 1095s |      24 |  3689257 |  3473162 |     4693   1838 |        0 |        0
1099.07/1099.37	c 1097s |      24 |  3695012 |  3478362 |     4693   1840 |        0 |        0
1101.07/1101.39	c 1099s |      24 |  3701471 |  3484062 |     4693   1842 |        0 |        0
1103.07/1103.40	c 1101s |      24 |  3707842 |  3490062 |     4693   1845 |        0 |        0
1105.16/1105.43	c 1103s |      24 |  3713674 |  3495262 |     4693   1847 |        0 |        0
1107.16/1107.44	c 1105s |      24 |  3719228 |  3500462 |     4693   1849 |        0 |        0
1109.16/1109.46	c 1107s |      24 |  3725927 |  3506662 |     4693   1851 |        0 |        0
1111.16/1111.49	c 1109s |      24 |  3732605 |  3512962 |     4693   1854 |        0 |        0
1113.16/1113.49	c 1111s |      24 |  3738577 |  3518562 |     4693   1856 |        0 |        0
1115.26/1115.52	c 1113s |      24 |  3745030 |  3524562 |     4693   1859 |        0 |        0
1117.26/1117.55	c 1115s |      24 |  3751431 |  3530562 |     4693   1861 |        0 |        0
1119.36/1119.60	c 1117s |      24 |  3757140 |  3535862 |     4693   1863 |        0 |        0
1121.35/1121.60	c 1119s |      24 |  3763147 |  3541662 |     4693   1865 |        0 |        0
1123.35/1123.61	c 1121s |      24 |  3769395 |  3547562 |     4693   1868 |        0 |        0
1125.35/1125.64	c 1123s |      24 |  3776201 |  3553762 |     4693   1870 |        0 |        0
1127.36/1127.67	c 1125s |      24 |  3781977 |  3559262 |     4693   1873 |        0 |        0
1129.35/1129.68	c 1127s |      24 |  3787156 |  3564062 |     4693   1874 |        0 |        0
1131.45/1131.70	c 1129s |      24 |  3793284 |  3569462 |     4693   1877 |        0 |        0
1133.45/1133.71	c 1131s |      24 |  3799365 |  3574862 |     4693   1879 |        0 |        0
1135.45/1135.72	c 1133s |      24 |  3804923 |  3580062 |     4693   1881 |        0 |        0
1137.45/1137.73	c 1135s |      24 |  3811548 |  3585962 |     4693   1883 |        0 |        0
1139.45/1139.76	c 1137s |      24 |  3816891 |  3590962 |     4693   1885 |        0 |        0
1141.55/1141.81	c 1139s |      24 |  3822035 |  3595662 |     4693   1887 |        0 |        0
1143.54/1143.83	c 1141s |      24 |  3827521 |  3600362 |     4693   1889 |        0 |        0
1145.54/1145.86	c 1143s |      24 |  3832642 |  3604962 |     4693   1891 |        0 |        0
1147.54/1147.89	c 1145s |      24 |  3838720 |  3610262 |     4693   1893 |        0 |        0
1149.54/1149.89	c 1147s |      24 |  3842942 |  3614062 |     4693   1895 |        0 |        0
1151.64/1151.90	c 1149s |      24 |  3849014 |  3619362 |     4693   1897 |        0 |        0
1153.54/1153.90	c 1151s |      24 |  3854953 |  3624562 |     4693   1899 |        0 |        0
1155.64/1155.92	c 1153s |      24 |  3861434 |  3630562 |     4693   1901 |        0 |        0
1157.64/1157.94	c 1156s |      24 |  3867033 |  3635662 |     4693   1903 |        0 |        0
1159.63/1159.96	c 1158s |      24 |  3871548 |  3639762 |     4693   1905 |        0 |        0
1161.63/1161.99	c 1160s |      24 |  3877573 |  3645262 |     4693   1907 |        0 |        0
1163.73/1164.00	c 1162s |      24 |  3881729 |  3649062 |     4693   1909 |        0 |        0
1165.74/1166.02	c 1164s |      24 |  3887128 |  3653862 |     4693   1911 |        0 |        0
1167.74/1168.03	c 1166s |      24 |  3893217 |  3659262 |     4693   1913 |        0 |        0
1169.74/1170.08	c 1168s |      24 |  3897420 |  3663162 |     4693   1915 |        0 |        0
1171.84/1172.13	c 1170s |      24 |  3902678 |  3668062 |     4693   1917 |        0 |        0
1173.83/1174.17	c 1172s |      24 |  3907578 |  3672462 |     4693   1918 |        0 |        0
1175.83/1176.19	c 1174s |      24 |  3913524 |  3677762 |     4693   1920 |        0 |        0
1177.94/1178.23	c 1176s |      24 |  3917964 |  3681862 |     4693   1922 |        0 |        0
1179.93/1180.24	c 1178s |      24 |  3922267 |  3685762 |     4693   1924 |        0 |        0
1181.93/1182.27	c 1180s |      24 |  3926821 |  3690162 |     4693   1925 |        0 |        0
1184.03/1184.31	c 1182s |      24 |  3931327 |  3694462 |     4693   1927 |        0 |        0
1186.03/1186.33	c 1184s |      24 |  3936194 |  3699162 |     4693   1929 |        0 |        0
1188.03/1188.35	c 1186s |      24 |  3941152 |  3703862 |     4693   1931 |        0 |        0
1190.03/1190.39	c 1188s |      24 |  3946820 |  3709262 |     4693   1933 |        0 |        0
1192.13/1192.41	c 1190s |      24 |  3953891 |  3715762 |     4693   1936 |        0 |        0
1194.12/1194.45	c 1192s |      24 |  3960434 |  3722062 |     4693   1938 |        0 |        0
1196.12/1196.48	c 1194s |      24 |  3965842 |  3727162 |     4693   1940 |        0 |        0
1198.12/1198.49	c 1196s |      24 |  3971383 |  3732462 |     4693   1943 |        0 |        0
1200.22/1200.50	c 1198s |      24 |  3978133 |  3738662 |     4693   1945 |        0 |        0
1202.22/1202.50	c 1200s |      24 |  3984370 |  3744262 |     4693   1947 |        0 |        0
1204.22/1204.51	c 1202s |      24 |  3990780 |  3749862 |     4693   1950 |        0 |        0
1206.21/1206.54	c 1204s |      24 |  3996368 |  3755162 |     4693   1952 |        0 |        0
1208.21/1208.55	c 1206s |      24 |  4001953 |  3760362 |     4693   1954 |        0 |        0
1210.21/1210.59	c 1208s |      24 |  4007780 |  3765662 |     4693   1956 |        0 |        0
1212.31/1212.65	c 1210s |      24 |  4013402 |  3770862 |     4693   1958 |        0 |        0
1214.31/1214.67	c 1212s |      24 |  4018377 |  3775462 |     4693   1960 |        0 |        0
1216.31/1216.68	c 1214s |      24 |  4024832 |  3781362 |     4693   1962 |        0 |        0
1218.41/1218.71	c 1216s |      24 |  4030673 |  3786662 |     4693   1964 |        0 |        0
1220.41/1220.74	c 1218s |      24 |  4036882 |  3792462 |     4693   1967 |        0 |        0
1222.41/1222.76	c 1220s |      24 |  4043684 |  3798562 |     4693   1969 |        0 |        0
1224.40/1224.79	c 1222s |      24 |  4049860 |  3804262 |     4693   1972 |        0 |        0
1226.50/1226.80	c 1224s |      24 |  4056354 |  3810262 |     4693   1974 |        0 |        0
1228.51/1228.81	c 1226s |      24 |  4063565 |  3816962 |     4693   1977 |        0 |        0
1230.50/1230.82	c 1228s |      24 |  4070446 |  3823162 |     4693   1979 |        0 |        0
1232.50/1232.85	c 1230s |      24 |  4077155 |  3828962 |     4693   1981 |        0 |        0
1234.50/1234.85	c 1232s |      24 |  4082397 |  3833662 |     4693   1983 |        0 |        0
1236.50/1236.87	c 1234s |      24 |  4086743 |  3837762 |     4693   1985 |        0 |        0
1238.50/1238.89	c 1236s |      24 |  4091346 |  3842062 |     4693   1987 |        0 |        0
1240.51/1240.89	c 1238s |      24 |  4097089 |  3847362 |     4693   1989 |        0 |        0
1242.49/1242.89	c 1240s |      24 |  4103613 |  3853162 |     4693   1991 |        0 |        0
1244.60/1244.90	c 1242s |      24 |  4110212 |  3859262 |     4693   1994 |        0 |        0
1246.60/1246.92	c 1244s |      24 |  4116518 |  3865062 |     4693   1996 |        0 |        0
1248.60/1248.92	c 1246s |      24 |  4123008 |  3870762 |     4693   1998 |        0 |        0
1250.60/1250.94	c 1249s |      24 |  4129538 |  3876762 |     4693   2001 |        0 |        0
1252.61/1252.95	c 1251s |      24 |  4136762 |  3883462 |     4693   2004 |        0 |        0
1254.60/1254.95	c 1253s |      24 |  4143925 |  3890062 |     4693   2006 |        0 |        0
1256.60/1256.96	c 1255s |      24 |  4150707 |  3896162 |     4693   2009 |        0 |        0
1258.60/1258.99	c 1257s |      24 |  4156810 |  3901662 |     4693   2011 |        0 |        0
1260.70/1261.01	c 1259s |      24 |  4162202 |  3906362 |     4693   2013 |        0 |        0
1262.69/1263.03	c 1261s |      24 |  4168255 |  3911662 |     4693   2015 |        0 |        0
1264.70/1265.05	c 1263s |      24 |  4172855 |  3915862 |     4693   2017 |        0 |        0
1266.69/1267.08	c 1265s |      24 |  4177874 |  3920262 |     4693   2019 |        0 |        0
1268.79/1269.10	c 1267s |      24 |  4182742 |  3924762 |     4693   2020 |        0 |        0
1270.79/1271.14	c 1269s |      24 |  4187434 |  3929062 |     4693   2022 |        0 |        0
1272.79/1273.15	c 1271s |      24 |  4192667 |  3933862 |     4693   2024 |        0 |        0
1274.79/1275.17	c 1273s |      24 |  4199426 |  3939662 |     4693   2026 |        0 |        0
1276.79/1277.18	c 1275s |      24 |  4204569 |  3944462 |     4693   2028 |        0 |        0
1278.79/1279.19	c 1277s |      24 |  4210977 |  3950362 |     4693   2031 |        0 |        0
1280.89/1281.22	c 1279s |      24 |  4217384 |  3956062 |     4693   2033 |        0 |        0
1282.88/1283.23	c 1281s |      24 |  4222935 |  3961162 |     4693   2035 |        0 |        0
1284.88/1285.25	c 1283s |      24 |  4230241 |  3967562 |     4693   2038 |        0 |        0
1286.88/1287.28	c 1285s |      24 |  4235031 |  3971762 |     4693   2040 |        0 |        0
1288.89/1289.29	c 1287s |      24 |  4240347 |  3976762 |     4693   2042 |        0 |        0
1290.98/1291.30	c 1289s |      24 |  4248702 |  3984662 |     4693   2045 |        0 |        0
1292.98/1293.34	c 1291s |      24 |  4256376 |  3991862 |     4693   2048 |        0 |        0
1294.98/1295.35	c 1293s |      24 |  4261604 |  3996562 |     4693   2050 |        0 |        0
1296.97/1297.37	c 1295s |      24 |  4269302 |  4003462 |     4693   2052 |        0 |        0
1298.97/1299.38	c 1297s |      24 |  4276848 |  4010262 |     4693   2055 |        0 |        0
1300.98/1301.38	c 1299s |      24 |  4284480 |  4017062 |     4693   2058 |        0 |        0
1302.97/1303.40	c 1301s |      24 |  4291826 |  4023462 |     4693   2060 |        0 |        0
1305.07/1305.41	c 1303s |      24 |  4299563 |  4030562 |     4693   2063 |        0 |        0
1307.07/1307.41	c 1305s |      24 |  4306568 |  4036962 |     4693   2066 |        0 |        0
1309.07/1309.42	c 1307s |      24 |  4314640 |  4044262 |     4693   2069 |        0 |        0
1311.07/1311.44	c 1309s |      24 |  4321967 |  4050962 |     4693   2072 |        0 |        0
1313.07/1313.47	c 1311s |      24 |  4328792 |  4057162 |     4693   2074 |        0 |        0
1315.06/1315.49	c 1313s |      24 |  4335346 |  4062962 |     4693   2076 |        0 |        0
1317.06/1317.49	c 1315s |      24 |  4342770 |  4069862 |     4693   2079 |        0 |        0
1319.16/1319.50	c 1317s |      24 |  4350916 |  4077362 |     4693   2082 |        0 |        0
1321.16/1321.52	c 1319s |      24 |  4357575 |  4083262 |     4693   2085 |        0 |        0
1323.16/1323.54	c 1321s |      24 |  4365080 |  4089862 |     4693   2087 |        0 |        0
1325.16/1325.56	c 1323s |      24 |  4371834 |  4095862 |     4693   2090 |        0 |        0
1327.15/1327.57	c 1325s |      24 |  4378700 |  4102262 |     4693   2092 |        0 |        0
1329.15/1329.58	c 1327s |      24 |  4385982 |  4108762 |     4693   2095 |        0 |        0
1331.15/1331.59	c 1329s |      24 |  4392799 |  4114962 |     4693   2098 |        0 |        0
1333.25/1333.60	c 1331s |      24 |  4399346 |  4120762 |     4693   2100 |        0 |        0
1335.25/1335.62	c 1333s |      24 |  4405488 |  4126662 |     4693   2102 |        0 |        0
1337.26/1337.63	c 1335s |      24 |  4411978 |  4132862 |     4693   2105 |        0 |        0
1339.25/1339.64	c 1337s |      24 |  4418277 |  4138662 |     4693   2107 |        0 |        0
1341.25/1341.64	c 1339s |      24 |  4424452 |  4144562 |     4693   2110 |        0 |        0
1343.25/1343.66	c 1341s |      24 |  4431224 |  4150762 |     4693   2112 |        0 |        0
1345.35/1345.70	c 1343s |      24 |  4437915 |  4156762 |     4693   2114 |        0 |        0
1347.35/1347.74	c 1345s |      24 |  4444632 |  4163162 |     4693   2117 |        0 |        0
1349.36/1349.75	c 1347s |      24 |  4451751 |  4169862 |     4693   2120 |        0 |        0
1351.35/1351.76	c 1349s |      24 |  4458761 |  4176462 |     4693   2122 |        0 |        0
1353.35/1353.76	c 1351s |      24 |  4466204 |  4183162 |     4693   2125 |        0 |        0
1355.35/1355.79	c 1353s |      24 |  4473633 |  4190062 |     4693   2128 |        0 |        0
1357.44/1357.80	c 1355s |      24 |  4480588 |  4196462 |     4693   2131 |        0 |        0
1359.44/1359.80	c 1357s |      24 |  4487846 |  4203262 |     4693   2133 |        0 |        0
1361.45/1361.82	c 1359s |      24 |  4494599 |  4209462 |     4693   2136 |        0 |        0
1363.44/1363.83	c 1361s |      24 |  4501342 |  4215762 |     4693   2138 |        0 |        0
1365.44/1365.85	c 1363s |      24 |  4507898 |  4221962 |     4693   2141 |        0 |        0
1367.44/1367.88	c 1365s |      24 |  4514609 |  4228162 |     4693   2143 |        0 |        0
1369.44/1369.89	c 1367s |      24 |  4521491 |  4234562 |     4693   2146 |        0 |        0
1371.54/1371.90	c 1369s |      24 |  4528650 |  4241462 |     4693   2149 |        0 |        0
1373.54/1373.92	c 1371s |      24 |  4535392 |  4247762 |     4693   2151 |        0 |        0
1375.54/1375.95	c 1374s |      24 |  4542724 |  4254362 |     4693   2154 |        0 |        0
1377.54/1377.96	c 1376s |      24 |  4549362 |  4260362 |     4693   2156 |        0 |        0
1379.53/1379.96	c 1378s |      24 |  4556747 |  4267362 |     4693   2159 |        0 |        0
1381.53/1381.98	c 1380s |      24 |  4563441 |  4273662 |     4693   2162 |        0 |        0
1383.54/1383.98	c 1382s |      24 |  4570476 |  4280262 |     4693   2165 |        0 |        0
1385.53/1385.99	c 1384s |      24 |  4576122 |  4285662 |     4693   2167 |        0 |        0
1387.63/1388.03	c 1386s |      24 |  4581241 |  4290462 |     4693   2169 |        0 |        0
1389.63/1390.05	c 1388s |      24 |  4587101 |  4295962 |     4693   2171 |        0 |        0
1391.63/1392.05	c 1390s |      24 |  4593681 |  4302062 |     4693   2173 |        0 |        0
1393.62/1394.08	c 1392s |      24 |  4599956 |  4307862 |     4693   2176 |        0 |        0
1395.63/1396.09	c 1394s |      24 |  4607030 |  4314462 |     4693   2178 |        0 |        0
1397.62/1398.10	c 1396s |      24 |  4613447 |  4320462 |     4693   2181 |        0 |        0
1399.72/1400.14	c 1398s |      24 |  4620075 |  4326562 |     4693   2183 |        0 |        0
1401.72/1402.14	c 1400s |      24 |  4625800 |  4331762 |     4693   2185 |        0 |        0
1403.72/1404.17	c 1402s |      24 |  4631921 |  4337362 |     4693   2188 |        0 |        0
1405.72/1406.19	c 1404s |      24 |  4638820 |  4343662 |     4693   2190 |        0 |        0
1407.82/1408.20	c 1406s |      24 |  4645856 |  4350162 |     4693   2193 |        0 |        0
1409.82/1410.22	c 1408s |      24 |  4653152 |  4356962 |     4693   2196 |        0 |        0
1411.82/1412.24	c 1410s |      24 |  4660966 |  4364262 |     4693   2199 |        0 |        0
1413.81/1414.26	c 1412s |      24 |  4668360 |  4371062 |     4693   2201 |        0 |        0
1415.81/1416.28	c 1414s |      24 |  4675780 |  4377862 |     4693   2204 |        0 |        0
1417.81/1418.29	c 1416s |      24 |  4682223 |  4384162 |     4693   2207 |        0 |        0
1419.83/1420.29	c 1418s |      24 |  4690530 |  4391962 |     4693   2210 |        0 |        0
1421.82/1422.29	c 1420s |      24 |  4697056 |  4398362 |     4693   2212 |        0 |        0
1423.92/1424.30	c 1422s |      24 |  4703599 |  4404762 |     4693   2215 |        0 |        0
1425.92/1426.33	c 1424s |      24 |  4711045 |  4411562 |     4693   2218 |        0 |        0
1427.92/1428.36	c 1426s |      24 |  4718638 |  4418262 |     4693   2221 |        0 |        0
1429.92/1430.36	c 1428s |      24 |  4726090 |  4424962 |     4693   2223 |        0 |        0
1431.92/1432.38	c 1430s |      24 |  4733101 |  4431662 |     4693   2226 |        0 |        0
1433.91/1434.40	c 1432s |      24 |  4740788 |  4438762 |     4693   2229 |        0 |        0
1436.01/1436.42	c 1434s |      24 |  4747782 |  4445362 |     4693   2232 |        0 |        0
1438.01/1438.44	c 1436s |      24 |  4754210 |  4451162 |     4693   2234 |        0 |        0
1440.01/1440.48	c 1438s |      24 |  4760039 |  4456362 |     4693   2236 |        0 |        0
1442.01/1442.48	c 1440s |      24 |  4766255 |  4461962 |     4693   2238 |        0 |        0
1444.11/1444.51	c 1442s |      24 |  4772884 |  4468162 |     4693   2241 |        0 |        0
1446.11/1446.58	c 1444s |      24 |  4777639 |  4472662 |     4693   2243 |        0 |        0
1448.11/1448.59	c 1446s |      24 |  4784033 |  4478462 |     4693   2245 |        0 |        0
1450.21/1450.60	c 1448s |      24 |  4790187 |  4483962 |     4693   2247 |        0 |        0
1452.21/1452.62	c 1450s |      24 |  4797120 |  4490562 |     4693   2250 |        0 |        0
1454.20/1454.65	c 1452s |      24 |  4803163 |  4496162 |     4693   2252 |        0 |        0
1456.20/1456.67	c 1454s |      24 |  4809294 |  4501662 |     4693   2254 |        0 |        0
1458.31/1458.71	c 1456s |      24 |  4816202 |  4508162 |     4693   2257 |        0 |        0
1460.30/1460.71	c 1458s |      24 |  4822901 |  4514362 |     4693   2259 |        0 |        0
1462.30/1462.75	c 1460s |      24 |  4830984 |  4521762 |     4693   2262 |        0 |        0
1464.29/1464.77	c 1462s |      24 |  4838668 |  4528862 |     4693   2265 |        0 |        0
1466.29/1466.79	c 1464s |      24 |  4845694 |  4535462 |     4693   2268 |        0 |        0
1468.39/1468.82	c 1466s |      24 |  4852833 |  4542062 |     4693   2270 |        0 |        0
1470.40/1470.83	c 1468s |      24 |  4858936 |  4547762 |     4693   2273 |        0 |        0
1472.39/1472.86	c 1470s |      24 |  4864696 |  4553062 |     4693   2275 |        0 |        0
1474.39/1474.89	c 1472s |      24 |  4871182 |  4559162 |     4693   2277 |        0 |        0
1476.49/1476.90	c 1474s |      24 |  4878123 |  4565462 |     4693   2280 |        0 |        0
1478.49/1478.91	c 1476s |      24 |  4884801 |  4571362 |     4693   2282 |        0 |        0
1480.49/1480.92	c 1478s |      24 |  4891105 |  4577162 |     4693   2285 |        0 |        0
1482.49/1482.93	c 1480s |      24 |  4898366 |  4583662 |     4693   2287 |        0 |        0
1484.48/1484.95	c 1483s |      24 |  4905446 |  4589762 |     4693   2290 |        0 |        0
1486.48/1486.97	c 1485s |      24 |  4911049 |  4594862 |     4693   2292 |        0 |        0
1488.58/1489.02	c 1487s |      24 |  4916411 |  4599562 |     4693   2294 |        0 |        0
1490.58/1491.02	c 1489s |      24 |  4921875 |  4604362 |     4693   2296 |        0 |        0
1492.57/1493.02	c 1491s |      24 |  4927324 |  4609162 |     4693   2298 |        0 |        0
1494.58/1495.05	c 1493s |      24 |  4933703 |  4614862 |     4693   2300 |        0 |        0
1496.57/1497.05	c 1495s |      24 |  4939560 |  4620362 |     4693   2302 |        0 |        0
1498.57/1499.07	c 1497s |      24 |  4947045 |  4627162 |     4693   2305 |        0 |        0
1500.57/1501.09	c 1499s |      24 |  4953453 |  4632762 |     4693   2307 |        0 |        0
1502.67/1503.11	c 1501s |      24 |  4959595 |  4638462 |     4693   2310 |        0 |        0
1504.67/1505.11	c 1503s |      24 |  4964772 |  4643462 |     4693   2312 |        0 |        0
1506.67/1507.13	c 1505s |      24 |  4970625 |  4648862 |     4693   2314 |        0 |        0
1508.67/1509.13	c 1507s |      24 |  4976439 |  4653962 |     4693   2316 |        0 |        0
1510.67/1511.15	c 1509s |      24 |  4982027 |  4659162 |     4693   2318 |        0 |        0
1512.66/1513.17	c 1511s |      24 |  4988215 |  4664562 |     4693   2320 |        0 |        0
1514.66/1515.19	c 1513s |      24 |  4993233 |  4669362 |     4693   2322 |        0 |        0
1516.66/1517.19	c 1515s |      24 |  4999346 |  4675162 |     4693   2324 |        0 |        0
1518.77/1519.20	c 1517s |      24 |  5007141 |  4682062 |     4693   2327 |        0 |        0
1520.76/1521.23	c 1519s |      24 |  5014797 |  4688862 |     4693   2330 |        0 |        0
1522.77/1523.24	c 1521s |      24 |  5021424 |  4695162 |     4693   2333 |        0 |        0
1524.77/1525.26	c 1523s |      24 |  5028134 |  4701562 |     4693   2335 |        0 |        0
1526.77/1527.28	c 1525s |      24 |  5035447 |  4708062 |     4693   2338 |        0 |        0
1528.77/1529.29	c 1527s |      24 |  5042469 |  4714562 |     4693   2340 |        0 |        0
1530.87/1531.30	c 1529s |      24 |  5048521 |  4720262 |     4693   2343 |        0 |        0
1532.86/1533.33	c 1531s |      24 |  5055163 |  4726362 |     4693   2345 |        0 |        0
1534.86/1535.35	c 1533s |      24 |  5061847 |  4732562 |     4693   2348 |        0 |        0
1536.86/1537.37	c 1535s |      24 |  5068320 |  4738762 |     4693   2350 |        0 |        0
1538.86/1539.38	c 1537s |      24 |  5074399 |  4744662 |     4693   2352 |        0 |        0
1540.86/1541.38	c 1539s |      24 |  5080952 |  4750962 |     4693   2355 |        0 |        0
1542.86/1543.40	c 1541s |      24 |  5086538 |  4756462 |     4693   2357 |        0 |        0
1544.96/1545.41	c 1543s |      24 |  5093092 |  4762762 |     4693   2360 |        0 |        0
1546.96/1547.42	c 1545s |      24 |  5100007 |  4769362 |     4693   2362 |        0 |        0
1548.96/1549.45	c 1547s |      24 |  5105788 |  4774862 |     4693   2365 |        0 |        0
1550.95/1551.45	c 1549s |      24 |  5112440 |  4780862 |     4693   2367 |        0 |        0
1552.95/1553.46	c 1551s |      24 |  5118556 |  4786562 |     4693   2369 |        0 |        0
1555.06/1555.51	c 1553s |      24 |  5126152 |  4793562 |     4693   2372 |        0 |        0
1557.05/1557.51	c 1555s |      24 |  5132879 |  4799562 |     4693   2375 |        0 |        0
1559.05/1559.54	c 1557s |      24 |  5139981 |  4805962 |     4693   2377 |        0 |        0
1561.05/1561.56	c 1559s |      24 |  5146550 |  4811762 |     4693   2380 |        0 |        0
1563.05/1563.58	c 1561s |      24 |  5152539 |  4817262 |     4693   2382 |        0 |        0
1565.15/1565.60	c 1563s |      24 |  5158651 |  4822862 |     4693   2384 |        0 |        0
1567.16/1567.62	c 1565s |      24 |  5166274 |  4829762 |     4693   2387 |        0 |        0
1569.15/1569.67	c 1567s |      24 |  5172651 |  4835862 |     4693   2390 |        0 |        0
1571.15/1571.68	c 1569s |      24 |  5179071 |  4842162 |     4693   2392 |        0 |        0
1573.25/1573.70	c 1571s |      24 |  5185569 |  4848562 |     4693   2395 |        0 |        0
1575.25/1575.71	c 1573s |      24 |  5191662 |  4854362 |     4693   2397 |        0 |        0
1577.25/1577.71	c 1575s |      24 |  5197727 |  4860062 |     4693   2399 |        0 |        0
1579.25/1579.73	c 1577s |      24 |  5203190 |  4865162 |     4693   2401 |        0 |        0
1581.25/1581.76	c 1579s |      24 |  5209725 |  4871162 |     4693   2404 |        0 |        0
1583.25/1583.78	c 1581s |      24 |  5216019 |  4877162 |     4693   2406 |        0 |        0
1585.25/1585.79	c 1583s |      24 |  5221711 |  4882462 |     4693   2408 |        0 |        0
1587.34/1587.84	c 1585s |      24 |  5225909 |  4886362 |     4693   2410 |        0 |        0
1589.34/1589.89	c 1587s |      24 |  5230393 |  4890162 |     4693   2411 |        0 |        0
1591.35/1591.90	c 1589s |      24 |  5236590 |  4895862 |     4693   2413 |        0 |        0
1593.34/1593.90	c 1591s |      24 |  5242717 |  4901262 |     4693   2415 |        0 |        0
1595.44/1595.92	c 1593s |      24 |  5248798 |  4906962 |     4693   2418 |        0 |        0
1597.44/1597.93	c 1595s |      24 |  5254883 |  4912262 |     4693   2420 |        0 |        0
1599.44/1599.94	c 1598s |      24 |  5260527 |  4917162 |     4693   2422 |        0 |        0
1601.44/1601.96	c 1600s |      24 |  5265458 |  4921162 |     4693   2423 |        0 |        0
1603.45/1603.98	c 1602s |      24 |  5271255 |  4925862 |     4693   2425 |        0 |        0
1605.44/1606.00	c 1604s |      24 |  5276224 |  4930462 |     4693   2427 |        0 |        0
1607.55/1608.01	c 1606s |      24 |  5281480 |  4935062 |     4693   2429 |        0 |        0
1609.55/1610.04	c 1608s |      24 |  5286399 |  4939862 |     4693   2431 |        0 |        0
1611.55/1612.06	c 1610s |      24 |  5291217 |  4944462 |     4693   2433 |        0 |        0
1613.55/1614.09	c 1612s |      24 |  5296742 |  4949762 |     4693   2435 |        0 |        0
1615.65/1616.10	c 1614s |      24 |  5301415 |  4954062 |     4693   2436 |        0 |        0
1617.65/1618.12	c 1616s |      24 |  5307176 |  4959162 |     4693   2439 |        0 |        0
1619.64/1620.15	c 1618s |      24 |  5311801 |  4963062 |     4693   2440 |        0 |        0
1621.74/1622.21	c 1620s |      24 |  5315999 |  4966762 |     4693   2442 |        0 |        0
1623.74/1624.23	c 1622s |      24 |  5321729 |  4971962 |     4693   2444 |        0 |        0
1625.74/1626.24	c 1624s |      24 |  5328245 |  4977962 |     4693   2446 |        0 |        0
1627.74/1628.26	c 1626s |      24 |  5334383 |  4983762 |     4693   2448 |        0 |        0
1629.75/1630.26	c 1628s |      24 |  5340836 |  4989762 |     4693   2451 |        0 |        0
1631.74/1632.26	c 1630s |      24 |  5347535 |  4996162 |     4693   2453 |        0 |        0
1633.74/1634.28	c 1632s |      24 |  5354231 |  5002262 |     4693   2456 |        0 |        0
1635.84/1636.31	c 1634s |      24 |  5360570 |  5008062 |     4693   2458 |        0 |        0
1637.84/1638.33	c 1636s |      24 |  5365074 |  5012162 |     4693   2460 |        0 |        0
1639.84/1640.35	c 1638s |      24 |  5368630 |  5015362 |     4693   2461 |        0 |        0
1641.94/1642.41	c 1640s |      24 |  5373226 |  5019462 |     4693   2463 |        0 |        0
1643.94/1644.43	c 1642s |      24 |  5377936 |  5023862 |     5163   2464 |        0 |        0
1645.94/1646.45	c 1644s |      24 |  5383091 |  5028462 |     5163   2466 |        0 |        0
1647.94/1648.46	c 1646s |      24 |  5387177 |  5032462 |     5163   2467 |        0 |        0
1649.94/1650.49	c 1648s |      24 |  5391633 |  5036662 |     5163   2469 |        0 |        0
1652.03/1652.51	c 1650s |      24 |  5396519 |  5041162 |     5163   2470 |        0 |        0
1654.04/1654.58	c 1652s |      24 |  5401373 |  5045562 |     5163   2472 |        0 |        0
1656.03/1656.60	c 1654s |      24 |  5405442 |  5049362 |     5163   2473 |        0 |        0
1658.13/1658.63	c 1656s |      24 |  5409723 |  5053462 |     5163   2475 |        0 |        0
1660.23/1660.72	c 1658s |      24 |  5413098 |  5056562 |     5163   2476 |        0 |        0
1662.23/1662.72	c 1660s |      24 |  5417713 |  5060562 |     5163   2478 |        0 |        0
1664.13/1664.67	c 1662s |      25 |  5423009 |  5065098 |     5163   2479 |        0 |        0
1666.23/1666.72	c 1664s |      25 |  5429655 |  5071298 |     5163   2481 |        0 |        0
1668.24/1668.74	c 1666s |      25 |  5436134 |  5077498 |     5163   2484 |        0 |        0
1670.23/1670.76	c 1668s |      25 |  5442885 |  5083798 |     5163   2486 |        0 |        0
1672.24/1672.78	c 1670s |      25 |  5449481 |  5089998 |     5163   2488 |        0 |        0
1674.34/1674.80	c 1672s |      25 |  5455612 |  5095598 |     5163   2490 |        0 |        0
1676.34/1676.80	c 1674s |      25 |  5461662 |  5101298 |     5163   2492 |        0 |        0
1678.34/1678.81	c 1676s |      25 |  5467611 |  5106898 |     5163   2494 |        0 |        0
1680.34/1680.82	c 1678s |      25 |  5473832 |  5112798 |     5163   2497 |        0 |        0
1682.34/1682.88	c 1680s |      25 |  5479634 |  5118198 |     5163   2499 |        0 |        0
1684.44/1684.93	c 1682s |      25 |  5485709 |  5123998 |     5163   2501 |        0 |        0
1686.44/1686.94	c 1685s |      25 |  5491914 |  5129898 |     5163   2503 |        0 |        0
1688.44/1688.95	c 1687s |      25 |  5497570 |  5135398 |     5163   2505 |        0 |        0
1690.44/1690.96	c 1689s |      25 |  5503371 |  5140898 |     5163   2507 |        0 |        0
1692.44/1692.97	c 1691s |      25 |  5509464 |  5146798 |     5163   2509 |        0 |        0
1694.43/1694.97	c 1693s |      25 |  5515579 |  5152598 |     5163   2511 |        0 |        0
1696.43/1696.99	c 1695s |      25 |  5521472 |  5158298 |     5163   2513 |        0 |        0
1698.53/1699.00	c 1697s |      25 |  5527750 |  5164298 |     5163   2515 |        0 |        0
1700.53/1701.02	c 1699s |      25 |  5533955 |  5170298 |     5163   2517 |        0 |        0
1702.53/1703.04	c 1701s |      25 |  5540355 |  5176198 |     5163   2520 |        0 |        0
1704.54/1705.06	c 1703s |      25 |  5546064 |  5181698 |     5163   2522 |        0 |        0
1706.53/1707.07	c 1705s |      25 |  5551671 |  5187098 |     5163   2524 |        0 |        0
1708.53/1709.07	c 1707s |      25 |  5557792 |  5192698 |     5163   2526 |        0 |        0
1710.53/1711.09	c 1709s |      25 |  5563558 |  5198198 |     5163   2528 |        0 |        0
1712.63/1713.11	c 1711s |      25 |  5569823 |  5204198 |     5163   2530 |        0 |        0
1714.63/1715.14	c 1713s |      25 |  5575456 |  5209598 |     5163   2532 |        0 |        0
1716.64/1717.17	c 1715s |      25 |  5581408 |  5215298 |     5163   2534 |        0 |        0
1718.63/1719.18	c 1717s |      25 |  5587763 |  5221298 |     5163   2536 |        0 |        0
1720.63/1721.19	c 1719s |      25 |  5593071 |  5226398 |     5163   2538 |        0 |        0
1722.63/1723.19	c 1721s |      25 |  5598609 |  5231598 |     5163   2540 |        0 |        0
1724.73/1725.21	c 1723s |      25 |  5604379 |  5236998 |     5163   2542 |        0 |        0
1726.73/1727.24	c 1725s |      25 |  5609786 |  5242198 |     5163   2544 |        0 |        0
1728.73/1729.27	c 1727s |      25 |  5615955 |  5247998 |     5163   2546 |        0 |        0
1730.73/1731.27	c 1729s |      25 |  5621638 |  5253498 |     5163   2548 |        0 |        0
1732.83/1733.30	c 1731s |      25 |  5627744 |  5259398 |     5163   2550 |        0 |        0
1734.83/1735.34	c 1733s |      25 |  5633682 |  5265098 |     5163   2552 |        0 |        0
1736.83/1737.36	c 1735s |      25 |  5639334 |  5270498 |     5163   2554 |        0 |        0
1738.82/1739.38	c 1737s |      25 |  5645046 |  5275898 |     5163   2556 |        0 |        0
1740.83/1741.40	c 1739s |      25 |  5650485 |  5281098 |     5163   2558 |        0 |        0
1742.92/1743.43	c 1741s |      25 |  5655915 |  5286098 |     5163   2560 |        0 |        0
1744.92/1745.45	c 1743s |      25 |  5661753 |  5291598 |     5163   2562 |        0 |        0
1746.92/1747.47	c 1745s |      25 |  5667511 |  5297098 |     5163   2564 |        0 |        0
1748.92/1749.48	c 1747s |      25 |  5673716 |  5302998 |     5163   2566 |        0 |        0
1750.92/1751.48	c 1749s |      25 |  5679037 |  5308098 |     5163   2568 |        0 |        0
1752.93/1753.50	c 1751s |      25 |  5684762 |  5313598 |     5163   2570 |        0 |        0
1755.02/1755.51	c 1753s |      25 |  5690520 |  5318998 |     5163   2572 |        0 |        0
1757.02/1757.52	c 1755s |      25 |  5696451 |  5324598 |     5163   2574 |        0 |        0
1759.02/1759.52	c 1757s |      25 |  5702591 |  5330498 |     5163   2576 |        0 |        0
1761.02/1761.53	c 1759s |      25 |  5708810 |  5336498 |     5163   2578 |        0 |        0
1763.02/1763.54	c 1761s |      25 |  5714863 |  5342298 |     5163   2580 |        0 |        0
1765.02/1765.57	c 1763s |      25 |  5720818 |  5347798 |     5163   2582 |        0 |        0
1767.12/1767.60	c 1765s |      25 |  5726253 |  5352898 |     5163   2584 |        0 |        0
1769.12/1769.60	c 1767s |      25 |  5731962 |  5358098 |     5163   2586 |        0 |        0
1771.12/1771.63	c 1769s |      25 |  5737654 |  5363598 |     5163   2588 |        0 |        0
1773.12/1773.65	c 1771s |      25 |  5743845 |  5369598 |     5163   2590 |        0 |        0
1775.12/1775.66	c 1773s |      25 |  5749951 |  5375498 |     5163   2592 |        0 |        0
1777.13/1777.68	c 1775s |      25 |  5755600 |  5380998 |     5163   2594 |        0 |        0
1779.12/1779.70	c 1777s |      25 |  5762017 |  5386898 |     5163   2596 |        0 |        0
1781.22/1781.71	c 1779s |      25 |  5767981 |  5392498 |     5163   2598 |        0 |        0
1783.22/1783.73	c 1781s |      25 |  5773716 |  5397998 |     5163   2600 |        0 |        0
1785.22/1785.75	c 1783s |      25 |  5779501 |  5403598 |     5163   2602 |        0 |        0
1787.22/1787.77	c 1785s |      25 |  5785865 |  5409698 |     5163   2605 |        0 |        0
1789.23/1789.77	c 1787s |      25 |  5791972 |  5415598 |     5163   2607 |        0 |        0
1791.22/1791.78	c 1789s |      25 |  5797913 |  5421198 |     5163   2609 |        0 |        0
1793.32/1793.80	c 1791s |      25 |  5803771 |  5426798 |     5163   2611 |        0 |        0
1795.32/1795.80	c 1793s |      25 |  5809699 |  5432498 |     5163   2613 |        0 |        0
1797.32/1797.83	c 1795s |      25 |  5815776 |  5438298 |     5163   2615 |        0 |        0
1799.32/1799.83	c 1797s |      25 |  5821700 |  5443998 |     5163   2617 |        0 |        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-4080196-1465254776/watcher-4080196-1465254776 -o /tmp/evaluation-result-4080196-1465254776/solver-4080196-1465254776 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9912 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080196-1465254776.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.14 2.24 2.20 3/179 11545
/proc/meminfo: memFree=29659040/32872528 swapFree=12208/1156848
[pid=11545] ppid=11542 vsize=794044 CPUtime=0 cores=1,3,5,7
/proc/11545/stat : 11545 (toysat) R 11542 11545 9895 0 -1 4202496 2973 0 0 0 0 0 0 0 20 0 4 0 107412188 813101056 2823 33554432000 4194304 16246674 140734594849216 140734594848640 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11545/statm: 199023 2834 441 2943 0 195917 0
[pid=11545/tid=11546] ppid=11542 vsize=812476 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11546/stat : 11546 (toysat) S 11542 11545 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107412189 831975424 2898 33554432000 4194304 16246674 140734594849216 140692591455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11545/tid=11547] ppid=11542 vsize=816572 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11547/stat : 11547 (toysat) S 11542 11545 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107412189 836169728 2914 33554432000 4194304 16246674 140734594849216 140692580965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11545/tid=11548] ppid=11542 vsize=821692 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11548/stat : 11548 (toysat) S 11542 11545 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107412189 841412608 2931 33554432000 4194304 16246674 140734594849216 140692570492080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100181 s]
/proc/loadavg: 2.14 2.24 2.20 3/179 11545
/proc/meminfo: memFree=29659040/32872528 swapFree=12208/1156848
[pid=11545] ppid=11542 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/11545/stat : 11545 (toysat) R 11542 11545 9895 0 -1 4202496 21634 0 0 0 5 3 0 0 20 0 4 0 107412188 1247350784 21472 33554432000 4194304 16246674 140734594849216 140734594848640 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11545/statm: 304529 21477 758 2943 0 301423 0
[pid=11545/tid=11546] ppid=11542 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11546/stat : 11546 (toysat) S 11542 11545 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107412189 1247350784 21481 33554432000 4194304 16246674 140734594849216 140692591455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11545/tid=11547] ppid=11542 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11547/stat : 11547 (toysat) S 11542 11545 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107412189 1247350784 21486 33554432000 4194304 16246674 140734594849216 140692580965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11545/tid=11548] ppid=11542 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11548/stat : 11548 (toysat) S 11542 11545 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107412189 1247350784 21492 33554432000 4194304 16246674 140734594849216 140692570492080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200542 s]
/proc/loadavg: 2.14 2.24 2.20 3/179 11545
/proc/meminfo: memFree=29659040/32872528 swapFree=12208/1156848
[pid=11545] ppid=11542 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/11545/stat : 11545 (toysat) R 11542 11545 9895 0 -1 4202496 40386 0 0 0 14 5 0 0 20 0 4 0 107412188 1247350784 40224 33554432000 4194304 16246674 140734594849216 140734594848640 6021133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11545/statm: 304529 40238 758 2943 0 301423 0
[pid=11545/tid=11546] ppid=11542 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11546/stat : 11546 (toysat) S 11542 11545 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107412189 1247350784 40244 33554432000 4194304 16246674 140734594849216 140692591455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11545/tid=11547] ppid=11542 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11547/stat : 11547 (toysat) S 11542 11545 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107412189 1247350784 40253 33554432000 4194304 16246674 140734594849216 140692580965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11545/tid=11548] ppid=11542 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11548/stat : 11548 (toysat) S 11542 11545 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107412189 1247350784 40255 33554432000 4194304 16246674 140734594849216 140692570492080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.3005 s]
/proc/loadavg: 2.14 2.24 2.20 3/179 11545
/proc/meminfo: memFree=29659040/32872528 swapFree=12208/1156848
[pid=11545] ppid=11542 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/11545/stat : 11545 (toysat) R 11542 11545 9895 0 -1 4202496 58979 0 0 0 22 7 0 0 20 0 4 0 107412188 1247350784 58818 33554432000 4194304 16246674 140734594849216 140734594848640 5723873 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11545/statm: 304529 58824 765 2943 0 301423 0
[pid=11545/tid=11546] ppid=11542 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11546/stat : 11546 (toysat) S 11542 11545 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107412189 1247350784 58828 33554432000 4194304 16246674 140734594849216 140692591455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11545/tid=11547] ppid=11542 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11547/stat : 11547 (toysat) S 11542 11545 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107412189 1247350784 58833 33554432000 4194304 16246674 140734594849216 140692580965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11545/tid=11548] ppid=11542 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11548/stat : 11548 (toysat) S 11542 11545 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107412189 1247350784 58838 33554432000 4194304 16246674 140734594849216 140692570492080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700418 s]
/proc/loadavg: 2.14 2.24 2.20 3/179 11545
/proc/meminfo: memFree=29659040/32872528 swapFree=12208/1156848
[pid=11545] ppid=11542 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/11545/stat : 11545 (toysat) R 11542 11545 9895 0 -1 4202496 115709 0 0 0 53 16 0 0 20 0 4 0 107412188 1247350784 115547 33554432000 4194304 16246674 140734594849216 140734594848640 13759916 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11545/statm: 304529 115560 765 2943 0 301423 0
[pid=11545/tid=11546] ppid=11542 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11546/stat : 11546 (toysat) S 11542 11545 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107412189 1247350784 115563 33554432000 4194304 16246674 140734594849216 140692591455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11545/tid=11547] ppid=11542 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11547/stat : 11547 (toysat) S 11542 11545 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107412189 1247350784 115566 33554432000 4194304 16246674 140734594849216 140692580965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11545/tid=11548] ppid=11542 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11548/stat : 11548 (toysat) S 11542 11545 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107412189 1247350784 115570 33554432000 4194304 16246674 140734594849216 140692570492080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.14 2.24 2.20 3/183 11549
/proc/meminfo: memFree=28952820/32872528 swapFree=12208/1156848
[pid=11545] ppid=11542 vsize=1220164 CPUtime=1.49 cores=1,3,5,7
/proc/11545/stat : 11545 (toysat) R 11542 11545 9895 0 -1 4202496 246046 0 0 0 114 35 0 0 20 0 4 0 107412188 1249447936 245861 33554432000 4194304 16246674 140734594849216 140734594848528 6012036 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11545/statm: 305041 245861 832 2943 0 301935 0
[pid=11545/tid=11546] ppid=11542 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11546/stat : 11546 (toysat) S 11542 11545 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107412189 1249447936 245861 33554432000 4194304 16246674 140734594849216 140692591455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11545/tid=11547] ppid=11542 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11547/stat : 11547 (toysat) S 11542 11545 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107412189 1249447936 245861 33554432000 4194304 16246674 140734594849216 140692580965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11545/tid=11548] ppid=11542 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11548/stat : 11548 (toysat) S 11542 11545 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107412189 1249447936 245861 33554432000 4194304 16246674 140734594849216 140692570492080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1220164

[startup+3.10043 s]
/proc/loadavg: 2.14 2.24 2.20 3/183 11549
/proc/meminfo: memFree=28675780/32872528 swapFree=12208/1156848
[pid=11545] ppid=11542 vsize=1304132 CPUtime=3.09 cores=1,3,5,7
/proc/11545/stat : 11545 (toysat) R 11542 11545 9895 0 -1 4202496 266944 0 0 0 271 38 0 0 20 0 4 0 107412188 1335431168 266759 33554432000 4194304 16246674 140734594849216 140734594831104 12415766 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11545/statm: 326033 266759 852 2943 0 322927 0
[pid=11545/tid=11546] ppid=11542 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11546/stat : 11546 (toysat) S 11542 11545 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107412189 1335431168 266759 33554432000 4194304 16246674 140734594849216 140692591455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11545/tid=11547] ppid=11542 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11547/stat : 11547 (toysat) S 11542 11545 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107412189 1335431168 266759 33554432000 4194304 16246674 140734594849216 140692580965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11545/tid=11548] ppid=11542 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11548/stat : 11548 (toysat) S 11542 11545 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107412189 1335431168 266759 33554432000 4194304 16246674 140734594849216 140692570492080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1304132

[startup+6.30043 s]
/proc/loadavg: 2.29 2.27 2.21 4/183 11549
/proc/meminfo: memFree=28588236/32872528 swapFree=12208/1156848
[pid=11545] ppid=11542 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/11545/stat : 11545 (toysat) R 11542 11545 9895 0 -1 4202496 267896 0 0 0 591 38 0 0 20 0 4 0 107412188 1338576896 267711 33554432000 4194304 16246674 140734594849216 140734594831104 5712619 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11545/statm: 326801 267711 852 2943 0 323695 0
[pid=11545/tid=11546] ppid=11542 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11546/stat : 11546 (toysat) S 11542 11545 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107412189 1338576896 267711 33554432000 4194304 16246674 140734594849216 140692591455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11545/tid=11547] ppid=11542 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11547/stat : 11547 (toysat) S 11542 11545 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107412189 1338576896 267711 33554432000 4194304 16246674 140734594849216 140692580965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11545/tid=11548] ppid=11542 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11548/stat : 11548 (toysat) S 11542 11545 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107412189 1338576896 267711 33554432000 4194304 16246674 140734594849216 140692570492080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.34 2.28 2.22 3/183 11549
/proc/meminfo: memFree=28586068/32872528 swapFree=12208/1156848
[pid=11545] ppid=11542 vsize=1309252 CPUtime=12.68 cores=1,3,5,7
/proc/11545/stat : 11545 (toysat) R 11542 11545 9895 0 -1 4202496 268410 0 0 0 1230 38 0 0 20 0 4 0 107412188 1340674048 268225 33554432000 4194304 16246674 140734594849216 140734594831104 5545784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11545/statm: 327313 268225 854 2943 0 324207 0
[pid=11545/tid=11546] ppid=11542 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11546/stat : 11546 (toysat) S 11542 11545 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107412189 1340674048 268225 33554432000 4194304 16246674 140734594849216 140692591455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11545/tid=11547] ppid=11542 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11547/stat : 11547 (toysat) S 11542 11545 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107412189 1340674048 268225 33554432000 4194304 16246674 140734594849216 140692580965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11545/tid=11548] ppid=11542 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11548/stat : 11548 (toysat) S 11542 11545 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107412189 1340674048 268225 33554432000 4194304 16246674 140734594849216 140692570492080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1309252

[startup+25.5005 s]
/proc/loadavg: 2.27 2.27 2.21 3/183 11549
/proc/meminfo: memFree=28586580/32872528 swapFree=12208/1156848
[pid=11545] ppid=11542 vsize=1309252 CPUtime=25.48 cores=1,3,5,7
/proc/11545/stat : 11545 (toysat) R 11542 11545 9895 0 -1 4202496 268410 0 0 0 2510 38 0 0 20 0 4 0 107412188 1340674048 268225 33554432000 4194304 16246674 140734594849216 140734594831104 5711439 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11545/statm: 327313 268225 854 2943 0 324207 0
[pid=11545/tid=11546] ppid=11542 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11546/stat : 11546 (toysat) S 11542 11545 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107412189 1340674048 268225 33554432000 4194304 16246674 140734594849216 140692591455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11545/tid=11547] ppid=11542 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11547/stat : 11547 (toysat) S 11542 11545 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107412189 1340674048 268225 33554432000 4194304 16246674 140734594849216 140692580965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11545/tid=11548] ppid=11542 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11548/stat : 11548 (toysat) S 11542 11545 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107412189 1340674048 268225 33554432000 4194304 16246674 140734594849216 140692570492080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1309252

[startup+51.1005 s]
/proc/loadavg: 2.32 2.28 2.22 4/183 11550
/proc/meminfo: memFree=28583360/32872528 swapFree=12208/1156848
[pid=11545] ppid=11542 vsize=1312324 CPUtime=51.08 cores=1,3,5,7
/proc/11545/stat : 11545 (toysat) R 11542 11545 9895 0 -1 4202496 269178 0 0 0 5069 39 0 0 20 0 4 0 107412188 1343819776 268993 33554432000 4194304 16246674 140734594849216 140734594831104 5711956 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11545/statm: 328081 268993 854 2943 0 324975 0
[pid=11545/tid=11546] ppid=11542 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11546/stat : 11546 (toysat) S 11542 11545 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107412189 1343819776 268993 33554432000 4194304 16246674 140734594849216 140692591455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11545/tid=11547] ppid=11542 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11547/stat : 11547 (toysat) S 11542 11545 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107412189 1343819776 268993 33554432000 4194304 16246674 140734594849216 140692580965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11545/tid=11548] ppid=11542 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11548/stat : 11548 (toysat) S 11542 11545 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107412189 1343819776 268993 33554432000 4194304 16246674 140734594849216 140692570492080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.27 2.26 2.21 3/183 11551
/proc/meminfo: memFree=28583244/32872528 swapFree=12208/1156848
[pid=11545] ppid=11542 vsize=1312324 CPUtime=102.28 cores=1,3,5,7
/proc/11545/stat : 11545 (toysat) R 11542 11545 9895 0 -1 4202496 269178 0 0 0 10189 39 0 0 20 0 4 0 107412188 1343819776 268993 33554432000 4194304 16246674 140734594849216 140734594831104 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11545/statm: 328081 268993 854 2943 0 324975 0
[pid=11545/tid=11546] ppid=11542 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11546/stat : 11546 (toysat) S 11542 11545 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107412189 1343819776 268993 33554432000 4194304 16246674 140734594849216 140692591455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11545/tid=11547] ppid=11542 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11547/stat : 11547 (toysat) S 11542 11545 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107412189 1343819776 268993 33554432000 4194304 16246674 140734594849216 140692580965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11545/tid=11548] ppid=11542 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11548/stat : 11548 (toysat) S 11542 11545 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107412189 1343819776 268993 33554432000 4194304 16246674 140734594849216 140692570492080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1312324


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

/proc/11545/task/11548/stat : 11548 (toysat) S 11542 11545 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107412189 1352208384 271298 33554432000 4194304 16246674 140734594849216 140692570492080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1320516

[startup+1362.3 s]
/proc/loadavg: 2.36 2.26 2.19 3/183 11582
/proc/meminfo: memFree=28568924/32872528 swapFree=12208/1156848
[pid=11545] ppid=11542 vsize=1320516 CPUtime=1361.94 cores=1,3,5,7
/proc/11545/stat : 11545 (toysat) R 11542 11545 9895 0 -1 4202496 271517 0 0 0 136142 52 0 0 20 0 4 0 107412188 1352208384 271298 33554432000 4194304 16246674 140734594849216 140734594831104 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11545/statm: 330129 271298 855 2943 0 327023 0
[pid=11545/tid=11546] ppid=11542 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11546/stat : 11546 (toysat) S 11542 11545 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107412189 1352208384 271298 33554432000 4194304 16246674 140734594849216 140692591455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11545/tid=11547] ppid=11542 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11547/stat : 11547 (toysat) S 11542 11545 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107412189 1352208384 271298 33554432000 4194304 16246674 140734594849216 140692580965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11545/tid=11548] ppid=11542 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11548/stat : 11548 (toysat) S 11542 11545 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107412189 1352208384 271298 33554432000 4194304 16246674 140734594849216 140692570492080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1320516

[startup+1422.3 s]
/proc/loadavg: 2.19 2.23 2.18 3/183 11583
/proc/meminfo: memFree=28569088/32872528 swapFree=12208/1156848
[pid=11545] ppid=11542 vsize=1320516 CPUtime=1421.93 cores=1,3,5,7
/proc/11545/stat : 11545 (toysat) R 11542 11545 9895 0 -1 4202496 271554 0 0 0 142140 53 0 0 20 0 4 0 107412188 1352208384 271298 33554432000 4194304 16246674 140734594849216 140734594831104 5599200 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11545/statm: 330129 271298 855 2943 0 327023 0
[pid=11545/tid=11546] ppid=11542 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11546/stat : 11546 (toysat) S 11542 11545 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107412189 1352208384 271298 33554432000 4194304 16246674 140734594849216 140692591455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11545/tid=11547] ppid=11542 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11547/stat : 11547 (toysat) S 11542 11545 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107412189 1352208384 271298 33554432000 4194304 16246674 140734594849216 140692580965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11545/tid=11548] ppid=11542 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11548/stat : 11548 (toysat) S 11542 11545 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107412189 1352208384 271298 33554432000 4194304 16246674 140734594849216 140692570492080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1320516

[startup+1482.3 s]
/proc/loadavg: 2.12 2.20 2.17 3/183 11584
/proc/meminfo: memFree=28568880/32872528 swapFree=12208/1156848
[pid=11545] ppid=11542 vsize=1320516 CPUtime=1481.89 cores=1,3,5,7
/proc/11545/stat : 11545 (toysat) R 11542 11545 9895 0 -1 4202496 271598 0 0 0 148136 53 0 0 20 0 4 0 107412188 1352208384 271298 33554432000 4194304 16246674 140734594849216 140734594832216 5723721 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11545/statm: 330129 271298 855 2943 0 327023 0
[pid=11545/tid=11546] ppid=11542 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11546/stat : 11546 (toysat) S 11542 11545 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107412189 1352208384 271298 33554432000 4194304 16246674 140734594849216 140692591455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11545/tid=11547] ppid=11542 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11547/stat : 11547 (toysat) S 11542 11545 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107412189 1352208384 271298 33554432000 4194304 16246674 140734594849216 140692580965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11545/tid=11548] ppid=11542 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11548/stat : 11548 (toysat) S 11542 11545 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107412189 1352208384 271298 33554432000 4194304 16246674 140734594849216 140692570492080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1320516

[startup+1542.31 s]
/proc/loadavg: 2.16 2.20 2.18 3/183 11683
/proc/meminfo: memFree=28870448/32872528 swapFree=12208/1156848
[pid=11545] ppid=11542 vsize=1320516 CPUtime=1541.87 cores=1,3,5,7
/proc/11545/stat : 11545 (toysat) R 11542 11545 9895 0 -1 4202496 271633 0 0 0 154133 54 0 0 20 0 4 0 107412188 1352208384 271300 33554432000 4194304 16246674 140734594849216 140734594831104 5825199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11545/statm: 330129 271300 855 2943 0 327023 0
[pid=11545/tid=11546] ppid=11542 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11546/stat : 11546 (toysat) S 11542 11545 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107412189 1352208384 271300 33554432000 4194304 16246674 140734594849216 140692591455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11545/tid=11547] ppid=11542 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11547/stat : 11547 (toysat) S 11542 11545 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107412189 1352208384 271300 33554432000 4194304 16246674 140734594849216 140692580965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11545/tid=11548] ppid=11542 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11548/stat : 11548 (toysat) S 11542 11545 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107412189 1352208384 271300 33554432000 4194304 16246674 140734594849216 140692570492080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1320516

[startup+1602.3 s]
/proc/loadavg: 2.12 2.18 2.17 3/183 11685
/proc/meminfo: memFree=28561736/32872528 swapFree=12208/1156848
[pid=11545] ppid=11542 vsize=1322564 CPUtime=1601.84 cores=1,3,5,7
/proc/11545/stat : 11545 (toysat) R 11542 11545 9895 0 -1 4202496 271960 0 0 0 160130 54 0 0 20 0 4 0 107412188 1354305536 271620 33554432000 4194304 16246674 140734594849216 140734594831104 13191984 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11545/statm: 330641 271620 855 2943 0 327535 0
[pid=11545/tid=11546] ppid=11542 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11546/stat : 11546 (toysat) S 11542 11545 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107412189 1354305536 271620 33554432000 4194304 16246674 140734594849216 140692591455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11545/tid=11547] ppid=11542 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11547/stat : 11547 (toysat) S 11542 11545 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107412189 1354305536 271620 33554432000 4194304 16246674 140734594849216 140692580965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11545/tid=11548] ppid=11542 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11548/stat : 11548 (toysat) S 11542 11545 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107412189 1354305536 271620 33554432000 4194304 16246674 140734594849216 140692570492080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1322564

[startup+1662.3 s]
/proc/loadavg: 2.19 2.19 2.17 3/184 11689
/proc/meminfo: memFree=28560980/32872528 swapFree=12208/1156848
[pid=11545] ppid=11542 vsize=1322564 CPUtime=1661.83 cores=1,3,5,7
/proc/11545/stat : 11545 (toysat) R 11542 11545 9895 0 -1 4202496 272152 0 0 0 166128 55 0 0 20 0 4 0 107412188 1354305536 271812 33554432000 4194304 16246674 140734594849216 140734594832216 5711980 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11545/statm: 330641 271812 855 2943 0 327535 0
[pid=11545/tid=11546] ppid=11542 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11546/stat : 11546 (toysat) S 11542 11545 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107412189 1354305536 271812 33554432000 4194304 16246674 140734594849216 140692591455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11545/tid=11547] ppid=11542 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11547/stat : 11547 (toysat) S 11542 11545 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107412189 1354305536 271812 33554432000 4194304 16246674 140734594849216 140692580965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11545/tid=11548] ppid=11542 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11548/stat : 11548 (toysat) S 11542 11545 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107412189 1354305536 271812 33554432000 4194304 16246674 140734594849216 140692570492080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1322564

[startup+1722.3 s]
/proc/loadavg: 2.19 2.18 2.17 4/183 11690
/proc/meminfo: memFree=28560520/32872528 swapFree=12208/1156848
[pid=11545] ppid=11542 vsize=1322564 CPUtime=1721.83 cores=1,3,5,7
/proc/11545/stat : 11545 (toysat) R 11542 11545 9895 0 -1 4202496 272152 0 0 0 172127 56 0 0 20 0 4 0 107412188 1354305536 271812 33554432000 4194304 16246674 140734594849216 140734594831104 5677667 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11545/statm: 330641 271812 855 2943 0 327535 0
[pid=11545/tid=11546] ppid=11542 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11546/stat : 11546 (toysat) S 11542 11545 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107412189 1354305536 271812 33554432000 4194304 16246674 140734594849216 140692591455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11545/tid=11547] ppid=11542 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11547/stat : 11547 (toysat) S 11542 11545 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107412189 1354305536 271812 33554432000 4194304 16246674 140734594849216 140692580965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11545/tid=11548] ppid=11542 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11548/stat : 11548 (toysat) S 11542 11545 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107412189 1354305536 271812 33554432000 4194304 16246674 140734594849216 140692570492080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1322564

[startup+1782.3 s]
/proc/loadavg: 2.26 2.19 2.18 3/183 11691
/proc/meminfo: memFree=28560196/32872528 swapFree=12208/1156848
[pid=11545] ppid=11542 vsize=1322564 CPUtime=1781.82 cores=1,3,5,7
/proc/11545/stat : 11545 (toysat) R 11542 11545 9895 0 -1 4202496 272152 0 0 0 178125 57 0 0 20 0 4 0 107412188 1354305536 271812 33554432000 4194304 16246674 140734594849216 140734594831104 5754961 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11545/statm: 330641 271812 855 2943 0 327535 0
[pid=11545/tid=11546] ppid=11542 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11546/stat : 11546 (toysat) S 11542 11545 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107412189 1354305536 271812 33554432000 4194304 16246674 140734594849216 140692591455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11545/tid=11547] ppid=11542 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11547/stat : 11547 (toysat) S 11542 11545 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107412189 1354305536 271812 33554432000 4194304 16246674 140734594849216 140692580965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11545/tid=11548] ppid=11542 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11548/stat : 11548 (toysat) S 11542 11545 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107412189 1354305536 271812 33554432000 4194304 16246674 140734594849216 140692570492080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1322564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.24 2.20 2.18 3/183 11691
/proc/meminfo: memFree=28560516/32872528 swapFree=12208/1156848
[pid=11545] ppid=11542 vsize=1322564 CPUtime=1800.02 cores=1,3,5,7
/proc/11545/stat : 11545 (toysat) R 11542 11545 9895 0 -1 4202496 272152 0 0 0 179945 57 0 0 20 0 4 0 107412188 1354305536 271812 33554432000 4194304 16246674 140734594849216 140734594831104 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11545/statm: 330641 271812 855 2943 0 327535 0
[pid=11545/tid=11546] ppid=11542 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11546/stat : 11546 (toysat) S 11542 11545 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107412189 1354305536 271812 33554432000 4194304 16246674 140734594849216 140692591455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11545/tid=11547] ppid=11542 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11547/stat : 11547 (toysat) S 11542 11545 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107412189 1354305536 271812 33554432000 4194304 16246674 140734594849216 140692580965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11545/tid=11548] ppid=11542 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11548/stat : 11548 (toysat) S 11542 11545 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107412189 1354305536 271812 33554432000 4194304 16246674 140734594849216 140692570492080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1322564

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

[startup+1800.5 s]
/proc/loadavg: 2.24 2.20 2.18 3/183 11691
/proc/meminfo: memFree=28560516/32872528 swapFree=12208/1156848
[pid=11545] ppid=11542 vsize=1322564 CPUtime=1800.02 cores=1,3,5,7
/proc/11545/stat : 11545 (toysat) R 11542 11545 9895 0 -1 4202496 272152 0 0 0 179945 57 0 0 20 0 4 0 107412188 1354305536 271812 33554432000 4194304 16246674 140734594849216 140734594831104 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11545/statm: 330641 271812 855 2943 0 327535 0
[pid=11545/tid=11546] ppid=11542 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11546/stat : 11546 (toysat) S 11542 11545 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107412189 1354305536 271812 33554432000 4194304 16246674 140734594849216 140692591455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11545/tid=11547] ppid=11542 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11547/stat : 11547 (toysat) S 11542 11545 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107412189 1354305536 271812 33554432000 4194304 16246674 140734594849216 140692580965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11545/tid=11548] ppid=11542 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11545/task/11548/stat : 11548 (toysat) S 11542 11545 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107412189 1354305536 271812 33554432000 4194304 16246674 140734594849216 140692570492080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1322564

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.46
CPU system time (s): 0.570913
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 1322564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.570913
maximum resident set size= 1087248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272152
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= 425
involuntary context switches= 1834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.76228 second user time and 7.00693 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-07 01:12:56
IDJOB=4080196
IDBENCH=47998
IDSOLVER=2542
FILE ID=node114/4080196-1465254776
RUNJOBID= node114-1465241547-9912
PBS_JOBID= 19843245
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=139-P1=101-P2=227-P3=251-P4=227-P5=251-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080196-1465254776/watcher-4080196-1465254776 -o /tmp/evaluation-result-4080196-1465254776/solver-4080196-1465254776 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9912 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080196-1465254776.opb

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

MD5SUM BENCH= 1d3dc680e7fede194f84acfa61415e9b
RANDOM SEED=1562261937

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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:        29659676 kB
Buffers:           58488 kB
Cached:           214140 kB
SwapCached:         1720 kB
Active:          1199292 kB
Inactive:         153792 kB
Active(anon):    1081632 kB
Inactive(anon):     1200 kB
Active(file):     117660 kB
Inactive(file):   152592 kB
Unevictable:     1156848 kB
Mlocked:           12208 kB
SwapTotal:      67108856 kB
SwapFree:       67096604 kB
Dirty:             16380 kB
Writeback:             4 kB
AnonPages:       2236056 kB
Mapped:            10496 kB
Shmem:                 0 kB
Slab:             570100 kB
SReclaimable:      14104 kB
SUnreclaim:       555996 kB
KernelStack:        1480 kB
PageTables:         8652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2379144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1150976 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= 71704 MiB
End job on node114 at 2016-06-07 01:42:57