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.04 | 1800.43 |
| Name | normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir03_trarea_ac.opb |
| MD5SUM | 3247d1c2d88b8e4a3c1b4f888e937620 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 25559 |
| Best CPU time to get the best result obtained on this benchmark | 1800.1 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | NO |
| Number of variables | 1343 |
| Total number of constraints | 2405 |
| Number of constraints which are clauses | 2405 |
| 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 | 55 |
| Number of terms in the objective function | 690 |
| Biggest coefficient in the objective function | 2072 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 1098481 |
| Number of bits of the sum of numbers in the objective function | 21 |
| Biggest number in a constraint | 2072 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 1098481 |
| Number of bits of the biggest sum of numbers | 21 |
| 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-07T00:53:58+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-4079102-1465253638.opb"] 0.00/0.01 c use --random-gen="802469165 355096748 1909669083 4106262706 1869259035 3537755518 4042654876 1528153843 1105058420 3309369119 3515511694 2774133870 3556852041 1548772129 4193574829 197178851 1362472954 2817148825 3160110569 4046619163 1676200002 1064087008 3976417585 334318192 407406104 2224634492 1743521354 310520577 2588017471 1342099030 1787958779 2541514547 3348593389 1630742702 3999360812 979431672 2189684431 1277051068 1303489448 2375618045 1787498431 990289338 602108625 2678089332 236400931 2577691704 1214003580 1199247026 2293535542 661414953 2629999796 3773842016 1528546369 957075999 2925538110 1823876202 322655509 2206501879 4066767436 1603394308 2514502550 1169370922 3675176962 2668351432 1550607391 3903090699 2564796435 418466688 2796166961 3654331907 915003110 293422170 1664062333 4285249329 2237708584 5052346 3345521197 2627499800 1260397464 4193488751 4104130169 31856494 128629662 950814778 577009919 1109654766 14718344 116927552 1557827476 2657512631 38284605 2563466109 614347473 227990874 2841123591 1895605309 712697029 2590133442 2537105156 1200489557 729501397 2292491979 3282703345 3079991293 3411588474 1388218081 429644101 1561736405 2137730874 3074266285 358297188 776169895 2994359214 1844503740 2477600831 1731390700 4275612693 4161440031 1171221732 4204665111 2058448223 1464098212 3773026176 679244925 1131776854 1101204451 2972849423 628320166 3398084261 3016808132 4169416399 1104782942 2260354436 2179891364 836707135 1836819074 371424507 1693857738 3166408934 397621307 486900232 1510355065 3747533363 4211404843 3446692268 1302762291 1218511432 3759549869 2206480214 1843003893 3494992170 2329208528 4286987453 3466641592 1841475513 473713766 2375664899 2564648643 74952636 2298451050 451189062 3596086449 3994457068 3624769656 1116656829 1409519451 2940367145 1562513371 1721750491 100581404 4176113318 1331030020 734375528 2319596180 3967302117 2864822546 2680405509 2341645566 425808919 1443695337 8394892 1501023312 1560105330 3274880050 3282051232 2719050642 1225103018 3036642476 1673545692 377264011 3948047445 1468870078 78530045 294480233 3709177158 440287663 3026310365 3247889343 791322780 879173106 4056798859 3373622690 1353883340 1485562073 1651999974 3275780346 1495638477 3696507708 3093405647 2393593613 187087143 126909373 2307074390 2268776951 3732503635 136626339 727335219 3105701621 1633764046 702608260 1859540742 2198714893 1106824885 3114944333 461873728 1293167947 2765104995 3375534947 1776176485 1515199428 2483676503 1966714164 4225529920 3904229264 4266948969 867873694 4133893031 2646514652 3980620659 2884517404 4281049752 236434434 1189547511 1562373642 177336288 1347081587 166815931 4219918179 1678794307 45837107 589211360 1020550576 2275119834 3636350542 1090633153 1947942928 255 362436" option to reproduce the execution 0.00/0.03 c #vars 1343 0.00/0.03 c #constraints 2405 0.00/0.06 c BCD2: Hardening is enabled. 0.00/0.06 c BCD2: BiasedSearch is enabled. 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 1248 0 | 3 | 0 0.00/0.07 c 0.0s | 0 | 726 | 0 | 1248 0 | 3 | 0 0.00/0.07 c #cpu_time = 0.005s 0.00/0.07 c #wall_clock_time = 0.005s 0.00/0.07 c #decision = 726 0.00/0.07 c #random_decision = 3 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 o 1098481 0.00/0.08 c BCD2: refineUB: 1098480 -> 1097401 0.00/0.08 c BCD2: updating upper bound: 1098481 -> 1097401 0.00/0.08 c BCD2: 0 <= obj <= 1097401 0.00/0.08 c BCD2: #cores=0, #unrelaxed=690, #relaxed=0, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 1248 0 | 3 | 0 0.00/0.09 c 0.0s | 0 | 1 | 0 | 1248 0 | 3 | 0 0.00/0.09 c #cpu_time = 0.002s 0.00/0.09 c #wall_clock_time = 0.002s 0.00/0.09 c #decision = 1 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: found a new core of size 2: cost of the new core is >=1340 0.00/0.09 c lower bound updated to 1340 0.09/0.10 c BCD2: refineUB: 1098480 -> 1097401 0.09/0.10 c BCD2: 1340 <= obj <= 1097401 0.09/0.10 c BCD2: #cores=1, #unrelaxed=688, #relaxed=2, #hardened=0 0.09/0.10 c BCD2: #sat=1 #unsat=2 bias=2/3 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 1248 0 | 3 | 1 0.09/0.11 c 0.0s | 0 | 1 | 0 | 1248 0 | 3 | 1 0.09/0.11 c #cpu_time = 0.001s 0.09/0.11 c #wall_clock_time = 0.001s 0.09/0.11 c #decision = 1 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 0 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 1: cost of the new core is >=1314 0.09/0.11 c lower bound updated to 2654 0.09/0.12 c BCD2: refineUB: 1098480 -> 1097401 0.09/0.12 c BCD2: 2654 <= obj <= 1097401 0.09/0.12 c BCD2: #cores=2, #unrelaxed=687, #relaxed=3, #hardened=0 0.09/0.12 c BCD2: #sat=1 #unsat=3 bias=3/4 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 1248 0 | 3 | 1 0.09/0.12 c 0.0s | 0 | 10 | 0 | 1248 0 | 3 | 1 0.09/0.12 c #cpu_time = 0.001s 0.09/0.12 c #wall_clock_time = 0.001s 0.09/0.12 c #decision = 10 0.09/0.12 c #random_decision = 0 0.09/0.12 c #conflict = 0 0.09/0.12 c #restart = 0 0.09/0.12 c BCD2: found a new core of size 7: cost of the new core is >=1288 0.09/0.12 c lower bound updated to 3942 0.09/0.13 c BCD2: refineUB: 1098480 -> 1097401 0.09/0.13 c BCD2: 3942 <= obj <= 1097401 0.09/0.13 c BCD2: #cores=3, #unrelaxed=680, #relaxed=10, #hardened=0 0.09/0.13 c BCD2: #sat=1 #unsat=4 bias=4/5 0.09/0.13 c Solving starts ... 0.09/0.13 c ============================[ Search Statistics ]============================ 0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.13 c | | | | Limit GC | Var | Constra 0.09/0.13 c ============================================================================= 0.09/0.13 c 0.0s | 0 | 0 | 0 | 1248 0 | 3 | 1 0.09/0.13 c 0.0s | 0 | 11 | 0 | 1248 0 | 3 | 1 0.09/0.13 c #cpu_time = 0.001s 0.09/0.13 c #wall_clock_time = 0.001s 0.09/0.13 c #decision = 11 0.09/0.13 c #random_decision = 0 0.09/0.13 c #conflict = 0 0.09/0.13 c #restart = 0 0.09/0.13 c BCD2: found a new core of size 7: cost of the new core is >=1366 0.09/0.13 c lower bound updated to 5308 0.09/0.14 c BCD2: refineUB: 1098480 -> 1097401 0.09/0.14 c BCD2: 5308 <= obj <= 1097401 0.09/0.14 c BCD2: #cores=4, #unrelaxed=673, #relaxed=17, #hardened=0 0.09/0.14 c BCD2: #sat=1 #unsat=5 bias=5/6 0.09/0.14 c Solving starts ... 0.09/0.14 c ============================[ Search Statistics ]============================ 0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.14 c | | | | Limit GC | Var | Constra 0.09/0.14 c ============================================================================= 0.09/0.14 c 0.0s | 0 | 0 | 0 | 1248 0 | 3 | 1 0.09/0.14 c 0.0s | 0 | 6 | 0 | 1248 0 | 3 | 1 0.09/0.14 c #cpu_time = 0.001s 0.09/0.14 c #wall_clock_time = 0.001s 0.09/0.14 c #decision = 6 0.09/0.14 c #random_decision = 0 0.09/0.14 c #conflict = 0 0.09/0.14 c #restart = 0 0.09/0.14 c BCD2: found a new core of size 1: cost of the new core is >=1540 0.09/0.14 c lower bound updated to 6848 0.09/0.14 c BCD2: refineUB: 1098480 -> 1097401 0.09/0.14 c BCD2: 6848 <= obj <= 1097401 0.09/0.14 c BCD2: #cores=5, #unrelaxed=672, #relaxed=18, #hardened=0 0.09/0.14 c BCD2: #sat=1 #unsat=6 bias=6/7 0.09/0.14 c Solving starts ... 0.09/0.14 c ============================[ Search Statistics ]============================ 0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.14 c | | | | Limit GC | Var | Constra 0.09/0.14 c ============================================================================= 0.09/0.14 c 0.0s | 0 | 0 | 0 | 1248 0 | 3 | 1 0.09/0.15 c 0.0s | 0 | 131 | 0 | 1248 0 | 3 | 1 0.09/0.15 c #cpu_time = 0.001s 0.09/0.15 c #wall_clock_time = 0.001s 0.09/0.15 c #decision = 131 0.09/0.15 c #random_decision = 0 0.09/0.15 c #conflict = 0 0.09/0.15 c #restart = 0 0.09/0.15 c BCD2: found a new core of size 1: cost of the new core is >=1558 0.09/0.15 c lower bound updated to 8406 0.09/0.16 c BCD2: refineUB: 1098480 -> 1097401 0.09/0.16 c BCD2: 8406 <= obj <= 1097401 0.09/0.16 c BCD2: #cores=6, #unrelaxed=671, #relaxed=19, #hardened=0 0.09/0.16 c BCD2: #sat=1 #unsat=7 bias=7/8 0.09/0.16 c Solving starts ... 0.09/0.16 c ============================[ Search Statistics ]============================ 0.09/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.16 c | | | | Limit GC | Var | Constra 0.09/0.16 c ============================================================================= 0.09/0.16 c 0.0s | 0 | 0 | 0 | 1248 0 | 3 | 1 0.09/0.16 c 0.0s | 0 | 164 | 0 | 1248 0 | 3 | 1 0.09/0.16 c #cpu_time = 0.002s 0.09/0.16 c #wall_clock_time = 0.002s 0.09/0.16 c #decision = 164 0.09/0.16 c #random_decision = 0 0.09/0.16 c #conflict = 0 0.09/0.16 c #restart = 0 0.09/0.16 c BCD2: found a new core of size 6: cost of the new core is >=1210 0.09/0.16 c lower bound updated to 9616 0.09/0.17 c BCD2: refineUB: 1098480 -> 1097401 0.09/0.17 c BCD2: 9616 <= obj <= 1097401 0.09/0.17 c BCD2: #cores=7, #unrelaxed=665, #relaxed=25, #hardened=0 0.09/0.17 c BCD2: #sat=1 #unsat=8 bias=8/9 0.09/0.18 c Solving starts ... 0.09/0.18 c ============================[ Search Statistics ]============================ 0.09/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.18 c | | | | Limit GC | Var | Constra 0.09/0.18 c ============================================================================= 0.09/0.18 c 0.0s | 0 | 0 | 0 | 1248 0 | 3 | 1 0.09/0.18 c 0.0s | 0 | 359 | 0 | 1248 0 | 3 | 1 0.09/0.18 c #cpu_time = 0.003s 0.09/0.18 c #wall_clock_time = 0.003s 0.09/0.18 c #decision = 359 0.09/0.18 c #random_decision = 0 0.09/0.18 c #conflict = 0 0.09/0.18 c #restart = 0 0.09/0.18 c BCD2: found a new core of size 148: cost of the new core is >=1184 0.09/0.18 c lower bound updated to 10800 0.09/0.19 c BCD2: refineUB: 1098480 -> 1097401 0.09/0.19 c BCD2: 10800 <= obj <= 1097401 0.09/0.19 c BCD2: #cores=8, #unrelaxed=517, #relaxed=173, #hardened=0 0.09/0.19 c BCD2: #sat=1 #unsat=9 bias=9/10 0.09/0.19 c Solving starts ... 0.09/0.19 c ============================[ Search Statistics ]============================ 0.09/0.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.19 c | | | | Limit GC | Var | Constra 0.09/0.19 c ============================================================================= 0.09/0.19 c 0.0s | 0 | 0 | 0 | 1248 0 | 3 | 1 0.19/0.20 c 0.0s | 0 | 273 | 0 | 1248 0 | 3 | 1 0.19/0.20 c #cpu_time = 0.002s 0.19/0.20 c #wall_clock_time = 0.002s 0.19/0.20 c #decision = 273 0.19/0.20 c #random_decision = 0 0.19/0.20 c #conflict = 0 0.19/0.20 c #restart = 0 0.19/0.20 c BCD2: found a new core of size 3: cost of the new core is >=1618 0.19/0.20 c lower bound updated to 12418 0.19/0.21 c BCD2: refineUB: 1098480 -> 1097401 0.19/0.21 c BCD2: 12418 <= obj <= 1097401 0.19/0.21 c BCD2: #cores=9, #unrelaxed=514, #relaxed=176, #hardened=0 0.19/0.21 c BCD2: #sat=1 #unsat=10 bias=10/11 0.19/0.21 c Solving starts ... 0.19/0.21 c ============================[ Search Statistics ]============================ 0.19/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.21 c | | | | Limit GC | Var | Constra 0.19/0.21 c ============================================================================= 0.19/0.21 c 0.0s | 0 | 0 | 0 | 1248 0 | 3 | 1 0.19/0.22 c 0.0s | 0 | 331 | 0 | 1248 0 | 3 | 1 0.19/0.22 c #cpu_time = 0.002s 0.19/0.22 c #wall_clock_time = 0.002s 0.19/0.22 c #decision = 331 0.19/0.22 c #random_decision = 0 0.19/0.22 c #conflict = 0 0.19/0.22 c #restart = 0 0.19/0.22 c BCD2: found a new core of size 9: cost of the new core is >=1288 0.19/0.22 c lower bound updated to 13706 0.19/0.23 c BCD2: refineUB: 1098480 -> 1097401 0.19/0.23 c BCD2: 13706 <= obj <= 1097401 0.19/0.23 c BCD2: #cores=10, #unrelaxed=505, #relaxed=185, #hardened=0 0.19/0.23 c BCD2: #sat=1 #unsat=11 bias=11/12 0.19/0.23 c Solving starts ... 0.19/0.23 c ============================[ Search Statistics ]============================ 0.19/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.23 c | | | | Limit GC | Var | Constra 0.19/0.23 c ============================================================================= 0.19/0.23 c 0.0s | 0 | 0 | 0 | 1248 0 | 3 | 1 0.19/0.24 c 0.0s | 0 | 336 | 0 | 1248 0 | 3 | 1 0.19/0.24 c #cpu_time = 0.002s 0.19/0.24 c #wall_clock_time = 0.002s 0.19/0.24 c #decision = 336 0.19/0.24 c #random_decision = 0 0.19/0.24 c #conflict = 0 0.19/0.24 c #restart = 0 0.19/0.24 c BCD2: found a new core of size 9: cost of the new core is >=1158 0.19/0.24 c lower bound updated to 14864 0.19/0.25 c BCD2: refineUB: 1098480 -> 1097401 0.19/0.25 c BCD2: 14864 <= obj <= 1097401 0.19/0.25 c BCD2: #cores=11, #unrelaxed=496, #relaxed=194, #hardened=0 0.19/0.25 c BCD2: #sat=1 #unsat=12 bias=12/13 0.19/0.25 c Solving starts ... 0.19/0.25 c ============================[ Search Statistics ]============================ 0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.25 c | | | | Limit GC | Var | Constra 0.19/0.25 c ============================================================================= 0.19/0.25 c 0.0s | 0 | 0 | 0 | 1248 0 | 3 | 1 0.19/0.25 c 0.0s | 0 | 338 | 0 | 1248 0 | 3 | 1 0.19/0.25 c #cpu_time = 0.002s 0.19/0.25 c #wall_clock_time = 0.002s 0.19/0.25 c #decision = 338 0.19/0.25 c #random_decision = 0 0.19/0.25 c #conflict = 0 0.19/0.25 c #restart = 0 0.19/0.25 c BCD2: found a new core of size 11: cost of the new core is >=1236 0.19/0.25 c lower bound updated to 16100 0.19/0.27 c BCD2: refineUB: 1098480 -> 1097401 0.19/0.27 c BCD2: 16100 <= obj <= 1097401 0.19/0.27 c BCD2: #cores=12, #unrelaxed=485, #relaxed=205, #hardened=0 0.19/0.27 c BCD2: #sat=1 #unsat=13 bias=13/14 0.19/0.27 c Solving starts ... 0.19/0.27 c ============================[ Search Statistics ]============================ 0.19/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.27 c | | | | Limit GC | Var | Constra 0.19/0.27 c ============================================================================= 0.19/0.27 c 0.0s | 0 | 0 | 0 | 1248 0 | 3 | 1 0.19/0.27 c 0.0s | 0 | 409 | 0 | 1248 0 | 3 | 1 0.19/0.27 c #cpu_time = 0.003s 0.19/0.27 c #wall_clock_time = 0.003s 0.19/0.27 c #decision = 409 0.19/0.27 c #random_decision = 0 0.19/0.27 c #conflict = 0 0.19/0.27 c #restart = 0 0.19/0.27 c BCD2: found a new core of size 139: cost of the new core is >=1236 0.19/0.27 c lower bound updated to 17336 0.19/0.29 c BCD2: refineUB: 1098480 -> 1097401 0.19/0.29 c BCD2: 17336 <= obj <= 1097401 0.19/0.29 c BCD2: #cores=13, #unrelaxed=346, #relaxed=344, #hardened=0 0.19/0.29 c BCD2: #sat=1 #unsat=14 bias=14/15 0.19/0.29 c Solving starts ... 0.19/0.29 c ============================[ Search Statistics ]============================ 0.19/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.29 c | | | | Limit GC | Var | Constra 0.19/0.29 c ============================================================================= 0.19/0.29 c 0.0s | 0 | 0 | 0 | 1248 0 | 3 | 1 0.19/0.29 c 0.0s | 0 | 347 | 0 | 1248 0 | 3 | 1 0.19/0.29 c #cpu_time = 0.002s 0.19/0.29 c #wall_clock_time = 0.003s 0.19/0.29 c #decision = 347 0.19/0.29 c #random_decision = 0 0.19/0.29 c #conflict = 0 0.19/0.29 c #restart = 0 0.19/0.29 c BCD2: found a new core of size 20: cost of the new core is >=1106 0.19/0.29 c lower bound updated to 18442 0.29/0.31 c BCD2: refineUB: 1098480 -> 1097401 0.29/0.31 c BCD2: 18442 <= obj <= 1097401 0.29/0.31 c BCD2: #cores=14, #unrelaxed=326, #relaxed=364, #hardened=0 0.29/0.31 c BCD2: #sat=1 #unsat=15 bias=15/16 0.29/0.31 c Solving starts ... 0.29/0.31 c ============================[ Search Statistics ]============================ 0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.31 c | | | | Limit GC | Var | Constra 0.29/0.31 c ============================================================================= 0.29/0.31 c 0.0s | 0 | 0 | 0 | 1248 0 | 3 | 1 0.29/0.32 c 0.0s | 0 | 654 | 0 | 1248 0 | 3 | 1 0.29/0.32 c #cpu_time = 0.004s 0.29/0.32 c #wall_clock_time = 0.004s 0.29/0.32 c #decision = 654 0.29/0.32 c #random_decision = 0 0.29/0.32 c #conflict = 0 0.29/0.32 c #restart = 0 0.29/0.32 o 33639 0.29/0.32 c BCD2: updating upper bound: 1097401 -> 33638 0.29/0.33 c BCD2: 18442 <= obj <= 33638 0.29/0.33 c BCD2: #cores=14, #unrelaxed=326, #relaxed=364, #hardened=0 0.29/0.33 c BCD2: #sat=2 #unsat=15 bias=15/17 1.48/1.53 c Solving starts ... 1.48/1.53 c ============================[ Search Statistics ]============================ 1.48/1.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.48/1.53 c | | | | Limit GC | Var | Constra 1.48/1.53 c ============================================================================= 1.48/1.53 c 0.0s | 0 | 0 | 0 | 1248 0 | 3 | 1 1.48/1.54 c 0.0s | 0 | 462 | 37 | 1248 0 | 3 | 1 1.48/1.54 c #cpu_time = 0.010s 1.48/1.54 c #wall_clock_time = 0.010s 1.48/1.54 c #decision = 462 1.48/1.54 c #random_decision = 0 1.48/1.54 c #conflict = 37 1.48/1.54 c #restart = 0 1.48/1.54 c BCD2: relaxing 157 and merging with 6 cores into a new core of size 489: cost of the new core is >=7591 1.48/1.54 c lower bound updated to 18773 1.48/1.54 c BCD2: 18773 <= obj <= 33638 1.48/1.54 c BCD2: #cores=9, #unrelaxed=169, #relaxed=521, #hardened=0 1.48/1.54 c BCD2: #sat=2 #unsat=16 bias=16/18 1.48/1.54 c Solving starts ... 1.48/1.54 c ============================[ Search Statistics ]============================ 1.48/1.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.48/1.54 c | | | | Limit GC | Var | Constra 1.48/1.54 c ============================================================================= 1.48/1.54 c 0.0s | 0 | 0 | 0 | 1248 0 | 40 | 1 1.48/1.55 c 0.0s | 0 | 491 | 2 | 1248 0 | 40 | 69 1.48/1.55 c #cpu_time = 0.005s 1.48/1.55 c #wall_clock_time = 0.005s 1.48/1.55 c #decision = 491 1.48/1.55 c #random_decision = 3 1.48/1.55 c #conflict = 2 1.48/1.55 c #restart = 0 1.48/1.55 o 30408 1.48/1.55 c BCD2: updating upper bound: 33638 -> 30407 1.48/1.55 c BCD2: 18773 <= obj <= 30407 1.48/1.55 c BCD2: #cores=9, #unrelaxed=169, #relaxed=521, #hardened=0 1.48/1.55 c BCD2: #sat=3 #unsat=16 bias=16/19 1.48/1.56 c Solving starts ... 1.48/1.56 c ============================[ Search Statistics ]============================ 1.48/1.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.48/1.56 c | | | | Limit GC | Var | Constra 1.48/1.56 c ============================================================================= 1.48/1.56 c 0.0s | 0 | 0 | 0 | 1248 0 | 40 | 70 1.48/1.56 c 0.0s | 0 | 111 | 0 | 1248 0 | 40 | 70 1.48/1.56 c #cpu_time = 0.002s 1.48/1.56 c #wall_clock_time = 0.002s 1.48/1.56 c #decision = 111 1.48/1.56 c #random_decision = 0 1.48/1.56 c #conflict = 0 1.48/1.56 c #restart = 0 1.48/1.56 c BCD2: relaxing 9 and merging with 2 cores into a new core of size 26: cost of the new core is >=2576 1.48/1.56 c BCD2: refineLB: 2571 -> 2576 1.48/1.56 c lower bound updated to 18903 1.48/1.56 c BCD2: 18903 <= obj <= 30407 1.48/1.56 c BCD2: #cores=8, #unrelaxed=160, #relaxed=530, #hardened=0 1.48/1.56 c BCD2: #sat=3 #unsat=17 bias=17/20 1.48/1.56 c Solving starts ... 1.48/1.56 c ============================[ Search Statistics ]============================ 1.48/1.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.48/1.56 c | | | | Limit GC | Var | Constra 1.48/1.56 c ============================================================================= 1.48/1.56 c 0.0s | 0 | 0 | 0 | 1248 0 | 57 | 70 1.68/1.71 c 0.1s | 1 | 1706 | 100 | 1373 0 | 57 | 104 1.88/1.96 c 0.4s | 2 | 4155 | 250 | 1511 0 | 57 | 104 2.29/2.31 c 0.7s | 3 | 10396 | 475 | 1663 0 | 57 | 104 2.78/2.80 c 1.2s | 4 | 13979 | 813 | 1830 0 | 57 | 104 3.48/3.59 c 2.0s | 5 | 17739 | 1320 | 2014 0 | 57 | 104 4.39/4.43 c 2.9s | 6 | 24510 | 2081 | 2216 0 | 57 | 104 5.68/5.72 c 4.2s | 7 | 34005 | 3223 | 2438 1 | 57 | 104 7.58/7.69 c 6.1s | 8 | 53904 | 4936 | 2682 2 | 57 | 104 9.68/9.77 c 8.2s | 8 | 72252 | 6736 | 2682 3 | 57 | 104 10.58/10.64 c 9.1s | 9 | 78374 | 7506 | 2951 3 | 57 | 104 12.68/12.75 c 11.2s | 9 | 97323 | 9306 | 2951 4 | 57 | 104 14.78/14.86 c 13.3s | 9 | 113967 | 11206 | 2951 5 | 57 | 104 14.98/15.05 c 13.5s | 10 | 115464 | 11361 | 3247 6 | 57 | 104 17.08/17.13 c 15.6s | 10 | 133556 | 13161 | 3247 6 | 57 | 104 19.08/19.14 c 17.6s | 10 | 152220 | 15061 | 3247 7 | 57 | 104 21.18/21.20 c 19.6s | 10 | 171262 | 16761 | 3247 8 | 57 | 104 21.48/21.58 c 20.0s | 11 | 175472 | 17144 | 3572 8 | 57 | 104 23.59/23.64 c 22.1s | 11 | 191301 | 18944 | 3572 9 | 57 | 104 25.69/25.75 c 24.2s | 11 | 212208 | 20744 | 3572 10 | 57 | 104 27.69/27.78 c 26.2s | 11 | 231549 | 22444 | 3572 11 | 57 | 104 29.80/29.84 c 28.3s | 11 | 251045 | 24344 | 3572 12 | 57 | 104 31.69/31.71 c 30.2s | 12 | 268115 | 25819 | 3930 13 | 57 | 104 33.69/33.76 c 32.2s | 12 | 282062 | 27519 | 3930 13 | 57 | 104 35.69/35.79 c 34.2s | 12 | 297481 | 29319 | 3930 14 | 57 | 104 37.79/37.80 c 36.2s | 12 | 312952 | 31119 | 3930 15 | 57 | 104 39.79/39.86 c 38.3s | 12 | 338250 | 33019 | 3930 16 | 57 | 104 41.89/41.92 c 40.4s | 12 | 363468 | 34819 | 3930 17 | 57 | 104 43.99/44.02 c 42.5s | 12 | 381596 | 36619 | 3930 17 | 57 | 104 45.99/46.09 c 44.5s | 12 | 400048 | 38319 | 3930 18 | 57 | 104 46.58/46.69 c 45.1s | 13 | 404877 | 38832 | 4323 18 | 57 | 104 48.68/48.71 c 47.1s | 13 | 425490 | 40432 | 4323 19 | 57 | 104 50.78/50.81 c 49.2s | 13 | 445278 | 42132 | 4323 20 | 57 | 104 52.79/52.84 c 51.3s | 13 | 468903 | 43932 | 4323 20 | 57 | 104 54.88/54.93 c 53.4s | 13 | 484823 | 45732 | 4323 21 | 57 | 104 56.98/57.00 c 55.4s | 13 | 504346 | 47632 | 4323 22 | 57 | 104 58.98/59.05 c 57.5s | 13 | 520922 | 49432 | 4323 23 | 57 | 104 60.98/61.06 c 59.5s | 13 | 536759 | 51132 | 4323 23 | 57 | 104 63.08/63.19 c 61.6s | 13 | 553942 | 52932 | 4323 24 | 57 | 104 65.18/65.20 c 63.6s | 13 | 572466 | 54532 | 4323 25 | 57 | 104 67.19/67.23 c 65.7s | 13 | 589403 | 56132 | 4323 25 | 57 | 104 69.29/69.32 c 67.8s | 13 | 609201 | 58032 | 4756 26 | 57 | 104 69.68/69.72 c 68.2s | 14 | 612249 | 58352 | 4756 26 | 57 | 104 71.78/71.86 c 70.3s | 14 | 630030 | 59852 | 4756 27 | 57 | 104 73.88/73.94 c 72.4s | 14 | 647082 | 61452 | 4756 27 | 57 | 104 75.99/76.01 c 74.4s | 14 | 661949 | 62952 | 4756 28 | 57 | 104 77.98/78.02 c 76.5s | 14 | 674835 | 64852 | 4756 29 | 57 | 104 80.08/80.15 c 78.6s | 14 | 690542 | 66652 | 4756 29 | 57 | 104 82.08/82.18 c 80.6s | 14 | 709752 | 68552 | 4756 30 | 57 | 104 84.18/84.27 c 82.7s | 14 | 727201 | 70252 | 4756 31 | 57 | 104 86.28/86.35 c 84.8s | 14 | 741943 | 71852 | 4756 31 | 57 | 104 88.38/88.41 c 86.8s | 14 | 754663 | 73652 | 4756 32 | 57 | 104 90.38/90.49 c 88.9s | 14 | 769996 | 75252 | 4756 32 | 57 | 104 92.48/92.51 c 90.9s | 14 | 783063 | 76852 | 4756 33 | 57 | 104 94.48/94.55 c 93.0s | 14 | 797469 | 78552 | 4756 34 | 57 | 104 96.48/96.59 c 95.0s | 14 | 816755 | 80252 | 4756 34 | 57 | 104 98.58/98.67 c 97.1s | 14 | 831238 | 81852 | 4756 35 | 57 | 104 100.67/100.71 c 99.1s | 14 | 850512 | 83652 | 4756 36 | 57 | 104 102.67/102.78 c 101s | 14 | 865094 | 85352 | 4756 36 | 57 | 104 104.77/104.87 c 103s | 14 | 882637 | 87052 | 5232 37 | 57 | 104 105.47/105.57 c 104s | 15 | 892458 | 87632 | 5232 37 | 57 | 104 107.57/107.64 c 106s | 15 | 907240 | 89232 | 5232 38 | 57 | 104 109.57/109.67 c 108s | 15 | 923464 | 90732 | 5232 38 | 57 | 104 111.67/111.78 c 110s | 15 | 941460 | 92532 | 5232 39 | 57 | 104 113.77/113.86 c 112s | 15 | 960464 | 94232 | 5232 39 | 57 | 104 115.77/115.87 c 114s | 15 | 972913 | 95832 | 5232 40 | 57 | 104 117.87/117.93 c 116s | 15 | 988331 | 97532 | 5232 40 | 57 | 104 119.88/119.96 c 118s | 15 | 1004322 | 99132 | 5232 41 | 57 | 104 121.87/121.97 c 120s | 15 | 1021204 | 100732 | 5232 42 | 57 | 104 123.97/124.01 c 122s | 15 | 1037592 | 102232 | 5232 42 | 57 | 104 126.07/126.13 c 124s | 15 | 1051564 | 103932 | 5232 43 | 57 | 104 128.17/128.24 c 126s | 15 | 1065604 | 105532 | 5232 43 | 57 | 104 130.17/130.27 c 128s | 15 | 1079315 | 106932 | 5232 44 | 57 | 104 132.17/132.29 c 130s | 15 | 1092679 | 108632 | 5232 44 | 57 | 104 134.27/134.36 c 132s | 15 | 1105359 | 110232 | 5232 45 | 57 | 104 136.27/136.36 c 134s | 15 | 1116007 | 111732 | 5232 45 | 57 | 104 138.37/138.44 c 136s | 15 | 1132888 | 113432 | 5232 46 | 57 | 104 140.46/140.50 c 138s | 15 | 1146749 | 115132 | 5232 47 | 57 | 104 142.46/142.52 c 140s | 15 | 1160662 | 116732 | 5232 47 | 57 | 104 144.56/144.63 c 143s | 15 | 1171505 | 118232 | 5232 48 | 57 | 104 146.56/146.67 c 145s | 15 | 1183502 | 119732 | 5232 48 | 57 | 104 148.66/148.71 c 147s | 15 | 1195171 | 121232 | 5232 49 | 57 | 104 150.77/150.80 c 149s | 15 | 1210115 | 122932 | 5232 49 | 57 | 104 152.76/152.85 c 151s | 15 | 1227540 | 124732 | 5232 50 | 57 | 104 154.86/154.97 c 153s | 15 | 1244343 | 126432 | 5232 50 | 57 | 104 156.96/157.02 c 155s | 15 | 1256947 | 128132 | 5232 51 | 57 | 104 159.06/159.11 c 157s | 15 | 1267467 | 129732 | 5232 52 | 57 | 104 161.16/161.22 c 159s | 15 | 1285260 | 131432 | 5756 52 | 57 | 104 161.26/161.38 c 159s | 16 | 1285843 | 131552 | 5756 52 | 57 | 104 163.36/163.44 c 161s | 16 | 1299298 | 133452 | 5756 53 | 57 | 104 165.36/165.47 c 163s | 16 | 1319507 | 135052 | 5756 53 | 57 | 104 167.46/167.52 c 165s | 16 | 1338709 | 136752 | 5756 54 | 57 | 104 169.56/169.64 c 168s | 16 | 1358859 | 138552 | 5756 54 | 57 | 104 171.56/171.67 c 170s | 16 | 1372305 | 140152 | 5756 55 | 57 | 104 173.56/173.68 c 172s | 16 | 1388075 | 141852 | 5756 55 | 57 | 104 175.66/175.75 c 174s | 16 | 1403873 | 143552 | 5756 56 | 57 | 104 177.76/177.86 c 176s | 16 | 1419826 | 145352 | 5756 56 | 57 | 104 179.86/179.94 c 178s | 16 | 1433554 | 147152 | 5756 57 | 57 | 104 181.86/181.98 c 180s | 16 | 1453188 | 148852 | 5756 57 | 57 | 104 183.96/184.09 c 182s | 16 | 1468728 | 150452 | 5756 58 | 57 | 104 186.06/186.12 c 184s | 16 | 1485049 | 152152 | 5756 59 | 57 | 104 188.06/188.19 c 186s | 16 | 1500876 | 153952 | 5756 59 | 57 | 104 190.16/190.27 c 188s | 16 | 1523622 | 155952 | 5756 60 | 57 | 104 192.25/192.32 c 190s | 16 | 1543830 | 157652 | 5756 60 | 57 | 104 194.26/194.35 c 192s | 16 | 1556118 | 159252 | 5756 61 | 57 | 104 196.36/196.42 c 194s | 16 | 1573995 | 161052 | 5756 61 | 57 | 104 198.46/198.55 c 196s | 16 | 1593151 | 162852 | 5756 62 | 57 | 104 200.56/200.64 c 199s | 16 | 1610426 | 164552 | 5756 62 | 57 | 104 202.56/202.66 c 201s | 16 | 1626463 | 166252 | 5756 63 | 57 | 104 204.57/204.67 c 203s | 16 | 1653464 | 167752 | 5756 63 | 57 | 104 206.66/206.78 c 205s | 16 | 1677159 | 169452 | 5756 64 | 57 | 104 208.86/208.91 c 207s | 16 | 1693609 | 171152 | 5756 65 | 57 | 104 210.96/211.01 c 209s | 16 | 1716870 | 172852 | 5756 65 | 57 | 104 212.96/213.09 c 211s | 16 | 1738688 | 174452 | 5756 66 | 57 | 104 215.06/215.17 c 213s | 16 | 1763061 | 176052 | 5756 66 | 57 | 104 217.16/217.28 c 215s | 16 | 1783182 | 177752 | 5756 67 | 57 | 104 219.26/219.38 c 217s | 16 | 1799164 | 179652 | 5756 67 | 57 | 104 221.36/221.42 c 219s | 16 | 1812770 | 181352 | 5756 68 | 57 | 104 223.37/223.46 c 221s | 16 | 1827664 | 182952 | 5756 68 | 57 | 104 225.36/225.48 c 223s | 16 | 1840800 | 184552 | 5756 69 | 57 | 104 227.46/227.50 c 225s | 16 | 1852700 | 185952 | 5756 69 | 57 | 104 229.46/229.53 c 227s | 16 | 1874269 | 187752 | 5756 70 | 57 | 104 231.46/231.59 c 230s | 16 | 1894057 | 189452 | 5756 70 | 57 | 104 233.56/233.60 c 232s | 16 | 1922846 | 191152 | 5756 71 | 57 | 104 235.66/235.70 c 234s | 16 | 1939903 | 192852 | 5756 71 | 57 | 104 237.76/237.80 c 236s | 16 | 1959229 | 194652 | 5756 72 | 57 | 104 239.76/239.83 c 238s | 16 | 1977377 | 196352 | 6332 72 | 57 | 104 241.05/241.16 c 239s | 17 | 1987806 | 197432 | 6332 73 | 57 | 104 243.06/243.16 c 241s | 17 | 2005197 | 198932 | 6332 73 | 57 | 104 245.15/245.26 c 243s | 17 | 2023337 | 200532 | 6332 74 | 57 | 104 247.25/247.39 c 245s | 17 | 2035406 | 202032 | 6332 74 | 57 | 104 249.35/249.49 c 247s | 17 | 2051295 | 203632 | 6332 74 | 57 | 104 251.45/251.55 c 249s | 17 | 2065335 | 205232 | 6332 75 | 57 | 104 253.55/253.61 c 252s | 17 | 2080083 | 206832 | 6332 75 | 57 | 104 255.55/255.66 c 254s | 17 | 2097237 | 208632 | 6332 76 | 57 | 104 257.65/257.75 c 256s | 17 | 2110048 | 210332 | 6332 76 | 57 | 104 259.66/259.78 c 258s | 17 | 2125289 | 211932 | 6332 77 | 57 | 104 261.76/261.81 c 260s | 17 | 2138732 | 213532 | 6332 77 | 57 | 104 263.85/263.96 c 262s | 17 | 2155952 | 215232 | 6332 78 | 57 | 104 266.05/266.10 c 264s | 17 | 2172560 | 216932 | 6332 78 | 57 | 104 268.05/268.14 c 266s | 17 | 2191770 | 218732 | 6332 79 | 57 | 104 270.15/270.22 c 268s | 17 | 2204385 | 220332 | 6332 79 | 57 | 104 272.15/272.25 c 270s | 17 | 2218475 | 222032 | 6332 80 | 57 | 104 274.25/274.30 c 272s | 17 | 2235502 | 223632 | 6332 80 | 57 | 104 276.25/276.37 c 274s | 17 | 2256091 | 225332 | 6332 81 | 57 | 104 278.25/278.38 c 276s | 17 | 2273898 | 227032 | 6332 81 | 57 | 104 280.35/280.44 c 278s | 17 | 2290317 | 228732 | 6332 82 | 57 | 104 282.45/282.50 c 280s | 17 | 2305824 | 230432 | 6332 82 | 57 | 104 284.45/284.55 c 282s | 17 | 2318654 | 232132 | 6332 83 | 57 | 104 286.55/286.64 c 285s | 17 | 2339147 | 233832 | 6332 83 | 57 | 104 288.55/288.69 c 287s | 17 | 2354640 | 235432 | 6332 84 | 57 | 104 290.55/290.69 c 289s | 17 | 2373343 | 237032 | 6332 84 | 57 | 104 292.75/292.85 c 291s | 17 | 2395692 | 238732 | 6332 85 | 57 | 104 294.75/294.88 c 293s | 17 | 2415946 | 240332 | 6332 85 | 57 | 104 296.85/296.94 c 295s | 17 | 2432099 | 242132 | 6332 86 | 57 | 104 298.85/298.96 c 297s | 17 | 2450624 | 243832 | 6332 86 | 57 | 104 300.95/301.08 c 299s | 17 | 2463373 | 245432 | 6332 87 | 57 | 104 303.04/303.18 c 301s | 17 | 2482163 | 247132 | 6332 87 | 57 | 104 305.14/305.26 c 303s | 17 | 2499331 | 248732 | 6332 88 | 57 | 104 307.24/307.33 c 305s | 17 | 2527562 | 250532 | 6332 88 | 57 | 104 309.34/309.45 c 307s | 17 | 2546631 | 252132 | 6332 89 | 57 | 104 311.64/311.74 c 310s | 17 | 2557314 | 253932 | 6332 89 | 57 | 104 313.74/313.82 c 312s | 17 | 2574528 | 255732 | 6332 90 | 57 | 104 315.75/315.86 c 314s | 17 | 2591062 | 257432 | 6332 90 | 57 | 104 317.74/317.88 c 316s | 17 | 2604200 | 259132 | 6332 91 | 57 | 104 319.84/319.95 c 318s | 17 | 2621057 | 260832 | 6332 91 | 57 | 104 321.94/322.04 c 320s | 17 | 2632601 | 262432 | 6332 92 | 57 | 104 324.04/324.14 c 322s | 17 | 2650203 | 264232 | 6332 92 | 57 | 104 326.14/326.22 c 324s | 17 | 2671560 | 266032 | 6332 93 | 57 | 104 328.14/328.25 c 326s | 17 | 2684769 | 267632 | 6332 93 | 57 | 104 330.14/330.27 c 328s | 17 | 2701763 | 269332 | 6332 94 | 57 | 104 332.25/332.34 c 330s | 17 | 2715018 | 271332 | 6332 94 | 57 | 104 334.24/334.38 c 332s | 17 | 2737209 | 273032 | 6332 95 | 57 | 104 336.34/336.42 c 334s | 17 | 2756681 | 274832 | 6332 95 | 57 | 104 338.34/338.47 c 336s | 17 | 2772594 | 276532 | 6332 96 | 57 | 104 340.44/340.53 c 338s | 17 | 2790193 | 278232 | 6332 96 | 57 | 104 342.44/342.59 c 341s | 17 | 2807662 | 279932 | 6332 97 | 57 | 104 344.54/344.65 c 343s | 17 | 2821448 | 281832 | 6332 97 | 57 | 104 346.54/346.68 c 345s | 17 | 2838767 | 283432 | 6332 98 | 57 | 104 348.64/348.72 c 347s | 17 | 2852087 | 285232 | 6332 98 | 57 | 104 350.63/350.75 c 349s | 17 | 2862725 | 286632 | 6332 99 | 57 | 104 352.73/352.83 c 351s | 17 | 2882104 | 288332 | 6332 99 | 57 | 104 354.83/354.94 c 353s | 17 | 2897861 | 290032 | 6332 100 | 57 | 104 356.93/357.05 c 355s | 17 | 2913677 | 291732 | 6332 100 | 57 | 104 359.03/359.12 c 357s | 17 | 2931288 | 293432 | 6332 101 | 57 | 104 361.03/361.14 c 359s | 17 | 2946637 | 295132 | 6966 101 | 57 | 104 362.13/362.20 c 360s | 18 | 2951210 | 296252 | 6966 101 | 57 | 104 364.14/364.29 c 362s | 18 | 2966933 | 297952 | 6966 102 | 57 | 104 366.24/366.35 c 364s | 18 | 2986452 | 299752 | 6966 102 | 57 | 104 368.33/368.46 c 366s | 18 | 3005813 | 301552 | 6966 103 | 57 | 104 370.43/370.55 c 368s | 18 | 3021906 | 303352 | 6966 103 | 57 | 104 372.53/372.65 c 371s | 18 | 3039154 | 305252 | 6966 104 | 57 | 104 374.63/374.77 c 373s | 18 | 3052626 | 306852 | 6966 104 | 57 | 104 376.73/376.81 c 375s | 18 | 3066416 | 308452 | 6966 104 | 57 | 104 378.83/378.90 c 377s | 18 | 3079465 | 310052 | 6966 105 | 57 | 104 380.83/380.93 c 379s | 18 | 3094809 | 311652 | 6966 105 | 57 | 104 382.84/382.99 c 381s | 18 | 3110748 | 313252 | 6966 106 | 57 | 104 384.83/385.00 c 383s | 18 | 3123392 | 315252 | 6966 106 | 57 | 104 387.03/387.12 c 385s | 18 | 3140710 | 317152 | 6966 107 | 57 | 104 389.03/389.14 c 387s | 18 | 3159398 | 318952 | 6966 107 | 57 | 104 391.13/391.20 c 389s | 18 | 3175094 | 320652 | 6966 108 | 57 | 104 393.23/393.31 c 391s | 18 | 3191553 | 322352 | 6966 108 | 57 | 104 395.23/395.38 c 393s | 18 | 3206343 | 323952 | 6966 109 | 57 | 104 397.33/397.40 c 395s | 18 | 3226962 | 325552 | 6966 109 | 57 | 104 399.43/399.51 c 397s | 18 | 3248220 | 327152 | 6966 109 | 57 | 104 401.43/401.52 c 399s | 18 | 3266077 | 328652 | 6966 110 | 57 | 104 403.53/403.64 c 402s | 18 | 3287991 | 330252 | 6966 110 | 57 | 104 405.53/405.65 c 404s | 18 | 3302691 | 331852 | 6966 111 | 57 | 104 407.53/407.66 c 406s | 18 | 3320264 | 333452 | 6966 111 | 57 | 104 409.62/409.74 c 408s | 18 | 3338137 | 335052 | 6966 112 | 57 | 104 411.72/411.81 c 410s | 18 | 3352088 | 336652 | 6966 112 | 57 | 104 413.72/413.88 c 412s | 18 | 3365622 | 338152 | 6966 112 | 57 | 104 415.73/415.89 c 414s | 18 | 3383277 | 339752 | 6966 113 | 57 | 104 417.93/418.01 c 416s | 18 | 3397449 | 341152 | 6966 113 | 57 | 104 419.92/420.05 c 418s | 18 | 3411140 | 342752 | 6966 114 | 57 | 104 421.92/422.05 c 420s | 18 | 3425340 | 344252 | 6966 114 | 57 | 104 423.92/424.08 c 422s | 18 | 3439624 | 345952 | 6966 114 | 57 | 104 426.02/426.17 c 424s | 18 | 3456749 | 347752 | 6966 115 | 57 | 104 428.12/428.20 c 426s | 18 | 3471147 | 349352 | 6966 115 | 57 | 104 430.13/430.26 c 428s | 18 | 3488910 | 350852 | 6966 116 | 57 | 104 432.22/432.31 c 430s | 18 | 3510271 | 352452 | 6966 116 | 57 | 104 434.23/434.38 c 432s | 18 | 3525651 | 354052 | 6966 117 | 57 | 104 436.32/436.49 c 434s | 18 | 3540217 | 355552 | 6966 117 | 57 | 104 438.52/438.60 c 437s | 18 | 3555717 | 357252 | 6966 117 | 57 | 104 440.52/440.69 c 439s | 18 | 3572809 | 358852 | 6966 118 | 57 | 104 442.62/442.70 c 441s | 18 | 3589379 | 360452 | 6966 118 | 57 | 104 444.62/444.70 c 443s | 18 | 3603353 | 361752 | 6966 119 | 57 | 104 446.63/446.73 c 445s | 18 | 3618009 | 363352 | 6966 119 | 57 | 104 448.73/448.84 c 447s | 18 | 3633308 | 364952 | 6966 120 | 57 | 104 450.82/450.92 c 449s | 18 | 3648796 | 366652 | 6966 120 | 57 | 104 452.82/452.97 c 451s | 18 | 3658729 | 368152 | 6966 120 | 57 | 104 454.92/455.01 c 453s | 18 | 3673260 | 369652 | 6966 121 | 57 | 104 456.92/457.01 c 455s | 18 | 3688966 | 371252 | 6966 121 | 57 | 104 458.92/459.04 c 457s | 18 | 3702724 | 372652 | 6966 122 | 57 | 104 460.93/461.07 c 459s | 18 | 3722662 | 374252 | 6966 122 | 57 | 104 462.92/463.09 c 461s | 18 | 3740570 | 375852 | 6966 122 | 57 | 104 465.02/465.16 c 463s | 18 | 3757823 | 377552 | 6966 123 | 57 | 104 467.12/467.26 c 465s | 18 | 3774630 | 379152 | 6966 123 | 57 | 104 469.22/469.33 c 467s | 18 | 3792497 | 380852 | 6966 124 | 57 | 104 471.22/471.34 c 469s | 18 | 3809816 | 382652 | 6966 124 | 57 | 104 473.32/473.42 c 471s | 18 | 3825390 | 384352 | 6966 125 | 57 | 104 475.42/475.50 c 473s | 18 | 3837505 | 385952 | 6966 125 | 57 | 104 477.52/477.61 c 476s | 18 | 3848021 | 387552 | 6966 126 | 57 | 104 479.52/479.68 c 478s | 18 | 3863480 | 389252 | 6966 126 | 57 | 104 481.61/481.76 c 480s | 18 | 3884141 | 390952 | 6966 126 | 57 | 104 483.61/483.76 c 482s | 18 | 3898998 | 392552 | 6966 127 | 57 | 104 485.61/485.79 c 484s | 18 | 3922758 | 394252 | 6966 127 | 57 | 104 487.71/487.82 c 486s | 18 | 3942181 | 395952 | 6966 128 | 57 | 104 489.71/489.87 c 488s | 18 | 3965519 | 397652 | 6966 128 | 57 | 104 491.81/491.94 c 490s | 18 | 3981901 | 399352 | 6966 129 | 57 | 104 493.92/494.03 c 492s | 18 | 4007778 | 401152 | 6966 129 | 57 | 104 495.91/496.08 c 494s | 18 | 4021999 | 402852 | 6966 130 | 57 | 104 498.01/498.19 c 496s | 18 | 4035111 | 404552 | 6966 130 | 57 | 104 500.21/500.32 c 498s | 18 | 4053770 | 406252 | 6966 131 | 57 | 104 502.31/502.40 c 500s | 18 | 4075788 | 407952 | 6966 131 | 57 | 104 504.31/504.43 c 502s | 18 | 4100278 | 409652 | 6966 131 | 57 | 104 506.31/506.45 c 504s | 18 | 4114976 | 411252 | 6966 132 | 57 | 104 508.31/508.48 c 506s | 18 | 4133784 | 412952 | 6966 132 | 57 | 104 510.42/510.53 c 508s | 18 | 4159946 | 414652 | 6966 133 | 57 | 104 512.41/512.56 c 510s | 18 | 4178175 | 416352 | 6966 133 | 57 | 104 514.61/514.71 c 513s | 18 | 4195834 | 418052 | 6966 134 | 57 | 104 516.61/516.72 c 515s | 18 | 4218151 | 419752 | 6966 134 | 57 | 104 518.61/518.79 c 517s | 18 | 4239163 | 421452 | 6966 135 | 57 | 104 520.71/520.87 c 519s | 18 | 4255327 | 423052 | 6966 135 | 57 | 104 522.81/522.96 c 521s | 18 | 4272150 | 424852 | 6966 135 | 57 | 104 524.81/524.99 c 523s | 18 | 4286233 | 426552 | 6966 136 | 57 | 104 526.91/527.05 c 525s | 18 | 4307878 | 428252 | 6966 136 | 57 | 104 528.91/529.08 c 527s | 18 | 4322640 | 429952 | 6966 137 | 57 | 104 531.01/531.14 c 529s | 18 | 4338766 | 431552 | 6966 137 | 57 | 104 533.01/533.17 c 531s | 18 | 4354837 | 433152 | 6966 138 | 57 | 104 535.01/535.17 c 533s | 18 | 4368498 | 434752 | 6966 138 | 57 | 104 537.11/537.23 c 535s | 18 | 4383560 | 436352 | 6966 139 | 57 | 104 539.21/539.33 c 537s | 18 | 4396963 | 437952 | 6966 139 | 57 | 104 541.31/541.42 c 539s | 18 | 4414330 | 439552 | 6966 139 | 57 | 104 543.31/543.47 c 541s | 18 | 4434444 | 441152 | 6966 140 | 57 | 104 545.30/545.48 c 543s | 18 | 4460092 | 442652 | 7663 140 | 57 | 104 547.30/547.49 c 545s | 18 | 4482800 | 444152 | 7663 140 | 57 | 104 547.81/547.91 c 546s | 19 | 4486539 | 444482 | 7663 140 | 57 | 104 549.80/549.93 c 548s | 19 | 4502538 | 446182 | 7663 141 | 57 | 104 551.80/551.98 c 550s | 19 | 4522197 | 447982 | 7663 141 | 57 | 104 553.90/554.08 c 552s | 19 | 4538492 | 449782 | 7663 142 | 57 | 104 555.90/556.09 c 554s | 19 | 4557510 | 451382 | 7663 142 | 57 | 104 558.00/558.11 c 556s | 19 | 4575314 | 452982 | 7663 143 | 57 | 104 560.10/560.22 c 558s | 19 | 4595884 | 454882 | 7663 143 | 57 | 104 562.11/562.26 c 560s | 19 | 4608235 | 456482 | 7663 143 | 57 | 104 564.21/564.36 c 562s | 19 | 4625634 | 458282 | 7663 144 | 57 | 104 566.30/566.42 c 564s | 19 | 4644468 | 460082 | 7663 144 | 57 | 104 568.30/568.49 c 566s | 19 | 4660200 | 461682 | 7663 145 | 57 | 104 570.40/570.50 c 568s | 19 | 4679395 | 463282 | 7663 145 | 57 | 104 572.50/572.66 c 571s | 19 | 4697236 | 464882 | 7663 145 | 57 | 104 574.60/574.78 c 573s | 19 | 4715438 | 466482 | 7663 146 | 57 | 104 576.70/576.88 c 575s | 19 | 4727784 | 468082 | 7663 146 | 57 | 104 578.80/578.99 c 577s | 19 | 4756074 | 469682 | 7663 147 | 57 | 104 581.00/581.13 c 579s | 19 | 4774936 | 471482 | 7663 147 | 57 | 104 583.00/583.18 c 581s | 19 | 4802452 | 472982 | 7663 147 | 57 | 104 585.10/585.24 c 583s | 19 | 4826877 | 474682 | 7663 148 | 57 | 104 587.19/587.36 c 585s | 19 | 4844830 | 476382 | 7663 148 | 57 | 104 589.19/589.36 c 587s | 19 | 4862696 | 477882 | 7663 149 | 57 | 104 591.19/591.38 c 589s | 19 | 4878615 | 479382 | 7663 149 | 57 | 104 593.29/593.41 c 591s | 19 | 4899600 | 481082 | 7663 149 | 57 | 104 595.39/595.51 c 593s | 19 | 4918112 | 482682 | 7663 150 | 57 | 104 597.39/597.55 c 595s | 19 | 4936046 | 484382 | 7663 150 | 57 | 104 599.50/599.63 c 598s | 19 | 4956450 | 485782 | 7663 151 | 57 | 104 601.49/601.67 c 600s | 19 | 4974580 | 487382 | 7663 151 | 57 | 104 603.59/603.71 c 602s | 19 | 4989676 | 489182 | 7663 151 | 57 | 104 605.69/605.82 c 604s | 19 | 5005281 | 490782 | 7663 152 | 57 | 104 607.79/607.90 c 606s | 19 | 5023009 | 492482 | 7663 152 | 57 | 104 609.79/609.91 c 608s | 19 | 5038862 | 494082 | 7663 153 | 57 | 104 611.79/611.93 c 610s | 19 | 5061048 | 495682 | 7663 153 | 57 | 104 613.89/614.01 c 612s | 19 | 5079122 | 497382 | 7663 153 | 57 | 104 616.00/616.14 c 614s | 19 | 5102100 | 498982 | 7663 154 | 57 | 104 617.99/618.14 c 616s | 19 | 5124775 | 500682 | 7663 154 | 57 | 104 620.09/620.20 c 618s | 19 | 5142366 | 502282 | 7663 155 | 57 | 104 622.19/622.30 c 620s | 19 | 5161078 | 503982 | 7663 155 | 57 | 104 624.19/624.32 c 622s | 19 | 5175847 | 505482 | 7663 155 | 57 | 104 626.19/626.34 c 624s | 19 | 5193330 | 507182 | 7663 156 | 57 | 104 628.19/628.34 c 626s | 19 | 5212941 | 508782 | 7663 156 | 57 | 104 630.30/630.42 c 628s | 19 | 5227032 | 510582 | 7663 157 | 57 | 104 632.39/632.51 c 630s | 19 | 5244006 | 512282 | 7663 157 | 57 | 104 634.40/634.54 c 632s | 19 | 5259550 | 513982 | 7663 157 | 57 | 104 636.40/636.55 c 634s | 19 | 5273270 | 515682 | 7663 158 | 57 | 104 638.50/638.64 c 637s | 19 | 5289136 | 517482 | 7663 158 | 57 | 104 640.60/640.70 c 639s | 19 | 5303132 | 519082 | 7663 159 | 57 | 104 642.60/642.71 c 641s | 19 | 5316681 | 520482 | 7663 159 | 57 | 104 644.60/644.77 c 643s | 19 | 5335621 | 522082 | 7663 159 | 57 | 104 646.59/646.78 c 645s | 19 | 5351155 | 523482 | 7663 160 | 57 | 104 648.69/648.81 c 647s | 19 | 5371902 | 525182 | 7663 160 | 57 | 104 650.69/650.88 c 649s | 19 | 5387976 | 526882 | 7663 161 | 57 | 104 652.69/652.89 c 651s | 19 | 5402885 | 528482 | 7663 161 | 57 | 104 654.79/654.90 c 653s | 19 | 5422722 | 529982 | 7663 161 | 57 | 104 656.79/656.91 c 655s | 19 | 5436440 | 531482 | 7663 162 | 57 | 104 658.90/659.02 c 657s | 19 | 5454179 | 533182 | 7663 162 | 57 | 104 660.89/661.06 c 659s | 19 | 5468885 | 534982 | 7663 162 | 57 | 104 662.89/663.07 c 661s | 19 | 5484037 | 536682 | 7663 163 | 57 | 104 664.99/665.10 c 663s | 19 | 5500490 | 538382 | 7663 163 | 57 | 104 667.09/667.20 c 665s | 19 | 5517985 | 540082 | 7663 164 | 57 | 104 669.09/669.21 c 667s | 19 | 5541231 | 541582 | 7663 164 | 57 | 104 671.09/671.22 c 669s | 19 | 5562373 | 543082 | 7663 164 | 57 | 104 673.10/673.25 c 671s | 19 | 5579356 | 544782 | 7663 165 | 57 | 104 675.19/675.33 c 673s | 19 | 5596644 | 546482 | 7663 165 | 57 | 104 677.19/677.34 c 675s | 19 | 5611883 | 548182 | 7663 166 | 57 | 104 679.19/679.36 c 677s | 19 | 5632020 | 549682 | 7663 166 | 57 | 104 681.29/681.44 c 679s | 19 | 5645891 | 551482 | 7663 167 | 57 | 104 683.39/683.51 c 681s | 19 | 5665916 | 553182 | 7663 167 | 57 | 104 685.39/685.58 c 684s | 19 | 5686527 | 554982 | 7663 167 | 57 | 104 687.49/687.63 c 686s | 19 | 5703292 | 556682 | 7663 168 | 57 | 104 689.49/689.65 c 688s | 19 | 5719542 | 558282 | 7663 168 | 57 | 104 691.59/691.77 c 690s | 19 | 5734588 | 559982 | 7663 169 | 57 | 104 693.69/693.83 c 692s | 19 | 5749341 | 561582 | 7663 169 | 57 | 104 695.79/695.91 c 694s | 19 | 5763818 | 563182 | 7663 169 | 57 | 104 697.88/698.03 c 696s | 19 | 5778335 | 564782 | 7663 170 | 57 | 104 699.88/700.05 c 698s | 19 | 5794319 | 566482 | 7663 170 | 57 | 104 701.88/702.10 c 700s | 19 | 5806531 | 568182 | 7663 171 | 57 | 104 703.99/704.14 c 702s | 19 | 5822120 | 569682 | 7663 171 | 57 | 104 706.09/706.24 c 704s | 19 | 5839271 | 571382 | 7663 171 | 57 | 104 708.29/708.40 c 706s | 19 | 5854866 | 572982 | 7663 172 | 57 | 104 710.38/710.52 c 708s | 19 | 5869691 | 574682 | 7663 172 | 57 | 104 712.48/712.65 c 711s | 19 | 5883419 | 576382 | 7663 173 | 57 | 104 714.48/714.68 c 713s | 19 | 5896504 | 577982 | 7663 173 | 57 | 104 716.68/716.80 c 715s | 19 | 5906963 | 579482 | 7663 173 | 57 | 104 718.68/718.81 c 717s | 19 | 5919571 | 580982 | 7663 174 | 57 | 104 720.68/720.88 c 719s | 19 | 5930002 | 582582 | 7663 174 | 57 | 104 722.78/722.99 c 721s | 19 | 5949083 | 584382 | 7663 174 | 57 | 104 724.98/725.10 c 723s | 19 | 5960451 | 585782 | 7663 175 | 57 | 104 726.99/727.10 c 725s | 19 | 5982085 | 587482 | 7663 175 | 57 | 104 728.98/729.13 c 727s | 19 | 5999490 | 588982 | 7663 176 | 57 | 104 731.08/731.22 c 729s | 19 | 6015359 | 590882 | 7663 176 | 57 | 104 733.18/733.34 c 731s | 19 | 6034171 | 592782 | 7663 177 | 57 | 104 735.28/735.40 c 733s | 19 | 6050285 | 595082 | 7663 177 | 57 | 104 737.38/737.51 c 735s | 19 | 6067123 | 596682 | 7663 177 | 57 | 104 739.48/739.63 c 738s | 19 | 6084337 | 598282 | 7663 178 | 57 | 104 741.58/741.75 c 740s | 19 | 6104587 | 599982 | 7663 178 | 57 | 104 743.68/743.83 c 742s | 19 | 6120345 | 601282 | 7663 179 | 57 | 104 745.68/745.85 c 744s | 19 | 6141998 | 602982 | 7663 179 | 57 | 104 747.77/747.90 c 746s | 19 | 6158399 | 604482 | 7663 179 | 57 | 104 749.77/749.95 c 748s | 19 | 6182364 | 606082 | 7663 180 | 57 | 104 751.87/752.07 c 750s | 19 | 6204635 | 607682 | 7663 180 | 57 | 104 753.97/754.19 c 752s | 19 | 6224036 | 609282 | 7663 181 | 57 | 104 756.07/756.27 c 754s | 19 | 6243256 | 610882 | 7663 181 | 57 | 104 758.17/758.30 c 756s | 19 | 6256098 | 612482 | 7663 181 | 57 | 104 760.17/760.31 c 758s | 19 | 6270189 | 614282 | 7663 182 | 57 | 104 762.18/762.33 c 760s | 19 | 6280643 | 615782 | 7663 182 | 57 | 104 764.17/764.36 c 762s | 19 | 6300696 | 617382 | 7663 183 | 57 | 104 766.17/766.38 c 764s | 19 | 6325241 | 619282 | 7663 183 | 57 | 104 768.27/768.40 c 766s | 19 | 6340888 | 620882 | 7663 183 | 57 | 104 770.27/770.42 c 768s | 19 | 6366506 | 622482 | 7663 184 | 57 | 104 772.27/772.45 c 770s | 19 | 6388953 | 624082 | 7663 184 | 57 | 104 774.38/774.52 c 772s | 19 | 6405307 | 625682 | 7663 185 | 57 | 104 776.37/776.60 c 775s | 19 | 6425363 | 627382 | 7663 185 | 57 | 104 778.47/778.65 c 777s | 19 | 6443985 | 629082 | 7663 185 | 57 | 104 780.47/780.66 c 779s | 19 | 6460149 | 630782 | 7663 186 | 57 | 104 782.57/782.74 c 781s | 19 | 6478398 | 632482 | 7663 186 | 57 | 104 784.67/784.80 c 783s | 19 | 6497476 | 634182 | 7663 187 | 57 | 104 786.67/786.85 c 785s | 19 | 6515854 | 635882 | 7663 187 | 57 | 104 788.67/788.89 c 787s | 19 | 6530027 | 637582 | 7663 187 | 57 | 104 790.87/791.01 c 789s | 19 | 6554714 | 639182 | 7663 188 | 57 | 104 792.86/793.10 c 791s | 19 | 6579714 | 640882 | 7663 188 | 57 | 104 794.96/795.12 c 793s | 19 | 6597812 | 642382 | 7663 189 | 57 | 104 797.06/797.21 c 795s | 19 | 6614575 | 643982 | 7663 189 | 57 | 104 799.16/799.36 c 797s | 19 | 6630008 | 645582 | 7663 189 | 57 | 104 801.26/801.44 c 799s | 19 | 6643291 | 647282 | 7663 190 | 57 | 104 803.26/803.46 c 801s | 19 | 6657603 | 648782 | 7663 190 | 57 | 104 805.36/805.58 c 804s | 19 | 6677010 | 650582 | 7663 191 | 57 | 104 807.46/807.65 c 806s | 19 | 6693921 | 652182 | 7663 191 | 57 | 104 809.47/809.69 c 808s | 19 | 6708915 | 653782 | 7663 191 | 57 | 104 811.56/811.74 c 810s | 19 | 6729297 | 655282 | 7663 192 | 57 | 104 813.56/813.78 c 812s | 19 | 6747086 | 656882 | 7663 192 | 57 | 104 815.76/815.91 c 814s | 19 | 6760593 | 658482 | 7663 193 | 57 | 104 817.86/818.03 c 816s | 19 | 6772409 | 660182 | 7663 193 | 57 | 104 819.96/820.10 c 818s | 19 | 6786130 | 661682 | 7663 193 | 57 | 104 822.06/822.23 c 820s | 19 | 6802255 | 663182 | 8430 193 | 57 | 104 824.06/824.29 c 822s | 19 | 6815181 | 664682 | 8430 194 | 57 | 104 826.16/826.32 c 824s | 19 | 6830742 | 666082 | 8430 194 | 57 | 104 827.17/827.39 c 825s | 20 | 6836712 | 666827 | 8430 194 | 57 | 104 829.37/829.56 c 827s | 20 | 6848605 | 668227 | 8430 195 | 57 | 104 831.37/831.60 c 830s | 20 | 6858141 | 669627 | 8430 195 | 57 | 104 833.57/833.71 c 832s | 20 | 6874570 | 671227 | 8430 195 | 57 | 104 835.67/835.84 c 834s | 20 | 6894036 | 672727 | 8430 196 | 57 | 104 837.67/837.87 c 836s | 20 | 6906576 | 674127 | 8430 196 | 57 | 104 839.77/839.97 c 838s | 20 | 6918923 | 675627 | 8430 196 | 57 | 104 841.87/842.07 c 840s | 20 | 6931460 | 677127 | 8430 197 | 57 | 104 843.86/844.09 c 842s | 20 | 6944227 | 678527 | 8430 197 | 57 | 104 846.06/846.23 c 844s | 20 | 6957541 | 679927 | 8430 197 | 57 | 104 848.07/848.28 c 846s | 20 | 6974140 | 681627 | 8430 198 | 57 | 104 850.17/850.36 c 848s | 20 | 6990560 | 683427 | 8430 198 | 57 | 104 852.26/852.42 c 850s | 20 | 7010157 | 685327 | 8430 198 | 57 | 104 854.26/854.43 c 852s | 20 | 7027291 | 687027 | 8430 199 | 57 | 104 856.36/856.51 c 854s | 20 | 7043849 | 688727 | 8430 199 | 57 | 104 858.36/858.52 c 856s | 20 | 7059655 | 690427 | 8430 200 | 57 | 104 860.36/860.58 c 859s | 20 | 7086168 | 692327 | 8430 200 | 57 | 104 862.46/862.62 c 861s | 20 | 7105490 | 693927 | 8430 200 | 57 | 104 864.57/864.72 c 863s | 20 | 7121319 | 695527 | 8430 201 | 57 | 104 866.67/866.81 c 865s | 20 | 7136378 | 697227 | 8430 201 | 57 | 104 868.66/868.81 c 867s | 20 | 7146645 | 699127 | 8430 201 | 57 | 104 870.66/870.83 c 869s | 20 | 7162967 | 700827 | 8430 202 | 57 | 104 872.66/872.89 c 871s | 20 | 7180942 | 702527 | 8430 202 | 57 | 104 874.76/874.93 c 873s | 20 | 7193558 | 704127 | 8430 203 | 57 | 104 876.76/876.95 c 875s | 20 | 7211586 | 705927 | 8430 203 | 57 | 104 878.86/879.01 c 877s | 20 | 7222376 | 707427 | 8430 203 | 57 | 104 880.86/881.02 c 879s | 20 | 7232370 | 708827 | 8430 204 | 57 | 104 882.86/883.08 c 881s | 20 | 7249615 | 710627 | 8430 204 | 57 | 104 884.96/885.12 c 883s | 20 | 7264456 | 712227 | 8430 204 | 57 | 104 886.96/887.19 c 885s | 20 | 7279884 | 714027 | 8430 205 | 57 | 104 889.05/889.21 c 887s | 20 | 7292967 | 715727 | 8430 205 | 57 | 104 891.15/891.34 c 889s | 20 | 7309882 | 717427 | 8430 206 | 57 | 104 893.16/893.39 c 891s | 20 | 7322343 | 719027 | 8430 206 | 57 | 104 895.15/895.39 c 893s | 20 | 7336818 | 720627 | 8430 206 | 57 | 104 897.25/897.49 c 895s | 20 | 7346058 | 722527 | 8430 207 | 57 | 104 899.35/899.56 c 898s | 20 | 7361497 | 724027 | 8430 207 | 57 | 104 901.45/901.63 c 900s | 20 | 7383781 | 725727 | 8430 207 | 57 | 104 903.45/903.68 c 902s | 20 | 7403229 | 727327 | 8430 208 | 57 | 104 905.65/905.80 c 904s | 20 | 7421116 | 729027 | 8430 208 | 57 | 104 907.65/907.82 c 906s | 20 | 7439521 | 730627 | 8430 208 | 57 | 104 909.66/909.82 c 908s | 20 | 7453993 | 732227 | 8430 209 | 57 | 104 911.76/911.96 c 910s | 20 | 7466809 | 733827 | 8430 209 | 57 | 104 913.85/914.03 c 912s | 20 | 7479730 | 735327 | 8430 210 | 57 | 104 915.85/916.03 c 914s | 20 | 7493754 | 736927 | 8430 210 | 57 | 104 917.85/918.05 c 916s | 20 | 7509979 | 738527 | 8430 210 | 57 | 104 919.95/920.10 c 918s | 20 | 7522443 | 740027 | 8430 211 | 57 | 104 921.95/922.14 c 920s | 20 | 7538586 | 741727 | 8430 211 | 57 | 104 923.96/924.17 c 922s | 20 | 7552489 | 743227 | 8430 211 | 57 | 104 926.05/926.26 c 924s | 20 | 7565241 | 744527 | 8430 212 | 57 | 104 928.05/928.29 c 926s | 20 | 7577519 | 746027 | 8430 212 | 57 | 104 930.15/930.36 c 928s | 20 | 7593625 | 747427 | 8430 212 | 57 | 104 932.15/932.39 c 930s | 20 | 7610687 | 749127 | 8430 213 | 57 | 104 934.35/934.50 c 932s | 20 | 7626372 | 750827 | 8430 213 | 57 | 104 936.45/936.60 c 935s | 20 | 7636343 | 752327 | 8430 213 | 57 | 104 938.45/938.60 c 937s | 20 | 7649923 | 753827 | 8430 214 | 57 | 104 940.45/940.66 c 939s | 20 | 7669069 | 755427 | 8430 214 | 57 | 104 942.55/942.73 c 941s | 20 | 7693703 | 757027 | 8430 214 | 57 | 104 944.64/944.83 c 943s | 20 | 7710467 | 758627 | 8430 215 | 57 | 104 946.74/946.90 c 945s | 20 | 7726156 | 760227 | 8430 215 | 57 | 104 948.74/948.92 c 947s | 20 | 7737718 | 761627 | 8430 215 | 57 | 104 950.74/950.98 c 949s | 20 | 7757271 | 763327 | 8430 216 | 57 | 104 952.94/953.11 c 951s | 20 | 7772523 | 765127 | 8430 216 | 57 | 104 955.04/955.20 c 953s | 20 | 7791799 | 766727 | 8430 216 | 57 | 104 957.04/957.29 c 955s | 20 | 7804763 | 768327 | 8430 217 | 57 | 104 959.15/959.34 c 957s | 20 | 7820489 | 769927 | 8430 217 | 57 | 104 961.14/961.36 c 959s | 20 | 7835460 | 771427 | 8430 218 | 57 | 104 963.24/963.41 c 961s | 20 | 7853148 | 773027 | 8430 218 | 57 | 104 965.24/965.50 c 963s | 20 | 7870370 | 774527 | 8430 218 | 57 | 104 967.34/967.52 c 965s | 20 | 7881366 | 776027 | 8430 219 | 57 | 104 969.44/969.62 c 968s | 20 | 7895224 | 777627 | 8430 219 | 57 | 104 971.44/971.67 c 970s | 20 | 7910788 | 779127 | 8430 219 | 57 | 104 973.54/973.74 c 972s | 20 | 7931360 | 780927 | 8430 220 | 57 | 104 975.64/975.83 c 974s | 20 | 7945325 | 782627 | 8430 220 | 57 | 104 977.64/977.88 c 976s | 20 | 7959043 | 784127 | 8430 220 | 57 | 104 979.64/979.89 c 978s | 20 | 7970255 | 785627 | 8430 221 | 57 | 104 981.74/981.98 c 980s | 20 | 7982386 | 787127 | 8430 221 | 57 | 104 983.84/984.08 c 982s | 20 | 7993571 | 788727 | 8430 221 | 57 | 104 985.94/986.13 c 984s | 20 | 8004799 | 790127 | 8430 222 | 57 | 104 988.04/988.20 c 986s | 20 | 8013500 | 791527 | 8430 222 | 57 | 104 990.03/990.26 c 988s | 20 | 8030155 | 793127 | 8430 222 | 57 | 104 992.14/992.39 c 990s | 20 | 8047766 | 794727 | 8430 223 | 57 | 104 994.34/994.51 c 992s | 20 | 8066368 | 796427 | 8430 223 | 57 | 104 996.33/996.55 c 994s | 20 | 8079731 | 797827 | 8430 223 | 57 | 104 998.33/998.58 c 997s | 20 | 8097012 | 799327 | 8430 224 | 57 | 104 1000.53/1000.70 c 999s | 20 | 8114897 | 800827 | 8430 224 | 57 | 104 1002.53/1002.74 c 1001s | 20 | 8130161 | 802427 | 8430 224 | 57 | 104 1004.64/1004.80 c 1003s | 20 | 8144840 | 804027 | 8430 225 | 57 | 104 1006.74/1006.91 c 1005s | 20 | 8157528 | 805727 | 8430 225 | 57 | 104 1008.74/1008.94 c 1007s | 20 | 8172949 | 807427 | 8430 226 | 57 | 104 1010.75/1010.94 c 1009s | 20 | 8187663 | 809027 | 8430 226 | 57 | 104 1012.74/1012.96 c 1011s | 20 | 8201542 | 810427 | 8430 226 | 57 | 104 1014.84/1015.04 c 1013s | 20 | 8216562 | 812027 | 8430 227 | 57 | 104 1016.94/1017.12 c 1015s | 20 | 8228481 | 813627 | 8430 227 | 57 | 104 1018.94/1019.13 c 1017s | 20 | 8243141 | 815027 | 8430 227 | 57 | 104 1020.94/1021.17 c 1019s | 20 | 8259456 | 816527 | 8430 228 | 57 | 104 1023.04/1023.25 c 1021s | 20 | 8278123 | 818127 | 8430 228 | 57 | 104 1025.04/1025.26 c 1023s | 20 | 8293122 | 819627 | 8430 228 | 57 | 104 1027.04/1027.29 c 1025s | 20 | 8306472 | 821127 | 8430 229 | 57 | 104 1029.14/1029.34 c 1027s | 20 | 8316635 | 822527 | 8430 229 | 57 | 104 1031.24/1031.40 c 1029s | 20 | 8328233 | 824027 | 8430 229 | 57 | 104 1033.24/1033.46 c 1031s | 20 | 8338719 | 825427 | 8430 230 | 57 | 104 1035.34/1035.53 c 1033s | 20 | 8352624 | 827027 | 8430 230 | 57 | 104 1037.44/1037.63 c 1036s | 20 | 8368404 | 828527 | 8430 230 | 57 | 104 1039.44/1039.67 c 1038s | 20 | 8381614 | 830027 | 8430 231 | 57 | 104 1041.54/1041.75 c 1040s | 20 | 8400146 | 831727 | 8430 231 | 57 | 104 1043.63/1043.80 c 1042s | 20 | 8413760 | 833227 | 8430 231 | 57 | 104 1045.63/1045.84 c 1044s | 20 | 8425738 | 834727 | 8430 232 | 57 | 104 1047.63/1047.90 c 1046s | 20 | 8440755 | 836327 | 8430 232 | 57 | 104 1049.73/1049.92 c 1048s | 20 | 8453769 | 837627 | 8430 232 | 57 | 104 1051.73/1051.93 c 1050s | 20 | 8478050 | 839327 | 8430 233 | 57 | 104 1053.74/1053.93 c 1052s | 20 | 8488842 | 840627 | 8430 233 | 57 | 104 1055.73/1055.97 c 1054s | 20 | 8503826 | 842227 | 8430 233 | 57 | 104 1057.83/1058.03 c 1056s | 20 | 8515877 | 843727 | 8430 234 | 57 | 104 1059.83/1060.08 c 1058s | 20 | 8531743 | 845127 | 8430 234 | 57 | 104 1062.03/1062.20 c 1060s | 20 | 8546426 | 846627 | 8430 234 | 57 | 104 1064.13/1064.32 c 1062s | 20 | 8563805 | 848227 | 8430 235 | 57 | 104 1066.23/1066.40 c 1064s | 20 | 8583557 | 850027 | 8430 235 | 57 | 104 1068.33/1068.51 c 1066s | 20 | 8602691 | 851727 | 8430 235 | 57 | 104 1070.33/1070.51 c 1068s | 20 | 8618396 | 853227 | 8430 236 | 57 | 104 1072.44/1072.61 c 1071s | 20 | 8632047 | 854927 | 8430 236 | 57 | 104 1074.53/1074.74 c 1073s | 20 | 8652270 | 856527 | 8430 236 | 57 | 104 1076.63/1076.85 c 1075s | 20 | 8670016 | 858127 | 8430 237 | 57 | 104 1078.73/1078.93 c 1077s | 20 | 8687156 | 859727 | 8430 237 | 57 | 104 1080.73/1080.96 c 1079s | 20 | 8701599 | 861227 | 8430 238 | 57 | 104 1082.73/1082.97 c 1081s | 20 | 8718276 | 862727 | 8430 238 | 57 | 104 1084.83/1085.03 c 1083s | 20 | 8736522 | 864327 | 8430 238 | 57 | 104 1086.92/1087.10 c 1085s | 20 | 8754580 | 865927 | 8430 239 | 57 | 104 1088.93/1089.12 c 1087s | 20 | 8773096 | 867327 | 8430 239 | 57 | 104 1090.92/1091.14 c 1089s | 20 | 8786750 | 868827 | 8430 239 | 57 | 104 1093.02/1093.22 c 1091s | 20 | 8805097 | 870427 | 8430 240 | 57 | 104 1095.12/1095.32 c 1093s | 20 | 8821749 | 872127 | 8430 240 | 57 | 104 1097.22/1097.42 c 1095s | 20 | 8836059 | 873827 | 8430 240 | 57 | 104 1099.32/1099.50 c 1097s | 20 | 8854613 | 875427 | 8430 241 | 57 | 104 1101.32/1101.59 c 1100s | 20 | 8871560 | 877227 | 8430 241 | 57 | 104 1103.42/1103.60 c 1102s | 20 | 8888085 | 878827 | 8430 241 | 57 | 104 1105.43/1105.67 c 1104s | 20 | 8904961 | 880527 | 8430 242 | 57 | 104 1107.53/1107.72 c 1106s | 20 | 8920573 | 882127 | 8430 242 | 57 | 104 1109.62/1109.89 c 1108s | 20 | 8932546 | 883627 | 8430 243 | 57 | 104 1111.72/1111.91 c 1110s | 20 | 8946260 | 885127 | 8430 243 | 57 | 104 1113.72/1113.92 c 1112s | 20 | 8959721 | 886627 | 8430 243 | 57 | 104 1115.92/1116.10 c 1114s | 20 | 8977761 | 888127 | 8430 244 | 57 | 104 1117.92/1118.15 c 1116s | 20 | 8993330 | 889627 | 8430 244 | 57 | 104 1120.02/1120.26 c 1118s | 20 | 9008295 | 891227 | 8430 244 | 57 | 104 1122.12/1122.35 c 1120s | 20 | 9021969 | 892827 | 8430 245 | 57 | 104 1124.22/1124.42 c 1122s | 20 | 9036371 | 894327 | 8430 245 | 57 | 104 1126.32/1126.54 c 1124s | 20 | 9048162 | 895827 | 8430 245 | 57 | 104 1128.32/1128.54 c 1126s | 20 | 9062245 | 897527 | 8430 246 | 57 | 104 1130.42/1130.62 c 1129s | 20 | 9080662 | 899127 | 8430 246 | 57 | 104 1132.42/1132.63 c 1131s | 20 | 9092276 | 900627 | 8430 246 | 57 | 104 1134.42/1134.64 c 1133s | 20 | 9105336 | 902227 | 8430 247 | 57 | 104 1136.52/1136.71 c 1135s | 20 | 9119602 | 903927 | 8430 247 | 57 | 104 1138.62/1138.84 c 1137s | 20 | 9139573 | 905627 | 8430 247 | 57 | 104 1140.72/1140.90 c 1139s | 20 | 9159448 | 907327 | 8430 248 | 57 | 104 1142.82/1143.05 c 1141s | 20 | 9174826 | 908927 | 8430 248 | 57 | 104 1144.92/1145.13 c 1143s | 20 | 9195448 | 910627 | 8430 249 | 57 | 104 1147.01/1147.26 c 1145s | 20 | 9211759 | 912327 | 8430 249 | 57 | 104 1149.11/1149.33 c 1147s | 20 | 9225893 | 914027 | 8430 249 | 57 | 104 1151.11/1151.35 c 1149s | 20 | 9237816 | 915527 | 8430 250 | 57 | 104 1153.21/1153.48 c 1151s | 20 | 9249416 | 917227 | 8430 250 | 57 | 104 1155.41/1155.69 c 1154s | 20 | 9265031 | 918827 | 8430 250 | 57 | 104 1157.51/1157.79 c 1156s | 20 | 9280553 | 920427 | 8430 251 | 57 | 104 1159.61/1159.87 c 1158s | 20 | 9301058 | 922127 | 8430 251 | 57 | 104 1161.71/1161.98 c 1160s | 20 | 9312863 | 923627 | 8430 251 | 57 | 104 1163.72/1163.98 c 1162s | 20 | 9328934 | 925227 | 8430 252 | 57 | 104 1165.82/1166.02 c 1164s | 20 | 9346688 | 926927 | 8430 252 | 57 | 104 1167.91/1168.12 c 1166s | 20 | 9366571 | 928527 | 8430 253 | 57 | 104 1169.91/1170.16 c 1168s | 20 | 9380038 | 930027 | 8430 253 | 57 | 104 1172.01/1172.23 c 1170s | 20 | 9390849 | 931627 | 8430 253 | 57 | 104 1174.01/1174.27 c 1172s | 20 | 9404874 | 933127 | 8430 254 | 57 | 104 1176.11/1176.37 c 1174s | 20 | 9416173 | 934727 | 8430 254 | 57 | 104 1178.21/1178.45 c 1176s | 20 | 9435236 | 936227 | 8430 254 | 57 | 104 1180.31/1180.52 c 1178s | 20 | 9449147 | 937927 | 8430 255 | 57 | 104 1182.31/1182.57 c 1181s | 20 | 9462875 | 939627 | 8430 255 | 57 | 104 1184.31/1184.58 c 1183s | 20 | 9476545 | 941227 | 8430 255 | 57 | 104 1186.41/1186.61 c 1185s | 20 | 9488018 | 942627 | 8430 256 | 57 | 104 1188.41/1188.66 c 1187s | 20 | 9499929 | 944127 | 8430 256 | 57 | 104 1190.51/1190.76 c 1189s | 20 | 9516556 | 945727 | 8430 256 | 57 | 104 1192.61/1192.84 c 1191s | 20 | 9531637 | 947227 | 8430 257 | 57 | 104 1194.71/1194.90 c 1193s | 20 | 9551841 | 948727 | 8430 257 | 57 | 104 1196.71/1196.95 c 1195s | 20 | 9565925 | 950327 | 8430 257 | 57 | 104 1198.81/1199.05 c 1197s | 20 | 9576834 | 951827 | 8430 258 | 57 | 104 1200.81/1201.09 c 1199s | 20 | 9590480 | 953227 | 8430 258 | 57 | 104 1202.91/1203.12 c 1201s | 20 | 9605471 | 954627 | 8430 258 | 57 | 104 1204.90/1205.15 c 1203s | 20 | 9620521 | 956127 | 8430 259 | 57 | 104 1207.00/1207.26 c 1205s | 20 | 9633735 | 957727 | 8430 259 | 57 | 104 1209.10/1209.39 c 1207s | 20 | 9648816 | 959227 | 8430 259 | 57 | 104 1211.20/1211.44 c 1209s | 20 | 9662934 | 960827 | 8430 260 | 57 | 104 1213.21/1213.47 c 1211s | 20 | 9678601 | 962427 | 8430 260 | 57 | 104 1215.20/1215.49 c 1213s | 20 | 9690682 | 963927 | 8430 260 | 57 | 104 1217.30/1217.55 c 1215s | 20 | 9707530 | 965427 | 8430 261 | 57 | 104 1219.40/1219.61 c 1218s | 20 | 9721136 | 966927 | 8430 261 | 57 | 104 1221.40/1221.67 c 1220s | 20 | 9733857 | 968527 | 8430 261 | 57 | 104 1223.50/1223.71 c 1222s | 20 | 9747419 | 970027 | 8430 262 | 57 | 104 1225.60/1225.83 c 1224s | 20 | 9761062 | 971327 | 8430 262 | 57 | 104 1227.60/1227.85 c 1226s | 20 | 9778919 | 972927 | 8430 262 | 57 | 104 1229.60/1229.86 c 1228s | 20 | 9797765 | 974427 | 8430 263 | 57 | 104 1231.71/1231.97 c 1230s | 20 | 9810459 | 975927 | 8430 263 | 57 | 104 1233.81/1234.03 c 1232s | 20 | 9823628 | 977527 | 8430 263 | 57 | 104 1235.91/1236.12 c 1234s | 20 | 9834969 | 979127 | 8430 264 | 57 | 104 1237.90/1238.20 c 1236s | 20 | 9856584 | 980827 | 8430 264 | 57 | 104 1240.10/1240.33 c 1238s | 20 | 9875978 | 982527 | 8430 265 | 57 | 104 1242.10/1242.37 c 1240s | 20 | 9899476 | 984127 | 8430 265 | 57 | 104 1244.20/1244.49 c 1242s | 20 | 9911750 | 985727 | 8430 265 | 57 | 104 1246.30/1246.52 c 1244s | 20 | 9927772 | 987327 | 8430 266 | 57 | 104 1248.31/1248.60 c 1247s | 20 | 9941068 | 989027 | 8430 266 | 57 | 104 1250.40/1250.65 c 1249s | 20 | 9956981 | 990727 | 8430 266 | 57 | 104 1252.50/1252.79 c 1251s | 20 | 9970048 | 992227 | 8430 267 | 57 | 104 1254.60/1254.89 c 1253s | 20 | 9984360 | 993827 | 9273 267 | 57 | 104 1256.70/1256.96 c 1255s | 20 | 9998944 | 995427 | 9273 267 | 57 | 104 1258.80/1259.09 c 1257s | 20 | 10016613 | 997027 | 9273 268 | 57 | 104 1260.90/1261.12 c 1259s | 20 | 10031341 | 998527 | 9273 268 | 57 | 104 1262.90/1263.12 c 1261s | 20 | 10048005 | 1000127 | 9273 268 | 57 | 104 1263.20/1263.44 c 1261s | 21 | 10049198 | 1000345 | 9273 268 | 57 | 104 1265.30/1265.57 c 1264s | 21 | 10063394 | 1001845 | 9273 269 | 57 | 104 1267.30/1267.59 c 1266s | 21 | 10079925 | 1003345 | 9273 269 | 57 | 104 1269.40/1269.66 c 1268s | 21 | 10095362 | 1004845 | 9273 269 | 57 | 104 1271.40/1271.66 c 1270s | 21 | 10106853 | 1006245 | 9273 269 | 57 | 104 1273.50/1273.75 c 1272s | 21 | 10124108 | 1007845 | 9273 270 | 57 | 104 1275.60/1275.85 c 1274s | 21 | 10137356 | 1009345 | 9273 270 | 57 | 104 1277.69/1277.94 c 1276s | 21 | 10149089 | 1010645 | 9273 270 | 57 | 104 1279.79/1280.02 c 1278s | 21 | 10164130 | 1012245 | 9273 271 | 57 | 104 1281.79/1282.05 c 1280s | 21 | 10177878 | 1013745 | 9273 271 | 57 | 104 1283.89/1284.11 c 1282s | 21 | 10191867 | 1015345 | 9273 271 | 57 | 104 1285.99/1286.23 c 1284s | 21 | 10206623 | 1016845 | 9273 272 | 57 | 104 1288.09/1288.37 c 1286s | 21 | 10223436 | 1018545 | 9273 272 | 57 | 104 1290.20/1290.45 c 1288s | 21 | 10239844 | 1020345 | 9273 272 | 57 | 104 1292.19/1292.50 c 1290s | 21 | 10255880 | 1021945 | 9273 273 | 57 | 104 1294.29/1294.58 c 1293s | 21 | 10273749 | 1023645 | 9273 273 | 57 | 104 1296.39/1296.63 c 1295s | 21 | 10286126 | 1025245 | 9273 273 | 57 | 104 1298.39/1298.65 c 1297s | 21 | 10299550 | 1026745 | 9273 274 | 57 | 104 1300.49/1300.74 c 1299s | 21 | 10314757 | 1028545 | 9273 274 | 57 | 104 1302.49/1302.74 c 1301s | 21 | 10327386 | 1030045 | 9273 274 | 57 | 104 1304.50/1304.78 c 1303s | 21 | 10340248 | 1031645 | 9273 275 | 57 | 104 1306.49/1306.80 c 1305s | 21 | 10354490 | 1033345 | 9273 275 | 57 | 104 1308.59/1308.86 c 1307s | 21 | 10365630 | 1034845 | 9273 275 | 57 | 104 1311.10/1311.39 c 1309s | 21 | 10377363 | 1036245 | 9273 276 | 57 | 104 1313.19/1313.43 c 1311s | 21 | 10389127 | 1037545 | 9273 276 | 57 | 104 1315.19/1315.47 c 1313s | 21 | 10406033 | 1039145 | 9273 276 | 57 | 104 1317.29/1317.55 c 1315s | 21 | 10417627 | 1040945 | 9273 276 | 57 | 104 1319.39/1319.68 c 1318s | 21 | 10431621 | 1042545 | 9273 277 | 57 | 104 1321.49/1321.72 c 1320s | 21 | 10447001 | 1044145 | 9273 277 | 57 | 104 1323.49/1323.74 c 1322s | 21 | 10458396 | 1045645 | 9273 277 | 57 | 104 1325.49/1325.77 c 1324s | 21 | 10471526 | 1046945 | 9273 278 | 57 | 104 1327.59/1327.87 c 1326s | 21 | 10493461 | 1048545 | 9273 278 | 57 | 104 1329.69/1329.99 c 1328s | 21 | 10513475 | 1050345 | 9273 278 | 57 | 104 1331.79/1332.07 c 1330s | 21 | 10526461 | 1052045 | 9273 279 | 57 | 104 1333.89/1334.17 c 1332s | 21 | 10544650 | 1053545 | 9273 279 | 57 | 104 1335.98/1336.27 c 1334s | 21 | 10561659 | 1055245 | 9273 279 | 57 | 104 1338.08/1338.34 c 1336s | 21 | 10574508 | 1056845 | 9273 280 | 57 | 104 1340.08/1340.39 c 1338s | 21 | 10592336 | 1058445 | 9273 280 | 57 | 104 1342.18/1342.44 c 1340s | 21 | 10608868 | 1059945 | 9273 280 | 57 | 104 1344.18/1344.44 c 1342s | 21 | 10623356 | 1061445 | 9273 281 | 57 | 104 1346.19/1346.47 c 1344s | 21 | 10637672 | 1063045 | 9273 281 | 57 | 104 1348.28/1348.54 c 1346s | 21 | 10649893 | 1064745 | 9273 281 | 57 | 104 1350.28/1350.59 c 1349s | 21 | 10660012 | 1066245 | 9273 282 | 57 | 104 1352.38/1352.65 c 1351s | 21 | 10671824 | 1067845 | 9273 282 | 57 | 104 1354.38/1354.69 c 1353s | 21 | 10684750 | 1069345 | 9273 282 | 57 | 104 1356.48/1356.75 c 1355s | 21 | 10699185 | 1070845 | 9273 283 | 57 | 104 1358.58/1358.85 c 1357s | 21 | 10712967 | 1072545 | 9273 283 | 57 | 104 1360.59/1360.85 c 1359s | 21 | 10725917 | 1074345 | 9273 283 | 57 | 104 1362.58/1362.88 c 1361s | 21 | 10737294 | 1076445 | 9273 284 | 57 | 104 1364.68/1364.94 c 1363s | 21 | 10747172 | 1078945 | 9273 284 | 57 | 104 1366.68/1366.95 c 1365s | 21 | 10764344 | 1080445 | 9273 284 | 57 | 104 1368.78/1369.02 c 1367s | 21 | 10781226 | 1082045 | 9273 285 | 57 | 104 1370.88/1371.10 c 1369s | 21 | 10794263 | 1083645 | 9273 285 | 57 | 104 1372.88/1373.19 c 1371s | 21 | 10807955 | 1085245 | 9273 285 | 57 | 104 1375.08/1375.33 c 1373s | 21 | 10819729 | 1086745 | 9273 286 | 57 | 104 1377.18/1377.40 c 1375s | 21 | 10839921 | 1088345 | 9273 286 | 57 | 104 1379.18/1379.41 c 1377s | 21 | 10854080 | 1089745 | 9273 286 | 57 | 104 1381.28/1381.56 c 1380s | 21 | 10866904 | 1091145 | 9273 287 | 57 | 104 1383.37/1383.66 c 1382s | 21 | 10879496 | 1092745 | 9273 287 | 57 | 104 1385.47/1385.73 c 1384s | 21 | 10893801 | 1094445 | 9273 287 | 57 | 104 1387.47/1387.78 c 1386s | 21 | 10905795 | 1096045 | 9273 288 | 57 | 104 1389.47/1389.79 c 1388s | 21 | 10927600 | 1097645 | 9273 288 | 57 | 104 1391.67/1391.91 c 1390s | 21 | 10945521 | 1099245 | 9273 288 | 57 | 104 1393.77/1394.00 c 1392s | 21 | 10957287 | 1100845 | 9273 289 | 57 | 104 1395.87/1396.11 c 1394s | 21 | 10970192 | 1102445 | 9273 289 | 57 | 104 1397.88/1398.20 c 1396s | 21 | 10981235 | 1104045 | 9273 289 | 57 | 104 1399.97/1400.21 c 1398s | 21 | 10995512 | 1105545 | 9273 290 | 57 | 104 1402.07/1402.31 c 1400s | 21 | 11011629 | 1107145 | 9273 290 | 57 | 104 1404.07/1404.32 c 1402s | 21 | 11024393 | 1108645 | 9273 290 | 57 | 104 1406.17/1406.44 c 1404s | 21 | 11038751 | 1110245 | 9273 291 | 57 | 104 1408.27/1408.50 c 1406s | 21 | 11053253 | 1111845 | 9273 291 | 57 | 104 1410.27/1410.55 c 1408s | 21 | 11067866 | 1113545 | 9273 291 | 57 | 104 1412.27/1412.57 c 1411s | 21 | 11086973 | 1115045 | 9273 292 | 57 | 104 1414.37/1414.66 c 1413s | 21 | 11103371 | 1116745 | 9273 292 | 57 | 104 1416.46/1416.72 c 1415s | 21 | 11119278 | 1118345 | 9273 292 | 57 | 104 1418.56/1418.85 c 1417s | 21 | 11137197 | 1119945 | 9273 293 | 57 | 104 1420.66/1420.99 c 1419s | 21 | 11148508 | 1121545 | 9273 293 | 57 | 104 1422.76/1423.04 c 1421s | 21 | 11161976 | 1123245 | 9273 293 | 57 | 104 1424.76/1425.09 c 1423s | 21 | 11180417 | 1124745 | 9273 293 | 57 | 104 1426.86/1427.12 c 1425s | 21 | 11194975 | 1126345 | 9273 294 | 57 | 104 1428.86/1429.13 c 1427s | 21 | 11210465 | 1127945 | 9273 294 | 57 | 104 1430.96/1431.24 c 1429s | 21 | 11227697 | 1129545 | 9273 294 | 57 | 104 1433.06/1433.32 c 1431s | 21 | 11240786 | 1131045 | 9273 295 | 57 | 104 1435.05/1435.37 c 1433s | 21 | 11253970 | 1132545 | 9273 295 | 57 | 104 1437.15/1437.41 c 1435s | 21 | 11267904 | 1134145 | 9273 295 | 57 | 104 1439.16/1439.44 c 1437s | 21 | 11280657 | 1135745 | 9273 296 | 57 | 104 1441.26/1441.52 c 1439s | 21 | 11294625 | 1137345 | 9273 296 | 57 | 104 1443.26/1443.56 c 1441s | 21 | 11307952 | 1138745 | 9273 296 | 57 | 104 1445.36/1445.66 c 1444s | 21 | 11322560 | 1140145 | 9273 297 | 57 | 104 1447.46/1447.73 c 1446s | 21 | 11343613 | 1141745 | 9273 297 | 57 | 104 1449.56/1449.84 c 1448s | 21 | 11362403 | 1143345 | 9273 297 | 57 | 104 1451.56/1451.86 c 1450s | 21 | 11383668 | 1145045 | 9273 298 | 57 | 104 1453.65/1453.90 c 1452s | 21 | 11399510 | 1146745 | 9273 298 | 57 | 104 1455.65/1455.99 c 1454s | 21 | 11416236 | 1148545 | 9273 298 | 57 | 104 1457.75/1458.09 c 1456s | 21 | 11433370 | 1150045 | 9273 299 | 57 | 104 1459.85/1460.19 c 1458s | 21 | 11446372 | 1151745 | 9273 299 | 57 | 104 1461.95/1462.29 c 1460s | 21 | 11460776 | 1153245 | 9273 299 | 57 | 104 1464.05/1464.31 c 1462s | 21 | 11475426 | 1154745 | 9273 300 | 57 | 104 1466.06/1466.36 c 1464s | 21 | 11489788 | 1156145 | 9273 300 | 57 | 104 1468.15/1468.43 c 1466s | 21 | 11504510 | 1157745 | 9273 300 | 57 | 104 1470.25/1470.54 c 1468s | 21 | 11515855 | 1159245 | 9273 300 | 57 | 104 1472.35/1472.62 c 1471s | 21 | 11529218 | 1160845 | 9273 301 | 57 | 104 1474.35/1474.66 c 1473s | 21 | 11542145 | 1162445 | 9273 301 | 57 | 104 1476.45/1476.78 c 1475s | 21 | 11558018 | 1164045 | 9273 301 | 57 | 104 1478.55/1478.86 c 1477s | 21 | 11571600 | 1165645 | 9273 302 | 57 | 104 1480.54/1480.87 c 1479s | 21 | 11586616 | 1167145 | 9273 302 | 57 | 104 1482.65/1482.94 c 1481s | 21 | 11603256 | 1168745 | 9273 302 | 57 | 104 1484.64/1484.99 c 1483s | 21 | 11616181 | 1170045 | 9273 303 | 57 | 104 1486.74/1487.08 c 1485s | 21 | 11634703 | 1171845 | 9273 303 | 57 | 104 1488.84/1489.14 c 1487s | 21 | 11654035 | 1173645 | 9273 303 | 57 | 104 1490.84/1491.15 c 1489s | 21 | 11671434 | 1175245 | 9273 304 | 57 | 104 1492.94/1493.21 c 1491s | 21 | 11689325 | 1176945 | 9273 304 | 57 | 104 1495.04/1495.32 c 1493s | 21 | 11706738 | 1178645 | 9273 304 | 57 | 104 1497.04/1497.39 c 1495s | 21 | 11720834 | 1180445 | 9273 305 | 57 | 104 1499.14/1499.41 c 1497s | 21 | 11735941 | 1182145 | 9273 305 | 57 | 104 1501.14/1501.50 c 1499s | 21 | 11747940 | 1183745 | 9273 305 | 57 | 104 1503.23/1503.51 c 1501s | 21 | 11759721 | 1185245 | 9273 306 | 57 | 104 1505.23/1505.53 c 1503s | 21 | 11777462 | 1186845 | 9273 306 | 57 | 104 1507.33/1507.65 c 1506s | 21 | 11795192 | 1188545 | 9273 306 | 57 | 104 1509.33/1509.68 c 1508s | 21 | 11807447 | 1190045 | 9273 307 | 57 | 104 1511.43/1511.76 c 1510s | 21 | 11820572 | 1191745 | 9273 307 | 57 | 104 1513.53/1513.80 c 1512s | 21 | 11833907 | 1193345 | 9273 307 | 57 | 104 1515.54/1515.89 c 1514s | 21 | 11847809 | 1194945 | 9273 308 | 57 | 104 1517.63/1517.97 c 1516s | 21 | 11858798 | 1196645 | 9273 308 | 57 | 104 1519.73/1520.04 c 1518s | 21 | 11877375 | 1198345 | 9273 308 | 57 | 104 1521.73/1522.09 c 1520s | 21 | 11888276 | 1200245 | 9273 309 | 57 | 104 1523.83/1524.10 c 1522s | 21 | 11916768 | 1202445 | 9273 309 | 57 | 104 1525.93/1526.21 c 1524s | 21 | 11932421 | 1204545 | 9273 310 | 57 | 104 1527.92/1528.29 c 1526s | 21 | 11946716 | 1206245 | 9273 310 | 57 | 104 1530.02/1530.30 c 1528s | 21 | 11960833 | 1207845 | 9273 310 | 57 | 104 1532.03/1532.39 c 1530s | 21 | 11976643 | 1209545 | 9273 311 | 57 | 104 1534.12/1534.41 c 1532s | 21 | 11990192 | 1211145 | 9273 311 | 57 | 104 1536.12/1536.46 c 1534s | 21 | 12001884 | 1212745 | 9273 311 | 57 | 104 1538.22/1538.53 c 1536s | 21 | 12018555 | 1214345 | 9273 312 | 57 | 104 1540.22/1540.53 c 1538s | 21 | 12027797 | 1215845 | 9273 312 | 57 | 104 1542.22/1542.54 c 1540s | 21 | 12037071 | 1217345 | 9273 312 | 57 | 104 1544.23/1544.59 c 1543s | 21 | 12059350 | 1219145 | 9273 313 | 57 | 104 1546.32/1546.65 c 1545s | 21 | 12075705 | 1220945 | 9273 313 | 57 | 104 1548.32/1548.69 c 1547s | 21 | 12089703 | 1222545 | 9273 313 | 57 | 104 1550.52/1550.81 c 1549s | 21 | 12102217 | 1224045 | 9273 314 | 57 | 104 1552.51/1552.90 c 1551s | 21 | 12116668 | 1225545 | 9273 314 | 57 | 104 1554.61/1554.95 c 1553s | 21 | 12128650 | 1227145 | 9273 314 | 57 | 104 1556.61/1556.95 c 1555s | 21 | 12141986 | 1228545 | 9273 315 | 57 | 104 1558.71/1559.05 c 1557s | 21 | 12154544 | 1230045 | 9273 315 | 57 | 104 1560.81/1561.15 c 1559s | 21 | 12167126 | 1231645 | 9273 315 | 57 | 104 1563.01/1563.31 c 1561s | 21 | 12175848 | 1233145 | 9273 315 | 57 | 104 1565.11/1565.43 c 1563s | 21 | 12188346 | 1234545 | 9273 316 | 57 | 104 1567.11/1567.45 c 1565s | 21 | 12201977 | 1236145 | 9273 316 | 57 | 104 1569.11/1569.49 c 1567s | 21 | 12221080 | 1237745 | 9273 316 | 57 | 104 1571.21/1571.55 c 1569s | 21 | 12234158 | 1239145 | 9273 317 | 57 | 104 1573.30/1573.62 c 1572s | 21 | 12245765 | 1240545 | 9273 317 | 57 | 104 1575.50/1575.80 c 1574s | 21 | 12259719 | 1242045 | 9273 317 | 57 | 104 1577.50/1577.81 c 1576s | 21 | 12272722 | 1243545 | 9273 318 | 57 | 104 1579.60/1579.96 c 1578s | 21 | 12289076 | 1244945 | 9273 318 | 57 | 104 1581.70/1582.07 c 1580s | 21 | 12304016 | 1246545 | 9273 318 | 57 | 104 1583.70/1584.07 c 1582s | 21 | 12321049 | 1248045 | 9273 318 | 57 | 104 1585.80/1586.11 c 1584s | 21 | 12335867 | 1249445 | 9273 319 | 57 | 104 1587.80/1588.13 c 1586s | 21 | 12357340 | 1250845 | 9273 319 | 57 | 104 1589.90/1590.24 c 1588s | 21 | 12379231 | 1252545 | 9273 319 | 57 | 104 1592.00/1592.35 c 1590s | 21 | 12399126 | 1254145 | 9273 320 | 57 | 104 1593.99/1594.39 c 1592s | 21 | 12423202 | 1255745 | 9273 320 | 57 | 104 1596.19/1596.50 c 1594s | 21 | 12443918 | 1257445 | 9273 320 | 57 | 104 1598.19/1598.59 c 1597s | 21 | 12470666 | 1259045 | 9273 321 | 57 | 104 1600.49/1600.80 c 1599s | 21 | 12493268 | 1260645 | 9273 321 | 57 | 104 1602.59/1602.96 c 1601s | 21 | 12511565 | 1262345 | 9273 321 | 57 | 104 1604.70/1605.07 c 1603s | 21 | 12532730 | 1264045 | 9273 322 | 57 | 104 1606.69/1607.08 c 1605s | 21 | 12547661 | 1265745 | 9273 322 | 57 | 104 1608.69/1609.08 c 1607s | 21 | 12562832 | 1267445 | 9273 322 | 57 | 104 1610.89/1611.21 c 1609s | 21 | 12579677 | 1269145 | 9273 323 | 57 | 104 1612.88/1613.24 c 1611s | 21 | 12596836 | 1270645 | 9273 323 | 57 | 104 1614.98/1615.31 c 1613s | 21 | 12615623 | 1272145 | 9273 323 | 57 | 104 1617.08/1617.40 c 1615s | 21 | 12634359 | 1273745 | 9273 324 | 57 | 104 1619.18/1619.57 c 1618s | 21 | 12658823 | 1275445 | 9273 324 | 57 | 104 1621.28/1621.65 c 1620s | 21 | 12671826 | 1277045 | 9273 324 | 57 | 104 1623.29/1623.65 c 1622s | 21 | 12687204 | 1278545 | 9273 325 | 57 | 104 1625.38/1625.70 c 1624s | 21 | 12698579 | 1280045 | 9273 325 | 57 | 104 1627.38/1627.77 c 1626s | 21 | 12713391 | 1281545 | 9273 325 | 57 | 104 1629.48/1629.83 c 1628s | 21 | 12730092 | 1283145 | 9273 326 | 57 | 104 1631.48/1631.86 c 1630s | 21 | 12746284 | 1284745 | 9273 326 | 57 | 104 1633.57/1633.94 c 1632s | 21 | 12758688 | 1286345 | 9273 326 | 57 | 104 1635.57/1635.95 c 1634s | 21 | 12773843 | 1287945 | 9273 327 | 57 | 104 1637.58/1637.95 c 1636s | 21 | 12786852 | 1289445 | 9273 327 | 57 | 104 1639.67/1640.01 c 1638s | 21 | 12798108 | 1291045 | 9273 327 | 57 | 104 1641.67/1642.09 c 1640s | 21 | 12809364 | 1292445 | 9273 328 | 57 | 104 1643.88/1644.20 c 1642s | 21 | 12817960 | 1293745 | 9273 328 | 57 | 104 1645.87/1646.28 c 1644s | 21 | 12829467 | 1295345 | 9273 328 | 57 | 104 1647.97/1648.36 c 1646s | 21 | 12841022 | 1296945 | 9273 328 | 57 | 104 1650.07/1650.49 c 1648s | 21 | 12858299 | 1298445 | 9273 329 | 57 | 104 1652.17/1652.52 c 1650s | 21 | 12871071 | 1300045 | 9273 329 | 57 | 104 1654.18/1654.52 c 1652s | 21 | 12881329 | 1301545 | 9273 329 | 57 | 104 1656.28/1656.70 c 1655s | 21 | 12891874 | 1302945 | 9273 330 | 57 | 104 1658.48/1658.82 c 1657s | 21 | 12908471 | 1304445 | 9273 330 | 57 | 104 1660.57/1660.92 c 1659s | 21 | 12929123 | 1305845 | 9273 330 | 57 | 104 1662.67/1663.00 c 1661s | 21 | 12944862 | 1307345 | 9273 331 | 57 | 104 1664.67/1665.05 c 1663s | 21 | 12960526 | 1309045 | 9273 331 | 57 | 104 1666.77/1667.11 c 1665s | 21 | 12979568 | 1310745 | 9273 331 | 57 | 104 1668.77/1669.16 c 1667s | 21 | 12993202 | 1312545 | 9273 332 | 57 | 104 1670.87/1671.23 c 1669s | 21 | 13005022 | 1314345 | 9273 332 | 57 | 104 1672.87/1673.26 c 1671s | 21 | 13014710 | 1315845 | 9273 332 | 57 | 104 1674.97/1675.32 c 1673s | 21 | 13030626 | 1317445 | 9273 333 | 57 | 104 1677.06/1677.42 c 1675s | 21 | 13044799 | 1318945 | 9273 333 | 57 | 104 1679.06/1679.43 c 1677s | 21 | 13057141 | 1320545 | 9273 333 | 57 | 104 1681.16/1681.50 c 1679s | 21 | 13070365 | 1322045 | 9273 334 | 57 | 104 1683.16/1683.56 c 1681s | 21 | 13083538 | 1323745 | 9273 334 | 57 | 104 1685.26/1685.65 c 1684s | 21 | 13100372 | 1325345 | 9273 334 | 57 | 104 1687.36/1687.72 c 1686s | 21 | 13113899 | 1326845 | 9273 335 | 57 | 104 1689.46/1689.80 c 1688s | 21 | 13129684 | 1328445 | 9273 335 | 57 | 104 1691.46/1691.84 c 1690s | 21 | 13144683 | 1329945 | 9273 335 | 57 | 104 1693.55/1693.90 c 1692s | 21 | 13160443 | 1331445 | 9273 335 | 57 | 104 1695.55/1695.92 c 1694s | 21 | 13170985 | 1332945 | 9273 336 | 57 | 104 1697.65/1698.00 c 1696s | 21 | 13183307 | 1334545 | 9273 336 | 57 | 104 1699.65/1700.04 c 1698s | 21 | 13194155 | 1336145 | 9273 336 | 57 | 104 1701.75/1702.13 c 1700s | 21 | 13207996 | 1337645 | 9273 337 | 57 | 104 1703.85/1704.29 c 1702s | 21 | 13222393 | 1339245 | 9273 337 | 57 | 104 1706.05/1706.47 c 1704s | 21 | 13235325 | 1340645 | 9273 337 | 57 | 104 1708.15/1708.53 c 1706s | 21 | 13248288 | 1342245 | 9273 338 | 57 | 104 1710.15/1710.59 c 1709s | 21 | 13264192 | 1343845 | 9273 338 | 57 | 104 1712.25/1712.66 c 1711s | 21 | 13277135 | 1345345 | 9273 338 | 57 | 104 1714.24/1714.67 c 1713s | 21 | 13292735 | 1346945 | 9273 339 | 57 | 104 1716.34/1716.72 c 1715s | 21 | 13306834 | 1348545 | 9273 339 | 57 | 104 1718.34/1718.76 c 1717s | 21 | 13319786 | 1350145 | 9273 339 | 57 | 104 1720.34/1720.78 c 1719s | 21 | 13330045 | 1351645 | 9273 340 | 57 | 104 1722.44/1722.87 c 1721s | 21 | 13339760 | 1352845 | 9273 340 | 57 | 104 1724.44/1724.88 c 1723s | 21 | 13356178 | 1354345 | 9273 340 | 57 | 104 1726.44/1726.88 c 1725s | 21 | 13378180 | 1356145 | 9273 340 | 57 | 104 1728.54/1728.98 c 1727s | 21 | 13398395 | 1357845 | 9273 341 | 57 | 104 1730.63/1731.09 c 1729s | 21 | 13414291 | 1359445 | 9273 341 | 57 | 104 1732.83/1733.23 c 1731s | 21 | 13426029 | 1361045 | 9273 341 | 57 | 104 1734.83/1735.25 c 1733s | 21 | 13444963 | 1362645 | 9273 342 | 57 | 104 1736.93/1737.34 c 1735s | 21 | 13459075 | 1364245 | 9273 342 | 57 | 104 1739.03/1739.42 c 1737s | 21 | 13473457 | 1365845 | 9273 342 | 57 | 104 1741.13/1741.53 c 1739s | 21 | 13487558 | 1367345 | 9273 343 | 57 | 104 1743.23/1743.62 c 1742s | 21 | 13502606 | 1368745 | 9273 343 | 57 | 104 1745.33/1745.73 c 1744s | 21 | 13519179 | 1370245 | 9273 343 | 57 | 104 1747.43/1747.80 c 1746s | 21 | 13534790 | 1371745 | 9273 344 | 57 | 104 1749.53/1749.94 c 1748s | 21 | 13551089 | 1373345 | 9273 344 | 57 | 104 1751.52/1751.95 c 1750s | 21 | 13562394 | 1374745 | 9273 344 | 57 | 104 1753.62/1754.00 c 1752s | 21 | 13573929 | 1376145 | 9273 345 | 57 | 104 1755.62/1756.00 c 1754s | 21 | 13585524 | 1377545 | 9273 345 | 57 | 104 1757.62/1758.08 c 1756s | 21 | 13597648 | 1379045 | 9273 345 | 57 | 104 1759.73/1760.12 c 1758s | 21 | 13607449 | 1380345 | 9273 345 | 57 | 104 1761.83/1762.27 c 1760s | 21 | 13617814 | 1381745 | 9273 346 | 57 | 104 1764.02/1764.45 c 1762s | 21 | 13626790 | 1383145 | 9273 346 | 57 | 104 1766.12/1766.53 c 1764s | 21 | 13643552 | 1384645 | 9273 346 | 57 | 104 1768.12/1768.54 c 1766s | 21 | 13657069 | 1386145 | 9273 347 | 57 | 104 1770.12/1770.58 c 1769s | 21 | 13670902 | 1387845 | 9273 347 | 57 | 104 1772.22/1772.64 c 1771s | 21 | 13684165 | 1389245 | 9273 347 | 57 | 104 1774.21/1774.69 c 1773s | 21 | 13699136 | 1390745 | 9273 347 | 57 | 104 1776.31/1776.75 c 1775s | 21 | 13710077 | 1392345 | 9273 348 | 57 | 104 1778.51/1778.91 c 1777s | 21 | 13722955 | 1394045 | 9273 348 | 57 | 104 1780.52/1780.97 c 1779s | 21 | 13735659 | 1395545 | 9273 348 | 57 | 104 1782.61/1783.03 c 1781s | 21 | 13746852 | 1397045 | 9273 349 | 57 | 104 1784.71/1785.10 c 1783s | 21 | 13758634 | 1398645 | 9273 349 | 57 | 104 1786.71/1787.19 c 1785s | 21 | 13775414 | 1400445 | 9273 349 | 57 | 104 1788.81/1789.21 c 1787s | 21 | 13793936 | 1402145 | 9273 350 | 57 | 104 1790.80/1791.24 c 1789s | 21 | 13807305 | 1403845 | 9273 350 | 57 | 104 1792.90/1793.31 c 1791s | 21 | 13821260 | 1405345 | 9273 350 | 57 | 104 1794.91/1795.39 c 1793s | 21 | 13834240 | 1407045 | 9273 351 | 57 | 104 1797.02/1797.42 c 1795s | 21 | 13848124 | 1408645 | 9273 351 | 57 | 104 1799.01/1799.44 c 1797s | 21 | 13864931 | 1410145 | 9273 351 | 57 | 104
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-4079102-1465253638/watcher-4079102-1465253638 -o /tmp/evaluation-result-4079102-1465253638/solver-4079102-1465253638 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465227498-31671 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079102-1465253638.opb pid=2554 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.24 2.22 2.18 3/179 2557 /proc/meminfo: memFree=29195304/32872528 swapFree=17892/1720544 [pid=2557] ppid=2554 vsize=720316 CPUtime=0 cores=0,2,4,6 /proc/2557/stat : 2557 (toysat) R 2554 2557 31655 0 -1 4202496 2687 0 0 0 0 0 0 0 20 0 4 0 107296940 737603584 3047 33554432000 4194304 16246674 140735615479792 140735615479216 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2557/statm: 180847 3056 441 2943 0 177741 0 [pid=2557/tid=2558] ppid=2554 vsize=763324 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2558/stat : 2558 (toysat) S 2554 2557 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107296940 781643776 3215 33554432000 4194304 16246674 140735615479792 140081039912176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2557/tid=2559] ppid=2554 vsize=768444 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2559/stat : 2559 (toysat) S 2554 2557 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107296940 786886656 3235 33554432000 4194304 16246674 140735615479792 140081029422320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2557/tid=2560] ppid=2554 vsize=772540 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2560/stat : 2560 (toysat) S 2554 2557 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107296940 791080960 3251 33554432000 4194304 16246674 140735615479792 140081018948784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100165 s] /proc/loadavg: 2.24 2.22 2.18 3/179 2557 /proc/meminfo: memFree=29195304/32872528 swapFree=17892/1720544 [pid=2557] ppid=2554 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/2557/stat : 2557 (toysat) R 2554 2557 31655 0 -1 4202496 28372 0 0 0 5 4 0 0 20 0 4 0 107296940 1247350784 28719 33554432000 4194304 16246674 140735615479792 140735615479216 12655109 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2557/statm: 304529 28732 758 2943 0 301423 0 [pid=2557/tid=2558] ppid=2554 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2558/stat : 2558 (toysat) S 2554 2557 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107296940 1247350784 28744 33554432000 4194304 16246674 140735615479792 140081039912176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2557/tid=2559] ppid=2554 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2559/stat : 2559 (toysat) S 2554 2557 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107296940 1247350784 28755 33554432000 4194304 16246674 140735615479792 140081029422320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2557/tid=2560] ppid=2554 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2560/stat : 2560 (toysat) S 2554 2557 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107296940 1247350784 28765 33554432000 4194304 16246674 140735615479792 140081018948784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200495 s] /proc/loadavg: 2.24 2.22 2.18 3/179 2557 /proc/meminfo: memFree=29195304/32872528 swapFree=17892/1720544 [pid=2557] ppid=2554 vsize=1220164 CPUtime=0.19 cores=0,2,4,6 /proc/2557/stat : 2557 (toysat) R 2554 2557 31655 0 -1 4202496 46083 0 0 0 13 6 0 0 20 0 4 0 107296940 1249447936 46409 33554432000 4194304 16246674 140735615479792 140735615479104 5532301 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2557/statm: 305041 46421 832 2943 0 301935 0 [pid=2557/tid=2558] ppid=2554 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2558/stat : 2558 (toysat) S 2554 2557 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107296940 1249447936 46429 33554432000 4194304 16246674 140735615479792 140081039912176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2557/tid=2559] ppid=2554 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2559/stat : 2559 (toysat) S 2554 2557 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107296940 1249447936 46438 33554432000 4194304 16246674 140735615479792 140081029422320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2557/tid=2560] ppid=2554 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2560/stat : 2560 (toysat) S 2554 2557 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107296940 1249447936 46446 33554432000 4194304 16246674 140735615479792 140081018948784 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) 1220164 [startup+0.300408 s] /proc/loadavg: 2.24 2.22 2.18 3/179 2557 /proc/meminfo: memFree=29195304/32872528 swapFree=17892/1720544 [pid=2557] ppid=2554 vsize=1220164 CPUtime=0.29 cores=0,2,4,6 /proc/2557/stat : 2557 (toysat) R 2554 2557 31655 0 -1 4202496 77142 0 0 0 19 10 0 0 20 0 4 0 107296940 1249447936 77467 33554432000 4194304 16246674 140735615479792 140735615462784 12654121 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2557/statm: 305041 77482 832 2943 0 301935 0 [pid=2557/tid=2558] ppid=2554 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2558/stat : 2558 (toysat) S 2554 2557 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107296940 1249447936 77493 33554432000 4194304 16246674 140735615479792 140081039912176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2557/tid=2559] ppid=2554 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2559/stat : 2559 (toysat) S 2554 2557 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107296940 1249447936 77503 33554432000 4194304 16246674 140735615479792 140081029422320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2557/tid=2560] ppid=2554 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2560/stat : 2560 (toysat) S 2554 2557 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107296940 1249447936 77513 33554432000 4194304 16246674 140735615479792 140081018948784 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) 1220164 [startup+0.700391 s] /proc/loadavg: 2.24 2.22 2.18 3/179 2557 /proc/meminfo: memFree=29195304/32872528 swapFree=17892/1720544 [pid=2557] ppid=2554 vsize=1303108 CPUtime=0.68 cores=0,2,4,6 /proc/2557/stat : 2557 (toysat) R 2554 2557 31655 0 -1 4202496 119061 0 0 0 53 15 0 0 20 0 4 0 107296940 1334382592 119386 33554432000 4194304 16246674 140735615479792 140735615462784 12653060 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2557/statm: 325777 119395 832 2943 0 322671 0 [pid=2557/tid=2558] ppid=2554 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2558/stat : 2558 (toysat) S 2554 2557 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107296940 1334382592 119400 33554432000 4194304 16246674 140735615479792 140081039912176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2557/tid=2559] ppid=2554 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2559/stat : 2559 (toysat) S 2554 2557 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107296940 1334382592 119406 33554432000 4194304 16246674 140735615479792 140081029422320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2557/tid=2560] ppid=2554 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2560/stat : 2560 (toysat) S 2554 2557 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107296940 1334382592 119412 33554432000 4194304 16246674 140735615479792 140081018948784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1303108 [startup+1.50045 s] /proc/loadavg: 2.22 2.21 2.18 3/183 2561 /proc/meminfo: memFree=28353620/32872528 swapFree=17892/1720544 [pid=2557] ppid=2554 vsize=1321540 CPUtime=1.48 cores=0,2,4,6 /proc/2557/stat : 2557 (toysat) R 2554 2557 31655 0 -1 4202496 271294 0 0 0 113 35 0 0 20 0 4 0 107296940 1353256960 271619 33554432000 4194304 16246674 140735615479792 140735615461696 12449269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2557/statm: 330385 271619 832 2943 0 327279 0 [pid=2557/tid=2558] ppid=2554 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2558/stat : 2558 (toysat) S 2554 2557 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107296940 1353256960 271619 33554432000 4194304 16246674 140735615479792 140081039912176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2557/tid=2559] ppid=2554 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2559/stat : 2559 (toysat) S 2554 2557 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107296940 1353256960 271619 33554432000 4194304 16246674 140735615479792 140081029422320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2557/tid=2560] ppid=2554 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2560/stat : 2560 (toysat) S 2554 2557 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107296940 1353256960 271619 33554432000 4194304 16246674 140735615479792 140081018948784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1321540 [startup+3.10039 s] /proc/loadavg: 2.22 2.21 2.18 3/183 2561 /proc/meminfo: memFree=28109216/32872528 swapFree=17892/1720544 [pid=2557] ppid=2554 vsize=1321540 CPUtime=3.08 cores=0,2,4,6 /proc/2557/stat : 2557 (toysat) R 2554 2557 31655 0 -1 4202496 271305 0 0 0 273 35 0 0 20 0 4 0 107296940 1353256960 271630 33554432000 4194304 16246674 140735615479792 140735615461696 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2557/statm: 330385 271630 842 2943 0 327279 0 [pid=2557/tid=2558] ppid=2554 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2558/stat : 2558 (toysat) S 2554 2557 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107296940 1353256960 271630 33554432000 4194304 16246674 140735615479792 140081039912176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2557/tid=2559] ppid=2554 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2559/stat : 2559 (toysat) S 2554 2557 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107296940 1353256960 271630 33554432000 4194304 16246674 140735615479792 140081029422320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2557/tid=2560] ppid=2554 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2560/stat : 2560 (toysat) S 2554 2557 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107296940 1353256960 271630 33554432000 4194304 16246674 140735615479792 140081018948784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1321540 [startup+6.30041 s] /proc/loadavg: 2.20 2.21 2.18 3/183 2561 /proc/meminfo: memFree=28108356/32872528 swapFree=17892/1720544 [pid=2557] ppid=2554 vsize=1321540 CPUtime=6.28 cores=0,2,4,6 /proc/2557/stat : 2557 (toysat) R 2554 2557 31655 0 -1 4202496 271473 0 0 0 593 35 0 0 20 0 4 0 107296940 1353256960 271798 33554432000 4194304 16246674 140735615479792 140735615461696 13775088 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2557/statm: 330385 271798 844 2943 0 327279 0 [pid=2557/tid=2558] ppid=2554 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2558/stat : 2558 (toysat) S 2554 2557 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107296940 1353256960 271798 33554432000 4194304 16246674 140735615479792 140081039912176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2557/tid=2559] ppid=2554 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2559/stat : 2559 (toysat) S 2554 2557 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107296940 1353256960 271798 33554432000 4194304 16246674 140735615479792 140081029422320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2557/tid=2560] ppid=2554 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2560/stat : 2560 (toysat) S 2554 2557 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107296940 1353256960 271798 33554432000 4194304 16246674 140735615479792 140081018948784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1321540 [startup+12.7004 s] /proc/loadavg: 2.18 2.20 2.18 3/183 2561 /proc/meminfo: memFree=28108636/32872528 swapFree=17892/1720544 [pid=2557] ppid=2554 vsize=1321540 CPUtime=12.68 cores=0,2,4,6 /proc/2557/stat : 2557 (toysat) R 2554 2557 31655 0 -1 4202496 271477 0 0 0 1233 35 0 0 20 0 4 0 107296940 1353256960 271802 33554432000 4194304 16246674 140735615479792 140735615461696 5600224 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2557/statm: 330385 271802 848 2943 0 327279 0 [pid=2557/tid=2558] ppid=2554 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2558/stat : 2558 (toysat) S 2554 2557 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107296940 1353256960 271802 33554432000 4194304 16246674 140735615479792 140081039912176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2557/tid=2559] ppid=2554 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2559/stat : 2559 (toysat) S 2554 2557 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107296940 1353256960 271802 33554432000 4194304 16246674 140735615479792 140081029422320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2557/tid=2560] ppid=2554 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2560/stat : 2560 (toysat) S 2554 2557 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107296940 1353256960 271802 33554432000 4194304 16246674 140735615479792 140081018948784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1321540 [startup+25.5005 s] /proc/loadavg: 2.22 2.21 2.18 3/183 2561 /proc/meminfo: memFree=28109520/32872528 swapFree=17892/1720544 [pid=2557] ppid=2554 vsize=1321540 CPUtime=25.49 cores=0,2,4,6 /proc/2557/stat : 2557 (toysat) R 2554 2557 31655 0 -1 4202496 271480 0 0 0 2513 36 0 0 20 0 4 0 107296940 1353256960 271805 33554432000 4194304 16246674 140735615479792 140735615461696 5661428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2557/statm: 330385 271805 851 2943 0 327279 0 [pid=2557/tid=2558] ppid=2554 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2558/stat : 2558 (toysat) S 2554 2557 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107296940 1353256960 271805 33554432000 4194304 16246674 140735615479792 140081039912176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2557/tid=2559] ppid=2554 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2559/stat : 2559 (toysat) S 2554 2557 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107296940 1353256960 271805 33554432000 4194304 16246674 140735615479792 140081029422320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2557/tid=2560] ppid=2554 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2560/stat : 2560 (toysat) S 2554 2557 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107296940 1353256960 271805 33554432000 4194304 16246674 140735615479792 140081018948784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1321540 [startup+51.1005 s] /proc/loadavg: 2.14 2.19 2.18 3/183 2561 /proc/meminfo: memFree=28109276/32872528 swapFree=17892/1720544 [pid=2557] ppid=2554 vsize=1321540 CPUtime=51.08 cores=0,2,4,6 /proc/2557/stat : 2557 (toysat) R 2554 2557 31655 0 -1 4202496 271480 0 0 0 5072 36 0 0 20 0 4 0 107296940 1353256960 271805 33554432000 4194304 16246674 140735615479792 140735615461696 5677104 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2557/statm: 330385 271805 851 2943 0 327279 0 [pid=2557/tid=2558] ppid=2554 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2558/stat : 2558 (toysat) S 2554 2557 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107296940 1353256960 271805 33554432000 4194304 16246674 140735615479792 140081039912176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2557/tid=2559] ppid=2554 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2559/stat : 2559 (toysat) S 2554 2557 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107296940 1353256960 271805 33554432000 4194304 16246674 140735615479792 140081029422320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2557/tid=2560] ppid=2554 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2560/stat : 2560 (toysat) S 2554 2557 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107296940 1353256960 271805 33554432000 4194304 16246674 140735615479792 140081018948784 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) 1321540 [startup+102.3 s] /proc/loadavg: 2.10 2.17 2.17 3/183 2562 /proc/meminfo: memFree=28108792/32872528 swapFree=17892/1720544 [pid=2557] ppid=2554 vsize=1321540 CPUtime=102.28 cores=0,2,4,6 /proc/2557/stat : 2557 (toysat) R 2554 2557 31655 0 -1 4202496 271480 0 0 0 10192 36 0 0 20 0 4 0 107296940 1353256960 271805 33554432000 4194304 16246674 140735615479792 140735615461696 13820888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2557/statm: 330385 271805 851 2943 0 327279 0 [pid=2557/tid=2558] ppid=2554 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2558/stat : 2558 (toysat) S 2554 2557 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107296940 1353256960 271805 33554432000 4194304 16246674 140735615479792 140081039912176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2557/tid=2559] ppid=2554 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2559/stat : 2559 (toysat) S 2554 2557 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107296940 1353256960 271805 33554432000 4194304 16246674 140735615479792 140081029422320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2557/tid=2560] ppid=2554 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2560/stat : 2560 (toysat) S 2554 2557 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107296940 1353256960 271805 33554432000 4194304 16246674 140735615479792 140081018948784 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) 1321540 ################ # More data... # ################ /proc/2557/task/2560/stat : 2560 (toysat) S 2554 2557 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107296940 1368985600 275646 33554432000 4194304 16246674 140735615479792 140081018948784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1242.1 Current children cumulated vsize (KiB) 1336900 [startup+1302.3 s] /proc/loadavg: 2.28 2.25 2.21 3/183 2616 /proc/meminfo: memFree=28090072/32872528 swapFree=17892/1720544 [pid=2557] ppid=2554 vsize=1336900 CPUtime=1302.09 cores=0,2,4,6 /proc/2557/stat : 2557 (toysat) R 2554 2557 31655 0 -1 4202496 275321 0 0 0 130167 42 0 0 20 0 4 0 107296940 1368985600 275646 33554432000 4194304 16246674 140735615479792 140735615461696 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2557/statm: 334225 275646 852 2943 0 331119 0 [pid=2557/tid=2558] ppid=2554 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2558/stat : 2558 (toysat) S 2554 2557 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107296940 1368985600 275646 33554432000 4194304 16246674 140735615479792 140081039912176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2557/tid=2559] ppid=2554 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2559/stat : 2559 (toysat) S 2554 2557 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107296940 1368985600 275646 33554432000 4194304 16246674 140735615479792 140081029422320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2557/tid=2560] ppid=2554 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2560/stat : 2560 (toysat) S 2554 2557 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107296940 1368985600 275646 33554432000 4194304 16246674 140735615479792 140081018948784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 1336900 [startup+1362.3 s] /proc/loadavg: 2.40 2.30 2.22 3/183 2617 /proc/meminfo: memFree=28090176/32872528 swapFree=17892/1720544 [pid=2557] ppid=2554 vsize=1336900 CPUtime=1362.08 cores=0,2,4,6 /proc/2557/stat : 2557 (toysat) R 2554 2557 31655 0 -1 4202496 275321 0 0 0 136166 42 0 0 20 0 4 0 107296940 1368985600 275646 33554432000 4194304 16246674 140735615479792 140735615461696 12415766 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2557/statm: 334225 275646 852 2943 0 331119 0 [pid=2557/tid=2558] ppid=2554 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2558/stat : 2558 (toysat) S 2554 2557 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107296940 1368985600 275646 33554432000 4194304 16246674 140735615479792 140081039912176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2557/tid=2559] ppid=2554 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2559/stat : 2559 (toysat) S 2554 2557 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107296940 1368985600 275646 33554432000 4194304 16246674 140735615479792 140081029422320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2557/tid=2560] ppid=2554 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2560/stat : 2560 (toysat) S 2554 2557 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107296940 1368985600 275646 33554432000 4194304 16246674 140735615479792 140081018948784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 1336900 [startup+1422.3 s] /proc/loadavg: 2.40 2.31 2.23 3/183 2618 /proc/meminfo: memFree=28090316/32872528 swapFree=17892/1720544 [pid=2557] ppid=2554 vsize=1336900 CPUtime=1422.07 cores=0,2,4,6 /proc/2557/stat : 2557 (toysat) R 2554 2557 31655 0 -1 4202496 275339 0 0 0 142165 42 0 0 20 0 4 0 107296940 1368985600 275649 33554432000 4194304 16246674 140735615479792 140735615461696 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2557/statm: 334225 275649 852 2943 0 331119 0 [pid=2557/tid=2558] ppid=2554 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2558/stat : 2558 (toysat) S 2554 2557 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107296940 1368985600 275649 33554432000 4194304 16246674 140735615479792 140081039912176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2557/tid=2559] ppid=2554 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2559/stat : 2559 (toysat) S 2554 2557 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107296940 1368985600 275649 33554432000 4194304 16246674 140735615479792 140081029422320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2557/tid=2560] ppid=2554 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2560/stat : 2560 (toysat) S 2554 2557 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107296940 1368985600 275649 33554432000 4194304 16246674 140735615479792 140081018948784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 1336900 [startup+1482.3 s] /proc/loadavg: 2.29 2.30 2.23 3/183 2620 /proc/meminfo: memFree=28089852/32872528 swapFree=17892/1720544 [pid=2557] ppid=2554 vsize=1336900 CPUtime=1482.04 cores=0,2,4,6 /proc/2557/stat : 2557 (toysat) R 2554 2557 31655 0 -1 4202496 275371 0 0 0 148161 43 0 0 20 0 4 0 107296940 1368985600 275649 33554432000 4194304 16246674 140735615479792 140735615461696 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2557/statm: 334225 275649 852 2943 0 331119 0 [pid=2557/tid=2558] ppid=2554 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2558/stat : 2558 (toysat) S 2554 2557 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107296940 1368985600 275649 33554432000 4194304 16246674 140735615479792 140081039912176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2557/tid=2559] ppid=2554 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2559/stat : 2559 (toysat) S 2554 2557 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107296940 1368985600 275649 33554432000 4194304 16246674 140735615479792 140081029422320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2557/tid=2560] ppid=2554 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2560/stat : 2560 (toysat) S 2554 2557 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107296940 1368985600 275649 33554432000 4194304 16246674 140735615479792 140081018948784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 1336900 [startup+1542.31 s] /proc/loadavg: 2.26 2.29 2.23 4/183 2621 /proc/meminfo: memFree=28089880/32872528 swapFree=17892/1720544 [pid=2557] ppid=2554 vsize=1336900 CPUtime=1542.03 cores=0,2,4,6 /proc/2557/stat : 2557 (toysat) R 2554 2557 31655 0 -1 4202496 275396 0 0 0 154160 43 0 0 20 0 4 0 107296940 1368985600 275649 33554432000 4194304 16246674 140735615479792 140735615461696 5661440 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2557/statm: 334225 275649 852 2943 0 331119 0 [pid=2557/tid=2558] ppid=2554 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2558/stat : 2558 (toysat) S 2554 2557 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107296940 1368985600 275649 33554432000 4194304 16246674 140735615479792 140081039912176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2557/tid=2559] ppid=2554 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2559/stat : 2559 (toysat) S 2554 2557 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107296940 1368985600 275649 33554432000 4194304 16246674 140735615479792 140081029422320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2557/tid=2560] ppid=2554 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2560/stat : 2560 (toysat) S 2554 2557 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107296940 1368985600 275649 33554432000 4194304 16246674 140735615479792 140081018948784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 1336900 [startup+1602.3 s] /proc/loadavg: 2.28 2.28 2.23 3/184 2625 /proc/meminfo: memFree=28061188/32872528 swapFree=17892/1720544 [pid=2557] ppid=2554 vsize=1336900 CPUtime=1601.99 cores=0,2,4,6 /proc/2557/stat : 2557 (toysat) R 2554 2557 31655 0 -1 4202496 275431 0 0 0 160156 43 0 0 20 0 4 0 107296940 1368985600 275649 33554432000 4194304 16246674 140735615479792 140735615461696 5829752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2557/statm: 334225 275649 852 2943 0 331119 0 [pid=2557/tid=2558] ppid=2554 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2558/stat : 2558 (toysat) S 2554 2557 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107296940 1368985600 275649 33554432000 4194304 16246674 140735615479792 140081039912176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2557/tid=2559] ppid=2554 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2559/stat : 2559 (toysat) S 2554 2557 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107296940 1368985600 275649 33554432000 4194304 16246674 140735615479792 140081029422320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2557/tid=2560] ppid=2554 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2560/stat : 2560 (toysat) S 2554 2557 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107296940 1368985600 275649 33554432000 4194304 16246674 140735615479792 140081018948784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.99 Current children cumulated vsize (KiB) 1336900 [startup+1662.3 s] /proc/loadavg: 2.33 2.29 2.23 3/183 2626 /proc/meminfo: memFree=28060848/32872528 swapFree=17892/1720544 [pid=2557] ppid=2554 vsize=1336900 CPUtime=1661.97 cores=0,2,4,6 /proc/2557/stat : 2557 (toysat) R 2554 2557 31655 0 -1 4202496 275469 0 0 0 166153 44 0 0 20 0 4 0 107296940 1368985600 275649 33554432000 4194304 16246674 140735615479792 140735615461696 13781188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2557/statm: 334225 275649 852 2943 0 331119 0 [pid=2557/tid=2558] ppid=2554 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2558/stat : 2558 (toysat) S 2554 2557 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107296940 1368985600 275649 33554432000 4194304 16246674 140735615479792 140081039912176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2557/tid=2559] ppid=2554 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2559/stat : 2559 (toysat) S 2554 2557 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107296940 1368985600 275649 33554432000 4194304 16246674 140735615479792 140081029422320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2557/tid=2560] ppid=2554 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2560/stat : 2560 (toysat) S 2554 2557 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107296940 1368985600 275649 33554432000 4194304 16246674 140735615479792 140081018948784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.97 Current children cumulated vsize (KiB) 1336900 [startup+1722.3 s] /proc/loadavg: 2.24 2.28 2.23 3/183 2725 /proc/meminfo: memFree=28127388/32872528 swapFree=17892/1720544 [pid=2557] ppid=2554 vsize=1336900 CPUtime=1721.94 cores=0,2,4,6 /proc/2557/stat : 2557 (toysat) R 2554 2557 31655 0 -1 4202496 275503 0 0 0 172150 44 0 0 20 0 4 0 107296940 1368985600 275650 33554432000 4194304 16246674 140735615479792 140735615478968 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2557/statm: 334225 275650 853 2943 0 331119 0 [pid=2557/tid=2558] ppid=2554 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2558/stat : 2558 (toysat) S 2554 2557 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107296940 1368985600 275650 33554432000 4194304 16246674 140735615479792 140081039912176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2557/tid=2559] ppid=2554 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2559/stat : 2559 (toysat) S 2554 2557 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107296940 1368985600 275650 33554432000 4194304 16246674 140735615479792 140081029422320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2557/tid=2560] ppid=2554 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2560/stat : 2560 (toysat) S 2554 2557 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107296940 1368985600 275650 33554432000 4194304 16246674 140735615479792 140081018948784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.94 Current children cumulated vsize (KiB) 1336900 [startup+1782.3 s] /proc/loadavg: 2.33 2.30 2.24 3/183 2727 /proc/meminfo: memFree=28123708/32872528 swapFree=17892/1720544 [pid=2557] ppid=2554 vsize=1336900 CPUtime=1781.91 cores=0,2,4,6 /proc/2557/stat : 2557 (toysat) R 2554 2557 31655 0 -1 4202496 275530 0 0 0 178147 44 0 0 20 0 4 0 107296940 1368985600 275650 33554432000 4194304 16246674 140735615479792 140735615461696 5712004 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2557/statm: 334225 275650 853 2943 0 331119 0 [pid=2557/tid=2558] ppid=2554 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2558/stat : 2558 (toysat) S 2554 2557 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107296940 1368985600 275650 33554432000 4194304 16246674 140735615479792 140081039912176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2557/tid=2559] ppid=2554 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2559/stat : 2559 (toysat) S 2554 2557 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107296940 1368985600 275650 33554432000 4194304 16246674 140735615479792 140081029422320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2557/tid=2560] ppid=2554 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2560/stat : 2560 (toysat) S 2554 2557 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107296940 1368985600 275650 33554432000 4194304 16246674 140735615479792 140081018948784 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) 1336900 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.26 2.28 2.23 3/183 2727 /proc/meminfo: memFree=28122688/32872528 swapFree=17892/1720544 [pid=2557] ppid=2554 vsize=1336900 CPUtime=1800.01 cores=0,2,4,6 /proc/2557/stat : 2557 (toysat) R 2554 2557 31655 0 -1 4202496 275540 0 0 0 179956 45 0 0 20 0 4 0 107296940 1368985600 275650 33554432000 4194304 16246674 140735615479792 140735615461696 12415827 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2557/statm: 334225 275650 853 2943 0 331119 0 [pid=2557/tid=2558] ppid=2554 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2558/stat : 2558 (toysat) S 2554 2557 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107296940 1368985600 275650 33554432000 4194304 16246674 140735615479792 140081039912176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2557/tid=2559] ppid=2554 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2559/stat : 2559 (toysat) S 2554 2557 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107296940 1368985600 275650 33554432000 4194304 16246674 140735615479792 140081029422320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2557/tid=2560] ppid=2554 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2557/task/2560/stat : 2560 (toysat) S 2554 2557 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107296940 1368985600 275650 33554432000 4194304 16246674 140735615479792 140081018948784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1336900 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 2557 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.43 CPU time (s): 1800.04 CPU user time (s): 1799.57 CPU system time (s): 0.470928 CPU usage (%): 99.9782 Max. virtual memory (cumulated for all children) (KiB): 1336900 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.57 system time used= 0.470928 maximum resident set size= 1102600 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 275540 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= 230 involuntary context switches= 1850 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.96924 second user time and 7.04193 second system time The end
Begin job on node117 at 2016-06-07 00:53:58 IDJOB=4079102 IDBENCH=25047 IDSOLVER=2542 FILE ID=node117/4079102-1465253638 RUNJOBID= node117-1465227498-31671 PBS_JOBID= 19843241 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir03_trarea_ac.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079102-1465253638/watcher-4079102-1465253638 -o /tmp/evaluation-result-4079102-1465253638/solver-4079102-1465253638 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465227498-31671 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079102-1465253638.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3247d1c2d88b8e4a3c1b4f888e937620 RANDOM SEED=506199901 node117.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29195732 kB Buffers: 10108 kB Cached: 76484 kB SwapCached: 55888 kB Active: 1171124 kB Inactive: 82368 kB Active(anon): 1113248 kB Inactive(anon): 56024 kB Active(file): 57876 kB Inactive(file): 26344 kB Unevictable: 1720544 kB Mlocked: 17892 kB SwapTotal: 67108856 kB SwapFree: 67043784 kB Dirty: 16340 kB Writeback: 0 kB AnonPages: 2943084 kB Mapped: 10272 kB Shmem: 0 kB Slab: 567584 kB SReclaimable: 11816 kB SUnreclaim: 555768 kB KernelStack: 1520 kB PageTables: 9644 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2978260 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1820672 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71708 MiB End job on node117 at 2016-06-07 01:23:58