Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_10_2.opb |
| MD5SUM | f4b87658792e85afbf63fc13ada788f7 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 11 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 10 |
| Optimality of the best value was proved | NO |
| Number of variables | 100 |
| Total number of constraints | 100 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 100 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 21 |
| Number of terms in the objective function | 100 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 100 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 100 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 1260 |
| Sum of products size (including duplicates) | 2520 |
| Number of different products | 1260 |
| Sum of products size | 2520 |
0.00/0.00 c 2016-06-18T20:11:29+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106562-1466273489.opb"] 0.00/0.01 c use --random-gen="4164039112 4033971867 1633900918 3171659440 3398179156 344003793 2568599362 2254616901 2103044454 2730473742 2014998570 1715672999 534525474 1712472734 2627209441 3993996381 4073532652 1188720025 1648140664 3530772414 4209775043 234632004 4264645896 1981460786 4180696082 3874355507 1818754129 2190620995 979093029 3159144412 4157696849 552518624 3792352084 1773064727 3943581086 2494015802 829162969 3694444705 3464676757 181949443 939580656 271268310 2328332014 430162494 3926803401 1968033076 3162934823 1074614866 3283603339 2255002769 673172271 2127686131 1192958096 2280427733 1166977617 3353822340 2292280688 249239240 1901135765 2909813727 1784598432 2614972598 4153710385 3505789310 1142415724 656595034 975773993 2833855848 3248003555 3275185693 372997255 2003435576 940340600 928796978 1129681985 4215615758 95957247 3421881036 1430117759 1712859193 2412572774 2073746454 460349313 2332443401 102922362 3418836885 659318235 3074729767 3080191469 2142760449 4091495172 1305794566 985705219 501847556 814813871 72516631 1737135774 3151840091 2595904817 2669017947 4048262699 1138670393 2234410335 3915548836 36729279 348089991 3020696541 12820817 4039364766 3836369451 2495241888 618821720 3236079689 2108672333 2311338898 256075546 850373062 3741296999 3372694 3119699549 1592292752 1031133412 3166233353 3501223355 3509479130 492531564 513128916 3187280705 4198438655 2141417336 1687575791 2624459345 2740482805 1850035723 2803210999 390912132 2994952159 558634702 1922762751 3709197200 3673034954 4150675176 2072885221 1488507235 1719332226 2830621758 100086353 2963068588 895242372 3249394179 3247500084 2170900367 249026574 4066940471 1652412178 3948557719 2933877312 1420144101 2586792821 4030612247 689017129 3011502040 2564033786 3447973171 3095861357 2863756644 892480716 1800835929 1291000086 3063781012 2434594245 3339431297 3253720752 4060937538 2467404727 724451360 845093031 2439068240 809140229 4232697554 3400006191 1978306116 867676018 1769875665 2880877421 3558963751 3938895773 1280058326 551436294 3915818852 2575540454 205807701 2251575767 251100296 565578042 2255946924 2235778384 3893783656 73659790 3803682876 1517869423 341138563 2207645089 2425291496 2720369639 3167289630 73934062 2952022727 3611031855 4197416624 1990440367 163343180 2438424162 3804003159 3971080958 481081493 1045959353 11070936 207611196 1517403273 2241306285 2600071382 721182742 677419082 2462697325 1346435080 2014539628 2247344273 3709057370 3748277157 1823379956 2293728912 3565127006 933892083 925010767 2014395179 966941650 1207976620 278725234 1667871805 72762366 436227325 2120786526 3783443703 1382045652 3563178344 3497983387 2670470467 3781311924 618730914 2186906122 3484046624 1683369963 3619166859 3028061107 2809248396 255 362436" option to reproduce the execution 0.00/0.01 c #vars 100 0.00/0.01 c #constraints 100 0.00/0.04 c BCD2: Hardening is enabled. 0.00/0.04 c BCD2: BiasedSearch is enabled. 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 1326 0 | 0 | 0 0.00/0.04 c 0.0s | 0 | 202 | 0 | 1326 0 | 0 | 0 0.00/0.04 c #cpu_time = 0.004s 0.00/0.04 c #wall_clock_time = 0.004s 0.00/0.04 c #decision = 202 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 o 81 0.00/0.04 c BCD2: updating upper bound: 100 -> 80 0.00/0.04 c BCD2: 0 <= obj <= 80 0.00/0.04 c BCD2: #cores=0, #unrelaxed=100, #relaxed=0, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 1326 0 | 0 | 0 0.00/0.05 c 0.0s | 0 | 82 | 0 | 1326 0 | 0 | 0 0.00/0.05 c #cpu_time = 0.003s 0.00/0.05 c #wall_clock_time = 0.003s 0.00/0.05 c #decision = 82 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 11: cost of the new core is >=1 0.00/0.05 c lower bound updated to 1 0.00/0.05 c BCD2: 1 <= obj <= 80 0.00/0.05 c BCD2: #cores=1, #unrelaxed=89, #relaxed=11, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 1326 0 | 0 | 0 0.00/0.05 c 0.0s | 0 | 76 | 0 | 1326 0 | 0 | 0 0.00/0.05 c #cpu_time = 0.002s 0.00/0.05 c #wall_clock_time = 0.002s 0.00/0.05 c #decision = 76 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 15: cost of the new core is >=1 0.00/0.05 c lower bound updated to 2 0.00/0.05 c BCD2: 2 <= obj <= 80 0.00/0.05 c BCD2: #cores=2, #unrelaxed=74, #relaxed=26, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 1326 0 | 0 | 0 0.00/0.05 c 0.0s | 0 | 75 | 0 | 1326 0 | 0 | 0 0.00/0.05 c #cpu_time = 0.002s 0.00/0.05 c #wall_clock_time = 0.003s 0.00/0.05 c #decision = 75 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 13: cost of the new core is >=1 0.00/0.05 c lower bound updated to 3 0.00/0.05 c BCD2: 3 <= obj <= 80 0.00/0.05 c BCD2: #cores=3, #unrelaxed=61, #relaxed=39, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 1326 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 317 | 0 | 1326 0 | 0 | 0 0.00/0.06 c #cpu_time = 0.003s 0.00/0.06 c #wall_clock_time = 0.003s 0.00/0.06 c #decision = 317 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 o 21 0.00/0.06 c BCD2: updating upper bound: 80 -> 20 0.00/0.06 c BCD2: 3 <= obj <= 20 0.00/0.06 c BCD2: #cores=3, #unrelaxed=61, #relaxed=39, #hardened=0 0.00/0.06 c BCD2: #sat=2 #unsat=4 bias=4/6 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 1326 0 | 0 | 1 0.00/0.06 c 0.0s | 0 | 219 | 10 | 1326 0 | 0 | 1 0.00/0.06 c #cpu_time = 0.005s 0.00/0.06 c #wall_clock_time = 0.005s 0.00/0.06 c #decision = 219 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 10 0.00/0.06 c #restart = 0 0.00/0.06 o 14 0.00/0.06 c BCD2: updating upper bound: 20 -> 13 0.00/0.06 c BCD2: 3 <= obj <= 13 0.00/0.06 c BCD2: #cores=3, #unrelaxed=61, #relaxed=39, #hardened=0 0.00/0.06 c BCD2: #sat=3 #unsat=4 bias=4/7 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 1326 0 | 0 | 2 0.00/0.07 c 0.0s | 0 | 73 | 7 | 1326 0 | 0 | 2 0.00/0.07 c #cpu_time = 0.005s 0.00/0.07 c #wall_clock_time = 0.005s 0.00/0.07 c #decision = 73 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 7 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: relaxing 45 and merging with 2 cores into a new core of size 73: cost of the new core is >=3 0.00/0.07 c lower bound updated to 4 0.00/0.07 c BCD2: 4 <= obj <= 13 0.00/0.07 c BCD2: #cores=2, #unrelaxed=16, #relaxed=84, #hardened=0 0.00/0.07 c BCD2: #sat=3 #unsat=5 bias=5/8 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 1326 0 | 7 | 2 0.08/0.13 c 0.1s | 1 | 346 | 100 | 1459 0 | 7 | 14 0.19/0.22 c 0.2s | 2 | 692 | 250 | 1605 0 | 7 | 14 0.29/0.36 c 0.3s | 3 | 1213 | 475 | 1766 0 | 7 | 14 0.49/0.59 c 0.5s | 4 | 2103 | 813 | 1943 0 | 7 | 14 0.89/0.91 c 0.8s | 5 | 3525 | 1320 | 2138 0 | 7 | 14 1.29/1.34 c 1.3s | 6 | 5499 | 2081 | 2352 0 | 7 | 14 1.79/1.89 c 1.8s | 7 | 8299 | 3223 | 2588 1 | 7 | 14 2.69/2.75 c 2.7s | 8 | 12209 | 4936 | 2847 2 | 7 | 14 3.99/4.01 c 3.9s | 9 | 19129 | 7506 | 3132 3 | 7 | 14 5.79/5.88 c 5.8s | 10 | 29607 | 11361 | 3446 5 | 7 | 14 7.89/7.94 c 7.9s | 10 | 40591 | 15461 | 3446 7 | 7 | 14 8.69/8.77 c 8.7s | 11 | 44683 | 17144 | 3791 8 | 7 | 14 10.79/10.82 c 10.7s | 11 | 54863 | 21244 | 3791 10 | 7 | 14 12.78/12.83 c 12.8s | 11 | 63218 | 24844 | 3791 12 | 7 | 14 13.29/13.35 c 13.3s | 12 | 66033 | 25819 | 4171 12 | 7 | 14 15.28/15.37 c 15.3s | 12 | 74928 | 29419 | 4171 14 | 7 | 14 17.28/17.39 c 17.3s | 12 | 83528 | 33219 | 4171 15 | 7 | 14 19.39/19.41 c 19.3s | 12 | 93390 | 36919 | 4171 17 | 7 | 14 20.39/20.40 c 20.3s | 13 | 98536 | 38832 | 4589 17 | 7 | 14 22.39/22.41 c 22.3s | 13 | 108566 | 42532 | 4589 19 | 7 | 14 24.39/24.41 c 24.3s | 13 | 118256 | 46232 | 4589 20 | 7 | 14 26.39/26.43 c 26.4s | 13 | 127977 | 50132 | 4589 22 | 7 | 14 28.39/28.47 c 28.4s | 13 | 137892 | 54032 | 4589 23 | 7 | 14 30.49/30.50 c 30.4s | 13 | 148398 | 57832 | 4589 25 | 7 | 14 30.69/30.78 c 30.7s | 14 | 149878 | 58352 | 5048 25 | 7 | 14 32.78/32.82 c 32.7s | 14 | 159300 | 61952 | 5048 26 | 7 | 14 34.78/34.84 c 34.8s | 14 | 167780 | 65452 | 5048 28 | 7 | 14 36.78/36.87 c 36.8s | 14 | 179067 | 69152 | 5048 29 | 7 | 14 38.88/38.91 c 38.8s | 14 | 188416 | 72652 | 5048 30 | 7 | 14 40.88/40.95 c 40.9s | 14 | 197501 | 76352 | 5048 32 | 7 | 14 42.88/42.99 c 42.9s | 14 | 206398 | 79952 | 5048 33 | 7 | 14 44.98/45.00 c 44.9s | 14 | 215248 | 83552 | 5048 34 | 7 | 14 46.98/47.03 c 47.0s | 14 | 224058 | 87252 | 5553 35 | 7 | 14 47.18/47.27 c 47.2s | 15 | 224742 | 87632 | 5553 35 | 7 | 14 49.28/49.33 c 49.3s | 15 | 231324 | 90632 | 5553 37 | 7 | 14 51.28/51.33 c 51.3s | 15 | 239082 | 94132 | 5553 38 | 7 | 14 53.27/53.36 c 53.3s | 15 | 247717 | 97832 | 5553 39 | 7 | 14 55.27/55.37 c 55.3s | 15 | 255759 | 101432 | 5553 40 | 7 | 14 57.37/57.40 c 57.3s | 15 | 264372 | 104932 | 5553 41 | 7 | 14 59.38/59.41 c 59.3s | 15 | 272250 | 108232 | 5553 42 | 7 | 14 61.37/61.41 c 61.3s | 15 | 279529 | 111532 | 5553 43 | 7 | 14 63.37/63.47 c 63.4s | 15 | 287608 | 115032 | 5553 45 | 7 | 14 65.37/65.49 c 65.4s | 15 | 295229 | 118532 | 5553 46 | 7 | 14 67.47/67.51 c 67.4s | 15 | 303194 | 121832 | 5553 47 | 7 | 14 69.47/69.54 c 69.5s | 15 | 310720 | 125132 | 5553 48 | 7 | 14 71.47/71.60 c 71.5s | 15 | 318601 | 128632 | 5553 49 | 7 | 14 73.56/73.61 c 73.5s | 15 | 324696 | 131332 | 6109 50 | 7 | 14 73.67/73.72 c 73.6s | 16 | 325252 | 131552 | 6109 50 | 7 | 14 75.66/75.73 c 75.7s | 16 | 334602 | 135252 | 6109 51 | 7 | 14 77.66/77.77 c 77.7s | 16 | 344666 | 138952 | 6109 52 | 7 | 14 79.66/79.79 c 79.7s | 16 | 353015 | 142652 | 6109 53 | 7 | 14 81.76/81.81 c 81.7s | 16 | 360785 | 146052 | 6109 54 | 7 | 14 83.76/83.83 c 83.8s | 16 | 369372 | 149652 | 6109 55 | 7 | 14 85.76/85.84 c 85.8s | 16 | 377032 | 153052 | 6109 56 | 7 | 14 87.76/87.84 c 87.8s | 16 | 384554 | 156552 | 6109 58 | 7 | 14 89.76/89.87 c 89.8s | 16 | 391684 | 159852 | 6109 59 | 7 | 14 91.86/91.97 c 91.9s | 16 | 398624 | 163052 | 6109 60 | 7 | 14 93.85/93.98 c 93.9s | 16 | 407384 | 166452 | 6109 61 | 7 | 14 95.95/96.01 c 95.9s | 16 | 416220 | 170152 | 6109 62 | 7 | 14 97.96/98.01 c 97.9s | 16 | 424575 | 173652 | 6109 63 | 7 | 14 99.95/100.05 c 100.0s | 16 | 434115 | 177352 | 6109 64 | 7 | 14 101.95/102.08 c 102s | 16 | 443067 | 180852 | 6109 65 | 7 | 14 104.05/104.13 c 104s | 16 | 451562 | 184352 | 6109 66 | 7 | 14 106.05/106.15 c 106s | 16 | 460503 | 188152 | 6109 67 | 7 | 14 108.05/108.16 c 108s | 16 | 469093 | 191752 | 6109 68 | 7 | 14 110.06/110.18 c 110s | 16 | 477749 | 195352 | 6109 69 | 7 | 14 111.25/111.33 c 111s | 17 | 482495 | 197432 | 6720 70 | 7 | 14 113.25/113.36 c 113s | 17 | 489687 | 200532 | 6720 71 | 7 | 14 115.25/115.36 c 115s | 17 | 497471 | 204032 | 6720 72 | 7 | 14 117.25/117.38 c 117s | 17 | 505294 | 207532 | 6720 73 | 7 | 14 119.35/119.40 c 119s | 17 | 514145 | 211332 | 6720 74 | 7 | 14 121.35/121.44 c 121s | 17 | 522277 | 214932 | 6720 75 | 7 | 14 123.34/123.45 c 123s | 17 | 531165 | 218532 | 6720 76 | 7 | 14 125.35/125.47 c 125s | 17 | 539399 | 222132 | 6720 77 | 7 | 14 127.34/127.48 c 127s | 17 | 547743 | 225832 | 6720 78 | 7 | 14 129.44/129.51 c 129s | 17 | 554581 | 228932 | 6720 79 | 7 | 14 131.44/131.56 c 131s | 17 | 562837 | 232532 | 6720 80 | 7 | 14 133.44/133.59 c 133s | 17 | 570929 | 235732 | 6720 81 | 7 | 14 135.54/135.65 c 135s | 17 | 578972 | 239332 | 6720 82 | 7 | 14 137.54/137.66 c 137s | 17 | 586938 | 242932 | 6720 83 | 7 | 14 139.53/139.68 c 139s | 17 | 595029 | 246532 | 6720 83 | 7 | 14 141.63/141.73 c 141s | 17 | 603146 | 250132 | 6720 84 | 7 | 14 143.63/143.75 c 143s | 17 | 610100 | 253132 | 6720 85 | 7 | 14 145.63/145.77 c 145s | 17 | 617935 | 256632 | 6720 86 | 7 | 14 147.63/147.78 c 147s | 17 | 625552 | 260132 | 6720 87 | 7 | 14 149.73/149.83 c 149s | 17 | 634136 | 263732 | 6720 88 | 7 | 14 151.74/151.87 c 151s | 17 | 641703 | 267132 | 6720 89 | 7 | 14 153.83/153.91 c 153s | 17 | 649525 | 270632 | 6720 90 | 7 | 14 155.84/155.92 c 155s | 17 | 657315 | 274132 | 6720 91 | 7 | 14 157.84/157.93 c 157s | 17 | 664964 | 277732 | 6720 92 | 7 | 14 159.84/159.96 c 159s | 17 | 672377 | 280632 | 6720 93 | 7 | 14 161.93/162.00 c 161s | 17 | 680588 | 284232 | 6720 94 | 7 | 14 163.94/164.03 c 163s | 17 | 689018 | 287932 | 6720 95 | 7 | 14 165.93/166.03 c 165s | 17 | 697951 | 291632 | 6720 96 | 7 | 14 168.03/168.12 c 168s | 17 | 706711 | 295232 | 7393 97 | 7 | 14 168.73/168.86 c 168s | 18 | 708846 | 296252 | 7393 97 | 7 | 14 170.73/170.87 c 170s | 18 | 715534 | 299252 | 7393 98 | 7 | 14 172.83/172.91 c 172s | 18 | 724270 | 302652 | 7393 99 | 7 | 14 174.84/174.91 c 174s | 18 | 732246 | 305952 | 7393 100 | 7 | 14 176.83/176.94 c 176s | 18 | 739858 | 309352 | 7393 101 | 7 | 14 178.83/178.95 c 178s | 18 | 747515 | 312752 | 7393 101 | 7 | 14 180.83/180.97 c 180s | 18 | 755427 | 316152 | 7393 102 | 7 | 14 182.82/182.99 c 182s | 18 | 763326 | 319752 | 7393 103 | 7 | 14 184.92/185.01 c 184s | 18 | 771163 | 323052 | 7393 104 | 7 | 14 186.93/187.05 c 186s | 18 | 778270 | 326252 | 7393 105 | 7 | 14 188.92/189.06 c 188s | 18 | 785744 | 329352 | 7393 106 | 7 | 14 190.92/191.08 c 191s | 18 | 794799 | 332952 | 7393 107 | 7 | 14 193.01/193.12 c 193s | 18 | 803198 | 336752 | 7393 107 | 7 | 14 195.01/195.14 c 195s | 18 | 811793 | 339952 | 7393 108 | 7 | 14 197.02/197.18 c 197s | 18 | 821024 | 343752 | 7393 109 | 7 | 14 199.12/199.22 c 199s | 18 | 828784 | 347252 | 7393 110 | 7 | 14 201.11/201.22 c 201s | 18 | 835762 | 350652 | 7393 111 | 7 | 14 203.11/203.26 c 203s | 18 | 843146 | 353852 | 7393 112 | 7 | 14 205.21/205.30 c 205s | 18 | 851130 | 356952 | 7393 113 | 7 | 14 207.21/207.31 c 207s | 18 | 859243 | 360452 | 7393 114 | 7 | 14 209.21/209.31 c 209s | 18 | 868239 | 364152 | 7393 114 | 7 | 14 211.21/211.34 c 211s | 18 | 875576 | 367552 | 7393 115 | 7 | 14 213.20/213.38 c 213s | 18 | 882196 | 370952 | 7393 116 | 7 | 14 215.30/215.43 c 215s | 18 | 889847 | 374352 | 7393 117 | 7 | 14 217.30/217.44 c 217s | 18 | 896876 | 377952 | 7393 118 | 7 | 14 219.30/219.46 c 219s | 18 | 903414 | 381552 | 7393 119 | 7 | 14 221.29/221.47 c 221s | 18 | 909126 | 384352 | 7393 120 | 7 | 14 223.40/223.52 c 223s | 18 | 915787 | 387452 | 7393 120 | 7 | 14 225.40/225.55 c 225s | 18 | 922428 | 390652 | 7393 121 | 7 | 14 227.49/227.61 c 227s | 18 | 929747 | 394052 | 7393 122 | 7 | 14 229.49/229.65 c 229s | 18 | 936925 | 397252 | 7393 123 | 7 | 14 231.49/231.66 c 231s | 18 | 944828 | 400552 | 7393 124 | 7 | 14 233.49/233.69 c 233s | 18 | 951930 | 403852 | 7393 124 | 7 | 14 235.59/235.74 c 235s | 18 | 958682 | 407152 | 7393 125 | 7 | 14 237.59/237.76 c 237s | 18 | 965872 | 410552 | 7393 126 | 7 | 14 239.59/239.79 c 239s | 18 | 971782 | 413352 | 7393 127 | 7 | 14 241.59/241.79 c 241s | 18 | 979157 | 416652 | 7393 128 | 7 | 14 243.68/243.81 c 243s | 18 | 985951 | 419852 | 7393 129 | 7 | 14 245.68/245.88 c 245s | 18 | 993578 | 423452 | 7393 129 | 7 | 14 247.78/247.94 c 247s | 18 | 1000601 | 426552 | 7393 130 | 7 | 14 249.78/249.95 c 249s | 18 | 1008897 | 429852 | 7393 131 | 7 | 14 251.78/251.98 c 251s | 18 | 1016908 | 433452 | 7393 132 | 7 | 14 253.88/254.02 c 253s | 18 | 1024262 | 436652 | 7393 133 | 7 | 14 255.88/256.05 c 255s | 18 | 1032514 | 440152 | 7393 134 | 7 | 14 257.97/258.10 c 258s | 18 | 1040001 | 443652 | 8133 134 | 7 | 14 258.38/258.59 c 258s | 19 | 1041705 | 444482 | 8133 135 | 7 | 14 260.38/260.59 c 260s | 19 | 1048590 | 447182 | 8133 135 | 7 | 14 262.48/262.60 c 262s | 19 | 1056499 | 450582 | 8133 136 | 7 | 14 264.48/264.66 c 264s | 19 | 1063864 | 453782 | 8133 137 | 7 | 14 266.48/266.67 c 266s | 19 | 1071369 | 457082 | 8133 138 | 7 | 14 268.58/268.71 c 268s | 19 | 1079369 | 460582 | 8133 138 | 7 | 14 270.59/270.72 c 270s | 19 | 1087287 | 464082 | 8133 139 | 7 | 14 272.58/272.76 c 272s | 19 | 1094165 | 467482 | 8133 140 | 7 | 14 274.68/274.80 c 274s | 19 | 1102029 | 470982 | 8133 141 | 7 | 14 276.68/276.81 c 276s | 19 | 1109134 | 474482 | 8133 142 | 7 | 14 278.68/278.84 c 278s | 19 | 1115810 | 477482 | 8133 142 | 7 | 14 280.68/280.89 c 280s | 19 | 1124397 | 480982 | 8133 143 | 7 | 14 282.78/282.90 c 282s | 19 | 1133505 | 484682 | 8133 144 | 7 | 14 284.78/284.91 c 284s | 19 | 1141163 | 487982 | 8133 145 | 7 | 14 286.77/286.94 c 286s | 19 | 1149146 | 491482 | 8133 145 | 7 | 14 288.77/288.94 c 288s | 19 | 1157578 | 495082 | 8133 146 | 7 | 14 290.77/290.99 c 290s | 19 | 1164780 | 498082 | 8133 147 | 7 | 14 292.87/293.00 c 292s | 19 | 1172853 | 501482 | 8133 148 | 7 | 14 294.87/295.00 c 294s | 19 | 1180754 | 504982 | 8133 149 | 7 | 14 296.88/297.01 c 296s | 19 | 1188511 | 508682 | 8133 150 | 7 | 14 298.87/299.06 c 298s | 19 | 1197613 | 512382 | 8133 150 | 7 | 14 300.87/301.09 c 301s | 19 | 1205938 | 516182 | 8133 151 | 7 | 14 302.97/303.14 c 303s | 19 | 1214111 | 519982 | 8133 152 | 7 | 14 304.97/305.18 c 305s | 19 | 1221006 | 523382 | 8133 153 | 7 | 14 307.07/307.24 c 307s | 19 | 1227045 | 526182 | 8133 154 | 7 | 14 309.07/309.29 c 309s | 19 | 1235152 | 529682 | 8133 154 | 7 | 14 311.17/311.31 c 311s | 19 | 1243850 | 533282 | 8133 155 | 7 | 14 313.16/313.33 c 313s | 19 | 1252454 | 536782 | 8133 156 | 7 | 14 315.16/315.37 c 315s | 19 | 1260028 | 539982 | 8133 157 | 7 | 14 317.16/317.37 c 317s | 19 | 1267229 | 543282 | 8133 158 | 7 | 14 319.16/319.39 c 319s | 19 | 1275095 | 546782 | 8133 158 | 7 | 14 321.26/321.41 c 321s | 19 | 1282327 | 550182 | 8133 159 | 7 | 14 323.26/323.46 c 323s | 19 | 1290550 | 553882 | 8133 160 | 7 | 14 325.35/325.50 c 325s | 19 | 1297293 | 556882 | 8133 161 | 7 | 14 327.35/327.50 c 327s | 19 | 1304102 | 559982 | 8133 161 | 7 | 14 329.35/329.56 c 329s | 19 | 1311448 | 563482 | 8133 162 | 7 | 14 331.35/331.58 c 331s | 19 | 1318947 | 566682 | 8133 163 | 7 | 14 333.35/333.58 c 333s | 19 | 1327619 | 570182 | 8133 164 | 7 | 14 335.46/335.62 c 335s | 19 | 1336110 | 573782 | 8133 165 | 7 | 14 337.45/337.67 c 337s | 19 | 1344459 | 577382 | 8133 165 | 7 | 14 339.55/339.70 c 339s | 19 | 1351485 | 580282 | 8133 166 | 7 | 14 341.55/341.71 c 341s | 19 | 1358978 | 583682 | 8133 167 | 7 | 14 343.54/343.76 c 343s | 19 | 1366792 | 587082 | 8133 168 | 7 | 14 345.64/345.83 c 345s | 19 | 1376365 | 590682 | 8133 169 | 7 | 14 347.64/347.89 c 347s | 19 | 1383307 | 593982 | 8133 169 | 7 | 14 349.74/349.91 c 349s | 19 | 1391244 | 597382 | 8133 170 | 7 | 14 351.73/351.94 c 351s | 19 | 1399463 | 600682 | 8133 171 | 7 | 14 353.83/354.00 c 353s | 19 | 1407341 | 603982 | 8133 172 | 7 | 14 355.83/356.05 c 355s | 19 | 1414782 | 607282 | 8133 172 | 7 | 14 357.83/358.08 c 358s | 19 | 1421964 | 610582 | 8133 173 | 7 | 14 359.93/360.12 c 360s | 19 | 1429221 | 613782 | 8133 174 | 7 | 14 361.93/362.15 c 362s | 19 | 1435548 | 616882 | 8133 175 | 7 | 14 363.93/364.18 c 364s | 19 | 1443211 | 620182 | 8133 175 | 7 | 14 366.02/366.25 c 366s | 19 | 1449609 | 623082 | 8133 176 | 7 | 14 368.03/368.26 c 368s | 19 | 1456864 | 626082 | 8133 177 | 7 | 14 370.03/370.27 c 370s | 19 | 1465324 | 629582 | 8133 177 | 7 | 14 372.13/372.33 c 372s | 19 | 1473406 | 633082 | 8133 178 | 7 | 14 374.13/374.34 c 374s | 19 | 1481790 | 636482 | 8133 179 | 7 | 14 376.13/376.36 c 376s | 19 | 1490768 | 640082 | 8133 180 | 7 | 14 378.13/378.38 c 378s | 19 | 1499803 | 643782 | 8133 181 | 7 | 14 380.22/380.43 c 380s | 19 | 1506493 | 646582 | 8133 181 | 7 | 14 382.22/382.43 c 382s | 19 | 1516178 | 650082 | 8133 182 | 7 | 14 384.22/384.46 c 384s | 19 | 1523700 | 653282 | 8133 183 | 7 | 14 386.22/386.48 c 386s | 19 | 1533080 | 656982 | 8133 184 | 7 | 14 388.23/388.49 c 388s | 19 | 1541770 | 660682 | 8133 185 | 7 | 14 390.32/390.55 c 390s | 19 | 1549630 | 664182 | 8947 185 | 7 | 14 392.31/392.51 c 392s | 20 | 1555826 | 666827 | 8947 186 | 7 | 14 394.31/394.58 c 394s | 20 | 1562740 | 669827 | 8947 187 | 7 | 14 396.41/396.62 c 396s | 20 | 1570586 | 673327 | 8947 187 | 7 | 14 398.41/398.67 c 398s | 20 | 1578144 | 676727 | 8947 188 | 7 | 14 400.41/400.69 c 400s | 20 | 1585900 | 680227 | 8947 189 | 7 | 14 402.51/402.74 c 402s | 20 | 1592230 | 683127 | 8947 189 | 7 | 14 404.51/404.74 c 404s | 20 | 1599943 | 686327 | 8947 190 | 7 | 14 406.51/406.79 c 406s | 20 | 1607942 | 689627 | 8947 191 | 7 | 14 408.51/408.80 c 408s | 20 | 1616263 | 693027 | 8947 191 | 7 | 14 410.60/410.85 c 410s | 20 | 1622987 | 695827 | 8947 192 | 7 | 14 412.60/412.86 c 412s | 20 | 1630493 | 699027 | 8947 193 | 7 | 14 414.61/414.86 c 414s | 20 | 1639412 | 702627 | 8947 193 | 7 | 14 416.70/416.94 c 416s | 20 | 1647854 | 706227 | 8947 194 | 7 | 14 418.70/418.99 c 418s | 20 | 1657627 | 709727 | 8947 195 | 7 | 14 420.70/421.00 c 420s | 20 | 1668544 | 713627 | 8947 196 | 7 | 14 422.79/423.00 c 422s | 20 | 1678574 | 717327 | 8947 197 | 7 | 14 424.79/425.01 c 424s | 20 | 1687396 | 720827 | 8947 197 | 7 | 14 426.79/427.02 c 426s | 20 | 1696207 | 724327 | 8947 198 | 7 | 14 428.80/429.06 c 428s | 20 | 1704693 | 727827 | 8947 199 | 7 | 14 430.89/431.13 c 431s | 20 | 1712394 | 730927 | 8947 199 | 7 | 14 432.89/433.15 c 433s | 20 | 1721328 | 734427 | 8947 200 | 7 | 14 434.89/435.16 c 435s | 20 | 1728757 | 737727 | 8947 201 | 7 | 14 436.89/437.18 c 437s | 20 | 1738270 | 741527 | 8947 202 | 7 | 14 438.99/439.23 c 439s | 20 | 1746753 | 744927 | 8947 202 | 7 | 14 441.00/441.26 c 441s | 20 | 1754054 | 748027 | 8947 203 | 7 | 14 442.98/443.28 c 443s | 20 | 1762428 | 751427 | 8947 204 | 7 | 14 444.98/445.29 c 445s | 20 | 1771152 | 755127 | 8947 205 | 7 | 14 447.08/447.35 c 447s | 20 | 1779763 | 758627 | 8947 205 | 7 | 14 449.08/449.39 c 449s | 20 | 1789857 | 762627 | 8947 206 | 7 | 14 451.18/451.46 c 451s | 20 | 1799744 | 766527 | 8947 207 | 7 | 14 453.18/453.49 c 453s | 20 | 1808422 | 770027 | 8947 208 | 7 | 14 455.28/455.53 c 455s | 20 | 1818465 | 774027 | 8947 208 | 7 | 14 457.27/457.54 c 457s | 20 | 1822013 | 775627 | 8947 209 | 7 | 14 459.28/459.58 c 459s | 20 | 1830648 | 778927 | 8947 210 | 7 | 14 461.38/461.64 c 461s | 20 | 1837969 | 782227 | 8947 210 | 7 | 14 463.38/463.64 c 463s | 20 | 1845640 | 785227 | 8947 211 | 7 | 14 465.38/465.65 c 465s | 20 | 1853967 | 788327 | 8947 212 | 7 | 14 467.38/467.66 c 467s | 20 | 1862017 | 791727 | 8947 212 | 7 | 14 469.48/469.71 c 469s | 20 | 1869464 | 795027 | 8947 213 | 7 | 14 471.48/471.76 c 471s | 20 | 1876388 | 798227 | 8947 214 | 7 | 14 473.57/473.80 c 473s | 20 | 1883255 | 801327 | 8947 214 | 7 | 14 475.57/475.84 c 475s | 20 | 1890523 | 804527 | 8947 215 | 7 | 14 477.57/477.89 c 477s | 20 | 1895926 | 806727 | 8947 215 | 7 | 14 479.67/479.92 c 479s | 20 | 1903362 | 809927 | 8947 216 | 7 | 14 481.68/481.98 c 481s | 20 | 1911386 | 813127 | 8947 217 | 7 | 14 483.78/484.01 c 483s | 20 | 1919170 | 816127 | 8947 217 | 7 | 14 485.77/486.05 c 485s | 20 | 1928012 | 819427 | 8947 218 | 7 | 14 487.77/488.05 c 487s | 20 | 1936272 | 822727 | 8947 219 | 7 | 14 489.77/490.08 c 490s | 20 | 1944088 | 825927 | 8947 220 | 7 | 14 491.86/492.12 c 492s | 20 | 1951301 | 829227 | 8947 220 | 7 | 14 493.86/494.12 c 494s | 20 | 1957674 | 832227 | 8947 221 | 7 | 14 495.87/496.17 c 496s | 20 | 1962938 | 834827 | 8947 221 | 7 | 14 497.96/498.21 c 498s | 20 | 1968684 | 837227 | 8947 222 | 7 | 14 499.96/500.28 c 500s | 20 | 1974539 | 839927 | 8947 223 | 7 | 14 502.05/502.32 c 502s | 20 | 1982119 | 843227 | 8947 223 | 7 | 14 504.06/504.37 c 504s | 20 | 1988673 | 846227 | 8947 224 | 7 | 14 506.15/506.42 c 506s | 20 | 1995149 | 849227 | 8947 224 | 7 | 14 508.15/508.48 c 508s | 20 | 2001802 | 852127 | 8947 225 | 7 | 14 510.26/510.51 c 510s | 20 | 2008209 | 855127 | 8947 226 | 7 | 14 512.25/512.54 c 512s | 20 | 2013471 | 857527 | 8947 226 | 7 | 14 514.25/514.59 c 514s | 20 | 2020128 | 860527 | 8947 227 | 7 | 14 516.35/516.61 c 516s | 20 | 2027540 | 863727 | 8947 228 | 7 | 14 518.35/518.63 c 518s | 20 | 2036466 | 866927 | 8947 228 | 7 | 14 520.35/520.69 c 520s | 20 | 2044882 | 870227 | 8947 229 | 7 | 14 522.44/522.70 c 522s | 20 | 2053707 | 873427 | 8947 230 | 7 | 14 524.45/524.71 c 524s | 20 | 2061230 | 876627 | 8947 230 | 7 | 14 526.44/526.76 c 526s | 20 | 2068243 | 879827 | 8947 231 | 7 | 14 528.54/528.83 c 528s | 20 | 2074240 | 882427 | 8947 232 | 7 | 14 530.54/530.85 c 530s | 20 | 2082303 | 885827 | 8947 232 | 7 | 14 532.64/532.91 c 532s | 20 | 2088864 | 889027 | 8947 233 | 7 | 14 534.64/534.92 c 534s | 20 | 2096087 | 892227 | 8947 234 | 7 | 14 536.65/536.94 c 536s | 20 | 2102945 | 895427 | 8947 234 | 7 | 14 538.75/539.01 c 538s | 20 | 2109125 | 898527 | 8947 235 | 7 | 14 540.74/541.03 c 540s | 20 | 2114409 | 901027 | 8947 235 | 7 | 14 542.73/543.04 c 542s | 20 | 2121178 | 904127 | 8947 236 | 7 | 14 544.73/545.08 c 545s | 20 | 2127175 | 907127 | 8947 237 | 7 | 14 546.83/547.14 c 547s | 20 | 2134787 | 910327 | 8947 237 | 7 | 14 548.83/549.14 c 549s | 20 | 2141573 | 913427 | 8947 238 | 7 | 14 550.84/551.15 c 551s | 20 | 2147662 | 916427 | 8947 239 | 7 | 14 552.93/553.29 c 553s | 20 | 2152800 | 919127 | 8947 239 | 7 | 14 555.03/555.34 c 555s | 20 | 2159408 | 922027 | 8947 240 | 7 | 14 557.13/557.40 c 557s | 20 | 2165683 | 924927 | 8947 240 | 7 | 14 559.13/559.45 c 559s | 20 | 2172854 | 928227 | 8947 241 | 7 | 14 561.13/561.49 c 561s | 20 | 2179783 | 931427 | 8947 242 | 7 | 14 563.22/563.51 c 563s | 20 | 2186791 | 934527 | 8947 243 | 7 | 14 565.23/565.53 c 565s | 20 | 2193598 | 937627 | 8947 243 | 7 | 14 567.22/567.55 c 567s | 20 | 2199372 | 940327 | 8947 244 | 7 | 14 569.22/569.57 c 569s | 20 | 2205993 | 943427 | 8947 244 | 7 | 14 571.32/571.61 c 571s | 20 | 2213152 | 946827 | 8947 245 | 7 | 14 573.32/573.65 c 573s | 20 | 2219353 | 950127 | 8947 246 | 7 | 14 575.42/575.71 c 575s | 20 | 2226217 | 953527 | 8947 247 | 7 | 14 577.42/577.72 c 577s | 20 | 2231708 | 956327 | 8947 247 | 7 | 14 579.42/579.74 c 579s | 20 | 2237915 | 959427 | 8947 248 | 7 | 14 581.52/581.81 c 581s | 20 | 2244255 | 962527 | 8947 248 | 7 | 14 583.51/583.82 c 583s | 20 | 2252269 | 965827 | 8947 249 | 7 | 14 585.51/585.82 c 585s | 20 | 2259185 | 968827 | 8947 250 | 7 | 14 587.51/587.82 c 587s | 20 | 2266419 | 972027 | 8947 250 | 7 | 14 589.51/589.87 c 589s | 20 | 2273093 | 975227 | 8947 251 | 7 | 14 591.63/591.94 c 591s | 20 | 2279796 | 978527 | 8947 252 | 7 | 14 593.61/593.95 c 593s | 20 | 2286331 | 981627 | 8947 252 | 7 | 14 595.61/595.98 c 595s | 20 | 2293345 | 984827 | 8947 253 | 7 | 14 597.71/598.01 c 597s | 20 | 2300788 | 988127 | 8947 254 | 7 | 14 599.71/600.09 c 600s | 20 | 2306974 | 991227 | 8947 254 | 7 | 14 601.81/602.16 c 602s | 20 | 2311800 | 993627 | 9842 255 | 7 | 14 603.91/604.20 c 604s | 20 | 2316893 | 996127 | 9842 255 | 7 | 14 605.91/606.25 c 606s | 20 | 2322616 | 998727 | 9842 256 | 7 | 14 607.11/607.43 c 607s | 21 | 2325910 | 1000345 | 9842 256 | 7 | 14 609.21/609.51 c 609s | 21 | 2331207 | 1002745 | 9842 257 | 7 | 14 611.21/611.58 c 611s | 21 | 2335754 | 1005045 | 9842 257 | 7 | 14 613.20/613.59 c 613s | 21 | 2340708 | 1007445 | 9842 257 | 7 | 14 615.30/615.65 c 615s | 21 | 2344753 | 1009245 | 9842 258 | 7 | 14 617.30/617.69 c 617s | 21 | 2350564 | 1011845 | 9842 258 | 7 | 14 619.40/619.70 c 619s | 21 | 2358220 | 1014845 | 9842 259 | 7 | 14 621.40/621.71 c 621s | 21 | 2365145 | 1017845 | 9842 259 | 7 | 14 623.40/623.78 c 623s | 21 | 2372322 | 1020945 | 9842 260 | 7 | 14 625.39/625.79 c 625s | 21 | 2379317 | 1023945 | 9842 261 | 7 | 14 627.49/627.84 c 627s | 21 | 2386621 | 1026745 | 9842 261 | 7 | 14 629.49/629.88 c 629s | 21 | 2392409 | 1029645 | 9842 262 | 7 | 14 631.59/631.95 c 631s | 21 | 2398750 | 1032545 | 9842 262 | 7 | 14 633.68/634.01 c 633s | 21 | 2403459 | 1034745 | 9842 263 | 7 | 14 635.68/636.04 c 635s | 21 | 2410655 | 1037845 | 9842 263 | 7 | 14 637.69/638.05 c 637s | 21 | 2417942 | 1040745 | 9842 264 | 7 | 14 639.68/640.06 c 639s | 21 | 2425100 | 1043645 | 9842 265 | 7 | 14 641.78/642.12 c 642s | 21 | 2431952 | 1046645 | 9842 265 | 7 | 14 643.78/644.14 c 644s | 21 | 2438529 | 1049545 | 9842 266 | 7 | 14 645.78/646.19 c 646s | 21 | 2444797 | 1052545 | 9842 266 | 7 | 14 647.88/648.24 c 648s | 21 | 2451681 | 1055645 | 9842 267 | 7 | 14 649.98/650.31 c 650s | 21 | 2458521 | 1058645 | 9842 267 | 7 | 14 651.97/652.35 c 652s | 21 | 2465233 | 1061645 | 9842 268 | 7 | 14 653.98/654.38 c 654s | 21 | 2469225 | 1063445 | 9842 268 | 7 | 14 656.08/656.45 c 656s | 21 | 2475851 | 1066345 | 9842 269 | 7 | 14 658.08/658.47 c 658s | 21 | 2481790 | 1069145 | 9842 269 | 7 | 14 660.18/660.53 c 660s | 21 | 2487984 | 1072045 | 9842 270 | 7 | 14 662.17/662.55 c 662s | 21 | 2493325 | 1074545 | 9842 270 | 7 | 14 664.18/664.56 c 664s | 21 | 2499398 | 1077245 | 9842 271 | 7 | 14 666.17/666.57 c 666s | 21 | 2504348 | 1079645 | 9842 271 | 7 | 14 668.27/668.64 c 668s | 21 | 2510134 | 1082345 | 9842 272 | 7 | 14 670.27/670.67 c 670s | 21 | 2515553 | 1084845 | 9842 272 | 7 | 14 672.36/672.74 c 672s | 21 | 2519685 | 1086845 | 9842 273 | 7 | 14 674.36/674.77 c 674s | 21 | 2525216 | 1089645 | 9842 273 | 7 | 14 676.36/676.78 c 676s | 21 | 2531343 | 1092545 | 9842 274 | 7 | 14 678.47/678.83 c 678s | 21 | 2537183 | 1095345 | 9842 274 | 7 | 14 680.46/680.87 c 680s | 21 | 2543801 | 1098345 | 9842 275 | 7 | 14 682.46/682.88 c 682s | 21 | 2548419 | 1100845 | 9842 276 | 7 | 14 684.56/684.90 c 684s | 21 | 2554136 | 1103745 | 9842 276 | 7 | 14 686.56/686.93 c 686s | 21 | 2558597 | 1106245 | 9842 277 | 7 | 14 688.56/688.93 c 688s | 21 | 2564041 | 1108945 | 9842 277 | 7 | 14 690.66/691.00 c 690s | 21 | 2569436 | 1111645 | 9842 278 | 7 | 14 692.66/693.07 c 692s | 21 | 2573453 | 1113745 | 9842 278 | 7 | 14 694.75/695.10 c 695s | 21 | 2578609 | 1116345 | 9842 279 | 7 | 14 696.75/697.16 c 697s | 21 | 2584269 | 1119245 | 9842 279 | 7 | 14 698.75/699.18 c 699s | 21 | 2589231 | 1121845 | 9842 280 | 7 | 14 700.85/701.24 c 701s | 21 | 2594597 | 1124645 | 9842 280 | 7 | 14 702.85/703.28 c 703s | 21 | 2600482 | 1127345 | 9842 281 | 7 | 14 704.95/705.33 c 705s | 21 | 2605599 | 1130045 | 9842 281 | 7 | 14 706.96/707.35 c 707s | 21 | 2610463 | 1132445 | 9842 282 | 7 | 14 708.95/709.36 c 709s | 21 | 2615255 | 1134945 | 9842 282 | 7 | 14 711.05/711.42 c 711s | 21 | 2620927 | 1137745 | 9842 283 | 7 | 14 713.05/713.43 c 713s | 21 | 2626726 | 1140545 | 9842 283 | 7 | 14 715.05/715.47 c 715s | 21 | 2632031 | 1143245 | 9842 284 | 7 | 14 717.05/717.49 c 717s | 21 | 2637226 | 1145945 | 9842 284 | 7 | 14 719.16/719.53 c 719s | 21 | 2642425 | 1148545 | 9842 285 | 7 | 14 721.15/721.59 c 721s | 21 | 2647541 | 1151245 | 9842 285 | 7 | 14 723.15/723.59 c 723s | 21 | 2652776 | 1153945 | 9842 286 | 7 | 14 725.25/725.61 c 725s | 21 | 2657608 | 1156545 | 9842 286 | 7 | 14 727.25/727.67 c 727s | 21 | 2661850 | 1159045 | 9842 287 | 7 | 14 729.35/729.70 c 729s | 21 | 2666151 | 1161145 | 9842 287 | 7 | 14 731.35/731.72 c 731s | 21 | 2670894 | 1163645 | 9842 288 | 7 | 14 733.35/733.80 c 733s | 21 | 2676505 | 1166445 | 9842 288 | 7 | 14 735.45/735.81 c 735s | 21 | 2681799 | 1169045 | 9842 289 | 7 | 14 737.45/737.88 c 737s | 21 | 2687356 | 1171845 | 9842 289 | 7 | 14 739.55/739.90 c 739s | 21 | 2692271 | 1174445 | 9842 290 | 7 | 14 741.55/741.94 c 741s | 21 | 2697370 | 1177245 | 9842 290 | 7 | 14 743.55/743.95 c 743s | 21 | 2703386 | 1179945 | 9842 291 | 7 | 14 745.65/746.00 c 745s | 21 | 2709580 | 1182645 | 9842 291 | 7 | 14 747.66/748.02 c 747s | 21 | 2715314 | 1185345 | 9842 292 | 7 | 14 749.65/750.03 c 749s | 21 | 2720440 | 1187845 | 9842 292 | 7 | 14 751.65/752.06 c 751s | 21 | 2725784 | 1190345 | 9842 293 | 7 | 14 753.65/754.09 c 754s | 21 | 2731183 | 1192945 | 9842 293 | 7 | 14 755.75/756.15 c 756s | 21 | 2736112 | 1195545 | 9842 294 | 7 | 14 757.75/758.15 c 758s | 21 | 2742099 | 1198145 | 9842 294 | 7 | 14 759.86/760.22 c 760s | 21 | 2749180 | 1200845 | 9842 295 | 7 | 14 761.85/762.22 c 762s | 21 | 2754644 | 1203445 | 9842 295 | 7 | 14 763.85/764.24 c 764s | 21 | 2760514 | 1206245 | 9842 296 | 7 | 14 765.95/766.32 c 766s | 21 | 2765018 | 1208645 | 9842 296 | 7 | 14 767.95/768.36 c 768s | 21 | 2769915 | 1211245 | 9842 297 | 7 | 14 770.05/770.40 c 770s | 21 | 2775316 | 1213845 | 9842 297 | 7 | 14 772.05/772.46 c 772s | 21 | 2780551 | 1216445 | 9842 298 | 7 | 14 774.15/774.55 c 774s | 21 | 2784901 | 1218945 | 9842 298 | 7 | 14 776.15/776.56 c 776s | 21 | 2789095 | 1221345 | 9842 299 | 7 | 14 778.14/778.58 c 778s | 21 | 2794304 | 1224145 | 9842 299 | 7 | 14 780.24/780.62 c 780s | 21 | 2799472 | 1226745 | 9842 300 | 7 | 14 782.24/782.68 c 782s | 21 | 2804742 | 1229345 | 9842 300 | 7 | 14 784.34/784.73 c 784s | 21 | 2810027 | 1231945 | 9842 301 | 7 | 14 786.34/786.73 c 786s | 21 | 2815497 | 1234445 | 9842 301 | 7 | 14 788.35/788.76 c 788s | 21 | 2820428 | 1237045 | 9842 302 | 7 | 14 790.34/790.79 c 790s | 21 | 2825811 | 1239645 | 9842 302 | 7 | 14 792.44/792.80 c 792s | 21 | 2830151 | 1242145 | 9842 303 | 7 | 14 794.44/794.86 c 794s | 21 | 2835202 | 1244745 | 9842 303 | 7 | 14 796.54/796.99 c 796s | 21 | 2837556 | 1246145 | 9842 304 | 7 | 14 798.64/799.05 c 798s | 21 | 2843252 | 1248845 | 9842 304 | 7 | 14 800.64/801.09 c 801s | 21 | 2850450 | 1251745 | 9842 305 | 7 | 14 802.75/803.12 c 803s | 21 | 2857264 | 1254745 | 9842 305 | 7 | 14 804.74/805.19 c 805s | 21 | 2863389 | 1257745 | 9842 306 | 7 | 14 806.84/807.21 c 807s | 21 | 2869427 | 1260645 | 9842 306 | 7 | 14 808.84/809.21 c 809s | 21 | 2875682 | 1263645 | 9842 307 | 7 | 14 810.94/811.30 c 811s | 21 | 2880669 | 1266145 | 9842 308 | 7 | 14 812.93/813.33 c 813s | 21 | 2887396 | 1269345 | 9842 308 | 7 | 14 814.93/815.36 c 815s | 21 | 2893650 | 1272145 | 9842 309 | 7 | 14 817.04/817.42 c 817s | 21 | 2899879 | 1275145 | 9842 309 | 7 | 14 819.03/819.45 c 819s | 21 | 2906557 | 1278245 | 9842 310 | 7 | 14 821.03/821.45 c 821s | 21 | 2912829 | 1281245 | 9842 310 | 7 | 14 823.13/823.51 c 823s | 21 | 2919386 | 1284445 | 9842 311 | 7 | 14 825.13/825.54 c 825s | 21 | 2925642 | 1287645 | 9842 312 | 7 | 14 827.13/827.55 c 827s | 21 | 2931037 | 1290245 | 9842 312 | 7 | 14 829.23/829.60 c 829s | 21 | 2935798 | 1292545 | 9842 313 | 7 | 14 831.24/831.60 c 831s | 21 | 2941921 | 1295245 | 9842 313 | 7 | 14 833.23/833.67 c 833s | 21 | 2948120 | 1297945 | 9842 314 | 7 | 14 835.33/835.74 c 835s | 21 | 2953880 | 1300745 | 9842 314 | 7 | 14 837.33/837.78 c 837s | 21 | 2959595 | 1303445 | 9842 315 | 7 | 14 839.43/839.86 c 839s | 21 | 2965277 | 1306145 | 9842 315 | 7 | 14 841.43/841.89 c 841s | 21 | 2970454 | 1308645 | 9842 316 | 7 | 14 843.53/843.96 c 843s | 21 | 2975367 | 1311245 | 9842 316 | 7 | 14 845.64/846.04 c 845s | 21 | 2980356 | 1313845 | 9842 317 | 7 | 14 847.63/848.04 c 847s | 21 | 2985294 | 1316345 | 9842 317 | 7 | 14 849.83/850.21 c 850s | 21 | 2989683 | 1318645 | 9842 318 | 7 | 14 851.83/852.26 c 852s | 21 | 2995057 | 1321145 | 9842 318 | 7 | 14 853.83/854.27 c 854s | 21 | 3000394 | 1323745 | 9842 319 | 7 | 14 855.83/856.28 c 856s | 21 | 3006445 | 1326545 | 9842 319 | 7 | 14 857.93/858.34 c 858s | 21 | 3012009 | 1329345 | 9842 320 | 7 | 14 860.03/860.43 c 860s | 21 | 3017349 | 1332145 | 9842 320 | 7 | 14 862.03/862.43 c 862s | 21 | 3021866 | 1334545 | 9842 321 | 7 | 14 864.03/864.49 c 864s | 21 | 3026790 | 1336845 | 9842 321 | 7 | 14 866.13/866.51 c 866s | 21 | 3032951 | 1339445 | 9842 322 | 7 | 14 868.13/868.56 c 868s | 21 | 3038916 | 1342245 | 9842 322 | 7 | 14 870.13/870.58 c 870s | 21 | 3045152 | 1345045 | 9842 323 | 7 | 14 872.23/872.64 c 872s | 21 | 3051021 | 1347845 | 9842 323 | 7 | 14 874.24/874.67 c 874s | 21 | 3056879 | 1350645 | 9842 324 | 7 | 14 876.23/876.69 c 876s | 21 | 3061997 | 1353045 | 9842 324 | 7 | 14 878.33/878.72 c 878s | 21 | 3068482 | 1355745 | 9842 325 | 7 | 14 880.33/880.79 c 880s | 21 | 3075100 | 1358645 | 9842 325 | 7 | 14 882.43/882.84 c 882s | 21 | 3081150 | 1361545 | 9842 326 | 7 | 14 884.43/884.85 c 884s | 21 | 3087113 | 1364245 | 9842 327 | 7 | 14 886.53/886.90 c 886s | 21 | 3093410 | 1367045 | 9842 327 | 7 | 14 888.54/888.97 c 888s | 21 | 3099783 | 1369845 | 9842 328 | 7 | 14 890.53/891.00 c 890s | 21 | 3105964 | 1372845 | 9842 328 | 7 | 14 892.63/893.04 c 892s | 21 | 3111073 | 1375245 | 9842 329 | 7 | 14 894.73/895.10 c 895s | 21 | 3117855 | 1378245 | 9842 329 | 7 | 14 896.73/897.16 c 897s | 21 | 3123806 | 1380945 | 9842 330 | 7 | 14 898.83/899.21 c 899s | 21 | 3130169 | 1383845 | 9842 330 | 7 | 14 900.83/901.27 c 901s | 21 | 3136410 | 1386745 | 9842 331 | 7 | 14 902.93/903.33 c 903s | 21 | 3142583 | 1389745 | 9842 331 | 7 | 14 904.93/905.37 c 905s | 21 | 3147594 | 1392245 | 9842 332 | 7 | 14 907.02/907.41 c 907s | 21 | 3152944 | 1394845 | 9842 332 | 7 | 14 909.02/909.47 c 909s | 21 | 3158868 | 1397645 | 9842 333 | 7 | 14 911.12/911.53 c 911s | 21 | 3164241 | 1400445 | 9842 333 | 7 | 14 913.12/913.58 c 913s | 21 | 3169990 | 1403245 | 9842 334 | 7 | 14 915.22/915.69 c 915s | 21 | 3174437 | 1405745 | 9842 335 | 7 | 14 917.32/917.77 c 917s | 21 | 3179772 | 1408445 | 9842 335 | 7 | 14 919.33/919.78 c 919s | 21 | 3184681 | 1411045 | 9842 336 | 7 | 14 921.43/921.81 c 921s | 21 | 3189498 | 1413745 | 9842 336 | 7 | 14 923.52/923.91 c 923s | 21 | 3194457 | 1416145 | 9842 337 | 7 | 14 925.52/925.96 c 925s | 21 | 3199351 | 1418745 | 9842 337 | 7 | 14 927.52/927.97 c 927s | 21 | 3202657 | 1420345 | 9842 337 | 7 | 14 929.52/929.97 c 929s | 21 | 3207701 | 1422645 | 9842 338 | 7 | 14 931.52/931.98 c 931s | 21 | 3214493 | 1425445 | 9842 338 | 7 | 14 933.52/933.98 c 933s | 21 | 3220954 | 1428345 | 9842 339 | 7 | 14 935.61/936.03 c 935s | 21 | 3227590 | 1431145 | 9842 339 | 7 | 14 937.61/938.07 c 938s | 21 | 3234559 | 1434045 | 9842 340 | 7 | 14 939.61/940.09 c 940s | 21 | 3240143 | 1436645 | 9842 340 | 7 | 14 941.71/942.11 c 942s | 21 | 3245496 | 1439345 | 9842 341 | 7 | 14 943.71/944.19 c 944s | 21 | 3249810 | 1441445 | 9842 341 | 7 | 14 945.81/946.21 c 946s | 21 | 3255771 | 1444245 | 9842 342 | 7 | 14 947.82/948.28 c 948s | 21 | 3261782 | 1447045 | 9842 343 | 7 | 14 949.91/950.33 c 950s | 21 | 3267652 | 1449945 | 9842 343 | 7 | 14 952.01/952.41 c 952s | 21 | 3273453 | 1452645 | 9842 344 | 7 | 14 954.01/954.42 c 954s | 21 | 3279108 | 1455245 | 9842 344 | 7 | 14 956.01/956.47 c 956s | 21 | 3284018 | 1457745 | 9842 345 | 7 | 14 958.12/958.52 c 958s | 21 | 3289855 | 1460445 | 9842 345 | 7 | 14 960.12/960.57 c 960s | 21 | 3294326 | 1462745 | 9842 346 | 7 | 14 962.23/962.61 c 962s | 21 | 3299355 | 1465145 | 9842 346 | 7 | 14 964.42/964.81 c 964s | 21 | 3303465 | 1467245 | 9842 346 | 7 | 14 966.41/966.87 c 966s | 21 | 3308979 | 1469545 | 9842 347 | 7 | 14 968.41/968.88 c 968s | 21 | 3314692 | 1472345 | 9842 347 | 7 | 14 970.51/970.92 c 970s | 21 | 3321038 | 1475345 | 9842 348 | 7 | 14 972.51/972.95 c 972s | 21 | 3326462 | 1477945 | 9842 349 | 7 | 14 974.61/975.02 c 974s | 21 | 3333208 | 1480945 | 9842 349 | 7 | 14 976.71/977.10 c 977s | 21 | 3338912 | 1483645 | 9842 350 | 7 | 14 978.72/979.14 c 979s | 21 | 3343923 | 1486345 | 9842 350 | 7 | 14 980.71/981.18 c 981s | 21 | 3348739 | 1488445 | 9842 351 | 7 | 14 982.81/983.24 c 983s | 21 | 3354322 | 1491145 | 10827 351 | 7 | 14 984.81/985.28 c 985s | 21 | 3359614 | 1493745 | 10827 351 | 7 | 14 986.81/987.29 c 987s | 21 | 3365974 | 1496445 | 10827 352 | 7 | 14 988.91/989.30 c 989s | 21 | 3371499 | 1499045 | 10827 352 | 7 | 14 990.11/990.53 c 990s | 22 | 3375442 | 1500622 | 10827 353 | 7 | 14 992.11/992.57 c 992s | 22 | 3380518 | 1503122 | 10827 353 | 7 | 14 994.21/994.60 c 994s | 22 | 3384680 | 1505222 | 10827 353 | 7 | 14 996.21/996.65 c 996s | 22 | 3391735 | 1508222 | 10827 354 | 7 | 14 998.31/998.70 c 998s | 22 | 3398718 | 1511122 | 10827 355 | 7 | 14 1000.31/1000.74 c 1000s | 22 | 3405608 | 1514322 | 10827 355 | 7 | 14 1002.31/1002.78 c 1002s | 22 | 3412396 | 1517422 | 10827 356 | 7 | 14 1004.40/1004.80 c 1004s | 22 | 3418912 | 1520522 | 10827 356 | 7 | 14 1006.40/1006.82 c 1006s | 22 | 3423925 | 1523122 | 10827 357 | 7 | 14 1008.41/1008.83 c 1008s | 22 | 3429360 | 1525922 | 10827 357 | 7 | 14 1010.40/1010.87 c 1010s | 22 | 3435304 | 1528722 | 10827 358 | 7 | 14 1012.40/1012.88 c 1012s | 22 | 3441060 | 1531722 | 10827 358 | 7 | 14 1014.50/1014.93 c 1014s | 22 | 3446831 | 1534522 | 10827 359 | 7 | 14 1016.51/1016.99 c 1016s | 22 | 3452379 | 1537322 | 10827 359 | 7 | 14 1018.61/1019.04 c 1018s | 22 | 3457348 | 1540022 | 10827 360 | 7 | 14 1020.61/1021.07 c 1020s | 22 | 3461794 | 1542222 | 10827 360 | 7 | 14 1022.62/1023.07 c 1022s | 22 | 3467148 | 1544822 | 10827 360 | 7 | 14 1024.71/1025.12 c 1025s | 22 | 3474021 | 1547922 | 10827 361 | 7 | 14 1026.71/1027.16 c 1027s | 22 | 3479729 | 1550522 | 10827 361 | 7 | 14 1028.71/1029.17 c 1029s | 22 | 3485074 | 1553322 | 10827 362 | 7 | 14 1030.81/1031.23 c 1031s | 22 | 3490728 | 1556222 | 10827 362 | 7 | 14 1032.81/1033.26 c 1033s | 22 | 3496244 | 1559122 | 10827 363 | 7 | 14 1034.91/1035.32 c 1035s | 22 | 3501988 | 1561822 | 10827 363 | 7 | 14 1036.91/1037.34 c 1037s | 22 | 3507663 | 1564622 | 10827 364 | 7 | 14 1038.91/1039.38 c 1039s | 22 | 3513065 | 1567322 | 10827 364 | 7 | 14 1041.01/1041.40 c 1041s | 22 | 3517902 | 1570122 | 10827 365 | 7 | 14 1043.01/1043.43 c 1043s | 22 | 3523017 | 1572822 | 10827 365 | 7 | 14 1045.01/1045.49 c 1045s | 22 | 3527642 | 1575522 | 10827 366 | 7 | 14 1047.10/1047.55 c 1047s | 22 | 3530607 | 1577022 | 10827 366 | 7 | 14 1049.11/1049.58 c 1049s | 22 | 3535442 | 1579522 | 10827 367 | 7 | 14 1051.21/1051.62 c 1051s | 22 | 3541204 | 1582222 | 10827 367 | 7 | 14 1053.20/1053.64 c 1053s | 22 | 3546294 | 1584722 | 10827 367 | 7 | 14 1055.20/1055.67 c 1055s | 22 | 3551946 | 1587122 | 10827 368 | 7 | 14 1057.30/1057.72 c 1057s | 22 | 3556903 | 1589722 | 10827 368 | 7 | 14 1059.30/1059.77 c 1059s | 22 | 3562460 | 1592422 | 10827 369 | 7 | 14 1061.40/1061.83 c 1061s | 22 | 3567840 | 1595122 | 10827 369 | 7 | 14 1063.50/1063.90 c 1063s | 22 | 3573695 | 1597922 | 10827 370 | 7 | 14 1065.50/1065.92 c 1065s | 22 | 3579603 | 1600822 | 10827 370 | 7 | 14 1067.50/1067.99 c 1067s | 22 | 3584628 | 1603422 | 10827 371 | 7 | 14 1069.60/1070.05 c 1069s | 22 | 3589556 | 1606022 | 10827 371 | 7 | 14 1071.70/1072.17 c 1072s | 22 | 3595141 | 1608422 | 10827 372 | 7 | 14 1073.79/1074.23 c 1074s | 22 | 3600807 | 1611422 | 10827 372 | 7 | 14 1075.79/1076.26 c 1076s | 22 | 3606400 | 1613922 | 10827 373 | 7 | 14 1077.79/1078.27 c 1078s | 22 | 3613434 | 1617022 | 10827 373 | 7 | 14 1079.90/1080.30 c 1080s | 22 | 3618913 | 1619622 | 10827 374 | 7 | 14 1081.89/1082.33 c 1082s | 22 | 3624749 | 1622522 | 10827 374 | 7 | 14 1083.89/1084.36 c 1084s | 22 | 3630614 | 1625422 | 10827 375 | 7 | 14 1085.99/1086.42 c 1086s | 22 | 3636009 | 1628322 | 10827 375 | 7 | 14 1087.99/1088.46 c 1088s | 22 | 3640935 | 1630422 | 10827 376 | 7 | 14 1089.99/1090.46 c 1090s | 22 | 3646569 | 1633122 | 10827 376 | 7 | 14 1092.00/1092.47 c 1092s | 22 | 3651407 | 1635622 | 10827 376 | 7 | 14 1094.10/1094.51 c 1094s | 22 | 3657424 | 1638522 | 10827 377 | 7 | 14 1096.09/1096.51 c 1096s | 22 | 3662729 | 1641322 | 10827 377 | 7 | 14 1098.09/1098.54 c 1098s | 22 | 3668464 | 1644222 | 10827 378 | 7 | 14 1100.19/1100.61 c 1100s | 22 | 3674005 | 1647122 | 10827 378 | 7 | 14 1102.19/1102.63 c 1102s | 22 | 3678534 | 1649322 | 10827 379 | 7 | 14 1104.19/1104.67 c 1104s | 22 | 3683783 | 1651822 | 10827 379 | 7 | 14 1106.20/1106.69 c 1106s | 22 | 3688599 | 1654522 | 10827 380 | 7 | 14 1108.29/1108.74 c 1108s | 22 | 3693924 | 1657322 | 10827 380 | 7 | 14 1110.29/1110.76 c 1110s | 22 | 3699020 | 1659922 | 10827 381 | 7 | 14 1112.29/1112.78 c 1112s | 22 | 3704172 | 1662622 | 10827 381 | 7 | 14 1114.39/1114.81 c 1114s | 22 | 3708480 | 1665122 | 10827 382 | 7 | 14 1116.39/1116.87 c 1116s | 22 | 3713078 | 1667422 | 10827 382 | 7 | 14 1118.49/1118.98 c 1118s | 22 | 3718363 | 1669922 | 10827 383 | 7 | 14 1120.60/1121.02 c 1120s | 22 | 3724410 | 1672822 | 10827 383 | 7 | 14 1122.59/1123.03 c 1122s | 22 | 3729834 | 1675522 | 10827 384 | 7 | 14 1124.59/1125.08 c 1125s | 22 | 3735338 | 1678322 | 10827 384 | 7 | 14 1126.69/1127.16 c 1127s | 22 | 3739447 | 1680522 | 10827 384 | 7 | 14 1128.69/1129.17 c 1129s | 22 | 3744463 | 1683022 | 10827 385 | 7 | 14 1130.79/1131.22 c 1131s | 22 | 3749711 | 1685622 | 10827 385 | 7 | 14 1132.79/1133.28 c 1133s | 22 | 3754684 | 1688122 | 10827 386 | 7 | 14 1134.79/1135.29 c 1135s | 22 | 3759734 | 1690722 | 10827 386 | 7 | 14 1136.89/1137.30 c 1137s | 22 | 3763779 | 1692722 | 10827 387 | 7 | 14 1138.88/1139.36 c 1139s | 22 | 3770372 | 1695722 | 10827 387 | 7 | 14 1140.88/1141.37 c 1141s | 22 | 3775467 | 1698322 | 10827 388 | 7 | 14 1142.98/1143.43 c 1143s | 22 | 3781301 | 1701222 | 10827 388 | 7 | 14 1145.08/1145.50 c 1145s | 22 | 3787139 | 1703622 | 10827 388 | 7 | 14 1147.08/1147.54 c 1147s | 22 | 3792898 | 1706522 | 10827 389 | 7 | 14 1149.09/1149.56 c 1149s | 22 | 3798466 | 1709222 | 10827 389 | 7 | 14 1151.08/1151.59 c 1151s | 22 | 3803930 | 1712022 | 10827 390 | 7 | 14 1153.18/1153.63 c 1153s | 22 | 3808506 | 1714322 | 10827 390 | 7 | 14 1155.18/1155.65 c 1155s | 22 | 3813538 | 1717022 | 10827 391 | 7 | 14 1157.18/1157.69 c 1157s | 22 | 3818748 | 1719622 | 10827 391 | 7 | 14 1159.28/1159.70 c 1159s | 22 | 3823812 | 1722122 | 10827 392 | 7 | 14 1161.29/1161.78 c 1161s | 22 | 3829442 | 1724622 | 10827 392 | 7 | 14 1163.39/1163.82 c 1163s | 22 | 3834732 | 1727022 | 10827 393 | 7 | 14 1165.38/1165.88 c 1165s | 22 | 3838898 | 1729022 | 10827 393 | 7 | 14 1167.48/1167.96 c 1167s | 22 | 3844218 | 1731422 | 10827 393 | 7 | 14 1169.58/1170.00 c 1169s | 22 | 3850188 | 1734322 | 10827 394 | 7 | 14 1171.58/1172.04 c 1171s | 22 | 3855607 | 1737122 | 10827 394 | 7 | 14 1173.58/1174.10 c 1174s | 22 | 3861100 | 1739822 | 10827 395 | 7 | 14 1175.68/1176.10 c 1176s | 22 | 3866070 | 1742422 | 10827 395 | 7 | 14 1177.69/1178.11 c 1178s | 22 | 3869947 | 1744522 | 10827 396 | 7 | 14 1179.69/1180.15 c 1180s | 22 | 3876160 | 1747322 | 10827 396 | 7 | 14 1181.79/1182.21 c 1182s | 22 | 3881135 | 1749822 | 10827 397 | 7 | 14 1183.78/1184.23 c 1184s | 22 | 3886768 | 1752522 | 10827 397 | 7 | 14 1185.78/1186.27 c 1186s | 22 | 3890137 | 1754322 | 10827 397 | 7 | 14 1187.78/1188.28 c 1188s | 22 | 3893180 | 1755522 | 10827 398 | 7 | 14 1189.89/1190.32 c 1190s | 22 | 3901508 | 1758722 | 10827 398 | 7 | 14 1191.88/1192.33 c 1192s | 22 | 3907773 | 1761522 | 10827 399 | 7 | 14 1193.88/1194.38 c 1194s | 22 | 3916634 | 1764722 | 10827 399 | 7 | 14 1195.88/1196.39 c 1196s | 22 | 3924632 | 1767922 | 10827 400 | 7 | 14 1197.98/1198.40 c 1198s | 22 | 3932001 | 1771022 | 10827 400 | 7 | 14 1199.98/1200.45 c 1200s | 22 | 3939978 | 1774122 | 10827 401 | 7 | 14 1201.98/1202.46 c 1202s | 22 | 3948241 | 1777222 | 10827 401 | 7 | 14 1203.98/1204.47 c 1204s | 22 | 3955747 | 1780122 | 10827 402 | 7 | 14 1206.08/1206.51 c 1206s | 22 | 3961431 | 1782522 | 10827 402 | 7 | 14 1208.08/1208.54 c 1208s | 22 | 3969097 | 1785422 | 10827 403 | 7 | 14 1210.08/1210.59 c 1210s | 22 | 3976543 | 1788422 | 10827 403 | 7 | 14 1212.17/1212.61 c 1212s | 22 | 3983498 | 1791422 | 10827 404 | 7 | 14 1214.17/1214.63 c 1214s | 22 | 3989879 | 1794122 | 10827 404 | 7 | 14 1216.18/1216.67 c 1216s | 22 | 3997953 | 1797222 | 10827 405 | 7 | 14 1218.27/1218.72 c 1218s | 22 | 4006227 | 1800422 | 10827 406 | 7 | 14 1220.27/1220.78 c 1220s | 22 | 4011310 | 1802722 | 10827 406 | 7 | 14 1222.27/1222.79 c 1222s | 22 | 4017443 | 1805322 | 10827 406 | 7 | 14 1224.37/1224.83 c 1224s | 22 | 4023474 | 1807922 | 10827 407 | 7 | 14 1226.37/1226.86 c 1226s | 22 | 4030032 | 1810622 | 10827 407 | 7 | 14 1228.47/1228.90 c 1228s | 22 | 4036825 | 1813622 | 10827 408 | 7 | 14 1230.37/1230.90 c 1230s | 22 | 4042035 | 1816222 | 10827 408 | 7 | 14 1232.47/1232.96 c 1232s | 22 | 4047747 | 1818922 | 10827 409 | 7 | 14 1234.47/1234.99 c 1234s | 22 | 4052188 | 1821122 | 10827 409 | 7 | 14 1236.57/1237.01 c 1236s | 22 | 4058901 | 1824022 | 10827 410 | 7 | 14 1238.57/1239.01 c 1238s | 22 | 4065107 | 1826622 | 10827 410 | 7 | 14 1240.57/1241.01 c 1240s | 22 | 4070552 | 1829322 | 10827 411 | 7 | 14 1242.58/1243.04 c 1242s | 22 | 4077045 | 1832222 | 10827 411 | 7 | 14 1244.57/1245.07 c 1244s | 22 | 4083764 | 1834822 | 10827 412 | 7 | 14 1246.67/1247.13 c 1247s | 22 | 4090036 | 1837622 | 10827 412 | 7 | 14 1248.67/1249.13 c 1249s | 22 | 4096469 | 1840322 | 10827 413 | 7 | 14 1250.67/1251.18 c 1251s | 22 | 4101227 | 1842622 | 10827 413 | 7 | 14 1252.77/1253.26 c 1253s | 22 | 4107017 | 1845122 | 10827 413 | 7 | 14 1254.87/1255.32 c 1255s | 22 | 4112643 | 1847722 | 10827 414 | 7 | 14 1256.87/1257.33 c 1257s | 22 | 4118448 | 1850422 | 10827 414 | 7 | 14 1258.87/1259.36 c 1259s | 22 | 4123740 | 1852922 | 10827 415 | 7 | 14 1260.97/1261.45 c 1261s | 22 | 4130681 | 1855722 | 10827 415 | 7 | 14 1263.07/1263.50 c 1263s | 22 | 4135677 | 1858222 | 10827 416 | 7 | 14 1265.06/1265.54 c 1265s | 22 | 4141690 | 1861022 | 10827 416 | 7 | 14 1267.06/1267.59 c 1267s | 22 | 4148033 | 1863822 | 10827 417 | 7 | 14 1269.16/1269.63 c 1269s | 22 | 4154090 | 1866422 | 10827 417 | 7 | 14 1271.17/1271.68 c 1271s | 22 | 4158987 | 1868922 | 10827 418 | 7 | 14 1273.37/1273.82 c 1273s | 22 | 4164792 | 1871622 | 10827 418 | 7 | 14 1275.36/1275.83 c 1275s | 22 | 4168958 | 1873622 | 10827 418 | 7 | 14 1277.36/1277.87 c 1277s | 22 | 4174523 | 1876222 | 10827 419 | 7 | 14 1279.36/1279.89 c 1279s | 22 | 4180202 | 1878722 | 10827 419 | 7 | 14 1281.46/1281.95 c 1281s | 22 | 4186054 | 1881422 | 10827 420 | 7 | 14 1283.56/1284.00 c 1283s | 22 | 4192535 | 1884322 | 10827 420 | 7 | 14 1285.57/1286.06 c 1285s | 22 | 4197609 | 1886922 | 10827 421 | 7 | 14 1287.67/1288.12 c 1288s | 22 | 4202902 | 1889322 | 10827 421 | 7 | 14 1289.66/1290.14 c 1290s | 22 | 4208474 | 1891722 | 10827 422 | 7 | 14 1291.67/1292.14 c 1292s | 22 | 4214387 | 1894422 | 10827 422 | 7 | 14 1293.67/1294.16 c 1294s | 22 | 4219482 | 1896922 | 10827 423 | 7 | 14 1295.77/1296.22 c 1296s | 22 | 4225372 | 1899722 | 10827 423 | 7 | 14 1297.77/1298.29 c 1298s | 22 | 4229752 | 1902022 | 10827 423 | 7 | 14 1299.87/1300.33 c 1300s | 22 | 4234266 | 1904322 | 10827 424 | 7 | 14 1301.87/1302.36 c 1302s | 22 | 4240109 | 1906722 | 10827 424 | 7 | 14 1303.97/1304.41 c 1304s | 22 | 4244888 | 1909022 | 10827 425 | 7 | 14 1305.97/1306.48 c 1306s | 22 | 4249858 | 1911622 | 10827 425 | 7 | 14 1308.07/1308.51 c 1308s | 22 | 4254354 | 1913922 | 10827 426 | 7 | 14 1310.06/1310.55 c 1310s | 22 | 4259451 | 1916522 | 10827 426 | 7 | 14 1312.26/1312.71 c 1312s | 22 | 4264125 | 1918922 | 10827 426 | 7 | 14 1314.26/1314.76 c 1314s | 22 | 4268100 | 1920522 | 10827 427 | 7 | 14 1316.37/1316.83 c 1316s | 22 | 4273737 | 1923122 | 10827 427 | 7 | 14 1318.36/1318.90 c 1318s | 22 | 4280750 | 1926022 | 10827 428 | 7 | 14 1320.46/1320.94 c 1320s | 22 | 4287406 | 1929022 | 10827 428 | 7 | 14 1322.46/1322.98 c 1322s | 22 | 4293875 | 1931822 | 10827 429 | 7 | 14 1324.56/1325.01 c 1324s | 22 | 4301042 | 1934622 | 10827 429 | 7 | 14 1326.56/1327.04 c 1326s | 22 | 4307406 | 1937222 | 10827 430 | 7 | 14 1328.56/1329.04 c 1328s | 22 | 4315102 | 1940022 | 10827 430 | 7 | 14 1330.57/1331.07 c 1331s | 22 | 4321385 | 1942622 | 10827 431 | 7 | 14 1332.56/1333.08 c 1333s | 22 | 4328132 | 1945522 | 10827 431 | 7 | 14 1334.66/1335.12 c 1335s | 22 | 4334601 | 1948222 | 10827 432 | 7 | 14 1336.66/1337.18 c 1337s | 22 | 4340655 | 1950822 | 10827 432 | 7 | 14 1338.76/1339.25 c 1339s | 22 | 4346582 | 1953222 | 10827 433 | 7 | 14 1340.86/1341.31 c 1341s | 22 | 4352378 | 1956022 | 10827 433 | 7 | 14 1342.86/1343.32 c 1343s | 22 | 4358237 | 1958622 | 10827 433 | 7 | 14 1344.86/1345.38 c 1345s | 22 | 4364267 | 1961222 | 10827 434 | 7 | 14 1346.96/1347.40 c 1347s | 22 | 4370796 | 1963822 | 10827 434 | 7 | 14 1348.96/1349.42 c 1349s | 22 | 4376661 | 1966422 | 10827 435 | 7 | 14 1350.95/1351.45 c 1351s | 22 | 4382595 | 1969122 | 10827 435 | 7 | 14 1352.95/1353.48 c 1353s | 22 | 4388771 | 1971822 | 10827 436 | 7 | 14 1355.05/1355.50 c 1355s | 22 | 4394747 | 1974522 | 10827 436 | 7 | 14 1357.06/1357.54 c 1357s | 22 | 4399787 | 1977022 | 10827 437 | 7 | 14 1359.16/1359.60 c 1359s | 22 | 4404827 | 1979422 | 10827 437 | 7 | 14 1361.15/1361.64 c 1361s | 22 | 4410115 | 1981822 | 10827 438 | 7 | 14 1363.15/1363.66 c 1363s | 22 | 4415703 | 1984422 | 10827 438 | 7 | 14 1365.15/1365.69 c 1365s | 22 | 4421207 | 1986922 | 10827 438 | 7 | 14 1367.25/1367.73 c 1367s | 22 | 4426880 | 1989422 | 10827 439 | 7 | 14 1369.25/1369.75 c 1369s | 22 | 4432470 | 1992022 | 10827 439 | 7 | 14 1371.26/1371.78 c 1371s | 22 | 4438009 | 1994622 | 10827 440 | 7 | 14 1373.35/1373.82 c 1373s | 22 | 4442967 | 1997122 | 10827 440 | 7 | 14 1375.35/1375.88 c 1375s | 22 | 4448013 | 1999522 | 10827 441 | 7 | 14 1377.45/1377.92 c 1377s | 22 | 4452681 | 2001722 | 10827 441 | 7 | 14 1379.55/1380.00 c 1379s | 22 | 4458411 | 2004422 | 10827 442 | 7 | 14 1381.55/1382.01 c 1381s | 22 | 4463922 | 2007122 | 10827 442 | 7 | 14 1383.55/1384.09 c 1384s | 22 | 4468905 | 2009622 | 10827 442 | 7 | 14 1385.65/1386.14 c 1386s | 22 | 4474596 | 2012222 | 10827 443 | 7 | 14 1387.75/1388.21 c 1388s | 22 | 4478820 | 2014522 | 10827 443 | 7 | 14 1389.74/1390.23 c 1390s | 22 | 4482797 | 2016522 | 10827 444 | 7 | 14 1391.74/1392.24 c 1392s | 22 | 4487988 | 2019122 | 10827 444 | 7 | 14 1393.74/1394.27 c 1394s | 22 | 4492182 | 2021422 | 10827 445 | 7 | 14 1395.84/1396.36 c 1396s | 22 | 4497573 | 2024122 | 10827 445 | 7 | 14 1397.84/1398.36 c 1398s | 22 | 4502879 | 2026722 | 10827 445 | 7 | 14 1399.95/1400.44 c 1400s | 22 | 4507868 | 2029222 | 10827 446 | 7 | 14 1402.05/1402.51 c 1402s | 22 | 4512074 | 2031622 | 10827 446 | 7 | 14 1404.04/1404.55 c 1404s | 22 | 4516899 | 2033722 | 10827 447 | 7 | 14 1406.04/1406.57 c 1406s | 22 | 4522039 | 2036222 | 10827 447 | 7 | 14 1408.14/1408.65 c 1408s | 22 | 4526701 | 2038522 | 10827 448 | 7 | 14 1410.25/1410.70 c 1410s | 22 | 4530212 | 2040322 | 10827 448 | 7 | 14 1412.25/1412.76 c 1412s | 22 | 4536138 | 2043122 | 10827 448 | 7 | 14 1414.26/1414.78 c 1414s | 22 | 4541046 | 2045722 | 10827 449 | 7 | 14 1416.25/1416.79 c 1416s | 22 | 4547254 | 2048522 | 10827 449 | 7 | 14 1418.25/1418.80 c 1418s | 22 | 4553180 | 2051422 | 10827 450 | 7 | 14 1420.35/1420.84 c 1420s | 22 | 4559198 | 2054422 | 10827 450 | 7 | 14 1422.35/1422.86 c 1422s | 22 | 4564098 | 2056822 | 10827 451 | 7 | 14 1424.45/1424.90 c 1424s | 22 | 4570723 | 2059922 | 10827 451 | 7 | 14 1426.45/1426.95 c 1426s | 22 | 4576280 | 2062622 | 10827 452 | 7 | 14 1428.55/1429.02 c 1428s | 22 | 4582561 | 2065422 | 10827 452 | 7 | 14 1430.54/1431.03 c 1430s | 22 | 4587152 | 2067722 | 10827 453 | 7 | 14 1432.54/1433.09 c 1433s | 22 | 4592317 | 2070322 | 10827 453 | 7 | 14 1434.64/1435.13 c 1435s | 22 | 4597409 | 2072922 | 10827 454 | 7 | 14 1436.64/1437.14 c 1437s | 22 | 4602262 | 2075522 | 10827 454 | 7 | 14 1438.64/1439.17 c 1439s | 22 | 4606382 | 2077522 | 10827 454 | 7 | 14 1440.65/1441.17 c 1441s | 22 | 4611346 | 2079922 | 10827 455 | 7 | 14 1442.75/1443.25 c 1443s | 22 | 4616839 | 2082522 | 10827 455 | 7 | 14 1444.74/1445.29 c 1445s | 22 | 4621921 | 2085022 | 10827 456 | 7 | 14 1446.84/1447.34 c 1447s | 22 | 4627195 | 2087522 | 10827 456 | 7 | 14 1448.84/1449.36 c 1449s | 22 | 4632967 | 2090122 | 10827 457 | 7 | 14 1450.94/1451.43 c 1451s | 22 | 4637524 | 2092622 | 10827 457 | 7 | 14 1452.94/1453.49 c 1453s | 22 | 4641972 | 2094922 | 10827 458 | 7 | 14 1455.04/1455.51 c 1455s | 22 | 4646427 | 2097322 | 10827 458 | 7 | 14 1457.05/1457.53 c 1457s | 22 | 4649949 | 2099322 | 10827 458 | 7 | 14 1459.04/1459.54 c 1459s | 22 | 4654351 | 2101722 | 10827 459 | 7 | 14 1461.14/1461.62 c 1461s | 22 | 4659666 | 2104322 | 10827 459 | 7 | 14 1463.14/1463.62 c 1463s | 22 | 4664286 | 2106722 | 10827 460 | 7 | 14 1465.14/1465.65 c 1465s | 22 | 4669818 | 2109322 | 10827 460 | 7 | 14 1467.14/1467.66 c 1467s | 22 | 4674291 | 2111622 | 10827 460 | 7 | 14 1469.24/1469.72 c 1469s | 22 | 4679348 | 2114322 | 10827 461 | 7 | 14 1471.34/1471.81 c 1471s | 22 | 4684354 | 2116922 | 10827 461 | 7 | 14 1473.34/1473.81 c 1473s | 22 | 4689593 | 2119422 | 10827 462 | 7 | 14 1475.34/1475.82 c 1475s | 22 | 4695117 | 2122022 | 10827 462 | 7 | 14 1477.34/1477.88 c 1477s | 22 | 4699836 | 2124522 | 10827 463 | 7 | 14 1479.44/1479.95 c 1479s | 22 | 4705355 | 2127222 | 10827 463 | 7 | 14 1481.44/1481.97 c 1481s | 22 | 4710310 | 2129722 | 10827 464 | 7 | 14 1483.44/1483.99 c 1483s | 22 | 4715450 | 2132222 | 10827 464 | 7 | 14 1485.53/1486.06 c 1485s | 22 | 4720428 | 2134622 | 10827 465 | 7 | 14 1487.63/1488.14 c 1488s | 22 | 4725766 | 2137322 | 10827 465 | 7 | 14 1489.73/1490.20 c 1490s | 22 | 4730621 | 2139822 | 10827 465 | 7 | 14 1491.73/1492.25 c 1492s | 22 | 4735313 | 2142222 | 10827 466 | 7 | 14 1493.73/1494.26 c 1494s | 22 | 4739095 | 2144322 | 10827 466 | 7 | 14 1495.73/1496.29 c 1496s | 22 | 4742979 | 2146422 | 10827 467 | 7 | 14 1497.84/1498.31 c 1498s | 22 | 4746735 | 2148522 | 10827 467 | 7 | 14 1499.83/1500.40 c 1500s | 22 | 4751608 | 2150922 | 10827 467 | 7 | 14 1501.93/1502.46 c 1502s | 22 | 4757417 | 2153422 | 10827 468 | 7 | 14 1504.03/1504.50 c 1504s | 22 | 4762518 | 2155822 | 10827 468 | 7 | 14 1506.03/1506.57 c 1506s | 22 | 4766799 | 2158122 | 10827 469 | 7 | 14 1508.13/1508.62 c 1508s | 22 | 4772031 | 2160722 | 10827 469 | 7 | 14 1510.13/1510.69 c 1510s | 22 | 4775321 | 2162222 | 10827 469 | 7 | 14 1512.23/1512.72 c 1512s | 22 | 4780720 | 2164622 | 10827 470 | 7 | 14 1514.23/1514.79 c 1514s | 22 | 4786347 | 2167322 | 10827 470 | 7 | 14 1516.33/1516.82 c 1516s | 22 | 4792324 | 2169922 | 10827 471 | 7 | 14 1518.33/1518.83 c 1518s | 22 | 4797847 | 2172622 | 10827 471 | 7 | 14 1520.33/1520.87 c 1520s | 22 | 4803053 | 2175122 | 10827 472 | 7 | 14 1522.42/1522.94 c 1522s | 22 | 4810202 | 2178222 | 10827 472 | 7 | 14 1524.52/1525.01 c 1524s | 22 | 4816191 | 2180922 | 10827 473 | 7 | 14 1526.52/1527.05 c 1526s | 22 | 4822945 | 2183922 | 10827 473 | 7 | 14 1528.53/1529.09 c 1529s | 22 | 4828408 | 2186522 | 10827 474 | 7 | 14 1530.62/1531.14 c 1531s | 22 | 4834579 | 2189422 | 10827 474 | 7 | 14 1532.62/1533.16 c 1533s | 22 | 4840323 | 2192122 | 10827 475 | 7 | 14 1534.72/1535.21 c 1535s | 22 | 4845091 | 2194322 | 10827 475 | 7 | 14 1536.82/1537.30 c 1537s | 22 | 4850522 | 2196722 | 10827 476 | 7 | 14 1538.82/1539.38 c 1539s | 22 | 4856372 | 2199622 | 10827 476 | 7 | 14 1540.82/1541.39 c 1541s | 22 | 4861597 | 2202022 | 10827 476 | 7 | 14 1542.93/1543.40 c 1543s | 22 | 4866942 | 2204522 | 10827 477 | 7 | 14 1544.93/1545.44 c 1545s | 22 | 4872788 | 2207122 | 10827 477 | 7 | 14 1546.93/1547.49 c 1547s | 22 | 4877793 | 2209522 | 10827 478 | 7 | 14 1549.03/1549.55 c 1549s | 22 | 4883939 | 2212522 | 10827 478 | 7 | 14 1551.03/1551.56 c 1551s | 22 | 4889549 | 2215022 | 10827 479 | 7 | 14 1553.13/1553.60 c 1553s | 22 | 4895028 | 2217722 | 10827 479 | 7 | 14 1555.13/1555.63 c 1555s | 22 | 4900101 | 2220322 | 10827 480 | 7 | 14 1557.14/1557.64 c 1557s | 22 | 4904917 | 2222522 | 10827 480 | 7 | 14 1559.13/1559.64 c 1559s | 22 | 4909945 | 2224922 | 10827 480 | 7 | 14 1561.13/1561.68 c 1561s | 22 | 4914800 | 2227422 | 10827 481 | 7 | 14 1563.23/1563.77 c 1563s | 22 | 4919268 | 2229722 | 10827 481 | 7 | 14 1565.32/1565.82 c 1565s | 22 | 4924409 | 2232222 | 10827 482 | 7 | 14 1567.32/1567.83 c 1567s | 22 | 4929607 | 2234722 | 10827 482 | 7 | 14 1569.42/1569.92 c 1569s | 22 | 4933934 | 2237022 | 11910 482 | 7 | 14 1571.43/1571.96 c 1571s | 22 | 4937941 | 2239122 | 11910 483 | 7 | 14 1573.42/1573.98 c 1573s | 22 | 4943072 | 2241622 | 11910 483 | 7 | 14 1575.52/1576.03 c 1575s | 22 | 4947924 | 2244022 | 11910 484 | 7 | 14 1577.52/1578.09 c 1578s | 22 | 4952726 | 2246522 | 11910 484 | 7 | 14 1579.52/1580.10 c 1580s | 22 | 4956999 | 2248722 | 11910 484 | 7 | 14 1581.62/1582.12 c 1582s | 22 | 4961667 | 2251022 | 11910 485 | 7 | 14 1581.62/1582.13 c 1582s | 23 | 4961687 | 2251038 | 11910 485 | 7 | 14 1583.72/1584.23 c 1584s | 23 | 4965317 | 2253338 | 11910 485 | 7 | 14 1585.73/1586.28 c 1586s | 23 | 4969168 | 2255438 | 11910 485 | 7 | 14 1587.82/1588.32 c 1588s | 23 | 4971453 | 2256438 | 11910 486 | 7 | 14 1589.82/1590.36 c 1590s | 23 | 4978350 | 2259338 | 11910 486 | 7 | 14 1591.92/1592.40 c 1592s | 23 | 4983181 | 2261938 | 11910 486 | 7 | 14 1593.92/1594.41 c 1594s | 23 | 4988953 | 2264638 | 11910 487 | 7 | 14 1595.92/1596.45 c 1596s | 23 | 4995128 | 2267338 | 11910 487 | 7 | 14 1597.92/1598.46 c 1598s | 23 | 4999919 | 2269938 | 11910 488 | 7 | 14 1600.02/1600.54 c 1600s | 23 | 5005522 | 2272838 | 11910 488 | 7 | 14 1602.02/1602.55 c 1602s | 23 | 5010815 | 2275338 | 11910 489 | 7 | 14 1604.02/1604.56 c 1604s | 23 | 5016474 | 2278138 | 11910 489 | 7 | 14 1606.12/1606.63 c 1606s | 23 | 5021524 | 2280838 | 11910 489 | 7 | 14 1608.22/1608.70 c 1608s | 23 | 5025947 | 2283138 | 11910 490 | 7 | 14 1610.22/1610.74 c 1610s | 23 | 5031270 | 2285838 | 11910 490 | 7 | 14 1612.22/1612.78 c 1612s | 23 | 5037202 | 2288638 | 11910 491 | 7 | 14 1614.32/1614.84 c 1614s | 23 | 5042138 | 2291338 | 11910 491 | 7 | 14 1616.31/1616.84 c 1616s | 23 | 5047568 | 2293838 | 11910 492 | 7 | 14 1618.31/1618.89 c 1618s | 23 | 5053556 | 2296738 | 11910 492 | 7 | 14 1620.41/1620.92 c 1620s | 23 | 5058574 | 2299238 | 11910 492 | 7 | 14 1622.41/1622.94 c 1622s | 23 | 5065343 | 2302338 | 11910 493 | 7 | 14 1624.41/1624.98 c 1624s | 23 | 5070337 | 2304738 | 11910 493 | 7 | 14 1626.42/1626.98 c 1626s | 23 | 5076542 | 2307538 | 11910 494 | 7 | 14 1628.41/1628.99 c 1628s | 23 | 5081472 | 2310038 | 11910 494 | 7 | 14 1630.41/1630.99 c 1630s | 23 | 5087229 | 2312838 | 11910 495 | 7 | 14 1632.51/1633.02 c 1632s | 23 | 5092487 | 2315438 | 11910 495 | 7 | 14 1634.61/1635.13 c 1635s | 23 | 5097564 | 2318038 | 11910 496 | 7 | 14 1636.61/1637.18 c 1637s | 23 | 5103757 | 2320938 | 11910 496 | 7 | 14 1638.71/1639.22 c 1639s | 23 | 5109241 | 2323738 | 11910 496 | 7 | 14 1640.71/1641.23 c 1641s | 23 | 5111634 | 2324938 | 11910 497 | 7 | 14 1642.71/1643.24 c 1643s | 23 | 5117490 | 2327738 | 11910 497 | 7 | 14 1644.81/1645.34 c 1645s | 23 | 5122765 | 2330338 | 11910 498 | 7 | 14 1646.81/1647.37 c 1647s | 23 | 5128948 | 2333238 | 11910 498 | 7 | 14 1648.91/1649.46 c 1649s | 23 | 5134570 | 2336038 | 11910 498 | 7 | 14 1651.01/1651.51 c 1651s | 23 | 5139419 | 2338638 | 11910 499 | 7 | 14 1653.00/1653.57 c 1653s | 23 | 5145390 | 2341538 | 11910 499 | 7 | 14 1655.11/1655.62 c 1655s | 23 | 5149968 | 2343938 | 11910 500 | 7 | 14 1657.10/1657.67 c 1657s | 23 | 5155189 | 2346538 | 11910 500 | 7 | 14 1659.20/1659.73 c 1659s | 23 | 5160127 | 2349038 | 11910 501 | 7 | 14 1661.30/1661.82 c 1661s | 23 | 5165379 | 2351738 | 11910 501 | 7 | 14 1663.30/1663.86 c 1663s | 23 | 5170032 | 2354238 | 11910 501 | 7 | 14 1665.30/1665.88 c 1665s | 23 | 5176130 | 2357038 | 11910 502 | 7 | 14 1667.40/1667.92 c 1667s | 23 | 5182032 | 2359838 | 11910 502 | 7 | 14 1669.41/1669.94 c 1669s | 23 | 5186841 | 2362338 | 11910 503 | 7 | 14 1671.41/1671.94 c 1671s | 23 | 5190404 | 2364138 | 11910 503 | 7 | 14 1673.41/1673.96 c 1673s | 23 | 5195939 | 2366538 | 11910 503 | 7 | 14 1675.41/1675.98 c 1675s | 23 | 5201186 | 2369038 | 11910 504 | 7 | 14 1677.51/1678.01 c 1677s | 23 | 5206793 | 2371538 | 11910 504 | 7 | 14 1679.51/1680.02 c 1679s | 23 | 5213314 | 2374338 | 11910 505 | 7 | 14 1681.51/1682.04 c 1681s | 23 | 5219839 | 2377238 | 11910 505 | 7 | 14 1683.51/1684.10 c 1684s | 23 | 5225119 | 2379738 | 11910 505 | 7 | 14 1685.61/1686.14 c 1686s | 23 | 5230661 | 2382438 | 11910 506 | 7 | 14 1687.61/1688.17 c 1688s | 23 | 5236258 | 2385038 | 11910 506 | 7 | 14 1689.71/1690.21 c 1690s | 23 | 5242034 | 2387638 | 11910 507 | 7 | 14 1691.70/1692.28 c 1692s | 23 | 5248115 | 2390338 | 11910 507 | 7 | 14 1693.70/1694.28 c 1694s | 23 | 5252756 | 2392738 | 11910 508 | 7 | 14 1695.90/1696.45 c 1696s | 23 | 5258516 | 2395638 | 11910 508 | 7 | 14 1697.91/1698.49 c 1698s | 23 | 5263379 | 2397738 | 11910 508 | 7 | 14 1700.00/1700.54 c 1700s | 23 | 5269491 | 2400338 | 11910 509 | 7 | 14 1702.10/1702.60 c 1702s | 23 | 5276322 | 2403338 | 11910 509 | 7 | 14 1704.10/1704.67 c 1704s | 23 | 5282413 | 2406138 | 11910 510 | 7 | 14 1706.10/1706.69 c 1706s | 23 | 5287503 | 2408538 | 11910 510 | 7 | 14 1708.20/1708.71 c 1708s | 23 | 5292894 | 2411138 | 11910 511 | 7 | 14 1710.20/1710.75 c 1710s | 23 | 5299971 | 2414138 | 11910 511 | 7 | 14 1712.21/1712.76 c 1712s | 23 | 5304722 | 2416538 | 11910 511 | 7 | 14 1714.30/1714.82 c 1714s | 23 | 5310179 | 2419138 | 11910 512 | 7 | 14 1716.30/1716.89 c 1716s | 23 | 5316997 | 2422038 | 11910 512 | 7 | 14 1718.40/1718.94 c 1718s | 23 | 5322862 | 2424838 | 11910 513 | 7 | 14 1720.40/1720.95 c 1720s | 23 | 5326919 | 2426838 | 11910 513 | 7 | 14 1722.39/1722.97 c 1722s | 23 | 5331892 | 2429338 | 11910 513 | 7 | 14 1724.40/1724.97 c 1724s | 23 | 5337205 | 2431838 | 11910 514 | 7 | 14 1726.39/1726.97 c 1726s | 23 | 5342161 | 2434238 | 11910 514 | 7 | 14 1728.49/1729.02 c 1728s | 23 | 5347850 | 2436938 | 11910 515 | 7 | 14 1730.49/1731.04 c 1730s | 23 | 5353737 | 2439638 | 11910 515 | 7 | 14 1732.49/1733.08 c 1733s | 23 | 5358921 | 2442338 | 11910 515 | 7 | 14 1734.59/1735.12 c 1735s | 23 | 5364619 | 2445238 | 11910 516 | 7 | 14 1736.59/1737.19 c 1737s | 23 | 5370667 | 2448138 | 11910 516 | 7 | 14 1738.70/1739.24 c 1739s | 23 | 5375432 | 2450938 | 11910 517 | 7 | 14 1740.90/1741.43 c 1741s | 23 | 5380702 | 2453838 | 11910 517 | 7 | 14 1742.89/1743.46 c 1743s | 23 | 5385158 | 2455838 | 11910 518 | 7 | 14 1744.89/1745.49 c 1745s | 23 | 5390153 | 2458238 | 11910 518 | 7 | 14 1746.99/1747.54 c 1747s | 23 | 5395679 | 2460738 | 11910 518 | 7 | 14 1748.99/1749.55 c 1749s | 23 | 5401058 | 2463438 | 11910 519 | 7 | 14 1750.99/1751.56 c 1751s | 23 | 5406758 | 2466138 | 11910 519 | 7 | 14 1753.00/1753.58 c 1753s | 23 | 5412111 | 2468838 | 11910 520 | 7 | 14 1754.99/1755.59 c 1755s | 23 | 5416804 | 2471138 | 11910 520 | 7 | 14 1757.09/1757.63 c 1757s | 23 | 5422039 | 2473538 | 11910 521 | 7 | 14 1759.19/1759.71 c 1759s | 23 | 5428254 | 2476338 | 11910 521 | 7 | 14 1761.19/1761.76 c 1761s | 23 | 5434243 | 2479038 | 11910 521 | 7 | 14 1763.19/1763.80 c 1763s | 23 | 5440005 | 2481738 | 11910 522 | 7 | 14 1765.29/1765.80 c 1765s | 23 | 5445448 | 2484438 | 11910 522 | 7 | 14 1767.29/1767.85 c 1767s | 23 | 5449475 | 2486638 | 11910 523 | 7 | 14 1769.39/1769.90 c 1769s | 23 | 5454813 | 2489238 | 11910 523 | 7 | 14 1771.39/1771.95 c 1771s | 23 | 5460214 | 2491838 | 11910 523 | 7 | 14 1773.49/1774.02 c 1773s | 23 | 5465086 | 2494438 | 11910 524 | 7 | 14 1775.49/1776.02 c 1775s | 23 | 5470485 | 2497138 | 11910 524 | 7 | 14 1777.48/1778.03 c 1777s | 23 | 5475864 | 2499838 | 11910 525 | 7 | 14 1779.49/1780.06 c 1779s | 23 | 5480696 | 2502338 | 11910 525 | 7 | 14 1781.60/1782.14 c 1782s | 23 | 5484758 | 2504338 | 11910 525 | 7 | 14 1783.59/1784.16 c 1784s | 23 | 5489762 | 2506738 | 11910 526 | 7 | 14 1785.69/1786.20 c 1786s | 23 | 5494795 | 2509238 | 11910 526 | 7 | 14 1787.69/1788.20 c 1788s | 23 | 5499337 | 2511538 | 11910 527 | 7 | 14 1789.69/1790.23 c 1790s | 23 | 5504511 | 2514238 | 11910 527 | 7 | 14 1791.79/1792.31 c 1792s | 23 | 5508850 | 2516738 | 11910 527 | 7 | 14 1793.79/1794.32 c 1794s | 23 | 5513802 | 2519238 | 11910 528 | 7 | 14 1795.80/1796.35 c 1796s | 23 | 5518272 | 2521638 | 11910 528 | 7 | 14 1797.79/1798.39 c 1798s | 23 | 5522926 | 2523938 | 11910 529 | 7 | 14 1799.89/1800.44 c 1800s | 23 | 5528185 | 2526638 | 11910 529 | 7 | 14
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-4106562-1466273489/watcher-4106562-1466273489 -o /tmp/evaluation-result-4106562-1466273489/solver-4106562-1466273489 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106562-1466273489.opb pid=9996 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.42 2.27 2.16 3/179 9999 /proc/meminfo: memFree=30180080/32872528 swapFree=526336/559040 [pid=9999] ppid=9996 vsize=629180 CPUtime=0 cores=1,3,5,7 /proc/9999/stat : 9999 (toysat) R 9996 9999 28898 0 -1 4202496 2331 0 0 0 0 0 0 0 20 0 4 0 29399057 644280320 3203 33554432000 4194304 16246674 140735462483616 140735462483040 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9999/statm: 158063 3213 441 2943 0 154957 0 [pid=9999/tid=10000] ppid=9996 vsize=672188 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10000/stat : 10000 (toysat) S 9996 9999 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29399057 688320512 3371 33554432000 4194304 16246674 140735462483616 140519982214384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9999/tid=10001] ppid=9996 vsize=677308 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10001/stat : 10001 (toysat) S 9996 9999 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29399057 693563392 3389 33554432000 4194304 16246674 140735462483616 140519971724528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9999/tid=10002] ppid=9996 vsize=681404 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10002/stat : 10002 (toysat) S 9996 9999 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29399057 697757696 3407 33554432000 4194304 16246674 140735462483616 140519854304432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100189 s] /proc/loadavg: 2.42 2.27 2.16 3/179 9999 /proc/meminfo: memFree=30180080/32872528 swapFree=526336/559040 [pid=9999] ppid=9996 vsize=1218116 CPUtime=0.08 cores=1,3,5,7 /proc/9999/stat : 9999 (toysat) R 9996 9999 28898 0 -1 4202496 23570 0 0 0 5 3 0 0 20 0 4 0 29399057 1247350784 24429 33554432000 4194304 16246674 140735462483616 140735462483040 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9999/statm: 304529 24437 786 2943 0 301423 0 [pid=9999/tid=10000] ppid=9996 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10000/stat : 10000 (toysat) S 9996 9999 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29399057 1247350784 24441 33554432000 4194304 16246674 140735462483616 140519982214384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9999/tid=10001] ppid=9996 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10001/stat : 10001 (toysat) S 9996 9999 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29399057 1247350784 24449 33554432000 4194304 16246674 140735462483616 140519971724528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9999/tid=10002] ppid=9996 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10002/stat : 10002 (toysat) S 9996 9999 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29399057 1247350784 24457 33554432000 4194304 16246674 140735462483616 140519854304432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200526 s] /proc/loadavg: 2.42 2.27 2.16 3/179 9999 /proc/meminfo: memFree=30180080/32872528 swapFree=526336/559040 [pid=9999] ppid=9996 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/9999/stat : 9999 (toysat) R 9996 9999 28898 0 -1 4202496 44214 0 0 0 12 7 0 0 20 0 4 0 29399057 1247350784 45072 33554432000 4194304 16246674 140735462483616 140735462465536 5675010 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9999/statm: 304529 45085 786 2943 0 301423 0 [pid=9999/tid=10000] ppid=9996 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10000/stat : 10000 (toysat) S 9996 9999 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29399057 1247350784 45096 33554432000 4194304 16246674 140735462483616 140519982214384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9999/tid=10001] ppid=9996 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10001/stat : 10001 (toysat) S 9996 9999 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29399057 1247350784 45105 33554432000 4194304 16246674 140735462483616 140519971724528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9999/tid=10002] ppid=9996 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10002/stat : 10002 (toysat) S 9996 9999 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29399057 1247350784 45113 33554432000 4194304 16246674 140735462483616 140519854304432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300443 s] /proc/loadavg: 2.42 2.27 2.16 3/179 9999 /proc/meminfo: memFree=30180080/32872528 swapFree=526336/559040 [pid=9999] ppid=9996 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/9999/stat : 9999 (toysat) R 9996 9999 28898 0 -1 4202496 64694 0 0 0 20 9 0 0 20 0 4 0 29399057 1247350784 65552 33554432000 4194304 16246674 140735462483616 140735462465536 6045692 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9999/statm: 304529 65558 786 2943 0 301423 0 [pid=9999/tid=10000] ppid=9996 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10000/stat : 10000 (toysat) S 9996 9999 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29399057 1247350784 65561 33554432000 4194304 16246674 140735462483616 140519982214384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9999/tid=10001] ppid=9996 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10001/stat : 10001 (toysat) S 9996 9999 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29399057 1247350784 65564 33554432000 4194304 16246674 140735462483616 140519971724528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9999/tid=10002] ppid=9996 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10002/stat : 10002 (toysat) S 9996 9999 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29399057 1247350784 65566 33554432000 4194304 16246674 140735462483616 140519854304432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700358 s] /proc/loadavg: 2.42 2.27 2.16 3/179 9999 /proc/meminfo: memFree=30180080/32872528 swapFree=526336/559040 [pid=9999] ppid=9996 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/9999/stat : 9999 (toysat) R 9996 9999 28898 0 -1 4202496 146371 0 0 0 50 19 0 0 20 0 4 0 29399057 1247350784 147230 33554432000 4194304 16246674 140735462483616 140735462465536 5523634 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9999/statm: 304529 147244 786 2943 0 301423 0 [pid=9999/tid=10000] ppid=9996 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10000/stat : 10000 (toysat) S 9996 9999 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29399057 1247350784 147252 33554432000 4194304 16246674 140735462483616 140519982214384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9999/tid=10001] ppid=9996 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10001/stat : 10001 (toysat) S 9996 9999 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29399057 1247350784 147260 33554432000 4194304 16246674 140735462483616 140519971724528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9999/tid=10002] ppid=9996 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10002/stat : 10002 (toysat) S 9996 9999 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29399057 1247350784 147268 33554432000 4194304 16246674 140735462483616 140519854304432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50041 s] /proc/loadavg: 2.42 2.27 2.16 3/183 10003 /proc/meminfo: memFree=29255120/32872528 swapFree=526336/559040 [pid=9999] ppid=9996 vsize=1221188 CPUtime=1.49 cores=1,3,5,7 /proc/9999/stat : 9999 (toysat) R 9996 9999 28898 0 -1 4202496 246224 0 0 0 117 32 0 0 20 0 4 0 29399057 1250496512 247060 33554432000 4194304 16246674 140735462483616 140735462482928 5673687 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9999/statm: 305297 247060 844 2943 0 302191 0 [pid=9999/tid=10000] ppid=9996 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10000/stat : 10000 (toysat) S 9996 9999 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29399057 1250496512 247060 33554432000 4194304 16246674 140735462483616 140519982214384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9999/tid=10001] ppid=9996 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10001/stat : 10001 (toysat) S 9996 9999 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29399057 1250496512 247060 33554432000 4194304 16246674 140735462483616 140519971724528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9999/tid=10002] ppid=9996 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10002/stat : 10002 (toysat) S 9996 9999 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29399057 1250496512 247060 33554432000 4194304 16246674 140735462483616 140519854304432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1221188 [startup+3.1004 s] /proc/loadavg: 2.42 2.27 2.16 3/183 10003 /proc/meminfo: memFree=29110784/32872528 swapFree=526336/559040 [pid=9999] ppid=9996 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/9999/stat : 9999 (toysat) R 9996 9999 28898 0 -1 4202496 267541 0 0 0 274 35 0 0 20 0 4 0 29399057 1337528320 268377 33554432000 4194304 16246674 140735462483616 140735462466616 5823496 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9999/statm: 326545 268377 844 2943 0 323439 0 [pid=9999/tid=10000] ppid=9996 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10000/stat : 10000 (toysat) S 9996 9999 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29399057 1337528320 268377 33554432000 4194304 16246674 140735462483616 140519982214384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9999/tid=10001] ppid=9996 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10001/stat : 10001 (toysat) S 9996 9999 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29399057 1337528320 268377 33554432000 4194304 16246674 140735462483616 140519971724528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9999/tid=10002] ppid=9996 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10002/stat : 10002 (toysat) S 9996 9999 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29399057 1337528320 268377 33554432000 4194304 16246674 140735462483616 140519854304432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.3004 s] /proc/loadavg: 2.38 2.27 2.16 3/183 10003 /proc/meminfo: memFree=29108140/32872528 swapFree=526336/559040 [pid=9999] ppid=9996 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/9999/stat : 9999 (toysat) R 9996 9999 28898 0 -1 4202496 267746 0 0 0 594 35 0 0 20 0 4 0 29399057 1338576896 268582 33554432000 4194304 16246674 140735462483616 140735462465536 5822144 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9999/statm: 326801 268582 846 2943 0 323695 0 [pid=9999/tid=10000] ppid=9996 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10000/stat : 10000 (toysat) S 9996 9999 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29399057 1338576896 268582 33554432000 4194304 16246674 140735462483616 140519982214384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9999/tid=10001] ppid=9996 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10001/stat : 10001 (toysat) S 9996 9999 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29399057 1338576896 268582 33554432000 4194304 16246674 140735462483616 140519971724528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9999/tid=10002] ppid=9996 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10002/stat : 10002 (toysat) S 9996 9999 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29399057 1338576896 268582 33554432000 4194304 16246674 140735462483616 140519854304432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.35 2.26 2.16 3/183 10003 /proc/meminfo: memFree=29096180/32872528 swapFree=526336/559040 [pid=9999] ppid=9996 vsize=1319492 CPUtime=12.68 cores=1,3,5,7 /proc/9999/stat : 9999 (toysat) R 9996 9999 28898 0 -1 4202496 270962 0 0 0 1233 35 0 0 20 0 4 0 29399057 1351159808 271798 33554432000 4194304 16246674 140735462483616 140735462465536 5828648 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9999/statm: 329873 271798 847 2943 0 326767 0 [pid=9999/tid=10000] ppid=9996 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10000/stat : 10000 (toysat) S 9996 9999 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29399057 1351159808 271798 33554432000 4194304 16246674 140735462483616 140519982214384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9999/tid=10001] ppid=9996 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10001/stat : 10001 (toysat) S 9996 9999 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29399057 1351159808 271798 33554432000 4194304 16246674 140735462483616 140519971724528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9999/tid=10002] ppid=9996 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10002/stat : 10002 (toysat) S 9996 9999 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29399057 1351159808 271798 33554432000 4194304 16246674 140735462483616 140519854304432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1319492 [startup+25.5005 s] /proc/loadavg: 2.34 2.27 2.16 3/182 10003 /proc/meminfo: memFree=29093248/32872528 swapFree=526336/559040 [pid=9999] ppid=9996 vsize=1322564 CPUtime=25.49 cores=1,3,5,7 /proc/9999/stat : 9999 (toysat) R 9996 9999 28898 0 -1 4202496 271731 0 0 0 2513 36 0 0 20 0 4 0 29399057 1354305536 272567 33554432000 4194304 16246674 140735462483616 140735462465536 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9999/statm: 330641 272567 848 2943 0 327535 0 [pid=9999/tid=10000] ppid=9996 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10000/stat : 10000 (toysat) S 9996 9999 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29399057 1354305536 272567 33554432000 4194304 16246674 140735462483616 140519982214384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9999/tid=10001] ppid=9996 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10001/stat : 10001 (toysat) S 9996 9999 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29399057 1354305536 272567 33554432000 4194304 16246674 140735462483616 140519971724528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9999/tid=10002] ppid=9996 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10002/stat : 10002 (toysat) S 9996 9999 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29399057 1354305536 272567 33554432000 4194304 16246674 140735462483616 140519854304432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1322564 [startup+51.1005 s] /proc/loadavg: 2.29 2.26 2.16 3/182 10003 /proc/meminfo: memFree=29093224/32872528 swapFree=526336/559040 [pid=9999] ppid=9996 vsize=1322564 CPUtime=51.08 cores=1,3,5,7 /proc/9999/stat : 9999 (toysat) R 9996 9999 28898 0 -1 4202496 271740 0 0 0 5072 36 0 0 20 0 4 0 29399057 1354305536 272567 33554432000 4194304 16246674 140735462483616 140735462465536 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9999/statm: 330641 272567 848 2943 0 327535 0 [pid=9999/tid=10000] ppid=9996 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10000/stat : 10000 (toysat) S 9996 9999 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29399057 1354305536 272567 33554432000 4194304 16246674 140735462483616 140519982214384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9999/tid=10001] ppid=9996 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10001/stat : 10001 (toysat) S 9996 9999 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29399057 1354305536 272567 33554432000 4194304 16246674 140735462483616 140519971724528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9999/tid=10002] ppid=9996 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10002/stat : 10002 (toysat) S 9996 9999 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29399057 1354305536 272567 33554432000 4194304 16246674 140735462483616 140519854304432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1322564 [startup+102.301 s] /proc/loadavg: 2.21 2.25 2.16 3/183 10005 /proc/meminfo: memFree=29092052/32872528 swapFree=526336/559040 [pid=9999] ppid=9996 vsize=1322564 CPUtime=102.26 cores=1,3,5,7 /proc/9999/stat : 9999 (toysat) R 9996 9999 28898 0 -1 4202496 271758 0 0 0 10190 36 0 0 20 0 4 0 29399057 1354305536 272567 33554432000 4194304 16246674 140735462483616 140735462482792 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9999/statm: 330641 272567 848 2943 0 327535 0 [pid=9999/tid=10000] ppid=9996 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10000/stat : 10000 (toysat) S 9996 9999 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29399057 1354305536 272567 33554432000 4194304 16246674 140735462483616 140519982214384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9999/tid=10001] ppid=9996 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10001/stat : 10001 (toysat) S 9996 9999 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29399057 1354305536 272567 33554432000 4194304 16246674 140735462483616 140519971724528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9999/tid=10002] ppid=9996 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10002/stat : 10002 (toysat) S 9996 9999 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29399057 1354305536 272567 33554432000 4194304 16246674 140735462483616 140519854304432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 1322564 ################ # More data... # ################ /proc/9999/task/10002/stat : 10002 (toysat) S 9996 9999 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140519854304432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 1333828 [startup+1302.3 s] /proc/loadavg: 2.15 2.17 2.17 3/183 10083 /proc/meminfo: memFree=29059820/32872528 swapFree=526336/559040 [pid=9999] ppid=9996 vsize=1333828 CPUtime=1301.87 cores=1,3,5,7 /proc/9999/stat : 9999 (toysat) R 9996 9999 28898 0 -1 4202496 274888 0 0 0 130138 49 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140735462465536 5675212 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9999/statm: 333457 275388 848 2943 0 330351 0 [pid=9999/tid=10000] ppid=9996 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10000/stat : 10000 (toysat) S 9996 9999 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140519982214384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9999/tid=10001] ppid=9996 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10001/stat : 10001 (toysat) S 9996 9999 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140519971724528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9999/tid=10002] ppid=9996 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10002/stat : 10002 (toysat) S 9996 9999 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140519854304432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1333828 [startup+1362.3 s] /proc/loadavg: 2.14 2.17 2.17 4/183 10084 /proc/meminfo: memFree=29059884/32872528 swapFree=526336/559040 [pid=9999] ppid=9996 vsize=1333828 CPUtime=1361.85 cores=1,3,5,7 /proc/9999/stat : 9999 (toysat) R 9996 9999 28898 0 -1 4202496 274888 0 0 0 136136 49 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140735462465536 5545784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9999/statm: 333457 275388 848 2943 0 330351 0 [pid=9999/tid=10000] ppid=9996 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10000/stat : 10000 (toysat) S 9996 9999 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140519982214384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9999/tid=10001] ppid=9996 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10001/stat : 10001 (toysat) S 9996 9999 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140519971724528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9999/tid=10002] ppid=9996 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10002/stat : 10002 (toysat) S 9996 9999 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140519854304432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 1333828 [startup+1422.3 s] /proc/loadavg: 2.22 2.18 2.18 3/183 10086 /proc/meminfo: memFree=29060000/32872528 swapFree=526336/559040 [pid=9999] ppid=9996 vsize=1333828 CPUtime=1421.85 cores=1,3,5,7 /proc/9999/stat : 9999 (toysat) R 9996 9999 28898 0 -1 4202496 274888 0 0 0 142135 50 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140735462465536 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9999/statm: 333457 275388 848 2943 0 330351 0 [pid=9999/tid=10000] ppid=9996 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10000/stat : 10000 (toysat) S 9996 9999 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140519982214384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9999/tid=10001] ppid=9996 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10001/stat : 10001 (toysat) S 9996 9999 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140519971724528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9999/tid=10002] ppid=9996 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10002/stat : 10002 (toysat) S 9996 9999 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140519854304432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1333828 [startup+1482.3 s] /proc/loadavg: 2.18 2.17 2.18 3/183 10087 /proc/meminfo: memFree=29059744/32872528 swapFree=526336/559040 [pid=9999] ppid=9996 vsize=1333828 CPUtime=1481.83 cores=1,3,5,7 /proc/9999/stat : 9999 (toysat) R 9996 9999 28898 0 -1 4202496 274888 0 0 0 148133 50 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140735462465536 5675905 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9999/statm: 333457 275388 848 2943 0 330351 0 [pid=9999/tid=10000] ppid=9996 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10000/stat : 10000 (toysat) S 9996 9999 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140519982214384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9999/tid=10001] ppid=9996 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10001/stat : 10001 (toysat) S 9996 9999 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140519971724528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9999/tid=10002] ppid=9996 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10002/stat : 10002 (toysat) S 9996 9999 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140519854304432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1333828 [startup+1542.31 s] /proc/loadavg: 2.11 2.16 2.17 3/183 10088 /proc/meminfo: memFree=29059744/32872528 swapFree=526336/559040 [pid=9999] ppid=9996 vsize=1333828 CPUtime=1541.83 cores=1,3,5,7 /proc/9999/stat : 9999 (toysat) R 9996 9999 28898 0 -1 4202496 274888 0 0 0 154133 50 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140735462466616 5711355 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9999/statm: 333457 275388 848 2943 0 330351 0 [pid=9999/tid=10000] ppid=9996 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10000/stat : 10000 (toysat) S 9996 9999 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140519982214384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9999/tid=10001] ppid=9996 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10001/stat : 10001 (toysat) S 9996 9999 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140519971724528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9999/tid=10002] ppid=9996 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10002/stat : 10002 (toysat) S 9996 9999 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140519854304432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1333828 [startup+1602.3 s] /proc/loadavg: 2.17 2.17 2.17 3/183 10089 /proc/meminfo: memFree=29059616/32872528 swapFree=526336/559040 [pid=9999] ppid=9996 vsize=1333828 CPUtime=1601.82 cores=1,3,5,7 /proc/9999/stat : 9999 (toysat) R 9996 9999 28898 0 -1 4202496 274888 0 0 0 160131 51 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140735462465536 5808428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9999/statm: 333457 275388 848 2943 0 330351 0 [pid=9999/tid=10000] ppid=9996 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10000/stat : 10000 (toysat) S 9996 9999 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140519982214384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9999/tid=10001] ppid=9996 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10001/stat : 10001 (toysat) S 9996 9999 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140519971724528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9999/tid=10002] ppid=9996 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10002/stat : 10002 (toysat) S 9996 9999 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140519854304432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1333828 [startup+1662.3 s] /proc/loadavg: 2.24 2.18 2.18 3/183 10090 /proc/meminfo: memFree=29059740/32872528 swapFree=526336/559040 [pid=9999] ppid=9996 vsize=1333828 CPUtime=1661.8 cores=1,3,5,7 /proc/9999/stat : 9999 (toysat) R 9996 9999 28898 0 -1 4202496 274888 0 0 0 166129 51 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140735462465536 6021260 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9999/statm: 333457 275388 848 2943 0 330351 0 [pid=9999/tid=10000] ppid=9996 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10000/stat : 10000 (toysat) S 9996 9999 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140519982214384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9999/tid=10001] ppid=9996 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10001/stat : 10001 (toysat) S 9996 9999 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140519971724528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9999/tid=10002] ppid=9996 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10002/stat : 10002 (toysat) S 9996 9999 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140519854304432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1333828 [startup+1722.3 s] /proc/loadavg: 2.17 2.18 2.18 3/184 10095 /proc/meminfo: memFree=29059008/32872528 swapFree=526336/559040 [pid=9999] ppid=9996 vsize=1333828 CPUtime=1721.8 cores=1,3,5,7 /proc/9999/stat : 9999 (toysat) R 9996 9999 28898 0 -1 4202496 274888 0 0 0 172128 52 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140735462465536 12460957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9999/statm: 333457 275388 848 2943 0 330351 0 [pid=9999/tid=10000] ppid=9996 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10000/stat : 10000 (toysat) S 9996 9999 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140519982214384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9999/tid=10001] ppid=9996 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10001/stat : 10001 (toysat) S 9996 9999 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140519971724528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9999/tid=10002] ppid=9996 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10002/stat : 10002 (toysat) S 9996 9999 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140519854304432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1333828 [startup+1782.3 s] /proc/loadavg: 2.16 2.17 2.18 3/183 10096 /proc/meminfo: memFree=29058112/32872528 swapFree=526336/559040 [pid=9999] ppid=9996 vsize=1333828 CPUtime=1781.79 cores=1,3,5,7 /proc/9999/stat : 9999 (toysat) R 9996 9999 28898 0 -1 4202496 274888 0 0 0 178126 53 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140735462465472 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9999/statm: 333457 275388 848 2943 0 330351 0 [pid=9999/tid=10000] ppid=9996 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10000/stat : 10000 (toysat) S 9996 9999 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140519982214384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9999/tid=10001] ppid=9996 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10001/stat : 10001 (toysat) S 9996 9999 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140519971724528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9999/tid=10002] ppid=9996 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10002/stat : 10002 (toysat) S 9996 9999 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140519854304432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1333828 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.12 2.16 2.17 3/183 10097 /proc/meminfo: memFree=29058200/32872528 swapFree=526336/559040 [pid=9999] ppid=9996 vsize=1333828 CPUtime=1800.09 cores=1,3,5,7 /proc/9999/stat : 9999 (toysat) R 9996 9999 28898 0 -1 4202496 274888 0 0 0 179956 53 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140735462466616 6020739 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9999/statm: 333457 275388 848 2943 0 330351 0 [pid=9999/tid=10000] ppid=9996 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10000/stat : 10000 (toysat) S 9996 9999 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140519982214384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9999/tid=10001] ppid=9996 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10001/stat : 10001 (toysat) S 9996 9999 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140519971724528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9999/tid=10002] ppid=9996 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9999/task/10002/stat : 10002 (toysat) S 9996 9999 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29399057 1365839872 275388 33554432000 4194304 16246674 140735462483616 140519854304432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1333828 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 9999 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.1 CPU user time (s): 1799.57 CPU system time (s): 0.531919 CPU usage (%): 99.9718 Max. virtual memory (cumulated for all children) (KiB): 1333828 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.57 system time used= 0.531919 maximum resident set size= 1101552 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274888 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= 355 involuntary context switches= 1885 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.9992 second user time and 11.5332 second system time The end
Begin job on node106 at 2016-06-18 20:11:29 IDJOB=4106562 IDBENCH=48106 IDSOLVER=2542 FILE ID=node106/4106562-1466273489 RUNJOBID= node106-1466241787-28915 PBS_JOBID= 19918214 Free space on /tmp= 71684 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_2.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106562-1466273489/watcher-4106562-1466273489 -o /tmp/evaluation-result-4106562-1466273489/solver-4106562-1466273489 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106562-1466273489.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f4b87658792e85afbf63fc13ada788f7 RANDOM SEED=1841415739 node106.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.073 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.14 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.073 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.073 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.073 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.56 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.073 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.073 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.56 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.073 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.38 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.073 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: 30180608 kB Buffers: 95776 kB Cached: 198388 kB SwapCached: 1736 kB Active: 1187500 kB Inactive: 196236 kB Active(anon): 1088180 kB Inactive(anon): 4000 kB Active(file): 99320 kB Inactive(file): 192236 kB Unevictable: 559040 kB Mlocked: 526336 kB SwapTotal: 67108856 kB SwapFree: 67099160 kB Dirty: 16320 kB Writeback: 0 kB AnonPages: 1760688 kB Mapped: 10464 kB Shmem: 0 kB Slab: 612752 kB SReclaimable: 56620 kB SUnreclaim: 556132 kB KernelStack: 1520 kB PageTables: 7732 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1791332 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1226752 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= 71668 MiB End job on node106 at 2016-06-18 20:41:30