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.05 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos1.opb |
| MD5SUM | 374deb5d477559ba9c51d0ad1d758624 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 19 |
| Best CPU time to get the best result obtained on this benchmark | 3.84142 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 19 |
| Optimality of the best value was proved | YES |
| Number of variables | 2112 |
| Total number of constraints | 5020 |
| Number of constraints which are clauses | 4128 |
| Number of constraints which are cardinality constraints (but not clauses) | 216 |
| Number of constraints which are nor clauses,nor cardinality constraints | 676 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 32 |
| Number of terms in the objective function | 288 |
| 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 | 288 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 5 |
| Number of bits of the biggest number in a constraint | 3 |
| Biggest sum of numbers in a constraint | 288 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T16:25:27+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-4079471-1465223127.opb"] 0.00/0.01 c use --random-gen="762471762 4243334070 379077220 2579251878 3032882100 3572229601 397299726 377532524 780524174 2364100710 3990067578 3106583950 1644543297 1507198710 3509949537 450947834 2964447625 2337413162 3905670022 3031579973 30363099 4259433959 2018366794 185834614 693612275 2778662747 2900867604 2161999810 1720803973 1841675235 1076634869 739216289 3624506692 3764133763 1932620809 1655627121 3683155774 3506480206 234342336 3558067321 2683872446 2953290077 2706305984 19104392 1648724783 3146691069 1376748167 2956742590 2102681224 2376086185 526369457 1584268903 2092805577 868766337 802621982 322462094 2357895718 2962532168 3668416916 495767260 1779103027 2581991173 2561101280 2813217683 3432617139 406535773 1976327297 974118676 1459837652 1405871649 1462919263 3117937271 3396561437 3924410183 1987525070 1247195006 2489623356 170918709 2805405373 4261311988 2509306758 3675509296 385714087 3544028538 2696563648 997458623 1117040964 2128520870 4061961592 1653284022 3637357391 3697050091 1041487870 3066685495 3764351163 3504050607 2494847641 219180881 3997105178 493823311 953053244 562909659 1149647834 4069880868 2176904717 531407284 363705158 1209675987 1466875409 2202559783 2150972113 1670716215 81194785 3119621784 3978123170 3772426910 1963239219 1451669781 3735500183 3987818855 1129323133 2586063316 3502786302 2778067870 455493124 2959274224 78634913 984848111 2043611700 2239101896 75689051 1963326474 1815557772 1215032613 530545935 3073072650 1309414413 2313556607 1306711791 3475320054 3524432639 2860609611 3785728260 2779169140 1229430308 1781034711 2761521220 3162383669 2553784318 4222971355 648834734 1869373625 3373686780 3393404519 4066889061 3960647975 2262898348 3638832662 2886733405 1853089233 1943359021 4262588750 3136863905 389908147 3918204704 501742730 2885774854 2509191642 2412551377 338831372 1960627197 2629798885 1460508930 433791541 2966181640 552613514 984964118 3384968079 513335912 1358539354 1989162590 1689122779 1612133272 115581270 3422278175 721722091 4006877602 1370197249 427151692 334798264 377275520 2027536258 4094251243 4172791680 3226765335 593284736 1564565039 922868629 4024434108 1256510523 4292600179 2603245269 2428691745 1500605641 480973688 4061838851 2861032240 2846794760 1353976798 4210101253 1575741043 3205645667 3947653994 1775383667 3754614278 3995282335 2133870597 774075770 2319801558 1196778984 1864500366 1069232566 2999253373 922264861 3210827261 577520971 1414264997 4019875249 3057899352 2896333002 3947262754 657613902 1045457535 2767093322 425213575 1990548111 4176546290 113623830 3268948177 1509309829 3250698133 848398187 3112241806 3798392417 3455924605 335916539 1962112226 1077564077 1099167019 1756816932 505209714 740131139 3447200194 1303523715 3409210498 713542529 255 362436" option to reproduce the execution 0.00/0.06 c #vars 2112 0.00/0.06 c #constraints 5020 0.09/0.15 c BCD2: Hardening is enabled. 0.09/0.15 c BCD2: BiasedSearch is enabled. 0.09/0.15 c Solving starts ... 0.09/0.15 c ============================[ Search Statistics ]============================ 0.09/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.15 c | | | | Limit GC | Var | Constra 0.09/0.15 c ============================================================================= 0.09/0.15 c 0.0s | 0 | 0 | 0 | 2410 0 | 0 | 0 0.09/0.18 c 0.0s | 1 | 4471 | 100 | 2410 0 | 0 | 0 0.19/0.21 c 0.1s | 1 | 6427 | 168 | 2651 0 | 0 | 0 0.19/0.21 c #cpu_time = 0.057s 0.19/0.21 c #wall_clock_time = 0.057s 0.19/0.21 c #decision = 6427 0.19/0.21 c #random_decision = 20 0.19/0.21 c #conflict = 168 0.19/0.21 c #restart = 1 0.19/0.21 o 123 0.19/0.21 c BCD2: updating upper bound: 288 -> 122 0.19/0.21 c BCD2: 0 <= obj <= 122 0.19/0.21 c BCD2: #cores=0, #unrelaxed=288, #relaxed=0, #hardened=0 0.19/0.21 c BCD2: #sat=1 #unsat=1 bias=1/2 0.19/0.21 c Solving starts ... 0.19/0.21 c ============================[ Search Statistics ]============================ 0.19/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.21 c | | | | Limit GC | Var | Constra 0.19/0.21 c ============================================================================= 0.19/0.21 c 0.0s | 0 | 0 | 0 | 2651 0 | 0 | 0 0.19/0.21 c 0.0s | 0 | 47 | 0 | 2651 0 | 0 | 0 0.19/0.21 c #cpu_time = 0.006s 0.19/0.21 c #wall_clock_time = 0.006s 0.19/0.21 c #decision = 47 0.19/0.21 c #random_decision = 0 0.19/0.21 c #conflict = 0 0.19/0.21 c #restart = 0 0.19/0.21 c BCD2: found a new core of size 16: cost of the new core is >=1 0.19/0.21 c lower bound updated to 1 0.19/0.21 c BCD2: 1 <= obj <= 122 0.19/0.21 c BCD2: #cores=1, #unrelaxed=272, #relaxed=16, #hardened=0 0.19/0.21 c BCD2: #sat=1 #unsat=2 bias=2/3 0.19/0.21 c Solving starts ... 0.19/0.21 c ============================[ Search Statistics ]============================ 0.19/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.21 c | | | | Limit GC | Var | Constra 0.19/0.21 c ============================================================================= 0.19/0.22 c 0.0s | 0 | 0 | 0 | 2651 0 | 0 | 0 0.19/0.22 c 0.0s | 0 | 40 | 0 | 2651 0 | 0 | 0 0.19/0.22 c #cpu_time = 0.006s 0.19/0.22 c #wall_clock_time = 0.006s 0.19/0.22 c #decision = 40 0.19/0.22 c #random_decision = 0 0.19/0.22 c #conflict = 0 0.19/0.22 c #restart = 0 0.19/0.22 c BCD2: found a new core of size 12: cost of the new core is >=1 0.19/0.22 c lower bound updated to 2 0.19/0.22 c BCD2: 2 <= obj <= 122 0.19/0.22 c BCD2: #cores=2, #unrelaxed=260, #relaxed=28, #hardened=0 0.19/0.22 c BCD2: #sat=1 #unsat=3 bias=3/4 0.19/0.22 c Solving starts ... 0.19/0.22 c ============================[ Search Statistics ]============================ 0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.22 c | | | | Limit GC | Var | Constra 0.19/0.22 c ============================================================================= 0.19/0.22 c 0.0s | 0 | 0 | 0 | 2651 0 | 0 | 0 0.19/0.23 c 0.0s | 0 | 69 | 0 | 2651 0 | 0 | 0 0.19/0.23 c #cpu_time = 0.006s 0.19/0.23 c #wall_clock_time = 0.006s 0.19/0.23 c #decision = 69 0.19/0.23 c #random_decision = 0 0.19/0.23 c #conflict = 0 0.19/0.23 c #restart = 0 0.19/0.23 c BCD2: found a new core of size 16: cost of the new core is >=1 0.19/0.23 c lower bound updated to 3 0.19/0.23 c BCD2: 3 <= obj <= 122 0.19/0.23 c BCD2: #cores=3, #unrelaxed=244, #relaxed=44, #hardened=0 0.19/0.23 c BCD2: #sat=1 #unsat=4 bias=4/5 0.19/0.23 c Solving starts ... 0.19/0.23 c ============================[ Search Statistics ]============================ 0.19/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.23 c | | | | Limit GC | Var | Constra 0.19/0.23 c ============================================================================= 0.19/0.23 c 0.0s | 0 | 0 | 0 | 2651 0 | 0 | 0 0.19/0.24 c 0.0s | 0 | 70 | 0 | 2651 0 | 0 | 0 0.19/0.24 c #cpu_time = 0.007s 0.19/0.24 c #wall_clock_time = 0.007s 0.19/0.24 c #decision = 70 0.19/0.24 c #random_decision = 0 0.19/0.24 c #conflict = 0 0.19/0.24 c #restart = 0 0.19/0.24 c BCD2: found a new core of size 12: cost of the new core is >=1 0.19/0.24 c lower bound updated to 4 0.19/0.24 c BCD2: 4 <= obj <= 122 0.19/0.24 c BCD2: #cores=4, #unrelaxed=232, #relaxed=56, #hardened=0 0.19/0.24 c BCD2: #sat=1 #unsat=5 bias=5/6 0.19/0.24 c Solving starts ... 0.19/0.24 c ============================[ Search Statistics ]============================ 0.19/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.24 c | | | | Limit GC | Var | Constra 0.19/0.24 c ============================================================================= 0.19/0.24 c 0.0s | 0 | 0 | 0 | 2651 0 | 0 | 0 0.19/0.24 c 0.0s | 0 | 91 | 0 | 2651 0 | 0 | 0 0.19/0.24 c #cpu_time = 0.007s 0.19/0.24 c #wall_clock_time = 0.007s 0.19/0.24 c #decision = 91 0.19/0.24 c #random_decision = 0 0.19/0.24 c #conflict = 0 0.19/0.24 c #restart = 0 0.19/0.24 c BCD2: found a new core of size 28: cost of the new core is >=1 0.19/0.24 c lower bound updated to 5 0.19/0.24 c BCD2: 5 <= obj <= 122 0.19/0.24 c BCD2: #cores=5, #unrelaxed=204, #relaxed=84, #hardened=0 0.19/0.24 c BCD2: #sat=1 #unsat=6 bias=6/7 0.19/0.24 c Solving starts ... 0.19/0.24 c ============================[ Search Statistics ]============================ 0.19/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.24 c | | | | Limit GC | Var | Constra 0.19/0.24 c ============================================================================= 0.19/0.24 c 0.0s | 0 | 0 | 0 | 2651 0 | 0 | 0 0.19/0.25 c 0.0s | 0 | 112 | 0 | 2651 0 | 0 | 0 0.19/0.25 c #cpu_time = 0.007s 0.19/0.25 c #wall_clock_time = 0.007s 0.19/0.25 c #decision = 112 0.19/0.25 c #random_decision = 0 0.19/0.25 c #conflict = 0 0.19/0.25 c #restart = 0 0.19/0.25 c BCD2: found a new core of size 16: cost of the new core is >=1 0.19/0.25 c lower bound updated to 6 0.19/0.25 c BCD2: 6 <= obj <= 122 0.19/0.25 c BCD2: #cores=6, #unrelaxed=188, #relaxed=100, #hardened=0 0.19/0.25 c BCD2: #sat=1 #unsat=7 bias=7/8 0.19/0.25 c Solving starts ... 0.19/0.25 c ============================[ Search Statistics ]============================ 0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.25 c | | | | Limit GC | Var | Constra 0.19/0.25 c ============================================================================= 0.19/0.25 c 0.0s | 0 | 0 | 0 | 2651 0 | 0 | 0 0.19/0.26 c 0.0s | 0 | 105 | 0 | 2651 0 | 0 | 0 0.19/0.26 c #cpu_time = 0.006s 0.19/0.26 c #wall_clock_time = 0.006s 0.19/0.26 c #decision = 105 0.19/0.26 c #random_decision = 0 0.19/0.26 c #conflict = 0 0.19/0.26 c #restart = 0 0.19/0.26 c BCD2: found a new core of size 12: cost of the new core is >=1 0.19/0.26 c lower bound updated to 7 0.19/0.26 c BCD2: 7 <= obj <= 122 0.19/0.26 c BCD2: #cores=7, #unrelaxed=176, #relaxed=112, #hardened=0 0.19/0.26 c BCD2: #sat=1 #unsat=8 bias=8/9 0.19/0.26 c Solving starts ... 0.19/0.26 c ============================[ Search Statistics ]============================ 0.19/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.26 c | | | | Limit GC | Var | Constra 0.19/0.26 c ============================================================================= 0.19/0.26 c 0.0s | 0 | 0 | 0 | 2651 0 | 0 | 0 0.19/0.27 c 0.0s | 0 | 400 | 4 | 2651 0 | 0 | 0 0.19/0.27 c #cpu_time = 0.009s 0.19/0.27 c #wall_clock_time = 0.009s 0.19/0.27 c #decision = 400 0.19/0.27 c #random_decision = 0 0.19/0.27 c #conflict = 4 0.19/0.27 c #restart = 0 0.19/0.27 c BCD2: found a new core of size 24: cost of the new core is >=1 0.19/0.27 c lower bound updated to 8 0.19/0.27 c BCD2: 8 <= obj <= 122 0.19/0.27 c BCD2: #cores=8, #unrelaxed=152, #relaxed=136, #hardened=0 0.19/0.27 c BCD2: #sat=1 #unsat=9 bias=9/10 0.19/0.27 c Solving starts ... 0.19/0.27 c ============================[ Search Statistics ]============================ 0.19/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.27 c | | | | Limit GC | Var | Constra 0.19/0.27 c ============================================================================= 0.19/0.27 c 0.0s | 0 | 0 | 0 | 2651 0 | 0 | 0 0.19/0.28 c 0.0s | 0 | 127 | 0 | 2651 0 | 0 | 0 0.19/0.28 c #cpu_time = 0.007s 0.19/0.28 c #wall_clock_time = 0.007s 0.19/0.28 c #decision = 127 0.19/0.28 c #random_decision = 0 0.19/0.28 c #conflict = 0 0.19/0.28 c #restart = 0 0.19/0.28 c BCD2: found a new core of size 12: cost of the new core is >=1 0.19/0.28 c lower bound updated to 9 0.19/0.28 c BCD2: 9 <= obj <= 122 0.19/0.28 c BCD2: #cores=9, #unrelaxed=140, #relaxed=148, #hardened=0 0.19/0.28 c BCD2: #sat=1 #unsat=10 bias=10/11 0.19/0.28 c Solving starts ... 0.19/0.28 c ============================[ Search Statistics ]============================ 0.19/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.28 c | | | | Limit GC | Var | Constra 0.19/0.28 c ============================================================================= 0.19/0.28 c 0.0s | 0 | 0 | 0 | 2651 0 | 0 | 0 0.19/0.28 c 0.0s | 0 | 128 | 0 | 2651 0 | 0 | 0 0.19/0.28 c #cpu_time = 0.007s 0.19/0.28 c #wall_clock_time = 0.007s 0.19/0.28 c #decision = 128 0.19/0.28 c #random_decision = 0 0.19/0.28 c #conflict = 0 0.19/0.28 c #restart = 0 0.19/0.28 c BCD2: found a new core of size 16: cost of the new core is >=1 0.19/0.28 c lower bound updated to 10 0.19/0.28 c BCD2: 10 <= obj <= 122 0.19/0.28 c BCD2: #cores=10, #unrelaxed=124, #relaxed=164, #hardened=0 0.19/0.28 c BCD2: #sat=1 #unsat=11 bias=11/12 0.19/0.28 c Solving starts ... 0.19/0.28 c ============================[ Search Statistics ]============================ 0.19/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.28 c | | | | Limit GC | Var | Constra 0.19/0.28 c ============================================================================= 0.19/0.28 c 0.0s | 0 | 0 | 0 | 2651 0 | 0 | 0 0.19/0.29 c 0.0s | 0 | 133 | 0 | 2651 0 | 0 | 0 0.19/0.29 c #cpu_time = 0.006s 0.19/0.29 c #wall_clock_time = 0.006s 0.19/0.29 c #decision = 133 0.19/0.29 c #random_decision = 0 0.19/0.29 c #conflict = 0 0.19/0.29 c #restart = 0 0.19/0.29 c BCD2: found a new core of size 38: cost of the new core is >=1 0.19/0.29 c lower bound updated to 11 0.19/0.29 c BCD2: 11 <= obj <= 122 0.19/0.29 c BCD2: #cores=11, #unrelaxed=86, #relaxed=202, #hardened=0 0.19/0.29 c BCD2: #sat=1 #unsat=12 bias=12/13 0.19/0.29 c Solving starts ... 0.19/0.29 c ============================[ Search Statistics ]============================ 0.19/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.29 c | | | | Limit GC | Var | Constra 0.19/0.29 c ============================================================================= 0.29/0.31 c 0.0s | 0 | 0 | 0 | 2651 0 | 0 | 0 0.29/0.32 c 0.0s | 0 | 714 | 9 | 2651 0 | 0 | 0 0.29/0.32 c #cpu_time = 0.010s 0.29/0.32 c #wall_clock_time = 0.010s 0.29/0.32 c #decision = 714 0.29/0.32 c #random_decision = 0 0.29/0.32 c #conflict = 9 0.29/0.32 c #restart = 0 0.29/0.32 c BCD2: found a new core of size 16: cost of the new core is >=1 0.29/0.32 c lower bound updated to 12 0.29/0.32 c BCD2: 12 <= obj <= 122 0.29/0.32 c BCD2: #cores=12, #unrelaxed=70, #relaxed=218, #hardened=0 0.29/0.32 c BCD2: #sat=1 #unsat=13 bias=13/14 0.29/0.32 c Solving starts ... 0.29/0.32 c ============================[ Search Statistics ]============================ 0.29/0.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.32 c | | | | Limit GC | Var | Constra 0.29/0.32 c ============================================================================= 0.29/0.32 c 0.0s | 0 | 0 | 0 | 2651 0 | 0 | 0 0.29/0.35 c 0.0s | 1 | 974 | 100 | 2917 0 | 0 | 0 0.29/0.37 c 0.0s | 1 | 2532 | 132 | 2917 0 | 0 | 0 0.29/0.37 c #cpu_time = 0.047s 0.29/0.37 c #wall_clock_time = 0.047s 0.29/0.37 c #decision = 2532 0.29/0.37 c #random_decision = 5 0.29/0.37 c #conflict = 132 0.29/0.37 c #restart = 1 0.29/0.37 o 45 0.29/0.37 c BCD2: updating upper bound: 122 -> 44 0.29/0.37 c BCD2: 12 <= obj <= 44 0.29/0.37 c BCD2: #cores=12, #unrelaxed=70, #relaxed=218, #hardened=0 0.29/0.37 c BCD2: #sat=2 #unsat=13 bias=13/15 0.29/0.37 c Solving starts ... 0.29/0.37 c ============================[ Search Statistics ]============================ 0.29/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.37 c | | | | Limit GC | Var | Constra 0.29/0.37 c ============================================================================= 0.29/0.37 c 0.0s | 0 | 0 | 0 | 2917 0 | 0 | 1 0.39/0.40 c 0.0s | 1 | 318 | 100 | 2917 0 | 0 | 1 0.39/0.42 c 0.0s | 1 | 1329 | 141 | 2917 0 | 0 | 1 0.39/0.42 c #cpu_time = 0.046s 0.39/0.42 c #wall_clock_time = 0.046s 0.39/0.42 c #decision = 1329 0.39/0.42 c #random_decision = 3 0.39/0.42 c #conflict = 141 0.39/0.42 c #restart = 1 0.39/0.42 o 34 0.39/0.42 c BCD2: updating upper bound: 44 -> 33 0.39/0.42 c BCD2: 12 <= obj <= 33 0.39/0.42 c BCD2: #cores=12, #unrelaxed=70, #relaxed=218, #hardened=0 0.39/0.42 c BCD2: #sat=3 #unsat=13 bias=13/16 0.39/0.42 c Solving starts ... 0.39/0.42 c ============================[ Search Statistics ]============================ 0.39/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.42 c | | | | Limit GC | Var | Constra 0.39/0.42 c ============================================================================= 0.39/0.42 c 0.0s | 0 | 0 | 0 | 2917 0 | 0 | 2 0.39/0.44 c 0.0s | 1 | 490 | 100 | 3209 0 | 0 | 2 0.39/0.46 c 0.0s | 1 | 761 | 188 | 3209 0 | 0 | 2 0.39/0.46 c #cpu_time = 0.043s 0.39/0.46 c #wall_clock_time = 0.043s 0.39/0.46 c #decision = 761 0.39/0.46 c #random_decision = 1 0.39/0.46 c #conflict = 188 0.39/0.46 c #restart = 1 0.39/0.46 c BCD2: relaxing 26 and merging with 1 cores into a new core of size 64: cost of the new core is >=2 0.39/0.46 c lower bound updated to 13 0.39/0.46 c BCD2: 13 <= obj <= 33 0.39/0.46 c BCD2: #cores=12, #unrelaxed=44, #relaxed=244, #hardened=0 0.39/0.46 c BCD2: #sat=3 #unsat=14 bias=14/17 0.39/0.46 c Solving starts ... 0.39/0.46 c ============================[ Search Statistics ]============================ 0.39/0.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.46 c | | | | Limit GC | Var | Constra 0.39/0.46 c ============================================================================= 0.39/0.46 c 0.0s | 0 | 0 | 0 | 3209 0 | 3 | 2 0.39/0.49 c 0.0s | 1 | 633 | 100 | 3209 0 | 3 | 7 0.49/0.53 c 0.1s | 2 | 1420 | 250 | 3530 0 | 3 | 7 0.49/0.59 c 0.1s | 3 | 2152 | 475 | 3530 0 | 3 | 7 0.59/0.67 c 0.2s | 3 | 2955 | 755 | 3884 0 | 3 | 7 0.59/0.67 c #cpu_time = 0.206s 0.59/0.67 c #wall_clock_time = 0.207s 0.59/0.67 c #decision = 2955 0.59/0.67 c #random_decision = 12 0.59/0.67 c #conflict = 755 0.59/0.67 c #restart = 3 0.59/0.67 c BCD2: relaxing 8 and merging with 3 cores into a new core of size 100: cost of the new core is >=5 0.59/0.67 c lower bound updated to 14 0.59/0.67 c BCD2: 14 <= obj <= 33 0.59/0.67 c BCD2: #cores=10, #unrelaxed=36, #relaxed=252, #hardened=0 0.59/0.67 c BCD2: #sat=3 #unsat=15 bias=15/18 0.59/0.67 c Solving starts ... 0.59/0.67 c ============================[ Search Statistics ]============================ 0.59/0.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.67 c | | | | Limit GC | Var | Constra 0.59/0.67 c ============================================================================= 0.59/0.67 c 0.0s | 0 | 0 | 0 | 3884 0 | 7 | 7 0.69/0.70 c 0.0s | 1 | 530 | 100 | 3884 0 | 7 | 12 0.69/0.76 c 0.1s | 2 | 1194 | 250 | 3884 0 | 7 | 12 0.79/0.85 c 0.2s | 3 | 1797 | 475 | 3884 0 | 7 | 12 0.89/0.99 c 0.3s | 4 | 3355 | 813 | 4273 0 | 7 | 12 1.10/1.20 c 0.5s | 5 | 5541 | 1320 | 4273 0 | 7 | 12 1.49/1.54 c 0.9s | 6 | 7768 | 2081 | 4701 0 | 7 | 12 1.99/2.02 c 1.4s | 7 | 11710 | 3223 | 4701 0 | 7 | 12 2.59/2.67 c 2.0s | 8 | 16544 | 4936 | 5172 0 | 7 | 12 3.59/3.69 c 3.0s | 9 | 24664 | 7506 | 5690 1 | 7 | 12 5.19/5.28 c 4.6s | 10 | 35102 | 11361 | 6260 2 | 7 | 12 7.29/7.33 c 6.7s | 10 | 48550 | 15961 | 6887 4 | 7 | 12 7.89/7.90 c 7.2s | 11 | 51818 | 17144 | 6887 4 | 7 | 12 9.90/9.93 c 9.3s | 11 | 61689 | 20944 | 6887 5 | 7 | 12 11.89/11.97 c 11.3s | 11 | 74229 | 25244 | 7576 6 | 7 | 12 12.20/12.21 c 11.5s | 12 | 76093 | 25819 | 7576 6 | 7 | 12 14.19/14.25 c 13.6s | 12 | 87647 | 30419 | 7576 7 | 7 | 12 16.19/16.29 c 15.6s | 12 | 99654 | 34919 | 7576 9 | 7 | 12 17.89/17.91 c 17.2s | 13 | 108839 | 38832 | 8334 9 | 7 | 12 19.90/19.95 c 19.3s | 13 | 119456 | 43132 | 8334 10 | 7 | 12 21.89/21.98 c 21.3s | 13 | 130411 | 47432 | 8334 11 | 7 | 12 23.99/24.03 c 23.4s | 13 | 141496 | 51532 | 8334 12 | 7 | 12 25.99/26.05 c 25.4s | 13 | 154327 | 55432 | 8334 13 | 7 | 12 27.59/27.65 c 27.0s | 14 | 161743 | 58352 | 9168 14 | 7 | 12 29.59/29.65 c 29.0s | 14 | 170423 | 61352 | 9168 14 | 7 | 12 31.59/31.68 c 31.0s | 14 | 179326 | 65052 | 9168 15 | 7 | 12 33.59/33.68 c 33.0s | 14 | 187835 | 68752 | 9168 16 | 7 | 12 35.69/35.71 c 35.0s | 14 | 195742 | 71952 | 9168 16 | 7 | 12 37.69/37.76 c 37.1s | 14 | 204530 | 75652 | 9168 17 | 7 | 12 39.69/39.76 c 39.1s | 14 | 212559 | 79752 | 9168 18 | 7 | 12 41.68/41.78 c 41.1s | 14 | 220380 | 83252 | 9168 19 | 7 | 12 43.68/43.79 c 43.1s | 14 | 230440 | 87252 | 10085 19 | 7 | 12 43.99/44.02 c 43.4s | 15 | 231417 | 87632 | 10085 19 | 7 | 12 45.98/46.04 c 45.4s | 15 | 238032 | 90532 | 10085 20 | 7 | 12 47.98/48.04 c 47.4s | 15 | 245079 | 93932 | 10085 21 | 7 | 12 49.98/50.07 c 49.4s | 15 | 252910 | 97832 | 10085 21 | 7 | 12 52.08/52.11 c 51.4s | 15 | 261209 | 101332 | 10085 22 | 7 | 12 54.08/54.12 c 53.4s | 15 | 269204 | 105032 | 10085 23 | 7 | 12 56.09/56.12 c 55.5s | 15 | 276676 | 108632 | 10085 23 | 7 | 12 58.08/58.15 c 57.5s | 15 | 284131 | 111832 | 10085 24 | 7 | 12 60.08/60.19 c 59.5s | 15 | 293629 | 115732 | 10085 25 | 7 | 12 62.18/62.25 c 61.6s | 15 | 301118 | 119032 | 10085 25 | 7 | 12 64.18/64.29 c 63.6s | 15 | 311598 | 123132 | 10085 26 | 7 | 12 66.28/66.35 c 65.7s | 15 | 322128 | 127232 | 10085 27 | 7 | 12 68.28/68.38 c 67.7s | 15 | 331588 | 131232 | 11094 28 | 7 | 12 68.48/68.52 c 67.8s | 16 | 332500 | 131552 | 11094 28 | 7 | 12 70.48/70.56 c 69.9s | 16 | 341577 | 135152 | 11094 28 | 7 | 12 72.48/72.58 c 71.9s | 16 | 349845 | 138552 | 11094 29 | 7 | 12 74.58/74.63 c 74.0s | 16 | 360165 | 142452 | 11094 30 | 7 | 12 76.58/76.65 c 76.0s | 16 | 368639 | 146252 | 11094 30 | 7 | 12 78.58/78.68 c 78.0s | 16 | 376026 | 149652 | 11094 31 | 7 | 12 80.67/80.72 c 80.1s | 16 | 386567 | 153752 | 11094 31 | 7 | 12 82.67/82.78 c 82.1s | 16 | 395536 | 157652 | 11094 32 | 7 | 12 84.68/84.80 c 84.1s | 16 | 402391 | 160752 | 11094 33 | 7 | 12 86.77/86.82 c 86.1s | 16 | 410714 | 164552 | 11094 33 | 7 | 12 88.77/88.83 c 88.2s | 16 | 417619 | 168052 | 11094 34 | 7 | 12 90.77/90.87 c 90.2s | 16 | 426300 | 171652 | 11094 35 | 7 | 12 92.87/92.91 c 92.2s | 16 | 434474 | 175452 | 11094 35 | 7 | 12 94.87/94.95 c 94.3s | 16 | 442004 | 179052 | 11094 36 | 7 | 12 96.97/97.01 c 96.3s | 16 | 449705 | 182652 | 11094 37 | 7 | 12 99.67/99.72 c 99.1s | 16 | 457986 | 186052 | 11094 37 | 7 | 12 101.68/101.75 c 101s | 16 | 465449 | 188852 | 11094 38 | 7 | 12 103.67/103.76 c 103s | 16 | 473745 | 192452 | 11094 38 | 7 | 12 105.68/105.79 c 105s | 16 | 482727 | 196152 | 12204 39 | 7 | 12 106.37/106.48 c 105s | 17 | 485902 | 197432 | 12204 39 | 7 | 12 108.47/108.53 c 107s | 17 | 495396 | 201132 | 12204 40 | 7 | 12 110.47/110.54 c 109s | 17 | 504382 | 204832 | 12204 40 | 7 | 12 112.47/112.60 c 111s | 17 | 512633 | 208432 | 12204 41 | 7 | 12 114.57/114.65 c 113s | 17 | 520570 | 211932 | 12204 41 | 7 | 12 116.58/116.66 c 115s | 17 | 528152 | 215432 | 12204 42 | 7 | 12 118.57/118.67 c 117s | 17 | 536252 | 218932 | 12204 42 | 7 | 12 120.57/120.69 c 120s | 17 | 545484 | 222532 | 12204 43 | 7 | 12 122.67/122.71 c 122s | 17 | 553972 | 225932 | 12204 43 | 7 | 12 124.67/124.75 c 124s | 17 | 562351 | 229632 | 12204 44 | 7 | 12 126.67/126.76 c 126s | 17 | 570331 | 233032 | 12204 45 | 7 | 12 128.87/128.98 c 128s | 17 | 577336 | 235732 | 12204 45 | 7 | 12 130.88/131.00 c 130s | 17 | 584723 | 238632 | 12204 45 | 7 | 12 132.97/133.02 c 132s | 17 | 591999 | 242132 | 12204 46 | 7 | 12 134.97/135.06 c 134s | 17 | 597668 | 245032 | 12204 46 | 7 | 12 137.07/137.10 c 136s | 17 | 604713 | 248432 | 12204 47 | 7 | 12 139.07/139.17 c 138s | 17 | 610409 | 251332 | 12204 47 | 7 | 12 141.17/141.21 c 140s | 17 | 616391 | 253932 | 12204 48 | 7 | 12 143.17/143.23 c 142s | 17 | 623690 | 257332 | 12204 48 | 7 | 12 145.17/145.28 c 144s | 17 | 632753 | 261132 | 12204 49 | 7 | 12 147.27/147.35 c 146s | 17 | 639398 | 264132 | 12204 50 | 7 | 12 149.27/149.37 c 148s | 17 | 647236 | 267732 | 12204 50 | 7 | 12 151.37/151.41 c 150s | 17 | 654301 | 270932 | 12204 51 | 7 | 12 153.36/153.48 c 152s | 17 | 662179 | 274532 | 12204 51 | 7 | 12 155.46/155.51 c 154s | 17 | 668361 | 277632 | 12204 52 | 7 | 12 157.46/157.56 c 156s | 17 | 675206 | 281032 | 12204 52 | 7 | 12 159.47/159.60 c 158s | 17 | 679815 | 283432 | 12204 53 | 7 | 12 161.56/161.66 c 160s | 17 | 687027 | 286732 | 12204 53 | 7 | 12 163.56/163.69 c 163s | 17 | 693667 | 289932 | 12204 54 | 7 | 12 165.66/165.74 c 165s | 17 | 700865 | 293332 | 13425 54 | 7 | 12 167.66/167.74 c 167s | 18 | 707104 | 296252 | 13425 54 | 7 | 12 169.66/169.77 c 169s | 18 | 714655 | 299152 | 13425 55 | 7 | 12 171.67/171.78 c 171s | 18 | 722109 | 302252 | 13425 55 | 7 | 12 173.66/173.80 c 173s | 18 | 729205 | 305352 | 13425 56 | 7 | 12 175.76/175.81 c 175s | 18 | 736294 | 308552 | 13425 56 | 7 | 12 177.76/177.84 c 177s | 18 | 743677 | 311852 | 13425 57 | 7 | 12 179.76/179.84 c 179s | 18 | 752582 | 315552 | 13425 57 | 7 | 12 181.76/181.88 c 181s | 18 | 757992 | 317852 | 13425 58 | 7 | 12 183.77/183.89 c 183s | 18 | 765620 | 321252 | 13425 58 | 7 | 12 185.87/185.93 c 185s | 18 | 773616 | 324452 | 13425 58 | 7 | 12 187.86/187.94 c 187s | 18 | 782012 | 327752 | 13425 59 | 7 | 12 189.96/190.02 c 189s | 18 | 791288 | 331552 | 13425 60 | 7 | 12 191.96/192.04 c 191s | 18 | 801511 | 335552 | 13425 60 | 7 | 12 193.96/194.07 c 193s | 18 | 809391 | 338952 | 13425 61 | 7 | 12 196.06/196.10 c 195s | 18 | 814875 | 341452 | 13425 61 | 7 | 12 198.06/198.15 c 197s | 18 | 821381 | 344652 | 13425 61 | 7 | 12 200.06/200.15 c 199s | 18 | 830987 | 348252 | 13425 62 | 7 | 12 202.06/202.17 c 201s | 18 | 839509 | 351752 | 13425 62 | 7 | 12 204.06/204.19 c 203s | 18 | 849018 | 355752 | 13425 63 | 7 | 12 206.15/206.22 c 205s | 18 | 855186 | 358852 | 13425 63 | 7 | 12 208.15/208.27 c 207s | 18 | 863179 | 362252 | 13425 64 | 7 | 12 210.16/210.28 c 209s | 18 | 871308 | 365752 | 13425 64 | 7 | 12 212.26/212.32 c 211s | 18 | 877254 | 368152 | 13425 65 | 7 | 12 214.25/214.37 c 213s | 18 | 883411 | 370952 | 13425 65 | 7 | 12 216.25/216.39 c 215s | 18 | 890347 | 373952 | 13425 66 | 7 | 12 218.35/218.41 c 217s | 18 | 901740 | 378152 | 13425 66 | 7 | 12 220.35/220.45 c 219s | 18 | 908163 | 380952 | 13425 67 | 7 | 12 222.35/222.48 c 221s | 18 | 916967 | 384652 | 13425 67 | 7 | 12 224.36/224.49 c 223s | 18 | 924624 | 387752 | 13425 68 | 7 | 12 226.45/226.51 c 225s | 18 | 933619 | 391252 | 13425 68 | 7 | 12 228.45/228.55 c 227s | 18 | 941240 | 394352 | 13425 69 | 7 | 12 230.55/230.62 c 229s | 18 | 949942 | 397952 | 13425 69 | 7 | 12 232.55/232.69 c 232s | 18 | 958920 | 401452 | 13425 70 | 7 | 12 234.55/234.69 c 234s | 18 | 967355 | 404852 | 13425 70 | 7 | 12 236.65/236.71 c 236s | 18 | 976836 | 408652 | 13425 71 | 7 | 12 238.66/238.76 c 238s | 18 | 985497 | 411952 | 13425 71 | 7 | 12 240.65/240.77 c 240s | 18 | 994841 | 415552 | 13425 72 | 7 | 12 242.75/242.81 c 242s | 18 | 1005312 | 419352 | 13425 72 | 7 | 12 244.75/244.85 c 244s | 18 | 1014814 | 422952 | 13425 73 | 7 | 12 246.75/246.87 c 246s | 18 | 1023207 | 426552 | 13425 73 | 7 | 12 248.75/248.87 c 248s | 18 | 1031707 | 429752 | 13425 74 | 7 | 12 250.76/250.88 c 250s | 18 | 1042089 | 433152 | 13425 74 | 7 | 12 252.86/252.90 c 252s | 18 | 1051446 | 436752 | 13425 75 | 7 | 12 254.06/254.20 c 253s | 18 | 1057773 | 439197 | 13425 75 | 7 | 12 254.06/254.20 c #cpu_time = 252.862s 254.06/254.20 c #wall_clock_time = 253.527s 254.06/254.20 c #decision = 1057773 254.06/254.20 c #random_decision = 4380 254.06/254.20 c #conflict = 439197 254.06/254.20 c #restart = 18 254.06/254.20 c BCD2: relaxing 8 and merging with 4 cores into a new core of size 148: cost of the new core is >=9 254.06/254.20 c lower bound updated to 15 254.06/254.20 c BCD2: 15 <= obj <= 33 254.06/254.20 c BCD2: #cores=7, #unrelaxed=28, #relaxed=260, #hardened=0 254.06/254.20 c BCD2: #sat=3 #unsat=16 bias=16/19 254.06/254.20 c Solving starts ... 254.06/254.20 c ============================[ Search Statistics ]============================ 254.06/254.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 254.06/254.20 c | | | | Limit GC | Var | Constra 254.06/254.20 c ============================================================================= 254.06/254.20 c 0.0s | 0 | 0 | 0 | 13425 0 | 17 | 12 254.26/254.30 c 0.1s | 1 | 1087 | 100 | 13425 0 | 17 | 28 254.26/254.34 c 0.1s | 2 | 1631 | 250 | 13425 0 | 17 | 28 254.26/254.40 c 0.2s | 3 | 2269 | 475 | 13425 0 | 17 | 28 254.46/254.51 c 0.3s | 4 | 3444 | 813 | 14768 0 | 17 | 28 255.85/255.99 c 1.8s | 5 | 5570 | 1320 | 14768 0 | 17 | 28 256.15/256.27 c 2.1s | 6 | 8484 | 2081 | 14768 0 | 17 | 28 256.55/256.66 c 2.5s | 7 | 12869 | 3223 | 14768 0 | 17 | 28 257.15/257.24 c 3.0s | 8 | 17996 | 4936 | 14768 0 | 17 | 28 259.15/259.28 c 5.1s | 8 | 28166 | 7436 | 14768 0 | 17 | 28 259.25/259.32 c 5.1s | 9 | 28395 | 7506 | 14768 0 | 17 | 28 261.25/261.35 c 7.1s | 9 | 40692 | 10606 | 14768 0 | 17 | 28 261.76/261.82 c 7.6s | 10 | 42982 | 11361 | 14768 0 | 17 | 28 263.75/263.87 c 9.7s | 10 | 52155 | 14361 | 14768 0 | 17 | 28 265.55/265.63 c 11.4s | 11 | 61195 | 17144 | 14768 1 | 17 | 28 267.55/267.67 c 13.5s | 11 | 74948 | 20344 | 14768 1 | 17 | 28 269.65/269.72 c 15.5s | 11 | 85308 | 23444 | 14768 2 | 17 | 28 271.45/271.50 c 17.3s | 12 | 95201 | 25819 | 14768 2 | 17 | 28 273.45/273.50 c 19.3s | 12 | 104192 | 28519 | 14768 2 | 17 | 28 275.45/275.54 c 21.3s | 12 | 116147 | 31919 | 14768 3 | 17 | 28 277.45/277.56 c 23.4s | 12 | 127541 | 35119 | 14768 3 | 17 | 28 279.55/279.67 c 25.5s | 12 | 136035 | 37819 | 14768 4 | 17 | 28 280.25/280.37 c 26.2s | 13 | 139771 | 38832 | 14768 4 | 17 | 28 282.35/282.42 c 28.2s | 13 | 152618 | 41532 | 14768 4 | 17 | 28 284.45/284.52 c 30.3s | 13 | 164856 | 43832 | 14768 4 | 17 | 28 286.45/286.58 c 32.4s | 13 | 177375 | 46432 | 14768 5 | 17 | 28 288.55/288.63 c 34.4s | 13 | 191610 | 49732 | 14768 5 | 17 | 28 290.55/290.65 c 36.4s | 13 | 204702 | 52632 | 14768 5 | 17 | 28 292.65/292.71 c 38.5s | 13 | 216821 | 55732 | 14768 6 | 17 | 28 294.35/294.44 c 40.2s | 14 | 225985 | 58352 | 14768 6 | 17 | 28 296.35/296.44 c 42.2s | 14 | 233928 | 60952 | 14768 7 | 17 | 28 298.45/298.50 c 44.3s | 14 | 242305 | 63452 | 14768 7 | 17 | 28 300.45/300.58 c 46.4s | 14 | 251774 | 66252 | 14768 7 | 17 | 28 302.55/302.61 c 48.4s | 14 | 265099 | 69352 | 14768 8 | 17 | 28 304.54/304.67 c 50.5s | 14 | 275829 | 72552 | 14768 8 | 17 | 28 306.54/306.68 c 52.5s | 14 | 282543 | 74752 | 14768 8 | 17 | 28 308.54/308.69 c 54.5s | 14 | 289677 | 77352 | 14768 9 | 17 | 28 310.64/310.74 c 56.5s | 14 | 299007 | 80552 | 14768 9 | 17 | 28 312.64/312.79 c 58.6s | 14 | 308349 | 83452 | 14768 10 | 17 | 28 314.65/314.79 c 60.6s | 14 | 318826 | 86652 | 14768 10 | 17 | 28 315.44/315.50 c 61.3s | 15 | 322293 | 87632 | 14768 10 | 17 | 28 317.44/317.56 c 63.4s | 15 | 329986 | 90232 | 14768 10 | 17 | 28 319.44/319.59 c 65.4s | 15 | 337008 | 92232 | 14768 11 | 17 | 28 321.54/321.62 c 67.4s | 15 | 347370 | 95432 | 14768 11 | 17 | 28 323.54/323.63 c 69.4s | 15 | 354916 | 98032 | 14768 11 | 17 | 28 325.55/325.68 c 71.5s | 15 | 362982 | 101032 | 14768 12 | 17 | 28 327.64/327.73 c 73.5s | 15 | 372700 | 103932 | 14768 12 | 17 | 28 329.64/329.74 c 75.5s | 15 | 380998 | 106932 | 14768 13 | 17 | 28 331.64/331.80 c 77.6s | 15 | 390929 | 109932 | 14768 13 | 17 | 28 333.74/333.82 c 79.6s | 15 | 398549 | 112732 | 14768 13 | 17 | 28 335.74/335.83 c 81.6s | 15 | 408927 | 115832 | 14768 14 | 17 | 28 337.84/337.90 c 83.7s | 15 | 418218 | 118932 | 14768 14 | 17 | 28 339.85/339.91 c 85.7s | 15 | 424962 | 121632 | 14768 15 | 17 | 28 341.84/341.95 c 87.7s | 15 | 433242 | 124632 | 14768 15 | 17 | 28 343.94/344.00 c 89.8s | 15 | 443070 | 127532 | 14768 15 | 17 | 28 345.94/346.04 c 91.8s | 15 | 451792 | 130232 | 14768 16 | 17 | 28 346.84/346.97 c 92.8s | 16 | 456424 | 131552 | 14768 16 | 17 | 28 348.94/349.01 c 94.8s | 16 | 464935 | 133452 | 14768 16 | 17 | 28 351.04/351.10 c 96.9s | 16 | 477331 | 136452 | 14768 17 | 17 | 28 353.83/353.93 c 99.7s | 16 | 486331 | 139152 | 14768 17 | 17 | 28 355.83/355.94 c 101s | 16 | 500617 | 142452 | 14768 17 | 17 | 28 357.83/357.95 c 103s | 16 | 511603 | 145652 | 14768 18 | 17 | 28 359.83/359.97 c 105s | 16 | 521763 | 148852 | 14768 18 | 17 | 28 361.94/362.04 c 107s | 16 | 529759 | 151552 | 14768 19 | 17 | 28 364.04/364.14 c 109s | 16 | 542661 | 154452 | 14768 19 | 17 | 28 366.03/366.15 c 111s | 16 | 552833 | 157152 | 14768 19 | 17 | 28 368.03/368.16 c 113s | 16 | 560751 | 159752 | 14768 20 | 17 | 28 370.13/370.22 c 116s | 16 | 570756 | 162852 | 14768 20 | 17 | 28 372.13/372.23 c 118s | 16 | 581105 | 165652 | 14768 20 | 17 | 28 374.13/374.24 c 120s | 16 | 593724 | 168852 | 14768 21 | 17 | 28 376.14/376.26 c 122s | 16 | 600716 | 170952 | 14768 21 | 17 | 28 378.13/378.27 c 124s | 16 | 610556 | 173352 | 14768 21 | 17 | 28 380.23/380.30 c 126s | 16 | 619227 | 175952 | 14768 22 | 17 | 28 382.23/382.31 c 128s | 16 | 628275 | 178752 | 14768 22 | 17 | 28 384.23/384.36 c 130s | 16 | 636410 | 181352 | 14768 22 | 17 | 28 386.33/386.41 c 132s | 16 | 648473 | 184352 | 14768 23 | 17 | 28 388.34/388.42 c 134s | 16 | 660423 | 187352 | 14768 23 | 17 | 28 390.33/390.44 c 136s | 16 | 669454 | 189952 | 14768 24 | 17 | 28 392.33/392.45 c 138s | 16 | 681815 | 192852 | 14768 24 | 17 | 28 394.43/394.52 c 140s | 16 | 691506 | 195752 | 14768 24 | 17 | 28 395.73/395.81 c 141s | 17 | 696132 | 197432 | 14768 25 | 17 | 28 397.72/397.88 c 143s | 17 | 700434 | 198732 | 14768 25 | 17 | 28 399.82/399.90 c 145s | 17 | 708961 | 201332 | 14768 25 | 17 | 28 401.82/401.99 c 147s | 17 | 716679 | 203932 | 14768 25 | 17 | 28 403.92/404.03 c 149s | 17 | 725292 | 206832 | 14768 26 | 17 | 28 405.93/406.03 c 151s | 17 | 732131 | 209732 | 14768 26 | 17 | 28 407.92/408.08 c 153s | 17 | 738465 | 212232 | 14768 27 | 17 | 28 410.02/410.10 c 155s | 17 | 749522 | 215432 | 14768 27 | 17 | 28 412.02/412.14 c 157s | 17 | 759720 | 218132 | 14768 27 | 17 | 28 414.02/414.19 c 159s | 17 | 769880 | 221132 | 14768 28 | 17 | 28 416.12/416.24 c 162s | 17 | 777291 | 223532 | 16245 28 | 17 | 28 418.23/418.31 c 164s | 17 | 786211 | 226432 | 16245 28 | 17 | 28 420.24/420.36 c 166s | 17 | 793541 | 228932 | 16245 29 | 17 | 28 422.23/422.39 c 168s | 17 | 800760 | 231632 | 16245 29 | 17 | 28 424.33/424.40 c 170s | 17 | 807345 | 234332 | 16245 29 | 17 | 28 426.33/426.46 c 172s | 17 | 815745 | 236932 | 16245 29 | 17 | 28 428.43/428.51 c 174s | 17 | 826699 | 240032 | 16245 30 | 17 | 28 430.43/430.51 c 176s | 17 | 835010 | 243032 | 16245 30 | 17 | 28 432.43/432.52 c 178s | 17 | 842023 | 245632 | 16245 31 | 17 | 28 434.43/434.55 c 180s | 17 | 851240 | 248632 | 16245 31 | 17 | 28 436.42/436.57 c 182s | 17 | 858612 | 251632 | 16245 31 | 17 | 28 438.72/438.90 c 184s | 17 | 862760 | 253332 | 16245 31 | 17 | 28 440.82/440.93 c 186s | 17 | 871229 | 255532 | 16245 32 | 17 | 28 442.92/443.00 c 188s | 17 | 881020 | 258432 | 16245 32 | 17 | 28 444.92/445.02 c 190s | 17 | 889221 | 261232 | 16245 32 | 17 | 28 446.92/447.09 c 192s | 17 | 898017 | 264132 | 16245 33 | 17 | 28 449.02/449.13 c 194s | 17 | 904663 | 266532 | 16245 33 | 17 | 28 451.02/451.14 c 196s | 17 | 912841 | 269332 | 16245 33 | 17 | 28 453.02/453.15 c 198s | 17 | 920408 | 272132 | 16245 34 | 17 | 28 455.02/455.18 c 200s | 17 | 928677 | 274732 | 16245 34 | 17 | 28 457.12/457.20 c 203s | 17 | 937069 | 277432 | 16245 34 | 17 | 28 459.12/459.22 c 205s | 17 | 946687 | 280332 | 16245 35 | 17 | 28 461.12/461.27 c 207s | 17 | 954157 | 282932 | 16245 35 | 17 | 28 463.22/463.31 c 209s | 17 | 962936 | 285632 | 16245 35 | 17 | 28 465.22/465.35 c 211s | 17 | 971267 | 288532 | 16245 36 | 17 | 28 467.22/467.36 c 213s | 17 | 978583 | 291432 | 16245 36 | 17 | 28 469.31/469.41 c 215s | 17 | 984954 | 294032 | 16245 36 | 17 | 28 471.41/471.54 c 217s | 17 | 991442 | 296132 | 16245 37 | 17 | 28 471.51/471.63 c 217s | 18 | 991927 | 296252 | 16245 37 | 17 | 28 473.51/473.69 c 219s | 18 | 998111 | 298652 | 16245 37 | 17 | 28 475.62/475.76 c 221s | 18 | 1003057 | 300552 | 16245 37 | 17 | 28 477.72/477.81 c 223s | 18 | 1011253 | 302952 | 16245 37 | 17 | 28 479.72/479.89 c 225s | 18 | 1019141 | 305652 | 16245 38 | 17 | 28 481.83/481.93 c 227s | 18 | 1027968 | 308552 | 16245 38 | 17 | 28 483.93/484.00 c 229s | 18 | 1035542 | 311152 | 16245 38 | 17 | 28 485.92/486.08 c 231s | 18 | 1042245 | 313352 | 16245 39 | 17 | 28 488.02/488.11 c 233s | 18 | 1050292 | 315952 | 16245 39 | 17 | 28 490.02/490.19 c 235s | 18 | 1059760 | 318352 | 16245 39 | 17 | 28 492.12/492.20 c 238s | 18 | 1067190 | 320552 | 16245 40 | 17 | 28 494.12/494.20 c 240s | 18 | 1075288 | 323352 | 16245 40 | 17 | 28 496.13/496.28 c 242s | 18 | 1083014 | 325852 | 16245 40 | 17 | 28 498.23/498.32 c 244s | 18 | 1090110 | 328252 | 16245 40 | 17 | 28 500.32/500.41 c 246s | 18 | 1098692 | 330752 | 16245 41 | 17 | 28 502.32/502.47 c 248s | 18 | 1109120 | 333552 | 16245 41 | 17 | 28 504.42/504.51 c 250s | 18 | 1116213 | 336052 | 16245 41 | 17 | 28 506.42/506.57 c 252s | 18 | 1126299 | 338852 | 16245 42 | 17 | 28 508.52/508.63 c 254s | 18 | 1134491 | 341652 | 16245 42 | 17 | 28 510.52/510.67 c 256s | 18 | 1143378 | 344052 | 16245 42 | 17 | 28 512.52/512.69 c 258s | 18 | 1152338 | 346652 | 16245 43 | 17 | 28 514.62/514.75 c 260s | 18 | 1162446 | 349752 | 16245 43 | 17 | 28 516.62/516.79 c 262s | 18 | 1171338 | 352652 | 16245 43 | 17 | 28 518.72/518.80 c 264s | 18 | 1177893 | 355352 | 16245 44 | 17 | 28 520.71/520.89 c 266s | 18 | 1186972 | 357952 | 16245 44 | 17 | 28 522.81/522.95 c 268s | 18 | 1193986 | 360252 | 16245 44 | 17 | 28 524.81/524.95 c 270s | 18 | 1201418 | 362652 | 16245 45 | 17 | 28 526.92/527.01 c 272s | 18 | 1211352 | 365852 | 16245 45 | 17 | 28 528.91/529.03 c 274s | 18 | 1218443 | 368252 | 16245 45 | 17 | 28 530.91/531.08 c 276s | 18 | 1225052 | 370752 | 16245 46 | 17 | 28 533.01/533.12 c 278s | 18 | 1231267 | 373452 | 16245 46 | 17 | 28 535.01/535.13 c 280s | 18 | 1240773 | 376152 | 16245 46 | 17 | 28 537.11/537.20 c 283s | 18 | 1247461 | 378452 | 16245 46 | 17 | 28 539.11/539.26 c 285s | 18 | 1254855 | 381052 | 16245 47 | 17 | 28 541.12/541.28 c 287s | 18 | 1261238 | 383252 | 16245 47 | 17 | 28 543.21/543.37 c 289s | 18 | 1268521 | 385552 | 16245 47 | 17 | 28 545.31/545.41 c 291s | 18 | 1274494 | 387552 | 16245 48 | 17 | 28 547.31/547.43 c 293s | 18 | 1281593 | 390352 | 16245 48 | 17 | 28 549.31/549.47 c 295s | 18 | 1287904 | 392752 | 16245 48 | 17 | 28 551.41/551.52 c 297s | 18 | 1294341 | 395152 | 16245 48 | 17 | 28 553.41/553.53 c 299s | 18 | 1300778 | 397652 | 16245 49 | 17 | 28 555.42/555.56 c 301s | 18 | 1307222 | 400152 | 16245 49 | 17 | 28 557.51/557.61 c 303s | 18 | 1314090 | 402452 | 16245 49 | 17 | 28 559.51/559.68 c 305s | 18 | 1320749 | 404752 | 16245 50 | 17 | 28 561.61/561.74 c 307s | 18 | 1328140 | 407452 | 16245 50 | 17 | 28 563.71/563.82 c 309s | 18 | 1334902 | 409952 | 16245 50 | 17 | 28 565.71/565.85 c 311s | 18 | 1341229 | 412252 | 16245 51 | 17 | 28 567.71/567.89 c 313s | 18 | 1349083 | 414952 | 16245 51 | 17 | 28 569.81/569.92 c 315s | 18 | 1355764 | 417652 | 16245 51 | 17 | 28 571.81/572.00 c 317s | 18 | 1361713 | 419952 | 16245 51 | 17 | 28 573.90/574.01 c 319s | 18 | 1367991 | 422252 | 16245 52 | 17 | 28 575.90/576.03 c 321s | 18 | 1375256 | 424552 | 16245 52 | 17 | 28 577.90/578.08 c 323s | 18 | 1381307 | 426952 | 16245 52 | 17 | 28 580.00/580.14 c 325s | 18 | 1386715 | 429152 | 16245 53 | 17 | 28 582.00/582.19 c 327s | 18 | 1392431 | 431552 | 16245 53 | 17 | 28 584.11/584.25 c 330s | 18 | 1398494 | 433852 | 16245 53 | 17 | 28 586.21/586.34 c 332s | 18 | 1405824 | 436152 | 16245 53 | 17 | 28 588.20/588.40 c 334s | 18 | 1413093 | 438752 | 16245 54 | 17 | 28 590.30/590.44 c 336s | 18 | 1420216 | 441252 | 16245 54 | 17 | 28 592.30/592.47 c 338s | 18 | 1428175 | 443752 | 16245 54 | 17 | 28 592.91/593.08 c 338s | 19 | 1430076 | 444482 | 16245 54 | 17 | 28 594.90/595.10 c 340s | 19 | 1437406 | 446682 | 16245 55 | 17 | 28 598.50/598.64 c 344s | 19 | 1443296 | 448582 | 16245 55 | 17 | 28 600.60/600.74 c 346s | 19 | 1446491 | 449382 | 16245 55 | 17 | 28 602.60/602.78 c 348s | 19 | 1456386 | 451982 | 16245 55 | 17 | 28 604.70/604.84 c 350s | 19 | 1465392 | 454682 | 16245 56 | 17 | 28 606.70/606.88 c 352s | 19 | 1474754 | 457682 | 16245 56 | 17 | 28 608.80/608.90 c 354s | 19 | 1482150 | 460382 | 16245 56 | 17 | 28 610.80/610.92 c 356s | 19 | 1490227 | 463082 | 16245 57 | 17 | 28 612.80/612.94 c 358s | 19 | 1499058 | 465982 | 16245 57 | 17 | 28 614.90/615.02 c 360s | 19 | 1507689 | 468882 | 16245 57 | 17 | 28 616.89/617.06 c 362s | 19 | 1514658 | 471682 | 16245 58 | 17 | 28 618.89/619.06 c 364s | 19 | 1521656 | 474282 | 16245 58 | 17 | 28 620.89/621.09 c 366s | 19 | 1528565 | 476882 | 16245 58 | 17 | 28 622.99/623.14 c 368s | 19 | 1535648 | 479382 | 16245 59 | 17 | 28 625.09/625.21 c 371s | 19 | 1542899 | 481882 | 16245 59 | 17 | 28 627.09/627.23 c 373s | 19 | 1552038 | 484082 | 16245 59 | 17 | 28 629.10/629.23 c 375s | 19 | 1560581 | 486482 | 16245 59 | 17 | 28 631.09/631.28 c 377s | 19 | 1569501 | 489182 | 16245 60 | 17 | 28 633.09/633.29 c 379s | 19 | 1577761 | 491382 | 16245 60 | 17 | 28 635.19/635.33 c 381s | 19 | 1587203 | 493782 | 16245 60 | 17 | 28 637.19/637.37 c 383s | 19 | 1595091 | 496282 | 16245 61 | 17 | 28 639.29/639.45 c 385s | 19 | 1602792 | 499182 | 16245 61 | 17 | 28 641.39/641.54 c 387s | 19 | 1609992 | 501982 | 16245 61 | 17 | 28 643.40/643.59 c 389s | 19 | 1616581 | 504382 | 16245 62 | 17 | 28 645.49/645.65 c 391s | 19 | 1623869 | 506882 | 16245 62 | 17 | 28 647.59/647.71 c 393s | 19 | 1630770 | 509282 | 16245 62 | 17 | 28 649.59/649.77 c 395s | 19 | 1637786 | 511682 | 16245 62 | 17 | 28 651.59/651.79 c 397s | 19 | 1644639 | 514082 | 16245 63 | 17 | 28 653.69/653.81 c 399s | 19 | 1653996 | 516682 | 16245 63 | 17 | 28 655.69/655.82 c 401s | 19 | 1662701 | 519282 | 16245 63 | 17 | 28 657.69/657.86 c 403s | 19 | 1671174 | 521982 | 16245 64 | 17 | 28 659.69/659.88 c 405s | 19 | 1679459 | 524982 | 16245 64 | 17 | 28 661.79/661.94 c 407s | 19 | 1685644 | 527582 | 16245 64 | 17 | 28 663.89/664.01 c 409s | 19 | 1692419 | 530082 | 16245 65 | 17 | 28 665.88/666.02 c 411s | 19 | 1699172 | 532582 | 16245 65 | 17 | 28 667.88/668.08 c 413s | 19 | 1705905 | 534782 | 16245 65 | 17 | 28 669.98/670.16 c 415s | 19 | 1712693 | 536982 | 16245 65 | 17 | 28 671.99/672.17 c 417s | 19 | 1721121 | 539282 | 16245 66 | 17 | 28 674.08/674.24 c 420s | 19 | 1729759 | 541882 | 16245 66 | 17 | 28 676.18/676.31 c 422s | 19 | 1737807 | 544582 | 16245 66 | 17 | 28 678.18/678.36 c 424s | 19 | 1744779 | 547382 | 16245 67 | 17 | 28 680.28/680.45 c 426s | 19 | 1752633 | 550082 | 16245 67 | 17 | 28 682.38/682.52 c 428s | 19 | 1759607 | 552382 | 16245 67 | 17 | 28 684.38/684.57 c 430s | 19 | 1765625 | 554682 | 17870 67 | 17 | 28 686.48/686.65 c 432s | 19 | 1771729 | 557282 | 17870 68 | 17 | 28 688.49/688.70 c 434s | 19 | 1778753 | 559682 | 17870 68 | 17 | 28 690.79/690.92 c 436s | 19 | 1782556 | 561182 | 17870 68 | 17 | 28 692.79/692.99 c 438s | 19 | 1786569 | 562082 | 17870 68 | 17 | 28 694.99/695.19 c 440s | 19 | 1794840 | 564382 | 17870 68 | 17 | 28 697.09/697.25 c 443s | 19 | 1803182 | 566982 | 17870 69 | 17 | 28 699.09/699.26 c 445s | 19 | 1812836 | 570082 | 17870 69 | 17 | 28 701.09/701.30 c 447s | 19 | 1820083 | 572782 | 17870 69 | 17 | 28 703.19/703.31 c 449s | 19 | 1826593 | 574682 | 17870 70 | 17 | 28 705.18/705.32 c 451s | 19 | 1835287 | 577482 | 17870 70 | 17 | 28 707.29/707.40 c 453s | 19 | 1843301 | 580082 | 17870 70 | 17 | 28 709.28/709.46 c 455s | 19 | 1851456 | 582782 | 17870 70 | 17 | 28 711.38/711.51 c 457s | 19 | 1859918 | 585582 | 17870 71 | 17 | 28 713.38/713.51 c 459s | 19 | 1867863 | 588182 | 17870 71 | 17 | 28 715.38/715.56 c 461s | 19 | 1874811 | 590682 | 17870 71 | 17 | 28 717.48/717.60 c 463s | 19 | 1882226 | 592982 | 17870 72 | 17 | 28 719.48/719.63 c 465s | 19 | 1889086 | 595482 | 17870 72 | 17 | 28 721.58/721.71 c 467s | 19 | 1895507 | 597582 | 17870 72 | 17 | 28 723.58/723.75 c 469s | 19 | 1903577 | 599582 | 17870 72 | 17 | 28 725.57/725.75 c 471s | 19 | 1912070 | 601582 | 17870 73 | 17 | 28 727.57/727.77 c 473s | 19 | 1920028 | 604282 | 17870 73 | 17 | 28 729.67/729.82 c 475s | 19 | 1926883 | 606782 | 17870 73 | 17 | 28 731.77/731.90 c 477s | 19 | 1933579 | 609082 | 17870 73 | 17 | 28 733.77/733.96 c 479s | 19 | 1941009 | 611382 | 17870 74 | 17 | 28 735.78/736.00 c 481s | 19 | 1948458 | 613882 | 17870 74 | 17 | 28 737.87/738.02 c 483s | 19 | 1954029 | 615982 | 17870 74 | 17 | 28 739.87/740.04 c 485s | 19 | 1958943 | 617982 | 17870 74 | 17 | 28 741.97/742.12 c 487s | 19 | 1963335 | 619782 | 17870 75 | 17 | 28 743.97/744.15 c 489s | 19 | 1968645 | 622082 | 17870 75 | 17 | 28 746.07/746.21 c 492s | 19 | 1974858 | 624582 | 17870 75 | 17 | 28 748.07/748.24 c 494s | 19 | 1982294 | 626782 | 17870 75 | 17 | 28 750.17/750.32 c 496s | 19 | 1988417 | 628782 | 17870 76 | 17 | 28 752.16/752.37 c 498s | 19 | 1996284 | 631582 | 17870 76 | 17 | 28 754.16/754.39 c 500s | 19 | 2000684 | 633782 | 17870 76 | 17 | 28 756.36/756.50 c 502s | 19 | 2005321 | 636082 | 17870 76 | 17 | 28 758.36/758.52 c 504s | 19 | 2009167 | 637782 | 17870 77 | 17 | 28 760.36/760.59 c 506s | 19 | 2013730 | 639982 | 17870 77 | 17 | 28 762.46/762.68 c 508s | 19 | 2019959 | 642082 | 17870 77 | 17 | 28 764.56/764.74 c 510s | 19 | 2026208 | 644082 | 17870 77 | 17 | 28 766.56/766.79 c 512s | 19 | 2032278 | 646082 | 17870 77 | 17 | 28 768.65/768.90 c 514s | 19 | 2037430 | 648182 | 17870 78 | 17 | 28 770.75/770.94 c 516s | 19 | 2046567 | 650782 | 17870 78 | 17 | 28 772.75/772.97 c 518s | 19 | 2053178 | 653182 | 17870 78 | 17 | 28 774.75/774.98 c 520s | 19 | 2057900 | 655282 | 17870 78 | 17 | 28 776.85/777.02 c 522s | 19 | 2064112 | 657382 | 17870 79 | 17 | 28 778.85/779.09 c 524s | 19 | 2070735 | 659782 | 17870 79 | 17 | 28 780.96/781.13 c 526s | 19 | 2077798 | 662182 | 17870 79 | 17 | 28 783.06/783.24 c 529s | 19 | 2083078 | 664282 | 17870 79 | 17 | 28 785.05/785.28 c 531s | 19 | 2089135 | 666682 | 17870 80 | 17 | 28 785.14/785.39 c 531s | 20 | 2089400 | 666827 | 17870 80 | 17 | 28 789.35/789.59 c 535s | 20 | 2094894 | 669227 | 17870 80 | 17 | 28 791.65/791.86 c 537s | 20 | 2099880 | 671027 | 17870 80 | 17 | 28 793.75/793.93 c 539s | 20 | 2106746 | 673627 | 17870 80 | 17 | 28 795.75/795.93 c 541s | 20 | 2112650 | 676227 | 17870 81 | 17 | 28 797.74/797.94 c 543s | 20 | 2118404 | 678727 | 17870 81 | 17 | 28 799.74/799.97 c 545s | 20 | 2125546 | 681327 | 17870 81 | 17 | 28 801.94/802.11 c 547s | 20 | 2131115 | 683627 | 17870 82 | 17 | 28 803.95/804.11 c 549s | 20 | 2137680 | 686227 | 17870 82 | 17 | 28 805.94/806.15 c 551s | 20 | 2145295 | 688627 | 17870 82 | 17 | 28 808.04/808.23 c 554s | 20 | 2151898 | 691027 | 17870 82 | 17 | 28 810.14/810.30 c 556s | 20 | 2158147 | 693327 | 17870 83 | 17 | 28 812.14/812.33 c 558s | 20 | 2164975 | 695927 | 17870 83 | 17 | 28 814.24/814.42 c 560s | 20 | 2171675 | 698727 | 17870 83 | 17 | 28 816.24/816.46 c 562s | 20 | 2177166 | 700927 | 17870 83 | 17 | 28 818.34/818.54 c 564s | 20 | 2183711 | 703327 | 17870 84 | 17 | 28 820.34/820.57 c 566s | 20 | 2190082 | 705927 | 17870 84 | 17 | 28 822.33/822.57 c 568s | 20 | 2196107 | 708227 | 17870 84 | 17 | 28 824.43/824.64 c 570s | 20 | 2201446 | 710627 | 17870 84 | 17 | 28 826.43/826.66 c 572s | 20 | 2207608 | 713027 | 17870 85 | 17 | 28 828.43/828.69 c 574s | 20 | 2213644 | 715627 | 17870 85 | 17 | 28 830.53/830.73 c 576s | 20 | 2219446 | 718127 | 17870 85 | 17 | 28 832.53/832.76 c 578s | 20 | 2224862 | 720427 | 17870 86 | 17 | 28 834.63/834.81 c 580s | 20 | 2232040 | 723327 | 17870 86 | 17 | 28 836.63/836.85 c 582s | 20 | 2238884 | 726127 | 17870 86 | 17 | 28 838.62/838.86 c 584s | 20 | 2243445 | 727727 | 17870 86 | 17 | 28 840.72/840.91 c 586s | 20 | 2248845 | 729427 | 17870 87 | 17 | 28 842.72/842.94 c 588s | 20 | 2256365 | 731927 | 17870 87 | 17 | 28 844.73/844.96 c 590s | 20 | 2263479 | 734327 | 17870 87 | 17 | 28 846.83/847.01 c 592s | 20 | 2270468 | 736827 | 17870 87 | 17 | 28 848.82/849.06 c 594s | 20 | 2278178 | 739427 | 17870 88 | 17 | 28 850.82/851.09 c 596s | 20 | 2284781 | 741827 | 17870 88 | 17 | 28 852.92/853.15 c 598s | 20 | 2291469 | 744327 | 17870 88 | 17 | 28 855.02/855.20 c 601s | 20 | 2298599 | 746627 | 17870 88 | 17 | 28 857.01/857.24 c 603s | 20 | 2304070 | 749127 | 17870 89 | 17 | 28 859.02/859.28 c 605s | 20 | 2311253 | 751727 | 17870 89 | 17 | 28 861.01/861.29 c 607s | 20 | 2317419 | 754527 | 17870 89 | 17 | 28 863.11/863.37 c 609s | 20 | 2322650 | 757027 | 17870 90 | 17 | 28 865.21/865.44 c 611s | 20 | 2329338 | 759827 | 17870 90 | 17 | 28 867.21/867.44 c 613s | 20 | 2334684 | 762327 | 17870 90 | 17 | 28 869.31/869.52 c 615s | 20 | 2339868 | 764627 | 17870 90 | 17 | 28 871.31/871.53 c 617s | 20 | 2345033 | 767027 | 17870 91 | 17 | 28 873.32/873.53 c 619s | 20 | 2351017 | 769527 | 17870 91 | 17 | 28 875.31/875.53 c 621s | 20 | 2357204 | 771927 | 17870 91 | 17 | 28 877.31/877.55 c 623s | 20 | 2364037 | 774127 | 17870 91 | 17 | 28 879.31/879.58 c 625s | 20 | 2370394 | 776727 | 17870 92 | 17 | 28 881.31/881.58 c 627s | 20 | 2378082 | 779527 | 17870 92 | 17 | 28 883.41/883.67 c 629s | 20 | 2384327 | 782127 | 17870 92 | 17 | 28 885.50/885.76 c 631s | 20 | 2388896 | 784127 | 17870 92 | 17 | 28 887.51/887.79 c 633s | 20 | 2395257 | 786627 | 17870 93 | 17 | 28 889.50/889.79 c 635s | 20 | 2402437 | 789127 | 17870 93 | 17 | 28 891.60/891.89 c 637s | 20 | 2409063 | 791627 | 17870 93 | 17 | 28 893.70/893.92 c 639s | 20 | 2414675 | 793827 | 17870 94 | 17 | 28 895.70/895.94 c 641s | 20 | 2421975 | 796427 | 17870 94 | 17 | 28 897.70/897.95 c 643s | 20 | 2428231 | 798927 | 17870 94 | 17 | 28 899.80/900.00 c 645s | 20 | 2433473 | 801327 | 17870 94 | 17 | 28 901.70/902.00 c 647s | 20 | 2438636 | 803527 | 17870 95 | 17 | 28 903.80/904.06 c 649s | 20 | 2444402 | 806127 | 17870 95 | 17 | 28 905.89/906.10 c 651s | 20 | 2450548 | 808727 | 17870 95 | 17 | 28 907.89/908.14 c 653s | 20 | 2455491 | 810827 | 17870 95 | 17 | 28 909.89/910.16 c 655s | 20 | 2462320 | 813327 | 17870 96 | 17 | 28 911.89/912.17 c 657s | 20 | 2468048 | 816027 | 17870 96 | 17 | 28 914.00/914.21 c 660s | 20 | 2473041 | 818427 | 17870 96 | 17 | 28 915.99/916.25 c 662s | 20 | 2477537 | 820827 | 17870 96 | 17 | 28 917.99/918.28 c 664s | 20 | 2482781 | 823227 | 17870 97 | 17 | 28 920.09/920.35 c 666s | 20 | 2487841 | 825427 | 17870 97 | 17 | 28 922.09/922.39 c 668s | 20 | 2492175 | 827527 | 17870 97 | 17 | 28 924.19/924.40 c 670s | 20 | 2497735 | 829727 | 17870 97 | 17 | 28 926.19/926.42 c 672s | 20 | 2502080 | 832127 | 17870 98 | 17 | 28 928.19/928.48 c 674s | 20 | 2507035 | 834627 | 17870 98 | 17 | 28 930.28/930.57 c 676s | 20 | 2512205 | 837127 | 17870 98 | 17 | 28 932.28/932.59 c 678s | 20 | 2516445 | 838827 | 17870 98 | 17 | 28 934.38/934.67 c 680s | 20 | 2521804 | 840927 | 17870 99 | 17 | 28 936.48/936.73 c 682s | 20 | 2527317 | 843027 | 17870 99 | 17 | 28 938.48/938.76 c 684s | 20 | 2533203 | 845127 | 17870 99 | 17 | 28 940.58/940.81 c 686s | 20 | 2538427 | 847227 | 17870 99 | 17 | 28 942.59/942.86 c 688s | 20 | 2542798 | 849227 | 17870 100 | 17 | 28 944.69/944.91 c 690s | 20 | 2550065 | 851827 | 17870 100 | 17 | 28 946.69/946.92 c 692s | 20 | 2556350 | 854227 | 17870 100 | 17 | 28 948.68/948.94 c 694s | 20 | 2561968 | 856727 | 17870 100 | 17 | 28 950.78/951.00 c 696s | 20 | 2568541 | 859027 | 17870 101 | 17 | 28 952.78/953.04 c 698s | 20 | 2574160 | 861527 | 17870 101 | 17 | 28 954.78/955.08 c 700s | 20 | 2580107 | 864027 | 17870 101 | 17 | 28 956.79/957.09 c 702s | 20 | 2585106 | 866227 | 17870 101 | 17 | 28 958.88/959.14 c 704s | 20 | 2590948 | 868527 | 17870 102 | 17 | 28 960.98/961.22 c 707s | 20 | 2596591 | 870927 | 17870 102 | 17 | 28 962.98/963.29 c 709s | 20 | 2601903 | 873327 | 17870 102 | 17 | 28 965.08/965.37 c 711s | 20 | 2606987 | 875527 | 17870 102 | 17 | 28 967.18/967.44 c 713s | 20 | 2611752 | 877827 | 17870 103 | 17 | 28 969.18/969.45 c 715s | 20 | 2616999 | 880127 | 17870 103 | 17 | 28 971.28/971.54 c 717s | 20 | 2622304 | 882427 | 17870 103 | 17 | 28 975.07/975.32 c 721s | 20 | 2623333 | 882827 | 17870 103 | 17 | 28 977.07/977.34 c 723s | 20 | 2624042 | 883327 | 17870 103 | 17 | 28 979.67/979.95 c 725s | 20 | 2626300 | 884227 | 17870 103 | 17 | 28 981.77/982.01 c 727s | 20 | 2631440 | 886427 | 17870 104 | 17 | 28 983.77/984.08 c 729s | 20 | 2637067 | 889327 | 17870 104 | 17 | 28 985.87/986.12 c 731s | 20 | 2643173 | 892127 | 17870 104 | 17 | 28 987.87/988.13 c 733s | 20 | 2648225 | 894327 | 17870 105 | 17 | 28 989.88/990.16 c 735s | 20 | 2653950 | 896727 | 17870 105 | 17 | 28 991.98/992.23 c 738s | 20 | 2660485 | 899127 | 17870 105 | 17 | 28 994.07/994.31 c 740s | 20 | 2666172 | 901427 | 17870 105 | 17 | 28 996.07/996.36 c 742s | 20 | 2670591 | 903527 | 17870 106 | 17 | 28 998.17/998.42 c 744s | 20 | 2676616 | 906327 | 17870 106 | 17 | 28 1000.17/1000.43 c 746s | 20 | 2682800 | 908627 | 17870 106 | 17 | 28 1002.16/1002.48 c 748s | 20 | 2689212 | 911427 | 17870 106 | 17 | 28 1004.26/1004.56 c 750s | 20 | 2694253 | 913627 | 17870 107 | 17 | 28 1006.37/1006.62 c 752s | 20 | 2700178 | 916127 | 17870 107 | 17 | 28 1008.36/1008.68 c 754s | 20 | 2706314 | 918427 | 17870 107 | 17 | 28 1010.46/1010.71 c 756s | 20 | 2711985 | 920727 | 17870 107 | 17 | 28 1012.46/1012.73 c 758s | 20 | 2717629 | 923027 | 17870 108 | 17 | 28 1014.56/1014.83 c 760s | 20 | 2724861 | 925627 | 17870 108 | 17 | 28 1016.66/1016.91 c 762s | 20 | 2731396 | 928127 | 17870 108 | 17 | 28 1018.66/1018.95 c 764s | 20 | 2737532 | 930627 | 17870 108 | 17 | 28 1020.66/1020.99 c 766s | 20 | 2744484 | 933327 | 17870 109 | 17 | 28 1022.76/1023.01 c 768s | 20 | 2751807 | 935927 | 17870 109 | 17 | 28 1024.76/1025.02 c 770s | 20 | 2760224 | 938427 | 17870 109 | 17 | 28 1026.75/1027.05 c 772s | 20 | 2768476 | 941227 | 17870 110 | 17 | 28 1028.75/1029.09 c 774s | 20 | 2777480 | 944427 | 17870 110 | 17 | 28 1030.85/1031.13 c 776s | 20 | 2784187 | 946527 | 17870 110 | 17 | 28 1032.85/1033.18 c 778s | 20 | 2790663 | 948927 | 17870 110 | 17 | 28 1034.96/1035.25 c 781s | 20 | 2797433 | 951527 | 17870 111 | 17 | 28 1036.95/1037.26 c 783s | 20 | 2805017 | 953727 | 17870 111 | 17 | 28 1039.05/1039.30 c 785s | 20 | 2812708 | 956127 | 17870 111 | 17 | 28 1041.05/1041.34 c 787s | 20 | 2819304 | 958427 | 17870 112 | 17 | 28 1043.05/1043.38 c 789s | 20 | 2826739 | 961327 | 17870 112 | 17 | 28 1045.14/1045.40 c 791s | 20 | 2833342 | 964127 | 17870 112 | 17 | 28 1047.14/1047.42 c 793s | 20 | 2839389 | 966427 | 17870 112 | 17 | 28 1049.15/1049.46 c 795s | 20 | 2845612 | 968827 | 17870 113 | 17 | 28 1051.14/1051.48 c 797s | 20 | 2854215 | 971627 | 17870 113 | 17 | 28 1053.24/1053.57 c 799s | 20 | 2862178 | 974427 | 17870 113 | 17 | 28 1055.34/1055.62 c 801s | 20 | 2867817 | 976727 | 17870 114 | 17 | 28 1057.34/1057.62 c 803s | 20 | 2874693 | 979627 | 17870 114 | 17 | 28 1059.34/1059.69 c 805s | 20 | 2880715 | 982027 | 17870 114 | 17 | 28 1061.43/1061.71 c 807s | 20 | 2886644 | 984127 | 17870 114 | 17 | 28 1063.44/1063.75 c 809s | 20 | 2892081 | 986227 | 17870 115 | 17 | 28 1065.53/1065.80 c 811s | 20 | 2898649 | 988827 | 17870 115 | 17 | 28 1067.53/1067.82 c 813s | 20 | 2905171 | 991327 | 17870 115 | 17 | 28 1069.53/1069.88 c 815s | 20 | 2911907 | 993727 | 17870 115 | 17 | 28 1071.63/1071.93 c 817s | 20 | 2917628 | 996427 | 17870 116 | 17 | 28 1073.63/1073.95 c 819s | 20 | 2924859 | 999027 | 17870 116 | 17 | 28 1074.63/1075.00 c 820s | 21 | 2928521 | 1000345 | 17870 116 | 17 | 28 1076.73/1077.05 c 822s | 21 | 2932724 | 1002545 | 17870 116 | 17 | 28 1078.73/1079.10 c 824s | 21 | 2936866 | 1004745 | 17870 117 | 17 | 28 1080.83/1081.14 c 826s | 21 | 2942857 | 1007345 | 17870 117 | 17 | 28 1082.93/1083.20 c 829s | 21 | 2949101 | 1009745 | 17870 117 | 17 | 28 1084.93/1085.27 c 831s | 21 | 2955290 | 1012045 | 17870 117 | 17 | 28 1086.92/1087.29 c 833s | 21 | 2961458 | 1014445 | 17870 118 | 17 | 28 1088.92/1089.29 c 835s | 21 | 2967577 | 1016945 | 17870 118 | 17 | 28 1091.03/1091.35 c 837s | 21 | 2973366 | 1019445 | 17870 118 | 17 | 28 1093.13/1093.42 c 839s | 21 | 2980192 | 1021645 | 17870 118 | 17 | 28 1095.11/1095.47 c 841s | 21 | 2986273 | 1024145 | 17870 119 | 17 | 28 1097.21/1097.51 c 843s | 21 | 2993627 | 1026745 | 17870 119 | 17 | 28 1099.21/1099.53 c 845s | 21 | 3000458 | 1029145 | 17870 119 | 17 | 28 1101.31/1101.65 c 847s | 21 | 3005808 | 1031445 | 17870 120 | 17 | 28 1103.31/1103.67 c 849s | 21 | 3011746 | 1034045 | 17870 120 | 17 | 28 1105.41/1105.74 c 851s | 21 | 3017991 | 1036545 | 17870 120 | 17 | 28 1107.51/1107.81 c 853s | 21 | 3024216 | 1038945 | 17870 120 | 17 | 28 1109.51/1109.85 c 855s | 21 | 3031982 | 1041445 | 17870 121 | 17 | 28 1113.41/1113.75 c 859s | 21 | 3035010 | 1042445 | 17870 121 | 17 | 28 1115.51/1115.82 c 861s | 21 | 3037794 | 1043345 | 17870 121 | 17 | 28 1117.81/1118.12 c 863s | 21 | 3045178 | 1045345 | 17870 121 | 17 | 28 1119.81/1120.17 c 865s | 21 | 3054265 | 1048145 | 17870 121 | 17 | 28 1121.91/1122.23 c 868s | 21 | 3060219 | 1050545 | 19657 121 | 17 | 28 1123.91/1124.26 c 870s | 21 | 3067676 | 1052945 | 19657 122 | 17 | 28 1125.90/1126.29 c 872s | 21 | 3071681 | 1054245 | 19657 122 | 17 | 28 1128.00/1128.34 c 874s | 21 | 3081531 | 1056545 | 19657 122 | 17 | 28 1130.00/1130.35 c 876s | 21 | 3088722 | 1058645 | 19657 122 | 17 | 28 1132.10/1132.43 c 878s | 21 | 3096016 | 1060745 | 19657 122 | 17 | 28 1134.10/1134.49 c 880s | 21 | 3104982 | 1063245 | 19657 123 | 17 | 28 1136.20/1136.53 c 882s | 21 | 3115980 | 1066045 | 19657 123 | 17 | 28 1138.21/1138.56 c 884s | 21 | 3125236 | 1068745 | 19657 123 | 17 | 28 1140.30/1140.61 c 886s | 21 | 3130719 | 1070645 | 19657 123 | 17 | 28 1142.30/1142.68 c 888s | 21 | 3136857 | 1072945 | 19657 124 | 17 | 28 1144.40/1144.72 c 890s | 21 | 3144482 | 1075645 | 19657 124 | 17 | 28 1146.40/1146.74 c 892s | 21 | 3151694 | 1078145 | 19657 124 | 17 | 28 1148.50/1148.82 c 894s | 21 | 3158997 | 1080745 | 19657 124 | 17 | 28 1150.50/1150.86 c 896s | 21 | 3165468 | 1082845 | 19657 125 | 17 | 28 1152.50/1152.89 c 898s | 21 | 3174546 | 1085445 | 19657 125 | 17 | 28 1154.59/1154.91 c 900s | 21 | 3183227 | 1088145 | 19657 125 | 17 | 28 1156.59/1156.95 c 902s | 21 | 3189937 | 1090745 | 19657 125 | 17 | 28 1158.59/1158.99 c 904s | 21 | 3196911 | 1093145 | 19657 126 | 17 | 28 1160.69/1161.08 c 906s | 21 | 3203193 | 1095745 | 19657 126 | 17 | 28 1162.79/1163.15 c 908s | 21 | 3209312 | 1097945 | 19657 126 | 17 | 28 1164.79/1165.16 c 910s | 21 | 3215254 | 1100045 | 19657 126 | 17 | 28 1166.79/1167.17 c 912s | 21 | 3222619 | 1102545 | 19657 127 | 17 | 28 1168.88/1169.21 c 915s | 21 | 3230800 | 1105545 | 19657 127 | 17 | 28 1170.88/1171.24 c 917s | 21 | 3237312 | 1108145 | 19657 127 | 17 | 28 1172.88/1173.29 c 919s | 21 | 3247799 | 1110845 | 19657 127 | 17 | 28 1174.98/1175.34 c 921s | 21 | 3257468 | 1113745 | 19657 128 | 17 | 28 1176.97/1177.36 c 923s | 21 | 3265826 | 1116545 | 19657 128 | 17 | 28 1179.07/1179.44 c 925s | 21 | 3277520 | 1119445 | 19657 128 | 17 | 28 1181.08/1181.48 c 927s | 21 | 3283477 | 1121845 | 19657 129 | 17 | 28 1183.17/1183.55 c 929s | 21 | 3291960 | 1124345 | 19657 129 | 17 | 28 1185.17/1185.59 c 931s | 21 | 3298402 | 1126645 | 19657 129 | 17 | 28 1187.27/1187.64 c 933s | 21 | 3304991 | 1128945 | 19657 129 | 17 | 28 1189.27/1189.69 c 935s | 21 | 3311719 | 1131245 | 19657 129 | 17 | 28 1191.48/1191.82 c 937s | 21 | 3319204 | 1133745 | 19657 130 | 17 | 28 1193.48/1193.83 c 939s | 21 | 3329475 | 1136845 | 19657 130 | 17 | 28 1195.48/1195.85 c 941s | 21 | 3336452 | 1139445 | 19657 130 | 17 | 28 1197.58/1197.92 c 943s | 21 | 3343867 | 1141845 | 19657 130 | 17 | 28 1199.57/1199.98 c 945s | 21 | 3350947 | 1144645 | 19657 131 | 17 | 28 1201.67/1202.04 c 947s | 21 | 3356498 | 1147145 | 19657 131 | 17 | 28 1203.77/1204.16 c 949s | 21 | 3365526 | 1149745 | 19657 131 | 17 | 28 1205.87/1206.20 c 951s | 21 | 3374509 | 1152645 | 19657 132 | 17 | 28 1207.87/1208.25 c 954s | 21 | 3381400 | 1155445 | 19657 132 | 17 | 28 1209.87/1210.26 c 956s | 21 | 3388772 | 1157845 | 19657 132 | 17 | 28 1211.97/1212.31 c 958s | 21 | 3395182 | 1160145 | 19657 132 | 17 | 28 1213.97/1214.37 c 960s | 21 | 3401856 | 1162345 | 19657 133 | 17 | 28 1215.96/1216.39 c 962s | 21 | 3411356 | 1165245 | 19657 133 | 17 | 28 1218.06/1218.40 c 964s | 21 | 3417938 | 1167745 | 19657 133 | 17 | 28 1220.06/1220.45 c 966s | 21 | 3425189 | 1170345 | 19657 133 | 17 | 28 1222.16/1222.51 c 968s | 21 | 3431964 | 1173145 | 19657 134 | 17 | 28 1224.16/1224.53 c 970s | 21 | 3439026 | 1175745 | 19657 134 | 17 | 28 1226.16/1226.55 c 972s | 21 | 3444922 | 1177945 | 19657 134 | 17 | 28 1228.16/1228.56 c 974s | 21 | 3450689 | 1180245 | 19657 134 | 17 | 28 1230.16/1230.59 c 976s | 21 | 3455925 | 1182345 | 19657 135 | 17 | 28 1232.25/1232.62 c 978s | 21 | 3466128 | 1185445 | 19657 135 | 17 | 28 1234.25/1234.67 c 980s | 21 | 3472651 | 1187945 | 19657 135 | 17 | 28 1236.35/1236.74 c 982s | 21 | 3478965 | 1190245 | 19657 135 | 17 | 28 1238.36/1238.77 c 984s | 21 | 3485024 | 1192245 | 19657 136 | 17 | 28 1240.35/1240.78 c 986s | 21 | 3491678 | 1194745 | 19657 136 | 17 | 28 1242.45/1242.82 c 988s | 21 | 3497197 | 1197145 | 19657 136 | 17 | 28 1244.55/1244.90 c 990s | 21 | 3503804 | 1199445 | 19657 136 | 17 | 28 1246.55/1246.97 c 992s | 21 | 3510070 | 1201845 | 19657 136 | 17 | 28 1248.55/1248.99 c 994s | 21 | 3516582 | 1204345 | 19657 137 | 17 | 28 1250.65/1251.06 c 996s | 21 | 3524972 | 1207045 | 19657 137 | 17 | 28 1252.65/1253.06 c 998s | 21 | 3531176 | 1209345 | 19657 137 | 17 | 28 1254.75/1255.12 c 1000s | 21 | 3536526 | 1211445 | 19657 137 | 17 | 28 1256.74/1257.19 c 1002s | 21 | 3541851 | 1213645 | 19657 138 | 17 | 28 1258.84/1259.23 c 1005s | 21 | 3548775 | 1216145 | 19657 138 | 17 | 28 1260.84/1261.28 c 1007s | 21 | 3554493 | 1218545 | 19657 138 | 17 | 28 1262.94/1263.34 c 1009s | 21 | 3560051 | 1220745 | 19657 138 | 17 | 28 1264.94/1265.35 c 1011s | 21 | 3565041 | 1222745 | 19657 139 | 17 | 28 1266.95/1267.38 c 1013s | 21 | 3570803 | 1225145 | 19657 139 | 17 | 28 1268.94/1269.38 c 1015s | 21 | 3577102 | 1227445 | 19657 139 | 17 | 28 1271.04/1271.43 c 1017s | 21 | 3582419 | 1229745 | 19657 139 | 17 | 28 1277.74/1278.13 c 1023s | 21 | 3586716 | 1231645 | 19657 139 | 17 | 28 1279.74/1280.17 c 1025s | 21 | 3593524 | 1233845 | 19657 140 | 17 | 28 1281.84/1282.21 c 1028s | 21 | 3601124 | 1236845 | 19657 140 | 17 | 28 1283.83/1284.24 c 1030s | 21 | 3608894 | 1239545 | 19657 140 | 17 | 28 1285.83/1286.27 c 1032s | 21 | 3615038 | 1242145 | 19657 140 | 17 | 28 1287.84/1288.29 c 1034s | 21 | 3620599 | 1244345 | 19657 141 | 17 | 28 1289.94/1290.36 c 1036s | 21 | 3628900 | 1246545 | 19657 141 | 17 | 28 1291.93/1292.38 c 1038s | 21 | 3633302 | 1247945 | 19657 141 | 17 | 28 1294.03/1294.45 c 1040s | 21 | 3638204 | 1249545 | 19657 141 | 17 | 28 1296.13/1296.55 c 1042s | 21 | 3645937 | 1251845 | 19657 141 | 17 | 28 1298.22/1298.62 c 1044s | 21 | 3653452 | 1254345 | 19657 142 | 17 | 28 1300.22/1300.64 c 1046s | 21 | 3657549 | 1255645 | 19657 142 | 17 | 28 1302.32/1302.74 c 1048s | 21 | 3663653 | 1258145 | 19657 142 | 17 | 28 1304.33/1304.75 c 1050s | 21 | 3668956 | 1260645 | 19657 142 | 17 | 28 1306.32/1306.78 c 1052s | 21 | 3675037 | 1262945 | 19657 143 | 17 | 28 1308.32/1308.79 c 1054s | 21 | 3681079 | 1265345 | 19657 143 | 17 | 28 1310.41/1310.83 c 1056s | 21 | 3688041 | 1267545 | 19657 143 | 17 | 28 1312.41/1312.85 c 1058s | 21 | 3696090 | 1269845 | 19657 143 | 17 | 28 1314.51/1314.91 c 1060s | 21 | 3702882 | 1272145 | 19657 143 | 17 | 28 1316.51/1316.93 c 1062s | 21 | 3710104 | 1274645 | 19657 144 | 17 | 28 1318.52/1318.96 c 1064s | 21 | 3715771 | 1276845 | 19657 144 | 17 | 28 1320.51/1320.99 c 1066s | 21 | 3720975 | 1278945 | 19657 144 | 17 | 28 1322.61/1323.09 c 1068s | 21 | 3726123 | 1281145 | 19657 144 | 17 | 28 1324.71/1325.14 c 1070s | 21 | 3729922 | 1283245 | 19657 145 | 17 | 28 1326.70/1327.14 c 1072s | 21 | 3735722 | 1285245 | 19657 145 | 17 | 28 1328.70/1329.18 c 1074s | 21 | 3744358 | 1287445 | 19657 145 | 17 | 28 1330.80/1331.20 c 1077s | 21 | 3751710 | 1289645 | 19657 145 | 17 | 28 1332.81/1333.29 c 1079s | 21 | 3758750 | 1291845 | 19657 145 | 17 | 28 1334.90/1335.32 c 1081s | 21 | 3766285 | 1294245 | 19657 146 | 17 | 28 1336.90/1337.37 c 1083s | 21 | 3772750 | 1296745 | 19657 146 | 17 | 28 1339.00/1339.41 c 1085s | 21 | 3777615 | 1298945 | 19657 146 | 17 | 28 1341.00/1341.42 c 1087s | 21 | 3783507 | 1301045 | 19657 146 | 17 | 28 1343.00/1343.46 c 1089s | 21 | 3787893 | 1303045 | 19657 147 | 17 | 28 1345.10/1345.52 c 1091s | 21 | 3793352 | 1305345 | 19657 147 | 17 | 28 1347.11/1347.54 c 1093s | 21 | 3800251 | 1307645 | 19657 147 | 17 | 28 1349.10/1349.59 c 1095s | 21 | 3807629 | 1310145 | 19657 147 | 17 | 28 1351.20/1351.64 c 1097s | 21 | 3812715 | 1312445 | 19657 147 | 17 | 28 1353.20/1353.67 c 1099s | 21 | 3819405 | 1314745 | 19657 148 | 17 | 28 1355.30/1355.71 c 1101s | 21 | 3826242 | 1317345 | 19657 148 | 17 | 28 1357.30/1357.76 c 1103s | 21 | 3831980 | 1319645 | 19657 148 | 17 | 28 1359.40/1359.82 c 1105s | 21 | 3837100 | 1321645 | 19657 148 | 17 | 28 1361.41/1361.85 c 1107s | 21 | 3843114 | 1323845 | 19657 149 | 17 | 28 1363.50/1363.92 c 1109s | 21 | 3849120 | 1326445 | 19657 149 | 17 | 28 1365.49/1365.95 c 1111s | 21 | 3854828 | 1328745 | 19657 149 | 17 | 28 1367.49/1367.95 c 1113s | 21 | 3860751 | 1331045 | 19657 149 | 17 | 28 1369.59/1370.02 c 1115s | 21 | 3866310 | 1333245 | 19657 150 | 17 | 28 1371.59/1372.04 c 1117s | 21 | 3872322 | 1335445 | 19657 150 | 17 | 28 1373.60/1374.07 c 1119s | 21 | 3879558 | 1338045 | 19657 150 | 17 | 28 1375.70/1376.14 c 1121s | 21 | 3885505 | 1340245 | 19657 150 | 17 | 28 1377.69/1378.17 c 1123s | 21 | 3891863 | 1342345 | 19657 150 | 17 | 28 1379.79/1380.23 c 1126s | 21 | 3897515 | 1344645 | 19657 151 | 17 | 28 1381.79/1382.27 c 1128s | 21 | 3903486 | 1347145 | 19657 151 | 17 | 28 1383.79/1384.29 c 1130s | 21 | 3910050 | 1349645 | 19657 151 | 17 | 28 1385.89/1386.35 c 1132s | 21 | 3915192 | 1351845 | 19657 151 | 17 | 28 1387.90/1388.39 c 1134s | 21 | 3919868 | 1353945 | 19657 152 | 17 | 28 1390.10/1390.51 c 1136s | 21 | 3925220 | 1356345 | 19657 152 | 17 | 28 1392.09/1392.55 c 1138s | 21 | 3930590 | 1358545 | 19657 152 | 17 | 28 1394.09/1394.57 c 1140s | 21 | 3935081 | 1360645 | 19657 152 | 17 | 28 1396.19/1396.60 c 1142s | 21 | 3940770 | 1362845 | 19657 152 | 17 | 28 1398.19/1398.67 c 1144s | 21 | 3947773 | 1365245 | 19657 153 | 17 | 28 1400.19/1400.69 c 1146s | 21 | 3951786 | 1367445 | 19657 153 | 17 | 28 1402.29/1402.70 c 1148s | 21 | 3956309 | 1369645 | 19657 153 | 17 | 28 1404.29/1404.76 c 1150s | 21 | 3960995 | 1371845 | 19657 153 | 17 | 28 1406.39/1406.85 c 1152s | 21 | 3964368 | 1373745 | 19657 154 | 17 | 28 1408.39/1408.86 c 1154s | 21 | 3970433 | 1376145 | 19657 154 | 17 | 28 1410.49/1410.94 c 1156s | 21 | 3975232 | 1378345 | 19657 154 | 17 | 28 1412.49/1412.99 c 1158s | 21 | 3979723 | 1380245 | 19657 154 | 17 | 28 1415.59/1416.07 c 1161s | 21 | 3980851 | 1380745 | 19657 154 | 17 | 28 1417.69/1418.14 c 1163s | 21 | 3983333 | 1381545 | 19657 154 | 17 | 28 1419.99/1420.42 c 1166s | 21 | 3990302 | 1383745 | 19657 155 | 17 | 28 1421.99/1422.46 c 1168s | 21 | 3998881 | 1386645 | 19657 155 | 17 | 28 1423.99/1424.48 c 1170s | 21 | 4006779 | 1389645 | 19657 155 | 17 | 28 1426.09/1426.51 c 1172s | 21 | 4013968 | 1392145 | 19657 155 | 17 | 28 1428.08/1428.56 c 1174s | 21 | 4021749 | 1394545 | 19657 156 | 17 | 28 1430.18/1430.61 c 1176s | 21 | 4031670 | 1397545 | 19657 156 | 17 | 28 1432.18/1432.64 c 1178s | 21 | 4037871 | 1400045 | 19657 156 | 17 | 28 1434.18/1434.68 c 1180s | 21 | 4042835 | 1402045 | 19657 156 | 17 | 28 1436.29/1436.71 c 1182s | 21 | 4048152 | 1403945 | 19657 157 | 17 | 28 1438.28/1438.79 c 1184s | 21 | 4055099 | 1406545 | 19657 157 | 17 | 28 1440.38/1440.82 c 1186s | 21 | 4061221 | 1408645 | 19657 157 | 17 | 28 1442.38/1442.84 c 1188s | 21 | 4067368 | 1410545 | 19657 157 | 17 | 28 1444.38/1444.89 c 1190s | 21 | 4074773 | 1412645 | 19657 157 | 17 | 28 1446.38/1446.89 c 1192s | 21 | 4081110 | 1415045 | 19657 158 | 17 | 28 1448.39/1448.90 c 1194s | 21 | 4089166 | 1417645 | 19657 158 | 17 | 28 1450.49/1450.91 c 1196s | 21 | 4098369 | 1420345 | 19657 158 | 17 | 28 1452.48/1452.92 c 1198s | 21 | 4106961 | 1422845 | 19657 158 | 17 | 28 1454.48/1454.93 c 1200s | 21 | 4113819 | 1425345 | 19657 159 | 17 | 28 1456.48/1456.95 c 1202s | 21 | 4120380 | 1427945 | 19657 159 | 17 | 28 1458.48/1458.98 c 1204s | 21 | 4126221 | 1430145 | 19657 159 | 17 | 28 1460.58/1461.05 c 1206s | 21 | 4131938 | 1432245 | 19657 159 | 17 | 28 1462.59/1463.07 c 1208s | 21 | 4137505 | 1434345 | 19657 160 | 17 | 28 1464.58/1465.09 c 1210s | 21 | 4143665 | 1436645 | 19657 160 | 17 | 28 1466.68/1467.10 c 1212s | 21 | 4151068 | 1439045 | 19657 160 | 17 | 28 1468.68/1469.16 c 1214s | 21 | 4159065 | 1441645 | 19657 160 | 17 | 28 1470.78/1471.21 c 1217s | 21 | 4164276 | 1443645 | 19657 161 | 17 | 28 1472.78/1473.21 c 1219s | 21 | 4169560 | 1445845 | 19657 161 | 17 | 28 1474.78/1475.26 c 1221s | 21 | 4175689 | 1448045 | 19657 161 | 17 | 28 1476.78/1477.29 c 1223s | 21 | 4181556 | 1450245 | 19657 161 | 17 | 28 1478.88/1479.31 c 1225s | 21 | 4187549 | 1452445 | 19657 161 | 17 | 28 1480.88/1481.38 c 1227s | 21 | 4193795 | 1454745 | 19657 162 | 17 | 28 1482.98/1483.45 c 1229s | 21 | 4200858 | 1457445 | 19657 162 | 17 | 28 1484.98/1485.47 c 1231s | 21 | 4207666 | 1460045 | 19657 162 | 17 | 28 1486.98/1487.48 c 1233s | 21 | 4213259 | 1462445 | 19657 162 | 17 | 28 1489.08/1489.50 c 1235s | 21 | 4219383 | 1464645 | 19657 163 | 17 | 28 1491.08/1491.51 c 1237s | 21 | 4226240 | 1467045 | 19657 163 | 17 | 28 1493.08/1493.55 c 1239s | 21 | 4233281 | 1469245 | 19657 163 | 17 | 28 1495.07/1495.58 c 1241s | 21 | 4238639 | 1471545 | 19657 163 | 17 | 28 1497.17/1497.63 c 1243s | 21 | 4244539 | 1473845 | 19657 164 | 17 | 28 1499.17/1499.68 c 1245s | 21 | 4252304 | 1476545 | 19657 164 | 17 | 28 1501.27/1501.71 c 1247s | 21 | 4258075 | 1479045 | 19657 164 | 17 | 28 1503.28/1503.75 c 1249s | 21 | 4263210 | 1481345 | 19657 164 | 17 | 28 1505.37/1505.84 c 1251s | 21 | 4267946 | 1483345 | 19657 164 | 17 | 28 1507.37/1507.86 c 1253s | 21 | 4273375 | 1485545 | 19657 165 | 17 | 28 1509.37/1509.86 c 1255s | 21 | 4280001 | 1487945 | 19657 165 | 17 | 28 1511.37/1511.87 c 1257s | 21 | 4286711 | 1490345 | 19657 165 | 17 | 28 1513.47/1513.95 c 1259s | 21 | 4290993 | 1492345 | 19657 165 | 17 | 28 1515.48/1515.96 c 1261s | 21 | 4295275 | 1494345 | 19657 166 | 17 | 28 1517.58/1518.01 c 1263s | 21 | 4301765 | 1496845 | 19657 166 | 17 | 28 1519.57/1520.08 c 1265s | 21 | 4307937 | 1499145 | 19657 166 | 17 | 28 1520.88/1521.33 c 1267s | 22 | 4311376 | 1500622 | 19657 166 | 17 | 28 1524.57/1525.01 c 1270s | 22 | 4314659 | 1501922 | 19657 166 | 17 | 28 1528.47/1528.98 c 1274s | 22 | 4315985 | 1502222 | 19657 166 | 17 | 28 1530.57/1531.00 c 1276s | 22 | 4327752 | 1505122 | 19657 167 | 17 | 28 1532.57/1533.06 c 1278s | 22 | 4338718 | 1508022 | 19657 167 | 17 | 28 1534.57/1535.07 c 1280s | 22 | 4348199 | 1510622 | 19657 167 | 17 | 28 1536.67/1537.13 c 1282s | 22 | 4357281 | 1513322 | 19657 167 | 17 | 28 1538.67/1539.18 c 1284s | 22 | 4364949 | 1515522 | 19657 168 | 17 | 28 1540.78/1541.24 c 1287s | 22 | 4376637 | 1518222 | 19657 168 | 17 | 28 1542.77/1543.28 c 1289s | 22 | 4388137 | 1520922 | 19657 168 | 17 | 28 1544.87/1545.33 c 1291s | 22 | 4398608 | 1523422 | 19657 168 | 17 | 28 1546.87/1547.36 c 1293s | 22 | 4407561 | 1526022 | 19657 169 | 17 | 28 1548.87/1549.39 c 1295s | 22 | 4416962 | 1528822 | 19657 169 | 17 | 28 1550.97/1551.40 c 1297s | 22 | 4426790 | 1531422 | 19657 169 | 17 | 28 1552.97/1553.44 c 1299s | 22 | 4437443 | 1534122 | 19657 170 | 17 | 28 1554.98/1555.49 c 1301s | 22 | 4448858 | 1537322 | 19657 170 | 17 | 28 1557.07/1557.52 c 1303s | 22 | 4461020 | 1540422 | 19657 170 | 17 | 28 1559.07/1559.56 c 1305s | 22 | 4471154 | 1543222 | 19657 170 | 17 | 28 1561.17/1561.61 c 1307s | 22 | 4481333 | 1546222 | 19657 171 | 17 | 28 1563.17/1563.62 c 1309s | 22 | 4491307 | 1549322 | 19657 171 | 17 | 28 1565.17/1565.63 c 1311s | 22 | 4500671 | 1551722 | 19657 171 | 17 | 28 1567.27/1567.71 c 1313s | 22 | 4507799 | 1553922 | 19657 172 | 17 | 28 1569.27/1569.76 c 1315s | 22 | 4515240 | 1556522 | 19657 172 | 17 | 28 1571.27/1571.79 c 1317s | 22 | 4526566 | 1559322 | 19657 172 | 17 | 28 1573.36/1573.84 c 1319s | 22 | 4537730 | 1562122 | 19657 172 | 17 | 28 1575.46/1575.91 c 1321s | 22 | 4545819 | 1564422 | 19657 173 | 17 | 28 1577.46/1577.95 c 1323s | 22 | 4553929 | 1567122 | 19657 173 | 17 | 28 1579.46/1579.99 c 1325s | 22 | 4563782 | 1570122 | 19657 173 | 17 | 28 1581.56/1582.02 c 1327s | 22 | 4573002 | 1572622 | 19657 173 | 17 | 28 1583.57/1584.05 c 1329s | 22 | 4581752 | 1575222 | 19657 174 | 17 | 28 1585.56/1586.08 c 1331s | 22 | 4591147 | 1578122 | 19657 174 | 17 | 28 1587.66/1588.16 c 1333s | 22 | 4600163 | 1580722 | 19657 174 | 17 | 28 1589.76/1590.20 c 1335s | 22 | 4610584 | 1583322 | 19657 174 | 17 | 28 1591.76/1592.21 c 1338s | 22 | 4620345 | 1586022 | 19657 175 | 17 | 28 1593.86/1594.35 c 1340s | 22 | 4628737 | 1588822 | 19657 175 | 17 | 28 1595.96/1596.41 c 1342s | 22 | 4638535 | 1591622 | 19657 175 | 17 | 28 1597.97/1598.41 c 1344s | 22 | 4647312 | 1594122 | 19657 176 | 17 | 28 1599.96/1600.44 c 1346s | 22 | 4657577 | 1597222 | 19657 176 | 17 | 28 1603.06/1603.50 c 1349s | 22 | 4662372 | 1598422 | 19657 176 | 17 | 28 1605.86/1606.37 c 1352s | 22 | 4663826 | 1598922 | 19657 176 | 17 | 28 1608.87/1609.30 c 1355s | 22 | 4666841 | 1600022 | 19657 176 | 17 | 28 1610.86/1611.36 c 1357s | 22 | 4675036 | 1602422 | 19657 176 | 17 | 28 1612.96/1613.46 c 1359s | 22 | 4681452 | 1604322 | 19657 177 | 17 | 28 1614.96/1615.46 c 1361s | 22 | 4690622 | 1607222 | 19657 177 | 17 | 28 1617.06/1617.52 c 1363s | 22 | 4700502 | 1610022 | 19657 177 | 17 | 28 1619.06/1619.52 c 1365s | 22 | 4708198 | 1612422 | 19657 177 | 17 | 28 1621.06/1621.53 c 1367s | 22 | 4714880 | 1614522 | 19657 178 | 17 | 28 1623.06/1623.53 c 1369s | 22 | 4723131 | 1617022 | 19657 178 | 17 | 28 1625.06/1625.57 c 1371s | 22 | 4730767 | 1619422 | 19657 178 | 17 | 28 1627.26/1627.71 c 1373s | 22 | 4737474 | 1621622 | 19657 178 | 17 | 28 1629.26/1629.76 c 1375s | 22 | 4744693 | 1623722 | 19657 178 | 17 | 28 1631.26/1631.77 c 1377s | 22 | 4751943 | 1626022 | 19657 179 | 17 | 28 1633.36/1633.81 c 1379s | 22 | 4759065 | 1628322 | 19657 179 | 17 | 28 1635.36/1635.82 c 1381s | 22 | 4765671 | 1630422 | 19657 179 | 17 | 28 1637.36/1637.83 c 1383s | 22 | 4771880 | 1632422 | 19657 179 | 17 | 28 1639.45/1639.90 c 1385s | 22 | 4779205 | 1634522 | 19657 180 | 17 | 28 1641.45/1641.98 c 1387s | 22 | 4786732 | 1636922 | 19657 180 | 17 | 28 1643.45/1644.00 c 1389s | 22 | 4792957 | 1639122 | 19657 180 | 17 | 28 1645.55/1646.05 c 1391s | 22 | 4799361 | 1641322 | 19657 180 | 17 | 28 1647.65/1648.14 c 1393s | 22 | 4805467 | 1643422 | 19657 180 | 17 | 28 1649.66/1650.19 c 1395s | 22 | 4812678 | 1645822 | 19657 181 | 17 | 28 1651.76/1652.26 c 1398s | 22 | 4819290 | 1648222 | 19657 181 | 17 | 28 1653.85/1654.30 c 1400s | 22 | 4825733 | 1650522 | 19657 181 | 17 | 28 1655.85/1656.36 c 1402s | 22 | 4832236 | 1652822 | 19657 181 | 17 | 28 1657.95/1658.40 c 1404s | 22 | 4838171 | 1654922 | 19657 182 | 17 | 28 1659.95/1660.46 c 1406s | 22 | 4844814 | 1657222 | 19657 182 | 17 | 28 1662.05/1662.54 c 1408s | 22 | 4850797 | 1659422 | 19657 182 | 17 | 28 1664.05/1664.55 c 1410s | 22 | 4856566 | 1661622 | 19657 182 | 17 | 28 1666.16/1666.61 c 1412s | 22 | 4862611 | 1663622 | 19657 182 | 17 | 28 1668.15/1668.68 c 1414s | 22 | 4870404 | 1666122 | 19657 183 | 17 | 28 1670.25/1670.72 c 1416s | 22 | 4877708 | 1668922 | 19657 183 | 17 | 28 1672.25/1672.79 c 1418s | 22 | 4884554 | 1671222 | 19657 183 | 17 | 28 1674.35/1674.86 c 1420s | 22 | 4892868 | 1673522 | 19657 183 | 17 | 28 1676.45/1676.91 c 1422s | 22 | 4901623 | 1676122 | 19657 184 | 17 | 28 1678.45/1678.93 c 1424s | 22 | 4909527 | 1678822 | 19657 184 | 17 | 28 1680.46/1680.98 c 1426s | 22 | 4915925 | 1681622 | 19657 184 | 17 | 28 1682.56/1683.05 c 1428s | 22 | 4921603 | 1683722 | 19657 184 | 17 | 28 1684.55/1685.09 c 1430s | 22 | 4928793 | 1686322 | 19657 185 | 17 | 28 1686.55/1687.09 c 1432s | 22 | 4934662 | 1688722 | 19657 185 | 17 | 28 1688.65/1689.12 c 1434s | 22 | 4940667 | 1690922 | 19657 185 | 17 | 28 1690.65/1691.14 c 1436s | 22 | 4946438 | 1693022 | 19657 185 | 17 | 28 1692.75/1693.20 c 1439s | 22 | 4952214 | 1695222 | 19657 186 | 17 | 28 1694.75/1695.23 c 1441s | 22 | 4959984 | 1697722 | 19657 186 | 17 | 28 1696.85/1697.33 c 1443s | 22 | 4967159 | 1700022 | 19657 186 | 17 | 28 1698.95/1699.41 c 1445s | 22 | 4972891 | 1702322 | 19657 186 | 17 | 28 1700.95/1701.46 c 1447s | 22 | 4977390 | 1704222 | 19657 186 | 17 | 28 1702.95/1703.48 c 1449s | 22 | 4983498 | 1706622 | 19657 187 | 17 | 28 1705.04/1705.54 c 1451s | 22 | 4990110 | 1709122 | 19657 187 | 17 | 28 1707.14/1707.62 c 1453s | 22 | 4996621 | 1711422 | 19657 187 | 17 | 28 1709.14/1709.64 c 1455s | 22 | 5002857 | 1713622 | 19657 187 | 17 | 28 1711.25/1711.72 c 1457s | 22 | 5008852 | 1715922 | 19657 188 | 17 | 28 1713.24/1713.78 c 1459s | 22 | 5014540 | 1718322 | 19657 188 | 17 | 28 1715.34/1715.82 c 1461s | 22 | 5021245 | 1720822 | 19657 188 | 17 | 28 1717.34/1717.88 c 1463s | 22 | 5027691 | 1723222 | 19657 188 | 17 | 28 1719.44/1719.94 c 1465s | 22 | 5033392 | 1725522 | 19657 189 | 17 | 28 1721.44/1721.96 c 1467s | 22 | 5039574 | 1727922 | 19657 189 | 17 | 28 1723.44/1723.98 c 1469s | 22 | 5045215 | 1730322 | 19657 189 | 17 | 28 1725.55/1726.06 c 1471s | 22 | 5050915 | 1732722 | 19657 189 | 17 | 28 1727.54/1728.07 c 1473s | 22 | 5055708 | 1734722 | 19657 190 | 17 | 28 1729.64/1730.11 c 1475s | 22 | 5061719 | 1737022 | 19657 190 | 17 | 28 1731.64/1732.12 c 1477s | 22 | 5067778 | 1739322 | 19657 190 | 17 | 28 1733.64/1734.14 c 1479s | 22 | 5073853 | 1741522 | 19657 190 | 17 | 28 1735.64/1736.15 c 1481s | 22 | 5079007 | 1743622 | 19657 190 | 17 | 28 1741.95/1742.45 c 1488s | 22 | 5083563 | 1745422 | 19657 191 | 17 | 28 1744.15/1744.69 c 1490s | 22 | 5085347 | 1746022 | 19657 191 | 17 | 28 1746.24/1746.76 c 1492s | 22 | 5091166 | 1748122 | 19657 191 | 17 | 28 1748.24/1748.79 c 1494s | 22 | 5096903 | 1750622 | 19657 191 | 17 | 28 1750.34/1750.85 c 1496s | 22 | 5104207 | 1753022 | 19657 191 | 17 | 28 1752.34/1752.87 c 1498s | 22 | 5110729 | 1755122 | 19657 192 | 17 | 28 1754.44/1754.91 c 1500s | 22 | 5116906 | 1757222 | 19657 192 | 17 | 28 1756.44/1756.95 c 1502s | 22 | 5124293 | 1759522 | 19657 192 | 17 | 28 1758.44/1758.99 c 1504s | 22 | 5129403 | 1761722 | 19657 192 | 17 | 28 1760.53/1761.03 c 1506s | 22 | 5136052 | 1763822 | 19657 192 | 17 | 28 1762.53/1763.08 c 1508s | 22 | 5144144 | 1766422 | 19657 193 | 17 | 28 1764.63/1765.14 c 1510s | 22 | 5152620 | 1769122 | 19657 193 | 17 | 28 1766.63/1767.16 c 1512s | 22 | 5159027 | 1771422 | 19657 193 | 17 | 28 1768.73/1769.20 c 1514s | 22 | 5165254 | 1773722 | 19657 193 | 17 | 28 1770.73/1771.22 c 1517s | 22 | 5170669 | 1776222 | 19657 194 | 17 | 28 1772.74/1773.28 c 1519s | 22 | 5179860 | 1779022 | 19657 194 | 17 | 28 1774.73/1775.29 c 1521s | 22 | 5186558 | 1781622 | 19657 194 | 17 | 28 1776.83/1777.36 c 1523s | 22 | 5192035 | 1783922 | 19657 194 | 17 | 28 1778.83/1779.37 c 1525s | 22 | 5197764 | 1785822 | 19657 195 | 17 | 28 1780.93/1781.41 c 1527s | 22 | 5204232 | 1788022 | 19657 195 | 17 | 28 1783.03/1783.51 c 1529s | 22 | 5209875 | 1790022 | 19657 195 | 17 | 28 1785.03/1785.54 c 1531s | 22 | 5214918 | 1792022 | 19657 195 | 17 | 28 1787.04/1787.58 c 1533s | 22 | 5221236 | 1794122 | 19657 195 | 17 | 28 1789.13/1789.63 c 1535s | 22 | 5225265 | 1795922 | 21623 195 | 17 | 28 1791.13/1791.66 c 1537s | 22 | 5232251 | 1798122 | 21623 196 | 17 | 28 1793.13/1793.69 c 1539s | 22 | 5239735 | 1800722 | 21623 196 | 17 | 28 1795.33/1795.82 c 1541s | 22 | 5245370 | 1802922 | 21623 196 | 17 | 28 1797.33/1797.85 c 1543s | 22 | 5251652 | 1805022 | 21623 196 | 17 | 28 1799.43/1799.90 c 1545s | 22 | 5257036 | 1806822 | 21623 196 | 17 | 28
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-4079471-1465223127/watcher-4079471-1465223127 -o /tmp/evaluation-result-4079471-1465223127/solver-4079471-1465223127 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1238 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079471-1465223127.opb pid=1877 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.29 2.12 2.03 3/179 1880 /proc/meminfo: memFree=30719944/32872528 swapFree=10676/249824 [pid=1880] ppid=1877 vsize=740932 CPUtime=0 cores=0,2,4,6 /proc/1880/stat : 1880 (toysat) R 1877 1880 1222 0 -1 4202496 2768 0 0 0 0 0 0 0 20 0 4 0 104248199 758714368 2618 33554432000 4194304 16246674 140737399224688 140737399224112 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1880/statm: 185745 2628 442 2943 0 182639 0 [pid=1880/tid=1881] ppid=1877 vsize=758340 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1881/stat : 1881 (toysat) S 1877 1880 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104248199 776540160 2688 33554432000 4194304 16246674 140737399224688 140531297398000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1880/tid=1882] ppid=1877 vsize=762436 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1882/stat : 1882 (toysat) S 1877 1880 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104248199 780734464 2704 33554432000 4194304 16246674 140737399224688 140531286908144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1880/tid=1883] ppid=1877 vsize=767556 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1883/stat : 1883 (toysat) S 1877 1880 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104248199 785977344 2722 33554432000 4194304 16246674 140737399224688 140531276434608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.10017 s] /proc/loadavg: 2.29 2.12 2.03 3/179 1880 /proc/meminfo: memFree=30719944/32872528 swapFree=10676/249824 [pid=1880] ppid=1877 vsize=1221188 CPUtime=0.09 cores=0,2,4,6 /proc/1880/stat : 1880 (toysat) R 1877 1880 1222 0 -1 4202496 22699 0 0 0 6 3 0 0 20 0 4 0 104248199 1250496512 22487 33554432000 4194304 16246674 140737399224688 140737399224000 6756128 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1880/statm: 305297 22495 838 2943 0 302191 0 [pid=1880/tid=1881] ppid=1877 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1881/stat : 1881 (toysat) S 1877 1880 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104248199 1250496512 22500 33554432000 4194304 16246674 140737399224688 140531297398000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1880/tid=1882] ppid=1877 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1882/stat : 1882 (toysat) S 1877 1880 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104248199 1250496512 22505 33554432000 4194304 16246674 140737399224688 140531286908144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1880/tid=1883] ppid=1877 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1883/stat : 1883 (toysat) S 1877 1880 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104248199 1250496512 22511 33554432000 4194304 16246674 140737399224688 140531276434608 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) 1221188 [startup+0.200506 s] /proc/loadavg: 2.29 2.12 2.03 3/179 1880 /proc/meminfo: memFree=30719944/32872528 swapFree=10676/249824 [pid=1880] ppid=1877 vsize=1221188 CPUtime=0.19 cores=0,2,4,6 /proc/1880/stat : 1880 (toysat) R 1877 1880 1222 0 -1 4202496 41296 0 0 0 14 5 0 0 20 0 4 0 104248199 1250496512 41083 33554432000 4194304 16246674 140737399224688 140737399224000 5667979 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1880/statm: 305297 41090 884 2943 0 302191 0 [pid=1880/tid=1881] ppid=1877 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1881/stat : 1881 (toysat) S 1877 1880 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104248199 1250496512 41097 33554432000 4194304 16246674 140737399224688 140531297398000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1880/tid=1882] ppid=1877 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1882/stat : 1882 (toysat) S 1877 1880 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104248199 1250496512 41103 33554432000 4194304 16246674 140737399224688 140531286908144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1880/tid=1883] ppid=1877 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1883/stat : 1883 (toysat) S 1877 1880 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104248199 1250496512 41107 33554432000 4194304 16246674 140737399224688 140531276434608 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) 1221188 [startup+0.300474 s] /proc/loadavg: 2.29 2.12 2.03 3/179 1880 /proc/meminfo: memFree=30719944/32872528 swapFree=10676/249824 [pid=1880] ppid=1877 vsize=1221188 CPUtime=0.29 cores=0,2,4,6 /proc/1880/stat : 1880 (toysat) R 1877 1880 1222 0 -1 4202496 58190 0 0 0 22 7 0 0 20 0 4 0 104248199 1250496512 57977 33554432000 4194304 16246674 140737399224688 140737399224000 4221712 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1880/statm: 305297 57977 903 2943 0 302191 0 [pid=1880/tid=1881] ppid=1877 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1881/stat : 1881 (toysat) S 1877 1880 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104248199 1250496512 57977 33554432000 4194304 16246674 140737399224688 140531297398000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1880/tid=1882] ppid=1877 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1882/stat : 1882 (toysat) S 1877 1880 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104248199 1250496512 57977 33554432000 4194304 16246674 140737399224688 140531286908144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1880/tid=1883] ppid=1877 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1883/stat : 1883 (toysat) S 1877 1880 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104248199 1250496512 57977 33554432000 4194304 16246674 140737399224688 140531276434608 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) 1221188 [startup+0.700401 s] /proc/loadavg: 2.29 2.12 2.03 3/179 1880 /proc/meminfo: memFree=30719944/32872528 swapFree=10676/249824 [pid=1880] ppid=1877 vsize=1301060 CPUtime=0.69 cores=0,2,4,6 /proc/1880/stat : 1880 (toysat) R 1877 1880 1222 0 -1 4202496 89018 0 0 0 58 11 0 0 20 0 4 0 104248199 1332285440 88805 33554432000 4194304 16246674 140737399224688 140737399224000 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1880/statm: 325265 88811 906 2943 0 322159 0 [pid=1880/tid=1881] ppid=1877 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1881/stat : 1881 (toysat) S 1877 1880 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104248199 1332285440 88816 33554432000 4194304 16246674 140737399224688 140531297398000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1880/tid=1882] ppid=1877 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1882/stat : 1882 (toysat) S 1877 1880 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104248199 1332285440 88820 33554432000 4194304 16246674 140737399224688 140531286908144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1880/tid=1883] ppid=1877 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1883/stat : 1883 (toysat) S 1877 1880 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104248199 1332285440 88825 33554432000 4194304 16246674 140737399224688 140531276434608 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) 1301060 [startup+1.50039 s] /proc/loadavg: 2.29 2.12 2.03 3/183 1884 /proc/meminfo: memFree=30125048/32872528 swapFree=10676/249824 [pid=1880] ppid=1877 vsize=1301060 CPUtime=1.49 cores=0,2,4,6 /proc/1880/stat : 1880 (toysat) R 1877 1880 1222 0 -1 4202496 207438 0 0 0 123 26 0 0 20 0 4 0 104248199 1332285440 207226 33554432000 4194304 16246674 140737399224688 140737399206592 5661217 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1880/statm: 325265 207229 906 2943 0 322159 0 [pid=1880/tid=1881] ppid=1877 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1881/stat : 1881 (toysat) S 1877 1880 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104248199 1332285440 207231 33554432000 4194304 16246674 140737399224688 140531297398000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1880/tid=1882] ppid=1877 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1882/stat : 1882 (toysat) S 1877 1880 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104248199 1332285440 207233 33554432000 4194304 16246674 140737399224688 140531286908144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1880/tid=1883] ppid=1877 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1883/stat : 1883 (toysat) S 1877 1880 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104248199 1332285440 207235 33554432000 4194304 16246674 140737399224688 140531276434608 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) 1301060 [startup+3.1004 s] /proc/loadavg: 2.27 2.12 2.03 3/183 1884 /proc/meminfo: memFree=29649500/32872528 swapFree=10676/249824 [pid=1880] ppid=1877 vsize=1308228 CPUtime=3.09 cores=0,2,4,6 /proc/1880/stat : 1880 (toysat) R 1877 1880 1222 0 -1 4202496 268037 0 0 0 274 35 0 0 20 0 4 0 104248199 1339625472 267824 33554432000 4194304 16246674 140737399224688 140737399206592 5754983 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1880/statm: 327057 267824 910 2943 0 323951 0 [pid=1880/tid=1881] ppid=1877 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1881/stat : 1881 (toysat) S 1877 1880 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104248199 1339625472 267824 33554432000 4194304 16246674 140737399224688 140531297398000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1880/tid=1882] ppid=1877 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1882/stat : 1882 (toysat) S 1877 1880 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104248199 1339625472 267824 33554432000 4194304 16246674 140737399224688 140531286908144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1880/tid=1883] ppid=1877 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1883/stat : 1883 (toysat) S 1877 1880 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104248199 1339625472 267824 33554432000 4194304 16246674 140737399224688 140531276434608 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) 1308228 [startup+6.30041 s] /proc/loadavg: 2.27 2.12 2.03 3/183 1884 /proc/meminfo: memFree=29648444/32872528 swapFree=10676/249824 [pid=1880] ppid=1877 vsize=1308228 CPUtime=6.29 cores=0,2,4,6 /proc/1880/stat : 1880 (toysat) R 1877 1880 1222 0 -1 4202496 268270 0 0 0 594 35 0 0 20 0 4 0 104248199 1339625472 268057 33554432000 4194304 16246674 140737399224688 140737399206592 12477857 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1880/statm: 327057 268057 914 2943 0 323951 0 [pid=1880/tid=1881] ppid=1877 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1881/stat : 1881 (toysat) S 1877 1880 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104248199 1339625472 268057 33554432000 4194304 16246674 140737399224688 140531297398000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1880/tid=1882] ppid=1877 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1882/stat : 1882 (toysat) S 1877 1880 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104248199 1339625472 268057 33554432000 4194304 16246674 140737399224688 140531286908144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1880/tid=1883] ppid=1877 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1883/stat : 1883 (toysat) S 1877 1880 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104248199 1339625472 268057 33554432000 4194304 16246674 140737399224688 140531276434608 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) 1308228 [startup+12.7004 s] /proc/loadavg: 2.22 2.11 2.03 3/183 1884 /proc/meminfo: memFree=29644496/32872528 swapFree=10676/249824 [pid=1880] ppid=1877 vsize=1312324 CPUtime=12.69 cores=0,2,4,6 /proc/1880/stat : 1880 (toysat) R 1877 1880 1222 0 -1 4202496 269295 0 0 0 1234 35 0 0 20 0 4 0 104248199 1343819776 269082 33554432000 4194304 16246674 140737399224688 140737399206592 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1880/statm: 328081 269082 915 2943 0 324975 0 [pid=1880/tid=1881] ppid=1877 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1881/stat : 1881 (toysat) S 1877 1880 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104248199 1343819776 269082 33554432000 4194304 16246674 140737399224688 140531297398000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1880/tid=1882] ppid=1877 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1882/stat : 1882 (toysat) S 1877 1880 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104248199 1343819776 269082 33554432000 4194304 16246674 140737399224688 140531286908144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1880/tid=1883] ppid=1877 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1883/stat : 1883 (toysat) S 1877 1880 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104248199 1343819776 269082 33554432000 4194304 16246674 140737399224688 140531276434608 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) 1312324 [startup+25.5005 s] /proc/loadavg: 2.19 2.11 2.03 3/183 1884 /proc/meminfo: memFree=29640652/32872528 swapFree=10676/249824 [pid=1880] ppid=1877 vsize=1316420 CPUtime=25.49 cores=0,2,4,6 /proc/1880/stat : 1880 (toysat) R 1877 1880 1222 0 -1 4202496 270320 0 0 0 2514 35 0 0 20 0 4 0 104248199 1348014080 270107 33554432000 4194304 16246674 140737399224688 140737399206592 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1880/statm: 329105 270107 915 2943 0 325999 0 [pid=1880/tid=1881] ppid=1877 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1881/stat : 1881 (toysat) S 1877 1880 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104248199 1348014080 270107 33554432000 4194304 16246674 140737399224688 140531297398000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1880/tid=1882] ppid=1877 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1882/stat : 1882 (toysat) S 1877 1880 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104248199 1348014080 270107 33554432000 4194304 16246674 140737399224688 140531286908144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1880/tid=1883] ppid=1877 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1883/stat : 1883 (toysat) S 1877 1880 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104248199 1348014080 270107 33554432000 4194304 16246674 140737399224688 140531276434608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1316420 [startup+51.1005 s] /proc/loadavg: 2.12 2.10 2.03 3/183 1884 /proc/meminfo: memFree=29632688/32872528 swapFree=10676/249824 [pid=1880] ppid=1877 vsize=1324612 CPUtime=51.08 cores=0,2,4,6 /proc/1880/stat : 1880 (toysat) R 1877 1880 1222 0 -1 4202496 272255 0 0 0 5073 35 0 0 20 0 4 0 104248199 1356402688 272042 33554432000 4194304 16246674 140737399224688 140737399206592 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1880/statm: 331153 272042 915 2943 0 328047 0 [pid=1880/tid=1881] ppid=1877 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1881/stat : 1881 (toysat) S 1877 1880 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104248199 1356402688 272042 33554432000 4194304 16246674 140737399224688 140531297398000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1880/tid=1882] ppid=1877 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1882/stat : 1882 (toysat) S 1877 1880 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104248199 1356402688 272042 33554432000 4194304 16246674 140737399224688 140531286908144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1880/tid=1883] ppid=1877 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1883/stat : 1883 (toysat) S 1877 1880 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104248199 1356402688 272042 33554432000 4194304 16246674 140737399224688 140531276434608 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) 1324612 [startup+102.3 s] /proc/loadavg: 2.05 2.08 2.02 3/183 1885 /proc/meminfo: memFree=29624708/32872528 swapFree=10676/249824 [pid=1880] ppid=1877 vsize=1332804 CPUtime=102.28 cores=0,2,4,6 /proc/1880/stat : 1880 (toysat) R 1877 1880 1222 0 -1 4202496 274365 0 0 0 10192 36 0 0 20 0 4 0 104248199 1364791296 274152 33554432000 4194304 16246674 140737399224688 140737399206592 6012041 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1880/statm: 333201 274152 915 2943 0 330095 0 [pid=1880/tid=1881] ppid=1877 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1881/stat : 1881 (toysat) S 1877 1880 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104248199 1364791296 274152 33554432000 4194304 16246674 140737399224688 140531297398000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1880/tid=1882] ppid=1877 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1882/stat : 1882 (toysat) S 1877 1880 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104248199 1364791296 274152 33554432000 4194304 16246674 140737399224688 140531286908144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1880/tid=1883] ppid=1877 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1883/stat : 1883 (toysat) S 1877 1880 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104248199 1364791296 274152 33554432000 4194304 16246674 140737399224688 140531276434608 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) 1332804 ################ # More data... # ################ /proc/1880/task/1883/stat : 1883 (toysat) S 1877 1880 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140531276434608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1357380 [startup+1362.3 s] /proc/loadavg: 2.27 2.14 2.04 3/183 1916 /proc/meminfo: memFree=29593408/32872528 swapFree=10676/249824 [pid=1880] ppid=1877 vsize=1357380 CPUtime=1361.9 cores=0,2,4,6 /proc/1880/stat : 1880 (toysat) R 1877 1880 1222 0 -1 4202496 280928 0 0 0 136143 47 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140737399206592 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1880/statm: 339345 280604 915 2943 0 336239 0 [pid=1880/tid=1881] ppid=1877 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1881/stat : 1881 (toysat) S 1877 1880 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140531297398000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1880/tid=1882] ppid=1877 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1882/stat : 1882 (toysat) S 1877 1880 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140531286908144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1880/tid=1883] ppid=1877 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1883/stat : 1883 (toysat) S 1877 1880 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140531276434608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1357380 [startup+1422.3 s] /proc/loadavg: 2.31 2.17 2.06 3/183 1918 /proc/meminfo: memFree=29593800/32872528 swapFree=10676/249824 [pid=1880] ppid=1877 vsize=1357380 CPUtime=1421.89 cores=0,2,4,6 /proc/1880/stat : 1880 (toysat) R 1877 1880 1222 0 -1 4202496 280938 0 0 0 142141 48 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140737399207688 5600076 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1880/statm: 339345 280604 915 2943 0 336239 0 [pid=1880/tid=1881] ppid=1877 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1881/stat : 1881 (toysat) S 1877 1880 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140531297398000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1880/tid=1882] ppid=1877 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1882/stat : 1882 (toysat) S 1877 1880 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140531286908144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1880/tid=1883] ppid=1877 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1883/stat : 1883 (toysat) S 1877 1880 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140531276434608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 1357380 [startup+1482.3 s] /proc/loadavg: 2.17 2.16 2.06 3/184 1922 /proc/meminfo: memFree=29593176/32872528 swapFree=10676/249824 [pid=1880] ppid=1877 vsize=1357380 CPUtime=1481.88 cores=0,2,4,6 /proc/1880/stat : 1880 (toysat) R 1877 1880 1222 0 -1 4202496 280938 0 0 0 148140 48 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140737399206592 12483204 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1880/statm: 339345 280604 915 2943 0 336239 0 [pid=1880/tid=1881] ppid=1877 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1881/stat : 1881 (toysat) S 1877 1880 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140531297398000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1880/tid=1882] ppid=1877 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1882/stat : 1882 (toysat) S 1877 1880 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140531286908144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1880/tid=1883] ppid=1877 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1883/stat : 1883 (toysat) S 1877 1880 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140531276434608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1357380 [startup+1542.31 s] /proc/loadavg: 2.15 2.15 2.06 3/183 1923 /proc/meminfo: memFree=29593504/32872528 swapFree=10676/249824 [pid=1880] ppid=1877 vsize=1357380 CPUtime=1541.88 cores=0,2,4,6 /proc/1880/stat : 1880 (toysat) R 1877 1880 1222 0 -1 4202496 280938 0 0 0 154139 49 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140737399206592 5827632 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1880/statm: 339345 280604 915 2943 0 336239 0 [pid=1880/tid=1881] ppid=1877 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1881/stat : 1881 (toysat) S 1877 1880 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140531297398000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1880/tid=1882] ppid=1877 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1882/stat : 1882 (toysat) S 1877 1880 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140531286908144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1880/tid=1883] ppid=1877 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1883/stat : 1883 (toysat) S 1877 1880 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140531276434608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1357380 [startup+1602.3 s] /proc/loadavg: 2.10 2.14 2.06 3/183 1924 /proc/meminfo: memFree=29593676/32872528 swapFree=10676/249824 [pid=1880] ppid=1877 vsize=1357380 CPUtime=1601.86 cores=0,2,4,6 /proc/1880/stat : 1880 (toysat) R 1877 1880 1222 0 -1 4202496 280938 0 0 0 160137 49 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140737399223864 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1880/statm: 339345 280604 915 2943 0 336239 0 [pid=1880/tid=1881] ppid=1877 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1881/stat : 1881 (toysat) S 1877 1880 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140531297398000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1880/tid=1882] ppid=1877 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1882/stat : 1882 (toysat) S 1877 1880 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140531286908144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1880/tid=1883] ppid=1877 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1883/stat : 1883 (toysat) S 1877 1880 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140531276434608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1357380 [startup+1662.3 s] /proc/loadavg: 2.03 2.11 2.05 4/183 1925 /proc/meminfo: memFree=29593676/32872528 swapFree=10676/249824 [pid=1880] ppid=1877 vsize=1357380 CPUtime=1661.85 cores=0,2,4,6 /proc/1880/stat : 1880 (toysat) R 1877 1880 1222 0 -1 4202496 280938 0 0 0 166135 50 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140737399206592 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1880/statm: 339345 280604 915 2943 0 336239 0 [pid=1880/tid=1881] ppid=1877 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1881/stat : 1881 (toysat) S 1877 1880 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140531297398000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1880/tid=1882] ppid=1877 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1882/stat : 1882 (toysat) S 1877 1880 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140531286908144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1880/tid=1883] ppid=1877 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1883/stat : 1883 (toysat) S 1877 1880 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140531276434608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1357380 [startup+1722.3 s] /proc/loadavg: 2.05 2.10 2.05 3/183 1927 /proc/meminfo: memFree=29592176/32872528 swapFree=10676/249824 [pid=1880] ppid=1877 vsize=1357380 CPUtime=1721.84 cores=0,2,4,6 /proc/1880/stat : 1880 (toysat) R 1877 1880 1222 0 -1 4202496 280938 0 0 0 172134 50 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140737399206592 5711688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1880/statm: 339345 280604 915 2943 0 336239 0 [pid=1880/tid=1881] ppid=1877 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1881/stat : 1881 (toysat) S 1877 1880 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140531297398000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1880/tid=1882] ppid=1877 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1882/stat : 1882 (toysat) S 1877 1880 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140531286908144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1880/tid=1883] ppid=1877 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1883/stat : 1883 (toysat) S 1877 1880 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140531276434608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1357380 [startup+1782.3 s] /proc/loadavg: 2.13 2.11 2.06 3/183 1977 /proc/meminfo: memFree=29592744/32872528 swapFree=10676/249824 [pid=1880] ppid=1877 vsize=1357380 CPUtime=1781.83 cores=0,2,4,6 /proc/1880/stat : 1880 (toysat) R 1877 1880 1222 0 -1 4202496 280938 0 0 0 178132 51 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140737399206592 5522913 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1880/statm: 339345 280604 915 2943 0 336239 0 [pid=1880/tid=1881] ppid=1877 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1881/stat : 1881 (toysat) S 1877 1880 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140531297398000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1880/tid=1882] ppid=1877 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1882/stat : 1882 (toysat) S 1877 1880 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140531286908144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1880/tid=1883] ppid=1877 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1883/stat : 1883 (toysat) S 1877 1880 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140531276434608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1357380 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.18 2.12 2.06 3/183 1977 /proc/meminfo: memFree=29592624/32872528 swapFree=10676/249824 [pid=1880] ppid=1877 vsize=1357380 CPUtime=1800.03 cores=0,2,4,6 /proc/1880/stat : 1880 (toysat) R 1877 1880 1222 0 -1 4202496 280938 0 0 0 179952 51 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140737399206592 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1880/statm: 339345 280604 915 2943 0 336239 0 [pid=1880/tid=1881] ppid=1877 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1881/stat : 1881 (toysat) S 1877 1880 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140531297398000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1880/tid=1882] ppid=1877 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1882/stat : 1882 (toysat) S 1877 1880 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140531286908144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1880/tid=1883] ppid=1877 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1883/stat : 1883 (toysat) S 1877 1880 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140531276434608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1357380 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 1880 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.18 2.12 2.06 3/183 1977 /proc/meminfo: memFree=29592624/32872528 swapFree=10676/249824 [pid=1880] ppid=1877 vsize=1357380 CPUtime=1800.03 cores=0,2,4,6 /proc/1880/stat : 1880 (toysat) R 1877 1880 1222 0 -1 4202496 280938 0 0 0 179952 51 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140737399206592 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1880/statm: 339345 280604 915 2943 0 336239 0 [pid=1880/tid=1881] ppid=1877 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1881/stat : 1881 (toysat) S 1877 1880 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140531297398000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1880/tid=1882] ppid=1877 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1882/stat : 1882 (toysat) S 1877 1880 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140531286908144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1880/tid=1883] ppid=1877 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/1880/task/1883/stat : 1883 (toysat) S 1877 1880 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104248199 1389957120 280604 33554432000 4194304 16246674 140737399224688 140531276434608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1357380 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.05 CPU user time (s): 1799.53 CPU system time (s): 0.514921 CPU usage (%): 99.9741 Max. virtual memory (cumulated for all children) (KiB): 1357380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.53 system time used= 0.514921 maximum resident set size= 1122416 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 280938 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= 396 involuntary context switches= 1936 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.43832 second user time and 7.09492 second system time The end
Begin job on node103 at 2016-06-06 16:25:27 IDJOB=4079471 IDBENCH=1850 IDSOLVER=2542 FILE ID=node103/4079471-1465223127 RUNJOBID= node103-1465221288-1238 PBS_JOBID= 19843228 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079471-1465223127/watcher-4079471-1465223127 -o /tmp/evaluation-result-4079471-1465223127/solver-4079471-1465223127 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1238 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079471-1465223127.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 374deb5d477559ba9c51d0ad1d758624 RANDOM SEED=2024115664 node103.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.760 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 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.760 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.760 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.760 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.760 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.760 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.760 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.760 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: 30720324 kB Buffers: 13168 kB Cached: 113984 kB SwapCached: 1692 kB Active: 1167124 kB Inactive: 33056 kB Active(anon): 1074144 kB Inactive(anon): 1124 kB Active(file): 92980 kB Inactive(file): 31932 kB Unevictable: 249824 kB Mlocked: 10676 kB SwapTotal: 67108856 kB SwapFree: 67096632 kB Dirty: 16916 kB Writeback: 0 kB AnonPages: 1321988 kB Mapped: 10480 kB Shmem: 0 kB Slab: 568312 kB SReclaimable: 12104 kB SUnreclaim: 556208 kB KernelStack: 1504 kB PageTables: 6652 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1466868 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 241664 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71704 MiB End job on node103 at 2016-06-06 16:55:28