Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.41 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_007_area_delay.opb |
| MD5SUM | 22488dc65cdc0686edc96d304bd4d620 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 26 |
| Best CPU time to get the best result obtained on this benchmark | 0.458929 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 31 |
| Optimality of the best value was proved | NO |
| Number of variables | 11334 |
| Total number of constraints | 36509 |
| Number of constraints which are clauses | 36509 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 5525 |
| 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 | 5525 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 5525 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T23:53:25+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-4079834-1465250005.opb"] 0.00/0.01 c use --random-gen="1315153067 214703728 2892295654 2841160321 541912130 1908035650 1704606476 1096860962 2762678622 4217995364 1162025184 1844691022 2226579428 2502171466 2084498343 1577946599 2017967950 930014425 385884922 3859566053 2540282288 847862487 2557695599 1973587630 2882271850 1567008416 986461750 3248003165 2538819106 2237471727 3927968310 3776835863 2347526057 2320588661 3829674320 2528380083 2514340113 1435898178 1735895080 2355698455 408106097 1857653057 3254975558 2661309495 1981680907 104108296 3067578564 806760169 3642929985 3227134377 1317051731 3810910338 2888340488 1968318932 3655979783 1756472556 166728834 127693526 3671859918 3041777088 686485019 1911266459 82294901 3100914592 1281777278 2477118845 1131265895 3020151057 111607528 3549311808 463267492 3392182196 3783866637 495518863 3534189754 1443650769 1768645470 2159595532 1726835425 2349336197 418932376 1805583034 2857993928 2359388361 909258316 4009696923 2853268623 3279008089 1739349508 2753310401 2915184292 1949602998 3712155112 46635483 2756558058 1801637839 2049047998 3740872966 2319528053 4016598811 1457261396 868513378 2797970098 283471388 117224477 743594446 2273251862 2238952137 1308569 501316207 4136673478 3640506887 460426400 1940270569 2450744387 2024660150 11785044 1534250269 3469757373 1411721586 3146804818 848329631 2900922644 2490942806 3380933469 3924979566 4171931880 1656943623 1276375161 3106400621 3943701937 606705555 665211009 2769275901 2190454580 525918738 2395778964 2840851724 2833923324 737402125 738108445 2927960096 260918678 2560013115 2832075302 222153969 2561241450 4150536439 3102050256 3705961688 321355640 3304800685 1589852159 362895983 410217228 903456551 4276339613 2391514488 1970150741 3765100069 274297096 3003522032 2344279838 701274342 3940840877 3754861124 1525101884 1380676419 2630147799 2703300352 1656015452 3604834645 2672169786 2538202621 3970311537 2500475727 4185229435 4187495114 2077521372 3126864815 2018341279 1869993060 1432011897 3923588684 915300261 3162873174 1361492693 867799955 986142116 3153754920 640724450 364825356 2168595743 3318740398 3508332851 925943552 3878527394 3734484221 2733889826 2707264767 2592001652 2997080342 647740846 1158963104 243109907 1512160373 2687633960 1152457119 1590432497 2497127465 1727334098 585510751 3512368684 4176057544 421335843 2267493218 3116193702 3262417353 256296711 2879114903 2064271236 1208054256 852525419 746281832 1071114244 4071899968 2883627872 2653053735 2588802965 2336205698 1362672205 2068586376 3594245432 1072853584 2211772820 562865724 3446609882 1273958228 832041313 3766830428 1416374730 3681230031 4205191610 2399469608 2377952509 2027731684 1142863590 260364066 593580527 3831708457 124618042 1731525483 230507585 66968313 2756835780 2157065755 255 362436" option to reproduce the execution 0.19/0.23 c #vars 11334 0.19/0.23 c #constraints 36509 0.59/0.69 c BCD2: Hardening is enabled. 0.59/0.69 c BCD2: BiasedSearch is enabled. 0.59/0.69 c Solving starts ... 0.59/0.69 c ============================[ Search Statistics ]============================ 0.59/0.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.69 c | | | | Limit GC | Var | Constra 0.59/0.69 c ============================================================================= 0.59/0.69 c 0.0s | 0 | 0 | 0 | 15592 0 | 2130 | 0 0.69/0.79 c 0.1s | 0 | 2443 | 0 | 15592 0 | 2130 | 4971 0.69/0.79 c #cpu_time = 0.094s 0.69/0.79 c #wall_clock_time = 0.094s 0.69/0.79 c #decision = 2443 0.69/0.79 c #random_decision = 6 0.69/0.79 c #conflict = 0 0.69/0.79 c #restart = 0 0.69/0.79 o 2444 0.78/0.85 c BCD2: updating upper bound: 5525 -> 2443 0.78/0.89 c BCD2: 0 <= obj <= 2443 0.78/0.89 c BCD2: #cores=0, #unrelaxed=5525, #relaxed=0, #hardened=0 0.78/0.89 c BCD2: #sat=1 #unsat=1 bias=1/2 0.89/0.93 c Solving starts ... 0.89/0.93 c ============================[ Search Statistics ]============================ 0.89/0.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.93 c | | | | Limit GC | Var | Constra 0.89/0.93 c ============================================================================= 0.89/0.93 c 0.0s | 0 | 0 | 0 | 15592 0 | 2130 | 4971 0.89/0.96 c 0.0s | 0 | 60 | 0 | 15592 0 | 2130 | 4971 0.89/0.96 c #cpu_time = 0.020s 0.89/0.96 c #wall_clock_time = 0.020s 0.89/0.96 c #decision = 60 0.89/0.96 c #random_decision = 0 0.89/0.96 c #conflict = 0 0.89/0.96 c #restart = 0 0.89/0.96 c BCD2: found a new core of size 3: cost of the new core is >=1 0.89/0.96 c lower bound updated to 1 0.89/0.96 c BCD2: 1 <= obj <= 2443 0.89/0.96 c BCD2: #cores=1, #unrelaxed=5522, #relaxed=3, #hardened=0 0.89/0.96 c BCD2: #sat=1 #unsat=2 bias=2/3 0.89/0.97 c Solving starts ... 0.89/0.97 c ============================[ Search Statistics ]============================ 0.89/0.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.97 c | | | | Limit GC | Var | Constra 0.89/0.97 c ============================================================================= 0.89/0.97 c 0.0s | 0 | 0 | 0 | 15592 0 | 2130 | 4971 0.89/0.98 c 0.0s | 0 | 72 | 0 | 15592 0 | 2130 | 4971 0.89/0.98 c #cpu_time = 0.015s 0.89/0.98 c #wall_clock_time = 0.015s 0.89/0.98 c #decision = 72 0.89/0.98 c #random_decision = 0 0.89/0.98 c #conflict = 0 0.89/0.98 c #restart = 0 0.89/0.98 c BCD2: found a new core of size 8: cost of the new core is >=1 0.89/0.98 c lower bound updated to 2 0.89/0.99 c BCD2: 2 <= obj <= 2443 0.89/0.99 c BCD2: #cores=2, #unrelaxed=5514, #relaxed=11, #hardened=0 0.89/0.99 c BCD2: #sat=1 #unsat=3 bias=3/4 0.89/0.99 c Solving starts ... 0.89/0.99 c ============================[ Search Statistics ]============================ 0.89/0.99 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.99 c | | | | Limit GC | Var | Constra 0.89/0.99 c ============================================================================= 0.89/0.99 c 0.0s | 0 | 0 | 0 | 15592 0 | 2130 | 4971 0.99/1.00 c 0.0s | 0 | 74 | 0 | 15592 0 | 2130 | 4971 0.99/1.00 c #cpu_time = 0.014s 0.99/1.00 c #wall_clock_time = 0.014s 0.99/1.00 c #decision = 74 0.99/1.00 c #random_decision = 0 0.99/1.00 c #conflict = 0 0.99/1.00 c #restart = 0 0.99/1.00 c BCD2: found a new core of size 7: cost of the new core is >=1 0.99/1.00 c lower bound updated to 3 0.99/1.00 c BCD2: 3 <= obj <= 2443 0.99/1.00 c BCD2: #cores=3, #unrelaxed=5507, #relaxed=18, #hardened=0 0.99/1.00 c BCD2: #sat=1 #unsat=4 bias=4/5 0.99/1.00 c Solving starts ... 0.99/1.00 c ============================[ Search Statistics ]============================ 0.99/1.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.00 c | | | | Limit GC | Var | Constra 0.99/1.00 c ============================================================================= 0.99/1.00 c 0.0s | 0 | 0 | 0 | 15592 0 | 2130 | 4971 0.99/1.02 c 0.0s | 0 | 93 | 0 | 15592 0 | 2130 | 4971 0.99/1.02 c #cpu_time = 0.021s 0.99/1.02 c #wall_clock_time = 0.021s 0.99/1.02 c #decision = 93 0.99/1.02 c #random_decision = 0 0.99/1.02 c #conflict = 0 0.99/1.02 c #restart = 0 0.99/1.02 c BCD2: found a new core of size 3: cost of the new core is >=1 0.99/1.02 c lower bound updated to 4 0.99/1.03 c BCD2: 4 <= obj <= 2443 0.99/1.03 c BCD2: #cores=4, #unrelaxed=5504, #relaxed=21, #hardened=0 0.99/1.03 c BCD2: #sat=1 #unsat=5 bias=5/6 0.99/1.03 c Solving starts ... 0.99/1.03 c ============================[ Search Statistics ]============================ 0.99/1.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.03 c | | | | Limit GC | Var | Constra 0.99/1.03 c ============================================================================= 0.99/1.03 c 0.0s | 0 | 0 | 0 | 15592 0 | 2130 | 4971 0.99/1.04 c 0.0s | 0 | 280 | 0 | 15592 0 | 2130 | 4971 0.99/1.04 c #cpu_time = 0.016s 0.99/1.04 c #wall_clock_time = 0.016s 0.99/1.04 c #decision = 280 0.99/1.04 c #random_decision = 0 0.99/1.04 c #conflict = 0 0.99/1.04 c #restart = 0 0.99/1.04 c BCD2: found a new core of size 3: cost of the new core is >=1 0.99/1.04 c lower bound updated to 5 0.99/1.05 c BCD2: 5 <= obj <= 2443 0.99/1.05 c BCD2: #cores=5, #unrelaxed=5501, #relaxed=24, #hardened=0 0.99/1.05 c BCD2: #sat=1 #unsat=6 bias=6/7 0.99/1.05 c Solving starts ... 0.99/1.05 c ============================[ Search Statistics ]============================ 0.99/1.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.05 c | | | | Limit GC | Var | Constra 0.99/1.05 c ============================================================================= 0.99/1.05 c 0.0s | 0 | 0 | 0 | 15592 0 | 2130 | 4971 0.99/1.06 c 0.0s | 0 | 365 | 0 | 15592 0 | 2130 | 4971 0.99/1.06 c #cpu_time = 0.016s 0.99/1.06 c #wall_clock_time = 0.016s 0.99/1.06 c #decision = 365 0.99/1.06 c #random_decision = 0 0.99/1.06 c #conflict = 0 0.99/1.06 c #restart = 0 0.99/1.06 c BCD2: found a new core of size 44: cost of the new core is >=1 0.99/1.06 c lower bound updated to 6 0.99/1.07 c BCD2: 6 <= obj <= 2443 0.99/1.07 c BCD2: #cores=6, #unrelaxed=5457, #relaxed=68, #hardened=0 0.99/1.07 c BCD2: #sat=1 #unsat=7 bias=7/8 0.99/1.07 c Solving starts ... 0.99/1.07 c ============================[ Search Statistics ]============================ 0.99/1.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.07 c | | | | Limit GC | Var | Constra 0.99/1.07 c ============================================================================= 0.99/1.07 c 0.0s | 0 | 0 | 0 | 15592 0 | 2130 | 4971 0.99/1.08 c 0.0s | 0 | 444 | 0 | 15592 0 | 2130 | 4971 0.99/1.08 c #cpu_time = 0.016s 0.99/1.08 c #wall_clock_time = 0.016s 0.99/1.08 c #decision = 444 0.99/1.08 c #random_decision = 0 0.99/1.08 c #conflict = 0 0.99/1.08 c #restart = 0 0.99/1.08 c BCD2: found a new core of size 3: cost of the new core is >=1 0.99/1.08 c lower bound updated to 7 0.99/1.09 c BCD2: 7 <= obj <= 2443 0.99/1.09 c BCD2: #cores=7, #unrelaxed=5454, #relaxed=71, #hardened=0 0.99/1.09 c BCD2: #sat=1 #unsat=8 bias=8/9 0.99/1.09 c Solving starts ... 0.99/1.09 c ============================[ Search Statistics ]============================ 0.99/1.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.09 c | | | | Limit GC | Var | Constra 0.99/1.09 c ============================================================================= 0.99/1.09 c 0.0s | 0 | 0 | 0 | 15592 0 | 2130 | 4971 1.10/1.11 c 0.0s | 0 | 696 | 0 | 15592 0 | 2130 | 4971 1.10/1.11 c #cpu_time = 0.023s 1.10/1.11 c #wall_clock_time = 0.023s 1.10/1.11 c #decision = 696 1.10/1.11 c #random_decision = 0 1.10/1.11 c #conflict = 0 1.10/1.11 c #restart = 0 1.10/1.11 c BCD2: found a new core of size 90: cost of the new core is >=1 1.10/1.11 c lower bound updated to 8 1.10/1.11 c BCD2: 8 <= obj <= 2443 1.10/1.11 c BCD2: #cores=8, #unrelaxed=5364, #relaxed=161, #hardened=0 1.10/1.11 c BCD2: #sat=1 #unsat=9 bias=9/10 1.10/1.11 c Solving starts ... 1.10/1.11 c ============================[ Search Statistics ]============================ 1.10/1.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.10/1.11 c | | | | Limit GC | Var | Constra 1.10/1.11 c ============================================================================= 1.10/1.11 c 0.0s | 0 | 0 | 0 | 15592 0 | 2130 | 4971 1.10/1.13 c 0.0s | 0 | 966 | 0 | 15592 0 | 2130 | 4971 1.10/1.13 c #cpu_time = 0.016s 1.10/1.13 c #wall_clock_time = 0.016s 1.10/1.13 c #decision = 966 1.10/1.13 c #random_decision = 0 1.10/1.13 c #conflict = 0 1.10/1.13 c #restart = 0 1.10/1.13 c BCD2: found a new core of size 53: cost of the new core is >=1 1.10/1.13 c lower bound updated to 9 1.10/1.13 c BCD2: 9 <= obj <= 2443 1.10/1.13 c BCD2: #cores=9, #unrelaxed=5311, #relaxed=214, #hardened=0 1.10/1.13 c BCD2: #sat=1 #unsat=10 bias=10/11 1.10/1.14 c Solving starts ... 1.10/1.14 c ============================[ Search Statistics ]============================ 1.10/1.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.10/1.14 c | | | | Limit GC | Var | Constra 1.10/1.14 c ============================================================================= 1.10/1.14 c 0.0s | 0 | 0 | 0 | 15592 0 | 2130 | 4971 1.10/1.15 c 0.0s | 0 | 1267 | 0 | 15592 0 | 2130 | 4971 1.10/1.15 c #cpu_time = 0.017s 1.10/1.15 c #wall_clock_time = 0.017s 1.10/1.15 c #decision = 1267 1.10/1.15 c #random_decision = 0 1.10/1.15 c #conflict = 0 1.10/1.15 c #restart = 0 1.10/1.15 c BCD2: found a new core of size 33: cost of the new core is >=1 1.10/1.15 c lower bound updated to 10 1.10/1.16 c BCD2: 10 <= obj <= 2443 1.10/1.16 c BCD2: #cores=10, #unrelaxed=5278, #relaxed=247, #hardened=0 1.10/1.16 c BCD2: #sat=1 #unsat=11 bias=11/12 1.10/1.16 c Solving starts ... 1.10/1.16 c ============================[ Search Statistics ]============================ 1.10/1.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.10/1.16 c | | | | Limit GC | Var | Constra 1.10/1.16 c ============================================================================= 1.10/1.16 c 0.0s | 0 | 0 | 0 | 15592 0 | 2130 | 4971 1.10/1.18 c 0.0s | 0 | 1371 | 0 | 15592 0 | 2130 | 4971 1.10/1.18 c #cpu_time = 0.017s 1.10/1.18 c #wall_clock_time = 0.017s 1.10/1.18 c #decision = 1371 1.10/1.18 c #random_decision = 0 1.10/1.18 c #conflict = 0 1.10/1.18 c #restart = 0 1.10/1.18 c BCD2: found a new core of size 75: cost of the new core is >=1 1.10/1.18 c lower bound updated to 11 1.10/1.18 c BCD2: 11 <= obj <= 2443 1.10/1.18 c BCD2: #cores=11, #unrelaxed=5203, #relaxed=322, #hardened=0 1.10/1.18 c BCD2: #sat=1 #unsat=12 bias=12/13 1.10/1.18 c Solving starts ... 1.10/1.18 c ============================[ Search Statistics ]============================ 1.10/1.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.10/1.18 c | | | | Limit GC | Var | Constra 1.10/1.18 c ============================================================================= 1.10/1.18 c 0.0s | 0 | 0 | 0 | 15592 0 | 2130 | 4971 1.20/1.20 c 0.0s | 0 | 1499 | 0 | 15592 0 | 2130 | 4971 1.20/1.20 c #cpu_time = 0.024s 1.20/1.20 c #wall_clock_time = 0.024s 1.20/1.20 c #decision = 1499 1.20/1.20 c #random_decision = 0 1.20/1.20 c #conflict = 0 1.20/1.20 c #restart = 0 1.20/1.20 c BCD2: found a new core of size 75: cost of the new core is >=1 1.20/1.20 c lower bound updated to 12 1.20/1.21 c BCD2: 12 <= obj <= 2443 1.20/1.21 c BCD2: #cores=12, #unrelaxed=5128, #relaxed=397, #hardened=0 1.20/1.21 c BCD2: #sat=1 #unsat=13 bias=13/14 1.20/1.21 c Solving starts ... 1.20/1.21 c ============================[ Search Statistics ]============================ 1.20/1.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.20/1.21 c | | | | Limit GC | Var | Constra 1.20/1.21 c ============================================================================= 1.20/1.21 c 0.0s | 0 | 0 | 0 | 15592 0 | 2130 | 4971 1.20/1.22 c 0.0s | 0 | 1441 | 0 | 15592 0 | 2130 | 4971 1.20/1.22 c #cpu_time = 0.016s 1.20/1.22 c #wall_clock_time = 0.016s 1.20/1.22 c #decision = 1441 1.20/1.22 c #random_decision = 0 1.20/1.22 c #conflict = 0 1.20/1.22 c #restart = 0 1.20/1.22 c BCD2: found a new core of size 9: cost of the new core is >=1 1.20/1.22 c lower bound updated to 13 1.20/1.23 c BCD2: 13 <= obj <= 2443 1.20/1.23 c BCD2: #cores=13, #unrelaxed=5119, #relaxed=406, #hardened=0 1.20/1.23 c BCD2: #sat=1 #unsat=14 bias=14/15 1.20/1.23 c Solving starts ... 1.20/1.23 c ============================[ Search Statistics ]============================ 1.20/1.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.20/1.23 c | | | | Limit GC | Var | Constra 1.20/1.23 c ============================================================================= 1.20/1.23 c 0.0s | 0 | 0 | 0 | 15592 0 | 2130 | 4971 1.20/1.25 c 0.0s | 0 | 1711 | 0 | 15592 0 | 2130 | 4971 1.20/1.25 c #cpu_time = 0.016s 1.20/1.25 c #wall_clock_time = 0.016s 1.20/1.25 c #decision = 1711 1.20/1.25 c #random_decision = 0 1.20/1.25 c #conflict = 0 1.20/1.25 c #restart = 0 1.20/1.25 c BCD2: found a new core of size 48: cost of the new core is >=1 1.20/1.25 c lower bound updated to 14 1.20/1.25 c BCD2: 14 <= obj <= 2443 1.20/1.25 c BCD2: #cores=14, #unrelaxed=5071, #relaxed=454, #hardened=0 1.20/1.25 c BCD2: #sat=1 #unsat=15 bias=15/16 1.20/1.25 c Solving starts ... 1.20/1.25 c ============================[ Search Statistics ]============================ 1.20/1.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.20/1.25 c | | | | Limit GC | Var | Constra 1.20/1.25 c ============================================================================= 1.20/1.25 c 0.0s | 0 | 0 | 0 | 15592 0 | 2130 | 4971 1.20/1.27 c 0.0s | 0 | 1804 | 0 | 15592 0 | 2130 | 4971 1.20/1.27 c #cpu_time = 0.016s 1.20/1.27 c #wall_clock_time = 0.016s 1.20/1.27 c #decision = 1804 1.20/1.27 c #random_decision = 0 1.20/1.27 c #conflict = 0 1.20/1.27 c #restart = 0 1.20/1.27 c BCD2: found a new core of size 59: cost of the new core is >=1 1.20/1.27 c lower bound updated to 15 1.20/1.27 c BCD2: 15 <= obj <= 2443 1.20/1.27 c BCD2: #cores=15, #unrelaxed=5012, #relaxed=513, #hardened=0 1.20/1.27 c BCD2: #sat=1 #unsat=16 bias=16/17 1.20/1.27 c Solving starts ... 1.20/1.27 c ============================[ Search Statistics ]============================ 1.20/1.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.20/1.27 c | | | | Limit GC | Var | Constra 1.20/1.27 c ============================================================================= 1.20/1.27 c 0.0s | 0 | 0 | 0 | 15592 0 | 2130 | 4971 1.20/1.30 c 0.0s | 0 | 1931 | 0 | 15592 0 | 2130 | 4971 1.20/1.30 c #cpu_time = 0.025s 1.20/1.30 c #wall_clock_time = 0.025s 1.20/1.30 c #decision = 1931 1.20/1.30 c #random_decision = 0 1.29/1.30 c #conflict = 0 1.29/1.30 c #restart = 0 1.29/1.30 c BCD2: found a new core of size 47: cost of the new core is >=1 1.29/1.30 c lower bound updated to 16 1.29/1.30 c BCD2: 16 <= obj <= 2443 1.29/1.30 c BCD2: #cores=16, #unrelaxed=4965, #relaxed=560, #hardened=0 1.29/1.30 c BCD2: #sat=1 #unsat=17 bias=17/18 1.29/1.30 c Solving starts ... 1.29/1.30 c ============================[ Search Statistics ]============================ 1.29/1.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.30 c | | | | Limit GC | Var | Constra 1.29/1.30 c ============================================================================= 1.29/1.30 c 0.0s | 0 | 0 | 0 | 15592 0 | 2130 | 4971 1.29/1.32 c 0.0s | 0 | 1994 | 0 | 15592 0 | 2130 | 4971 1.29/1.32 c #cpu_time = 0.018s 1.29/1.32 c #wall_clock_time = 0.018s 1.29/1.32 c #decision = 1994 1.29/1.32 c #random_decision = 0 1.29/1.32 c #conflict = 0 1.29/1.32 c #restart = 0 1.29/1.32 c BCD2: found a new core of size 27: cost of the new core is >=1 1.29/1.32 c lower bound updated to 17 1.29/1.32 c BCD2: 17 <= obj <= 2443 1.29/1.32 c BCD2: #cores=17, #unrelaxed=4938, #relaxed=587, #hardened=0 1.29/1.32 c BCD2: #sat=1 #unsat=18 bias=18/19 1.29/1.32 c Solving starts ... 1.29/1.32 c ============================[ Search Statistics ]============================ 1.29/1.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.32 c | | | | Limit GC | Var | Constra 1.29/1.32 c ============================================================================= 1.29/1.32 c 0.0s | 0 | 0 | 0 | 15592 0 | 2130 | 4971 1.29/1.34 c 0.0s | 0 | 3157 | 0 | 15592 0 | 2130 | 4971 1.29/1.34 c #cpu_time = 0.020s 1.29/1.34 c #wall_clock_time = 0.020s 1.29/1.34 c #decision = 3157 1.29/1.34 c #random_decision = 0 1.29/1.34 c #conflict = 0 1.29/1.34 c #restart = 0 1.29/1.34 c BCD2: found a new core of size 111: cost of the new core is >=1 1.29/1.34 c lower bound updated to 18 1.29/1.35 c BCD2: 18 <= obj <= 2443 1.29/1.35 c BCD2: #cores=18, #unrelaxed=4827, #relaxed=698, #hardened=0 1.29/1.35 c BCD2: #sat=1 #unsat=19 bias=19/20 1.29/1.35 c Solving starts ... 1.29/1.35 c ============================[ Search Statistics ]============================ 1.29/1.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.35 c | | | | Limit GC | Var | Constra 1.29/1.35 c ============================================================================= 1.29/1.35 c 0.0s | 0 | 0 | 0 | 15592 0 | 2130 | 4971 1.29/1.37 c 0.0s | 0 | 3353 | 0 | 15592 0 | 2130 | 4971 1.29/1.37 c #cpu_time = 0.020s 1.29/1.37 c #wall_clock_time = 0.020s 1.29/1.37 c #decision = 3353 1.29/1.37 c #random_decision = 0 1.29/1.37 c #conflict = 0 1.29/1.37 c #restart = 0 1.29/1.37 c BCD2: found a new core of size 27: cost of the new core is >=1 1.29/1.37 c lower bound updated to 19 1.29/1.37 c BCD2: 19 <= obj <= 2443 1.29/1.37 c BCD2: #cores=19, #unrelaxed=4800, #relaxed=725, #hardened=0 1.29/1.37 c BCD2: #sat=1 #unsat=20 bias=20/21 1.29/1.38 c Solving starts ... 1.29/1.38 c ============================[ Search Statistics ]============================ 1.29/1.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.38 c | | | | Limit GC | Var | Constra 1.29/1.38 c ============================================================================= 1.29/1.38 c 0.0s | 0 | 0 | 0 | 15592 0 | 2130 | 4971 1.39/1.40 c 0.0s | 0 | 3423 | 0 | 15592 0 | 2130 | 4971 1.39/1.40 c #cpu_time = 0.019s 1.39/1.40 c #wall_clock_time = 0.019s 1.39/1.40 c #decision = 3423 1.39/1.40 c #random_decision = 0 1.39/1.40 c #conflict = 0 1.39/1.40 c #restart = 0 1.39/1.40 c BCD2: found a new core of size 37: cost of the new core is >=1 1.39/1.40 c lower bound updated to 20 1.39/1.40 c BCD2: 20 <= obj <= 2443 1.39/1.40 c BCD2: #cores=20, #unrelaxed=4763, #relaxed=762, #hardened=0 1.39/1.40 c BCD2: #sat=1 #unsat=21 bias=21/22 1.39/1.40 c Solving starts ... 1.39/1.40 c ============================[ Search Statistics ]============================ 1.39/1.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.40 c | | | | Limit GC | Var | Constra 1.39/1.40 c ============================================================================= 1.39/1.40 c 0.0s | 0 | 0 | 0 | 15592 0 | 2130 | 4971 1.39/1.43 c 0.0s | 0 | 3717 | 0 | 15592 0 | 2130 | 4971 1.39/1.43 c #cpu_time = 0.022s 1.39/1.43 c #wall_clock_time = 0.022s 1.39/1.43 c #decision = 3717 1.39/1.43 c #random_decision = 0 1.39/1.43 c #conflict = 0 1.39/1.43 c #restart = 0 1.39/1.43 c BCD2: found a new core of size 76: cost of the new core is >=1 1.39/1.43 c lower bound updated to 21 1.39/1.43 c BCD2: 21 <= obj <= 2443 1.39/1.43 c BCD2: #cores=21, #unrelaxed=4687, #relaxed=838, #hardened=0 1.39/1.43 c BCD2: #sat=1 #unsat=22 bias=22/23 1.39/1.43 c Solving starts ... 1.39/1.43 c ============================[ Search Statistics ]============================ 1.39/1.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.43 c | | | | Limit GC | Var | Constra 1.39/1.43 c ============================================================================= 1.39/1.43 c 0.0s | 0 | 0 | 0 | 15592 0 | 2130 | 4971 1.39/1.47 c 0.0s | 0 | 4354 | 0 | 15592 0 | 2130 | 4971 1.39/1.47 c #cpu_time = 0.028s 1.39/1.47 c #wall_clock_time = 0.028s 1.39/1.47 c #decision = 4354 1.39/1.47 c #random_decision = 0 1.39/1.47 c #conflict = 0 1.39/1.47 c #restart = 0 1.39/1.47 o 46 1.39/1.48 c BCD2: updating upper bound: 2443 -> 45 1.39/1.49 c BCD2: 21 <= obj <= 45 1.39/1.49 c BCD2: #cores=21, #unrelaxed=4687, #relaxed=838, #hardened=0 1.39/1.49 c BCD2: #sat=2 #unsat=22 bias=22/24 1.39/1.49 c Solving starts ... 1.39/1.49 c ============================[ Search Statistics ]============================ 1.39/1.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.49 c | | | | Limit GC | Var | Constra 1.39/1.49 c ============================================================================= 1.49/1.50 c 0.0s | 0 | 0 | 0 | 15592 0 | 2130 | 4972 1.49/1.58 c 0.1s | 1 | 5032 | 100 | 15592 0 | 2130 | 4972 1.69/1.79 c 0.3s | 2 | 33903 | 250 | 17152 0 | 2130 | 4972 1.79/1.84 c 0.3s | 2 | 38149 | 277 | 18868 0 | 2130 | 4972 1.79/1.84 c #cpu_time = 0.340s 1.79/1.84 c #wall_clock_time = 0.340s 1.79/1.84 c #decision = 38149 1.79/1.84 c #random_decision = 13 1.79/1.84 c #conflict = 277 1.79/1.84 c #restart = 2 1.79/1.84 o 32 1.79/1.85 c BCD2: updating upper bound: 45 -> 31 1.79/1.87 c BCD2: 21 <= obj <= 31 1.79/1.87 c BCD2: #cores=21, #unrelaxed=4687, #relaxed=838, #hardened=0 1.79/1.87 c BCD2: #sat=3 #unsat=22 bias=22/25 1.79/1.87 c Solving starts ... 1.79/1.87 c ============================[ Search Statistics ]============================ 1.79/1.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.79/1.87 c | | | | Limit GC | Var | Constra 1.79/1.87 c ============================================================================= 1.79/1.87 c 0.0s | 0 | 0 | 0 | 18868 0 | 2130 | 4973 1.99/2.01 c 0.1s | 1 | 6937 | 100 | 18868 0 | 2130 | 4973 2.09/2.19 c 0.3s | 2 | 15784 | 250 | 20755 0 | 2130 | 4973 2.39/2.40 c 0.5s | 2 | 22681 | 406 | 20755 0 | 2130 | 4973 2.39/2.40 c #cpu_time = 0.519s 2.39/2.40 c #wall_clock_time = 0.519s 2.39/2.40 c #decision = 22681 2.39/2.40 c #random_decision = 1 2.39/2.40 c #conflict = 406 2.39/2.40 c #restart = 2 2.39/2.40 o 27 2.39/2.40 c BCD2: updating upper bound: 31 -> 26 2.39/2.43 c BCD2: 21 <= obj <= 26 2.39/2.43 c BCD2: #cores=21, #unrelaxed=4687, #relaxed=838, #hardened=0 2.39/2.43 c BCD2: #sat=4 #unsat=22 bias=22/26 2.39/2.43 c Solving starts ... 2.39/2.43 c ============================[ Search Statistics ]============================ 2.39/2.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.39/2.43 c | | | | Limit GC | Var | Constra 2.39/2.43 c ============================================================================= 2.39/2.43 c 0.0s | 0 | 0 | 0 | 20755 0 | 2130 | 4974 2.39/2.47 c 0.0s | 0 | 6507 | 10 | 20755 0 | 2130 | 4974 2.39/2.47 c #cpu_time = 0.043s 2.39/2.47 c #wall_clock_time = 0.043s 2.39/2.47 c #decision = 6507 2.39/2.47 c #random_decision = 0 2.39/2.47 c #conflict = 10 2.39/2.47 c #restart = 0 2.39/2.48 c BCD2: relaxing 97 and merging with 11 cores into a new core of size 477: cost of the new core is >=12 2.39/2.48 c lower bound updated to 22 2.39/2.48 c BCD2: 22 <= obj <= 26 2.39/2.48 c BCD2: #cores=11, #unrelaxed=4590, #relaxed=935, #hardened=0 2.39/2.48 c BCD2: #sat=4 #unsat=23 bias=23/27 2.39/2.48 c Solving starts ... 2.39/2.48 c ============================[ Search Statistics ]============================ 2.39/2.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.39/2.48 c | | | | Limit GC | Var | Constra 2.39/2.48 c ============================================================================= 2.39/2.48 c 0.0s | 0 | 0 | 0 | 20755 0 | 2172 | 4974 2.59/2.64 c 0.2s | 1 | 5263 | 100 | 20755 0 | 2172 | 5047 2.79/2.81 c 0.3s | 2 | 10909 | 250 | 22831 0 | 2172 | 5047 2.99/3.02 c 0.5s | 3 | 17139 | 475 | 22831 0 | 2172 | 5047 3.30/3.34 c 0.9s | 4 | 23516 | 813 | 25115 0 | 2172 | 5047 3.89/3.94 c 1.5s | 5 | 32564 | 1320 | 25115 0 | 2172 | 5047 4.59/4.65 c 2.2s | 6 | 43398 | 2081 | 27627 0 | 2172 | 5047 5.59/5.64 c 3.2s | 7 | 58109 | 3223 | 30390 0 | 2172 | 5047 7.09/7.16 c 4.7s | 8 | 77007 | 4936 | 33429 0 | 2172 | 5047 9.19/9.22 c 6.7s | 8 | 89885 | 7336 | 36772 0 | 2172 | 5047 9.39/9.42 c 6.9s | 9 | 90768 | 7506 | 36772 0 | 2172 | 5047 11.39/11.46 c 9.0s | 9 | 101779 | 9806 | 36772 0 | 2172 | 5047 13.09/13.10 c 10.6s | 10 | 115845 | 11361 | 40450 0 | 2172 | 5047 15.08/15.19 c 12.7s | 10 | 136613 | 13061 | 40450 0 | 2172 | 5047 17.18/17.22 c 14.7s | 10 | 146968 | 14661 | 40450 0 | 2172 | 5047 19.18/19.25 c 16.8s | 10 | 153814 | 16461 | 44495 0 | 2172 | 5047 19.98/20.06 c 17.6s | 11 | 158940 | 17144 | 44495 0 | 2172 | 5047 22.18/22.20 c 19.7s | 11 | 177482 | 18644 | 44495 0 | 2172 | 5047 24.19/24.28 c 21.8s | 11 | 185304 | 20144 | 44495 0 | 2172 | 5047 26.28/26.31 c 23.8s | 11 | 196036 | 21544 | 44495 0 | 2172 | 5047 28.38/28.40 c 25.9s | 11 | 202350 | 22744 | 44495 0 | 2172 | 5047 30.38/30.48 c 28.0s | 11 | 210750 | 24044 | 44495 0 | 2172 | 5047 32.58/32.60 c 30.1s | 11 | 223016 | 25444 | 48945 0 | 2172 | 5047 33.18/33.20 c 30.7s | 12 | 225726 | 25819 | 48945 0 | 2172 | 5047 35.19/35.25 c 32.8s | 12 | 235474 | 27119 | 48945 0 | 2172 | 5047 37.28/37.37 c 34.9s | 12 | 242229 | 28419 | 48945 0 | 2172 | 5047 39.48/39.50 c 37.0s | 12 | 253826 | 29619 | 48945 0 | 2172 | 5047 41.58/41.62 c 39.1s | 12 | 263323 | 30819 | 48945 0 | 2172 | 5047 43.58/43.67 c 41.2s | 12 | 267857 | 31819 | 48945 0 | 2172 | 5047 45.88/45.96 c 43.5s | 12 | 273954 | 32719 | 48945 0 | 2172 | 5047 47.98/48.06 c 45.6s | 12 | 280536 | 33619 | 48945 0 | 2172 | 5047 50.18/50.20 c 47.7s | 12 | 291523 | 34819 | 48945 0 | 2172 | 5047 52.28/52.32 c 49.8s | 12 | 300601 | 35819 | 48945 0 | 2172 | 5047 54.28/54.38 c 51.9s | 12 | 304211 | 36619 | 48945 0 | 2172 | 5047 56.28/56.38 c 53.9s | 12 | 307334 | 37319 | 48945 0 | 2172 | 5047 58.58/58.61 c 56.1s | 12 | 316174 | 38219 | 53840 0 | 2172 | 5047 60.08/60.18 c 57.7s | 13 | 319785 | 38832 | 53840 0 | 2172 | 5047 62.18/62.27 c 59.8s | 13 | 327294 | 39532 | 53840 0 | 2172 | 5047 64.28/64.31 c 61.8s | 13 | 336458 | 40432 | 53840 0 | 2172 | 5047 66.38/66.43 c 63.9s | 13 | 343307 | 41332 | 53840 0 | 2172 | 5047 68.38/68.43 c 65.9s | 13 | 353606 | 42532 | 53840 0 | 2172 | 5047 70.49/70.56 c 68.1s | 13 | 363532 | 43932 | 53840 0 | 2172 | 5047 72.59/72.65 c 70.2s | 13 | 372862 | 45232 | 53840 0 | 2172 | 5047 74.58/74.69 c 72.2s | 13 | 382258 | 46332 | 53840 0 | 2172 | 5047 76.68/76.73 c 74.3s | 13 | 394859 | 47832 | 53840 0 | 2172 | 5047 78.88/78.91 c 76.4s | 13 | 404423 | 49332 | 53840 0 | 2172 | 5047 80.98/81.06 c 78.6s | 13 | 415856 | 50432 | 53840 0 | 2172 | 5047 83.08/83.11 c 80.6s | 13 | 424289 | 51532 | 53840 0 | 2172 | 5047 85.08/85.17 c 82.7s | 13 | 429997 | 52632 | 53840 0 | 2172 | 5047 87.27/87.31 c 84.8s | 13 | 435268 | 53632 | 53840 0 | 2172 | 5047 89.37/89.40 c 86.9s | 13 | 445670 | 54632 | 53840 0 | 2172 | 5047 91.47/91.58 c 89.1s | 13 | 455187 | 55632 | 53840 0 | 2172 | 5047 93.67/93.74 c 91.3s | 13 | 461952 | 56732 | 53840 0 | 2172 | 5047 95.87/95.97 c 93.5s | 13 | 468915 | 57732 | 59225 0 | 2172 | 5047 97.47/97.53 c 95.0s | 14 | 474399 | 58352 | 59225 0 | 2172 | 5047 99.57/99.67 c 97.2s | 14 | 482731 | 59152 | 59225 0 | 2172 | 5047 101.77/101.80 c 99.3s | 14 | 490308 | 59952 | 59225 0 | 2173 | 5988 103.87/103.98 c 101s | 14 | 494027 | 60452 | 59225 0 | 2173 | 5988 106.27/106.38 c 103s | 14 | 497443 | 60952 | 59225 0 | 2173 | 5988 108.57/108.61 c 106s | 14 | 501190 | 61452 | 59225 0 | 2173 | 5988 110.77/110.89 c 108s | 14 | 505263 | 61952 | 59225 0 | 2173 | 5988 113.27/113.31 c 110s | 14 | 507353 | 62452 | 59225 0 | 2173 | 5988 115.47/115.56 c 113s | 14 | 509912 | 62852 | 59225 0 | 2173 | 5988 117.47/117.59 c 115s | 14 | 512687 | 63252 | 59225 0 | 2173 | 5988 119.87/120.00 c 117s | 14 | 515949 | 63652 | 59225 0 | 2173 | 5988 122.37/122.45 c 119s | 14 | 517413 | 64052 | 59225 0 | 2173 | 5988 124.47/124.55 c 122s | 14 | 521017 | 64552 | 59225 0 | 2173 | 5988 126.67/126.71 c 124s | 14 | 527318 | 65352 | 59225 0 | 2173 | 5988 128.67/128.73 c 126s | 14 | 535109 | 66052 | 59225 0 | 2173 | 5988 130.67/130.73 c 128s | 14 | 540380 | 66752 | 59225 0 | 2173 | 5988 132.96/133.04 c 130s | 14 | 545144 | 67552 | 59225 0 | 2173 | 5988 135.16/135.24 c 132s | 14 | 548267 | 68252 | 59225 0 | 2173 | 5988 140.16/140.28 c 137s | 14 | 551547 | 68852 | 59225 1 | 2173 | 5988 142.26/142.38 c 139s | 14 | 556542 | 69452 | 59225 1 | 2173 | 5988 144.37/144.49 c 142s | 14 | 567616 | 70752 | 59225 1 | 2173 | 5988 146.47/146.56 c 144s | 14 | 575031 | 72052 | 59225 1 | 2173 | 5988 148.47/148.58 c 146s | 14 | 579406 | 72852 | 59225 1 | 2173 | 5988 150.67/150.72 c 148s | 14 | 589234 | 74152 | 59225 1 | 2173 | 5988 152.76/152.82 c 150s | 14 | 596052 | 75352 | 59225 1 | 2173 | 5988 154.86/154.92 c 152s | 14 | 600964 | 76452 | 59225 1 | 2173 | 5988 157.06/157.11 c 154s | 14 | 610527 | 77752 | 59225 1 | 2173 | 5988 159.06/159.18 c 156s | 14 | 615871 | 78852 | 59225 1 | 2173 | 5988 161.16/161.21 c 158s | 14 | 619749 | 80052 | 59225 1 | 2173 | 5988 163.16/163.22 c 160s | 14 | 631037 | 81252 | 59225 1 | 2173 | 5988 165.26/165.33 c 162s | 14 | 642658 | 82552 | 59225 1 | 2173 | 5988 167.36/167.45 c 164s | 14 | 648290 | 83652 | 59225 1 | 2173 | 5988 169.47/169.56 c 167s | 14 | 653856 | 84852 | 59225 1 | 2173 | 5988 171.57/171.63 c 169s | 14 | 659269 | 86052 | 59225 1 | 2173 | 5988 173.77/173.82 c 171s | 14 | 666971 | 87052 | 65148 1 | 2173 | 5988 175.06/175.11 c 172s | 15 | 670439 | 87632 | 65148 1 | 2173 | 5988 177.07/177.12 c 174s | 15 | 677617 | 88532 | 65148 1 | 2173 | 5988 179.16/179.23 c 176s | 15 | 683154 | 89532 | 65148 1 | 2173 | 5988 181.26/181.39 c 178s | 15 | 687814 | 90532 | 65148 1 | 2173 | 5988 183.36/183.41 c 180s | 15 | 690835 | 91332 | 65148 1 | 2173 | 5988 185.56/185.62 c 183s | 15 | 695830 | 92032 | 65148 1 | 2173 | 5988 187.76/187.80 c 185s | 15 | 703106 | 92932 | 65148 1 | 2173 | 5988 189.86/189.95 c 187s | 15 | 709938 | 93732 | 65148 1 | 2173 | 5988 192.16/192.29 c 189s | 15 | 713719 | 94432 | 65148 1 | 2173 | 5988 194.26/194.39 c 191s | 15 | 717620 | 95232 | 65148 1 | 2173 | 5988 196.36/196.48 c 193s | 15 | 723227 | 96132 | 65148 1 | 2173 | 5988 198.45/198.52 c 196s | 15 | 728747 | 96732 | 65148 1 | 2173 | 5988 200.55/200.60 c 198s | 15 | 735252 | 97532 | 65148 1 | 2173 | 5988 202.55/202.65 c 200s | 15 | 740752 | 98232 | 65148 1 | 2173 | 5988 204.85/204.93 c 202s | 15 | 747041 | 99032 | 65148 1 | 2173 | 5988 207.16/207.23 c 204s | 15 | 751210 | 99832 | 65148 1 | 2173 | 5988 209.16/209.26 c 206s | 15 | 753906 | 100532 | 65148 1 | 2173 | 5988 211.27/211.38 c 208s | 15 | 757998 | 101232 | 65148 1 | 2173 | 5988 213.47/213.60 c 211s | 15 | 766044 | 102032 | 65148 1 | 2173 | 5988 215.76/215.85 c 213s | 15 | 772525 | 102832 | 65148 1 | 2173 | 5988 217.76/217.90 c 215s | 15 | 778090 | 103532 | 65148 1 | 2173 | 5988 219.96/220.09 c 217s | 15 | 783305 | 104232 | 65148 1 | 2173 | 5988 222.26/222.38 c 219s | 15 | 788048 | 105032 | 65148 1 | 2173 | 5988 224.36/224.47 c 221s | 15 | 791839 | 105832 | 65148 1 | 2173 | 5988 226.56/226.68 c 224s | 15 | 798062 | 106532 | 65148 1 | 2173 | 5988 228.86/228.99 c 226s | 15 | 801791 | 107232 | 65148 1 | 2173 | 5988 230.96/231.08 c 228s | 15 | 804998 | 107832 | 65148 1 | 2173 | 5988 233.05/233.11 c 230s | 15 | 808561 | 108532 | 65148 1 | 2173 | 5988 235.46/235.58 c 233s | 15 | 811239 | 109032 | 65148 2 | 2173 | 5988 237.56/237.68 c 235s | 15 | 818900 | 109932 | 65148 2 | 2173 | 5988 239.76/239.90 c 237s | 15 | 827235 | 110732 | 65148 2 | 2173 | 5988 242.06/242.11 c 239s | 15 | 832836 | 111432 | 65148 2 | 2173 | 5988 244.16/244.30 c 241s | 15 | 837328 | 112032 | 65148 2 | 2173 | 5988 246.36/246.46 c 243s | 15 | 845701 | 112832 | 65148 2 | 2173 | 5988 250.05/250.20 c 247s | 15 | 853207 | 113632 | 65148 2 | 2173 | 5988 255.35/255.41 c 252s | 15 | 857159 | 114032 | 65148 2 | 2173 | 5988 257.45/257.56 c 255s | 15 | 864956 | 114932 | 65148 2 | 2173 | 5988 259.65/259.79 c 257s | 15 | 869741 | 115832 | 65148 2 | 2173 | 5988 261.95/262.05 c 259s | 15 | 875298 | 116732 | 65148 2 | 2173 | 5988 264.15/264.22 c 261s | 15 | 883635 | 117632 | 65148 2 | 2173 | 5988 266.25/266.39 c 263s | 15 | 890382 | 118532 | 65148 2 | 2173 | 5988 268.35/268.50 c 266s | 15 | 896027 | 119232 | 65148 2 | 2173 | 5988 270.55/270.69 c 268s | 15 | 904642 | 120132 | 65148 2 | 2173 | 5988 272.75/272.85 c 270s | 15 | 908926 | 120932 | 65148 2 | 2173 | 5988 275.05/275.13 c 272s | 15 | 916120 | 121732 | 65148 2 | 2173 | 5988 277.15/277.23 c 274s | 15 | 921358 | 122432 | 65148 2 | 2173 | 5988 279.45/279.56 c 277s | 15 | 928993 | 123132 | 65148 2 | 2173 | 5988 281.55/281.67 c 279s | 15 | 935449 | 123832 | 65148 2 | 2173 | 5988 283.64/283.70 c 281s | 15 | 940940 | 124532 | 65148 2 | 2173 | 5988 285.64/285.78 c 283s | 15 | 946926 | 125232 | 65148 2 | 2173 | 5988 287.84/287.95 c 285s | 15 | 950178 | 125932 | 65148 2 | 2173 | 5988 290.14/290.24 c 287s | 15 | 955217 | 126532 | 65148 2 | 2173 | 5988 292.34/292.41 c 289s | 15 | 962122 | 127132 | 65148 2 | 2173 | 5988 294.45/294.54 c 292s | 15 | 964785 | 127732 | 65148 2 | 2173 | 5988 296.45/296.59 c 294s | 15 | 969593 | 128332 | 65148 2 | 2173 | 5988 298.55/298.67 c 296s | 15 | 973420 | 128932 | 65148 2 | 2173 | 5988 300.75/300.83 c 298s | 15 | 977872 | 129532 | 65148 2 | 2173 | 5988 302.85/302.99 c 300s | 15 | 983023 | 130132 | 71663 2 | 2173 | 5988 304.95/305.07 c 302s | 15 | 986477 | 130732 | 71663 2 | 2173 | 5988 307.05/307.19 c 304s | 15 | 991750 | 131332 | 71663 2 | 2173 | 5988 307.85/307.99 c 305s | 16 | 993067 | 131552 | 71663 2 | 2173 | 5988 309.95/310.06 c 307s | 16 | 999811 | 132052 | 71663 2 | 2173 | 5988 312.24/312.37 c 309s | 16 | 1005130 | 132652 | 71663 2 | 2173 | 5988 314.44/314.53 c 312s | 16 | 1009174 | 133252 | 71663 2 | 2173 | 5988 316.64/316.70 c 314s | 16 | 1011682 | 133852 | 71663 2 | 2173 | 5988 320.44/320.56 c 318s | 16 | 1013880 | 134252 | 71663 2 | 2173 | 5988 322.84/322.95 c 320s | 16 | 1016770 | 134652 | 71663 2 | 2173 | 5988 325.55/325.68 c 323s | 16 | 1020835 | 135052 | 71663 2 | 2173 | 5988 327.64/327.76 c 325s | 16 | 1023622 | 135352 | 71663 2 | 2173 | 5988 330.24/330.35 c 327s | 16 | 1027717 | 135752 | 71663 2 | 2173 | 5988 332.54/332.64 c 330s | 16 | 1030824 | 136052 | 71663 2 | 2173 | 5988 335.24/335.31 c 332s | 16 | 1034134 | 136452 | 71663 2 | 2173 | 5988 337.34/337.48 c 334s | 16 | 1039570 | 136752 | 71663 2 | 2173 | 5988 339.54/339.67 c 337s | 16 | 1044684 | 137452 | 71663 2 | 2173 | 5988 341.63/341.76 c 339s | 16 | 1049484 | 138152 | 71663 2 | 2173 | 5988 343.63/343.77 c 341s | 16 | 1053891 | 138852 | 71663 2 | 2173 | 5988 345.83/345.96 c 343s | 16 | 1057659 | 139452 | 71663 2 | 2173 | 5988 347.83/347.99 c 345s | 16 | 1061113 | 139952 | 71663 2 | 2173 | 5988 350.13/350.21 c 347s | 16 | 1065346 | 140552 | 71663 2 | 2173 | 5988 352.33/352.47 c 349s | 16 | 1070865 | 141152 | 71663 2 | 2173 | 5988 354.63/354.79 c 352s | 16 | 1077831 | 141852 | 71663 2 | 2173 | 5988 356.83/356.93 c 354s | 16 | 1082233 | 142452 | 71663 2 | 2173 | 5988 358.83/358.99 c 356s | 16 | 1085753 | 143052 | 71663 2 | 2173 | 5988 360.84/360.99 c 358s | 16 | 1088740 | 143652 | 71663 2 | 2173 | 5988 363.13/363.28 c 360s | 16 | 1092985 | 144152 | 71663 2 | 2173 | 5988 365.33/365.42 c 362s | 16 | 1096678 | 144952 | 71663 2 | 2173 | 5988 367.34/367.47 c 364s | 16 | 1102159 | 145652 | 71663 2 | 2173 | 5988 369.53/369.64 c 367s | 16 | 1107401 | 146452 | 71663 2 | 2173 | 5988 371.53/371.66 c 369s | 16 | 1112390 | 147052 | 71663 2 | 2173 | 5988 373.64/373.75 c 371s | 16 | 1118728 | 147752 | 71663 2 | 2173 | 5988 375.93/376.00 c 373s | 16 | 1123153 | 148552 | 71663 2 | 2173 | 5988 377.93/378.05 c 375s | 16 | 1126065 | 149152 | 71663 2 | 2173 | 5988 380.13/380.23 c 377s | 16 | 1130088 | 149652 | 71663 2 | 2173 | 5988 382.23/382.37 c 379s | 16 | 1135478 | 150252 | 71663 2 | 2173 | 5988 384.53/384.66 c 382s | 16 | 1142638 | 150952 | 71663 2 | 2173 | 5988 386.53/386.68 c 384s | 16 | 1148938 | 151552 | 71663 2 | 2173 | 5988 388.83/388.97 c 386s | 16 | 1154180 | 152152 | 71663 2 | 2173 | 5988 390.83/390.97 c 388s | 16 | 1157616 | 152652 | 71663 2 | 2173 | 5988 393.03/393.13 c 390s | 16 | 1160031 | 153152 | 71663 3 | 2173 | 5988 395.13/395.25 c 392s | 16 | 1168067 | 154152 | 71663 3 | 2173 | 5988 397.23/397.32 c 394s | 16 | 1176052 | 155252 | 71663 3 | 2173 | 5988 399.43/399.51 c 397s | 16 | 1189027 | 156752 | 71663 3 | 2173 | 5988 401.53/401.66 c 399s | 16 | 1198909 | 157852 | 71663 3 | 2173 | 5988 403.53/403.68 c 401s | 16 | 1206346 | 158952 | 71663 3 | 2173 | 5988 405.63/405.77 c 403s | 16 | 1215398 | 159852 | 71663 3 | 2173 | 5988 407.63/407.78 c 405s | 16 | 1223181 | 160852 | 71663 3 | 2173 | 5988 409.73/409.83 c 407s | 16 | 1231636 | 161952 | 71663 3 | 2173 | 5988 411.92/412.00 c 409s | 16 | 1235969 | 162552 | 71663 3 | 2173 | 5988 413.92/414.07 c 411s | 16 | 1241652 | 163452 | 71663 3 | 2173 | 5988 416.02/416.15 c 413s | 16 | 1248887 | 164352 | 71663 3 | 2173 | 5988 418.32/418.41 c 415s | 16 | 1255154 | 165352 | 71663 3 | 2173 | 5988 420.33/420.43 c 417s | 16 | 1263024 | 166452 | 71663 3 | 2173 | 5988 422.53/422.63 c 420s | 16 | 1273450 | 167552 | 71663 3 | 2173 | 5988 424.73/424.80 c 422s | 16 | 1281213 | 168652 | 71663 3 | 2173 | 5988 426.83/426.91 c 424s | 16 | 1289892 | 169652 | 71663 3 | 2173 | 5988 428.93/429.01 c 426s | 16 | 1301371 | 170752 | 71663 3 | 2173 | 5988 431.13/431.23 c 428s | 16 | 1308835 | 171952 | 71663 3 | 2173 | 5988 433.33/433.41 c 430s | 16 | 1317851 | 172852 | 71663 3 | 2173 | 5988 435.32/435.44 c 432s | 16 | 1324642 | 173752 | 71663 3 | 2173 | 5988 437.42/437.53 c 435s | 16 | 1328529 | 174652 | 71663 3 | 2173 | 5988 439.72/439.83 c 437s | 16 | 1330436 | 175352 | 71663 3 | 2173 | 5988 441.82/441.91 c 439s | 16 | 1332472 | 176052 | 71663 3 | 2173 | 5988 443.92/444.07 c 441s | 16 | 1338954 | 176752 | 71663 3 | 2173 | 5988 446.02/446.18 c 443s | 16 | 1343708 | 177352 | 71663 3 | 2173 | 5988 448.32/448.40 c 445s | 16 | 1349648 | 177852 | 71663 3 | 2173 | 5988 450.52/450.61 c 448s | 16 | 1354429 | 178352 | 71663 3 | 2173 | 5988 452.92/453.06 c 450s | 16 | 1358073 | 178852 | 71663 3 | 2173 | 5988 455.22/455.31 c 452s | 16 | 1362487 | 179352 | 71663 3 | 2173 | 5988 457.62/457.73 c 455s | 16 | 1366550 | 179852 | 71663 3 | 2173 | 5988 459.62/459.78 c 457s | 16 | 1373332 | 180652 | 71663 3 | 2173 | 5988 461.71/461.82 c 459s | 16 | 1380722 | 181652 | 71663 3 | 2173 | 5988 463.71/463.87 c 461s | 16 | 1385837 | 182452 | 71663 3 | 2173 | 5988 466.02/466.11 c 463s | 16 | 1393907 | 183752 | 71663 3 | 2173 | 5988 468.02/468.15 c 465s | 16 | 1401647 | 184552 | 71663 3 | 2173 | 5988 470.12/470.22 c 467s | 16 | 1409462 | 185452 | 71663 3 | 2173 | 5988 472.12/472.24 c 469s | 16 | 1415818 | 186252 | 71663 3 | 2173 | 5988 474.22/474.39 c 471s | 16 | 1423272 | 187252 | 71663 3 | 2173 | 5988 476.51/476.68 c 474s | 16 | 1430115 | 188152 | 71663 3 | 2173 | 5988 478.71/478.85 c 476s | 16 | 1434887 | 188852 | 71663 3 | 2173 | 5988 480.91/481.06 c 478s | 16 | 1439574 | 189452 | 71663 3 | 2173 | 5988 483.11/483.22 c 480s | 16 | 1445037 | 190552 | 71663 3 | 2173 | 5988 485.21/485.34 c 482s | 16 | 1450936 | 191652 | 71663 3 | 2173 | 5988 487.32/487.48 c 484s | 16 | 1455237 | 192252 | 71663 3 | 2173 | 5988 489.42/489.58 c 487s | 16 | 1458372 | 192852 | 71663 3 | 2173 | 5988 491.72/491.88 c 489s | 16 | 1461259 | 193452 | 71663 3 | 2173 | 5988 494.02/494.17 c 491s | 16 | 1463185 | 193852 | 71663 4 | 2173 | 5988 496.02/496.20 c 493s | 16 | 1468595 | 194852 | 71663 4 | 2173 | 5988 498.11/498.25 c 495s | 16 | 1474252 | 195952 | 78830 4 | 2173 | 5988 500.21/500.37 c 497s | 16 | 1480086 | 196952 | 78830 4 | 2173 | 5988 509.81/509.92 c 507s | 16 | 1482359 | 197352 | 78830 4 | 2173 | 5988 512.91/513.09 c 510s | 17 | 1483059 | 197432 | 78830 4 | 2173 | 5988 515.11/515.22 c 512s | 17 | 1496392 | 198832 | 78830 4 | 2173 | 5988 517.21/517.30 c 514s | 17 | 1501057 | 199932 | 78830 4 | 2173 | 5988 519.31/519.49 c 517s | 17 | 1509249 | 201132 | 78830 4 | 2173 | 5988 521.42/521.59 c 519s | 17 | 1515989 | 202232 | 78830 4 | 2173 | 5988 523.71/523.81 c 521s | 17 | 1523897 | 203532 | 78830 4 | 2173 | 5988 525.91/526.09 c 523s | 17 | 1528942 | 204332 | 78830 4 | 2173 | 5988 528.41/528.59 c 526s | 17 | 1536214 | 205032 | 78830 4 | 2173 | 5988 530.61/530.71 c 528s | 17 | 1544286 | 206032 | 78830 4 | 2173 | 5988 532.71/532.83 c 530s | 17 | 1549891 | 206932 | 78830 4 | 2173 | 5988 534.71/534.87 c 532s | 17 | 1555772 | 208032 | 78830 4 | 2173 | 5988 536.81/536.92 c 534s | 17 | 1562639 | 209132 | 78830 4 | 2173 | 5988 538.91/539.00 c 536s | 17 | 1568756 | 210332 | 78830 4 | 2173 | 5988 540.91/541.01 c 538s | 17 | 1573117 | 211132 | 78830 4 | 2173 | 5988 543.01/543.14 c 540s | 17 | 1580042 | 212332 | 78830 4 | 2173 | 5988 545.11/545.25 c 542s | 17 | 1588515 | 213732 | 78830 4 | 2173 | 5988 547.11/547.26 c 544s | 17 | 1596507 | 215132 | 78830 4 | 2173 | 5988 549.21/549.39 c 546s | 17 | 1606084 | 216632 | 78830 4 | 2173 | 5988 551.31/551.44 c 548s | 17 | 1615402 | 218032 | 78830 4 | 2173 | 5988 553.41/553.51 c 551s | 17 | 1624719 | 219432 | 78830 4 | 2173 | 5988 555.51/555.63 c 553s | 17 | 1633232 | 220832 | 78830 4 | 2173 | 5988 557.61/557.73 c 555s | 17 | 1640500 | 222132 | 78830 4 | 2173 | 5988 559.70/559.81 c 557s | 17 | 1648525 | 223332 | 78830 4 | 2173 | 5988 561.70/561.84 c 559s | 17 | 1655410 | 224532 | 78830 4 | 2173 | 5988 563.70/563.88 c 561s | 17 | 1664746 | 225632 | 78830 4 | 2173 | 5988 565.70/565.89 c 563s | 17 | 1672621 | 226732 | 78830 4 | 2173 | 5988 567.90/568.01 c 565s | 17 | 1680770 | 227732 | 78830 4 | 2173 | 5988 570.00/570.14 c 567s | 17 | 1687525 | 228832 | 78830 4 | 2173 | 5988 572.10/572.22 c 569s | 17 | 1693224 | 229832 | 78830 4 | 2173 | 5988 574.11/574.28 c 571s | 17 | 1698427 | 230832 | 78830 4 | 2173 | 5988 576.10/576.29 c 573s | 17 | 1704011 | 231932 | 78830 4 | 2173 | 5988 578.20/578.38 c 575s | 17 | 1709159 | 232932 | 78830 4 | 2173 | 5988 580.30/580.44 c 577s | 17 | 1713687 | 234032 | 78830 4 | 2173 | 5988 582.60/582.77 c 580s | 17 | 1719768 | 234932 | 78830 4 | 2173 | 5988 584.80/584.91 c 582s | 17 | 1726984 | 235832 | 78830 4 | 2173 | 5988 586.90/587.04 c 584s | 17 | 1731687 | 236832 | 78830 4 | 2173 | 5988 589.00/589.16 c 586s | 17 | 1736042 | 237532 | 78830 4 | 2173 | 5988 591.10/591.23 c 588s | 17 | 1743916 | 238432 | 78830 4 | 2173 | 5988 593.19/593.32 c 590s | 17 | 1749126 | 239432 | 78830 4 | 2173 | 5988 595.20/595.39 c 592s | 17 | 1755330 | 240532 | 78830 4 | 2173 | 5988 597.30/597.44 c 594s | 17 | 1761868 | 241332 | 78830 4 | 2173 | 5988 599.40/599.54 c 597s | 17 | 1766260 | 242232 | 78830 5 | 2173 | 5988 601.50/601.69 c 599s | 17 | 1770121 | 242932 | 78830 5 | 2173 | 5988 603.60/603.74 c 601s | 17 | 1779038 | 244132 | 78830 5 | 2173 | 5988 605.60/605.76 c 603s | 17 | 1788254 | 245432 | 78830 5 | 2173 | 5988 607.60/607.78 c 605s | 17 | 1793087 | 246532 | 78830 5 | 2173 | 5988 610.60/610.70 c 608s | 17 | 1797437 | 247532 | 78830 5 | 2173 | 5988 612.70/612.83 c 610s | 17 | 1805214 | 248532 | 78830 5 | 2173 | 5988 614.80/614.97 c 612s | 17 | 1812575 | 249832 | 78830 5 | 2173 | 5988 616.90/617.00 c 614s | 17 | 1818887 | 250932 | 78830 5 | 2173 | 5988 619.00/619.12 c 616s | 17 | 1828085 | 251932 | 78830 5 | 2173 | 5988 621.00/621.17 c 618s | 17 | 1833327 | 252732 | 78830 5 | 2173 | 5988 623.00/623.17 c 620s | 17 | 1838919 | 253532 | 78830 5 | 2173 | 5988 625.20/625.39 c 622s | 17 | 1843370 | 254332 | 78830 5 | 2173 | 5988 627.49/627.69 c 625s | 17 | 1847701 | 255032 | 78830 5 | 2173 | 5988 629.69/629.88 c 627s | 17 | 1855616 | 256132 | 78830 5 | 2173 | 5988 631.80/631.93 c 629s | 17 | 1861484 | 257032 | 78830 5 | 2173 | 5988 633.89/634.08 c 631s | 17 | 1867857 | 258032 | 78830 5 | 2173 | 5988 636.19/636.30 c 633s | 17 | 1872769 | 258832 | 78830 5 | 2173 | 5988 638.29/638.41 c 635s | 17 | 1877107 | 259632 | 78830 5 | 2173 | 5988 640.29/640.42 c 637s | 17 | 1880691 | 260532 | 78830 5 | 2173 | 5988 642.30/642.45 c 639s | 17 | 1886959 | 261332 | 78830 5 | 2173 | 5988 644.50/644.70 c 642s | 17 | 1891728 | 262232 | 78830 5 | 2173 | 5988 646.70/646.81 c 644s | 17 | 1895900 | 262932 | 78830 5 | 2173 | 5988 648.69/648.81 c 646s | 17 | 1900530 | 263832 | 78830 5 | 2173 | 5988 650.79/650.92 c 648s | 17 | 1905592 | 264632 | 78830 5 | 2173 | 5988 652.89/653.08 c 650s | 17 | 1912296 | 265432 | 78830 5 | 2173 | 5988 655.09/655.21 c 652s | 17 | 1917467 | 266332 | 78830 5 | 2173 | 5988 657.39/657.58 c 655s | 17 | 1921025 | 266932 | 78830 5 | 2173 | 5988 659.59/659.75 c 657s | 17 | 1925173 | 267632 | 78830 5 | 2173 | 5988 661.79/661.93 c 659s | 17 | 1931230 | 268332 | 78830 5 | 2173 | 5988 663.89/664.01 c 661s | 17 | 1935693 | 269032 | 78830 5 | 2173 | 5988 666.09/666.23 c 663s | 17 | 1940654 | 269732 | 78830 5 | 2173 | 5988 668.19/668.31 c 665s | 17 | 1944696 | 270532 | 78830 5 | 2173 | 5988 670.19/670.37 c 667s | 17 | 1950104 | 271232 | 78830 5 | 2173 | 5988 672.19/672.37 c 669s | 17 | 1955486 | 272132 | 78830 5 | 2173 | 5988 674.29/674.46 c 671s | 17 | 1961440 | 272932 | 78830 5 | 2173 | 5988 676.59/676.70 c 674s | 17 | 1965797 | 273732 | 78830 5 | 2173 | 5988 678.59/678.78 c 676s | 17 | 1970157 | 274432 | 78830 5 | 2173 | 5988 680.69/680.86 c 678s | 17 | 1974784 | 275232 | 78830 5 | 2173 | 5988 682.79/682.93 c 680s | 17 | 1979913 | 276232 | 78830 5 | 2173 | 5988 684.79/684.95 c 682s | 17 | 1984559 | 276932 | 78830 5 | 2173 | 5988 686.88/687.05 c 684s | 17 | 1988255 | 277732 | 78830 5 | 2173 | 5988 689.08/689.20 c 686s | 17 | 1992765 | 278632 | 78830 5 | 2173 | 5988 691.28/691.44 c 688s | 17 | 1995531 | 279332 | 78830 5 | 2173 | 5988 693.28/693.46 c 690s | 17 | 1999912 | 279932 | 78830 5 | 2173 | 5988 695.38/695.57 c 693s | 17 | 2004066 | 280632 | 78830 5 | 2173 | 5988 697.48/697.62 c 695s | 17 | 2007545 | 281232 | 78830 5 | 2173 | 5988 699.59/699.79 c 697s | 17 | 2012303 | 281932 | 78830 5 | 2173 | 5988 701.88/702.04 c 699s | 17 | 2015960 | 282632 | 78830 5 | 2173 | 5988 703.89/704.09 c 701s | 17 | 2018622 | 283232 | 78830 5 | 2173 | 5988 706.09/706.25 c 703s | 17 | 2022807 | 283932 | 78830 5 | 2173 | 5988 708.18/708.31 c 705s | 17 | 2028381 | 284632 | 78830 5 | 2173 | 5988 710.38/710.52 c 708s | 17 | 2032689 | 285432 | 78830 5 | 2173 | 5988 712.78/712.90 c 710s | 17 | 2035323 | 286132 | 78830 6 | 2173 | 5988 716.58/716.71 c 714s | 17 | 2036464 | 286232 | 78830 6 | 2173 | 5988 719.78/719.92 c 717s | 17 | 2039578 | 286632 | 78830 6 | 2173 | 5988 721.78/721.93 c 719s | 17 | 2046156 | 287532 | 78830 6 | 2173 | 5988 724.97/725.18 c 722s | 17 | 2048122 | 287732 | 78830 6 | 2173 | 5988 727.28/727.41 c 724s | 17 | 2052198 | 288232 | 78830 6 | 2173 | 5988 729.28/729.45 c 726s | 17 | 2062031 | 289532 | 78830 6 | 2173 | 5988 731.38/731.52 c 729s | 17 | 2070361 | 291032 | 78830 6 | 2173 | 5988 733.58/733.73 c 731s | 17 | 2078972 | 292432 | 78830 6 | 2173 | 5988 735.57/735.79 c 733s | 17 | 2083307 | 293232 | 78830 6 | 2173 | 5988 737.77/737.97 c 735s | 17 | 2091098 | 294232 | 86713 6 | 2173 | 5988 739.97/740.10 c 737s | 17 | 2098639 | 295132 | 86713 6 | 2173 | 5988 741.98/742.11 c 739s | 17 | 2104295 | 295932 | 86713 6 | 2173 | 5988 742.68/742.82 c 740s | 18 | 2106264 | 296252 | 86713 6 | 2173 | 5988 744.98/745.17 c 742s | 18 | 2113859 | 297052 | 86713 6 | 2173 | 5988 746.98/747.18 c 744s | 18 | 2117198 | 297752 | 86713 6 | 2173 | 5988 749.09/749.26 c 746s | 18 | 2121408 | 298552 | 86713 6 | 2173 | 5988 751.18/751.31 c 748s | 18 | 2129132 | 299552 | 86713 6 | 2173 | 5988 753.28/753.44 c 750s | 18 | 2138251 | 300852 | 86713 6 | 2173 | 5988 755.38/755.53 c 753s | 18 | 2144644 | 301952 | 86713 6 | 2173 | 5988 757.48/757.62 c 755s | 18 | 2150618 | 302852 | 86713 6 | 2173 | 5988 759.47/759.69 c 757s | 18 | 2155966 | 303852 | 86713 6 | 2173 | 5988 761.67/761.84 c 759s | 18 | 2161972 | 304852 | 86713 6 | 2173 | 5988 763.77/763.99 c 761s | 18 | 2165730 | 305652 | 86713 6 | 2173 | 5988 765.97/766.11 c 763s | 18 | 2169713 | 306352 | 86713 6 | 2173 | 5988 768.17/768.30 c 765s | 18 | 2175366 | 307152 | 86713 6 | 2173 | 5988 770.17/770.33 c 767s | 18 | 2180266 | 307952 | 86713 6 | 2173 | 5988 772.27/772.49 c 770s | 18 | 2185063 | 308852 | 86713 6 | 2173 | 5988 774.27/774.50 c 772s | 18 | 2191420 | 309752 | 86713 6 | 2173 | 5988 776.47/776.61 c 774s | 18 | 2196638 | 310652 | 86713 6 | 2173 | 5988 778.77/778.96 c 776s | 18 | 2200992 | 311552 | 86713 6 | 2173 | 5988 781.06/781.24 c 778s | 18 | 2205158 | 312152 | 86713 6 | 2173 | 5988 783.17/783.39 c 780s | 18 | 2209476 | 313052 | 86713 6 | 2173 | 5988 785.27/785.41 c 782s | 18 | 2212728 | 313952 | 86713 6 | 2173 | 5988 787.97/788.18 c 785s | 18 | 2216388 | 314352 | 86713 6 | 2173 | 5988 790.16/790.33 c 787s | 18 | 2222200 | 314952 | 86713 6 | 2173 | 5988 792.56/792.77 c 790s | 18 | 2225596 | 315652 | 86713 6 | 2173 | 5988 794.66/794.87 c 792s | 18 | 2231797 | 316452 | 86713 6 | 2173 | 5988 796.76/796.98 c 794s | 18 | 2237690 | 317452 | 86713 6 | 2173 | 5988 798.96/799.17 c 796s | 18 | 2241713 | 318252 | 86713 6 | 2173 | 5988 801.06/801.29 c 798s | 18 | 2244820 | 318752 | 86713 6 | 2173 | 5988 803.56/803.78 c 801s | 18 | 2248304 | 319352 | 86713 6 | 2173 | 5988 805.56/805.79 c 803s | 18 | 2250659 | 319852 | 86713 6 | 2173 | 5988 807.76/807.93 c 805s | 18 | 2254624 | 320452 | 86713 6 | 2173 | 5988 809.85/810.04 c 807s | 18 | 2259133 | 320952 | 86713 6 | 2173 | 5988 812.15/812.35 c 809s | 18 | 2264048 | 321652 | 86713 6 | 2173 | 5988 814.15/814.39 c 811s | 18 | 2267240 | 322252 | 86713 6 | 2173 | 5988 816.55/816.79 c 814s | 18 | 2271009 | 322852 | 86713 6 | 2173 | 5988 818.95/819.19 c 816s | 18 | 2274232 | 323352 | 86713 6 | 2173 | 5988 821.35/821.54 c 819s | 18 | 2278814 | 324052 | 86713 6 | 2173 | 5988 823.35/823.55 c 821s | 18 | 2282955 | 324552 | 86713 6 | 2173 | 5988 825.66/825.85 c 823s | 18 | 2288798 | 325252 | 86713 6 | 2173 | 5988 827.76/827.93 c 825s | 18 | 2291072 | 325752 | 86713 6 | 2173 | 5988 829.86/830.06 c 827s | 18 | 2295070 | 326352 | 86713 6 | 2173 | 5988 831.96/832.16 c 829s | 18 | 2298645 | 326952 | 86713 6 | 2173 | 5988 834.06/834.28 c 831s | 18 | 2303886 | 327852 | 86713 6 | 2173 | 5988 836.26/836.48 c 833s | 18 | 2310325 | 328952 | 86713 6 | 2173 | 5988 838.65/838.82 c 836s | 18 | 2317041 | 329952 | 86713 6 | 2173 | 5988 840.65/840.85 c 838s | 18 | 2319153 | 330452 | 86713 6 | 2173 | 5988 842.75/842.97 c 840s | 18 | 2322120 | 330952 | 86713 6 | 2173 | 5988 845.05/845.26 c 842s | 18 | 2325420 | 331452 | 86713 6 | 2173 | 5988 847.35/847.56 c 845s | 18 | 2327677 | 331952 | 86713 6 | 2173 | 5988 849.55/849.79 c 847s | 18 | 2329984 | 332552 | 86713 6 | 2173 | 5988 851.65/851.89 c 849s | 18 | 2333619 | 333252 | 86713 6 | 2173 | 5988 853.85/854.02 c 851s | 18 | 2335621 | 333552 | 86713 6 | 2173 | 5988 855.95/856.11 c 853s | 18 | 2339555 | 334252 | 86713 6 | 2173 | 5988 857.95/858.16 c 855s | 18 | 2341908 | 334752 | 86713 6 | 2173 | 5988 860.25/860.42 c 857s | 18 | 2344510 | 335352 | 86713 6 | 2173 | 5988 862.54/862.72 c 860s | 18 | 2347108 | 335952 | 86713 6 | 2173 | 5988 864.64/864.82 c 862s | 18 | 2349295 | 336452 | 86713 6 | 2173 | 5988 866.65/866.85 c 864s | 18 | 2351034 | 336952 | 86713 6 | 2173 | 5988 868.74/868.99 c 866s | 18 | 2353294 | 337452 | 86713 6 | 2173 | 5988 870.84/871.00 c 868s | 18 | 2355311 | 337952 | 86713 6 | 2173 | 5988 872.84/873.09 c 870s | 18 | 2357345 | 338552 | 86713 7 | 2173 | 5988 875.04/875.22 c 872s | 18 | 2360952 | 339152 | 86713 7 | 2173 | 5988 877.24/877.46 c 874s | 18 | 2365739 | 340152 | 86713 7 | 2173 | 5988 879.34/879.54 c 877s | 18 | 2368531 | 340852 | 86713 7 | 2173 | 5988 881.54/881.72 c 879s | 18 | 2373369 | 341752 | 86713 7 | 2173 | 5988 883.74/883.97 c 881s | 18 | 2377641 | 342552 | 86713 7 | 2173 | 5988 885.94/886.12 c 883s | 18 | 2381921 | 343452 | 86713 7 | 2173 | 5988 888.14/888.39 c 885s | 18 | 2386928 | 344252 | 86713 7 | 2173 | 5988 890.64/890.82 c 888s | 18 | 2391147 | 345052 | 86713 7 | 2173 | 5988 892.74/892.94 c 890s | 18 | 2400386 | 346352 | 86713 7 | 2173 | 5988 894.74/894.97 c 892s | 18 | 2407354 | 347752 | 86713 7 | 2173 | 5988 896.84/897.01 c 894s | 18 | 2419386 | 349352 | 86713 7 | 2173 | 5988 899.04/899.21 c 896s | 18 | 2424508 | 350652 | 86713 7 | 2173 | 5988 901.13/901.33 c 898s | 18 | 2432448 | 351752 | 86713 7 | 2173 | 5988 903.33/903.55 c 901s | 18 | 2440683 | 353252 | 86713 7 | 2173 | 5988 905.53/905.75 c 903s | 18 | 2443968 | 353852 | 86713 7 | 2173 | 5988 907.73/907.98 c 905s | 18 | 2446630 | 354352 | 86713 7 | 2173 | 5988 909.83/910.07 c 907s | 18 | 2450483 | 355052 | 86713 7 | 2173 | 5988 912.23/912.40 c 909s | 18 | 2454965 | 355752 | 86713 7 | 2173 | 5988 914.43/914.61 c 912s | 18 | 2457753 | 356252 | 86713 7 | 2173 | 5988 916.83/917.01 c 914s | 18 | 2462645 | 356852 | 86713 7 | 2173 | 5988 918.93/919.15 c 916s | 18 | 2464840 | 357452 | 86713 7 | 2173 | 5988 921.03/921.28 c 918s | 18 | 2467910 | 358152 | 86713 7 | 2173 | 5988 923.43/923.68 c 921s | 18 | 2472282 | 358752 | 86713 7 | 2173 | 5988 926.03/926.25 c 923s | 18 | 2477744 | 359452 | 86713 7 | 2173 | 5988 928.13/928.38 c 925s | 18 | 2485077 | 360152 | 86713 7 | 2173 | 5988 930.33/930.59 c 928s | 18 | 2488012 | 360852 | 86713 7 | 2173 | 5988 932.52/932.73 c 930s | 18 | 2493335 | 361552 | 86713 7 | 2173 | 5988 934.52/934.73 c 932s | 18 | 2497187 | 362152 | 86713 7 | 2173 | 5988 936.62/936.86 c 934s | 18 | 2500503 | 362752 | 86713 7 | 2173 | 5988 938.82/939.10 c 936s | 18 | 2503536 | 363152 | 86713 7 | 2173 | 5988 941.02/941.20 c 938s | 18 | 2507749 | 363652 | 86713 7 | 2173 | 5988 943.12/943.34 c 940s | 18 | 2510487 | 364152 | 86713 7 | 2173 | 5988 945.52/945.79 c 943s | 18 | 2514449 | 364752 | 86713 7 | 2173 | 5988 947.92/948.19 c 945s | 18 | 2517972 | 365252 | 86713 7 | 2173 | 5988 950.12/950.33 c 947s | 18 | 2522498 | 365752 | 86713 7 | 2173 | 5988 952.12/952.33 c 949s | 18 | 2527368 | 366252 | 86713 7 | 2173 | 5988 954.22/954.46 c 951s | 18 | 2530240 | 366752 | 86713 7 | 2173 | 5988 956.72/956.94 c 954s | 18 | 2533995 | 367252 | 86713 7 | 2173 | 5988 959.03/959.27 c 956s | 18 | 2536565 | 367652 | 86713 7 | 2173 | 5988 961.12/961.40 c 958s | 18 | 2539147 | 368152 | 86713 7 | 2173 | 5988 963.22/963.47 c 960s | 18 | 2542921 | 368752 | 86713 7 | 2173 | 5988 965.42/965.61 c 963s | 18 | 2546521 | 369352 | 86713 7 | 2173 | 5988 967.42/967.62 c 965s | 18 | 2550302 | 369852 | 86713 7 | 2173 | 5988 969.72/969.90 c 967s | 18 | 2554082 | 370352 | 86713 7 | 2173 | 5988 971.91/972.15 c 969s | 18 | 2557469 | 370852 | 86713 7 | 2173 | 5988 974.21/974.46 c 971s | 18 | 2561177 | 371352 | 86713 7 | 2173 | 5988 976.72/976.97 c 974s | 18 | 2564098 | 371852 | 86713 7 | 2173 | 5988 979.01/979.26 c 976s | 18 | 2568729 | 372452 | 86713 7 | 2173 | 5988 981.41/981.65 c 979s | 18 | 2571570 | 372952 | 86713 7 | 2173 | 5988 983.51/983.79 c 981s | 18 | 2575378 | 373552 | 86713 7 | 2173 | 5988 985.71/985.97 c 983s | 18 | 2579201 | 374252 | 86713 7 | 2173 | 5988 987.91/988.16 c 985s | 18 | 2582372 | 374752 | 86713 7 | 2173 | 5988 990.01/990.25 c 987s | 18 | 2586391 | 375252 | 86713 7 | 2173 | 5988 992.11/992.31 c 989s | 18 | 2588586 | 375652 | 86713 7 | 2173 | 5988 994.11/994.36 c 991s | 18 | 2593801 | 376552 | 86713 7 | 2173 | 5988 996.41/996.61 c 994s | 18 | 2598996 | 377352 | 86713 7 | 2173 | 5988 998.51/998.70 c 996s | 18 | 2606180 | 378452 | 86713 7 | 2173 | 5988 1000.61/1000.82 c 998s | 18 | 2611982 | 379252 | 86713 7 | 2173 | 5988 1002.71/1002.91 c 1000s | 18 | 2614764 | 379852 | 86713 7 | 2173 | 5988 1004.90/1005.10 c 1002s | 18 | 2617550 | 380352 | 86713 7 | 2173 | 5988 1007.00/1007.28 c 1004s | 18 | 2620651 | 380752 | 86713 7 | 2173 | 5988 1009.50/1009.70 c 1007s | 18 | 2622698 | 381152 | 86713 7 | 2173 | 5988 1011.60/1011.83 c 1009s | 18 | 2627522 | 381752 | 86713 7 | 2173 | 5988 1013.90/1014.12 c 1011s | 18 | 2630918 | 382352 | 86713 7 | 2173 | 5988 1015.90/1016.14 c 1013s | 18 | 2633642 | 382752 | 86713 7 | 2173 | 5988 1018.30/1018.56 c 1016s | 18 | 2637713 | 383152 | 86713 7 | 2173 | 5988 1020.71/1020.93 c 1018s | 18 | 2639874 | 383752 | 86713 7 | 2173 | 5988 1022.70/1022.94 c 1020s | 18 | 2642793 | 384152 | 86713 7 | 2173 | 5988 1024.91/1025.20 c 1022s | 18 | 2645483 | 384552 | 86713 7 | 2173 | 5988 1027.01/1027.26 c 1024s | 18 | 2647165 | 384952 | 86713 7 | 2173 | 5988 1029.21/1029.48 c 1026s | 18 | 2648480 | 385352 | 86713 7 | 2173 | 5988 1031.30/1031.59 c 1029s | 18 | 2650242 | 385752 | 86713 7 | 2173 | 5988 1033.70/1033.95 c 1031s | 18 | 2654314 | 386152 | 86713 7 | 2173 | 5988 1036.20/1036.42 c 1033s | 18 | 2656915 | 386552 | 86713 8 | 2173 | 5988 1038.40/1038.63 c 1036s | 18 | 2659336 | 386952 | 86713 8 | 2173 | 5988 1040.51/1040.73 c 1038s | 18 | 2663903 | 387752 | 86713 8 | 2173 | 5988 1042.49/1042.78 c 1040s | 18 | 2666062 | 388152 | 86713 8 | 2173 | 5988 1044.69/1044.98 c 1042s | 18 | 2673719 | 389152 | 86713 8 | 2173 | 5988 1047.00/1047.21 c 1044s | 18 | 2678317 | 390152 | 86713 8 | 2173 | 5988 1048.99/1049.26 c 1046s | 18 | 2684364 | 391052 | 86713 8 | 2173 | 5988 1050.98/1051.27 c 1048s | 18 | 2690871 | 392052 | 86713 8 | 2173 | 5988 1053.08/1053.32 c 1050s | 18 | 2696637 | 393152 | 86713 8 | 2173 | 5988 1055.08/1055.38 c 1052s | 18 | 2701765 | 394152 | 86713 8 | 2173 | 5988 1057.28/1057.57 c 1055s | 18 | 2706282 | 395152 | 86713 8 | 2173 | 5988 1069.69/1069.91 c 1067s | 18 | 2707062 | 395352 | 86713 8 | 2173 | 5988 1071.78/1072.02 c 1069s | 18 | 2712397 | 396052 | 86713 8 | 2173 | 5988 1073.98/1074.22 c 1071s | 18 | 2719567 | 396952 | 86713 8 | 2173 | 5988 1075.98/1076.25 c 1073s | 18 | 2725056 | 397752 | 86713 8 | 2173 | 5988 1077.98/1078.28 c 1075s | 18 | 2730857 | 398552 | 86713 8 | 2173 | 5988 1080.28/1080.54 c 1078s | 18 | 2736066 | 399252 | 86713 8 | 2173 | 5988 1082.37/1082.68 c 1080s | 18 | 2739431 | 399952 | 86713 8 | 2173 | 5988 1084.48/1084.79 c 1082s | 18 | 2745198 | 400752 | 86713 8 | 2173 | 5988 1086.58/1086.82 c 1084s | 18 | 2750034 | 401452 | 86713 8 | 2173 | 5988 1088.67/1088.90 c 1086s | 18 | 2752721 | 402352 | 86713 8 | 2173 | 5988 1090.77/1091.02 c 1088s | 18 | 2757378 | 403052 | 86713 8 | 2173 | 5988 1092.87/1093.11 c 1090s | 18 | 2761780 | 403752 | 86713 8 | 2173 | 5988 1094.97/1095.20 c 1092s | 18 | 2766062 | 404452 | 86713 8 | 2173 | 5988 1097.17/1097.43 c 1094s | 18 | 2769351 | 405052 | 86713 8 | 2173 | 5988 1099.27/1099.55 c 1097s | 18 | 2774594 | 405752 | 86713 8 | 2173 | 5988 1102.16/1102.41 c 1099s | 18 | 2779441 | 406452 | 86713 8 | 2173 | 5988 1104.36/1104.67 c 1102s | 18 | 2784206 | 407152 | 86713 8 | 2173 | 5988 1106.66/1106.98 c 1104s | 18 | 2788025 | 407852 | 86713 8 | 2173 | 5988 1108.76/1109.02 c 1106s | 18 | 2791616 | 408452 | 86713 8 | 2173 | 5988 1110.87/1111.11 c 1108s | 18 | 2794524 | 409052 | 86713 8 | 2173 | 5988 1112.86/1113.13 c 1110s | 18 | 2798764 | 409652 | 86713 8 | 2173 | 5988 1115.06/1115.30 c 1112s | 18 | 2802583 | 410252 | 86713 8 | 2173 | 5988 1117.16/1117.43 c 1114s | 18 | 2805956 | 410852 | 86713 8 | 2173 | 5988 1119.36/1119.66 c 1117s | 18 | 2808750 | 411452 | 86713 8 | 2173 | 5988 1121.45/1121.70 c 1119s | 18 | 2812038 | 411952 | 86713 8 | 2173 | 5988 1123.55/1123.83 c 1121s | 18 | 2816165 | 412652 | 86713 8 | 2173 | 5988 1125.65/1125.91 c 1123s | 18 | 2821454 | 413352 | 86713 8 | 2173 | 5988 1127.75/1128.02 c 1125s | 18 | 2825907 | 414152 | 86713 8 | 2173 | 5988 1129.95/1130.25 c 1127s | 18 | 2832935 | 414952 | 86713 8 | 2173 | 5988 1132.05/1132.34 c 1129s | 18 | 2838516 | 415652 | 86713 8 | 2173 | 5988 1134.25/1134.57 c 1132s | 18 | 2842997 | 416452 | 86713 8 | 2173 | 5988 1136.35/1136.69 c 1134s | 18 | 2847783 | 417252 | 86713 8 | 2173 | 5988 1138.55/1138.89 c 1136s | 18 | 2852365 | 417952 | 86713 8 | 2173 | 5988 1140.75/1141.07 c 1138s | 18 | 2858479 | 418652 | 86713 8 | 2173 | 5988 1143.05/1143.31 c 1140s | 18 | 2862953 | 419352 | 86713 8 | 2173 | 5988 1145.25/1145.51 c 1143s | 18 | 2866233 | 419952 | 86713 8 | 2173 | 5988 1147.25/1147.57 c 1145s | 18 | 2869954 | 420552 | 86713 8 | 2173 | 5988 1149.45/1149.72 c 1147s | 18 | 2875456 | 421252 | 86713 8 | 2173 | 5988 1151.45/1151.79 c 1149s | 18 | 2878347 | 421852 | 86713 8 | 2173 | 5988 1153.75/1154.03 c 1151s | 18 | 2881849 | 422452 | 86713 8 | 2173 | 5988 1156.05/1156.30 c 1153s | 18 | 2885685 | 423052 | 86713 8 | 2173 | 5988 1158.25/1158.54 c 1156s | 18 | 2890187 | 423552 | 86713 8 | 2173 | 5988 1160.35/1160.68 c 1158s | 18 | 2894338 | 424052 | 86713 8 | 2173 | 5988 1162.74/1163.01 c 1160s | 18 | 2898049 | 424552 | 86713 8 | 2173 | 5988 1165.14/1165.41 c 1162s | 18 | 2902576 | 425052 | 86713 8 | 2173 | 5988 1167.44/1167.75 c 1165s | 18 | 2905262 | 425552 | 86713 8 | 2173 | 5988 1169.84/1170.19 c 1167s | 18 | 2908744 | 426052 | 86713 8 | 2173 | 5988 1172.84/1173.11 c 1170s | 18 | 2910762 | 426352 | 86713 8 | 2173 | 5988 1175.04/1175.34 c 1172s | 18 | 2916678 | 426952 | 86713 8 | 2173 | 5988 1177.24/1177.54 c 1175s | 18 | 2920511 | 427552 | 86713 8 | 2173 | 5988 1179.74/1180.01 c 1177s | 18 | 2924481 | 428052 | 86713 8 | 2173 | 5988 1181.73/1182.05 c 1179s | 18 | 2930164 | 428452 | 86713 8 | 2173 | 5988 1184.13/1184.48 c 1181s | 18 | 2934992 | 428952 | 86713 8 | 2173 | 5988 1186.53/1186.85 c 1184s | 18 | 2939309 | 429452 | 86713 8 | 2173 | 5988 1188.84/1189.13 c 1186s | 18 | 2941368 | 429852 | 86713 8 | 2173 | 5988 1190.93/1191.29 c 1188s | 18 | 2943072 | 430252 | 86713 8 | 2173 | 5988 1193.03/1193.35 c 1190s | 18 | 2944124 | 430652 | 86713 8 | 2173 | 5988 1195.23/1195.59 c 1193s | 18 | 2945210 | 431052 | 86713 8 | 2173 | 5988 1197.43/1197.72 c 1195s | 18 | 2946208 | 431452 | 86713 8 | 2173 | 5988 1199.94/1200.22 c 1197s | 18 | 2947705 | 431952 | 86713 8 | 2173 | 5988 1202.33/1202.69 c 1200s | 18 | 2952687 | 432452 | 86713 8 | 2173 | 5988 1204.53/1204.89 c 1202s | 18 | 2957680 | 432952 | 86713 8 | 2173 | 5988 1206.93/1207.20 c 1204s | 18 | 2961268 | 433452 | 86713 8 | 2173 | 5988 1209.03/1209.34 c 1206s | 18 | 2965101 | 433852 | 86713 8 | 2173 | 5988 1211.13/1211.46 c 1208s | 18 | 2969377 | 434352 | 86713 8 | 2173 | 5988 1213.13/1213.48 c 1210s | 18 | 2974626 | 434952 | 86713 9 | 2173 | 5988 1215.23/1215.57 c 1213s | 18 | 2980822 | 435852 | 86713 9 | 2173 | 5988 1217.43/1217.77 c 1215s | 18 | 2985939 | 436552 | 86713 9 | 2173 | 5988 1219.73/1220.09 c 1217s | 18 | 2988185 | 436752 | 86713 9 | 2173 | 5988 1221.82/1222.19 c 1219s | 18 | 2995549 | 437552 | 86713 9 | 2173 | 5988 1223.82/1224.19 c 1221s | 18 | 3001674 | 438352 | 86713 9 | 2173 | 5988 1226.11/1226.42 c 1223s | 18 | 3005181 | 439252 | 86713 9 | 2173 | 5988 1228.21/1228.58 c 1226s | 18 | 3008313 | 439852 | 86713 9 | 2173 | 5988 1230.41/1230.70 c 1228s | 18 | 3013698 | 440352 | 86713 9 | 2173 | 5988 1232.51/1232.80 c 1230s | 18 | 3021802 | 441052 | 95385 9 | 2173 | 5988 1234.71/1235.04 c 1232s | 18 | 3029699 | 441852 | 95385 9 | 2173 | 5988 1236.91/1237.24 c 1234s | 18 | 3032757 | 442452 | 95385 9 | 2173 | 5988 1239.11/1239.42 c 1236s | 18 | 3035077 | 443052 | 95385 9 | 2173 | 5988 1241.21/1241.54 c 1239s | 18 | 3041102 | 443652 | 95385 9 | 2173 | 5988 1243.22/1243.55 c 1241s | 18 | 3046109 | 444252 | 95385 9 | 2173 | 5988 1243.82/1244.12 c 1241s | 19 | 3048751 | 444482 | 95385 9 | 2173 | 5988 1245.91/1246.21 c 1243s | 19 | 3060887 | 445282 | 95385 9 | 2173 | 5988 1247.91/1248.28 c 1245s | 19 | 3067008 | 445982 | 95385 9 | 2173 | 5988 1249.91/1250.28 c 1247s | 19 | 3071738 | 446782 | 95385 9 | 2173 | 5988 1252.21/1252.59 c 1250s | 19 | 3074974 | 447582 | 95385 9 | 2173 | 5988 1254.41/1254.76 c 1252s | 19 | 3080676 | 448182 | 95385 9 | 2173 | 5988 1256.61/1256.91 c 1254s | 19 | 3089971 | 449282 | 95385 9 | 2173 | 5988 1258.61/1258.96 c 1256s | 19 | 3098166 | 450182 | 95385 9 | 2173 | 5988 1260.81/1261.14 c 1258s | 19 | 3107135 | 451182 | 95385 9 | 2173 | 5988 1262.90/1263.25 c 1260s | 19 | 3113214 | 451982 | 95385 9 | 2173 | 5988 1265.10/1265.44 c 1262s | 19 | 3117175 | 452682 | 95385 9 | 2173 | 5988 1267.20/1267.59 c 1265s | 19 | 3125831 | 453582 | 95385 9 | 2173 | 5988 1269.40/1269.78 c 1267s | 19 | 3132010 | 454482 | 95385 9 | 2173 | 5988 1271.60/1271.92 c 1269s | 19 | 3140516 | 455382 | 95385 9 | 2173 | 5988 1273.80/1274.12 c 1271s | 19 | 3147647 | 456182 | 95385 9 | 2173 | 5988 1275.81/1276.17 c 1273s | 19 | 3152889 | 456882 | 95385 9 | 2173 | 5988 1278.00/1278.34 c 1275s | 19 | 3158390 | 457682 | 95385 9 | 2173 | 5988 1293.10/1293.46 c 1290s | 19 | 3161552 | 458082 | 95385 9 | 2173 | 5988 1295.30/1295.61 c 1293s | 19 | 3169557 | 459182 | 95385 9 | 2173 | 5988 1297.40/1297.75 c 1295s | 19 | 3174961 | 459882 | 95385 9 | 2173 | 5988 1299.60/1299.90 c 1297s | 19 | 3178937 | 460482 | 95385 9 | 2173 | 5988 1301.60/1301.94 c 1299s | 19 | 3181012 | 460982 | 95385 9 | 2173 | 5988 1303.60/1303.94 c 1301s | 19 | 3185656 | 461682 | 95385 9 | 2173 | 5988 1305.60/1305.99 c 1303s | 19 | 3192692 | 462382 | 95385 9 | 2173 | 5988 1307.80/1308.16 c 1305s | 19 | 3198704 | 463082 | 95385 9 | 2173 | 5988 1310.09/1310.41 c 1307s | 19 | 3204832 | 463882 | 95385 9 | 2173 | 5988 1312.29/1312.61 c 1310s | 19 | 3209058 | 464482 | 95385 9 | 2173 | 5988 1314.39/1314.79 c 1312s | 19 | 3213721 | 465182 | 95385 9 | 2173 | 5988 1316.50/1316.82 c 1314s | 19 | 3221039 | 466082 | 95385 9 | 2173 | 5988 1318.49/1318.90 c 1316s | 19 | 3227240 | 466982 | 95385 9 | 2173 | 5988 1320.80/1321.15 c 1318s | 19 | 3233893 | 467882 | 95385 9 | 2173 | 5988 1322.88/1323.28 c 1320s | 19 | 3239980 | 468782 | 95385 9 | 2173 | 5988 1324.98/1325.38 c 1322s | 19 | 3244426 | 469682 | 95385 9 | 2173 | 5988 1327.08/1327.45 c 1324s | 19 | 3250468 | 470482 | 95385 9 | 2173 | 5988 1329.28/1329.60 c 1327s | 19 | 3258529 | 471582 | 95385 9 | 2173 | 5988 1331.38/1331.73 c 1329s | 19 | 3268024 | 473082 | 95385 9 | 2173 | 5988 1333.38/1333.76 c 1331s | 19 | 3275985 | 474382 | 95385 9 | 2173 | 5988 1335.48/1335.84 c 1333s | 19 | 3283087 | 475682 | 95385 9 | 2173 | 5988 1337.58/1337.93 c 1335s | 19 | 3292591 | 476982 | 95385 9 | 2173 | 5988 1339.68/1340.05 c 1337s | 19 | 3302034 | 478382 | 95385 9 | 2173 | 5988 1341.78/1342.18 c 1339s | 19 | 3307965 | 479282 | 95385 9 | 2173 | 5988 1344.07/1344.45 c 1341s | 19 | 3313422 | 479982 | 95385 9 | 2173 | 5988 1346.08/1346.49 c 1344s | 19 | 3321654 | 480982 | 95385 9 | 2173 | 5988 1348.28/1348.63 c 1346s | 19 | 3327654 | 481782 | 95385 9 | 2173 | 5988 1350.27/1350.66 c 1348s | 19 | 3331974 | 482582 | 95385 9 | 2173 | 5988 1352.37/1352.73 c 1350s | 19 | 3333991 | 483382 | 95385 9 | 2173 | 5988 1354.47/1354.85 c 1352s | 19 | 3336804 | 484282 | 95385 9 | 2173 | 5988 1356.57/1356.92 c 1354s | 19 | 3341742 | 484882 | 95385 9 | 2173 | 5988 1358.77/1359.14 c 1356s | 19 | 3349158 | 485782 | 95385 9 | 2173 | 5988 1360.97/1361.34 c 1358s | 19 | 3355659 | 486682 | 95385 9 | 2173 | 5988 1363.17/1363.59 c 1361s | 19 | 3360344 | 487482 | 95385 9 | 2173 | 5988 1365.26/1365.69 c 1363s | 19 | 3365978 | 488182 | 95385 9 | 2173 | 5988 1367.36/1367.74 c 1365s | 19 | 3370996 | 488882 | 95385 9 | 2173 | 5988 1369.56/1369.95 c 1367s | 19 | 3376840 | 489582 | 95385 9 | 2173 | 5988 1371.86/1372.20 c 1369s | 19 | 3380715 | 490382 | 95385 9 | 2173 | 5988 1373.96/1374.37 c 1371s | 19 | 3386171 | 491082 | 95385 9 | 2173 | 5988 1376.37/1376.77 c 1374s | 19 | 3389743 | 491582 | 95385 10 | 2173 | 5988 1378.46/1378.81 c 1376s | 19 | 3395943 | 492782 | 95385 10 | 2173 | 5988 1380.67/1381.00 c 1378s | 19 | 3401517 | 493782 | 95385 10 | 2173 | 5988 1382.67/1383.00 c 1380s | 19 | 3404862 | 494182 | 95385 10 | 2173 | 5988 1384.67/1385.04 c 1382s | 19 | 3408523 | 494682 | 95385 10 | 2173 | 5988 1386.97/1387.33 c 1384s | 19 | 3412037 | 495182 | 95385 10 | 2173 | 5988 1389.27/1389.69 c 1387s | 19 | 3417581 | 495782 | 95385 10 | 2173 | 5988 1391.67/1392.02 c 1389s | 19 | 3423204 | 496382 | 95385 10 | 2173 | 5988 1394.07/1394.44 c 1391s | 19 | 3428663 | 496982 | 95385 10 | 2173 | 5988 1396.17/1396.56 c 1394s | 19 | 3432539 | 497482 | 95385 10 | 2173 | 5988 1398.37/1398.71 c 1396s | 19 | 3438086 | 498182 | 95385 10 | 2173 | 5988 1400.46/1400.85 c 1398s | 19 | 3442601 | 498982 | 95385 10 | 2173 | 5988 1402.76/1403.19 c 1400s | 19 | 3445640 | 499682 | 95385 10 | 2173 | 5988 1404.86/1405.23 c 1402s | 19 | 3454581 | 500682 | 95385 10 | 2173 | 5988 1407.16/1407.50 c 1405s | 19 | 3459121 | 501582 | 95385 10 | 2173 | 5988 1409.36/1409.74 c 1407s | 19 | 3466341 | 502682 | 95385 10 | 2173 | 5988 1411.66/1412.01 c 1409s | 19 | 3470149 | 503482 | 95385 10 | 2173 | 5988 1413.66/1414.05 c 1411s | 19 | 3475459 | 504282 | 95385 10 | 2173 | 5988 1415.86/1416.28 c 1413s | 19 | 3479751 | 504882 | 95385 10 | 2173 | 5988 1417.96/1418.34 c 1415s | 19 | 3483562 | 505382 | 95385 10 | 2173 | 5988 1420.06/1420.45 c 1417s | 19 | 3487656 | 505982 | 95385 10 | 2173 | 5988 1422.36/1422.72 c 1420s | 19 | 3492173 | 506782 | 95385 10 | 2173 | 5988 1424.36/1424.76 c 1422s | 19 | 3496505 | 507482 | 95385 10 | 2173 | 5988 1426.65/1427.03 c 1424s | 19 | 3504435 | 508482 | 95385 10 | 2173 | 5988 1428.66/1429.09 c 1426s | 19 | 3509072 | 509282 | 95385 10 | 2173 | 5988 1430.95/1431.39 c 1428s | 19 | 3514049 | 509982 | 95385 10 | 2173 | 5988 1433.35/1433.70 c 1431s | 19 | 3518738 | 510582 | 95385 10 | 2173 | 5988 1435.45/1435.87 c 1433s | 19 | 3522021 | 511282 | 95385 10 | 2173 | 5988 1437.56/1437.94 c 1435s | 19 | 3526436 | 511882 | 95385 10 | 2173 | 5988 1439.86/1440.25 c 1437s | 19 | 3529391 | 512482 | 95385 10 | 2173 | 5988 1442.26/1442.63 c 1440s | 19 | 3532350 | 513182 | 95385 10 | 2173 | 5988 1444.26/1444.67 c 1442s | 19 | 3537512 | 513782 | 95385 10 | 2173 | 5988 1446.46/1446.87 c 1444s | 19 | 3542605 | 514682 | 95385 10 | 2173 | 5988 1448.76/1449.10 c 1446s | 19 | 3548016 | 515382 | 95385 10 | 2173 | 5988 1450.76/1451.15 c 1448s | 19 | 3551400 | 515982 | 95385 10 | 2173 | 5988 1453.06/1453.40 c 1450s | 19 | 3557196 | 516782 | 95385 10 | 2173 | 5988 1454.97/1455.40 c 1452s | 19 | 3560674 | 517382 | 95385 10 | 2173 | 5988 1457.06/1457.43 c 1454s | 19 | 3563769 | 517882 | 95385 10 | 2173 | 5988 1459.36/1459.75 c 1457s | 19 | 3568128 | 518582 | 95385 10 | 2173 | 5988 1461.46/1461.81 c 1459s | 19 | 3571366 | 519182 | 95385 10 | 2173 | 5988 1463.76/1464.11 c 1461s | 19 | 3574242 | 519782 | 95385 10 | 2173 | 5988 1465.76/1466.13 c 1463s | 19 | 3577417 | 520482 | 95385 10 | 2173 | 5988 1468.16/1468.56 c 1466s | 19 | 3580731 | 521182 | 95385 10 | 2173 | 5988 1470.46/1470.80 c 1468s | 19 | 3583146 | 521782 | 95385 10 | 2173 | 5988 1472.66/1473.05 c 1470s | 19 | 3585612 | 522382 | 95385 10 | 2173 | 5988 1474.76/1475.11 c 1472s | 19 | 3588050 | 522982 | 95385 10 | 2173 | 5988 1477.15/1477.56 c 1475s | 19 | 3590317 | 523682 | 95385 10 | 2173 | 5988 1479.55/1479.94 c 1477s | 19 | 3593140 | 524182 | 95385 10 | 2173 | 5988 1481.75/1482.12 c 1479s | 19 | 3596419 | 524782 | 95385 10 | 2173 | 5988 1484.05/1484.49 c 1482s | 19 | 3599572 | 525282 | 95385 10 | 2173 | 5988 1486.25/1486.70 c 1484s | 19 | 3602374 | 525682 | 95385 10 | 2173 | 5988 1488.55/1488.95 c 1486s | 19 | 3604161 | 526082 | 95385 10 | 2173 | 5988 1490.75/1491.19 c 1488s | 19 | 3606813 | 526582 | 95385 10 | 2173 | 5988 1493.65/1494.06 c 1491s | 19 | 3609622 | 526982 | 95385 10 | 2173 | 5988 1496.15/1496.56 c 1494s | 19 | 3611968 | 527282 | 95385 10 | 2173 | 5988 1498.45/1498.89 c 1496s | 19 | 3615551 | 527782 | 95385 10 | 2173 | 5988 1500.95/1501.36 c 1498s | 19 | 3618594 | 528282 | 95385 10 | 2173 | 5988 1503.05/1503.41 c 1500s | 19 | 3620594 | 528582 | 95385 10 | 2173 | 5988 1505.15/1505.58 c 1503s | 19 | 3624878 | 529082 | 95385 10 | 2173 | 5988 1507.35/1507.78 c 1505s | 19 | 3626749 | 529482 | 95385 10 | 2173 | 5988 1509.75/1510.10 c 1507s | 19 | 3629517 | 529982 | 95385 10 | 2173 | 5988 1511.85/1512.29 c 1509s | 19 | 3633352 | 530482 | 95385 10 | 2173 | 5988 1514.15/1514.52 c 1512s | 19 | 3639540 | 531082 | 95385 10 | 2173 | 5988 1516.44/1516.86 c 1514s | 19 | 3642905 | 531582 | 95385 10 | 2173 | 5988 1518.75/1519.16 c 1516s | 19 | 3645154 | 532082 | 95385 10 | 2173 | 5988 1520.95/1521.34 c 1518s | 19 | 3647560 | 532582 | 95385 10 | 2173 | 5988 1523.25/1523.65 c 1521s | 19 | 3653503 | 533382 | 95385 10 | 2173 | 5988 1525.45/1525.81 c 1523s | 19 | 3656463 | 533882 | 95385 10 | 2173 | 5988 1527.94/1528.35 c 1525s | 19 | 3660529 | 534382 | 95385 10 | 2173 | 5988 1530.04/1530.41 c 1527s | 19 | 3664628 | 534982 | 95385 10 | 2173 | 5988 1532.24/1532.65 c 1530s | 19 | 3670640 | 535782 | 95385 10 | 2173 | 5988 1534.34/1534.70 c 1532s | 19 | 3675052 | 536382 | 95385 10 | 2173 | 5988 1536.35/1536.77 c 1534s | 19 | 3677628 | 536882 | 95385 10 | 2173 | 5988 1538.44/1538.82 c 1536s | 19 | 3679823 | 537282 | 95385 10 | 2173 | 5988 1540.44/1540.89 c 1538s | 19 | 3684338 | 537882 | 95385 10 | 2173 | 5988 1542.74/1543.13 c 1540s | 19 | 3688100 | 538482 | 95385 10 | 2173 | 5988 1545.15/1545.59 c 1543s | 19 | 3690607 | 538982 | 95385 10 | 2173 | 5988 1547.45/1547.89 c 1545s | 19 | 3694624 | 539482 | 95385 10 | 2173 | 5988 1549.64/1550.08 c 1547s | 19 | 3699389 | 540082 | 95385 10 | 2173 | 5988 1551.84/1552.23 c 1549s | 19 | 3703152 | 540482 | 95385 10 | 2173 | 5988 1553.94/1554.34 c 1551s | 19 | 3707400 | 541082 | 95385 10 | 2173 | 5988 1556.34/1556.78 c 1554s | 19 | 3711457 | 541682 | 95385 10 | 2173 | 5988 1558.84/1559.24 c 1556s | 19 | 3713816 | 542182 | 95385 10 | 2173 | 5988 1560.94/1561.36 c 1558s | 19 | 3715536 | 542582 | 95385 10 | 2173 | 5988 1563.23/1563.69 c 1561s | 19 | 3717878 | 543082 | 95385 10 | 2173 | 5988 1565.43/1565.81 c 1563s | 19 | 3721052 | 543582 | 95385 10 | 2173 | 5988 1567.63/1568.01 c 1565s | 19 | 3723871 | 543982 | 95385 11 | 2173 | 5988 1569.73/1570.13 c 1567s | 19 | 3727831 | 544782 | 95385 11 | 2173 | 5988 1571.83/1572.22 c 1569s | 19 | 3733280 | 545682 | 95385 11 | 2173 | 5988 1573.84/1574.29 c 1571s | 19 | 3738254 | 546682 | 95385 11 | 2173 | 5988 1576.04/1576.45 c 1573s | 19 | 3742530 | 547482 | 95385 11 | 2173 | 5988 1578.24/1578.61 c 1576s | 19 | 3750986 | 548582 | 95385 11 | 2173 | 5988 1582.04/1582.46 c 1579s | 19 | 3754394 | 549082 | 95385 11 | 2173 | 5988 1584.14/1584.56 c 1582s | 19 | 3759560 | 549882 | 95385 11 | 2173 | 5988 1590.24/1590.61 c 1588s | 19 | 3761841 | 550182 | 95385 11 | 2173 | 5988 1592.34/1592.79 c 1590s | 19 | 3767761 | 550982 | 95385 11 | 2173 | 5988 1594.44/1594.80 c 1592s | 19 | 3774625 | 551882 | 95385 11 | 2173 | 5988 1596.44/1596.89 c 1594s | 19 | 3783223 | 552882 | 95385 11 | 2173 | 5988 1598.54/1598.97 c 1596s | 19 | 3787181 | 553782 | 95385 11 | 2173 | 5988 1600.54/1600.99 c 1598s | 19 | 3792847 | 554482 | 95385 11 | 2173 | 5988 1602.83/1603.24 c 1600s | 19 | 3797636 | 555282 | 95385 11 | 2173 | 5988 1605.13/1605.55 c 1603s | 19 | 3802491 | 555982 | 95385 11 | 2173 | 5988 1607.23/1607.65 c 1605s | 19 | 3810205 | 556982 | 95385 11 | 2173 | 5988 1609.33/1609.79 c 1607s | 19 | 3815284 | 557782 | 95385 11 | 2173 | 5988 1611.43/1611.86 c 1609s | 19 | 3821223 | 558682 | 95385 11 | 2173 | 5988 1613.53/1613.96 c 1611s | 19 | 3826679 | 559482 | 95385 11 | 2173 | 5988 1615.54/1615.96 c 1613s | 19 | 3832510 | 560482 | 95385 11 | 2173 | 5988 1617.63/1618.02 c 1615s | 19 | 3840093 | 561282 | 95385 11 | 2173 | 5988 1619.63/1620.06 c 1617s | 19 | 3845288 | 562082 | 95385 11 | 2173 | 5988 1621.83/1622.28 c 1619s | 19 | 3851049 | 562982 | 95385 11 | 2173 | 5988 1623.93/1624.30 c 1621s | 19 | 3857562 | 563782 | 95385 11 | 2173 | 5988 1626.03/1626.45 c 1623s | 19 | 3861196 | 564482 | 95385 11 | 2173 | 5988 1628.23/1628.66 c 1626s | 19 | 3863550 | 565082 | 95385 11 | 2173 | 5988 1630.53/1630.91 c 1628s | 19 | 3869061 | 565882 | 95385 11 | 2173 | 5988 1632.83/1633.27 c 1630s | 19 | 3872285 | 566582 | 95385 11 | 2173 | 5988 1635.13/1635.53 c 1633s | 19 | 3876091 | 567282 | 95385 11 | 2173 | 5988 1637.23/1637.67 c 1635s | 19 | 3880168 | 567982 | 95385 11 | 2173 | 5988 1639.53/1639.90 c 1637s | 19 | 3885263 | 568582 | 95385 11 | 2173 | 5988 1641.93/1642.32 c 1639s | 19 | 3888770 | 569182 | 95385 11 | 2173 | 5988 1644.23/1644.61 c 1642s | 19 | 3892602 | 569682 | 95385 11 | 2173 | 5988 1646.22/1646.69 c 1644s | 19 | 3895859 | 570182 | 95385 11 | 2173 | 5988 1648.63/1649.04 c 1646s | 19 | 3898201 | 570782 | 95385 11 | 2173 | 5988 1650.83/1651.26 c 1648s | 19 | 3902758 | 571382 | 95385 11 | 2173 | 5988 1653.03/1653.42 c 1650s | 19 | 3905524 | 571982 | 95385 11 | 2173 | 5988 1655.42/1655.85 c 1653s | 19 | 3907747 | 572582 | 95385 11 | 2173 | 5988 1657.82/1658.22 c 1655s | 19 | 3910308 | 573082 | 95385 11 | 2173 | 5988 1659.92/1660.33 c 1657s | 19 | 3914886 | 573682 | 95385 11 | 2173 | 5988 1662.02/1662.46 c 1659s | 19 | 3918674 | 574182 | 95385 11 | 2173 | 5988 1664.12/1664.51 c 1662s | 19 | 3923349 | 574782 | 95385 11 | 2173 | 5988 1666.32/1666.70 c 1664s | 19 | 3926456 | 575382 | 95385 11 | 2173 | 5988 1668.43/1668.84 c 1666s | 19 | 3928808 | 575882 | 95385 11 | 2173 | 5988 1670.53/1670.97 c 1668s | 19 | 3930968 | 576382 | 95385 11 | 2173 | 5988 1672.73/1673.18 c 1670s | 19 | 3938171 | 577382 | 95385 11 | 2173 | 5988 1674.82/1675.20 c 1672s | 19 | 3944387 | 578382 | 95385 11 | 2173 | 5988 1676.82/1677.26 c 1674s | 19 | 3948487 | 579282 | 95385 11 | 2173 | 5988 1679.02/1679.47 c 1676s | 19 | 3953080 | 580082 | 95385 11 | 2173 | 5988 1681.42/1681.83 c 1679s | 19 | 3955491 | 580582 | 95385 11 | 2173 | 5988 1683.62/1684.07 c 1681s | 19 | 3959102 | 581182 | 95385 11 | 2173 | 5988 1686.32/1686.71 c 1684s | 19 | 3963333 | 581682 | 95385 11 | 2173 | 5988 1688.52/1688.97 c 1686s | 19 | 3966360 | 582182 | 95385 11 | 2173 | 5988 1690.62/1691.02 c 1688s | 19 | 3970012 | 582682 | 95385 11 | 2173 | 5988 1692.82/1693.25 c 1690s | 19 | 3974850 | 583482 | 95385 11 | 2173 | 5988 1694.92/1695.36 c 1692s | 19 | 3977207 | 584182 | 95385 11 | 2173 | 5988 1697.02/1697.46 c 1694s | 19 | 3980233 | 584582 | 95385 11 | 2173 | 5988 1699.12/1699.56 c 1697s | 19 | 3982939 | 584982 | 95385 11 | 2173 | 5988 1701.62/1702.02 c 1699s | 19 | 3985794 | 585482 | 95385 11 | 2173 | 5988 1704.22/1704.63 c 1702s | 19 | 3989682 | 585982 | 95385 11 | 2173 | 5988 1706.41/1706.80 c 1704s | 19 | 3991553 | 586382 | 95385 11 | 2173 | 5988 1708.61/1709.00 c 1706s | 19 | 3994064 | 586882 | 95385 11 | 2173 | 5988 1711.01/1711.44 c 1708s | 19 | 3997383 | 587482 | 95385 11 | 2173 | 5988 1713.11/1713.58 c 1711s | 19 | 3999812 | 587882 | 95385 11 | 2173 | 5988 1715.21/1715.62 c 1713s | 19 | 4002744 | 588482 | 95385 11 | 2173 | 5988 1717.61/1718.04 c 1715s | 19 | 4007035 | 589182 | 95385 11 | 2173 | 5988 1719.81/1720.20 c 1717s | 19 | 4009606 | 589582 | 95385 11 | 2173 | 5988 1722.01/1722.42 c 1719s | 19 | 4012244 | 590082 | 95385 11 | 2173 | 5988 1724.11/1724.57 c 1722s | 19 | 4014662 | 590582 | 95385 11 | 2173 | 5988 1726.31/1726.76 c 1724s | 19 | 4018250 | 591082 | 95385 11 | 2173 | 5988 1728.61/1729.08 c 1726s | 19 | 4020686 | 591682 | 95385 11 | 2173 | 5988 1730.71/1731.19 c 1728s | 19 | 4023724 | 592182 | 95385 11 | 2173 | 5988 1733.01/1733.42 c 1730s | 19 | 4026474 | 592582 | 95385 11 | 2173 | 5988 1735.42/1735.82 c 1733s | 19 | 4029305 | 593082 | 95385 11 | 2173 | 5988 1737.51/1737.98 c 1735s | 19 | 4031542 | 593582 | 95385 11 | 2173 | 5988 1739.82/1740.20 c 1737s | 19 | 4037717 | 594382 | 95385 11 | 2173 | 5988 1741.91/1742.38 c 1739s | 19 | 4042253 | 595082 | 95385 11 | 2173 | 5988 1744.22/1744.69 c 1742s | 19 | 4044866 | 595782 | 95385 11 | 2173 | 5988 1746.51/1746.99 c 1744s | 19 | 4047167 | 596282 | 95385 12 | 2173 | 5988 1749.01/1749.47 c 1746s | 19 | 4049365 | 596882 | 95385 12 | 2173 | 5988 1751.11/1751.53 c 1749s | 19 | 4053820 | 597482 | 95385 12 | 2173 | 5988 1753.31/1753.76 c 1751s | 19 | 4058667 | 598182 | 95385 12 | 2173 | 5988 1755.41/1755.85 c 1753s | 19 | 4065230 | 598882 | 95385 12 | 2173 | 5988 1757.41/1757.87 c 1755s | 19 | 4070533 | 599882 | 95385 12 | 2173 | 5988 1759.61/1760.10 c 1757s | 19 | 4077780 | 600682 | 95385 12 | 2173 | 5988 1761.71/1762.13 c 1759s | 19 | 4082765 | 601382 | 95385 12 | 2173 | 5988 1763.81/1764.26 c 1761s | 19 | 4087192 | 602082 | 95385 12 | 2173 | 5988 1766.01/1766.47 c 1763s | 19 | 4095499 | 602982 | 95385 12 | 2173 | 5988 1768.21/1768.68 c 1766s | 19 | 4102894 | 603982 | 95385 12 | 2173 | 5988 1770.51/1770.96 c 1768s | 19 | 4108439 | 604882 | 95385 12 | 2173 | 5988 1772.61/1773.07 c 1770s | 19 | 4113676 | 605682 | 95385 12 | 2173 | 5988 1774.81/1775.26 c 1772s | 19 | 4118873 | 606382 | 95385 12 | 2173 | 5988 1777.01/1777.48 c 1774s | 19 | 4124583 | 607082 | 95385 12 | 2173 | 5988 1779.31/1779.74 c 1777s | 19 | 4128966 | 607782 | 95385 12 | 2173 | 5988 1781.51/1781.95 c 1779s | 19 | 4134801 | 608582 | 95385 12 | 2173 | 5988 1783.71/1784.14 c 1781s | 19 | 4138531 | 609382 | 95385 12 | 2173 | 5988 1785.71/1786.16 c 1783s | 19 | 4141901 | 609982 | 95385 12 | 2173 | 5988 1787.91/1788.36 c 1785s | 19 | 4145951 | 610682 | 95385 12 | 2173 | 5988 1790.21/1790.61 c 1788s | 19 | 4150162 | 611482 | 95385 12 | 2173 | 5988 1792.41/1792.80 c 1790s | 19 | 4154886 | 612282 | 95385 12 | 2173 | 5988 1794.51/1794.90 c 1792s | 19 | 4159321 | 612982 | 95385 12 | 2173 | 5988 1796.51/1796.93 c 1794s | 19 | 4165272 | 613682 | 95385 12 | 2173 | 5988 1798.70/1799.10 c 1796s | 19 | 4172989 | 614682 | 95385 12 | 2173 | 5988
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-4079834-1465250005/watcher-4079834-1465250005 -o /tmp/evaluation-result-4079834-1465250005/solver-4079834-1465250005 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8445 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079834-1465250005.opb pid=12553 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.13 2.09 2.04 3/180 12556 /proc/meminfo: memFree=30502196/32872528 swapFree=11196/354588 [pid=12556] ppid=12553 vsize=722364 CPUtime=0 cores=0,2,4,6 /proc/12556/stat : 12556 (toysat) R 12553 12556 8429 0 -1 4202496 2694 0 0 0 0 0 0 0 20 0 4 0 106933984 739700736 3055 33554432000 4194304 16246674 140737390452992 140737390452416 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12556/statm: 181103 3062 441 2943 0 177997 0 [pid=12556/tid=12557] ppid=12553 vsize=739772 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12557/stat : 12557 (toysat) S 12553 12556 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106933985 757526528 3122 33554432000 4194304 16246674 140737390452992 139758857596144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12556/tid=12558] ppid=12553 vsize=743868 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12558/stat : 12558 (toysat) S 12553 12556 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106933985 761720832 3138 33554432000 4194304 16246674 140737390452992 139758772661488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12556/tid=12559] ppid=12553 vsize=747964 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12559/stat : 12559 (toysat) S 12553 12556 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106933985 765915136 3155 33554432000 4194304 16246674 140737390452992 139758762187952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100187 s] /proc/loadavg: 2.13 2.09 2.04 3/180 12556 /proc/meminfo: memFree=30502196/32872528 swapFree=11196/354588 [pid=12556] ppid=12553 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/12556/stat : 12556 (toysat) R 12553 12556 8429 0 -1 4202496 27485 0 0 0 6 3 0 0 20 0 4 0 106933984 1333334016 27784 33554432000 4194304 16246674 140737390452992 140737390452304 8058796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12556/statm: 325521 27798 800 2943 0 322415 0 [pid=12556/tid=12557] ppid=12553 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12557/stat : 12557 (toysat) S 12553 12556 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106933985 1333334016 27809 33554432000 4194304 16246674 140737390452992 139758857596144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12556/tid=12558] ppid=12553 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12558/stat : 12558 (toysat) S 12553 12556 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106933985 1333334016 27820 33554432000 4194304 16246674 140737390452992 139758772661488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12556/tid=12559] ppid=12553 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12559/stat : 12559 (toysat) S 12553 12556 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106933985 1333334016 27831 33554432000 4194304 16246674 140737390452992 139758762187952 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) 1302084 [startup+0.200533 s] /proc/loadavg: 2.13 2.09 2.04 3/180 12556 /proc/meminfo: memFree=30502196/32872528 swapFree=11196/354588 [pid=12556] ppid=12553 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/12556/stat : 12556 (toysat) R 12553 12556 8429 0 -1 4202496 48053 0 0 0 13 6 0 0 20 0 4 0 106933984 1344868352 48862 33554432000 4194304 16246674 140737390452992 140737390452304 8055496 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12556/statm: 328337 48862 800 2943 0 325231 0 [pid=12556/tid=12557] ppid=12553 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12557/stat : 12557 (toysat) S 12553 12556 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106933985 1344868352 48862 33554432000 4194304 16246674 140737390452992 139758857596144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12556/tid=12558] ppid=12553 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12558/stat : 12558 (toysat) S 12553 12556 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106933985 1344868352 48862 33554432000 4194304 16246674 140737390452992 139758772661488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12556/tid=12559] ppid=12553 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12559/stat : 12559 (toysat) S 12553 12556 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106933985 1344868352 48862 33554432000 4194304 16246674 140737390452992 139758762187952 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) 1313348 [startup+0.300513 s] /proc/loadavg: 2.13 2.09 2.04 3/180 12556 /proc/meminfo: memFree=30502196/32872528 swapFree=11196/354588 [pid=12556] ppid=12553 vsize=1313348 CPUtime=0.29 cores=0,2,4,6 /proc/12556/stat : 12556 (toysat) R 12553 12556 8429 0 -1 4202496 48135 0 0 0 23 6 0 0 20 0 4 0 106933984 1344868352 48944 33554432000 4194304 16246674 140737390452992 140737390452304 13956031 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12556/statm: 328337 48944 832 2943 0 325231 0 [pid=12556/tid=12557] ppid=12553 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12557/stat : 12557 (toysat) S 12553 12556 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106933985 1344868352 48944 33554432000 4194304 16246674 140737390452992 139758857596144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12556/tid=12558] ppid=12553 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12558/stat : 12558 (toysat) S 12553 12556 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106933985 1344868352 48944 33554432000 4194304 16246674 140737390452992 139758772661488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12556/tid=12559] ppid=12553 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12559/stat : 12559 (toysat) S 12553 12556 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106933985 1344868352 48944 33554432000 4194304 16246674 140737390452992 139758762187952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700416 s] /proc/loadavg: 2.13 2.09 2.04 3/180 12556 /proc/meminfo: memFree=30502196/32872528 swapFree=11196/354588 [pid=12556] ppid=12553 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/12556/stat : 12556 (toysat) R 12553 12556 8429 0 -1 4202496 106754 0 0 0 54 15 0 0 20 0 4 0 106933984 1344868352 107563 33554432000 4194304 16246674 140737390452992 140737390452304 5532301 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12556/statm: 328337 107570 867 2943 0 325231 0 [pid=12556/tid=12557] ppid=12553 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12557/stat : 12557 (toysat) S 12553 12556 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106933985 1344868352 107573 33554432000 4194304 16246674 140737390452992 139758857596144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12556/tid=12558] ppid=12553 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12558/stat : 12558 (toysat) S 12553 12556 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106933985 1344868352 107577 33554432000 4194304 16246674 140737390452992 139758772661488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12556/tid=12559] ppid=12553 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12559/stat : 12559 (toysat) S 12553 12556 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106933985 1344868352 107581 33554432000 4194304 16246674 140737390452992 139758762187952 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) 1313348 [startup+1.50042 s] /proc/loadavg: 2.13 2.09 2.04 3/184 12560 /proc/meminfo: memFree=30008384/32872528 swapFree=11196/354588 [pid=12556] ppid=12553 vsize=1313348 CPUtime=1.49 cores=0,2,4,6 /proc/12556/stat : 12556 (toysat) R 12553 12556 8429 0 -1 4202496 122859 0 0 0 131 18 0 0 20 0 4 0 106933984 1344868352 123668 33554432000 4194304 16246674 140737390452992 140737390452304 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12556/statm: 328337 123668 903 2943 0 325231 0 [pid=12556/tid=12557] ppid=12553 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12557/stat : 12557 (toysat) S 12553 12556 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106933985 1344868352 123668 33554432000 4194304 16246674 140737390452992 139758857596144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12556/tid=12558] ppid=12553 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12558/stat : 12558 (toysat) S 12553 12556 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106933985 1344868352 123668 33554432000 4194304 16246674 140737390452992 139758772661488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12556/tid=12559] ppid=12553 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12559/stat : 12559 (toysat) S 12553 12556 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106933985 1344868352 123668 33554432000 4194304 16246674 140737390452992 139758762187952 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) 1313348 [startup+3.10037 s] /proc/loadavg: 2.13 2.09 2.04 3/184 12560 /proc/meminfo: memFree=30007880/32872528 swapFree=11196/354588 [pid=12556] ppid=12553 vsize=1313348 CPUtime=3.09 cores=0,2,4,6 /proc/12556/stat : 12556 (toysat) R 12553 12556 8429 0 -1 4202496 135001 0 0 0 289 20 0 0 20 0 4 0 106933984 1344868352 135810 33554432000 4194304 16246674 140737390452992 140737390434880 5711952 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12556/statm: 328337 135810 910 2943 0 325231 0 [pid=12556/tid=12557] ppid=12553 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12557/stat : 12557 (toysat) S 12553 12556 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106933985 1344868352 135810 33554432000 4194304 16246674 140737390452992 139758857596144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12556/tid=12558] ppid=12553 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12558/stat : 12558 (toysat) S 12553 12556 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106933985 1344868352 135810 33554432000 4194304 16246674 140737390452992 139758772661488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12556/tid=12559] ppid=12553 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12559/stat : 12559 (toysat) S 12553 12556 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106933985 1344868352 135810 33554432000 4194304 16246674 140737390452992 139758762187952 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) 1313348 [startup+6.30042 s] /proc/loadavg: 2.12 2.09 2.04 3/184 12560 /proc/meminfo: memFree=29423596/32872528 swapFree=11196/354588 [pid=12556] ppid=12553 vsize=1313348 CPUtime=6.29 cores=0,2,4,6 /proc/12556/stat : 12556 (toysat) R 12553 12556 8429 0 -1 4202496 269035 0 0 0 591 38 0 0 20 0 4 0 106933984 1344868352 269844 33554432000 4194304 16246674 140737390452992 140737390434880 5661166 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12556/statm: 328337 269844 910 2943 0 325231 0 [pid=12556/tid=12557] ppid=12553 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12557/stat : 12557 (toysat) S 12553 12556 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106933985 1344868352 269844 33554432000 4194304 16246674 140737390452992 139758857596144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12556/tid=12558] ppid=12553 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12558/stat : 12558 (toysat) S 12553 12556 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106933985 1344868352 269844 33554432000 4194304 16246674 140737390452992 139758772661488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12556/tid=12559] ppid=12553 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12559/stat : 12559 (toysat) S 12553 12556 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106933985 1344868352 269844 33554432000 4194304 16246674 140737390452992 139758762187952 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) 1313348 [startup+12.7004 s] /proc/loadavg: 2.11 2.08 2.04 3/184 12560 /proc/meminfo: memFree=29423412/32872528 swapFree=11196/354588 [pid=12556] ppid=12553 vsize=1313348 CPUtime=12.69 cores=0,2,4,6 /proc/12556/stat : 12556 (toysat) R 12553 12556 8429 0 -1 4202496 269035 0 0 0 1231 38 0 0 20 0 4 0 106933984 1344868352 269844 33554432000 4194304 16246674 140737390452992 140737390435992 5677667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12556/statm: 328337 269844 910 2943 0 325231 0 [pid=12556/tid=12557] ppid=12553 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12557/stat : 12557 (toysat) S 12553 12556 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106933985 1344868352 269844 33554432000 4194304 16246674 140737390452992 139758857596144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12556/tid=12558] ppid=12553 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12558/stat : 12558 (toysat) S 12553 12556 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106933985 1344868352 269844 33554432000 4194304 16246674 140737390452992 139758772661488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12556/tid=12559] ppid=12553 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12559/stat : 12559 (toysat) S 12553 12556 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106933985 1344868352 269844 33554432000 4194304 16246674 140737390452992 139758762187952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1313348 [startup+25.5005 s] /proc/loadavg: 2.09 2.08 2.04 3/184 12560 /proc/meminfo: memFree=29422188/32872528 swapFree=11196/354588 [pid=12556] ppid=12553 vsize=1313348 CPUtime=25.48 cores=0,2,4,6 /proc/12556/stat : 12556 (toysat) R 12553 12556 8429 0 -1 4202496 269040 0 0 0 2510 38 0 0 20 0 4 0 106933984 1344868352 269849 33554432000 4194304 16246674 140737390452992 140737390434880 12483572 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12556/statm: 328337 269849 915 2943 0 325231 0 [pid=12556/tid=12557] ppid=12553 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12557/stat : 12557 (toysat) S 12553 12556 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106933985 1344868352 269849 33554432000 4194304 16246674 140737390452992 139758857596144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12556/tid=12558] ppid=12553 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12558/stat : 12558 (toysat) S 12553 12556 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106933985 1344868352 269849 33554432000 4194304 16246674 140737390452992 139758772661488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12556/tid=12559] ppid=12553 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12559/stat : 12559 (toysat) S 12553 12556 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106933985 1344868352 269849 33554432000 4194304 16246674 140737390452992 139758762187952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1313348 [startup+51.1005 s] /proc/loadavg: 2.12 2.09 2.04 3/183 12560 /proc/meminfo: memFree=29422028/32872528 swapFree=11196/354588 [pid=12556] ppid=12553 vsize=1313348 CPUtime=51.08 cores=0,2,4,6 /proc/12556/stat : 12556 (toysat) R 12553 12556 8429 0 -1 4202496 269040 0 0 0 5070 38 0 0 20 0 4 0 106933984 1344868352 269849 33554432000 4194304 16246674 140737390452992 140737390434880 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12556/statm: 328337 269849 915 2943 0 325231 0 [pid=12556/tid=12557] ppid=12553 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12557/stat : 12557 (toysat) S 12553 12556 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106933985 1344868352 269849 33554432000 4194304 16246674 140737390452992 139758857596144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12556/tid=12558] ppid=12553 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12558/stat : 12558 (toysat) S 12553 12556 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106933985 1344868352 269849 33554432000 4194304 16246674 140737390452992 139758772661488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12556/tid=12559] ppid=12553 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12559/stat : 12559 (toysat) S 12553 12556 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106933985 1344868352 269849 33554432000 4194304 16246674 140737390452992 139758762187952 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) 1313348 [startup+102.301 s] /proc/loadavg: 2.17 2.10 2.04 3/183 12561 /proc/meminfo: memFree=29420580/32872528 swapFree=11196/354588 [pid=12556] ppid=12553 vsize=1315396 CPUtime=102.28 cores=0,2,4,6 /proc/12556/stat : 12556 (toysat) R 12553 12556 8429 0 -1 4202496 269461 0 0 0 10189 39 0 0 20 0 4 0 106933984 1346965504 270270 33554432000 4194304 16246674 140737390452992 140737390434880 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12556/statm: 328849 270270 915 2943 0 325743 0 [pid=12556/tid=12557] ppid=12553 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12557/stat : 12557 (toysat) S 12553 12556 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106933985 1346965504 270270 33554432000 4194304 16246674 140737390452992 139758857596144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12556/tid=12558] ppid=12553 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12558/stat : 12558 (toysat) S 12553 12556 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106933985 1346965504 270270 33554432000 4194304 16246674 140737390452992 139758772661488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12556/tid=12559] ppid=12553 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12559/stat : 12559 (toysat) S 12553 12556 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106933985 1346965504 270270 33554432000 4194304 16246674 140737390452992 139758762187952 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) 1315396 ################ # More data... # ################ /proc/12556/task/12559/stat : 12559 (toysat) S 12553 12556 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106933985 1384714240 279833 33554432000 4194304 16246674 140737390452992 139758762187952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1242.02 Current children cumulated vsize (KiB) 1352260 [startup+1302.3 s] /proc/loadavg: 2.11 2.06 2.01 3/183 12614 /proc/meminfo: memFree=29379332/32872528 swapFree=11196/354588 [pid=12556] ppid=12553 vsize=1352260 CPUtime=1302 cores=0,2,4,6 /proc/12556/stat : 12556 (toysat) R 12553 12556 8429 0 -1 4202496 278959 0 0 0 129993 207 0 0 20 0 4 0 106933984 1384714240 279833 33554432000 4194304 16246674 140737390452992 140737390434880 5822187 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12556/statm: 338065 279833 915 2943 0 334959 0 [pid=12556/tid=12557] ppid=12553 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12557/stat : 12557 (toysat) S 12553 12556 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106933985 1384714240 279833 33554432000 4194304 16246674 140737390452992 139758857596144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12556/tid=12558] ppid=12553 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12558/stat : 12558 (toysat) S 12553 12556 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106933985 1384714240 279833 33554432000 4194304 16246674 140737390452992 139758772661488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12556/tid=12559] ppid=12553 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12559/stat : 12559 (toysat) S 12553 12556 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106933985 1384714240 279833 33554432000 4194304 16246674 140737390452992 139758762187952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302 Current children cumulated vsize (KiB) 1352260 [startup+1362.3 s] /proc/loadavg: 2.10 2.06 2.01 3/183 12615 /proc/meminfo: memFree=29379112/32872528 swapFree=11196/354588 [pid=12556] ppid=12553 vsize=1352260 CPUtime=1361.97 cores=0,2,4,6 /proc/12556/stat : 12556 (toysat) R 12553 12556 8429 0 -1 4202496 278985 0 0 0 135990 207 0 0 20 0 4 0 106933984 1384714240 279833 33554432000 4194304 16246674 140737390452992 140737390434880 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12556/statm: 338065 279833 915 2943 0 334959 0 [pid=12556/tid=12557] ppid=12553 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12557/stat : 12557 (toysat) S 12553 12556 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106933985 1384714240 279833 33554432000 4194304 16246674 140737390452992 139758857596144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12556/tid=12558] ppid=12553 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12558/stat : 12558 (toysat) S 12553 12556 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106933985 1384714240 279833 33554432000 4194304 16246674 140737390452992 139758772661488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12556/tid=12559] ppid=12553 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12559/stat : 12559 (toysat) S 12553 12556 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106933985 1384714240 279833 33554432000 4194304 16246674 140737390452992 139758762187952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 1352260 [startup+1422.3 s] /proc/loadavg: 2.04 2.05 2.00 3/183 12616 /proc/meminfo: memFree=29379424/32872528 swapFree=11196/354588 [pid=12556] ppid=12553 vsize=1352260 CPUtime=1421.96 cores=0,2,4,6 /proc/12556/stat : 12556 (toysat) R 12553 12556 8429 0 -1 4202496 278993 0 0 0 141984 212 0 0 20 0 4 0 106933984 1384714240 279833 33554432000 4194304 16246674 140737390452992 140737390434880 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12556/statm: 338065 279833 915 2943 0 334959 0 [pid=12556/tid=12557] ppid=12553 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12557/stat : 12557 (toysat) S 12553 12556 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106933985 1384714240 279833 33554432000 4194304 16246674 140737390452992 139758857596144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12556/tid=12558] ppid=12553 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12558/stat : 12558 (toysat) S 12553 12556 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106933985 1384714240 279833 33554432000 4194304 16246674 140737390452992 139758772661488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12556/tid=12559] ppid=12553 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12559/stat : 12559 (toysat) S 12553 12556 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106933985 1384714240 279833 33554432000 4194304 16246674 140737390452992 139758762187952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 1352260 [startup+1482.3 s] /proc/loadavg: 2.07 2.05 2.00 3/182 12617 /proc/meminfo: memFree=29379436/32872528 swapFree=11196/354588 [pid=12556] ppid=12553 vsize=1352260 CPUtime=1481.95 cores=0,2,4,6 /proc/12556/stat : 12556 (toysat) R 12553 12556 8429 0 -1 4202496 278993 0 0 0 147982 213 0 0 20 0 4 0 106933984 1384714240 279833 33554432000 4194304 16246674 140737390452992 140737390434880 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12556/statm: 338065 279833 915 2943 0 334959 0 [pid=12556/tid=12557] ppid=12553 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12557/stat : 12557 (toysat) S 12553 12556 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106933985 1384714240 279833 33554432000 4194304 16246674 140737390452992 139758857596144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12556/tid=12558] ppid=12553 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12558/stat : 12558 (toysat) S 12553 12556 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106933985 1384714240 279833 33554432000 4194304 16246674 140737390452992 139758772661488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12556/tid=12559] ppid=12553 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12559/stat : 12559 (toysat) S 12553 12556 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106933985 1384714240 279833 33554432000 4194304 16246674 140737390452992 139758762187952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 1352260 [startup+1542.31 s] /proc/loadavg: 2.02 2.04 2.00 3/183 12619 /proc/meminfo: memFree=29379424/32872528 swapFree=11196/354588 [pid=12556] ppid=12553 vsize=1352260 CPUtime=1541.95 cores=0,2,4,6 /proc/12556/stat : 12556 (toysat) R 12553 12556 8429 0 -1 4202496 278993 0 0 0 153982 213 0 0 20 0 4 0 106933984 1384714240 279833 33554432000 4194304 16246674 140737390452992 140737390434880 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12556/statm: 338065 279833 915 2943 0 334959 0 [pid=12556/tid=12557] ppid=12553 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12557/stat : 12557 (toysat) S 12553 12556 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106933985 1384714240 279833 33554432000 4194304 16246674 140737390452992 139758857596144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12556/tid=12558] ppid=12553 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12558/stat : 12558 (toysat) S 12553 12556 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106933985 1384714240 279833 33554432000 4194304 16246674 140737390452992 139758772661488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12556/tid=12559] ppid=12553 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12559/stat : 12559 (toysat) S 12553 12556 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106933985 1384714240 279833 33554432000 4194304 16246674 140737390452992 139758762187952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 1352260 [startup+1602.3 s] /proc/loadavg: 2.01 2.03 2.00 3/184 12623 /proc/meminfo: memFree=29378404/32872528 swapFree=11196/354588 [pid=12556] ppid=12553 vsize=1352260 CPUtime=1601.93 cores=0,2,4,6 /proc/12556/stat : 12556 (toysat) R 12553 12556 8429 0 -1 4202496 278993 0 0 0 159978 215 0 0 20 0 4 0 106933984 1384714240 279833 33554432000 4194304 16246674 140737390452992 140737390434880 5712600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12556/statm: 338065 279833 915 2943 0 334959 0 [pid=12556/tid=12557] ppid=12553 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12557/stat : 12557 (toysat) S 12553 12556 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106933985 1384714240 279833 33554432000 4194304 16246674 140737390452992 139758857596144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12556/tid=12558] ppid=12553 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12558/stat : 12558 (toysat) S 12553 12556 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106933985 1384714240 279833 33554432000 4194304 16246674 140737390452992 139758772661488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12556/tid=12559] ppid=12553 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12559/stat : 12559 (toysat) S 12553 12556 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106933985 1384714240 279833 33554432000 4194304 16246674 140737390452992 139758762187952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 1352260 [startup+1662.3 s] /proc/loadavg: 2.04 2.04 2.00 3/183 12624 /proc/meminfo: memFree=29379212/32872528 swapFree=11196/354588 [pid=12556] ppid=12553 vsize=1352260 CPUtime=1661.92 cores=0,2,4,6 /proc/12556/stat : 12556 (toysat) R 12553 12556 8429 0 -1 4202496 278993 0 0 0 165977 215 0 0 20 0 4 0 106933984 1384714240 279833 33554432000 4194304 16246674 140737390452992 140737390434880 13820935 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12556/statm: 338065 279833 915 2943 0 334959 0 [pid=12556/tid=12557] ppid=12553 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12557/stat : 12557 (toysat) S 12553 12556 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106933985 1384714240 279833 33554432000 4194304 16246674 140737390452992 139758857596144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12556/tid=12558] ppid=12553 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12558/stat : 12558 (toysat) S 12553 12556 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106933985 1384714240 279833 33554432000 4194304 16246674 140737390452992 139758772661488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12556/tid=12559] ppid=12553 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12559/stat : 12559 (toysat) S 12553 12556 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106933985 1384714240 279833 33554432000 4194304 16246674 140737390452992 139758762187952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 1352260 [startup+1722.3 s] /proc/loadavg: 2.23 2.09 2.02 3/182 12625 /proc/meminfo: memFree=29379968/32872528 swapFree=11196/354588 [pid=12556] ppid=12553 vsize=1352260 CPUtime=1721.91 cores=0,2,4,6 /proc/12556/stat : 12556 (toysat) R 12553 12556 8429 0 -1 4202496 278993 0 0 0 171976 215 0 0 20 0 4 0 106933984 1384714240 279833 33554432000 4194304 16246674 140737390452992 140737390434880 5823332 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12556/statm: 338065 279833 915 2943 0 334959 0 [pid=12556/tid=12557] ppid=12553 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12557/stat : 12557 (toysat) S 12553 12556 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106933985 1384714240 279833 33554432000 4194304 16246674 140737390452992 139758857596144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12556/tid=12558] ppid=12553 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12558/stat : 12558 (toysat) S 12553 12556 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106933985 1384714240 279833 33554432000 4194304 16246674 140737390452992 139758772661488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12556/tid=12559] ppid=12553 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12559/stat : 12559 (toysat) S 12553 12556 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106933985 1384714240 279833 33554432000 4194304 16246674 140737390452992 139758762187952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 1352260 [startup+1782.3 s] /proc/loadavg: 2.08 2.07 2.01 3/183 12676 /proc/meminfo: memFree=29400364/32872528 swapFree=11196/354588 [pid=12556] ppid=12553 vsize=1357380 CPUtime=1781.91 cores=0,2,4,6 /proc/12556/stat : 12556 (toysat) R 12553 12556 8429 0 -1 4202496 280273 0 0 0 177972 219 0 0 20 0 4 0 106933984 1389957120 281113 33554432000 4194304 16246674 140737390452992 140737390434880 12467404 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12556/statm: 339345 281113 915 2943 0 336239 0 [pid=12556/tid=12557] ppid=12553 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12557/stat : 12557 (toysat) S 12553 12556 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106933985 1389957120 281113 33554432000 4194304 16246674 140737390452992 139758857596144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12556/tid=12558] ppid=12553 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12558/stat : 12558 (toysat) S 12553 12556 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106933985 1389957120 281113 33554432000 4194304 16246674 140737390452992 139758772661488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12556/tid=12559] ppid=12553 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12559/stat : 12559 (toysat) S 12553 12556 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106933985 1389957120 281113 33554432000 4194304 16246674 140737390452992 139758762187952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 1357380 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.06 2.06 2.01 3/183 12677 /proc/meminfo: memFree=29400656/32872528 swapFree=11196/354588 [pid=12556] ppid=12553 vsize=1357380 CPUtime=1800 cores=0,2,4,6 /proc/12556/stat : 12556 (toysat) R 12553 12556 8429 0 -1 4202496 280273 0 0 0 179781 219 0 0 20 0 4 0 106933984 1389957120 281113 33554432000 4194304 16246674 140737390452992 140737390434880 5712140 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12556/statm: 339345 281113 915 2943 0 336239 0 [pid=12556/tid=12557] ppid=12553 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12557/stat : 12557 (toysat) S 12553 12556 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106933985 1389957120 281113 33554432000 4194304 16246674 140737390452992 139758857596144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12556/tid=12558] ppid=12553 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12558/stat : 12558 (toysat) S 12553 12556 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106933985 1389957120 281113 33554432000 4194304 16246674 140737390452992 139758772661488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12556/tid=12559] ppid=12553 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/12556/task/12559/stat : 12559 (toysat) S 12553 12556 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106933985 1389957120 281113 33554432000 4194304 16246674 140737390452992 139758762187952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1357380 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 12556 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.41 CPU time (s): 1800.02 CPU user time (s): 1797.82 CPU system time (s): 2.19167 CPU usage (%): 99.9782 Max. virtual memory (cumulated for all children) (KiB): 1357380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.82 system time used= 2.19167 maximum resident set size= 1124452 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 280273 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= 240 involuntary context switches= 1839 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.4124 second user time and 16.6085 second system time The end
Begin job on node126 at 2016-06-06 23:53:25 IDJOB=4079834 IDBENCH=24995 IDSOLVER=2542 FILE ID=node126/4079834-1465250005 RUNJOBID= node126-1465218023-8445 PBS_JOBID= 19843210 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_007_area_delay.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079834-1465250005/watcher-4079834-1465250005 -o /tmp/evaluation-result-4079834-1465250005/solver-4079834-1465250005 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8445 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079834-1465250005.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 22488dc65cdc0686edc96d304bd4d620 RANDOM SEED=21857112 node126.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 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 : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 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 : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 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: 30502468 kB Buffers: 54968 kB Cached: 142260 kB SwapCached: 2248 kB Active: 1203624 kB Inactive: 110992 kB Active(anon): 1117160 kB Inactive(anon): 2388 kB Active(file): 86464 kB Inactive(file): 108604 kB Unevictable: 354588 kB Mlocked: 11196 kB SwapTotal: 67108856 kB SwapFree: 67098548 kB Dirty: 38940 kB Writeback: 0 kB AnonPages: 1470836 kB Mapped: 10616 kB Shmem: 0 kB Slab: 568588 kB SReclaimable: 12508 kB SUnreclaim: 556080 kB KernelStack: 1472 kB PageTables: 6896 kB NFS_Unstable: 4 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1617548 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 346112 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71704 MiB End job on node126 at 2016-06-07 00:23:26