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.02 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_1.opb |
| MD5SUM | 7c4476530a00e5609896ce3ef5260c8d |
| 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 | 26 |
| 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 | 25 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 200 |
| 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 | 200 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 23 |
| Number of terms in the objective function | 200 |
| 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 | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 2482 |
| Sum of products size (including duplicates) | 4964 |
| Number of different products | 2482 |
| Sum of products size | 4964 |
0.00/0.00 c 2016-06-18T20:11:35+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-4106565-1466273495.opb"] 0.00/0.01 c use --random-gen="1655362724 334814881 3010917209 2239699326 4107184735 512479705 4228594855 420419351 2628752051 3415280021 3424540538 995804858 524679659 651717440 1371282431 3315584029 3404466386 558259772 2254626180 2716652798 3078406192 1153959308 3927481165 3224968216 2453275833 399195067 3617899925 1609597185 2495732584 1231458593 4081168084 3934913948 2688128778 3393225111 2316361326 4186231115 1644903229 2056773169 3610531340 3463551576 4123462421 4062638406 3509925634 637902002 279772846 989239683 827037995 883410242 1907831291 979427863 1540261246 1387083058 827463237 1256254081 1115557462 2215651522 937299668 2172311350 1887923211 4219962427 1628262057 1422129948 963883158 3462268105 4053279459 3051951471 3264428600 2940806551 3525016232 2763332365 3548844474 4069019292 1071795052 4260268155 2816139590 3190759266 1833970489 2866678270 361153774 4291288273 1432819184 1661472661 258910851 2499789911 949404122 2762321344 1863759131 2013324801 1709816127 2781213948 2763882504 2877912447 3348618661 2836659280 1807429265 843415500 1228318061 1185501023 2711696029 620729846 3026710562 3642800161 2416466153 293008942 4102054077 1970313411 1075025758 1527675430 2280158681 3634046514 579574226 1662011191 1237261840 2714794811 3685806405 2626327339 2971792674 1761021151 2937681812 429295788 1162651685 2552784263 1349494172 106605034 1932469792 1401067815 1858550406 2560054391 1271431317 3584686846 4204611844 1288138961 734475954 3697799264 1090402154 1626069101 1242971746 2712660625 1154508615 1000152695 1293605047 3025925057 785704043 3032863985 3524378488 2768646434 2857028906 2054266989 905335744 478154321 1544897020 3971657674 3639507816 434481453 1359079277 1296506801 3216896927 1903684395 964128369 2567812180 1916212668 2256073413 910624828 353664072 3051273106 1619464970 4218373406 290679750 3481707384 3966218497 2917685223 2140943568 1759478965 4069678534 402508972 2658015668 3038216775 1675879183 154384106 1379410346 3955159043 1564772981 4203586456 447216435 1097568475 2384926818 3408333514 2577242301 856067105 4075136639 523503065 2251828581 2316756749 2588808435 541260789 1803960423 161479110 1842501546 2541197916 1903218408 4245087011 1190487640 2144963605 1433116807 2685591129 174211114 3448586363 1585614045 20036645 869902944 4155994194 3364540681 1491752998 1125363680 4077277486 1559106150 3294158817 2824481717 3353280510 2761676082 2661635718 1523263962 537671293 436073565 575268145 1088573500 3882835228 3841022788 1650601618 611560270 2138148229 623977622 67834833 1984490324 294512130 2366231191 1300255816 56272540 3487334158 2596456451 3192318435 2008325339 2957551738 169682564 1052001279 2805384126 3661825160 1815688542 1480569154 912049371 3671987066 1024066592 3436384299 320199426 3209735164 3231732052 255 362436" option to reproduce the execution 0.00/0.02 c #vars 200 0.00/0.02 c #constraints 200 0.00/0.06 c BCD2: Hardening is enabled. 0.00/0.06 c BCD2: BiasedSearch is enabled. 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.07 c 0.0s | 0 | 0 | 0 | 2615 0 | 0 | 0 0.00/0.08 c 0.0s | 0 | 462 | 0 | 2615 0 | 0 | 0 0.00/0.08 c #cpu_time = 0.009s 0.00/0.08 c #wall_clock_time = 0.009s 0.00/0.08 c #decision = 462 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 0 0.00/0.08 c #restart = 0 0.00/0.08 o 157 0.00/0.08 c BCD2: updating upper bound: 200 -> 156 0.00/0.08 c BCD2: 0 <= obj <= 156 0.00/0.08 c BCD2: #cores=0, #unrelaxed=200, #relaxed=0, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 2615 0 | 0 | 0 0.00/0.08 c 0.0s | 0 | 142 | 0 | 2615 0 | 0 | 0 0.00/0.08 c #cpu_time = 0.007s 0.00/0.08 c #wall_clock_time = 0.007s 0.00/0.08 c #decision = 142 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 0 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: found a new core of size 13: cost of the new core is >=1 0.00/0.08 c lower bound updated to 1 0.00/0.08 c BCD2: 1 <= obj <= 156 0.00/0.08 c BCD2: #cores=1, #unrelaxed=187, #relaxed=13, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 2615 0 | 0 | 0 0.00/0.09 c 0.0s | 0 | 133 | 0 | 2615 0 | 0 | 0 0.00/0.09 c #cpu_time = 0.006s 0.00/0.09 c #wall_clock_time = 0.006s 0.00/0.09 c #decision = 133 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: found a new core of size 13: cost of the new core is >=1 0.00/0.09 c lower bound updated to 2 0.00/0.09 c BCD2: 2 <= obj <= 156 0.00/0.09 c BCD2: #cores=2, #unrelaxed=174, #relaxed=26, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 2615 0 | 0 | 0 0.09/0.10 c 0.0s | 0 | 132 | 0 | 2615 0 | 0 | 0 0.09/0.10 c #cpu_time = 0.006s 0.09/0.10 c #wall_clock_time = 0.006s 0.09/0.10 c #decision = 132 0.09/0.10 c #random_decision = 0 0.09/0.10 c #conflict = 0 0.09/0.10 c #restart = 0 0.09/0.10 c BCD2: found a new core of size 11: cost of the new core is >=1 0.09/0.10 c lower bound updated to 3 0.09/0.10 c BCD2: 3 <= obj <= 156 0.09/0.10 c BCD2: #cores=3, #unrelaxed=163, #relaxed=37, #hardened=0 0.09/0.10 c BCD2: #sat=1 #unsat=4 bias=4/5 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 2615 0 | 0 | 0 0.09/0.11 c 0.0s | 0 | 127 | 0 | 2615 0 | 0 | 0 0.09/0.11 c #cpu_time = 0.003s 0.09/0.11 c #wall_clock_time = 0.003s 0.09/0.11 c #decision = 127 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 0 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 11: cost of the new core is >=1 0.09/0.11 c lower bound updated to 4 0.09/0.11 c BCD2: 4 <= obj <= 156 0.09/0.11 c BCD2: #cores=4, #unrelaxed=152, #relaxed=48, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=5 bias=5/6 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 2615 0 | 0 | 0 0.09/0.12 c 0.0s | 0 | 135 | 0 | 2615 0 | 0 | 0 0.09/0.12 c #cpu_time = 0.003s 0.09/0.12 c #wall_clock_time = 0.003s 0.09/0.12 c #decision = 135 0.09/0.12 c #random_decision = 0 0.09/0.12 c #conflict = 0 0.09/0.12 c #restart = 0 0.09/0.12 c BCD2: found a new core of size 11: cost of the new core is >=1 0.09/0.12 c lower bound updated to 5 0.09/0.12 c BCD2: 5 <= obj <= 156 0.09/0.12 c BCD2: #cores=5, #unrelaxed=141, #relaxed=59, #hardened=0 0.09/0.12 c BCD2: #sat=1 #unsat=6 bias=6/7 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 2615 0 | 0 | 0 0.09/0.12 c 0.0s | 0 | 129 | 0 | 2615 0 | 0 | 0 0.09/0.12 c #cpu_time = 0.003s 0.09/0.12 c #wall_clock_time = 0.003s 0.09/0.12 c #decision = 129 0.09/0.12 c #random_decision = 0 0.09/0.12 c #conflict = 0 0.09/0.12 c #restart = 0 0.09/0.12 c BCD2: found a new core of size 11: cost of the new core is >=1 0.09/0.12 c lower bound updated to 6 0.09/0.12 c BCD2: 6 <= obj <= 156 0.09/0.12 c BCD2: #cores=6, #unrelaxed=130, #relaxed=70, #hardened=0 0.09/0.12 c BCD2: #sat=1 #unsat=7 bias=7/8 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 2615 0 | 0 | 0 0.09/0.13 c 0.0s | 0 | 503 | 0 | 2615 0 | 0 | 0 0.09/0.13 c #cpu_time = 0.005s 0.09/0.13 c #wall_clock_time = 0.005s 0.09/0.13 c #decision = 503 0.09/0.13 c #random_decision = 0 0.09/0.13 c #conflict = 0 0.09/0.13 c #restart = 0 0.09/0.13 o 42 0.09/0.13 c BCD2: updating upper bound: 156 -> 41 0.09/0.13 c BCD2: 6 <= obj <= 41 0.09/0.13 c BCD2: #cores=6, #unrelaxed=130, #relaxed=70, #hardened=0 0.09/0.13 c BCD2: #sat=2 #unsat=7 bias=7/9 0.09/0.13 c Solving starts ... 0.09/0.13 c ============================[ Search Statistics ]============================ 0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.13 c | | | | Limit GC | Var | Constra 0.09/0.13 c ============================================================================= 0.09/0.13 c 0.0s | 0 | 0 | 0 | 2615 0 | 0 | 1 0.09/0.17 c 0.0s | 1 | 322 | 100 | 2615 0 | 0 | 1 0.19/0.20 c 0.1s | 1 | 530 | 148 | 2877 0 | 0 | 1 0.19/0.20 c #cpu_time = 0.074s 0.19/0.20 c #wall_clock_time = 0.074s 0.19/0.20 c #decision = 530 0.19/0.20 c #random_decision = 4 0.19/0.20 c #conflict = 148 0.19/0.20 c #restart = 1 0.19/0.20 c BCD2: relaxing 130 and merging with 6 cores into a new core of size 200: cost of the new core is >=7 0.19/0.20 c lower bound updated to 7 0.19/0.20 c BCD2: 7 <= obj <= 41 0.19/0.20 c BCD2: #cores=1, #unrelaxed=0, #relaxed=200, #hardened=0 0.19/0.20 c BCD2: #sat=2 #unsat=8 bias=8/10 0.19/0.20 c Solving starts ... 0.19/0.20 c ============================[ Search Statistics ]============================ 0.19/0.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.20 c | | | | Limit GC | Var | Constra 0.19/0.20 c ============================================================================= 0.19/0.20 c 0.0s | 0 | 0 | 0 | 2877 0 | 15 | 1 0.19/0.22 c 0.0s | 0 | 824 | 1 | 2877 0 | 15 | 25 0.19/0.22 c #cpu_time = 0.014s 0.19/0.22 c #wall_clock_time = 0.014s 0.19/0.22 c #decision = 824 0.19/0.22 c #random_decision = 2 0.19/0.22 c #conflict = 1 0.19/0.22 c #restart = 0 0.19/0.22 o 35 0.19/0.22 c BCD2: updating upper bound: 41 -> 34 0.19/0.22 c BCD2: 7 <= obj <= 34 0.19/0.22 c BCD2: #cores=1, #unrelaxed=0, #relaxed=200, #hardened=0 0.19/0.22 c BCD2: #sat=3 #unsat=8 bias=8/11 0.19/0.22 c Solving starts ... 0.19/0.22 c ============================[ Search Statistics ]============================ 0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.22 c | | | | Limit GC | Var | Constra 0.19/0.22 c ============================================================================= 0.19/0.22 c 0.0s | 0 | 0 | 0 | 2877 0 | 15 | 27 0.29/0.38 c 0.2s | 1 | 915 | 100 | 2877 0 | 15 | 27 0.59/0.61 c 0.4s | 2 | 1573 | 250 | 3165 0 | 15 | 27 0.89/0.97 c 0.7s | 3 | 2620 | 475 | 3482 0 | 15 | 27 1.38/1.46 c 1.2s | 4 | 3492 | 813 | 3831 0 | 15 | 27 1.98/2.08 c 1.9s | 5 | 5495 | 1320 | 4215 0 | 15 | 27 2.98/3.02 c 2.8s | 6 | 8501 | 2081 | 4637 0 | 15 | 27 4.28/4.40 c 4.2s | 7 | 12671 | 3223 | 5101 0 | 15 | 27 6.38/6.49 c 6.3s | 7 | 18945 | 4923 | 5612 0 | 15 | 27 6.48/6.50 c 6.3s | 8 | 18986 | 4936 | 5612 0 | 15 | 27 8.48/8.59 c 8.4s | 8 | 25193 | 6536 | 5612 1 | 15 | 27 9.68/9.79 c 9.6s | 9 | 28788 | 7506 | 6174 1 | 15 | 27 11.78/11.90 c 11.7s | 9 | 34011 | 9206 | 6174 1 | 15 | 27 13.88/13.91 c 13.7s | 9 | 39329 | 10806 | 6174 2 | 15 | 27 14.59/14.61 c 14.4s | 10 | 41302 | 11361 | 6792 2 | 15 | 27 16.70/16.71 c 16.5s | 10 | 46833 | 12861 | 6792 2 | 15 | 27 18.69/18.79 c 18.6s | 10 | 52535 | 14461 | 6792 3 | 15 | 27 20.79/20.87 c 20.6s | 10 | 58438 | 16061 | 6792 3 | 15 | 27 22.29/22.36 c 22.1s | 11 | 62667 | 17144 | 7472 3 | 15 | 27 24.39/24.49 c 24.3s | 11 | 68263 | 18644 | 7472 4 | 15 | 27 26.49/26.50 c 26.3s | 11 | 73490 | 20244 | 7472 4 | 15 | 27 28.48/28.55 c 28.3s | 11 | 79517 | 21744 | 7472 4 | 15 | 27 30.58/30.68 c 30.5s | 11 | 86468 | 23344 | 7472 5 | 15 | 27 32.68/32.70 c 32.5s | 11 | 92433 | 24944 | 7472 5 | 15 | 27 33.78/33.82 c 33.6s | 12 | 95628 | 25819 | 8220 5 | 15 | 27 35.78/35.83 c 35.6s | 12 | 100578 | 27419 | 8220 6 | 15 | 27 37.88/37.90 c 37.7s | 12 | 105573 | 29019 | 8220 6 | 15 | 27 39.98/40.03 c 39.8s | 12 | 110758 | 30519 | 8220 6 | 15 | 27 42.09/42.11 c 41.9s | 12 | 116729 | 32019 | 8220 7 | 15 | 27 44.08/44.13 c 43.9s | 12 | 121908 | 33419 | 8220 7 | 15 | 27 46.08/46.19 c 46.0s | 12 | 127550 | 34919 | 8220 7 | 15 | 27 48.18/48.27 c 48.0s | 12 | 132662 | 36419 | 8220 8 | 15 | 27 50.28/50.31 c 50.1s | 12 | 137447 | 37819 | 8220 8 | 15 | 27 51.78/51.82 c 51.6s | 13 | 141829 | 38832 | 9042 8 | 15 | 27 53.88/53.92 c 53.7s | 13 | 148356 | 40332 | 9042 8 | 15 | 27 55.98/56.05 c 55.8s | 13 | 153753 | 41732 | 9042 9 | 15 | 27 57.98/58.08 c 57.9s | 13 | 158965 | 43132 | 9042 9 | 15 | 27 60.08/60.13 c 59.9s | 13 | 164333 | 44632 | 9042 9 | 15 | 27 62.18/62.25 c 62.0s | 13 | 169875 | 46032 | 9042 10 | 15 | 27 64.28/64.35 c 64.1s | 13 | 175759 | 47532 | 9042 10 | 15 | 27 66.28/66.37 c 66.1s | 13 | 180370 | 48932 | 9042 10 | 15 | 27 68.38/68.47 c 68.2s | 13 | 185219 | 50332 | 9042 10 | 15 | 27 70.48/70.56 c 70.3s | 13 | 191220 | 51832 | 9042 11 | 15 | 27 72.48/72.59 c 72.4s | 13 | 196703 | 53232 | 9042 11 | 15 | 27 74.58/74.61 c 74.4s | 13 | 202280 | 54632 | 9042 11 | 15 | 27 76.58/76.68 c 76.5s | 13 | 207233 | 56132 | 9042 12 | 15 | 27 78.68/78.71 c 78.5s | 13 | 212694 | 57532 | 9042 12 | 15 | 27 79.77/79.86 c 79.6s | 14 | 215364 | 58352 | 9947 12 | 15 | 27 81.87/81.95 c 81.7s | 14 | 220220 | 59652 | 9947 12 | 15 | 27 83.88/83.99 c 83.8s | 14 | 225472 | 60952 | 9947 12 | 15 | 27 86.08/86.11 c 85.9s | 14 | 230885 | 62452 | 9947 13 | 15 | 27 88.18/88.25 c 88.0s | 14 | 236560 | 63952 | 9947 13 | 15 | 27 90.27/90.31 c 90.1s | 14 | 241357 | 65352 | 9947 13 | 15 | 27 92.27/92.32 c 92.1s | 14 | 246414 | 66652 | 9947 14 | 15 | 27 94.27/94.39 c 94.2s | 14 | 251957 | 68152 | 9947 14 | 15 | 27 96.37/96.43 c 96.2s | 14 | 257241 | 69652 | 9947 14 | 15 | 27 98.47/98.53 c 98.3s | 14 | 262797 | 71152 | 9947 14 | 15 | 27 100.47/100.54 c 100s | 14 | 268189 | 72552 | 9947 15 | 15 | 27 102.58/102.65 c 102s | 14 | 273664 | 74052 | 9947 15 | 15 | 27 104.57/104.70 c 104s | 14 | 279127 | 75452 | 9947 15 | 15 | 27 106.67/106.75 c 106s | 14 | 284094 | 76852 | 9947 15 | 15 | 27 108.77/108.82 c 108s | 14 | 289316 | 78352 | 9947 16 | 15 | 27 110.77/110.83 c 110s | 14 | 294301 | 79752 | 9947 16 | 15 | 27 112.87/112.98 c 112s | 14 | 300098 | 81252 | 9947 16 | 15 | 27 114.97/115.01 c 114s | 14 | 305963 | 82752 | 9947 17 | 15 | 27 116.97/117.01 c 116s | 14 | 311498 | 84252 | 9947 17 | 15 | 27 118.98/119.04 c 118s | 14 | 316376 | 85752 | 9947 17 | 15 | 27 121.07/121.13 c 120s | 14 | 321892 | 87252 | 10942 17 | 15 | 27 121.57/121.65 c 121s | 15 | 323588 | 87632 | 10942 17 | 15 | 27 123.67/123.76 c 123s | 15 | 329179 | 89132 | 10942 18 | 15 | 27 125.77/125.83 c 125s | 15 | 335138 | 90732 | 10942 18 | 15 | 27 127.77/127.88 c 127s | 15 | 340495 | 92332 | 10942 18 | 15 | 27 130.07/130.15 c 129s | 15 | 344673 | 93532 | 10942 18 | 15 | 27 132.17/132.22 c 131s | 15 | 349980 | 94832 | 10942 19 | 15 | 27 134.27/134.34 c 134s | 15 | 354881 | 96332 | 10942 19 | 15 | 27 136.27/136.37 c 136s | 15 | 358948 | 97532 | 10942 19 | 15 | 27 138.37/138.50 c 138s | 15 | 364743 | 99032 | 10942 19 | 15 | 27 140.47/140.58 c 140s | 15 | 369774 | 100532 | 10942 20 | 15 | 27 142.57/142.60 c 142s | 15 | 375289 | 102032 | 10942 20 | 15 | 27 144.67/144.72 c 144s | 15 | 380147 | 103632 | 10942 20 | 15 | 27 146.66/146.77 c 146s | 15 | 384533 | 105032 | 10942 20 | 15 | 27 148.67/148.77 c 148s | 15 | 389889 | 106432 | 10942 21 | 15 | 27 150.66/150.78 c 150s | 15 | 395112 | 107832 | 10942 21 | 15 | 27 152.76/152.85 c 152s | 15 | 401131 | 109232 | 10942 21 | 15 | 27 154.76/154.87 c 154s | 15 | 405865 | 110632 | 10942 21 | 15 | 27 156.76/156.89 c 156s | 15 | 410727 | 112032 | 10942 22 | 15 | 27 158.96/159.02 c 158s | 15 | 416816 | 113532 | 10942 22 | 15 | 27 161.06/161.14 c 160s | 15 | 422134 | 115032 | 10942 22 | 15 | 27 163.16/163.24 c 163s | 15 | 426716 | 116532 | 10942 22 | 15 | 27 165.17/165.29 c 165s | 15 | 431418 | 118032 | 10942 23 | 15 | 27 167.26/167.39 c 167s | 15 | 436393 | 119532 | 10942 23 | 15 | 27 169.36/169.43 c 169s | 15 | 441228 | 120932 | 10942 23 | 15 | 27 171.36/171.47 c 171s | 15 | 445900 | 122332 | 10942 23 | 15 | 27 173.46/173.59 c 173s | 15 | 450907 | 123832 | 10942 24 | 15 | 27 175.66/175.71 c 175s | 15 | 455619 | 125432 | 10942 24 | 15 | 27 177.66/177.77 c 177s | 15 | 461490 | 126932 | 10942 24 | 15 | 27 179.86/179.90 c 179s | 15 | 466776 | 128432 | 10942 24 | 15 | 27 181.86/181.96 c 181s | 15 | 471820 | 129932 | 10942 25 | 15 | 27 183.97/184.02 c 183s | 15 | 476691 | 131532 | 12037 25 | 15 | 27 183.97/184.05 c 183s | 16 | 476783 | 131552 | 12037 25 | 15 | 27 186.26/186.39 c 186s | 16 | 481035 | 132852 | 12037 25 | 15 | 27 188.36/188.44 c 188s | 16 | 485617 | 134052 | 12037 25 | 15 | 27 190.36/190.48 c 190s | 16 | 490558 | 135352 | 12037 25 | 15 | 27 192.56/192.62 c 192s | 16 | 495847 | 136852 | 12037 26 | 15 | 27 194.55/194.65 c 194s | 16 | 501450 | 138352 | 12037 26 | 15 | 27 196.55/196.67 c 196s | 16 | 507032 | 139852 | 12037 26 | 15 | 27 198.65/198.71 c 198s | 16 | 512095 | 141352 | 12037 26 | 15 | 27 200.65/200.72 c 200s | 16 | 516981 | 142752 | 12037 27 | 15 | 27 202.75/202.86 c 202s | 16 | 521881 | 144252 | 12037 27 | 15 | 27 204.95/205.00 c 204s | 16 | 526895 | 145752 | 12037 27 | 15 | 27 207.06/207.12 c 206s | 16 | 531780 | 147252 | 12037 27 | 15 | 27 209.05/209.17 c 208s | 16 | 536755 | 148652 | 12037 28 | 15 | 27 211.15/211.28 c 211s | 16 | 541310 | 150052 | 12037 28 | 15 | 27 213.25/213.31 c 213s | 16 | 546565 | 151552 | 12037 28 | 15 | 27 215.25/215.32 c 215s | 16 | 551518 | 152952 | 12037 28 | 15 | 27 217.25/217.39 c 217s | 16 | 556489 | 154352 | 12037 28 | 15 | 27 219.35/219.41 c 219s | 16 | 562031 | 155752 | 12037 29 | 15 | 27 221.36/221.42 c 221s | 16 | 566559 | 157252 | 12037 29 | 15 | 27 223.46/223.51 c 223s | 16 | 572077 | 158752 | 12037 29 | 15 | 27 225.55/225.62 c 225s | 16 | 577419 | 160252 | 12037 29 | 15 | 27 227.55/227.62 c 227s | 16 | 582392 | 161652 | 12037 30 | 15 | 27 229.55/229.63 c 229s | 16 | 586938 | 163152 | 12037 30 | 15 | 27 231.55/231.66 c 231s | 16 | 591837 | 164552 | 12037 30 | 15 | 27 233.65/233.76 c 233s | 16 | 596919 | 166052 | 12037 30 | 15 | 27 235.66/235.76 c 235s | 16 | 602080 | 167452 | 12037 31 | 15 | 27 237.75/237.81 c 237s | 16 | 607331 | 169052 | 12037 31 | 15 | 27 240.15/240.25 c 240s | 16 | 611678 | 170552 | 12037 31 | 15 | 27 242.15/242.30 c 242s | 16 | 616487 | 171852 | 12037 31 | 15 | 27 244.25/244.39 c 244s | 16 | 621788 | 173352 | 12037 31 | 15 | 27 246.75/246.87 c 246s | 16 | 626160 | 174852 | 12037 32 | 15 | 27 248.95/249.01 c 248s | 16 | 631821 | 176352 | 12037 32 | 15 | 27 251.05/251.11 c 250s | 16 | 637157 | 177852 | 12037 32 | 15 | 27 253.05/253.13 c 252s | 16 | 642239 | 179352 | 12037 32 | 15 | 27 255.15/255.26 c 255s | 16 | 647854 | 180852 | 12037 33 | 15 | 27 257.34/257.40 c 257s | 16 | 653123 | 182452 | 12037 33 | 15 | 27 259.34/259.49 c 259s | 16 | 658441 | 183952 | 12037 33 | 15 | 27 261.44/261.56 c 261s | 16 | 663138 | 185452 | 12037 33 | 15 | 27 263.54/263.60 c 263s | 16 | 668587 | 186852 | 12037 34 | 15 | 27 265.55/265.65 c 265s | 16 | 673845 | 188352 | 12037 34 | 15 | 27 267.75/267.80 c 267s | 16 | 678883 | 189952 | 12037 34 | 15 | 27 269.76/269.85 c 269s | 16 | 684332 | 191452 | 12037 34 | 15 | 27 271.86/271.91 c 271s | 16 | 688935 | 192952 | 12037 35 | 15 | 27 273.85/273.95 c 273s | 16 | 694102 | 194452 | 12037 35 | 15 | 27 275.85/275.96 c 275s | 16 | 699097 | 195952 | 13241 35 | 15 | 27 277.95/278.03 c 277s | 17 | 703458 | 197432 | 13241 35 | 15 | 27 280.05/280.13 c 279s | 17 | 707143 | 198532 | 13241 35 | 15 | 27 282.15/282.20 c 281s | 17 | 712014 | 199832 | 13241 36 | 15 | 27 284.25/284.34 c 284s | 17 | 716039 | 201132 | 13241 36 | 15 | 27 286.25/286.35 c 286s | 17 | 721216 | 202532 | 13241 36 | 15 | 27 288.35/288.41 c 288s | 17 | 726439 | 204032 | 13241 36 | 15 | 27 290.35/290.43 c 290s | 17 | 731594 | 205432 | 13241 36 | 15 | 27 292.45/292.56 c 292s | 17 | 736908 | 206832 | 13241 37 | 15 | 27 294.55/294.65 c 294s | 17 | 741942 | 208232 | 13241 37 | 15 | 27 296.54/296.69 c 296s | 17 | 747259 | 209632 | 13241 37 | 15 | 27 298.64/298.74 c 298s | 17 | 752185 | 211032 | 13241 37 | 15 | 27 300.74/300.83 c 300s | 17 | 756611 | 212332 | 13241 37 | 15 | 27 302.75/302.88 c 302s | 17 | 761967 | 213632 | 13241 38 | 15 | 27 304.85/304.93 c 304s | 17 | 767110 | 215132 | 13241 38 | 15 | 27 306.94/307.04 c 306s | 17 | 772912 | 216632 | 13241 38 | 15 | 27 308.94/309.05 c 308s | 17 | 777504 | 218032 | 13241 38 | 15 | 27 310.94/311.07 c 310s | 17 | 781856 | 219432 | 13241 38 | 15 | 27 312.94/313.08 c 312s | 17 | 786217 | 220832 | 13241 39 | 15 | 27 315.04/315.19 c 314s | 17 | 790712 | 222332 | 13241 39 | 15 | 27 317.24/317.30 c 317s | 17 | 796058 | 223832 | 13241 39 | 15 | 27 319.25/319.39 c 319s | 17 | 801596 | 225232 | 13241 39 | 15 | 27 321.45/321.52 c 321s | 17 | 806449 | 226732 | 13241 39 | 15 | 27 323.44/323.60 c 323s | 17 | 811511 | 228132 | 13241 40 | 15 | 27 325.64/325.72 c 325s | 17 | 816626 | 229732 | 13241 40 | 15 | 27 327.64/327.77 c 327s | 17 | 819735 | 230632 | 13241 40 | 15 | 27 329.64/329.77 c 329s | 17 | 824948 | 231932 | 13241 40 | 15 | 27 331.74/331.82 c 331s | 17 | 830182 | 233332 | 13241 40 | 15 | 27 333.74/333.89 c 333s | 17 | 834791 | 234832 | 13241 41 | 15 | 27 335.93/336.01 c 335s | 17 | 840361 | 236332 | 13241 41 | 15 | 27 337.94/338.01 c 337s | 17 | 846063 | 237832 | 13241 41 | 15 | 27 339.93/340.07 c 339s | 17 | 851149 | 239232 | 13241 41 | 15 | 27 342.03/342.12 c 341s | 17 | 856281 | 240532 | 13241 41 | 15 | 27 344.13/344.28 c 344s | 17 | 861706 | 241932 | 13241 42 | 15 | 27 346.23/346.34 c 346s | 17 | 866873 | 243232 | 13241 42 | 15 | 27 348.33/348.45 c 348s | 17 | 873048 | 244732 | 13241 42 | 15 | 27 350.43/350.56 c 350s | 17 | 877589 | 246232 | 13241 42 | 15 | 27 352.53/352.66 c 352s | 17 | 882437 | 247532 | 13241 42 | 15 | 27 354.63/354.78 c 354s | 17 | 887236 | 248932 | 13241 43 | 15 | 27 356.83/356.90 c 356s | 17 | 892170 | 250432 | 13241 43 | 15 | 27 358.93/359.04 c 358s | 17 | 897015 | 251932 | 13241 43 | 15 | 27 361.04/361.11 c 360s | 17 | 902936 | 253432 | 13241 43 | 15 | 27 363.14/363.22 c 362s | 17 | 907716 | 254932 | 13241 43 | 15 | 27 365.13/365.29 c 365s | 17 | 912536 | 256532 | 13241 44 | 15 | 27 367.23/367.35 c 367s | 17 | 917715 | 258032 | 13241 44 | 15 | 27 369.23/369.35 c 369s | 17 | 922209 | 259532 | 13241 44 | 15 | 27 371.33/371.42 c 371s | 17 | 927677 | 261032 | 13241 44 | 15 | 27 373.43/373.50 c 373s | 17 | 932667 | 262532 | 13241 45 | 15 | 27 375.53/375.60 c 375s | 17 | 937552 | 264032 | 13241 45 | 15 | 27 377.53/377.66 c 377s | 17 | 942542 | 265532 | 13241 45 | 15 | 27 379.53/379.68 c 379s | 17 | 947385 | 267032 | 13241 45 | 15 | 27 381.53/381.69 c 381s | 17 | 951573 | 268432 | 13241 45 | 15 | 27 383.63/383.79 c 383s | 17 | 957117 | 269932 | 13241 46 | 15 | 27 385.73/385.88 c 385s | 17 | 962447 | 271532 | 13241 46 | 15 | 27 387.73/387.89 c 387s | 17 | 967322 | 273032 | 13241 46 | 15 | 27 389.82/389.92 c 389s | 17 | 973272 | 274532 | 13241 46 | 15 | 27 391.83/391.99 c 391s | 17 | 978826 | 276032 | 13241 47 | 15 | 27 394.13/394.24 c 394s | 17 | 984486 | 277632 | 13241 47 | 15 | 27 396.14/396.26 c 396s | 17 | 987198 | 278432 | 13241 47 | 15 | 27 398.13/398.28 c 398s | 17 | 992226 | 279832 | 13241 47 | 15 | 27 400.23/400.30 c 400s | 17 | 996970 | 281332 | 13241 47 | 15 | 27 402.33/402.40 c 402s | 17 | 1001752 | 282732 | 13241 48 | 15 | 27 404.43/404.52 c 404s | 17 | 1007452 | 284232 | 13241 48 | 15 | 27 406.53/406.65 c 406s | 17 | 1012164 | 285632 | 13241 48 | 15 | 27 408.63/408.75 c 408s | 17 | 1017087 | 287032 | 13241 48 | 15 | 27 410.73/410.86 c 410s | 17 | 1022213 | 288532 | 13241 48 | 15 | 27 412.73/412.90 c 412s | 17 | 1026924 | 289932 | 13241 49 | 15 | 27 414.83/414.96 c 414s | 17 | 1032140 | 291532 | 13241 49 | 15 | 27 416.93/417.07 c 416s | 17 | 1037383 | 293032 | 13241 49 | 15 | 27 419.03/419.14 c 418s | 17 | 1043205 | 294532 | 14566 49 | 15 | 27 421.13/421.22 c 421s | 17 | 1048434 | 296032 | 14566 49 | 15 | 27 421.43/421.52 c 421s | 18 | 1049181 | 296252 | 14566 49 | 15 | 27 423.42/423.52 c 423s | 18 | 1053429 | 297352 | 14566 49 | 15 | 27 425.42/425.59 c 425s | 18 | 1059559 | 298952 | 14566 50 | 15 | 27 427.52/427.67 c 427s | 18 | 1064927 | 300552 | 14566 50 | 15 | 27 429.62/429.72 c 429s | 18 | 1069538 | 302052 | 14566 50 | 15 | 27 431.72/431.82 c 431s | 18 | 1074253 | 303452 | 14566 50 | 15 | 27 433.82/433.92 c 433s | 18 | 1079032 | 304752 | 14566 50 | 15 | 27 435.83/435.98 c 435s | 18 | 1084138 | 306152 | 14566 51 | 15 | 27 437.93/438.04 c 437s | 18 | 1090117 | 307652 | 14566 51 | 15 | 27 440.02/440.12 c 439s | 18 | 1095164 | 309252 | 14566 51 | 15 | 27 442.02/442.18 c 441s | 18 | 1099380 | 310652 | 14566 51 | 15 | 27 444.12/444.26 c 444s | 18 | 1103925 | 312052 | 14566 51 | 15 | 27 446.22/446.38 c 446s | 18 | 1108955 | 313452 | 14566 52 | 15 | 27 448.32/448.45 c 448s | 18 | 1113854 | 314952 | 14566 52 | 15 | 27 450.42/450.58 c 450s | 18 | 1118712 | 316452 | 14566 52 | 15 | 27 452.52/452.60 c 452s | 18 | 1123400 | 317852 | 14566 52 | 15 | 27 454.53/454.60 c 454s | 18 | 1128148 | 319252 | 14566 52 | 15 | 27 456.63/456.74 c 456s | 18 | 1132889 | 320752 | 14566 53 | 15 | 27 458.62/458.78 c 458s | 18 | 1137497 | 322152 | 14566 53 | 15 | 27 460.82/460.92 c 460s | 18 | 1141820 | 323652 | 14566 53 | 15 | 27 462.82/462.96 c 462s | 18 | 1146931 | 325152 | 14566 53 | 15 | 27 464.82/464.97 c 464s | 18 | 1152605 | 326652 | 14566 53 | 15 | 27 466.92/467.06 c 466s | 18 | 1157382 | 328152 | 14566 54 | 15 | 27 469.02/469.12 c 468s | 18 | 1162310 | 329652 | 14566 54 | 15 | 27 471.02/471.15 c 470s | 18 | 1167372 | 331152 | 14566 54 | 15 | 27 473.12/473.27 c 473s | 18 | 1172434 | 332752 | 14566 54 | 15 | 27 475.21/475.36 c 475s | 18 | 1177337 | 334252 | 14566 54 | 15 | 27 477.31/477.47 c 477s | 18 | 1182505 | 335752 | 14566 55 | 15 | 27 479.41/479.58 c 479s | 18 | 1188137 | 337352 | 14566 55 | 15 | 27 481.41/481.58 c 481s | 18 | 1193297 | 338852 | 14566 55 | 15 | 27 483.61/483.70 c 483s | 18 | 1198268 | 340452 | 14566 55 | 15 | 27 485.71/485.81 c 485s | 18 | 1202025 | 341552 | 14566 55 | 15 | 27 487.81/487.91 c 487s | 18 | 1206880 | 342852 | 14566 55 | 15 | 27 489.81/489.97 c 489s | 18 | 1210883 | 344052 | 14566 56 | 15 | 27 491.82/491.99 c 491s | 18 | 1215528 | 345352 | 14566 56 | 15 | 27 493.81/494.00 c 493s | 18 | 1220038 | 346652 | 14566 56 | 15 | 27 496.01/496.12 c 495s | 18 | 1224296 | 348052 | 14566 56 | 15 | 27 498.11/498.20 c 497s | 18 | 1229267 | 349352 | 14566 56 | 15 | 27 500.21/500.32 c 500s | 18 | 1234643 | 350652 | 14566 56 | 15 | 27 502.21/502.40 c 502s | 18 | 1239298 | 352052 | 14566 57 | 15 | 27 504.31/504.47 c 504s | 18 | 1244296 | 353352 | 14566 57 | 15 | 27 506.41/506.57 c 506s | 18 | 1248565 | 354752 | 14566 57 | 15 | 27 508.51/508.64 c 508s | 18 | 1253676 | 356152 | 14566 57 | 15 | 27 510.61/510.74 c 510s | 18 | 1258707 | 357552 | 14566 57 | 15 | 27 512.71/512.86 c 512s | 18 | 1263610 | 358852 | 14566 58 | 15 | 27 514.71/514.89 c 514s | 18 | 1268588 | 360252 | 14566 58 | 15 | 27 516.81/516.98 c 516s | 18 | 1273739 | 361652 | 14566 58 | 15 | 27 518.91/519.06 c 518s | 18 | 1279458 | 363252 | 14566 58 | 15 | 27 521.01/521.19 c 520s | 18 | 1284744 | 364752 | 14566 58 | 15 | 27 523.11/523.22 c 522s | 18 | 1289512 | 366052 | 14566 59 | 15 | 27 525.21/525.31 c 525s | 18 | 1294865 | 367552 | 14566 59 | 15 | 27 527.21/527.39 c 527s | 18 | 1299699 | 368952 | 14566 59 | 15 | 27 529.32/529.42 c 529s | 18 | 1304111 | 370252 | 14566 59 | 15 | 27 531.31/531.48 c 531s | 18 | 1308362 | 371552 | 14566 59 | 15 | 27 533.41/533.51 c 533s | 18 | 1313088 | 372852 | 14566 59 | 15 | 27 535.41/535.52 c 535s | 18 | 1317969 | 374152 | 14566 60 | 15 | 27 537.41/537.57 c 537s | 18 | 1323183 | 375552 | 14566 60 | 15 | 27 539.51/539.69 c 539s | 18 | 1328286 | 377052 | 14566 60 | 15 | 27 541.61/541.78 c 541s | 18 | 1333645 | 378652 | 14566 60 | 15 | 27 543.81/543.92 c 543s | 18 | 1339118 | 380052 | 14566 60 | 15 | 27 545.82/545.97 c 545s | 18 | 1344316 | 381452 | 14566 61 | 15 | 27 547.92/548.05 c 547s | 18 | 1350694 | 382952 | 14566 61 | 15 | 27 550.01/550.15 c 549s | 18 | 1356172 | 384452 | 14566 61 | 15 | 27 552.01/552.19 c 551s | 18 | 1361545 | 385952 | 14566 61 | 15 | 27 554.11/554.21 c 553s | 18 | 1366542 | 387352 | 14566 61 | 15 | 27 556.11/556.25 c 556s | 18 | 1371578 | 388752 | 14566 62 | 15 | 27 558.21/558.34 c 558s | 18 | 1376948 | 390252 | 14566 62 | 15 | 27 560.31/560.45 c 560s | 18 | 1382614 | 391752 | 14566 62 | 15 | 27 562.41/562.54 c 562s | 18 | 1387883 | 393252 | 14566 62 | 15 | 27 564.51/564.68 c 564s | 18 | 1394576 | 394852 | 14566 62 | 15 | 27 566.61/566.77 c 566s | 18 | 1399325 | 396252 | 14566 62 | 15 | 27 568.71/568.85 c 568s | 18 | 1404688 | 397652 | 14566 63 | 15 | 27 570.81/570.93 c 570s | 18 | 1410131 | 399152 | 14566 63 | 15 | 27 572.80/572.97 c 572s | 18 | 1415747 | 400652 | 14566 63 | 15 | 27 574.90/575.08 c 574s | 18 | 1421507 | 402252 | 14566 63 | 15 | 27 577.00/577.16 c 576s | 18 | 1426788 | 403752 | 14566 63 | 15 | 27 579.00/579.16 c 578s | 18 | 1431715 | 405152 | 14566 64 | 15 | 27 581.01/581.19 c 580s | 18 | 1436606 | 406652 | 14566 64 | 15 | 27 583.11/583.29 c 583s | 18 | 1441697 | 408252 | 14566 64 | 15 | 27 585.20/585.33 c 585s | 18 | 1446800 | 409652 | 14566 64 | 15 | 27 587.20/587.35 c 587s | 18 | 1451477 | 411052 | 14566 64 | 15 | 27 589.20/589.37 c 589s | 18 | 1456033 | 412452 | 14566 65 | 15 | 27 591.30/591.44 c 591s | 18 | 1461555 | 413952 | 14566 65 | 15 | 27 593.40/593.52 c 593s | 18 | 1467256 | 415552 | 14566 65 | 15 | 27 595.40/595.52 c 595s | 18 | 1472380 | 416952 | 14566 65 | 15 | 27 597.41/597.54 c 597s | 18 | 1475070 | 417752 | 14566 65 | 15 | 27 599.40/599.58 c 599s | 18 | 1478908 | 418952 | 14566 65 | 15 | 27 601.40/601.59 c 601s | 18 | 1482887 | 420352 | 14566 66 | 15 | 27 603.50/603.61 c 603s | 18 | 1486925 | 421752 | 14566 66 | 15 | 27 605.50/605.65 c 605s | 18 | 1491367 | 423052 | 14566 66 | 15 | 27 607.50/607.66 c 607s | 18 | 1495461 | 424252 | 14566 66 | 15 | 27 609.51/609.70 c 609s | 18 | 1500048 | 425552 | 14566 66 | 15 | 27 611.60/611.70 c 611s | 18 | 1505158 | 426852 | 14566 67 | 15 | 27 613.60/613.77 c 613s | 18 | 1510323 | 428152 | 14566 67 | 15 | 27 615.80/615.90 c 615s | 18 | 1516040 | 429652 | 14566 67 | 15 | 27 617.90/618.00 c 617s | 18 | 1522036 | 431052 | 14566 67 | 15 | 27 620.00/620.12 c 619s | 18 | 1527403 | 432452 | 14566 67 | 15 | 27 622.00/622.13 c 621s | 18 | 1532177 | 433852 | 14566 67 | 15 | 27 624.00/624.18 c 623s | 18 | 1537077 | 435152 | 14566 68 | 15 | 27 626.19/626.30 c 626s | 18 | 1543035 | 436652 | 14566 68 | 15 | 27 628.20/628.36 c 628s | 18 | 1548378 | 438152 | 14566 68 | 15 | 27 630.29/630.46 c 630s | 18 | 1553752 | 439552 | 14566 68 | 15 | 27 632.49/632.60 c 632s | 18 | 1558964 | 440952 | 14566 68 | 15 | 27 634.59/634.72 c 634s | 18 | 1563497 | 442352 | 16023 68 | 15 | 27 636.59/636.75 c 636s | 18 | 1567710 | 443652 | 16023 69 | 15 | 27 637.69/637.88 c 637s | 19 | 1570717 | 444482 | 16023 69 | 15 | 27 640.19/640.32 c 640s | 19 | 1575564 | 445882 | 16023 69 | 15 | 27 642.29/642.40 c 642s | 19 | 1579619 | 447082 | 16023 69 | 15 | 27 644.29/644.41 c 644s | 19 | 1584467 | 448482 | 16023 69 | 15 | 27 646.39/646.55 c 646s | 19 | 1588924 | 449782 | 16023 69 | 15 | 27 648.49/648.62 c 648s | 19 | 1594000 | 451182 | 16023 69 | 15 | 27 650.49/650.62 c 650s | 19 | 1598721 | 452482 | 16023 70 | 15 | 27 652.59/652.70 c 652s | 19 | 1604687 | 453982 | 16023 70 | 15 | 27 654.70/654.82 c 654s | 19 | 1609495 | 455482 | 16023 70 | 15 | 27 656.80/656.96 c 656s | 19 | 1614782 | 456982 | 16023 70 | 15 | 27 658.89/659.04 c 658s | 19 | 1619143 | 458282 | 16023 70 | 15 | 27 660.99/661.19 c 660s | 19 | 1624111 | 459582 | 16023 70 | 15 | 27 663.09/663.22 c 662s | 19 | 1628894 | 460882 | 16023 71 | 15 | 27 665.09/665.22 c 665s | 19 | 1633751 | 462282 | 16023 71 | 15 | 27 667.19/667.34 c 667s | 19 | 1638345 | 463782 | 16023 71 | 15 | 27 669.29/669.43 c 669s | 19 | 1642997 | 465082 | 16023 71 | 15 | 27 671.39/671.58 c 671s | 19 | 1648183 | 466482 | 16023 71 | 15 | 27 673.49/673.67 c 673s | 19 | 1653125 | 467782 | 16023 71 | 15 | 27 675.49/675.69 c 675s | 19 | 1658173 | 469182 | 16023 72 | 15 | 27 677.59/677.73 c 677s | 19 | 1663107 | 470482 | 16023 72 | 15 | 27 679.59/679.76 c 679s | 19 | 1668256 | 471882 | 16023 72 | 15 | 27 681.69/681.81 c 681s | 19 | 1673509 | 473282 | 16023 72 | 15 | 27 683.79/683.90 c 683s | 19 | 1678756 | 474782 | 16023 72 | 15 | 27 685.78/685.99 c 685s | 19 | 1682662 | 476182 | 16023 72 | 15 | 27 687.88/688.04 c 687s | 19 | 1687297 | 477582 | 16023 73 | 15 | 27 689.89/690.07 c 689s | 19 | 1692432 | 479082 | 16023 73 | 15 | 27 691.99/692.19 c 691s | 19 | 1697803 | 480582 | 16023 73 | 15 | 27 694.08/694.23 c 694s | 19 | 1702541 | 482082 | 16023 73 | 15 | 27 696.08/696.26 c 696s | 19 | 1707413 | 483482 | 16023 73 | 15 | 27 698.18/698.39 c 698s | 19 | 1712464 | 484882 | 16023 73 | 15 | 27 700.28/700.42 c 700s | 19 | 1717385 | 486282 | 16023 74 | 15 | 27 702.38/702.52 c 702s | 19 | 1722154 | 487882 | 16023 74 | 15 | 27 704.68/704.86 c 704s | 19 | 1726126 | 489082 | 16023 74 | 15 | 27 706.78/706.97 c 706s | 19 | 1729900 | 490182 | 16023 74 | 15 | 27 708.88/709.09 c 708s | 19 | 1735428 | 491682 | 16023 74 | 15 | 27 711.08/711.21 c 710s | 19 | 1740976 | 493182 | 16023 74 | 15 | 27 713.08/713.29 c 713s | 19 | 1745468 | 494682 | 16023 75 | 15 | 27 715.28/715.42 c 715s | 19 | 1750755 | 496082 | 16023 75 | 15 | 27 717.28/717.46 c 717s | 19 | 1756130 | 497382 | 16023 75 | 15 | 27 719.38/719.58 c 719s | 19 | 1761308 | 498782 | 16023 75 | 15 | 27 721.48/721.63 c 721s | 19 | 1765160 | 500182 | 16023 75 | 15 | 27 723.67/723.82 c 723s | 19 | 1770502 | 501482 | 16023 76 | 15 | 27 725.67/725.89 c 725s | 19 | 1775530 | 502882 | 16023 76 | 15 | 27 727.77/727.96 c 727s | 19 | 1780357 | 504282 | 16023 76 | 15 | 27 729.87/730.08 c 729s | 19 | 1784964 | 505782 | 16023 76 | 15 | 27 731.97/732.19 c 731s | 19 | 1789147 | 507082 | 16023 76 | 15 | 27 733.97/734.19 c 733s | 19 | 1793344 | 508282 | 16023 76 | 15 | 27 736.17/736.31 c 736s | 19 | 1798118 | 509682 | 16023 76 | 15 | 27 738.18/738.34 c 738s | 19 | 1802418 | 510982 | 16023 77 | 15 | 27 740.17/740.36 c 740s | 19 | 1808228 | 512482 | 16023 77 | 15 | 27 742.27/742.46 c 742s | 19 | 1814390 | 514082 | 16023 77 | 15 | 27 744.27/744.49 c 744s | 19 | 1819236 | 515382 | 16023 77 | 15 | 27 746.47/746.64 c 746s | 19 | 1823742 | 516782 | 16023 77 | 15 | 27 748.67/748.80 c 748s | 19 | 1828270 | 518082 | 16023 78 | 15 | 27 750.67/750.81 c 750s | 19 | 1833264 | 519482 | 16023 78 | 15 | 27 752.77/752.96 c 752s | 19 | 1838446 | 520982 | 16023 78 | 15 | 27 754.87/755.03 c 754s | 19 | 1843426 | 522382 | 16023 78 | 15 | 27 756.88/757.04 c 756s | 19 | 1848273 | 523782 | 16023 78 | 15 | 27 758.97/759.13 c 758s | 19 | 1853365 | 525182 | 16023 78 | 15 | 27 761.07/761.23 c 761s | 19 | 1859113 | 526582 | 16023 79 | 15 | 27 763.17/763.37 c 763s | 19 | 1865121 | 528082 | 16023 79 | 15 | 27 765.27/765.46 c 765s | 19 | 1869816 | 529582 | 16023 79 | 15 | 27 767.37/767.57 c 767s | 19 | 1874878 | 531082 | 16023 79 | 15 | 27 769.47/769.65 c 769s | 19 | 1879415 | 532482 | 16023 79 | 15 | 27 771.56/771.76 c 771s | 19 | 1884150 | 533782 | 16023 79 | 15 | 27 773.66/773.86 c 773s | 19 | 1888760 | 535082 | 16023 80 | 15 | 27 775.76/775.98 c 775s | 19 | 1893280 | 536582 | 16023 80 | 15 | 27 777.87/778.02 c 777s | 19 | 1898484 | 538082 | 16023 80 | 15 | 27 779.98/780.12 c 779s | 19 | 1903886 | 539582 | 16023 80 | 15 | 27 782.07/782.26 c 782s | 19 | 1908629 | 541182 | 16023 80 | 15 | 27 784.17/784.39 c 784s | 19 | 1913230 | 542582 | 16023 80 | 15 | 27 786.37/786.50 c 786s | 19 | 1917516 | 543982 | 16023 81 | 15 | 27 788.47/788.63 c 788s | 19 | 1922881 | 545582 | 16023 81 | 15 | 27 790.46/790.65 c 790s | 19 | 1927834 | 547082 | 16023 81 | 15 | 27 792.56/792.73 c 792s | 19 | 1932591 | 548582 | 16023 81 | 15 | 27 794.66/794.83 c 794s | 19 | 1937267 | 549982 | 16023 81 | 15 | 27 796.86/797.02 c 796s | 19 | 1942345 | 551482 | 16023 82 | 15 | 27 798.96/799.10 c 798s | 19 | 1947800 | 553082 | 16023 82 | 15 | 27 801.06/801.23 c 801s | 19 | 1953090 | 554782 | 16023 82 | 15 | 27 803.16/803.35 c 803s | 19 | 1958408 | 556382 | 16023 82 | 15 | 27 805.26/805.44 c 805s | 19 | 1963079 | 557982 | 16023 82 | 15 | 27 807.26/807.47 c 807s | 19 | 1967953 | 559482 | 16023 82 | 15 | 27 810.55/810.73 c 810s | 19 | 1970559 | 560182 | 16023 83 | 15 | 27 812.65/812.82 c 812s | 19 | 1974736 | 561282 | 16023 83 | 15 | 27 814.65/814.87 c 814s | 19 | 1980879 | 562782 | 16023 83 | 15 | 27 816.75/816.96 c 816s | 19 | 1985794 | 564182 | 16023 83 | 15 | 27 818.75/818.98 c 818s | 19 | 1990875 | 565582 | 16023 83 | 15 | 27 820.85/821.08 c 820s | 19 | 1996433 | 567082 | 16023 83 | 15 | 27 822.95/823.19 c 822s | 19 | 2000842 | 568482 | 16023 84 | 15 | 27 825.15/825.37 c 825s | 19 | 2006390 | 569882 | 16023 84 | 15 | 27 827.14/827.38 c 827s | 19 | 2011096 | 571182 | 16023 84 | 15 | 27 829.24/829.49 c 829s | 19 | 2015656 | 572482 | 16023 84 | 15 | 27 831.44/831.61 c 831s | 19 | 2020763 | 573982 | 16023 84 | 15 | 27 833.54/833.75 c 833s | 19 | 2025421 | 575382 | 16023 84 | 15 | 27 835.64/835.87 c 835s | 19 | 2030171 | 576682 | 16023 85 | 15 | 27 837.74/837.90 c 837s | 19 | 2035232 | 578082 | 16023 85 | 15 | 27 839.84/840.08 c 839s | 19 | 2040030 | 579482 | 16023 85 | 15 | 27 841.94/842.12 c 841s | 19 | 2045517 | 580982 | 16023 85 | 15 | 27 844.04/844.21 c 843s | 19 | 2050907 | 582382 | 16023 85 | 15 | 27 846.14/846.33 c 846s | 19 | 2055947 | 583882 | 16023 85 | 15 | 27 848.14/848.40 c 848s | 19 | 2060697 | 585282 | 16023 86 | 15 | 27 850.34/850.53 c 850s | 19 | 2066087 | 586782 | 16023 86 | 15 | 27 852.43/852.68 c 852s | 19 | 2071614 | 588282 | 16023 86 | 15 | 27 854.53/854.75 c 854s | 19 | 2075982 | 589682 | 16023 86 | 15 | 27 856.63/856.86 c 856s | 19 | 2080784 | 591082 | 16023 86 | 15 | 27 858.63/858.88 c 858s | 19 | 2086090 | 592482 | 16023 86 | 15 | 27 860.73/860.93 c 860s | 19 | 2091719 | 593882 | 16023 87 | 15 | 27 862.83/863.07 c 862s | 19 | 2098133 | 595482 | 16023 87 | 15 | 27 864.93/865.17 c 864s | 19 | 2104756 | 597082 | 16023 87 | 15 | 27 867.13/867.31 c 867s | 19 | 2111465 | 598682 | 16023 87 | 15 | 27 869.22/869.43 c 869s | 19 | 2117783 | 600282 | 16023 87 | 15 | 27 871.33/871.51 c 871s | 19 | 2124092 | 601782 | 16023 88 | 15 | 27 873.32/873.53 c 873s | 19 | 2130924 | 603382 | 16023 88 | 15 | 27 875.92/876.13 c 875s | 19 | 2135618 | 604482 | 16023 88 | 15 | 27 877.93/878.16 c 877s | 19 | 2141888 | 605782 | 16023 88 | 15 | 27 880.03/880.27 c 880s | 19 | 2147616 | 607182 | 16023 88 | 15 | 27 882.12/882.38 c 882s | 19 | 2153347 | 608482 | 16023 88 | 15 | 27 884.22/884.42 c 884s | 19 | 2157989 | 609682 | 16023 88 | 15 | 27 886.22/886.46 c 886s | 19 | 2162688 | 610982 | 16023 89 | 15 | 27 888.22/888.49 c 888s | 19 | 2167945 | 612482 | 16023 89 | 15 | 27 890.31/890.58 c 890s | 19 | 2173027 | 613982 | 16023 89 | 15 | 27 892.41/892.60 c 892s | 19 | 2177778 | 615282 | 16023 89 | 15 | 27 894.43/894.67 c 894s | 19 | 2183362 | 616682 | 16023 89 | 15 | 27 896.63/896.83 c 896s | 19 | 2189056 | 618082 | 16023 90 | 15 | 27 898.73/898.91 c 898s | 19 | 2194351 | 619482 | 16023 90 | 15 | 27 900.72/900.98 c 900s | 19 | 2199627 | 620882 | 16023 90 | 15 | 27 902.82/903.05 c 902s | 19 | 2205056 | 622282 | 16023 90 | 15 | 27 904.82/905.06 c 904s | 19 | 2211042 | 623682 | 16023 90 | 15 | 27 906.92/907.13 c 906s | 19 | 2216991 | 625182 | 16023 90 | 15 | 27 908.91/909.16 c 908s | 19 | 2222007 | 626482 | 16023 91 | 15 | 27 911.01/911.28 c 911s | 19 | 2227656 | 627982 | 16023 91 | 15 | 27 913.02/913.30 c 913s | 19 | 2232854 | 629382 | 16023 91 | 15 | 27 915.22/915.45 c 915s | 19 | 2238206 | 630982 | 16023 91 | 15 | 27 917.21/917.48 c 917s | 19 | 2243202 | 632382 | 16023 91 | 15 | 27 919.41/919.60 c 919s | 19 | 2249049 | 633882 | 16023 91 | 15 | 27 921.41/921.66 c 921s | 19 | 2254245 | 635382 | 16023 92 | 15 | 27 923.51/923.72 c 923s | 19 | 2260366 | 636882 | 16023 92 | 15 | 27 925.61/925.82 c 925s | 19 | 2265875 | 638482 | 16023 92 | 15 | 27 927.61/927.87 c 927s | 19 | 2271485 | 639982 | 16023 92 | 15 | 27 929.71/929.92 c 929s | 19 | 2276547 | 641482 | 16023 92 | 15 | 27 931.81/932.03 c 931s | 19 | 2282126 | 642982 | 16023 92 | 15 | 27 933.91/934.14 c 933s | 19 | 2287516 | 644582 | 16023 93 | 15 | 27 935.91/936.19 c 935s | 19 | 2292676 | 646182 | 16023 93 | 15 | 27 938.01/938.28 c 938s | 19 | 2297899 | 647682 | 16023 93 | 15 | 27 940.20/940.48 c 940s | 19 | 2299416 | 648082 | 16023 93 | 15 | 27 942.30/942.54 c 942s | 19 | 2303812 | 649382 | 16023 93 | 15 | 27 944.30/944.59 c 944s | 19 | 2308029 | 650682 | 16023 93 | 15 | 27 946.40/946.60 c 946s | 19 | 2312658 | 651882 | 16023 94 | 15 | 27 948.50/948.72 c 948s | 19 | 2318245 | 653282 | 16023 94 | 15 | 27 950.50/950.77 c 950s | 19 | 2323212 | 654682 | 16023 94 | 15 | 27 952.60/952.82 c 952s | 19 | 2328679 | 656082 | 16023 94 | 15 | 27 954.59/954.83 c 954s | 19 | 2334623 | 657482 | 16023 94 | 15 | 27 956.59/956.89 c 956s | 19 | 2340058 | 658882 | 16023 94 | 15 | 27 958.69/958.96 c 958s | 19 | 2345617 | 660282 | 16023 95 | 15 | 27 960.79/961.03 c 960s | 19 | 2350306 | 661782 | 16023 95 | 15 | 27 962.79/963.06 c 962s | 19 | 2355306 | 663182 | 17626 95 | 15 | 27 964.80/965.08 c 964s | 19 | 2359837 | 664582 | 17626 95 | 15 | 27 966.90/967.14 c 966s | 19 | 2365964 | 666082 | 17626 95 | 15 | 27 968.00/968.24 c 968s | 20 | 2368794 | 666827 | 17626 95 | 15 | 27 969.99/970.28 c 970s | 20 | 2374252 | 668227 | 17626 95 | 15 | 27 972.19/972.41 c 972s | 20 | 2379567 | 669627 | 17626 96 | 15 | 27 974.29/974.57 c 974s | 20 | 2385113 | 671127 | 17626 96 | 15 | 27 976.39/976.60 c 976s | 20 | 2390546 | 672527 | 17626 96 | 15 | 27 978.39/978.68 c 978s | 20 | 2395990 | 674027 | 17626 96 | 15 | 27 980.48/980.75 c 980s | 20 | 2401549 | 675527 | 17626 96 | 15 | 27 982.58/982.84 c 982s | 20 | 2406821 | 677027 | 17626 96 | 15 | 27 984.68/984.94 c 984s | 20 | 2412708 | 678527 | 17626 96 | 15 | 27 987.89/988.15 c 987s | 20 | 2418266 | 680027 | 17626 97 | 15 | 27 989.98/990.24 c 990s | 20 | 2423261 | 681127 | 17626 97 | 15 | 27 992.08/992.35 c 992s | 20 | 2429275 | 682527 | 17626 97 | 15 | 27 994.08/994.38 c 994s | 20 | 2434356 | 683927 | 17626 97 | 15 | 27 996.08/996.39 c 996s | 20 | 2439125 | 685427 | 17626 97 | 15 | 27 998.18/998.45 c 998s | 20 | 2443787 | 686627 | 17626 97 | 15 | 27 1000.17/1000.48 c 1000s | 20 | 2447870 | 687827 | 17626 98 | 15 | 27 1002.27/1002.54 c 1002s | 20 | 2452934 | 689227 | 17626 98 | 15 | 27 1004.28/1004.58 c 1004s | 20 | 2458175 | 690527 | 17626 98 | 15 | 27 1006.27/1006.58 c 1006s | 20 | 2462714 | 691827 | 17626 98 | 15 | 27 1008.47/1008.70 c 1008s | 20 | 2468273 | 693327 | 17626 98 | 15 | 27 1010.47/1010.71 c 1010s | 20 | 2473455 | 694627 | 17626 98 | 15 | 27 1012.57/1012.80 c 1012s | 20 | 2478661 | 696027 | 17626 98 | 15 | 27 1014.67/1014.93 c 1014s | 20 | 2483884 | 697427 | 17626 99 | 15 | 27 1016.77/1017.05 c 1016s | 20 | 2489305 | 698927 | 17626 99 | 15 | 27 1018.77/1019.07 c 1018s | 20 | 2495270 | 700227 | 17626 99 | 15 | 27 1020.96/1021.22 c 1020s | 20 | 2500558 | 701527 | 17626 99 | 15 | 27 1022.97/1023.30 c 1023s | 20 | 2505760 | 702927 | 17626 99 | 15 | 27 1025.06/1025.33 c 1025s | 20 | 2510816 | 704327 | 17626 99 | 15 | 27 1027.16/1027.43 c 1027s | 20 | 2516461 | 705727 | 17626 99 | 15 | 27 1029.16/1029.44 c 1029s | 20 | 2521045 | 707027 | 17626 100 | 15 | 27 1031.26/1031.53 c 1031s | 20 | 2526933 | 708527 | 17626 100 | 15 | 27 1033.36/1033.65 c 1033s | 20 | 2532569 | 710127 | 17626 100 | 15 | 27 1035.46/1035.72 c 1035s | 20 | 2538462 | 711627 | 17626 100 | 15 | 27 1037.46/1037.75 c 1037s | 20 | 2543658 | 713127 | 17626 100 | 15 | 27 1039.56/1039.83 c 1039s | 20 | 2548889 | 714627 | 17626 100 | 15 | 27 1041.55/1041.85 c 1041s | 20 | 2554514 | 716127 | 17626 101 | 15 | 27 1043.65/1043.93 c 1043s | 20 | 2560524 | 717727 | 17626 101 | 15 | 27 1045.85/1046.12 c 1045s | 20 | 2566306 | 719327 | 17626 101 | 15 | 27 1047.95/1048.22 c 1047s | 20 | 2569985 | 720127 | 17626 101 | 15 | 27 1049.95/1050.25 c 1050s | 20 | 2574893 | 721527 | 17626 101 | 15 | 27 1052.05/1052.37 c 1052s | 20 | 2579670 | 722727 | 17626 101 | 15 | 27 1054.05/1054.40 c 1054s | 20 | 2584457 | 724127 | 17626 102 | 15 | 27 1056.25/1056.50 c 1056s | 20 | 2589518 | 725527 | 17626 102 | 15 | 27 1058.26/1058.51 c 1058s | 20 | 2594976 | 726927 | 17626 102 | 15 | 27 1060.35/1060.63 c 1060s | 20 | 2601167 | 728427 | 17626 102 | 15 | 27 1062.34/1062.67 c 1062s | 20 | 2606505 | 729827 | 17626 102 | 15 | 27 1064.34/1064.68 c 1064s | 20 | 2612035 | 731227 | 17626 102 | 15 | 27 1066.54/1066.82 c 1066s | 20 | 2617616 | 732627 | 17626 102 | 15 | 27 1068.54/1068.84 c 1068s | 20 | 2623092 | 734027 | 17626 103 | 15 | 27 1070.64/1070.91 c 1070s | 20 | 2627573 | 735427 | 17626 103 | 15 | 27 1072.74/1073.04 c 1072s | 20 | 2633257 | 736927 | 17626 103 | 15 | 27 1074.84/1075.14 c 1074s | 20 | 2638654 | 738427 | 17626 103 | 15 | 27 1076.84/1077.19 c 1076s | 20 | 2643974 | 739827 | 17626 103 | 15 | 27 1078.94/1079.22 c 1078s | 20 | 2650235 | 741227 | 17626 103 | 15 | 27 1080.94/1081.26 c 1081s | 20 | 2655342 | 742627 | 17626 104 | 15 | 27 1083.04/1083.37 c 1083s | 20 | 2660733 | 744227 | 17626 104 | 15 | 27 1085.14/1085.41 c 1085s | 20 | 2666625 | 745727 | 17626 104 | 15 | 27 1087.14/1087.44 c 1087s | 20 | 2671440 | 747227 | 17626 104 | 15 | 27 1089.24/1089.51 c 1089s | 20 | 2676442 | 748727 | 17626 104 | 15 | 27 1091.34/1091.63 c 1091s | 20 | 2682310 | 750327 | 17626 104 | 15 | 27 1093.45/1093.71 c 1093s | 20 | 2687919 | 751827 | 17626 105 | 15 | 27 1095.44/1095.75 c 1095s | 20 | 2693369 | 753427 | 17626 105 | 15 | 27 1097.54/1097.86 c 1097s | 20 | 2697432 | 754527 | 17626 105 | 15 | 27 1099.63/1099.99 c 1099s | 20 | 2703425 | 755927 | 17626 105 | 15 | 27 1101.73/1102.05 c 1101s | 20 | 2707850 | 757127 | 17626 105 | 15 | 27 1103.73/1104.07 c 1103s | 20 | 2712447 | 758427 | 17626 105 | 15 | 27 1105.83/1106.15 c 1105s | 20 | 2717354 | 759927 | 17626 105 | 15 | 27 1107.83/1108.19 c 1107s | 20 | 2722856 | 761327 | 17626 106 | 15 | 27 1110.03/1110.31 c 1110s | 20 | 2728671 | 762727 | 17626 106 | 15 | 27 1112.13/1112.41 c 1112s | 20 | 2733993 | 764227 | 17626 106 | 15 | 27 1114.23/1114.55 c 1114s | 20 | 2740145 | 765827 | 17626 106 | 15 | 27 1116.32/1116.65 c 1116s | 20 | 2745457 | 767427 | 17626 106 | 15 | 27 1118.32/1118.69 c 1118s | 20 | 2750903 | 768827 | 17626 106 | 15 | 27 1120.42/1120.78 c 1120s | 20 | 2756280 | 770227 | 17626 107 | 15 | 27 1122.62/1122.90 c 1122s | 20 | 2761937 | 771827 | 17626 107 | 15 | 27 1124.62/1124.91 c 1124s | 20 | 2767098 | 773327 | 17626 107 | 15 | 27 1126.72/1127.05 c 1126s | 20 | 2773271 | 774827 | 17626 107 | 15 | 27 1128.82/1129.12 c 1128s | 20 | 2779023 | 776327 | 17626 107 | 15 | 27 1130.82/1131.14 c 1130s | 20 | 2784374 | 777727 | 17626 107 | 15 | 27 1132.92/1133.23 c 1133s | 20 | 2789031 | 779127 | 17626 108 | 15 | 27 1135.01/1135.32 c 1135s | 20 | 2794091 | 780727 | 17626 108 | 15 | 27 1137.11/1137.40 c 1137s | 20 | 2800046 | 782227 | 17626 108 | 15 | 27 1139.21/1139.53 c 1139s | 20 | 2805520 | 783827 | 17626 108 | 15 | 27 1141.21/1141.56 c 1141s | 20 | 2810954 | 785327 | 17626 108 | 15 | 27 1143.31/1143.68 c 1143s | 20 | 2816841 | 786927 | 17626 108 | 15 | 27 1145.61/1145.99 c 1145s | 20 | 2820382 | 788027 | 17626 109 | 15 | 27 1147.61/1148.00 c 1147s | 20 | 2824303 | 789027 | 17626 109 | 15 | 27 1149.80/1150.11 c 1149s | 20 | 2829492 | 790527 | 17626 109 | 15 | 27 1151.80/1152.18 c 1151s | 20 | 2834807 | 792027 | 17626 109 | 15 | 27 1153.91/1154.28 c 1154s | 20 | 2840492 | 793527 | 17626 109 | 15 | 27 1155.90/1156.29 c 1156s | 20 | 2845845 | 794827 | 17626 109 | 15 | 27 1158.00/1158.38 c 1158s | 20 | 2851440 | 796327 | 17626 109 | 15 | 27 1160.10/1160.48 c 1160s | 20 | 2857168 | 797827 | 17626 110 | 15 | 27 1162.10/1162.49 c 1162s | 20 | 2862671 | 799427 | 17626 110 | 15 | 27 1164.20/1164.54 c 1164s | 20 | 2868553 | 800927 | 17626 110 | 15 | 27 1166.19/1166.58 c 1166s | 20 | 2874210 | 802427 | 17626 110 | 15 | 27 1168.39/1168.71 c 1168s | 20 | 2879497 | 804027 | 17626 110 | 15 | 27 1170.40/1170.74 c 1170s | 20 | 2885387 | 805527 | 17626 110 | 15 | 27 1172.50/1172.87 c 1172s | 20 | 2890945 | 806927 | 17626 111 | 15 | 27 1174.59/1175.00 c 1174s | 20 | 2897468 | 808527 | 17626 111 | 15 | 27 1176.69/1177.09 c 1176s | 20 | 2903273 | 810127 | 17626 111 | 15 | 27 1178.79/1179.16 c 1178s | 20 | 2909849 | 811627 | 17626 111 | 15 | 27 1180.88/1181.23 c 1181s | 20 | 2916146 | 813127 | 17626 111 | 15 | 27 1182.98/1183.30 c 1183s | 20 | 2921844 | 814627 | 17626 111 | 15 | 27 1184.98/1185.32 c 1185s | 20 | 2927700 | 816127 | 17626 112 | 15 | 27 1186.98/1187.37 c 1187s | 20 | 2933648 | 817727 | 17626 112 | 15 | 27 1189.18/1189.50 c 1189s | 20 | 2939316 | 819327 | 17626 112 | 15 | 27 1191.18/1191.57 c 1191s | 20 | 2944224 | 820827 | 17626 112 | 15 | 27 1193.48/1193.89 c 1193s | 20 | 2948059 | 821827 | 17626 112 | 15 | 27 1195.58/1195.92 c 1195s | 20 | 2953902 | 823127 | 17626 112 | 15 | 27 1197.57/1197.99 c 1197s | 20 | 2958719 | 824427 | 17626 113 | 15 | 27 1199.67/1200.04 c 1199s | 20 | 2964291 | 825727 | 17626 113 | 15 | 27 1201.67/1202.06 c 1201s | 20 | 2969123 | 827227 | 17626 113 | 15 | 27 1203.67/1204.08 c 1203s | 20 | 2973337 | 828427 | 17626 113 | 15 | 27 1205.87/1206.20 c 1205s | 20 | 2978841 | 829827 | 17626 113 | 15 | 27 1207.97/1208.35 c 1208s | 20 | 2984859 | 831227 | 17626 113 | 15 | 27 1210.07/1210.41 c 1210s | 20 | 2989857 | 832627 | 17626 113 | 15 | 27 1212.07/1212.43 c 1212s | 20 | 2995201 | 833927 | 17626 114 | 15 | 27 1214.06/1214.49 c 1214s | 20 | 3000544 | 835327 | 17626 114 | 15 | 27 1216.06/1216.49 c 1216s | 20 | 3005631 | 836727 | 17626 114 | 15 | 27 1218.16/1218.55 c 1218s | 20 | 3011139 | 838227 | 17626 114 | 15 | 27 1220.26/1220.65 c 1220s | 20 | 3016096 | 839727 | 17626 114 | 15 | 27 1222.26/1222.68 c 1222s | 20 | 3021565 | 841127 | 17626 114 | 15 | 27 1224.46/1224.88 c 1224s | 20 | 3027403 | 842627 | 17626 115 | 15 | 27 1226.56/1226.93 c 1226s | 20 | 3033300 | 844227 | 17626 115 | 15 | 27 1228.56/1228.96 c 1228s | 20 | 3038857 | 845727 | 17626 115 | 15 | 27 1230.55/1230.99 c 1230s | 20 | 3044466 | 847227 | 17626 115 | 15 | 27 1232.65/1233.06 c 1232s | 20 | 3050424 | 848827 | 17626 115 | 15 | 27 1234.75/1235.16 c 1234s | 20 | 3056666 | 850427 | 17626 115 | 15 | 27 1236.85/1237.22 c 1236s | 20 | 3061686 | 851927 | 17626 116 | 15 | 27 1238.95/1239.35 c 1239s | 20 | 3067303 | 853627 | 17626 116 | 15 | 27 1241.05/1241.43 c 1241s | 20 | 3072489 | 855227 | 17626 116 | 15 | 27 1243.15/1243.55 c 1243s | 20 | 3075759 | 856227 | 17626 116 | 15 | 27 1245.25/1245.60 c 1245s | 20 | 3080948 | 857627 | 17626 116 | 15 | 27 1247.26/1247.67 c 1247s | 20 | 3085414 | 858827 | 17626 116 | 15 | 27 1249.35/1249.70 c 1249s | 20 | 3090028 | 860227 | 17626 116 | 15 | 27 1251.35/1251.71 c 1251s | 20 | 3095585 | 861527 | 17626 117 | 15 | 27 1253.45/1253.82 c 1253s | 20 | 3101321 | 863127 | 17626 117 | 15 | 27 1255.45/1255.87 c 1255s | 20 | 3106916 | 864627 | 17626 117 | 15 | 27 1257.55/1257.98 c 1257s | 20 | 3112795 | 866127 | 17626 117 | 15 | 27 1259.54/1259.99 c 1259s | 20 | 3117859 | 867627 | 17626 117 | 15 | 27 1261.65/1262.03 c 1261s | 20 | 3123025 | 869027 | 17626 117 | 15 | 27 1263.75/1264.10 c 1263s | 20 | 3127692 | 870427 | 17626 118 | 15 | 27 1265.74/1266.19 c 1265s | 20 | 3133210 | 871927 | 17626 118 | 15 | 27 1267.84/1268.22 c 1267s | 20 | 3138914 | 873427 | 17626 118 | 15 | 27 1269.94/1270.33 c 1270s | 20 | 3144012 | 874927 | 17626 118 | 15 | 27 1271.94/1272.40 c 1272s | 20 | 3149584 | 876427 | 17626 118 | 15 | 27 1274.04/1274.49 c 1274s | 20 | 3154933 | 877927 | 17626 118 | 15 | 27 1276.14/1276.58 c 1276s | 20 | 3159973 | 879327 | 17626 119 | 15 | 27 1278.23/1278.62 c 1278s | 20 | 3165970 | 880927 | 17626 119 | 15 | 27 1280.24/1280.67 c 1280s | 20 | 3171874 | 882427 | 17626 119 | 15 | 27 1282.33/1282.76 c 1282s | 20 | 3178158 | 884027 | 17626 119 | 15 | 27 1284.33/1284.77 c 1284s | 20 | 3183429 | 885527 | 17626 119 | 15 | 27 1286.43/1286.82 c 1286s | 20 | 3188658 | 887027 | 17626 119 | 15 | 27 1288.53/1288.90 c 1288s | 20 | 3193820 | 888527 | 17626 120 | 15 | 27 1290.52/1290.95 c 1290s | 20 | 3196916 | 889327 | 17626 120 | 15 | 27 1292.62/1293.00 c 1292s | 20 | 3202508 | 890827 | 17626 120 | 15 | 27 1294.63/1295.10 c 1294s | 20 | 3207589 | 892227 | 17626 120 | 15 | 27 1296.83/1297.21 c 1296s | 20 | 3213651 | 893727 | 17626 120 | 15 | 27 1298.93/1299.32 c 1299s | 20 | 3219084 | 895227 | 17626 120 | 15 | 27 1301.02/1301.42 c 1301s | 20 | 3225592 | 896727 | 17626 120 | 15 | 27 1303.12/1303.54 c 1303s | 20 | 3231558 | 898227 | 17626 121 | 15 | 27 1305.12/1305.56 c 1305s | 20 | 3237194 | 899727 | 17626 121 | 15 | 27 1307.22/1307.65 c 1307s | 20 | 3243106 | 901227 | 17626 121 | 15 | 27 1309.31/1309.76 c 1309s | 20 | 3248335 | 902627 | 17626 121 | 15 | 27 1311.41/1311.81 c 1311s | 20 | 3253218 | 904127 | 17626 121 | 15 | 27 1313.51/1313.97 c 1313s | 20 | 3258931 | 905627 | 17626 121 | 15 | 27 1315.61/1316.02 c 1315s | 20 | 3264372 | 907027 | 17626 122 | 15 | 27 1317.72/1318.13 c 1317s | 20 | 3270235 | 908627 | 17626 122 | 15 | 27 1319.81/1320.26 c 1320s | 20 | 3276236 | 910127 | 17626 122 | 15 | 27 1321.90/1322.40 c 1322s | 20 | 3281821 | 911627 | 17626 122 | 15 | 27 1324.00/1324.48 c 1324s | 20 | 3287189 | 913227 | 17626 122 | 15 | 27 1326.10/1326.59 c 1326s | 20 | 3292910 | 914727 | 17626 122 | 15 | 27 1328.20/1328.62 c 1328s | 20 | 3297360 | 916227 | 17626 123 | 15 | 27 1330.20/1330.65 c 1330s | 20 | 3302750 | 917827 | 17626 123 | 15 | 27 1332.30/1332.76 c 1332s | 20 | 3308428 | 919427 | 17626 123 | 15 | 27 1334.50/1334.90 c 1334s | 20 | 3312118 | 920427 | 17626 123 | 15 | 27 1336.49/1336.95 c 1336s | 20 | 3316524 | 921627 | 17626 123 | 15 | 27 1338.50/1338.99 c 1338s | 20 | 3321410 | 922927 | 17626 123 | 15 | 27 1340.49/1341.00 c 1340s | 20 | 3326877 | 924327 | 17626 123 | 15 | 27 1342.59/1343.00 c 1342s | 20 | 3331788 | 925627 | 17626 124 | 15 | 27 1344.59/1345.02 c 1344s | 20 | 3336595 | 926927 | 17626 124 | 15 | 27 1346.69/1347.11 c 1346s | 20 | 3342479 | 928527 | 17626 124 | 15 | 27 1348.69/1349.15 c 1348s | 20 | 3348178 | 929927 | 17626 124 | 15 | 27 1350.69/1351.18 c 1350s | 20 | 3353950 | 931327 | 17626 124 | 15 | 27 1352.69/1353.20 c 1352s | 20 | 3359677 | 932727 | 17626 124 | 15 | 27 1354.79/1355.25 c 1355s | 20 | 3364710 | 934127 | 17626 125 | 15 | 27 1356.79/1357.27 c 1357s | 20 | 3371167 | 935627 | 17626 125 | 15 | 27 1358.89/1359.39 c 1359s | 20 | 3377264 | 937227 | 17626 125 | 15 | 27 1360.98/1361.49 c 1361s | 20 | 3383447 | 938827 | 17626 125 | 15 | 27 1363.09/1363.54 c 1363s | 20 | 3389180 | 940327 | 17626 125 | 15 | 27 1365.09/1365.58 c 1365s | 20 | 3394651 | 941727 | 17626 125 | 15 | 27 1367.10/1367.59 c 1367s | 20 | 3399730 | 943327 | 17626 126 | 15 | 27 1369.09/1369.59 c 1369s | 20 | 3405158 | 944827 | 17626 126 | 15 | 27 1371.29/1371.72 c 1371s | 20 | 3411206 | 946427 | 17626 126 | 15 | 27 1373.29/1373.76 c 1373s | 20 | 3417687 | 948027 | 17626 126 | 15 | 27 1375.39/1375.84 c 1375s | 20 | 3423702 | 949627 | 17626 126 | 15 | 27 1377.39/1377.86 c 1377s | 20 | 3428630 | 951127 | 17626 126 | 15 | 27 1379.58/1380.01 c 1379s | 20 | 3431831 | 952027 | 17626 126 | 15 | 27 1381.58/1382.08 c 1381s | 20 | 3436616 | 953327 | 17626 127 | 15 | 27 1383.69/1384.17 c 1383s | 20 | 3442328 | 954927 | 17626 127 | 15 | 27 1385.79/1386.26 c 1386s | 20 | 3447981 | 956427 | 17626 127 | 15 | 27 1387.88/1388.38 c 1388s | 20 | 3453245 | 957927 | 17626 127 | 15 | 27 1389.98/1390.41 c 1390s | 20 | 3458512 | 959227 | 17626 127 | 15 | 27 1392.08/1392.52 c 1392s | 20 | 3464109 | 960727 | 17626 127 | 15 | 27 1394.18/1394.61 c 1394s | 20 | 3469682 | 962127 | 17626 128 | 15 | 27 1396.18/1396.62 c 1396s | 20 | 3474748 | 963627 | 17626 128 | 15 | 27 1398.18/1398.68 c 1398s | 20 | 3480280 | 965227 | 17626 128 | 15 | 27 1400.27/1400.75 c 1400s | 20 | 3485552 | 966727 | 17626 128 | 15 | 27 1402.38/1402.88 c 1402s | 20 | 3491133 | 968327 | 17626 128 | 15 | 27 1404.48/1405.00 c 1404s | 20 | 3496100 | 969627 | 17626 128 | 15 | 27 1406.57/1407.09 c 1406s | 20 | 3500510 | 970827 | 17626 129 | 15 | 27 1408.77/1409.22 c 1409s | 20 | 3505321 | 972227 | 17626 129 | 15 | 27 1410.87/1411.36 c 1411s | 20 | 3510745 | 973727 | 17626 129 | 15 | 27 1412.97/1413.45 c 1413s | 20 | 3516685 | 975227 | 17626 129 | 15 | 27 1415.07/1415.52 c 1415s | 20 | 3521917 | 976727 | 17626 129 | 15 | 27 1417.07/1417.56 c 1417s | 20 | 3526986 | 978127 | 17626 129 | 15 | 27 1419.17/1419.67 c 1419s | 20 | 3531559 | 979527 | 17626 130 | 15 | 27 1421.27/1421.74 c 1421s | 20 | 3536544 | 981027 | 17626 130 | 15 | 27 1423.37/1423.80 c 1423s | 20 | 3542751 | 982627 | 17626 130 | 15 | 27 1425.48/1425.94 c 1425s | 20 | 3548779 | 984127 | 17626 130 | 15 | 27 1427.47/1427.97 c 1427s | 20 | 3553995 | 985627 | 17626 130 | 15 | 27 1429.57/1430.05 c 1429s | 20 | 3558670 | 987227 | 17626 130 | 15 | 27 1431.67/1432.19 c 1431s | 20 | 3562941 | 988327 | 17626 130 | 15 | 27 1433.76/1434.22 c 1433s | 20 | 3568265 | 989627 | 17626 131 | 15 | 27 1435.76/1436.23 c 1436s | 20 | 3572979 | 991027 | 17626 131 | 15 | 27 1437.86/1438.32 c 1438s | 20 | 3578798 | 992627 | 17626 131 | 15 | 27 1439.86/1440.32 c 1440s | 20 | 3584368 | 994127 | 19389 131 | 15 | 27 1441.87/1442.39 c 1442s | 20 | 3589568 | 995627 | 19389 131 | 15 | 27 1444.07/1444.54 c 1444s | 20 | 3595493 | 997227 | 19389 131 | 15 | 27 1446.06/1446.54 c 1446s | 20 | 3601145 | 998627 | 19389 131 | 15 | 27 1448.16/1448.60 c 1448s | 20 | 3606909 | 1000127 | 19389 132 | 15 | 27 1448.36/1448.89 c 1448s | 21 | 3607489 | 1000345 | 19389 132 | 15 | 27 1450.46/1450.97 c 1450s | 21 | 3609528 | 1000845 | 19389 132 | 15 | 27 1452.56/1453.02 c 1452s | 21 | 3615097 | 1002145 | 19389 132 | 15 | 27 1454.56/1455.08 c 1454s | 21 | 3620751 | 1003545 | 19389 132 | 15 | 27 1456.96/1457.40 c 1457s | 21 | 3622702 | 1004145 | 19389 132 | 15 | 27 1459.06/1459.58 c 1459s | 21 | 3627403 | 1005345 | 19389 132 | 15 | 27 1461.16/1461.66 c 1461s | 21 | 3632704 | 1006645 | 19389 132 | 15 | 27 1463.16/1463.66 c 1463s | 21 | 3637462 | 1007945 | 19389 132 | 15 | 27 1465.26/1465.79 c 1465s | 21 | 3641369 | 1009145 | 19389 132 | 15 | 27 1467.36/1467.82 c 1467s | 21 | 3646014 | 1010345 | 19389 133 | 15 | 27 1469.37/1469.87 c 1469s | 21 | 3650574 | 1011645 | 19389 133 | 15 | 27 1471.46/1471.91 c 1471s | 21 | 3655499 | 1012945 | 19389 133 | 15 | 27 1473.46/1473.94 c 1473s | 21 | 3660013 | 1014245 | 19389 133 | 15 | 27 1475.56/1476.01 c 1475s | 21 | 3664892 | 1015645 | 19389 133 | 15 | 27 1477.56/1478.09 c 1477s | 21 | 3669210 | 1016945 | 19389 133 | 15 | 27 1479.76/1480.20 c 1479s | 21 | 3674145 | 1018345 | 19389 133 | 15 | 27 1481.76/1482.22 c 1482s | 21 | 3678811 | 1019645 | 19389 134 | 15 | 27 1483.77/1484.28 c 1484s | 21 | 3682672 | 1021145 | 19389 134 | 15 | 27 1485.87/1486.33 c 1486s | 21 | 3687779 | 1022545 | 19389 134 | 15 | 27 1487.86/1488.35 c 1488s | 21 | 3693376 | 1024045 | 19389 134 | 15 | 27 1489.96/1490.48 c 1490s | 21 | 3699482 | 1025645 | 19389 134 | 15 | 27 1492.16/1492.61 c 1492s | 21 | 3704904 | 1027145 | 19389 134 | 15 | 27 1494.26/1494.77 c 1494s | 21 | 3710656 | 1028645 | 19389 134 | 15 | 27 1496.36/1496.80 c 1496s | 21 | 3715831 | 1030045 | 19389 135 | 15 | 27 1498.46/1498.91 c 1498s | 21 | 3721459 | 1031645 | 19389 135 | 15 | 27 1500.46/1500.94 c 1500s | 21 | 3727280 | 1033145 | 19389 135 | 15 | 27 1502.56/1503.03 c 1502s | 21 | 3733037 | 1034745 | 19389 135 | 15 | 27 1504.56/1505.07 c 1504s | 21 | 3738701 | 1036345 | 19389 135 | 15 | 27 1506.66/1507.11 c 1506s | 21 | 3744168 | 1037845 | 19389 135 | 15 | 27 1508.66/1509.16 c 1508s | 21 | 3749683 | 1039345 | 19389 135 | 15 | 27 1510.75/1511.26 c 1511s | 21 | 3755385 | 1040945 | 19389 136 | 15 | 27 1512.85/1513.34 c 1513s | 21 | 3761449 | 1042545 | 19389 136 | 15 | 27 1514.95/1515.42 c 1515s | 21 | 3767431 | 1044045 | 19389 136 | 15 | 27 1517.05/1517.50 c 1517s | 21 | 3772747 | 1045645 | 19389 136 | 15 | 27 1519.05/1519.53 c 1519s | 21 | 3778433 | 1047145 | 19389 136 | 15 | 27 1521.06/1521.58 c 1521s | 21 | 3783411 | 1048745 | 19389 136 | 15 | 27 1523.15/1523.68 c 1523s | 21 | 3788674 | 1050245 | 19389 137 | 15 | 27 1525.25/1525.71 c 1525s | 21 | 3793563 | 1051845 | 19389 137 | 15 | 27 1527.25/1527.73 c 1527s | 21 | 3799117 | 1053345 | 19389 137 | 15 | 27 1529.35/1529.83 c 1529s | 21 | 3804907 | 1054945 | 19389 137 | 15 | 27 1531.35/1531.88 c 1531s | 21 | 3806706 | 1055445 | 19389 137 | 15 | 27 1533.45/1533.98 c 1533s | 21 | 3812046 | 1056745 | 19389 137 | 15 | 27 1535.65/1536.15 c 1535s | 21 | 3816571 | 1058045 | 19389 137 | 15 | 27 1537.85/1538.38 c 1538s | 21 | 3821481 | 1059345 | 19389 138 | 15 | 27 1539.95/1540.42 c 1540s | 21 | 3827296 | 1060745 | 19389 138 | 15 | 27 1541.95/1542.50 c 1542s | 21 | 3832745 | 1062245 | 19389 138 | 15 | 27 1544.05/1544.59 c 1544s | 21 | 3838440 | 1063645 | 19389 138 | 15 | 27 1546.25/1546.72 c 1546s | 21 | 3843639 | 1065045 | 19389 138 | 15 | 27 1548.34/1548.82 c 1548s | 21 | 3849299 | 1066545 | 19389 138 | 15 | 27 1550.34/1550.84 c 1550s | 21 | 3853899 | 1067845 | 19389 138 | 15 | 27 1552.44/1552.96 c 1552s | 21 | 3859044 | 1069245 | 19389 138 | 15 | 27 1554.64/1555.11 c 1554s | 21 | 3864583 | 1070745 | 19389 139 | 15 | 27 1556.64/1557.15 c 1556s | 21 | 3870287 | 1072145 | 19389 139 | 15 | 27 1558.74/1559.26 c 1559s | 21 | 3875450 | 1073545 | 19389 139 | 15 | 27 1560.84/1561.31 c 1561s | 21 | 3881411 | 1074845 | 19389 139 | 15 | 27 1562.95/1563.43 c 1563s | 21 | 3887624 | 1076345 | 19389 139 | 15 | 27 1565.05/1565.53 c 1565s | 21 | 3893480 | 1077745 | 19389 139 | 15 | 27 1567.14/1567.67 c 1567s | 21 | 3899241 | 1079145 | 19389 139 | 15 | 27 1569.24/1569.76 c 1569s | 21 | 3904714 | 1080545 | 19389 140 | 15 | 27 1571.24/1571.76 c 1571s | 21 | 3909946 | 1082045 | 19389 140 | 15 | 27 1573.34/1573.87 c 1573s | 21 | 3914770 | 1083545 | 19389 140 | 15 | 27 1575.44/1575.99 c 1575s | 21 | 3920426 | 1085045 | 19389 140 | 15 | 27 1577.54/1578.07 c 1577s | 21 | 3925263 | 1086345 | 19389 140 | 15 | 27 1579.54/1580.09 c 1579s | 21 | 3931101 | 1087845 | 19389 140 | 15 | 27 1581.74/1582.26 c 1582s | 21 | 3936694 | 1089345 | 19389 141 | 15 | 27 1583.85/1584.39 c 1584s | 21 | 3941977 | 1090845 | 19389 141 | 15 | 27 1585.95/1586.47 c 1586s | 21 | 3947306 | 1092445 | 19389 141 | 15 | 27 1588.04/1588.53 c 1588s | 21 | 3952207 | 1093945 | 19389 141 | 15 | 27 1590.04/1590.59 c 1590s | 21 | 3957565 | 1095445 | 19389 141 | 15 | 27 1592.14/1592.64 c 1592s | 21 | 3962629 | 1096945 | 19389 141 | 15 | 27 1594.14/1594.67 c 1594s | 21 | 3966187 | 1097945 | 19389 141 | 15 | 27 1596.23/1596.70 c 1596s | 21 | 3969574 | 1098945 | 19389 141 | 15 | 27 1598.24/1598.72 c 1598s | 21 | 3974545 | 1100145 | 19389 142 | 15 | 27 1600.35/1600.81 c 1600s | 21 | 3980530 | 1101645 | 19389 142 | 15 | 27 1602.74/1603.26 c 1603s | 21 | 3985678 | 1103045 | 19389 142 | 15 | 27 1604.84/1605.36 c 1605s | 21 | 3991058 | 1104345 | 19389 142 | 15 | 27 1607.04/1607.51 c 1607s | 21 | 3996448 | 1105645 | 19389 142 | 15 | 27 1609.05/1609.59 c 1609s | 21 | 4001704 | 1107045 | 19389 142 | 15 | 27 1611.14/1611.66 c 1611s | 21 | 4006756 | 1108445 | 19389 142 | 15 | 27 1613.24/1613.74 c 1613s | 21 | 4012019 | 1109845 | 19389 143 | 15 | 27 1615.34/1615.87 c 1615s | 21 | 4017416 | 1111345 | 19389 143 | 15 | 27 1617.44/1617.98 c 1617s | 21 | 4022813 | 1112845 | 19389 143 | 15 | 27 1619.64/1620.11 c 1619s | 21 | 4028534 | 1114345 | 19389 143 | 15 | 27 1621.64/1622.15 c 1621s | 21 | 4032883 | 1115745 | 19389 143 | 15 | 27 1623.74/1624.25 c 1624s | 21 | 4038236 | 1117045 | 19389 143 | 15 | 27 1625.84/1626.30 c 1626s | 21 | 4042737 | 1118345 | 19389 143 | 15 | 27 1627.84/1628.40 c 1628s | 21 | 4048243 | 1119745 | 19389 144 | 15 | 27 1629.94/1630.46 c 1630s | 21 | 4053085 | 1121245 | 19389 144 | 15 | 27 1631.94/1632.46 c 1632s | 21 | 4058147 | 1122745 | 19389 144 | 15 | 27 1634.24/1634.74 c 1634s | 21 | 4063325 | 1124245 | 19389 144 | 15 | 27 1636.34/1636.80 c 1636s | 21 | 4068837 | 1125745 | 19389 144 | 15 | 27 1638.34/1638.84 c 1638s | 21 | 4075601 | 1127145 | 19389 144 | 15 | 27 1640.43/1640.96 c 1640s | 21 | 4082377 | 1128645 | 19389 144 | 15 | 27 1642.43/1642.98 c 1642s | 21 | 4087866 | 1130045 | 19389 145 | 15 | 27 1644.53/1645.08 c 1644s | 21 | 4093276 | 1131645 | 19389 145 | 15 | 27 1646.73/1647.20 c 1646s | 21 | 4098649 | 1133145 | 19389 145 | 15 | 27 1648.74/1649.25 c 1649s | 21 | 4103484 | 1134645 | 19389 145 | 15 | 27 1650.84/1651.34 c 1651s | 21 | 4108495 | 1136045 | 19389 145 | 15 | 27 1652.93/1653.41 c 1653s | 21 | 4114391 | 1137445 | 19389 145 | 15 | 27 1655.03/1655.53 c 1655s | 21 | 4120489 | 1138945 | 19389 145 | 15 | 27 1657.03/1657.54 c 1657s | 21 | 4125835 | 1140345 | 19389 146 | 15 | 27 1659.03/1659.55 c 1659s | 21 | 4131752 | 1141845 | 19389 146 | 15 | 27 1661.13/1661.67 c 1661s | 21 | 4137700 | 1143445 | 19389 146 | 15 | 27 1663.23/1663.70 c 1663s | 21 | 4143428 | 1144945 | 19389 146 | 15 | 27 1665.24/1665.75 c 1665s | 21 | 4148878 | 1146445 | 19389 146 | 15 | 27 1667.63/1668.13 c 1667s | 21 | 4153597 | 1148045 | 19389 146 | 15 | 27 1669.83/1670.37 c 1670s | 21 | 4156938 | 1149145 | 19389 147 | 15 | 27 1671.93/1672.44 c 1672s | 21 | 4161749 | 1150545 | 19389 147 | 15 | 27 1673.94/1674.49 c 1674s | 21 | 4166061 | 1151845 | 19389 147 | 15 | 27 1676.03/1676.51 c 1676s | 21 | 4171096 | 1153145 | 19389 147 | 15 | 27 1678.03/1678.54 c 1678s | 21 | 4175774 | 1154545 | 19389 147 | 15 | 27 1680.13/1680.65 c 1680s | 21 | 4180114 | 1155745 | 19389 147 | 15 | 27 1682.13/1682.66 c 1682s | 21 | 4184195 | 1156945 | 19389 147 | 15 | 27 1684.13/1684.67 c 1684s | 21 | 4188760 | 1158245 | 19389 147 | 15 | 27 1686.13/1686.69 c 1686s | 21 | 4193783 | 1159545 | 19389 148 | 15 | 27 1688.13/1688.69 c 1688s | 21 | 4199148 | 1161045 | 19389 148 | 15 | 27 1690.23/1690.73 c 1690s | 21 | 4203514 | 1162445 | 19389 148 | 15 | 27 1692.33/1692.87 c 1692s | 21 | 4208984 | 1163945 | 19389 148 | 15 | 27 1694.43/1694.98 c 1694s | 21 | 4213693 | 1165345 | 19389 148 | 15 | 27 1696.53/1697.03 c 1696s | 21 | 4218412 | 1166745 | 19389 148 | 15 | 27 1698.62/1699.11 c 1698s | 21 | 4223855 | 1168245 | 19389 148 | 15 | 27 1700.62/1701.12 c 1700s | 21 | 4227792 | 1169545 | 19389 149 | 15 | 27 1702.63/1703.13 c 1702s | 21 | 4233415 | 1171045 | 19389 149 | 15 | 27 1704.62/1705.15 c 1704s | 21 | 4237612 | 1172345 | 19389 149 | 15 | 27 1706.62/1707.17 c 1706s | 21 | 4242259 | 1173745 | 19389 149 | 15 | 27 1708.72/1709.23 c 1709s | 21 | 4246891 | 1175145 | 19389 149 | 15 | 27 1710.82/1711.35 c 1711s | 21 | 4251345 | 1176545 | 19389 149 | 15 | 27 1712.82/1713.36 c 1713s | 21 | 4255927 | 1177945 | 19389 149 | 15 | 27 1714.92/1715.49 c 1715s | 21 | 4260497 | 1179345 | 19389 150 | 15 | 27 1717.12/1717.64 c 1717s | 21 | 4265579 | 1180845 | 19389 150 | 15 | 27 1719.13/1719.66 c 1719s | 21 | 4270498 | 1182245 | 19389 150 | 15 | 27 1721.23/1721.76 c 1721s | 21 | 4275734 | 1183745 | 19389 150 | 15 | 27 1723.32/1723.86 c 1723s | 21 | 4280051 | 1185245 | 19389 150 | 15 | 27 1725.42/1725.92 c 1725s | 21 | 4284407 | 1186745 | 19389 150 | 15 | 27 1727.42/1727.99 c 1727s | 21 | 4289237 | 1188145 | 19389 150 | 15 | 27 1729.52/1730.07 c 1729s | 21 | 4293800 | 1189545 | 19389 151 | 15 | 27 1731.52/1732.07 c 1731s | 21 | 4298987 | 1191045 | 19389 151 | 15 | 27 1733.62/1734.14 c 1733s | 21 | 4303669 | 1192645 | 19389 151 | 15 | 27 1735.72/1736.25 c 1736s | 21 | 4308850 | 1194245 | 19389 151 | 15 | 27 1737.82/1738.32 c 1738s | 21 | 4313559 | 1195745 | 19389 151 | 15 | 27 1739.82/1740.39 c 1740s | 21 | 4318560 | 1197245 | 19389 151 | 15 | 27 1741.92/1742.48 c 1742s | 21 | 4323533 | 1198745 | 19389 151 | 15 | 27 1744.51/1745.01 c 1744s | 21 | 4325763 | 1199445 | 19389 152 | 15 | 27 1746.62/1747.16 c 1746s | 21 | 4330019 | 1200545 | 19389 152 | 15 | 27 1748.72/1749.25 c 1749s | 21 | 4335711 | 1201945 | 19389 152 | 15 | 27 1750.81/1751.38 c 1751s | 21 | 4341732 | 1203445 | 19389 152 | 15 | 27 1752.92/1753.48 c 1753s | 21 | 4347279 | 1204945 | 19389 152 | 15 | 27 1755.02/1755.55 c 1755s | 21 | 4352272 | 1206345 | 19389 152 | 15 | 27 1757.12/1757.61 c 1757s | 21 | 4356717 | 1207645 | 19389 152 | 15 | 27 1759.22/1759.78 c 1759s | 21 | 4361493 | 1209045 | 19389 152 | 15 | 27 1761.42/1761.93 c 1761s | 21 | 4366871 | 1210445 | 19389 153 | 15 | 27 1763.42/1763.97 c 1763s | 21 | 4372441 | 1211845 | 19389 153 | 15 | 27 1765.52/1766.04 c 1765s | 21 | 4378318 | 1213345 | 19389 153 | 15 | 27 1767.62/1768.14 c 1767s | 21 | 4383728 | 1214745 | 19389 153 | 15 | 27 1769.72/1770.21 c 1769s | 21 | 4388280 | 1216245 | 19389 153 | 15 | 27 1771.72/1772.22 c 1771s | 21 | 4393188 | 1217545 | 19389 153 | 15 | 27 1773.82/1774.30 c 1774s | 21 | 4398059 | 1218945 | 19389 153 | 15 | 27 1775.82/1776.37 c 1776s | 21 | 4402872 | 1220345 | 19389 154 | 15 | 27 1777.81/1778.38 c 1778s | 21 | 4408130 | 1221745 | 19389 154 | 15 | 27 1779.91/1780.44 c 1780s | 21 | 4413091 | 1223245 | 19389 154 | 15 | 27 1781.91/1782.45 c 1782s | 21 | 4417677 | 1224845 | 19389 154 | 15 | 27 1783.92/1784.46 c 1784s | 21 | 4422388 | 1226145 | 19389 154 | 15 | 27 1785.91/1786.47 c 1786s | 21 | 4426817 | 1227345 | 19389 154 | 15 | 27 1788.01/1788.53 c 1788s | 21 | 4431920 | 1228745 | 19389 154 | 15 | 27 1790.01/1790.54 c 1790s | 21 | 4436684 | 1230145 | 19389 155 | 15 | 27 1792.01/1792.54 c 1792s | 21 | 4441960 | 1231645 | 19389 155 | 15 | 27 1794.11/1794.67 c 1794s | 21 | 4447385 | 1233245 | 19389 155 | 15 | 27 1796.21/1796.78 c 1796s | 21 | 4452411 | 1234845 | 19389 155 | 15 | 27 1798.22/1798.78 c 1798s | 21 | 4458331 | 1236445 | 19389 155 | 15 | 27
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-4106565-1466273495/watcher-4106565-1466273495 -o /tmp/evaluation-result-4106565-1466273495/solver-4106565-1466273495 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26752 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106565-1466273495.opb pid=28815 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.25 2.31 2.23 3/179 28818 /proc/meminfo: memFree=29396632/32872528 swapFree=1191052/1305516 [pid=28818] ppid=28815 vsize=688708 CPUtime=0 cores=0,2,4,6 /proc/28818/stat : 28818 (toysat) R 28815 28818 26736 0 -1 4202496 2566 0 0 0 0 0 0 0 20 0 4 0 29396107 705236992 2926 33554432000 4194304 16246674 140734129201184 140734129200608 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28818/statm: 172945 2935 442 2943 0 169839 0 [pid=28818/tid=28819] ppid=28815 vsize=706116 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28819/stat : 28819 (toysat) S 28815 28818 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29396107 723062784 2994 33554432000 4194304 16246674 140734129201184 139698087374064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28818/tid=28820] ppid=28815 vsize=710212 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28820/stat : 28820 (toysat) S 28815 28818 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29396107 727257088 3010 33554432000 4194304 16246674 140734129201184 139698076884208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28818/tid=28821] ppid=28815 vsize=715332 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28821/stat : 28821 (toysat) S 28815 28818 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29396107 732499968 3028 33554432000 4194304 16246674 140734129201184 139698066410672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100124 s] /proc/loadavg: 2.25 2.31 2.23 3/179 28818 /proc/meminfo: memFree=29396632/32872528 swapFree=1191052/1305516 [pid=28818] ppid=28815 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/28818/stat : 28818 (toysat) R 28815 28818 26736 0 -1 4202496 23424 0 0 0 6 3 0 0 20 0 4 0 29396107 1247350784 23771 33554432000 4194304 16246674 140734129201184 140734129200608 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28818/statm: 304529 23778 765 2943 0 301423 0 [pid=28818/tid=28819] ppid=28815 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28819/stat : 28819 (toysat) S 28815 28818 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29396107 1247350784 23783 33554432000 4194304 16246674 140734129201184 139698087374064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28818/tid=28820] ppid=28815 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28820/stat : 28820 (toysat) S 28815 28818 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29396107 1247350784 23788 33554432000 4194304 16246674 140734129201184 139698076884208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28818/tid=28821] ppid=28815 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28821/stat : 28821 (toysat) S 28815 28818 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29396107 1247350784 23793 33554432000 4194304 16246674 140734129201184 139698066410672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200503 s] /proc/loadavg: 2.25 2.31 2.23 3/179 28818 /proc/meminfo: memFree=29396632/32872528 swapFree=1191052/1305516 [pid=28818] ppid=28815 vsize=1222212 CPUtime=0.19 cores=0,2,4,6 /proc/28818/stat : 28818 (toysat) R 28815 28818 26736 0 -1 4202496 32186 0 0 0 15 4 0 0 20 0 4 0 29396107 1251545088 32511 33554432000 4194304 16246674 140734129201184 140734129200496 5662075 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28818/statm: 305553 32518 841 2943 0 302447 0 [pid=28818/tid=28819] ppid=28815 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28819/stat : 28819 (toysat) S 28815 28818 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29396107 1251545088 32524 33554432000 4194304 16246674 140734129201184 139698087374064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28818/tid=28820] ppid=28815 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28820/stat : 28820 (toysat) S 28815 28818 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29396107 1251545088 32529 33554432000 4194304 16246674 140734129201184 139698076884208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28818/tid=28821] ppid=28815 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28821/stat : 28821 (toysat) S 28815 28818 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29396107 1251545088 32537 33554432000 4194304 16246674 140734129201184 139698066410672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1222212 [startup+0.300472 s] /proc/loadavg: 2.25 2.31 2.23 3/179 28818 /proc/meminfo: memFree=29396632/32872528 swapFree=1191052/1305516 [pid=28818] ppid=28815 vsize=1222212 CPUtime=0.29 cores=0,2,4,6 /proc/28818/stat : 28818 (toysat) R 28815 28818 26736 0 -1 4202496 52717 0 0 0 21 8 0 0 20 0 4 0 29396107 1251545088 53043 33554432000 4194304 16246674 140734129201184 140734129200496 5523634 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28818/statm: 305553 53064 842 2943 0 302447 0 [pid=28818/tid=28819] ppid=28815 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28819/stat : 28819 (toysat) S 28815 28818 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29396107 1251545088 53072 33554432000 4194304 16246674 140734129201184 139698087374064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28818/tid=28820] ppid=28815 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28820/stat : 28820 (toysat) S 28815 28818 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29396107 1251545088 53080 33554432000 4194304 16246674 140734129201184 139698076884208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28818/tid=28821] ppid=28815 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28821/stat : 28821 (toysat) S 28815 28818 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29396107 1251545088 53088 33554432000 4194304 16246674 140734129201184 139698066410672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1222212 [startup+0.700392 s] /proc/loadavg: 2.25 2.31 2.23 3/179 28818 /proc/meminfo: memFree=29396632/32872528 swapFree=1191052/1305516 [pid=28818] ppid=28815 vsize=1222212 CPUtime=0.69 cores=0,2,4,6 /proc/28818/stat : 28818 (toysat) R 28815 28818 26736 0 -1 4202496 133279 0 0 0 49 20 0 0 20 0 4 0 29396107 1251545088 133604 33554432000 4194304 16246674 140734129201184 140734129183104 5661217 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28818/statm: 305553 133617 842 2943 0 302447 0 [pid=28818/tid=28819] ppid=28815 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28819/stat : 28819 (toysat) S 28815 28818 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29396107 1251545088 133624 33554432000 4194304 16246674 140734129201184 139698087374064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28818/tid=28820] ppid=28815 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28820/stat : 28820 (toysat) S 28815 28818 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29396107 1251545088 133630 33554432000 4194304 16246674 140734129201184 139698076884208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28818/tid=28821] ppid=28815 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28821/stat : 28821 (toysat) S 28815 28818 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29396107 1251545088 133633 33554432000 4194304 16246674 140734129201184 139698066410672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1222212 [startup+1.5004 s] /proc/loadavg: 2.25 2.31 2.23 3/183 28822 /proc/meminfo: memFree=28534604/32872528 swapFree=1191052/1305516 [pid=28818] ppid=28815 vsize=1302084 CPUtime=1.48 cores=0,2,4,6 /proc/28818/stat : 28818 (toysat) R 28815 28818 26736 0 -1 4202496 266365 0 0 0 110 38 0 0 20 0 4 0 29396107 1333334016 266690 33554432000 4194304 16246674 140734129201184 140734129183104 5661428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28818/statm: 325521 266690 844 2943 0 322415 0 [pid=28818/tid=28819] ppid=28815 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28819/stat : 28819 (toysat) S 28815 28818 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29396107 1333334016 266690 33554432000 4194304 16246674 140734129201184 139698087374064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28818/tid=28820] ppid=28815 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28820/stat : 28820 (toysat) S 28815 28818 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29396107 1333334016 266690 33554432000 4194304 16246674 140734129201184 139698076884208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28818/tid=28821] ppid=28815 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28821/stat : 28821 (toysat) S 28815 28818 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29396107 1333334016 266690 33554432000 4194304 16246674 140734129201184 139698066410672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1302084 [startup+3.1004 s] /proc/loadavg: 2.25 2.31 2.23 3/183 28822 /proc/meminfo: memFree=28330600/32872528 swapFree=1191052/1305516 [pid=28818] ppid=28815 vsize=1306180 CPUtime=3.08 cores=0,2,4,6 /proc/28818/stat : 28818 (toysat) R 28815 28818 26736 0 -1 4202496 267571 0 0 0 270 38 0 0 20 0 4 0 29396107 1337528320 267896 33554432000 4194304 16246674 140734129201184 140734129183104 12483562 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28818/statm: 326545 267896 846 2943 0 323439 0 [pid=28818/tid=28819] ppid=28815 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28819/stat : 28819 (toysat) S 28815 28818 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29396107 1337528320 267896 33554432000 4194304 16246674 140734129201184 139698087374064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28818/tid=28820] ppid=28815 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28820/stat : 28820 (toysat) S 28815 28818 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29396107 1337528320 267896 33554432000 4194304 16246674 140734129201184 139698076884208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28818/tid=28821] ppid=28815 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28821/stat : 28821 (toysat) S 28815 28818 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29396107 1337528320 267896 33554432000 4194304 16246674 140734129201184 139698066410672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1306180 [startup+6.30039 s] /proc/loadavg: 2.23 2.31 2.23 3/183 28822 /proc/meminfo: memFree=28325024/32872528 swapFree=1191052/1305516 [pid=28818] ppid=28815 vsize=1306180 CPUtime=6.28 cores=0,2,4,6 /proc/28818/stat : 28818 (toysat) R 28815 28818 26736 0 -1 4202496 267636 0 0 0 590 38 0 0 20 0 4 0 29396107 1337528320 267961 33554432000 4194304 16246674 140734129201184 140734129183104 5823455 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28818/statm: 326545 267961 846 2943 0 323439 0 [pid=28818/tid=28819] ppid=28815 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28819/stat : 28819 (toysat) S 28815 28818 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29396107 1337528320 267961 33554432000 4194304 16246674 140734129201184 139698087374064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28818/tid=28820] ppid=28815 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28820/stat : 28820 (toysat) S 28815 28818 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29396107 1337528320 267961 33554432000 4194304 16246674 140734129201184 139698076884208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28818/tid=28821] ppid=28815 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28821/stat : 28821 (toysat) S 28815 28818 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29396107 1337528320 267961 33554432000 4194304 16246674 140734129201184 139698066410672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.21 2.30 2.23 4/183 28822 /proc/meminfo: memFree=28323824/32872528 swapFree=1191052/1305516 [pid=28818] ppid=28815 vsize=1307204 CPUtime=12.68 cores=0,2,4,6 /proc/28818/stat : 28818 (toysat) R 28815 28818 26736 0 -1 4202496 267894 0 0 0 1230 38 0 0 20 0 4 0 29396107 1338576896 268219 33554432000 4194304 16246674 140734129201184 140734129183104 5662156 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28818/statm: 326801 268219 848 2943 0 323695 0 [pid=28818/tid=28819] ppid=28815 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28819/stat : 28819 (toysat) S 28815 28818 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29396107 1338576896 268219 33554432000 4194304 16246674 140734129201184 139698087374064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28818/tid=28820] ppid=28815 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28820/stat : 28820 (toysat) S 28815 28818 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29396107 1338576896 268219 33554432000 4194304 16246674 140734129201184 139698076884208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28818/tid=28821] ppid=28815 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28821/stat : 28821 (toysat) S 28815 28818 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29396107 1338576896 268219 33554432000 4194304 16246674 140734129201184 139698066410672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1307204 [startup+25.5004 s] /proc/loadavg: 2.16 2.29 2.22 3/183 28822 /proc/meminfo: memFree=28314916/32872528 swapFree=1191052/1305516 [pid=28818] ppid=28815 vsize=1316420 CPUtime=25.49 cores=0,2,4,6 /proc/28818/stat : 28818 (toysat) R 28815 28818 26736 0 -1 4202496 270200 0 0 0 2510 39 0 0 20 0 4 0 29396107 1348014080 270525 33554432000 4194304 16246674 140734129201184 140734129183104 5823206 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28818/statm: 329105 270525 850 2943 0 325999 0 [pid=28818/tid=28819] ppid=28815 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28819/stat : 28819 (toysat) S 28815 28818 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29396107 1348014080 270525 33554432000 4194304 16246674 140734129201184 139698087374064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28818/tid=28820] ppid=28815 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28820/stat : 28820 (toysat) S 28815 28818 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29396107 1348014080 270525 33554432000 4194304 16246674 140734129201184 139698076884208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28818/tid=28821] ppid=28815 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28821/stat : 28821 (toysat) S 28815 28818 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29396107 1348014080 270525 33554432000 4194304 16246674 140734129201184 139698066410672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1316420 [startup+51.1004 s] /proc/loadavg: 2.30 2.31 2.23 3/183 28822 /proc/meminfo: memFree=28314312/32872528 swapFree=1191052/1305516 [pid=28818] ppid=28815 vsize=1316420 CPUtime=51.08 cores=0,2,4,6 /proc/28818/stat : 28818 (toysat) R 28815 28818 26736 0 -1 4202496 270200 0 0 0 5069 39 0 0 20 0 4 0 29396107 1348014080 270525 33554432000 4194304 16246674 140734129201184 140734129183104 5829044 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28818/statm: 329105 270525 850 2943 0 325999 0 [pid=28818/tid=28819] ppid=28815 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28819/stat : 28819 (toysat) S 28815 28818 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29396107 1348014080 270525 33554432000 4194304 16246674 140734129201184 139698087374064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28818/tid=28820] ppid=28815 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28820/stat : 28820 (toysat) S 28815 28818 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29396107 1348014080 270525 33554432000 4194304 16246674 140734129201184 139698076884208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28818/tid=28821] ppid=28815 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28821/stat : 28821 (toysat) S 28815 28818 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29396107 1348014080 270525 33554432000 4194304 16246674 140734129201184 139698066410672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1316420 [startup+102.3 s] /proc/loadavg: 2.22 2.29 2.23 4/183 28823 /proc/meminfo: memFree=28305516/32872528 swapFree=1191052/1305516 [pid=28818] ppid=28815 vsize=1316420 CPUtime=102.27 cores=0,2,4,6 /proc/28818/stat : 28818 (toysat) R 28815 28818 26736 0 -1 4202496 270200 0 0 0 10188 39 0 0 20 0 4 0 29396107 1348014080 270525 33554432000 4194304 16246674 140734129201184 140734129183104 5673588 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28818/statm: 329105 270525 850 2943 0 325999 0 [pid=28818/tid=28819] ppid=28815 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28819/stat : 28819 (toysat) S 28815 28818 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29396107 1348014080 270525 33554432000 4194304 16246674 140734129201184 139698087374064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28818/tid=28820] ppid=28815 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28820/stat : 28820 (toysat) S 28815 28818 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29396107 1348014080 270525 33554432000 4194304 16246674 140734129201184 139698076884208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28818/tid=28821] ppid=28815 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28821/stat : 28821 (toysat) S 28815 28818 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29396107 1348014080 270525 33554432000 4194304 16246674 140734129201184 139698066410672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1316420 ################ # More data... # ################ /proc/28818/task/28821/stat : 28821 (toysat) S 28815 28818 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29396107 1363742720 274368 33554432000 4194304 16246674 140734129201184 139698066410672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1331780 [startup+1362.3 s] /proc/loadavg: 2.20 2.19 2.19 3/183 29001 /proc/meminfo: memFree=28290296/32872528 swapFree=1191052/1305516 [pid=28818] ppid=28815 vsize=1331780 CPUtime=1361.88 cores=0,2,4,6 /proc/28818/stat : 28818 (toysat) R 28815 28818 26736 0 -1 4202496 274394 0 0 0 136142 46 0 0 20 0 4 0 29396107 1363742720 274368 33554432000 4194304 16246674 140734129201184 140734129183104 5722730 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28818/statm: 332945 274368 850 2943 0 329839 0 [pid=28818/tid=28819] ppid=28815 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28819/stat : 28819 (toysat) S 28815 28818 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29396107 1363742720 274368 33554432000 4194304 16246674 140734129201184 139698087374064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28818/tid=28820] ppid=28815 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28820/stat : 28820 (toysat) S 28815 28818 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29396107 1363742720 274368 33554432000 4194304 16246674 140734129201184 139698076884208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28818/tid=28821] ppid=28815 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28821/stat : 28821 (toysat) S 28815 28818 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29396107 1363742720 274368 33554432000 4194304 16246674 140734129201184 139698066410672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1331780 [startup+1422.3 s] /proc/loadavg: 2.44 2.25 2.20 4/183 29003 /proc/meminfo: memFree=28289700/32872528 swapFree=1191052/1305516 [pid=28818] ppid=28815 vsize=1331780 CPUtime=1421.87 cores=0,2,4,6 /proc/28818/stat : 28818 (toysat) R 28815 28818 26736 0 -1 4202496 274415 0 0 0 142140 47 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 140734129183104 5677716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28818/statm: 332945 274370 850 2943 0 329839 0 [pid=28818/tid=28819] ppid=28815 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28819/stat : 28819 (toysat) S 28815 28818 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 139698087374064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28818/tid=28820] ppid=28815 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28820/stat : 28820 (toysat) S 28815 28818 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 139698076884208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28818/tid=28821] ppid=28815 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28821/stat : 28821 (toysat) S 28815 28818 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 139698066410672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1331780 [startup+1482.3 s] /proc/loadavg: 2.37 2.27 2.21 3/183 29004 /proc/meminfo: memFree=28289032/32872528 swapFree=1191052/1305516 [pid=28818] ppid=28815 vsize=1331780 CPUtime=1481.86 cores=0,2,4,6 /proc/28818/stat : 28818 (toysat) R 28815 28818 26736 0 -1 4202496 274421 0 0 0 148138 48 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 140734129183104 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28818/statm: 332945 274370 850 2943 0 329839 0 [pid=28818/tid=28819] ppid=28815 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28819/stat : 28819 (toysat) S 28815 28818 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 139698087374064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28818/tid=28820] ppid=28815 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28820/stat : 28820 (toysat) S 28815 28818 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 139698076884208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28818/tid=28821] ppid=28815 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28821/stat : 28821 (toysat) S 28815 28818 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 139698066410672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1331780 [startup+1542.3 s] /proc/loadavg: 2.13 2.22 2.19 3/183 29005 /proc/meminfo: memFree=28288972/32872528 swapFree=1191052/1305516 [pid=28818] ppid=28815 vsize=1331780 CPUtime=1541.85 cores=0,2,4,6 /proc/28818/stat : 28818 (toysat) R 28815 28818 26736 0 -1 4202496 274421 0 0 0 154137 48 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 140734129183104 5661428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28818/statm: 332945 274370 850 2943 0 329839 0 [pid=28818/tid=28819] ppid=28815 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28819/stat : 28819 (toysat) S 28815 28818 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 139698087374064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28818/tid=28820] ppid=28815 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28820/stat : 28820 (toysat) S 28815 28818 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 139698076884208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28818/tid=28821] ppid=28815 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28821/stat : 28821 (toysat) S 28815 28818 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 139698066410672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1331780 [startup+1602.3 s] /proc/loadavg: 2.24 2.22 2.19 3/183 29006 /proc/meminfo: memFree=28289500/32872528 swapFree=1191052/1305516 [pid=28818] ppid=28815 vsize=1331780 CPUtime=1601.84 cores=0,2,4,6 /proc/28818/stat : 28818 (toysat) R 28815 28818 26736 0 -1 4202496 274421 0 0 0 160135 49 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 140734129183104 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28818/statm: 332945 274370 850 2943 0 329839 0 [pid=28818/tid=28819] ppid=28815 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28819/stat : 28819 (toysat) S 28815 28818 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 139698087374064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28818/tid=28820] ppid=28815 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28820/stat : 28820 (toysat) S 28815 28818 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 139698076884208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28818/tid=28821] ppid=28815 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28821/stat : 28821 (toysat) S 28815 28818 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 139698066410672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1331780 [startup+1662.3 s] /proc/loadavg: 2.18 2.21 2.18 3/183 29007 /proc/meminfo: memFree=28289168/32872528 swapFree=1191052/1305516 [pid=28818] ppid=28815 vsize=1331780 CPUtime=1661.84 cores=0,2,4,6 /proc/28818/stat : 28818 (toysat) R 28815 28818 26736 0 -1 4202496 274421 0 0 0 166135 49 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 140734129183104 13192708 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28818/statm: 332945 274370 850 2943 0 329839 0 [pid=28818/tid=28819] ppid=28815 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28819/stat : 28819 (toysat) S 28815 28818 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 139698087374064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28818/tid=28820] ppid=28815 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28820/stat : 28820 (toysat) S 28815 28818 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 139698076884208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28818/tid=28821] ppid=28815 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28821/stat : 28821 (toysat) S 28815 28818 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 139698066410672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1331780 [startup+1722.3 s] /proc/loadavg: 2.19 2.20 2.18 3/184 29012 /proc/meminfo: memFree=28288788/32872528 swapFree=1191052/1305516 [pid=28818] ppid=28815 vsize=1331780 CPUtime=1721.82 cores=0,2,4,6 /proc/28818/stat : 28818 (toysat) R 28815 28818 26736 0 -1 4202496 274421 0 0 0 172133 49 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 140734129184184 6045950 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28818/statm: 332945 274370 850 2943 0 329839 0 [pid=28818/tid=28819] ppid=28815 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28819/stat : 28819 (toysat) S 28815 28818 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 139698087374064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28818/tid=28820] ppid=28815 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28820/stat : 28820 (toysat) S 28815 28818 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 139698076884208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28818/tid=28821] ppid=28815 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28821/stat : 28821 (toysat) S 28815 28818 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 139698066410672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1331780 [startup+1782.31 s] /proc/loadavg: 2.18 2.19 2.18 4/183 29013 /proc/meminfo: memFree=28288436/32872528 swapFree=1191052/1305516 [pid=28818] ppid=28815 vsize=1331780 CPUtime=1781.82 cores=0,2,4,6 /proc/28818/stat : 28818 (toysat) R 28815 28818 26736 0 -1 4202496 274421 0 0 0 178132 50 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 140734129183104 5675937 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28818/statm: 332945 274370 850 2943 0 329839 0 [pid=28818/tid=28819] ppid=28815 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28819/stat : 28819 (toysat) S 28815 28818 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 139698087374064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28818/tid=28820] ppid=28815 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28820/stat : 28820 (toysat) S 28815 28818 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 139698076884208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28818/tid=28821] ppid=28815 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28821/stat : 28821 (toysat) S 28815 28818 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 139698066410672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1331780 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.21 2.20 2.18 3/183 29013 /proc/meminfo: memFree=28288652/32872528 swapFree=1191052/1305516 [pid=28818] ppid=28815 vsize=1331780 CPUtime=1800.01 cores=0,2,4,6 /proc/28818/stat : 28818 (toysat) R 28815 28818 26736 0 -1 4202496 274421 0 0 0 179951 50 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 140734129183104 5823182 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28818/statm: 332945 274370 850 2943 0 329839 0 [pid=28818/tid=28819] ppid=28815 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28819/stat : 28819 (toysat) S 28815 28818 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 139698087374064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28818/tid=28820] ppid=28815 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28820/stat : 28820 (toysat) S 28815 28818 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 139698076884208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28818/tid=28821] ppid=28815 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28821/stat : 28821 (toysat) S 28815 28818 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 139698066410672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1331780 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 28818 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.21 2.20 2.18 3/183 29013 /proc/meminfo: memFree=28288652/32872528 swapFree=1191052/1305516 [pid=28818] ppid=28815 vsize=1331780 CPUtime=1800.01 cores=0,2,4,6 /proc/28818/stat : 28818 (toysat) R 28815 28818 26736 0 -1 4202496 274421 0 0 0 179951 50 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 140734129183104 5823182 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28818/statm: 332945 274370 850 2943 0 329839 0 [pid=28818/tid=28819] ppid=28815 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28819/stat : 28819 (toysat) S 28815 28818 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 139698087374064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28818/tid=28820] ppid=28815 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28820/stat : 28820 (toysat) S 28815 28818 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 139698076884208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28818/tid=28821] ppid=28815 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/28818/task/28821/stat : 28821 (toysat) S 28815 28818 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29396107 1363742720 274370 33554432000 4194304 16246674 140734129201184 139698066410672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1331780 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.52 CPU system time (s): 0.501923 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 1331780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.52 system time used= 0.501923 maximum resident set size= 1097480 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274421 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= 393 involuntary context switches= 1836 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.47232 second user time and 7.03293 second system time The end
Begin job on node127 at 2016-06-18 20:11:35 IDJOB=4106565 IDBENCH=48107 IDSOLVER=2542 FILE ID=node127/4106565-1466273495 RUNJOBID= node127-1466265123-26752 PBS_JOBID= 19918231 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_1.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106565-1466273495/watcher-4106565-1466273495 -o /tmp/evaluation-result-4106565-1466273495/solver-4106565-1466273495 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26752 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106565-1466273495.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7c4476530a00e5609896ce3ef5260c8d RANDOM SEED=64443573 node127.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 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 : 2666.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 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: 29397268 kB Buffers: 93204 kB Cached: 260868 kB SwapCached: 516 kB Active: 1167940 kB Inactive: 262312 kB Active(anon): 1076272 kB Inactive(anon): 2184 kB Active(file): 91668 kB Inactive(file): 260128 kB Unevictable: 1305516 kB Mlocked: 1191052 kB SwapTotal: 67108856 kB SwapFree: 67100260 kB Dirty: 16348 kB Writeback: 0 kB AnonPages: 2381308 kB Mapped: 10532 kB Shmem: 0 kB Slab: 604660 kB SReclaimable: 48536 kB SUnreclaim: 556124 kB KernelStack: 1448 kB PageTables: 8668 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2527560 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 114688 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= 71708 MiB End job on node127 at 2016-06-18 20:41:35