Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_3.opb |
| MD5SUM | 0e507441d4bf529adaad354902c51a54 |
| 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 | 13 |
| 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 | 12 |
| 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 | 26 |
| Maximum length of a constraint | 46 |
| 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) | 6216 |
| Sum of products size (including duplicates) | 12432 |
| Number of different products | 6216 |
| Sum of products size | 12432 |
0.00/0.00 c 2016-06-07T02:01:37+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-4080131-1465257697.opb"] 0.00/0.01 c use --random-gen="3852304815 4105743785 1799344288 2024681202 2544250051 3486731211 424461871 4009769063 79659605 2639531405 1054345649 414391107 2235367677 3987621349 1993990927 342077502 3279471682 1091009032 2349254511 1782308520 4062707137 1250815774 3964220995 1900081569 2572710871 3640425415 2072501035 3342996540 1773132637 2150885678 1651588042 4024956674 2192716597 1754614804 2420800039 3550700362 3731460705 666370276 2829719082 3595333312 1614814913 3028305610 3033770938 706439114 2551057219 37153255 3255468151 3159767917 2477066504 2873159266 2378725245 948194903 701562052 1962032657 1779027019 1637175374 3349300589 2342166845 3710847322 2203357788 2966078885 810683637 873144283 3577418876 136211907 1352147436 3208678787 3753416229 2929599576 3047391911 2003173667 91367882 1866482047 3964137099 3786835304 2711762842 3216802974 2977177168 2381703461 2819320323 393734594 2965549391 3723633924 1354956761 2946256251 3126374011 4225251494 3937809454 2347891054 3254918619 1514372740 3066417628 1839260200 29549745 3337121604 2161139222 3931204146 2359446766 3594048246 2504757703 162680440 3152728343 3116873538 3309658599 2580810957 2932325418 3055534723 2226621036 2706399788 3047051926 1469712680 3498516390 2521427079 977697528 872290965 1132636791 394715901 2840977212 2387981869 3551383828 4036649299 3126816544 4114480842 1808600702 2760956987 1867930373 2303816030 1109677458 3280330917 4198883874 941305731 2058053004 527639270 3351273967 1123597547 1393235097 3423420118 1654915604 3800688154 4247508960 3744802954 1642846980 464406373 3664671981 1191964058 195868556 3434499998 781974897 1784042136 2847393241 3425941550 1797855985 1362638823 3974278675 2385051344 636862156 499427581 2888184842 217408767 893471266 2476266186 1970298270 1107197473 164615268 533154554 4125102356 391159128 1233532074 3531793621 3696390719 1718100677 2948387470 3009152909 589639042 2188956597 406530603 3474438840 3814214830 4289822553 3582821282 2756613807 2715275915 1690934978 1591773662 776149858 1511310620 3451528555 791590777 896649097 1056382204 1065482062 1286664194 4053062236 114072897 2340960332 127183086 3143934971 4294311923 1496284709 3234717966 2020449486 3020402257 1275266724 2597515811 3305840257 1842162051 2565104939 3722249248 89305147 2191277204 1606506329 1167463784 2800546027 3845498520 1921830573 3629047417 4134113728 1881961797 572836327 761523023 2453687208 570530998 16661384 429964176 2232827109 2415609255 878756411 3186515837 1853688820 2170473100 3008739394 1054922163 1044319403 1766398345 4094541562 1364393282 2491595966 1079264159 1654699608 1319498219 4000650266 937103182 872027542 198864305 3001126580 3027679391 4239639747 2521200172 2537102714 2384870760 3790922350 3887313858 1402610667 122915291 1265768278 886288565 255 362436" option to reproduce the execution 0.00/0.03 c #vars 200 0.00/0.03 c #constraints 200 0.09/0.13 c BCD2: Hardening is enabled. 0.09/0.13 c BCD2: BiasedSearch is enabled. 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.14 c 0.0s | 0 | 0 | 0 | 6349 0 | 0 | 0 0.09/0.15 c 0.0s | 0 | 611 | 0 | 6349 0 | 0 | 0 0.09/0.15 c #cpu_time = 0.018s 0.09/0.15 c #wall_clock_time = 0.018s 0.09/0.15 c #decision = 611 0.09/0.15 c #random_decision = 0 0.09/0.15 c #conflict = 0 0.09/0.15 c #restart = 0 0.09/0.15 o 177 0.09/0.16 c BCD2: updating upper bound: 200 -> 176 0.09/0.16 c BCD2: 0 <= obj <= 176 0.09/0.16 c BCD2: #cores=0, #unrelaxed=200, #relaxed=0, #hardened=0 0.09/0.16 c BCD2: #sat=1 #unsat=1 bias=1/2 0.09/0.16 c Solving starts ... 0.09/0.16 c ============================[ Search Statistics ]============================ 0.09/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.16 c | | | | Limit GC | Var | Constra 0.09/0.16 c ============================================================================= 0.09/0.16 c 0.0s | 0 | 0 | 0 | 6349 0 | 0 | 0 0.09/0.17 c 0.0s | 0 | 172 | 0 | 6349 0 | 0 | 0 0.09/0.17 c #cpu_time = 0.015s 0.09/0.17 c #wall_clock_time = 0.015s 0.09/0.17 c #decision = 172 0.09/0.17 c #random_decision = 0 0.09/0.17 c #conflict = 0 0.09/0.17 c #restart = 0 0.09/0.17 c BCD2: found a new core of size 30: cost of the new core is >=1 0.09/0.17 c lower bound updated to 1 0.09/0.17 c BCD2: 1 <= obj <= 176 0.09/0.17 c BCD2: #cores=1, #unrelaxed=170, #relaxed=30, #hardened=0 0.09/0.17 c BCD2: #sat=1 #unsat=2 bias=2/3 0.09/0.17 c Solving starts ... 0.09/0.17 c ============================[ Search Statistics ]============================ 0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.17 c | | | | Limit GC | Var | Constra 0.09/0.17 c ============================================================================= 0.09/0.17 c 0.0s | 0 | 0 | 0 | 6349 0 | 0 | 0 0.09/0.19 c 0.0s | 0 | 169 | 0 | 6349 0 | 0 | 0 0.09/0.19 c #cpu_time = 0.015s 0.09/0.19 c #wall_clock_time = 0.015s 0.09/0.19 c #decision = 169 0.09/0.19 c #random_decision = 0 0.09/0.19 c #conflict = 0 0.09/0.19 c #restart = 0 0.09/0.19 c BCD2: found a new core of size 27: cost of the new core is >=1 0.09/0.19 c lower bound updated to 2 0.09/0.19 c BCD2: 2 <= obj <= 176 0.09/0.19 c BCD2: #cores=2, #unrelaxed=143, #relaxed=57, #hardened=0 0.09/0.19 c BCD2: #sat=1 #unsat=3 bias=3/4 0.09/0.19 c Solving starts ... 0.09/0.19 c ============================[ Search Statistics ]============================ 0.09/0.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.19 c | | | | Limit GC | Var | Constra 0.09/0.19 c ============================================================================= 0.09/0.19 c 0.0s | 0 | 0 | 0 | 6349 0 | 0 | 0 0.19/0.21 c 0.0s | 0 | 1071 | 0 | 6349 0 | 0 | 0 0.19/0.21 c #cpu_time = 0.019s 0.19/0.21 c #wall_clock_time = 0.019s 0.19/0.21 c #decision = 1071 0.19/0.21 c #random_decision = 1 0.19/0.21 c #conflict = 0 0.19/0.21 c #restart = 0 0.19/0.21 o 23 0.19/0.21 c BCD2: updating upper bound: 176 -> 22 0.19/0.22 c BCD2: 2 <= obj <= 22 0.19/0.22 c BCD2: #cores=2, #unrelaxed=143, #relaxed=57, #hardened=0 0.19/0.22 c BCD2: #sat=2 #unsat=3 bias=3/5 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.24 c 0.0s | 0 | 0 | 0 | 6349 0 | 0 | 1 0.29/0.33 c 0.1s | 1 | 461 | 100 | 6349 0 | 0 | 1 0.38/0.46 c 0.2s | 2 | 863 | 250 | 6984 0 | 0 | 1 0.69/0.74 c 0.5s | 3 | 1324 | 475 | 7683 0 | 0 | 1 0.99/1.09 c 0.9s | 4 | 2043 | 813 | 8452 0 | 0 | 1 1.49/1.52 c 1.3s | 5 | 3013 | 1320 | 9298 0 | 0 | 1 2.09/2.12 c 1.9s | 6 | 4434 | 2081 | 11251 0 | 0 | 1 3.29/3.34 c 3.1s | 7 | 6211 | 3223 | 12377 0 | 0 | 1 5.29/5.32 c 5.1s | 8 | 8872 | 4936 | 13615 0 | 0 | 1 7.29/7.38 c 7.1s | 8 | 11068 | 6436 | 13615 0 | 0 | 1 9.09/9.11 c 8.9s | 9 | 12479 | 7506 | 14977 0 | 0 | 1 11.19/11.20 c 11.0s | 9 | 15100 | 9206 | 14977 0 | 0 | 1 13.19/13.26 c 13.0s | 9 | 17313 | 10806 | 14977 0 | 0 | 1 13.98/14.09 c 13.9s | 10 | 18195 | 11361 | 16475 0 | 0 | 1 16.09/16.18 c 15.9s | 10 | 20184 | 12661 | 16475 0 | 0 | 1 18.29/18.30 c 18.1s | 10 | 22356 | 14061 | 16475 0 | 0 | 1 20.29/20.30 c 20.1s | 10 | 24424 | 15461 | 16475 0 | 0 | 1 22.28/22.34 c 22.1s | 10 | 26409 | 16861 | 16475 0 | 0 | 1 22.58/22.69 c 22.5s | 11 | 26823 | 17144 | 18123 0 | 0 | 1 24.79/24.82 c 24.6s | 11 | 28528 | 18244 | 18123 0 | 0 | 1 26.99/27.00 c 26.8s | 11 | 30269 | 19544 | 18123 0 | 0 | 1 29.08/29.19 c 29.0s | 11 | 32004 | 20744 | 18123 0 | 0 | 1 31.18/31.20 c 31.0s | 11 | 32777 | 21344 | 18123 0 | 0 | 1 33.39/33.42 c 33.2s | 11 | 34510 | 22544 | 18123 0 | 0 | 1 35.48/35.52 c 35.3s | 11 | 35623 | 23344 | 18123 1 | 0 | 1 37.49/37.60 c 37.4s | 11 | 37082 | 24444 | 18123 1 | 0 | 1 39.69/39.76 c 39.5s | 11 | 38405 | 25444 | 18123 1 | 0 | 1 40.48/40.54 c 40.3s | 12 | 38921 | 25819 | 19936 1 | 0 | 1 42.58/42.65 c 42.4s | 12 | 41221 | 27219 | 19936 1 | 0 | 1 44.58/44.68 c 44.4s | 12 | 43494 | 28719 | 19936 1 | 0 | 1 46.58/46.69 c 46.5s | 12 | 44922 | 29719 | 19936 1 | 0 | 1 47.39/47.45 c 47.2s | 12 | 45973 | 30227 | 19936 1 | 0 | 1 47.39/47.45 c #cpu_time = 47.206s 47.39/47.45 c #wall_clock_time = 47.210s 47.39/47.45 c #decision = 45973 47.39/47.45 c #random_decision = 39 47.39/47.45 c #conflict = 30227 47.39/47.45 c #restart = 12 47.39/47.45 o 14 47.39/47.45 c BCD2: updating upper bound: 22 -> 13 47.39/47.45 c BCD2: 2 <= obj <= 13 47.39/47.45 c BCD2: #cores=2, #unrelaxed=143, #relaxed=57, #hardened=0 47.39/47.45 c BCD2: #sat=3 #unsat=3 bias=3/6 47.39/47.45 c Solving starts ... 47.39/47.45 c ============================[ Search Statistics ]============================ 47.39/47.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 47.39/47.45 c | | | | Limit GC | Var | Constra 47.39/47.45 c ============================================================================= 47.39/47.45 c 0.0s | 0 | 0 | 0 | 19936 0 | 0 | 2 47.68/47.79 c 0.3s | 1 | 327 | 100 | 19936 0 | 0 | 2 48.28/48.33 c 0.9s | 2 | 724 | 250 | 19936 0 | 0 | 2 48.88/48.96 c 1.5s | 3 | 1259 | 475 | 19936 0 | 0 | 2 49.68/49.77 c 2.3s | 4 | 2010 | 813 | 19936 0 | 0 | 2 50.88/50.98 c 3.5s | 5 | 3022 | 1320 | 19936 0 | 0 | 2 52.89/52.94 c 5.5s | 6 | 4402 | 2081 | 19936 1 | 0 | 2 54.88/54.97 c 7.5s | 6 | 6256 | 3081 | 19936 1 | 0 | 2 55.19/55.26 c 7.8s | 7 | 6453 | 3223 | 19936 1 | 0 | 2 57.38/57.42 c 10.0s | 7 | 8418 | 4423 | 19936 1 | 0 | 2 58.18/58.20 c 10.7s | 8 | 9217 | 4936 | 19936 1 | 0 | 2 60.18/60.26 c 12.8s | 8 | 10891 | 5936 | 19936 1 | 0 | 2 62.18/62.27 c 14.8s | 8 | 12220 | 6836 | 19936 1 | 0 | 2 63.98/64.06 c 16.6s | 9 | 13171 | 7506 | 19936 1 | 0 | 2 64.48/64.53 c 17.1s | 9 | 13449 | 7594 | 19936 1 | 0 | 2 64.48/64.53 c #cpu_time = 17.077s 64.48/64.53 c #wall_clock_time = 17.078s 64.48/64.53 c #decision = 13449 64.48/64.53 c #random_decision = 18 64.48/64.53 c #conflict = 7594 64.48/64.53 c #restart = 9 64.48/64.53 c BCD2: relaxing 143 and merging with 2 cores into a new core of size 200: cost of the new core is >=3 64.48/64.53 c lower bound updated to 3 64.48/64.53 c BCD2: 3 <= obj <= 13 64.48/64.53 c BCD2: #cores=1, #unrelaxed=0, #relaxed=200, #hardened=0 64.48/64.53 c BCD2: #sat=3 #unsat=4 bias=4/7 64.48/64.53 c Solving starts ... 64.48/64.53 c ============================[ Search Statistics ]============================ 64.48/64.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 64.48/64.53 c | | | | Limit GC | Var | Constra 64.48/64.53 c ============================================================================= 64.48/64.53 c 0.0s | 0 | 0 | 0 | 19936 0 | 7 | 2 65.48/65.57 c 1.0s | 1 | 1448 | 100 | 19936 0 | 7 | 14 66.18/66.21 c 1.7s | 2 | 2539 | 250 | 19936 0 | 7 | 14 66.98/67.10 c 2.6s | 3 | 3270 | 475 | 19936 0 | 7 | 14 68.48/68.59 c 4.1s | 4 | 4740 | 813 | 21930 0 | 7 | 14 70.48/70.59 c 6.1s | 5 | 6319 | 1320 | 21930 0 | 7 | 14 72.68/72.74 c 8.2s | 5 | 8734 | 1920 | 21930 0 | 7 | 14 73.27/73.30 c 8.8s | 6 | 9397 | 2081 | 21930 0 | 7 | 14 75.37/75.47 c 10.9s | 6 | 12258 | 2681 | 21930 0 | 7 | 14 77.08/77.14 c 12.6s | 7 | 15060 | 3223 | 21930 0 | 7 | 14 79.07/79.18 c 14.6s | 7 | 18165 | 3823 | 21930 0 | 7 | 14 81.27/81.37 c 16.8s | 7 | 22083 | 4723 | 21930 0 | 7 | 14 81.87/81.94 c 17.4s | 8 | 22720 | 4936 | 21930 0 | 7 | 14 83.88/83.94 c 19.4s | 8 | 24980 | 5636 | 21930 0 | 7 | 14 85.98/86.08 c 21.5s | 8 | 26952 | 6436 | 21930 0 | 7 | 14 88.09/88.16 c 23.6s | 8 | 28690 | 7036 | 21930 0 | 7 | 14 89.68/89.75 c 25.2s | 9 | 30083 | 7506 | 21930 0 | 7 | 14 92.08/92.17 c 27.6s | 9 | 32146 | 8106 | 21930 0 | 7 | 14 94.28/94.33 c 29.8s | 9 | 33901 | 8606 | 21930 0 | 7 | 14 96.58/96.68 c 32.1s | 9 | 35959 | 9206 | 21930 0 | 7 | 14 98.88/98.92 c 34.4s | 9 | 38021 | 9806 | 21930 0 | 7 | 14 100.98/101.08 c 36.5s | 9 | 39752 | 10406 | 21930 0 | 7 | 14 103.38/103.42 c 38.9s | 9 | 42004 | 11006 | 21930 0 | 7 | 14 104.68/104.76 c 40.2s | 10 | 43612 | 11361 | 21930 0 | 7 | 14 106.88/106.96 c 42.4s | 10 | 45604 | 11861 | 21930 0 | 7 | 14 109.28/109.36 c 44.8s | 10 | 47813 | 12461 | 21930 0 | 7 | 14 111.48/111.59 c 47.1s | 10 | 49914 | 13061 | 21930 0 | 7 | 14 113.87/113.92 c 49.4s | 10 | 52226 | 13661 | 21930 0 | 7 | 14 116.07/116.18 c 51.6s | 10 | 53737 | 14261 | 21930 0 | 7 | 14 118.17/118.25 c 53.7s | 10 | 54763 | 14761 | 21930 0 | 7 | 14 120.27/120.39 c 55.9s | 10 | 56090 | 15261 | 21930 0 | 7 | 14 122.47/122.57 c 58.0s | 10 | 57486 | 15761 | 21930 0 | 7 | 14 124.67/124.73 c 60.2s | 10 | 59229 | 16261 | 21930 0 | 7 | 14 126.77/126.89 c 62.4s | 10 | 61244 | 16861 | 21930 0 | 7 | 14 127.77/127.89 c 63.4s | 11 | 62391 | 17144 | 21930 0 | 7 | 14 130.27/130.32 c 65.8s | 11 | 64225 | 17644 | 21930 0 | 7 | 14 132.47/132.59 c 68.1s | 11 | 65927 | 18144 | 21930 0 | 7 | 14 134.57/134.65 c 70.1s | 11 | 67690 | 18644 | 21930 0 | 7 | 14 136.87/136.93 c 72.4s | 11 | 68860 | 19144 | 21930 0 | 7 | 14 138.87/138.98 c 74.4s | 11 | 70367 | 19644 | 21930 0 | 7 | 14 140.88/141.00 c 76.5s | 11 | 72053 | 20144 | 21930 0 | 7 | 14 142.98/143.06 c 78.5s | 11 | 73520 | 20644 | 24124 0 | 7 | 14 145.18/145.23 c 80.7s | 11 | 75204 | 21144 | 24124 0 | 7 | 14 147.48/147.55 c 83.0s | 11 | 76912 | 21744 | 24124 0 | 7 | 14 149.58/149.66 c 85.1s | 11 | 78785 | 22244 | 24124 0 | 7 | 14 151.78/151.82 c 87.3s | 11 | 80333 | 22744 | 24124 0 | 7 | 14 153.97/154.09 c 89.6s | 11 | 82556 | 23344 | 24124 0 | 7 | 14 156.17/156.27 c 91.7s | 11 | 85082 | 24044 | 24124 0 | 7 | 14 158.27/158.34 c 93.8s | 11 | 86891 | 24644 | 24124 0 | 7 | 14 160.76/160.85 c 96.3s | 11 | 88589 | 25244 | 24124 1 | 7 | 14 162.97/163.05 c 98.5s | 11 | 90188 | 25744 | 24124 1 | 7 | 14 163.37/163.43 c 98.9s | 12 | 90406 | 25819 | 24124 1 | 7 | 14 165.47/165.58 c 101s | 12 | 92281 | 26419 | 24124 1 | 7 | 14 167.57/167.60 c 103s | 12 | 94251 | 26919 | 24124 1 | 7 | 14 169.87/169.97 c 105s | 12 | 96167 | 27519 | 24124 1 | 7 | 14 172.07/172.12 c 107s | 12 | 98553 | 28119 | 24124 1 | 7 | 14 174.17/174.20 c 109s | 12 | 100275 | 28719 | 24124 1 | 7 | 14 176.56/176.63 c 112s | 12 | 102670 | 29319 | 24124 1 | 7 | 14 178.56/178.66 c 114s | 12 | 104261 | 29819 | 24124 1 | 7 | 14 180.56/180.67 c 116s | 12 | 105652 | 30319 | 24124 1 | 7 | 14 182.76/182.83 c 118s | 12 | 106799 | 30819 | 24124 1 | 7 | 14 184.87/184.98 c 120s | 12 | 108599 | 31319 | 24124 1 | 7 | 14 187.16/187.22 c 122s | 12 | 110397 | 31819 | 24124 1 | 7 | 14 189.36/189.46 c 124s | 12 | 112356 | 32319 | 24124 1 | 7 | 14 191.56/191.66 c 127s | 12 | 114408 | 32819 | 24124 1 | 7 | 14 193.86/193.90 c 129s | 12 | 116184 | 33319 | 24124 1 | 7 | 14 195.96/196.02 c 131s | 12 | 117702 | 33819 | 24124 1 | 7 | 14 198.26/198.30 c 133s | 12 | 119194 | 34319 | 24124 1 | 7 | 14 200.36/200.49 c 135s | 12 | 121124 | 34819 | 24124 1 | 7 | 14 202.66/202.73 c 138s | 12 | 122814 | 35319 | 24124 1 | 7 | 14 204.86/204.97 c 140s | 12 | 124555 | 35819 | 24124 1 | 7 | 14 207.16/207.23 c 142s | 12 | 126983 | 36419 | 24124 1 | 7 | 14 209.56/209.65 c 145s | 12 | 129170 | 37019 | 24124 1 | 7 | 14 211.76/211.80 c 147s | 12 | 130703 | 37519 | 24124 1 | 7 | 14 214.06/214.10 c 149s | 12 | 132287 | 38119 | 24124 2 | 7 | 14 216.06/216.15 c 151s | 12 | 133733 | 38719 | 24124 2 | 7 | 14 216.46/216.53 c 152s | 13 | 134180 | 38832 | 24124 2 | 7 | 14 218.65/218.73 c 154s | 13 | 136981 | 39432 | 24124 2 | 7 | 14 220.65/220.77 c 156s | 13 | 138608 | 39932 | 24124 2 | 7 | 14 223.06/223.20 c 158s | 13 | 140227 | 40432 | 24124 2 | 7 | 14 225.36/225.49 c 160s | 13 | 142575 | 41132 | 24124 2 | 7 | 14 227.56/227.60 c 163s | 13 | 143977 | 41732 | 24124 2 | 7 | 14 229.76/229.80 c 165s | 13 | 145939 | 42332 | 24124 2 | 7 | 14 232.06/232.15 c 167s | 13 | 147882 | 42932 | 24124 2 | 7 | 14 234.06/234.16 c 169s | 13 | 149149 | 43432 | 24124 2 | 7 | 14 236.16/236.22 c 171s | 13 | 150376 | 43932 | 24124 2 | 7 | 14 238.16/238.25 c 173s | 13 | 151861 | 44432 | 24124 2 | 7 | 14 240.46/240.50 c 175s | 13 | 153460 | 44932 | 24124 2 | 7 | 14 242.56/242.64 c 178s | 13 | 155169 | 45432 | 24124 2 | 7 | 14 244.95/245.04 c 180s | 13 | 157241 | 46032 | 24124 2 | 7 | 14 246.95/247.06 c 182s | 13 | 159053 | 46532 | 24124 2 | 7 | 14 249.15/249.23 c 184s | 13 | 161046 | 47132 | 24124 2 | 7 | 14 251.35/251.46 c 186s | 13 | 162732 | 47632 | 24124 2 | 7 | 14 253.45/253.50 c 188s | 13 | 163658 | 48032 | 24124 2 | 7 | 14 255.65/255.77 c 191s | 13 | 165237 | 48532 | 24124 2 | 7 | 14 257.75/257.89 c 193s | 13 | 166926 | 49032 | 24124 2 | 7 | 14 259.95/260.02 c 195s | 13 | 168778 | 49532 | 26537 2 | 7 | 14 262.05/262.14 c 197s | 13 | 170451 | 50132 | 26537 2 | 7 | 14 264.15/264.22 c 199s | 13 | 172296 | 50732 | 26537 2 | 7 | 14 266.35/266.46 c 201s | 13 | 174308 | 51332 | 26537 2 | 7 | 14 268.75/268.80 c 204s | 13 | 176778 | 51932 | 26537 2 | 7 | 14 270.95/271.09 c 206s | 13 | 178611 | 52532 | 26537 3 | 7 | 14 273.35/273.43 c 208s | 13 | 180713 | 53232 | 26537 3 | 7 | 14 275.55/275.65 c 211s | 13 | 182519 | 53832 | 26537 3 | 7 | 14 277.54/277.69 c 213s | 13 | 184245 | 54332 | 26537 3 | 7 | 14 279.64/279.78 c 215s | 13 | 185785 | 54832 | 26537 3 | 7 | 14 281.74/281.87 c 217s | 13 | 187771 | 55332 | 26537 3 | 7 | 14 283.94/284.01 c 219s | 13 | 189638 | 55832 | 26537 3 | 7 | 14 285.95/286.07 c 221s | 13 | 191620 | 56332 | 26537 3 | 7 | 14 288.26/288.31 c 223s | 13 | 193405 | 56932 | 26537 3 | 7 | 14 290.36/290.50 c 225s | 13 | 195196 | 57532 | 26537 3 | 7 | 14 292.45/292.57 c 228s | 13 | 196990 | 58032 | 26537 3 | 7 | 14 293.85/293.94 c 229s | 14 | 197909 | 58352 | 26537 3 | 7 | 14 295.85/295.95 c 231s | 14 | 199282 | 58852 | 26537 3 | 7 | 14 298.05/298.20 c 233s | 14 | 201469 | 59452 | 26537 3 | 7 | 14 300.54/300.62 c 236s | 14 | 203371 | 60052 | 26537 3 | 7 | 14 302.64/302.73 c 238s | 14 | 204746 | 60552 | 26537 3 | 7 | 14 304.75/304.89 c 240s | 14 | 206320 | 61052 | 26537 3 | 7 | 14 306.95/307.02 c 242s | 14 | 208792 | 61552 | 26537 3 | 7 | 14 308.94/309.07 c 244s | 14 | 211007 | 62052 | 26537 3 | 7 | 14 311.14/311.22 c 246s | 14 | 212661 | 62552 | 26537 3 | 7 | 14 313.24/313.34 c 248s | 14 | 214460 | 63052 | 26537 3 | 7 | 14 315.44/315.55 c 251s | 14 | 215901 | 63552 | 26537 3 | 7 | 14 317.44/317.55 c 253s | 14 | 217223 | 64052 | 26537 3 | 7 | 14 319.54/319.67 c 255s | 14 | 218431 | 64552 | 26537 3 | 7 | 14 321.54/321.69 c 257s | 14 | 219481 | 65052 | 26537 3 | 7 | 14 323.94/324.02 c 259s | 14 | 220984 | 65552 | 26537 3 | 7 | 14 326.44/326.54 c 262s | 14 | 222697 | 66052 | 26537 4 | 7 | 14 328.54/328.63 c 264s | 14 | 224141 | 66552 | 26537 4 | 7 | 14 330.54/330.69 c 266s | 14 | 226444 | 67252 | 26537 4 | 7 | 14 332.74/332.80 c 268s | 14 | 228214 | 67952 | 26537 4 | 7 | 14 334.74/334.88 c 270s | 14 | 230099 | 68552 | 26537 4 | 7 | 14 336.93/337.02 c 272s | 14 | 231691 | 69152 | 26537 4 | 7 | 14 339.33/339.42 c 274s | 14 | 233451 | 69752 | 26537 4 | 7 | 14 341.73/341.80 c 277s | 14 | 235397 | 70352 | 26537 4 | 7 | 14 343.73/343.84 c 279s | 14 | 236638 | 70852 | 26537 4 | 7 | 14 345.84/345.93 c 281s | 14 | 237933 | 71352 | 26537 4 | 7 | 14 348.24/348.32 c 283s | 14 | 239093 | 71952 | 26537 4 | 7 | 14 350.44/350.53 c 285s | 14 | 240656 | 72452 | 26537 4 | 7 | 14 352.64/352.79 c 288s | 14 | 242265 | 72952 | 26537 4 | 7 | 14 354.74/354.88 c 290s | 14 | 244363 | 73452 | 26537 4 | 7 | 14 356.94/357.07 c 292s | 14 | 245717 | 73952 | 26537 4 | 7 | 14 359.24/359.37 c 294s | 14 | 248617 | 74652 | 26537 4 | 7 | 14 361.54/361.66 c 297s | 14 | 250688 | 75352 | 26537 4 | 7 | 14 363.84/363.98 c 299s | 14 | 252793 | 75952 | 26537 4 | 7 | 14 366.14/366.28 c 301s | 14 | 254289 | 76552 | 26537 4 | 7 | 14 368.44/368.57 c 304s | 14 | 255999 | 77152 | 26537 4 | 7 | 14 370.83/370.97 c 306s | 14 | 257594 | 77652 | 26537 4 | 7 | 14 373.13/373.24 c 308s | 14 | 259419 | 78152 | 26537 4 | 7 | 14 375.23/375.31 c 310s | 14 | 261123 | 78652 | 26537 4 | 7 | 14 377.34/377.47 c 312s | 14 | 263128 | 79152 | 26537 4 | 7 | 14 379.63/379.79 c 315s | 14 | 264950 | 79652 | 26537 4 | 7 | 14 382.03/382.14 c 317s | 14 | 266565 | 80152 | 26537 5 | 7 | 14 384.43/384.50 c 319s | 14 | 268107 | 80752 | 26537 5 | 7 | 14 386.73/386.85 c 322s | 14 | 270104 | 81352 | 26537 5 | 7 | 14 388.83/388.92 c 324s | 14 | 271327 | 81852 | 26537 5 | 7 | 14 390.93/391.08 c 326s | 14 | 273066 | 82352 | 26537 5 | 7 | 14 393.13/393.29 c 328s | 14 | 274996 | 82852 | 26537 5 | 7 | 14 395.43/395.53 c 330s | 14 | 277730 | 83452 | 26537 5 | 7 | 14 397.53/397.64 c 333s | 14 | 279310 | 84052 | 26537 5 | 7 | 14 399.53/399.65 c 335s | 14 | 280871 | 84552 | 26537 5 | 7 | 14 401.83/401.97 c 337s | 14 | 282640 | 85152 | 26537 5 | 7 | 14 403.93/404.05 c 339s | 14 | 284032 | 85652 | 26537 5 | 7 | 14 406.33/406.43 c 341s | 14 | 285200 | 86152 | 26537 5 | 7 | 14 408.53/408.66 c 344s | 14 | 286776 | 86652 | 26537 5 | 7 | 14 410.93/411.02 c 346s | 14 | 288905 | 87252 | 26537 5 | 7 | 14 412.23/412.31 c 347s | 15 | 290683 | 87632 | 26537 5 | 7 | 14 414.53/414.63 c 350s | 15 | 292564 | 88132 | 26537 5 | 7 | 14 416.62/416.72 c 352s | 15 | 294688 | 88632 | 26537 5 | 7 | 14 418.62/418.75 c 354s | 15 | 296610 | 89132 | 26537 5 | 7 | 14 420.72/420.89 c 356s | 15 | 298765 | 89732 | 26537 5 | 7 | 14 423.12/423.24 c 358s | 15 | 300549 | 90432 | 26537 5 | 7 | 14 425.32/425.48 c 360s | 15 | 302458 | 91032 | 26537 5 | 7 | 14 427.52/427.63 c 363s | 15 | 304268 | 91632 | 26537 5 | 7 | 14 429.62/429.72 c 365s | 15 | 305326 | 92132 | 26537 5 | 7 | 14 431.82/431.94 c 367s | 15 | 306988 | 92732 | 26537 5 | 7 | 14 433.92/434.01 c 369s | 15 | 308080 | 93232 | 29191 5 | 7 | 14 436.02/436.13 c 371s | 15 | 309469 | 93632 | 29191 5 | 7 | 14 438.02/438.15 c 373s | 15 | 310885 | 94032 | 29191 5 | 7 | 14 440.22/440.34 c 375s | 15 | 313308 | 94532 | 29191 5 | 7 | 14 442.42/442.56 c 378s | 15 | 315136 | 95032 | 29191 5 | 7 | 14 444.52/444.65 c 380s | 15 | 316874 | 95532 | 29191 5 | 7 | 14 446.53/446.69 c 382s | 15 | 318462 | 96032 | 29191 5 | 7 | 14 449.02/449.16 c 384s | 15 | 320509 | 96632 | 29191 6 | 7 | 14 451.12/451.29 c 386s | 15 | 322530 | 97232 | 29191 6 | 7 | 14 453.23/453.31 c 388s | 15 | 324451 | 97832 | 29191 6 | 7 | 14 455.42/455.53 c 390s | 15 | 326122 | 98432 | 29191 6 | 7 | 14 457.72/457.89 c 393s | 15 | 327940 | 99032 | 29191 6 | 7 | 14 459.92/460.06 c 395s | 15 | 329129 | 99532 | 29191 6 | 7 | 14 462.32/462.40 c 397s | 15 | 331257 | 100132 | 29191 6 | 7 | 14 464.62/464.70 c 400s | 15 | 333954 | 100732 | 29191 6 | 7 | 14 466.82/466.90 c 402s | 15 | 335314 | 101332 | 29191 6 | 7 | 14 469.22/469.32 c 404s | 15 | 337059 | 101932 | 29191 6 | 7 | 14 471.32/471.49 c 406s | 15 | 338611 | 102432 | 29191 6 | 7 | 14 473.52/473.69 c 409s | 15 | 341119 | 103032 | 29191 6 | 7 | 14 475.62/475.75 c 411s | 15 | 343169 | 103632 | 29191 6 | 7 | 14 478.02/478.14 c 413s | 15 | 344674 | 104232 | 29191 6 | 7 | 14 480.22/480.36 c 415s | 15 | 346070 | 104832 | 29191 6 | 7 | 14 482.41/482.59 c 418s | 15 | 347815 | 105332 | 29191 6 | 7 | 14 484.61/484.72 c 420s | 15 | 349848 | 105832 | 29191 6 | 7 | 14 486.91/487.09 c 422s | 15 | 351529 | 106332 | 29191 6 | 7 | 14 489.31/489.44 c 424s | 15 | 353292 | 106832 | 29191 6 | 7 | 14 491.51/491.68 c 427s | 15 | 354780 | 107332 | 29191 6 | 7 | 14 493.61/493.76 c 429s | 15 | 357140 | 107832 | 29191 6 | 7 | 14 495.91/496.02 c 431s | 15 | 359349 | 108432 | 29191 6 | 7 | 14 498.02/498.12 c 433s | 15 | 360665 | 108932 | 29191 6 | 7 | 14 500.02/500.14 c 435s | 15 | 362190 | 109432 | 29191 6 | 7 | 14 502.12/502.21 c 437s | 15 | 363529 | 109932 | 29191 6 | 7 | 14 504.42/504.52 c 439s | 15 | 364979 | 110532 | 29191 6 | 7 | 14 506.62/506.72 c 442s | 15 | 366328 | 111032 | 29191 6 | 7 | 14 508.91/509.08 c 444s | 15 | 368181 | 111632 | 29191 7 | 7 | 14 511.11/511.25 c 446s | 15 | 369559 | 112132 | 29191 7 | 7 | 14 513.41/513.53 c 449s | 15 | 371370 | 112632 | 29191 7 | 7 | 14 515.41/515.56 c 451s | 15 | 372874 | 113032 | 29191 7 | 7 | 14 517.41/517.56 c 453s | 15 | 374739 | 113532 | 29191 7 | 7 | 14 519.71/519.86 c 455s | 15 | 376822 | 114032 | 29191 7 | 7 | 14 522.01/522.13 c 457s | 15 | 380082 | 114632 | 29191 7 | 7 | 14 524.11/524.23 c 459s | 15 | 381735 | 115232 | 29191 7 | 7 | 14 526.21/526.39 c 461s | 15 | 383395 | 115832 | 29191 7 | 7 | 14 528.41/528.50 c 463s | 15 | 385196 | 116332 | 29191 7 | 7 | 14 530.61/530.78 c 466s | 15 | 387068 | 116932 | 29191 7 | 7 | 14 532.91/533.09 c 468s | 15 | 388653 | 117432 | 29191 7 | 7 | 14 535.21/535.32 c 470s | 15 | 390172 | 117932 | 29191 7 | 7 | 14 537.41/537.52 c 472s | 15 | 391751 | 118432 | 29191 7 | 7 | 14 539.61/539.70 c 475s | 15 | 393627 | 118932 | 29191 7 | 7 | 14 541.81/541.91 c 477s | 15 | 395620 | 119432 | 29191 7 | 7 | 14 544.01/544.18 c 479s | 15 | 397164 | 119932 | 29191 7 | 7 | 14 546.41/546.54 c 482s | 15 | 398711 | 120532 | 29191 7 | 7 | 14 548.71/548.84 c 484s | 15 | 401197 | 121132 | 29191 7 | 7 | 14 550.81/550.90 c 486s | 15 | 402567 | 121632 | 29191 7 | 7 | 14 553.01/553.11 c 488s | 15 | 404028 | 122132 | 29191 7 | 7 | 14 555.01/555.17 c 490s | 15 | 405608 | 122632 | 29191 7 | 7 | 14 557.20/557.33 c 492s | 15 | 406954 | 123132 | 29191 7 | 7 | 14 559.30/559.48 c 494s | 15 | 408571 | 123632 | 29191 7 | 7 | 14 561.40/561.51 c 496s | 15 | 410341 | 124132 | 29191 7 | 7 | 14 563.50/563.60 c 499s | 15 | 412305 | 124632 | 29191 7 | 7 | 14 565.50/565.60 c 501s | 15 | 413832 | 125132 | 29191 7 | 7 | 14 567.61/567.76 c 503s | 15 | 415393 | 125632 | 29191 7 | 7 | 14 569.71/569.87 c 505s | 15 | 416924 | 126132 | 29191 7 | 7 | 14 571.91/572.03 c 507s | 15 | 418362 | 126632 | 29191 8 | 7 | 14 574.30/574.43 c 509s | 15 | 419884 | 127232 | 29191 8 | 7 | 14 576.50/576.62 c 512s | 15 | 421315 | 127732 | 29191 8 | 7 | 14 578.61/578.74 c 514s | 15 | 422635 | 128132 | 29191 8 | 7 | 14 580.71/580.86 c 516s | 15 | 424128 | 128632 | 29191 8 | 7 | 14 582.80/582.92 c 518s | 15 | 425607 | 129132 | 29191 8 | 7 | 14 584.80/584.97 c 520s | 15 | 427928 | 129732 | 29191 8 | 7 | 14 586.90/587.00 c 522s | 15 | 429780 | 130332 | 29191 8 | 7 | 14 589.20/589.30 c 524s | 15 | 431098 | 130932 | 29191 8 | 7 | 14 591.40/591.52 c 526s | 15 | 432732 | 131532 | 29191 8 | 7 | 14 591.50/591.60 c 527s | 16 | 432784 | 131552 | 29191 8 | 7 | 14 593.49/593.63 c 529s | 16 | 434273 | 132052 | 29191 8 | 7 | 14 595.59/595.73 c 531s | 16 | 435699 | 132652 | 29191 8 | 7 | 14 597.80/597.92 c 533s | 16 | 437197 | 133252 | 29191 8 | 7 | 14 600.20/600.35 c 535s | 16 | 438615 | 133852 | 29191 8 | 7 | 14 602.30/602.41 c 537s | 16 | 439968 | 134252 | 29191 8 | 7 | 14 604.70/604.88 c 540s | 16 | 441704 | 134652 | 29191 8 | 7 | 14 607.00/607.18 c 542s | 16 | 443590 | 135252 | 29191 8 | 7 | 14 609.31/609.42 c 544s | 16 | 445368 | 135752 | 29191 8 | 7 | 14 611.30/611.47 c 546s | 16 | 447135 | 136252 | 29191 8 | 7 | 14 613.70/613.82 c 549s | 16 | 448742 | 136752 | 29191 8 | 7 | 14 615.80/615.97 c 551s | 16 | 450633 | 137352 | 29191 8 | 7 | 14 617.90/618.01 c 553s | 16 | 452333 | 137852 | 29191 8 | 7 | 14 620.20/620.39 c 555s | 16 | 453857 | 138452 | 29191 8 | 7 | 14 622.50/622.69 c 558s | 16 | 455168 | 138952 | 29191 8 | 7 | 14 624.89/625.03 c 560s | 16 | 456891 | 139452 | 29191 8 | 7 | 14 627.29/627.48 c 562s | 16 | 458578 | 139952 | 29191 8 | 7 | 14 629.29/629.49 c 564s | 16 | 460148 | 140352 | 29191 8 | 7 | 14 631.69/631.87 c 567s | 16 | 462485 | 140952 | 29191 8 | 7 | 14 634.09/634.26 c 569s | 16 | 464787 | 141552 | 29191 8 | 7 | 14 636.09/636.29 c 571s | 16 | 466699 | 142052 | 29191 9 | 7 | 14 638.40/638.59 c 574s | 16 | 468742 | 142552 | 29191 9 | 7 | 14 640.49/640.63 c 576s | 16 | 470283 | 143052 | 29191 9 | 7 | 14 642.69/642.82 c 578s | 16 | 472340 | 143552 | 29191 9 | 7 | 14 644.89/645.01 c 580s | 16 | 474385 | 144152 | 29191 9 | 7 | 14 646.99/647.17 c 582s | 16 | 476174 | 144752 | 29191 9 | 7 | 14 649.39/649.54 c 585s | 16 | 477750 | 145352 | 29191 9 | 7 | 14 651.49/651.68 c 587s | 16 | 479190 | 145952 | 29191 9 | 7 | 14 653.49/653.69 c 589s | 16 | 480707 | 146452 | 29191 9 | 7 | 14 655.69/655.83 c 591s | 16 | 482367 | 146952 | 29191 9 | 7 | 14 657.99/658.16 c 593s | 16 | 484056 | 147452 | 29191 9 | 7 | 14 660.09/660.24 c 595s | 16 | 485368 | 147952 | 29191 9 | 7 | 14 662.39/662.59 c 598s | 16 | 486827 | 148452 | 29191 9 | 7 | 14 664.49/664.64 c 600s | 16 | 488357 | 148952 | 29191 9 | 7 | 14 666.79/666.98 c 602s | 16 | 490311 | 149552 | 29191 9 | 7 | 14 668.79/668.99 c 604s | 16 | 492397 | 150052 | 29191 9 | 7 | 14 670.99/671.17 c 606s | 16 | 494119 | 150552 | 29191 9 | 7 | 14 673.19/673.38 c 608s | 16 | 495455 | 151052 | 29191 9 | 7 | 14 675.39/675.53 c 610s | 16 | 497013 | 151552 | 29191 9 | 7 | 14 677.38/677.55 c 613s | 16 | 499426 | 152052 | 29191 9 | 7 | 14 679.69/679.90 c 615s | 16 | 500932 | 152652 | 29191 9 | 7 | 14 681.89/682.08 c 617s | 16 | 502268 | 153152 | 29191 9 | 7 | 14 683.99/684.13 c 619s | 16 | 503882 | 153652 | 29191 9 | 7 | 14 686.09/686.24 c 621s | 16 | 505793 | 154152 | 29191 9 | 7 | 14 688.50/688.69 c 624s | 16 | 508013 | 154752 | 29191 9 | 7 | 14 690.80/690.96 c 626s | 16 | 509858 | 155252 | 29191 9 | 7 | 14 692.90/693.04 c 628s | 16 | 511212 | 155752 | 29191 9 | 7 | 14 695.29/695.45 c 630s | 16 | 512533 | 156252 | 29191 9 | 7 | 14 697.39/697.55 c 633s | 16 | 513830 | 156752 | 29191 10 | 7 | 14 699.59/699.71 c 635s | 16 | 515527 | 157352 | 29191 10 | 7 | 14 701.79/701.94 c 637s | 16 | 517594 | 157852 | 29191 10 | 7 | 14 704.09/704.21 c 639s | 16 | 519359 | 158352 | 32111 10 | 7 | 14 706.28/706.42 c 641s | 16 | 521218 | 158952 | 32111 10 | 7 | 14 708.39/708.55 c 644s | 16 | 523895 | 159552 | 32111 10 | 7 | 14 710.49/710.65 c 646s | 16 | 525369 | 160052 | 32111 10 | 7 | 14 712.88/713.02 c 648s | 16 | 527365 | 160652 | 32111 10 | 7 | 14 714.89/715.02 c 650s | 16 | 528775 | 161152 | 32111 10 | 7 | 14 717.09/717.26 c 652s | 16 | 530228 | 161652 | 32111 10 | 7 | 14 719.39/719.53 c 654s | 16 | 531672 | 162252 | 32111 10 | 7 | 14 721.59/721.80 c 657s | 16 | 533569 | 162752 | 32111 10 | 7 | 14 723.98/724.11 c 659s | 16 | 535498 | 163352 | 32111 10 | 7 | 14 725.99/726.18 c 661s | 16 | 537128 | 163852 | 32111 10 | 7 | 14 728.08/728.24 c 663s | 16 | 538462 | 164352 | 32111 10 | 7 | 14 730.18/730.36 c 665s | 16 | 539970 | 164852 | 32111 10 | 7 | 14 732.28/732.48 c 667s | 16 | 541378 | 165352 | 32111 10 | 7 | 14 734.48/734.65 c 670s | 16 | 543185 | 165952 | 32111 10 | 7 | 14 736.68/736.81 c 672s | 16 | 544734 | 166452 | 32111 10 | 7 | 14 739.08/739.29 c 674s | 16 | 546245 | 166952 | 32111 10 | 7 | 14 741.17/741.32 c 676s | 16 | 547854 | 167352 | 32111 10 | 7 | 14 743.37/743.55 c 679s | 16 | 549771 | 167852 | 32111 10 | 7 | 14 745.68/745.83 c 681s | 16 | 551523 | 168352 | 32111 10 | 7 | 14 748.07/748.26 c 683s | 16 | 553065 | 168852 | 32111 10 | 7 | 14 750.47/750.64 c 686s | 16 | 555302 | 169452 | 32111 10 | 7 | 14 752.67/752.85 c 688s | 16 | 556816 | 169952 | 32111 10 | 7 | 14 755.06/755.22 c 690s | 16 | 558427 | 170452 | 32111 10 | 7 | 14 757.06/757.23 c 692s | 16 | 560320 | 171052 | 32111 10 | 7 | 14 759.06/759.26 c 694s | 16 | 562405 | 171752 | 32111 10 | 7 | 14 761.26/761.42 c 696s | 16 | 564400 | 172352 | 32111 10 | 7 | 14 763.56/763.79 c 699s | 16 | 566426 | 172952 | 32111 10 | 7 | 14 765.86/766.02 c 701s | 16 | 568379 | 173552 | 32111 10 | 7 | 14 768.15/768.30 c 703s | 16 | 570036 | 174052 | 32111 10 | 7 | 14 770.45/770.68 c 706s | 16 | 572148 | 174652 | 32111 11 | 7 | 14 772.55/772.79 c 708s | 16 | 574238 | 175252 | 32111 11 | 7 | 14 774.65/774.88 c 710s | 16 | 576033 | 175852 | 32111 11 | 7 | 14 776.75/776.94 c 712s | 16 | 577725 | 176352 | 32111 11 | 7 | 14 779.15/779.33 c 714s | 16 | 579269 | 176952 | 32111 11 | 7 | 14 781.35/781.59 c 717s | 16 | 581052 | 177552 | 32111 11 | 7 | 14 783.75/783.93 c 719s | 16 | 583197 | 178152 | 32111 11 | 7 | 14 785.95/786.18 c 721s | 16 | 585667 | 178852 | 32111 11 | 7 | 14 788.05/788.25 c 723s | 16 | 587878 | 179552 | 32111 11 | 7 | 14 790.25/790.46 c 725s | 16 | 589764 | 180252 | 32111 11 | 7 | 14 792.55/792.78 c 728s | 16 | 591731 | 180952 | 32111 11 | 7 | 14 794.65/794.84 c 730s | 16 | 593137 | 181552 | 32111 11 | 7 | 14 796.74/796.95 c 732s | 16 | 594551 | 182152 | 32111 11 | 7 | 14 798.84/799.02 c 734s | 16 | 595975 | 182652 | 32111 11 | 7 | 14 800.84/801.08 c 736s | 16 | 597673 | 183152 | 32111 11 | 7 | 14 803.14/803.35 c 738s | 16 | 599584 | 183752 | 32111 11 | 7 | 14 805.34/805.57 c 741s | 16 | 601675 | 184352 | 32111 11 | 7 | 14 807.64/807.84 c 743s | 16 | 604662 | 185052 | 32111 11 | 7 | 14 809.94/810.13 c 745s | 16 | 606525 | 185652 | 32111 11 | 7 | 14 812.24/812.45 c 747s | 16 | 608496 | 186252 | 32111 11 | 7 | 14 814.54/814.78 c 750s | 16 | 610442 | 186852 | 32111 11 | 7 | 14 816.94/817.14 c 752s | 16 | 612575 | 187452 | 32111 11 | 7 | 14 819.14/819.39 c 754s | 16 | 613967 | 188052 | 32111 11 | 7 | 14 821.54/821.75 c 757s | 16 | 616033 | 188652 | 32111 11 | 7 | 14 823.84/824.06 c 759s | 16 | 618483 | 189252 | 32111 11 | 7 | 14 826.24/826.40 c 761s | 16 | 620703 | 189852 | 32111 11 | 7 | 14 828.44/828.66 c 764s | 16 | 622861 | 190452 | 32111 11 | 7 | 14 830.73/830.98 c 766s | 16 | 624224 | 190952 | 32111 11 | 7 | 14 832.83/833.01 c 768s | 16 | 625669 | 191452 | 32111 12 | 7 | 14 835.03/835.20 c 770s | 16 | 627719 | 191952 | 32111 12 | 7 | 14 837.23/837.44 c 772s | 16 | 629068 | 192452 | 32111 12 | 7 | 14 839.43/839.63 c 775s | 16 | 631324 | 193052 | 32111 12 | 7 | 14 841.74/841.95 c 777s | 16 | 632656 | 193652 | 32111 12 | 7 | 14 844.04/844.23 c 779s | 16 | 634067 | 194252 | 32111 12 | 7 | 14 846.24/846.45 c 781s | 16 | 635842 | 194852 | 32111 12 | 7 | 14 848.24/848.46 c 783s | 16 | 636981 | 195352 | 32111 12 | 7 | 14 850.53/850.79 c 786s | 16 | 638830 | 195952 | 32111 12 | 7 | 14 852.63/852.87 c 788s | 16 | 640300 | 196452 | 32111 12 | 7 | 14 854.73/854.98 c 790s | 16 | 642157 | 196952 | 32111 12 | 7 | 14 856.74/856.94 c 792s | 17 | 643670 | 197432 | 32111 12 | 7 | 14 858.83/859.02 c 794s | 17 | 645505 | 197832 | 32111 12 | 7 | 14 861.03/861.20 c 796s | 17 | 647597 | 198432 | 32111 12 | 7 | 14 863.92/864.15 c 799s | 17 | 649406 | 198932 | 32111 12 | 7 | 14 866.32/866.55 c 802s | 17 | 651348 | 199432 | 32111 12 | 7 | 14 868.41/868.67 c 804s | 17 | 652991 | 199832 | 32111 12 | 7 | 14 870.91/871.12 c 806s | 17 | 654672 | 200332 | 32111 12 | 7 | 14 872.91/873.12 c 808s | 17 | 656125 | 200832 | 32111 12 | 7 | 14 875.11/875.34 c 810s | 17 | 658104 | 201432 | 32111 12 | 7 | 14 877.41/877.65 c 813s | 17 | 660360 | 202132 | 32111 12 | 7 | 14 879.71/879.99 c 815s | 17 | 662312 | 202732 | 32111 12 | 7 | 14 882.11/882.33 c 817s | 17 | 664376 | 203332 | 32111 12 | 7 | 14 884.11/884.33 c 819s | 17 | 665536 | 203832 | 32111 12 | 7 | 14 886.21/886.41 c 821s | 17 | 666744 | 204332 | 32111 12 | 7 | 14 888.50/888.70 c 824s | 17 | 668376 | 204932 | 32111 12 | 7 | 14 890.50/890.75 c 826s | 17 | 670244 | 205432 | 32111 12 | 7 | 14 892.80/893.09 c 828s | 17 | 671678 | 206032 | 32111 12 | 7 | 14 895.10/895.39 c 830s | 17 | 673375 | 206632 | 32111 12 | 7 | 14 897.20/897.42 c 832s | 17 | 674682 | 207132 | 32111 12 | 7 | 14 899.49/899.73 c 835s | 17 | 676376 | 207632 | 32111 13 | 7 | 14 901.69/901.91 c 837s | 17 | 677747 | 208232 | 32111 13 | 7 | 14 903.69/903.95 c 839s | 17 | 679420 | 208732 | 32111 13 | 7 | 14 906.09/906.33 c 841s | 17 | 681955 | 209332 | 32111 13 | 7 | 14 908.40/908.62 c 844s | 17 | 684564 | 210032 | 32111 13 | 7 | 14 910.39/910.66 c 846s | 17 | 686532 | 210632 | 32111 13 | 7 | 14 912.49/912.78 c 848s | 17 | 688573 | 211232 | 32111 13 | 7 | 14 914.79/915.04 c 850s | 17 | 690504 | 211932 | 32111 13 | 7 | 14 916.89/917.12 c 852s | 17 | 691816 | 212532 | 32111 13 | 7 | 14 918.89/919.12 c 854s | 17 | 693122 | 213032 | 32111 13 | 7 | 14 920.89/921.18 c 856s | 17 | 695293 | 213632 | 32111 13 | 7 | 14 922.99/923.20 c 858s | 17 | 696820 | 214132 | 32111 13 | 7 | 14 924.99/925.26 c 860s | 17 | 698393 | 214632 | 32111 13 | 7 | 14 927.48/927.72 c 863s | 17 | 700036 | 215232 | 32111 13 | 7 | 14 929.48/929.77 c 865s | 17 | 701663 | 215732 | 32111 13 | 7 | 14 931.98/932.26 c 867s | 17 | 703381 | 216232 | 32111 13 | 7 | 14 934.38/934.68 c 870s | 17 | 705906 | 216832 | 32111 13 | 7 | 14 936.59/936.83 c 872s | 17 | 707894 | 217432 | 32111 13 | 7 | 14 938.59/938.89 c 874s | 17 | 709856 | 218032 | 32111 13 | 7 | 14 941.09/941.32 c 876s | 17 | 711469 | 218532 | 32111 13 | 7 | 14 943.28/943.55 c 879s | 17 | 713038 | 219032 | 32111 13 | 7 | 14 945.48/945.78 c 881s | 17 | 714375 | 219532 | 32111 13 | 7 | 14 947.58/947.85 c 883s | 17 | 715863 | 220032 | 32111 13 | 7 | 14 949.68/949.94 c 885s | 17 | 717692 | 220432 | 32111 13 | 7 | 14 951.98/952.22 c 887s | 17 | 719648 | 220932 | 32111 13 | 7 | 14 954.08/954.35 c 889s | 17 | 721969 | 221432 | 32111 13 | 7 | 14 956.28/956.56 c 892s | 17 | 724270 | 222032 | 32111 13 | 7 | 14 958.77/959.00 c 894s | 17 | 726148 | 222632 | 32111 13 | 7 | 14 960.97/961.29 c 896s | 17 | 727729 | 223232 | 32111 13 | 7 | 14 963.48/963.72 c 899s | 17 | 729265 | 223832 | 32111 13 | 7 | 14 965.87/966.12 c 901s | 17 | 730963 | 224432 | 32111 14 | 7 | 14 968.17/968.50 c 903s | 17 | 732320 | 225032 | 32111 14 | 7 | 14 970.27/970.59 c 906s | 17 | 733502 | 225532 | 32111 14 | 7 | 14 972.37/972.63 c 908s | 17 | 734988 | 226032 | 32111 14 | 7 | 14 974.47/974.71 c 910s | 17 | 736526 | 226532 | 32111 14 | 7 | 14 976.67/976.98 c 912s | 17 | 737962 | 227032 | 32111 14 | 7 | 14 979.06/979.31 c 914s | 17 | 739760 | 227532 | 32111 14 | 7 | 14 981.16/981.44 c 916s | 17 | 741174 | 228032 | 32111 14 | 7 | 14 983.56/983.86 c 919s | 17 | 743493 | 228632 | 32111 14 | 7 | 14 985.76/986.06 c 921s | 17 | 745182 | 229132 | 32111 14 | 7 | 14 987.96/988.23 c 923s | 17 | 746631 | 229632 | 32111 14 | 7 | 14 990.16/990.41 c 925s | 17 | 748233 | 230232 | 32111 14 | 7 | 14 992.36/992.66 c 928s | 17 | 749694 | 230732 | 32111 14 | 7 | 14 994.66/994.97 c 930s | 17 | 751536 | 231232 | 32111 14 | 7 | 14 996.86/997.12 c 932s | 17 | 753408 | 231732 | 32111 14 | 7 | 14 998.96/999.23 c 934s | 17 | 755210 | 232332 | 32111 14 | 7 | 14 1000.96/1001.26 c 936s | 17 | 756654 | 232832 | 32111 14 | 7 | 14 1003.26/1003.55 c 939s | 17 | 758491 | 233432 | 32111 14 | 7 | 14 1005.56/1005.81 c 941s | 17 | 760710 | 234032 | 32111 14 | 7 | 14 1007.76/1008.07 c 943s | 17 | 762318 | 234632 | 32111 14 | 7 | 14 1009.96/1010.29 c 945s | 17 | 763444 | 235132 | 32111 14 | 7 | 14 1012.26/1012.59 c 948s | 17 | 764607 | 235632 | 32111 14 | 7 | 14 1014.36/1014.68 c 950s | 17 | 766314 | 236132 | 32111 14 | 7 | 14 1016.46/1016.77 c 952s | 17 | 768347 | 236732 | 32111 14 | 7 | 14 1018.55/1018.85 c 954s | 17 | 769782 | 237232 | 32111 14 | 7 | 14 1020.85/1021.10 c 956s | 17 | 771551 | 237832 | 32111 14 | 7 | 14 1023.05/1023.30 c 958s | 17 | 772986 | 238332 | 32111 14 | 7 | 14 1025.15/1025.44 c 960s | 17 | 774574 | 238832 | 32111 14 | 7 | 14 1027.54/1027.85 c 963s | 17 | 776238 | 239432 | 32111 14 | 7 | 14 1029.94/1030.25 c 965s | 17 | 777399 | 239932 | 32111 14 | 7 | 14 1031.94/1032.26 c 967s | 17 | 778817 | 240432 | 32111 15 | 7 | 14 1033.94/1034.28 c 969s | 17 | 780312 | 240932 | 32111 15 | 7 | 14 1036.14/1036.42 c 971s | 17 | 782190 | 241432 | 32111 15 | 7 | 14 1038.14/1038.44 c 973s | 17 | 783732 | 241932 | 32111 15 | 7 | 14 1040.44/1040.76 c 976s | 17 | 785601 | 242532 | 32111 15 | 7 | 14 1042.54/1042.90 c 978s | 17 | 787016 | 243032 | 32111 15 | 7 | 14 1044.63/1044.91 c 980s | 17 | 788514 | 243532 | 32111 15 | 7 | 14 1046.83/1047.14 c 982s | 17 | 790027 | 244032 | 32111 15 | 7 | 14 1048.93/1049.22 c 984s | 17 | 791929 | 244532 | 32111 15 | 7 | 14 1050.93/1051.28 c 986s | 17 | 794112 | 245132 | 32111 15 | 7 | 14 1053.33/1053.60 c 989s | 17 | 795893 | 245732 | 32111 15 | 7 | 14 1055.63/1055.94 c 991s | 17 | 798293 | 246332 | 32111 15 | 7 | 14 1058.03/1058.31 c 993s | 17 | 800324 | 246932 | 32111 15 | 7 | 14 1060.13/1060.48 c 995s | 17 | 802304 | 247532 | 32111 15 | 7 | 14 1062.22/1062.53 c 997s | 17 | 804235 | 248032 | 32111 15 | 7 | 14 1064.32/1064.65 c 1000s | 17 | 806537 | 248532 | 32111 15 | 7 | 14 1066.42/1066.73 c 1002s | 17 | 808315 | 249032 | 32111 15 | 7 | 14 1068.61/1068.95 c 1004s | 17 | 809872 | 249532 | 32111 15 | 7 | 14 1070.71/1071.05 c 1006s | 17 | 811410 | 250032 | 32111 15 | 7 | 14 1073.11/1073.41 c 1008s | 17 | 813583 | 250632 | 32111 15 | 7 | 14 1075.41/1075.73 c 1011s | 17 | 816645 | 251332 | 32111 15 | 7 | 14 1077.61/1077.97 c 1013s | 17 | 818532 | 251932 | 32111 15 | 7 | 14 1079.71/1080.07 c 1015s | 17 | 820042 | 252532 | 32111 15 | 7 | 14 1081.91/1082.28 c 1017s | 17 | 822118 | 253132 | 32111 15 | 7 | 14 1084.31/1084.61 c 1020s | 17 | 823997 | 253732 | 32111 15 | 7 | 14 1086.61/1086.91 c 1022s | 17 | 825429 | 254232 | 32111 15 | 7 | 14 1088.90/1089.20 c 1024s | 17 | 827359 | 254732 | 32111 15 | 7 | 14 1091.20/1091.54 c 1027s | 17 | 829608 | 255332 | 32111 15 | 7 | 14 1093.70/1094.03 c 1029s | 17 | 831338 | 255932 | 32111 15 | 7 | 14 1095.90/1096.27 c 1031s | 17 | 833288 | 256432 | 35323 15 | 7 | 14 1098.30/1098.69 c 1034s | 17 | 835025 | 257032 | 35323 15 | 7 | 14 1100.70/1101.02 c 1036s | 17 | 837067 | 257532 | 35323 15 | 7 | 14 1103.01/1103.31 c 1038s | 17 | 839130 | 258132 | 35323 15 | 7 | 14 1105.40/1105.70 c 1041s | 17 | 840963 | 258732 | 35323 15 | 7 | 14 1107.50/1107.86 c 1043s | 17 | 842139 | 259332 | 35323 15 | 7 | 14 1109.50/1109.89 c 1045s | 17 | 843349 | 259832 | 35323 15 | 7 | 14 1111.60/1111.95 c 1047s | 17 | 844412 | 260332 | 35323 16 | 7 | 14 1113.80/1114.16 c 1049s | 17 | 845875 | 260932 | 35323 16 | 7 | 14 1115.90/1116.24 c 1051s | 17 | 847346 | 261432 | 35323 16 | 7 | 14 1117.99/1118.35 c 1053s | 17 | 849108 | 261932 | 35323 16 | 7 | 14 1120.19/1120.58 c 1056s | 17 | 851368 | 262532 | 35323 16 | 7 | 14 1122.39/1122.74 c 1058s | 17 | 853154 | 263132 | 35323 16 | 7 | 14 1124.80/1125.14 c 1060s | 17 | 854706 | 263732 | 35323 16 | 7 | 14 1127.00/1127.35 c 1062s | 17 | 855883 | 264232 | 35323 16 | 7 | 14 1129.30/1129.61 c 1065s | 17 | 857713 | 264732 | 35323 16 | 7 | 14 1131.30/1131.63 c 1067s | 17 | 859620 | 265232 | 35323 16 | 7 | 14 1133.30/1133.65 c 1069s | 17 | 861678 | 265832 | 35323 16 | 7 | 14 1135.60/1135.97 c 1071s | 17 | 863943 | 266532 | 35323 16 | 7 | 14 1137.80/1138.15 c 1073s | 17 | 866081 | 267132 | 35323 16 | 7 | 14 1139.99/1140.37 c 1075s | 17 | 867493 | 267632 | 35323 16 | 7 | 14 1142.29/1142.64 c 1078s | 17 | 869259 | 268132 | 35323 16 | 7 | 14 1144.29/1144.64 c 1080s | 17 | 871632 | 268632 | 35323 16 | 7 | 14 1146.49/1146.87 c 1082s | 17 | 873815 | 269232 | 35323 16 | 7 | 14 1148.79/1149.12 c 1084s | 17 | 875889 | 269832 | 35323 16 | 7 | 14 1150.89/1151.21 c 1086s | 17 | 878174 | 270432 | 35323 16 | 7 | 14 1153.29/1153.69 c 1089s | 17 | 880207 | 271032 | 35323 16 | 7 | 14 1155.49/1155.83 c 1091s | 17 | 882338 | 271532 | 35323 16 | 7 | 14 1157.59/1157.93 c 1093s | 17 | 884143 | 272032 | 35323 16 | 7 | 14 1159.89/1160.22 c 1095s | 17 | 886708 | 272632 | 35323 16 | 7 | 14 1162.19/1162.51 c 1097s | 17 | 889094 | 273232 | 35323 16 | 7 | 14 1164.29/1164.64 c 1100s | 17 | 890720 | 273732 | 35323 16 | 7 | 14 1166.38/1166.73 c 1102s | 17 | 892180 | 274232 | 35323 16 | 7 | 14 1168.48/1168.86 c 1104s | 17 | 894518 | 274732 | 35323 16 | 7 | 14 1170.78/1171.10 c 1106s | 17 | 896399 | 275332 | 35323 16 | 7 | 14 1173.08/1173.49 c 1108s | 17 | 898403 | 275932 | 35323 16 | 7 | 14 1175.28/1175.64 c 1111s | 17 | 899660 | 276432 | 35323 16 | 7 | 14 1177.37/1177.77 c 1113s | 17 | 900951 | 276932 | 35323 16 | 7 | 14 1179.77/1180.15 c 1115s | 17 | 902960 | 277432 | 35323 16 | 7 | 14 1181.97/1182.39 c 1117s | 17 | 904849 | 277932 | 35323 16 | 7 | 14 1184.38/1184.70 c 1120s | 17 | 906432 | 278432 | 35323 17 | 7 | 14 1186.47/1186.83 c 1122s | 17 | 907827 | 278932 | 35323 17 | 7 | 14 1188.47/1188.85 c 1124s | 17 | 909328 | 279432 | 35323 17 | 7 | 14 1190.67/1191.08 c 1126s | 17 | 912341 | 280132 | 35323 17 | 7 | 14 1192.97/1193.35 c 1128s | 17 | 914254 | 280732 | 35323 17 | 7 | 14 1195.17/1195.50 c 1130s | 17 | 915723 | 281332 | 35323 17 | 7 | 14 1197.37/1197.70 c 1133s | 17 | 917880 | 281932 | 35323 17 | 7 | 14 1199.77/1200.13 c 1135s | 17 | 919757 | 282532 | 35323 17 | 7 | 14 1201.97/1202.35 c 1137s | 17 | 921768 | 283132 | 35323 17 | 7 | 14 1204.37/1204.72 c 1140s | 17 | 923463 | 283732 | 35323 17 | 7 | 14 1206.57/1206.95 c 1142s | 17 | 925420 | 284232 | 35323 17 | 7 | 14 1208.76/1209.10 c 1144s | 17 | 927190 | 284732 | 35323 17 | 7 | 14 1211.06/1211.43 c 1146s | 17 | 928854 | 285332 | 35323 17 | 7 | 14 1213.07/1213.45 c 1148s | 17 | 930201 | 285832 | 35323 17 | 7 | 14 1215.27/1215.64 c 1151s | 17 | 932376 | 286432 | 35323 17 | 7 | 14 1217.56/1217.94 c 1153s | 17 | 934450 | 287032 | 35323 17 | 7 | 14 1219.75/1220.13 c 1155s | 17 | 936648 | 287632 | 35323 17 | 7 | 14 1221.86/1222.23 c 1157s | 17 | 938223 | 288132 | 35323 17 | 7 | 14 1224.06/1224.47 c 1159s | 17 | 940724 | 288832 | 35323 17 | 7 | 14 1226.16/1226.52 c 1161s | 17 | 942895 | 289432 | 35323 17 | 7 | 14 1228.46/1228.86 c 1164s | 17 | 945342 | 290132 | 35323 17 | 7 | 14 1230.85/1231.24 c 1166s | 17 | 946809 | 290732 | 35323 17 | 7 | 14 1233.15/1233.50 c 1168s | 17 | 948885 | 291332 | 35323 17 | 7 | 14 1235.15/1235.59 c 1171s | 17 | 951030 | 291932 | 35323 17 | 7 | 14 1237.34/1237.72 c 1173s | 17 | 952733 | 292532 | 35323 17 | 7 | 14 1239.54/1239.98 c 1175s | 17 | 954028 | 293132 | 35323 17 | 7 | 14 1241.74/1242.19 c 1177s | 17 | 955719 | 293732 | 35323 17 | 7 | 14 1243.85/1244.23 c 1179s | 17 | 956948 | 294232 | 35323 17 | 7 | 14 1246.24/1246.61 c 1182s | 17 | 958527 | 294732 | 35323 17 | 7 | 14 1248.24/1248.65 c 1184s | 17 | 960174 | 295232 | 35323 17 | 7 | 14 1250.34/1250.74 c 1186s | 17 | 961629 | 295732 | 35323 17 | 7 | 14 1252.23/1252.64 c 1188s | 18 | 963397 | 296252 | 35323 17 | 7 | 14 1255.43/1255.86 c 1191s | 18 | 964079 | 296452 | 35323 18 | 7 | 14 1257.52/1257.94 c 1193s | 18 | 965353 | 296852 | 35323 18 | 7 | 14 1259.52/1259.94 c 1195s | 18 | 967661 | 297352 | 35323 18 | 7 | 14 1261.82/1262.28 c 1197s | 18 | 969563 | 297952 | 35323 18 | 7 | 14 1264.02/1264.47 c 1199s | 18 | 971225 | 298552 | 35323 18 | 7 | 14 1266.42/1266.82 c 1202s | 18 | 973127 | 299152 | 35323 18 | 7 | 14 1268.42/1268.86 c 1204s | 18 | 974685 | 299652 | 35323 18 | 7 | 14 1270.61/1271.09 c 1206s | 18 | 977246 | 300252 | 35323 18 | 7 | 14 1272.71/1273.17 c 1208s | 18 | 979458 | 300852 | 35323 18 | 7 | 14 1275.11/1275.50 c 1210s | 18 | 980957 | 301452 | 35323 18 | 7 | 14 1277.41/1277.83 c 1213s | 18 | 982661 | 302052 | 35323 18 | 7 | 14 1279.61/1280.01 c 1215s | 18 | 984369 | 302652 | 35323 18 | 7 | 14 1281.82/1282.27 c 1217s | 18 | 987073 | 303352 | 35323 18 | 7 | 14 1283.92/1284.32 c 1219s | 18 | 989300 | 303952 | 35323 18 | 7 | 14 1286.02/1286.41 c 1221s | 18 | 991456 | 304652 | 35323 18 | 7 | 14 1288.21/1288.61 c 1224s | 18 | 994040 | 305352 | 35323 18 | 7 | 14 1290.41/1290.80 c 1226s | 18 | 997527 | 306052 | 35323 18 | 7 | 14 1292.41/1292.84 c 1228s | 18 | 999906 | 306752 | 35323 18 | 7 | 14 1294.71/1295.11 c 1230s | 18 | 1001696 | 307452 | 35323 18 | 7 | 14 1296.71/1297.17 c 1232s | 18 | 1003650 | 308052 | 35323 18 | 7 | 14 1299.01/1299.47 c 1234s | 18 | 1005158 | 308652 | 35323 18 | 7 | 14 1301.21/1301.62 c 1237s | 18 | 1006628 | 309152 | 35323 18 | 7 | 14 1303.60/1304.06 c 1239s | 18 | 1008379 | 309652 | 35323 18 | 7 | 14 1305.90/1306.40 c 1241s | 18 | 1010357 | 310252 | 35323 18 | 7 | 14 1308.10/1308.51 c 1243s | 18 | 1012808 | 310852 | 35323 18 | 7 | 14 1310.50/1310.91 c 1246s | 18 | 1015226 | 311452 | 35323 18 | 7 | 14 1312.60/1313.02 c 1248s | 18 | 1016831 | 311952 | 35323 18 | 7 | 14 1314.60/1315.02 c 1250s | 18 | 1018259 | 312452 | 35323 18 | 7 | 14 1316.60/1317.06 c 1252s | 18 | 1019895 | 312952 | 35323 18 | 7 | 14 1318.99/1319.40 c 1254s | 18 | 1022092 | 313552 | 35323 18 | 7 | 14 1321.19/1321.62 c 1257s | 18 | 1025054 | 314152 | 35323 18 | 7 | 14 1323.49/1323.92 c 1259s | 18 | 1026647 | 314652 | 35323 19 | 7 | 14 1325.69/1326.18 c 1261s | 18 | 1028390 | 315252 | 35323 19 | 7 | 14 1327.99/1328.49 c 1263s | 18 | 1030576 | 315952 | 35323 19 | 7 | 14 1330.29/1330.73 c 1266s | 18 | 1033080 | 316652 | 35323 19 | 7 | 14 1332.39/1332.80 c 1268s | 18 | 1035389 | 317252 | 35323 19 | 7 | 14 1334.59/1335.03 c 1270s | 18 | 1036973 | 317852 | 35323 19 | 7 | 14 1336.68/1337.13 c 1272s | 18 | 1038587 | 318452 | 35323 19 | 7 | 14 1338.78/1339.30 c 1274s | 18 | 1040300 | 319052 | 35323 19 | 7 | 14 1340.88/1341.36 c 1276s | 18 | 1042249 | 319752 | 35323 19 | 7 | 14 1343.18/1343.69 c 1279s | 18 | 1044368 | 320452 | 35323 19 | 7 | 14 1345.28/1345.71 c 1281s | 18 | 1045970 | 320952 | 35323 19 | 7 | 14 1347.47/1347.92 c 1283s | 18 | 1047852 | 321552 | 35323 19 | 7 | 14 1349.77/1350.21 c 1285s | 18 | 1050282 | 322252 | 35323 19 | 7 | 14 1351.87/1352.31 c 1287s | 18 | 1052110 | 322852 | 35323 19 | 7 | 14 1354.17/1354.65 c 1290s | 18 | 1053820 | 323452 | 35323 19 | 7 | 14 1356.27/1356.74 c 1292s | 18 | 1056060 | 323952 | 35323 19 | 7 | 14 1358.67/1359.13 c 1294s | 18 | 1058365 | 324552 | 35323 19 | 7 | 14 1360.77/1361.22 c 1296s | 18 | 1060526 | 325152 | 35323 19 | 7 | 14 1362.87/1363.37 c 1298s | 18 | 1062007 | 325652 | 35323 19 | 7 | 14 1365.17/1365.67 c 1301s | 18 | 1063870 | 326252 | 35323 19 | 7 | 14 1367.36/1367.86 c 1303s | 18 | 1065702 | 326752 | 35323 19 | 7 | 14 1369.46/1369.95 c 1305s | 18 | 1067582 | 327252 | 35323 19 | 7 | 14 1371.86/1372.34 c 1307s | 18 | 1069557 | 327852 | 35323 19 | 7 | 14 1373.96/1374.41 c 1309s | 18 | 1071288 | 328352 | 35323 19 | 7 | 14 1376.06/1376.55 c 1312s | 18 | 1072798 | 328852 | 35323 19 | 7 | 14 1378.36/1378.81 c 1314s | 18 | 1074270 | 329352 | 35323 19 | 7 | 14 1380.66/1381.16 c 1316s | 18 | 1076224 | 329952 | 35323 19 | 7 | 14 1382.96/1383.46 c 1318s | 18 | 1078464 | 330552 | 35323 19 | 7 | 14 1385.46/1385.94 c 1321s | 18 | 1080050 | 331152 | 35323 19 | 7 | 14 1387.86/1388.35 c 1323s | 18 | 1082478 | 331752 | 35323 19 | 7 | 14 1389.96/1390.44 c 1325s | 18 | 1084194 | 332252 | 35323 19 | 7 | 14 1392.26/1392.76 c 1328s | 18 | 1085979 | 332852 | 35323 19 | 7 | 14 1394.36/1394.86 c 1330s | 18 | 1088669 | 333652 | 35323 19 | 7 | 14 1396.66/1397.14 c 1332s | 18 | 1090605 | 334452 | 35323 20 | 7 | 14 1398.65/1399.16 c 1334s | 18 | 1092817 | 335252 | 35323 20 | 7 | 14 1400.75/1401.22 c 1336s | 18 | 1094428 | 335852 | 35323 20 | 7 | 14 1403.05/1403.50 c 1338s | 18 | 1095955 | 336452 | 35323 20 | 7 | 14 1405.15/1405.66 c 1341s | 18 | 1098070 | 337052 | 35323 20 | 7 | 14 1407.35/1407.82 c 1343s | 18 | 1100520 | 337652 | 35323 20 | 7 | 14 1409.55/1410.08 c 1345s | 18 | 1102564 | 338252 | 35323 20 | 7 | 14 1411.85/1412.38 c 1347s | 18 | 1105016 | 338952 | 35323 20 | 7 | 14 1414.05/1414.55 c 1350s | 18 | 1107096 | 339552 | 35323 20 | 7 | 14 1416.36/1416.84 c 1352s | 18 | 1109475 | 340252 | 35323 20 | 7 | 14 1418.75/1419.20 c 1354s | 18 | 1111668 | 340952 | 35323 20 | 7 | 14 1420.75/1421.21 c 1356s | 18 | 1113783 | 341552 | 35323 20 | 7 | 14 1422.95/1423.41 c 1358s | 18 | 1115666 | 342252 | 35323 20 | 7 | 14 1425.15/1425.70 c 1361s | 18 | 1117556 | 342852 | 35323 20 | 7 | 14 1427.25/1427.74 c 1363s | 18 | 1119366 | 343352 | 35323 20 | 7 | 14 1429.65/1430.13 c 1365s | 18 | 1121493 | 343952 | 35323 20 | 7 | 14 1431.75/1432.22 c 1367s | 18 | 1122730 | 344452 | 35323 20 | 7 | 14 1433.84/1434.30 c 1369s | 18 | 1124907 | 344952 | 35323 20 | 7 | 14 1436.15/1436.62 c 1372s | 18 | 1127598 | 345652 | 35323 20 | 7 | 14 1438.35/1438.84 c 1374s | 18 | 1129724 | 346252 | 35323 20 | 7 | 14 1440.44/1440.99 c 1376s | 18 | 1131679 | 346852 | 35323 20 | 7 | 14 1442.54/1443.00 c 1378s | 18 | 1133576 | 347452 | 35323 20 | 7 | 14 1444.84/1445.32 c 1380s | 18 | 1136390 | 348152 | 35323 20 | 7 | 14 1447.04/1447.53 c 1382s | 18 | 1138673 | 348752 | 35323 20 | 7 | 14 1449.45/1449.95 c 1385s | 18 | 1140428 | 349352 | 35323 20 | 7 | 14 1451.65/1452.16 c 1387s | 18 | 1142298 | 349952 | 35323 20 | 7 | 14 1453.94/1454.45 c 1389s | 18 | 1144455 | 350552 | 35323 20 | 7 | 14 1455.95/1456.47 c 1391s | 18 | 1146261 | 351052 | 35323 20 | 7 | 14 1458.15/1458.60 c 1394s | 18 | 1147871 | 351552 | 35323 20 | 7 | 14 1460.14/1460.61 c 1396s | 18 | 1149663 | 352052 | 35323 20 | 7 | 14 1462.14/1462.69 c 1398s | 18 | 1151304 | 352652 | 35323 21 | 7 | 14 1464.24/1464.75 c 1400s | 18 | 1153772 | 353252 | 35323 21 | 7 | 14 1466.44/1466.92 c 1402s | 18 | 1155746 | 353852 | 35323 21 | 7 | 14 1468.74/1469.29 c 1404s | 18 | 1158030 | 354552 | 35323 21 | 7 | 14 1471.04/1471.52 c 1406s | 18 | 1159798 | 355152 | 35323 21 | 7 | 14 1473.04/1473.56 c 1409s | 18 | 1162219 | 355752 | 35323 21 | 7 | 14 1475.34/1475.86 c 1411s | 18 | 1163920 | 356352 | 35323 21 | 7 | 14 1477.54/1478.03 c 1413s | 18 | 1166181 | 356952 | 35323 21 | 7 | 14 1479.84/1480.32 c 1415s | 18 | 1168447 | 357652 | 35323 21 | 7 | 14 1482.14/1482.63 c 1418s | 18 | 1170386 | 358352 | 35323 21 | 7 | 14 1484.24/1484.75 c 1420s | 18 | 1172162 | 358952 | 35323 21 | 7 | 14 1486.34/1486.87 c 1422s | 18 | 1174534 | 359552 | 35323 21 | 7 | 14 1488.53/1489.03 c 1424s | 18 | 1176392 | 360052 | 35323 21 | 7 | 14 1490.83/1491.34 c 1426s | 18 | 1178220 | 360652 | 35323 21 | 7 | 14 1493.03/1493.52 c 1428s | 18 | 1179956 | 361252 | 35323 21 | 7 | 14 1495.13/1495.67 c 1431s | 18 | 1182012 | 361852 | 35323 21 | 7 | 14 1497.23/1497.73 c 1433s | 18 | 1184461 | 362452 | 35323 21 | 7 | 14 1499.23/1499.74 c 1435s | 18 | 1186209 | 363052 | 35323 21 | 7 | 14 1501.53/1502.07 c 1437s | 18 | 1188216 | 363652 | 35323 21 | 7 | 14 1503.93/1504.41 c 1439s | 18 | 1189964 | 364252 | 35323 21 | 7 | 14 1505.93/1506.47 c 1441s | 18 | 1191737 | 364752 | 35323 21 | 7 | 14 1508.23/1508.75 c 1444s | 18 | 1193853 | 365352 | 35323 21 | 7 | 14 1510.23/1510.76 c 1446s | 18 | 1196167 | 365952 | 35323 21 | 7 | 14 1512.43/1512.96 c 1448s | 18 | 1197645 | 366552 | 35323 21 | 7 | 14 1514.73/1515.22 c 1450s | 18 | 1199893 | 367152 | 35323 21 | 7 | 14 1516.83/1517.32 c 1452s | 18 | 1201994 | 367652 | 35323 21 | 7 | 14 1519.13/1519.62 c 1455s | 18 | 1204080 | 368252 | 35323 21 | 7 | 14 1521.13/1521.63 c 1457s | 18 | 1205853 | 368852 | 35323 21 | 7 | 14 1523.14/1523.68 c 1459s | 18 | 1207680 | 369452 | 35323 21 | 7 | 14 1525.24/1525.71 c 1461s | 18 | 1209387 | 369952 | 35323 21 | 7 | 14 1527.33/1527.82 c 1463s | 18 | 1211488 | 370552 | 35323 21 | 7 | 14 1529.33/1529.88 c 1465s | 18 | 1213172 | 371052 | 35323 22 | 7 | 14 1531.53/1532.01 c 1467s | 18 | 1215658 | 371652 | 35323 22 | 7 | 14 1533.73/1534.28 c 1469s | 18 | 1217758 | 372352 | 35323 22 | 7 | 14 1536.03/1536.53 c 1472s | 18 | 1220101 | 373052 | 35323 22 | 7 | 14 1538.33/1538.82 c 1474s | 18 | 1222943 | 373852 | 35323 22 | 7 | 14 1540.42/1540.91 c 1476s | 18 | 1224755 | 374552 | 35323 22 | 7 | 14 1542.62/1543.19 c 1478s | 18 | 1226946 | 375252 | 35323 22 | 7 | 14 1544.82/1545.33 c 1480s | 18 | 1228997 | 375852 | 35323 22 | 7 | 14 1547.02/1547.54 c 1483s | 18 | 1231406 | 376452 | 35323 22 | 7 | 14 1549.12/1549.67 c 1485s | 18 | 1233830 | 377052 | 35323 22 | 7 | 14 1551.22/1551.70 c 1487s | 18 | 1235928 | 377652 | 35323 22 | 7 | 14 1553.22/1553.71 c 1489s | 18 | 1237935 | 378252 | 35323 22 | 7 | 14 1555.52/1556.04 c 1491s | 18 | 1240214 | 378952 | 35323 22 | 7 | 14 1557.62/1558.19 c 1493s | 18 | 1242534 | 379552 | 35323 22 | 7 | 14 1559.92/1560.43 c 1495s | 18 | 1244433 | 380152 | 35323 22 | 7 | 14 1562.02/1562.58 c 1498s | 18 | 1246009 | 380752 | 35323 22 | 7 | 14 1564.32/1564.83 c 1500s | 18 | 1248052 | 381352 | 35323 22 | 7 | 14 1566.42/1566.97 c 1502s | 18 | 1250431 | 381952 | 35323 22 | 7 | 14 1568.42/1568.97 c 1504s | 18 | 1252453 | 382552 | 35323 22 | 7 | 14 1570.82/1571.32 c 1506s | 18 | 1255072 | 383252 | 35323 22 | 7 | 14 1573.12/1573.60 c 1509s | 18 | 1257202 | 383852 | 35323 22 | 7 | 14 1575.12/1575.62 c 1511s | 18 | 1259188 | 384552 | 35323 22 | 7 | 14 1577.12/1577.69 c 1513s | 18 | 1260756 | 385152 | 35323 22 | 7 | 14 1579.22/1579.73 c 1515s | 18 | 1262679 | 385752 | 35323 22 | 7 | 14 1581.52/1582.01 c 1517s | 18 | 1265546 | 386552 | 35323 22 | 7 | 14 1583.62/1584.18 c 1519s | 18 | 1267992 | 387252 | 35323 22 | 7 | 14 1585.82/1586.39 c 1521s | 18 | 1270261 | 387952 | 35323 22 | 7 | 14 1588.22/1588.70 c 1524s | 18 | 1272970 | 388652 | 35323 22 | 7 | 14 1590.52/1591.04 c 1526s | 18 | 1275092 | 389352 | 35323 22 | 7 | 14 1592.61/1593.13 c 1528s | 18 | 1276485 | 389752 | 35323 23 | 7 | 14 1594.71/1595.29 c 1530s | 18 | 1278541 | 390252 | 35323 23 | 7 | 14 1597.11/1597.62 c 1533s | 18 | 1280837 | 390852 | 35323 23 | 7 | 14 1599.21/1599.72 c 1535s | 18 | 1282872 | 391452 | 35323 23 | 7 | 14 1601.31/1601.90 c 1537s | 18 | 1284366 | 392052 | 35323 23 | 7 | 14 1603.33/1603.90 c 1539s | 18 | 1285147 | 392352 | 35323 23 | 7 | 14 1605.42/1605.96 c 1541s | 18 | 1286047 | 392652 | 35323 23 | 7 | 14 1607.42/1607.98 c 1543s | 18 | 1287148 | 393052 | 35323 23 | 7 | 14 1609.81/1610.31 c 1545s | 18 | 1289050 | 393652 | 35323 23 | 7 | 14 1611.91/1612.49 c 1547s | 18 | 1290848 | 394152 | 35323 23 | 7 | 14 1614.01/1614.51 c 1549s | 18 | 1294029 | 394752 | 35323 23 | 7 | 14 1616.31/1616.80 c 1552s | 18 | 1295949 | 395352 | 35323 23 | 7 | 14 1618.61/1619.16 c 1554s | 18 | 1297887 | 395952 | 35323 23 | 7 | 14 1620.92/1621.41 c 1556s | 18 | 1299459 | 396552 | 35323 23 | 7 | 14 1623.12/1623.69 c 1559s | 18 | 1301321 | 397152 | 35323 23 | 7 | 14 1625.42/1625.93 c 1561s | 18 | 1302667 | 397752 | 35323 23 | 7 | 14 1627.41/1627.97 c 1563s | 18 | 1304098 | 398252 | 35323 23 | 7 | 14 1629.72/1630.30 c 1565s | 18 | 1306251 | 398852 | 35323 23 | 7 | 14 1631.81/1632.38 c 1567s | 18 | 1307943 | 399352 | 35323 23 | 7 | 14 1633.91/1634.48 c 1569s | 18 | 1309782 | 399852 | 35323 23 | 7 | 14 1636.01/1636.50 c 1571s | 18 | 1311267 | 400352 | 35323 23 | 7 | 14 1638.11/1638.61 c 1574s | 18 | 1313049 | 400852 | 35323 23 | 7 | 14 1640.31/1640.89 c 1576s | 18 | 1314740 | 401352 | 35323 23 | 7 | 14 1642.41/1642.92 c 1578s | 18 | 1316030 | 401852 | 35323 23 | 7 | 14 1644.81/1645.35 c 1580s | 18 | 1317874 | 402452 | 35323 23 | 7 | 14 1647.11/1647.65 c 1583s | 18 | 1319424 | 402952 | 35323 23 | 7 | 14 1649.51/1650.05 c 1585s | 18 | 1320828 | 403452 | 35323 23 | 7 | 14 1651.61/1652.18 c 1587s | 18 | 1323038 | 404052 | 38856 23 | 7 | 14 1653.81/1654.37 c 1589s | 18 | 1325471 | 404752 | 38856 23 | 7 | 14 1656.01/1656.53 c 1591s | 18 | 1327294 | 405352 | 38856 23 | 7 | 14 1658.21/1658.71 c 1594s | 18 | 1328829 | 405952 | 38856 23 | 7 | 14 1660.40/1660.94 c 1596s | 18 | 1330200 | 406452 | 38856 23 | 7 | 14 1662.40/1662.99 c 1598s | 18 | 1331475 | 406952 | 38856 23 | 7 | 14 1664.70/1665.22 c 1600s | 18 | 1333417 | 407552 | 38856 23 | 7 | 14 1666.80/1667.38 c 1602s | 18 | 1334783 | 408052 | 38856 23 | 7 | 14 1668.90/1669.42 c 1604s | 18 | 1336766 | 408552 | 38856 23 | 7 | 14 1671.00/1671.53 c 1606s | 18 | 1338349 | 409052 | 38856 23 | 7 | 14 1673.10/1673.60 c 1609s | 18 | 1339917 | 409552 | 38856 23 | 7 | 14 1675.10/1675.63 c 1611s | 18 | 1341521 | 410052 | 38856 23 | 7 | 14 1677.40/1677.91 c 1613s | 18 | 1343232 | 410652 | 38856 23 | 7 | 14 1679.60/1680.18 c 1615s | 18 | 1344721 | 411152 | 38856 24 | 7 | 14 1681.90/1682.40 c 1617s | 18 | 1346187 | 411752 | 38856 24 | 7 | 14 1684.00/1684.58 c 1620s | 18 | 1347989 | 412352 | 38856 24 | 7 | 14 1686.10/1686.62 c 1622s | 18 | 1349711 | 412952 | 38856 24 | 7 | 14 1688.20/1688.70 c 1624s | 18 | 1351358 | 413452 | 38856 24 | 7 | 14 1690.31/1690.82 c 1626s | 18 | 1353396 | 413952 | 38856 24 | 7 | 14 1692.41/1692.98 c 1628s | 18 | 1355868 | 414552 | 38856 24 | 7 | 14 1694.71/1695.23 c 1630s | 18 | 1357868 | 415152 | 38856 24 | 7 | 14 1696.81/1697.34 c 1632s | 18 | 1359392 | 415652 | 38856 24 | 7 | 14 1699.10/1699.66 c 1635s | 18 | 1361644 | 416252 | 38856 24 | 7 | 14 1701.40/1701.97 c 1637s | 18 | 1363910 | 416852 | 38856 24 | 7 | 14 1703.50/1704.04 c 1639s | 18 | 1365470 | 417352 | 38856 24 | 7 | 14 1705.80/1706.34 c 1641s | 18 | 1367641 | 417952 | 38856 24 | 7 | 14 1707.80/1708.38 c 1643s | 18 | 1369461 | 418452 | 38856 24 | 7 | 14 1710.10/1710.62 c 1646s | 18 | 1371323 | 419052 | 38856 24 | 7 | 14 1712.20/1712.79 c 1648s | 18 | 1373079 | 419652 | 38856 24 | 7 | 14 1714.30/1714.81 c 1650s | 18 | 1374755 | 420152 | 38856 24 | 7 | 14 1716.30/1716.89 c 1652s | 18 | 1376571 | 420752 | 38856 24 | 7 | 14 1718.39/1718.90 c 1654s | 18 | 1378023 | 421252 | 38856 24 | 7 | 14 1720.39/1721.00 c 1656s | 18 | 1380082 | 421852 | 38856 24 | 7 | 14 1722.69/1723.29 c 1658s | 18 | 1382087 | 422352 | 38856 24 | 7 | 14 1724.79/1725.36 c 1660s | 18 | 1383823 | 422852 | 38856 24 | 7 | 14 1726.89/1727.41 c 1662s | 18 | 1385505 | 423352 | 38856 24 | 7 | 14 1728.99/1729.58 c 1665s | 18 | 1387502 | 423952 | 38856 24 | 7 | 14 1731.09/1731.62 c 1667s | 18 | 1389858 | 424552 | 38856 24 | 7 | 14 1733.10/1733.65 c 1669s | 18 | 1391960 | 425152 | 38856 24 | 7 | 14 1735.30/1735.83 c 1671s | 18 | 1394266 | 425852 | 38856 24 | 7 | 14 1737.39/1737.97 c 1673s | 18 | 1396227 | 426452 | 38856 24 | 7 | 14 1739.49/1740.01 c 1675s | 18 | 1398107 | 427052 | 38856 24 | 7 | 14 1741.59/1742.19 c 1677s | 18 | 1399698 | 427652 | 38856 24 | 7 | 14 1743.79/1744.36 c 1679s | 18 | 1400944 | 428252 | 38856 24 | 7 | 14 1746.19/1746.75 c 1682s | 18 | 1402651 | 428852 | 38856 24 | 7 | 14 1748.29/1748.89 c 1684s | 18 | 1404155 | 429352 | 38856 24 | 7 | 14 1750.80/1751.31 c 1686s | 18 | 1406343 | 429852 | 38856 24 | 7 | 14 1752.90/1753.41 c 1688s | 18 | 1408397 | 430352 | 38856 24 | 7 | 14 1755.20/1755.76 c 1691s | 18 | 1410477 | 430952 | 38856 25 | 7 | 14 1757.39/1757.93 c 1693s | 18 | 1412279 | 431552 | 38856 25 | 7 | 14 1759.49/1760.02 c 1695s | 18 | 1414061 | 432152 | 38856 25 | 7 | 14 1761.60/1762.11 c 1697s | 18 | 1415962 | 432652 | 38856 25 | 7 | 14 1764.10/1764.61 c 1700s | 18 | 1418114 | 433252 | 38856 25 | 7 | 14 1766.40/1766.93 c 1702s | 18 | 1419827 | 433852 | 38856 25 | 7 | 14 1768.40/1768.97 c 1704s | 18 | 1421751 | 434452 | 38856 25 | 7 | 14 1770.50/1771.09 c 1706s | 18 | 1424595 | 435252 | 38856 25 | 7 | 14 1772.70/1773.27 c 1708s | 18 | 1426506 | 436052 | 38856 25 | 7 | 14 1774.90/1775.47 c 1710s | 18 | 1428191 | 436752 | 38856 25 | 7 | 14 1777.10/1777.64 c 1713s | 18 | 1429589 | 437352 | 38856 25 | 7 | 14 1779.40/1779.93 c 1715s | 18 | 1431735 | 438052 | 38856 25 | 7 | 14 1781.39/1781.98 c 1717s | 18 | 1433635 | 438652 | 38856 25 | 7 | 14 1783.39/1783.99 c 1719s | 18 | 1434881 | 439252 | 38856 25 | 7 | 14 1785.49/1786.06 c 1721s | 18 | 1436432 | 439852 | 38856 25 | 7 | 14 1787.59/1788.14 c 1723s | 18 | 1438254 | 440452 | 38856 25 | 7 | 14 1789.89/1790.44 c 1725s | 18 | 1440029 | 441152 | 38856 25 | 7 | 14 1792.09/1792.62 c 1728s | 18 | 1441476 | 441652 | 38856 25 | 7 | 14 1794.19/1794.72 c 1730s | 18 | 1443786 | 442152 | 38856 25 | 7 | 14 1796.19/1796.78 c 1732s | 18 | 1445359 | 442652 | 38856 25 | 7 | 14 1798.49/1799.00 c 1734s | 18 | 1447239 | 443152 | 38856 25 | 7 | 14
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4080131-1465257697/watcher-4080131-1465257697 -o /tmp/evaluation-result-4080131-1465257697/solver-4080131-1465257697 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5582 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080131-1465257697.opb pid=5826 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.10 2.10 2.01 3/181 5829 /proc/meminfo: memFree=31520552/32872528 swapFree=12744/274376 [pid=5829] ppid=5826 vsize=791996 CPUtime=0 cores=0,2,4,6 /proc/5829/stat : 5829 (toysat) R 5826 5829 5566 0 -1 4202496 2966 0 0 0 0 0 0 0 20 0 4 0 107704439 811003904 3327 33554432000 4194304 16246674 140737398462752 140737398462176 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5829/statm: 198767 3336 441 2943 0 195661 0 [pid=5829/tid=5830] ppid=5826 vsize=810428 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5830/stat : 5830 (toysat) S 5826 5829 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704439 829878272 3398 33554432000 4194304 16246674 140737398462752 140069023231216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5829/tid=5831] ppid=5826 vsize=814524 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5831/stat : 5831 (toysat) S 5826 5829 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704439 834072576 3412 33554432000 4194304 16246674 140737398462752 140069012741360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5829/tid=5832] ppid=5826 vsize=818620 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5832/stat : 5832 (toysat) S 5826 5829 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107704439 838266880 3431 33554432000 4194304 16246674 140737398462752 140069002267824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100188 s] /proc/loadavg: 2.10 2.10 2.01 3/181 5829 /proc/meminfo: memFree=31520552/32872528 swapFree=12744/274376 [pid=5829] ppid=5826 vsize=1223236 CPUtime=0.09 cores=0,2,4,6 /proc/5829/stat : 5829 (toysat) R 5826 5829 5566 0 -1 4202496 22719 0 0 0 6 3 0 0 20 0 4 0 107704439 1252593664 23026 33554432000 4194304 16246674 140737398462752 140737398462064 5874060 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5829/statm: 305809 23026 834 2943 0 302703 0 [pid=5829/tid=5830] ppid=5826 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5830/stat : 5830 (toysat) S 5826 5829 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704439 1252593664 23026 33554432000 4194304 16246674 140737398462752 140069023231216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5829/tid=5831] ppid=5826 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5831/stat : 5831 (toysat) S 5826 5829 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704439 1252593664 23026 33554432000 4194304 16246674 140737398462752 140069012741360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5829/tid=5832] ppid=5826 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5832/stat : 5832 (toysat) S 5826 5829 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704439 1252593664 23026 33554432000 4194304 16246674 140737398462752 140069002267824 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) 1223236 [startup+0.200573 s] /proc/loadavg: 2.10 2.10 2.01 3/181 5829 /proc/meminfo: memFree=31520552/32872528 swapFree=12744/274376 [pid=5829] ppid=5826 vsize=1223236 CPUtime=0.19 cores=0,2,4,6 /proc/5829/stat : 5829 (toysat) R 5826 5829 5566 0 -1 4202496 36895 0 0 0 14 5 0 0 20 0 4 0 107704439 1252593664 37202 33554432000 4194304 16246674 140737398462752 140737398462064 5532218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5829/statm: 305809 37208 893 2943 0 302703 0 [pid=5829/tid=5830] ppid=5826 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5830/stat : 5830 (toysat) S 5826 5829 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704439 1252593664 37212 33554432000 4194304 16246674 140737398462752 140069023231216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5829/tid=5831] ppid=5826 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5831/stat : 5831 (toysat) S 5826 5829 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704439 1252593664 37217 33554432000 4194304 16246674 140737398462752 140069012741360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5829/tid=5832] ppid=5826 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5832/stat : 5832 (toysat) S 5826 5829 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704439 1252593664 37222 33554432000 4194304 16246674 140737398462752 140069002267824 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) 1223236 [startup+0.30051 s] /proc/loadavg: 2.10 2.10 2.01 3/181 5829 /proc/meminfo: memFree=31520552/32872528 swapFree=12744/274376 [pid=5829] ppid=5826 vsize=1296964 CPUtime=0.29 cores=0,2,4,6 /proc/5829/stat : 5829 (toysat) R 5826 5829 5566 0 -1 4202496 53585 0 0 0 21 8 0 0 20 0 4 0 107704439 1328091136 53893 33554432000 4194304 16246674 140737398462752 140737398462064 5674637 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5829/statm: 324241 53901 907 2943 0 321135 0 [pid=5829/tid=5830] ppid=5826 vsize=1296964 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5830/stat : 5830 (toysat) S 5826 5829 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704439 1328091136 53907 33554432000 4194304 16246674 140737398462752 140069023231216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5829/tid=5831] ppid=5826 vsize=1296964 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5831/stat : 5831 (toysat) S 5826 5829 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704439 1328091136 53913 33554432000 4194304 16246674 140737398462752 140069012741360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5829/tid=5832] ppid=5826 vsize=1296964 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5832/stat : 5832 (toysat) S 5826 5829 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704439 1328091136 53919 33554432000 4194304 16246674 140737398462752 140069002267824 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) 1296964 [startup+0.700413 s] /proc/loadavg: 2.10 2.10 2.01 3/181 5829 /proc/meminfo: memFree=31520552/32872528 swapFree=12744/274376 [pid=5829] ppid=5826 vsize=1296964 CPUtime=0.69 cores=0,2,4,6 /proc/5829/stat : 5829 (toysat) R 5826 5829 5566 0 -1 4202496 122189 0 0 0 52 17 0 0 20 0 4 0 107704439 1328091136 122497 33554432000 4194304 16246674 140737398462752 140737398444608 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5829/statm: 324241 122513 907 2943 0 321135 0 [pid=5829/tid=5830] ppid=5826 vsize=1296964 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5830/stat : 5830 (toysat) S 5826 5829 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704439 1328091136 122521 33554432000 4194304 16246674 140737398462752 140069023231216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5829/tid=5831] ppid=5826 vsize=1296964 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5831/stat : 5831 (toysat) S 5826 5829 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704439 1328091136 122529 33554432000 4194304 16246674 140737398462752 140069012741360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5829/tid=5832] ppid=5826 vsize=1296964 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5832/stat : 5832 (toysat) S 5826 5829 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704439 1328091136 122534 33554432000 4194304 16246674 140737398462752 140069002267824 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) 1296964 [startup+1.5005 s] /proc/loadavg: 2.09 2.10 2.01 3/185 5833 /proc/meminfo: memFree=29822772/32872528 swapFree=12744/274376 [pid=5829] ppid=5826 vsize=1307204 CPUtime=1.49 cores=0,2,4,6 /proc/5829/stat : 5829 (toysat) R 5826 5829 5566 0 -1 4202496 201145 0 0 0 122 27 0 0 20 0 4 0 107704439 1338576896 201452 33554432000 4194304 16246674 140737398462752 140737398444672 5545872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5829/statm: 326801 201452 913 2943 0 323695 0 [pid=5829/tid=5830] ppid=5826 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5830/stat : 5830 (toysat) S 5826 5829 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704439 1338576896 201452 33554432000 4194304 16246674 140737398462752 140069023231216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5829/tid=5831] ppid=5826 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5831/stat : 5831 (toysat) S 5826 5829 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704439 1338576896 201452 33554432000 4194304 16246674 140737398462752 140069012741360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5829/tid=5832] ppid=5826 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5832/stat : 5832 (toysat) S 5826 5829 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704439 1338576896 201452 33554432000 4194304 16246674 140737398462752 140069002267824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1307204 [startup+3.10043 s] /proc/loadavg: 2.09 2.10 2.01 3/185 5833 /proc/meminfo: memFree=29816176/32872528 swapFree=12744/274376 [pid=5829] ppid=5826 vsize=1307204 CPUtime=3.09 cores=0,2,4,6 /proc/5829/stat : 5829 (toysat) R 5826 5829 5566 0 -1 4202496 201145 0 0 0 282 27 0 0 20 0 4 0 107704439 1338576896 201452 33554432000 4194304 16246674 140737398462752 140737398445752 13963936 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5829/statm: 326801 201452 913 2943 0 323695 0 [pid=5829/tid=5830] ppid=5826 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5830/stat : 5830 (toysat) S 5826 5829 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704439 1338576896 201452 33554432000 4194304 16246674 140737398462752 140069023231216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5829/tid=5831] ppid=5826 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5831/stat : 5831 (toysat) S 5826 5829 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704439 1338576896 201452 33554432000 4194304 16246674 140737398462752 140069012741360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5829/tid=5832] ppid=5826 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5832/stat : 5832 (toysat) S 5826 5829 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704439 1338576896 201452 33554432000 4194304 16246674 140737398462752 140069002267824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1307204 [startup+6.30043 s] /proc/loadavg: 2.09 2.10 2.01 3/185 5833 /proc/meminfo: memFree=29816952/32872528 swapFree=12744/274376 [pid=5829] ppid=5826 vsize=1307204 CPUtime=6.29 cores=0,2,4,6 /proc/5829/stat : 5829 (toysat) R 5826 5829 5566 0 -1 4202496 201145 0 0 0 601 28 0 0 20 0 4 0 107704439 1338576896 201452 33554432000 4194304 16246674 140737398462752 140737398445752 5545916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5829/statm: 326801 201452 913 2943 0 323695 0 [pid=5829/tid=5830] ppid=5826 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5830/stat : 5830 (toysat) S 5826 5829 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704439 1338576896 201452 33554432000 4194304 16246674 140737398462752 140069023231216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5829/tid=5831] ppid=5826 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5831/stat : 5831 (toysat) S 5826 5829 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704439 1338576896 201452 33554432000 4194304 16246674 140737398462752 140069012741360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5829/tid=5832] ppid=5826 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5832/stat : 5832 (toysat) S 5826 5829 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704439 1338576896 201452 33554432000 4194304 16246674 140737398462752 140069002267824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.08 2.09 2.01 3/185 5833 /proc/meminfo: memFree=29816280/32872528 swapFree=12744/274376 [pid=5829] ppid=5826 vsize=1307204 CPUtime=12.69 cores=0,2,4,6 /proc/5829/stat : 5829 (toysat) R 5826 5829 5566 0 -1 4202496 201145 0 0 0 1240 29 0 0 20 0 4 0 107704439 1338576896 201452 33554432000 4194304 16246674 140737398462752 140737398461928 13950232 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5829/statm: 326801 201452 913 2943 0 323695 0 [pid=5829/tid=5830] ppid=5826 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5830/stat : 5830 (toysat) S 5826 5829 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704439 1338576896 201452 33554432000 4194304 16246674 140737398462752 140069023231216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5829/tid=5831] ppid=5826 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5831/stat : 5831 (toysat) S 5826 5829 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704439 1338576896 201452 33554432000 4194304 16246674 140737398462752 140069012741360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5829/tid=5832] ppid=5826 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5832/stat : 5832 (toysat) S 5826 5829 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704439 1338576896 201452 33554432000 4194304 16246674 140737398462752 140069002267824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1307204 [startup+25.5005 s] /proc/loadavg: 2.07 2.09 2.01 3/184 5833 /proc/meminfo: memFree=29811776/32872528 swapFree=12744/274376 [pid=5829] ppid=5826 vsize=1308228 CPUtime=25.49 cores=0,2,4,6 /proc/5829/stat : 5829 (toysat) R 5826 5829 5566 0 -1 4202496 201163 0 0 0 2518 31 0 0 20 0 4 0 107704439 1339625472 201470 33554432000 4194304 16246674 140737398462752 140737398444672 6837238 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5829/statm: 327057 201470 914 2943 0 323951 0 [pid=5829/tid=5830] ppid=5826 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5830/stat : 5830 (toysat) S 5826 5829 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704439 1339625472 201470 33554432000 4194304 16246674 140737398462752 140069023231216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5829/tid=5831] ppid=5826 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5831/stat : 5831 (toysat) S 5826 5829 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704439 1339625472 201470 33554432000 4194304 16246674 140737398462752 140069012741360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5829/tid=5832] ppid=5826 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5832/stat : 5832 (toysat) S 5826 5829 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704439 1339625472 201470 33554432000 4194304 16246674 140737398462752 140069002267824 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) 1308228 [startup+51.1005 s] /proc/loadavg: 2.04 2.08 2.00 3/184 5833 /proc/meminfo: memFree=29530580/32872528 swapFree=12744/274376 [pid=5829] ppid=5826 vsize=1320516 CPUtime=51.08 cores=0,2,4,6 /proc/5829/stat : 5829 (toysat) R 5826 5829 5566 0 -1 4202496 271328 0 0 0 5063 45 0 0 20 0 4 0 107704439 1352208384 271635 33554432000 4194304 16246674 140737398462752 140737398444672 5530850 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5829/statm: 330129 271635 918 2943 0 327023 0 [pid=5829/tid=5830] ppid=5826 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5830/stat : 5830 (toysat) S 5826 5829 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704439 1352208384 271635 33554432000 4194304 16246674 140737398462752 140069023231216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5829/tid=5831] ppid=5826 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5831/stat : 5831 (toysat) S 5826 5829 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704439 1352208384 271635 33554432000 4194304 16246674 140737398462752 140069012741360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5829/tid=5832] ppid=5826 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5832/stat : 5832 (toysat) S 5826 5829 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704439 1352208384 271635 33554432000 4194304 16246674 140737398462752 140069002267824 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) 1320516 [startup+102.3 s] /proc/loadavg: 2.02 2.07 2.00 3/184 5834 /proc/meminfo: memFree=29526992/32872528 swapFree=12744/274376 [pid=5829] ppid=5826 vsize=1322564 CPUtime=102.28 cores=0,2,4,6 /proc/5829/stat : 5829 (toysat) R 5826 5829 5566 0 -1 4202496 271840 0 0 0 10177 51 0 0 20 0 4 0 107704439 1354305536 272147 33554432000 4194304 16246674 140737398462752 140737398444672 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5829/statm: 330641 272147 918 2943 0 327535 0 [pid=5829/tid=5830] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5830/stat : 5830 (toysat) S 5826 5829 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272147 33554432000 4194304 16246674 140737398462752 140069023231216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5829/tid=5831] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5831/stat : 5831 (toysat) S 5826 5829 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272147 33554432000 4194304 16246674 140737398462752 140069012741360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5829/tid=5832] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5832/stat : 5832 (toysat) S 5826 5829 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272147 33554432000 4194304 16246674 140737398462752 140069002267824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1322564 ################ # More data... # ################ /proc/5829/task/5832/stat : 5832 (toysat) S 5826 5829 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140069002267824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 1322564 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/184 5864 /proc/meminfo: memFree=29493152/32872528 swapFree=12744/274376 [pid=5829] ppid=5826 vsize=1322564 CPUtime=1301.91 cores=0,2,4,6 /proc/5829/stat : 5829 (toysat) R 5826 5829 5566 0 -1 4202496 272173 0 0 0 130124 67 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140737398444672 6022674 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5829/statm: 330641 272151 919 2943 0 327535 0 [pid=5829/tid=5830] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5830/stat : 5830 (toysat) S 5826 5829 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140069023231216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5829/tid=5831] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5831/stat : 5831 (toysat) S 5826 5829 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140069012741360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5829/tid=5832] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5832/stat : 5832 (toysat) S 5826 5829 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140069002267824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1322564 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 4/184 5865 /proc/meminfo: memFree=29493068/32872528 swapFree=12744/274376 [pid=5829] ppid=5826 vsize=1322564 CPUtime=1361.87 cores=0,2,4,6 /proc/5829/stat : 5829 (toysat) R 5826 5829 5566 0 -1 4202496 272218 0 0 0 136120 67 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140737398444672 13820919 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5829/statm: 330641 272151 919 2943 0 327535 0 [pid=5829/tid=5830] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5830/stat : 5830 (toysat) S 5826 5829 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140069023231216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5829/tid=5831] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5831/stat : 5831 (toysat) S 5826 5829 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140069012741360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5829/tid=5832] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5832/stat : 5832 (toysat) S 5826 5829 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140069002267824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1322564 [startup+1422.3 s] /proc/loadavg: 2.00 2.00 2.00 3/184 5867 /proc/meminfo: memFree=29493336/32872528 swapFree=12744/274376 [pid=5829] ppid=5826 vsize=1322564 CPUtime=1421.85 cores=0,2,4,6 /proc/5829/stat : 5829 (toysat) R 5826 5829 5566 0 -1 4202496 272235 0 0 0 142118 67 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140737398444672 5572168 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5829/statm: 330641 272151 919 2943 0 327535 0 [pid=5829/tid=5830] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5830/stat : 5830 (toysat) S 5826 5829 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140069023231216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5829/tid=5831] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5831/stat : 5831 (toysat) S 5826 5829 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140069012741360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5829/tid=5832] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5832/stat : 5832 (toysat) S 5826 5829 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140069002267824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1322564 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/184 5868 /proc/meminfo: memFree=29493344/32872528 swapFree=12744/274376 [pid=5829] ppid=5826 vsize=1322564 CPUtime=1481.84 cores=0,2,4,6 /proc/5829/stat : 5829 (toysat) R 5826 5829 5566 0 -1 4202496 272235 0 0 0 148117 67 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140737398444672 5675719 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5829/statm: 330641 272151 919 2943 0 327535 0 [pid=5829/tid=5830] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5830/stat : 5830 (toysat) S 5826 5829 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140069023231216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5829/tid=5831] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5831/stat : 5831 (toysat) S 5826 5829 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140069012741360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5829/tid=5832] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5832/stat : 5832 (toysat) S 5826 5829 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140069002267824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1322564 [startup+1542.31 s] /proc/loadavg: 2.00 2.00 2.00 3/184 5869 /proc/meminfo: memFree=29493220/32872528 swapFree=12744/274376 [pid=5829] ppid=5826 vsize=1322564 CPUtime=1541.83 cores=0,2,4,6 /proc/5829/stat : 5829 (toysat) R 5826 5829 5566 0 -1 4202496 272235 0 0 0 154116 67 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140737398444672 5677659 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5829/statm: 330641 272151 919 2943 0 327535 0 [pid=5829/tid=5830] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5830/stat : 5830 (toysat) S 5826 5829 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140069023231216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5829/tid=5831] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5831/stat : 5831 (toysat) S 5826 5829 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140069012741360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5829/tid=5832] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5832/stat : 5832 (toysat) S 5826 5829 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140069002267824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1322564 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/184 5870 /proc/meminfo: memFree=29493100/32872528 swapFree=12744/274376 [pid=5829] ppid=5826 vsize=1322564 CPUtime=1601.81 cores=0,2,4,6 /proc/5829/stat : 5829 (toysat) R 5826 5829 5566 0 -1 4202496 272235 0 0 0 160114 67 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140737398444672 5674858 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5829/statm: 330641 272151 919 2943 0 327535 0 [pid=5829/tid=5830] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5830/stat : 5830 (toysat) S 5826 5829 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140069023231216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5829/tid=5831] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5831/stat : 5831 (toysat) S 5826 5829 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140069012741360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5829/tid=5832] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5832/stat : 5832 (toysat) S 5826 5829 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140069002267824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1322564 [startup+1662.3 s] /proc/loadavg: 2.07 2.02 2.00 3/184 5871 /proc/meminfo: memFree=29493112/32872528 swapFree=12744/274376 [pid=5829] ppid=5826 vsize=1322564 CPUtime=1661.8 cores=0,2,4,6 /proc/5829/stat : 5829 (toysat) R 5826 5829 5566 0 -1 4202496 272235 0 0 0 166112 68 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140737398444672 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5829/statm: 330641 272151 919 2943 0 327535 0 [pid=5829/tid=5830] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5830/stat : 5830 (toysat) S 5826 5829 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140069023231216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5829/tid=5831] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5831/stat : 5831 (toysat) S 5826 5829 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140069012741360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5829/tid=5832] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5832/stat : 5832 (toysat) S 5826 5829 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140069002267824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1322564 [startup+1722.3 s] /proc/loadavg: 2.15 2.05 2.01 3/185 5876 /proc/meminfo: memFree=29493308/32872528 swapFree=12744/274376 [pid=5829] ppid=5826 vsize=1322564 CPUtime=1721.79 cores=0,2,4,6 /proc/5829/stat : 5829 (toysat) R 5826 5829 5566 0 -1 4202496 272235 0 0 0 172111 68 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140737398444672 5822496 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5829/statm: 330641 272151 919 2943 0 327535 0 [pid=5829/tid=5830] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5830/stat : 5830 (toysat) S 5826 5829 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140069023231216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5829/tid=5831] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5831/stat : 5831 (toysat) S 5826 5829 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140069012741360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5829/tid=5832] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5832/stat : 5832 (toysat) S 5826 5829 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140069002267824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1322564 [startup+1782.3 s] /proc/loadavg: 2.31 2.12 2.04 3/184 5877 /proc/meminfo: memFree=29492820/32872528 swapFree=12744/274376 [pid=5829] ppid=5826 vsize=1322564 CPUtime=1781.79 cores=0,2,4,6 /proc/5829/stat : 5829 (toysat) R 5826 5829 5566 0 -1 4202496 272235 0 0 0 178110 69 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140737398444672 5672056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5829/statm: 330641 272151 919 2943 0 327535 0 [pid=5829/tid=5830] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5830/stat : 5830 (toysat) S 5826 5829 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140069023231216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5829/tid=5831] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5831/stat : 5831 (toysat) S 5826 5829 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140069012741360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5829/tid=5832] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5832/stat : 5832 (toysat) S 5826 5829 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140069002267824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1322564 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.24 2.11 2.03 3/184 5877 /proc/meminfo: memFree=29492828/32872528 swapFree=12744/274376 [pid=5829] ppid=5826 vsize=1322564 CPUtime=1800.08 cores=0,2,4,6 /proc/5829/stat : 5829 (toysat) R 5826 5829 5566 0 -1 4202496 272235 0 0 0 179939 69 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140737398444672 5674851 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5829/statm: 330641 272151 919 2943 0 327535 0 [pid=5829/tid=5830] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5830/stat : 5830 (toysat) S 5826 5829 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140069023231216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5829/tid=5831] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5831/stat : 5831 (toysat) S 5826 5829 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140069012741360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5829/tid=5832] ppid=5826 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5829/task/5832/stat : 5832 (toysat) S 5826 5829 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704439 1354305536 272151 33554432000 4194304 16246674 140737398462752 140069002267824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1322564 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 5829 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.1 CPU user time (s): 1799.4 CPU system time (s): 0.695894 CPU usage (%): 99.9718 Max. virtual memory (cumulated for all children) (KiB): 1322564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.4 system time used= 0.695894 maximum resident set size= 1088604 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 272235 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= 408 involuntary context switches= 1835 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.21475 second user time and 18.7062 second system time The end
Begin job on node107 at 2016-06-07 02:01:37 IDJOB=4080131 IDBENCH=48158 IDSOLVER=2542 FILE ID=node107/4080131-1465257697 RUNJOBID= node107-1465255895-5582 PBS_JOBID= 19843278 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_3.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080131-1465257697/watcher-4080131-1465257697 -o /tmp/evaluation-result-4080131-1465257697/solver-4080131-1465257697 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5582 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080131-1465257697.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0e507441d4bf529adaad354902c51a54 RANDOM SEED=262716533 node107.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.441 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.88 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.441 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.441 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.54 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.441 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 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.441 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.441 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.441 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: 31543144 kB Buffers: 49696 kB Cached: 149128 kB SwapCached: 1684 kB Active: 262744 kB Inactive: 87940 kB Active(anon): 153848 kB Inactive(anon): 388 kB Active(file): 108896 kB Inactive(file): 87552 kB Unevictable: 274376 kB Mlocked: 12744 kB SwapTotal: 67108856 kB SwapFree: 67098436 kB Dirty: 32692 kB Writeback: 0 kB AnonPages: 423724 kB Mapped: 10180 kB Shmem: 0 kB Slab: 569864 kB SReclaimable: 13472 kB SUnreclaim: 556392 kB KernelStack: 1480 kB PageTables: 6384 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1408712 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 262144 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= 71732 MiB End job on node107 at 2016-06-07 02:31:38