| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.05 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_1.opb |
| MD5SUM | 74165f17686851db36d48a05683565a5 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -47 |
| Best CPU time to get the best result obtained on this benchmark | 1800.01 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -58 |
| Optimality of the best value was proved | NO |
| Number of variables | 400 |
| Total number of constraints | 601 |
| Number of constraints which are clauses | 200 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 401 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 400 |
| Number of terms in the objective function | 200 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 400 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 4964 |
| Sum of products size (including duplicates) | 9928 |
| Number of different products | 2482 |
| Sum of products size | 4964 |
0.00/0.00 c 2016-06-07T03:31:41+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-4080097-1465263101.opb"] 0.00/0.01 c use --random-gen="1902005011 2842083529 3037481959 3792598765 4094211567 1001224415 2972640616 2037587357 4142216369 3112193353 1936810394 401757001 1734045380 4159286148 202021656 781876423 2779866307 460423631 4203625712 89353941 2660949083 308535659 798581036 75387329 667122907 1369455086 1654305888 2629351244 579104188 3911512638 1888119162 3389014372 3356205326 1384507745 1616832684 334591527 2034473317 3617138777 435801942 2682244546 3498662389 2361695312 1532764321 200626744 697107098 2254439644 4176669627 4160143980 1623760124 182140182 1655757299 685413639 3131573064 1247097728 3271652407 728396044 3785729438 3597073801 2415583046 2013041141 4148466200 1874624060 1073546284 1088341079 2863538236 2373635696 745559044 1757471263 3288194521 999608292 3852280968 3245846826 2597725521 4088197903 1314147286 816752434 1898033231 284830062 2959673062 2072083555 1221301863 904906410 692439709 1160359594 4152364617 4138157932 1873892520 2584971689 2424141670 3346846944 1038022381 2988872897 2968668748 2962286263 2028019346 305344881 4081059650 614041626 1155457529 2653772031 2890800589 1538755679 439143485 1008702450 736147397 3126737230 3869176994 1309719439 1508673089 3677278640 2191277856 4122720170 2595113306 3029329119 3938800573 2543874333 2487547897 2760004208 835907867 364768148 554140550 1070653821 92187265 532331628 4191198821 2470089120 3797029707 2907069537 306898320 203679602 1511844214 315909272 1497409242 3314098890 3688756336 387714046 1672354950 464327540 1757085793 826603404 3768548069 1512063593 4030818048 3389538594 2332630315 4206274703 1427256002 812951307 1908302073 1779777191 3098127833 1725209301 360357420 561718205 1202636111 1520368406 3458716065 1588363145 2537704146 1201801960 3715408538 1894802933 2089619601 3382162760 311349923 3458480346 2694283854 561710187 3946253083 3824380874 1803306650 2693565045 104185212 2239092411 658851671 1883443659 3795078025 3971351664 129653469 1172119996 3937599688 3275727251 1248961566 129699390 1643038127 2703342233 1600998937 3959258856 3528553077 2874423315 2728149118 1373253661 1675297621 3844651880 1457690867 431306381 608717672 1714033399 1141802189 173260806 2578431228 3585895454 2145111733 862081072 1576829954 1221307119 1955491593 1303260387 3221726505 1136581477 3833176971 1101813307 3265581737 4101680512 962688552 1926503491 3841678480 1288066990 36291382 4265488456 2528104607 2524105681 3938273443 3984791053 3357328753 1781343000 4146097980 877252108 2483318877 1371375866 2924976571 538468758 2042199424 1145823244 1323228779 511309031 2886839856 2644687669 204804491 186868560 3787972876 1389792158 2371698531 3656197944 3825776646 3751950983 1857120824 535803975 651424758 482718515 267727019 3935070572 3831916201 1262632116 3413401529 801829800 255 362436" option to reproduce the execution 0.00/0.03 c #vars 400 0.00/0.03 c #constraints 601 0.00/0.09 c BCD2: Hardening is enabled. 0.00/0.09 c BCD2: BiasedSearch is enabled. 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 1988 0 | 0 | 0 0.09/0.11 c 0.0s | 0 | 306 | 1 | 1988 0 | 0 | 0 0.09/0.11 c #cpu_time = 0.005s 0.09/0.11 c #wall_clock_time = 0.005s 0.09/0.11 c #decision = 306 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 1 0.09/0.11 c #restart = 0 0.09/0.11 o -32 0.09/0.11 c BCD2: updating upper bound: 200 -> 167 0.09/0.11 c BCD2: 0 <= obj <= 167 0.09/0.11 c BCD2: #cores=0, #unrelaxed=200, #relaxed=0, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=1 bias=1/2 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 | 1988 0 | 0 | 0 0.09/0.11 c 0.0s | 0 | 131 | 2 | 1988 0 | 0 | 0 0.09/0.11 c #cpu_time = 0.004s 0.09/0.11 c #wall_clock_time = 0.004s 0.09/0.11 c #decision = 131 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 2 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 100: cost of the new core is >=1 0.09/0.11 c lower bound updated to -199 0.09/0.11 c BCD2: 1 <= obj <= 167 0.09/0.11 c BCD2: #cores=1, #unrelaxed=100, #relaxed=100, #hardened=0 0.09/0.11 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 | 1988 0 | 0 | 0 0.09/0.12 c 0.0s | 0 | 101 | 1 | 1988 0 | 0 | 0 0.09/0.12 c #cpu_time = 0.009s 0.09/0.12 c #wall_clock_time = 0.009s 0.09/0.12 c #decision = 101 0.09/0.12 c #random_decision = 0 0.09/0.12 c #conflict = 1 0.09/0.12 c #restart = 0 0.09/0.12 c BCD2: relaxing 100 and merging with 1 cores into a new core of size 200: cost of the new core is >=2 0.09/0.12 c lower bound updated to -198 0.09/0.12 c BCD2: 2 <= obj <= 167 0.09/0.12 c BCD2: #cores=1, #unrelaxed=0, #relaxed=200, #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 | 1988 0 | 1 | 0 0.09/0.16 c 0.0s | 1 | 2460 | 100 | 2187 0 | 1 | 1 0.29/0.38 c 0.3s | 2 | 4988 | 250 | 2406 0 | 1 | 1 0.59/0.69 c 0.6s | 3 | 12683 | 475 | 2647 0 | 1 | 1 1.20/1.21 c 1.1s | 4 | 16555 | 813 | 2912 0 | 1 | 1 1.79/1.83 c 1.7s | 5 | 23453 | 1320 | 3204 0 | 1 | 1 2.69/2.76 c 2.6s | 6 | 33990 | 2081 | 3525 0 | 1 | 1 4.29/4.34 c 4.2s | 7 | 43017 | 3223 | 3878 0 | 1 | 1 6.39/6.48 c 6.4s | 7 | 57237 | 4723 | 3878 1 | 1 | 1 6.70/6.74 c 6.6s | 8 | 58786 | 4936 | 4266 1 | 1 | 1 8.69/8.75 c 8.6s | 8 | 90303 | 6536 | 4266 1 | 1 | 1 9.59/9.68 c 9.6s | 9 | 103060 | 7506 | 4693 2 | 1 | 1 11.68/11.72 c 11.6s | 9 | 129787 | 9506 | 4693 3 | 1 | 1 13.79/13.83 c 13.7s | 9 | 159599 | 11306 | 5163 3 | 1 | 1 13.79/13.90 c 13.8s | 10 | 160810 | 11361 | 5163 3 | 1 | 1 15.99/16.01 c 15.9s | 10 | 191908 | 12861 | 5163 4 | 1 | 1 17.99/18.08 c 18.0s | 10 | 228907 | 14761 | 5163 5 | 1 | 1 20.09/20.12 c 20.0s | 10 | 285084 | 17061 | 5680 5 | 1 | 1 20.18/20.21 c 20.1s | 11 | 287303 | 17144 | 5680 5 | 1 | 1 22.19/22.27 c 22.1s | 11 | 313894 | 18844 | 5680 6 | 1 | 1 24.18/24.30 c 24.2s | 11 | 338817 | 20344 | 5680 6 | 1 | 1 26.28/26.36 c 26.2s | 11 | 382718 | 21844 | 5680 7 | 1 | 1 28.38/28.42 c 28.3s | 11 | 420689 | 23744 | 5680 8 | 1 | 1 30.39/30.44 c 30.3s | 11 | 440754 | 25344 | 5680 8 | 1 | 1 31.00/31.02 c 30.9s | 12 | 447819 | 25819 | 6249 8 | 1 | 1 32.99/33.09 c 33.0s | 12 | 474032 | 27219 | 6249 9 | 1 | 1 35.08/35.11 c 35.0s | 12 | 515082 | 29419 | 6249 9 | 1 | 1 37.09/37.13 c 37.0s | 12 | 556283 | 31219 | 6249 10 | 1 | 1 39.09/39.15 c 39.0s | 12 | 593104 | 32619 | 6249 10 | 1 | 1 41.09/41.18 c 41.1s | 12 | 622371 | 33819 | 6249 11 | 1 | 1 43.19/43.20 c 43.1s | 12 | 659287 | 35519 | 6249 11 | 1 | 1 45.19/45.30 c 45.2s | 12 | 696416 | 37619 | 6249 12 | 1 | 1 47.08/47.11 c 47.0s | 13 | 722042 | 38832 | 6874 12 | 1 | 1 49.18/49.21 c 49.1s | 13 | 758686 | 40232 | 6874 12 | 1 | 1 51.18/51.27 c 51.2s | 13 | 806931 | 42032 | 6874 13 | 1 | 1 53.28/53.31 c 53.2s | 13 | 845364 | 44132 | 6874 14 | 1 | 1 55.28/55.36 c 55.2s | 13 | 879317 | 45832 | 6874 14 | 1 | 1 57.38/57.43 c 57.3s | 13 | 914429 | 47232 | 6874 14 | 1 | 1 59.48/59.51 c 59.4s | 13 | 962476 | 49332 | 6874 15 | 1 | 1 61.48/61.52 c 61.4s | 13 | 998071 | 51132 | 6874 16 | 1 | 1 63.47/63.59 c 63.5s | 13 | 1034469 | 52632 | 6874 16 | 1 | 1 65.58/65.64 c 65.5s | 13 | 1064188 | 54432 | 6874 17 | 1 | 1 67.58/67.67 c 67.5s | 13 | 1097505 | 56332 | 6874 17 | 1 | 1 69.68/69.70 c 69.6s | 13 | 1133310 | 57932 | 6874 18 | 1 | 1 70.18/70.26 c 70.1s | 14 | 1143501 | 58352 | 7562 18 | 1 | 1 72.28/72.34 c 72.2s | 14 | 1180781 | 59952 | 7562 18 | 1 | 1 74.38/74.41 c 74.3s | 14 | 1223578 | 61552 | 7562 18 | 1 | 1 76.48/76.51 c 76.4s | 14 | 1247516 | 63252 | 7562 19 | 1 | 1 78.47/78.55 c 78.4s | 14 | 1291239 | 65052 | 7562 19 | 1 | 1 80.57/80.66 c 80.5s | 14 | 1316930 | 66652 | 7562 20 | 1 | 1 82.58/82.69 c 82.6s | 14 | 1342384 | 68252 | 7562 20 | 1 | 1 84.57/84.69 c 84.6s | 14 | 1389184 | 70452 | 7562 21 | 1 | 1 86.68/86.71 c 86.6s | 14 | 1434461 | 72452 | 7562 21 | 1 | 1 88.68/88.78 c 88.7s | 14 | 1445771 | 74252 | 7562 22 | 1 | 1 90.77/90.83 c 90.7s | 14 | 1469135 | 75952 | 7562 22 | 1 | 1 92.87/92.94 c 92.8s | 14 | 1480465 | 77452 | 7562 22 | 1 | 1 94.87/94.98 c 94.9s | 14 | 1504720 | 79052 | 7562 23 | 1 | 1 96.98/97.00 c 96.9s | 14 | 1532073 | 81152 | 7562 23 | 1 | 1 98.97/99.09 c 99.0s | 14 | 1544985 | 82852 | 7562 24 | 1 | 1 101.07/101.12 c 100s | 14 | 1559099 | 84652 | 7562 24 | 1 | 1 103.07/103.14 c 103s | 14 | 1574599 | 86352 | 7562 25 | 1 | 1 104.37/104.41 c 104s | 15 | 1583227 | 87632 | 8319 25 | 1 | 1 106.37/106.49 c 106s | 15 | 1605518 | 89032 | 8319 25 | 1 | 1 108.47/108.50 c 108s | 15 | 1629817 | 90632 | 8319 26 | 1 | 1 110.57/110.61 c 110s | 15 | 1654324 | 92532 | 8319 26 | 1 | 1 112.67/112.73 c 112s | 15 | 1668552 | 94332 | 8319 27 | 1 | 1 114.67/114.78 c 114s | 15 | 1689502 | 96432 | 8319 27 | 1 | 1 116.77/116.88 c 116s | 15 | 1695817 | 98132 | 8319 27 | 1 | 1 118.77/118.90 c 118s | 15 | 1705453 | 99732 | 8319 28 | 1 | 1 121.37/121.46 c 121s | 15 | 1723064 | 101032 | 8319 28 | 1 | 1 123.47/123.52 c 123s | 15 | 1763643 | 102732 | 8319 28 | 1 | 1 125.48/125.53 c 125s | 15 | 1790751 | 104932 | 8319 29 | 1 | 1 127.47/127.58 c 127s | 15 | 1826993 | 106532 | 8319 29 | 1 | 1 129.57/129.62 c 129s | 15 | 1862641 | 108432 | 8319 30 | 1 | 1 131.56/131.65 c 131s | 15 | 1896261 | 110332 | 8319 30 | 1 | 1 133.66/133.72 c 133s | 15 | 1923121 | 112432 | 8319 31 | 1 | 1 135.67/135.72 c 135s | 15 | 1963741 | 114332 | 8319 31 | 1 | 1 137.68/137.76 c 137s | 15 | 1994141 | 116032 | 8319 32 | 1 | 1 139.67/139.77 c 139s | 15 | 2028907 | 118032 | 8319 32 | 1 | 1 141.77/141.80 c 141s | 15 | 2064261 | 119732 | 8319 32 | 1 | 1 143.77/143.86 c 143s | 15 | 2078565 | 121432 | 8319 33 | 1 | 1 145.87/145.91 c 145s | 15 | 2094207 | 123132 | 8319 33 | 1 | 1 147.96/148.00 c 147s | 15 | 2128811 | 125132 | 8319 34 | 1 | 1 149.96/150.03 c 149s | 15 | 2147469 | 126932 | 8319 34 | 1 | 1 151.97/152.06 c 151s | 15 | 2163842 | 128732 | 8319 35 | 1 | 1 153.96/154.10 c 153s | 15 | 2182424 | 130832 | 9151 35 | 1 | 1 154.66/154.71 c 154s | 16 | 2189539 | 131552 | 9151 35 | 1 | 1 156.67/156.73 c 156s | 16 | 2214558 | 133052 | 9151 35 | 1 | 1 158.66/158.78 c 158s | 16 | 2239462 | 134752 | 9151 36 | 1 | 1 160.77/160.82 c 160s | 16 | 2277216 | 136552 | 9151 36 | 1 | 1 162.87/162.90 c 162s | 16 | 2305104 | 138552 | 9151 37 | 1 | 1 164.86/164.91 c 164s | 16 | 2348123 | 140452 | 9151 37 | 1 | 1 166.86/166.99 c 166s | 16 | 2387573 | 142552 | 9151 37 | 1 | 1 168.96/169.03 c 168s | 16 | 2430908 | 144752 | 9151 38 | 1 | 1 171.06/171.15 c 171s | 16 | 2457208 | 146752 | 9151 38 | 1 | 1 173.06/173.17 c 173s | 16 | 2465459 | 148652 | 9151 39 | 1 | 1 175.07/175.18 c 175s | 16 | 2475050 | 150552 | 9151 39 | 1 | 1 177.17/177.28 c 177s | 16 | 2497663 | 152352 | 9151 40 | 1 | 1 179.26/179.38 c 179s | 16 | 2511202 | 154052 | 9151 40 | 1 | 1 181.36/181.46 c 181s | 16 | 2534586 | 155452 | 9151 40 | 1 | 1 183.46/183.52 c 183s | 16 | 2574520 | 157252 | 9151 41 | 1 | 1 185.56/185.61 c 185s | 16 | 2641968 | 159352 | 9151 41 | 1 | 1 187.56/187.61 c 187s | 16 | 2698080 | 161152 | 9151 41 | 1 | 1 189.56/189.66 c 189s | 16 | 2757020 | 163252 | 9151 42 | 1 | 1 191.66/191.73 c 191s | 16 | 2808891 | 165352 | 9151 42 | 1 | 1 193.67/193.80 c 193s | 16 | 2866938 | 167352 | 9151 43 | 1 | 1 195.76/195.85 c 195s | 16 | 2923327 | 169652 | 9151 43 | 1 | 1 197.86/197.95 c 197s | 16 | 2982072 | 171552 | 9151 44 | 1 | 1 199.86/199.99 c 199s | 16 | 3027717 | 173652 | 9151 44 | 1 | 1 201.96/202.01 c 201s | 16 | 3067031 | 175452 | 9151 44 | 1 | 1 203.96/204.09 c 203s | 16 | 3092803 | 177252 | 9151 45 | 1 | 1 205.96/206.09 c 205s | 16 | 3119788 | 179252 | 9151 45 | 1 | 1 207.97/208.09 c 207s | 16 | 3138446 | 181152 | 9151 46 | 1 | 1 210.06/210.12 c 209s | 16 | 3182029 | 183152 | 9151 46 | 1 | 1 212.06/212.19 c 212s | 16 | 3207528 | 184952 | 9151 47 | 1 | 1 214.16/214.28 c 214s | 16 | 3222749 | 186952 | 9151 47 | 1 | 1 216.26/216.31 c 216s | 16 | 3235804 | 188752 | 9151 47 | 1 | 1 218.26/218.32 c 218s | 16 | 3253138 | 190852 | 9151 48 | 1 | 1 220.26/220.32 c 220s | 16 | 3266654 | 192552 | 9151 48 | 1 | 1 222.26/222.32 c 222s | 16 | 3281545 | 194452 | 9151 49 | 1 | 1 224.36/224.42 c 224s | 16 | 3290373 | 196252 | 10067 49 | 1 | 1 225.66/225.79 c 225s | 17 | 3295927 | 197432 | 10067 49 | 1 | 1 228.05/228.10 c 227s | 17 | 3311671 | 198932 | 10067 49 | 1 | 1 230.06/230.13 c 230s | 17 | 3345272 | 200532 | 10067 50 | 1 | 1 232.05/232.17 c 232s | 17 | 3404504 | 202432 | 10067 50 | 1 | 1 234.15/234.29 c 234s | 17 | 3438025 | 204332 | 10067 50 | 1 | 1 236.25/236.33 c 236s | 17 | 3451621 | 206032 | 10067 51 | 1 | 1 238.25/238.37 c 238s | 17 | 3482174 | 207732 | 10067 51 | 1 | 1 240.35/240.44 c 240s | 17 | 3514072 | 209432 | 10067 51 | 1 | 1 242.35/242.49 c 242s | 17 | 3524415 | 210832 | 10067 52 | 1 | 1 244.55/244.60 c 244s | 17 | 3531285 | 212232 | 10067 52 | 1 | 1 246.65/246.70 c 246s | 17 | 3555012 | 213832 | 10067 52 | 1 | 1 248.65/248.75 c 248s | 17 | 3583065 | 215232 | 10067 52 | 1 | 1 250.75/250.84 c 250s | 17 | 3615586 | 217232 | 10067 53 | 1 | 1 252.85/252.96 c 252s | 17 | 3642295 | 219132 | 10067 53 | 1 | 1 254.95/255.02 c 254s | 17 | 3673483 | 221132 | 10067 54 | 1 | 1 257.05/257.10 c 256s | 17 | 3693157 | 223032 | 10067 54 | 1 | 1 259.15/259.21 c 259s | 17 | 3704254 | 224832 | 10067 54 | 1 | 1 261.15/261.28 c 261s | 17 | 3715633 | 226632 | 10067 55 | 1 | 1 263.25/263.38 c 263s | 17 | 3725236 | 228632 | 10067 55 | 1 | 1 265.35/265.42 c 265s | 17 | 3747387 | 230532 | 10067 55 | 1 | 1 267.46/267.52 c 267s | 17 | 3771822 | 232032 | 10067 56 | 1 | 1 269.56/269.60 c 269s | 17 | 3789991 | 233432 | 10067 56 | 1 | 1 271.55/271.61 c 271s | 17 | 3814311 | 235132 | 10067 56 | 1 | 1 273.55/273.61 c 273s | 17 | 3838972 | 236432 | 10067 57 | 1 | 1 275.65/275.72 c 275s | 17 | 3874710 | 238232 | 10067 57 | 1 | 1 277.75/277.84 c 277s | 17 | 3907334 | 240232 | 10067 57 | 1 | 1 279.85/279.90 c 279s | 17 | 3929071 | 241732 | 10067 58 | 1 | 1 281.85/281.96 c 281s | 17 | 3949131 | 243532 | 10067 58 | 1 | 1 284.05/284.13 c 284s | 17 | 3961492 | 245232 | 10067 58 | 1 | 1 286.05/286.16 c 286s | 17 | 3971718 | 246732 | 10067 59 | 1 | 1 288.05/288.18 c 288s | 17 | 3973756 | 248032 | 10067 59 | 1 | 1 290.24/290.31 c 290s | 17 | 3976668 | 249432 | 10067 59 | 1 | 1 292.24/292.39 c 292s | 17 | 3984490 | 250832 | 10067 59 | 1 | 1 294.64/294.73 c 294s | 17 | 4007116 | 252132 | 10067 60 | 1 | 1 296.64/296.74 c 296s | 17 | 4049426 | 254032 | 10067 60 | 1 | 1 298.75/298.82 c 298s | 17 | 4077254 | 255632 | 10067 60 | 1 | 1 300.75/300.85 c 300s | 17 | 4115299 | 257232 | 10067 61 | 1 | 1 302.75/302.88 c 302s | 17 | 4158808 | 258832 | 10067 61 | 1 | 1 304.85/304.96 c 304s | 17 | 4190518 | 260632 | 10067 61 | 1 | 1 306.95/307.08 c 306s | 17 | 4210908 | 262332 | 10067 62 | 1 | 1 309.05/309.15 c 309s | 17 | 4230801 | 264032 | 10067 62 | 1 | 1 311.04/311.19 c 311s | 17 | 4254542 | 265732 | 10067 62 | 1 | 1 313.14/313.27 c 313s | 17 | 4285282 | 267432 | 10067 63 | 1 | 1 315.24/315.34 c 315s | 17 | 4336397 | 269832 | 10067 63 | 1 | 1 317.34/317.40 c 317s | 17 | 4345431 | 271532 | 10067 63 | 1 | 1 319.34/319.46 c 319s | 17 | 4373186 | 273532 | 10067 64 | 1 | 1 321.44/321.50 c 321s | 17 | 4392846 | 275232 | 10067 64 | 1 | 1 323.45/323.58 c 323s | 17 | 4420672 | 277232 | 10067 65 | 1 | 1 325.54/325.65 c 325s | 17 | 4451853 | 279532 | 10067 65 | 1 | 1 327.54/327.68 c 327s | 17 | 4472765 | 281432 | 10067 65 | 1 | 1 329.54/329.68 c 329s | 17 | 4478526 | 282932 | 10067 66 | 1 | 1 331.64/331.77 c 331s | 17 | 4491062 | 284432 | 10067 66 | 1 | 1 333.74/333.89 c 333s | 17 | 4522771 | 286332 | 10067 66 | 1 | 1 335.84/335.94 c 335s | 17 | 4534066 | 287732 | 10067 67 | 1 | 1 337.94/338.07 c 337s | 17 | 4547238 | 289132 | 10067 67 | 1 | 1 340.14/340.20 c 340s | 17 | 4571530 | 290932 | 10067 67 | 1 | 1 342.24/342.35 c 342s | 17 | 4595528 | 292332 | 10067 67 | 1 | 1 344.34/344.42 c 344s | 17 | 4615914 | 294032 | 10067 68 | 1 | 1 346.44/346.52 c 346s | 17 | 4657048 | 295932 | 11074 68 | 1 | 1 346.74/346.89 c 346s | 18 | 4660848 | 296252 | 11074 68 | 1 | 1 348.94/349.06 c 348s | 18 | 4698837 | 297752 | 11074 68 | 1 | 1 351.04/351.13 c 351s | 18 | 4741627 | 299252 | 11074 69 | 1 | 1 353.04/353.17 c 353s | 18 | 4782343 | 301152 | 11074 69 | 1 | 1 355.13/355.30 c 355s | 18 | 4829395 | 302752 | 11074 69 | 1 | 1 357.33/357.46 c 357s | 18 | 4869498 | 304252 | 11074 69 | 1 | 1 359.33/359.47 c 359s | 18 | 4893473 | 305752 | 11074 70 | 1 | 1 361.43/361.57 c 361s | 18 | 4917324 | 307552 | 11074 70 | 1 | 1 363.53/363.60 c 363s | 18 | 4945604 | 309052 | 11074 70 | 1 | 1 365.53/365.68 c 365s | 18 | 4982401 | 310852 | 11074 71 | 1 | 1 367.63/367.78 c 367s | 18 | 5024659 | 312352 | 11074 71 | 1 | 1 369.74/369.81 c 369s | 18 | 5053624 | 314152 | 11074 71 | 1 | 1 371.84/371.91 c 371s | 18 | 5087110 | 315752 | 11074 72 | 1 | 1 373.83/373.98 c 373s | 18 | 5135655 | 317652 | 11074 72 | 1 | 1 375.93/376.05 c 375s | 18 | 5184091 | 319552 | 11074 72 | 1 | 1 378.03/378.17 c 378s | 18 | 5235202 | 321252 | 11074 73 | 1 | 1 380.13/380.24 c 380s | 18 | 5266860 | 322952 | 11074 73 | 1 | 1 382.13/382.26 c 382s | 18 | 5305825 | 324652 | 11074 73 | 1 | 1 384.23/384.33 c 384s | 18 | 5336013 | 326352 | 11074 73 | 1 | 1 386.33/386.40 c 386s | 18 | 5361686 | 327952 | 11074 74 | 1 | 1 388.33/388.46 c 388s | 18 | 5406118 | 329752 | 11074 74 | 1 | 1 390.33/390.48 c 390s | 18 | 5439637 | 331752 | 11074 74 | 1 | 1 392.43/392.54 c 392s | 18 | 5465567 | 333452 | 11074 75 | 1 | 1 394.53/394.66 c 394s | 18 | 5505212 | 335352 | 11074 75 | 1 | 1 396.52/396.68 c 396s | 18 | 5540802 | 337252 | 11074 75 | 1 | 1 398.62/398.76 c 398s | 18 | 5556011 | 338852 | 11074 76 | 1 | 1 400.62/400.78 c 400s | 18 | 5572399 | 340452 | 11074 76 | 1 | 1 402.73/402.84 c 402s | 18 | 5589515 | 342252 | 11074 76 | 1 | 1 404.73/404.86 c 404s | 18 | 5603511 | 343652 | 11074 76 | 1 | 1 406.73/406.89 c 406s | 18 | 5616344 | 344952 | 11074 77 | 1 | 1 408.93/409.00 c 408s | 18 | 5660524 | 346952 | 11074 77 | 1 | 1 411.23/411.34 c 411s | 18 | 5679402 | 347952 | 11074 77 | 1 | 1 413.33/413.45 c 413s | 18 | 5705416 | 349552 | 11074 78 | 1 | 1 415.53/415.63 c 415s | 18 | 5736113 | 351052 | 11074 78 | 1 | 1 417.62/417.72 c 417s | 18 | 5761495 | 352352 | 11074 78 | 1 | 1 419.72/419.83 c 419s | 18 | 5817236 | 354152 | 11074 78 | 1 | 1 421.72/421.87 c 421s | 18 | 5849489 | 355552 | 11074 79 | 1 | 1 423.82/423.99 c 423s | 18 | 5907985 | 357352 | 11074 79 | 1 | 1 425.83/425.99 c 425s | 18 | 5927326 | 358552 | 11074 79 | 1 | 1 427.82/428.00 c 427s | 18 | 5961212 | 360152 | 11074 79 | 1 | 1 429.92/430.05 c 429s | 18 | 6016076 | 361852 | 11074 80 | 1 | 1 432.02/432.10 c 431s | 18 | 6058962 | 363652 | 11074 80 | 1 | 1 434.12/434.20 c 434s | 18 | 6113845 | 365352 | 11074 80 | 1 | 1 436.12/436.29 c 436s | 18 | 6154321 | 367052 | 11074 81 | 1 | 1 438.22/438.36 c 438s | 18 | 6200709 | 368952 | 11074 81 | 1 | 1 440.22/440.38 c 440s | 18 | 6245252 | 370652 | 11074 81 | 1 | 1 442.32/442.46 c 442s | 18 | 6295119 | 372452 | 11074 82 | 1 | 1 444.42/444.53 c 444s | 18 | 6355965 | 374552 | 11074 82 | 1 | 1 446.52/446.61 c 446s | 18 | 6403550 | 376352 | 11074 82 | 1 | 1 448.62/448.71 c 448s | 18 | 6451995 | 378252 | 11074 83 | 1 | 1 450.62/450.72 c 450s | 18 | 6486267 | 379952 | 11074 83 | 1 | 1 452.62/452.75 c 452s | 18 | 6521760 | 381652 | 11074 83 | 1 | 1 454.62/454.76 c 454s | 18 | 6563043 | 383352 | 11074 84 | 1 | 1 456.62/456.78 c 456s | 18 | 6602656 | 385352 | 11074 84 | 1 | 1 458.72/458.89 c 458s | 18 | 6627604 | 386952 | 11074 84 | 1 | 1 460.82/460.94 c 460s | 18 | 6662839 | 388752 | 11074 84 | 1 | 1 462.91/463.09 c 462s | 18 | 6694959 | 390752 | 11074 85 | 1 | 1 465.01/465.19 c 465s | 18 | 6730946 | 392652 | 11074 85 | 1 | 1 467.11/467.23 c 467s | 18 | 6751583 | 394452 | 11074 86 | 1 | 1 469.11/469.28 c 469s | 18 | 6772162 | 396352 | 11074 86 | 1 | 1 471.21/471.38 c 471s | 18 | 6794245 | 398552 | 11074 86 | 1 | 1 473.42/473.50 c 473s | 18 | 6806317 | 400152 | 11074 87 | 1 | 1 475.52/475.60 c 475s | 18 | 6822972 | 401952 | 11074 87 | 1 | 1 477.53/477.66 c 477s | 18 | 6831531 | 403552 | 11074 87 | 1 | 1 479.62/479.72 c 479s | 18 | 6839886 | 404152 | 11074 87 | 1 | 1 482.42/482.51 c 482s | 18 | 6880450 | 405652 | 11074 88 | 1 | 1 484.42/484.56 c 484s | 18 | 6888222 | 406952 | 11074 88 | 1 | 1 486.52/486.68 c 486s | 18 | 6923840 | 408752 | 11074 88 | 1 | 1 488.61/488.75 c 488s | 18 | 6958054 | 410452 | 11074 88 | 1 | 1 490.72/490.85 c 490s | 18 | 6983731 | 412052 | 11074 89 | 1 | 1 492.82/492.99 c 492s | 18 | 7014928 | 413552 | 11074 89 | 1 | 1 494.91/495.08 c 494s | 18 | 7045597 | 415352 | 11074 89 | 1 | 1 497.11/497.20 c 497s | 18 | 7076449 | 416852 | 11074 89 | 1 | 1 499.21/499.32 c 499s | 18 | 7091524 | 418452 | 11074 90 | 1 | 1 501.31/501.43 c 501s | 18 | 7114293 | 419852 | 11074 90 | 1 | 1 503.31/503.48 c 503s | 18 | 7126040 | 421452 | 11074 90 | 1 | 1 505.41/505.58 c 505s | 18 | 7148779 | 422852 | 11074 91 | 1 | 1 507.61/507.74 c 507s | 18 | 7156746 | 424252 | 11074 91 | 1 | 1 509.61/509.77 c 509s | 18 | 7174319 | 425552 | 11074 91 | 1 | 1 511.71/511.86 c 511s | 18 | 7187170 | 426952 | 11074 91 | 1 | 1 513.81/513.97 c 513s | 18 | 7202299 | 428352 | 11074 92 | 1 | 1 515.91/516.03 c 515s | 18 | 7213995 | 429652 | 11074 92 | 1 | 1 517.91/518.05 c 517s | 18 | 7230991 | 431152 | 11074 92 | 1 | 1 520.11/520.20 c 520s | 18 | 7245588 | 432452 | 11074 92 | 1 | 1 522.21/522.32 c 522s | 18 | 7260196 | 433752 | 11074 92 | 1 | 1 524.21/524.36 c 524s | 18 | 7273326 | 435052 | 11074 93 | 1 | 1 526.21/526.39 c 526s | 18 | 7289964 | 436552 | 11074 93 | 1 | 1 528.31/528.41 c 528s | 18 | 7307054 | 438152 | 11074 93 | 1 | 1 530.32/530.46 c 530s | 18 | 7328901 | 439652 | 11074 94 | 1 | 1 532.42/532.59 c 532s | 18 | 7344155 | 441252 | 11074 94 | 1 | 1 534.51/534.60 c 534s | 18 | 7367187 | 442852 | 12182 94 | 1 | 1 536.51/536.65 c 536s | 18 | 7381381 | 444252 | 12182 94 | 1 | 1 536.71/536.90 c 536s | 19 | 7383585 | 444482 | 12182 94 | 1 | 1 538.80/538.97 c 538s | 19 | 7418858 | 445682 | 12182 94 | 1 | 1 540.91/541.03 c 540s | 19 | 7435981 | 446682 | 12182 95 | 1 | 1 542.90/543.06 c 542s | 19 | 7475414 | 448282 | 12182 95 | 1 | 1 545.01/545.15 c 545s | 19 | 7513101 | 450182 | 12182 95 | 1 | 1 547.11/547.26 c 547s | 19 | 7562855 | 451882 | 12182 95 | 1 | 1 549.21/549.34 c 549s | 19 | 7601891 | 453282 | 12182 96 | 1 | 1 551.21/551.39 c 551s | 19 | 7635903 | 454882 | 12182 96 | 1 | 1 553.41/553.52 c 553s | 19 | 7654848 | 456482 | 12182 96 | 1 | 1 555.40/555.52 c 555s | 19 | 7679989 | 457882 | 12182 96 | 1 | 1 557.50/557.65 c 557s | 19 | 7699608 | 459382 | 12182 97 | 1 | 1 559.60/559.75 c 559s | 19 | 7722877 | 461082 | 12182 97 | 1 | 1 561.60/561.78 c 561s | 19 | 7744222 | 462382 | 12182 97 | 1 | 1 563.60/563.80 c 563s | 19 | 7773774 | 464082 | 12182 97 | 1 | 1 565.70/565.84 c 565s | 19 | 7786158 | 465282 | 12182 98 | 1 | 1 567.80/567.90 c 567s | 19 | 7801991 | 466782 | 12182 98 | 1 | 1 569.91/570.05 c 569s | 19 | 7811252 | 468182 | 12182 98 | 1 | 1 572.01/572.18 c 572s | 19 | 7821125 | 469682 | 12182 98 | 1 | 1 574.20/574.38 c 574s | 19 | 7834638 | 471282 | 12182 99 | 1 | 1 576.40/576.54 c 576s | 19 | 7845231 | 472782 | 12182 99 | 1 | 1 578.40/578.54 c 578s | 19 | 7853926 | 474282 | 12182 99 | 1 | 1 580.50/580.61 c 580s | 19 | 7858932 | 475582 | 12182 99 | 1 | 1 582.50/582.62 c 582s | 19 | 7866105 | 476882 | 12182 99 | 1 | 1 584.60/584.76 c 584s | 19 | 7881958 | 478482 | 12182 100 | 1 | 1 586.69/586.84 c 586s | 19 | 7896409 | 479882 | 12182 100 | 1 | 1 588.90/589.00 c 588s | 19 | 7919751 | 481682 | 12182 100 | 1 | 1 590.90/591.00 c 590s | 19 | 7950037 | 482482 | 12182 100 | 1 | 1 592.90/593.03 c 592s | 19 | 7972856 | 484082 | 12182 101 | 1 | 1 594.90/595.07 c 594s | 19 | 7987189 | 485482 | 12182 101 | 1 | 1 596.90/597.07 c 596s | 19 | 8043166 | 487182 | 12182 101 | 1 | 1 599.00/599.17 c 599s | 19 | 8075540 | 488682 | 12182 101 | 1 | 1 601.39/601.50 c 601s | 19 | 8115598 | 489982 | 12182 102 | 1 | 1 603.39/603.57 c 603s | 19 | 8153767 | 491782 | 12182 102 | 1 | 1 605.39/605.59 c 605s | 19 | 8178140 | 493382 | 12182 102 | 1 | 1 607.39/607.59 c 607s | 19 | 8188613 | 495082 | 12182 102 | 1 | 1 609.51/609.60 c 609s | 19 | 8211074 | 496482 | 12182 103 | 1 | 1 611.61/611.76 c 611s | 19 | 8246745 | 497982 | 12182 103 | 1 | 1 613.60/613.79 c 613s | 19 | 8283908 | 499782 | 12182 103 | 1 | 1 615.60/615.79 c 615s | 19 | 8325827 | 501182 | 12182 103 | 1 | 1 617.70/617.82 c 617s | 19 | 8354702 | 502582 | 12182 104 | 1 | 1 619.80/619.91 c 619s | 19 | 8404805 | 504382 | 12182 104 | 1 | 1 621.90/622.02 c 621s | 19 | 8442434 | 506082 | 12182 104 | 1 | 1 624.00/624.12 c 623s | 19 | 8487409 | 507682 | 12182 104 | 1 | 1 626.00/626.17 c 626s | 19 | 8527083 | 509282 | 12182 105 | 1 | 1 628.10/628.22 c 628s | 19 | 8567494 | 510882 | 12182 105 | 1 | 1 630.09/630.30 c 630s | 19 | 8602153 | 512782 | 12182 105 | 1 | 1 632.19/632.36 c 632s | 19 | 8623130 | 514582 | 12182 106 | 1 | 1 634.29/634.42 c 634s | 19 | 8654638 | 516382 | 12182 106 | 1 | 1 636.30/636.45 c 636s | 19 | 8697426 | 518282 | 12182 106 | 1 | 1 638.40/638.57 c 638s | 19 | 8715439 | 520182 | 12182 106 | 1 | 1 640.40/640.58 c 640s | 19 | 8728133 | 521782 | 12182 107 | 1 | 1 642.50/642.66 c 642s | 19 | 8744880 | 523482 | 12182 107 | 1 | 1 644.50/644.66 c 644s | 19 | 8758849 | 525182 | 12182 107 | 1 | 1 646.59/646.73 c 646s | 19 | 8767182 | 526782 | 12182 107 | 1 | 1 648.69/648.81 c 648s | 19 | 8775490 | 528482 | 12182 108 | 1 | 1 650.69/650.85 c 650s | 19 | 8792977 | 530082 | 12182 108 | 1 | 1 652.69/652.88 c 652s | 19 | 8812674 | 531682 | 12182 108 | 1 | 1 654.79/654.95 c 654s | 19 | 8841192 | 533082 | 12182 108 | 1 | 1 656.89/657.08 c 656s | 19 | 8858238 | 534382 | 12182 109 | 1 | 1 658.90/659.10 c 658s | 19 | 8883144 | 535982 | 12182 109 | 1 | 1 660.99/661.16 c 661s | 19 | 8920149 | 537482 | 12182 109 | 1 | 1 663.30/663.47 c 663s | 19 | 8937976 | 538682 | 12182 109 | 1 | 1 665.39/665.58 c 665s | 19 | 8966926 | 539782 | 12182 110 | 1 | 1 667.58/667.70 c 667s | 19 | 9007069 | 541582 | 12182 110 | 1 | 1 669.59/669.72 c 669s | 19 | 9049147 | 543082 | 12182 110 | 1 | 1 671.59/671.75 c 671s | 19 | 9073241 | 544582 | 12182 110 | 1 | 1 673.69/673.82 c 673s | 19 | 9106098 | 546382 | 12182 111 | 1 | 1 675.68/675.89 c 675s | 19 | 9145685 | 548182 | 12182 111 | 1 | 1 677.88/678.00 c 677s | 19 | 9168879 | 549582 | 12182 111 | 1 | 1 679.98/680.15 c 680s | 19 | 9197257 | 551082 | 12182 111 | 1 | 1 681.99/682.18 c 682s | 19 | 9228112 | 552682 | 12182 112 | 1 | 1 684.08/684.22 c 684s | 19 | 9265465 | 554282 | 12182 112 | 1 | 1 686.18/686.32 c 686s | 19 | 9278541 | 556182 | 12182 112 | 1 | 1 688.18/688.35 c 688s | 19 | 9298206 | 558082 | 12182 113 | 1 | 1 690.18/690.37 c 690s | 19 | 9325266 | 560082 | 12182 113 | 1 | 1 692.29/692.47 c 692s | 19 | 9348244 | 562082 | 12182 113 | 1 | 1 694.39/694.51 c 694s | 19 | 9371205 | 563982 | 12182 113 | 1 | 1 696.39/696.52 c 696s | 19 | 9400430 | 565682 | 12182 114 | 1 | 1 698.39/698.52 c 698s | 19 | 9433153 | 567782 | 12182 114 | 1 | 1 700.49/700.60 c 700s | 19 | 9461218 | 569582 | 12182 114 | 1 | 1 702.69/702.80 c 702s | 19 | 9479772 | 570982 | 12182 115 | 1 | 1 704.69/704.88 c 704s | 19 | 9512495 | 572882 | 12182 115 | 1 | 1 706.89/707.01 c 706s | 19 | 9542009 | 574882 | 12182 115 | 1 | 1 708.89/709.06 c 708s | 19 | 9564548 | 576382 | 12182 115 | 1 | 1 710.89/711.07 c 710s | 19 | 9589414 | 577982 | 12182 116 | 1 | 1 712.98/713.15 c 713s | 19 | 9618429 | 579782 | 12182 116 | 1 | 1 714.99/715.19 c 715s | 19 | 9641094 | 581382 | 12182 116 | 1 | 1 717.08/717.27 c 717s | 19 | 9658296 | 582582 | 12182 116 | 1 | 1 719.18/719.33 c 719s | 19 | 9691838 | 584182 | 12182 117 | 1 | 1 721.28/721.45 c 721s | 19 | 9716995 | 585782 | 12182 117 | 1 | 1 723.28/723.45 c 723s | 19 | 9736279 | 587282 | 12182 117 | 1 | 1 725.38/725.57 c 725s | 19 | 9759248 | 588982 | 12182 117 | 1 | 1 727.48/727.61 c 727s | 19 | 9783542 | 590182 | 12182 118 | 1 | 1 729.48/729.66 c 729s | 19 | 9813768 | 591982 | 12182 118 | 1 | 1 731.58/731.71 c 731s | 19 | 9844243 | 592882 | 12182 118 | 1 | 1 733.68/733.86 c 733s | 19 | 9887711 | 594282 | 12182 118 | 1 | 1 735.77/735.95 c 735s | 19 | 9910043 | 595982 | 12182 119 | 1 | 1 737.87/738.06 c 737s | 19 | 9941099 | 597682 | 12182 119 | 1 | 1 739.97/740.12 c 739s | 19 | 9967348 | 599582 | 12182 119 | 1 | 1 742.07/742.24 c 742s | 19 | 9999048 | 601082 | 12182 119 | 1 | 1 744.07/744.28 c 744s | 19 | 10029364 | 602882 | 12182 120 | 1 | 1 746.17/746.30 c 746s | 19 | 10048666 | 604382 | 12182 120 | 1 | 1 748.17/748.39 c 748s | 19 | 10070710 | 606382 | 12182 120 | 1 | 1 750.27/750.45 c 750s | 19 | 10096401 | 608082 | 12182 121 | 1 | 1 752.37/752.51 c 752s | 19 | 10106024 | 609782 | 12182 121 | 1 | 1 754.47/754.66 c 754s | 19 | 10119100 | 611482 | 12182 121 | 1 | 1 756.66/756.87 c 756s | 19 | 10128433 | 612982 | 12182 121 | 1 | 1 758.66/758.88 c 758s | 19 | 10129536 | 614082 | 12182 122 | 1 | 1 760.76/760.92 c 760s | 19 | 10135878 | 615582 | 12182 122 | 1 | 1 762.76/762.95 c 762s | 19 | 10160250 | 616882 | 12182 122 | 1 | 1 764.86/765.03 c 764s | 19 | 10187921 | 618482 | 12182 122 | 1 | 1 766.86/767.05 c 766s | 19 | 10216569 | 619982 | 12182 122 | 1 | 1 768.87/769.08 c 768s | 19 | 10233475 | 621382 | 12182 123 | 1 | 1 770.96/771.15 c 771s | 19 | 10248105 | 622682 | 12182 123 | 1 | 1 773.06/773.25 c 773s | 19 | 10261490 | 624282 | 12182 123 | 1 | 1 775.16/775.33 c 775s | 19 | 10281437 | 625582 | 12182 123 | 1 | 1 777.15/777.33 c 777s | 19 | 10310729 | 627182 | 12182 124 | 1 | 1 779.25/779.41 c 779s | 19 | 10324628 | 628682 | 12182 124 | 1 | 1 781.25/781.41 c 781s | 19 | 10343256 | 630182 | 12182 124 | 1 | 1 783.26/783.44 c 783s | 19 | 10356063 | 631582 | 12182 124 | 1 | 1 785.25/785.46 c 785s | 19 | 10376020 | 632982 | 12182 125 | 1 | 1 787.35/787.55 c 787s | 19 | 10391588 | 634782 | 12182 125 | 1 | 1 789.45/789.61 c 789s | 19 | 10405173 | 636282 | 12182 125 | 1 | 1 791.45/791.68 c 791s | 19 | 10424055 | 637882 | 12182 125 | 1 | 1 793.55/793.73 c 793s | 19 | 10434868 | 639382 | 12182 126 | 1 | 1 795.55/795.77 c 795s | 19 | 10443917 | 640082 | 12182 126 | 1 | 1 797.65/797.85 c 797s | 19 | 10499223 | 641782 | 12182 126 | 1 | 1 799.76/799.92 c 799s | 19 | 10540018 | 643382 | 12182 126 | 1 | 1 801.86/802.02 c 801s | 19 | 10592718 | 645082 | 12182 127 | 1 | 1 803.95/804.13 c 804s | 19 | 10629232 | 646682 | 12182 127 | 1 | 1 806.05/806.29 c 806s | 19 | 10649303 | 648482 | 12182 127 | 1 | 1 808.25/808.41 c 808s | 19 | 10688267 | 650382 | 12182 127 | 1 | 1 810.25/810.48 c 810s | 19 | 10719779 | 652182 | 12182 128 | 1 | 1 812.35/812.52 c 812s | 19 | 10746868 | 654182 | 12182 128 | 1 | 1 814.35/814.55 c 814s | 19 | 10774405 | 656082 | 12182 128 | 1 | 1 816.34/816.57 c 816s | 19 | 10793220 | 657782 | 12182 129 | 1 | 1 818.45/818.62 c 818s | 19 | 10829797 | 659782 | 12182 129 | 1 | 1 820.44/820.70 c 820s | 19 | 10840384 | 661482 | 12182 129 | 1 | 1 822.54/822.73 c 822s | 19 | 10867475 | 662982 | 13401 129 | 1 | 1 824.64/824.84 c 824s | 19 | 10907834 | 664582 | 13401 130 | 1 | 1 826.64/826.87 c 826s | 19 | 10938994 | 666082 | 13401 130 | 1 | 1 827.54/827.72 c 827s | 20 | 10955006 | 666827 | 13401 130 | 1 | 1 829.54/829.72 c 829s | 20 | 10997118 | 668327 | 13401 130 | 1 | 1 831.54/831.75 c 831s | 20 | 11042092 | 669927 | 13401 130 | 1 | 1 833.64/833.87 c 833s | 20 | 11063326 | 671427 | 13401 131 | 1 | 1 835.74/835.93 c 835s | 20 | 11097722 | 673027 | 13401 131 | 1 | 1 837.93/838.11 c 837s | 20 | 11122200 | 674627 | 13401 131 | 1 | 1 840.03/840.26 c 840s | 20 | 11150003 | 676227 | 13401 131 | 1 | 1 842.13/842.33 c 842s | 20 | 11168969 | 677727 | 13401 131 | 1 | 1 844.23/844.40 c 844s | 20 | 11182246 | 679427 | 13401 132 | 1 | 1 846.23/846.41 c 846s | 20 | 11196222 | 681127 | 13401 132 | 1 | 1 848.23/848.49 c 848s | 20 | 11213086 | 682827 | 13401 132 | 1 | 1 850.23/850.49 c 850s | 20 | 11238576 | 683827 | 13401 132 | 1 | 1 852.33/852.52 c 852s | 20 | 11260745 | 685427 | 13401 133 | 1 | 1 854.33/854.59 c 854s | 20 | 11305557 | 687327 | 13401 133 | 1 | 1 856.42/856.68 c 856s | 20 | 11333724 | 689227 | 13401 133 | 1 | 1 858.42/858.68 c 858s | 20 | 11373040 | 690627 | 13401 133 | 1 | 1 860.52/860.77 c 860s | 20 | 11401388 | 692127 | 13401 134 | 1 | 1 862.62/862.86 c 862s | 20 | 11438408 | 693727 | 13401 134 | 1 | 1 864.72/864.95 c 864s | 20 | 11462801 | 695327 | 13401 134 | 1 | 1 866.73/866.98 c 866s | 20 | 11497509 | 697027 | 13401 134 | 1 | 1 869.03/869.20 c 869s | 20 | 11527928 | 698727 | 13401 135 | 1 | 1 871.02/871.27 c 871s | 20 | 11553560 | 700527 | 13401 135 | 1 | 1 873.12/873.38 c 873s | 20 | 11571922 | 702027 | 13401 135 | 1 | 1 875.22/875.46 c 875s | 20 | 11593682 | 703727 | 13401 135 | 1 | 1 877.32/877.57 c 877s | 20 | 11618950 | 705127 | 13401 135 | 1 | 1 879.42/879.68 c 879s | 20 | 11643930 | 706827 | 13401 136 | 1 | 1 881.62/881.81 c 881s | 20 | 11669875 | 708627 | 13401 136 | 1 | 1 883.61/883.88 c 883s | 20 | 11679432 | 709927 | 13401 136 | 1 | 1 885.71/885.99 c 885s | 20 | 11706279 | 711427 | 13401 136 | 1 | 1 887.91/888.10 c 887s | 20 | 11734206 | 713127 | 13401 137 | 1 | 1 889.92/890.12 c 889s | 20 | 11756152 | 714727 | 13401 137 | 1 | 1 892.02/892.23 c 892s | 20 | 11779021 | 716527 | 13401 137 | 1 | 1 894.01/894.27 c 894s | 20 | 11798171 | 718027 | 13401 137 | 1 | 1 896.01/896.29 c 896s | 20 | 11814483 | 719427 | 13401 138 | 1 | 1 898.11/898.36 c 898s | 20 | 11828022 | 721127 | 13401 138 | 1 | 1 900.11/900.36 c 900s | 20 | 11833743 | 722527 | 13401 138 | 1 | 1 902.20/902.48 c 902s | 20 | 11844854 | 724027 | 13401 138 | 1 | 1 904.30/904.55 c 904s | 20 | 11869990 | 725727 | 13401 138 | 1 | 1 906.31/906.56 c 906s | 20 | 11890391 | 727327 | 13401 139 | 1 | 1 908.30/908.56 c 908s | 20 | 11913702 | 728927 | 13401 139 | 1 | 1 910.40/910.67 c 910s | 20 | 11939440 | 730627 | 13401 139 | 1 | 1 912.50/912.72 c 912s | 20 | 11958904 | 731727 | 13401 139 | 1 | 1 914.50/914.76 c 914s | 20 | 11985813 | 732727 | 13401 139 | 1 | 1 916.60/916.88 c 916s | 20 | 12011135 | 734227 | 13401 140 | 1 | 1 918.60/918.90 c 918s | 20 | 12045898 | 735827 | 13401 140 | 1 | 1 920.71/920.90 c 920s | 20 | 12066591 | 737427 | 13401 140 | 1 | 1 922.70/922.93 c 922s | 20 | 12087917 | 738827 | 13401 140 | 1 | 1 924.80/925.00 c 924s | 20 | 12126197 | 740327 | 13401 141 | 1 | 1 926.79/927.07 c 926s | 20 | 12147497 | 741927 | 13401 141 | 1 | 1 928.79/929.09 c 928s | 20 | 12172823 | 743427 | 13401 141 | 1 | 1 930.99/931.20 c 931s | 20 | 12195610 | 745227 | 13401 141 | 1 | 1 933.19/933.42 c 933s | 20 | 12222956 | 746627 | 13401 142 | 1 | 1 935.29/935.53 c 935s | 20 | 12244795 | 748227 | 13401 142 | 1 | 1 937.39/937.61 c 937s | 20 | 12265865 | 749727 | 13401 142 | 1 | 1 939.49/939.70 c 939s | 20 | 12288375 | 751227 | 13401 142 | 1 | 1 941.49/941.75 c 941s | 20 | 12303186 | 752527 | 13401 142 | 1 | 1 943.59/943.87 c 943s | 20 | 12319447 | 754227 | 13401 143 | 1 | 1 945.69/946.00 c 945s | 20 | 12326678 | 755627 | 13401 143 | 1 | 1 947.78/948.03 c 947s | 20 | 12337371 | 757227 | 13401 143 | 1 | 1 949.88/950.11 c 949s | 20 | 12342244 | 758627 | 13401 143 | 1 | 1 951.88/952.16 c 952s | 20 | 12350396 | 759927 | 13401 143 | 1 | 1 954.38/954.60 c 954s | 20 | 12360582 | 761127 | 13401 144 | 1 | 1 956.37/956.69 c 956s | 20 | 12384926 | 762527 | 13401 144 | 1 | 1 958.37/958.69 c 958s | 20 | 12400362 | 763727 | 13401 144 | 1 | 1 960.47/960.71 c 960s | 20 | 12443176 | 765327 | 13401 144 | 1 | 1 962.58/962.81 c 962s | 20 | 12454476 | 766727 | 13401 144 | 1 | 1 964.59/964.83 c 964s | 20 | 12479290 | 768127 | 13401 145 | 1 | 1 966.58/966.85 c 966s | 20 | 12506863 | 769527 | 13401 145 | 1 | 1 968.67/968.99 c 968s | 20 | 12529950 | 771327 | 13401 145 | 1 | 1 970.87/971.14 c 971s | 20 | 12548023 | 772827 | 13401 145 | 1 | 1 972.97/973.26 c 973s | 20 | 12564319 | 774327 | 13401 146 | 1 | 1 974.97/975.28 c 975s | 20 | 12573023 | 775827 | 13401 146 | 1 | 1 976.97/977.29 c 977s | 20 | 12580444 | 777327 | 13401 146 | 1 | 1 978.97/979.29 c 979s | 20 | 12588977 | 778927 | 13401 146 | 1 | 1 981.07/981.31 c 981s | 20 | 12607812 | 780527 | 13401 146 | 1 | 1 983.07/983.34 c 983s | 20 | 12638901 | 782327 | 13401 147 | 1 | 1 985.07/985.38 c 985s | 20 | 12672059 | 783627 | 13401 147 | 1 | 1 987.07/987.39 c 987s | 20 | 12707533 | 785327 | 13401 147 | 1 | 1 989.27/989.52 c 989s | 20 | 12745828 | 787227 | 13401 147 | 1 | 1 991.27/991.59 c 991s | 20 | 12783085 | 788827 | 13401 148 | 1 | 1 993.37/993.63 c 993s | 20 | 12821894 | 790727 | 13401 148 | 1 | 1 995.37/995.65 c 995s | 20 | 12849770 | 792427 | 13401 148 | 1 | 1 997.36/997.67 c 997s | 20 | 12895348 | 793927 | 13401 148 | 1 | 1 999.36/999.68 c 999s | 20 | 12925199 | 795527 | 13401 149 | 1 | 1 1001.46/1001.79 c 1001s | 20 | 12956627 | 797127 | 13401 149 | 1 | 1 1003.66/1003.90 c 1003s | 20 | 12973333 | 798527 | 13401 149 | 1 | 1 1005.66/1005.95 c 1005s | 20 | 12989552 | 799927 | 13401 149 | 1 | 1 1007.65/1007.96 c 1007s | 20 | 13012873 | 801427 | 13401 150 | 1 | 1 1009.76/1010.07 c 1009s | 20 | 13030529 | 803027 | 13401 150 | 1 | 1 1011.86/1012.15 c 1012s | 20 | 13040202 | 804527 | 13401 150 | 1 | 1 1013.95/1014.25 c 1014s | 20 | 13044175 | 805727 | 13401 150 | 1 | 1 1016.15/1016.43 c 1016s | 20 | 13046352 | 806827 | 13401 150 | 1 | 1 1018.15/1018.46 c 1018s | 20 | 13047351 | 807827 | 13401 150 | 1 | 1 1020.25/1020.53 c 1020s | 20 | 13048249 | 808727 | 13401 151 | 1 | 1 1022.86/1023.17 c 1023s | 20 | 13062224 | 810027 | 13401 151 | 1 | 1 1024.95/1025.30 c 1025s | 20 | 13096786 | 811427 | 13401 151 | 1 | 1 1027.14/1027.41 c 1027s | 20 | 13112450 | 813027 | 13401 151 | 1 | 1 1029.14/1029.42 c 1029s | 20 | 13145075 | 814427 | 13401 151 | 1 | 1 1031.14/1031.49 c 1031s | 20 | 13165557 | 815827 | 13401 152 | 1 | 1 1033.24/1033.57 c 1033s | 20 | 13186082 | 817227 | 13401 152 | 1 | 1 1035.24/1035.57 c 1035s | 20 | 13205505 | 818627 | 13401 152 | 1 | 1 1037.34/1037.60 c 1037s | 20 | 13232055 | 820027 | 13401 152 | 1 | 1 1039.35/1039.64 c 1039s | 20 | 13261103 | 821527 | 13401 152 | 1 | 1 1041.34/1041.65 c 1041s | 20 | 13275792 | 822927 | 13401 153 | 1 | 1 1043.34/1043.67 c 1043s | 20 | 13295689 | 824427 | 13401 153 | 1 | 1 1045.54/1045.81 c 1045s | 20 | 13315962 | 825827 | 13401 153 | 1 | 1 1047.64/1047.97 c 1047s | 20 | 13330086 | 827527 | 13401 153 | 1 | 1 1049.64/1049.99 c 1049s | 20 | 13347150 | 828927 | 13401 154 | 1 | 1 1051.74/1052.04 c 1051s | 20 | 13367281 | 830427 | 13401 154 | 1 | 1 1053.83/1054.17 c 1054s | 20 | 13379470 | 831927 | 13401 154 | 1 | 1 1055.95/1056.25 c 1056s | 20 | 13389983 | 833227 | 13401 154 | 1 | 1 1058.05/1058.39 c 1058s | 20 | 13397533 | 834527 | 13401 154 | 1 | 1 1060.04/1060.40 c 1060s | 20 | 13403178 | 835727 | 13401 155 | 1 | 1 1062.14/1062.46 c 1062s | 20 | 13409228 | 837227 | 13401 155 | 1 | 1 1064.33/1064.60 c 1064s | 20 | 13412755 | 838727 | 13401 155 | 1 | 1 1066.43/1066.75 c 1066s | 20 | 13419747 | 840027 | 13401 155 | 1 | 1 1068.53/1068.80 c 1068s | 20 | 13428603 | 841327 | 13401 155 | 1 | 1 1070.53/1070.88 c 1070s | 20 | 13433955 | 842427 | 13401 156 | 1 | 1 1072.63/1072.98 c 1072s | 20 | 13454830 | 843727 | 13401 156 | 1 | 1 1074.73/1075.07 c 1074s | 20 | 13472855 | 845327 | 13401 156 | 1 | 1 1076.73/1077.08 c 1076s | 20 | 13484043 | 846227 | 13401 156 | 1 | 1 1078.93/1079.21 c 1079s | 20 | 13491756 | 847627 | 13401 156 | 1 | 1 1080.92/1081.29 c 1081s | 20 | 13507907 | 849227 | 13401 157 | 1 | 1 1083.02/1083.35 c 1083s | 20 | 13527069 | 850927 | 13401 157 | 1 | 1 1085.12/1085.45 c 1085s | 20 | 13542169 | 852527 | 13401 157 | 1 | 1 1087.12/1087.48 c 1087s | 20 | 13559474 | 854027 | 13401 157 | 1 | 1 1089.32/1089.61 c 1089s | 20 | 13577465 | 855627 | 13401 157 | 1 | 1 1091.32/1091.68 c 1091s | 20 | 13588712 | 857127 | 13401 158 | 1 | 1 1093.42/1093.73 c 1093s | 20 | 13601359 | 858727 | 13401 158 | 1 | 1 1095.43/1095.76 c 1095s | 20 | 13616642 | 860227 | 13401 158 | 1 | 1 1097.52/1097.81 c 1097s | 20 | 13626057 | 861727 | 13401 158 | 1 | 1 1099.62/1099.90 c 1099s | 20 | 13632234 | 862827 | 13401 159 | 1 | 1 1101.62/1101.95 c 1101s | 20 | 13642290 | 864427 | 13401 159 | 1 | 1 1103.72/1104.05 c 1103s | 20 | 13651406 | 865927 | 13401 159 | 1 | 1 1105.82/1106.16 c 1106s | 20 | 13661491 | 867427 | 13401 159 | 1 | 1 1107.92/1108.24 c 1108s | 20 | 13669124 | 868927 | 13401 159 | 1 | 1 1110.21/1110.50 c 1110s | 20 | 13675009 | 870227 | 13401 160 | 1 | 1 1112.21/1112.55 c 1112s | 20 | 13701898 | 871727 | 13401 160 | 1 | 1 1114.31/1114.61 c 1114s | 20 | 13722140 | 873527 | 13401 160 | 1 | 1 1116.32/1116.67 c 1116s | 20 | 13742436 | 875027 | 13401 160 | 1 | 1 1118.41/1118.78 c 1118s | 20 | 13762507 | 876527 | 13401 161 | 1 | 1 1120.51/1120.82 c 1120s | 20 | 13780772 | 878227 | 13401 161 | 1 | 1 1122.61/1122.93 c 1122s | 20 | 13808347 | 879927 | 13401 161 | 1 | 1 1124.71/1125.03 c 1124s | 20 | 13834447 | 881627 | 13401 161 | 1 | 1 1126.81/1127.14 c 1127s | 20 | 13854766 | 883227 | 13401 162 | 1 | 1 1128.80/1129.19 c 1129s | 20 | 13870863 | 884627 | 13401 162 | 1 | 1 1131.00/1131.36 c 1131s | 20 | 13884470 | 886127 | 13401 162 | 1 | 1 1133.00/1133.36 c 1133s | 20 | 13908384 | 887527 | 13401 162 | 1 | 1 1135.01/1135.40 c 1135s | 20 | 13937827 | 889327 | 13401 162 | 1 | 1 1137.10/1137.43 c 1137s | 20 | 13963266 | 890927 | 13401 163 | 1 | 1 1139.10/1139.43 c 1139s | 20 | 13981350 | 892427 | 13401 163 | 1 | 1 1141.10/1141.45 c 1141s | 20 | 14001568 | 893927 | 13401 163 | 1 | 1 1143.20/1143.55 c 1143s | 20 | 14011144 | 895427 | 13401 163 | 1 | 1 1145.20/1145.58 c 1145s | 20 | 14029034 | 896727 | 13401 163 | 1 | 1 1147.29/1147.69 c 1147s | 20 | 14045043 | 898227 | 13401 164 | 1 | 1 1149.40/1149.72 c 1149s | 20 | 14058565 | 899727 | 13401 164 | 1 | 1 1151.50/1151.86 c 1151s | 20 | 14075755 | 901227 | 13401 164 | 1 | 1 1153.70/1154.02 c 1153s | 20 | 14089625 | 902627 | 13401 164 | 1 | 1 1155.69/1156.09 c 1155s | 20 | 14102675 | 904127 | 13401 165 | 1 | 1 1157.78/1158.15 c 1158s | 20 | 14116601 | 905527 | 13401 165 | 1 | 1 1159.78/1160.15 c 1160s | 20 | 14130025 | 907027 | 13401 165 | 1 | 1 1161.89/1162.25 c 1162s | 20 | 14146215 | 908527 | 13401 165 | 1 | 1 1163.99/1164.32 c 1164s | 20 | 14160028 | 909727 | 13401 165 | 1 | 1 1165.98/1166.34 c 1166s | 20 | 14170986 | 911027 | 13401 166 | 1 | 1 1168.09/1168.45 c 1168s | 20 | 14193723 | 912827 | 13401 166 | 1 | 1 1170.08/1170.46 c 1170s | 20 | 14201523 | 914127 | 13401 166 | 1 | 1 1172.18/1172.56 c 1172s | 20 | 14223127 | 915827 | 13401 166 | 1 | 1 1174.38/1174.70 c 1174s | 20 | 14232112 | 917227 | 13401 166 | 1 | 1 1176.38/1176.78 c 1176s | 20 | 14246349 | 918627 | 13401 167 | 1 | 1 1178.37/1178.78 c 1178s | 20 | 14259680 | 920327 | 13401 167 | 1 | 1 1180.37/1180.78 c 1180s | 20 | 14271494 | 921927 | 13401 167 | 1 | 1 1182.57/1182.92 c 1182s | 20 | 14285055 | 923727 | 13401 167 | 1 | 1 1184.58/1184.97 c 1184s | 20 | 14301102 | 925527 | 13401 168 | 1 | 1 1186.69/1187.03 c 1186s | 20 | 14308723 | 927327 | 13401 168 | 1 | 1 1188.98/1189.37 c 1189s | 20 | 14315593 | 928927 | 13401 168 | 1 | 1 1191.18/1191.51 c 1191s | 20 | 14329956 | 930527 | 13401 168 | 1 | 1 1193.38/1193.73 c 1193s | 20 | 14335449 | 931527 | 13401 169 | 1 | 1 1195.37/1195.76 c 1195s | 20 | 14347337 | 932827 | 13401 169 | 1 | 1 1197.37/1197.78 c 1197s | 20 | 14362104 | 934527 | 13401 169 | 1 | 1 1199.47/1199.80 c 1199s | 20 | 14374684 | 936127 | 13401 169 | 1 | 1 1201.57/1201.91 c 1201s | 20 | 14388302 | 937727 | 13401 169 | 1 | 1 1203.57/1203.95 c 1203s | 20 | 14398515 | 939327 | 13401 170 | 1 | 1 1205.67/1206.04 c 1205s | 20 | 14413084 | 941027 | 13401 170 | 1 | 1 1207.76/1208.16 c 1208s | 20 | 14425065 | 942727 | 13401 170 | 1 | 1 1209.77/1210.16 c 1210s | 20 | 14433168 | 944327 | 13401 170 | 1 | 1 1211.86/1212.30 c 1212s | 20 | 14440180 | 945927 | 13401 171 | 1 | 1 1214.07/1214.44 c 1214s | 20 | 14451273 | 947527 | 13401 171 | 1 | 1 1216.16/1216.59 c 1216s | 20 | 14463309 | 949427 | 13401 171 | 1 | 1 1218.36/1218.71 c 1218s | 20 | 14470714 | 950927 | 13401 171 | 1 | 1 1220.36/1220.75 c 1220s | 20 | 14479300 | 952027 | 13401 172 | 1 | 1 1222.36/1222.79 c 1222s | 20 | 14510272 | 953727 | 13401 172 | 1 | 1 1224.56/1224.92 c 1224s | 20 | 14534660 | 955427 | 13401 172 | 1 | 1 1226.56/1226.96 c 1226s | 20 | 14551081 | 956827 | 13401 172 | 1 | 1 1228.66/1229.06 c 1228s | 20 | 14574292 | 958327 | 13401 173 | 1 | 1 1230.66/1231.08 c 1230s | 20 | 14599516 | 959827 | 13401 173 | 1 | 1 1232.66/1233.09 c 1232s | 20 | 14613844 | 961327 | 13401 173 | 1 | 1 1234.86/1235.20 c 1235s | 20 | 14625172 | 963027 | 13401 173 | 1 | 1 1236.85/1237.26 c 1237s | 20 | 14640951 | 964327 | 13401 173 | 1 | 1 1238.95/1239.30 c 1239s | 20 | 14653527 | 965927 | 13401 174 | 1 | 1 1240.95/1241.39 c 1241s | 20 | 14665461 | 967427 | 13401 174 | 1 | 1 1243.05/1243.49 c 1243s | 20 | 14673661 | 968827 | 13401 174 | 1 | 1 1245.15/1245.59 c 1245s | 20 | 14684660 | 970327 | 13401 174 | 1 | 1 1247.34/1247.72 c 1247s | 20 | 14694471 | 971727 | 13401 174 | 1 | 1 1249.35/1249.74 c 1249s | 20 | 14701434 | 973027 | 13401 175 | 1 | 1 1251.35/1251.77 c 1251s | 20 | 14709214 | 974427 | 13401 175 | 1 | 1 1253.45/1253.86 c 1253s | 20 | 14720362 | 975827 | 13401 175 | 1 | 1 1255.55/1255.95 c 1255s | 20 | 14733408 | 977227 | 13401 175 | 1 | 1 1257.64/1258.07 c 1257s | 20 | 14743027 | 978727 | 13401 175 | 1 | 1 1259.84/1260.22 c 1260s | 20 | 14748797 | 979827 | 13401 176 | 1 | 1 1261.84/1262.27 c 1262s | 20 | 14760006 | 981327 | 13401 176 | 1 | 1 1263.94/1264.39 c 1264s | 20 | 14764602 | 982827 | 13401 176 | 1 | 1 1266.03/1266.45 c 1266s | 20 | 14767234 | 984127 | 13401 176 | 1 | 1 1268.14/1268.58 c 1268s | 20 | 14770307 | 985627 | 13401 176 | 1 | 1 1270.25/1270.63 c 1270s | 20 | 14775011 | 986927 | 13401 177 | 1 | 1 1272.24/1272.64 c 1272s | 20 | 14781988 | 988327 | 13401 177 | 1 | 1 1274.34/1274.71 c 1274s | 20 | 14787551 | 989727 | 13401 177 | 1 | 1 1276.33/1276.79 c 1276s | 20 | 14790611 | 991027 | 13401 177 | 1 | 1 1278.53/1278.95 c 1278s | 20 | 14794945 | 992327 | 13401 177 | 1 | 1 1280.64/1281.09 c 1280s | 20 | 14802824 | 993127 | 13401 178 | 1 | 1 1282.73/1283.18 c 1283s | 20 | 14817951 | 994627 | 14742 178 | 1 | 1 1284.93/1285.31 c 1285s | 20 | 14834303 | 996227 | 14742 178 | 1 | 1 1287.03/1287.41 c 1287s | 20 | 14857012 | 997827 | 14742 178 | 1 | 1 1289.04/1289.49 c 1289s | 20 | 14867649 | 999327 | 14742 178 | 1 | 1 1290.53/1290.94 c 1290s | 21 | 14875606 | 1000345 | 14742 178 | 1 | 1 1292.62/1293.04 c 1292s | 21 | 14881233 | 1000645 | 14742 179 | 1 | 1 1294.93/1295.34 c 1295s | 21 | 14899211 | 1001845 | 14742 179 | 1 | 1 1296.93/1297.37 c 1297s | 21 | 14923069 | 1003045 | 14742 179 | 1 | 1 1299.03/1299.48 c 1299s | 21 | 14938418 | 1004145 | 14742 179 | 1 | 1 1301.23/1301.60 c 1301s | 21 | 14968387 | 1006045 | 14742 179 | 1 | 1 1303.23/1303.65 c 1303s | 21 | 14991691 | 1007245 | 14742 179 | 1 | 1 1305.43/1305.83 c 1305s | 21 | 15014658 | 1008345 | 14742 180 | 1 | 1 1307.42/1307.89 c 1307s | 21 | 15040584 | 1009645 | 14742 180 | 1 | 1 1309.53/1309.94 c 1309s | 21 | 15055378 | 1011345 | 14742 180 | 1 | 1 1311.52/1311.97 c 1311s | 21 | 15063629 | 1012545 | 14742 180 | 1 | 1 1313.52/1313.99 c 1313s | 21 | 15087743 | 1013845 | 14742 180 | 1 | 1 1315.72/1316.10 c 1315s | 21 | 15102304 | 1015245 | 14742 180 | 1 | 1 1317.72/1318.14 c 1318s | 21 | 15125061 | 1016645 | 14742 181 | 1 | 1 1319.73/1320.18 c 1320s | 21 | 15151241 | 1018045 | 14742 181 | 1 | 1 1321.93/1322.38 c 1322s | 21 | 15164344 | 1019445 | 14742 181 | 1 | 1 1324.02/1324.45 c 1324s | 21 | 15199170 | 1020845 | 14742 181 | 1 | 1 1326.12/1326.51 c 1326s | 21 | 15221192 | 1022545 | 14742 181 | 1 | 1 1328.12/1328.58 c 1328s | 21 | 15247660 | 1024145 | 14742 182 | 1 | 1 1330.22/1330.69 c 1330s | 21 | 15260245 | 1025545 | 14742 182 | 1 | 1 1332.32/1332.78 c 1332s | 21 | 15282283 | 1026945 | 14742 182 | 1 | 1 1334.42/1334.88 c 1334s | 21 | 15294290 | 1028345 | 14742 182 | 1 | 1 1336.41/1336.89 c 1336s | 21 | 15302537 | 1029745 | 14742 182 | 1 | 1 1338.52/1338.95 c 1338s | 21 | 15309803 | 1031145 | 14742 183 | 1 | 1 1340.62/1341.01 c 1340s | 21 | 15317468 | 1032545 | 14742 183 | 1 | 1 1342.71/1343.16 c 1343s | 21 | 15327571 | 1033845 | 14742 183 | 1 | 1 1344.71/1345.19 c 1345s | 21 | 15335855 | 1035145 | 14742 183 | 1 | 1 1346.91/1347.35 c 1347s | 21 | 15344836 | 1036445 | 14742 183 | 1 | 1 1349.01/1349.44 c 1349s | 21 | 15350775 | 1037845 | 14742 183 | 1 | 1 1351.11/1351.59 c 1351s | 21 | 15356577 | 1039245 | 14742 184 | 1 | 1 1353.21/1353.69 c 1353s | 21 | 15366166 | 1040645 | 14742 184 | 1 | 1 1355.21/1355.69 c 1355s | 21 | 15373410 | 1041845 | 14742 184 | 1 | 1 1357.41/1357.82 c 1357s | 21 | 15386325 | 1043345 | 14742 184 | 1 | 1 1359.51/1359.94 c 1359s | 21 | 15396305 | 1044545 | 14742 184 | 1 | 1 1361.61/1362.03 c 1361s | 21 | 15413812 | 1045345 | 14742 184 | 1 | 1 1363.71/1364.18 c 1364s | 21 | 15436348 | 1046445 | 14742 185 | 1 | 1 1366.40/1366.82 c 1366s | 21 | 15455427 | 1047645 | 14742 185 | 1 | 1 1368.50/1368.96 c 1368s | 21 | 15482904 | 1049045 | 14742 185 | 1 | 1 1370.50/1370.97 c 1370s | 21 | 15514776 | 1050445 | 14742 185 | 1 | 1 1372.61/1373.04 c 1372s | 21 | 15552096 | 1052245 | 14742 185 | 1 | 1 1374.71/1375.14 c 1375s | 21 | 15570428 | 1053645 | 14742 186 | 1 | 1 1376.70/1377.16 c 1377s | 21 | 15588208 | 1054745 | 14742 186 | 1 | 1 1378.70/1379.16 c 1379s | 21 | 15613224 | 1056345 | 14742 186 | 1 | 1 1380.80/1381.29 c 1381s | 21 | 15629899 | 1057745 | 14742 186 | 1 | 1 1382.90/1383.34 c 1383s | 21 | 15647995 | 1059145 | 14742 186 | 1 | 1 1385.00/1385.46 c 1385s | 21 | 15670804 | 1060545 | 14742 187 | 1 | 1 1387.00/1387.46 c 1387s | 21 | 15682254 | 1061845 | 14742 187 | 1 | 1 1389.11/1389.55 c 1389s | 21 | 15698325 | 1063345 | 14742 187 | 1 | 1 1391.09/1391.58 c 1391s | 21 | 15713409 | 1064445 | 14742 187 | 1 | 1 1393.41/1393.83 c 1393s | 21 | 15741112 | 1065645 | 14742 187 | 1 | 1 1395.50/1395.91 c 1395s | 21 | 15752960 | 1067045 | 14742 187 | 1 | 1 1397.60/1398.08 c 1397s | 21 | 15764288 | 1068145 | 14742 188 | 1 | 1 1399.70/1400.10 c 1399s | 21 | 15777071 | 1069645 | 14742 188 | 1 | 1 1401.70/1402.16 c 1402s | 21 | 15785750 | 1070845 | 14742 188 | 1 | 1 1403.79/1404.23 c 1404s | 21 | 15793164 | 1072045 | 14742 188 | 1 | 1 1405.79/1406.23 c 1406s | 21 | 15803093 | 1073345 | 14742 188 | 1 | 1 1407.89/1408.38 c 1408s | 21 | 15814941 | 1074845 | 14742 188 | 1 | 1 1410.01/1410.46 c 1410s | 21 | 15821451 | 1075945 | 14742 189 | 1 | 1 1412.00/1412.48 c 1412s | 21 | 15823130 | 1077145 | 14742 189 | 1 | 1 1414.10/1414.50 c 1414s | 21 | 15824339 | 1078345 | 14742 189 | 1 | 1 1416.09/1416.51 c 1416s | 21 | 15825534 | 1079545 | 14742 189 | 1 | 1 1418.09/1418.58 c 1418s | 21 | 15826643 | 1080645 | 14742 189 | 1 | 1 1420.09/1420.59 c 1420s | 21 | 15827637 | 1081645 | 14742 189 | 1 | 1 1422.29/1422.78 c 1422s | 21 | 15829662 | 1082745 | 14742 189 | 1 | 1 1424.39/1424.85 c 1424s | 21 | 15832280 | 1083745 | 14742 190 | 1 | 1 1426.40/1426.90 c 1426s | 21 | 15836976 | 1084545 | 14742 190 | 1 | 1 1428.60/1429.05 c 1428s | 21 | 15848964 | 1085445 | 14742 190 | 1 | 1 1430.69/1431.20 c 1431s | 21 | 15865342 | 1086445 | 14742 190 | 1 | 1 1432.80/1433.30 c 1433s | 21 | 15886669 | 1087745 | 14742 190 | 1 | 1 1434.99/1435.46 c 1435s | 21 | 15911533 | 1088945 | 14742 190 | 1 | 1 1436.99/1437.47 c 1437s | 21 | 15929496 | 1090445 | 14742 190 | 1 | 1 1439.09/1439.54 c 1439s | 21 | 15939857 | 1091645 | 14742 191 | 1 | 1 1441.09/1441.59 c 1441s | 21 | 15956377 | 1092745 | 14742 191 | 1 | 1 1443.19/1443.64 c 1443s | 21 | 15984659 | 1094145 | 14742 191 | 1 | 1 1445.29/1445.75 c 1445s | 21 | 15995987 | 1095445 | 14742 191 | 1 | 1 1447.39/1447.84 c 1447s | 21 | 16021672 | 1096845 | 14742 191 | 1 | 1 1449.49/1449.97 c 1449s | 21 | 16030971 | 1098145 | 14742 192 | 1 | 1 1451.59/1452.08 c 1451s | 21 | 16045352 | 1099645 | 14742 192 | 1 | 1 1453.79/1454.23 c 1454s | 21 | 16055149 | 1101045 | 14742 192 | 1 | 1 1455.89/1456.32 c 1456s | 21 | 16072370 | 1102445 | 14742 192 | 1 | 1 1457.89/1458.38 c 1458s | 21 | 16084126 | 1103945 | 14742 192 | 1 | 1 1459.99/1460.48 c 1460s | 21 | 16101236 | 1105445 | 14742 192 | 1 | 1 1462.09/1462.56 c 1462s | 21 | 16117218 | 1106845 | 14742 193 | 1 | 1 1464.09/1464.58 c 1464s | 21 | 16134341 | 1108245 | 14742 193 | 1 | 1 1466.09/1466.59 c 1466s | 21 | 16152744 | 1109645 | 14742 193 | 1 | 1 1468.29/1468.72 c 1468s | 21 | 16161763 | 1111045 | 14742 193 | 1 | 1 1470.28/1470.77 c 1470s | 21 | 16167516 | 1112245 | 14742 193 | 1 | 1 1472.48/1472.90 c 1472s | 21 | 16178948 | 1113545 | 14742 194 | 1 | 1 1474.58/1475.01 c 1474s | 21 | 16191308 | 1114945 | 14742 194 | 1 | 1 1476.68/1477.18 c 1477s | 21 | 16201100 | 1116345 | 14742 194 | 1 | 1 1478.78/1479.20 c 1479s | 21 | 16205062 | 1117545 | 14742 194 | 1 | 1 1480.79/1481.20 c 1481s | 21 | 16208561 | 1118745 | 14742 194 | 1 | 1 1482.98/1483.43 c 1483s | 21 | 16211136 | 1120145 | 14742 194 | 1 | 1 1484.98/1485.48 c 1485s | 21 | 16221052 | 1120845 | 14742 195 | 1 | 1 1487.08/1487.55 c 1487s | 21 | 16259159 | 1122645 | 14742 195 | 1 | 1 1489.18/1489.61 c 1489s | 21 | 16273737 | 1124345 | 14742 195 | 1 | 1 1491.19/1491.66 c 1491s | 21 | 16279329 | 1125645 | 14742 195 | 1 | 1 1493.29/1493.74 c 1493s | 21 | 16281224 | 1126845 | 14742 195 | 1 | 1 1495.49/1495.94 c 1495s | 21 | 16283744 | 1128045 | 14742 195 | 1 | 1 1497.49/1497.98 c 1497s | 21 | 16289305 | 1129045 | 14742 196 | 1 | 1 1499.48/1499.99 c 1499s | 21 | 16316823 | 1130545 | 14742 196 | 1 | 1 1501.68/1502.10 c 1501s | 21 | 16324695 | 1131845 | 14742 196 | 1 | 1 1503.78/1504.24 c 1504s | 21 | 16333781 | 1132945 | 14742 196 | 1 | 1 1505.98/1506.43 c 1506s | 21 | 16336921 | 1133845 | 14742 196 | 1 | 1 1508.08/1508.55 c 1508s | 21 | 16355802 | 1135145 | 14742 196 | 1 | 1 1510.18/1510.68 c 1510s | 21 | 16364510 | 1136245 | 14742 197 | 1 | 1 1512.38/1512.84 c 1512s | 21 | 16381245 | 1137345 | 14742 197 | 1 | 1 1514.48/1514.91 c 1514s | 21 | 16401349 | 1138545 | 14742 197 | 1 | 1 1516.47/1516.94 c 1516s | 21 | 16420077 | 1140145 | 14742 197 | 1 | 1 1518.57/1519.08 c 1518s | 21 | 16427621 | 1141345 | 14742 197 | 1 | 1 1520.57/1521.08 c 1520s | 21 | 16439260 | 1142345 | 14742 197 | 1 | 1 1522.57/1523.08 c 1522s | 21 | 16446831 | 1143545 | 14742 198 | 1 | 1 1524.77/1525.28 c 1525s | 21 | 16450470 | 1144745 | 14742 198 | 1 | 1 1526.87/1527.34 c 1527s | 21 | 16456483 | 1145945 | 14742 198 | 1 | 1 1528.98/1529.41 c 1529s | 21 | 16460642 | 1147145 | 14742 198 | 1 | 1 1531.08/1531.50 c 1531s | 21 | 16463190 | 1148245 | 14742 198 | 1 | 1 1533.08/1533.52 c 1533s | 21 | 16464610 | 1149245 | 14742 198 | 1 | 1 1535.08/1535.53 c 1535s | 21 | 16467149 | 1150245 | 14742 198 | 1 | 1 1537.18/1537.60 c 1537s | 21 | 16473823 | 1151545 | 14742 199 | 1 | 1 1539.18/1539.67 c 1539s | 21 | 16490884 | 1153245 | 14742 199 | 1 | 1 1541.27/1541.75 c 1541s | 21 | 16519075 | 1155145 | 14742 199 | 1 | 1 1543.37/1543.83 c 1543s | 21 | 16542277 | 1156545 | 14742 199 | 1 | 1 1545.37/1545.85 c 1545s | 21 | 16566926 | 1158245 | 14742 199 | 1 | 1 1547.48/1547.98 c 1547s | 21 | 16589337 | 1159745 | 14742 200 | 1 | 1 1549.58/1550.06 c 1549s | 21 | 16616113 | 1161145 | 14742 200 | 1 | 1 1551.67/1552.11 c 1551s | 21 | 16633917 | 1162645 | 14742 200 | 1 | 1 1553.67/1554.12 c 1553s | 21 | 16652652 | 1164145 | 14742 200 | 1 | 1 1555.67/1556.20 c 1556s | 21 | 16664723 | 1165745 | 14742 200 | 1 | 1 1557.77/1558.22 c 1558s | 21 | 16685726 | 1167345 | 14742 201 | 1 | 1 1559.78/1560.29 c 1560s | 21 | 16695931 | 1169145 | 14742 201 | 1 | 1 1561.87/1562.30 c 1562s | 21 | 16703607 | 1170745 | 14742 201 | 1 | 1 1564.07/1564.50 c 1564s | 21 | 16713892 | 1171945 | 14742 201 | 1 | 1 1566.08/1566.54 c 1566s | 21 | 16740469 | 1173545 | 14742 202 | 1 | 1 1568.17/1568.62 c 1568s | 21 | 16773526 | 1175445 | 14742 202 | 1 | 1 1570.17/1570.64 c 1570s | 21 | 16800412 | 1177245 | 14742 202 | 1 | 1 1572.17/1572.65 c 1572s | 21 | 16829194 | 1179145 | 14742 202 | 1 | 1 1574.17/1574.68 c 1574s | 21 | 16858013 | 1180845 | 14742 203 | 1 | 1 1576.27/1576.74 c 1576s | 21 | 16878872 | 1182545 | 14742 203 | 1 | 1 1578.28/1578.77 c 1578s | 21 | 16885853 | 1184045 | 14742 203 | 1 | 1 1580.27/1580.79 c 1580s | 21 | 16912369 | 1185845 | 14742 203 | 1 | 1 1582.36/1582.86 c 1582s | 21 | 16956877 | 1188045 | 14742 203 | 1 | 1 1584.47/1584.91 c 1584s | 21 | 16987616 | 1189745 | 14742 204 | 1 | 1 1586.47/1586.95 c 1586s | 21 | 17020634 | 1191545 | 14742 204 | 1 | 1 1588.57/1589.03 c 1588s | 21 | 17038433 | 1193045 | 14742 204 | 1 | 1 1590.57/1591.07 c 1590s | 21 | 17050036 | 1194545 | 14742 204 | 1 | 1 1592.67/1593.12 c 1592s | 21 | 17080632 | 1196245 | 14742 205 | 1 | 1 1594.77/1595.23 c 1595s | 21 | 17120139 | 1198145 | 14742 205 | 1 | 1 1596.76/1597.28 c 1597s | 21 | 17149994 | 1199945 | 14742 205 | 1 | 1 1598.86/1599.34 c 1599s | 21 | 17172811 | 1201545 | 14742 205 | 1 | 1 1600.96/1601.42 c 1601s | 21 | 17194015 | 1203145 | 14742 205 | 1 | 1 1602.97/1603.43 c 1603s | 21 | 17208374 | 1204745 | 14742 206 | 1 | 1 1604.97/1605.44 c 1605s | 21 | 17216119 | 1206445 | 14742 206 | 1 | 1 1606.97/1607.46 c 1607s | 21 | 17245793 | 1208345 | 14742 206 | 1 | 1 1609.07/1609.57 c 1609s | 21 | 17274138 | 1210145 | 14742 206 | 1 | 1 1611.06/1611.60 c 1611s | 21 | 17295846 | 1211645 | 14742 207 | 1 | 1 1613.16/1613.64 c 1613s | 21 | 17321640 | 1213445 | 14742 207 | 1 | 1 1615.26/1615.73 c 1615s | 21 | 17363802 | 1215545 | 14742 207 | 1 | 1 1617.26/1617.78 c 1617s | 21 | 17399178 | 1217445 | 14742 207 | 1 | 1 1619.26/1619.79 c 1619s | 21 | 17439646 | 1219545 | 14742 208 | 1 | 1 1621.36/1621.81 c 1621s | 21 | 17462882 | 1221545 | 14742 208 | 1 | 1 1623.37/1623.85 c 1623s | 21 | 17475271 | 1223245 | 14742 208 | 1 | 1 1625.47/1625.93 c 1625s | 21 | 17492884 | 1224945 | 14742 208 | 1 | 1 1627.46/1627.94 c 1627s | 21 | 17504402 | 1226345 | 14742 209 | 1 | 1 1629.56/1630.06 c 1629s | 21 | 17518483 | 1227745 | 14742 209 | 1 | 1 1631.76/1632.21 c 1632s | 21 | 17543203 | 1229345 | 14742 209 | 1 | 1 1633.86/1634.36 c 1634s | 21 | 17571558 | 1230945 | 14742 209 | 1 | 1 1635.86/1636.36 c 1636s | 21 | 17590469 | 1232445 | 14742 209 | 1 | 1 1637.96/1638.44 c 1638s | 21 | 17611928 | 1234045 | 14742 210 | 1 | 1 1640.06/1640.52 c 1640s | 21 | 17644834 | 1235845 | 14742 210 | 1 | 1 1642.07/1642.54 c 1642s | 21 | 17673486 | 1237745 | 14742 210 | 1 | 1 1644.06/1644.59 c 1644s | 21 | 17693467 | 1239345 | 14742 210 | 1 | 1 1646.16/1646.63 c 1646s | 21 | 17708840 | 1241045 | 14742 211 | 1 | 1 1648.26/1648.75 c 1648s | 21 | 17731048 | 1243145 | 14742 211 | 1 | 1 1650.36/1650.80 c 1650s | 21 | 17746372 | 1245145 | 14742 211 | 1 | 1 1652.45/1652.90 c 1652s | 21 | 17771742 | 1246845 | 14742 211 | 1 | 1 1654.46/1654.96 c 1654s | 21 | 17797787 | 1248445 | 14742 212 | 1 | 1 1656.56/1657.02 c 1656s | 21 | 17822702 | 1250345 | 14742 212 | 1 | 1 1658.57/1659.05 c 1658s | 21 | 17848268 | 1252245 | 14742 212 | 1 | 1 1660.56/1661.06 c 1660s | 21 | 17857553 | 1253745 | 14742 212 | 1 | 1 1662.66/1663.16 c 1663s | 21 | 17878277 | 1255545 | 14742 212 | 1 | 1 1664.76/1665.23 c 1665s | 21 | 17894287 | 1256945 | 14742 213 | 1 | 1 1666.76/1667.28 c 1667s | 21 | 17920247 | 1258545 | 14742 213 | 1 | 1 1668.86/1669.33 c 1669s | 21 | 17936845 | 1260045 | 14742 213 | 1 | 1 1670.96/1671.42 c 1671s | 21 | 17965297 | 1261745 | 14742 213 | 1 | 1 1673.15/1673.65 c 1673s | 21 | 17990675 | 1263545 | 14742 214 | 1 | 1 1675.25/1675.78 c 1675s | 21 | 18008742 | 1265145 | 14742 214 | 1 | 1 1677.26/1677.79 c 1677s | 21 | 18016977 | 1266845 | 14742 214 | 1 | 1 1679.36/1679.84 c 1679s | 21 | 18032061 | 1268745 | 14742 214 | 1 | 1 1681.36/1681.86 c 1681s | 21 | 18049436 | 1270345 | 14742 214 | 1 | 1 1683.45/1683.91 c 1683s | 21 | 18065760 | 1271545 | 14742 215 | 1 | 1 1685.55/1686.02 c 1685s | 21 | 18095617 | 1273345 | 14742 215 | 1 | 1 1687.55/1688.06 c 1687s | 21 | 18112446 | 1275045 | 14742 215 | 1 | 1 1689.65/1690.13 c 1690s | 21 | 18127055 | 1276745 | 14742 215 | 1 | 1 1691.65/1692.17 c 1692s | 21 | 18134638 | 1278045 | 14742 215 | 1 | 1 1693.76/1694.27 c 1694s | 21 | 18152484 | 1279745 | 14742 216 | 1 | 1 1695.86/1696.33 c 1696s | 21 | 18165151 | 1281845 | 14742 216 | 1 | 1 1697.85/1698.36 c 1698s | 21 | 18178662 | 1283745 | 14742 216 | 1 | 1 1699.95/1700.46 c 1700s | 21 | 18196186 | 1285345 | 14742 216 | 1 | 1 1702.05/1702.58 c 1702s | 21 | 18203049 | 1286745 | 14742 217 | 1 | 1 1704.15/1704.68 c 1704s | 21 | 18215899 | 1288745 | 14742 217 | 1 | 1 1706.24/1706.75 c 1706s | 21 | 18233778 | 1290845 | 14742 217 | 1 | 1 1708.24/1708.76 c 1708s | 21 | 18244887 | 1292645 | 14742 217 | 1 | 1 1710.34/1710.86 c 1710s | 21 | 18252766 | 1294145 | 14742 218 | 1 | 1 1712.45/1712.94 c 1712s | 21 | 18260056 | 1295945 | 14742 218 | 1 | 1 1714.55/1715.06 c 1714s | 21 | 18263259 | 1297345 | 14742 218 | 1 | 1 1716.65/1717.12 c 1716s | 21 | 18269040 | 1298745 | 14742 218 | 1 | 1 1719.15/1719.69 c 1719s | 21 | 18274171 | 1299245 | 14742 218 | 1 | 1 1721.34/1721.83 c 1721s | 21 | 18287010 | 1299845 | 14742 218 | 1 | 1 1725.45/1725.92 c 1725s | 21 | 18314968 | 1301045 | 14742 218 | 1 | 1 1727.55/1728.05 c 1727s | 21 | 18333002 | 1302545 | 14742 219 | 1 | 1 1729.65/1730.18 c 1730s | 21 | 18351083 | 1304245 | 14742 219 | 1 | 1 1731.75/1732.25 c 1732s | 21 | 18388307 | 1305845 | 14742 219 | 1 | 1 1733.75/1734.29 c 1734s | 21 | 18400750 | 1307145 | 14742 219 | 1 | 1 1735.85/1736.30 c 1736s | 21 | 18417948 | 1308645 | 14742 220 | 1 | 1 1737.85/1738.36 c 1738s | 21 | 18441571 | 1310445 | 14742 220 | 1 | 1 1739.95/1740.41 c 1740s | 21 | 18457090 | 1311945 | 14742 220 | 1 | 1 1741.94/1742.46 c 1742s | 21 | 18489091 | 1313545 | 14742 220 | 1 | 1 1744.04/1744.53 c 1744s | 21 | 18529117 | 1315145 | 14742 220 | 1 | 1 1746.04/1746.53 c 1746s | 21 | 18556383 | 1316745 | 14742 221 | 1 | 1 1748.04/1748.56 c 1748s | 21 | 18587461 | 1318445 | 14742 221 | 1 | 1 1750.14/1750.60 c 1750s | 21 | 18614773 | 1320045 | 14742 221 | 1 | 1 1752.14/1752.63 c 1752s | 21 | 18640531 | 1321745 | 14742 221 | 1 | 1 1754.15/1754.65 c 1754s | 21 | 18661503 | 1323245 | 14742 221 | 1 | 1 1756.24/1756.72 c 1756s | 21 | 18693065 | 1324745 | 14742 222 | 1 | 1 1758.24/1758.79 c 1758s | 21 | 18724346 | 1326645 | 14742 222 | 1 | 1 1760.44/1760.90 c 1760s | 21 | 18740588 | 1328145 | 14742 222 | 1 | 1 1762.54/1763.03 c 1762s | 21 | 18762940 | 1329845 | 14742 222 | 1 | 1 1764.54/1765.03 c 1764s | 21 | 18791122 | 1331445 | 14742 223 | 1 | 1 1766.54/1767.08 c 1766s | 21 | 18817611 | 1333345 | 14742 223 | 1 | 1 1768.64/1769.11 c 1768s | 21 | 18842948 | 1335145 | 14742 223 | 1 | 1 1770.74/1771.25 c 1771s | 21 | 18861297 | 1336945 | 14742 223 | 1 | 1 1772.85/1773.35 c 1773s | 21 | 18875866 | 1338745 | 14742 223 | 1 | 1 1774.94/1775.43 c 1775s | 21 | 18888887 | 1340145 | 14742 224 | 1 | 1 1777.64/1778.13 c 1778s | 21 | 18911585 | 1341645 | 14742 224 | 1 | 1 1779.64/1780.19 c 1780s | 21 | 18948665 | 1343345 | 14742 224 | 1 | 1 1781.94/1782.45 c 1782s | 21 | 18975799 | 1344645 | 14742 224 | 1 | 1 1784.13/1784.62 c 1784s | 21 | 19006522 | 1346245 | 14742 225 | 1 | 1 1786.14/1786.64 c 1786s | 21 | 19043315 | 1347945 | 14742 225 | 1 | 1 1788.14/1788.67 c 1788s | 21 | 19099608 | 1349745 | 14742 225 | 1 | 1 1790.24/1790.74 c 1790s | 21 | 19141533 | 1351545 | 14742 225 | 1 | 1 1792.24/1792.77 c 1792s | 21 | 19186867 | 1353345 | 14742 225 | 1 | 1 1794.34/1794.84 c 1794s | 21 | 19207909 | 1354945 | 14742 226 | 1 | 1 1796.33/1796.86 c 1796s | 21 | 19226322 | 1356445 | 14742 226 | 1 | 1 1798.43/1798.94 c 1798s | 21 | 19245430 | 1358045 | 14742 226 | 1 | 1
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-4080097-1465263101/watcher-4080097-1465263101 -o /tmp/evaluation-result-4080097-1465263101/solver-4080097-1465263101 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5582 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080097-1465263101.opb pid=6333 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.02 2.03 2.00 3/179 6336 /proc/meminfo: memFree=30700212/32872528 swapFree=12744/274376 [pid=6336] ppid=6333 vsize=690620 CPUtime=0 cores=0,2,4,6 /proc/6336/stat : 6336 (toysat) R 6333 6336 5566 0 -1 4202496 2569 0 0 0 0 0 0 0 20 0 4 0 108244851 707194880 3440 33554432000 4194304 16246674 140734700735984 140734700735408 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6336/statm: 173423 3452 441 2943 0 170317 0 [pid=6336/tid=6337] ppid=6333 vsize=709052 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6337/stat : 6337 (toysat) S 6333 6336 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244852 726069248 3512 33554432000 4194304 16246674 140734700735984 140139229588720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6336/tid=6338] ppid=6333 vsize=714172 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6338/stat : 6338 (toysat) S 6333 6336 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108244852 731312128 3528 33554432000 4194304 16246674 140734700735984 140139145702640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6336/tid=6339] ppid=6333 vsize=718268 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6339/stat : 6339 (toysat) S 6333 6336 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108244852 735506432 3546 33554432000 4194304 16246674 140734700735984 140139135229104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100181 s] /proc/loadavg: 2.02 2.03 2.00 3/179 6336 /proc/meminfo: memFree=30700212/32872528 swapFree=12744/274376 [pid=6336] ppid=6333 vsize=1220164 CPUtime=0.09 cores=0,2,4,6 /proc/6336/stat : 6336 (toysat) R 6333 6336 5566 0 -1 4202496 25943 0 0 0 6 3 0 0 20 0 4 0 108244851 1249447936 26780 33554432000 4194304 16246674 140734700735984 140734700735408 4222282 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6336/statm: 305041 26784 725 2943 0 301935 0 [pid=6336/tid=6337] ppid=6333 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6337/stat : 6337 (toysat) S 6333 6336 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244852 1249447936 26786 33554432000 4194304 16246674 140734700735984 140139229588720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6336/tid=6338] ppid=6333 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6338/stat : 6338 (toysat) S 6333 6336 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108244852 1249447936 26790 33554432000 4194304 16246674 140734700735984 140139145702640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6336/tid=6339] ppid=6333 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6339/stat : 6339 (toysat) S 6333 6336 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108244852 1249447936 26792 33554432000 4194304 16246674 140734700735984 140139135229104 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) 1220164 [startup+0.20049 s] /proc/loadavg: 2.02 2.03 2.00 3/179 6336 /proc/meminfo: memFree=30700212/32872528 swapFree=12744/274376 [pid=6336] ppid=6333 vsize=1222212 CPUtime=0.18 cores=0,2,4,6 /proc/6336/stat : 6336 (toysat) R 6333 6336 5566 0 -1 4202496 33946 0 0 0 14 4 0 0 20 0 4 0 108244851 1251545088 34782 33554432000 4194304 16246674 140734700735984 140734700717888 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6336/statm: 305553 34790 843 2943 0 302447 0 [pid=6336/tid=6337] ppid=6333 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6337/stat : 6337 (toysat) S 6333 6336 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244852 1251545088 34795 33554432000 4194304 16246674 140734700735984 140139229588720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6336/tid=6338] ppid=6333 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6338/stat : 6338 (toysat) S 6333 6336 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108244852 1251545088 34799 33554432000 4194304 16246674 140734700735984 140139145702640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6336/tid=6339] ppid=6333 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6339/stat : 6339 (toysat) S 6333 6336 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244852 1251545088 34803 33554432000 4194304 16246674 140734700735984 140139135229104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1222212 [startup+0.300461 s] /proc/loadavg: 2.02 2.03 2.00 3/179 6336 /proc/meminfo: memFree=30700212/32872528 swapFree=12744/274376 [pid=6336] ppid=6333 vsize=1222212 CPUtime=0.29 cores=0,2,4,6 /proc/6336/stat : 6336 (toysat) R 6333 6336 5566 0 -1 4202496 60945 0 0 0 21 8 0 0 20 0 4 0 108244851 1251545088 61782 33554432000 4194304 16246674 140734700735984 140734700717888 12479207 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6336/statm: 305553 61798 843 2943 0 302447 0 [pid=6336/tid=6337] ppid=6333 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6337/stat : 6337 (toysat) S 6333 6336 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244852 1251545088 61807 33554432000 4194304 16246674 140734700735984 140139229588720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6336/tid=6338] ppid=6333 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6338/stat : 6338 (toysat) S 6333 6336 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108244852 1251545088 61817 33554432000 4194304 16246674 140734700735984 140139145702640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6336/tid=6339] ppid=6333 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6339/stat : 6339 (toysat) S 6333 6336 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244852 1251545088 61824 33554432000 4194304 16246674 140734700735984 140139135229104 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) 1222212 [startup+0.70034 s] /proc/loadavg: 2.02 2.03 2.00 3/179 6336 /proc/meminfo: memFree=30700212/32872528 swapFree=12744/274376 [pid=6336] ppid=6333 vsize=1222212 CPUtime=0.69 cores=0,2,4,6 /proc/6336/stat : 6336 (toysat) R 6333 6336 5566 0 -1 4202496 162603 0 0 0 47 22 0 0 20 0 4 0 108244851 1251545088 163439 33554432000 4194304 16246674 140734700735984 140734700717888 5532218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6336/statm: 305553 163448 843 2943 0 302447 0 [pid=6336/tid=6337] ppid=6333 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6337/stat : 6337 (toysat) S 6333 6336 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244852 1251545088 163454 33554432000 4194304 16246674 140734700735984 140139229588720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6336/tid=6338] ppid=6333 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6338/stat : 6338 (toysat) S 6333 6336 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108244852 1251545088 163460 33554432000 4194304 16246674 140734700735984 140139145702640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6336/tid=6339] ppid=6333 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6339/stat : 6339 (toysat) S 6333 6336 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244852 1251545088 163467 33554432000 4194304 16246674 140734700735984 140139135229104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1222212 [startup+1.50041 s] /proc/loadavg: 2.02 2.03 2.00 4/183 6340 /proc/meminfo: memFree=29545504/32872528 swapFree=12744/274376 [pid=6336] ppid=6333 vsize=1301060 CPUtime=1.49 cores=0,2,4,6 /proc/6336/stat : 6336 (toysat) R 6333 6336 5566 0 -1 4202496 266336 0 0 0 113 36 0 0 20 0 4 0 108244851 1332285440 267172 33554432000 4194304 16246674 140734700735984 140734700718984 5717604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6336/statm: 325265 267172 846 2943 0 322159 0 [pid=6336/tid=6337] ppid=6333 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6337/stat : 6337 (toysat) S 6333 6336 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244852 1332285440 267172 33554432000 4194304 16246674 140734700735984 140139229588720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6336/tid=6338] ppid=6333 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6338/stat : 6338 (toysat) S 6333 6336 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108244852 1332285440 267172 33554432000 4194304 16246674 140734700735984 140139145702640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6336/tid=6339] ppid=6333 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6339/stat : 6339 (toysat) S 6333 6336 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244852 1332285440 267172 33554432000 4194304 16246674 140734700735984 140139135229104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1301060 [startup+3.10038 s] /proc/loadavg: 2.02 2.03 2.00 4/183 6340 /proc/meminfo: memFree=29538356/32872528 swapFree=12744/274376 [pid=6336] ppid=6333 vsize=1307204 CPUtime=3.09 cores=0,2,4,6 /proc/6336/stat : 6336 (toysat) R 6333 6336 5566 0 -1 4202496 267864 0 0 0 273 36 0 0 20 0 4 0 108244851 1338576896 268700 33554432000 4194304 16246674 140734700735984 140734700717888 6020936 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6336/statm: 326801 268700 849 2943 0 323695 0 [pid=6336/tid=6337] ppid=6333 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6337/stat : 6337 (toysat) S 6333 6336 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244852 1338576896 268700 33554432000 4194304 16246674 140734700735984 140139229588720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6336/tid=6338] ppid=6333 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6338/stat : 6338 (toysat) S 6333 6336 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108244852 1338576896 268700 33554432000 4194304 16246674 140734700735984 140139145702640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6336/tid=6339] ppid=6333 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6339/stat : 6339 (toysat) S 6333 6336 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244852 1338576896 268700 33554432000 4194304 16246674 140734700735984 140139135229104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1307204 [startup+6.30037 s] /proc/loadavg: 2.01 2.02 2.00 5/183 6340 /proc/meminfo: memFree=29537552/32872528 swapFree=12744/274376 [pid=6336] ppid=6333 vsize=1307204 CPUtime=6.29 cores=0,2,4,6 /proc/6336/stat : 6336 (toysat) R 6333 6336 5566 0 -1 4202496 267894 0 0 0 593 36 0 0 20 0 4 0 108244851 1338576896 268730 33554432000 4194304 16246674 140734700735984 140734700717888 5721410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6336/statm: 326801 268730 851 2943 0 323695 0 [pid=6336/tid=6337] ppid=6333 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6337/stat : 6337 (toysat) S 6333 6336 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244852 1338576896 268730 33554432000 4194304 16246674 140734700735984 140139229588720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6336/tid=6338] ppid=6333 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6338/stat : 6338 (toysat) S 6333 6336 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108244852 1338576896 268730 33554432000 4194304 16246674 140734700735984 140139145702640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6336/tid=6339] ppid=6333 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6339/stat : 6339 (toysat) S 6333 6336 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244852 1338576896 268730 33554432000 4194304 16246674 140734700735984 140139135229104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.01 2.02 2.00 4/182 6340 /proc/meminfo: memFree=29536620/32872528 swapFree=12744/274376 [pid=6336] ppid=6333 vsize=1308228 CPUtime=12.68 cores=0,2,4,6 /proc/6336/stat : 6336 (toysat) R 6333 6336 5566 0 -1 4202496 268151 0 0 0 1232 36 0 0 20 0 4 0 108244851 1339625472 268987 33554432000 4194304 16246674 140734700735984 140734700718984 5523475 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6336/statm: 327057 268987 852 2943 0 323951 0 [pid=6336/tid=6337] ppid=6333 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6337/stat : 6337 (toysat) S 6333 6336 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244852 1339625472 268987 33554432000 4194304 16246674 140734700735984 140139229588720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6336/tid=6338] ppid=6333 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6338/stat : 6338 (toysat) S 6333 6336 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108244852 1339625472 268987 33554432000 4194304 16246674 140734700735984 140139145702640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6336/tid=6339] ppid=6333 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6339/stat : 6339 (toysat) S 6333 6336 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244852 1339625472 268987 33554432000 4194304 16246674 140734700735984 140139135229104 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) 1308228 [startup+25.5075 s] /proc/loadavg: 2.01 2.02 2.00 4/183 6341 /proc/meminfo: memFree=29532808/32872528 swapFree=12744/274376 [pid=6336] ppid=6333 vsize=1311300 CPUtime=25.49 cores=0,2,4,6 /proc/6336/stat : 6336 (toysat) R 6333 6336 5566 0 -1 4202496 268919 0 0 0 2512 37 0 0 20 0 4 0 108244851 1342771200 269755 33554432000 4194304 16246674 140734700735984 140734700717888 12478229 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6336/statm: 327825 269755 852 2943 0 324719 0 [pid=6336/tid=6337] ppid=6333 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6337/stat : 6337 (toysat) S 6333 6336 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244852 1342771200 269755 33554432000 4194304 16246674 140734700735984 140139229588720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6336/tid=6338] ppid=6333 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6338/stat : 6338 (toysat) S 6333 6336 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108244852 1342771200 269755 33554432000 4194304 16246674 140734700735984 140139145702640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6336/tid=6339] ppid=6333 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6339/stat : 6339 (toysat) S 6333 6336 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244852 1342771200 269755 33554432000 4194304 16246674 140734700735984 140139135229104 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) 1311300 [startup+51.1004 s] /proc/loadavg: 2.08 2.04 2.01 4/183 6341 /proc/meminfo: memFree=29516044/32872528 swapFree=12744/274376 [pid=6336] ppid=6333 vsize=1319492 CPUtime=51.08 cores=0,2,4,6 /proc/6336/stat : 6336 (toysat) R 6333 6336 5566 0 -1 4202496 270967 0 0 0 5069 39 0 0 20 0 4 0 108244851 1351159808 271803 33554432000 4194304 16246674 140734700735984 140734700717888 5724032 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6336/statm: 329873 271803 852 2943 0 326767 0 [pid=6336/tid=6337] ppid=6333 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6337/stat : 6337 (toysat) S 6333 6336 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244852 1351159808 271803 33554432000 4194304 16246674 140734700735984 140139229588720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6336/tid=6338] ppid=6333 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6338/stat : 6338 (toysat) S 6333 6336 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108244852 1351159808 271803 33554432000 4194304 16246674 140734700735984 140139145702640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6336/tid=6339] ppid=6333 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6339/stat : 6339 (toysat) S 6333 6336 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244852 1351159808 271803 33554432000 4194304 16246674 140734700735984 140139135229104 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) 1319492 [startup+102.3 s] /proc/loadavg: 2.04 2.03 2.00 4/183 6342 /proc/meminfo: memFree=29513392/32872528 swapFree=12744/274376 [pid=6336] ppid=6333 vsize=1319492 CPUtime=102.27 cores=0,2,4,6 /proc/6336/stat : 6336 (toysat) R 6333 6336 5566 0 -1 4202496 270967 0 0 0 10186 41 0 0 20 0 4 0 108244851 1351159808 271803 33554432000 4194304 16246674 140734700735984 140734700717888 5669490 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6336/statm: 329873 271803 852 2943 0 326767 0 [pid=6336/tid=6337] ppid=6333 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6337/stat : 6337 (toysat) S 6333 6336 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244852 1351159808 271803 33554432000 4194304 16246674 140734700735984 140139229588720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6336/tid=6338] ppid=6333 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6338/stat : 6338 (toysat) S 6333 6336 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108244852 1351159808 271803 33554432000 4194304 16246674 140734700735984 140139145702640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6336/tid=6339] ppid=6333 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6339/stat : 6339 (toysat) S 6333 6336 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244852 1351159808 271803 33554432000 4194304 16246674 140734700735984 140139135229104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1319492 ################ # More data... # ################ /proc/6336/task/6339/stat : 6339 (toysat) S 6333 6336 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244852 1355354112 272831 33554432000 4194304 16246674 140734700735984 140139135229104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1323588 [startup+1302.3 s] /proc/loadavg: 2.17 2.05 2.01 4/183 6372 /proc/meminfo: memFree=29497100/32872528 swapFree=12744/274376 [pid=6336] ppid=6333 vsize=1323588 CPUtime=1301.92 cores=0,2,4,6 /proc/6336/stat : 6336 (toysat) R 6333 6336 5566 0 -1 4202496 272323 0 0 0 130090 102 0 0 20 0 4 0 108244851 1355354112 272831 33554432000 4194304 16246674 140734700735984 140734700717888 12477724 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6336/statm: 330897 272831 853 2943 0 327791 0 [pid=6336/tid=6337] ppid=6333 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6337/stat : 6337 (toysat) S 6333 6336 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244852 1355354112 272831 33554432000 4194304 16246674 140734700735984 140139229588720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6336/tid=6338] ppid=6333 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6338/stat : 6338 (toysat) S 6333 6336 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108244852 1355354112 272831 33554432000 4194304 16246674 140734700735984 140139145702640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6336/tid=6339] ppid=6333 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6339/stat : 6339 (toysat) S 6333 6336 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244852 1355354112 272831 33554432000 4194304 16246674 140734700735984 140139135229104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1323588 [startup+1362.3 s] /proc/loadavg: 2.22 2.08 2.02 4/183 6373 /proc/meminfo: memFree=29497376/32872528 swapFree=12744/274376 [pid=6336] ppid=6333 vsize=1323588 CPUtime=1361.9 cores=0,2,4,6 /proc/6336/stat : 6336 (toysat) R 6333 6336 5566 0 -1 4202496 272345 0 0 0 136084 106 0 0 20 0 4 0 108244851 1355354112 272831 33554432000 4194304 16246674 140734700735984 140734700735160 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6336/statm: 330897 272831 853 2943 0 327791 0 [pid=6336/tid=6337] ppid=6333 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6337/stat : 6337 (toysat) S 6333 6336 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244852 1355354112 272831 33554432000 4194304 16246674 140734700735984 140139229588720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6336/tid=6338] ppid=6333 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6338/stat : 6338 (toysat) S 6333 6336 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108244852 1355354112 272831 33554432000 4194304 16246674 140734700735984 140139145702640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6336/tid=6339] ppid=6333 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6339/stat : 6339 (toysat) S 6333 6336 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244852 1355354112 272831 33554432000 4194304 16246674 140734700735984 140139135229104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1323588 [startup+1422.3 s] /proc/loadavg: 2.20 2.10 2.03 4/183 6374 /proc/meminfo: memFree=29497048/32872528 swapFree=12744/274376 [pid=6336] ppid=6333 vsize=1323588 CPUtime=1421.89 cores=0,2,4,6 /proc/6336/stat : 6336 (toysat) R 6333 6336 5566 0 -1 4202496 272348 0 0 0 142077 112 0 0 20 0 4 0 108244851 1355354112 272831 33554432000 4194304 16246674 140734700735984 140734700717888 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6336/statm: 330897 272831 853 2943 0 327791 0 [pid=6336/tid=6337] ppid=6333 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6337/stat : 6337 (toysat) S 6333 6336 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244852 1355354112 272831 33554432000 4194304 16246674 140734700735984 140139229588720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6336/tid=6338] ppid=6333 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6338/stat : 6338 (toysat) S 6333 6336 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108244852 1355354112 272831 33554432000 4194304 16246674 140734700735984 140139145702640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6336/tid=6339] ppid=6333 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6339/stat : 6339 (toysat) S 6333 6336 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244852 1355354112 272831 33554432000 4194304 16246674 140734700735984 140139135229104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 1323588 [startup+1482.3 s] /proc/loadavg: 2.17 2.11 2.03 4/183 6375 /proc/meminfo: memFree=29497420/32872528 swapFree=12744/274376 [pid=6336] ppid=6333 vsize=1323588 CPUtime=1481.89 cores=0,2,4,6 /proc/6336/stat : 6336 (toysat) R 6333 6336 5566 0 -1 4202496 272348 0 0 0 148073 116 0 0 20 0 4 0 108244851 1355354112 272831 33554432000 4194304 16246674 140734700735984 140734700717888 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6336/statm: 330897 272831 853 2943 0 327791 0 [pid=6336/tid=6337] ppid=6333 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6337/stat : 6337 (toysat) S 6333 6336 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244852 1355354112 272831 33554432000 4194304 16246674 140734700735984 140139229588720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6336/tid=6338] ppid=6333 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6338/stat : 6338 (toysat) S 6333 6336 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108244852 1355354112 272831 33554432000 4194304 16246674 140734700735984 140139145702640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6336/tid=6339] ppid=6333 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6339/stat : 6339 (toysat) S 6333 6336 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244852 1355354112 272831 33554432000 4194304 16246674 140734700735984 140139135229104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1323588 [startup+1542.3 s] /proc/loadavg: 2.12 2.10 2.03 4/182 6376 /proc/meminfo: memFree=29497424/32872528 swapFree=12744/274376 [pid=6336] ppid=6333 vsize=1323588 CPUtime=1541.88 cores=0,2,4,6 /proc/6336/stat : 6336 (toysat) R 6333 6336 5566 0 -1 4202496 272348 0 0 0 154067 121 0 0 20 0 4 0 108244851 1355354112 272831 33554432000 4194304 16246674 140734700735984 140734700733824 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6336/statm: 330897 272831 853 2943 0 327791 0 [pid=6336/tid=6337] ppid=6333 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6337/stat : 6337 (toysat) S 6333 6336 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244852 1355354112 272831 33554432000 4194304 16246674 140734700735984 140139229588720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6336/tid=6338] ppid=6333 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6338/stat : 6338 (toysat) S 6333 6336 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108244852 1355354112 272831 33554432000 4194304 16246674 140734700735984 140139145702640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6336/tid=6339] ppid=6333 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6339/stat : 6339 (toysat) S 6333 6336 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244852 1355354112 272831 33554432000 4194304 16246674 140734700735984 140139135229104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1323588 [startup+1602.3 s] /proc/loadavg: 2.04 2.08 2.03 4/183 6378 /proc/meminfo: memFree=29496492/32872528 swapFree=12744/274376 [pid=6336] ppid=6333 vsize=1323588 CPUtime=1601.86 cores=0,2,4,6 /proc/6336/stat : 6336 (toysat) R 6333 6336 5566 0 -1 4202496 272348 0 0 0 160059 127 0 0 20 0 4 0 108244851 1355354112 272831 33554432000 4194304 16246674 140734700735984 140734700717888 5723564 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6336/statm: 330897 272831 853 2943 0 327791 0 [pid=6336/tid=6337] ppid=6333 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6337/stat : 6337 (toysat) S 6333 6336 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244852 1355354112 272831 33554432000 4194304 16246674 140734700735984 140139229588720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6336/tid=6338] ppid=6333 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6338/stat : 6338 (toysat) S 6333 6336 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108244852 1355354112 272831 33554432000 4194304 16246674 140734700735984 140139145702640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6336/tid=6339] ppid=6333 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6339/stat : 6339 (toysat) S 6333 6336 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244852 1355354112 272831 33554432000 4194304 16246674 140734700735984 140139135229104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1323588 [startup+1662.31 s] /proc/loadavg: 2.05 2.08 2.02 4/183 6379 /proc/meminfo: memFree=29496252/32872528 swapFree=12744/274376 [pid=6336] ppid=6333 vsize=1323588 CPUtime=1661.86 cores=0,2,4,6 /proc/6336/stat : 6336 (toysat) R 6333 6336 5566 0 -1 4202496 272348 0 0 0 166054 132 0 0 20 0 4 0 108244851 1355354112 272831 33554432000 4194304 16246674 140734700735984 140734700717888 13966160 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6336/statm: 330897 272831 853 2943 0 327791 0 [pid=6336/tid=6337] ppid=6333 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6337/stat : 6337 (toysat) S 6333 6336 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244852 1355354112 272831 33554432000 4194304 16246674 140734700735984 140139229588720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6336/tid=6338] ppid=6333 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6338/stat : 6338 (toysat) S 6333 6336 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108244852 1355354112 272831 33554432000 4194304 16246674 140734700735984 140139145702640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6336/tid=6339] ppid=6333 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6339/stat : 6339 (toysat) S 6333 6336 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244852 1355354112 272831 33554432000 4194304 16246674 140734700735984 140139135229104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1323588 [startup+1722.3 s] /proc/loadavg: 2.05 2.08 2.02 4/184 6383 /proc/meminfo: memFree=29496408/32872528 swapFree=12744/274376 [pid=6336] ppid=6333 vsize=1323588 CPUtime=1721.84 cores=0,2,4,6 /proc/6336/stat : 6336 (toysat) R 6333 6336 5566 0 -1 4202496 272348 0 0 0 172050 134 0 0 20 0 4 0 108244851 1355354112 272831 33554432000 4194304 16246674 140734700735984 140734700735160 4222002 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6336/statm: 330897 272831 853 2943 0 327791 0 [pid=6336/tid=6337] ppid=6333 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6337/stat : 6337 (toysat) S 6333 6336 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244852 1355354112 272831 33554432000 4194304 16246674 140734700735984 140139229588720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6336/tid=6338] ppid=6333 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6338/stat : 6338 (toysat) S 6333 6336 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108244852 1355354112 272831 33554432000 4194304 16246674 140734700735984 140139145702640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6336/tid=6339] ppid=6333 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6339/stat : 6339 (toysat) S 6333 6336 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244852 1355354112 272831 33554432000 4194304 16246674 140734700735984 140139135229104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1323588 [startup+1782.3 s] /proc/loadavg: 2.12 2.09 2.03 4/185 6407 /proc/meminfo: memFree=29495288/32872528 swapFree=12744/274376 [pid=6336] ppid=6333 vsize=1323588 CPUtime=1781.84 cores=0,2,4,6 /proc/6336/stat : 6336 (toysat) R 6333 6336 5566 0 -1 4202496 272348 0 0 0 178044 140 0 0 20 0 4 0 108244851 1355354112 272831 33554432000 4194304 16246674 140734700735984 140734700735080 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6336/statm: 330897 272831 853 2943 0 327791 0 [pid=6336/tid=6337] ppid=6333 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6337/stat : 6337 (toysat) S 6333 6336 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244852 1355354112 272831 33554432000 4194304 16246674 140734700735984 140139229588720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6336/tid=6338] ppid=6333 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6338/stat : 6338 (toysat) S 6333 6336 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108244852 1355354112 272831 33554432000 4194304 16246674 140734700735984 140139145702640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6336/tid=6339] ppid=6333 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6339/stat : 6339 (toysat) S 6333 6336 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244852 1355354112 272831 33554432000 4194304 16246674 140734700735984 140139135229104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1323588 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.16 2.10 2.03 2/180 6407 /proc/meminfo: memFree=30585992/32872528 swapFree=12744/274376 [pid=6336] ppid=6333 vsize=1324612 CPUtime=1800.03 cores=0,2,4,6 /proc/6336/stat : 6336 (toysat) R 6333 6336 5566 0 -1 4202496 272402 0 0 0 179862 141 0 0 20 0 4 0 108244851 1356402688 272885 33554432000 4194304 16246674 140734700735984 140734700717888 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6336/statm: 331153 272885 853 2943 0 328047 0 [pid=6336/tid=6337] ppid=6333 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6337/stat : 6337 (toysat) S 6333 6336 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244852 1356402688 272885 33554432000 4194304 16246674 140734700735984 140139229588720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6336/tid=6338] ppid=6333 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6338/stat : 6338 (toysat) S 6333 6336 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108244852 1356402688 272885 33554432000 4194304 16246674 140734700735984 140139145702640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6336/tid=6339] ppid=6333 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/6336/task/6339/stat : 6339 (toysat) S 6333 6336 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244852 1356402688 272885 33554432000 4194304 16246674 140734700735984 140139135229104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1324612 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 6336 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.51 CPU time (s): 1800.05 CPU user time (s): 1798.63 CPU system time (s): 1.41578 CPU usage (%): 99.9744 Max. virtual memory (cumulated for all children) (KiB): 1324612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.63 system time used= 1.41578 maximum resident set size= 1091540 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 272402 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= 375 involuntary context switches= 1836 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.70029 second user time and 6.88695 second system time The end
Begin job on node107 at 2016-06-07 03:31:41 IDJOB=4080097 IDBENCH=48283 IDSOLVER=2542 FILE ID=node107/4080097-1465263101 RUNJOBID= node107-1465255895-5582 PBS_JOBID= 19843278 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_1.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080097-1465263101/watcher-4080097-1465263101 -o /tmp/evaluation-result-4080097-1465263101/solver-4080097-1465263101 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5582 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080097-1465263101.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 74165f17686851db36d48a05683565a5 RANDOM SEED=92358804 node107.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 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 : 5332.88 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 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: 30700484 kB Buffers: 58380 kB Cached: 151160 kB SwapCached: 1712 kB Active: 1095328 kB Inactive: 97784 kB Active(anon): 985140 kB Inactive(anon): 420 kB Active(file): 110188 kB Inactive(file): 97364 kB Unevictable: 274376 kB Mlocked: 12744 kB SwapTotal: 67108856 kB SwapFree: 67098440 kB Dirty: 32880 kB Writeback: 0 kB AnonPages: 1256952 kB Mapped: 10256 kB Shmem: 0 kB Slab: 570764 kB SReclaimable: 13944 kB SUnreclaim: 556820 kB KernelStack: 1464 kB PageTables: 6596 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1405604 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 262144 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= 71716 MiB End job on node107 at 2016-06-07 04:01:42