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.08 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_009_area_delay.opb |
| MD5SUM | 2aa6eb5ee09e1484657dfe3626167241 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 24 |
| Best CPU time to get the best result obtained on this benchmark | 0.079987 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 24 |
| Optimality of the best value was proved | YES |
| Number of variables | 6148 |
| Total number of constraints | 19000 |
| Number of constraints which are clauses | 19000 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 2987 |
| 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 | 2987 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 2987 |
| Number of bits of the biggest sum of numbers | 12 |
| 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-06T23:52:10+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-4079836-1465249930.opb"] 0.00/0.01 c use --random-gen="665883710 2724603706 4233996488 425593147 4267235425 3380054082 2517383896 3243487414 186412234 743994015 2745984100 4209627570 2428923449 637695232 3772668401 3954594886 2421560176 1285684207 1141218408 4070115582 1833451305 765485587 3782498053 1467702611 2643494050 1296492914 3433373629 645267295 169395366 4022210623 510190043 659130480 856960018 3230378476 3918547710 3151052999 3446494502 968520368 3282776787 117343135 1074891348 1237205048 3600637761 777466783 2403282836 1874741420 1363367714 1471942995 4226941656 1014731510 1269558755 3419659233 1569809026 1265025746 1133883798 2965967840 3943853821 2334266988 2367905632 2667544151 137481364 2508115944 2166111255 3702325419 3604478920 1723869769 2432162749 723001503 2781956062 3739357030 297852755 3690881479 2560076185 3438761226 567254380 2938916888 1781905689 326380395 1903539645 2119955167 3045778301 3495560642 3540395636 3817379957 762090463 836371890 1988829065 3837497801 3284174886 1520137067 2008365281 3570902259 4273179038 408143238 2384121111 4142160478 2202302845 2648079633 562854154 562657482 3654420321 1979013484 3400610571 3040510310 1073629590 4140455564 1088342575 1811377151 3009237886 4047534141 195600092 2080278142 3077036955 4177246971 1753068321 3621783405 695257011 2884634937 3426970658 3405358735 2334131785 3752897173 3404078505 3204498980 1363325610 1132170045 4252296404 1058911896 489452700 1651698357 3160953664 2900199189 689795174 3607858626 2178184838 1784571387 198791581 3019018020 1525597292 2143749214 3664738222 797847448 1068114134 3084230950 1499675425 2377752826 632108670 432485792 1417410431 891436717 350952984 4279357278 1753216424 163699401 3628690404 2055901811 246493265 1947229736 905605920 3973870049 438579796 3186386865 1320891780 1570388777 966429733 3002886460 2004750815 1528111165 2078831552 2239537444 2755400860 2017866243 1592680779 733746652 1562869726 814419393 324858338 312976332 477431323 2261657239 3720941921 3792221797 2040359929 803114471 1381422600 1148582699 280103079 409306739 2416955832 154518901 1652206227 2228562238 817450412 3118212230 37109202 1165715326 497666744 1911927808 2686211398 3416393160 283569367 1949015865 3778418389 2625247815 1979642154 2068152803 144661354 3232271010 4258373280 3935222524 1981047277 2576851022 349182398 3236538077 2555064923 1236276285 668683758 2688534642 3236672091 2020871851 1400278176 2492449296 1677860970 800759224 840770598 4042082173 3267865951 3394960576 52504701 2000555838 3119460415 421810622 3180600846 2578661976 1998426151 2917263152 2297559291 1702337714 352779171 2909947224 1727679399 1799344690 1388214568 4080317328 1313169000 3322706290 802768267 72268528 3183485031 724979968 2400352523 3365684255 173893189 2505179593 213385347 3400584731 255 362436" option to reproduce the execution 0.09/0.14 c #vars 6148 0.09/0.14 c #constraints 19000 0.29/0.38 c BCD2: Hardening is enabled. 0.29/0.38 c BCD2: BiasedSearch is enabled. 0.29/0.38 c Solving starts ... 0.29/0.38 c ============================[ Search Statistics ]============================ 0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.38 c | | | | Limit GC | Var | Constra 0.29/0.38 c ============================================================================= 0.29/0.38 c 0.0s | 0 | 0 | 0 | 8220 0 | 974 | 0 0.39/0.42 c 0.0s | 0 | 1484 | 0 | 8220 0 | 974 | 2297 0.39/0.42 c #cpu_time = 0.042s 0.39/0.42 c #wall_clock_time = 0.042s 0.39/0.42 c #decision = 1484 0.39/0.42 c #random_decision = 1 0.39/0.42 c #conflict = 0 0.39/0.42 c #restart = 0 0.39/0.42 o 1484 0.39/0.46 c BCD2: updating upper bound: 2987 -> 1483 0.39/0.48 c BCD2: 0 <= obj <= 1483 0.39/0.48 c BCD2: #cores=0, #unrelaxed=2987, #relaxed=0, #hardened=0 0.39/0.48 c BCD2: #sat=1 #unsat=1 bias=1/2 0.39/0.48 c Solving starts ... 0.39/0.48 c ============================[ Search Statistics ]============================ 0.39/0.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.48 c | | | | Limit GC | Var | Constra 0.39/0.48 c ============================================================================= 0.39/0.48 c 0.0s | 0 | 0 | 0 | 8220 0 | 974 | 2297 0.39/0.49 c 0.0s | 0 | 1 | 0 | 8220 0 | 974 | 2297 0.39/0.49 c #cpu_time = 0.008s 0.39/0.49 c #wall_clock_time = 0.008s 0.39/0.49 c #decision = 1 0.39/0.49 c #random_decision = 0 0.39/0.49 c #conflict = 0 0.39/0.49 c #restart = 0 0.39/0.49 c BCD2: found a new core of size 2: cost of the new core is >=1 0.39/0.49 c lower bound updated to 1 0.39/0.49 c BCD2: 1 <= obj <= 1483 0.39/0.49 c BCD2: #cores=1, #unrelaxed=2985, #relaxed=2, #hardened=0 0.39/0.49 c BCD2: #sat=1 #unsat=2 bias=2/3 0.39/0.49 c Solving starts ... 0.39/0.49 c ============================[ Search Statistics ]============================ 0.39/0.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.49 c | | | | Limit GC | Var | Constra 0.39/0.49 c ============================================================================= 0.39/0.49 c 0.0s | 0 | 0 | 0 | 8220 0 | 974 | 2297 0.49/0.50 c 0.0s | 0 | 2 | 0 | 8220 0 | 974 | 2297 0.49/0.50 c #cpu_time = 0.007s 0.49/0.50 c #wall_clock_time = 0.007s 0.49/0.50 c #decision = 2 0.49/0.50 c #random_decision = 0 0.49/0.50 c #conflict = 0 0.49/0.50 c #restart = 0 0.49/0.50 c BCD2: found a new core of size 2: cost of the new core is >=1 0.49/0.50 c lower bound updated to 2 0.49/0.52 c BCD2: 2 <= obj <= 1483 0.49/0.52 c BCD2: #cores=2, #unrelaxed=2983, #relaxed=4, #hardened=0 0.49/0.52 c BCD2: #sat=1 #unsat=3 bias=3/4 0.49/0.52 c Solving starts ... 0.49/0.52 c ============================[ Search Statistics ]============================ 0.49/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.52 c | | | | Limit GC | Var | Constra 0.49/0.52 c ============================================================================= 0.49/0.52 c 0.0s | 0 | 0 | 0 | 8220 0 | 974 | 2297 0.49/0.53 c 0.0s | 0 | 101 | 1 | 8220 0 | 974 | 2297 0.49/0.53 c #cpu_time = 0.010s 0.49/0.53 c #wall_clock_time = 0.010s 0.49/0.53 c #decision = 101 0.49/0.53 c #random_decision = 0 0.49/0.53 c #conflict = 1 0.49/0.53 c #restart = 0 0.49/0.53 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 5: cost of the new core is >=2 0.49/0.53 c lower bound updated to 3 0.49/0.53 c BCD2: 3 <= obj <= 1483 0.49/0.53 c BCD2: #cores=2, #unrelaxed=2980, #relaxed=7, #hardened=0 0.49/0.53 c BCD2: #sat=1 #unsat=4 bias=4/5 0.49/0.53 c Solving starts ... 0.49/0.53 c ============================[ Search Statistics ]============================ 0.49/0.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.53 c | | | | Limit GC | Var | Constra 0.49/0.53 c ============================================================================= 0.49/0.53 c 0.0s | 0 | 0 | 0 | 8220 0 | 975 | 2297 0.49/0.54 c 0.0s | 0 | 58 | 0 | 8220 0 | 975 | 2298 0.49/0.54 c #cpu_time = 0.008s 0.49/0.54 c #wall_clock_time = 0.008s 0.49/0.54 c #decision = 58 0.49/0.54 c #random_decision = 0 0.49/0.54 c #conflict = 0 0.49/0.54 c #restart = 0 0.49/0.54 c BCD2: found a new core of size 3: cost of the new core is >=1 0.49/0.54 c lower bound updated to 4 0.49/0.54 c BCD2: 4 <= obj <= 1483 0.49/0.54 c BCD2: #cores=3, #unrelaxed=2977, #relaxed=10, #hardened=0 0.49/0.54 c BCD2: #sat=1 #unsat=5 bias=5/6 0.49/0.54 c Solving starts ... 0.49/0.54 c ============================[ Search Statistics ]============================ 0.49/0.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.54 c | | | | Limit GC | Var | Constra 0.49/0.54 c ============================================================================= 0.49/0.55 c 0.0s | 0 | 0 | 0 | 8220 0 | 975 | 2298 0.49/0.55 c 0.0s | 0 | 59 | 0 | 8220 0 | 975 | 2298 0.49/0.55 c #cpu_time = 0.007s 0.49/0.55 c #wall_clock_time = 0.007s 0.49/0.55 c #decision = 59 0.49/0.55 c #random_decision = 0 0.49/0.55 c #conflict = 0 0.49/0.55 c #restart = 0 0.49/0.55 c BCD2: found a new core of size 3: cost of the new core is >=1 0.49/0.55 c lower bound updated to 5 0.49/0.55 c BCD2: 5 <= obj <= 1483 0.49/0.55 c BCD2: #cores=4, #unrelaxed=2974, #relaxed=13, #hardened=0 0.49/0.55 c BCD2: #sat=1 #unsat=6 bias=6/7 0.49/0.55 c Solving starts ... 0.49/0.55 c ============================[ Search Statistics ]============================ 0.49/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.55 c | | | | Limit GC | Var | Constra 0.49/0.55 c ============================================================================= 0.49/0.55 c 0.0s | 0 | 0 | 0 | 8220 0 | 975 | 2298 0.49/0.56 c 0.0s | 0 | 64 | 0 | 8220 0 | 975 | 2298 0.49/0.56 c #cpu_time = 0.008s 0.49/0.56 c #wall_clock_time = 0.008s 0.49/0.56 c #decision = 64 0.49/0.56 c #random_decision = 0 0.49/0.56 c #conflict = 0 0.49/0.56 c #restart = 0 0.49/0.56 c BCD2: found a new core of size 9: cost of the new core is >=1 0.49/0.56 c lower bound updated to 6 0.49/0.56 c BCD2: 6 <= obj <= 1483 0.49/0.56 c BCD2: #cores=5, #unrelaxed=2965, #relaxed=22, #hardened=0 0.49/0.56 c BCD2: #sat=1 #unsat=7 bias=7/8 0.49/0.56 c Solving starts ... 0.49/0.56 c ============================[ Search Statistics ]============================ 0.49/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.56 c | | | | Limit GC | Var | Constra 0.49/0.56 c ============================================================================= 0.49/0.56 c 0.0s | 0 | 0 | 0 | 8220 0 | 975 | 2298 0.49/0.57 c 0.0s | 0 | 105 | 0 | 8220 0 | 975 | 2298 0.49/0.57 c #cpu_time = 0.008s 0.49/0.57 c #wall_clock_time = 0.008s 0.49/0.57 c #decision = 105 0.49/0.57 c #random_decision = 0 0.49/0.57 c #conflict = 0 0.49/0.57 c #restart = 0 0.49/0.57 c BCD2: found a new core of size 12: cost of the new core is >=1 0.49/0.57 c lower bound updated to 7 0.49/0.57 c BCD2: 7 <= obj <= 1483 0.49/0.57 c BCD2: #cores=6, #unrelaxed=2953, #relaxed=34, #hardened=0 0.49/0.57 c BCD2: #sat=1 #unsat=8 bias=8/9 0.49/0.57 c Solving starts ... 0.49/0.57 c ============================[ Search Statistics ]============================ 0.49/0.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.57 c | | | | Limit GC | Var | Constra 0.49/0.57 c ============================================================================= 0.49/0.57 c 0.0s | 0 | 0 | 0 | 8220 0 | 975 | 2298 0.49/0.58 c 0.0s | 0 | 173 | 0 | 8220 0 | 975 | 2298 0.49/0.58 c #cpu_time = 0.007s 0.49/0.58 c #wall_clock_time = 0.008s 0.49/0.58 c #decision = 173 0.49/0.58 c #random_decision = 0 0.49/0.58 c #conflict = 0 0.49/0.58 c #restart = 0 0.49/0.58 c BCD2: found a new core of size 3: cost of the new core is >=1 0.49/0.58 c lower bound updated to 8 0.49/0.58 c BCD2: 8 <= obj <= 1483 0.49/0.58 c BCD2: #cores=7, #unrelaxed=2950, #relaxed=37, #hardened=0 0.49/0.58 c BCD2: #sat=1 #unsat=9 bias=9/10 0.49/0.58 c Solving starts ... 0.49/0.58 c ============================[ Search Statistics ]============================ 0.49/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.58 c | | | | Limit GC | Var | Constra 0.49/0.58 c ============================================================================= 0.49/0.58 c 0.0s | 0 | 0 | 0 | 8220 0 | 975 | 2298 0.49/0.59 c 0.0s | 0 | 249 | 0 | 8220 0 | 975 | 2298 0.49/0.59 c #cpu_time = 0.008s 0.49/0.59 c #wall_clock_time = 0.008s 0.49/0.59 c #decision = 249 0.49/0.59 c #random_decision = 0 0.49/0.59 c #conflict = 0 0.49/0.59 c #restart = 0 0.49/0.59 c BCD2: found a new core of size 14: cost of the new core is >=1 0.49/0.59 c lower bound updated to 9 0.49/0.59 c BCD2: 9 <= obj <= 1483 0.49/0.59 c BCD2: #cores=8, #unrelaxed=2936, #relaxed=51, #hardened=0 0.49/0.59 c BCD2: #sat=1 #unsat=10 bias=10/11 0.49/0.59 c Solving starts ... 0.49/0.59 c ============================[ Search Statistics ]============================ 0.49/0.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.59 c | | | | Limit GC | Var | Constra 0.49/0.59 c ============================================================================= 0.49/0.59 c 0.0s | 0 | 0 | 0 | 8220 0 | 975 | 2298 0.59/0.60 c 0.0s | 0 | 422 | 0 | 8220 0 | 975 | 2298 0.59/0.60 c #cpu_time = 0.008s 0.59/0.60 c #wall_clock_time = 0.009s 0.59/0.60 c #decision = 422 0.59/0.60 c #random_decision = 0 0.59/0.60 c #conflict = 0 0.59/0.60 c #restart = 0 0.59/0.60 c BCD2: found a new core of size 38: cost of the new core is >=1 0.59/0.60 c lower bound updated to 10 0.59/0.61 c BCD2: 10 <= obj <= 1483 0.59/0.61 c BCD2: #cores=9, #unrelaxed=2898, #relaxed=89, #hardened=0 0.59/0.61 c BCD2: #sat=1 #unsat=11 bias=11/12 0.59/0.61 c Solving starts ... 0.59/0.61 c ============================[ Search Statistics ]============================ 0.59/0.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.61 c | | | | Limit GC | Var | Constra 0.59/0.61 c ============================================================================= 0.59/0.61 c 0.0s | 0 | 0 | 0 | 8220 0 | 975 | 2298 0.59/0.61 c 0.0s | 0 | 620 | 0 | 8220 0 | 975 | 2298 0.59/0.61 c #cpu_time = 0.009s 0.59/0.61 c #wall_clock_time = 0.009s 0.59/0.61 c #decision = 620 0.59/0.61 c #random_decision = 0 0.59/0.61 c #conflict = 0 0.59/0.62 c #restart = 0 0.59/0.62 c BCD2: found a new core of size 9: cost of the new core is >=1 0.59/0.62 c lower bound updated to 11 0.59/0.62 c BCD2: 11 <= obj <= 1483 0.59/0.62 c BCD2: #cores=10, #unrelaxed=2889, #relaxed=98, #hardened=0 0.59/0.62 c BCD2: #sat=1 #unsat=12 bias=12/13 0.59/0.62 c Solving starts ... 0.59/0.62 c ============================[ Search Statistics ]============================ 0.59/0.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.62 c | | | | Limit GC | Var | Constra 0.59/0.62 c ============================================================================= 0.59/0.62 c 0.0s | 0 | 0 | 0 | 8220 0 | 975 | 2298 0.59/0.63 c 0.0s | 0 | 727 | 0 | 8220 0 | 975 | 2298 0.59/0.63 c #cpu_time = 0.009s 0.59/0.63 c #wall_clock_time = 0.009s 0.59/0.63 c #decision = 727 0.59/0.63 c #random_decision = 0 0.59/0.63 c #conflict = 0 0.59/0.63 c #restart = 0 0.59/0.63 c BCD2: found a new core of size 3: cost of the new core is >=1 0.59/0.63 c lower bound updated to 12 0.59/0.63 c BCD2: 12 <= obj <= 1483 0.59/0.63 c BCD2: #cores=11, #unrelaxed=2886, #relaxed=101, #hardened=0 0.59/0.63 c BCD2: #sat=1 #unsat=13 bias=13/14 0.59/0.63 c Solving starts ... 0.59/0.63 c ============================[ Search Statistics ]============================ 0.59/0.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.63 c | | | | Limit GC | Var | Constra 0.59/0.63 c ============================================================================= 0.59/0.63 c 0.0s | 0 | 0 | 0 | 8220 0 | 975 | 2298 0.59/0.64 c 0.0s | 0 | 791 | 0 | 8220 0 | 975 | 2298 0.59/0.64 c #cpu_time = 0.009s 0.59/0.64 c #wall_clock_time = 0.009s 0.59/0.64 c #decision = 791 0.59/0.64 c #random_decision = 0 0.59/0.64 c #conflict = 0 0.59/0.64 c #restart = 0 0.59/0.64 c BCD2: found a new core of size 13: cost of the new core is >=1 0.59/0.64 c lower bound updated to 13 0.59/0.64 c BCD2: 13 <= obj <= 1483 0.59/0.64 c BCD2: #cores=12, #unrelaxed=2873, #relaxed=114, #hardened=0 0.59/0.64 c BCD2: #sat=1 #unsat=14 bias=14/15 0.59/0.64 c Solving starts ... 0.59/0.64 c ============================[ Search Statistics ]============================ 0.59/0.64 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.64 c | | | | Limit GC | Var | Constra 0.59/0.64 c ============================================================================= 0.59/0.64 c 0.0s | 0 | 0 | 0 | 8220 0 | 975 | 2298 0.59/0.65 c 0.0s | 0 | 852 | 0 | 8220 0 | 975 | 2298 0.59/0.65 c #cpu_time = 0.009s 0.59/0.65 c #wall_clock_time = 0.009s 0.59/0.65 c #decision = 852 0.59/0.65 c #random_decision = 0 0.59/0.65 c #conflict = 0 0.59/0.65 c #restart = 0 0.59/0.65 c BCD2: found a new core of size 39: cost of the new core is >=1 0.59/0.65 c lower bound updated to 14 0.59/0.65 c BCD2: 14 <= obj <= 1483 0.59/0.65 c BCD2: #cores=13, #unrelaxed=2834, #relaxed=153, #hardened=0 0.59/0.65 c BCD2: #sat=1 #unsat=15 bias=15/16 0.59/0.65 c Solving starts ... 0.59/0.65 c ============================[ Search Statistics ]============================ 0.59/0.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.65 c | | | | Limit GC | Var | Constra 0.59/0.65 c ============================================================================= 0.59/0.65 c 0.0s | 0 | 0 | 0 | 8220 0 | 975 | 2298 0.59/0.66 c 0.0s | 0 | 879 | 0 | 8220 0 | 975 | 2298 0.59/0.66 c #cpu_time = 0.009s 0.59/0.66 c #wall_clock_time = 0.009s 0.59/0.66 c #decision = 879 0.59/0.66 c #random_decision = 0 0.59/0.66 c #conflict = 0 0.59/0.66 c #restart = 0 0.59/0.66 c BCD2: found a new core of size 11: cost of the new core is >=1 0.59/0.66 c lower bound updated to 15 0.59/0.66 c BCD2: 15 <= obj <= 1483 0.59/0.66 c BCD2: #cores=14, #unrelaxed=2823, #relaxed=164, #hardened=0 0.59/0.66 c BCD2: #sat=1 #unsat=16 bias=16/17 0.59/0.66 c Solving starts ... 0.59/0.66 c ============================[ Search Statistics ]============================ 0.59/0.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.66 c | | | | Limit GC | Var | Constra 0.59/0.66 c ============================================================================= 0.59/0.66 c 0.0s | 0 | 0 | 0 | 8220 0 | 975 | 2298 0.59/0.67 c 0.0s | 0 | 1055 | 0 | 8220 0 | 975 | 2298 0.59/0.67 c #cpu_time = 0.009s 0.59/0.67 c #wall_clock_time = 0.009s 0.59/0.67 c #decision = 1055 0.59/0.67 c #random_decision = 0 0.59/0.67 c #conflict = 0 0.59/0.67 c #restart = 0 0.59/0.67 c BCD2: found a new core of size 82: cost of the new core is >=1 0.59/0.67 c lower bound updated to 16 0.59/0.67 c BCD2: 16 <= obj <= 1483 0.59/0.67 c BCD2: #cores=15, #unrelaxed=2741, #relaxed=246, #hardened=0 0.59/0.67 c BCD2: #sat=1 #unsat=17 bias=17/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 | 8220 0 | 975 | 2298 0.59/0.69 c 0.0s | 0 | 1157 | 0 | 8220 0 | 975 | 2298 0.59/0.69 c #cpu_time = 0.010s 0.59/0.69 c #wall_clock_time = 0.010s 0.59/0.69 c #decision = 1157 0.59/0.69 c #random_decision = 0 0.59/0.69 c #conflict = 0 0.59/0.69 c #restart = 0 0.59/0.69 c BCD2: found a new core of size 9: cost of the new core is >=1 0.59/0.69 c lower bound updated to 17 0.59/0.69 c BCD2: 17 <= obj <= 1483 0.59/0.69 c BCD2: #cores=16, #unrelaxed=2732, #relaxed=255, #hardened=0 0.59/0.69 c BCD2: #sat=1 #unsat=18 bias=18/19 0.59/0.69 c Solving starts ... 0.59/0.69 c ============================[ Search Statistics ]============================ 0.59/0.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.69 c | | | | Limit GC | Var | Constra 0.59/0.69 c ============================================================================= 0.59/0.69 c 0.0s | 0 | 0 | 0 | 8220 0 | 975 | 2298 0.69/0.70 c 0.0s | 0 | 1312 | 0 | 8220 0 | 975 | 2298 0.69/0.70 c #cpu_time = 0.010s 0.69/0.70 c #wall_clock_time = 0.010s 0.69/0.70 c #decision = 1312 0.69/0.70 c #random_decision = 0 0.69/0.70 c #conflict = 0 0.69/0.70 c #restart = 0 0.69/0.70 c BCD2: found a new core of size 45: cost of the new core is >=1 0.69/0.70 c lower bound updated to 18 0.69/0.70 c BCD2: 18 <= obj <= 1483 0.69/0.70 c BCD2: #cores=17, #unrelaxed=2687, #relaxed=300, #hardened=0 0.69/0.70 c BCD2: #sat=1 #unsat=19 bias=19/20 0.69/0.70 c Solving starts ... 0.69/0.70 c ============================[ Search Statistics ]============================ 0.69/0.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.70 c | | | | Limit GC | Var | Constra 0.69/0.70 c ============================================================================= 0.69/0.70 c 0.0s | 0 | 0 | 0 | 8220 0 | 975 | 2298 0.69/0.71 c 0.0s | 0 | 1344 | 0 | 8220 0 | 975 | 2298 0.69/0.71 c #cpu_time = 0.009s 0.69/0.71 c #wall_clock_time = 0.009s 0.69/0.71 c #decision = 1344 0.69/0.71 c #random_decision = 0 0.69/0.71 c #conflict = 0 0.69/0.71 c #restart = 0 0.69/0.71 c BCD2: found a new core of size 67: cost of the new core is >=1 0.69/0.71 c lower bound updated to 19 0.69/0.71 c BCD2: 19 <= obj <= 1483 0.69/0.71 c BCD2: #cores=18, #unrelaxed=2620, #relaxed=367, #hardened=0 0.69/0.71 c BCD2: #sat=1 #unsat=20 bias=20/21 0.69/0.71 c Solving starts ... 0.69/0.71 c ============================[ Search Statistics ]============================ 0.69/0.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.71 c | | | | Limit GC | Var | Constra 0.69/0.71 c ============================================================================= 0.69/0.71 c 0.0s | 0 | 0 | 0 | 8220 0 | 975 | 2298 0.69/0.73 c 0.0s | 0 | 1834 | 0 | 8220 0 | 975 | 2298 0.69/0.73 c #cpu_time = 0.011s 0.69/0.73 c #wall_clock_time = 0.011s 0.69/0.73 c #decision = 1834 0.69/0.73 c #random_decision = 0 0.69/0.73 c #conflict = 0 0.69/0.73 c #restart = 0 0.69/0.73 c BCD2: found a new core of size 72: cost of the new core is >=1 0.69/0.73 c lower bound updated to 20 0.69/0.73 c BCD2: 20 <= obj <= 1483 0.69/0.73 c BCD2: #cores=19, #unrelaxed=2548, #relaxed=439, #hardened=0 0.69/0.73 c BCD2: #sat=1 #unsat=21 bias=21/22 0.69/0.73 c Solving starts ... 0.69/0.73 c ============================[ Search Statistics ]============================ 0.69/0.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.73 c | | | | Limit GC | Var | Constra 0.69/0.73 c ============================================================================= 0.69/0.73 c 0.0s | 0 | 0 | 0 | 8220 0 | 975 | 2298 0.69/0.74 c 0.0s | 0 | 2078 | 0 | 8220 0 | 975 | 2298 0.69/0.74 c #cpu_time = 0.012s 0.69/0.74 c #wall_clock_time = 0.012s 0.69/0.74 c #decision = 2078 0.69/0.74 c #random_decision = 0 0.69/0.74 c #conflict = 0 0.69/0.74 c #restart = 0 0.69/0.74 c BCD2: found a new core of size 121: cost of the new core is >=1 0.69/0.74 c lower bound updated to 21 0.69/0.74 c BCD2: 21 <= obj <= 1483 0.69/0.74 c BCD2: #cores=20, #unrelaxed=2427, #relaxed=560, #hardened=0 0.69/0.74 c BCD2: #sat=1 #unsat=22 bias=22/23 0.69/0.74 c Solving starts ... 0.69/0.74 c ============================[ Search Statistics ]============================ 0.69/0.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.74 c | | | | Limit GC | Var | Constra 0.69/0.74 c ============================================================================= 0.69/0.74 c 0.0s | 0 | 0 | 0 | 8220 0 | 975 | 2298 0.69/0.76 c 0.0s | 0 | 2399 | 0 | 8220 0 | 975 | 2298 0.69/0.76 c #cpu_time = 0.014s 0.69/0.76 c #wall_clock_time = 0.014s 0.69/0.76 c #decision = 2399 0.69/0.76 c #random_decision = 0 0.69/0.76 c #conflict = 0 0.69/0.76 c #restart = 0 0.69/0.76 o 34 0.69/0.76 c BCD2: updating upper bound: 1483 -> 33 0.69/0.77 c BCD2: 21 <= obj <= 33 0.69/0.77 c BCD2: #cores=20, #unrelaxed=2427, #relaxed=560, #hardened=0 0.69/0.77 c BCD2: #sat=2 #unsat=22 bias=22/24 0.69/0.77 c Solving starts ... 0.69/0.77 c ============================[ Search Statistics ]============================ 0.69/0.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.77 c | | | | Limit GC | Var | Constra 0.69/0.77 c ============================================================================= 0.69/0.77 c 0.0s | 0 | 0 | 0 | 8220 0 | 975 | 2299 0.79/0.82 c 0.1s | 0 | 7051 | 48 | 8220 0 | 975 | 2299 0.79/0.82 c #cpu_time = 0.049s 0.79/0.82 c #wall_clock_time = 0.049s 0.79/0.82 c #decision = 7051 0.79/0.82 c #random_decision = 0 0.79/0.82 c #conflict = 48 0.79/0.82 c #restart = 0 0.79/0.83 c BCD2: relaxing 122 and merging with 15 cores into a new core of size 544: cost of the new core is >=17 0.79/0.83 c lower bound updated to 22 0.79/0.83 c BCD2: 22 <= obj <= 33 0.79/0.83 c BCD2: #cores=6, #unrelaxed=2305, #relaxed=682, #hardened=0 0.79/0.83 c BCD2: #sat=2 #unsat=23 bias=23/25 0.79/0.83 c Solving starts ... 0.79/0.83 c ============================[ Search Statistics ]============================ 0.79/0.83 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.83 c | | | | Limit GC | Var | Constra 0.79/0.83 c ============================================================================= 0.79/0.83 c 0.0s | 0 | 0 | 0 | 8220 0 | 1011 | 2299 0.79/0.86 c 0.0s | 0 | 2254 | 7 | 8220 0 | 1011 | 2356 0.79/0.86 c #cpu_time = 0.023s 0.79/0.86 c #wall_clock_time = 0.023s 0.79/0.86 c #decision = 2254 0.79/0.86 c #random_decision = 0 0.79/0.86 c #conflict = 7 0.79/0.86 c #restart = 0 0.79/0.86 o 32 0.79/0.86 c BCD2: updating upper bound: 33 -> 31 0.79/0.87 c BCD2: 22 <= obj <= 31 0.79/0.87 c BCD2: #cores=6, #unrelaxed=2305, #relaxed=682, #hardened=0 0.79/0.87 c BCD2: #sat=3 #unsat=23 bias=23/26 0.79/0.87 c Solving starts ... 0.79/0.87 c ============================[ Search Statistics ]============================ 0.79/0.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.87 c | | | | Limit GC | Var | Constra 0.79/0.87 c ============================================================================= 0.79/0.87 c 0.0s | 0 | 0 | 0 | 8220 0 | 1011 | 2357 0.89/0.91 c 0.0s | 0 | 1995 | 14 | 8220 0 | 1011 | 2357 0.89/0.91 c #cpu_time = 0.031s 0.89/0.91 c #wall_clock_time = 0.031s 0.89/0.91 c #decision = 1995 0.89/0.91 c #random_decision = 0 0.89/0.91 c #conflict = 14 0.89/0.91 c #restart = 0 0.89/0.91 o 30 0.89/0.91 c BCD2: updating upper bound: 31 -> 29 0.89/0.92 c BCD2: 22 <= obj <= 29 0.89/0.92 c BCD2: #cores=6, #unrelaxed=2305, #relaxed=682, #hardened=0 0.89/0.92 c BCD2: #sat=4 #unsat=23 bias=23/27 0.89/0.92 c Solving starts ... 0.89/0.92 c ============================[ Search Statistics ]============================ 0.89/0.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.92 c | | | | Limit GC | Var | Constra 0.89/0.92 c ============================================================================= 0.89/0.92 c 0.0s | 0 | 0 | 0 | 8220 0 | 1011 | 2358 0.99/1.03 c 0.1s | 1 | 2368 | 100 | 9042 0 | 1011 | 2358 1.09/1.17 c 0.3s | 2 | 5506 | 250 | 9947 0 | 1011 | 2358 1.29/1.38 c 0.5s | 3 | 8627 | 475 | 10942 0 | 1011 | 2358 1.69/1.79 c 0.9s | 4 | 12811 | 813 | 12037 0 | 1011 | 2358 2.30/2.38 c 1.5s | 5 | 19617 | 1320 | 13241 0 | 1011 | 2358 2.99/3.09 c 2.2s | 6 | 26303 | 2081 | 14566 0 | 1011 | 2358 3.99/4.07 c 3.2s | 7 | 34578 | 3223 | 16023 0 | 1011 | 2358 5.79/5.81 c 4.9s | 8 | 44897 | 4936 | 17626 0 | 1011 | 2358 7.80/7.86 c 6.9s | 8 | 63067 | 7036 | 17626 0 | 1011 | 2358 8.39/8.40 c 7.5s | 9 | 66124 | 7506 | 19389 0 | 1011 | 2358 10.39/10.40 c 9.5s | 9 | 81788 | 9406 | 19389 0 | 1011 | 2358 12.39/12.40 c 11.5s | 10 | 92193 | 11361 | 21328 0 | 1011 | 2358 14.40/14.49 c 13.6s | 10 | 103912 | 13161 | 21328 0 | 1011 | 2358 16.50/16.52 c 15.6s | 10 | 115488 | 15061 | 21328 0 | 1011 | 2358 18.59/18.64 c 17.7s | 10 | 123575 | 16661 | 21328 0 | 1011 | 2358 19.19/19.28 c 18.4s | 11 | 126069 | 17144 | 23461 0 | 1011 | 2358 21.29/21.31 c 20.4s | 11 | 138159 | 18644 | 23461 0 | 1011 | 2358 23.39/23.45 c 22.5s | 11 | 145664 | 20044 | 23461 0 | 1012 | 3028 25.49/25.51 c 24.6s | 11 | 153041 | 21544 | 23461 0 | 1012 | 3028 27.49/27.52 c 26.6s | 11 | 161313 | 23044 | 23461 0 | 1012 | 3028 29.49/29.53 c 28.6s | 11 | 173578 | 24844 | 23461 0 | 1012 | 3028 30.69/30.74 c 29.8s | 12 | 179765 | 25819 | 25808 0 | 1012 | 3028 32.79/32.80 c 31.9s | 12 | 195307 | 27319 | 25808 0 | 1012 | 3028 34.78/34.82 c 33.9s | 12 | 206760 | 28919 | 25808 0 | 1012 | 3028 36.98/37.00 c 36.1s | 12 | 219167 | 30619 | 25808 0 | 1012 | 3028 38.98/39.05 c 38.1s | 12 | 230064 | 32019 | 25808 1 | 1012 | 3028 41.08/41.12 c 40.2s | 12 | 236851 | 33519 | 25808 1 | 1012 | 3028 43.08/43.20 c 42.3s | 12 | 247114 | 35219 | 25808 1 | 1012 | 3028 45.19/45.21 c 44.3s | 12 | 258741 | 36919 | 25808 1 | 1012 | 3028 47.29/47.33 c 46.4s | 12 | 268494 | 38519 | 28389 1 | 1012 | 3028 47.68/47.77 c 46.8s | 13 | 270833 | 38832 | 28389 1 | 1012 | 3028 49.68/49.79 c 48.9s | 13 | 279510 | 40232 | 28389 1 | 1012 | 3028 51.79/51.88 c 51.0s | 13 | 289448 | 41632 | 28389 1 | 1012 | 3028 53.89/53.91 c 53.0s | 13 | 301210 | 43032 | 28389 1 | 1012 | 3028 55.88/55.92 c 55.0s | 13 | 306652 | 44332 | 28389 1 | 1012 | 3028 58.08/58.11 c 57.2s | 13 | 314363 | 45632 | 28389 1 | 1012 | 3028 60.18/60.24 c 59.3s | 13 | 320764 | 46532 | 28389 1 | 1012 | 3028 62.38/62.40 c 61.5s | 13 | 327130 | 47432 | 28389 1 | 1012 | 3028 64.38/64.47 c 63.6s | 13 | 332328 | 48432 | 28389 1 | 1012 | 3028 66.68/66.74 c 65.8s | 13 | 338393 | 49432 | 28389 2 | 1012 | 3028 68.68/68.75 c 67.8s | 13 | 345168 | 50532 | 28389 2 | 1012 | 3028 70.68/70.78 c 69.9s | 13 | 353197 | 51732 | 28389 2 | 1012 | 3028 72.88/72.94 c 72.0s | 13 | 359831 | 52832 | 28389 2 | 1012 | 3028 74.88/74.95 c 74.0s | 13 | 364598 | 53832 | 28389 2 | 1012 | 3028 76.98/77.06 c 76.1s | 13 | 369781 | 54932 | 28389 2 | 1012 | 3028 79.08/79.15 c 78.2s | 13 | 375509 | 56032 | 28389 2 | 1012 | 3028 81.17/81.23 c 80.3s | 13 | 381706 | 57132 | 28389 2 | 1012 | 3028 83.17/83.26 c 82.3s | 13 | 388647 | 58232 | 31228 2 | 1012 | 3028 83.37/83.43 c 82.5s | 14 | 390327 | 58352 | 31228 2 | 1012 | 3028 85.47/85.50 c 84.6s | 14 | 403626 | 59752 | 31228 2 | 1012 | 3028 87.47/87.58 c 86.7s | 14 | 409471 | 60852 | 31228 2 | 1012 | 3028 89.57/89.61 c 88.7s | 14 | 417093 | 61952 | 31228 2 | 1012 | 3028 91.57/91.64 c 90.7s | 14 | 424219 | 63152 | 31228 2 | 1012 | 3028 93.58/93.66 c 92.7s | 14 | 432554 | 64452 | 31228 2 | 1012 | 3028 95.68/95.79 c 94.9s | 14 | 442912 | 65752 | 31228 2 | 1012 | 3028 97.77/97.87 c 97.0s | 14 | 451635 | 67152 | 31228 2 | 1012 | 3028 99.97/100.01 c 99.1s | 14 | 459949 | 68452 | 31228 3 | 1012 | 3028 101.97/102.09 c 101s | 14 | 469669 | 69952 | 31228 3 | 1012 | 3028 104.07/104.16 c 103s | 14 | 479341 | 71452 | 31228 3 | 1012 | 3028 106.07/106.19 c 105s | 14 | 491563 | 73152 | 31228 3 | 1012 | 3028 108.17/108.25 c 107s | 14 | 502841 | 74752 | 31228 3 | 1012 | 3028 110.37/110.41 c 109s | 14 | 514320 | 76152 | 31228 3 | 1012 | 3028 112.37/112.49 c 111s | 14 | 523838 | 77552 | 31228 3 | 1012 | 3028 114.48/114.59 c 113s | 14 | 534133 | 78952 | 31228 3 | 1012 | 3028 116.58/116.69 c 115s | 14 | 544453 | 80652 | 31228 3 | 1012 | 3028 118.67/118.80 c 117s | 14 | 555663 | 82052 | 31228 3 | 1012 | 3028 120.87/120.90 c 119s | 14 | 562334 | 83552 | 31228 3 | 1012 | 3028 122.87/122.98 c 122s | 14 | 570124 | 84852 | 31228 3 | 1012 | 3028 124.97/125.03 c 124s | 14 | 579328 | 86252 | 31228 4 | 1012 | 3028 126.87/126.97 c 126s | 15 | 589581 | 87632 | 34351 4 | 1012 | 3028 128.97/129.09 c 128s | 15 | 598036 | 88732 | 34351 4 | 1012 | 3028 131.17/131.25 c 130s | 15 | 604345 | 89932 | 34351 4 | 1012 | 3028 133.27/133.30 c 132s | 15 | 608297 | 90932 | 34351 4 | 1012 | 3028 135.27/135.31 c 134s | 15 | 616160 | 92032 | 34351 4 | 1012 | 3028 137.27/137.31 c 136s | 15 | 624403 | 93132 | 34351 4 | 1012 | 3028 139.26/139.36 c 138s | 15 | 630791 | 94132 | 34351 4 | 1012 | 3028 141.46/141.50 c 140s | 15 | 637153 | 95332 | 34351 4 | 1012 | 3028 143.46/143.55 c 142s | 15 | 643404 | 96232 | 34351 4 | 1012 | 3028 145.56/145.61 c 144s | 15 | 649042 | 97232 | 34351 4 | 1012 | 3028 147.76/147.83 c 146s | 15 | 655928 | 98332 | 34351 4 | 1012 | 3028 149.86/149.97 c 149s | 15 | 663018 | 99332 | 34351 4 | 1012 | 3028 152.06/152.10 c 151s | 15 | 668590 | 100432 | 34351 4 | 1012 | 3028 154.07/154.17 c 153s | 15 | 672789 | 101632 | 34351 4 | 1012 | 3028 156.18/156.27 c 155s | 15 | 677186 | 102832 | 34351 4 | 1012 | 3028 158.38/158.46 c 157s | 15 | 681124 | 103932 | 34351 4 | 1012 | 3028 160.58/160.64 c 159s | 15 | 684866 | 105032 | 34351 4 | 1012 | 3028 162.57/162.68 c 161s | 15 | 688907 | 105932 | 34351 4 | 1012 | 3028 164.67/164.73 c 163s | 15 | 692736 | 106832 | 34351 4 | 1012 | 3028 166.67/166.77 c 165s | 15 | 697221 | 107632 | 34351 5 | 1012 | 3028 168.77/168.89 c 167s | 15 | 703583 | 109132 | 34351 5 | 1012 | 3028 170.87/170.97 c 170s | 15 | 711692 | 110532 | 34351 5 | 1012 | 3028 172.97/173.00 c 172s | 15 | 718220 | 111932 | 34351 5 | 1012 | 3028 174.97/175.03 c 174s | 15 | 724603 | 113232 | 34351 5 | 1012 | 3028 176.97/177.06 c 176s | 15 | 730900 | 114432 | 34351 5 | 1012 | 3028 179.07/179.19 c 178s | 15 | 740086 | 115632 | 34351 5 | 1012 | 3028 181.17/181.22 c 180s | 15 | 745991 | 116732 | 34351 5 | 1012 | 3028 183.37/183.41 c 182s | 15 | 751478 | 117832 | 34351 5 | 1012 | 3028 185.47/185.50 c 184s | 15 | 758733 | 118832 | 34351 5 | 1012 | 3028 187.47/187.57 c 186s | 15 | 764503 | 119832 | 34351 5 | 1012 | 3028 189.47/189.58 c 188s | 15 | 770974 | 120832 | 34351 5 | 1012 | 3028 191.47/191.59 c 190s | 15 | 777420 | 121832 | 34351 5 | 1012 | 3028 193.67/193.75 c 192s | 15 | 784783 | 123132 | 34351 5 | 1012 | 3028 195.87/195.96 c 195s | 15 | 790605 | 124232 | 34351 5 | 1012 | 3028 197.97/198.03 c 197s | 15 | 798610 | 125332 | 34351 5 | 1012 | 3028 199.96/200.08 c 199s | 15 | 805449 | 126432 | 34351 5 | 1012 | 3028 202.06/202.14 c 201s | 15 | 811128 | 127232 | 34351 6 | 1012 | 3028 204.16/204.23 c 203s | 15 | 819520 | 128832 | 34351 6 | 1012 | 3028 206.16/206.25 c 205s | 15 | 828129 | 130132 | 34351 6 | 1012 | 3028 208.16/208.29 c 207s | 15 | 835136 | 131532 | 37787 6 | 1012 | 3028 208.26/208.32 c 207s | 16 | 835210 | 131552 | 37787 6 | 1012 | 3028 210.26/210.34 c 209s | 16 | 844327 | 132652 | 37787 6 | 1012 | 3028 212.37/212.46 c 211s | 16 | 851070 | 134052 | 37787 6 | 1012 | 3028 214.47/214.57 c 213s | 16 | 856780 | 135252 | 37787 6 | 1012 | 3028 216.56/216.62 c 215s | 16 | 862989 | 136552 | 37787 6 | 1012 | 3028 218.66/218.77 c 217s | 16 | 869015 | 137852 | 37787 6 | 1012 | 3028 220.76/220.88 c 219s | 16 | 874255 | 138952 | 37787 6 | 1012 | 3028 222.96/223.08 c 222s | 16 | 879498 | 140152 | 37787 6 | 1012 | 3028 225.06/225.12 c 224s | 16 | 884748 | 141252 | 37787 6 | 1012 | 3028 227.26/227.30 c 226s | 16 | 889868 | 142252 | 37787 6 | 1012 | 3028 229.26/229.38 c 228s | 16 | 895147 | 143152 | 37787 6 | 1012 | 3028 231.26/231.39 c 230s | 16 | 900903 | 144152 | 37787 6 | 1012 | 3028 233.36/233.44 c 232s | 16 | 907378 | 145152 | 37787 6 | 1012 | 3028 235.47/235.52 c 234s | 16 | 911389 | 145952 | 37787 6 | 1012 | 3028 237.46/237.59 c 236s | 16 | 915197 | 146752 | 37787 6 | 1012 | 3028 239.66/239.72 c 238s | 16 | 921777 | 147652 | 37787 6 | 1012 | 3028 241.66/241.74 c 240s | 16 | 928245 | 148652 | 37787 6 | 1012 | 3028 243.86/243.90 c 242s | 16 | 933364 | 149352 | 37787 6 | 1012 | 3028 245.96/246.07 c 245s | 16 | 936551 | 150052 | 37787 7 | 1012 | 3028 247.96/248.07 c 247s | 16 | 941686 | 151152 | 37787 7 | 1012 | 3028 250.16/250.25 c 249s | 16 | 949480 | 152552 | 37787 7 | 1012 | 3028 252.26/252.31 c 251s | 16 | 956283 | 153752 | 37787 7 | 1012 | 3028 254.26/254.31 c 253s | 16 | 964332 | 154952 | 37787 7 | 1012 | 3028 256.36/256.43 c 255s | 16 | 970568 | 156152 | 37787 7 | 1012 | 3028 258.46/258.57 c 257s | 16 | 976296 | 157352 | 37787 7 | 1012 | 3028 260.66/260.72 c 259s | 16 | 982267 | 158552 | 37787 7 | 1012 | 3028 262.65/262.79 c 261s | 16 | 987937 | 159752 | 37787 7 | 1012 | 3028 264.75/264.87 c 263s | 16 | 995916 | 160852 | 37787 7 | 1012 | 3028 266.85/266.90 c 265s | 16 | 1004812 | 162052 | 37787 7 | 1012 | 3028 268.95/269.00 c 268s | 16 | 1010768 | 163252 | 37787 7 | 1012 | 3028 270.95/271.01 c 270s | 16 | 1019773 | 164752 | 37787 7 | 1012 | 3028 272.95/273.06 c 272s | 16 | 1028897 | 166052 | 37787 7 | 1012 | 3028 275.06/275.17 c 274s | 16 | 1036883 | 167452 | 37787 7 | 1012 | 3028 277.05/277.18 c 276s | 16 | 1042731 | 168552 | 37787 7 | 1012 | 3028 279.25/279.33 c 278s | 16 | 1049902 | 169852 | 37787 7 | 1012 | 3028 281.45/281.50 c 280s | 16 | 1058213 | 171152 | 37787 7 | 1012 | 3028 283.45/283.57 c 282s | 16 | 1063691 | 172352 | 37787 8 | 1012 | 3028 285.45/285.59 c 284s | 16 | 1072878 | 173852 | 37787 8 | 1012 | 3028 287.55/287.69 c 286s | 16 | 1080347 | 175152 | 37787 8 | 1012 | 3028 289.65/289.71 c 288s | 16 | 1089324 | 176552 | 37787 8 | 1012 | 3028 291.75/291.85 c 290s | 16 | 1095857 | 177852 | 37787 8 | 1012 | 3028 293.85/293.94 c 293s | 16 | 1102330 | 179152 | 37787 8 | 1012 | 3028 295.95/296.01 c 295s | 16 | 1108996 | 180452 | 37787 8 | 1012 | 3028 298.05/298.18 c 297s | 16 | 1115848 | 181752 | 37787 8 | 1012 | 3028 300.25/300.33 c 299s | 16 | 1120769 | 183052 | 37787 8 | 1012 | 3028 302.34/302.45 c 301s | 16 | 1127946 | 184452 | 37787 8 | 1012 | 3028 304.34/304.47 c 303s | 16 | 1134235 | 185752 | 37787 8 | 1012 | 3028 306.54/306.63 c 305s | 16 | 1141034 | 186952 | 37787 8 | 1012 | 3028 308.54/308.69 c 307s | 16 | 1144924 | 188052 | 37787 8 | 1012 | 3028 310.74/310.83 c 309s | 16 | 1149617 | 189152 | 37787 8 | 1012 | 3028 312.74/312.86 c 311s | 16 | 1155954 | 190352 | 37787 8 | 1012 | 3028 314.74/314.87 c 313s | 16 | 1162085 | 191452 | 37787 8 | 1012 | 3028 316.85/316.94 c 316s | 16 | 1167520 | 192552 | 37787 8 | 1012 | 3028 318.84/318.96 c 318s | 16 | 1171842 | 193452 | 37787 9 | 1012 | 3028 320.94/321.08 c 320s | 16 | 1178947 | 194552 | 37787 9 | 1012 | 3028 323.04/323.12 c 322s | 16 | 1185246 | 195952 | 37787 9 | 1012 | 3028 325.14/325.21 c 324s | 16 | 1190696 | 197152 | 41566 9 | 1012 | 3028 325.84/325.90 c 324s | 17 | 1192585 | 197432 | 41566 9 | 1012 | 3028 327.94/328.02 c 327s | 17 | 1199185 | 198432 | 41566 9 | 1012 | 3028 329.95/330.08 c 329s | 17 | 1204028 | 199532 | 41566 9 | 1012 | 3028 332.04/332.13 c 331s | 17 | 1208976 | 200732 | 41566 9 | 1012 | 3028 334.24/334.36 c 333s | 17 | 1213133 | 201632 | 41566 9 | 1012 | 3028 336.34/336.49 c 335s | 17 | 1216999 | 202632 | 41566 9 | 1012 | 3028 338.64/338.70 c 337s | 17 | 1221571 | 203732 | 41566 9 | 1012 | 3028 340.94/341.09 c 340s | 17 | 1225351 | 204632 | 41566 9 | 1012 | 3028 343.04/343.17 c 342s | 17 | 1229700 | 205432 | 41566 9 | 1012 | 3028 345.14/345.21 c 344s | 17 | 1234691 | 206232 | 41566 9 | 1012 | 3028 347.14/347.26 c 346s | 17 | 1239410 | 207032 | 41566 9 | 1012 | 3028 349.34/349.41 c 348s | 17 | 1244334 | 207932 | 41566 9 | 1012 | 3028 351.34/351.43 c 350s | 17 | 1249161 | 208932 | 41566 9 | 1012 | 3028 353.34/353.43 c 352s | 17 | 1253392 | 209832 | 41566 9 | 1012 | 3028 355.44/355.52 c 354s | 17 | 1257531 | 210732 | 41566 9 | 1012 | 3028 357.44/357.58 c 356s | 17 | 1261125 | 211632 | 41566 9 | 1012 | 3028 359.64/359.75 c 358s | 17 | 1265497 | 212432 | 41566 9 | 1012 | 3028 361.64/361.75 c 360s | 17 | 1268628 | 213132 | 41566 9 | 1012 | 3028 363.63/363.79 c 362s | 17 | 1272338 | 213832 | 41566 9 | 1012 | 3028 365.73/365.89 c 364s | 17 | 1275191 | 214532 | 41566 9 | 1012 | 3028 367.93/368.01 c 367s | 17 | 1278468 | 215232 | 41566 9 | 1012 | 3028 370.13/370.22 c 369s | 17 | 1281549 | 215932 | 41566 9 | 1012 | 3028 372.13/372.29 c 371s | 17 | 1285632 | 216732 | 41566 9 | 1012 | 3028 374.43/374.50 c 373s | 17 | 1289910 | 217632 | 41566 9 | 1012 | 3028 376.53/376.64 c 375s | 17 | 1296588 | 218732 | 41566 10 | 1012 | 3028 378.63/378.73 c 377s | 17 | 1303011 | 220032 | 41566 10 | 1012 | 3028 380.73/380.88 c 379s | 17 | 1309231 | 221332 | 41566 10 | 1012 | 3028 382.84/382.94 c 382s | 17 | 1314715 | 222532 | 41566 10 | 1012 | 3028 385.04/385.11 c 384s | 17 | 1320015 | 223632 | 41566 10 | 1012 | 3028 387.14/387.23 c 386s | 17 | 1324757 | 224832 | 41566 10 | 1012 | 3028 389.34/389.43 c 388s | 17 | 1328980 | 225932 | 41566 10 | 1012 | 3028 391.33/391.47 c 390s | 17 | 1334269 | 226932 | 41566 10 | 1012 | 3028 393.43/393.53 c 392s | 17 | 1339413 | 227832 | 41566 10 | 1012 | 3028 395.63/395.73 c 394s | 17 | 1344998 | 229132 | 41566 10 | 1012 | 3028 397.63/397.76 c 396s | 17 | 1351096 | 230232 | 41566 10 | 1012 | 3028 399.83/399.97 c 399s | 17 | 1355451 | 231232 | 41566 10 | 1012 | 3028 401.93/402.02 c 401s | 17 | 1361042 | 232232 | 41566 10 | 1012 | 3028 403.93/404.03 c 403s | 17 | 1367902 | 233332 | 41566 10 | 1012 | 3028 406.03/406.18 c 405s | 17 | 1373927 | 234432 | 41566 10 | 1012 | 3028 408.23/408.36 c 407s | 17 | 1379499 | 235532 | 41566 10 | 1012 | 3028 410.33/410.40 c 409s | 17 | 1383686 | 236532 | 41566 10 | 1012 | 3028 412.53/412.62 c 411s | 17 | 1388282 | 237432 | 41566 10 | 1012 | 3028 414.63/414.79 c 413s | 17 | 1392850 | 238432 | 41566 10 | 1012 | 3028 416.83/416.99 c 416s | 17 | 1396106 | 239332 | 41566 10 | 1012 | 3028 418.93/419.05 c 418s | 17 | 1399760 | 240232 | 41566 10 | 1012 | 3028 420.93/421.07 c 420s | 17 | 1404602 | 241132 | 41566 10 | 1012 | 3028 423.12/423.23 c 422s | 17 | 1407858 | 242032 | 41566 11 | 1012 | 3028 425.32/425.41 c 424s | 17 | 1414480 | 243532 | 41566 11 | 1012 | 3028 427.32/427.46 c 426s | 17 | 1419855 | 244732 | 41566 11 | 1012 | 3028 429.32/429.48 c 428s | 17 | 1424681 | 245932 | 41566 11 | 1012 | 3028 431.42/431.52 c 430s | 17 | 1430175 | 247132 | 41566 11 | 1012 | 3028 433.52/433.65 c 432s | 17 | 1436557 | 248632 | 41566 11 | 1012 | 3028 435.63/435.71 c 434s | 17 | 1441636 | 249932 | 41566 11 | 1012 | 3028 437.62/437.74 c 436s | 17 | 1449847 | 251132 | 41566 11 | 1012 | 3028 439.62/439.76 c 438s | 17 | 1457529 | 252332 | 41566 11 | 1012 | 3028 441.72/441.89 c 440s | 17 | 1464079 | 253532 | 41566 11 | 1012 | 3028 443.92/444.01 c 443s | 17 | 1472537 | 254732 | 41566 11 | 1012 | 3028 446.12/446.21 c 445s | 17 | 1479478 | 255932 | 41566 11 | 1012 | 3028 448.12/448.27 c 447s | 17 | 1486842 | 257232 | 41566 11 | 1012 | 3028 450.32/450.44 c 449s | 17 | 1493253 | 258432 | 41566 11 | 1012 | 3028 452.42/452.59 c 451s | 17 | 1499671 | 259532 | 41566 11 | 1012 | 3028 454.52/454.62 c 453s | 17 | 1505888 | 260632 | 41566 11 | 1012 | 3028 456.52/456.69 c 455s | 17 | 1511354 | 261732 | 41566 11 | 1012 | 3028 458.63/458.78 c 457s | 17 | 1516709 | 262832 | 41566 11 | 1012 | 3028 460.63/460.78 c 459s | 17 | 1521689 | 263832 | 41566 11 | 1012 | 3028 462.82/462.92 c 461s | 17 | 1526737 | 264832 | 41566 12 | 1012 | 3028 465.02/465.16 c 464s | 17 | 1532647 | 266232 | 41566 12 | 1012 | 3028 467.22/467.32 c 466s | 17 | 1540450 | 267632 | 41566 12 | 1012 | 3028 469.32/469.42 c 468s | 17 | 1546149 | 268632 | 41566 12 | 1012 | 3028 471.42/471.59 c 470s | 17 | 1551162 | 269732 | 41566 12 | 1012 | 3028 473.52/473.67 c 472s | 17 | 1556780 | 270732 | 41566 12 | 1012 | 3028 475.72/475.81 c 474s | 17 | 1561482 | 271732 | 41566 12 | 1012 | 3028 477.92/478.00 c 477s | 17 | 1566575 | 272632 | 41566 12 | 1012 | 3028 479.92/480.06 c 479s | 17 | 1571446 | 273532 | 41566 12 | 1012 | 3028 482.02/482.15 c 481s | 17 | 1576136 | 274532 | 41566 12 | 1012 | 3028 484.12/484.22 c 483s | 17 | 1581118 | 275532 | 41566 12 | 1012 | 3028 486.23/486.35 c 485s | 17 | 1586411 | 276632 | 41566 12 | 1012 | 3028 488.33/488.46 c 487s | 17 | 1591460 | 277732 | 41566 12 | 1012 | 3028 490.42/490.50 c 489s | 17 | 1598944 | 278832 | 41566 12 | 1012 | 3028 492.42/492.54 c 491s | 17 | 1605334 | 280132 | 41566 12 | 1012 | 3028 494.52/494.67 c 493s | 17 | 1610048 | 281132 | 41566 12 | 1012 | 3028 496.62/496.76 c 495s | 17 | 1615588 | 282132 | 41566 12 | 1012 | 3028 498.72/498.87 c 497s | 17 | 1619810 | 283132 | 41566 12 | 1012 | 3028 500.92/501.01 c 500s | 17 | 1624964 | 284232 | 41566 12 | 1012 | 3028 502.92/503.08 c 502s | 17 | 1629308 | 285232 | 41566 12 | 1012 | 3028 505.22/505.31 c 504s | 17 | 1633541 | 286032 | 41566 12 | 1012 | 3028 507.31/507.48 c 506s | 17 | 1640860 | 287132 | 41566 12 | 1012 | 3028 509.61/509.72 c 508s | 17 | 1644990 | 288032 | 41566 13 | 1012 | 3028 511.71/511.80 c 510s | 17 | 1651587 | 289332 | 41566 13 | 1012 | 3028 513.72/513.90 c 512s | 17 | 1658597 | 290532 | 41566 13 | 1012 | 3028 516.01/516.16 c 515s | 17 | 1664502 | 291732 | 41566 13 | 1012 | 3028 518.12/518.28 c 517s | 17 | 1669648 | 292732 | 41566 13 | 1012 | 3028 520.22/520.40 c 519s | 17 | 1675725 | 293832 | 41566 13 | 1012 | 3028 522.31/522.41 c 521s | 17 | 1680959 | 294832 | 45723 13 | 1012 | 3028 524.41/524.57 c 523s | 17 | 1686334 | 295932 | 45723 13 | 1012 | 3028 525.01/525.19 c 524s | 18 | 1687629 | 296252 | 45723 13 | 1012 | 3028 527.21/527.32 c 526s | 18 | 1694137 | 297252 | 45723 13 | 1012 | 3028 529.31/529.45 c 528s | 18 | 1697984 | 298252 | 45723 13 | 1012 | 3028 537.71/537.82 c 536s | 18 | 1700930 | 298752 | 45723 13 | 1012 | 3028 539.81/539.99 c 539s | 18 | 1705179 | 299252 | 45723 13 | 1012 | 3028 543.50/543.66 c 542s | 18 | 1709147 | 299852 | 45723 13 | 1012 | 3028 545.70/545.81 c 544s | 18 | 1714880 | 300852 | 45723 13 | 1012 | 3028 547.71/547.83 c 546s | 18 | 1720539 | 301752 | 45723 13 | 1012 | 3028 549.80/549.96 c 549s | 18 | 1726163 | 302652 | 45723 13 | 1012 | 3028 552.00/552.15 c 551s | 18 | 1732279 | 303652 | 45723 13 | 1012 | 3028 554.20/554.35 c 553s | 18 | 1738943 | 304552 | 45723 13 | 1012 | 3028 556.40/556.57 c 555s | 18 | 1743552 | 305452 | 45723 13 | 1012 | 3028 558.50/558.68 c 557s | 18 | 1747520 | 306352 | 45723 13 | 1012 | 3028 560.60/560.71 c 559s | 18 | 1750972 | 307152 | 45723 13 | 1012 | 3028 562.70/562.80 c 561s | 18 | 1755522 | 307952 | 45723 13 | 1012 | 3028 564.90/565.03 c 564s | 18 | 1760024 | 308852 | 45723 13 | 1012 | 3028 567.00/567.12 c 566s | 18 | 1764867 | 309752 | 45723 13 | 1012 | 3028 569.20/569.31 c 568s | 18 | 1769013 | 310652 | 45723 13 | 1012 | 3028 571.20/571.37 c 570s | 18 | 1774024 | 311552 | 45723 13 | 1012 | 3028 574.50/574.67 c 573s | 18 | 1777752 | 312252 | 45723 13 | 1012 | 3028 576.60/576.75 c 575s | 18 | 1778940 | 312452 | 45723 13 | 1012 | 3028 578.80/578.90 c 577s | 18 | 1783773 | 313352 | 45723 13 | 1012 | 3028 581.00/581.12 c 580s | 18 | 1787872 | 314252 | 45723 13 | 1012 | 3028 583.10/583.27 c 582s | 18 | 1791587 | 315052 | 45723 13 | 1012 | 3028 585.90/586.08 c 585s | 18 | 1796282 | 316052 | 45723 14 | 1012 | 3028 588.00/588.11 c 587s | 18 | 1805101 | 317152 | 45723 14 | 1012 | 3028 590.00/590.15 c 589s | 18 | 1812380 | 318352 | 45723 14 | 1012 | 3028 592.10/592.28 c 591s | 18 | 1817982 | 319552 | 45723 14 | 1012 | 3028 594.20/594.36 c 593s | 18 | 1825488 | 320852 | 45723 14 | 1012 | 3028 596.40/596.50 c 595s | 18 | 1833965 | 322152 | 45723 14 | 1012 | 3028 599.00/599.19 c 598s | 18 | 1840031 | 323352 | 45723 14 | 1012 | 3028 601.20/601.36 c 600s | 18 | 1845388 | 324552 | 45723 14 | 1012 | 3028 603.20/603.39 c 602s | 18 | 1851600 | 325752 | 45723 14 | 1012 | 3028 605.30/605.48 c 604s | 18 | 1858970 | 326852 | 45723 14 | 1012 | 3028 607.40/607.59 c 606s | 18 | 1865989 | 328052 | 45723 14 | 1012 | 3028 609.50/609.68 c 608s | 18 | 1872054 | 329152 | 45723 14 | 1012 | 3028 611.70/611.83 c 610s | 18 | 1877416 | 330152 | 45723 14 | 1012 | 3028 613.80/613.91 c 612s | 18 | 1882000 | 331152 | 45723 14 | 1012 | 3028 615.90/616.08 c 615s | 18 | 1886802 | 332252 | 45723 14 | 1012 | 3028 618.10/618.23 c 617s | 18 | 1891701 | 333252 | 45723 14 | 1012 | 3028 620.20/620.40 c 619s | 18 | 1896988 | 334252 | 45723 14 | 1012 | 3028 622.39/622.58 c 621s | 18 | 1901240 | 335352 | 45723 14 | 1012 | 3028 624.59/624.76 c 623s | 18 | 1905683 | 336452 | 45723 14 | 1012 | 3028 626.79/626.94 c 626s | 18 | 1909341 | 337452 | 45723 14 | 1012 | 3028 628.79/628.99 c 628s | 18 | 1914054 | 338452 | 45723 14 | 1012 | 3028 630.99/631.17 c 630s | 18 | 1918827 | 339452 | 45723 14 | 1012 | 3028 633.19/633.37 c 632s | 18 | 1923598 | 340352 | 45723 14 | 1012 | 3028 635.29/635.45 c 634s | 18 | 1927676 | 341152 | 45723 15 | 1012 | 3028 637.39/637.57 c 636s | 18 | 1934962 | 342452 | 45723 15 | 1012 | 3028 639.59/639.70 c 638s | 18 | 1941603 | 343652 | 45723 15 | 1012 | 3028 641.59/641.73 c 640s | 18 | 1949181 | 344752 | 45723 15 | 1012 | 3028 643.69/643.82 c 642s | 18 | 1954564 | 345852 | 45723 15 | 1012 | 3028 645.70/645.85 c 644s | 18 | 1961433 | 346952 | 45723 15 | 1012 | 3028 647.80/647.99 c 647s | 18 | 1966657 | 347952 | 45723 15 | 1012 | 3028 650.00/650.19 c 649s | 18 | 1973090 | 349052 | 45723 15 | 1012 | 3028 652.30/652.43 c 651s | 18 | 1978624 | 350052 | 45723 15 | 1012 | 3028 654.39/654.52 c 653s | 18 | 1985007 | 351152 | 45723 15 | 1012 | 3028 656.49/656.61 c 655s | 18 | 1991908 | 352252 | 45723 15 | 1012 | 3028 658.59/658.75 c 657s | 18 | 1997428 | 353252 | 45723 15 | 1012 | 3028 660.59/660.77 c 659s | 18 | 2001847 | 354252 | 45723 15 | 1012 | 3028 662.79/662.95 c 662s | 18 | 2005873 | 355252 | 45723 15 | 1012 | 3028 664.79/664.97 c 664s | 18 | 2011858 | 356352 | 45723 15 | 1012 | 3028 666.89/667.03 c 666s | 18 | 2015812 | 357352 | 45723 15 | 1012 | 3028 668.89/669.04 c 668s | 18 | 2019198 | 358252 | 45723 15 | 1012 | 3028 671.09/671.25 c 670s | 18 | 2023158 | 359252 | 45723 15 | 1012 | 3028 673.09/673.30 c 672s | 18 | 2027181 | 360152 | 45723 15 | 1012 | 3028 675.29/675.50 c 674s | 18 | 2031584 | 361052 | 45723 15 | 1012 | 3028 677.39/677.57 c 676s | 18 | 2035524 | 361852 | 45723 15 | 1012 | 3028 679.48/679.63 c 678s | 18 | 2041504 | 362652 | 45723 15 | 1012 | 3028 681.58/681.72 c 680s | 18 | 2046142 | 363452 | 45723 15 | 1012 | 3028 683.68/683.86 c 682s | 18 | 2051471 | 364152 | 45723 15 | 1012 | 3028 685.78/685.96 c 685s | 18 | 2056417 | 364952 | 45723 15 | 1012 | 3028 687.88/688.03 c 687s | 18 | 2060960 | 365652 | 45723 15 | 1012 | 3028 689.88/690.09 c 689s | 18 | 2065168 | 366352 | 45723 16 | 1012 | 3028 691.98/692.10 c 691s | 18 | 2070942 | 367452 | 45723 16 | 1012 | 3028 694.09/694.23 c 693s | 18 | 2077328 | 368652 | 45723 16 | 1012 | 3028 696.19/696.34 c 695s | 18 | 2082089 | 369552 | 45723 16 | 1012 | 3028 698.18/698.39 c 697s | 18 | 2090032 | 370752 | 45723 16 | 1012 | 3028 700.38/700.51 c 699s | 18 | 2095412 | 371852 | 45723 16 | 1012 | 3028 702.38/702.56 c 701s | 18 | 2100839 | 372852 | 45723 16 | 1012 | 3028 704.58/704.71 c 703s | 18 | 2105796 | 373952 | 45723 16 | 1012 | 3028 706.58/706.76 c 705s | 18 | 2109943 | 374952 | 45723 16 | 1012 | 3028 708.58/708.78 c 707s | 18 | 2114587 | 376052 | 45723 16 | 1012 | 3028 710.68/710.83 c 709s | 18 | 2119279 | 377252 | 45723 16 | 1012 | 3028 712.78/712.93 c 712s | 18 | 2124328 | 378352 | 45723 16 | 1012 | 3028 714.77/714.95 c 714s | 18 | 2128695 | 379352 | 45723 16 | 1012 | 3028 716.87/717.02 c 716s | 18 | 2134403 | 380452 | 45723 16 | 1012 | 3028 718.87/719.07 c 718s | 18 | 2139433 | 381552 | 45723 16 | 1012 | 3028 720.87/721.08 c 720s | 18 | 2145221 | 382752 | 45723 16 | 1012 | 3028 722.97/723.19 c 722s | 18 | 2150601 | 383952 | 45723 16 | 1012 | 3028 725.17/725.35 c 724s | 18 | 2155702 | 385052 | 45723 16 | 1012 | 3028 727.27/727.42 c 726s | 18 | 2162157 | 385952 | 45723 16 | 1012 | 3028 729.28/729.44 c 728s | 18 | 2167420 | 386752 | 45723 16 | 1012 | 3028 731.27/731.48 c 730s | 18 | 2171817 | 387552 | 45723 16 | 1012 | 3028 733.37/733.51 c 732s | 18 | 2176898 | 388352 | 45723 16 | 1012 | 3028 735.37/735.51 c 734s | 18 | 2180480 | 389152 | 45723 16 | 1012 | 3028 737.47/737.64 c 736s | 18 | 2188179 | 390152 | 45723 16 | 1012 | 3028 739.47/739.66 c 738s | 18 | 2192832 | 390952 | 45723 16 | 1012 | 3028 741.67/741.81 c 740s | 18 | 2198244 | 391752 | 45723 17 | 1012 | 3028 743.67/743.82 c 742s | 18 | 2207068 | 393152 | 45723 17 | 1012 | 3028 745.68/745.82 c 744s | 18 | 2215463 | 394552 | 45723 17 | 1012 | 3028 747.77/747.90 c 746s | 18 | 2222266 | 395952 | 45723 17 | 1012 | 3028 749.77/749.97 c 749s | 18 | 2229330 | 397152 | 45723 17 | 1012 | 3028 751.87/752.05 c 751s | 18 | 2237212 | 398552 | 45723 17 | 1012 | 3028 753.97/754.11 c 753s | 18 | 2245096 | 399952 | 45723 17 | 1012 | 3028 755.97/756.12 c 755s | 18 | 2252523 | 401252 | 45723 17 | 1012 | 3028 758.07/758.25 c 757s | 18 | 2259669 | 402752 | 45723 17 | 1012 | 3028 760.17/760.37 c 759s | 18 | 2266080 | 404152 | 45723 17 | 1012 | 3028 762.28/762.48 c 761s | 18 | 2272910 | 405452 | 45723 17 | 1012 | 3028 764.48/764.64 c 763s | 18 | 2279803 | 406752 | 45723 17 | 1012 | 3028 766.57/766.72 c 765s | 18 | 2288468 | 408052 | 45723 17 | 1012 | 3028 768.67/768.80 c 767s | 18 | 2295591 | 409152 | 45723 17 | 1012 | 3028 770.67/770.86 c 769s | 18 | 2301277 | 410252 | 45723 17 | 1012 | 3028 772.77/772.98 c 772s | 18 | 2307475 | 411452 | 45723 17 | 1012 | 3028 774.87/775.09 c 774s | 18 | 2313435 | 412752 | 45723 17 | 1012 | 3028 776.97/777.15 c 776s | 18 | 2319263 | 413852 | 45723 17 | 1012 | 3028 779.06/779.23 c 778s | 18 | 2324487 | 414852 | 45723 17 | 1012 | 3028 781.06/781.28 c 780s | 18 | 2328881 | 415852 | 45723 17 | 1012 | 3028 783.17/783.37 c 782s | 18 | 2334129 | 416852 | 45723 18 | 1012 | 3028 785.27/785.48 c 784s | 18 | 2341266 | 418052 | 45723 18 | 1012 | 3028 787.36/787.54 c 786s | 18 | 2347737 | 419252 | 45723 18 | 1012 | 3028 789.46/789.66 c 788s | 18 | 2353994 | 420452 | 45723 18 | 1012 | 3028 791.56/791.78 c 790s | 18 | 2360830 | 421652 | 45723 18 | 1012 | 3028 793.66/793.89 c 792s | 18 | 2368610 | 422852 | 45723 18 | 1012 | 3028 795.76/795.93 c 795s | 18 | 2375905 | 424052 | 45723 18 | 1012 | 3028 797.76/797.95 c 797s | 18 | 2382997 | 425352 | 45723 18 | 1012 | 3028 799.86/800.00 c 799s | 18 | 2389040 | 426552 | 45723 18 | 1012 | 3028 801.86/802.06 c 801s | 18 | 2395876 | 427752 | 45723 18 | 1012 | 3028 804.06/804.22 c 803s | 18 | 2401342 | 428852 | 45723 18 | 1012 | 3028 806.06/806.28 c 805s | 18 | 2409294 | 430052 | 45723 18 | 1012 | 3028 808.26/808.43 c 807s | 18 | 2414225 | 431252 | 45723 18 | 1012 | 3028 810.25/810.46 c 809s | 18 | 2419548 | 432452 | 45723 18 | 1012 | 3028 812.45/812.62 c 811s | 18 | 2426045 | 433652 | 45723 18 | 1012 | 3028 814.45/814.63 c 813s | 18 | 2432789 | 434752 | 45723 18 | 1012 | 3028 816.65/816.83 c 815s | 18 | 2438216 | 435852 | 45723 18 | 1012 | 3028 818.75/818.93 c 818s | 18 | 2442531 | 436952 | 45723 18 | 1012 | 3028 820.75/820.97 c 820s | 18 | 2447599 | 438052 | 45723 18 | 1012 | 3028 822.95/823.17 c 822s | 18 | 2453022 | 439152 | 45723 18 | 1012 | 3028 825.15/825.32 c 824s | 18 | 2457960 | 440152 | 45723 18 | 1012 | 3028 827.16/827.38 c 826s | 18 | 2463552 | 441152 | 45723 18 | 1012 | 3028 829.35/829.54 c 828s | 18 | 2467959 | 442252 | 50296 18 | 1012 | 3028 831.45/831.64 c 830s | 18 | 2472547 | 443152 | 50296 18 | 1012 | 3028 833.45/833.69 c 832s | 18 | 2478076 | 444152 | 50296 18 | 1012 | 3028 834.05/834.29 c 833s | 19 | 2480595 | 444482 | 50296 18 | 1012 | 3028 837.94/838.20 c 837s | 19 | 2483493 | 444582 | 50296 19 | 1012 | 3028 840.64/840.89 c 839s | 19 | 2486931 | 445082 | 50296 19 | 1012 | 3028 843.73/843.98 c 843s | 19 | 2489457 | 445682 | 50296 19 | 1012 | 3028 845.84/846.08 c 845s | 19 | 2497881 | 446882 | 50296 19 | 1012 | 3028 847.83/848.08 c 847s | 19 | 2508111 | 448282 | 50296 19 | 1012 | 3028 849.93/850.13 c 849s | 19 | 2517893 | 449682 | 50296 19 | 1012 | 3028 852.03/852.20 c 851s | 19 | 2525872 | 451282 | 50296 19 | 1012 | 3028 854.03/854.24 c 853s | 19 | 2534056 | 452582 | 50296 19 | 1012 | 3028 856.13/856.30 c 855s | 19 | 2542277 | 453882 | 50296 19 | 1012 | 3028 858.23/858.40 c 857s | 19 | 2548646 | 455282 | 50296 19 | 1012 | 3028 860.32/860.54 c 859s | 19 | 2555421 | 456582 | 50296 19 | 1012 | 3028 862.33/862.59 c 861s | 19 | 2561450 | 457782 | 50296 19 | 1012 | 3028 864.53/864.77 c 863s | 19 | 2567657 | 458982 | 50296 19 | 1012 | 3028 866.52/866.80 c 865s | 19 | 2573172 | 460182 | 50296 19 | 1012 | 3028 868.62/868.86 c 867s | 19 | 2578268 | 461482 | 50296 19 | 1012 | 3028 870.82/871.01 c 870s | 19 | 2584211 | 462582 | 50296 19 | 1012 | 3028 872.92/873.13 c 872s | 19 | 2591323 | 463782 | 50296 19 | 1012 | 3028 875.02/875.24 c 874s | 19 | 2597291 | 464782 | 50296 19 | 1012 | 3028 877.12/877.36 c 876s | 19 | 2603445 | 465782 | 50296 19 | 1012 | 3028 879.42/879.60 c 878s | 19 | 2610010 | 466882 | 50296 19 | 1012 | 3028 881.52/881.73 c 880s | 19 | 2613785 | 467582 | 50296 19 | 1012 | 3028 883.52/883.77 c 882s | 19 | 2618322 | 468482 | 50296 19 | 1012 | 3028 885.72/885.97 c 885s | 19 | 2623421 | 469482 | 50296 19 | 1012 | 3028 887.92/888.17 c 887s | 19 | 2628969 | 470382 | 50296 19 | 1012 | 3028 890.01/890.27 c 889s | 19 | 2633942 | 471282 | 50296 19 | 1012 | 3028 892.11/892.38 c 891s | 19 | 2638790 | 472282 | 50296 19 | 1012 | 3028 894.42/894.65 c 893s | 19 | 2643260 | 473282 | 50296 20 | 1012 | 3028 896.43/896.68 c 895s | 19 | 2647055 | 474282 | 50296 20 | 1012 | 3028 899.32/899.52 c 898s | 19 | 2652676 | 475082 | 50296 20 | 1012 | 3028 901.52/901.78 c 900s | 19 | 2661788 | 476382 | 50296 20 | 1012 | 3028 903.62/903.84 c 902s | 19 | 2667489 | 477582 | 50296 20 | 1012 | 3028 905.82/906.04 c 905s | 19 | 2673997 | 478782 | 50296 20 | 1012 | 3028 907.92/908.19 c 907s | 19 | 2680301 | 479882 | 50296 20 | 1012 | 3028 910.02/910.23 c 909s | 19 | 2689022 | 481182 | 50296 20 | 1012 | 3028 912.12/912.30 c 911s | 19 | 2695957 | 482382 | 50296 20 | 1012 | 3028 914.22/914.46 c 913s | 19 | 2703702 | 483482 | 50296 20 | 1012 | 3028 916.32/916.50 c 915s | 19 | 2708526 | 484582 | 50296 20 | 1012 | 3028 918.32/918.58 c 917s | 19 | 2715257 | 485682 | 50296 20 | 1012 | 3028 920.41/920.64 c 919s | 19 | 2720146 | 486782 | 50296 20 | 1012 | 3028 922.41/922.69 c 921s | 19 | 2725533 | 487882 | 50296 20 | 1012 | 3028 924.61/924.84 c 923s | 19 | 2730507 | 488982 | 50296 20 | 1012 | 3028 926.61/926.87 c 925s | 19 | 2735320 | 489982 | 50296 20 | 1012 | 3028 928.81/929.05 c 928s | 19 | 2740768 | 490982 | 50296 20 | 1012 | 3028 930.91/931.10 c 930s | 19 | 2745831 | 491782 | 50296 20 | 1012 | 3028 933.11/933.30 c 932s | 19 | 2750702 | 492682 | 50296 20 | 1012 | 3028 935.11/935.37 c 934s | 19 | 2755355 | 493482 | 50296 20 | 1012 | 3028 937.21/937.41 c 936s | 19 | 2759038 | 494282 | 50296 20 | 1012 | 3028 939.31/939.55 c 938s | 19 | 2764874 | 495182 | 50296 20 | 1012 | 3028 941.41/941.68 c 940s | 19 | 2769176 | 496082 | 50296 20 | 1012 | 3028 943.51/943.72 c 942s | 19 | 2776949 | 496982 | 50296 20 | 1012 | 3028 945.51/945.77 c 944s | 19 | 2782642 | 497882 | 50296 20 | 1012 | 3028 947.71/947.91 c 946s | 19 | 2788745 | 498782 | 50296 20 | 1012 | 3028 949.70/949.99 c 949s | 19 | 2794446 | 499882 | 50296 20 | 1012 | 3028 952.00/952.24 c 951s | 19 | 2799642 | 500782 | 50296 21 | 1012 | 3028 954.10/954.33 c 953s | 19 | 2806439 | 501982 | 50296 21 | 1012 | 3028 956.20/956.43 c 955s | 19 | 2813276 | 503282 | 50296 21 | 1012 | 3028 958.20/958.44 c 957s | 19 | 2819474 | 504482 | 50296 21 | 1012 | 3028 960.30/960.50 c 959s | 19 | 2826220 | 505682 | 50296 21 | 1012 | 3028 962.31/962.57 c 961s | 19 | 2833076 | 506882 | 50296 21 | 1012 | 3028 964.40/964.65 c 963s | 19 | 2838644 | 508082 | 50296 21 | 1012 | 3028 966.50/966.77 c 965s | 19 | 2844660 | 509282 | 50296 21 | 1012 | 3028 968.60/968.83 c 967s | 19 | 2850897 | 510482 | 50296 21 | 1012 | 3028 970.69/970.92 c 969s | 19 | 2856911 | 511482 | 50296 21 | 1012 | 3028 972.79/973.06 c 972s | 19 | 2865704 | 512682 | 50296 21 | 1012 | 3028 974.79/975.08 c 974s | 19 | 2871911 | 513882 | 50296 21 | 1012 | 3028 976.89/977.15 c 976s | 19 | 2876161 | 514782 | 50296 21 | 1012 | 3028 978.90/979.17 c 978s | 19 | 2881798 | 515782 | 50296 21 | 1012 | 3028 981.10/981.32 c 980s | 19 | 2885998 | 516782 | 50296 21 | 1012 | 3028 983.20/983.45 c 982s | 19 | 2890843 | 517782 | 50296 21 | 1012 | 3028 985.29/985.51 c 984s | 19 | 2895569 | 518782 | 50296 21 | 1012 | 3028 987.39/987.64 c 986s | 19 | 2899769 | 519682 | 50296 21 | 1012 | 3028 989.49/989.72 c 988s | 19 | 2904051 | 520582 | 50296 21 | 1012 | 3028 991.49/991.75 c 990s | 19 | 2907403 | 521382 | 50296 21 | 1012 | 3028 993.49/993.76 c 992s | 19 | 2911815 | 522282 | 50296 21 | 1012 | 3028 995.59/995.85 c 994s | 19 | 2916355 | 523182 | 50296 21 | 1012 | 3028 997.60/997.87 c 996s | 19 | 2921182 | 524082 | 50296 21 | 1012 | 3028 999.79/1000.01 c 999s | 19 | 2926519 | 525082 | 50296 21 | 1012 | 3028 1002.08/1002.32 c 1001s | 19 | 2931429 | 526082 | 50296 21 | 1012 | 3028 1004.19/1004.41 c 1003s | 19 | 2935767 | 526882 | 50296 21 | 1012 | 3028 1006.18/1006.45 c 1005s | 19 | 2939713 | 527782 | 50296 21 | 1012 | 3028 1008.59/1008.81 c 1007s | 19 | 2942952 | 528582 | 50296 22 | 1012 | 3028 1010.58/1010.86 c 1009s | 19 | 2947690 | 529682 | 50296 22 | 1012 | 3028 1012.78/1013.01 c 1012s | 19 | 2952123 | 530882 | 50296 22 | 1012 | 3028 1014.88/1015.11 c 1014s | 19 | 2956522 | 531982 | 50296 22 | 1012 | 3028 1016.98/1017.29 c 1016s | 19 | 2962577 | 533182 | 50296 22 | 1012 | 3028 1019.07/1019.33 c 1018s | 19 | 2967991 | 534282 | 50296 22 | 1012 | 3028 1021.17/1021.45 c 1020s | 19 | 2975845 | 535482 | 50296 22 | 1012 | 3028 1023.17/1023.47 c 1022s | 19 | 2980742 | 536582 | 50296 22 | 1012 | 3028 1025.27/1025.59 c 1024s | 19 | 2986609 | 537682 | 50296 22 | 1012 | 3028 1027.47/1027.75 c 1026s | 19 | 2992453 | 538882 | 50296 22 | 1012 | 3028 1029.48/1029.80 c 1028s | 19 | 2997886 | 540082 | 50296 22 | 1012 | 3028 1031.57/1031.85 c 1030s | 19 | 3002512 | 541282 | 50296 22 | 1012 | 3028 1033.67/1033.97 c 1033s | 19 | 3008293 | 542482 | 50296 22 | 1012 | 3028 1035.87/1036.13 c 1035s | 19 | 3012801 | 543582 | 50296 22 | 1012 | 3028 1037.97/1038.29 c 1037s | 19 | 3017077 | 544782 | 50296 22 | 1012 | 3028 1040.07/1040.35 c 1039s | 19 | 3020999 | 545882 | 50296 22 | 1012 | 3028 1042.17/1042.41 c 1041s | 19 | 3026104 | 546982 | 50296 22 | 1012 | 3028 1044.27/1044.53 c 1043s | 19 | 3033308 | 548182 | 50296 22 | 1012 | 3028 1046.37/1046.65 c 1045s | 19 | 3040241 | 549382 | 50296 22 | 1012 | 3028 1048.46/1048.71 c 1047s | 19 | 3045595 | 550482 | 50296 22 | 1012 | 3028 1050.56/1050.80 c 1049s | 19 | 3050872 | 551582 | 50296 22 | 1012 | 3028 1052.76/1053.01 c 1052s | 19 | 3055760 | 552582 | 50296 22 | 1012 | 3028 1054.86/1055.19 c 1054s | 19 | 3060442 | 553582 | 50296 22 | 1012 | 3028 1056.87/1057.19 c 1056s | 19 | 3065771 | 554482 | 50296 22 | 1012 | 3028 1059.07/1059.38 c 1058s | 19 | 3070764 | 555482 | 50296 22 | 1012 | 3028 1061.27/1061.50 c 1060s | 19 | 3074653 | 556382 | 50296 23 | 1012 | 3028 1063.26/1063.57 c 1062s | 19 | 3081392 | 557782 | 50296 23 | 1012 | 3028 1065.36/1065.66 c 1064s | 19 | 3087746 | 558982 | 50296 23 | 1012 | 3028 1067.56/1067.80 c 1066s | 19 | 3095026 | 560382 | 50296 23 | 1012 | 3028 1069.66/1069.91 c 1068s | 19 | 3100817 | 561682 | 50296 23 | 1012 | 3028 1071.66/1071.97 c 1071s | 19 | 3106705 | 562782 | 50296 23 | 1012 | 3028 1073.76/1074.03 c 1073s | 19 | 3114191 | 564082 | 50296 23 | 1012 | 3028 1075.76/1076.07 c 1075s | 19 | 3120291 | 565382 | 50296 23 | 1012 | 3028 1077.87/1078.14 c 1077s | 19 | 3125654 | 566682 | 50296 23 | 1012 | 3028 1080.06/1080.31 c 1079s | 19 | 3131995 | 567882 | 50296 23 | 1012 | 3028 1082.16/1082.41 c 1081s | 19 | 3138117 | 569082 | 50296 23 | 1012 | 3028 1084.15/1084.43 c 1083s | 19 | 3146179 | 570382 | 50296 23 | 1012 | 3028 1086.35/1086.60 c 1085s | 19 | 3153629 | 571682 | 50296 23 | 1012 | 3028 1088.35/1088.67 c 1087s | 19 | 3161313 | 572882 | 50296 23 | 1012 | 3028 1090.45/1090.78 c 1089s | 19 | 3167347 | 573982 | 50296 23 | 1012 | 3028 1092.65/1092.95 c 1092s | 19 | 3173326 | 574982 | 50296 23 | 1012 | 3028 1094.65/1094.96 c 1094s | 19 | 3179108 | 575982 | 50296 23 | 1012 | 3028 1096.75/1097.05 c 1096s | 19 | 3183814 | 576882 | 50296 23 | 1012 | 3028 1098.84/1099.14 c 1098s | 19 | 3188277 | 577882 | 50296 23 | 1012 | 3028 1100.85/1101.19 c 1100s | 19 | 3192398 | 578782 | 50296 23 | 1012 | 3028 1102.94/1103.25 c 1102s | 19 | 3195780 | 579782 | 50296 23 | 1012 | 3028 1105.14/1105.44 c 1104s | 19 | 3200689 | 580782 | 50296 23 | 1012 | 3028 1107.24/1107.59 c 1106s | 19 | 3205182 | 581782 | 50296 23 | 1012 | 3028 1109.53/1109.82 c 1108s | 19 | 3209688 | 582782 | 50296 23 | 1012 | 3028 1111.85/1112.16 c 1111s | 19 | 3214398 | 583682 | 50296 24 | 1012 | 3028 1113.94/1114.20 c 1113s | 19 | 3220554 | 584882 | 50296 24 | 1012 | 3028 1116.04/1116.33 c 1115s | 19 | 3226812 | 586182 | 50296 24 | 1012 | 3028 1118.14/1118.43 c 1117s | 19 | 3233316 | 587582 | 50296 24 | 1012 | 3028 1120.34/1120.64 c 1119s | 19 | 3241374 | 588782 | 50296 24 | 1012 | 3028 1122.54/1122.89 c 1121s | 19 | 3247682 | 589982 | 50296 24 | 1012 | 3028 1124.64/1124.93 c 1124s | 19 | 3252613 | 591082 | 50296 24 | 1012 | 3028 1126.74/1127.10 c 1126s | 19 | 3257294 | 592182 | 50296 24 | 1012 | 3028 1128.94/1129.21 c 1128s | 19 | 3261920 | 593282 | 50296 24 | 1012 | 3028 1130.94/1131.27 c 1130s | 19 | 3267272 | 594382 | 50296 24 | 1012 | 3028 1132.93/1133.27 c 1132s | 19 | 3271667 | 595382 | 50296 24 | 1012 | 3028 1134.94/1135.30 c 1134s | 19 | 3277059 | 596382 | 50296 24 | 1012 | 3028 1137.03/1137.30 c 1136s | 19 | 3281678 | 597382 | 50296 24 | 1012 | 3028 1139.03/1139.35 c 1138s | 19 | 3285576 | 598382 | 50296 24 | 1012 | 3028 1141.13/1141.40 c 1140s | 19 | 3289509 | 599282 | 50296 24 | 1012 | 3028 1143.23/1143.52 c 1142s | 19 | 3294989 | 600282 | 50296 24 | 1012 | 3028 1145.33/1145.64 c 1144s | 19 | 3301535 | 601382 | 50296 24 | 1012 | 3028 1147.43/1147.77 c 1146s | 19 | 3306600 | 602382 | 50296 24 | 1012 | 3028 1149.72/1150.00 c 1149s | 19 | 3310935 | 603382 | 50296 24 | 1012 | 3028 1151.82/1152.10 c 1151s | 19 | 3314637 | 604182 | 50296 24 | 1012 | 3028 1153.92/1154.26 c 1153s | 19 | 3319441 | 605082 | 50296 24 | 1012 | 3028 1156.02/1156.31 c 1155s | 19 | 3322978 | 605882 | 50296 24 | 1012 | 3028 1158.03/1158.36 c 1157s | 19 | 3326925 | 606782 | 50296 24 | 1012 | 3028 1160.22/1160.52 c 1159s | 19 | 3331254 | 607782 | 50296 24 | 1012 | 3028 1162.32/1162.64 c 1161s | 19 | 3335315 | 608782 | 50296 24 | 1012 | 3028 1164.42/1164.70 c 1163s | 19 | 3339495 | 609682 | 50296 24 | 1012 | 3028 1166.42/1166.78 c 1165s | 19 | 3344219 | 610582 | 50296 24 | 1012 | 3028 1168.81/1169.16 c 1168s | 19 | 3349087 | 611482 | 50296 25 | 1012 | 3028 1170.81/1171.19 c 1170s | 19 | 3354284 | 612682 | 50296 25 | 1012 | 3028 1173.01/1173.33 c 1172s | 19 | 3361279 | 613982 | 50296 25 | 1012 | 3028 1176.61/1176.91 c 1175s | 19 | 3366489 | 614982 | 50296 25 | 1012 | 3028 1183.31/1183.62 c 1182s | 19 | 3367302 | 615082 | 50296 25 | 1012 | 3028 1187.00/1187.38 c 1186s | 19 | 3368880 | 615282 | 50296 25 | 1012 | 3028 1191.30/1191.67 c 1190s | 19 | 3372366 | 615982 | 50296 25 | 1012 | 3028 1193.40/1193.75 c 1192s | 19 | 3382216 | 617582 | 50296 25 | 1012 | 3028 1195.41/1195.75 c 1194s | 19 | 3383054 | 617782 | 50296 25 | 1012 | 3028 1197.40/1197.78 c 1196s | 19 | 3391718 | 619182 | 50296 25 | 1012 | 3028 1199.50/1199.81 c 1198s | 19 | 3399840 | 620582 | 50296 25 | 1012 | 3028 1201.60/1201.93 c 1201s | 19 | 3409858 | 622182 | 50296 25 | 1012 | 3028 1203.60/1203.96 c 1203s | 19 | 3416457 | 623582 | 50296 25 | 1012 | 3028 1205.59/1205.99 c 1205s | 19 | 3422161 | 624782 | 50296 25 | 1012 | 3028 1207.79/1208.12 c 1207s | 19 | 3428222 | 626182 | 50296 25 | 1012 | 3028 1209.80/1210.12 c 1209s | 19 | 3433777 | 627482 | 50296 25 | 1012 | 3028 1211.79/1212.20 c 1211s | 19 | 3440055 | 628882 | 50296 25 | 1012 | 3028 1219.29/1219.68 c 1218s | 19 | 3445684 | 629882 | 50296 25 | 1012 | 3028 1221.49/1221.85 c 1220s | 19 | 3453771 | 631082 | 50296 25 | 1012 | 3028 1223.49/1223.87 c 1222s | 19 | 3459958 | 632282 | 50296 25 | 1012 | 3028 1225.59/1225.96 c 1225s | 19 | 3470727 | 633782 | 50296 25 | 1012 | 3028 1227.79/1228.17 c 1227s | 19 | 3477861 | 635082 | 50296 25 | 1012 | 3028 1229.89/1230.27 c 1229s | 19 | 3486248 | 636182 | 50296 25 | 1012 | 3028 1231.99/1232.36 c 1231s | 19 | 3492861 | 637382 | 50296 25 | 1012 | 3028 1233.99/1234.36 c 1233s | 19 | 3501608 | 638582 | 50296 25 | 1012 | 3028 1236.38/1236.74 c 1235s | 19 | 3506073 | 639682 | 50296 26 | 1012 | 3028 1238.39/1238.74 c 1237s | 19 | 3512994 | 640982 | 50296 26 | 1012 | 3028 1240.49/1240.80 c 1239s | 19 | 3522669 | 642382 | 50296 26 | 1012 | 3028 1242.58/1242.94 c 1242s | 19 | 3532799 | 643882 | 50296 26 | 1012 | 3028 1244.68/1245.02 c 1244s | 19 | 3540173 | 645182 | 50296 26 | 1012 | 3028 1246.78/1247.10 c 1246s | 19 | 3546252 | 646482 | 50296 26 | 1012 | 3028 1248.89/1249.21 c 1248s | 19 | 3553695 | 647782 | 50296 26 | 1012 | 3028 1250.99/1251.39 c 1250s | 19 | 3559617 | 649082 | 50296 26 | 1012 | 3028 1253.19/1253.52 c 1252s | 19 | 3566039 | 650282 | 50296 26 | 1012 | 3028 1255.29/1255.64 c 1254s | 19 | 3572980 | 651582 | 50296 26 | 1012 | 3028 1257.39/1257.74 c 1256s | 19 | 3578541 | 652782 | 50296 26 | 1012 | 3028 1259.98/1260.33 c 1259s | 19 | 3584704 | 653882 | 50296 26 | 1012 | 3028 1262.18/1262.53 c 1261s | 19 | 3591014 | 654782 | 50296 26 | 1012 | 3028 1264.28/1264.66 c 1263s | 19 | 3595030 | 655682 | 50296 26 | 1012 | 3028 1266.38/1266.75 c 1265s | 19 | 3599464 | 656582 | 50296 26 | 1012 | 3028 1268.38/1268.77 c 1267s | 19 | 3603439 | 657382 | 50296 26 | 1012 | 3028 1270.48/1270.85 c 1269s | 19 | 3606995 | 658082 | 50296 26 | 1012 | 3028 1272.48/1272.87 c 1271s | 19 | 3611285 | 658882 | 50296 26 | 1012 | 3028 1274.58/1274.99 c 1274s | 19 | 3616136 | 659782 | 50296 26 | 1012 | 3028 1276.67/1277.07 c 1276s | 19 | 3619876 | 660582 | 50296 26 | 1012 | 3028 1278.77/1279.13 c 1278s | 19 | 3623998 | 661482 | 50296 26 | 1012 | 3028 1280.87/1281.28 c 1280s | 19 | 3628356 | 662382 | 55326 26 | 1012 | 3028 1283.17/1283.52 c 1282s | 19 | 3632386 | 663182 | 55326 26 | 1012 | 3028 1285.17/1285.58 c 1284s | 19 | 3636335 | 663982 | 55326 26 | 1012 | 3028 1287.37/1287.72 c 1286s | 19 | 3639506 | 664782 | 55326 26 | 1012 | 3028 1289.47/1289.82 c 1288s | 19 | 3643016 | 665582 | 55326 26 | 1012 | 3028 1291.47/1291.89 c 1290s | 19 | 3648652 | 666382 | 55326 26 | 1012 | 3028 1292.37/1292.78 c 1291s | 20 | 3651332 | 666827 | 55326 26 | 1012 | 3028 1299.16/1299.52 c 1298s | 20 | 3656995 | 667627 | 55326 26 | 1012 | 3028 1301.16/1301.58 c 1300s | 20 | 3659690 | 668127 | 55326 26 | 1012 | 3028 1303.16/1303.59 c 1302s | 20 | 3666406 | 669127 | 55326 26 | 1012 | 3028 1305.26/1305.61 c 1304s | 20 | 3675303 | 670227 | 55326 26 | 1012 | 3028 1307.26/1307.63 c 1306s | 20 | 3682151 | 671327 | 55326 26 | 1012 | 3028 1309.25/1309.68 c 1308s | 20 | 3689659 | 672527 | 55326 27 | 1012 | 3028 1311.36/1311.75 c 1310s | 20 | 3694949 | 673327 | 55326 27 | 1012 | 3028 1313.46/1313.87 c 1312s | 20 | 3703072 | 674827 | 55326 27 | 1012 | 3028 1315.46/1315.88 c 1314s | 20 | 3708982 | 676627 | 55326 27 | 1012 | 3028 1317.47/1317.90 c 1316s | 20 | 3715937 | 678227 | 55326 27 | 1012 | 3028 1319.55/1319.94 c 1319s | 20 | 3724983 | 679527 | 55326 27 | 1012 | 3028 1321.65/1322.06 c 1321s | 20 | 3732808 | 680827 | 55326 27 | 1012 | 3028 1323.65/1324.07 c 1323s | 20 | 3741575 | 682127 | 55326 27 | 1012 | 3028 1325.75/1326.15 c 1325s | 20 | 3749188 | 683427 | 55326 27 | 1012 | 3028 1327.85/1328.20 c 1327s | 20 | 3757316 | 684327 | 55326 27 | 1012 | 3028 1329.95/1330.38 c 1329s | 20 | 3762569 | 685227 | 55326 27 | 1012 | 3028 1332.25/1332.61 c 1331s | 20 | 3769653 | 686227 | 55326 27 | 1012 | 3028 1334.35/1334.75 c 1333s | 20 | 3775193 | 687127 | 55326 27 | 1012 | 3028 1336.45/1336.87 c 1335s | 20 | 3779791 | 688027 | 55326 27 | 1012 | 3028 1342.64/1343.08 c 1342s | 20 | 3783215 | 688527 | 55326 27 | 1012 | 3028 1344.74/1345.10 c 1344s | 20 | 3787585 | 689227 | 55326 27 | 1012 | 3028 1346.84/1347.28 c 1346s | 20 | 3793821 | 690127 | 55326 27 | 1012 | 3028 1349.14/1349.52 c 1348s | 20 | 3797705 | 690627 | 55326 27 | 1012 | 3028 1351.34/1351.73 c 1350s | 20 | 3802361 | 691427 | 55326 27 | 1012 | 3028 1353.54/1353.91 c 1352s | 20 | 3807399 | 692227 | 55326 27 | 1012 | 3028 1355.74/1356.10 c 1355s | 20 | 3811605 | 692927 | 55326 27 | 1012 | 3028 1358.04/1358.43 c 1357s | 20 | 3816642 | 693827 | 55326 27 | 1012 | 3028 1360.23/1360.65 c 1359s | 20 | 3820072 | 694527 | 55326 27 | 1012 | 3028 1362.33/1362.71 c 1361s | 20 | 3823825 | 695127 | 55326 27 | 1012 | 3028 1364.33/1364.74 c 1363s | 20 | 3827442 | 695727 | 55326 27 | 1012 | 3028 1366.33/1366.78 c 1365s | 20 | 3831940 | 696327 | 55326 27 | 1012 | 3028 1368.73/1369.15 c 1368s | 20 | 3834299 | 696927 | 55326 27 | 1012 | 3028 1370.83/1371.27 c 1370s | 20 | 3835812 | 697327 | 55326 27 | 1012 | 3028 1373.03/1373.45 c 1372s | 20 | 3838545 | 697727 | 55326 27 | 1012 | 3028 1375.33/1375.73 c 1374s | 20 | 3841555 | 698327 | 55326 27 | 1012 | 3028 1377.63/1378.01 c 1377s | 20 | 3845116 | 699027 | 55326 27 | 1012 | 3028 1379.83/1380.26 c 1379s | 20 | 3848622 | 699527 | 55326 27 | 1012 | 3028 1382.03/1382.47 c 1381s | 20 | 3851855 | 700027 | 55326 27 | 1012 | 3028 1384.13/1384.55 c 1383s | 20 | 3854743 | 700527 | 55326 27 | 1012 | 3028 1386.23/1386.61 c 1385s | 20 | 3857917 | 701127 | 55326 27 | 1012 | 3028 1388.63/1389.00 c 1388s | 20 | 3863820 | 701827 | 55326 28 | 1012 | 3028 1390.73/1391.14 c 1390s | 20 | 3870463 | 702827 | 55326 28 | 1012 | 3028 1392.73/1393.16 c 1392s | 20 | 3875340 | 703727 | 55326 28 | 1012 | 3028 1395.03/1395.40 c 1394s | 20 | 3881296 | 704827 | 55326 28 | 1012 | 3028 1397.23/1397.62 c 1396s | 20 | 3887935 | 705927 | 55326 28 | 1012 | 3028 1399.23/1399.66 c 1398s | 20 | 3894060 | 706927 | 55326 28 | 1012 | 3028 1401.62/1402.00 c 1401s | 20 | 3895290 | 707127 | 55326 28 | 1012 | 3028 1403.72/1404.14 c 1403s | 20 | 3901740 | 708327 | 55326 28 | 1012 | 3028 1406.12/1406.51 c 1405s | 20 | 3908565 | 709527 | 55326 28 | 1012 | 3028 1408.22/1408.67 c 1407s | 20 | 3915801 | 710527 | 55326 28 | 1012 | 3028 1410.42/1410.81 c 1409s | 20 | 3923382 | 711727 | 55326 28 | 1012 | 3028 1412.52/1412.94 c 1412s | 20 | 3932006 | 713027 | 55326 28 | 1012 | 3028 1414.52/1414.96 c 1414s | 20 | 3939582 | 714127 | 55326 28 | 1012 | 3028 1416.72/1417.12 c 1416s | 20 | 3947681 | 715327 | 55326 28 | 1012 | 3028 1418.82/1419.28 c 1418s | 20 | 3956080 | 716527 | 55326 28 | 1012 | 3028 1421.12/1421.52 c 1420s | 20 | 3962228 | 717527 | 55326 28 | 1012 | 3028 1423.12/1423.57 c 1422s | 20 | 3971492 | 718627 | 55326 28 | 1012 | 3028 1425.22/1425.65 c 1424s | 20 | 3980394 | 719727 | 55326 28 | 1012 | 3028 1427.32/1427.78 c 1426s | 20 | 3989062 | 720927 | 55326 28 | 1012 | 3028 1429.42/1429.83 c 1428s | 20 | 3993822 | 721727 | 55326 28 | 1012 | 3028 1431.42/1431.87 c 1430s | 20 | 3999340 | 722627 | 55326 28 | 1012 | 3028 1433.52/1433.98 c 1433s | 20 | 4005521 | 723627 | 55326 28 | 1012 | 3028 1435.72/1436.16 c 1435s | 20 | 4012698 | 724627 | 55326 28 | 1012 | 3028 1437.82/1438.24 c 1437s | 20 | 4019386 | 725627 | 55326 28 | 1012 | 3028 1439.82/1440.28 c 1439s | 20 | 4024394 | 726427 | 55326 28 | 1012 | 3028 1441.91/1442.38 c 1441s | 20 | 4029604 | 727227 | 55326 28 | 1012 | 3028 1444.11/1444.58 c 1443s | 20 | 4035489 | 728027 | 55326 28 | 1012 | 3028 1446.22/1446.61 c 1445s | 20 | 4041394 | 729127 | 55326 28 | 1012 | 3028 1448.21/1448.70 c 1447s | 20 | 4048411 | 730027 | 55326 28 | 1012 | 3028 1450.41/1450.84 c 1449s | 20 | 4056074 | 731027 | 55326 28 | 1012 | 3028 1452.72/1453.15 c 1452s | 20 | 4063222 | 731927 | 55326 29 | 1012 | 3028 1454.81/1455.25 c 1454s | 20 | 4070005 | 733027 | 55326 29 | 1012 | 3028 1456.92/1457.36 c 1456s | 20 | 4074227 | 733727 | 55326 29 | 1012 | 3028 1459.12/1459.53 c 1458s | 20 | 4082663 | 734927 | 55326 29 | 1012 | 3028 1461.22/1461.65 c 1460s | 20 | 4088047 | 736027 | 55326 29 | 1012 | 3028 1463.22/1463.66 c 1462s | 20 | 4093486 | 737027 | 55326 29 | 1012 | 3028 1465.32/1465.78 c 1464s | 20 | 4103259 | 738527 | 55326 29 | 1012 | 3028 1467.52/1467.97 c 1467s | 20 | 4111164 | 739827 | 55326 29 | 1012 | 3028 1469.62/1470.06 c 1469s | 20 | 4120567 | 741227 | 55326 29 | 1012 | 3028 1471.72/1472.11 c 1471s | 20 | 4129615 | 742527 | 55326 29 | 1012 | 3028 1473.82/1474.21 c 1473s | 20 | 4136309 | 743527 | 55326 29 | 1012 | 3028 1475.92/1476.32 c 1475s | 20 | 4145172 | 744827 | 55326 29 | 1012 | 3028 1478.02/1478.43 c 1477s | 20 | 4152531 | 745927 | 55326 29 | 1012 | 3028 1480.12/1480.52 c 1479s | 20 | 4160835 | 747027 | 55326 29 | 1012 | 3028 1482.11/1482.58 c 1481s | 20 | 4167745 | 748127 | 55326 29 | 1012 | 3028 1484.21/1484.61 c 1483s | 20 | 4174233 | 749227 | 55326 29 | 1012 | 3028 1486.31/1486.72 c 1485s | 20 | 4179982 | 750227 | 55326 29 | 1012 | 3028 1488.41/1488.89 c 1487s | 20 | 4185042 | 751127 | 55326 29 | 1012 | 3028 1490.61/1491.05 c 1490s | 20 | 4189993 | 752027 | 55326 29 | 1012 | 3028 1492.71/1493.10 c 1492s | 20 | 4194654 | 752927 | 55326 29 | 1012 | 3028 1494.81/1495.23 c 1494s | 20 | 4200288 | 753827 | 55326 29 | 1012 | 3028 1497.01/1497.45 c 1496s | 20 | 4205161 | 754727 | 55326 29 | 1012 | 3028 1499.21/1499.61 c 1498s | 20 | 4209743 | 755527 | 55326 29 | 1012 | 3028 1501.22/1501.68 c 1500s | 20 | 4213976 | 756227 | 55326 29 | 1012 | 3028 1503.21/1503.68 c 1502s | 20 | 4220140 | 757127 | 55326 29 | 1012 | 3028 1505.52/1505.91 c 1504s | 20 | 4224213 | 758027 | 55326 29 | 1012 | 3028 1507.61/1508.01 c 1507s | 20 | 4228764 | 758927 | 55326 29 | 1012 | 3028 1509.71/1510.13 c 1509s | 20 | 4233636 | 759927 | 55326 29 | 1012 | 3028 1511.91/1512.30 c 1511s | 20 | 4238291 | 760827 | 55326 29 | 1012 | 3028 1514.01/1514.42 c 1513s | 20 | 4243846 | 761727 | 55326 29 | 1012 | 3028 1516.51/1516.96 c 1516s | 20 | 4248710 | 762527 | 55326 30 | 1012 | 3028 1518.51/1518.99 c 1518s | 20 | 4256458 | 763727 | 55326 30 | 1012 | 3028 1520.61/1521.05 c 1520s | 20 | 4264834 | 765027 | 55326 30 | 1012 | 3028 1522.91/1523.30 c 1522s | 20 | 4272533 | 766327 | 55326 30 | 1012 | 3028 1525.01/1525.41 c 1524s | 20 | 4282352 | 767627 | 55326 30 | 1012 | 3028 1527.00/1527.43 c 1526s | 20 | 4290509 | 768927 | 55326 30 | 1012 | 3028 1529.10/1529.56 c 1528s | 20 | 4299047 | 770127 | 55326 30 | 1012 | 3028 1531.30/1531.70 c 1530s | 20 | 4305675 | 771327 | 55326 30 | 1012 | 3028 1533.40/1533.87 c 1532s | 20 | 4313439 | 772527 | 55326 30 | 1012 | 3028 1535.50/1535.99 c 1535s | 20 | 4321731 | 773827 | 55326 30 | 1012 | 3028 1537.60/1538.03 c 1537s | 20 | 4329281 | 774927 | 55326 30 | 1012 | 3028 1539.80/1540.25 c 1539s | 20 | 4335153 | 775927 | 55326 30 | 1012 | 3028 1542.00/1542.44 c 1541s | 20 | 4340804 | 776927 | 55326 30 | 1012 | 3028 1544.01/1544.47 c 1543s | 20 | 4345961 | 778027 | 55326 30 | 1012 | 3028 1546.10/1546.51 c 1545s | 20 | 4349928 | 778827 | 55326 30 | 1012 | 3028 1548.30/1548.77 c 1547s | 20 | 4353539 | 779627 | 55326 30 | 1012 | 3028 1552.11/1552.56 c 1551s | 20 | 4357135 | 780227 | 55326 30 | 1012 | 3028 1555.70/1556.17 c 1555s | 20 | 4358453 | 780627 | 55326 30 | 1012 | 3028 1557.80/1558.26 c 1557s | 20 | 4364818 | 781727 | 55326 30 | 1012 | 3028 1559.90/1560.35 c 1559s | 20 | 4373029 | 783027 | 55326 30 | 1012 | 3028 1562.00/1562.41 c 1561s | 20 | 4378912 | 784127 | 55326 30 | 1012 | 3028 1564.10/1564.50 c 1563s | 20 | 4386168 | 785327 | 55326 30 | 1012 | 3028 1566.11/1566.51 c 1565s | 20 | 4392102 | 786327 | 55326 30 | 1012 | 3028 1568.21/1568.61 c 1567s | 20 | 4398417 | 787427 | 55326 30 | 1012 | 3028 1570.41/1570.82 c 1569s | 20 | 4403473 | 788427 | 55326 30 | 1012 | 3028 1572.61/1573.03 c 1572s | 20 | 4410148 | 789527 | 55326 30 | 1012 | 3028 1574.80/1575.21 c 1574s | 20 | 4415626 | 790527 | 55326 30 | 1012 | 3028 1576.90/1577.31 c 1576s | 20 | 4420518 | 791327 | 55326 30 | 1012 | 3028 1579.00/1579.44 c 1578s | 20 | 4426204 | 792127 | 55326 31 | 1012 | 3028 1581.10/1581.56 c 1580s | 20 | 4428494 | 792627 | 55326 31 | 1012 | 3028 1583.20/1583.63 c 1582s | 20 | 4435670 | 793827 | 55326 31 | 1012 | 3028 1585.30/1585.73 c 1584s | 20 | 4441426 | 794927 | 55326 31 | 1012 | 3028 1588.30/1588.72 c 1587s | 20 | 4441777 | 795027 | 55326 31 | 1012 | 3028 1590.30/1590.74 c 1589s | 20 | 4448157 | 796427 | 55326 31 | 1012 | 3028 1592.40/1592.82 c 1591s | 20 | 4453147 | 797427 | 55326 31 | 1012 | 3028 1594.39/1594.82 c 1593s | 20 | 4461342 | 798827 | 55326 31 | 1012 | 3028 1596.39/1596.87 c 1595s | 20 | 4470327 | 800327 | 55326 31 | 1012 | 3028 1601.59/1602.01 c 1601s | 20 | 4473160 | 800927 | 55326 31 | 1012 | 3028 1603.59/1604.07 c 1603s | 20 | 4481607 | 802727 | 55326 31 | 1012 | 3028 1605.70/1606.13 c 1605s | 20 | 4488882 | 804227 | 55326 31 | 1012 | 3028 1607.79/1608.20 c 1607s | 20 | 4495197 | 805827 | 55326 31 | 1012 | 3028 1609.79/1610.26 c 1609s | 20 | 4501294 | 807427 | 55326 31 | 1012 | 3028 1611.90/1612.35 c 1611s | 20 | 4509826 | 808927 | 55326 31 | 1012 | 3028 1614.00/1614.44 c 1613s | 20 | 4516837 | 810127 | 55326 31 | 1012 | 3028 1616.00/1616.45 c 1615s | 20 | 4524189 | 811527 | 55326 31 | 1012 | 3028 1618.10/1618.50 c 1617s | 20 | 4531233 | 812927 | 55326 31 | 1012 | 3028 1620.09/1620.50 c 1619s | 20 | 4538566 | 814227 | 55326 31 | 1012 | 3028 1622.10/1622.51 c 1621s | 20 | 4544679 | 815327 | 55326 31 | 1012 | 3028 1624.09/1624.53 c 1623s | 20 | 4552480 | 816527 | 55326 31 | 1012 | 3028 1626.19/1626.61 c 1625s | 20 | 4560034 | 817827 | 55326 31 | 1012 | 3028 1628.29/1628.77 c 1627s | 20 | 4566995 | 819127 | 55326 31 | 1012 | 3028 1630.39/1630.85 c 1629s | 20 | 4576378 | 820627 | 55326 31 | 1012 | 3028 1632.49/1632.94 c 1632s | 20 | 4583705 | 821927 | 55326 31 | 1012 | 3028 1635.19/1635.61 c 1634s | 20 | 4590143 | 823027 | 55326 32 | 1012 | 3028 1637.19/1637.63 c 1636s | 20 | 4597117 | 824427 | 55326 32 | 1012 | 3028 1639.19/1639.68 c 1638s | 20 | 4604644 | 825927 | 55326 32 | 1012 | 3028 1641.39/1641.85 c 1640s | 20 | 4608337 | 826527 | 55326 32 | 1012 | 3028 1643.59/1644.01 c 1643s | 20 | 4614311 | 827627 | 55326 32 | 1012 | 3028 1645.59/1646.09 c 1645s | 20 | 4620168 | 828627 | 55326 32 | 1012 | 3028 1647.69/1648.14 c 1647s | 20 | 4625580 | 829627 | 55326 32 | 1012 | 3028 1649.69/1650.19 c 1649s | 20 | 4630070 | 830627 | 55326 32 | 1012 | 3028 1651.79/1652.27 c 1651s | 20 | 4635412 | 831727 | 55326 32 | 1012 | 3028 1653.88/1654.32 c 1653s | 20 | 4639712 | 832527 | 55326 32 | 1012 | 3028 1655.98/1656.40 c 1655s | 20 | 4644350 | 833327 | 55326 32 | 1012 | 3028 1658.08/1658.59 c 1657s | 20 | 4648027 | 834227 | 55326 32 | 1012 | 3028 1660.28/1660.72 c 1659s | 20 | 4651890 | 835127 | 55326 32 | 1012 | 3028 1662.58/1663.01 c 1662s | 20 | 4657047 | 835927 | 55326 32 | 1012 | 3028 1664.58/1665.05 c 1664s | 20 | 4661222 | 836627 | 55326 32 | 1012 | 3028 1666.78/1667.25 c 1666s | 20 | 4664962 | 837427 | 55326 32 | 1012 | 3028 1668.88/1669.34 c 1668s | 20 | 4669186 | 838227 | 55326 32 | 1012 | 3028 1670.98/1671.42 c 1670s | 20 | 4672891 | 839027 | 55326 32 | 1012 | 3028 1673.08/1673.53 c 1672s | 20 | 4677959 | 839827 | 55326 32 | 1012 | 3028 1675.08/1675.56 c 1674s | 20 | 4682026 | 840527 | 55326 32 | 1012 | 3028 1677.28/1677.72 c 1676s | 20 | 4686218 | 841527 | 55326 32 | 1012 | 3028 1679.28/1679.80 c 1678s | 20 | 4690286 | 842327 | 55326 32 | 1012 | 3028 1681.38/1681.89 c 1680s | 20 | 4694882 | 843227 | 55326 32 | 1012 | 3028 1683.48/1683.96 c 1683s | 20 | 4697825 | 844227 | 55326 32 | 1012 | 3028 1685.48/1685.99 c 1685s | 20 | 4703341 | 845027 | 55326 32 | 1012 | 3028 1687.58/1688.02 c 1687s | 20 | 4707098 | 845727 | 55326 32 | 1012 | 3028 1689.78/1690.26 c 1689s | 20 | 4711139 | 846527 | 55326 32 | 1012 | 3028 1691.88/1692.33 c 1691s | 20 | 4714599 | 847427 | 55326 32 | 1012 | 3028 1693.88/1694.37 c 1693s | 20 | 4718619 | 848127 | 55326 32 | 1012 | 3028 1696.18/1696.69 c 1695s | 20 | 4721532 | 848927 | 55326 32 | 1012 | 3028 1698.37/1698.82 c 1697s | 20 | 4724002 | 849727 | 55326 32 | 1012 | 3028 1700.57/1701.08 c 1700s | 20 | 4727823 | 850827 | 55326 32 | 1012 | 3028 1702.67/1703.14 c 1702s | 20 | 4731754 | 851627 | 55326 32 | 1012 | 3028 1704.87/1705.35 c 1704s | 20 | 4734786 | 852427 | 55326 33 | 1012 | 3028 1706.98/1707.44 c 1706s | 20 | 4738640 | 853527 | 55326 33 | 1012 | 3028 1709.09/1709.51 c 1708s | 20 | 4743329 | 854727 | 55326 33 | 1012 | 3028 1711.19/1711.62 c 1710s | 20 | 4748420 | 856127 | 55326 33 | 1012 | 3028 1713.28/1713.72 c 1712s | 20 | 4754344 | 857527 | 55326 33 | 1012 | 3028 1715.38/1715.80 c 1714s | 20 | 4761627 | 858627 | 55326 33 | 1012 | 3028 1717.38/1717.86 c 1716s | 20 | 4767706 | 859727 | 55326 33 | 1012 | 3028 1719.58/1720.06 c 1719s | 20 | 4773225 | 860827 | 55326 33 | 1012 | 3028 1721.68/1722.17 c 1721s | 20 | 4779875 | 861927 | 55326 33 | 1012 | 3028 1723.78/1724.27 c 1723s | 20 | 4783352 | 863027 | 55326 33 | 1012 | 3028 1725.78/1726.29 c 1725s | 20 | 4789610 | 864027 | 55326 33 | 1012 | 3028 1727.98/1728.41 c 1727s | 20 | 4795314 | 865027 | 55326 33 | 1012 | 3028 1730.08/1730.54 c 1729s | 20 | 4801482 | 866127 | 55326 33 | 1012 | 3028 1734.17/1734.60 c 1733s | 20 | 4804393 | 866527 | 55326 33 | 1012 | 3028 1736.27/1736.70 c 1735s | 20 | 4811570 | 867827 | 55326 33 | 1012 | 3028 1738.27/1738.73 c 1737s | 20 | 4818834 | 869027 | 55326 33 | 1012 | 3028 1740.37/1740.86 c 1739s | 20 | 4826065 | 870227 | 55326 33 | 1012 | 3028 1742.67/1743.16 c 1742s | 20 | 4829880 | 871027 | 55326 33 | 1012 | 3028 1744.97/1745.45 c 1744s | 20 | 4835231 | 872027 | 55326 33 | 1012 | 3028 1747.07/1747.50 c 1746s | 20 | 4840183 | 872927 | 55326 33 | 1012 | 3028 1749.17/1749.66 c 1748s | 20 | 4847036 | 873927 | 55326 33 | 1012 | 3028 1751.37/1751.85 c 1750s | 20 | 4853115 | 874927 | 55326 33 | 1012 | 3028 1753.37/1753.88 c 1752s | 20 | 4860426 | 876027 | 55326 33 | 1012 | 3028 1755.57/1756.02 c 1755s | 20 | 4866820 | 877127 | 55326 33 | 1012 | 3028 1757.77/1758.20 c 1757s | 20 | 4875055 | 878327 | 55326 33 | 1012 | 3028 1759.77/1760.21 c 1759s | 20 | 4880736 | 879327 | 55326 33 | 1012 | 3028 1761.88/1762.32 c 1761s | 20 | 4888066 | 880427 | 55326 33 | 1012 | 3028 1763.87/1764.39 c 1763s | 20 | 4893105 | 881527 | 55326 33 | 1012 | 3028 1766.37/1766.82 c 1765s | 20 | 4898360 | 882427 | 55326 34 | 1012 | 3028 1768.37/1768.85 c 1767s | 20 | 4903416 | 883227 | 55326 34 | 1012 | 3028 1770.57/1771.00 c 1770s | 20 | 4911869 | 884427 | 55326 34 | 1012 | 3028 1772.57/1773.05 c 1772s | 20 | 4918330 | 885627 | 55326 34 | 1012 | 3028 1774.67/1775.15 c 1774s | 20 | 4927766 | 887027 | 55326 34 | 1012 | 3028 1776.77/1777.20 c 1776s | 20 | 4934776 | 888527 | 55326 34 | 1012 | 3028 1778.87/1779.30 c 1778s | 20 | 4940628 | 889627 | 55326 34 | 1012 | 3028 1781.07/1781.52 c 1780s | 20 | 4949153 | 890927 | 55326 34 | 1012 | 3028 1783.66/1784.12 c 1783s | 20 | 4949605 | 891027 | 55326 34 | 1012 | 3028 1785.66/1786.14 c 1785s | 20 | 4954136 | 892127 | 55326 34 | 1012 | 3028 1791.07/1791.50 c 1790s | 20 | 4959193 | 893227 | 55326 34 | 1012 | 3028 1793.17/1793.61 c 1792s | 20 | 4967756 | 895027 | 55326 34 | 1012 | 3028 1795.17/1795.64 c 1794s | 20 | 4973040 | 896127 | 55326 34 | 1012 | 3028 1797.26/1797.76 c 1796s | 20 | 4979815 | 897627 | 55326 34 | 1012 | 3028 1799.36/1799.85 c 1798s | 20 | 4986093 | 898827 | 55326 34 | 1012 | 3028
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-4079836-1465249930/watcher-4079836-1465249930 -o /tmp/evaluation-result-4079836-1465249930/solver-4079836-1465249930 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465227498-31672 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079836-1465249930.opb pid=2187 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.33 2.25 2.25 3/179 2190 /proc/meminfo: memFree=29139696/32872528 swapFree=17892/1720544 [pid=2190] ppid=2187 vsize=756156 CPUtime=0 cores=1,3,5,7 /proc/2190/stat : 2190 (toysat) R 2187 2190 31655 0 -1 4202496 2828 0 0 0 0 0 0 0 20 0 4 0 106926120 774303744 3189 33554432000 4194304 16246674 140733355194384 140733355193808 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2190/statm: 189807 3198 441 2943 0 186701 0 [pid=2190/tid=2191] ppid=2187 vsize=806332 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2191/stat : 2191 (toysat) S 2187 2190 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106926120 825683968 3385 33554432000 4194304 16246674 140733355194384 140353240804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2190/tid=2192] ppid=2187 vsize=811452 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2192/stat : 2192 (toysat) S 2187 2190 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106926120 830926848 3403 33554432000 4194304 16246674 140733355194384 140353155869936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2190/tid=2193] ppid=2187 vsize=815548 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2193/stat : 2193 (toysat) S 2187 2190 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106926120 835121152 3421 33554432000 4194304 16246674 140733355194384 140353145396400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100141 s] /proc/loadavg: 2.33 2.25 2.25 3/179 2190 /proc/meminfo: memFree=29139696/32872528 swapFree=17892/1720544 [pid=2190] ppid=2187 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/2190/stat : 2190 (toysat) R 2187 2190 31655 0 -1 4202496 26303 0 0 0 5 4 0 0 20 0 4 0 106926120 1333334016 26602 33554432000 4194304 16246674 140733355194384 140733355193696 7364033 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2190/statm: 325521 26619 799 2943 0 322415 0 [pid=2190/tid=2191] ppid=2187 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2191/stat : 2191 (toysat) S 2187 2190 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106926120 1333334016 26630 33554432000 4194304 16246674 140733355194384 140353240804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2190/tid=2192] ppid=2187 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2192/stat : 2192 (toysat) S 2187 2190 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106926120 1333334016 26641 33554432000 4194304 16246674 140733355194384 140353155869936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2190/tid=2193] ppid=2187 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2193/stat : 2193 (toysat) S 2187 2190 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106926120 1333334016 26652 33554432000 4194304 16246674 140733355194384 140353145396400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200538 s] /proc/loadavg: 2.33 2.25 2.25 3/179 2190 /proc/meminfo: memFree=29139696/32872528 swapFree=17892/1720544 [pid=2190] ppid=2187 vsize=1302084 CPUtime=0.19 cores=1,3,5,7 /proc/2190/stat : 2190 (toysat) R 2187 2190 31655 0 -1 4202496 43901 0 0 0 12 7 0 0 20 0 4 0 106926120 1333334016 44199 33554432000 4194304 16246674 140733355194384 140733355193696 5899833 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2190/statm: 325521 44208 831 2943 0 322415 0 [pid=2190/tid=2191] ppid=2187 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2191/stat : 2191 (toysat) S 2187 2190 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106926120 1333334016 44213 33554432000 4194304 16246674 140733355194384 140353240804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2190/tid=2192] ppid=2187 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2192/stat : 2192 (toysat) S 2187 2190 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106926120 1333334016 44218 33554432000 4194304 16246674 140733355194384 140353155869936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2190/tid=2193] ppid=2187 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2193/stat : 2193 (toysat) S 2187 2190 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106926120 1333334016 44224 33554432000 4194304 16246674 140733355194384 140353145396400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1302084 [startup+0.300493 s] /proc/loadavg: 2.33 2.25 2.25 3/179 2190 /proc/meminfo: memFree=29139696/32872528 swapFree=17892/1720544 [pid=2190] ppid=2187 vsize=1302084 CPUtime=0.29 cores=1,3,5,7 /proc/2190/stat : 2190 (toysat) R 2187 2190 31655 0 -1 4202496 61821 0 0 0 19 10 0 0 20 0 4 0 106926120 1333334016 62119 33554432000 4194304 16246674 140733355194384 140733355193696 9616021 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2190/statm: 325521 62128 831 2943 0 322415 0 [pid=2190/tid=2191] ppid=2187 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2191/stat : 2191 (toysat) S 2187 2190 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106926120 1333334016 62133 33554432000 4194304 16246674 140733355194384 140353240804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2190/tid=2192] ppid=2187 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2192/stat : 2192 (toysat) S 2187 2190 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106926120 1333334016 62138 33554432000 4194304 16246674 140733355194384 140353155869936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2190/tid=2193] ppid=2187 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2193/stat : 2193 (toysat) S 2187 2190 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106926120 1333334016 62143 33554432000 4194304 16246674 140733355194384 140353145396400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1302084 [startup+0.700421 s] /proc/loadavg: 2.33 2.25 2.25 3/179 2190 /proc/meminfo: memFree=29139696/32872528 swapFree=17892/1720544 [pid=2190] ppid=2187 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/2190/stat : 2190 (toysat) R 2187 2190 31655 0 -1 4202496 86761 0 0 0 56 13 0 0 20 0 4 0 106926120 1344868352 87059 33554432000 4194304 16246674 140733355194384 140733355177376 6072256 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2190/statm: 328337 87059 907 2943 0 325231 0 [pid=2190/tid=2191] ppid=2187 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2191/stat : 2191 (toysat) S 2187 2190 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106926120 1344868352 87059 33554432000 4194304 16246674 140733355194384 140353240804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2190/tid=2192] ppid=2187 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2192/stat : 2192 (toysat) S 2187 2190 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106926120 1344868352 87059 33554432000 4194304 16246674 140733355194384 140353155869936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2190/tid=2193] ppid=2187 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2193/stat : 2193 (toysat) S 2187 2190 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106926120 1344868352 87059 33554432000 4194304 16246674 140733355194384 140353145396400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50041 s] /proc/loadavg: 2.33 2.25 2.25 3/183 2194 /proc/meminfo: memFree=28792540/32872528 swapFree=17892/1720544 [pid=2190] ppid=2187 vsize=1313348 CPUtime=1.49 cores=1,3,5,7 /proc/2190/stat : 2190 (toysat) R 2187 2190 31655 0 -1 4202496 94361 0 0 0 135 14 0 0 20 0 4 0 106926120 1344868352 94660 33554432000 4194304 16246674 140733355194384 140733355176256 5662075 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2190/statm: 328337 94675 909 2943 0 325231 0 [pid=2190/tid=2191] ppid=2187 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2191/stat : 2191 (toysat) S 2187 2190 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106926120 1344868352 94681 33554432000 4194304 16246674 140733355194384 140353240804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2190/tid=2192] ppid=2187 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2192/stat : 2192 (toysat) S 2187 2190 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106926120 1344868352 94689 33554432000 4194304 16246674 140733355194384 140353155869936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2190/tid=2193] ppid=2187 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2193/stat : 2193 (toysat) S 2187 2190 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106926120 1344868352 94692 33554432000 4194304 16246674 140733355194384 140353145396400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.10043 s] /proc/loadavg: 2.33 2.25 2.25 3/183 2194 /proc/meminfo: memFree=28347628/32872528 swapFree=17892/1720544 [pid=2190] ppid=2187 vsize=1313348 CPUtime=3.09 cores=1,3,5,7 /proc/2190/stat : 2190 (toysat) R 2187 2190 31655 0 -1 4202496 269546 0 0 0 269 40 0 0 20 0 4 0 106926120 1344868352 269844 33554432000 4194304 16246674 140733355194384 140733355176256 5531252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2190/statm: 328337 269844 909 2943 0 325231 0 [pid=2190/tid=2191] ppid=2187 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2191/stat : 2191 (toysat) S 2187 2190 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106926120 1344868352 269844 33554432000 4194304 16246674 140733355194384 140353240804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2190/tid=2192] ppid=2187 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2192/stat : 2192 (toysat) S 2187 2190 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106926120 1344868352 269844 33554432000 4194304 16246674 140733355194384 140353155869936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2190/tid=2193] ppid=2187 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2193/stat : 2193 (toysat) S 2187 2190 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106926120 1344868352 269844 33554432000 4194304 16246674 140733355194384 140353145396400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1313348 [startup+6.30042 s] /proc/loadavg: 2.46 2.28 2.26 3/183 2194 /proc/meminfo: memFree=28061160/32872528 swapFree=17892/1720544 [pid=2190] ppid=2187 vsize=1313348 CPUtime=6.29 cores=1,3,5,7 /proc/2190/stat : 2190 (toysat) R 2187 2190 31655 0 -1 4202496 269546 0 0 0 589 40 0 0 20 0 4 0 106926120 1344868352 269844 33554432000 4194304 16246674 140733355194384 140733355176256 5659385 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2190/statm: 328337 269844 909 2943 0 325231 0 [pid=2190/tid=2191] ppid=2187 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2191/stat : 2191 (toysat) S 2187 2190 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106926120 1344868352 269844 33554432000 4194304 16246674 140733355194384 140353240804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2190/tid=2192] ppid=2187 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2192/stat : 2192 (toysat) S 2187 2190 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106926120 1344868352 269844 33554432000 4194304 16246674 140733355194384 140353155869936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2190/tid=2193] ppid=2187 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2193/stat : 2193 (toysat) S 2187 2190 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106926120 1344868352 269844 33554432000 4194304 16246674 140733355194384 140353145396400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1313348 [startup+12.7004 s] /proc/loadavg: 2.43 2.28 2.26 4/183 2194 /proc/meminfo: memFree=28061096/32872528 swapFree=17892/1720544 [pid=2190] ppid=2187 vsize=1313348 CPUtime=12.69 cores=1,3,5,7 /proc/2190/stat : 2190 (toysat) R 2187 2190 31655 0 -1 4202496 269546 0 0 0 1229 40 0 0 20 0 4 0 106926120 1344868352 269844 33554432000 4194304 16246674 140733355194384 140733355176256 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2190/statm: 328337 269844 909 2943 0 325231 0 [pid=2190/tid=2191] ppid=2187 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2191/stat : 2191 (toysat) S 2187 2190 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106926120 1344868352 269844 33554432000 4194304 16246674 140733355194384 140353240804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2190/tid=2192] ppid=2187 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2192/stat : 2192 (toysat) S 2187 2190 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106926120 1344868352 269844 33554432000 4194304 16246674 140733355194384 140353155869936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2190/tid=2193] ppid=2187 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2193/stat : 2193 (toysat) S 2187 2190 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106926120 1344868352 269844 33554432000 4194304 16246674 140733355194384 140353145396400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1313348 [startup+25.5004 s] /proc/loadavg: 2.41 2.28 2.26 4/183 2194 /proc/meminfo: memFree=28061488/32872528 swapFree=17892/1720544 [pid=2190] ppid=2187 vsize=1313348 CPUtime=25.49 cores=1,3,5,7 /proc/2190/stat : 2190 (toysat) R 2187 2190 31655 0 -1 4202496 269549 0 0 0 2509 40 0 0 20 0 4 0 106926120 1344868352 269847 33554432000 4194304 16246674 140733355194384 140733355176256 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2190/statm: 328337 269847 912 2943 0 325231 0 [pid=2190/tid=2191] ppid=2187 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2191/stat : 2191 (toysat) S 2187 2190 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106926120 1344868352 269847 33554432000 4194304 16246674 140733355194384 140353240804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2190/tid=2192] ppid=2187 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2192/stat : 2192 (toysat) S 2187 2190 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106926120 1344868352 269847 33554432000 4194304 16246674 140733355194384 140353155869936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2190/tid=2193] ppid=2187 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2193/stat : 2193 (toysat) S 2187 2190 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106926120 1344868352 269847 33554432000 4194304 16246674 140733355194384 140353145396400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1313348 [startup+51.1005 s] /proc/loadavg: 2.33 2.27 2.26 3/183 2194 /proc/meminfo: memFree=28055664/32872528 swapFree=17892/1720544 [pid=2190] ppid=2187 vsize=1319492 CPUtime=51.08 cores=1,3,5,7 /proc/2190/stat : 2190 (toysat) R 2187 2190 31655 0 -1 4202496 270953 0 0 0 5068 40 0 0 20 0 4 0 106926120 1351159808 271251 33554432000 4194304 16246674 140733355194384 140733355177384 5823619 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2190/statm: 329873 271251 913 2943 0 326767 0 [pid=2190/tid=2191] ppid=2187 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2191/stat : 2191 (toysat) S 2187 2190 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106926120 1351159808 271251 33554432000 4194304 16246674 140733355194384 140353240804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2190/tid=2192] ppid=2187 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2192/stat : 2192 (toysat) S 2187 2190 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106926120 1351159808 271251 33554432000 4194304 16246674 140733355194384 140353155869936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2190/tid=2193] ppid=2187 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2193/stat : 2193 (toysat) S 2187 2190 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106926120 1351159808 271251 33554432000 4194304 16246674 140733355194384 140353145396400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1319492 [startup+102.301 s] /proc/loadavg: 2.32 2.27 2.26 3/184 2206 /proc/meminfo: memFree=28044956/32872528 swapFree=17892/1720544 [pid=2190] ppid=2187 vsize=1328708 CPUtime=102.28 cores=1,3,5,7 /proc/2190/stat : 2190 (toysat) R 2187 2190 31655 0 -1 4202496 273390 0 0 0 10188 40 0 0 20 0 4 0 106926120 1360596992 273688 33554432000 4194304 16246674 140733355194384 140733355176256 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2190/statm: 332177 273688 913 2943 0 329071 0 [pid=2190/tid=2191] ppid=2187 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2191/stat : 2191 (toysat) S 2187 2190 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106926120 1360596992 273688 33554432000 4194304 16246674 140733355194384 140353240804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2190/tid=2192] ppid=2187 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2192/stat : 2192 (toysat) S 2187 2190 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106926120 1360596992 273688 33554432000 4194304 16246674 140733355194384 140353155869936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2190/tid=2193] ppid=2187 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2193/stat : 2193 (toysat) S 2187 2190 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106926120 1360596992 273688 33554432000 4194304 16246674 140733355194384 140353145396400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1328708 ################ # More data... # ################ /proc/2190/task/2193/stat : 2193 (toysat) S 2187 2190 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140353145396400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1403460 [startup+1362.3 s] /proc/loadavg: 2.29 2.23 2.21 3/183 2307 /proc/meminfo: memFree=27993664/32872528 swapFree=17892/1720544 [pid=2190] ppid=2187 vsize=1403460 CPUtime=1361.93 cores=1,3,5,7 /proc/2190/stat : 2190 (toysat) R 2187 2190 31655 0 -1 4202496 292346 0 0 0 136139 54 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140733355176256 5523460 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2190/statm: 350865 292633 914 2943 0 347759 0 [pid=2190/tid=2191] ppid=2187 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2191/stat : 2191 (toysat) S 2187 2190 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140353240804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2190/tid=2192] ppid=2187 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2192/stat : 2192 (toysat) S 2187 2190 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140353155869936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2190/tid=2193] ppid=2187 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2193/stat : 2193 (toysat) S 2187 2190 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140353145396400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1403460 [startup+1422.3 s] /proc/loadavg: 2.15 2.20 2.20 3/183 2308 /proc/meminfo: memFree=27993996/32872528 swapFree=17892/1720544 [pid=2190] ppid=2187 vsize=1403460 CPUtime=1421.92 cores=1,3,5,7 /proc/2190/stat : 2190 (toysat) R 2187 2190 31655 0 -1 4202496 292347 0 0 0 142138 54 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140733355176256 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2190/statm: 350865 292633 914 2943 0 347759 0 [pid=2190/tid=2191] ppid=2187 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2191/stat : 2191 (toysat) S 2187 2190 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140353240804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2190/tid=2192] ppid=2187 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2192/stat : 2192 (toysat) S 2187 2190 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140353155869936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2190/tid=2193] ppid=2187 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2193/stat : 2193 (toysat) S 2187 2190 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140353145396400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1403460 [startup+1482.3 s] /proc/loadavg: 2.23 2.22 2.20 3/182 2309 /proc/meminfo: memFree=27992380/32872528 swapFree=17892/1720544 [pid=2190] ppid=2187 vsize=1403460 CPUtime=1481.91 cores=1,3,5,7 /proc/2190/stat : 2190 (toysat) R 2187 2190 31655 0 -1 4202496 292347 0 0 0 148136 55 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140733355176256 5822648 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2190/statm: 350865 292633 914 2943 0 347759 0 [pid=2190/tid=2191] ppid=2187 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2191/stat : 2191 (toysat) S 2187 2190 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140353240804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2190/tid=2192] ppid=2187 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2192/stat : 2192 (toysat) S 2187 2190 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140353155869936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2190/tid=2193] ppid=2187 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2193/stat : 2193 (toysat) S 2187 2190 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140353145396400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1403460 [startup+1542.31 s] /proc/loadavg: 2.19 2.20 2.19 3/183 2311 /proc/meminfo: memFree=27992500/32872528 swapFree=17892/1720544 [pid=2190] ppid=2187 vsize=1403460 CPUtime=1541.91 cores=1,3,5,7 /proc/2190/stat : 2190 (toysat) R 2187 2190 31655 0 -1 4202496 292347 0 0 0 154136 55 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140733355176256 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2190/statm: 350865 292633 914 2943 0 347759 0 [pid=2190/tid=2191] ppid=2187 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2191/stat : 2191 (toysat) S 2187 2190 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140353240804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2190/tid=2192] ppid=2187 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2192/stat : 2192 (toysat) S 2187 2190 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140353155869936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2190/tid=2193] ppid=2187 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2193/stat : 2193 (toysat) S 2187 2190 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140353145396400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1403460 [startup+1602.3 s] /proc/loadavg: 2.17 2.20 2.19 3/183 2312 /proc/meminfo: memFree=27992528/32872528 swapFree=17892/1720544 [pid=2190] ppid=2187 vsize=1403460 CPUtime=1601.89 cores=1,3,5,7 /proc/2190/stat : 2190 (toysat) R 2187 2190 31655 0 -1 4202496 292347 0 0 0 160133 56 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140733355193560 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2190/statm: 350865 292633 914 2943 0 347759 0 [pid=2190/tid=2191] ppid=2187 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2191/stat : 2191 (toysat) S 2187 2190 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140353240804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2190/tid=2192] ppid=2187 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2192/stat : 2192 (toysat) S 2187 2190 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140353155869936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2190/tid=2193] ppid=2187 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2193/stat : 2193 (toysat) S 2187 2190 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140353145396400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 1403460 [startup+1662.3 s] /proc/loadavg: 2.30 2.22 2.19 3/183 2313 /proc/meminfo: memFree=27992216/32872528 swapFree=17892/1720544 [pid=2190] ppid=2187 vsize=1403460 CPUtime=1661.88 cores=1,3,5,7 /proc/2190/stat : 2190 (toysat) R 2187 2190 31655 0 -1 4202496 292347 0 0 0 166131 57 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140733355176256 6012036 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2190/statm: 350865 292633 914 2943 0 347759 0 [pid=2190/tid=2191] ppid=2187 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2191/stat : 2191 (toysat) S 2187 2190 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140353240804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2190/tid=2192] ppid=2187 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2192/stat : 2192 (toysat) S 2187 2190 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140353155869936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2190/tid=2193] ppid=2187 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2193/stat : 2193 (toysat) S 2187 2190 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140353145396400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1403460 [startup+1722.3 s] /proc/loadavg: 2.26 2.22 2.19 3/184 2317 /proc/meminfo: memFree=27992360/32872528 swapFree=17892/1720544 [pid=2190] ppid=2187 vsize=1403460 CPUtime=1721.88 cores=1,3,5,7 /proc/2190/stat : 2190 (toysat) R 2187 2190 31655 0 -1 4202496 292347 0 0 0 172130 58 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140733355176256 6021072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2190/statm: 350865 292633 914 2943 0 347759 0 [pid=2190/tid=2191] ppid=2187 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2191/stat : 2191 (toysat) S 2187 2190 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140353240804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2190/tid=2192] ppid=2187 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2192/stat : 2192 (toysat) S 2187 2190 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140353155869936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2190/tid=2193] ppid=2187 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2193/stat : 2193 (toysat) S 2187 2190 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140353145396400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 1403460 [startup+1782.3 s] /proc/loadavg: 2.20 2.21 2.18 4/183 2318 /proc/meminfo: memFree=27992156/32872528 swapFree=17892/1720544 [pid=2190] ppid=2187 vsize=1403460 CPUtime=1781.86 cores=1,3,5,7 /proc/2190/stat : 2190 (toysat) R 2187 2190 31655 0 -1 4202496 292347 0 0 0 178128 58 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140733355176256 4206613 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2190/statm: 350865 292633 914 2943 0 347759 0 [pid=2190/tid=2191] ppid=2187 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2191/stat : 2191 (toysat) S 2187 2190 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140353240804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2190/tid=2192] ppid=2187 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2192/stat : 2192 (toysat) S 2187 2190 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140353155869936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2190/tid=2193] ppid=2187 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2193/stat : 2193 (toysat) S 2187 2190 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140353145396400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1403460 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.29 2.23 2.19 3/183 2320 /proc/meminfo: memFree=27992236/32872528 swapFree=17892/1720544 [pid=2190] ppid=2187 vsize=1403460 CPUtime=1800.06 cores=1,3,5,7 /proc/2190/stat : 2190 (toysat) R 2187 2190 31655 0 -1 4202496 292347 0 0 0 179947 59 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140733355176256 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2190/statm: 350865 292633 914 2943 0 347759 0 [pid=2190/tid=2191] ppid=2187 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2191/stat : 2191 (toysat) S 2187 2190 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140353240804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2190/tid=2192] ppid=2187 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2192/stat : 2192 (toysat) S 2187 2190 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140353155869936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2190/tid=2193] ppid=2187 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2193/stat : 2193 (toysat) S 2187 2190 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140353145396400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1403460 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 2190 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.29 2.23 2.19 3/183 2320 /proc/meminfo: memFree=27992236/32872528 swapFree=17892/1720544 [pid=2190] ppid=2187 vsize=1403460 CPUtime=1800.06 cores=1,3,5,7 /proc/2190/stat : 2190 (toysat) R 2187 2190 31655 0 -1 4202496 292347 0 0 0 179947 59 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140733355176256 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2190/statm: 350865 292633 914 2943 0 347759 0 [pid=2190/tid=2191] ppid=2187 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2191/stat : 2191 (toysat) S 2187 2190 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140353240804592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2190/tid=2192] ppid=2187 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2192/stat : 2192 (toysat) S 2187 2190 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140353155869936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2190/tid=2193] ppid=2187 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/2190/task/2193/stat : 2193 (toysat) S 2187 2190 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106926120 1437143040 292633 33554432000 4194304 16246674 140733355194384 140353145396400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1403460 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.08 CPU user time (s): 1799.48 CPU system time (s): 0.593909 CPU usage (%): 99.976 Max. virtual memory (cumulated for all children) (KiB): 1403460 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.48 system time used= 0.593909 maximum resident set size= 1170532 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 292347 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= 283 involuntary context switches= 1836 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.5843 second user time and 6.93694 second system time The end
Begin job on node117 at 2016-06-06 23:52:10 IDJOB=4079836 IDBENCH=24991 IDSOLVER=2542 FILE ID=node117/4079836-1465249930 RUNJOBID= node117-1465227498-31672 PBS_JOBID= 19843241 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_009_area_delay.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079836-1465249930/watcher-4079836-1465249930 -o /tmp/evaluation-result-4079836-1465249930/solver-4079836-1465249930 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465227498-31672 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079836-1465249930.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2aa6eb5ee09e1484657dfe3626167241 RANDOM SEED=506199901 node117.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 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.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 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: 29139976 kB Buffers: 4080 kB Cached: 71328 kB SwapCached: 55940 kB Active: 1236068 kB Inactive: 73148 kB Active(anon): 1180104 kB Inactive(anon): 55948 kB Active(file): 55964 kB Inactive(file): 17200 kB Unevictable: 1720544 kB Mlocked: 17892 kB SwapTotal: 67108856 kB SwapFree: 67043668 kB Dirty: 16732 kB Writeback: 0 kB AnonPages: 2899644 kB Mapped: 9784 kB Shmem: 0 kB Slab: 567284 kB SReclaimable: 11492 kB SUnreclaim: 555792 kB KernelStack: 1480 kB PageTables: 9764 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3044768 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2879488 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71708 MiB End job on node117 at 2016-06-07 00:22:10