| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_300_10_20.r.opb |
| MD5SUM | e82b2413101b8c36ea34c3d9f95f4ad5 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 19 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 17 |
| Optimality of the best value was proved | YES |
| Number of variables | 299 |
| Total number of constraints | 100 |
| Number of constraints which are clauses | 100 |
| 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 | 10 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 299 |
| 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 | 299 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 299 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T11:53:09+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-4105369-1466243589.opb"] 0.00/0.01 c use --random-gen="461818441 2234345869 1693580878 3009885544 1270650167 455368038 4089215538 3748922916 3444665095 4273401912 2354928375 734210884 2320336238 4025154467 4288081968 2539284939 2606049804 300553650 596798523 3858366598 3595505441 2884177572 4049553007 2235498978 1406487560 2071621271 3256567365 1994974127 293704651 3174008635 2506770459 358415148 305187047 3485526416 2666506611 1810722823 2718199594 101126508 896074561 1419143455 768874082 4109563131 1204655132 1004232675 160205523 497763907 3328664918 4094000964 1591004592 2530683849 4272186400 3034909246 2011440337 1340901176 2791975412 2773578809 3121362857 562862731 2957963330 2262772356 767510145 2812319787 1163523252 4265553816 1005246202 2361404877 2971742849 4111641772 3566937266 3148717358 474030922 2557065362 1291876840 1977251461 996628389 2087570679 1726044868 3139331705 251043599 212471013 597927685 2080328215 920236443 1326390865 173148938 2755757966 1625854139 3120670671 146831127 2385947376 3988746398 1175341145 2118226247 2676205110 4142292596 3158119724 2774864173 3788279667 2389550794 2465676885 3759356442 4067205258 4009576755 1870519212 3658200832 261207998 1050837663 3492778461 2819788403 1781518511 2275230646 176671397 2823833177 883039538 2916968038 3273668957 693835668 3655679843 1552482865 1586466717 3361847879 4071830232 806287397 2912236328 1322455543 607516375 2846316431 4240737768 3873368701 3137339423 2081107841 1884257151 2259766782 1879612925 950932072 107374867 1127761224 3124558196 617043488 3032671373 3769039302 1365388663 2714682074 4158328960 2384345492 2165699534 1737105260 2553136447 3229067222 1332882715 4268230449 810912388 778126495 3523312330 2877174582 341317601 77875587 138463089 443899125 1165999667 1929071365 3469602051 980183133 3099322112 2878531080 1264131765 1441163925 1280689 2715800906 2220751878 3931372428 3055969266 4229393777 3473998433 288588143 762544656 1445953101 2941613120 3257668812 1400537713 3473334549 1880643608 4277966960 3617770051 821511133 1421066354 1008949014 2654275756 4268089533 3752362805 849616573 3539957848 384401420 4059064849 2323486588 2075494384 294560262 1989355992 3438863530 3821519536 1986193599 2285486224 3461963113 1014755849 2185888108 667655158 2712914929 3202369230 1262455964 2135159047 2201089039 728031013 1523503799 1006416956 3076352467 1453427764 3242139924 3276546954 386450391 3340757366 3425176806 1531070967 2196921156 3398420821 3891553264 326625336 571646682 1567889569 2167421979 4198674314 1719136547 1125646027 3180725707 3753031531 1490198395 3377290660 794752074 3210294771 960498400 4107499931 1640916360 2641755286 2129083128 2973466365 1779899392 2198356751 2739123650 1693370035 2271438523 2361024100 3794977599 2691666604 116835508 2854150828 1181827879 3109050294 255 362436" option to reproduce the execution 0.00/0.01 c #vars 299 0.00/0.01 c #constraints 100 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 133 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 299 | 0 | 133 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.001s 0.00/0.02 c #wall_clock_time = 0.001s 0.00/0.02 c #decision = 299 0.00/0.02 c #random_decision = 2 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 o 299 0.00/0.02 c BCD2: updating upper bound: 299 -> 298 0.00/0.02 c BCD2: 0 <= obj <= 298 0.00/0.02 c BCD2: #cores=0, #unrelaxed=299, #relaxed=0, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 133 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 212 | 0 | 133 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 212 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 14: cost of the new core is >=1 0.00/0.02 c lower bound updated to 1 0.00/0.02 c BCD2: 1 <= obj <= 298 0.00/0.02 c BCD2: #cores=1, #unrelaxed=285, #relaxed=14, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 133 0 | 0 | 1 0.00/0.02 c 0.0s | 0 | 232 | 0 | 133 0 | 0 | 1 0.00/0.02 c #cpu_time = 0.001s 0.00/0.02 c #wall_clock_time = 0.001s 0.00/0.02 c #decision = 232 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 11: cost of the new core is >=1 0.00/0.02 c lower bound updated to 2 0.00/0.02 c BCD2: 2 <= obj <= 298 0.00/0.02 c BCD2: #cores=2, #unrelaxed=274, #relaxed=25, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 133 0 | 0 | 2 0.00/0.02 c 0.0s | 0 | 227 | 0 | 133 0 | 0 | 2 0.00/0.02 c #cpu_time = 0.001s 0.00/0.02 c #wall_clock_time = 0.001s 0.00/0.02 c #decision = 227 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 16: cost of the new core is >=1 0.00/0.02 c lower bound updated to 3 0.00/0.02 c BCD2: 3 <= obj <= 298 0.00/0.02 c BCD2: #cores=3, #unrelaxed=258, #relaxed=41, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 133 0 | 0 | 3 0.00/0.02 c 0.0s | 0 | 228 | 0 | 133 0 | 0 | 3 0.00/0.02 c #cpu_time = 0.001s 0.00/0.02 c #wall_clock_time = 0.001s 0.00/0.02 c #decision = 228 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 11: cost of the new core is >=1 0.00/0.02 c lower bound updated to 4 0.00/0.02 c BCD2: 4 <= obj <= 298 0.00/0.02 c BCD2: #cores=4, #unrelaxed=247, #relaxed=52, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=5 bias=5/6 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 133 0 | 0 | 4 0.00/0.03 c 0.0s | 0 | 223 | 0 | 133 0 | 0 | 4 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 223 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 13: cost of the new core is >=1 0.00/0.03 c lower bound updated to 5 0.00/0.03 c BCD2: 5 <= obj <= 298 0.00/0.03 c BCD2: #cores=5, #unrelaxed=234, #relaxed=65, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=6 bias=6/7 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 133 0 | 0 | 5 0.00/0.03 c 0.0s | 0 | 221 | 0 | 133 0 | 0 | 5 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 221 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 14: cost of the new core is >=1 0.00/0.03 c lower bound updated to 6 0.00/0.03 c BCD2: 6 <= obj <= 298 0.00/0.03 c BCD2: #cores=6, #unrelaxed=220, #relaxed=79, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=7 bias=7/8 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 133 0 | 0 | 6 0.00/0.03 c 0.0s | 0 | 215 | 0 | 133 0 | 0 | 6 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 215 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 12: cost of the new core is >=1 0.00/0.03 c lower bound updated to 7 0.00/0.03 c BCD2: 7 <= obj <= 298 0.00/0.03 c BCD2: #cores=7, #unrelaxed=208, #relaxed=91, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=8 bias=8/9 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 133 0 | 0 | 7 0.00/0.03 c 0.0s | 0 | 288 | 0 | 133 0 | 0 | 7 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 288 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 o 28 0.00/0.03 c BCD2: updating upper bound: 298 -> 27 0.00/0.03 c BCD2: 7 <= obj <= 27 0.00/0.03 c BCD2: #cores=7, #unrelaxed=208, #relaxed=91, #hardened=0 0.00/0.03 c BCD2: #sat=2 #unsat=8 bias=8/10 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 133 0 | 0 | 8 0.00/0.05 c 0.0s | 1 | 359 | 100 | 133 0 | 0 | 8 0.00/0.08 c 0.1s | 2 | 857 | 250 | 147 0 | 0 | 8 0.09/0.12 c 0.1s | 2 | 1298 | 376 | 162 1 | 0 | 8 0.09/0.12 c #cpu_time = 0.088s 0.09/0.12 c #wall_clock_time = 0.088s 0.09/0.12 c #decision = 1298 0.09/0.12 c #random_decision = 0 0.09/0.12 c #conflict = 376 0.09/0.12 c #restart = 2 0.09/0.12 c BCD2: relaxing 195 and merging with 7 cores into a new core of size 286: cost of the new core is >=8 0.09/0.12 c lower bound updated to 8 0.09/0.12 c BCD2: 8 <= obj <= 27 0.09/0.12 c BCD2: #cores=1, #unrelaxed=13, #relaxed=286, #hardened=0 0.09/0.12 c BCD2: #sat=2 #unsat=9 bias=9/11 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 162 0 | 19 | 8 0.09/0.15 c 0.0s | 1 | 419 | 100 | 162 0 | 19 | 39 0.19/0.20 c 0.1s | 2 | 1434 | 250 | 179 0 | 19 | 39 0.19/0.27 c 0.1s | 3 | 2228 | 475 | 197 2 | 19 | 39 0.28/0.37 c 0.3s | 4 | 3480 | 813 | 197 5 | 19 | 39 0.49/0.56 c 0.4s | 5 | 6407 | 1320 | 217 9 | 19 | 39 0.79/0.82 c 0.7s | 6 | 9185 | 2081 | 239 14 | 19 | 39 1.10/1.20 c 1.1s | 7 | 14052 | 3223 | 263 21 | 19 | 39 1.59/1.69 c 1.6s | 8 | 21562 | 4936 | 290 32 | 19 | 39 2.20/2.26 c 2.1s | 9 | 31484 | 7506 | 319 47 | 19 | 39 2.99/3.09 c 3.0s | 10 | 44662 | 11361 | 351 68 | 19 | 39 4.19/4.24 c 4.1s | 11 | 62870 | 17144 | 387 97 | 19 | 39 5.99/6.00 c 5.9s | 12 | 95026 | 25819 | 426 136 | 19 | 39 7.98/8.01 c 7.9s | 12 | 131886 | 35419 | 426 177 | 19 | 39 8.68/8.75 c 8.6s | 13 | 146422 | 38832 | 469 191 | 19 | 39 10.68/10.77 c 10.6s | 13 | 183783 | 48132 | 469 227 | 19 | 39 12.68/12.78 c 12.7s | 13 | 218186 | 57432 | 469 263 | 19 | 39 12.88/12.99 c 12.9s | 14 | 221456 | 58352 | 516 267 | 19 | 39 14.89/14.99 c 14.9s | 14 | 255885 | 67452 | 516 299 | 19 | 39 16.99/17.00 c 16.9s | 14 | 288920 | 76052 | 516 329 | 19 | 39 18.99/19.01 c 18.9s | 14 | 323001 | 84652 | 516 360 | 19 | 39 19.59/19.69 c 19.6s | 15 | 334161 | 87632 | 568 370 | 19 | 39 21.69/21.70 c 21.6s | 15 | 366466 | 95832 | 568 397 | 19 | 39 23.69/23.70 c 23.6s | 15 | 397998 | 104332 | 568 425 | 19 | 39 25.69/25.73 c 25.6s | 15 | 428341 | 113032 | 568 453 | 19 | 39 27.69/27.73 c 27.6s | 15 | 461013 | 121532 | 568 480 | 19 | 39 29.69/29.75 c 29.6s | 15 | 493072 | 130032 | 568 508 | 19 | 39 30.09/30.11 c 30.0s | 16 | 498030 | 131552 | 625 513 | 19 | 39 32.09/32.13 c 32.0s | 16 | 529553 | 139752 | 625 537 | 19 | 39 34.09/34.14 c 34.0s | 16 | 561699 | 148052 | 625 562 | 19 | 39 36.09/36.17 c 36.0s | 16 | 593708 | 156252 | 625 587 | 19 | 39 38.09/38.18 c 38.1s | 16 | 625595 | 164352 | 625 611 | 19 | 39 40.08/40.18 c 40.1s | 16 | 653217 | 172452 | 625 636 | 19 | 39 42.08/42.19 c 42.1s | 16 | 684706 | 180652 | 625 661 | 19 | 39 44.09/44.19 c 44.1s | 16 | 715899 | 188752 | 625 685 | 19 | 39 46.19/46.21 c 46.1s | 16 | 748463 | 196952 | 688 709 | 19 | 39 46.29/46.32 c 46.2s | 17 | 749892 | 197432 | 688 710 | 19 | 39 48.28/48.33 c 48.2s | 17 | 784168 | 205932 | 688 734 | 19 | 39 50.28/50.35 c 50.2s | 17 | 816072 | 214032 | 688 755 | 19 | 39 52.28/52.35 c 52.2s | 17 | 848607 | 222032 | 688 777 | 19 | 39 54.28/54.35 c 54.2s | 17 | 879243 | 229932 | 688 799 | 19 | 39 56.28/56.36 c 56.2s | 17 | 913063 | 237832 | 688 820 | 19 | 39 58.28/58.38 c 58.3s | 17 | 946045 | 245832 | 688 842 | 19 | 39 60.38/60.40 c 60.3s | 17 | 976254 | 253732 | 688 864 | 19 | 39 62.38/62.40 c 62.3s | 17 | 1007181 | 261632 | 688 885 | 19 | 39 64.38/64.41 c 64.3s | 17 | 1038432 | 269232 | 688 906 | 19 | 39 66.38/66.43 c 66.3s | 17 | 1070000 | 276832 | 688 927 | 19 | 39 68.38/68.44 c 68.3s | 17 | 1100205 | 284832 | 688 949 | 19 | 39 70.38/70.46 c 70.3s | 17 | 1130335 | 292732 | 688 971 | 19 | 39 71.28/71.36 c 71.2s | 18 | 1143644 | 296252 | 757 980 | 19 | 39 73.28/73.37 c 73.2s | 18 | 1172330 | 303652 | 757 999 | 19 | 39 75.28/75.37 c 75.3s | 18 | 1200236 | 311052 | 757 1017 | 19 | 39 77.28/77.39 c 77.3s | 18 | 1225692 | 318752 | 757 1037 | 19 | 39 79.28/79.39 c 79.3s | 18 | 1252259 | 326052 | 757 1055 | 19 | 39 81.27/81.39 c 81.3s | 18 | 1280098 | 333552 | 757 1074 | 19 | 39 83.27/83.39 c 83.3s | 18 | 1311581 | 341352 | 757 1094 | 19 | 39 85.37/85.41 c 85.3s | 18 | 1345440 | 349452 | 757 1114 | 19 | 39 87.37/87.43 c 87.3s | 18 | 1377365 | 357752 | 757 1135 | 19 | 39 89.37/89.45 c 89.3s | 18 | 1409150 | 365852 | 757 1155 | 19 | 39 91.38/91.46 c 91.3s | 18 | 1441225 | 373852 | 757 1175 | 19 | 39 93.37/93.48 c 93.4s | 18 | 1469547 | 381752 | 757 1195 | 19 | 39 95.47/95.50 c 95.4s | 18 | 1502693 | 389452 | 757 1214 | 19 | 39 97.47/97.52 c 97.4s | 18 | 1530617 | 396952 | 757 1233 | 19 | 39 99.47/99.52 c 99.4s | 18 | 1559797 | 404652 | 757 1252 | 19 | 39 101.47/101.53 c 101s | 18 | 1586645 | 412052 | 757 1271 | 19 | 39 103.48/103.55 c 103s | 18 | 1614896 | 419852 | 757 1290 | 19 | 39 105.47/105.57 c 105s | 18 | 1647727 | 427752 | 757 1310 | 19 | 39 107.48/107.58 c 107s | 18 | 1679937 | 435652 | 757 1330 | 19 | 39 109.48/109.59 c 109s | 18 | 1709760 | 443952 | 833 1350 | 19 | 39 109.68/109.73 c 109s | 19 | 1712402 | 444482 | 833 1351 | 19 | 39 111.68/111.74 c 111s | 19 | 1743069 | 452282 | 833 1369 | 19 | 39 113.68/113.75 c 113s | 19 | 1771885 | 460282 | 833 1387 | 19 | 39 115.68/115.77 c 115s | 19 | 1803178 | 468282 | 833 1405 | 19 | 39 117.68/117.79 c 117s | 19 | 1832528 | 476282 | 833 1423 | 19 | 39 119.77/119.81 c 119s | 19 | 1860865 | 484182 | 833 1442 | 19 | 39 121.77/121.83 c 121s | 19 | 1890010 | 492482 | 833 1460 | 19 | 39 123.77/123.85 c 123s | 19 | 1919380 | 500082 | 833 1478 | 19 | 39 125.77/125.87 c 125s | 19 | 1946326 | 507782 | 833 1496 | 19 | 39 127.77/127.88 c 127s | 19 | 1974795 | 515382 | 833 1513 | 19 | 39 129.78/129.89 c 129s | 19 | 2000368 | 522782 | 833 1530 | 19 | 39 131.87/131.92 c 131s | 19 | 2023405 | 530282 | 833 1547 | 19 | 39 133.87/133.92 c 133s | 19 | 2051855 | 538182 | 833 1565 | 19 | 39 135.87/135.94 c 135s | 19 | 2079366 | 545782 | 833 1583 | 19 | 39 137.87/137.94 c 137s | 19 | 2106079 | 553382 | 833 1600 | 19 | 39 139.87/139.94 c 139s | 19 | 2135293 | 560682 | 833 1617 | 19 | 39 141.88/141.95 c 141s | 19 | 2160747 | 567782 | 833 1634 | 19 | 39 143.87/143.97 c 143s | 19 | 2188346 | 574882 | 833 1650 | 19 | 39 145.87/145.99 c 145s | 19 | 2217755 | 582382 | 833 1668 | 19 | 39 147.97/148.00 c 147s | 19 | 2246784 | 589882 | 833 1685 | 19 | 39 149.97/150.00 c 149s | 19 | 2276223 | 597482 | 833 1702 | 19 | 39 151.97/152.01 c 151s | 19 | 2307209 | 604882 | 833 1719 | 19 | 39 153.97/154.02 c 153s | 19 | 2336241 | 612882 | 833 1737 | 19 | 39 155.97/156.04 c 155s | 19 | 2365615 | 620882 | 833 1756 | 19 | 39 157.97/158.05 c 157s | 19 | 2395251 | 628682 | 833 1774 | 19 | 39 159.97/160.05 c 159s | 19 | 2424402 | 636582 | 833 1792 | 19 | 39 161.97/162.06 c 161s | 19 | 2453776 | 644582 | 833 1810 | 19 | 39 163.97/164.07 c 163s | 19 | 2482042 | 652082 | 833 1827 | 19 | 39 165.96/166.09 c 165s | 19 | 2513002 | 659582 | 833 1845 | 19 | 39 168.06/168.10 c 167s | 19 | 2540942 | 666682 | 917 1860 | 19 | 39 168.06/168.14 c 168s | 20 | 2541181 | 666827 | 917 1860 | 19 | 39 170.06/170.16 c 170s | 20 | 2570456 | 674827 | 917 1876 | 19 | 39 172.06/172.17 c 172s | 20 | 2601962 | 682727 | 917 1893 | 19 | 39 174.16/174.20 c 174s | 20 | 2633836 | 690527 | 917 1909 | 19 | 39 176.16/176.21 c 176s | 20 | 2663742 | 698027 | 917 1925 | 19 | 39 178.17/178.22 c 178s | 20 | 2692668 | 705427 | 917 1940 | 19 | 39 180.16/180.23 c 180s | 20 | 2722369 | 713027 | 917 1956 | 19 | 39 182.16/182.26 c 182s | 20 | 2748118 | 720327 | 917 1971 | 19 | 39 184.16/184.27 c 184s | 20 | 2782089 | 728027 | 917 1987 | 19 | 39 186.16/186.27 c 186s | 20 | 2811918 | 735627 | 917 2003 | 19 | 39 188.17/188.28 c 188s | 20 | 2841650 | 743027 | 917 2019 | 19 | 39 190.16/190.30 c 190s | 20 | 2871010 | 750427 | 917 2034 | 19 | 39 192.26/192.30 c 192s | 20 | 2902592 | 758127 | 917 2050 | 19 | 39 194.26/194.30 c 194s | 20 | 2930819 | 765827 | 917 2067 | 19 | 39 196.26/196.31 c 196s | 20 | 2960938 | 773427 | 917 2083 | 19 | 39 198.26/198.31 c 198s | 20 | 2990933 | 781127 | 917 2099 | 19 | 39 200.26/200.32 c 200s | 20 | 3018757 | 788627 | 917 2115 | 19 | 39 202.26/202.35 c 202s | 20 | 3049636 | 796427 | 917 2131 | 19 | 39 204.26/204.38 c 204s | 20 | 3075668 | 803627 | 917 2146 | 19 | 39 206.25/206.39 c 206s | 20 | 3103596 | 811227 | 917 2162 | 19 | 39 208.25/208.39 c 208s | 20 | 3129287 | 818527 | 917 2178 | 19 | 39 210.35/210.41 c 210s | 20 | 3154830 | 826127 | 917 2194 | 19 | 39 212.36/212.43 c 212s | 20 | 3181709 | 833627 | 917 2210 | 19 | 39 214.35/214.44 c 214s | 20 | 3213287 | 840927 | 917 2225 | 19 | 39 216.35/216.46 c 216s | 20 | 3239311 | 848427 | 917 2241 | 19 | 39 218.36/218.47 c 218s | 20 | 3271568 | 856327 | 917 2257 | 19 | 39 220.36/220.49 c 220s | 20 | 3301359 | 864127 | 917 2274 | 19 | 39 222.46/222.52 c 222s | 20 | 3335344 | 871827 | 917 2290 | 19 | 39 224.46/224.53 c 224s | 20 | 3365880 | 879427 | 917 2305 | 19 | 39 226.46/226.54 c 226s | 20 | 3398232 | 887227 | 917 2322 | 19 | 39 228.46/228.55 c 228s | 20 | 3431024 | 895027 | 917 2338 | 19 | 39 230.46/230.56 c 230s | 20 | 3460913 | 902727 | 917 2354 | 19 | 39 232.45/232.56 c 232s | 20 | 3489120 | 910527 | 917 2370 | 19 | 39 234.45/234.58 c 234s | 20 | 3519635 | 918327 | 917 2386 | 19 | 39 236.46/236.59 c 236s | 20 | 3549836 | 925927 | 917 2402 | 19 | 39 238.55/238.61 c 238s | 20 | 3580073 | 933327 | 917 2418 | 19 | 39 240.55/240.62 c 240s | 20 | 3610698 | 941627 | 917 2435 | 19 | 39 242.55/242.65 c 242s | 20 | 3643914 | 949627 | 917 2452 | 19 | 39 244.55/244.65 c 244s | 20 | 3673471 | 957227 | 917 2468 | 19 | 39 246.55/246.67 c 246s | 20 | 3702827 | 964727 | 917 2483 | 19 | 39 248.56/248.68 c 248s | 20 | 3734438 | 972827 | 917 2500 | 19 | 39 250.55/250.69 c 250s | 20 | 3766148 | 980727 | 917 2517 | 19 | 39 252.65/252.70 c 252s | 20 | 3796608 | 988727 | 917 2533 | 19 | 39 254.65/254.71 c 254s | 20 | 3825989 | 996127 | 1009 2548 | 19 | 39 255.65/255.79 c 255s | 21 | 3841839 | 1000345 | 1009 2556 | 19 | 39 257.75/257.80 c 257s | 21 | 3872439 | 1008245 | 1009 2571 | 19 | 39 259.75/259.81 c 259s | 21 | 3903066 | 1015745 | 1009 2585 | 19 | 39 261.75/261.82 c 261s | 21 | 3933238 | 1023445 | 1009 2600 | 19 | 39 263.75/263.83 c 263s | 21 | 3965464 | 1030845 | 1009 2614 | 19 | 39 265.75/265.83 c 265s | 21 | 3993690 | 1038445 | 1009 2628 | 19 | 39 267.75/267.86 c 267s | 21 | 4023698 | 1046445 | 1009 2644 | 19 | 39 269.75/269.86 c 269s | 21 | 4053637 | 1054345 | 1009 2659 | 19 | 39 271.75/271.86 c 271s | 21 | 4082952 | 1062045 | 1009 2673 | 19 | 39 273.75/273.87 c 273s | 21 | 4114380 | 1069845 | 1009 2688 | 19 | 39 275.85/275.90 c 275s | 21 | 4144084 | 1077445 | 1009 2703 | 19 | 39 277.84/277.92 c 277s | 21 | 4174107 | 1085245 | 1009 2718 | 19 | 39 279.84/279.94 c 279s | 21 | 4203497 | 1092545 | 1009 2732 | 19 | 39 281.84/281.96 c 281s | 21 | 4233691 | 1100145 | 1009 2746 | 19 | 39 283.85/283.98 c 283s | 21 | 4261324 | 1108045 | 1009 2761 | 19 | 39 285.84/286.00 c 285s | 21 | 4291208 | 1115545 | 1009 2776 | 19 | 39 287.94/288.02 c 287s | 21 | 4321071 | 1123045 | 1009 2790 | 19 | 39 289.94/290.03 c 289s | 21 | 4351342 | 1130945 | 1009 2805 | 19 | 39 291.94/292.05 c 291s | 21 | 4380632 | 1138545 | 1009 2819 | 19 | 39 293.94/294.06 c 293s | 21 | 4410622 | 1146045 | 1009 2834 | 19 | 39 295.95/296.07 c 295s | 21 | 4438001 | 1154045 | 1009 2849 | 19 | 39 297.94/298.08 c 297s | 21 | 4468412 | 1161745 | 1009 2864 | 19 | 39 299.94/300.08 c 299s | 21 | 4499924 | 1169245 | 1009 2878 | 19 | 39 302.04/302.11 c 301s | 21 | 4529625 | 1176745 | 1009 2892 | 19 | 39 304.04/304.13 c 304s | 21 | 4559918 | 1184545 | 1009 2907 | 19 | 39 306.04/306.13 c 306s | 21 | 4585739 | 1192145 | 1009 2922 | 19 | 39 308.05/308.14 c 308s | 21 | 4612561 | 1199545 | 1009 2936 | 19 | 39 310.04/310.14 c 310s | 21 | 4641011 | 1206745 | 1009 2950 | 19 | 39 312.04/312.15 c 312s | 21 | 4665936 | 1214345 | 1009 2964 | 19 | 39 314.04/314.18 c 314s | 21 | 4694305 | 1221745 | 1009 2979 | 19 | 39 316.14/316.20 c 316s | 21 | 4726198 | 1229645 | 1009 2993 | 19 | 39 318.14/318.23 c 318s | 21 | 4756649 | 1237445 | 1009 3008 | 19 | 39 320.14/320.24 c 320s | 21 | 4785775 | 1245145 | 1009 3023 | 19 | 39 322.14/322.27 c 322s | 21 | 4815495 | 1253145 | 1009 3038 | 19 | 39 324.13/324.27 c 324s | 21 | 4841579 | 1260545 | 1009 3052 | 19 | 39 326.13/326.29 c 326s | 21 | 4872342 | 1268045 | 1009 3066 | 19 | 39 328.13/328.29 c 328s | 21 | 4900856 | 1275545 | 1009 3081 | 19 | 39 330.23/330.31 c 330s | 21 | 4929574 | 1282845 | 1009 3095 | 19 | 39 332.24/332.33 c 332s | 21 | 4956058 | 1290045 | 1009 3108 | 19 | 39 334.23/334.34 c 334s | 21 | 4986295 | 1297545 | 1009 3123 | 19 | 39 336.23/336.37 c 336s | 21 | 5015429 | 1305345 | 1009 3138 | 19 | 39 338.23/338.37 c 338s | 21 | 5041600 | 1313045 | 1009 3152 | 19 | 39 340.23/340.39 c 340s | 21 | 5070080 | 1320345 | 1009 3166 | 19 | 39 342.34/342.41 c 342s | 21 | 5096377 | 1328045 | 1009 3181 | 19 | 39 344.35/344.43 c 344s | 21 | 5123335 | 1335445 | 1009 3195 | 19 | 39 346.34/346.45 c 346s | 21 | 5151794 | 1343045 | 1009 3210 | 19 | 39 348.34/348.47 c 348s | 21 | 5181876 | 1350545 | 1009 3224 | 19 | 39 350.34/350.49 c 350s | 21 | 5208709 | 1357645 | 1009 3238 | 19 | 39 352.44/352.50 c 352s | 21 | 5239819 | 1365045 | 1009 3252 | 19 | 39 354.44/354.52 c 354s | 21 | 5269254 | 1372445 | 1009 3266 | 19 | 39 356.44/356.53 c 356s | 21 | 5294887 | 1379745 | 1009 3280 | 19 | 39 358.43/358.54 c 358s | 21 | 5326037 | 1387145 | 1009 3294 | 19 | 39 360.43/360.55 c 360s | 21 | 5354430 | 1394345 | 1009 3308 | 19 | 39 362.43/362.56 c 362s | 21 | 5381104 | 1401345 | 1009 3321 | 19 | 39 364.43/364.59 c 364s | 21 | 5409000 | 1408445 | 1009 3335 | 19 | 39 366.53/366.60 c 366s | 21 | 5436623 | 1415445 | 1009 3348 | 19 | 39 368.54/368.62 c 368s | 21 | 5467153 | 1422645 | 1009 3362 | 19 | 39 370.53/370.64 c 370s | 21 | 5494249 | 1429945 | 1009 3376 | 19 | 39 372.53/372.66 c 372s | 21 | 5521500 | 1437445 | 1009 3390 | 19 | 39 374.53/374.69 c 374s | 21 | 5554206 | 1445145 | 1009 3405 | 19 | 39 376.63/376.71 c 376s | 21 | 5586706 | 1452845 | 1009 3420 | 19 | 39 378.63/378.71 c 378s | 21 | 5617131 | 1460345 | 1009 3434 | 19 | 39 380.64/380.73 c 380s | 21 | 5643594 | 1467445 | 1009 3447 | 19 | 39 382.63/382.75 c 382s | 21 | 5672374 | 1474945 | 1009 3462 | 19 | 39 384.63/384.77 c 384s | 21 | 5701958 | 1482645 | 1009 3476 | 19 | 39 386.63/386.78 c 386s | 21 | 5728605 | 1490045 | 1110 3490 | 19 | 39 388.73/388.80 c 388s | 21 | 5755280 | 1497445 | 1110 3503 | 19 | 39 389.63/389.72 c 389s | 22 | 5767198 | 1500622 | 1110 3509 | 19 | 39 391.64/391.75 c 391s | 22 | 5795878 | 1508522 | 1110 3523 | 19 | 39 393.63/393.76 c 393s | 22 | 5823053 | 1516222 | 1110 3536 | 19 | 39 395.63/395.78 c 395s | 22 | 5849599 | 1524522 | 1110 3550 | 19 | 39 397.73/397.81 c 397s | 22 | 5878755 | 1532222 | 1110 3564 | 19 | 39 399.73/399.83 c 399s | 22 | 5906812 | 1539722 | 1110 3577 | 19 | 39 401.73/401.85 c 401s | 22 | 5933885 | 1547522 | 1110 3590 | 19 | 39 403.73/403.86 c 403s | 22 | 5959838 | 1555122 | 1110 3603 | 19 | 39 405.72/405.88 c 405s | 22 | 5988099 | 1562822 | 1110 3617 | 19 | 39 407.82/407.90 c 407s | 22 | 6013767 | 1570122 | 1110 3630 | 19 | 39 409.82/409.91 c 409s | 22 | 6039905 | 1577922 | 1110 3643 | 19 | 39 411.82/411.93 c 411s | 22 | 6067923 | 1585322 | 1110 3656 | 19 | 39 413.83/413.94 c 413s | 22 | 6093041 | 1592422 | 1110 3668 | 19 | 39 415.84/415.94 c 415s | 22 | 6118831 | 1600222 | 1110 3682 | 19 | 39 417.83/417.95 c 417s | 22 | 6144574 | 1607522 | 1110 3695 | 19 | 39 419.83/419.95 c 419s | 22 | 6169842 | 1615122 | 1110 3708 | 19 | 39 421.83/421.97 c 421s | 22 | 6195603 | 1622622 | 1110 3721 | 19 | 39 423.83/423.97 c 423s | 22 | 6217413 | 1629922 | 1110 3734 | 19 | 39 425.83/426.00 c 425s | 22 | 6238066 | 1637422 | 1110 3747 | 19 | 39 427.93/428.02 c 427s | 22 | 6258766 | 1644722 | 1110 3760 | 19 | 39 429.93/430.02 c 429s | 22 | 6279748 | 1652022 | 1110 3773 | 19 | 39 431.93/432.05 c 431s | 22 | 6300120 | 1659322 | 1110 3786 | 19 | 39 433.92/434.07 c 433s | 22 | 6325959 | 1666822 | 1110 3799 | 19 | 39 435.92/436.09 c 435s | 22 | 6358738 | 1674422 | 1110 3812 | 19 | 39 437.92/438.09 c 437s | 22 | 6388763 | 1682222 | 1110 3826 | 19 | 39 439.93/440.09 c 439s | 22 | 6421835 | 1690022 | 1110 3839 | 19 | 39 442.02/442.11 c 441s | 22 | 6452028 | 1697322 | 1110 3852 | 19 | 39 444.02/444.11 c 443s | 22 | 6479026 | 1704522 | 1110 3864 | 19 | 39 446.02/446.13 c 446s | 22 | 6509526 | 1712122 | 1110 3877 | 19 | 39 448.02/448.13 c 448s | 22 | 6535806 | 1719722 | 1110 3891 | 19 | 39 450.02/450.15 c 450s | 22 | 6565175 | 1727122 | 1110 3904 | 19 | 39 452.02/452.18 c 452s | 22 | 6591237 | 1734322 | 1110 3916 | 19 | 39 454.12/454.20 c 454s | 22 | 6620371 | 1741722 | 1110 3929 | 19 | 39 456.12/456.22 c 456s | 22 | 6648973 | 1749422 | 1110 3942 | 19 | 39 458.12/458.23 c 458s | 22 | 6678378 | 1756822 | 1110 3955 | 19 | 39 460.12/460.24 c 460s | 22 | 6705305 | 1764222 | 1110 3968 | 19 | 39 462.12/462.25 c 462s | 22 | 6730219 | 1771522 | 1110 3981 | 19 | 39 464.13/464.25 c 464s | 22 | 6754740 | 1778422 | 1110 3993 | 19 | 39 466.12/466.28 c 466s | 22 | 6780858 | 1785522 | 1110 4006 | 19 | 39 468.12/468.30 c 468s | 22 | 6809036 | 1792322 | 1110 4018 | 19 | 39 470.22/470.32 c 470s | 22 | 6835159 | 1799522 | 1110 4030 | 19 | 39 472.22/472.33 c 472s | 22 | 6864158 | 1806722 | 1110 4043 | 19 | 39 474.22/474.34 c 474s | 22 | 6892124 | 1814422 | 1110 4056 | 19 | 39 476.23/476.36 c 476s | 22 | 6923177 | 1822222 | 1110 4070 | 19 | 39 478.22/478.37 c 478s | 22 | 6953351 | 1829222 | 1110 4082 | 19 | 39 480.22/480.37 c 480s | 22 | 6983204 | 1836722 | 1110 4095 | 19 | 39 482.22/482.39 c 482s | 22 | 7009617 | 1844422 | 1110 4108 | 19 | 39 484.32/484.41 c 484s | 22 | 7035611 | 1851622 | 1110 4121 | 19 | 39 486.32/486.43 c 486s | 22 | 7065431 | 1859322 | 1110 4134 | 19 | 39 488.32/488.44 c 488s | 22 | 7092121 | 1866622 | 1110 4147 | 19 | 39 490.32/490.44 c 490s | 22 | 7120894 | 1874022 | 1110 4160 | 19 | 39 492.32/492.46 c 492s | 22 | 7149096 | 1881422 | 1110 4172 | 19 | 39 494.32/494.48 c 494s | 22 | 7175726 | 1888422 | 1110 4185 | 19 | 39 496.32/496.49 c 496s | 22 | 7201650 | 1895122 | 1110 4196 | 19 | 39 498.42/498.50 c 498s | 22 | 7224211 | 1901622 | 1110 4208 | 19 | 39 500.42/500.52 c 500s | 22 | 7251893 | 1908722 | 1110 4220 | 19 | 39 502.42/502.53 c 502s | 22 | 7280814 | 1916022 | 1110 4233 | 19 | 39 504.41/504.56 c 504s | 22 | 7307720 | 1923322 | 1110 4246 | 19 | 39 506.41/506.57 c 506s | 22 | 7335229 | 1930822 | 1110 4259 | 19 | 39 508.51/508.60 c 508s | 22 | 7363343 | 1937822 | 1110 4271 | 19 | 39 510.51/510.60 c 510s | 22 | 7386496 | 1945022 | 1110 4284 | 19 | 39 512.52/512.60 c 512s | 22 | 7413573 | 1952022 | 1110 4296 | 19 | 39 514.51/514.63 c 514s | 22 | 7439873 | 1959122 | 1110 4308 | 19 | 39 516.51/516.64 c 516s | 22 | 7465930 | 1966322 | 1110 4321 | 19 | 39 518.51/518.66 c 518s | 22 | 7491581 | 1973222 | 1110 4333 | 19 | 39 520.51/520.66 c 520s | 22 | 7516250 | 1980322 | 1110 4346 | 19 | 39 522.51/522.67 c 522s | 22 | 7542095 | 1987522 | 1110 4359 | 19 | 39 524.51/524.67 c 524s | 22 | 7567157 | 1994822 | 1110 4371 | 19 | 39 526.51/526.69 c 526s | 22 | 7592872 | 2002122 | 1110 4384 | 19 | 39 528.61/528.70 c 528s | 22 | 7624167 | 2009422 | 1110 4397 | 19 | 39 530.61/530.72 c 530s | 22 | 7654087 | 2017122 | 1110 4410 | 19 | 39 532.61/532.73 c 532s | 22 | 7682771 | 2024922 | 1110 4424 | 19 | 39 534.61/534.74 c 534s | 22 | 7713905 | 2032522 | 1110 4437 | 19 | 39 536.61/536.75 c 536s | 22 | 7744854 | 2040122 | 1110 4450 | 19 | 39 538.61/538.76 c 538s | 22 | 7773721 | 2047422 | 1110 4463 | 19 | 39 540.60/540.78 c 540s | 22 | 7801601 | 2054622 | 1110 4475 | 19 | 39 542.60/542.78 c 542s | 22 | 7830409 | 2061822 | 1110 4488 | 19 | 39 544.60/544.78 c 544s | 22 | 7860713 | 2069222 | 1110 4501 | 19 | 39 546.61/546.80 c 546s | 22 | 7889630 | 2076822 | 1110 4514 | 19 | 39 548.70/548.80 c 548s | 22 | 7919559 | 2084122 | 1110 4527 | 19 | 39 550.70/550.82 c 550s | 22 | 7946151 | 2091622 | 1110 4540 | 19 | 39 552.70/552.84 c 552s | 22 | 7973840 | 2098922 | 1110 4553 | 19 | 39 554.70/554.86 c 554s | 22 | 7999680 | 2106022 | 1110 4565 | 19 | 39 556.70/556.88 c 556s | 22 | 8028753 | 2113022 | 1110 4577 | 19 | 39 558.71/558.89 c 558s | 22 | 8055069 | 2120322 | 1110 4590 | 19 | 39 560.80/560.90 c 560s | 22 | 8082567 | 2127622 | 1110 4602 | 19 | 39 562.80/562.91 c 562s | 22 | 8107419 | 2134822 | 1110 4615 | 19 | 39 564.80/564.91 c 564s | 22 | 8134861 | 2141722 | 1110 4627 | 19 | 39 566.80/566.92 c 566s | 22 | 8155554 | 2148322 | 1110 4639 | 19 | 39 568.80/568.94 c 568s | 22 | 8182397 | 2155622 | 1110 4651 | 19 | 39 570.80/570.96 c 570s | 22 | 8210550 | 2162822 | 1110 4664 | 19 | 39 572.80/572.98 c 572s | 22 | 8235796 | 2169722 | 1110 4676 | 19 | 39 574.90/575.00 c 574s | 22 | 8262433 | 2176622 | 1110 4688 | 19 | 39 576.90/577.01 c 576s | 22 | 8286561 | 2183822 | 1110 4701 | 19 | 39 578.90/579.02 c 578s | 22 | 8312285 | 2191122 | 1110 4713 | 19 | 39 580.90/581.04 c 580s | 22 | 8338965 | 2198122 | 1110 4726 | 19 | 39 582.90/583.04 c 582s | 22 | 8363342 | 2205122 | 1110 4738 | 19 | 39 584.90/585.05 c 584s | 22 | 8387438 | 2212522 | 1110 4751 | 19 | 39 586.89/587.06 c 586s | 22 | 8411583 | 2219522 | 1110 4763 | 19 | 39 588.89/589.06 c 588s | 22 | 8434371 | 2226322 | 1110 4775 | 19 | 39 590.89/591.07 c 590s | 22 | 8459109 | 2233122 | 1110 4788 | 19 | 39 592.99/593.10 c 592s | 22 | 8485186 | 2240522 | 1221 4799 | 19 | 39 595.00/595.11 c 594s | 22 | 8512154 | 2248222 | 1221 4812 | 19 | 39 595.69/595.85 c 595s | 23 | 8522648 | 2251038 | 1221 4816 | 19 | 39 597.69/597.85 c 597s | 23 | 8553365 | 2258738 | 1221 4828 | 19 | 39 599.70/599.85 c 599s | 23 | 8584498 | 2266338 | 1221 4840 | 19 | 39 601.71/601.86 c 601s | 23 | 8612571 | 2274138 | 1221 4852 | 19 | 39 603.70/603.88 c 603s | 23 | 8642601 | 2281838 | 1221 4865 | 19 | 39 605.80/605.91 c 605s | 23 | 8673172 | 2289338 | 1221 4876 | 19 | 39 607.80/607.94 c 607s | 23 | 8701162 | 2296438 | 1221 4888 | 19 | 39 609.80/609.94 c 609s | 23 | 8728323 | 2304038 | 1221 4900 | 19 | 39 611.80/611.95 c 611s | 23 | 8759474 | 2311638 | 1221 4912 | 19 | 39 613.80/613.97 c 613s | 23 | 8788101 | 2319338 | 1221 4924 | 19 | 39 615.80/615.99 c 615s | 23 | 8816895 | 2326738 | 1221 4936 | 19 | 39 617.90/618.02 c 617s | 23 | 8844592 | 2333838 | 1221 4947 | 19 | 39 619.90/620.03 c 619s | 23 | 8871734 | 2340938 | 1221 4958 | 19 | 39 621.90/622.03 c 621s | 23 | 8899471 | 2348138 | 1221 4970 | 19 | 39 623.89/624.04 c 623s | 23 | 8926881 | 2355538 | 1221 4981 | 19 | 39 625.90/626.05 c 625s | 23 | 8956093 | 2363238 | 1221 4994 | 19 | 39 627.89/628.07 c 627s | 23 | 8987460 | 2370838 | 1221 5006 | 19 | 39 629.89/630.07 c 629s | 23 | 9016391 | 2378238 | 1221 5017 | 19 | 39 631.89/632.09 c 631s | 23 | 9045635 | 2385838 | 1221 5029 | 19 | 39 633.99/634.10 c 633s | 23 | 9075932 | 2393438 | 1221 5041 | 19 | 39 635.99/636.11 c 635s | 23 | 9103994 | 2400938 | 1221 5053 | 19 | 39 638.00/638.11 c 637s | 23 | 9129158 | 2408038 | 1221 5064 | 19 | 39 639.99/640.12 c 639s | 23 | 9155618 | 2415438 | 1221 5076 | 19 | 39 641.99/642.12 c 641s | 23 | 9182190 | 2422738 | 1221 5088 | 19 | 39 643.99/644.12 c 644s | 23 | 9210846 | 2430138 | 1221 5099 | 19 | 39 645.99/646.13 c 646s | 23 | 9237144 | 2437338 | 1221 5111 | 19 | 39 647.99/648.14 c 648s | 23 | 9262166 | 2444238 | 1221 5122 | 19 | 39 649.99/650.16 c 650s | 23 | 9287768 | 2451338 | 1221 5133 | 19 | 39 651.98/652.16 c 652s | 23 | 9317117 | 2458538 | 1221 5145 | 19 | 39 653.98/654.18 c 654s | 23 | 9344376 | 2465638 | 1221 5156 | 19 | 39 656.08/656.20 c 656s | 23 | 9374543 | 2472838 | 1221 5167 | 19 | 39 658.08/658.20 c 658s | 23 | 9403331 | 2480238 | 1221 5179 | 19 | 39 660.07/660.21 c 660s | 23 | 9432747 | 2487838 | 1221 5191 | 19 | 39 662.08/662.23 c 662s | 23 | 9461662 | 2495238 | 1221 5203 | 19 | 39 664.07/664.25 c 664s | 23 | 9493091 | 2502838 | 1221 5215 | 19 | 39 666.07/666.28 c 666s | 23 | 9520614 | 2510438 | 1221 5227 | 19 | 39 668.07/668.29 c 668s | 23 | 9549789 | 2517738 | 1221 5238 | 19 | 39 670.07/670.29 c 670s | 23 | 9578444 | 2525138 | 1221 5250 | 19 | 39 672.17/672.31 c 672s | 23 | 9609584 | 2532638 | 1221 5262 | 19 | 39 674.17/674.33 c 674s | 23 | 9639952 | 2539838 | 1221 5273 | 19 | 39 676.17/676.34 c 676s | 23 | 9669073 | 2547238 | 1221 5285 | 19 | 39 678.16/678.35 c 678s | 23 | 9695892 | 2554438 | 1221 5297 | 19 | 39 680.16/680.37 c 680s | 23 | 9726029 | 2561738 | 1221 5308 | 19 | 39 682.16/682.37 c 682s | 23 | 9755174 | 2568838 | 1221 5319 | 19 | 39 684.17/684.38 c 684s | 23 | 9785439 | 2576338 | 1221 5331 | 19 | 39 686.17/686.38 c 686s | 23 | 9814607 | 2583538 | 1221 5343 | 19 | 39 688.17/688.38 c 688s | 23 | 9840855 | 2590538 | 1221 5354 | 19 | 39 690.27/690.40 c 690s | 23 | 9871339 | 2597838 | 1221 5365 | 19 | 39 692.26/692.41 c 692s | 23 | 9901300 | 2604838 | 1221 5376 | 19 | 39 694.26/694.41 c 694s | 23 | 9927799 | 2611838 | 1221 5387 | 19 | 39 696.27/696.43 c 696s | 23 | 9956126 | 2619238 | 1221 5399 | 19 | 39 698.26/698.45 c 698s | 23 | 9985146 | 2626538 | 1221 5411 | 19 | 39 700.26/700.45 c 700s | 23 | 10013740 | 2633738 | 1221 5422 | 19 | 39 702.26/702.46 c 702s | 23 | 10042041 | 2640738 | 1221 5433 | 19 | 39 704.26/704.46 c 704s | 23 | 10069063 | 2647538 | 1221 5444 | 19 | 39 706.26/706.47 c 706s | 23 | 10098534 | 2654538 | 1221 5455 | 19 | 39 708.26/708.49 c 708s | 23 | 10126893 | 2662038 | 1221 5467 | 19 | 39 710.26/710.50 c 710s | 23 | 10156600 | 2669438 | 1221 5479 | 19 | 39 712.36/712.51 c 712s | 23 | 10186450 | 2676838 | 1221 5491 | 19 | 39 714.36/714.53 c 714s | 23 | 10215110 | 2684138 | 1221 5502 | 19 | 39 716.36/716.54 c 716s | 23 | 10242693 | 2691038 | 1221 5513 | 19 | 39 718.35/718.54 c 718s | 23 | 10271595 | 2697838 | 1221 5524 | 19 | 39 720.36/720.57 c 720s | 23 | 10299887 | 2705138 | 1221 5535 | 19 | 39 722.35/722.59 c 722s | 23 | 10326963 | 2712238 | 1221 5547 | 19 | 39 724.45/724.60 c 724s | 23 | 10353276 | 2719338 | 1221 5558 | 19 | 39 726.45/726.61 c 726s | 23 | 10380269 | 2726638 | 1221 5570 | 19 | 39 728.45/728.63 c 728s | 23 | 10405419 | 2733838 | 1221 5581 | 19 | 39 730.45/730.65 c 730s | 23 | 10432293 | 2740838 | 1221 5592 | 19 | 39 732.45/732.65 c 732s | 23 | 10460468 | 2747738 | 1221 5603 | 19 | 39 734.45/734.66 c 734s | 23 | 10486599 | 2754838 | 1221 5614 | 19 | 39 736.45/736.69 c 736s | 23 | 10514058 | 2761838 | 1221 5625 | 19 | 39 738.54/738.70 c 738s | 23 | 10538960 | 2768838 | 1221 5636 | 19 | 39 740.54/740.71 c 740s | 23 | 10563451 | 2775738 | 1221 5647 | 19 | 39 742.54/742.72 c 742s | 23 | 10589540 | 2782738 | 1221 5659 | 19 | 39 744.54/744.72 c 744s | 23 | 10615502 | 2789438 | 1221 5669 | 19 | 39 746.54/746.75 c 746s | 23 | 10641515 | 2796038 | 1221 5680 | 19 | 39 748.54/748.76 c 748s | 23 | 10668376 | 2802838 | 1221 5691 | 19 | 39 750.54/750.76 c 750s | 23 | 10695217 | 2810038 | 1221 5702 | 19 | 39 752.54/752.78 c 752s | 23 | 10724015 | 2817438 | 1221 5714 | 19 | 39 754.64/754.81 c 754s | 23 | 10753526 | 2824838 | 1221 5725 | 19 | 39 756.64/756.81 c 756s | 23 | 10783989 | 2832138 | 1221 5737 | 19 | 39 758.63/758.83 c 758s | 23 | 10810724 | 2839338 | 1221 5748 | 19 | 39 760.63/760.83 c 760s | 23 | 10836872 | 2846338 | 1221 5759 | 19 | 39 762.63/762.84 c 762s | 23 | 10861810 | 2853238 | 1221 5770 | 19 | 39 764.63/764.86 c 764s | 23 | 10887316 | 2860138 | 1221 5781 | 19 | 39 766.64/766.88 c 766s | 23 | 10915690 | 2867438 | 1221 5793 | 19 | 39 768.63/768.88 c 768s | 23 | 10943832 | 2874738 | 1221 5804 | 19 | 39 770.73/770.90 c 770s | 23 | 10968647 | 2881838 | 1221 5816 | 19 | 39 772.73/772.93 c 772s | 23 | 10995033 | 2889038 | 1221 5827 | 19 | 39 774.73/774.95 c 774s | 23 | 11021468 | 2895938 | 1221 5838 | 19 | 39 776.73/776.96 c 776s | 23 | 11043088 | 2902838 | 1221 5849 | 19 | 39 778.73/778.98 c 778s | 23 | 11067474 | 2909638 | 1221 5860 | 19 | 39 780.73/780.98 c 780s | 23 | 11094167 | 2916538 | 1221 5871 | 19 | 39 782.83/783.00 c 782s | 23 | 11121207 | 2923738 | 1221 5882 | 19 | 39 784.82/785.02 c 784s | 23 | 11148834 | 2930738 | 1221 5894 | 19 | 39 786.82/787.02 c 786s | 23 | 11175632 | 2937538 | 1221 5904 | 19 | 39 788.82/789.05 c 788s | 23 | 11205034 | 2944538 | 1221 5915 | 19 | 39 790.83/791.07 c 790s | 23 | 11232205 | 2951438 | 1221 5926 | 19 | 39 792.82/793.08 c 792s | 23 | 11262817 | 2958638 | 1221 5938 | 19 | 39 794.82/795.08 c 794s | 23 | 11291782 | 2965538 | 1221 5949 | 19 | 39 796.82/797.09 c 796s | 23 | 11318339 | 2972638 | 1221 5960 | 19 | 39 798.92/799.11 c 798s | 23 | 11345997 | 2979638 | 1221 5971 | 19 | 39 800.92/801.12 c 800s | 23 | 11371148 | 2986138 | 1221 5982 | 19 | 39 802.92/803.13 c 803s | 23 | 11396838 | 2993038 | 1221 5993 | 19 | 39 804.92/805.14 c 805s | 23 | 11423358 | 2999638 | 1221 6003 | 19 | 39 806.92/807.17 c 807s | 23 | 11448405 | 3006438 | 1221 6014 | 19 | 39 808.91/809.17 c 809s | 23 | 11474056 | 3012938 | 1221 6024 | 19 | 39 810.91/811.19 c 811s | 23 | 11500700 | 3019738 | 1221 6035 | 19 | 39 813.01/813.21 c 813s | 23 | 11527231 | 3026738 | 1221 6046 | 19 | 39 815.02/815.21 c 815s | 23 | 11555239 | 3033938 | 1221 6058 | 19 | 39 817.01/817.24 c 817s | 23 | 11582128 | 3040938 | 1221 6069 | 19 | 39 819.01/819.25 c 819s | 23 | 11608395 | 3047938 | 1221 6080 | 19 | 39 821.01/821.26 c 821s | 23 | 11636319 | 3054738 | 1221 6091 | 19 | 39 823.01/823.27 c 823s | 23 | 11663112 | 3061738 | 1221 6102 | 19 | 39 825.01/825.28 c 825s | 23 | 11694143 | 3068838 | 1221 6113 | 19 | 39 827.01/827.29 c 827s | 23 | 11721709 | 3076038 | 1221 6125 | 19 | 39 829.10/829.30 c 829s | 23 | 11746808 | 3082638 | 1221 6135 | 19 | 39 831.10/831.32 c 831s | 23 | 11774599 | 3089838 | 1221 6147 | 19 | 39 833.10/833.32 c 833s | 23 | 11802195 | 3096938 | 1221 6158 | 19 | 39 835.10/835.34 c 835s | 23 | 11828942 | 3103838 | 1221 6169 | 19 | 39 837.10/837.35 c 837s | 23 | 11856281 | 3110838 | 1221 6180 | 19 | 39 839.10/839.37 c 839s | 23 | 11884890 | 3117838 | 1221 6191 | 19 | 39 841.09/841.39 c 841s | 23 | 11915888 | 3124938 | 1221 6203 | 19 | 39 843.09/843.39 c 843s | 23 | 11944160 | 3131938 | 1221 6214 | 19 | 39 845.19/845.40 c 845s | 23 | 11971678 | 3138938 | 1221 6225 | 19 | 39 847.19/847.42 c 847s | 23 | 12000918 | 3146038 | 1221 6236 | 19 | 39 849.19/849.45 c 849s | 23 | 12027064 | 3153138 | 1221 6247 | 19 | 39 851.19/851.45 c 851s | 23 | 12055846 | 3160338 | 1221 6259 | 19 | 39 853.19/853.48 c 853s | 23 | 12085437 | 3167738 | 1221 6271 | 19 | 39 855.29/855.50 c 855s | 23 | 12112999 | 3174138 | 1221 6281 | 19 | 39 857.29/857.52 c 857s | 23 | 12139846 | 3180938 | 1221 6292 | 19 | 39 859.28/859.56 c 859s | 23 | 12165990 | 3187838 | 1221 6303 | 19 | 39 861.28/861.57 c 861s | 23 | 12190275 | 3194438 | 1221 6313 | 19 | 39 863.29/863.58 c 863s | 23 | 12215610 | 3201338 | 1221 6324 | 19 | 39 865.38/865.61 c 865s | 23 | 12236416 | 3207638 | 1221 6334 | 19 | 39 867.39/867.63 c 867s | 23 | 12262585 | 3214538 | 1221 6345 | 19 | 39 869.38/869.63 c 869s | 23 | 12288449 | 3221338 | 1221 6356 | 19 | 39 871.38/871.65 c 871s | 23 | 12313554 | 3228438 | 1221 6367 | 19 | 39 873.38/873.65 c 873s | 23 | 12339484 | 3235338 | 1221 6378 | 19 | 39 875.39/875.67 c 875s | 23 | 12365624 | 3241938 | 1221 6389 | 19 | 39 877.38/877.69 c 877s | 23 | 12390659 | 3248538 | 1221 6400 | 19 | 39 879.48/879.70 c 879s | 23 | 12418868 | 3255438 | 1221 6411 | 19 | 39 881.48/881.71 c 881s | 23 | 12445477 | 3262638 | 1221 6422 | 19 | 39 883.48/883.74 c 883s | 23 | 12471736 | 3269638 | 1221 6433 | 19 | 39 885.48/885.74 c 885s | 23 | 12499014 | 3276338 | 1221 6444 | 19 | 39 887.49/887.75 c 887s | 23 | 12526205 | 3283238 | 1221 6455 | 19 | 39 889.47/889.79 c 889s | 23 | 12553148 | 3290038 | 1221 6466 | 19 | 39 891.57/891.81 c 891s | 23 | 12580606 | 3296538 | 1221 6476 | 19 | 39 893.57/893.83 c 893s | 23 | 12608212 | 3303138 | 1221 6487 | 19 | 39 895.57/895.84 c 895s | 23 | 12634723 | 3309838 | 1221 6498 | 19 | 39 897.57/897.87 c 897s | 23 | 12662777 | 3317138 | 1221 6509 | 19 | 39 899.57/899.87 c 899s | 23 | 12690919 | 3324538 | 1221 6521 | 19 | 39 901.66/901.90 c 901s | 23 | 12720399 | 3331938 | 1221 6533 | 19 | 39 903.66/903.91 c 903s | 23 | 12749829 | 3339338 | 1221 6544 | 19 | 39 905.66/905.94 c 905s | 23 | 12778015 | 3346738 | 1221 6556 | 19 | 39 907.66/907.95 c 907s | 23 | 12805517 | 3354138 | 1344 6567 | 19 | 39 909.67/909.98 c 909s | 23 | 12832286 | 3361238 | 1344 6577 | 19 | 39 911.68/911.99 c 911s | 23 | 12855953 | 3368638 | 1344 6588 | 19 | 39 913.77/914.03 c 913s | 23 | 12883974 | 3375538 | 1344 6598 | 19 | 39 914.07/914.36 c 914s | 24 | 12888173 | 3376662 | 1344 6599 | 19 | 39 916.07/916.37 c 916s | 24 | 12917082 | 3383962 | 1344 6610 | 19 | 39 918.07/918.38 c 918s | 24 | 12946848 | 3391162 | 1344 6620 | 19 | 39 920.07/920.39 c 920s | 24 | 12976646 | 3398462 | 1344 6631 | 19 | 39 922.16/922.41 c 922s | 24 | 13006340 | 3406062 | 1344 6642 | 19 | 39 924.16/924.41 c 924s | 24 | 13036950 | 3413762 | 1344 6653 | 19 | 39 926.16/926.42 c 926s | 24 | 13068862 | 3421162 | 1344 6663 | 19 | 39 928.17/928.43 c 928s | 24 | 13099368 | 3428462 | 1344 6674 | 19 | 39 930.16/930.45 c 930s | 24 | 13127948 | 3435862 | 1344 6684 | 19 | 39 932.16/932.47 c 932s | 24 | 13156065 | 3442962 | 1344 6695 | 19 | 39 934.16/934.49 c 934s | 24 | 13183149 | 3449962 | 1344 6705 | 19 | 39 936.26/936.50 c 936s | 24 | 13208980 | 3456962 | 1344 6715 | 19 | 39 938.26/938.52 c 938s | 24 | 13236035 | 3463762 | 1344 6725 | 19 | 39 940.26/940.56 c 940s | 24 | 13262564 | 3470662 | 1344 6735 | 19 | 39 942.25/942.58 c 942s | 24 | 13289190 | 3477562 | 1344 6745 | 19 | 39 944.25/944.59 c 944s | 24 | 13314585 | 3484562 | 1344 6755 | 19 | 39 946.35/946.61 c 946s | 24 | 13344211 | 3491662 | 1344 6765 | 19 | 39 948.35/948.62 c 948s | 24 | 13372823 | 3499162 | 1344 6776 | 19 | 39 950.35/950.63 c 950s | 24 | 13398306 | 3506562 | 1344 6786 | 19 | 39 952.36/952.66 c 952s | 24 | 13423602 | 3514162 | 1344 6797 | 19 | 39 954.35/954.67 c 954s | 24 | 13452919 | 3521762 | 1344 6808 | 19 | 39 956.35/956.69 c 956s | 24 | 13480890 | 3528762 | 1344 6818 | 19 | 39 958.45/958.71 c 958s | 24 | 13507954 | 3535862 | 1344 6828 | 19 | 39 960.45/960.72 c 960s | 24 | 13534031 | 3542662 | 1344 6838 | 19 | 39 962.44/962.75 c 962s | 24 | 13562507 | 3549762 | 1344 6848 | 19 | 39 964.45/964.76 c 964s | 24 | 13588580 | 3556762 | 1344 6859 | 19 | 39 966.44/966.78 c 966s | 24 | 13615603 | 3563962 | 1344 6869 | 19 | 39 968.44/968.78 c 968s | 24 | 13642972 | 3571362 | 1344 6880 | 19 | 39 970.44/970.79 c 970s | 24 | 13671115 | 3578762 | 1344 6890 | 19 | 39 972.54/972.81 c 972s | 24 | 13696975 | 3585862 | 1344 6901 | 19 | 39 974.54/974.83 c 974s | 24 | 13723783 | 3593162 | 1344 6911 | 19 | 39 976.54/976.83 c 976s | 24 | 13748521 | 3600462 | 1344 6922 | 19 | 39 978.53/978.84 c 978s | 24 | 13777016 | 3607862 | 1344 6932 | 19 | 39 980.53/980.87 c 980s | 24 | 13802670 | 3614762 | 1344 6942 | 19 | 39 982.53/982.89 c 982s | 24 | 13827430 | 3621862 | 1344 6953 | 19 | 39 984.63/984.91 c 984s | 24 | 13853348 | 3629162 | 1344 6963 | 19 | 39 986.63/986.92 c 986s | 24 | 13879318 | 3636162 | 1344 6973 | 19 | 39 988.63/988.93 c 988s | 24 | 13904540 | 3643262 | 1344 6984 | 19 | 39 990.63/990.95 c 990s | 24 | 13930847 | 3650362 | 1344 6994 | 19 | 39 992.63/992.97 c 992s | 24 | 13954882 | 3657462 | 1344 7004 | 19 | 39 994.62/994.98 c 994s | 24 | 13982691 | 3664562 | 1344 7015 | 19 | 39 996.62/996.98 c 996s | 24 | 14009623 | 3671862 | 1344 7025 | 19 | 39 998.72/999.00 c 998s | 24 | 14033989 | 3678662 | 1344 7035 | 19 | 39 1000.72/1001.01 c 1000s | 24 | 14062990 | 3686062 | 1344 7045 | 19 | 39 1002.72/1003.03 c 1002s | 24 | 14090476 | 3693462 | 1344 7056 | 19 | 39 1004.72/1005.04 c 1004s | 24 | 14118797 | 3700762 | 1344 7067 | 19 | 39 1006.72/1007.06 c 1006s | 24 | 14146592 | 3708362 | 1344 7078 | 19 | 39 1008.71/1009.06 c 1008s | 24 | 14171800 | 3715362 | 1344 7088 | 19 | 39 1010.72/1011.08 c 1010s | 24 | 14200725 | 3722562 | 1344 7098 | 19 | 39 1012.82/1013.10 c 1012s | 24 | 14228694 | 3729862 | 1344 7109 | 19 | 39 1014.82/1015.12 c 1014s | 24 | 14254767 | 3737062 | 1344 7119 | 19 | 39 1016.82/1017.13 c 1017s | 24 | 14281698 | 3744562 | 1344 7130 | 19 | 39 1018.82/1019.14 c 1019s | 24 | 14309036 | 3751962 | 1344 7140 | 19 | 39 1020.81/1021.15 c 1021s | 24 | 14335751 | 3758962 | 1344 7150 | 19 | 39 1022.82/1023.15 c 1023s | 24 | 14360439 | 3765862 | 1344 7160 | 19 | 39 1024.81/1025.17 c 1025s | 24 | 14388015 | 3772762 | 1344 7170 | 19 | 39 1026.81/1027.18 c 1027s | 24 | 14415390 | 3779862 | 1344 7180 | 19 | 39 1028.91/1029.20 c 1029s | 24 | 14441758 | 3786862 | 1344 7191 | 19 | 39 1030.91/1031.21 c 1031s | 24 | 14467444 | 3794162 | 1344 7201 | 19 | 39 1032.91/1033.24 c 1033s | 24 | 14494058 | 3801162 | 1344 7211 | 19 | 39 1034.92/1035.25 c 1035s | 24 | 14521683 | 3808262 | 1344 7221 | 19 | 39 1036.91/1037.26 c 1037s | 24 | 14548339 | 3815462 | 1344 7232 | 19 | 39 1038.91/1039.26 c 1039s | 24 | 14573778 | 3822162 | 1344 7241 | 19 | 39 1040.90/1041.28 c 1041s | 24 | 14599869 | 3829062 | 1344 7251 | 19 | 39 1042.90/1043.29 c 1043s | 24 | 14625197 | 3835562 | 1344 7261 | 19 | 39 1045.00/1045.33 c 1045s | 24 | 14651561 | 3842362 | 1344 7271 | 19 | 39 1047.01/1047.35 c 1047s | 24 | 14677818 | 3849062 | 1344 7280 | 19 | 39 1049.00/1049.38 c 1049s | 24 | 14704335 | 3855862 | 1344 7290 | 19 | 39 1051.00/1051.39 c 1051s | 24 | 14729428 | 3862262 | 1344 7299 | 19 | 39 1053.10/1053.42 c 1053s | 24 | 14753714 | 3868962 | 1344 7309 | 19 | 39 1055.10/1055.44 c 1055s | 24 | 14780332 | 3875962 | 1344 7319 | 19 | 39 1057.10/1057.46 c 1057s | 24 | 14803986 | 3882462 | 1344 7329 | 19 | 39 1059.10/1059.47 c 1059s | 24 | 14826094 | 3888962 | 1344 7338 | 19 | 39 1061.09/1061.47 c 1061s | 24 | 14850249 | 3895862 | 1344 7348 | 19 | 39 1063.09/1063.50 c 1063s | 24 | 14879738 | 3903162 | 1344 7359 | 19 | 39 1065.19/1065.50 c 1065s | 24 | 14905605 | 3909962 | 1344 7369 | 19 | 39 1067.19/1067.51 c 1067s | 24 | 14931993 | 3916962 | 1344 7379 | 19 | 39 1069.19/1069.52 c 1069s | 24 | 14958209 | 3923862 | 1344 7389 | 19 | 39 1071.20/1071.55 c 1071s | 24 | 14984771 | 3930962 | 1344 7399 | 19 | 39 1073.19/1073.57 c 1073s | 24 | 15013244 | 3937962 | 1344 7409 | 19 | 39 1075.19/1075.58 c 1075s | 24 | 15038105 | 3944462 | 1344 7418 | 19 | 39 1077.19/1077.58 c 1077s | 24 | 15062587 | 3951062 | 1344 7428 | 19 | 39 1079.28/1079.61 c 1079s | 24 | 15089426 | 3958262 | 1344 7438 | 19 | 39 1081.28/1081.61 c 1081s | 24 | 15115611 | 3964762 | 1344 7448 | 19 | 39 1083.29/1083.62 c 1083s | 24 | 15141407 | 3971262 | 1344 7457 | 19 | 39 1085.28/1085.63 c 1085s | 24 | 15168065 | 3977962 | 1344 7467 | 19 | 39 1087.28/1087.64 c 1087s | 24 | 15194663 | 3984762 | 1344 7477 | 19 | 39 1089.28/1089.65 c 1089s | 24 | 15219744 | 3991462 | 1344 7486 | 19 | 39 1091.28/1091.66 c 1091s | 24 | 15244000 | 3998162 | 1344 7496 | 19 | 39 1093.27/1093.69 c 1093s | 24 | 15269118 | 4004762 | 1344 7505 | 19 | 39 1095.28/1095.69 c 1095s | 24 | 15294920 | 4011062 | 1344 7514 | 19 | 39 1097.37/1097.71 c 1097s | 24 | 15318976 | 4017662 | 1344 7524 | 19 | 39 1099.37/1099.73 c 1099s | 24 | 15343594 | 4024662 | 1344 7534 | 19 | 39 1101.37/1101.75 c 1101s | 24 | 15369536 | 4031562 | 1344 7544 | 19 | 39 1103.37/1103.78 c 1103s | 24 | 15394906 | 4038362 | 1344 7554 | 19 | 39 1105.47/1105.81 c 1105s | 24 | 15420112 | 4045162 | 1344 7564 | 19 | 39 1107.48/1107.83 c 1107s | 24 | 15441988 | 4051862 | 1344 7573 | 19 | 39 1109.47/1109.86 c 1109s | 24 | 15468742 | 4058362 | 1344 7583 | 19 | 39 1111.47/1111.88 c 1111s | 24 | 15494497 | 4064962 | 1344 7592 | 19 | 39 1113.47/1113.89 c 1113s | 24 | 15520560 | 4071662 | 1344 7602 | 19 | 39 1115.57/1115.91 c 1115s | 24 | 15546534 | 4078362 | 1344 7612 | 19 | 39 1117.57/1117.92 c 1117s | 24 | 15570889 | 4085062 | 1344 7621 | 19 | 39 1119.57/1119.94 c 1119s | 24 | 15594781 | 4092062 | 1344 7632 | 19 | 39 1121.56/1121.96 c 1121s | 24 | 15624959 | 4099162 | 1344 7642 | 19 | 39 1123.56/1123.97 c 1123s | 24 | 15651769 | 4106162 | 1344 7652 | 19 | 39 1125.56/1125.97 c 1125s | 24 | 15677653 | 4113162 | 1344 7662 | 19 | 39 1127.56/1127.97 c 1127s | 24 | 15705607 | 4120062 | 1344 7672 | 19 | 39 1129.56/1129.98 c 1129s | 24 | 15730427 | 4126862 | 1344 7682 | 19 | 39 1131.66/1132.01 c 1131s | 24 | 15754887 | 4133762 | 1344 7692 | 19 | 39 1133.65/1134.03 c 1133s | 24 | 15777985 | 4140462 | 1344 7701 | 19 | 39 1135.66/1136.03 c 1135s | 24 | 15802910 | 4147562 | 1344 7711 | 19 | 39 1137.66/1138.03 c 1137s | 24 | 15831439 | 4154662 | 1344 7722 | 19 | 39 1139.66/1140.05 c 1139s | 24 | 15858844 | 4161762 | 1344 7732 | 19 | 39 1141.65/1142.06 c 1141s | 24 | 15883413 | 4168962 | 1344 7742 | 19 | 39 1143.66/1144.09 c 1143s | 24 | 15912780 | 4175962 | 1344 7752 | 19 | 39 1145.75/1146.10 c 1145s | 24 | 15937482 | 4182562 | 1344 7762 | 19 | 39 1147.75/1148.11 c 1147s | 24 | 15964095 | 4189362 | 1344 7772 | 19 | 39 1149.75/1150.12 c 1149s | 24 | 15990633 | 4195962 | 1344 7781 | 19 | 39 1151.75/1152.13 c 1152s | 24 | 16016073 | 4202462 | 1344 7791 | 19 | 39 1153.75/1154.15 c 1154s | 24 | 16041425 | 4209062 | 1344 7800 | 19 | 39 1155.75/1156.17 c 1156s | 24 | 16068597 | 4216162 | 1344 7810 | 19 | 39 1157.75/1158.18 c 1158s | 24 | 16095698 | 4222962 | 1344 7820 | 19 | 39 1159.84/1160.20 c 1160s | 24 | 16122708 | 4229662 | 1344 7830 | 19 | 39 1161.84/1162.22 c 1162s | 24 | 16147720 | 4236262 | 1344 7840 | 19 | 39 1163.84/1164.23 c 1164s | 24 | 16173143 | 4243362 | 1344 7850 | 19 | 39 1165.84/1166.24 c 1166s | 24 | 16199260 | 4250262 | 1344 7860 | 19 | 39 1167.85/1168.25 c 1168s | 24 | 16224814 | 4257162 | 1344 7870 | 19 | 39 1169.84/1170.25 c 1170s | 24 | 16251133 | 4263862 | 1344 7880 | 19 | 39 1171.84/1172.28 c 1172s | 24 | 16280518 | 4270562 | 1344 7889 | 19 | 39 1173.84/1174.29 c 1174s | 24 | 16307643 | 4277262 | 1344 7899 | 19 | 39 1175.94/1176.32 c 1176s | 24 | 16335979 | 4283962 | 1344 7909 | 19 | 39 1177.94/1178.35 c 1178s | 24 | 16361046 | 4290462 | 1344 7918 | 19 | 39 1179.94/1180.37 c 1180s | 24 | 16386694 | 4296862 | 1344 7927 | 19 | 39 1181.93/1182.39 c 1182s | 24 | 16412879 | 4303562 | 1344 7937 | 19 | 39 1183.93/1184.39 c 1184s | 24 | 16436582 | 4310262 | 1344 7947 | 19 | 39 1186.03/1186.41 c 1186s | 24 | 16460566 | 4316862 | 1344 7956 | 19 | 39 1188.03/1188.44 c 1188s | 24 | 16485573 | 4323662 | 1344 7966 | 19 | 39 1190.03/1190.44 c 1190s | 24 | 16508887 | 4330162 | 1344 7976 | 19 | 39 1192.03/1192.45 c 1192s | 24 | 16535008 | 4337162 | 1344 7986 | 19 | 39 1194.02/1194.45 c 1194s | 24 | 16558747 | 4343662 | 1344 7995 | 19 | 39 1196.02/1196.46 c 1196s | 24 | 16580688 | 4349662 | 1344 8004 | 19 | 39 1198.02/1198.46 c 1198s | 24 | 16605347 | 4355962 | 1344 8013 | 19 | 39 1200.03/1200.47 c 1200s | 24 | 16628967 | 4362662 | 1344 8022 | 19 | 39 1202.04/1202.49 c 1202s | 24 | 16653205 | 4368962 | 1344 8031 | 19 | 39 1204.14/1204.52 c 1204s | 24 | 16675536 | 4375162 | 1344 8040 | 19 | 39 1206.13/1206.54 c 1206s | 24 | 16698597 | 4381762 | 1344 8050 | 19 | 39 1208.13/1208.54 c 1208s | 24 | 16724005 | 4388162 | 1344 8059 | 19 | 39 1210.13/1210.55 c 1210s | 24 | 16745210 | 4394162 | 1344 8068 | 19 | 39 1212.12/1212.56 c 1212s | 24 | 16767689 | 4400562 | 1344 8077 | 19 | 39 1214.13/1214.57 c 1214s | 24 | 16789565 | 4406762 | 1344 8086 | 19 | 39 1216.12/1216.60 c 1216s | 24 | 16811785 | 4412862 | 1344 8095 | 19 | 39 1218.22/1218.60 c 1218s | 24 | 16830463 | 4419062 | 1344 8104 | 19 | 39 1220.22/1220.62 c 1220s | 24 | 16852469 | 4425262 | 1344 8113 | 19 | 39 1222.22/1222.63 c 1222s | 24 | 16876307 | 4431362 | 1344 8122 | 19 | 39 1224.21/1224.64 c 1224s | 24 | 16904414 | 4438262 | 1344 8132 | 19 | 39 1226.22/1226.65 c 1226s | 24 | 16930684 | 4445162 | 1344 8142 | 19 | 39 1228.21/1228.67 c 1228s | 24 | 16955800 | 4451862 | 1344 8152 | 19 | 39 1230.21/1230.67 c 1230s | 24 | 16983568 | 4458762 | 1344 8162 | 19 | 39 1232.21/1232.68 c 1232s | 24 | 17011181 | 4465362 | 1344 8171 | 19 | 39 1234.31/1234.70 c 1234s | 24 | 17034716 | 4471362 | 1344 8180 | 19 | 39 1236.31/1236.70 c 1236s | 24 | 17060830 | 4478062 | 1344 8189 | 19 | 39 1238.21/1238.70 c 1238s | 24 | 17085241 | 4484662 | 1344 8199 | 19 | 39 1240.31/1240.72 c 1240s | 24 | 17107704 | 4491162 | 1344 8208 | 19 | 39 1242.31/1242.75 c 1242s | 24 | 17131388 | 4497762 | 1344 8218 | 19 | 39 1244.31/1244.77 c 1244s | 24 | 17154784 | 4504262 | 1344 8227 | 19 | 39 1246.31/1246.79 c 1246s | 24 | 17179989 | 4510962 | 1344 8237 | 19 | 39 1248.40/1248.80 c 1248s | 24 | 17204703 | 4517662 | 1344 8247 | 19 | 39 1250.41/1250.81 c 1250s | 24 | 17229491 | 4524362 | 1344 8256 | 19 | 39 1252.40/1252.83 c 1252s | 24 | 17254289 | 4530662 | 1344 8265 | 19 | 39 1254.40/1254.84 c 1254s | 24 | 17279001 | 4536762 | 1344 8274 | 19 | 39 1256.40/1256.85 c 1256s | 24 | 17303286 | 4542762 | 1344 8283 | 19 | 39 1258.40/1258.85 c 1258s | 24 | 17323800 | 4549162 | 1344 8292 | 19 | 39 1260.40/1260.86 c 1260s | 24 | 17344668 | 4555262 | 1344 8301 | 19 | 39 1262.40/1262.89 c 1262s | 24 | 17370677 | 4561662 | 1344 8311 | 19 | 39 1264.50/1264.91 c 1264s | 24 | 17391951 | 4567862 | 1344 8320 | 19 | 39 1266.50/1266.91 c 1266s | 24 | 17418127 | 4574162 | 1344 8329 | 19 | 39 1268.49/1268.93 c 1268s | 24 | 17442531 | 4580362 | 1344 8338 | 19 | 39 1270.49/1270.94 c 1270s | 24 | 17468102 | 4586862 | 1344 8347 | 19 | 39 1272.49/1272.97 c 1272s | 24 | 17492463 | 4593462 | 1344 8356 | 19 | 39 1274.50/1274.97 c 1274s | 24 | 17516680 | 4599262 | 1344 8365 | 19 | 39 1276.49/1276.99 c 1276s | 24 | 17538640 | 4604962 | 1344 8373 | 19 | 39 1278.58/1279.00 c 1278s | 24 | 17563062 | 4611662 | 1344 8383 | 19 | 39 1280.58/1281.02 c 1280s | 24 | 17587520 | 4617862 | 1344 8392 | 19 | 39 1282.58/1283.03 c 1282s | 24 | 17613020 | 4624262 | 1344 8401 | 19 | 39 1284.58/1285.05 c 1284s | 24 | 17639122 | 4630462 | 1344 8410 | 19 | 39 1286.59/1287.05 c 1286s | 24 | 17663105 | 4636662 | 1344 8419 | 19 | 39 1288.58/1289.08 c 1288s | 24 | 17687011 | 4643162 | 1344 8428 | 19 | 39 1290.58/1291.08 c 1290s | 24 | 17712794 | 4649662 | 1344 8438 | 19 | 39 1292.68/1293.11 c 1292s | 24 | 17736431 | 4655962 | 1344 8447 | 19 | 39 1294.68/1295.14 c 1295s | 24 | 17760570 | 4662262 | 1344 8456 | 19 | 39 1296.68/1297.15 c 1297s | 24 | 17784317 | 4668162 | 1344 8465 | 19 | 39 1298.69/1299.17 c 1299s | 24 | 17806735 | 4674662 | 1344 8474 | 19 | 39 1300.68/1301.17 c 1301s | 24 | 17828351 | 4680262 | 1344 8482 | 19 | 39 1302.68/1303.19 c 1303s | 24 | 17851504 | 4686062 | 1344 8491 | 19 | 39 1304.78/1305.22 c 1305s | 24 | 17872916 | 4691862 | 1344 8499 | 19 | 39 1306.78/1307.23 c 1307s | 24 | 17895229 | 4697762 | 1344 8508 | 19 | 39 1308.78/1309.24 c 1309s | 24 | 17918010 | 4704062 | 1344 8517 | 19 | 39 1310.78/1311.26 c 1311s | 24 | 17940761 | 4710162 | 1344 8526 | 19 | 39 1312.78/1313.26 c 1313s | 24 | 17961827 | 4715962 | 1344 8534 | 19 | 39 1314.78/1315.27 c 1315s | 24 | 17980820 | 4721462 | 1344 8542 | 19 | 39 1316.88/1317.31 c 1317s | 24 | 18001516 | 4727362 | 1344 8551 | 19 | 39 1318.88/1319.31 c 1319s | 24 | 18020699 | 4732862 | 1344 8559 | 19 | 39 1320.88/1321.32 c 1321s | 24 | 18046882 | 4739062 | 1344 8568 | 19 | 39 1322.88/1323.34 c 1323s | 24 | 18072431 | 4745362 | 1344 8577 | 19 | 39 1324.87/1325.34 c 1325s | 24 | 18096858 | 4751462 | 1344 8586 | 19 | 39 1326.87/1327.35 c 1327s | 24 | 18120776 | 4757762 | 1344 8595 | 19 | 39 1328.87/1329.37 c 1329s | 24 | 18146623 | 4764362 | 1344 8605 | 19 | 39 1330.87/1331.39 c 1331s | 24 | 18172957 | 4771062 | 1344 8614 | 19 | 39 1332.88/1333.39 c 1333s | 24 | 18198425 | 4777562 | 1344 8624 | 19 | 39 1334.98/1335.41 c 1335s | 24 | 18222714 | 4783662 | 1344 8632 | 19 | 39 1336.97/1337.41 c 1337s | 24 | 18247071 | 4789762 | 1344 8641 | 19 | 39 1338.97/1339.41 c 1339s | 24 | 18273002 | 4796062 | 1344 8650 | 19 | 39 1340.97/1341.43 c 1341s | 24 | 18301047 | 4802562 | 1344 8660 | 19 | 39 1342.97/1343.47 c 1343s | 24 | 18323850 | 4808562 | 1344 8669 | 19 | 39 1345.07/1345.51 c 1345s | 24 | 18348625 | 4814662 | 1344 8678 | 19 | 39 1347.08/1347.51 c 1347s | 24 | 18371084 | 4820762 | 1344 8686 | 19 | 39 1349.07/1349.51 c 1349s | 24 | 18397949 | 4827162 | 1344 8696 | 19 | 39 1351.07/1351.52 c 1351s | 24 | 18425530 | 4833562 | 1344 8705 | 19 | 39 1353.07/1353.55 c 1353s | 24 | 18450979 | 4840162 | 1344 8715 | 19 | 39 1355.07/1355.56 c 1355s | 24 | 18476061 | 4846662 | 1344 8724 | 19 | 39 1357.08/1357.58 c 1357s | 24 | 18499696 | 4853362 | 1344 8734 | 19 | 39 1359.07/1359.60 c 1359s | 24 | 18524894 | 4859662 | 1344 8743 | 19 | 39 1361.17/1361.61 c 1361s | 24 | 18547216 | 4865862 | 1344 8752 | 19 | 39 1363.17/1363.64 c 1363s | 24 | 18572975 | 4872262 | 1344 8761 | 19 | 39 1365.17/1365.66 c 1365s | 24 | 18596705 | 4878762 | 1344 8771 | 19 | 39 1367.17/1367.69 c 1367s | 24 | 18619843 | 4884962 | 1344 8780 | 19 | 39 1369.27/1369.70 c 1369s | 24 | 18644044 | 4891062 | 1344 8788 | 19 | 39 1371.28/1371.73 c 1371s | 24 | 18668264 | 4897262 | 1344 8798 | 19 | 39 1373.28/1373.76 c 1373s | 24 | 18693888 | 4903662 | 1344 8807 | 19 | 39 1375.27/1375.79 c 1375s | 24 | 18718771 | 4909962 | 1344 8816 | 19 | 39 1377.37/1377.82 c 1377s | 24 | 18746407 | 4916462 | 1344 8825 | 19 | 39 1379.37/1379.84 c 1379s | 24 | 18769537 | 4922862 | 1344 8835 | 19 | 39 1381.37/1381.86 c 1381s | 24 | 18791215 | 4928762 | 1344 8843 | 19 | 39 1383.38/1383.88 c 1383s | 24 | 18811994 | 4934562 | 1344 8852 | 19 | 39 1385.37/1385.88 c 1385s | 24 | 18834076 | 4940562 | 1344 8860 | 19 | 39 1387.37/1387.88 c 1387s | 24 | 18854766 | 4946462 | 1344 8869 | 19 | 39 1389.47/1389.91 c 1389s | 24 | 18875805 | 4952562 | 1344 8878 | 19 | 39 1391.47/1391.92 c 1391s | 24 | 18896243 | 4957962 | 1344 8886 | 19 | 39 1393.47/1393.93 c 1393s | 24 | 18920914 | 4963862 | 1344 8894 | 19 | 39 1395.48/1395.94 c 1395s | 24 | 18944910 | 4970462 | 1344 8904 | 19 | 39 1397.47/1397.95 c 1397s | 24 | 18968162 | 4976762 | 1344 8913 | 19 | 39 1399.47/1399.98 c 1399s | 24 | 18991725 | 4982762 | 1344 8922 | 19 | 39 1401.57/1402.01 c 1401s | 24 | 19016631 | 4988762 | 1344 8931 | 19 | 39 1403.57/1404.03 c 1403s | 24 | 19039694 | 4995162 | 1344 8940 | 19 | 39 1405.57/1406.05 c 1405s | 24 | 19064194 | 5001062 | 1344 8948 | 19 | 39 1407.57/1408.06 c 1407s | 24 | 19086602 | 5007062 | 1344 8957 | 19 | 39 1409.57/1410.07 c 1409s | 24 | 19110756 | 5013362 | 1344 8966 | 19 | 39 1411.57/1412.08 c 1411s | 24 | 19139460 | 5020162 | 1344 8976 | 19 | 39 1413.57/1414.08 c 1413s | 24 | 19165489 | 5027162 | 1344 8986 | 19 | 39 1415.66/1416.10 c 1415s | 24 | 19191907 | 5034062 | 1479 8995 | 19 | 39 1417.66/1418.13 c 1418s | 24 | 19216455 | 5040962 | 1479 9004 | 19 | 39 1419.67/1420.15 c 1420s | 24 | 19243398 | 5047462 | 1479 9013 | 19 | 39 1421.66/1422.18 c 1422s | 24 | 19265240 | 5053762 | 1479 9021 | 19 | 39 1423.66/1424.18 c 1424s | 24 | 19288956 | 5060362 | 1479 9029 | 19 | 39 1425.06/1425.56 c 1425s | 25 | 19307139 | 5065098 | 1479 9036 | 19 | 39 1427.06/1427.57 c 1427s | 25 | 19331200 | 5071598 | 1479 9044 | 19 | 39 1429.06/1429.57 c 1429s | 25 | 19355989 | 5078298 | 1479 9053 | 19 | 39 1431.06/1431.59 c 1431s | 25 | 19382927 | 5085298 | 1479 9062 | 19 | 39 1433.16/1433.62 c 1433s | 25 | 19411030 | 5092198 | 1479 9071 | 19 | 39 1435.17/1435.65 c 1435s | 25 | 19437900 | 5098698 | 1479 9080 | 19 | 39 1437.16/1437.68 c 1437s | 25 | 19464937 | 5105298 | 1479 9088 | 19 | 39 1439.16/1439.69 c 1439s | 25 | 19492148 | 5111998 | 1479 9097 | 19 | 39 1441.26/1441.70 c 1441s | 25 | 19519670 | 5118998 | 1479 9106 | 19 | 39 1443.26/1443.73 c 1443s | 25 | 19547831 | 5125998 | 1479 9115 | 19 | 39 1445.26/1445.76 c 1445s | 25 | 19576327 | 5132998 | 1479 9124 | 19 | 39 1447.27/1447.79 c 1447s | 25 | 19604110 | 5139998 | 1479 9134 | 19 | 39 1449.36/1449.81 c 1449s | 25 | 19631485 | 5146998 | 1479 9143 | 19 | 39 1451.36/1451.83 c 1451s | 25 | 19659851 | 5154098 | 1479 9152 | 19 | 39 1453.36/1453.84 c 1453s | 25 | 19687932 | 5161198 | 1479 9161 | 19 | 39 1455.36/1455.85 c 1455s | 25 | 19713070 | 5167798 | 1479 9170 | 19 | 39 1457.36/1457.87 c 1457s | 25 | 19736940 | 5174798 | 1479 9179 | 19 | 39 1459.36/1459.88 c 1459s | 25 | 19762039 | 5181498 | 1479 9188 | 19 | 39 1461.36/1461.88 c 1461s | 25 | 19785539 | 5188398 | 1479 9197 | 19 | 39 1463.36/1463.88 c 1463s | 25 | 19814350 | 5195298 | 1479 9206 | 19 | 39 1465.45/1465.90 c 1465s | 25 | 19841467 | 5202098 | 1479 9215 | 19 | 39 1467.45/1467.92 c 1467s | 25 | 19868106 | 5208598 | 1479 9223 | 19 | 39 1469.45/1469.94 c 1469s | 25 | 19894108 | 5215098 | 1479 9232 | 19 | 39 1471.46/1471.94 c 1471s | 25 | 19922302 | 5221898 | 1479 9241 | 19 | 39 1473.45/1473.95 c 1473s | 25 | 19952984 | 5228898 | 1479 9250 | 19 | 39 1475.45/1475.97 c 1475s | 25 | 19980398 | 5235598 | 1479 9259 | 19 | 39 1477.45/1477.99 c 1477s | 25 | 20008140 | 5242298 | 1479 9267 | 19 | 39 1479.55/1480.03 c 1479s | 25 | 20038610 | 5249298 | 1479 9276 | 19 | 39 1481.55/1482.06 c 1481s | 25 | 20064899 | 5255898 | 1479 9285 | 19 | 39 1483.56/1484.07 c 1483s | 25 | 20092825 | 5262598 | 1479 9294 | 19 | 39 1485.55/1486.08 c 1485s | 25 | 20119282 | 5269098 | 1479 9302 | 19 | 39 1487.66/1488.11 c 1487s | 25 | 20140773 | 5275098 | 1479 9310 | 19 | 39 1489.66/1490.11 c 1489s | 25 | 20168188 | 5281698 | 1479 9319 | 19 | 39 1491.66/1492.13 c 1492s | 25 | 20189759 | 5287598 | 1479 9327 | 19 | 39 1493.66/1494.15 c 1494s | 25 | 20214999 | 5293998 | 1479 9335 | 19 | 39 1495.66/1496.16 c 1496s | 25 | 20241263 | 5300398 | 1479 9343 | 19 | 39 1497.65/1498.16 c 1498s | 25 | 20267364 | 5306598 | 1479 9352 | 19 | 39 1499.65/1500.19 c 1500s | 25 | 20291695 | 5313098 | 1479 9360 | 19 | 39 1501.65/1502.19 c 1502s | 25 | 20316175 | 5319398 | 1479 9369 | 19 | 39 1503.75/1504.21 c 1504s | 25 | 20343513 | 5326398 | 1479 9378 | 19 | 39 1505.75/1506.22 c 1506s | 25 | 20372010 | 5333098 | 1479 9386 | 19 | 39 1507.76/1508.23 c 1508s | 25 | 20398298 | 5339798 | 1479 9395 | 19 | 39 1509.75/1510.24 c 1510s | 25 | 20425615 | 5346798 | 1479 9404 | 19 | 39 1511.75/1512.25 c 1512s | 25 | 20453946 | 5353398 | 1479 9413 | 19 | 39 1513.75/1514.27 c 1514s | 25 | 20481156 | 5359798 | 1479 9421 | 19 | 39 1515.75/1516.28 c 1516s | 25 | 20507624 | 5366498 | 1479 9430 | 19 | 39 1517.75/1518.28 c 1518s | 25 | 20532610 | 5373098 | 1479 9438 | 19 | 39 1519.75/1520.29 c 1520s | 25 | 20557398 | 5379298 | 1479 9447 | 19 | 39 1521.75/1522.29 c 1522s | 25 | 20582581 | 5385798 | 1479 9455 | 19 | 39 1523.85/1524.31 c 1524s | 25 | 20605261 | 5392098 | 1479 9463 | 19 | 39 1525.85/1526.34 c 1526s | 25 | 20630624 | 5398398 | 1479 9472 | 19 | 39 1527.85/1528.37 c 1528s | 25 | 20653407 | 5404198 | 1479 9479 | 19 | 39 1529.94/1530.40 c 1530s | 25 | 20681331 | 5410598 | 1479 9488 | 19 | 39 1531.95/1532.41 c 1532s | 25 | 20703924 | 5416698 | 1479 9496 | 19 | 39 1533.94/1534.42 c 1534s | 25 | 20726458 | 5422698 | 1479 9503 | 19 | 39 1535.94/1536.43 c 1536s | 25 | 20750465 | 5428798 | 1479 9511 | 19 | 39 1537.94/1538.43 c 1538s | 25 | 20775301 | 5435298 | 1479 9520 | 19 | 39 1539.94/1540.43 c 1540s | 25 | 20801982 | 5442198 | 1479 9529 | 19 | 39 1541.94/1542.45 c 1542s | 25 | 20830541 | 5449198 | 1479 9538 | 19 | 39 1543.95/1544.46 c 1544s | 25 | 20859076 | 5456798 | 1479 9548 | 19 | 39 1545.94/1546.48 c 1546s | 25 | 20886564 | 5463798 | 1479 9557 | 19 | 39 1548.04/1548.51 c 1548s | 25 | 20913329 | 5470698 | 1479 9566 | 19 | 39 1550.04/1550.51 c 1550s | 25 | 20937093 | 5477598 | 1479 9575 | 19 | 39 1552.04/1552.54 c 1552s | 25 | 20964124 | 5484098 | 1479 9584 | 19 | 39 1554.04/1554.55 c 1554s | 25 | 20987178 | 5490598 | 1479 9592 | 19 | 39 1556.05/1556.56 c 1556s | 25 | 21013534 | 5497598 | 1479 9602 | 19 | 39 1558.04/1558.58 c 1558s | 25 | 21039734 | 5504798 | 1479 9611 | 19 | 39 1560.14/1560.61 c 1560s | 25 | 21066424 | 5511498 | 1479 9620 | 19 | 39 1562.14/1562.64 c 1562s | 25 | 21091825 | 5517998 | 1479 9628 | 19 | 39 1564.15/1564.66 c 1564s | 25 | 21115661 | 5524398 | 1479 9637 | 19 | 39 1566.15/1566.69 c 1566s | 25 | 21141417 | 5530898 | 1479 9645 | 19 | 39 1568.25/1568.70 c 1568s | 25 | 21166699 | 5537198 | 1479 9653 | 19 | 39 1570.25/1570.73 c 1570s | 25 | 21191121 | 5543398 | 1479 9662 | 19 | 39 1572.25/1572.75 c 1572s | 25 | 21216290 | 5550098 | 1479 9670 | 19 | 39 1574.24/1574.79 c 1574s | 25 | 21242316 | 5556698 | 1479 9679 | 19 | 39 1576.34/1576.80 c 1576s | 25 | 21267598 | 5563198 | 1479 9688 | 19 | 39 1578.34/1578.82 c 1578s | 25 | 21293930 | 5569698 | 1479 9696 | 19 | 39 1580.35/1580.83 c 1580s | 25 | 21318155 | 5575998 | 1479 9704 | 19 | 39 1582.34/1582.84 c 1582s | 25 | 21344796 | 5582498 | 1479 9713 | 19 | 39 1584.34/1584.87 c 1584s | 25 | 21368879 | 5588798 | 1479 9721 | 19 | 39 1586.34/1586.89 c 1586s | 25 | 21395579 | 5595298 | 1479 9730 | 19 | 39 1588.44/1588.91 c 1588s | 25 | 21422768 | 5602198 | 1479 9739 | 19 | 39 1590.44/1590.93 c 1590s | 25 | 21449906 | 5608998 | 1479 9748 | 19 | 39 1592.44/1592.94 c 1592s | 25 | 21476666 | 5615798 | 1479 9757 | 19 | 39 1594.44/1594.94 c 1594s | 25 | 21502742 | 5622598 | 1479 9766 | 19 | 39 1596.44/1596.95 c 1596s | 25 | 21528155 | 5628898 | 1479 9774 | 19 | 39 1598.44/1598.98 c 1598s | 25 | 21553183 | 5635298 | 1479 9782 | 19 | 39 1600.54/1601.00 c 1600s | 25 | 21581570 | 5642098 | 1479 9791 | 19 | 39 1602.53/1603.00 c 1602s | 25 | 21605534 | 5648598 | 1479 9800 | 19 | 39 1604.54/1605.03 c 1604s | 25 | 21628275 | 5655098 | 1479 9808 | 19 | 39 1606.53/1607.04 c 1606s | 25 | 21656720 | 5661498 | 1479 9816 | 19 | 39 1608.53/1609.05 c 1608s | 25 | 21681222 | 5667898 | 1479 9825 | 19 | 39 1610.53/1611.07 c 1610s | 25 | 21705288 | 5674198 | 1479 9833 | 19 | 39 1612.63/1613.10 c 1612s | 25 | 21731009 | 5680498 | 1479 9842 | 19 | 39 1614.63/1615.11 c 1614s | 25 | 21758665 | 5687198 | 1479 9850 | 19 | 39 1616.64/1617.12 c 1617s | 25 | 21784979 | 5693698 | 1479 9859 | 19 | 39 1618.63/1619.16 c 1619s | 25 | 21812948 | 5700798 | 1479 9868 | 19 | 39 1620.63/1621.17 c 1621s | 25 | 21840346 | 5707598 | 1479 9877 | 19 | 39 1622.63/1623.17 c 1623s | 25 | 21865137 | 5714198 | 1479 9886 | 19 | 39 1624.63/1625.19 c 1625s | 25 | 21889011 | 5720898 | 1479 9895 | 19 | 39 1626.73/1627.22 c 1627s | 25 | 21916413 | 5727498 | 1479 9903 | 19 | 39 1628.73/1629.23 c 1629s | 25 | 21937982 | 5733798 | 1479 9911 | 19 | 39 1630.73/1631.23 c 1631s | 25 | 21965661 | 5740498 | 1479 9920 | 19 | 39 1632.73/1633.24 c 1633s | 25 | 21989856 | 5747198 | 1479 9929 | 19 | 39 1634.73/1635.26 c 1635s | 25 | 22015182 | 5753998 | 1479 9938 | 19 | 39 1636.73/1637.27 c 1637s | 25 | 22040841 | 5760298 | 1479 9946 | 19 | 39 1638.73/1639.28 c 1639s | 25 | 22064239 | 5766898 | 1479 9955 | 19 | 39 1640.73/1641.30 c 1641s | 25 | 22089280 | 5773298 | 1479 9963 | 19 | 39 1642.83/1643.30 c 1643s | 25 | 22112120 | 5779798 | 1479 9972 | 19 | 39 1644.83/1645.32 c 1645s | 25 | 22137599 | 5786198 | 1479 9980 | 19 | 39 1646.82/1647.33 c 1647s | 25 | 22160819 | 5792298 | 1479 9988 | 19 | 39 1648.82/1649.35 c 1649s | 25 | 22182104 | 5798498 | 1479 9996 | 19 | 39 1650.82/1651.37 c 1651s | 25 | 22205039 | 5804798 | 1479 10005 | 19 | 39 1652.83/1653.39 c 1653s | 25 | 22230135 | 5811398 | 1479 10013 | 19 | 39 1654.92/1655.41 c 1655s | 25 | 22257828 | 5818698 | 1479 10023 | 19 | 39 1656.92/1657.43 c 1657s | 25 | 22285164 | 5825598 | 1479 10032 | 19 | 39 1658.92/1659.45 c 1659s | 25 | 22311340 | 5832398 | 1479 10041 | 19 | 39 1660.92/1661.46 c 1661s | 25 | 22333640 | 5838898 | 1479 10049 | 19 | 39 1662.92/1663.47 c 1663s | 25 | 22360602 | 5845798 | 1479 10058 | 19 | 39 1664.93/1665.50 c 1665s | 25 | 22389556 | 5852498 | 1479 10067 | 19 | 39 1667.02/1667.52 c 1667s | 25 | 22415699 | 5859098 | 1479 10076 | 19 | 39 1669.02/1669.52 c 1669s | 25 | 22438266 | 5865498 | 1479 10084 | 19 | 39 1671.03/1671.53 c 1671s | 25 | 22462256 | 5871998 | 1479 10093 | 19 | 39 1673.03/1673.54 c 1673s | 25 | 22487974 | 5878298 | 1479 10101 | 19 | 39 1675.03/1675.54 c 1675s | 25 | 22512789 | 5884898 | 1479 10110 | 19 | 39 1677.04/1677.57 c 1677s | 25 | 22533850 | 5891398 | 1479 10118 | 19 | 39 1679.03/1679.59 c 1679s | 25 | 22557159 | 5898098 | 1479 10127 | 19 | 39 1681.13/1681.60 c 1681s | 25 | 22579934 | 5904598 | 1479 10136 | 19 | 39 1683.13/1683.61 c 1683s | 25 | 22604873 | 5911198 | 1479 10144 | 19 | 39 1685.13/1685.61 c 1685s | 25 | 22630578 | 5917498 | 1479 10153 | 19 | 39 1687.13/1687.62 c 1687s | 25 | 22654784 | 5923798 | 1479 10161 | 19 | 39 1689.13/1689.63 c 1689s | 25 | 22677634 | 5929898 | 1479 10169 | 19 | 39 1691.13/1691.64 c 1691s | 25 | 22701901 | 5936098 | 1479 10177 | 19 | 39 1693.13/1693.64 c 1693s | 25 | 22724988 | 5941998 | 1479 10185 | 19 | 39 1695.13/1695.67 c 1695s | 25 | 22751733 | 5948598 | 1479 10194 | 19 | 39 1697.12/1697.68 c 1697s | 25 | 22779487 | 5954998 | 1479 10202 | 19 | 39 1699.22/1699.70 c 1699s | 25 | 22811070 | 5961998 | 1479 10211 | 19 | 39 1701.23/1701.71 c 1701s | 25 | 22839903 | 5968898 | 1479 10220 | 19 | 39 1703.22/1703.74 c 1703s | 25 | 22863547 | 5975298 | 1479 10229 | 19 | 39 1705.22/1705.77 c 1705s | 25 | 22888906 | 5981998 | 1479 10237 | 19 | 39 1707.32/1707.80 c 1707s | 25 | 22918420 | 5988898 | 1479 10246 | 19 | 39 1709.32/1709.80 c 1709s | 25 | 22945737 | 5995798 | 1479 10255 | 19 | 39 1711.32/1711.82 c 1711s | 25 | 22972305 | 6003098 | 1479 10265 | 19 | 39 1713.32/1713.84 c 1713s | 25 | 22999639 | 6009898 | 1479 10274 | 19 | 39 1715.32/1715.85 c 1715s | 25 | 23019993 | 6016098 | 1479 10282 | 19 | 39 1717.32/1717.87 c 1717s | 25 | 23045890 | 6022798 | 1479 10291 | 19 | 39 1719.32/1719.89 c 1719s | 25 | 23071481 | 6029598 | 1479 10300 | 19 | 39 1721.42/1721.92 c 1721s | 25 | 23094212 | 6036198 | 1479 10308 | 19 | 39 1723.42/1723.92 c 1723s | 25 | 23118307 | 6042198 | 1479 10316 | 19 | 39 1725.42/1725.94 c 1725s | 25 | 23138445 | 6048098 | 1479 10324 | 19 | 39 1727.42/1727.95 c 1727s | 25 | 23166297 | 6054698 | 1479 10333 | 19 | 39 1729.41/1729.95 c 1729s | 25 | 23189222 | 6061498 | 1479 10342 | 19 | 39 1731.41/1731.95 c 1731s | 25 | 23215337 | 6068198 | 1479 10351 | 19 | 39 1733.41/1733.97 c 1733s | 25 | 23238081 | 6074898 | 1479 10359 | 19 | 39 1735.42/1735.98 c 1735s | 25 | 23263547 | 6081798 | 1479 10368 | 19 | 39 1737.41/1737.99 c 1737s | 25 | 23287998 | 6088498 | 1479 10377 | 19 | 39 1739.51/1740.00 c 1739s | 25 | 23313839 | 6095098 | 1479 10386 | 19 | 39 1741.51/1742.01 c 1741s | 25 | 23339328 | 6101598 | 1479 10394 | 19 | 39 1743.51/1744.04 c 1743s | 25 | 23363238 | 6107998 | 1479 10403 | 19 | 39 1745.51/1746.04 c 1745s | 25 | 23385703 | 6114298 | 1479 10411 | 19 | 39 1747.52/1748.07 c 1747s | 25 | 23406098 | 6120598 | 1479 10419 | 19 | 39 1749.51/1750.08 c 1749s | 25 | 23426748 | 6126798 | 1479 10428 | 19 | 39 1751.51/1752.09 c 1751s | 25 | 23448782 | 6133298 | 1479 10436 | 19 | 39 1753.61/1754.11 c 1753s | 25 | 23470043 | 6139698 | 1479 10445 | 19 | 39 1755.61/1756.14 c 1756s | 25 | 23488439 | 6145998 | 1479 10453 | 19 | 39 1757.61/1758.15 c 1758s | 25 | 23507459 | 6151998 | 1479 10461 | 19 | 39 1759.62/1760.17 c 1760s | 25 | 23525765 | 6157898 | 1479 10469 | 19 | 39 1761.61/1762.17 c 1762s | 25 | 23549148 | 6164298 | 1479 10477 | 19 | 39 1763.61/1764.18 c 1764s | 25 | 23572108 | 6170498 | 1479 10485 | 19 | 39 1765.71/1766.21 c 1766s | 25 | 23600889 | 6176998 | 1479 10494 | 19 | 39 1767.71/1768.22 c 1768s | 25 | 23630642 | 6183898 | 1479 10503 | 19 | 39 1769.71/1770.24 c 1770s | 25 | 23658570 | 6190398 | 1479 10511 | 19 | 39 1771.72/1772.25 c 1772s | 25 | 23683333 | 6196998 | 1479 10520 | 19 | 39 1773.71/1774.25 c 1774s | 25 | 23709260 | 6203598 | 1479 10529 | 19 | 39 1775.71/1776.26 c 1776s | 25 | 23736978 | 6210098 | 1479 10537 | 19 | 39 1777.71/1778.29 c 1778s | 25 | 23764158 | 6216698 | 1479 10546 | 19 | 39 1779.81/1780.32 c 1780s | 25 | 23790710 | 6223198 | 1479 10554 | 19 | 39 1781.81/1782.32 c 1782s | 25 | 23814688 | 6229598 | 1479 10563 | 19 | 39 1783.82/1784.33 c 1784s | 25 | 23839976 | 6236098 | 1479 10571 | 19 | 39 1785.81/1786.36 c 1786s | 25 | 23866049 | 6242398 | 1479 10580 | 19 | 39 1787.81/1788.39 c 1788s | 25 | 23894700 | 6248798 | 1479 10588 | 19 | 39 1789.81/1790.39 c 1790s | 25 | 23919689 | 6255298 | 1479 10597 | 19 | 39 1791.81/1792.39 c 1792s | 25 | 23946301 | 6261798 | 1479 10605 | 19 | 39 1793.91/1794.42 c 1794s | 25 | 23972163 | 6268298 | 1479 10614 | 19 | 39 1795.92/1796.43 c 1796s | 25 | 23997402 | 6274498 | 1479 10622 | 19 | 39 1797.91/1798.45 c 1798s | 25 | 24024729 | 6281498 | 1479 10631 | 19 | 39 1799.91/1800.48 c 1800s | 25 | 24051778 | 6288198 | 1479 10640 | 19 | 39
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-4105369-1466243589/watcher-4105369-1466243589 -o /tmp/evaluation-result-4105369-1466243589/solver-4105369-1466243589 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105369-1466243589.opb pid=4621 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.02 2.07 2.00 3/179 4624 /proc/meminfo: memFree=30157480/32872528 swapFree=526336/559040 [pid=4624] ppid=4621 vsize=579004 CPUtime=0 cores=0,2,4,6 /proc/4624/stat : 4624 (toysat) R 4621 4624 28898 0 -1 4202496 2136 0 0 0 0 0 0 0 20 0 4 0 26409003 592900096 2497 33554432000 4194304 16246674 140736864911872 140736864911296 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4624/statm: 145263 2505 441 2943 0 142157 0 [pid=4624/tid=4625] ppid=4621 vsize=622012 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4625/stat : 4625 (toysat) S 4621 4624 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26409004 636940288 2665 33554432000 4194304 16246674 140736864911872 140315116678384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4624/tid=4626] ppid=4621 vsize=627132 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4626/stat : 4626 (toysat) S 4621 4624 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26409004 642183168 2684 33554432000 4194304 16246674 140736864911872 140315038035184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4624/tid=4627] ppid=4621 vsize=631228 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4627/stat : 4627 (toysat) S 4621 4624 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26409004 646377472 2700 33554432000 4194304 16246674 140736864911872 140315027561648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100172 s] /proc/loadavg: 2.02 2.07 2.00 3/179 4624 /proc/meminfo: memFree=30157480/32872528 swapFree=526336/559040 [pid=4624] ppid=4621 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/4624/stat : 4624 (toysat) R 4621 4624 28898 0 -1 4202496 27903 0 0 0 5 4 0 0 20 0 4 0 26409003 1247350784 28250 33554432000 4194304 16246674 140736864911872 140736864911296 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4624/statm: 304529 28258 783 2943 0 301423 0 [pid=4624/tid=4625] ppid=4621 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4625/stat : 4625 (toysat) S 4621 4624 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26409004 1247350784 28264 33554432000 4194304 16246674 140736864911872 140315116678384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4624/tid=4626] ppid=4621 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4626/stat : 4626 (toysat) S 4621 4624 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26409004 1247350784 28275 33554432000 4194304 16246674 140736864911872 140315038035184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4624/tid=4627] ppid=4621 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4627/stat : 4627 (toysat) S 4621 4624 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26409004 1247350784 28290 33554432000 4194304 16246674 140736864911872 140315027561648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200519 s] /proc/loadavg: 2.02 2.07 2.00 3/179 4624 /proc/meminfo: memFree=30157480/32872528 swapFree=526336/559040 [pid=4624] ppid=4621 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/4624/stat : 4624 (toysat) R 4621 4624 28898 0 -1 4202496 47131 0 0 0 13 6 0 0 20 0 4 0 26409003 1247350784 47477 33554432000 4194304 16246674 140736864911872 140736864911296 5661217 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4624/statm: 304529 47480 783 2943 0 301423 0 [pid=4624/tid=4625] ppid=4621 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4625/stat : 4625 (toysat) S 4621 4624 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26409004 1247350784 47482 33554432000 4194304 16246674 140736864911872 140315116678384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4624/tid=4626] ppid=4621 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4626/stat : 4626 (toysat) S 4621 4624 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26409004 1247350784 47484 33554432000 4194304 16246674 140736864911872 140315038035184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4624/tid=4627] ppid=4621 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4627/stat : 4627 (toysat) S 4621 4624 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26409004 1247350784 47485 33554432000 4194304 16246674 140736864911872 140315027561648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300476 s] /proc/loadavg: 2.02 2.07 2.00 3/179 4624 /proc/meminfo: memFree=30157480/32872528 swapFree=526336/559040 [pid=4624] ppid=4621 vsize=1218116 CPUtime=0.28 cores=0,2,4,6 /proc/4624/stat : 4624 (toysat) R 4621 4624 28898 0 -1 4202496 62473 0 0 0 20 8 0 0 20 0 4 0 26409003 1247350784 62819 33554432000 4194304 16246674 140736864911872 140736864911296 5831697 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4624/statm: 304529 62830 783 2943 0 301423 0 [pid=4624/tid=4625] ppid=4621 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4625/stat : 4625 (toysat) S 4621 4624 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26409004 1247350784 62836 33554432000 4194304 16246674 140736864911872 140315116678384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4624/tid=4626] ppid=4621 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4626/stat : 4626 (toysat) S 4621 4624 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26409004 1247350784 62842 33554432000 4194304 16246674 140736864911872 140315038035184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4624/tid=4627] ppid=4621 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4627/stat : 4627 (toysat) S 4621 4624 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26409004 1247350784 62845 33554432000 4194304 16246674 140736864911872 140315027561648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1218116 [startup+0.700403 s] /proc/loadavg: 2.02 2.07 2.00 3/179 4624 /proc/meminfo: memFree=30157480/32872528 swapFree=526336/559040 [pid=4624] ppid=4621 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/4624/stat : 4624 (toysat) R 4621 4624 28898 0 -1 4202496 122734 0 0 0 53 16 0 0 20 0 4 0 26409003 1247350784 123080 33554432000 4194304 16246674 140736864911872 140736864894872 6021007 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4624/statm: 304529 123083 784 2943 0 301423 0 [pid=4624/tid=4625] ppid=4621 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4625/stat : 4625 (toysat) S 4621 4624 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26409004 1247350784 123085 33554432000 4194304 16246674 140736864911872 140315116678384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4624/tid=4626] ppid=4621 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4626/stat : 4626 (toysat) S 4621 4624 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26409004 1247350784 123087 33554432000 4194304 16246674 140736864911872 140315038035184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4624/tid=4627] ppid=4621 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4627/stat : 4627 (toysat) S 4621 4624 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26409004 1247350784 123089 33554432000 4194304 16246674 140736864911872 140315027561648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50044 s] /proc/loadavg: 2.02 2.07 2.00 3/183 4628 /proc/meminfo: memFree=29428852/32872528 swapFree=526336/559040 [pid=4624] ppid=4621 vsize=1218116 CPUtime=1.49 cores=0,2,4,6 /proc/4624/stat : 4624 (toysat) R 4621 4624 28898 0 -1 4202496 241914 0 0 0 114 35 0 0 20 0 4 0 26409003 1247350784 242261 33554432000 4194304 16246674 140736864911872 140736864894872 5724508 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4624/statm: 304529 242272 784 2943 0 301423 0 [pid=4624/tid=4625] ppid=4621 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4625/stat : 4625 (toysat) S 4621 4624 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26409004 1247350784 242278 33554432000 4194304 16246674 140736864911872 140315116678384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4624/tid=4626] ppid=4621 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4626/stat : 4626 (toysat) S 4621 4624 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26409004 1247350784 242283 33554432000 4194304 16246674 140736864911872 140315038035184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4624/tid=4627] ppid=4621 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4627/stat : 4627 (toysat) S 4621 4624 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26409004 1247350784 242287 33554432000 4194304 16246674 140736864911872 140315027561648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1218116 [startup+3.10044 s] /proc/loadavg: 2.02 2.07 2.00 3/183 4628 /proc/meminfo: memFree=29173404/32872528 swapFree=526336/559040 [pid=4624] ppid=4621 vsize=1304132 CPUtime=3.09 cores=0,2,4,6 /proc/4624/stat : 4624 (toysat) R 4621 4624 28898 0 -1 4202496 266894 0 0 0 271 38 0 0 20 0 4 0 26409003 1335431168 267219 33554432000 4194304 16246674 140736864911872 140736864893760 5677492 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4624/statm: 326033 267219 842 2943 0 322927 0 [pid=4624/tid=4625] ppid=4621 vsize=1304132 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4625/stat : 4625 (toysat) S 4621 4624 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26409004 1335431168 267219 33554432000 4194304 16246674 140736864911872 140315116678384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4624/tid=4626] ppid=4621 vsize=1304132 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4626/stat : 4626 (toysat) S 4621 4624 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26409004 1335431168 267219 33554432000 4194304 16246674 140736864911872 140315038035184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4624/tid=4627] ppid=4621 vsize=1304132 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4627/stat : 4627 (toysat) S 4621 4624 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26409004 1335431168 267219 33554432000 4194304 16246674 140736864911872 140315027561648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1304132 [startup+6.30045 s] /proc/loadavg: 2.02 2.07 2.00 3/183 4628 /proc/meminfo: memFree=29085624/32872528 swapFree=526336/559040 [pid=4624] ppid=4621 vsize=1306180 CPUtime=6.29 cores=0,2,4,6 /proc/4624/stat : 4624 (toysat) R 4621 4624 28898 0 -1 4202496 267600 0 0 0 591 38 0 0 20 0 4 0 26409003 1337528320 267925 33554432000 4194304 16246674 140736864911872 140736864894872 13943668 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4624/statm: 326545 267925 843 2943 0 323439 0 [pid=4624/tid=4625] ppid=4621 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4625/stat : 4625 (toysat) S 4621 4624 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26409004 1337528320 267925 33554432000 4194304 16246674 140736864911872 140315116678384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4624/tid=4626] ppid=4621 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4626/stat : 4626 (toysat) S 4621 4624 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26409004 1337528320 267925 33554432000 4194304 16246674 140736864911872 140315038035184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4624/tid=4627] ppid=4621 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4627/stat : 4627 (toysat) S 4621 4624 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26409004 1337528320 267925 33554432000 4194304 16246674 140736864911872 140315027561648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.02 2.07 2.00 3/183 4628 /proc/meminfo: memFree=29085056/32872528 swapFree=526336/559040 [pid=4624] ppid=4621 vsize=1307204 CPUtime=12.68 cores=0,2,4,6 /proc/4624/stat : 4624 (toysat) R 4621 4624 28898 0 -1 4202496 267767 0 0 0 1230 38 0 0 20 0 4 0 26409003 1338576896 268092 33554432000 4194304 16246674 140736864911872 140736864893760 5523352 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4624/statm: 326801 268092 846 2943 0 323695 0 [pid=4624/tid=4625] ppid=4621 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4625/stat : 4625 (toysat) S 4621 4624 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26409004 1338576896 268092 33554432000 4194304 16246674 140736864911872 140315116678384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4624/tid=4626] ppid=4621 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4626/stat : 4626 (toysat) S 4621 4624 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26409004 1338576896 268092 33554432000 4194304 16246674 140736864911872 140315038035184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4624/tid=4627] ppid=4621 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4627/stat : 4627 (toysat) S 4621 4624 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26409004 1338576896 268092 33554432000 4194304 16246674 140736864911872 140315027561648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1307204 [startup+25.5005 s] /proc/loadavg: 2.01 2.07 2.00 3/183 4628 /proc/meminfo: memFree=29085044/32872528 swapFree=526336/559040 [pid=4624] ppid=4621 vsize=1307204 CPUtime=25.49 cores=0,2,4,6 /proc/4624/stat : 4624 (toysat) R 4621 4624 28898 0 -1 4202496 267892 0 0 0 2510 39 0 0 20 0 4 0 26409003 1338576896 268217 33554432000 4194304 16246674 140736864911872 140736864893760 13780648 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4624/statm: 326801 268217 846 2943 0 323695 0 [pid=4624/tid=4625] ppid=4621 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4625/stat : 4625 (toysat) S 4621 4624 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26409004 1338576896 268217 33554432000 4194304 16246674 140736864911872 140315116678384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4624/tid=4626] ppid=4621 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4626/stat : 4626 (toysat) S 4621 4624 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26409004 1338576896 268217 33554432000 4194304 16246674 140736864911872 140315038035184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4624/tid=4627] ppid=4621 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4627/stat : 4627 (toysat) S 4621 4624 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26409004 1338576896 268217 33554432000 4194304 16246674 140736864911872 140315027561648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1307204 [startup+51.1004 s] /proc/loadavg: 2.01 2.06 2.00 3/183 4628 /proc/meminfo: memFree=29082644/32872528 swapFree=526336/559040 [pid=4624] ppid=4621 vsize=1310276 CPUtime=51.08 cores=0,2,4,6 /proc/4624/stat : 4624 (toysat) R 4621 4624 28898 0 -1 4202496 268457 0 0 0 5069 39 0 0 20 0 4 0 26409003 1341722624 268782 33554432000 4194304 16246674 140736864911872 140736864893760 12874974 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4624/statm: 327569 268782 846 2943 0 324463 0 [pid=4624/tid=4625] ppid=4621 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4625/stat : 4625 (toysat) S 4621 4624 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26409004 1341722624 268782 33554432000 4194304 16246674 140736864911872 140315116678384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4624/tid=4626] ppid=4621 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4626/stat : 4626 (toysat) S 4621 4624 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26409004 1341722624 268782 33554432000 4194304 16246674 140736864911872 140315038035184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4624/tid=4627] ppid=4621 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4627/stat : 4627 (toysat) S 4621 4624 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26409004 1341722624 268782 33554432000 4194304 16246674 140736864911872 140315027561648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1310276 [startup+102.3 s] /proc/loadavg: 2.00 2.05 2.00 4/183 4629 /proc/meminfo: memFree=29081912/32872528 swapFree=526336/559040 [pid=4624] ppid=4621 vsize=1310276 CPUtime=102.28 cores=0,2,4,6 /proc/4624/stat : 4624 (toysat) R 4621 4624 28898 0 -1 4202496 268661 0 0 0 10189 39 0 0 20 0 4 0 26409003 1341722624 268986 33554432000 4194304 16246674 140736864911872 140736864893760 13780660 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4624/statm: 327569 268986 846 2943 0 324463 0 [pid=4624/tid=4625] ppid=4621 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4625/stat : 4625 (toysat) S 4621 4624 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26409004 1341722624 268986 33554432000 4194304 16246674 140736864911872 140315116678384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4624/tid=4626] ppid=4621 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4626/stat : 4626 (toysat) S 4621 4624 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26409004 1341722624 268986 33554432000 4194304 16246674 140736864911872 140315038035184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4624/tid=4627] ppid=4621 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4627/stat : 4627 (toysat) S 4621 4624 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26409004 1341722624 268986 33554432000 4194304 16246674 140736864911872 140315027561648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1310276 ################ # More data... # ################ /proc/4624/task/4627/stat : 4627 (toysat) S 4621 4624 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26409004 1350111232 271292 33554432000 4194304 16246674 140736864911872 140315027561648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1318468 [startup+1362.3 s] /proc/loadavg: 2.11 2.10 2.03 3/183 4731 /proc/meminfo: memFree=29090364/32872528 swapFree=526336/559040 [pid=4624] ppid=4621 vsize=1318468 CPUtime=1361.87 cores=0,2,4,6 /proc/4624/stat : 4624 (toysat) R 4621 4624 28898 0 -1 4202496 271086 0 0 0 136136 51 0 0 20 0 4 0 26409003 1350111232 271292 33554432000 4194304 16246674 140736864911872 140736864893760 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4624/statm: 329617 271292 848 2943 0 326511 0 [pid=4624/tid=4625] ppid=4621 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4625/stat : 4625 (toysat) S 4621 4624 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26409004 1350111232 271292 33554432000 4194304 16246674 140736864911872 140315116678384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4624/tid=4626] ppid=4621 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4626/stat : 4626 (toysat) S 4621 4624 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26409004 1350111232 271292 33554432000 4194304 16246674 140736864911872 140315038035184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4624/tid=4627] ppid=4621 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4627/stat : 4627 (toysat) S 4621 4624 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26409004 1350111232 271292 33554432000 4194304 16246674 140736864911872 140315027561648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1318468 [startup+1422.3 s] /proc/loadavg: 2.08 2.10 2.03 3/183 4733 /proc/meminfo: memFree=29090648/32872528 swapFree=526336/559040 [pid=4624] ppid=4621 vsize=1318468 CPUtime=1421.87 cores=0,2,4,6 /proc/4624/stat : 4624 (toysat) R 4621 4624 28898 0 -1 4202496 271086 0 0 0 142135 52 0 0 20 0 4 0 26409003 1350111232 271292 33554432000 4194304 16246674 140736864911872 140736864893760 5711576 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4624/statm: 329617 271292 848 2943 0 326511 0 [pid=4624/tid=4625] ppid=4621 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4625/stat : 4625 (toysat) S 4621 4624 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26409004 1350111232 271292 33554432000 4194304 16246674 140736864911872 140315116678384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4624/tid=4626] ppid=4621 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4626/stat : 4626 (toysat) S 4621 4624 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26409004 1350111232 271292 33554432000 4194304 16246674 140736864911872 140315038035184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4624/tid=4627] ppid=4621 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4627/stat : 4627 (toysat) S 4621 4624 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26409004 1350111232 271292 33554432000 4194304 16246674 140736864911872 140315027561648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1318468 [startup+1482.3 s] /proc/loadavg: 2.03 2.08 2.02 3/183 4734 /proc/meminfo: memFree=29069616/32872528 swapFree=526336/559040 [pid=4624] ppid=4621 vsize=1318468 CPUtime=1481.85 cores=0,2,4,6 /proc/4624/stat : 4624 (toysat) R 4621 4624 28898 0 -1 4202496 271086 0 0 0 148133 52 0 0 20 0 4 0 26409003 1350111232 271292 33554432000 4194304 16246674 140736864911872 140736864893760 5721456 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4624/statm: 329617 271292 848 2943 0 326511 0 [pid=4624/tid=4625] ppid=4621 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4625/stat : 4625 (toysat) S 4621 4624 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26409004 1350111232 271292 33554432000 4194304 16246674 140736864911872 140315116678384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4624/tid=4626] ppid=4621 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4626/stat : 4626 (toysat) S 4621 4624 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26409004 1350111232 271292 33554432000 4194304 16246674 140736864911872 140315038035184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4624/tid=4627] ppid=4621 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4627/stat : 4627 (toysat) S 4621 4624 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26409004 1350111232 271292 33554432000 4194304 16246674 140736864911872 140315027561648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1318468 [startup+1542.31 s] /proc/loadavg: 2.22 2.11 2.03 3/183 4735 /proc/meminfo: memFree=29069636/32872528 swapFree=526336/559040 [pid=4624] ppid=4621 vsize=1318468 CPUtime=1541.85 cores=0,2,4,6 /proc/4624/stat : 4624 (toysat) R 4621 4624 28898 0 -1 4202496 271086 0 0 0 154132 53 0 0 20 0 4 0 26409003 1350111232 271292 33554432000 4194304 16246674 140736864911872 140736864893760 13943604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4624/statm: 329617 271292 848 2943 0 326511 0 [pid=4624/tid=4625] ppid=4621 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4625/stat : 4625 (toysat) S 4621 4624 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26409004 1350111232 271292 33554432000 4194304 16246674 140736864911872 140315116678384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4624/tid=4626] ppid=4621 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4626/stat : 4626 (toysat) S 4621 4624 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26409004 1350111232 271292 33554432000 4194304 16246674 140736864911872 140315038035184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4624/tid=4627] ppid=4621 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4627/stat : 4627 (toysat) S 4621 4624 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26409004 1350111232 271292 33554432000 4194304 16246674 140736864911872 140315027561648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1318468 [startup+1602.3 s] /proc/loadavg: 2.08 2.08 2.02 3/183 4736 /proc/meminfo: memFree=29069176/32872528 swapFree=526336/559040 [pid=4624] ppid=4621 vsize=1318468 CPUtime=1601.83 cores=0,2,4,6 /proc/4624/stat : 4624 (toysat) R 4621 4624 28898 0 -1 4202496 271086 0 0 0 160129 54 0 0 20 0 4 0 26409003 1350111232 271292 33554432000 4194304 16246674 140736864911872 140736864893760 13191512 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4624/statm: 329617 271292 848 2943 0 326511 0 [pid=4624/tid=4625] ppid=4621 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4625/stat : 4625 (toysat) S 4621 4624 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26409004 1350111232 271292 33554432000 4194304 16246674 140736864911872 140315116678384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4624/tid=4626] ppid=4621 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4626/stat : 4626 (toysat) S 4621 4624 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26409004 1350111232 271292 33554432000 4194304 16246674 140736864911872 140315038035184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4624/tid=4627] ppid=4621 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4627/stat : 4627 (toysat) S 4621 4624 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26409004 1350111232 271292 33554432000 4194304 16246674 140736864911872 140315027561648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1318468 [startup+1662.3 s] /proc/loadavg: 2.10 2.08 2.02 3/184 4740 /proc/meminfo: memFree=29059416/32872528 swapFree=526336/559040 [pid=4624] ppid=4621 vsize=1318468 CPUtime=1661.82 cores=0,2,4,6 /proc/4624/stat : 4624 (toysat) R 4621 4624 28898 0 -1 4202496 271086 0 0 0 166128 54 0 0 20 0 4 0 26409003 1350111232 271292 33554432000 4194304 16246674 140736864911872 140736864893760 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4624/statm: 329617 271292 848 2943 0 326511 0 [pid=4624/tid=4625] ppid=4621 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4625/stat : 4625 (toysat) S 4621 4624 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26409004 1350111232 271292 33554432000 4194304 16246674 140736864911872 140315116678384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4624/tid=4626] ppid=4621 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4626/stat : 4626 (toysat) S 4621 4624 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26409004 1350111232 271292 33554432000 4194304 16246674 140736864911872 140315038035184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4624/tid=4627] ppid=4621 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4627/stat : 4627 (toysat) S 4621 4624 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26409004 1350111232 271292 33554432000 4194304 16246674 140736864911872 140315027561648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1318468 [startup+1722.3 s] /proc/loadavg: 2.14 2.10 2.03 3/183 4742 /proc/meminfo: memFree=29059348/32872528 swapFree=526336/559040 [pid=4624] ppid=4621 vsize=1318468 CPUtime=1721.82 cores=0,2,4,6 /proc/4624/stat : 4624 (toysat) R 4621 4624 28898 0 -1 4202496 271086 0 0 0 172127 55 0 0 20 0 4 0 26409003 1350111232 271292 33554432000 4194304 16246674 140736864911872 140736864893760 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4624/statm: 329617 271292 848 2943 0 326511 0 [pid=4624/tid=4625] ppid=4621 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4625/stat : 4625 (toysat) S 4621 4624 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26409004 1350111232 271292 33554432000 4194304 16246674 140736864911872 140315116678384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4624/tid=4626] ppid=4621 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4626/stat : 4626 (toysat) S 4621 4624 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26409004 1350111232 271292 33554432000 4194304 16246674 140736864911872 140315038035184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4624/tid=4627] ppid=4621 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4627/stat : 4627 (toysat) S 4621 4624 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26409004 1350111232 271292 33554432000 4194304 16246674 140736864911872 140315027561648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1318468 [startup+1782.3 s] /proc/loadavg: 2.12 2.09 2.03 4/183 4743 /proc/meminfo: memFree=29057236/32872528 swapFree=526336/559040 [pid=4624] ppid=4621 vsize=1319492 CPUtime=1781.81 cores=0,2,4,6 /proc/4624/stat : 4624 (toysat) R 4621 4624 28898 0 -1 4202496 271342 0 0 0 178125 56 0 0 20 0 4 0 26409003 1351159808 271548 33554432000 4194304 16246674 140736864911872 140736864893760 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4624/statm: 329873 271548 848 2943 0 326767 0 [pid=4624/tid=4625] ppid=4621 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4625/stat : 4625 (toysat) S 4621 4624 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26409004 1351159808 271548 33554432000 4194304 16246674 140736864911872 140315116678384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4624/tid=4626] ppid=4621 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4626/stat : 4626 (toysat) S 4621 4624 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26409004 1351159808 271548 33554432000 4194304 16246674 140736864911872 140315038035184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4624/tid=4627] ppid=4621 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4627/stat : 4627 (toysat) S 4621 4624 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26409004 1351159808 271548 33554432000 4194304 16246674 140736864911872 140315027561648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1319492 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.09 2.08 2.03 3/183 4744 /proc/meminfo: memFree=29057212/32872528 swapFree=526336/559040 [pid=4624] ppid=4621 vsize=1319492 CPUtime=1800.01 cores=0,2,4,6 /proc/4624/stat : 4624 (toysat) R 4621 4624 28898 0 -1 4202496 271342 0 0 0 179945 56 0 0 20 0 4 0 26409003 1351159808 271548 33554432000 4194304 16246674 140736864911872 140736864893760 5545788 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4624/statm: 329873 271548 848 2943 0 326767 0 [pid=4624/tid=4625] ppid=4621 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4625/stat : 4625 (toysat) S 4621 4624 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26409004 1351159808 271548 33554432000 4194304 16246674 140736864911872 140315116678384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4624/tid=4626] ppid=4621 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4626/stat : 4626 (toysat) S 4621 4624 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26409004 1351159808 271548 33554432000 4194304 16246674 140736864911872 140315038035184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4624/tid=4627] ppid=4621 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4627/stat : 4627 (toysat) S 4621 4624 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26409004 1351159808 271548 33554432000 4194304 16246674 140736864911872 140315027561648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1319492 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 4624 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.09 2.08 2.03 3/183 4744 /proc/meminfo: memFree=29057212/32872528 swapFree=526336/559040 [pid=4624] ppid=4621 vsize=1319492 CPUtime=1800.01 cores=0,2,4,6 /proc/4624/stat : 4624 (toysat) R 4621 4624 28898 0 -1 4202496 271342 0 0 0 179945 56 0 0 20 0 4 0 26409003 1351159808 271548 33554432000 4194304 16246674 140736864911872 140736864893760 5545788 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4624/statm: 329873 271548 848 2943 0 326767 0 [pid=4624/tid=4625] ppid=4621 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4625/stat : 4625 (toysat) S 4621 4624 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26409004 1351159808 271548 33554432000 4194304 16246674 140736864911872 140315116678384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4624/tid=4626] ppid=4621 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4626/stat : 4626 (toysat) S 4621 4624 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26409004 1351159808 271548 33554432000 4194304 16246674 140736864911872 140315038035184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4624/tid=4627] ppid=4621 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/4624/task/4627/stat : 4627 (toysat) S 4621 4624 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26409004 1351159808 271548 33554432000 4194304 16246674 140736864911872 140315027561648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1319492 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.46 CPU system time (s): 0.560914 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 1319492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.46 system time used= 0.560914 maximum resident set size= 1086192 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 271342 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= 389 involuntary context switches= 1987 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.91295 second user time and 7.76482 second system time The end
Begin job on node106 at 2016-06-18 11:53:09 IDJOB=4105369 IDBENCH=2844 IDSOLVER=2542 FILE ID=node106/4105369-1466243589 RUNJOBID= node106-1466241787-28914 PBS_JOBID= 19918214 Free space on /tmp= 71684 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_300_10_20.r.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105369-1466243589/watcher-4105369-1466243589 -o /tmp/evaluation-result-4105369-1466243589/solver-4105369-1466243589 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105369-1466243589.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e82b2413101b8c36ea34c3d9f95f4ad5 RANDOM SEED=292434361 node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.14 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30157744 kB Buffers: 84940 kB Cached: 209444 kB SwapCached: 1868 kB Active: 1202048 kB Inactive: 205576 kB Active(anon): 1112416 kB Inactive(anon): 3048 kB Active(file): 89632 kB Inactive(file): 202528 kB Unevictable: 559040 kB Mlocked: 526336 kB SwapTotal: 67108856 kB SwapFree: 67099160 kB Dirty: 16364 kB Writeback: 4 kB AnonPages: 1673312 kB Mapped: 10560 kB Shmem: 0 kB Slab: 611880 kB SReclaimable: 55456 kB SUnreclaim: 556424 kB KernelStack: 1512 kB PageTables: 7304 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1815336 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 143360 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= 71664 MiB End job on node106 at 2016-06-18 12:23:09