0.00/0.00	c 2016-06-16T23:10:33+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","--wbo","--search=bcd2","HOME/instance-4093513-1466111433.wbo"]
0.00/0.01	c use --random-gen="3055316680 2612648146 4220662859 97725263 3290313015 3047509270 1580231095 2888073541 546176475 882637166 1468975486 1714308024 1212410655 829431121 3916339822 2854482907 1995901315 3021523005 2446404762 2756468211 405435957 1786678907 3376805105 2826177632 4286412938 931079477 3836095078 4291688456 1040588356 2695375803 726865409 2477487434 732972187 2739787782 2744347280 2005136923 3621301694 4097240069 1912477505 1644910356 3292574790 2907740851 4084240994 3951744133 2560681661 212488231 3974668350 984233932 3385508238 126467646 1698843394 1951155359 1218403321 4043363945 1569784095 4006727072 3434294478 310759938 3613365018 1777132284 4187324667 190015355 3341197470 4268752433 360265132 3794795542 3273564823 3925579628 1207856195 3983513427 3685281333 1128377234 3544058641 3657254503 1810896748 3194905198 1618600999 964486561 534228719 1229792910 628434788 353523801 3650950699 2249470670 3542670195 3038188372 3818791421 1282384407 4263773677 1645107238 2110127816 2709631607 757935402 3355167820 1070356644 1412946531 2358242978 3448488710 3061395816 1745374765 4038556464 3121442972 1549388345 2352969181 3212933334 2733820435 4000027653 4013807408 1768995129 341529758 577133077 2945403146 2388673387 3795877413 3181989822 3435150702 1362961841 4044820331 852418116 3545880430 4194354813 875963502 2878870107 224490686 2149209598 3243595366 3506091523 1121763127 3842242983 2912677857 1006781866 26275948 191105702 2624786092 154347462 129661116 130778598 1186979132 1353506017 1854909367 2957393356 3790661833 3914138453 2096847828 2192757686 3020900074 3303876754 2184877897 3941955887 2089560700 1544077834 435154142 438640557 2758655449 832614441 1497889173 2771184522 4218658698 994893896 181161999 2575513146 4041995527 2971367249 2971308228 1760345455 2359785562 3731494370 1716626312 3476574673 1350220059 2891241913 2937121420 2134181104 968138937 3397989900 2000478300 1877487338 4217984224 3147570713 1363189303 2715402193 501881156 3426038607 4005566528 2083196704 480074266 465150231 3361516264 427327263 2276870264 3838981698 2930510556 756311750 1393951549 4290030005 1188844667 1927181498 3681281507 1169484636 473092568 4092532558 993813766 3332437960 1180854441 709802995 2469112826 1852250519 790584267 3545464828 734376167 569112344 271723054 1113820791 2603510680 205429913 2954330635 3628529076 4038485552 442776946 961905941 2618627816 324983055 2021933816 1793500652 2875251041 284196557 1698785856 3311545906 3850447060 2747346119 290707554 460146928 2380086379 983961595 2074889327 3632271197 2092902716 2730634665 2804378941 4152199688 185382663 191737134 2354957590 3957138382 3628500322 3305275429 3698367927 2961540190 1345238446 2421470385 2172528695 2203878801 1417976218 3742242027 711951429 3144098261 255 362436" option to reproduce the execution
10.59/10.66	c #vars 75
10.59/10.66	c #constraints 505
10.59/10.67	c BCD2: Hardening is enabled.
10.59/10.67	c BCD2: BiasedSearch is enabled.
10.59/10.67	c Solving starts ...
10.59/10.67	c ============================[ Search Statistics ]============================
10.59/10.67	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.59/10.67	c       |         |          |          |    Limit     GC | Var      | Constra 
10.59/10.67	c =============================================================================
10.59/10.67	c  0.0s |       0 |        0 |        0 |      362      0 |        0 |        0
10.59/10.67	c  0.0s |       0 |      907 |        8 |      362      0 |        0 |        0
10.59/10.67	c #cpu_time = 0.002s
10.59/10.67	c #wall_clock_time = 0.002s
10.59/10.67	c #decision = 907
10.59/10.67	c #random_decision = 3
10.59/10.67	c #conflict = 8
10.59/10.67	c #restart = 0
10.59/10.67	o 49
10.59/10.67	c BCD2: updating upper bound: 480 -> 48
10.59/10.67	c BCD2: 0 <= obj <= 48
10.59/10.67	c BCD2: #cores=0, #unrelaxed=480, #relaxed=0, #hardened=0
10.59/10.67	c BCD2: #sat=1 #unsat=1 bias=1/2
10.59/10.67	c Solving starts ...
10.59/10.67	c ============================[ Search Statistics ]============================
10.59/10.67	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.59/10.67	c       |         |          |          |    Limit     GC | Var      | Constra 
10.59/10.67	c =============================================================================
10.59/10.67	c  0.0s |       0 |        0 |        0 |      362      0 |        0 |        1
10.59/10.67	c  0.0s |       0 |      481 |        1 |      362      0 |        0 |        1
10.59/10.67	c #cpu_time = 0.001s
10.59/10.67	c #wall_clock_time = 0.001s
10.59/10.67	c #decision = 481
10.59/10.67	c #random_decision = 0
10.59/10.67	c #conflict = 1
10.59/10.67	c #restart = 0
10.59/10.67	c BCD2: found a new core of size 30: cost of the new core is >=1
10.59/10.67	c lower bound updated to 1
10.59/10.67	c BCD2: 1 <= obj <= 48
10.59/10.67	c BCD2: #cores=1, #unrelaxed=450, #relaxed=30, #hardened=0
10.59/10.67	c BCD2: #sat=1 #unsat=2 bias=2/3
10.59/10.67	c Solving starts ...
10.59/10.67	c ============================[ Search Statistics ]============================
10.59/10.67	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.59/10.67	c       |         |          |          |    Limit     GC | Var      | Constra 
10.59/10.67	c =============================================================================
10.59/10.67	c  0.0s |       0 |        0 |        0 |      362      0 |        0 |        1
10.59/10.67	c  0.0s |       0 |      471 |       15 |      362      0 |        0 |        1
10.59/10.67	c #cpu_time = 0.001s
10.59/10.67	c #wall_clock_time = 0.001s
10.59/10.67	c #decision = 471
10.59/10.67	c #random_decision = 0
10.59/10.67	c #conflict = 15
10.59/10.67	c #restart = 0
10.59/10.67	c BCD2: relaxing 45 and merging with 1 cores into a new core of size 75: cost of the new core is >=2
10.59/10.67	c lower bound updated to 2
10.59/10.67	c BCD2: 2 <= obj <= 48
10.59/10.67	c BCD2: #cores=1, #unrelaxed=405, #relaxed=75, #hardened=0
10.59/10.67	c BCD2: #sat=1 #unsat=3 bias=3/4
10.59/10.67	c Solving starts ...
10.59/10.67	c ============================[ Search Statistics ]============================
10.59/10.67	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.59/10.67	c       |         |          |          |    Limit     GC | Var      | Constra 
10.59/10.67	c =============================================================================
10.59/10.67	c  0.0s |       0 |        0 |        0 |      362      0 |        1 |        1
10.59/10.68	c  0.0s |       0 |      502 |       19 |      362      0 |        1 |        2
10.59/10.68	c #cpu_time = 0.002s
10.59/10.68	c #wall_clock_time = 0.002s
10.59/10.68	c #decision = 502
10.59/10.68	c #random_decision = 0
10.59/10.68	c #conflict = 19
10.59/10.68	c #restart = 0
10.59/10.68	c BCD2: found a new core of size 36: cost of the new core is >=1
10.59/10.68	c lower bound updated to 3
10.59/10.68	c BCD2: 3 <= obj <= 48
10.59/10.68	c BCD2: #cores=2, #unrelaxed=369, #relaxed=111, #hardened=0
10.59/10.68	c BCD2: #sat=1 #unsat=4 bias=4/5
10.59/10.68	c Solving starts ...
10.59/10.68	c ============================[ Search Statistics ]============================
10.59/10.68	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.59/10.68	c       |         |          |          |    Limit     GC | Var      | Constra 
10.59/10.68	c =============================================================================
10.59/10.68	c  0.0s |       0 |        0 |        0 |      362      0 |        1 |        2
10.59/10.68	c  0.0s |       0 |      489 |       19 |      362      0 |        1 |        2
10.59/10.68	c #cpu_time = 0.002s
10.59/10.68	c #wall_clock_time = 0.002s
10.59/10.68	c #decision = 489
10.59/10.68	c #random_decision = 0
10.59/10.68	c #conflict = 19
10.59/10.68	c #restart = 0
10.59/10.68	c BCD2: found a new core of size 55: cost of the new core is >=1
10.59/10.68	c lower bound updated to 4
10.59/10.68	c BCD2: 4 <= obj <= 48
10.59/10.68	c BCD2: #cores=3, #unrelaxed=314, #relaxed=166, #hardened=0
10.59/10.68	c BCD2: #sat=1 #unsat=5 bias=5/6
10.59/10.68	c Solving starts ...
10.59/10.68	c ============================[ Search Statistics ]============================
10.59/10.68	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.59/10.68	c       |         |          |          |    Limit     GC | Var      | Constra 
10.59/10.68	c =============================================================================
10.59/10.68	c  0.0s |       0 |        0 |        0 |      362      0 |        1 |        2
10.59/10.68	c  0.0s |       0 |      487 |       18 |      362      0 |        1 |        2
10.59/10.68	c #cpu_time = 0.002s
10.59/10.68	c #wall_clock_time = 0.002s
10.59/10.68	c #decision = 487
10.59/10.68	c #random_decision = 0
10.59/10.68	c #conflict = 18
10.59/10.68	c #restart = 0
10.59/10.68	c BCD2: found a new core of size 32: cost of the new core is >=1
10.59/10.68	c lower bound updated to 5
10.59/10.68	c BCD2: 5 <= obj <= 48
10.59/10.68	c BCD2: #cores=4, #unrelaxed=282, #relaxed=198, #hardened=0
10.59/10.68	c BCD2: #sat=1 #unsat=6 bias=6/7
10.59/10.68	c Solving starts ...
10.59/10.68	c ============================[ Search Statistics ]============================
10.59/10.68	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.59/10.68	c       |         |          |          |    Limit     GC | Var      | Constra 
10.59/10.68	c =============================================================================
10.59/10.68	c  0.0s |       0 |        0 |        0 |      362      0 |        1 |        2
10.59/10.68	c  0.0s |       0 |      474 |       21 |      399      0 |        1 |        2
10.59/10.68	c #cpu_time = 0.002s
10.59/10.68	c #wall_clock_time = 0.002s
10.59/10.68	c #decision = 474
10.59/10.68	c #random_decision = 0
10.59/10.68	c #conflict = 21
10.59/10.68	c #restart = 0
10.59/10.68	c BCD2: relaxing 101 and merging with 1 cores into a new core of size 133: cost of the new core is >=2
10.59/10.68	c lower bound updated to 6
10.59/10.68	c BCD2: 6 <= obj <= 48
10.59/10.68	c BCD2: #cores=4, #unrelaxed=181, #relaxed=299, #hardened=0
10.59/10.68	c BCD2: #sat=1 #unsat=7 bias=7/8
10.59/10.69	c Solving starts ...
10.59/10.69	c ============================[ Search Statistics ]============================
10.59/10.69	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.59/10.69	c       |         |          |          |    Limit     GC | Var      | Constra 
10.59/10.69	c =============================================================================
10.59/10.69	c  0.0s |       0 |        0 |        0 |      399      0 |        2 |        2
10.59/10.69	c  0.0s |       0 |      242 |       17 |      399      0 |        2 |        3
10.59/10.69	c #cpu_time = 0.002s
10.59/10.69	c #wall_clock_time = 0.002s
10.59/10.69	c #decision = 242
10.59/10.69	c #random_decision = 0
10.59/10.69	c #conflict = 17
10.59/10.69	c #restart = 0
10.59/10.69	c BCD2: found a new core of size 58: cost of the new core is >=1
10.59/10.69	c lower bound updated to 7
10.59/10.69	c BCD2: 7 <= obj <= 48
10.59/10.69	c BCD2: #cores=5, #unrelaxed=123, #relaxed=357, #hardened=0
10.59/10.69	c BCD2: #sat=1 #unsat=8 bias=8/9
10.59/10.69	c Solving starts ...
10.59/10.69	c ============================[ Search Statistics ]============================
10.59/10.69	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.59/10.69	c       |         |          |          |    Limit     GC | Var      | Constra 
10.59/10.69	c =============================================================================
10.59/10.69	c  0.0s |       0 |        0 |        0 |      399      0 |        2 |        3
10.69/10.70	c  0.0s |       1 |      305 |      100 |      399      0 |        2 |        3
10.69/10.73	c  0.0s |       2 |      683 |      250 |      439      0 |        2 |        3
10.69/10.77	c  0.1s |       3 |     1182 |      475 |      483      0 |        2 |        3
10.79/10.83	c  0.1s |       3 |     1672 |      748 |      532      1 |        2 |        3
10.79/10.83	c #cpu_time = 0.137s
10.79/10.83	c #wall_clock_time = 0.137s
10.79/10.83	c #decision = 1672
10.79/10.83	c #random_decision = 6
10.79/10.83	c #conflict = 748
10.79/10.83	c #restart = 3
10.79/10.83	c BCD2: relaxing 104 and merging with 2 cores into a new core of size 215: cost of the new core is >=4
10.79/10.83	c lower bound updated to 8
10.79/10.83	c BCD2: 8 <= obj <= 48
10.79/10.83	c BCD2: #cores=4, #unrelaxed=19, #relaxed=461, #hardened=0
10.79/10.83	c BCD2: #sat=1 #unsat=9 bias=9/10
10.79/10.83	c Solving starts ...
10.79/10.83	c ============================[ Search Statistics ]============================
10.79/10.83	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.79/10.83	c       |         |          |          |    Limit     GC | Var      | Constra 
10.79/10.83	c =============================================================================
10.79/10.83	c  0.0s |       0 |        0 |        0 |      532      0 |        4 |        3
10.79/10.84	c  0.0s |       0 |      353 |       69 |      532      0 |        4 |        5
10.79/10.84	c #cpu_time = 0.018s
10.79/10.84	c #wall_clock_time = 0.018s
10.79/10.84	c #decision = 353
10.79/10.84	c #random_decision = 0
10.79/10.84	c #conflict = 69
10.79/10.84	c #restart = 0
10.79/10.85	o 34
10.79/10.85	c BCD2: updating upper bound: 48 -> 33
10.79/10.85	c BCD2: 8 <= obj <= 33
10.79/10.85	c BCD2: #cores=4, #unrelaxed=19, #relaxed=461, #hardened=0
10.79/10.85	c BCD2: #sat=2 #unsat=9 bias=9/11
10.79/10.85	c Solving starts ...
10.79/10.85	c ============================[ Search Statistics ]============================
10.79/10.85	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.79/10.85	c       |         |          |          |    Limit     GC | Var      | Constra 
10.79/10.85	c =============================================================================
10.79/10.85	c  0.0s |       0 |        0 |        0 |      532      0 |        4 |        6
10.79/10.87	c  0.0s |       1 |      275 |      100 |      532      0 |        4 |        6
10.79/10.89	c  0.0s |       2 |      797 |      250 |      532      0 |        4 |        6
10.89/10.95	c  0.1s |       3 |     1372 |      475 |      586      0 |        4 |        6
11.00/11.03	c  0.2s |       4 |     2242 |      813 |      586      2 |        4 |        6
11.10/11.13	c  0.3s |       5 |     3493 |     1320 |      645      3 |        4 |        6
11.29/11.30	c  0.5s |       6 |     5544 |     2081 |      645      5 |        4 |        6
11.49/11.53	c  0.7s |       7 |     8242 |     3223 |      710      8 |        4 |        6
11.79/11.87	c  1.0s |       8 |    12529 |     4936 |      782     12 |        4 |        6
12.29/12.38	c  1.5s |       9 |    18323 |     7506 |      861     18 |        4 |        6
13.09/13.16	c  2.3s |      10 |    28180 |    11361 |      948     26 |        4 |        6
14.19/14.28	c  3.4s |      11 |    42527 |    17144 |     1043     37 |        4 |        6
15.89/15.99	c  5.1s |      12 |    64887 |    25819 |     1148     53 |        4 |        6
17.99/18.00	c  7.2s |      12 |    88573 |    35619 |     1148     69 |        4 |        6
18.59/18.65	c  7.8s |      13 |    96885 |    38832 |     1263     74 |        4 |        6
20.59/20.65	c  9.8s |      13 |   119742 |    47932 |     1263     88 |        4 |        6
22.58/22.65	c 11.8s |      13 |   143524 |    57132 |     1390    102 |        4 |        6
22.88/22.91	c 12.1s |      14 |   146713 |    58352 |     1390    104 |        4 |        6
24.88/24.93	c 14.1s |      14 |   173178 |    67252 |     1390    116 |        4 |        6
26.88/26.93	c 16.1s |      14 |   197595 |    76452 |     1390    129 |        4 |        6
28.88/28.96	c 18.1s |      14 |   223174 |    85952 |     1390    143 |        4 |        6
29.28/29.35	c 18.5s |      15 |   227386 |    87632 |     1530    145 |        4 |        6
31.28/31.36	c 20.5s |      15 |   250271 |    96532 |     1530    156 |        4 |        6
33.28/33.37	c 22.5s |      15 |   273709 |   105432 |     1530    167 |        4 |        6
35.29/35.38	c 24.5s |      15 |   301535 |   114832 |     1530    179 |        4 |        6
37.29/37.40	c 26.5s |      15 |   324570 |   124232 |     1530    191 |        4 |        6
38.79/38.89	c 28.0s |      16 |   343506 |   131552 |     1684    200 |        4 |        6
40.89/40.91	c 30.1s |      16 |   371246 |   140952 |     1684    211 |        4 |        6
42.89/42.92	c 32.1s |      16 |   398597 |   150652 |     1684    222 |        4 |        6
44.89/44.92	c 34.1s |      16 |   422394 |   159752 |     1684    233 |        4 |        6
46.89/46.94	c 36.1s |      16 |   446077 |   169552 |     1684    244 |        4 |        6
48.89/48.96	c 38.1s |      16 |   472056 |   179452 |     1684    256 |        4 |        6
50.89/50.98	c 40.1s |      16 |   495395 |   189052 |     1684    267 |        4 |        6
52.69/52.78	c 41.9s |      17 |   515398 |   197432 |     1853    276 |        4 |        6
54.68/54.79	c 43.9s |      17 |   539394 |   206532 |     1853    285 |        4 |        6
56.78/56.80	c 46.0s |      17 |   563687 |   215632 |     1853    295 |        4 |        6
58.78/58.82	c 48.0s |      17 |   589868 |   225032 |     1853    305 |        4 |        6
60.78/60.83	c 50.0s |      17 |   613788 |   234132 |     1853    315 |        4 |        6
62.79/62.85	c 52.0s |      17 |   636854 |   243332 |     1853    324 |        4 |        6
64.78/64.87	c 54.0s |      17 |   658522 |   252232 |     1853    334 |        4 |        6
66.78/66.87	c 56.0s |      17 |   680085 |   261132 |     1853    343 |        4 |        6
68.78/68.88	c 58.0s |      17 |   702296 |   270132 |     1853    352 |        4 |        6
70.78/70.89	c 60.0s |      17 |   724505 |   279132 |     1853    362 |        4 |        6
72.78/72.90	c 62.0s |      17 |   745855 |   287832 |     1853    371 |        4 |        6
74.78/74.82	c 64.0s |      18 |   767381 |   296252 |     2039    379 |        4 |        6
76.78/76.82	c 66.0s |      18 |   790909 |   305052 |     2039    388 |        4 |        6
78.77/78.85	c 68.0s |      18 |   814733 |   314052 |     2039    397 |        4 |        6
80.77/80.85	c 70.0s |      18 |   836813 |   322952 |     2039    405 |        4 |        6
82.77/82.87	c 72.0s |      18 |   858686 |   332052 |     2039    414 |        4 |        6
84.78/84.88	c 74.0s |      18 |   879711 |   340752 |     2039    422 |        4 |        6
86.88/86.90	c 76.1s |      18 |   900981 |   349652 |     2039    431 |        4 |        6
88.87/88.92	c 78.1s |      18 |   926310 |   358952 |     2039    439 |        4 |        6
90.87/90.94	c 80.1s |      18 |   949035 |   367852 |     2039    448 |        4 |        6
92.87/92.96	c 82.1s |      18 |   973673 |   377152 |     2039    457 |        4 |        6
94.87/94.97	c 84.1s |      18 |   998078 |   386452 |     2039    466 |        4 |        6
96.88/96.97	c 86.1s |      18 |  1022115 |   395552 |     2039    475 |        4 |        6
98.87/98.97	c 88.1s |      18 |  1044450 |   404852 |     2039    483 |        4 |        6
100.88/100.99	c 90.1s |      18 |  1065408 |   413852 |     2039    492 |        4 |        6
102.98/103.01	c 92.2s |      18 |  1084821 |   422852 |     2039    501 |        4 |        6
104.97/105.02	c 94.2s |      18 |  1104740 |   431752 |     2039    509 |        4 |        6
106.97/107.04	c 96.2s |      18 |  1126434 |   440952 |     2243    518 |        4 |        6
107.78/107.84	c 97.0s |      19 |  1135465 |   444482 |     2243    521 |        4 |        6
109.77/109.86	c 99.0s |      19 |  1157949 |   453282 |     2243    528 |        4 |        6
111.77/111.87	c  101s |      19 |  1178193 |   461782 |     2243    536 |        4 |        6
113.77/113.87	c  103s |      19 |  1197865 |   470182 |     2243    543 |        4 |        6
115.77/115.88	c  105s |      19 |  1220659 |   478882 |     2243    551 |        4 |        6
117.87/117.90	c  107s |      19 |  1243897 |   487782 |     2243    559 |        4 |        6
119.88/119.91	c  109s |      19 |  1266364 |   496582 |     2243    566 |        4 |        6
121.87/121.92	c  111s |      19 |  1288608 |   505482 |     2243    574 |        4 |        6
123.87/123.92	c  113s |      19 |  1314624 |   514982 |     2243    582 |        4 |        6
125.87/125.92	c  115s |      19 |  1333890 |   522882 |     2243    589 |        4 |        6
127.87/127.94	c  117s |      19 |  1356948 |   531682 |     2243    597 |        4 |        6
129.88/129.97	c  119s |      19 |  1380500 |   540482 |     2243    605 |        4 |        6
131.87/131.98	c  121s |      19 |  1403567 |   549182 |     2243    612 |        4 |        6
133.87/133.99	c  123s |      19 |  1424006 |   558082 |     2243    620 |        4 |        6
135.97/136.00	c  125s |      19 |  1444364 |   566782 |     2243    627 |        4 |        6
137.97/138.02	c  127s |      19 |  1464138 |   575182 |     2243    635 |        4 |        6
139.97/140.02	c  129s |      19 |  1482395 |   583382 |     2243    642 |        4 |        6
141.97/142.02	c  131s |      19 |  1506100 |   592382 |     2243    650 |        4 |        6
143.97/144.03	c  133s |      19 |  1534120 |   601782 |     2243    658 |        4 |        6
145.96/146.04	c  135s |      19 |  1559558 |   610882 |     2243    666 |        4 |        6
147.96/148.04	c  137s |      19 |  1581321 |   619182 |     2243    673 |        4 |        6
149.96/150.06	c  139s |      19 |  1605124 |   627982 |     2243    681 |        4 |        6
151.96/152.07	c  141s |      19 |  1628849 |   636482 |     2243    688 |        4 |        6
153.97/154.08	c  143s |      19 |  1652607 |   645082 |     2243    696 |        4 |        6
155.96/156.09	c  145s |      19 |  1675069 |   653582 |     2243    703 |        4 |        6
157.96/158.09	c  147s |      19 |  1697348 |   662082 |     2468    711 |        4 |        6
159.06/159.20	c  148s |      20 |  1710619 |   666827 |     2468    714 |        4 |        6
161.17/161.21	c  150s |      20 |  1732898 |   675427 |     2468    721 |        4 |        6
163.17/163.22	c  152s |      20 |  1757625 |   684627 |     2468    728 |        4 |        6
165.17/165.22	c  154s |      20 |  1782725 |   693527 |     2468    735 |        4 |        6
167.17/167.23	c  156s |      20 |  1805928 |   702627 |     2468    743 |        4 |        6
169.17/169.25	c  158s |      20 |  1830114 |   711727 |     2468    750 |        4 |        6
171.17/171.27	c  160s |      20 |  1855983 |   721227 |     2468    757 |        4 |        6
173.16/173.28	c  162s |      20 |  1880033 |   730427 |     2468    765 |        4 |        6
175.16/175.28	c  164s |      20 |  1904691 |   739427 |     2468    772 |        4 |        6
177.17/177.29	c  166s |      20 |  1927806 |   748427 |     2468    779 |        4 |        6
179.27/179.34	c  168s |      20 |  1949381 |   757027 |     2468    786 |        4 |        6
181.26/181.35	c  170s |      20 |  1973586 |   766527 |     2468    793 |        4 |        6
183.26/183.36	c  172s |      20 |  1996224 |   775527 |     2468    801 |        4 |        6
185.26/185.38	c  174s |      20 |  2019982 |   784227 |     2468    808 |        4 |        6
187.26/187.39	c  176s |      20 |  2042156 |   793127 |     2468    815 |        4 |        6
189.26/189.39	c  178s |      20 |  2065466 |   802127 |     2468    822 |        4 |        6
191.36/191.41	c  180s |      20 |  2089585 |   811327 |     2468    829 |        4 |        6
193.36/193.42	c  182s |      20 |  2113237 |   820127 |     2468    836 |        4 |        6
195.36/195.44	c  184s |      20 |  2135141 |   828827 |     2468    843 |        4 |        6
197.36/197.46	c  186s |      20 |  2157335 |   837127 |     2468    850 |        4 |        6
199.36/199.47	c  188s |      20 |  2178408 |   845427 |     2468    856 |        4 |        6
201.36/201.48	c  190s |      20 |  2199099 |   853527 |     2468    863 |        4 |        6
203.36/203.49	c  192s |      20 |  2223145 |   862427 |     2468    870 |        4 |        6
205.35/205.49	c  194s |      20 |  2246190 |   871127 |     2468    877 |        4 |        6
207.35/207.49	c  196s |      20 |  2270260 |   879827 |     2468    883 |        4 |        6
209.45/209.51	c  198s |      20 |  2293269 |   888727 |     2468    891 |        4 |        6
211.45/211.52	c  200s |      20 |  2316191 |   897127 |     2468    897 |        4 |        6
213.46/213.54	c  202s |      20 |  2338849 |   905927 |     2468    904 |        4 |        6
215.45/215.55	c  204s |      20 |  2361526 |   914527 |     2468    911 |        4 |        6
217.45/217.56	c  206s |      20 |  2385368 |   923227 |     2468    918 |        4 |        6
219.45/219.57	c  208s |      20 |  2408966 |   931827 |     2468    925 |        4 |        6
221.45/221.58	c  210s |      20 |  2432677 |   940727 |     2468    932 |        4 |        6
223.56/223.60	c  212s |      20 |  2456153 |   949627 |     2468    939 |        4 |        6
225.57/225.61	c  214s |      20 |  2480291 |   958327 |     2468    946 |        4 |        6
227.56/227.62	c  216s |      20 |  2504524 |   967427 |     2468    953 |        4 |        6
229.56/229.64	c  218s |      20 |  2528355 |   976527 |     2468    960 |        4 |        6
231.56/231.67	c  220s |      20 |  2554687 |   985527 |     2468    968 |        4 |        6
233.56/233.69	c  222s |      20 |  2579190 |   994227 |     2715    974 |        4 |        6
235.06/235.10	c  224s |      21 |  2594995 |  1000345 |     2715    979 |        4 |        6
237.05/237.13	c  226s |      21 |  2614953 |  1008545 |     2715    985 |        4 |        6
239.05/239.14	c  228s |      21 |  2636351 |  1017045 |     2715    991 |        4 |        6
241.05/241.16	c  230s |      21 |  2655797 |  1025345 |     2715    997 |        4 |        6
243.06/243.18	c  232s |      21 |  2673270 |  1033145 |     2715   1002 |        4 |        6
245.05/245.19	c  234s |      21 |  2691564 |  1040745 |     2715   1008 |        4 |        6
247.05/247.19	c  236s |      21 |  2711052 |  1048845 |     2715   1014 |        4 |        6
249.15/249.21	c  238s |      21 |  2730316 |  1057045 |     2715   1020 |        4 |        6
251.15/251.22	c  240s |      21 |  2748088 |  1065045 |     2715   1025 |        4 |        6
253.15/253.24	c  242s |      21 |  2766746 |  1072945 |     2715   1031 |        4 |        6
255.16/255.24	c  244s |      21 |  2785815 |  1081045 |     2715   1037 |        4 |        6
257.15/257.26	c  246s |      21 |  2807072 |  1089345 |     2715   1043 |        4 |        6
259.15/259.28	c  248s |      21 |  2826156 |  1097245 |     2715   1049 |        4 |        6
261.25/261.30	c  250s |      21 |  2844971 |  1105145 |     2715   1054 |        4 |        6
263.25/263.32	c  252s |      21 |  2868067 |  1113745 |     2715   1061 |        4 |        6
265.25/265.33	c  254s |      21 |  2889145 |  1122245 |     2715   1067 |        4 |        6
267.26/267.35	c  256s |      21 |  2910274 |  1130745 |     2715   1073 |        4 |        6
269.25/269.35	c  258s |      21 |  2931742 |  1139045 |     2715   1079 |        4 |        6
271.25/271.36	c  260s |      21 |  2951727 |  1147145 |     2715   1085 |        4 |        6
273.25/273.38	c  262s |      21 |  2974400 |  1155745 |     2715   1091 |        4 |        6
275.25/275.40	c  264s |      21 |  2997089 |  1164245 |     2715   1097 |        4 |        6
277.35/277.42	c  266s |      21 |  3020795 |  1172845 |     2715   1103 |        4 |        6
279.35/279.43	c  268s |      21 |  3044863 |  1181445 |     2715   1109 |        4 |        6
281.35/281.44	c  270s |      21 |  3069666 |  1190045 |     2715   1116 |        4 |        6
283.34/283.46	c  272s |      21 |  3091796 |  1198645 |     2715   1122 |        4 |        6
285.34/285.47	c  274s |      21 |  3112361 |  1206945 |     2715   1128 |        4 |        6
287.34/287.49	c  276s |      21 |  3133513 |  1215445 |     2715   1134 |        4 |        6
289.44/289.51	c  278s |      21 |  3153538 |  1223545 |     2715   1140 |        4 |        6
291.45/291.52	c  280s |      21 |  3172660 |  1231345 |     2715   1146 |        4 |        6
293.44/293.53	c  282s |      21 |  3193003 |  1239645 |     2715   1152 |        4 |        6
295.44/295.55	c  284s |      21 |  3214893 |  1248645 |     2715   1158 |        4 |        6
297.44/297.55	c  286s |      21 |  3238049 |  1257645 |     2715   1165 |        4 |        6
299.44/299.56	c  288s |      21 |  3260578 |  1266345 |     2715   1171 |        4 |        6
301.45/301.58	c  290s |      21 |  3284073 |  1275345 |     2715   1177 |        4 |        6
303.44/303.58	c  292s |      21 |  3307157 |  1284245 |     2715   1184 |        4 |        6
305.44/305.59	c  294s |      21 |  3327605 |  1292745 |     2715   1190 |        4 |        6
307.54/307.60	c  296s |      21 |  3347273 |  1301145 |     2715   1196 |        4 |        6
309.54/309.61	c  298s |      21 |  3367790 |  1309145 |     2715   1202 |        4 |        6
311.54/311.63	c  300s |      21 |  3388460 |  1317445 |     2715   1208 |        4 |        6
313.55/313.63	c  302s |      21 |  3408326 |  1325845 |     2715   1214 |        4 |        6
315.54/315.63	c  304s |      21 |  3432284 |  1334645 |     2715   1220 |        4 |        6
317.55/317.65	c  306s |      21 |  3455199 |  1343545 |     2715   1227 |        4 |        6
319.55/319.65	c  308s |      21 |  3474818 |  1351845 |     2715   1233 |        4 |        6
321.55/321.66	c  310s |      21 |  3499227 |  1360545 |     2715   1239 |        4 |        6
323.54/323.68	c  312s |      21 |  3523338 |  1369145 |     2715   1245 |        4 |        6
325.55/325.69	c  314s |      21 |  3546003 |  1377545 |     2715   1251 |        4 |        6
327.64/327.72	c  316s |      21 |  3566194 |  1385845 |     2715   1257 |        4 |        6
329.64/329.72	c  318s |      21 |  3585395 |  1394145 |     2715   1263 |        4 |        6
331.64/331.74	c  320s |      21 |  3607736 |  1402345 |     2715   1269 |        4 |        6
333.64/333.75	c  322s |      21 |  3630414 |  1410945 |     2715   1276 |        4 |        6
335.64/335.76	c  324s |      21 |  3654483 |  1420045 |     2715   1282 |        4 |        6
337.65/337.78	c  326s |      21 |  3674681 |  1428145 |     2715   1288 |        4 |        6
339.64/339.79	c  328s |      21 |  3696829 |  1436345 |     2715   1294 |        4 |        6
341.64/341.79	c  330s |      21 |  3717844 |  1444645 |     2715   1300 |        4 |        6
343.74/343.80	c  332s |      21 |  3738168 |  1452845 |     2715   1306 |        4 |        6
345.74/345.81	c  334s |      21 |  3755836 |  1460745 |     2715   1312 |        4 |        6
347.74/347.82	c  336s |      21 |  3775972 |  1468945 |     2715   1318 |        4 |        6
349.74/349.85	c  339s |      21 |  3795623 |  1477145 |     2715   1324 |        4 |        6
351.74/351.87	c  341s |      21 |  3817108 |  1485245 |     2715   1329 |        4 |        6
353.74/353.88	c  343s |      21 |  3837164 |  1493745 |     2987   1335 |        4 |        6
355.64/355.75	c  344s |      22 |  3854420 |  1500622 |     2987   1340 |        4 |        6
357.64/357.76	c  346s |      22 |  3874841 |  1508522 |     2987   1345 |        4 |        6
359.64/359.78	c  348s |      22 |  3897088 |  1516622 |     2987   1350 |        4 |        6
361.63/361.79	c  350s |      22 |  3918332 |  1524822 |     2987   1356 |        4 |        6
363.73/363.81	c  352s |      22 |  3938790 |  1533022 |     2987   1361 |        4 |        6
365.73/365.83	c  354s |      22 |  3961109 |  1541522 |     2987   1367 |        4 |        6
367.73/367.84	c  356s |      22 |  3979553 |  1549322 |     2987   1372 |        4 |        6
369.73/369.84	c  358s |      22 |  4001962 |  1557622 |     2987   1377 |        4 |        6
371.74/371.85	c  360s |      22 |  4022309 |  1565822 |     2987   1383 |        4 |        6
373.73/373.86	c  363s |      22 |  4042329 |  1573822 |     2987   1388 |        4 |        6
375.73/375.87	c  365s |      22 |  4062416 |  1581722 |     2987   1393 |        4 |        6
377.74/377.89	c  367s |      22 |  4080464 |  1589322 |     2987   1398 |        4 |        6
379.84/379.91	c  369s |      22 |  4099211 |  1596922 |     2987   1403 |        4 |        6
381.84/381.92	c  371s |      22 |  4118003 |  1604322 |     2987   1408 |        4 |        6
383.84/383.94	c  373s |      22 |  4136399 |  1612022 |     2987   1413 |        4 |        6
385.94/386.01	c  375s |      22 |  4155520 |  1619722 |     2987   1418 |        4 |        6
387.94/388.01	c  377s |      22 |  4175302 |  1627722 |     2987   1423 |        4 |        6
389.93/390.02	c  379s |      22 |  4193108 |  1635822 |     2987   1429 |        4 |        6
391.93/392.04	c  381s |      22 |  4214210 |  1644222 |     2987   1434 |        4 |        6
393.93/394.05	c  383s |      22 |  4233159 |  1651922 |     2987   1439 |        4 |        6
395.94/396.06	c  385s |      22 |  4253717 |  1659722 |     2987   1444 |        4 |        6
397.93/398.07	c  387s |      22 |  4270600 |  1667122 |     2987   1449 |        4 |        6
399.93/400.07	c  389s |      22 |  4286202 |  1674122 |     2987   1454 |        4 |        6
401.93/402.08	c  391s |      22 |  4303982 |  1681622 |     2987   1459 |        4 |        6
403.93/404.09	c  393s |      22 |  4320655 |  1689222 |     2987   1464 |        4 |        6
406.03/406.11	c  395s |      22 |  4336450 |  1696422 |     2987   1469 |        4 |        6
408.04/408.13	c  397s |      22 |  4354830 |  1704022 |     2987   1474 |        4 |        6
410.03/410.15	c  399s |      22 |  4373244 |  1711622 |     2987   1479 |        4 |        6
412.03/412.17	c  401s |      22 |  4393292 |  1719222 |     2987   1484 |        4 |        6
414.03/414.19	c  403s |      22 |  4410865 |  1726922 |     2987   1489 |        4 |        6
416.03/416.19	c  405s |      22 |  4429669 |  1734322 |     2987   1494 |        4 |        6
418.13/418.22	c  407s |      22 |  4451546 |  1741922 |     2987   1499 |        4 |        6
420.14/420.24	c  409s |      22 |  4473189 |  1749522 |     2987   1504 |        4 |        6
422.13/422.25	c  411s |      22 |  4494997 |  1757122 |     2987   1509 |        4 |        6
424.13/424.26	c  413s |      22 |  4516251 |  1765022 |     2987   1514 |        4 |        6
426.13/426.27	c  415s |      22 |  4537582 |  1772822 |     2987   1519 |        4 |        6
428.13/428.29	c  417s |      22 |  4558376 |  1780622 |     2987   1524 |        4 |        6
430.23/430.32	c  419s |      22 |  4583496 |  1788822 |     2987   1529 |        4 |        6
432.23/432.33	c  421s |      22 |  4607317 |  1796622 |     2987   1535 |        4 |        6
434.23/434.33	c  423s |      22 |  4627898 |  1804422 |     2987   1540 |        4 |        6
436.23/436.35	c  425s |      22 |  4646658 |  1811922 |     2987   1545 |        4 |        6
438.23/438.36	c  427s |      22 |  4665591 |  1819522 |     2987   1550 |        4 |        6
440.23/440.36	c  429s |      22 |  4687168 |  1827522 |     2987   1555 |        4 |        6
442.23/442.38	c  431s |      22 |  4708611 |  1835522 |     2987   1560 |        4 |        6
444.22/444.40	c  433s |      22 |  4730054 |  1844022 |     2987   1566 |        4 |        6
446.32/446.42	c  435s |      22 |  4752039 |  1852522 |     2987   1571 |        4 |        6
448.32/448.44	c  437s |      22 |  4772999 |  1860522 |     2987   1577 |        4 |        6
450.32/450.47	c  439s |      22 |  4794094 |  1868422 |     2987   1582 |        4 |        6
452.32/452.49	c  441s |      22 |  4810424 |  1875422 |     2987   1586 |        4 |        6
454.42/454.51	c  443s |      22 |  4831315 |  1883522 |     2987   1592 |        4 |        6
456.43/456.52	c  445s |      22 |  4854984 |  1892022 |     2987   1597 |        4 |        6
458.42/458.55	c  447s |      22 |  4875981 |  1899822 |     2987   1602 |        4 |        6
460.42/460.58	c  449s |      22 |  4897736 |  1907522 |     2987   1608 |        4 |        6
462.42/462.58	c  451s |      22 |  4920128 |  1915322 |     2987   1613 |        4 |        6
464.42/464.59	c  453s |      22 |  4941368 |  1923422 |     2987   1618 |        4 |        6
466.52/466.60	c  455s |      22 |  4964094 |  1931322 |     2987   1623 |        4 |        6
468.53/468.63	c  457s |      22 |  4983449 |  1939022 |     2987   1628 |        4 |        6
470.52/470.65	c  459s |      22 |  5003770 |  1946722 |     2987   1633 |        4 |        6
472.52/472.68	c  461s |      22 |  5021497 |  1954122 |     2987   1638 |        4 |        6
474.52/474.68	c  463s |      22 |  5039070 |  1961422 |     2987   1643 |        4 |        6
476.52/476.69	c  465s |      22 |  5059088 |  1969422 |     2987   1648 |        4 |        6
478.62/478.70	c  467s |      22 |  5080423 |  1977722 |     2987   1654 |        4 |        6
480.62/480.71	c  469s |      22 |  5103863 |  1985722 |     2987   1659 |        4 |        6
482.62/482.72	c  471s |      22 |  5127776 |  1994422 |     2987   1665 |        4 |        6
484.62/484.73	c  473s |      22 |  5149793 |  2002422 |     2987   1670 |        4 |        6
486.62/486.73	c  475s |      22 |  5168105 |  2010622 |     2987   1675 |        4 |        6
488.61/488.75	c  477s |      22 |  5190621 |  2018722 |     2987   1681 |        4 |        6
490.62/490.76	c  479s |      22 |  5213473 |  2027222 |     2987   1686 |        4 |        6
492.61/492.79	c  481s |      22 |  5234128 |  2035222 |     2987   1692 |        4 |        6
494.61/494.79	c  483s |      22 |  5255439 |  2043222 |     2987   1697 |        4 |        6
496.71/496.81	c  485s |      22 |  5276184 |  2051422 |     2987   1702 |        4 |        6
498.71/498.85	c  487s |      22 |  5293666 |  2059222 |     2987   1707 |        4 |        6
500.71/500.86	c  490s |      22 |  5315220 |  2067522 |     2987   1713 |        4 |        6
502.72/502.87	c  492s |      22 |  5335749 |  2075822 |     2987   1718 |        4 |        6
504.71/504.88	c  494s |      22 |  5357382 |  2084122 |     2987   1724 |        4 |        6
506.71/506.88	c  496s |      22 |  5379786 |  2092622 |     2987   1729 |        4 |        6
508.81/508.90	c  498s |      22 |  5400053 |  2100722 |     2987   1735 |        4 |        6
510.81/510.92	c  500s |      22 |  5422161 |  2108722 |     2987   1740 |        4 |        6
512.81/512.93	c  502s |      22 |  5446485 |  2116922 |     2987   1745 |        4 |        6
514.81/514.95	c  504s |      22 |  5467220 |  2124922 |     2987   1751 |        4 |        6
516.81/516.96	c  506s |      22 |  5486446 |  2133222 |     2987   1756 |        4 |        6
518.81/518.98	c  508s |      22 |  5507757 |  2141822 |     2987   1762 |        4 |        6
520.91/521.00	c  510s |      22 |  5525708 |  2149522 |     2987   1767 |        4 |        6
522.91/523.01	c  512s |      22 |  5547071 |  2157422 |     2987   1772 |        4 |        6
524.91/525.01	c  514s |      22 |  5567396 |  2165622 |     2987   1777 |        4 |        6
526.91/527.01	c  516s |      22 |  5587506 |  2173822 |     2987   1783 |        4 |        6
528.90/529.02	c  518s |      22 |  5606895 |  2182322 |     2987   1788 |        4 |        6
530.90/531.06	c  520s |      22 |  5623744 |  2190122 |     2987   1794 |        4 |        6
532.90/533.06	c  522s |      22 |  5642493 |  2198222 |     2987   1799 |        4 |        6
534.91/535.06	c  524s |      22 |  5661160 |  2205622 |     2987   1804 |        4 |        6
536.91/537.09	c  526s |      22 |  5685354 |  2213922 |     2987   1809 |        4 |        6
538.92/539.10	c  528s |      22 |  5707452 |  2221622 |     2987   1814 |        4 |        6
541.01/541.12	c  530s |      22 |  5730036 |  2229622 |     2987   1820 |        4 |        6
543.01/543.15	c  532s |      22 |  5752054 |  2237422 |     3286   1824 |        4 |        6
545.01/545.16	c  534s |      22 |  5772251 |  2244722 |     3286   1829 |        4 |        6
546.62/546.70	c  535s |      23 |  5790931 |  2251038 |     3286   1832 |        4 |        6
548.61/548.70	c  537s |      23 |  5808999 |  2258438 |     3286   1837 |        4 |        6
550.61/550.72	c  539s |      23 |  5831866 |  2266138 |     3286   1841 |        4 |        6
552.61/552.74	c  541s |      23 |  5854659 |  2273838 |     3286   1846 |        4 |        6
554.61/554.75	c  543s |      23 |  5877538 |  2281738 |     3286   1851 |        4 |        6
556.62/556.76	c  545s |      23 |  5900394 |  2289538 |     3286   1855 |        4 |        6
558.61/558.76	c  547s |      23 |  5918359 |  2296638 |     3286   1860 |        4 |        6
560.61/560.77	c  549s |      23 |  5936876 |  2304438 |     3286   1864 |        4 |        6
562.61/562.79	c  551s |      23 |  5955502 |  2312138 |     3286   1869 |        4 |        6
564.71/564.80	c  553s |      23 |  5972928 |  2319338 |     3286   1873 |        4 |        6
566.71/566.81	c  555s |      23 |  5991942 |  2326338 |     3286   1878 |        4 |        6
568.71/568.83	c  557s |      23 |  6012103 |  2334038 |     3286   1882 |        4 |        6
570.70/570.85	c  560s |      23 |  6030070 |  2341538 |     3286   1887 |        4 |        6
572.70/572.87	c  562s |      23 |  6049379 |  2349138 |     3286   1891 |        4 |        6
574.70/574.87	c  564s |      23 |  6067324 |  2356338 |     3286   1896 |        4 |        6
576.70/576.89	c  566s |      23 |  6087310 |  2364038 |     3286   1900 |        4 |        6
578.80/578.91	c  568s |      23 |  6106818 |  2371438 |     3286   1905 |        4 |        6
580.81/580.92	c  570s |      23 |  6124553 |  2378538 |     3286   1909 |        4 |        6
582.80/582.94	c  572s |      23 |  6145411 |  2386038 |     3286   1913 |        4 |        6
584.80/584.96	c  574s |      23 |  6167804 |  2394038 |     3286   1918 |        4 |        6
586.80/586.98	c  576s |      23 |  6189490 |  2401438 |     3286   1923 |        4 |        6
588.90/589.00	c  578s |      23 |  6210254 |  2409238 |     3286   1927 |        4 |        6
590.90/591.01	c  580s |      23 |  6231835 |  2416638 |     3286   1932 |        4 |        6
592.90/593.03	c  582s |      23 |  6253067 |  2424238 |     3286   1936 |        4 |        6
594.90/595.05	c  584s |      23 |  6271218 |  2431438 |     3286   1941 |        4 |        6
596.90/597.07	c  586s |      23 |  6293345 |  2439338 |     3286   1945 |        4 |        6
598.89/599.08	c  588s |      23 |  6313451 |  2446538 |     3286   1950 |        4 |        6
600.90/601.08	c  590s |      23 |  6335421 |  2454538 |     3286   1954 |        4 |        6
602.90/603.09	c  592s |      23 |  6357637 |  2462638 |     3286   1959 |        4 |        6
604.91/605.10	c  594s |      23 |  6379776 |  2470638 |     3286   1964 |        4 |        6
607.00/607.10	c  596s |      23 |  6401884 |  2478538 |     3286   1969 |        4 |        6
609.00/609.11	c  598s |      23 |  6419958 |  2485638 |     3286   1973 |        4 |        6
611.00/611.12	c  600s |      23 |  6438668 |  2493538 |     3286   1978 |        4 |        6
613.00/613.14	c  602s |      23 |  6459748 |  2501538 |     3286   1983 |        4 |        6
615.00/615.17	c  604s |      23 |  6481547 |  2509838 |     3286   1988 |        4 |        6
617.01/617.17	c  606s |      23 |  6501148 |  2517938 |     3286   1992 |        4 |        6
619.00/619.18	c  608s |      23 |  6519417 |  2525038 |     3286   1997 |        4 |        6
621.00/621.18	c  610s |      23 |  6541137 |  2533138 |     3286   2001 |        4 |        6
623.00/623.19	c  612s |      23 |  6561830 |  2541138 |     3286   2006 |        4 |        6
625.10/625.20	c  614s |      23 |  6582287 |  2548938 |     3286   2011 |        4 |        6
627.09/627.22	c  616s |      23 |  6602849 |  2556838 |     3286   2016 |        4 |        6
629.10/629.24	c  618s |      23 |  6620357 |  2564238 |     3286   2020 |        4 |        6
631.09/631.26	c  620s |      23 |  6639857 |  2572438 |     3286   2025 |        4 |        6
633.09/633.26	c  622s |      23 |  6661150 |  2580738 |     3286   2030 |        4 |        6
635.09/635.27	c  624s |      23 |  6680310 |  2588738 |     3286   2035 |        4 |        6
637.09/637.29	c  626s |      23 |  6699561 |  2596238 |     3286   2039 |        4 |        6
639.19/639.30	c  628s |      23 |  6720480 |  2604438 |     3286   2044 |        4 |        6
641.20/641.33	c  630s |      23 |  6739719 |  2612338 |     3286   2049 |        4 |        6
643.19/643.35	c  632s |      23 |  6756888 |  2619438 |     3286   2053 |        4 |        6
645.19/645.37	c  634s |      23 |  6776002 |  2627338 |     3286   2058 |        4 |        6
647.19/647.37	c  636s |      23 |  6795973 |  2635038 |     3286   2063 |        4 |        6
649.19/649.38	c  638s |      23 |  6814522 |  2642338 |     3286   2067 |        4 |        6
651.20/651.38	c  640s |      23 |  6830904 |  2649838 |     3286   2071 |        4 |        6
653.19/653.38	c  642s |      23 |  6847467 |  2657338 |     3286   2076 |        4 |        6
655.19/655.39	c  644s |      23 |  6865094 |  2665038 |     3286   2081 |        4 |        6
657.29/657.40	c  646s |      23 |  6883758 |  2672838 |     3286   2085 |        4 |        6
659.29/659.42	c  648s |      23 |  6899987 |  2679938 |     3286   2090 |        4 |        6
661.29/661.46	c  650s |      23 |  6915963 |  2686838 |     3286   2094 |        4 |        6
663.30/663.48	c  652s |      23 |  6933291 |  2694338 |     3286   2098 |        4 |        6
665.29/665.49	c  654s |      23 |  6951375 |  2701938 |     3286   2103 |        4 |        6
667.39/667.52	c  656s |      23 |  6969100 |  2709038 |     3286   2107 |        4 |        6
669.39/669.54	c  658s |      23 |  6989236 |  2716738 |     3286   2112 |        4 |        6
671.39/671.54	c  660s |      23 |  7008525 |  2724138 |     3286   2116 |        4 |        6
673.39/673.56	c  662s |      23 |  7028841 |  2732038 |     3286   2121 |        4 |        6
675.39/675.57	c  664s |      23 |  7048735 |  2739438 |     3286   2125 |        4 |        6
677.39/677.57	c  666s |      23 |  7068648 |  2747038 |     3286   2130 |        4 |        6
679.38/679.58	c  668s |      23 |  7087271 |  2754338 |     3286   2134 |        4 |        6
681.48/681.60	c  670s |      23 |  7104636 |  2761338 |     3286   2138 |        4 |        6
683.48/683.63	c  672s |      23 |  7123571 |  2768538 |     3286   2143 |        4 |        6
685.48/685.64	c  674s |      23 |  7140158 |  2775438 |     3286   2147 |        4 |        6
687.49/687.64	c  676s |      23 |  7157844 |  2783238 |     3286   2152 |        4 |        6
689.48/689.66	c  678s |      23 |  7175159 |  2790238 |     3286   2156 |        4 |        6
691.48/691.67	c  680s |      23 |  7193408 |  2797738 |     3286   2160 |        4 |        6
693.48/693.68	c  682s |      23 |  7211817 |  2805338 |     3286   2165 |        4 |        6
695.58/695.70	c  684s |      23 |  7227159 |  2812538 |     3286   2169 |        4 |        6
697.58/697.70	c  686s |      23 |  7245463 |  2820638 |     3286   2174 |        4 |        6
699.59/699.71	c  688s |      23 |  7264528 |  2828338 |     3286   2179 |        4 |        6
701.58/701.73	c  690s |      23 |  7284195 |  2835938 |     3286   2183 |        4 |        6
703.58/703.74	c  692s |      23 |  7302351 |  2843638 |     3286   2188 |        4 |        6
705.58/705.76	c  694s |      23 |  7320941 |  2851238 |     3286   2192 |        4 |        6
707.58/707.79	c  696s |      23 |  7338340 |  2858838 |     3286   2197 |        4 |        6
709.68/709.80	c  698s |      23 |  7356033 |  2866138 |     3286   2201 |        4 |        6
711.68/711.82	c  700s |      23 |  7375470 |  2873838 |     3286   2206 |        4 |        6
713.68/713.84	c  702s |      23 |  7393817 |  2881438 |     3286   2210 |        4 |        6
715.68/715.86	c  705s |      23 |  7411712 |  2888738 |     3286   2215 |        4 |        6
717.68/717.86	c  707s |      23 |  7431351 |  2896838 |     3286   2220 |        4 |        6
719.68/719.89	c  709s |      23 |  7450085 |  2904738 |     3286   2224 |        4 |        6
721.78/721.90	c  711s |      23 |  7466636 |  2912138 |     3286   2229 |        4 |        6
723.78/723.93	c  713s |      23 |  7483247 |  2919438 |     3286   2233 |        4 |        6
725.77/725.93	c  715s |      23 |  7502193 |  2926738 |     3286   2238 |        4 |        6
727.77/727.94	c  717s |      23 |  7523797 |  2934738 |     3286   2242 |        4 |        6
729.77/729.94	c  719s |      23 |  7546479 |  2943038 |     3286   2247 |        4 |        6
731.77/731.96	c  721s |      23 |  7567691 |  2950938 |     3286   2252 |        4 |        6
733.77/733.98	c  723s |      23 |  7590305 |  2958738 |     3286   2257 |        4 |        6
735.78/735.99	c  725s |      23 |  7608966 |  2966038 |     3286   2261 |        4 |        6
737.77/737.99	c  727s |      23 |  7631211 |  2974538 |     3286   2266 |        4 |        6
739.87/740.01	c  729s |      23 |  7651335 |  2982438 |     3286   2271 |        4 |        6
741.87/742.02	c  731s |      23 |  7671505 |  2990438 |     3286   2276 |        4 |        6
743.87/744.04	c  733s |      23 |  7691635 |  2998038 |     3286   2280 |        4 |        6
745.87/746.05	c  735s |      23 |  7713269 |  3005638 |     3286   2285 |        4 |        6
747.88/748.07	c  737s |      23 |  7732504 |  3013238 |     3286   2289 |        4 |        6
749.87/750.09	c  739s |      23 |  7751247 |  3020638 |     3286   2294 |        4 |        6
751.97/752.10	c  741s |      23 |  7773154 |  3028538 |     3286   2298 |        4 |        6
753.97/754.12	c  743s |      23 |  7790817 |  3035938 |     3286   2303 |        4 |        6
755.98/756.14	c  745s |      23 |  7810131 |  3043938 |     3286   2308 |        4 |        6
757.98/758.16	c  747s |      23 |  7831165 |  3051638 |     3286   2312 |        4 |        6
759.98/760.16	c  749s |      23 |  7848667 |  3058938 |     3286   2317 |        4 |        6
761.98/762.17	c  751s |      23 |  7865445 |  3066138 |     3286   2321 |        4 |        6
763.98/764.19	c  753s |      23 |  7883787 |  3073638 |     3286   2325 |        4 |        6
766.07/766.20	c  755s |      23 |  7903786 |  3081238 |     3286   2330 |        4 |        6
768.07/768.22	c  757s |      23 |  7925238 |  3089238 |     3286   2335 |        4 |        6
770.07/770.25	c  759s |      23 |  7944868 |  3097038 |     3286   2340 |        4 |        6
772.08/772.27	c  761s |      23 |  7965013 |  3105038 |     3286   2344 |        4 |        6
774.07/774.27	c  763s |      23 |  7982671 |  3112438 |     3286   2349 |        4 |        6
776.07/776.28	c  765s |      23 |  8001009 |  3119838 |     3286   2353 |        4 |        6
778.17/778.31	c  767s |      23 |  8020128 |  3127338 |     3286   2358 |        4 |        6
780.17/780.34	c  769s |      23 |  8039883 |  3135138 |     3286   2362 |        4 |        6
782.17/782.34	c  771s |      23 |  8057780 |  3142138 |     3286   2367 |        4 |        6
784.18/784.36	c  773s |      23 |  8078953 |  3150138 |     3286   2371 |        4 |        6
786.17/786.37	c  775s |      23 |  8098162 |  3158038 |     3286   2376 |        4 |        6
788.17/788.38	c  777s |      23 |  8117525 |  3165638 |     3286   2381 |        4 |        6
790.27/790.40	c  779s |      23 |  8136626 |  3172738 |     3286   2385 |        4 |        6
792.27/792.41	c  781s |      23 |  8153622 |  3179738 |     3286   2389 |        4 |        6
794.27/794.43	c  783s |      23 |  8171817 |  3187038 |     3286   2394 |        4 |        6
796.28/796.44	c  785s |      23 |  8189484 |  3194438 |     3286   2398 |        4 |        6
798.27/798.45	c  787s |      23 |  8206380 |  3201738 |     3286   2402 |        4 |        6
800.37/800.50	c  789s |      23 |  8225561 |  3208738 |     3286   2407 |        4 |        6
802.37/802.52	c  791s |      23 |  8244634 |  3216238 |     3286   2411 |        4 |        6
804.37/804.52	c  793s |      23 |  8264683 |  3223738 |     3286   2416 |        4 |        6
806.37/806.52	c  795s |      23 |  8284131 |  3231338 |     3286   2420 |        4 |        6
808.37/808.53	c  797s |      23 |  8303184 |  3238638 |     3286   2424 |        4 |        6
810.36/810.55	c  799s |      23 |  8321855 |  3246038 |     3286   2429 |        4 |        6
812.36/812.56	c  801s |      23 |  8341577 |  3253438 |     3286   2433 |        4 |        6
814.36/814.57	c  803s |      23 |  8358888 |  3260338 |     3286   2438 |        4 |        6
816.36/816.58	c  805s |      23 |  8375542 |  3266938 |     3286   2441 |        4 |        6
818.46/818.60	c  807s |      23 |  8393491 |  3274238 |     3286   2446 |        4 |        6
820.47/820.60	c  809s |      23 |  8411743 |  3281338 |     3286   2450 |        4 |        6
822.46/822.62	c  811s |      23 |  8430396 |  3288738 |     3286   2455 |        4 |        6
824.46/824.63	c  813s |      23 |  8449380 |  3296338 |     3286   2459 |        4 |        6
826.46/826.65	c  815s |      23 |  8470271 |  3304338 |     3286   2464 |        4 |        6
828.46/828.67	c  817s |      23 |  8488676 |  3311738 |     3286   2468 |        4 |        6
830.47/830.69	c  819s |      23 |  8507428 |  3319038 |     3286   2473 |        4 |        6
832.46/832.69	c  821s |      23 |  8526434 |  3326438 |     3286   2477 |        4 |        6
834.56/834.70	c  823s |      23 |  8546557 |  3334038 |     3286   2482 |        4 |        6
836.56/836.72	c  825s |      23 |  8564138 |  3341238 |     3286   2486 |        4 |        6
838.56/838.74	c  827s |      23 |  8581644 |  3348338 |     3286   2490 |        4 |        6
840.56/840.75	c  829s |      23 |  8600801 |  3355738 |     3615   2494 |        4 |        6
842.56/842.78	c  831s |      23 |  8618601 |  3363038 |     3615   2498 |        4 |        6
844.57/844.80	c  833s |      23 |  8632799 |  3369338 |     3615   2502 |        4 |        6
846.67/846.82	c  835s |      23 |  8650502 |  3376138 |     3615   2505 |        4 |        6
846.77/846.99	c  836s |      24 |  8652139 |  3376662 |     3615   2506 |        4 |        6
848.86/849.00	c  838s |      24 |  8672279 |  3384262 |     3615   2510 |        4 |        6
850.86/851.00	c  840s |      24 |  8690910 |  3391462 |     3615   2514 |        4 |        6
852.86/853.02	c  842s |      24 |  8708853 |  3398562 |     3615   2518 |        4 |        6
854.86/855.04	c  844s |      24 |  8724019 |  3405062 |     3615   2521 |        4 |        6
856.87/857.06	c  846s |      24 |  8741673 |  3412162 |     3615   2525 |        4 |        6
858.86/859.06	c  848s |      24 |  8757782 |  3418962 |     3615   2529 |        4 |        6
860.86/861.07	c  850s |      24 |  8778015 |  3426862 |     3615   2533 |        4 |        6
862.86/863.09	c  852s |      24 |  8795004 |  3434162 |     3615   2537 |        4 |        6
864.96/865.10	c  854s |      24 |  8811603 |  3441162 |     3615   2541 |        4 |        6
866.96/867.12	c  856s |      24 |  8828678 |  3448262 |     3615   2545 |        4 |        6
868.96/869.14	c  858s |      24 |  8845512 |  3455362 |     3615   2549 |        4 |        6
870.96/871.17	c  860s |      24 |  8862842 |  3462262 |     3615   2552 |        4 |        6
872.96/873.19	c  862s |      24 |  8880198 |  3469462 |     3615   2556 |        4 |        6
875.06/875.20	c  864s |      24 |  8898716 |  3476762 |     3615   2560 |        4 |        6
877.06/877.21	c  866s |      24 |  8915422 |  3483662 |     3615   2564 |        4 |        6
879.06/879.23	c  868s |      24 |  8933219 |  3490862 |     3615   2568 |        4 |        6
881.06/881.25	c  870s |      24 |  8950726 |  3498262 |     3615   2572 |        4 |        6
883.05/883.26	c  872s |      24 |  8967673 |  3505462 |     3615   2576 |        4 |        6
885.05/885.28	c  874s |      24 |  8986323 |  3512462 |     3615   2580 |        4 |        6
887.15/887.30	c  876s |      24 |  9004731 |  3519662 |     3615   2584 |        4 |        6
889.15/889.31	c  878s |      24 |  9021196 |  3526362 |     3615   2588 |        4 |        6
891.15/891.33	c  880s |      24 |  9038218 |  3533062 |     3615   2591 |        4 |        6
893.16/893.35	c  882s |      24 |  9054987 |  3540362 |     3615   2595 |        4 |        6
895.15/895.36	c  884s |      24 |  9070527 |  3547362 |     3615   2599 |        4 |        6
897.15/897.37	c  886s |      24 |  9087764 |  3554262 |     3615   2603 |        4 |        6
899.15/899.38	c  888s |      24 |  9103518 |  3561362 |     3615   2607 |        4 |        6
901.25/901.40	c  890s |      24 |  9120984 |  3568462 |     3615   2610 |        4 |        6
903.25/903.42	c  892s |      24 |  9137821 |  3575262 |     3615   2614 |        4 |        6
905.26/905.46	c  894s |      24 |  9155127 |  3582162 |     3615   2618 |        4 |        6
907.25/907.48	c  896s |      24 |  9172660 |  3589562 |     3615   2622 |        4 |        6
909.35/909.51	c  898s |      24 |  9188436 |  3596662 |     3615   2626 |        4 |        6
911.35/911.51	c  900s |      24 |  9204775 |  3603762 |     3615   2630 |        4 |        6
913.35/913.51	c  902s |      24 |  9224652 |  3611462 |     3615   2634 |        4 |        6
915.35/915.52	c  904s |      24 |  9242613 |  3619062 |     3615   2638 |        4 |        6
917.35/917.53	c  906s |      24 |  9262406 |  3626862 |     3615   2642 |        4 |        6
919.35/919.54	c  908s |      24 |  9280825 |  3634462 |     3615   2646 |        4 |        6
921.35/921.55	c  910s |      24 |  9300044 |  3642062 |     3615   2651 |        4 |        6
923.35/923.57	c  912s |      24 |  9319859 |  3649862 |     3615   2655 |        4 |        6
925.35/925.59	c  914s |      24 |  9338347 |  3657562 |     3615   2659 |        4 |        6
927.45/927.61	c  916s |      24 |  9353915 |  3664862 |     3615   2663 |        4 |        6
929.45/929.61	c  918s |      24 |  9369356 |  3671762 |     3615   2667 |        4 |        6
931.45/931.63	c  920s |      24 |  9387403 |  3679062 |     3615   2671 |        4 |        6
933.45/933.65	c  922s |      24 |  9406039 |  3686662 |     3615   2675 |        4 |        6
935.44/935.67	c  924s |      24 |  9425843 |  3694462 |     3615   2679 |        4 |        6
937.44/937.67	c  926s |      24 |  9443734 |  3701862 |     3615   2683 |        4 |        6
939.44/939.68	c  928s |      24 |  9465141 |  3710062 |     3615   2688 |        4 |        6
941.55/941.70	c  930s |      24 |  9484365 |  3717962 |     3615   2692 |        4 |        6
943.54/943.72	c  932s |      24 |  9506040 |  3725862 |     3615   2696 |        4 |        6
945.54/945.74	c  934s |      24 |  9525027 |  3733562 |     3615   2701 |        4 |        6
947.54/947.76	c  936s |      24 |  9541489 |  3740262 |     3615   2704 |        4 |        6
949.54/949.78	c  938s |      24 |  9559880 |  3747762 |     3615   2708 |        4 |        6
951.64/951.82	c  940s |      24 |  9579782 |  3755562 |     3615   2713 |        4 |        6
953.65/953.82	c  942s |      24 |  9598876 |  3763562 |     3615   2717 |        4 |        6
955.64/955.84	c  944s |      24 |  9618877 |  3771562 |     3615   2721 |        4 |        6
957.64/957.85	c  947s |      24 |  9637487 |  3778962 |     3615   2725 |        4 |        6
959.65/959.87	c  949s |      24 |  9656666 |  3786562 |     3615   2729 |        4 |        6
961.75/961.90	c  951s |      24 |  9676295 |  3794062 |     3615   2734 |        4 |        6
963.75/963.91	c  953s |      24 |  9697546 |  3801962 |     3615   2738 |        4 |        6
965.75/965.91	c  955s |      24 |  9715928 |  3809262 |     3615   2742 |        4 |        6
967.75/967.92	c  957s |      24 |  9736625 |  3816962 |     3615   2746 |        4 |        6
969.75/969.94	c  959s |      24 |  9756709 |  3824062 |     3615   2750 |        4 |        6
971.75/971.95	c  961s |      24 |  9778850 |  3831662 |     3615   2754 |        4 |        6
973.75/973.96	c  963s |      24 |  9801521 |  3839062 |     3615   2758 |        4 |        6
975.74/975.98	c  965s |      24 |  9823851 |  3846462 |     3615   2762 |        4 |        6
977.85/978.00	c  967s |      24 |  9841646 |  3853362 |     3615   2766 |        4 |        6
979.84/980.01	c  969s |      24 |  9858063 |  3859562 |     3615   2769 |        4 |        6
981.84/982.02	c  971s |      24 |  9875479 |  3866862 |     3615   2773 |        4 |        6
983.84/984.03	c  973s |      24 |  9893483 |  3873762 |     3615   2777 |        4 |        6
985.84/986.05	c  975s |      24 |  9911701 |  3881162 |     3615   2781 |        4 |        6
987.84/988.06	c  977s |      24 |  9930998 |  3888362 |     3615   2785 |        4 |        6
989.85/990.06	c  979s |      24 |  9950398 |  3895962 |     3615   2789 |        4 |        6
991.84/992.07	c  981s |      24 |  9969571 |  3903462 |     3615   2793 |        4 |        6
993.84/994.08	c  983s |      24 |  9988500 |  3910962 |     3615   2797 |        4 |        6
995.94/996.10	c  985s |      24 | 10006896 |  3918462 |     3615   2801 |        4 |        6
997.94/998.12	c  987s |      24 | 10022964 |  3925062 |     3615   2805 |        4 |        6
999.94/1000.13	c  989s |      24 | 10040133 |  3931962 |     3615   2809 |        4 |        6
1001.94/1002.14	c  991s |      24 | 10058242 |  3939262 |     3615   2813 |        4 |        6
1003.94/1004.15	c  993s |      24 | 10077068 |  3946562 |     3615   2817 |        4 |        6
1005.94/1006.17	c  995s |      24 | 10095718 |  3953862 |     3615   2821 |        4 |        6
1007.94/1008.18	c  997s |      24 | 10113881 |  3961262 |     3615   2825 |        4 |        6
1010.04/1010.21	c  999s |      24 | 10131317 |  3968362 |     3615   2829 |        4 |        6
1012.04/1012.23	c 1001s |      24 | 10147497 |  3974962 |     3615   2832 |        4 |        6
1014.04/1014.27	c 1003s |      24 | 10163731 |  3981562 |     3615   2836 |        4 |        6
1016.14/1016.30	c 1005s |      24 | 10179817 |  3988562 |     3615   2840 |        4 |        6
1018.14/1018.32	c 1007s |      24 | 10199444 |  3995462 |     3615   2843 |        4 |        6
1020.13/1020.32	c 1009s |      24 | 10217781 |  4002862 |     3615   2848 |        4 |        6
1022.13/1022.33	c 1011s |      24 | 10235687 |  4010362 |     3615   2852 |        4 |        6
1024.13/1024.35	c 1013s |      24 | 10253786 |  4017462 |     3615   2855 |        4 |        6
1026.14/1026.36	c 1015s |      24 | 10272780 |  4024462 |     3615   2859 |        4 |        6
1028.13/1028.37	c 1017s |      24 | 10287921 |  4030562 |     3615   2863 |        4 |        6
1030.13/1030.39	c 1019s |      24 | 10305804 |  4037462 |     3615   2866 |        4 |        6
1032.13/1032.39	c 1021s |      24 | 10323517 |  4044462 |     3615   2870 |        4 |        6
1034.23/1034.40	c 1023s |      24 | 10341318 |  4051462 |     3615   2874 |        4 |        6
1036.23/1036.40	c 1025s |      24 | 10358409 |  4058262 |     3615   2878 |        4 |        6
1038.24/1038.42	c 1027s |      24 | 10374011 |  4064862 |     3615   2881 |        4 |        6
1040.23/1040.43	c 1029s |      24 | 10390029 |  4071262 |     3615   2885 |        4 |        6
1042.23/1042.43	c 1031s |      24 | 10409104 |  4078562 |     3615   2889 |        4 |        6
1044.23/1044.43	c 1033s |      24 | 10427064 |  4085662 |     3615   2893 |        4 |        6
1046.23/1046.44	c 1035s |      24 | 10445065 |  4092862 |     3615   2897 |        4 |        6
1048.23/1048.46	c 1037s |      24 | 10461916 |  4099662 |     3615   2900 |        4 |        6
1050.23/1050.49	c 1039s |      24 | 10479636 |  4106662 |     3615   2904 |        4 |        6
1052.33/1052.51	c 1041s |      24 | 10498064 |  4113762 |     3615   2908 |        4 |        6
1054.33/1054.53	c 1043s |      24 | 10514503 |  4120462 |     3615   2912 |        4 |        6
1056.33/1056.55	c 1045s |      24 | 10530096 |  4127062 |     3615   2915 |        4 |        6
1058.33/1058.57	c 1047s |      24 | 10547365 |  4134062 |     3615   2919 |        4 |        6
1060.33/1060.58	c 1049s |      24 | 10565497 |  4141062 |     3615   2923 |        4 |        6
1062.43/1062.63	c 1051s |      24 | 10581435 |  4147562 |     3615   2927 |        4 |        6
1064.42/1064.65	c 1053s |      24 | 10600117 |  4154862 |     3615   2931 |        4 |        6
1066.42/1066.66	c 1055s |      24 | 10617103 |  4161762 |     3615   2934 |        4 |        6
1068.42/1068.68	c 1057s |      24 | 10634534 |  4168062 |     3615   2938 |        4 |        6
1070.42/1070.69	c 1059s |      24 | 10652307 |  4174962 |     3615   2942 |        4 |        6
1072.43/1072.69	c 1061s |      24 | 10670258 |  4181862 |     3615   2945 |        4 |        6
1074.43/1074.70	c 1063s |      24 | 10686469 |  4188662 |     3615   2949 |        4 |        6
1076.53/1076.72	c 1065s |      24 | 10704288 |  4195962 |     3615   2953 |        4 |        6
1078.53/1078.75	c 1067s |      24 | 10717943 |  4202362 |     3615   2957 |        4 |        6
1080.53/1080.77	c 1069s |      24 | 10733171 |  4208862 |     3615   2960 |        4 |        6
1082.53/1082.79	c 1071s |      24 | 10748967 |  4215662 |     3615   2964 |        4 |        6
1084.63/1084.80	c 1073s |      24 | 10765749 |  4222462 |     3615   2967 |        4 |        6
1086.63/1086.81	c 1075s |      24 | 10778692 |  4228462 |     3615   2971 |        4 |        6
1088.62/1088.82	c 1077s |      24 | 10793377 |  4235562 |     3615   2975 |        4 |        6
1090.62/1090.82	c 1079s |      24 | 10807397 |  4241762 |     3615   2978 |        4 |        6
1092.62/1092.84	c 1081s |      24 | 10823742 |  4248362 |     3615   2982 |        4 |        6
1094.62/1094.87	c 1084s |      24 | 10840692 |  4255062 |     3615   2985 |        4 |        6
1096.63/1096.89	c 1086s |      24 | 10858001 |  4261862 |     3615   2989 |        4 |        6
1098.73/1098.92	c 1088s |      24 | 10873940 |  4268262 |     3615   2993 |        4 |        6
1100.72/1100.94	c 1090s |      24 | 10890807 |  4274962 |     3615   2996 |        4 |        6
1102.72/1102.94	c 1092s |      24 | 10906176 |  4281062 |     3615   3000 |        4 |        6
1104.72/1104.95	c 1094s |      24 | 10924148 |  4287662 |     3615   3003 |        4 |        6
1106.72/1106.97	c 1096s |      24 | 10939321 |  4294162 |     3615   3007 |        4 |        6
1108.72/1108.99	c 1098s |      24 | 10955103 |  4300362 |     3615   3010 |        4 |        6
1110.71/1111.00	c 1100s |      24 | 10973356 |  4307262 |     3615   3014 |        4 |        6
1112.81/1113.03	c 1102s |      24 | 10991465 |  4313962 |     3615   3018 |        4 |        6
1114.81/1115.05	c 1104s |      24 | 11010122 |  4321062 |     3615   3021 |        4 |        6
1116.81/1117.07	c 1106s |      24 | 11028707 |  4327962 |     3615   3025 |        4 |        6
1118.91/1119.10	c 1108s |      24 | 11048827 |  4335162 |     3615   3029 |        4 |        6
1120.91/1121.12	c 1110s |      24 | 11066946 |  4342162 |     3615   3033 |        4 |        6
1122.91/1123.14	c 1112s |      24 | 11082496 |  4348862 |     3615   3037 |        4 |        6
1124.91/1125.16	c 1114s |      24 | 11099618 |  4355662 |     3615   3040 |        4 |        6
1126.90/1127.17	c 1116s |      24 | 11117512 |  4362462 |     3615   3044 |        4 |        6
1128.90/1129.18	c 1118s |      24 | 11132519 |  4368662 |     3615   3047 |        4 |        6
1130.90/1131.19	c 1120s |      24 | 11147494 |  4374962 |     3615   3051 |        4 |        6
1133.00/1133.20	c 1122s |      24 | 11162300 |  4381462 |     3615   3054 |        4 |        6
1135.01/1135.23	c 1124s |      24 | 11177673 |  4388262 |     3615   3058 |        4 |        6
1137.00/1137.24	c 1126s |      24 | 11192351 |  4394362 |     3615   3061 |        4 |        6
1139.00/1139.25	c 1128s |      24 | 11210415 |  4401862 |     3615   3065 |        4 |        6
1141.00/1141.26	c 1130s |      24 | 11228557 |  4409362 |     3615   3070 |        4 |        6
1143.00/1143.27	c 1132s |      24 | 11246348 |  4416762 |     3615   3074 |        4 |        6
1145.00/1145.29	c 1134s |      24 | 11264576 |  4424162 |     3615   3078 |        4 |        6
1146.99/1147.30	c 1136s |      24 | 11281594 |  4431362 |     3615   3082 |        4 |        6
1149.09/1149.32	c 1138s |      24 | 11299301 |  4439062 |     3615   3086 |        4 |        6
1151.09/1151.33	c 1140s |      24 | 11317442 |  4446662 |     3615   3090 |        4 |        6
1153.09/1153.35	c 1142s |      24 | 11333486 |  4453762 |     3615   3094 |        4 |        6
1155.09/1155.36	c 1144s |      24 | 11348853 |  4460762 |     3615   3098 |        4 |        6
1157.10/1157.38	c 1146s |      24 | 11365753 |  4467862 |     3615   3102 |        4 |        6
1159.09/1159.39	c 1148s |      24 | 11379973 |  4474762 |     3615   3105 |        4 |        6
1161.19/1161.41	c 1150s |      24 | 11394745 |  4481362 |     3615   3109 |        4 |        6
1163.19/1163.41	c 1152s |      24 | 11409389 |  4487862 |     3615   3112 |        4 |        6
1165.19/1165.42	c 1154s |      24 | 11423698 |  4494462 |     3615   3116 |        4 |        6
1167.19/1167.44	c 1156s |      24 | 11443628 |  4502062 |     3615   3120 |        4 |        6
1169.20/1169.45	c 1158s |      24 | 11462268 |  4508962 |     3615   3124 |        4 |        6
1171.19/1171.46	c 1160s |      24 | 11481628 |  4516262 |     3615   3128 |        4 |        6
1173.19/1173.48	c 1162s |      24 | 11500558 |  4523762 |     3615   3132 |        4 |        6
1175.19/1175.49	c 1164s |      24 | 11520832 |  4531262 |     3615   3136 |        4 |        6
1177.29/1177.51	c 1166s |      24 | 11539330 |  4538162 |     3615   3140 |        4 |        6
1179.29/1179.52	c 1168s |      24 | 11559653 |  4545662 |     3615   3144 |        4 |        6
1181.29/1181.54	c 1170s |      24 | 11577701 |  4552962 |     3615   3148 |        4 |        6
1183.29/1183.57	c 1172s |      24 | 11594432 |  4559662 |     3615   3152 |        4 |        6
1185.28/1185.59	c 1174s |      24 | 11612190 |  4566262 |     3615   3155 |        4 |        6
1187.38/1187.61	c 1176s |      24 | 11629900 |  4573462 |     3615   3159 |        4 |        6
1189.38/1189.62	c 1178s |      24 | 11647760 |  4580362 |     3615   3163 |        4 |        6
1191.38/1191.63	c 1180s |      24 | 11665446 |  4587562 |     3615   3167 |        4 |        6
1193.38/1193.64	c 1182s |      24 | 11686113 |  4594962 |     3615   3171 |        4 |        6
1195.38/1195.66	c 1184s |      24 | 11704347 |  4601862 |     3615   3175 |        4 |        6
1197.37/1197.68	c 1186s |      24 | 11723262 |  4608862 |     3615   3178 |        4 |        6
1199.37/1199.69	c 1188s |      24 | 11740445 |  4615762 |     3615   3182 |        4 |        6
1201.47/1201.72	c 1190s |      24 | 11755414 |  4622262 |     3615   3186 |        4 |        6
1203.47/1203.72	c 1192s |      24 | 11772300 |  4628562 |     3615   3189 |        4 |        6
1205.48/1205.75	c 1194s |      24 | 11789380 |  4635462 |     3615   3193 |        4 |        6
1207.47/1207.76	c 1196s |      24 | 11805246 |  4642062 |     3615   3197 |        4 |        6
1209.57/1209.80	c 1198s |      24 | 11824423 |  4649462 |     3615   3201 |        4 |        6
1211.57/1211.83	c 1200s |      24 | 11843676 |  4656762 |     3615   3205 |        4 |        6
1213.57/1213.84	c 1202s |      24 | 11863121 |  4664362 |     3615   3209 |        4 |        6
1215.56/1215.84	c 1204s |      24 | 11883609 |  4671962 |     3615   3213 |        4 |        6
1217.57/1217.86	c 1207s |      24 | 11902824 |  4679262 |     3615   3217 |        4 |        6
1219.56/1219.86	c 1209s |      24 | 11921801 |  4686362 |     3615   3221 |        4 |        6
1221.56/1221.87	c 1211s |      24 | 11941741 |  4693762 |     3615   3225 |        4 |        6
1223.56/1223.88	c 1213s |      24 | 11961083 |  4701162 |     3615   3229 |        4 |        6
1225.65/1225.90	c 1215s |      24 | 11978928 |  4708462 |     3615   3233 |        4 |        6
1227.65/1227.98	c 1217s |      24 | 11996989 |  4715962 |     3615   3237 |        4 |        6
1229.75/1230.01	c 1219s |      24 | 12015262 |  4723062 |     3615   3241 |        4 |        6
1231.76/1232.02	c 1221s |      24 | 12034957 |  4730562 |     3615   3245 |        4 |        6
1233.75/1234.03	c 1223s |      24 | 12054318 |  4738062 |     3615   3249 |        4 |        6
1235.75/1236.05	c 1225s |      24 | 12075669 |  4745962 |     3615   3253 |        4 |        6
1237.75/1238.08	c 1227s |      24 | 12095500 |  4753762 |     3615   3257 |        4 |        6
1239.75/1240.09	c 1229s |      24 | 12114366 |  4760962 |     3615   3261 |        4 |        6
1241.75/1242.10	c 1231s |      24 | 12134815 |  4768762 |     3615   3266 |        4 |        6
1243.85/1244.11	c 1233s |      24 | 12155170 |  4776662 |     3615   3270 |        4 |        6
1245.84/1246.13	c 1235s |      24 | 12174986 |  4784462 |     3615   3274 |        4 |        6
1247.84/1248.14	c 1237s |      24 | 12197144 |  4792662 |     3615   3279 |        4 |        6
1249.84/1250.16	c 1239s |      24 | 12216293 |  4800362 |     3615   3283 |        4 |        6
1251.84/1252.18	c 1241s |      24 | 12231533 |  4807262 |     3615   3287 |        4 |        6
1253.85/1254.19	c 1243s |      24 | 12249317 |  4814862 |     3615   3291 |        4 |        6
1255.84/1256.20	c 1245s |      24 | 12269278 |  4821962 |     3615   3295 |        4 |        6
1257.94/1258.21	c 1247s |      24 | 12289377 |  4829362 |     3615   3299 |        4 |        6
1259.94/1260.21	c 1249s |      24 | 12307753 |  4836862 |     3615   3303 |        4 |        6
1261.93/1262.23	c 1251s |      24 | 12325936 |  4844062 |     3615   3307 |        4 |        6
1263.93/1264.24	c 1253s |      24 | 12342279 |  4850762 |     3615   3310 |        4 |        6
1265.94/1266.24	c 1255s |      24 | 12360203 |  4858062 |     3615   3314 |        4 |        6
1267.93/1268.24	c 1257s |      24 | 12378860 |  4865362 |     3615   3318 |        4 |        6
1269.93/1270.25	c 1259s |      24 | 12397904 |  4872662 |     3615   3322 |        4 |        6
1271.93/1272.26	c 1261s |      24 | 12414249 |  4879862 |     3615   3326 |        4 |        6
1273.93/1274.28	c 1263s |      24 | 12431219 |  4887162 |     3615   3330 |        4 |        6
1275.92/1276.29	c 1265s |      24 | 12448985 |  4894462 |     3615   3334 |        4 |        6
1278.03/1278.32	c 1267s |      24 | 12467152 |  4901962 |     3615   3338 |        4 |        6
1280.02/1280.33	c 1269s |      24 | 12483929 |  4909162 |     3615   3342 |        4 |        6
1282.02/1282.34	c 1271s |      24 | 12499842 |  4916562 |     3615   3346 |        4 |        6
1284.02/1284.37	c 1273s |      24 | 12515485 |  4923862 |     3615   3350 |        4 |        6
1286.02/1286.38	c 1275s |      24 | 12530818 |  4930962 |     3615   3354 |        4 |        6
1288.02/1288.39	c 1277s |      24 | 12547597 |  4937862 |     3615   3358 |        4 |        6
1290.02/1290.39	c 1279s |      24 | 12566027 |  4944962 |     3615   3362 |        4 |        6
1292.11/1292.43	c 1281s |      24 | 12581812 |  4951662 |     3615   3366 |        4 |        6
1294.12/1294.43	c 1283s |      24 | 12598748 |  4958762 |     3615   3369 |        4 |        6
1296.12/1296.43	c 1285s |      24 | 12614001 |  4965362 |     3615   3373 |        4 |        6
1298.12/1298.44	c 1287s |      24 | 12628971 |  4972062 |     3615   3377 |        4 |        6
1300.12/1300.45	c 1289s |      24 | 12644587 |  4979162 |     3615   3381 |        4 |        6
1302.12/1302.48	c 1291s |      24 | 12660302 |  4985562 |     3615   3384 |        4 |        6
1304.12/1304.48	c 1293s |      24 | 12678288 |  4992662 |     3615   3388 |        4 |        6
1306.22/1306.50	c 1295s |      24 | 12694362 |  4999362 |     3615   3392 |        4 |        6
1308.22/1308.51	c 1297s |      24 | 12711881 |  5006162 |     3615   3395 |        4 |        6
1310.21/1310.52	c 1299s |      24 | 12728754 |  5012962 |     3615   3399 |        4 |        6
1312.21/1312.52	c 1301s |      24 | 12745472 |  5019962 |     3615   3403 |        4 |        6
1314.22/1314.54	c 1303s |      24 | 12764570 |  5026862 |     3615   3407 |        4 |        6
1316.21/1316.56	c 1305s |      24 | 12782764 |  5034162 |     3977   3410 |        4 |        6
1318.21/1318.57	c 1307s |      24 | 12800752 |  5041562 |     3977   3414 |        4 |        6
1320.21/1320.58	c 1309s |      24 | 12817751 |  5048662 |     3977   3417 |        4 |        6
1322.21/1322.58	c 1311s |      24 | 12834361 |  5055662 |     3977   3421 |        4 |        6
1324.31/1324.61	c 1313s |      24 | 12850541 |  5061962 |     3977   3424 |        4 |        6
1325.11/1325.49	c 1314s |      25 | 12858511 |  5065098 |     3977   3425 |        4 |        6
1327.20/1327.51	c 1316s |      25 | 12876423 |  5072398 |     3977   3429 |        4 |        6
1329.20/1329.51	c 1318s |      25 | 12895297 |  5079898 |     3977   3433 |        4 |        6
1331.20/1331.53	c 1320s |      25 | 12911108 |  5086998 |     3977   3436 |        4 |        6
1333.20/1333.54	c 1322s |      25 | 12930220 |  5094698 |     3977   3440 |        4 |        6
1335.21/1335.56	c 1324s |      25 | 12946875 |  5101998 |     3977   3444 |        4 |        6
1337.19/1337.57	c 1326s |      25 | 12967291 |  5109398 |     3977   3447 |        4 |        6
1339.19/1339.59	c 1328s |      25 | 12988772 |  5116998 |     3977   3451 |        4 |        6
1341.29/1341.62	c 1330s |      25 | 13009100 |  5124498 |     3977   3455 |        4 |        6
1343.29/1343.64	c 1332s |      25 | 13026971 |  5132098 |     3977   3459 |        4 |        6
1345.29/1345.64	c 1334s |      25 | 13045188 |  5139398 |     3977   3462 |        4 |        6
1347.29/1347.65	c 1336s |      25 | 13063667 |  5147198 |     3977   3466 |        4 |        6
1349.29/1349.68	c 1338s |      25 | 13079900 |  5154398 |     3977   3470 |        4 |        6
1351.38/1351.70	c 1340s |      25 | 13095418 |  5161498 |     3977   3473 |        4 |        6
1353.38/1353.70	c 1342s |      25 | 13108849 |  5167598 |     3977   3476 |        4 |        6
1355.38/1355.73	c 1344s |      25 | 13126818 |  5175198 |     3977   3480 |        4 |        6
1357.38/1357.75	c 1346s |      25 | 13144980 |  5182398 |     3977   3484 |        4 |        6
1359.39/1359.77	c 1348s |      25 | 13160193 |  5188898 |     3977   3487 |        4 |        6
1361.38/1361.78	c 1350s |      25 | 13178257 |  5196098 |     3977   3490 |        4 |        6
1363.38/1363.79	c 1352s |      25 | 13196961 |  5203498 |     3977   3494 |        4 |        6
1365.47/1365.82	c 1354s |      25 | 13213927 |  5210998 |     3977   3498 |        4 |        6
1367.47/1367.83	c 1356s |      25 | 13228022 |  5217998 |     3977   3501 |        4 |        6
1369.47/1369.84	c 1358s |      25 | 13245055 |  5225098 |     3977   3505 |        4 |        6
1371.48/1371.84	c 1360s |      25 | 13260409 |  5232098 |     3977   3508 |        4 |        6
1373.47/1373.85	c 1363s |      25 | 13275916 |  5238798 |     3977   3512 |        4 |        6
1375.47/1375.86	c 1365s |      25 | 13289750 |  5245398 |     3977   3515 |        4 |        6
1377.47/1377.89	c 1367s |      25 | 13305495 |  5252298 |     3977   3518 |        4 |        6
1379.47/1379.89	c 1369s |      25 | 13321918 |  5259398 |     3977   3522 |        4 |        6
1381.57/1381.90	c 1371s |      25 | 13337582 |  5266398 |     3977   3525 |        4 |        6
1383.57/1383.91	c 1373s |      25 | 13354371 |  5273698 |     3977   3529 |        4 |        6
1385.56/1385.94	c 1375s |      25 | 13369366 |  5280798 |     3977   3533 |        4 |        6
1387.56/1387.97	c 1377s |      25 | 13384392 |  5287898 |     3977   3536 |        4 |        6
1389.56/1389.98	c 1379s |      25 | 13397747 |  5294098 |     3977   3539 |        4 |        6
1391.56/1391.99	c 1381s |      25 | 13416217 |  5301398 |     3977   3543 |        4 |        6
1393.66/1394.02	c 1383s |      25 | 13435110 |  5308898 |     3977   3547 |        4 |        6
1395.66/1396.02	c 1385s |      25 | 13452705 |  5316598 |     3977   3550 |        4 |        6
1397.66/1398.04	c 1387s |      25 | 13471016 |  5324098 |     3977   3554 |        4 |        6
1399.66/1400.04	c 1389s |      25 | 13489395 |  5331598 |     3977   3558 |        4 |        6
1401.66/1402.08	c 1391s |      25 | 13507411 |  5339098 |     3977   3561 |        4 |        6
1403.66/1404.09	c 1393s |      25 | 13523556 |  5346298 |     3977   3565 |        4 |        6
1405.76/1406.10	c 1395s |      25 | 13538550 |  5353198 |     3977   3568 |        4 |        6
1407.77/1408.11	c 1397s |      25 | 13552240 |  5359898 |     3977   3572 |        4 |        6
1409.76/1410.13	c 1399s |      25 | 13564220 |  5365598 |     3977   3575 |        4 |        6
1411.76/1412.15	c 1401s |      25 | 13583536 |  5373498 |     3977   3579 |        4 |        6
1413.76/1414.15	c 1403s |      25 | 13602010 |  5381198 |     3977   3582 |        4 |        6
1415.76/1416.17	c 1405s |      25 | 13620916 |  5388798 |     3977   3586 |        4 |        6
1417.75/1418.19	c 1407s |      25 | 13638232 |  5395898 |     3977   3590 |        4 |        6
1419.76/1420.20	c 1409s |      25 | 13655995 |  5403198 |     3977   3593 |        4 |        6
1421.85/1422.23	c 1411s |      25 | 13673546 |  5410598 |     3977   3597 |        4 |        6
1423.85/1424.25	c 1413s |      25 | 13690003 |  5417898 |     3977   3601 |        4 |        6
1425.85/1426.26	c 1415s |      25 | 13708068 |  5425398 |     3977   3604 |        4 |        6
1427.85/1428.27	c 1417s |      25 | 13727498 |  5433298 |     3977   3608 |        4 |        6
1429.85/1430.29	c 1419s |      25 | 13746714 |  5440998 |     3977   3612 |        4 |        6
1431.86/1432.29	c 1421s |      25 | 13765459 |  5448598 |     3977   3616 |        4 |        6
1433.95/1434.31	c 1423s |      25 | 13782213 |  5455398 |     3977   3619 |        4 |        6
1435.94/1436.31	c 1425s |      25 | 13802345 |  5462998 |     3977   3623 |        4 |        6
1437.94/1438.32	c 1427s |      25 | 13822205 |  5470498 |     3977   3627 |        4 |        6
1439.94/1440.33	c 1429s |      25 | 13841701 |  5478198 |     3977   3631 |        4 |        6
1441.94/1442.34	c 1431s |      25 | 13861395 |  5485898 |     3977   3634 |        4 |        6
1443.95/1444.35	c 1433s |      25 | 13882087 |  5493598 |     3977   3638 |        4 |        6
1445.94/1446.37	c 1435s |      25 | 13901530 |  5501498 |     3977   3642 |        4 |        6
1447.94/1448.38	c 1437s |      25 | 13922487 |  5509298 |     3977   3646 |        4 |        6
1449.94/1450.38	c 1439s |      25 | 13940778 |  5516798 |     3977   3650 |        4 |        6
1451.94/1452.39	c 1441s |      25 | 13958861 |  5524198 |     3977   3653 |        4 |        6
1454.04/1454.41	c 1443s |      25 | 13975603 |  5530898 |     3977   3657 |        4 |        6
1456.05/1456.43	c 1445s |      25 | 13995664 |  5538698 |     3977   3661 |        4 |        6
1458.04/1458.44	c 1447s |      25 | 14014027 |  5546198 |     3977   3664 |        4 |        6
1460.04/1460.46	c 1449s |      25 | 14032189 |  5553698 |     3977   3668 |        4 |        6
1462.04/1462.46	c 1451s |      25 | 14049962 |  5561098 |     3977   3672 |        4 |        6
1464.04/1464.47	c 1453s |      25 | 14068242 |  5568498 |     3977   3675 |        4 |        6
1466.04/1466.47	c 1455s |      25 | 14086235 |  5575998 |     3977   3679 |        4 |        6
1468.04/1468.48	c 1457s |      25 | 14103714 |  5583498 |     3977   3683 |        4 |        6
1470.04/1470.49	c 1459s |      25 | 14121571 |  5590998 |     3977   3687 |        4 |        6
1472.14/1472.51	c 1461s |      25 | 14139380 |  5598598 |     3977   3690 |        4 |        6
1474.14/1474.53	c 1463s |      25 | 14157886 |  5605998 |     3977   3694 |        4 |        6
1476.13/1476.56	c 1465s |      25 | 14171947 |  5612298 |     3977   3697 |        4 |        6
1478.14/1478.57	c 1467s |      25 | 14190753 |  5619798 |     3977   3701 |        4 |        6
1480.13/1480.57	c 1469s |      25 | 14207404 |  5627198 |     3977   3705 |        4 |        6
1482.13/1482.58	c 1471s |      25 | 14226555 |  5635198 |     3977   3708 |        4 |        6
1484.23/1484.60	c 1473s |      25 | 14244909 |  5642598 |     3977   3712 |        4 |        6
1486.23/1486.61	c 1475s |      25 | 14261832 |  5650098 |     3977   3716 |        4 |        6
1488.23/1488.63	c 1477s |      25 | 14278561 |  5657398 |     3977   3720 |        4 |        6
1490.23/1490.64	c 1479s |      25 | 14294719 |  5664498 |     3977   3723 |        4 |        6
1492.23/1492.65	c 1481s |      25 | 14311173 |  5671698 |     3977   3727 |        4 |        6
1494.22/1494.66	c 1483s |      25 | 14327520 |  5678898 |     3977   3730 |        4 |        6
1496.22/1496.68	c 1485s |      25 | 14342796 |  5685998 |     3977   3734 |        4 |        6
1498.32/1498.70	c 1487s |      25 | 14355276 |  5692198 |     3977   3737 |        4 |        6
1500.32/1500.72	c 1489s |      25 | 14368742 |  5699198 |     3977   3740 |        4 |        6
1502.32/1502.72	c 1491s |      25 | 14383630 |  5706298 |     3977   3744 |        4 |        6
1504.32/1504.74	c 1493s |      25 | 14397578 |  5713298 |     3977   3747 |        4 |        6
1506.31/1506.74	c 1495s |      25 | 14415447 |  5721298 |     3977   3751 |        4 |        6
1508.31/1508.75	c 1497s |      25 | 14435899 |  5729898 |     3977   3755 |        4 |        6
1510.31/1510.76	c 1499s |      25 | 14454314 |  5737398 |     3977   3759 |        4 |        6
1512.31/1512.78	c 1501s |      25 | 14473037 |  5744798 |     3977   3763 |        4 |        6
1514.32/1514.78	c 1503s |      25 | 14493753 |  5752598 |     3977   3767 |        4 |        6
1516.31/1516.79	c 1505s |      25 | 14511618 |  5759798 |     3977   3770 |        4 |        6
1518.41/1518.82	c 1507s |      25 | 14529490 |  5767398 |     3977   3774 |        4 |        6
1520.40/1520.82	c 1509s |      25 | 14545245 |  5774298 |     3977   3778 |        4 |        6
1522.40/1522.82	c 1511s |      25 | 14562770 |  5781898 |     3977   3781 |        4 |        6
1524.40/1524.83	c 1513s |      25 | 14580635 |  5789598 |     3977   3785 |        4 |        6
1526.41/1526.84	c 1515s |      25 | 14596141 |  5797098 |     3977   3789 |        4 |        6
1528.40/1528.86	c 1518s |      25 | 14611774 |  5804198 |     3977   3792 |        4 |        6
1530.40/1530.87	c 1520s |      25 | 14627252 |  5811298 |     3977   3796 |        4 |        6
1532.40/1532.88	c 1522s |      25 | 14641964 |  5817998 |     3977   3799 |        4 |        6
1534.50/1534.92	c 1524s |      25 | 14659941 |  5825198 |     3977   3803 |        4 |        6
1536.49/1536.92	c 1526s |      25 | 14678224 |  5832698 |     3977   3807 |        4 |        6
1538.50/1538.94	c 1528s |      25 | 14697061 |  5840498 |     3977   3810 |        4 |        6
1540.50/1540.96	c 1530s |      25 | 14714643 |  5847798 |     3977   3814 |        4 |        6
1542.50/1542.96	c 1532s |      25 | 14732190 |  5855198 |     3977   3818 |        4 |        6
1544.50/1544.98	c 1534s |      25 | 14749050 |  5862798 |     3977   3821 |        4 |        6
1546.50/1546.98	c 1536s |      25 | 14765576 |  5869698 |     3977   3825 |        4 |        6
1548.51/1549.00	c 1538s |      25 | 14784374 |  5877498 |     3977   3829 |        4 |        6
1550.61/1551.01	c 1540s |      25 | 14804145 |  5885198 |     3977   3833 |        4 |        6
1552.60/1553.03	c 1542s |      25 | 14822235 |  5892698 |     3977   3836 |        4 |        6
1554.60/1555.06	c 1544s |      25 | 14838886 |  5899898 |     3977   3840 |        4 |        6
1556.59/1557.06	c 1546s |      25 | 14857635 |  5907098 |     3977   3844 |        4 |        6
1558.59/1559.06	c 1548s |      25 | 14873805 |  5913698 |     3977   3847 |        4 |        6
1560.60/1561.07	c 1550s |      25 | 14893700 |  5921798 |     3977   3851 |        4 |        6
1562.59/1563.09	c 1552s |      25 | 14912198 |  5929498 |     3977   3855 |        4 |        6
1564.69/1565.11	c 1554s |      25 | 14932439 |  5937498 |     3977   3859 |        4 |        6
1566.69/1567.13	c 1556s |      25 | 14951507 |  5945598 |     3977   3863 |        4 |        6
1568.69/1569.14	c 1558s |      25 | 14969530 |  5953298 |     3977   3866 |        4 |        6
1570.69/1571.16	c 1560s |      25 | 14988072 |  5961598 |     3977   3871 |        4 |        6
1572.69/1573.17	c 1562s |      25 | 15006168 |  5969998 |     3977   3875 |        4 |        6
1574.68/1575.18	c 1564s |      25 | 15021217 |  5977098 |     3977   3878 |        4 |        6
1576.68/1577.19	c 1566s |      25 | 15040907 |  5985298 |     3977   3882 |        4 |        6
1578.78/1579.21	c 1568s |      25 | 15059399 |  5993198 |     3977   3886 |        4 |        6
1580.78/1581.21	c 1570s |      25 | 15078748 |  6000998 |     3977   3890 |        4 |        6
1582.78/1583.22	c 1572s |      25 | 15096825 |  6008698 |     3977   3894 |        4 |        6
1584.79/1585.22	c 1574s |      25 | 15112466 |  6015698 |     3977   3897 |        4 |        6
1586.78/1587.24	c 1576s |      25 | 15130126 |  6023598 |     3977   3901 |        4 |        6
1588.78/1589.26	c 1578s |      25 | 15147543 |  6030798 |     3977   3905 |        4 |        6
1590.78/1591.26	c 1580s |      25 | 15163963 |  6037598 |     3977   3908 |        4 |        6
1592.78/1593.29	c 1582s |      25 | 15180634 |  6044898 |     3977   3912 |        4 |        6
1594.78/1595.30	c 1584s |      25 | 15197311 |  6052198 |     3977   3915 |        4 |        6
1596.88/1597.31	c 1586s |      25 | 15212577 |  6059398 |     3977   3919 |        4 |        6
1598.87/1599.32	c 1588s |      25 | 15230045 |  6067198 |     3977   3923 |        4 |        6
1600.87/1601.33	c 1590s |      25 | 15247886 |  6075198 |     3977   3927 |        4 |        6
1602.87/1603.34	c 1592s |      25 | 15266946 |  6083598 |     3977   3931 |        4 |        6
1604.87/1605.36	c 1594s |      25 | 15285085 |  6091398 |     3977   3935 |        4 |        6
1606.86/1607.37	c 1596s |      25 | 15302813 |  6099198 |     3977   3939 |        4 |        6
1608.87/1609.37	c 1598s |      25 | 15319973 |  6107198 |     3977   3943 |        4 |        6
1610.86/1611.39	c 1600s |      25 | 15334581 |  6113998 |     3977   3946 |        4 |        6
1612.96/1613.41	c 1602s |      25 | 15353386 |  6121998 |     3977   3950 |        4 |        6
1614.96/1615.44	c 1604s |      25 | 15371567 |  6129898 |     3977   3954 |        4 |        6
1616.96/1617.46	c 1606s |      25 | 15389591 |  6137698 |     3977   3958 |        4 |        6
1618.96/1619.48	c 1608s |      25 | 15406520 |  6145298 |     3977   3962 |        4 |        6
1620.97/1621.49	c 1610s |      25 | 15423782 |  6152898 |     3977   3965 |        4 |        6
1623.06/1623.50	c 1612s |      25 | 15440575 |  6160698 |     3977   3969 |        4 |        6
1625.06/1625.50	c 1614s |      25 | 15458617 |  6168198 |     3977   3973 |        4 |        6
1627.06/1627.52	c 1616s |      25 | 15474054 |  6175198 |     3977   3977 |        4 |        6
1629.06/1629.54	c 1618s |      25 | 15491177 |  6182898 |     3977   3980 |        4 |        6
1631.06/1631.55	c 1620s |      25 | 15507580 |  6190198 |     3977   3984 |        4 |        6
1633.06/1633.56	c 1622s |      25 | 15524127 |  6197698 |     3977   3988 |        4 |        6
1635.05/1635.58	c 1624s |      25 | 15540232 |  6204798 |     3977   3991 |        4 |        6
1637.05/1637.58	c 1626s |      25 | 15557930 |  6212398 |     3977   3995 |        4 |        6
1639.05/1639.58	c 1628s |      25 | 15576174 |  6220398 |     3977   3999 |        4 |        6
1641.05/1641.59	c 1630s |      25 | 15594236 |  6228198 |     3977   4003 |        4 |        6
1643.06/1643.60	c 1632s |      25 | 15612264 |  6235898 |     3977   4007 |        4 |        6
1645.16/1645.61	c 1634s |      25 | 15630568 |  6243798 |     3977   4011 |        4 |        6
1647.15/1647.62	c 1636s |      25 | 15649110 |  6251698 |     3977   4014 |        4 |        6
1649.15/1649.64	c 1638s |      25 | 15667948 |  6259498 |     3977   4018 |        4 |        6
1651.14/1651.64	c 1640s |      25 | 15686373 |  6267298 |     3977   4022 |        4 |        6
1653.14/1653.67	c 1642s |      25 | 15704629 |  6275098 |     3977   4026 |        4 |        6
1655.15/1655.69	c 1644s |      25 | 15720676 |  6281998 |     3977   4030 |        4 |        6
1657.25/1657.71	c 1646s |      25 | 15739129 |  6289998 |     3977   4033 |        4 |        6
1659.24/1659.72	c 1648s |      25 | 15758235 |  6298198 |     3977   4038 |        4 |        6
1661.24/1661.73	c 1650s |      25 | 15777445 |  6306298 |     3977   4042 |        4 |        6
1663.24/1663.73	c 1652s |      25 | 15796097 |  6314198 |     3977   4045 |        4 |        6
1665.24/1665.74	c 1654s |      25 | 15813059 |  6321598 |     3977   4049 |        4 |        6
1667.24/1667.76	c 1656s |      25 | 15830111 |  6329098 |     3977   4053 |        4 |        6
1669.24/1669.77	c 1658s |      25 | 15847145 |  6336498 |     3977   4057 |        4 |        6
1671.24/1671.78	c 1660s |      25 | 15862489 |  6343698 |     3977   4060 |        4 |        6
1673.23/1673.78	c 1662s |      25 | 15876891 |  6350298 |     3977   4063 |        4 |        6
1675.23/1675.79	c 1664s |      25 | 15895411 |  6358298 |     3977   4067 |        4 |        6
1677.33/1677.80	c 1666s |      25 | 15912082 |  6366198 |     3977   4071 |        4 |        6
1679.34/1679.82	c 1668s |      25 | 15928330 |  6373898 |     3977   4075 |        4 |        6
1681.33/1681.82	c 1670s |      25 | 15944988 |  6381698 |     3977   4079 |        4 |        6
1683.33/1683.84	c 1672s |      25 | 15962648 |  6389798 |     3977   4083 |        4 |        6
1685.33/1685.85	c 1675s |      25 | 15978302 |  6397198 |     3977   4087 |        4 |        6
1687.32/1687.87	c 1677s |      25 | 15993752 |  6403998 |     3977   4090 |        4 |        6
1689.32/1689.87	c 1679s |      25 | 16010623 |  6411698 |     3977   4094 |        4 |        6
1691.34/1691.89	c 1681s |      25 | 16027270 |  6419598 |     3977   4098 |        4 |        6
1693.43/1693.91	c 1683s |      25 | 16044793 |  6427498 |     3977   4102 |        4 |        6
1695.43/1695.95	c 1685s |      25 | 16060718 |  6435098 |     3977   4106 |        4 |        6
1697.43/1697.95	c 1687s |      25 | 16076244 |  6442498 |     3977   4109 |        4 |        6
1699.42/1699.97	c 1689s |      25 | 16091691 |  6449998 |     3977   4113 |        4 |        6
1701.42/1701.98	c 1691s |      25 | 16106029 |  6456898 |     3977   4116 |        4 |        6
1703.43/1703.98	c 1693s |      25 | 16123040 |  6464498 |     3977   4120 |        4 |        6
1705.52/1706.00	c 1695s |      25 | 16139240 |  6472298 |     3977   4124 |        4 |        6
1707.52/1708.01	c 1697s |      25 | 16156615 |  6480098 |     3977   4128 |        4 |        6
1709.52/1710.03	c 1699s |      25 | 16175966 |  6488198 |     3977   4132 |        4 |        6
1711.52/1712.03	c 1701s |      25 | 16193277 |  6495998 |     3977   4136 |        4 |        6
1713.52/1714.04	c 1703s |      25 | 16208546 |  6502898 |     3977   4139 |        4 |        6
1715.52/1716.06	c 1705s |      25 | 16225118 |  6510498 |     3977   4143 |        4 |        6
1717.51/1718.07	c 1707s |      25 | 16242419 |  6517898 |     3977   4147 |        4 |        6
1719.51/1720.08	c 1709s |      25 | 16258906 |  6525098 |     3977   4150 |        4 |        6
1721.51/1722.09	c 1711s |      25 | 16274324 |  6532098 |     3977   4154 |        4 |        6
1723.61/1724.12	c 1713s |      25 | 16289999 |  6539298 |     3977   4157 |        4 |        6
1725.60/1726.12	c 1715s |      25 | 16305136 |  6546498 |     3977   4161 |        4 |        6
1727.61/1728.16	c 1717s |      25 | 16320299 |  6553598 |     3977   4164 |        4 |        6
1729.60/1730.18	c 1719s |      25 | 16335754 |  6560598 |     3977   4168 |        4 |        6
1731.70/1732.20	c 1721s |      25 | 16352867 |  6567898 |     3977   4172 |        4 |        6
1733.70/1734.22	c 1723s |      25 | 16371089 |  6575698 |     3977   4175 |        4 |        6
1735.70/1736.22	c 1725s |      25 | 16386490 |  6582898 |     3977   4179 |        4 |        6
1737.70/1738.24	c 1727s |      25 | 16400885 |  6589898 |     3977   4182 |        4 |        6
1739.71/1740.25	c 1729s |      25 | 16417272 |  6597198 |     3977   4186 |        4 |        6
1741.70/1742.27	c 1731s |      25 | 16433177 |  6604398 |     3977   4190 |        4 |        6
1743.70/1744.29	c 1733s |      25 | 16448834 |  6611698 |     3977   4193 |        4 |        6
1745.70/1746.29	c 1735s |      25 | 16463132 |  6618398 |     3977   4197 |        4 |        6
1747.70/1748.29	c 1737s |      25 | 16479040 |  6625698 |     3977   4200 |        4 |        6
1749.80/1750.31	c 1739s |      25 | 16493687 |  6632398 |     3977   4204 |        4 |        6
1751.80/1752.31	c 1741s |      25 | 16510648 |  6639798 |     3977   4207 |        4 |        6
1753.80/1754.33	c 1743s |      25 | 16528741 |  6647398 |     3977   4211 |        4 |        6
1755.80/1756.36	c 1745s |      25 | 16545694 |  6654498 |     3977   4215 |        4 |        6
1757.80/1758.36	c 1747s |      25 | 16560333 |  6661298 |     3977   4218 |        4 |        6
1759.80/1760.37	c 1749s |      25 | 16577543 |  6668798 |     3977   4222 |        4 |        6
1761.80/1762.37	c 1751s |      25 | 16595205 |  6676298 |     3977   4225 |        4 |        6
1763.79/1764.39	c 1753s |      25 | 16612279 |  6683798 |     3977   4229 |        4 |        6
1765.79/1766.39	c 1755s |      25 | 16627855 |  6690898 |     3977   4233 |        4 |        6
1767.89/1768.40	c 1757s |      25 | 16644172 |  6698298 |     3977   4236 |        4 |        6
1769.89/1770.41	c 1759s |      25 | 16661452 |  6705798 |     3977   4240 |        4 |        6
1771.89/1772.43	c 1761s |      25 | 16678167 |  6713398 |     3977   4244 |        4 |        6
1773.90/1774.43	c 1763s |      25 | 16693441 |  6720498 |     3977   4247 |        4 |        6
1775.89/1776.45	c 1765s |      25 | 16707278 |  6727098 |     3977   4251 |        4 |        6
1777.89/1778.46	c 1767s |      25 | 16724088 |  6734698 |     3977   4254 |        4 |        6
1779.90/1780.48	c 1769s |      25 | 16739114 |  6741398 |     3977   4258 |        4 |        6
1781.90/1782.48	c 1771s |      25 | 16756351 |  6748998 |     3977   4262 |        4 |        6
1783.90/1784.49	c 1773s |      25 | 16772871 |  6756698 |     3977   4265 |        4 |        6
1785.91/1786.49	c 1775s |      25 | 16787934 |  6763798 |     3977   4269 |        4 |        6
1788.00/1788.52	c 1777s |      25 | 16802976 |  6770898 |     3977   4273 |        4 |        6
1790.00/1790.52	c 1779s |      25 | 16818277 |  6777998 |     3977   4276 |        4 |        6
1792.00/1792.54	c 1781s |      25 | 16833277 |  6785098 |     3977   4280 |        4 |        6
1794.00/1794.55	c 1783s |      25 | 16848856 |  6792098 |     3977   4283 |        4 |        6
1796.00/1796.56	c 1785s |      25 | 16865706 |  6799198 |     3977   4287 |        4 |        6
1798.00/1798.57	c 1787s |      25 | 16880792 |  6806098 |     3977   4290 |        4 |        6
1800.09/1800.60	c 1789s |      25 | 16895984 |  6813298 |     3977   4294 |        4 |        6

ERROR: no interpretation found !

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-4093513-1466111433/watcher-4093513-1466111433 -o /tmp/evaluation-result-4093513-1466111433/solver-4093513-1466111433 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466109624-27332 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093513-1466111433.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.12 2.16 2.35 3/180 27628
/proc/meminfo: memFree=30656868/32872528 swapFree=1103228/1182944
[pid=27628] ppid=27625 vsize=786876 CPUtime=0 cores=0,2,4,6
/proc/27628/stat : 27628 (toysat) R 27625 27628 24719 0 -1 4202496 2944 0 0 0 0 0 0 0 20 0 4 0 13192294 805761024 3306 33554432000 4194304 16246674 140735430708128 140735430707552 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27628/statm: 197487 3315 441 2943 0 194381 0
[pid=27628/tid=27629] ppid=27625 vsize=805308 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27629/stat : 27629 (toysat) S 27625 27628 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13192294 824635392 3375 33554432000 4194304 16246674 140735430708128 139771134323952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27628/tid=27630] ppid=27625 vsize=809404 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27630/stat : 27630 (toysat) S 27625 27628 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13192294 828829696 3392 33554432000 4194304 16246674 140735430708128 139771053583600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27628/tid=27631] ppid=27625 vsize=812476 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27631/stat : 27631 (toysat) S 27625 27628 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13192294 831975424 3407 33554432000 4194304 16246674 140735430708128 139771043110064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.12 2.16 2.35 3/180 27628
/proc/meminfo: memFree=30656868/32872528 swapFree=1103228/1182944
[pid=27628] ppid=27625 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/27628/stat : 27628 (toysat) R 27625 27628 24719 0 -1 4202496 16253 0 0 0 7 2 0 0 20 0 4 0 13192294 1247350784 16607 33554432000 4194304 16246674 140735430708128 140735430707552 12486453 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27628/statm: 304529 16607 611 2943 0 301423 0
[pid=27628/tid=27629] ppid=27625 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27629/stat : 27629 (toysat) S 27625 27628 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13192294 1247350784 16608 33554432000 4194304 16246674 140735430708128 139771134323952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27628/tid=27630] ppid=27625 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27630/stat : 27630 (toysat) S 27625 27628 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13192294 1247350784 16608 33554432000 4194304 16246674 140735430708128 139771053583600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27628/tid=27631] ppid=27625 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27631/stat : 27631 (toysat) S 27625 27628 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13192294 1247350784 16608 33554432000 4194304 16246674 140735430708128 139771043110064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200498 s]
/proc/loadavg: 2.12 2.16 2.35 3/180 27628
/proc/meminfo: memFree=30656868/32872528 swapFree=1103228/1182944
[pid=27628] ppid=27625 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/27628/stat : 27628 (toysat) R 27625 27628 24719 0 -1 4202496 23475 0 0 0 16 3 0 0 20 0 4 0 13192294 1247350784 23829 33554432000 4194304 16246674 140735430708128 140735430707552 12486453 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27628/statm: 304529 23829 611 2943 0 301423 0
[pid=27628/tid=27629] ppid=27625 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27629/stat : 27629 (toysat) S 27625 27628 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13192294 1247350784 23832 33554432000 4194304 16246674 140735430708128 139771134323952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27628/tid=27630] ppid=27625 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27630/stat : 27630 (toysat) S 27625 27628 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13192294 1247350784 23833 33554432000 4194304 16246674 140735430708128 139771053583600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27628/tid=27631] ppid=27625 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27631/stat : 27631 (toysat) S 27625 27628 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13192294 1247350784 23835 33554432000 4194304 16246674 140735430708128 139771043110064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300461 s]
/proc/loadavg: 2.12 2.16 2.35 3/180 27628
/proc/meminfo: memFree=30656868/32872528 swapFree=1103228/1182944
[pid=27628] ppid=27625 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/27628/stat : 27628 (toysat) R 27625 27628 24719 0 -1 4202496 29968 0 0 0 25 4 0 0 20 0 4 0 13192294 1247350784 30322 33554432000 4194304 16246674 140735430708128 140735430707552 12481124 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27628/statm: 304529 30325 611 2943 0 301423 0
[pid=27628/tid=27629] ppid=27625 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27629/stat : 27629 (toysat) S 27625 27628 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13192294 1247350784 30328 33554432000 4194304 16246674 140735430708128 139771134323952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27628/tid=27630] ppid=27625 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27630/stat : 27630 (toysat) S 27625 27628 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13192294 1247350784 30331 33554432000 4194304 16246674 140735430708128 139771053583600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27628/tid=27631] ppid=27625 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27631/stat : 27631 (toysat) S 27625 27628 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13192294 1247350784 30332 33554432000 4194304 16246674 140735430708128 139771043110064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70039 s]
/proc/loadavg: 2.12 2.16 2.35 3/180 27628
/proc/meminfo: memFree=30656868/32872528 swapFree=1103228/1182944
[pid=27628] ppid=27625 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/27628/stat : 27628 (toysat) R 27625 27628 24719 0 -1 4202496 52131 0 0 0 62 7 0 0 20 0 4 0 13192294 1247350784 52485 33554432000 4194304 16246674 140735430708128 140735430707552 13954914 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27628/statm: 304529 52485 611 2943 0 301423 0
[pid=27628/tid=27629] ppid=27625 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27629/stat : 27629 (toysat) S 27625 27628 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13192294 1247350784 52487 33554432000 4194304 16246674 140735430708128 139771134323952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27628/tid=27630] ppid=27625 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27630/stat : 27630 (toysat) S 27625 27628 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13192294 1247350784 52487 33554432000 4194304 16246674 140735430708128 139771053583600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27628/tid=27631] ppid=27625 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27631/stat : 27631 (toysat) S 27625 27628 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13192294 1247350784 52488 33554432000 4194304 16246674 140735430708128 139771043110064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 2.12 2.16 2.35 3/184 27632
/proc/meminfo: memFree=30156052/32872528 swapFree=1103228/1182944
[pid=27628] ppid=27625 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/27628/stat : 27628 (toysat) R 27625 27628 24719 0 -1 4202496 87218 0 0 0 138 11 0 0 20 0 4 0 13192294 1247350784 87572 33554432000 4194304 16246674 140735430708128 140735430690048 12459121 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27628/statm: 304529 87574 611 2943 0 301423 0
[pid=27628/tid=27629] ppid=27625 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27629/stat : 27629 (toysat) S 27625 27628 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13192294 1247350784 87574 33554432000 4194304 16246674 140735430708128 139771134323952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27628/tid=27630] ppid=27625 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27630/stat : 27630 (toysat) S 27625 27628 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13192294 1247350784 87577 33554432000 4194304 16246674 140735430708128 139771053583600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27628/tid=27631] ppid=27625 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27631/stat : 27631 (toysat) S 27625 27628 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13192294 1247350784 87577 33554432000 4194304 16246674 140735430708128 139771043110064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10038 s]
/proc/loadavg: 2.12 2.16 2.35 3/184 27632
/proc/meminfo: memFree=29826088/32872528 swapFree=1103228/1182944
[pid=27628] ppid=27625 vsize=1218116 CPUtime=3.09 cores=0,2,4,6
/proc/27628/stat : 27628 (toysat) R 27625 27628 24719 0 -1 4202496 141946 0 0 0 290 19 0 0 20 0 4 0 13192294 1247350784 142300 33554432000 4194304 16246674 140735430708128 140735430690048 12459048 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27628/statm: 304529 142302 611 2943 0 301423 0
[pid=27628/tid=27629] ppid=27625 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27629/stat : 27629 (toysat) S 27625 27628 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13192294 1247350784 142302 33554432000 4194304 16246674 140735430708128 139771134323952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27628/tid=27630] ppid=27625 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27630/stat : 27630 (toysat) S 27625 27628 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13192294 1247350784 142302 33554432000 4194304 16246674 140735430708128 139771053583600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27628/tid=27631] ppid=27625 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27631/stat : 27631 (toysat) S 27625 27628 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13192294 1247350784 142302 33554432000 4194304 16246674 140735430708128 139771043110064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1218116

[startup+6.30038 s]
/proc/loadavg: 2.19 2.18 2.35 3/184 27632
/proc/meminfo: memFree=29082476/32872528 swapFree=1103228/1182944
[pid=27628] ppid=27625 vsize=1218116 CPUtime=6.29 cores=0,2,4,6
/proc/27628/stat : 27628 (toysat) R 27625 27628 24719 0 -1 4202496 226330 0 0 0 599 30 0 0 20 0 4 0 13192294 1247350784 226684 33554432000 4194304 16246674 140735430708128 140735430690048 12500869 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27628/statm: 304529 226684 611 2943 0 301423 0
[pid=27628/tid=27629] ppid=27625 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27629/stat : 27629 (toysat) S 27625 27628 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13192294 1247350784 226684 33554432000 4194304 16246674 140735430708128 139771134323952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27628/tid=27630] ppid=27625 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27630/stat : 27630 (toysat) S 27625 27628 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13192294 1247350784 226684 33554432000 4194304 16246674 140735430708128 139771053583600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27628/tid=27631] ppid=27625 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27631/stat : 27631 (toysat) S 27625 27628 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13192294 1247350784 226685 33554432000 4194304 16246674 140735430708128 139771043110064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1218116

[startup+12.7004 s]
/proc/loadavg: 2.26 2.19 2.35 4/184 27632
/proc/meminfo: memFree=28627484/32872528 swapFree=1103228/1182944
[pid=27628] ppid=27625 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/27628/stat : 27628 (toysat) R 27625 27628 24719 0 -1 4202496 267864 0 0 0 1233 36 0 0 20 0 4 0 13192294 1338576896 268172 33554432000 4194304 16246674 140735430708128 140735430690048 5823086 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27628/statm: 326801 268172 932 2943 0 323695 0
[pid=27628/tid=27629] ppid=27625 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27629/stat : 27629 (toysat) S 27625 27628 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13192294 1338576896 268172 33554432000 4194304 16246674 140735430708128 139771134323952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27628/tid=27630] ppid=27625 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27630/stat : 27630 (toysat) S 27625 27628 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13192294 1338576896 268172 33554432000 4194304 16246674 140735430708128 139771053583600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27628/tid=27631] ppid=27625 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27631/stat : 27631 (toysat) S 27625 27628 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13192294 1338576896 268172 33554432000 4194304 16246674 140735430708128 139771043110064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.20 2.18 2.35 3/184 27632
/proc/meminfo: memFree=28623204/32872528 swapFree=1103228/1182944
[pid=27628] ppid=27625 vsize=1308228 CPUtime=25.48 cores=0,2,4,6
/proc/27628/stat : 27628 (toysat) R 27625 27628 24719 0 -1 4202496 268089 0 0 0 2512 36 0 0 20 0 4 0 13192294 1339625472 268397 33554432000 4194304 16246674 140735430708128 140735430690048 5823230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27628/statm: 327057 268397 937 2943 0 323951 0
[pid=27628/tid=27629] ppid=27625 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27629/stat : 27629 (toysat) S 27625 27628 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13192294 1339625472 268397 33554432000 4194304 16246674 140735430708128 139771134323952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27628/tid=27630] ppid=27625 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27630/stat : 27630 (toysat) S 27625 27628 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13192294 1339625472 268397 33554432000 4194304 16246674 140735430708128 139771053583600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27628/tid=27631] ppid=27625 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27631/stat : 27631 (toysat) S 27625 27628 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13192294 1339625472 268397 33554432000 4194304 16246674 140735430708128 139771043110064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.21 2.18 2.34 4/183 27632
/proc/meminfo: memFree=28619248/32872528 swapFree=1103228/1182944
[pid=27628] ppid=27625 vsize=1309252 CPUtime=51.09 cores=0,2,4,6
/proc/27628/stat : 27628 (toysat) R 27625 27628 24719 0 -1 4202496 268528 0 0 0 5072 37 0 0 20 0 4 0 13192294 1340674048 268836 33554432000 4194304 16246674 140735430708128 140735430690048 5600808 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27628/statm: 327313 268836 937 2943 0 324207 0
[pid=27628/tid=27629] ppid=27625 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27629/stat : 27629 (toysat) S 27625 27628 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13192294 1340674048 268836 33554432000 4194304 16246674 140735430708128 139771134323952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27628/tid=27630] ppid=27625 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27630/stat : 27630 (toysat) S 27625 27628 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13192294 1340674048 268836 33554432000 4194304 16246674 140735430708128 139771053583600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27628/tid=27631] ppid=27625 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27631/stat : 27631 (toysat) S 27625 27628 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13192294 1340674048 268836 33554432000 4194304 16246674 140735430708128 139771043110064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1309252

[startup+102.3 s]
/proc/loadavg: 2.21 2.18 2.33 3/182 27633
/proc/meminfo: memFree=28600004/32872528 swapFree=1103228/1182944
[pid=27628] ppid=27625 vsize=1317444 CPUtime=102.28 cores=0,2,4,6
/proc/27628/stat : 27628 (toysat) R 27625 27628 24719 0 -1 4202496 270531 0 0 0 10190 38 0 0 20 0 4 0 13192294 1349062656 270839 33554432000 4194304 16246674 140735430708128 140735430690048 5754966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27628/statm: 329361 270839 937 2943 0 326255 0
[pid=27628/tid=27629] ppid=27625 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27629/stat : 27629 (toysat) S 27625 27628 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13192294 1349062656 270839 33554432000 4194304 16246674 140735430708128 139771134323952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27628/tid=27630] ppid=27625 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27630/stat : 27630 (toysat) S 27625 27628 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13192294 1349062656 270839 33554432000 4194304 16246674 140735430708128 139771053583600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27628/tid=27631] ppid=27625 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27631/stat : 27631 (toysat) S 27625 27628 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13192294 1349062656 270839 33554432000 4194304 16246674 140735430708128 139771043110064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1317444


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

/proc/27628/task/27631/stat : 27631 (toysat) S 27625 27628 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13192294 1368985600 276008 33554432000 4194304 16246674 140735430708128 139771043110064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 1336900

[startup+1302.3 s]
/proc/loadavg: 2.21 2.13 2.18 3/183 27664
/proc/meminfo: memFree=28564764/32872528 swapFree=1103228/1182944
[pid=27628] ppid=27625 vsize=1336900 CPUtime=1302.02 cores=0,2,4,6
/proc/27628/stat : 27628 (toysat) R 27625 27628 24719 0 -1 4202496 275594 0 0 0 130152 50 0 0 20 0 4 0 13192294 1368985600 276008 33554432000 4194304 16246674 140735430708128 140735430690048 5823611 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27628/statm: 334225 276008 941 2943 0 331119 0
[pid=27628/tid=27629] ppid=27625 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27629/stat : 27629 (toysat) S 27625 27628 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13192294 1368985600 276008 33554432000 4194304 16246674 140735430708128 139771134323952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27628/tid=27630] ppid=27625 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27630/stat : 27630 (toysat) S 27625 27628 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13192294 1368985600 276008 33554432000 4194304 16246674 140735430708128 139771053583600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27628/tid=27631] ppid=27625 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27631/stat : 27631 (toysat) S 27625 27628 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13192294 1368985600 276008 33554432000 4194304 16246674 140735430708128 139771043110064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 1336900

[startup+1362.3 s]
/proc/loadavg: 2.25 2.15 2.18 4/183 27665
/proc/meminfo: memFree=28564312/32872528 swapFree=1103228/1182944
[pid=27628] ppid=27625 vsize=1336900 CPUtime=1361.98 cores=0,2,4,6
/proc/27628/stat : 27628 (toysat) R 27625 27628 24719 0 -1 4202496 275634 0 0 0 136148 50 0 0 20 0 4 0 13192294 1368985600 276008 33554432000 4194304 16246674 140735430708128 140735430691128 5827969 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27628/statm: 334225 276008 941 2943 0 331119 0
[pid=27628/tid=27629] ppid=27625 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27629/stat : 27629 (toysat) S 27625 27628 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13192294 1368985600 276008 33554432000 4194304 16246674 140735430708128 139771134323952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27628/tid=27630] ppid=27625 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27630/stat : 27630 (toysat) S 27625 27628 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13192294 1368985600 276008 33554432000 4194304 16246674 140735430708128 139771053583600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27628/tid=27631] ppid=27625 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27631/stat : 27631 (toysat) S 27625 27628 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13192294 1368985600 276008 33554432000 4194304 16246674 140735430708128 139771043110064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 1336900

[startup+1422.3 s]
/proc/loadavg: 2.25 2.16 2.18 3/183 27667
/proc/meminfo: memFree=28564344/32872528 swapFree=1103228/1182944
[pid=27628] ppid=27625 vsize=1336900 CPUtime=1421.96 cores=0,2,4,6
/proc/27628/stat : 27628 (toysat) R 27625 27628 24719 0 -1 4202496 275674 0 0 0 142145 51 0 0 20 0 4 0 13192294 1368985600 276008 33554432000 4194304 16246674 140735430708128 140735430691128 5712780 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27628/statm: 334225 276008 941 2943 0 331119 0
[pid=27628/tid=27629] ppid=27625 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27629/stat : 27629 (toysat) S 27625 27628 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13192294 1368985600 276008 33554432000 4194304 16246674 140735430708128 139771134323952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27628/tid=27630] ppid=27625 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27630/stat : 27630 (toysat) S 27625 27628 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13192294 1368985600 276008 33554432000 4194304 16246674 140735430708128 139771053583600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27628/tid=27631] ppid=27625 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27631/stat : 27631 (toysat) S 27625 27628 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13192294 1368985600 276008 33554432000 4194304 16246674 140735430708128 139771043110064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1336900

[startup+1482.3 s]
/proc/loadavg: 2.21 2.16 2.18 3/183 27668
/proc/meminfo: memFree=28564248/32872528 swapFree=1103228/1182944
[pid=27628] ppid=27625 vsize=1336900 CPUtime=1481.93 cores=0,2,4,6
/proc/27628/stat : 27628 (toysat) R 27625 27628 24719 0 -1 4202496 275711 0 0 0 148141 52 0 0 20 0 4 0 13192294 1368985600 276008 33554432000 4194304 16246674 140735430708128 140735430690048 6842475 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27628/statm: 334225 276008 941 2943 0 331119 0
[pid=27628/tid=27629] ppid=27625 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27629/stat : 27629 (toysat) S 27625 27628 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13192294 1368985600 276008 33554432000 4194304 16246674 140735430708128 139771134323952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27628/tid=27630] ppid=27625 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27630/stat : 27630 (toysat) S 27625 27628 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13192294 1368985600 276008 33554432000 4194304 16246674 140735430708128 139771053583600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27628/tid=27631] ppid=27625 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27631/stat : 27631 (toysat) S 27625 27628 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13192294 1368985600 276008 33554432000 4194304 16246674 140735430708128 139771043110064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1336900

[startup+1542.31 s]
/proc/loadavg: 2.21 2.17 2.18 4/183 27669
/proc/meminfo: memFree=28564532/32872528 swapFree=1103228/1182944
[pid=27628] ppid=27625 vsize=1336900 CPUtime=1541.91 cores=0,2,4,6
/proc/27628/stat : 27628 (toysat) R 27625 27628 24719 0 -1 4202496 275753 0 0 0 154138 53 0 0 20 0 4 0 13192294 1368985600 276008 33554432000 4194304 16246674 140735430708128 140735430690048 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27628/statm: 334225 276008 941 2943 0 331119 0
[pid=27628/tid=27629] ppid=27625 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27629/stat : 27629 (toysat) S 27625 27628 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13192294 1368985600 276008 33554432000 4194304 16246674 140735430708128 139771134323952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27628/tid=27630] ppid=27625 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27630/stat : 27630 (toysat) S 27625 27628 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13192294 1368985600 276008 33554432000 4194304 16246674 140735430708128 139771053583600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27628/tid=27631] ppid=27625 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27631/stat : 27631 (toysat) S 27625 27628 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13192294 1368985600 276008 33554432000 4194304 16246674 140735430708128 139771043110064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1336900

[startup+1602.3 s]
/proc/loadavg: 2.37 2.23 2.20 4/183 27670
/proc/meminfo: memFree=28564456/32872528 swapFree=1103228/1182944
[pid=27628] ppid=27625 vsize=1336900 CPUtime=1601.87 cores=0,2,4,6
/proc/27628/stat : 27628 (toysat) R 27625 27628 24719 0 -1 4202496 275791 0 0 0 160134 53 0 0 20 0 4 0 13192294 1368985600 276008 33554432000 4194304 16246674 140735430708128 140735430691128 5822908 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27628/statm: 334225 276008 941 2943 0 331119 0
[pid=27628/tid=27629] ppid=27625 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27629/stat : 27629 (toysat) S 27625 27628 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13192294 1368985600 276008 33554432000 4194304 16246674 140735430708128 139771134323952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27628/tid=27630] ppid=27625 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27630/stat : 27630 (toysat) S 27625 27628 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13192294 1368985600 276008 33554432000 4194304 16246674 140735430708128 139771053583600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27628/tid=27631] ppid=27625 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27631/stat : 27631 (toysat) S 27625 27628 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13192294 1368985600 276008 33554432000 4194304 16246674 140735430708128 139771043110064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1336900

[startup+1662.3 s]
/proc/loadavg: 2.42 2.27 2.21 3/183 27671
/proc/meminfo: memFree=28564492/32872528 swapFree=1103228/1182944
[pid=27628] ppid=27625 vsize=1336900 CPUtime=1661.84 cores=0,2,4,6
/proc/27628/stat : 27628 (toysat) R 27625 27628 24719 0 -1 4202496 275827 0 0 0 166130 54 0 0 20 0 4 0 13192294 1368985600 276008 33554432000 4194304 16246674 140735430708128 140735430691128 5675369 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27628/statm: 334225 276008 941 2943 0 331119 0
[pid=27628/tid=27629] ppid=27625 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27629/stat : 27629 (toysat) S 27625 27628 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13192294 1368985600 276008 33554432000 4194304 16246674 140735430708128 139771134323952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27628/tid=27630] ppid=27625 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27630/stat : 27630 (toysat) S 27625 27628 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13192294 1368985600 276008 33554432000 4194304 16246674 140735430708128 139771053583600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27628/tid=27631] ppid=27625 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27631/stat : 27631 (toysat) S 27625 27628 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13192294 1368985600 276008 33554432000 4194304 16246674 140735430708128 139771043110064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1336900

[startup+1722.3 s]
/proc/loadavg: 2.48 2.32 2.23 4/183 27673
/proc/meminfo: memFree=28564272/32872528 swapFree=1103228/1182944
[pid=27628] ppid=27625 vsize=1336900 CPUtime=1721.81 cores=0,2,4,6
/proc/27628/stat : 27628 (toysat) R 27625 27628 24719 0 -1 4202496 275872 0 0 0 172126 55 0 0 20 0 4 0 13192294 1368985600 276009 33554432000 4194304 16246674 140735430708128 140735430690048 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27628/statm: 334225 276009 941 2943 0 331119 0
[pid=27628/tid=27629] ppid=27625 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27629/stat : 27629 (toysat) S 27625 27628 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13192294 1368985600 276009 33554432000 4194304 16246674 140735430708128 139771134323952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27628/tid=27630] ppid=27625 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27630/stat : 27630 (toysat) S 27625 27628 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13192294 1368985600 276009 33554432000 4194304 16246674 140735430708128 139771053583600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27628/tid=27631] ppid=27625 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27631/stat : 27631 (toysat) S 27625 27628 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13192294 1368985600 276009 33554432000 4194304 16246674 140735430708128 139771043110064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1336900

[startup+1782.3 s]
/proc/loadavg: 2.44 2.35 2.25 3/184 27677
/proc/meminfo: memFree=28564160/32872528 swapFree=1103228/1182944
[pid=27628] ppid=27625 vsize=1336900 CPUtime=1781.8 cores=0,2,4,6
/proc/27628/stat : 27628 (toysat) R 27625 27628 24719 0 -1 4202496 275879 0 0 0 178124 56 0 0 20 0 4 0 13192294 1368985600 276009 33554432000 4194304 16246674 140735430708128 140735430690048 5829643 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27628/statm: 334225 276009 941 2943 0 331119 0
[pid=27628/tid=27629] ppid=27625 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27629/stat : 27629 (toysat) S 27625 27628 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13192294 1368985600 276009 33554432000 4194304 16246674 140735430708128 139771134323952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27628/tid=27630] ppid=27625 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27630/stat : 27630 (toysat) S 27625 27628 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13192294 1368985600 276009 33554432000 4194304 16246674 140735430708128 139771053583600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27628/tid=27631] ppid=27625 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27631/stat : 27631 (toysat) S 27625 27628 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13192294 1368985600 276009 33554432000 4194304 16246674 140735430708128 139771043110064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1336900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.44 2.36 2.25 3/184 27677
/proc/meminfo: memFree=28564068/32872528 swapFree=1103228/1182944
[pid=27628] ppid=27625 vsize=1336900 CPUtime=1800.09 cores=0,2,4,6
/proc/27628/stat : 27628 (toysat) R 27625 27628 24719 0 -1 4202496 275879 0 0 0 179953 56 0 0 20 0 4 0 13192294 1368985600 276009 33554432000 4194304 16246674 140735430708128 140735430691128 5828829 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27628/statm: 334225 276009 941 2943 0 331119 0
[pid=27628/tid=27629] ppid=27625 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27629/stat : 27629 (toysat) S 27625 27628 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13192294 1368985600 276009 33554432000 4194304 16246674 140735430708128 139771134323952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27628/tid=27630] ppid=27625 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27630/stat : 27630 (toysat) S 27625 27628 24719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13192294 1368985600 276009 33554432000 4194304 16246674 140735430708128 139771053583600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27628/tid=27631] ppid=27625 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27628/task/27631/stat : 27631 (toysat) S 27625 27628 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13192294 1368985600 276009 33554432000 4194304 16246674 140735430708128 139771043110064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1336900

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.11
CPU user time (s): 1799.54
CPU system time (s): 0.562914
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 1336900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.562914
maximum resident set size= 1104036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275879
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= 448
involuntary context switches= 1834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.52431 second user time and 7.00193 second system time

The end

Begin job on node115 at 2016-06-16 23:10:33
IDJOB=4093513
IDBENCH=79662
IDSOLVER=2553
FILE ID=node115/4093513-1466111433
RUNJOBID= node115-1466109624-27332
PBS_JOBID= 19904041
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/coloring/normalized-queen5-5-3_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093513-1466111433/watcher-4093513-1466111433 -o /tmp/evaluation-result-4093513-1466111433/solver-4093513-1466111433 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466109624-27332 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093513-1466111433.wbo

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

MD5SUM BENCH= 3af6143b2c580af9e4edcedcd162c161
RANDOM SEED=2011829574

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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:        30661852 kB
Buffers:           66812 kB
Cached:           148328 kB
SwapCached:         2104 kB
Active:           210564 kB
Inactive:         110320 kB
Active(anon):     106464 kB
Inactive(anon):     1636 kB
Active(file):     104100 kB
Inactive(file):   108684 kB
Unevictable:     1182944 kB
Mlocked:         1103228 kB
SwapTotal:      67108856 kB
SwapFree:       67099112 kB
Dirty:             33264 kB
Writeback:             0 kB
AnonPages:       1287988 kB
Mapped:             9376 kB
Shmem:                 0 kB
Slab:             571628 kB
SReclaimable:      14876 kB
SUnreclaim:       556752 kB
KernelStack:        1488 kB
PageTables:         7708 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2310680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 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= 71712 MiB
End job on node115 at 2016-06-16 23:40:34