| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.08 | 1800.61 |
| Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-gt2.opb |
| MD5SUM | fbf213ed65afe4e66abc3948eb02a29f |
| Bench Category | OPT-MEDINT (optimisation, medium integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 21166 |
| Best CPU time to get the best result obtained on this benchmark | 2.98254 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 21166 |
| Optimality of the best value was proved | NO |
| Number of variables | 556 |
| Total number of constraints | 180 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 2 |
| Number of constraints which are nor clauses,nor cardinality constraints | 178 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 48 |
| Number of terms in the objective function | 304 |
| Biggest coefficient in the objective function | 62376 |
| Number of bits for the biggest coefficient in the objective function | 16 |
| Sum of the numbers in the objective function | 3092598 |
| Number of bits of the sum of numbers in the objective function | 22 |
| Biggest number in a constraint | 62376 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 3092598 |
| Number of bits of the biggest sum of numbers | 22 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T16:15:11+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-4079069-1465222511.opb"] 0.00/0.01 c use --random-gen="2512341769 2628339190 2274060743 2804358783 2001432327 2671053627 2405382076 3532429458 3726611870 846375548 3543372205 2194879442 1543516960 3176693463 1104859446 3365589591 3121531339 4165682982 649891211 4020462468 4211916910 2450243751 2750774568 2318174397 1996312529 1317606277 3706066631 2686834161 2072844055 1175107619 3867831540 622936618 2669704599 3944332622 3973161706 1511108290 2600202820 4243507554 3234487874 4158214788 281460964 2765132486 421990878 961713766 3680381752 845748536 3685870931 444894676 2462502948 457552064 3404754448 2397728761 3629807 4095882867 588467714 3546677703 2598968824 471778527 1605284559 743343437 3111211400 4022057956 550860211 1048437477 2589485886 1752008904 2488732260 3464008972 1134238087 2785456507 2883518821 572020640 2088238229 465969480 2923154955 3263610626 1169008474 3742090200 2338815388 1024750538 2927462601 3287440954 2679055050 1339230451 4069136040 1148191813 1877843409 2763917641 4163992883 1154023800 530471261 2634582700 2400514339 1477372208 987226206 1620605998 819849734 1348282170 634985989 924861028 2861951524 3633242004 795161748 146398313 624269044 3481346124 3903337719 4213126845 174597325 3409241870 1430020669 2945864631 1749932047 2848824431 2554800465 1117268718 3377234679 3099006155 2893070611 2305033889 3539542546 2790640248 472211490 410235492 4142133897 2786197858 2527594101 431250124 3655085058 2865124743 943707847 2923929541 306263840 1367967269 2965416225 1128343870 953759484 2365115799 3096460894 851932458 2562693980 3049556029 1394843956 331702279 1496754071 1126191915 2335598161 556787603 2420432420 808106603 982505909 2546371779 956266530 1274610505 1385345076 2737262962 2851049963 4093665828 1445368417 13052239 2587832830 3670899102 2607938637 3202443585 2839951866 900457303 3588444017 1584667824 4155026171 2620668759 2200912921 1535956690 2341959309 1930514231 3440089144 3191042205 327509969 3661860180 1478709671 958144933 3508268934 2755766653 310129 264145266 4035759325 3530251358 4092285907 2464534098 2394306868 141803348 4154248176 775300034 853979619 4289508218 3877841394 917537225 3274262088 2698268037 1018507899 413231895 2207376528 3154264284 3677362393 4247367084 3552427861 3112373089 4239942066 2608398882 2318632104 1877353132 3956268305 4062123310 393729928 1756677363 2476216174 978219512 3195661204 975039934 3256532697 2212343429 3449504125 1698780144 356580273 2226806504 1239619414 3084724867 694693304 3679776243 1121536365 2364942851 1009068972 86816847 557225303 2750695311 4082177729 3219128299 2316704928 4227135803 1347051194 583429203 2327393073 2596955247 443826192 1074961924 2875830071 3158097825 1823316700 1263249196 88623058 1247469233 19005547 512542163 3064730420 2385130647 1186653472 957950138 255 362436" option to reproduce the execution 0.00/0.01 c #vars 556 0.00/0.01 c #constraints 180 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 245 0 | 0 | 0 0.00/0.06 c 0.0s | 1 | 180 | 100 | 245 0 | 0 | 0 0.00/0.07 c 0.0s | 1 | 606 | 115 | 270 0 | 0 | 0 0.00/0.07 c #cpu_time = 0.047s 0.00/0.07 c #wall_clock_time = 0.047s 0.00/0.07 c #decision = 606 0.00/0.07 c #random_decision = 1 0.00/0.07 c #conflict = 115 0.00/0.07 c #restart = 1 0.00/0.07 o 346489 0.00/0.08 c BCD2: updating upper bound: 3092598 -> 346488 0.00/0.08 c BCD2: 0 <= obj <= 346488 0.00/0.08 c BCD2: #cores=0, #unrelaxed=304, #relaxed=0, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 270 0 | 0 | 0 0.00/0.08 c 0.0s | 0 | 154 | 0 | 270 0 | 0 | 0 0.00/0.08 c #cpu_time = 0.002s 0.00/0.08 c #wall_clock_time = 0.002s 0.00/0.08 c #decision = 154 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 0 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: found a new core of size 3: cost of the new core is >=5954 0.00/0.08 c lower bound updated to 5954 0.00/0.09 c BCD2: 5954 <= obj <= 346488 0.00/0.09 c BCD2: #cores=1, #unrelaxed=301, #relaxed=3, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=2 bias=2/3 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.00/0.09 c 0.0s | 0 | 0 | 0 | 270 0 | 0 | 0 0.09/0.14 c 0.0s | 1 | 436 | 100 | 270 0 | 0 | 0 0.09/0.19 c 0.1s | 2 | 937 | 250 | 297 0 | 0 | 0 0.18/0.29 c 0.2s | 3 | 1513 | 475 | 327 1 | 0 | 0 0.39/0.43 c 0.3s | 4 | 2218 | 813 | 360 2 | 0 | 0 0.69/0.94 c 0.5s | 5 | 3136 | 1320 | 397 3 | 0 | 0 0.69/0.97 c 0.9s | 6 | 4282 | 2081 | 437 5 | 0 | 0 1.29/1.36 c 1.3s | 7 | 5896 | 3223 | 481 8 | 0 | 0 1.89/1.92 c 1.8s | 8 | 8168 | 4936 | 530 12 | 0 | 0 2.69/2.77 c 2.7s | 9 | 11415 | 7506 | 583 18 | 0 | 0 3.99/4.04 c 3.9s | 10 | 16097 | 11361 | 642 25 | 0 | 0 5.99/6.05 c 6.0s | 10 | 22830 | 17061 | 707 36 | 0 | 0 5.99/6.08 c 6.0s | 11 | 22927 | 17144 | 707 36 | 0 | 0 8.09/8.11 c 8.0s | 11 | 29366 | 22644 | 707 46 | 0 | 0 9.19/9.25 c 9.2s | 12 | 32867 | 25819 | 778 52 | 0 | 0 11.18/11.27 c 11.2s | 12 | 39396 | 31419 | 778 61 | 0 | 0 13.18/13.27 c 13.2s | 12 | 45427 | 36819 | 778 70 | 0 | 0 13.98/14.03 c 13.9s | 13 | 47690 | 38832 | 856 74 | 0 | 0 15.98/16.03 c 15.9s | 13 | 54272 | 44432 | 856 83 | 0 | 0 17.99/18.05 c 18.0s | 13 | 60315 | 49932 | 856 91 | 0 | 0 19.98/20.10 c 20.0s | 13 | 66227 | 55132 | 856 100 | 0 | 0 21.19/21.22 c 21.1s | 14 | 70011 | 58352 | 942 105 | 0 | 0 23.18/23.22 c 23.1s | 14 | 76154 | 63352 | 942 112 | 0 | 0 25.19/25.24 c 25.2s | 14 | 81746 | 68252 | 942 119 | 0 | 0 27.19/27.25 c 27.2s | 14 | 87938 | 73652 | 942 127 | 0 | 0 29.19/29.25 c 29.2s | 14 | 93609 | 78752 | 942 135 | 0 | 0 31.20/31.28 c 31.2s | 14 | 99204 | 83752 | 942 142 | 0 | 0 32.69/32.74 c 32.7s | 15 | 103629 | 87632 | 1037 148 | 0 | 0 34.69/34.77 c 34.7s | 15 | 110140 | 93132 | 1037 155 | 0 | 0 36.70/36.77 c 36.7s | 15 | 115843 | 98232 | 1037 163 | 0 | 0 38.79/38.81 c 38.7s | 15 | 121326 | 103232 | 1037 170 | 0 | 0 40.79/40.85 c 40.8s | 15 | 126270 | 107732 | 1037 176 | 0 | 0 42.79/42.85 c 42.8s | 15 | 131284 | 112332 | 1037 182 | 0 | 0 44.79/44.87 c 44.8s | 15 | 136373 | 116932 | 1037 189 | 0 | 0 46.89/46.90 c 46.8s | 15 | 142233 | 122132 | 1037 196 | 0 | 0 48.89/48.92 c 48.8s | 15 | 148358 | 127532 | 1037 203 | 0 | 0 50.59/50.63 c 50.5s | 16 | 152866 | 131552 | 1141 209 | 0 | 0 52.59/52.65 c 52.6s | 16 | 159134 | 136952 | 1141 216 | 0 | 0 54.58/54.69 c 54.6s | 16 | 164568 | 141952 | 1141 222 | 0 | 0 56.68/56.72 c 56.6s | 16 | 170780 | 147352 | 1141 229 | 0 | 0 58.69/58.76 c 58.7s | 16 | 176530 | 152452 | 1141 236 | 0 | 0 60.68/60.78 c 60.7s | 16 | 182377 | 157652 | 1141 243 | 0 | 0 62.78/62.82 c 62.7s | 16 | 188279 | 162852 | 1141 250 | 0 | 0 64.78/64.85 c 64.8s | 16 | 194296 | 168052 | 1141 256 | 0 | 0 66.78/66.87 c 66.8s | 16 | 199806 | 172852 | 1141 263 | 0 | 0 68.78/68.88 c 68.8s | 16 | 205138 | 177552 | 1141 269 | 0 | 0 70.88/70.92 c 70.8s | 16 | 210703 | 182552 | 1141 275 | 0 | 0 72.89/72.95 c 72.9s | 16 | 216249 | 187552 | 1141 282 | 0 | 0 74.88/74.95 c 74.9s | 16 | 221694 | 192452 | 1141 288 | 0 | 0 76.88/76.98 c 76.9s | 16 | 226727 | 196952 | 1256 294 | 0 | 0 77.18/77.21 c 77.1s | 17 | 227255 | 197432 | 1256 294 | 0 | 0 79.18/79.23 c 79.1s | 17 | 233864 | 202932 | 1256 301 | 0 | 0 81.18/81.23 c 81.1s | 17 | 240033 | 208232 | 1256 307 | 0 | 0 83.18/83.24 c 83.1s | 17 | 245806 | 213232 | 1256 313 | 0 | 0 85.18/85.25 c 85.2s | 17 | 251821 | 218332 | 1256 320 | 0 | 0 87.18/87.27 c 87.2s | 17 | 257594 | 223332 | 1256 326 | 0 | 0 89.28/89.31 c 89.2s | 17 | 263349 | 228332 | 1256 332 | 0 | 0 91.28/91.32 c 91.2s | 17 | 269062 | 233432 | 1256 338 | 0 | 0 93.28/93.35 c 93.3s | 17 | 274858 | 238632 | 1256 344 | 0 | 0 95.28/95.35 c 95.3s | 17 | 280631 | 243732 | 1256 350 | 0 | 0 97.28/97.36 c 97.3s | 17 | 285965 | 248532 | 1256 356 | 0 | 0 99.28/99.40 c 99.3s | 17 | 291313 | 253432 | 1256 362 | 0 | 0 101.38/101.45 c 101s | 17 | 296152 | 257832 | 1256 368 | 0 | 0 103.38/103.46 c 103s | 17 | 301715 | 262732 | 1256 373 | 0 | 0 105.38/105.46 c 105s | 17 | 307317 | 267732 | 1256 379 | 0 | 0 107.37/107.48 c 107s | 17 | 312561 | 272432 | 1256 385 | 0 | 0 109.37/109.48 c 109s | 17 | 317752 | 277032 | 1256 391 | 0 | 0 111.48/111.54 c 111s | 17 | 323133 | 281832 | 1256 397 | 0 | 0 113.47/113.57 c 113s | 17 | 328524 | 286732 | 1256 402 | 0 | 0 115.47/115.58 c 115s | 17 | 333765 | 291432 | 1256 408 | 0 | 0 117.57/117.61 c 117s | 17 | 338398 | 295532 | 1382 413 | 0 | 0 117.87/117.95 c 117s | 18 | 339232 | 296252 | 1382 414 | 0 | 0 119.87/119.98 c 119s | 18 | 344640 | 300852 | 1382 419 | 0 | 0 121.87/121.99 c 121s | 18 | 349573 | 305252 | 1382 424 | 0 | 0 123.87/123.99 c 123s | 18 | 354234 | 309452 | 1382 428 | 0 | 0 125.97/126.04 c 125s | 18 | 359114 | 313852 | 1382 433 | 0 | 0 127.98/128.04 c 127s | 18 | 364009 | 318252 | 1382 438 | 0 | 0 129.97/130.05 c 129s | 18 | 368675 | 322452 | 1382 443 | 0 | 0 131.97/132.09 c 131s | 18 | 373970 | 327152 | 1382 448 | 0 | 0 133.97/134.09 c 134s | 18 | 378976 | 331652 | 1382 453 | 0 | 0 136.07/136.12 c 136s | 18 | 383767 | 335952 | 1382 458 | 0 | 0 138.07/138.16 c 138s | 18 | 388436 | 340152 | 1382 463 | 0 | 0 140.17/140.23 c 140s | 18 | 393214 | 344452 | 1382 468 | 0 | 0 142.17/142.24 c 142s | 18 | 397555 | 348352 | 1382 472 | 0 | 0 144.17/144.28 c 144s | 18 | 402004 | 352352 | 1382 476 | 0 | 0 146.27/146.30 c 146s | 18 | 406141 | 356052 | 1382 481 | 0 | 0 148.27/148.31 c 148s | 18 | 410748 | 360152 | 1382 485 | 0 | 0 150.27/150.32 c 150s | 18 | 415360 | 364352 | 1382 490 | 0 | 0 152.26/152.35 c 152s | 18 | 420353 | 368752 | 1382 495 | 0 | 0 154.27/154.36 c 154s | 18 | 425280 | 373152 | 1382 500 | 0 | 0 156.26/156.38 c 156s | 18 | 430089 | 377352 | 1382 504 | 0 | 0 158.26/158.39 c 158s | 18 | 434850 | 381552 | 1382 509 | 0 | 0 160.36/160.43 c 160s | 18 | 440114 | 386152 | 1382 514 | 0 | 0 162.36/162.44 c 162s | 18 | 445176 | 390552 | 1382 519 | 0 | 0 164.36/164.47 c 164s | 18 | 450062 | 394952 | 1382 524 | 0 | 0 166.37/166.49 c 166s | 18 | 454734 | 399052 | 1382 529 | 0 | 0 168.46/168.55 c 168s | 18 | 459615 | 403352 | 1382 534 | 0 | 0 170.46/170.57 c 170s | 18 | 465186 | 408252 | 1382 539 | 0 | 0 172.56/172.60 c 172s | 18 | 471333 | 413552 | 1382 545 | 0 | 0 174.56/174.61 c 174s | 18 | 476919 | 418452 | 1382 551 | 0 | 0 176.56/176.64 c 176s | 18 | 482610 | 423452 | 1382 556 | 0 | 0 178.57/178.64 c 178s | 18 | 487893 | 428252 | 1382 562 | 0 | 0 180.56/180.67 c 180s | 18 | 493571 | 433352 | 1382 567 | 0 | 0 182.66/182.70 c 182s | 18 | 498791 | 438052 | 1382 573 | 0 | 0 184.66/184.74 c 184s | 18 | 504355 | 443052 | 1521 578 | 0 | 0 185.46/185.50 c 185s | 19 | 505907 | 444482 | 1521 579 | 0 | 0 187.46/187.53 c 187s | 19 | 511403 | 449182 | 1521 584 | 0 | 0 189.46/189.54 c 189s | 19 | 516323 | 453582 | 1521 589 | 0 | 0 191.46/191.57 c 191s | 19 | 521395 | 458082 | 1521 594 | 0 | 0 193.56/193.61 c 193s | 19 | 526305 | 462582 | 1521 598 | 0 | 0 195.56/195.64 c 195s | 19 | 531356 | 467082 | 1521 603 | 0 | 0 197.56/197.65 c 197s | 19 | 535819 | 471082 | 1521 607 | 0 | 0 199.56/199.68 c 199s | 19 | 540624 | 475382 | 1521 612 | 0 | 0 201.66/201.72 c 201s | 19 | 544820 | 479182 | 1521 616 | 0 | 0 203.66/203.74 c 203s | 19 | 550468 | 484282 | 1521 621 | 0 | 0 205.65/205.79 c 205s | 19 | 555671 | 488982 | 1521 626 | 0 | 0 207.75/207.84 c 207s | 19 | 560759 | 493582 | 1521 631 | 0 | 0 209.75/209.85 c 209s | 19 | 565790 | 498082 | 1521 635 | 0 | 0 211.75/211.85 c 211s | 19 | 571123 | 502782 | 1521 640 | 0 | 0 213.77/213.89 c 213s | 19 | 576526 | 507582 | 1521 645 | 0 | 0 215.87/215.92 c 215s | 19 | 581564 | 512082 | 1521 650 | 0 | 0 217.86/217.95 c 217s | 19 | 586083 | 516182 | 1521 654 | 0 | 0 219.86/219.96 c 219s | 19 | 591178 | 520782 | 1521 659 | 0 | 0 221.86/221.97 c 221s | 19 | 595971 | 525082 | 1521 663 | 0 | 0 223.96/224.01 c 223s | 19 | 601111 | 529582 | 1521 668 | 0 | 0 225.96/226.06 c 225s | 19 | 605907 | 533782 | 1521 673 | 0 | 0 227.96/228.09 c 227s | 19 | 610589 | 537982 | 1521 677 | 0 | 0 229.96/230.09 c 230s | 19 | 616212 | 542982 | 1521 682 | 0 | 0 232.06/232.11 c 232s | 19 | 621854 | 547982 | 1521 687 | 0 | 0 234.06/234.13 c 234s | 19 | 627081 | 552582 | 1521 692 | 0 | 0 236.06/236.14 c 236s | 19 | 632637 | 557482 | 1521 697 | 0 | 0 238.05/238.16 c 238s | 19 | 638082 | 562282 | 1521 702 | 0 | 0 240.06/240.17 c 240s | 19 | 643200 | 566882 | 1521 707 | 0 | 0 242.15/242.20 c 242s | 19 | 648556 | 571482 | 1521 712 | 0 | 0 244.15/244.20 c 244s | 19 | 653822 | 576182 | 1521 717 | 0 | 0 246.15/246.24 c 246s | 19 | 658914 | 580682 | 1521 721 | 0 | 0 248.15/248.24 c 248s | 19 | 663883 | 585082 | 1521 726 | 0 | 0 250.15/250.25 c 250s | 19 | 668805 | 589582 | 1521 731 | 0 | 0 252.16/252.30 c 252s | 19 | 674054 | 594282 | 1521 736 | 0 | 0 254.25/254.34 c 254s | 19 | 679423 | 598982 | 1521 740 | 0 | 0 256.25/256.37 c 256s | 19 | 684651 | 603582 | 1521 745 | 0 | 0 258.35/258.40 c 258s | 19 | 689978 | 608282 | 1521 750 | 0 | 0 260.35/260.42 c 260s | 19 | 695200 | 612882 | 1521 755 | 0 | 0 262.35/262.43 c 262s | 19 | 700230 | 617382 | 1521 760 | 0 | 0 264.36/264.48 c 264s | 19 | 705289 | 621882 | 1521 764 | 0 | 0 266.35/266.48 c 266s | 19 | 710050 | 626082 | 1521 769 | 0 | 0 268.45/268.51 c 268s | 19 | 715283 | 630682 | 1521 773 | 0 | 0 270.45/270.54 c 270s | 19 | 720629 | 635382 | 1521 778 | 0 | 0 272.45/272.57 c 272s | 19 | 725688 | 639882 | 1521 783 | 0 | 0 274.45/274.59 c 274s | 19 | 730410 | 644082 | 1521 787 | 0 | 0 276.55/276.60 c 276s | 19 | 735082 | 648382 | 1521 792 | 0 | 0 278.55/278.60 c 278s | 19 | 739886 | 652682 | 1521 796 | 0 | 0 280.55/280.63 c 280s | 19 | 744448 | 656682 | 1521 801 | 0 | 0 282.55/282.68 c 282s | 19 | 749218 | 660982 | 1521 805 | 0 | 0 284.65/284.72 c 284s | 19 | 754190 | 665382 | 1674 809 | 0 | 0 285.35/285.41 c 285s | 20 | 755912 | 666827 | 1674 811 | 0 | 0 287.35/287.43 c 287s | 20 | 761111 | 671227 | 1674 815 | 0 | 0 289.35/289.46 c 289s | 20 | 765705 | 675327 | 1674 819 | 0 | 0 291.34/291.46 c 291s | 20 | 770656 | 679727 | 1674 823 | 0 | 0 293.34/293.49 c 293s | 20 | 776222 | 684627 | 1674 828 | 0 | 0 295.44/295.52 c 295s | 20 | 781117 | 689127 | 1674 832 | 0 | 0 297.44/297.52 c 297s | 20 | 786450 | 693927 | 1674 837 | 0 | 0 299.45/299.52 c 299s | 20 | 791445 | 698427 | 1674 841 | 0 | 0 301.44/301.55 c 301s | 20 | 796842 | 703227 | 1674 846 | 0 | 0 303.44/303.57 c 303s | 20 | 801960 | 707827 | 1674 850 | 0 | 0 305.44/305.57 c 305s | 20 | 806577 | 711927 | 1674 854 | 0 | 0 307.54/307.62 c 307s | 20 | 811378 | 716227 | 1674 858 | 0 | 0 309.54/309.65 c 309s | 20 | 816043 | 720427 | 1674 862 | 0 | 0 311.54/311.68 c 311s | 20 | 821783 | 725427 | 1674 867 | 0 | 0 313.54/313.68 c 313s | 20 | 827274 | 730127 | 1674 872 | 0 | 0 315.64/315.71 c 315s | 20 | 832682 | 734827 | 1674 876 | 0 | 0 317.64/317.72 c 317s | 20 | 838087 | 739527 | 1674 881 | 0 | 0 319.64/319.74 c 319s | 20 | 843500 | 744327 | 1674 885 | 0 | 0 321.74/321.81 c 321s | 20 | 848755 | 748827 | 1674 890 | 0 | 0 323.74/323.81 c 323s | 20 | 854143 | 753527 | 1674 894 | 0 | 0 325.74/325.82 c 325s | 20 | 859448 | 758127 | 1674 898 | 0 | 0 327.74/327.85 c 327s | 20 | 864642 | 762627 | 1674 903 | 0 | 0 329.74/329.87 c 329s | 20 | 869477 | 766927 | 1674 907 | 0 | 0 331.74/331.88 c 331s | 20 | 874893 | 771627 | 1674 911 | 0 | 0 333.74/333.89 c 333s | 20 | 880055 | 776127 | 1674 916 | 0 | 0 335.74/335.90 c 335s | 20 | 885268 | 780727 | 1674 920 | 0 | 0 337.83/337.94 c 337s | 20 | 890309 | 785227 | 1674 925 | 0 | 0 339.83/339.96 c 339s | 20 | 895232 | 789527 | 1674 929 | 0 | 0 341.83/341.97 c 341s | 20 | 900190 | 793927 | 1674 933 | 0 | 0 343.93/344.00 c 343s | 20 | 905157 | 798427 | 1674 937 | 0 | 0 345.93/346.04 c 345s | 20 | 910396 | 803027 | 1674 942 | 0 | 0 347.94/348.05 c 347s | 20 | 915599 | 807627 | 1674 946 | 0 | 0 349.93/350.06 c 349s | 20 | 920944 | 812427 | 1674 951 | 0 | 0 351.93/352.08 c 351s | 20 | 926328 | 817227 | 1674 955 | 0 | 0 353.93/354.08 c 353s | 20 | 931355 | 821727 | 1674 960 | 0 | 0 356.03/356.11 c 356s | 20 | 936903 | 826627 | 1674 964 | 0 | 0 358.03/358.12 c 358s | 20 | 941991 | 831127 | 1674 969 | 0 | 0 360.04/360.16 c 360s | 20 | 947505 | 836027 | 1674 974 | 0 | 0 362.03/362.18 c 362s | 20 | 952646 | 840527 | 1674 978 | 0 | 0 364.13/364.23 c 364s | 20 | 957862 | 845227 | 1674 982 | 0 | 0 366.13/366.24 c 366s | 20 | 963017 | 849827 | 1674 987 | 0 | 0 368.13/368.24 c 368s | 20 | 967911 | 854227 | 1674 991 | 0 | 0 370.13/370.26 c 370s | 20 | 972770 | 858627 | 1674 995 | 0 | 0 372.14/372.27 c 372s | 20 | 977666 | 863027 | 1674 999 | 0 | 0 374.23/374.31 c 374s | 20 | 982661 | 867527 | 1674 1004 | 0 | 0 376.23/376.33 c 376s | 20 | 987630 | 871927 | 1674 1008 | 0 | 0 378.23/378.37 c 378s | 20 | 992625 | 876527 | 1674 1012 | 0 | 0 380.24/380.37 c 380s | 20 | 997681 | 881127 | 1674 1017 | 0 | 0 382.33/382.41 c 382s | 20 | 1002670 | 885627 | 1674 1021 | 0 | 0 384.33/384.44 c 384s | 20 | 1007812 | 890227 | 1674 1026 | 0 | 0 386.34/386.45 c 386s | 20 | 1013332 | 895027 | 1674 1030 | 0 | 0 388.33/388.48 c 388s | 20 | 1018562 | 899627 | 1674 1035 | 0 | 0 390.43/390.50 c 390s | 20 | 1024163 | 904527 | 1674 1039 | 0 | 0 392.43/392.53 c 392s | 20 | 1029735 | 909427 | 1674 1044 | 0 | 0 394.43/394.54 c 394s | 20 | 1034775 | 913927 | 1674 1048 | 0 | 0 396.43/396.55 c 396s | 20 | 1040148 | 918527 | 1674 1053 | 0 | 0 398.44/398.60 c 398s | 20 | 1045110 | 922927 | 1674 1057 | 0 | 0 400.53/400.64 c 400s | 20 | 1049964 | 927127 | 1674 1061 | 0 | 0 402.53/402.66 c 402s | 20 | 1055067 | 931627 | 1674 1065 | 0 | 0 404.53/404.67 c 404s | 20 | 1060088 | 936027 | 1674 1070 | 0 | 0 406.53/406.67 c 406s | 20 | 1065252 | 940527 | 1674 1074 | 0 | 0 408.63/408.71 c 408s | 20 | 1070339 | 945027 | 1674 1078 | 0 | 0 410.64/410.75 c 410s | 20 | 1075639 | 949627 | 1674 1083 | 0 | 0 412.63/412.77 c 412s | 20 | 1080697 | 954127 | 1674 1087 | 0 | 0 414.63/414.78 c 414s | 20 | 1085798 | 958727 | 1674 1092 | 0 | 0 416.73/416.81 c 416s | 20 | 1091236 | 963527 | 1674 1096 | 0 | 0 418.73/418.82 c 418s | 20 | 1096265 | 968027 | 1674 1100 | 0 | 0 420.73/420.83 c 420s | 20 | 1101202 | 972427 | 1674 1105 | 0 | 0 422.73/422.85 c 422s | 20 | 1105864 | 976527 | 1674 1109 | 0 | 0 424.73/424.88 c 424s | 20 | 1110348 | 980527 | 1674 1112 | 0 | 0 426.82/426.91 c 426s | 20 | 1115557 | 985027 | 1674 1117 | 0 | 0 428.82/428.93 c 428s | 20 | 1120808 | 989727 | 1674 1121 | 0 | 0 430.82/430.95 c 430s | 20 | 1126011 | 994327 | 1842 1126 | 0 | 0 432.82/432.96 c 432s | 20 | 1130917 | 998727 | 1842 1129 | 0 | 0 433.63/433.70 c 433s | 21 | 1132828 | 1000345 | 1842 1131 | 0 | 0 435.62/435.73 c 435s | 21 | 1138670 | 1005245 | 1842 1135 | 0 | 0 437.62/437.74 c 437s | 21 | 1143445 | 1009445 | 1842 1139 | 0 | 0 439.62/439.78 c 439s | 21 | 1148470 | 1013845 | 1842 1143 | 0 | 0 441.62/441.79 c 441s | 21 | 1153853 | 1018645 | 1842 1147 | 0 | 0 443.72/443.81 c 443s | 21 | 1158908 | 1023045 | 1842 1151 | 0 | 0 445.73/445.83 c 445s | 21 | 1163949 | 1027445 | 1842 1155 | 0 | 0 447.72/447.86 c 447s | 21 | 1168900 | 1031845 | 1842 1159 | 0 | 0 449.82/449.92 c 449s | 21 | 1173515 | 1035945 | 1842 1163 | 0 | 0 451.82/451.93 c 451s | 21 | 1178197 | 1040145 | 1842 1166 | 0 | 0 453.82/453.93 c 453s | 21 | 1182688 | 1044245 | 1842 1170 | 0 | 0 455.82/455.97 c 455s | 21 | 1187760 | 1048745 | 1842 1174 | 0 | 0 457.82/458.00 c 457s | 21 | 1192810 | 1053145 | 1842 1178 | 0 | 0 459.92/460.04 c 459s | 21 | 1197918 | 1057645 | 1842 1182 | 0 | 0 461.92/462.07 c 461s | 21 | 1203078 | 1062245 | 1842 1186 | 0 | 0 463.92/464.09 c 464s | 21 | 1208239 | 1066745 | 1842 1190 | 0 | 0 466.02/466.10 c 466s | 21 | 1213040 | 1070945 | 1842 1194 | 0 | 0 468.02/468.11 c 468s | 21 | 1217810 | 1075145 | 1842 1198 | 0 | 0 470.02/470.12 c 470s | 21 | 1222839 | 1079545 | 1842 1201 | 0 | 0 472.02/472.13 c 472s | 21 | 1227585 | 1083745 | 1842 1205 | 0 | 0 474.01/474.13 c 474s | 21 | 1232650 | 1088045 | 1842 1209 | 0 | 0 476.01/476.13 c 476s | 21 | 1237645 | 1092345 | 1842 1213 | 0 | 0 478.11/478.21 c 478s | 21 | 1242306 | 1096445 | 1842 1217 | 0 | 0 480.11/480.25 c 480s | 21 | 1247102 | 1100745 | 1842 1220 | 0 | 0 482.12/482.28 c 482s | 21 | 1252258 | 1105245 | 1842 1224 | 0 | 0 484.22/484.32 c 484s | 21 | 1257446 | 1109845 | 1842 1228 | 0 | 0 486.21/486.34 c 486s | 21 | 1262163 | 1114045 | 1842 1232 | 0 | 0 488.21/488.37 c 488s | 21 | 1267010 | 1118345 | 1842 1236 | 0 | 0 490.31/490.42 c 490s | 21 | 1272191 | 1122945 | 1842 1240 | 0 | 0 492.31/492.45 c 492s | 21 | 1277216 | 1127445 | 1842 1244 | 0 | 0 494.31/494.49 c 494s | 21 | 1282202 | 1131845 | 1842 1248 | 0 | 0 496.42/496.51 c 496s | 21 | 1287623 | 1136445 | 1842 1252 | 0 | 0 498.41/498.52 c 498s | 21 | 1292138 | 1140445 | 1842 1256 | 0 | 0 500.41/500.57 c 500s | 21 | 1296820 | 1144545 | 1842 1259 | 0 | 0 502.51/502.61 c 502s | 21 | 1301465 | 1148645 | 1842 1263 | 0 | 0 504.51/504.63 c 504s | 21 | 1306245 | 1152745 | 1842 1267 | 0 | 0 506.51/506.69 c 506s | 21 | 1311191 | 1157145 | 1842 1271 | 0 | 0 508.61/508.73 c 508s | 21 | 1316153 | 1161445 | 1842 1274 | 0 | 0 510.61/510.76 c 510s | 21 | 1320747 | 1165545 | 1842 1278 | 0 | 0 512.71/512.80 c 512s | 21 | 1325382 | 1169745 | 1842 1282 | 0 | 0 514.71/514.85 c 514s | 21 | 1330163 | 1173945 | 1842 1286 | 0 | 0 516.71/516.85 c 516s | 21 | 1334348 | 1177745 | 1842 1289 | 0 | 0 518.71/518.86 c 518s | 21 | 1338657 | 1181645 | 1842 1292 | 0 | 0 520.71/520.88 c 520s | 21 | 1343530 | 1186045 | 1842 1296 | 0 | 0 522.71/522.89 c 522s | 21 | 1348189 | 1190245 | 1842 1300 | 0 | 0 524.81/524.92 c 524s | 21 | 1352906 | 1194545 | 1842 1304 | 0 | 0 526.80/526.92 c 526s | 21 | 1357629 | 1198845 | 1842 1308 | 0 | 0 528.80/528.97 c 528s | 21 | 1362065 | 1202845 | 1842 1311 | 0 | 0 530.90/531.01 c 530s | 21 | 1366543 | 1206845 | 1842 1315 | 0 | 0 532.90/533.02 c 532s | 21 | 1371901 | 1211545 | 1842 1319 | 0 | 0 534.91/535.03 c 534s | 21 | 1377316 | 1216245 | 1842 1323 | 0 | 0 536.90/537.05 c 536s | 21 | 1382682 | 1221045 | 1842 1328 | 0 | 0 538.90/539.06 c 538s | 21 | 1387974 | 1225645 | 1842 1332 | 0 | 0 540.90/541.07 c 540s | 21 | 1393165 | 1230145 | 1842 1336 | 0 | 0 542.90/543.09 c 543s | 21 | 1398753 | 1234945 | 1842 1340 | 0 | 0 544.90/545.09 c 545s | 21 | 1404109 | 1239645 | 1842 1344 | 0 | 0 547.01/547.11 c 547s | 21 | 1409536 | 1244445 | 1842 1348 | 0 | 0 549.01/549.12 c 549s | 21 | 1414725 | 1248945 | 1842 1352 | 0 | 0 551.01/551.15 c 551s | 21 | 1419560 | 1253245 | 1842 1356 | 0 | 0 553.01/553.18 c 553s | 21 | 1424932 | 1257945 | 1842 1360 | 0 | 0 555.01/555.19 c 555s | 21 | 1429923 | 1262345 | 1842 1364 | 0 | 0 557.11/557.20 c 557s | 21 | 1434564 | 1266445 | 1842 1368 | 0 | 0 559.12/559.21 c 559s | 21 | 1439768 | 1271045 | 1842 1372 | 0 | 0 561.11/561.21 c 561s | 21 | 1444720 | 1275445 | 1842 1376 | 0 | 0 563.11/563.23 c 563s | 21 | 1449290 | 1279545 | 1842 1380 | 0 | 0 565.11/565.26 c 565s | 21 | 1455168 | 1284645 | 1842 1384 | 0 | 0 567.11/567.28 c 567s | 21 | 1460537 | 1289445 | 1842 1388 | 0 | 0 569.11/569.29 c 569s | 21 | 1465898 | 1294045 | 1842 1392 | 0 | 0 571.21/571.34 c 571s | 21 | 1471095 | 1298545 | 1842 1397 | 0 | 0 573.20/573.35 c 573s | 21 | 1476198 | 1302945 | 1842 1400 | 0 | 0 575.20/575.39 c 575s | 21 | 1480963 | 1307145 | 1842 1404 | 0 | 0 577.30/577.43 c 577s | 21 | 1485637 | 1311245 | 1842 1408 | 0 | 0 579.30/579.47 c 579s | 21 | 1491265 | 1316045 | 1842 1412 | 0 | 0 581.40/581.51 c 581s | 21 | 1496421 | 1320545 | 1842 1416 | 0 | 0 583.40/583.55 c 583s | 21 | 1501751 | 1325145 | 1842 1420 | 0 | 0 585.41/585.57 c 585s | 21 | 1506770 | 1329445 | 1842 1424 | 0 | 0 587.50/587.62 c 587s | 21 | 1511394 | 1333445 | 1842 1428 | 0 | 0 589.50/589.62 c 589s | 21 | 1516113 | 1337545 | 1842 1432 | 0 | 0 591.50/591.65 c 591s | 21 | 1520797 | 1341745 | 1842 1435 | 0 | 0 593.50/593.69 c 593s | 21 | 1525774 | 1346245 | 1842 1439 | 0 | 0 595.60/595.72 c 595s | 21 | 1531104 | 1350845 | 1842 1443 | 0 | 0 597.61/597.76 c 597s | 21 | 1536013 | 1355145 | 1842 1447 | 0 | 0 599.60/599.78 c 599s | 21 | 1541367 | 1359745 | 1842 1451 | 0 | 0 601.60/601.79 c 601s | 21 | 1546437 | 1364045 | 1842 1455 | 0 | 0 603.60/603.79 c 603s | 21 | 1551235 | 1368245 | 1842 1459 | 0 | 0 605.69/605.81 c 605s | 21 | 1556026 | 1372445 | 1842 1463 | 0 | 0 607.69/607.85 c 607s | 21 | 1561269 | 1377045 | 1842 1467 | 0 | 0 609.70/609.86 c 609s | 21 | 1566578 | 1381745 | 1842 1471 | 0 | 0 611.69/611.87 c 611s | 21 | 1571309 | 1385945 | 1842 1475 | 0 | 0 613.79/613.90 c 613s | 21 | 1576283 | 1390345 | 1842 1479 | 0 | 0 615.79/615.91 c 615s | 21 | 1581067 | 1394545 | 1842 1482 | 0 | 0 617.79/617.93 c 617s | 21 | 1585839 | 1398845 | 1842 1486 | 0 | 0 619.79/619.98 c 619s | 21 | 1591098 | 1403345 | 1842 1490 | 0 | 0 621.89/622.00 c 621s | 21 | 1596245 | 1407845 | 1842 1494 | 0 | 0 623.89/624.04 c 623s | 21 | 1601074 | 1412045 | 1842 1498 | 0 | 0 625.89/626.05 c 625s | 21 | 1606236 | 1416645 | 1842 1502 | 0 | 0 627.89/628.08 c 627s | 21 | 1611016 | 1420945 | 1842 1506 | 0 | 0 629.99/630.12 c 630s | 21 | 1615831 | 1425145 | 1842 1510 | 0 | 0 631.98/632.13 c 632s | 21 | 1620258 | 1429245 | 1842 1513 | 0 | 0 633.98/634.16 c 634s | 21 | 1624788 | 1433245 | 1842 1517 | 0 | 0 635.98/636.20 c 636s | 21 | 1629522 | 1437445 | 1842 1520 | 0 | 0 638.08/638.20 c 638s | 21 | 1633934 | 1441345 | 1842 1524 | 0 | 0 640.08/640.20 c 640s | 21 | 1638599 | 1445445 | 1842 1528 | 0 | 0 642.08/642.23 c 642s | 21 | 1643703 | 1449945 | 1842 1532 | 0 | 0 644.08/644.29 c 644s | 21 | 1648833 | 1454445 | 1842 1536 | 0 | 0 646.17/646.32 c 646s | 21 | 1653982 | 1458945 | 1842 1540 | 0 | 0 648.18/648.35 c 648s | 21 | 1658789 | 1463245 | 1842 1543 | 0 | 0 650.17/650.37 c 650s | 21 | 1663821 | 1467645 | 1842 1547 | 0 | 0 652.17/652.38 c 652s | 21 | 1668599 | 1471845 | 1842 1551 | 0 | 0 654.27/654.42 c 654s | 21 | 1673520 | 1476145 | 1842 1555 | 0 | 0 656.27/656.47 c 656s | 21 | 1678320 | 1480345 | 1842 1559 | 0 | 0 658.27/658.49 c 658s | 21 | 1682926 | 1484445 | 1842 1562 | 0 | 0 660.37/660.52 c 660s | 21 | 1687475 | 1488445 | 1842 1566 | 0 | 0 662.37/662.56 c 662s | 21 | 1691745 | 1492145 | 2027 1569 | 0 | 0 664.36/664.57 c 664s | 21 | 1696740 | 1496445 | 2027 1572 | 0 | 0 666.36/666.53 c 666s | 22 | 1701473 | 1500622 | 2027 1576 | 0 | 0 668.36/668.56 c 668s | 22 | 1706989 | 1505322 | 2027 1580 | 0 | 0 670.36/670.59 c 670s | 22 | 1711498 | 1509422 | 2027 1583 | 0 | 0 672.46/672.60 c 672s | 22 | 1716389 | 1513822 | 2027 1587 | 0 | 0 674.47/674.65 c 674s | 22 | 1720917 | 1517922 | 2027 1590 | 0 | 0 676.57/676.70 c 676s | 22 | 1725846 | 1522322 | 2027 1594 | 0 | 0 678.57/678.74 c 678s | 22 | 1730844 | 1526822 | 2027 1597 | 0 | 0 680.57/680.75 c 680s | 22 | 1735835 | 1531322 | 2027 1601 | 0 | 0 682.57/682.76 c 682s | 22 | 1740548 | 1535622 | 2027 1605 | 0 | 0 684.56/684.78 c 684s | 22 | 1745071 | 1539722 | 2027 1608 | 0 | 0 686.67/686.82 c 686s | 22 | 1749731 | 1543922 | 2027 1611 | 0 | 0 688.66/688.83 c 688s | 22 | 1754426 | 1548122 | 2027 1615 | 0 | 0 690.66/690.89 c 690s | 22 | 1759485 | 1552622 | 2027 1619 | 0 | 0 692.76/692.90 c 692s | 22 | 1763990 | 1556722 | 2027 1622 | 0 | 0 694.76/694.95 c 694s | 22 | 1768202 | 1560522 | 2027 1625 | 0 | 0 696.76/696.98 c 696s | 22 | 1771985 | 1563922 | 2027 1628 | 0 | 0 698.86/699.03 c 698s | 22 | 1776528 | 1568022 | 2027 1631 | 0 | 0 700.86/701.05 c 700s | 22 | 1781206 | 1572222 | 2027 1635 | 0 | 0 702.96/703.10 c 703s | 22 | 1785780 | 1576422 | 2027 1638 | 0 | 0 704.95/705.14 c 705s | 22 | 1790415 | 1580622 | 2027 1642 | 0 | 0 706.95/707.16 c 707s | 22 | 1794835 | 1584622 | 2027 1645 | 0 | 0 708.95/709.19 c 709s | 22 | 1799349 | 1588722 | 2027 1648 | 0 | 0 710.95/711.19 c 711s | 22 | 1804098 | 1593022 | 2027 1652 | 0 | 0 713.06/713.25 c 713s | 22 | 1809350 | 1597722 | 2027 1656 | 0 | 0 715.05/715.29 c 715s | 22 | 1814309 | 1602222 | 2027 1659 | 0 | 0 717.15/717.33 c 717s | 22 | 1818981 | 1606522 | 2027 1663 | 0 | 0 719.15/719.34 c 719s | 22 | 1823649 | 1610822 | 2027 1666 | 0 | 0 721.15/721.36 c 721s | 22 | 1828355 | 1615122 | 2027 1670 | 0 | 0 723.15/723.39 c 723s | 22 | 1833210 | 1619522 | 2027 1674 | 0 | 0 725.24/725.44 c 725s | 22 | 1838220 | 1624122 | 2027 1677 | 0 | 0 727.25/727.47 c 727s | 22 | 1842735 | 1628222 | 2027 1681 | 0 | 0 729.34/729.50 c 729s | 22 | 1847755 | 1632722 | 2027 1684 | 0 | 0 731.34/731.53 c 731s | 22 | 1852509 | 1637022 | 2027 1688 | 0 | 0 733.34/733.57 c 733s | 22 | 1857163 | 1641222 | 2027 1691 | 0 | 0 735.34/735.59 c 735s | 22 | 1861840 | 1645322 | 2027 1695 | 0 | 0 737.44/737.61 c 737s | 22 | 1867057 | 1649922 | 2027 1699 | 0 | 0 739.45/739.63 c 739s | 22 | 1871980 | 1654322 | 2027 1702 | 0 | 0 741.44/741.65 c 741s | 22 | 1876763 | 1658722 | 2027 1706 | 0 | 0 743.44/743.69 c 743s | 22 | 1881477 | 1662922 | 2027 1709 | 0 | 0 745.54/745.72 c 745s | 22 | 1885955 | 1667022 | 2027 1713 | 0 | 0 747.53/747.72 c 747s | 22 | 1890371 | 1671122 | 2027 1716 | 0 | 0 749.53/749.78 c 749s | 22 | 1894618 | 1675022 | 2027 1719 | 0 | 0 751.54/751.80 c 751s | 22 | 1899305 | 1679222 | 2027 1723 | 0 | 0 753.63/753.82 c 753s | 22 | 1903577 | 1683122 | 2027 1726 | 0 | 0 755.63/755.83 c 755s | 22 | 1907605 | 1686822 | 2027 1729 | 0 | 0 757.63/757.87 c 757s | 22 | 1911843 | 1690722 | 2027 1732 | 0 | 0 759.63/759.88 c 759s | 22 | 1916118 | 1694622 | 2027 1735 | 0 | 0 761.73/761.92 c 761s | 22 | 1920604 | 1698622 | 2027 1739 | 0 | 0 763.72/763.93 c 763s | 22 | 1924691 | 1702322 | 2027 1742 | 0 | 0 765.73/765.95 c 765s | 22 | 1929310 | 1706522 | 2027 1745 | 0 | 0 767.72/767.96 c 767s | 22 | 1933616 | 1710422 | 2027 1748 | 0 | 0 769.82/770.01 c 769s | 22 | 1938108 | 1714522 | 2027 1752 | 0 | 0 771.82/772.07 c 771s | 22 | 1942605 | 1718622 | 2027 1755 | 0 | 0 773.82/774.09 c 774s | 22 | 1947409 | 1723022 | 2027 1759 | 0 | 0 775.92/776.10 c 776s | 22 | 1951886 | 1727122 | 2027 1762 | 0 | 0 777.92/778.15 c 778s | 22 | 1956023 | 1730922 | 2027 1765 | 0 | 0 779.92/780.16 c 780s | 22 | 1960563 | 1735122 | 2027 1769 | 0 | 0 782.02/782.20 c 782s | 22 | 1964826 | 1739022 | 2027 1772 | 0 | 0 784.01/784.20 c 784s | 22 | 1969512 | 1743222 | 2027 1775 | 0 | 0 786.01/786.25 c 786s | 22 | 1974028 | 1747322 | 2027 1779 | 0 | 0 788.01/788.28 c 788s | 22 | 1978277 | 1751122 | 2027 1782 | 0 | 0 790.11/790.32 c 790s | 22 | 1983560 | 1755622 | 2027 1786 | 0 | 0 792.11/792.33 c 792s | 22 | 1988840 | 1760222 | 2027 1789 | 0 | 0 794.11/794.37 c 794s | 22 | 1994231 | 1764922 | 2027 1793 | 0 | 0 796.11/796.39 c 796s | 22 | 1998881 | 1769122 | 2027 1797 | 0 | 0 798.21/798.41 c 798s | 22 | 2003461 | 1773222 | 2027 1800 | 0 | 0 800.21/800.43 c 800s | 22 | 2008427 | 1777522 | 2027 1804 | 0 | 0 802.21/802.46 c 802s | 22 | 2013106 | 1781622 | 2027 1807 | 0 | 0 804.20/804.49 c 804s | 22 | 2017711 | 1785722 | 2027 1810 | 0 | 0 806.30/806.52 c 806s | 22 | 2022157 | 1789722 | 2027 1814 | 0 | 0 808.30/808.54 c 808s | 22 | 2027405 | 1794322 | 2027 1817 | 0 | 0 810.30/810.57 c 810s | 22 | 2032401 | 1798822 | 2027 1821 | 0 | 0 812.40/812.60 c 812s | 22 | 2037270 | 1803222 | 2027 1825 | 0 | 0 814.39/814.63 c 814s | 22 | 2042031 | 1807522 | 2027 1828 | 0 | 0 816.40/816.64 c 816s | 22 | 2046529 | 1811622 | 2027 1832 | 0 | 0 818.39/818.66 c 818s | 22 | 2051225 | 1815822 | 2027 1835 | 0 | 0 820.39/820.69 c 820s | 22 | 2056066 | 1820222 | 2027 1839 | 0 | 0 822.49/822.72 c 822s | 22 | 2061206 | 1824722 | 2027 1842 | 0 | 0 824.49/824.75 c 824s | 22 | 2066284 | 1829222 | 2027 1846 | 0 | 0 826.49/826.75 c 826s | 22 | 2071105 | 1833422 | 2027 1850 | 0 | 0 828.49/828.77 c 828s | 22 | 2075622 | 1837422 | 2027 1853 | 0 | 0 830.49/830.79 c 830s | 22 | 2080076 | 1841322 | 2027 1856 | 0 | 0 832.49/832.79 c 832s | 22 | 2084654 | 1845422 | 2027 1860 | 0 | 0 834.58/834.81 c 834s | 22 | 2089903 | 1850122 | 2027 1863 | 0 | 0 836.58/836.82 c 836s | 22 | 2094646 | 1854422 | 2027 1867 | 0 | 0 838.58/838.85 c 838s | 22 | 2099281 | 1858622 | 2027 1870 | 0 | 0 840.59/840.86 c 840s | 22 | 2103978 | 1862822 | 2027 1874 | 0 | 0 842.58/842.88 c 842s | 22 | 2108511 | 1866822 | 2027 1877 | 0 | 0 844.68/844.91 c 844s | 22 | 2113222 | 1871022 | 2027 1881 | 0 | 0 846.68/846.93 c 846s | 22 | 2117917 | 1875222 | 2027 1884 | 0 | 0 848.68/848.96 c 848s | 22 | 2122289 | 1879122 | 2027 1887 | 0 | 0 850.77/851.01 c 850s | 22 | 2127155 | 1883422 | 2027 1891 | 0 | 0 852.77/853.04 c 852s | 22 | 2131680 | 1887422 | 2027 1894 | 0 | 0 854.77/855.04 c 854s | 22 | 2135783 | 1891122 | 2027 1897 | 0 | 0 856.77/857.06 c 856s | 22 | 2139974 | 1894922 | 2027 1900 | 0 | 0 858.77/859.10 c 859s | 22 | 2144437 | 1898822 | 2027 1904 | 0 | 0 860.87/861.12 c 861s | 22 | 2148906 | 1902722 | 2027 1907 | 0 | 0 862.87/863.14 c 863s | 22 | 2153463 | 1906622 | 2027 1910 | 0 | 0 864.86/865.17 c 865s | 22 | 2157858 | 1910522 | 2027 1913 | 0 | 0 866.87/867.18 c 867s | 22 | 2162281 | 1914322 | 2027 1916 | 0 | 0 868.96/869.20 c 869s | 22 | 2166548 | 1918122 | 2027 1919 | 0 | 0 870.96/871.22 c 871s | 22 | 2170917 | 1921922 | 2027 1923 | 0 | 0 872.96/873.25 c 873s | 22 | 2175233 | 1925622 | 2027 1926 | 0 | 0 875.06/875.30 c 875s | 22 | 2179528 | 1929422 | 2027 1929 | 0 | 0 877.06/877.33 c 877s | 22 | 2183722 | 1933122 | 2027 1932 | 0 | 0 879.06/879.35 c 879s | 22 | 2187974 | 1936822 | 2027 1935 | 0 | 0 881.06/881.38 c 881s | 22 | 2192075 | 1940422 | 2027 1938 | 0 | 0 883.16/883.43 c 883s | 22 | 2196301 | 1944122 | 2027 1941 | 0 | 0 885.15/885.43 c 885s | 22 | 2200546 | 1947822 | 2027 1944 | 0 | 0 887.15/887.47 c 887s | 22 | 2205961 | 1952622 | 2027 1948 | 0 | 0 889.15/889.49 c 889s | 22 | 2211246 | 1957222 | 2027 1952 | 0 | 0 891.25/891.51 c 891s | 22 | 2216459 | 1961722 | 2027 1955 | 0 | 0 893.25/893.51 c 893s | 22 | 2221144 | 1965822 | 2027 1959 | 0 | 0 895.24/895.53 c 895s | 22 | 2225675 | 1969922 | 2027 1962 | 0 | 0 897.24/897.58 c 897s | 22 | 2230514 | 1974222 | 2027 1966 | 0 | 0 899.34/899.62 c 899s | 22 | 2235609 | 1978622 | 2027 1969 | 0 | 0 901.34/901.63 c 901s | 22 | 2240648 | 1983022 | 2027 1973 | 0 | 0 903.34/903.68 c 903s | 22 | 2245648 | 1987422 | 2027 1976 | 0 | 0 905.34/905.70 c 905s | 22 | 2250699 | 1991822 | 2027 1980 | 0 | 0 907.44/907.72 c 907s | 22 | 2255426 | 1996022 | 2027 1984 | 0 | 0 909.44/909.73 c 909s | 22 | 2260201 | 2000122 | 2027 1987 | 0 | 0 911.44/911.75 c 911s | 22 | 2264554 | 2004022 | 2027 1990 | 0 | 0 913.53/913.80 c 913s | 22 | 2269058 | 2008022 | 2027 1993 | 0 | 0 915.53/915.82 c 915s | 22 | 2273554 | 2012122 | 2027 1997 | 0 | 0 917.54/917.83 c 917s | 22 | 2278652 | 2016622 | 2027 2001 | 0 | 0 919.53/919.85 c 919s | 22 | 2284159 | 2021422 | 2027 2004 | 0 | 0 921.53/921.89 c 921s | 22 | 2289882 | 2026322 | 2027 2008 | 0 | 0 923.53/923.90 c 923s | 22 | 2295333 | 2030922 | 2027 2012 | 0 | 0 925.63/925.90 c 925s | 22 | 2300714 | 2035622 | 2027 2016 | 0 | 0 927.63/927.92 c 927s | 22 | 2305632 | 2040022 | 2027 2020 | 0 | 0 929.63/929.94 c 929s | 22 | 2311115 | 2044622 | 2027 2023 | 0 | 0 931.63/931.94 c 931s | 22 | 2316379 | 2049122 | 2027 2027 | 0 | 0 933.62/933.97 c 933s | 22 | 2321190 | 2053422 | 2027 2031 | 0 | 0 935.72/936.00 c 935s | 22 | 2326206 | 2057822 | 2027 2034 | 0 | 0 937.72/938.03 c 937s | 22 | 2331112 | 2062122 | 2027 2038 | 0 | 0 939.72/940.07 c 939s | 22 | 2335603 | 2066122 | 2027 2041 | 0 | 0 941.83/942.13 c 942s | 22 | 2340152 | 2070122 | 2027 2045 | 0 | 0 943.83/944.17 c 944s | 22 | 2344531 | 2074022 | 2027 2048 | 0 | 0 945.83/946.19 c 946s | 22 | 2348860 | 2077822 | 2027 2051 | 0 | 0 947.93/948.22 c 948s | 22 | 2353466 | 2081822 | 2027 2054 | 0 | 0 949.93/950.25 c 950s | 22 | 2358644 | 2086322 | 2027 2058 | 0 | 0 951.93/952.28 c 952s | 22 | 2363447 | 2090622 | 2027 2061 | 0 | 0 953.92/954.29 c 954s | 22 | 2368522 | 2095022 | 2027 2065 | 0 | 0 956.03/956.31 c 956s | 22 | 2373148 | 2099122 | 2027 2068 | 0 | 0 958.02/958.35 c 958s | 22 | 2377685 | 2103122 | 2027 2072 | 0 | 0 960.12/960.40 c 960s | 22 | 2382385 | 2107322 | 2027 2075 | 0 | 0 962.12/962.44 c 962s | 22 | 2386785 | 2111322 | 2027 2078 | 0 | 0 964.12/964.46 c 964s | 22 | 2391448 | 2115422 | 2027 2082 | 0 | 0 966.12/966.48 c 966s | 22 | 2395944 | 2119522 | 2027 2085 | 0 | 0 968.21/968.50 c 968s | 22 | 2400364 | 2123522 | 2027 2088 | 0 | 0 970.22/970.52 c 970s | 22 | 2405106 | 2127722 | 2027 2092 | 0 | 0 972.21/972.56 c 972s | 22 | 2409614 | 2131722 | 2027 2095 | 0 | 0 974.31/974.61 c 974s | 22 | 2414104 | 2135722 | 2027 2099 | 0 | 0 976.31/976.65 c 976s | 22 | 2418294 | 2139522 | 2027 2102 | 0 | 0 978.31/978.67 c 978s | 22 | 2422594 | 2143322 | 2027 2105 | 0 | 0 980.41/980.71 c 980s | 22 | 2427927 | 2147822 | 2027 2108 | 0 | 0 982.41/982.73 c 982s | 22 | 2432370 | 2151722 | 2027 2112 | 0 | 0 984.40/984.77 c 984s | 22 | 2436667 | 2155522 | 2027 2115 | 0 | 0 986.40/986.78 c 986s | 22 | 2441579 | 2159822 | 2027 2118 | 0 | 0 988.50/988.80 c 988s | 22 | 2445868 | 2163622 | 2027 2122 | 0 | 0 990.50/990.84 c 990s | 22 | 2450249 | 2167522 | 2027 2125 | 0 | 0 992.60/992.90 c 992s | 22 | 2454899 | 2171522 | 2027 2128 | 0 | 0 994.60/994.91 c 994s | 22 | 2459172 | 2175222 | 2027 2131 | 0 | 0 996.60/996.95 c 996s | 22 | 2463483 | 2178922 | 2027 2134 | 0 | 0 998.60/998.96 c 998s | 22 | 2467465 | 2182422 | 2027 2137 | 0 | 0 1000.59/1000.97 c 1000s | 22 | 2472187 | 2186622 | 2027 2141 | 0 | 0 1002.69/1003.00 c 1002s | 22 | 2476799 | 2190822 | 2027 2144 | 0 | 0 1004.69/1005.01 c 1004s | 22 | 2481591 | 2195022 | 2027 2148 | 0 | 0 1006.69/1007.05 c 1006s | 22 | 2486366 | 2199222 | 2027 2151 | 0 | 0 1008.69/1009.08 c 1008s | 22 | 2490675 | 2203022 | 2027 2154 | 0 | 0 1010.69/1011.09 c 1011s | 22 | 2494774 | 2206622 | 2027 2157 | 0 | 0 1012.79/1013.10 c 1013s | 22 | 2498699 | 2210122 | 2027 2160 | 0 | 0 1014.78/1015.12 c 1015s | 22 | 2502461 | 2213522 | 2027 2163 | 0 | 0 1016.78/1017.14 c 1017s | 22 | 2506131 | 2216822 | 2027 2165 | 0 | 0 1018.78/1019.17 c 1019s | 22 | 2509824 | 2220222 | 2027 2168 | 0 | 0 1020.89/1021.22 c 1021s | 22 | 2513606 | 2223622 | 2027 2171 | 0 | 0 1022.88/1023.25 c 1023s | 22 | 2517095 | 2226822 | 2027 2174 | 0 | 0 1024.88/1025.27 c 1025s | 22 | 2520881 | 2230222 | 2027 2176 | 0 | 0 1026.98/1027.30 c 1027s | 22 | 2524849 | 2233722 | 2027 2179 | 0 | 0 1028.98/1029.33 c 1029s | 22 | 2528928 | 2237222 | 2230 2182 | 0 | 0 1031.08/1031.40 c 1031s | 22 | 2532856 | 2240622 | 2230 2185 | 0 | 0 1033.08/1033.42 c 1033s | 22 | 2536414 | 2243822 | 2230 2187 | 0 | 0 1035.08/1035.44 c 1035s | 22 | 2540889 | 2247922 | 2230 2190 | 0 | 0 1036.47/1036.86 c 1036s | 23 | 2544284 | 2251038 | 2230 2192 | 0 | 0 1038.48/1038.86 c 1038s | 23 | 2549803 | 2255638 | 2230 2196 | 0 | 0 1040.57/1040.91 c 1040s | 23 | 2554879 | 2260238 | 2230 2199 | 0 | 0 1042.57/1042.92 c 1042s | 23 | 2559882 | 2264738 | 2230 2203 | 0 | 0 1044.57/1044.95 c 1044s | 23 | 2565082 | 2269338 | 2230 2206 | 0 | 0 1046.57/1046.98 c 1046s | 23 | 2569749 | 2273538 | 2230 2210 | 0 | 0 1048.57/1048.99 c 1048s | 23 | 2574518 | 2277838 | 2230 2213 | 0 | 0 1050.67/1051.02 c 1050s | 23 | 2579684 | 2282438 | 2230 2216 | 0 | 0 1052.67/1053.05 c 1052s | 23 | 2584358 | 2286638 | 2230 2219 | 0 | 0 1054.66/1055.07 c 1054s | 23 | 2588843 | 2290638 | 2230 2222 | 0 | 0 1056.66/1057.09 c 1057s | 23 | 2593862 | 2295138 | 2230 2226 | 0 | 0 1058.76/1059.13 c 1059s | 23 | 2598801 | 2299538 | 2230 2229 | 0 | 0 1060.76/1061.15 c 1061s | 23 | 2603466 | 2303738 | 2230 2232 | 0 | 0 1062.76/1063.17 c 1063s | 23 | 2608693 | 2308238 | 2230 2236 | 0 | 0 1064.76/1065.17 c 1065s | 23 | 2613851 | 2312838 | 2230 2239 | 0 | 0 1066.75/1067.18 c 1067s | 23 | 2618713 | 2317138 | 2230 2243 | 0 | 0 1068.75/1069.18 c 1069s | 23 | 2624017 | 2321838 | 2230 2246 | 0 | 0 1070.85/1071.24 c 1071s | 23 | 2629085 | 2326338 | 2230 2250 | 0 | 0 1072.85/1073.27 c 1073s | 23 | 2633717 | 2330438 | 2230 2253 | 0 | 0 1074.85/1075.29 c 1075s | 23 | 2638766 | 2334838 | 2230 2256 | 0 | 0 1076.95/1077.31 c 1077s | 23 | 2643898 | 2339338 | 2230 2259 | 0 | 0 1078.95/1079.34 c 1079s | 23 | 2649152 | 2344038 | 2230 2263 | 0 | 0 1080.95/1081.37 c 1081s | 23 | 2654408 | 2348638 | 2230 2267 | 0 | 0 1082.95/1083.39 c 1083s | 23 | 2659506 | 2353138 | 2230 2270 | 0 | 0 1085.04/1085.41 c 1085s | 23 | 2664450 | 2357538 | 2230 2273 | 0 | 0 1087.04/1087.43 c 1087s | 23 | 2669177 | 2361738 | 2230 2277 | 0 | 0 1089.05/1089.44 c 1089s | 23 | 2673922 | 2365938 | 2230 2280 | 0 | 0 1091.04/1091.46 c 1091s | 23 | 2678771 | 2370238 | 2230 2283 | 0 | 0 1093.14/1093.50 c 1093s | 23 | 2683429 | 2374438 | 2230 2286 | 0 | 0 1095.14/1095.51 c 1095s | 23 | 2688477 | 2378938 | 2230 2290 | 0 | 0 1097.14/1097.55 c 1097s | 23 | 2693688 | 2383538 | 2230 2293 | 0 | 0 1099.13/1099.58 c 1099s | 23 | 2698684 | 2387938 | 2230 2296 | 0 | 0 1101.14/1101.59 c 1101s | 23 | 2703466 | 2392138 | 2230 2300 | 0 | 0 1103.13/1103.60 c 1103s | 23 | 2707906 | 2396038 | 2230 2303 | 0 | 0 1105.23/1105.60 c 1105s | 23 | 2712729 | 2400338 | 2230 2306 | 0 | 0 1107.23/1107.61 c 1107s | 23 | 2717488 | 2404638 | 2230 2309 | 0 | 0 1109.23/1109.62 c 1109s | 23 | 2722346 | 2409038 | 2230 2313 | 0 | 0 1111.23/1111.63 c 1111s | 23 | 2727323 | 2413438 | 2230 2316 | 0 | 0 1113.24/1113.65 c 1113s | 23 | 2732085 | 2417738 | 2230 2319 | 0 | 0 1115.23/1115.67 c 1115s | 23 | 2736575 | 2421838 | 2230 2322 | 0 | 0 1117.23/1117.69 c 1117s | 23 | 2740913 | 2425738 | 2230 2325 | 0 | 0 1119.33/1119.72 c 1119s | 23 | 2746436 | 2430638 | 2230 2329 | 0 | 0 1121.33/1121.72 c 1121s | 23 | 2751494 | 2435238 | 2230 2332 | 0 | 0 1123.33/1123.75 c 1123s | 23 | 2756853 | 2440038 | 2230 2336 | 0 | 0 1125.33/1125.76 c 1125s | 23 | 2761775 | 2444538 | 2230 2339 | 0 | 0 1127.33/1127.79 c 1127s | 23 | 2766895 | 2449138 | 2230 2343 | 0 | 0 1129.43/1129.81 c 1129s | 23 | 2771825 | 2453638 | 2230 2346 | 0 | 0 1131.42/1131.84 c 1131s | 23 | 2777215 | 2458438 | 2230 2350 | 0 | 0 1133.42/1133.88 c 1133s | 23 | 2782299 | 2463038 | 2230 2353 | 0 | 0 1135.52/1135.92 c 1135s | 23 | 2787822 | 2467938 | 2230 2357 | 0 | 0 1137.52/1137.95 c 1137s | 23 | 2792893 | 2472538 | 2230 2361 | 0 | 0 1139.52/1139.98 c 1139s | 23 | 2797868 | 2477038 | 2230 2364 | 0 | 0 1141.62/1142.02 c 1141s | 23 | 2802761 | 2481438 | 2230 2367 | 0 | 0 1143.61/1144.04 c 1143s | 23 | 2807575 | 2485738 | 2230 2371 | 0 | 0 1145.61/1146.07 c 1145s | 23 | 2812897 | 2490438 | 2230 2374 | 0 | 0 1147.61/1148.09 c 1147s | 23 | 2817605 | 2494738 | 2230 2377 | 0 | 0 1149.71/1150.13 c 1150s | 23 | 2822274 | 2498938 | 2230 2381 | 0 | 0 1151.72/1152.16 c 1152s | 23 | 2826802 | 2503038 | 2230 2384 | 0 | 0 1153.71/1154.18 c 1154s | 23 | 2831872 | 2507538 | 2230 2387 | 0 | 0 1155.81/1156.20 c 1156s | 23 | 2836903 | 2512038 | 2230 2390 | 0 | 0 1157.81/1158.21 c 1158s | 23 | 2842132 | 2516638 | 2230 2394 | 0 | 0 1159.81/1160.22 c 1160s | 23 | 2847116 | 2521138 | 2230 2397 | 0 | 0 1161.81/1162.25 c 1162s | 23 | 2851958 | 2525438 | 2230 2401 | 0 | 0 1163.81/1164.28 c 1164s | 23 | 2856835 | 2529738 | 2230 2404 | 0 | 0 1165.91/1166.32 c 1166s | 23 | 2861656 | 2534138 | 2230 2407 | 0 | 0 1167.90/1168.36 c 1168s | 23 | 2866400 | 2538438 | 2230 2410 | 0 | 0 1169.90/1170.40 c 1170s | 23 | 2871050 | 2542638 | 2230 2414 | 0 | 0 1172.00/1172.44 c 1172s | 23 | 2875950 | 2546938 | 2230 2417 | 0 | 0 1174.00/1174.44 c 1174s | 23 | 2880890 | 2551338 | 2230 2420 | 0 | 0 1176.00/1176.44 c 1176s | 23 | 2885449 | 2555438 | 2230 2423 | 0 | 0 1178.00/1178.44 c 1178s | 23 | 2890333 | 2559838 | 2230 2427 | 0 | 0 1179.99/1180.49 c 1180s | 23 | 2894895 | 2563938 | 2230 2430 | 0 | 0 1182.09/1182.51 c 1182s | 23 | 2899737 | 2568138 | 2230 2433 | 0 | 0 1184.09/1184.52 c 1184s | 23 | 2904567 | 2572438 | 2230 2436 | 0 | 0 1186.09/1186.53 c 1186s | 23 | 2909150 | 2576538 | 2230 2439 | 0 | 0 1188.09/1188.53 c 1188s | 23 | 2914791 | 2581638 | 2230 2443 | 0 | 0 1190.09/1190.55 c 1190s | 23 | 2920392 | 2586238 | 2230 2447 | 0 | 0 1192.09/1192.57 c 1192s | 23 | 2925298 | 2590638 | 2230 2450 | 0 | 0 1194.08/1194.59 c 1194s | 23 | 2929859 | 2594738 | 2230 2453 | 0 | 0 1196.18/1196.61 c 1196s | 23 | 2934708 | 2599038 | 2230 2457 | 0 | 0 1198.18/1198.65 c 1198s | 23 | 2939224 | 2603138 | 2230 2460 | 0 | 0 1200.18/1200.68 c 1200s | 23 | 2943435 | 2606938 | 2230 2463 | 0 | 0 1202.19/1202.70 c 1202s | 23 | 2948429 | 2611238 | 2230 2466 | 0 | 0 1204.28/1204.70 c 1204s | 23 | 2953355 | 2615538 | 2230 2469 | 0 | 0 1206.28/1206.73 c 1206s | 23 | 2958629 | 2620138 | 2230 2473 | 0 | 0 1208.28/1208.75 c 1208s | 23 | 2963710 | 2624638 | 2230 2476 | 0 | 0 1210.28/1210.76 c 1210s | 23 | 2968959 | 2629238 | 2230 2480 | 0 | 0 1212.27/1212.77 c 1212s | 23 | 2974181 | 2633838 | 2230 2483 | 0 | 0 1214.28/1214.78 c 1214s | 23 | 2979583 | 2638538 | 2230 2487 | 0 | 0 1216.28/1216.79 c 1216s | 23 | 2984647 | 2643038 | 2230 2490 | 0 | 0 1218.38/1218.80 c 1218s | 23 | 2989791 | 2647538 | 2230 2494 | 0 | 0 1220.38/1220.81 c 1220s | 23 | 2994730 | 2651838 | 2230 2497 | 0 | 0 1222.38/1222.83 c 1222s | 23 | 2999380 | 2655938 | 2230 2500 | 0 | 0 1224.37/1224.85 c 1224s | 23 | 3003630 | 2659738 | 2230 2503 | 0 | 0 1226.38/1226.89 c 1226s | 23 | 3009014 | 2664338 | 2230 2506 | 0 | 0 1228.47/1228.91 c 1228s | 23 | 3014156 | 2668838 | 2230 2510 | 0 | 0 1230.47/1230.93 c 1230s | 23 | 3019586 | 2673538 | 2230 2513 | 0 | 0 1232.47/1232.94 c 1232s | 23 | 3024863 | 2678138 | 2230 2517 | 0 | 0 1234.47/1234.98 c 1234s | 23 | 3030325 | 2682838 | 2230 2521 | 0 | 0 1236.47/1236.99 c 1236s | 23 | 3035227 | 2687138 | 2230 2524 | 0 | 0 1238.57/1239.02 c 1238s | 23 | 3039941 | 2691338 | 2230 2527 | 0 | 0 1240.57/1241.04 c 1240s | 23 | 3044511 | 2695438 | 2230 2530 | 0 | 0 1242.57/1243.07 c 1242s | 23 | 3049506 | 2699938 | 2230 2534 | 0 | 0 1244.66/1245.11 c 1245s | 23 | 3054350 | 2704238 | 2230 2537 | 0 | 0 1246.66/1247.13 c 1247s | 23 | 3059667 | 2708838 | 2230 2540 | 0 | 0 1248.66/1249.17 c 1249s | 23 | 3064947 | 2713538 | 2230 2544 | 0 | 0 1250.67/1251.19 c 1251s | 23 | 3070243 | 2718238 | 2230 2547 | 0 | 0 1252.76/1253.24 c 1253s | 23 | 3075148 | 2722638 | 2230 2551 | 0 | 0 1254.76/1255.26 c 1255s | 23 | 3079912 | 2726838 | 2230 2554 | 0 | 0 1256.76/1257.27 c 1257s | 23 | 3084860 | 2731238 | 2230 2557 | 0 | 0 1258.85/1259.32 c 1259s | 23 | 3089587 | 2735438 | 2230 2561 | 0 | 0 1260.85/1261.34 c 1261s | 23 | 3094360 | 2739738 | 2230 2564 | 0 | 0 1262.85/1263.36 c 1263s | 23 | 3099235 | 2744038 | 2230 2567 | 0 | 0 1264.86/1265.39 c 1265s | 23 | 3103888 | 2748138 | 2230 2570 | 0 | 0 1266.95/1267.40 c 1267s | 23 | 3108631 | 2752338 | 2230 2573 | 0 | 0 1268.95/1269.44 c 1269s | 23 | 3113434 | 2756638 | 2230 2577 | 0 | 0 1270.95/1271.46 c 1271s | 23 | 3117995 | 2760738 | 2230 2580 | 0 | 0 1272.95/1273.49 c 1273s | 23 | 3122455 | 2764738 | 2230 2583 | 0 | 0 1275.05/1275.52 c 1275s | 23 | 3127607 | 2769338 | 2230 2586 | 0 | 0 1277.05/1277.54 c 1277s | 23 | 3132291 | 2773538 | 2230 2590 | 0 | 0 1279.05/1279.59 c 1279s | 23 | 3136617 | 2777438 | 2230 2593 | 0 | 0 1281.05/1281.59 c 1281s | 23 | 3141102 | 2781538 | 2230 2596 | 0 | 0 1283.14/1283.63 c 1283s | 23 | 3145248 | 2785238 | 2230 2599 | 0 | 0 1285.14/1285.65 c 1285s | 23 | 3149742 | 2789238 | 2230 2602 | 0 | 0 1287.14/1287.69 c 1287s | 23 | 3154281 | 2793338 | 2230 2605 | 0 | 0 1289.15/1289.69 c 1289s | 23 | 3158887 | 2797438 | 2230 2608 | 0 | 0 1291.14/1291.70 c 1291s | 23 | 3163373 | 2801438 | 2230 2611 | 0 | 0 1293.24/1293.73 c 1293s | 23 | 3167814 | 2805438 | 2230 2614 | 0 | 0 1295.24/1295.73 c 1295s | 23 | 3172244 | 2809438 | 2230 2617 | 0 | 0 1297.24/1297.75 c 1297s | 23 | 3177128 | 2813838 | 2230 2620 | 0 | 0 1299.24/1299.76 c 1299s | 23 | 3182348 | 2818438 | 2230 2624 | 0 | 0 1301.34/1301.81 c 1301s | 23 | 3187622 | 2823038 | 2230 2627 | 0 | 0 1303.34/1303.83 c 1303s | 23 | 3192387 | 2827238 | 2230 2631 | 0 | 0 1305.34/1305.85 c 1305s | 23 | 3197068 | 2831538 | 2230 2634 | 0 | 0 1307.34/1307.88 c 1307s | 23 | 3201875 | 2835838 | 2230 2637 | 0 | 0 1309.44/1309.93 c 1309s | 23 | 3206246 | 2839738 | 2230 2640 | 0 | 0 1311.44/1311.97 c 1311s | 23 | 3210971 | 2843938 | 2230 2643 | 0 | 0 1313.54/1314.00 c 1313s | 23 | 3215708 | 2848138 | 2230 2647 | 0 | 0 1315.55/1316.03 c 1315s | 23 | 3220117 | 2852138 | 2230 2650 | 0 | 0 1317.54/1318.05 c 1317s | 23 | 3224888 | 2856438 | 2230 2653 | 0 | 0 1319.54/1320.07 c 1319s | 23 | 3229604 | 2860738 | 2230 2656 | 0 | 0 1321.54/1322.07 c 1321s | 23 | 3234262 | 2864938 | 2230 2659 | 0 | 0 1323.64/1324.11 c 1324s | 23 | 3238683 | 2868838 | 2230 2662 | 0 | 0 1325.64/1326.16 c 1326s | 23 | 3243366 | 2873038 | 2230 2665 | 0 | 0 1327.64/1328.18 c 1328s | 23 | 3248365 | 2877538 | 2230 2669 | 0 | 0 1329.74/1330.20 c 1330s | 23 | 3253082 | 2881838 | 2230 2672 | 0 | 0 1331.73/1332.24 c 1332s | 23 | 3257621 | 2885938 | 2230 2675 | 0 | 0 1333.73/1334.27 c 1334s | 23 | 3262165 | 2890138 | 2230 2678 | 0 | 0 1335.83/1336.30 c 1336s | 23 | 3267611 | 2894938 | 2230 2682 | 0 | 0 1337.83/1338.31 c 1338s | 23 | 3272673 | 2899538 | 2230 2686 | 0 | 0 1339.83/1340.34 c 1340s | 23 | 3277611 | 2903938 | 2230 2689 | 0 | 0 1341.85/1342.37 c 1342s | 23 | 3282149 | 2908038 | 2230 2692 | 0 | 0 1343.94/1344.42 c 1344s | 23 | 3286921 | 2912338 | 2230 2695 | 0 | 0 1345.94/1346.44 c 1346s | 23 | 3291549 | 2916438 | 2230 2698 | 0 | 0 1347.94/1348.46 c 1348s | 23 | 3295925 | 2920338 | 2230 2701 | 0 | 0 1350.04/1350.50 c 1350s | 23 | 3300872 | 2924738 | 2230 2705 | 0 | 0 1352.04/1352.54 c 1352s | 23 | 3305352 | 2928838 | 2230 2708 | 0 | 0 1354.05/1354.57 c 1354s | 23 | 3310206 | 2933138 | 2230 2711 | 0 | 0 1356.14/1356.61 c 1356s | 23 | 3314656 | 2937138 | 2230 2714 | 0 | 0 1358.14/1358.64 c 1358s | 23 | 3319751 | 2941638 | 2230 2718 | 0 | 0 1360.14/1360.69 c 1360s | 23 | 3324584 | 2945938 | 2230 2721 | 0 | 0 1362.24/1362.72 c 1362s | 23 | 3329235 | 2950138 | 2230 2724 | 0 | 0 1364.24/1364.75 c 1364s | 23 | 3333890 | 2954238 | 2230 2727 | 0 | 0 1366.24/1366.79 c 1366s | 23 | 3338771 | 2958538 | 2230 2730 | 0 | 0 1368.34/1368.82 c 1368s | 23 | 3343771 | 2963038 | 2230 2734 | 0 | 0 1370.34/1370.82 c 1370s | 23 | 3348838 | 2967638 | 2230 2737 | 0 | 0 1372.34/1372.84 c 1372s | 23 | 3353451 | 2971838 | 2230 2741 | 0 | 0 1374.34/1374.87 c 1374s | 23 | 3358226 | 2976138 | 2230 2744 | 0 | 0 1376.33/1376.89 c 1376s | 23 | 3363223 | 2980538 | 2230 2747 | 0 | 0 1378.43/1378.94 c 1378s | 23 | 3367950 | 2984838 | 2230 2750 | 0 | 0 1380.44/1380.96 c 1380s | 23 | 3372521 | 2988938 | 2230 2754 | 0 | 0 1382.43/1382.98 c 1382s | 23 | 3376882 | 2992938 | 2230 2757 | 0 | 0 1384.43/1384.99 c 1384s | 23 | 3381956 | 2997438 | 2230 2760 | 0 | 0 1386.53/1387.03 c 1386s | 23 | 3386822 | 3001838 | 2230 2763 | 0 | 0 1388.53/1389.03 c 1388s | 23 | 3391795 | 3006338 | 2230 2767 | 0 | 0 1390.53/1391.04 c 1390s | 23 | 3396387 | 3010438 | 2230 2770 | 0 | 0 1392.54/1393.05 c 1392s | 23 | 3401047 | 3014538 | 2230 2773 | 0 | 0 1394.53/1395.07 c 1394s | 23 | 3406016 | 3018938 | 2230 2777 | 0 | 0 1396.63/1397.11 c 1397s | 23 | 3410879 | 3023238 | 2230 2780 | 0 | 0 1398.63/1399.15 c 1399s | 23 | 3415398 | 3027338 | 2230 2783 | 0 | 0 1400.63/1401.17 c 1401s | 23 | 3420129 | 3031638 | 2230 2786 | 0 | 0 1402.73/1403.20 c 1403s | 23 | 3424888 | 3036038 | 2230 2790 | 0 | 0 1404.73/1405.23 c 1405s | 23 | 3430173 | 3040738 | 2230 2793 | 0 | 0 1406.73/1407.26 c 1407s | 23 | 3435521 | 3045438 | 2230 2797 | 0 | 0 1408.73/1409.29 c 1409s | 23 | 3440662 | 3049938 | 2230 2800 | 0 | 0 1410.83/1411.31 c 1411s | 23 | 3445421 | 3054138 | 2230 2803 | 0 | 0 1412.83/1413.35 c 1413s | 23 | 3450354 | 3058538 | 2230 2807 | 0 | 0 1414.92/1415.40 c 1415s | 23 | 3455340 | 3062938 | 2230 2810 | 0 | 0 1416.92/1417.41 c 1417s | 23 | 3460472 | 3067438 | 2230 2813 | 0 | 0 1418.93/1419.42 c 1419s | 23 | 3465389 | 3071738 | 2230 2817 | 0 | 0 1420.92/1421.44 c 1421s | 23 | 3470635 | 3076338 | 2230 2820 | 0 | 0 1422.92/1423.47 c 1423s | 23 | 3475450 | 3080638 | 2230 2823 | 0 | 0 1425.02/1425.50 c 1425s | 23 | 3480484 | 3085038 | 2230 2827 | 0 | 0 1427.02/1427.54 c 1427s | 23 | 3485223 | 3089338 | 2230 2830 | 0 | 0 1429.02/1429.55 c 1429s | 23 | 3490118 | 3093738 | 2230 2833 | 0 | 0 1431.12/1431.60 c 1431s | 23 | 3494719 | 3097838 | 2230 2837 | 0 | 0 1433.02/1433.60 c 1433s | 23 | 3499487 | 3101938 | 2230 2840 | 0 | 0 1435.12/1435.64 c 1435s | 23 | 3504570 | 3106338 | 2230 2843 | 0 | 0 1437.12/1437.67 c 1437s | 23 | 3509392 | 3110638 | 2230 2846 | 0 | 0 1439.12/1439.68 c 1439s | 23 | 3514365 | 3114938 | 2230 2850 | 0 | 0 1441.12/1441.68 c 1441s | 23 | 3519391 | 3119338 | 2230 2853 | 0 | 0 1443.22/1443.72 c 1443s | 23 | 3523817 | 3123338 | 2230 2856 | 0 | 0 1445.22/1445.72 c 1445s | 23 | 3528146 | 3127238 | 2230 2859 | 0 | 0 1447.22/1447.76 c 1447s | 23 | 3532469 | 3131038 | 2230 2862 | 0 | 0 1449.32/1449.81 c 1449s | 23 | 3536563 | 3134738 | 2230 2865 | 0 | 0 1451.32/1451.84 c 1451s | 23 | 3540794 | 3138538 | 2230 2867 | 0 | 0 1453.32/1453.85 c 1453s | 23 | 3545076 | 3142338 | 2230 2870 | 0 | 0 1455.32/1455.85 c 1455s | 23 | 3549962 | 3146638 | 2230 2874 | 0 | 0 1457.32/1457.87 c 1457s | 23 | 3554689 | 3150838 | 2230 2877 | 0 | 0 1459.32/1459.89 c 1459s | 23 | 3559445 | 3155038 | 2230 2880 | 0 | 0 1461.42/1461.90 c 1461s | 23 | 3564072 | 3159138 | 2230 2883 | 0 | 0 1463.42/1463.94 c 1463s | 23 | 3568763 | 3163238 | 2230 2886 | 0 | 0 1465.42/1465.95 c 1465s | 23 | 3573155 | 3167138 | 2230 2889 | 0 | 0 1467.41/1467.96 c 1467s | 23 | 3577805 | 3171238 | 2230 2892 | 0 | 0 1469.42/1469.99 c 1469s | 23 | 3582474 | 3175338 | 2230 2895 | 0 | 0 1471.51/1472.00 c 1471s | 23 | 3587035 | 3179438 | 2230 2898 | 0 | 0 1473.51/1474.04 c 1473s | 23 | 3591875 | 3183738 | 2230 2902 | 0 | 0 1475.51/1476.04 c 1475s | 23 | 3596463 | 3187738 | 2230 2905 | 0 | 0 1477.51/1478.07 c 1477s | 23 | 3601499 | 3192138 | 2230 2908 | 0 | 0 1479.61/1480.11 c 1480s | 23 | 3606299 | 3196338 | 2230 2911 | 0 | 0 1481.62/1482.13 c 1482s | 23 | 3611245 | 3200638 | 2230 2915 | 0 | 0 1483.61/1484.18 c 1484s | 23 | 3615959 | 3204838 | 2230 2918 | 0 | 0 1485.71/1486.22 c 1486s | 23 | 3620727 | 3209038 | 2230 2921 | 0 | 0 1487.71/1488.25 c 1488s | 23 | 3625336 | 3213138 | 2230 2924 | 0 | 0 1489.81/1490.30 c 1490s | 23 | 3629541 | 3216938 | 2230 2927 | 0 | 0 1491.81/1492.31 c 1492s | 23 | 3633984 | 3220838 | 2230 2930 | 0 | 0 1493.81/1494.35 c 1494s | 23 | 3638859 | 3225138 | 2230 2933 | 0 | 0 1495.81/1496.37 c 1496s | 23 | 3643621 | 3229438 | 2230 2936 | 0 | 0 1497.81/1498.38 c 1498s | 23 | 3648475 | 3233738 | 2230 2940 | 0 | 0 1499.91/1500.40 c 1500s | 23 | 3653004 | 3237838 | 2230 2943 | 0 | 0 1501.91/1502.43 c 1502s | 23 | 3658039 | 3242238 | 2230 2946 | 0 | 0 1503.91/1504.48 c 1504s | 23 | 3662548 | 3246238 | 2230 2949 | 0 | 0 1506.01/1506.51 c 1506s | 23 | 3667070 | 3250338 | 2230 2952 | 0 | 0 1508.01/1508.52 c 1508s | 23 | 3671373 | 3254238 | 2230 2955 | 0 | 0 1510.01/1510.53 c 1510s | 23 | 3676228 | 3258638 | 2230 2959 | 0 | 0 1512.01/1512.56 c 1512s | 23 | 3680699 | 3262638 | 2230 2962 | 0 | 0 1514.01/1514.58 c 1514s | 23 | 3685209 | 3266638 | 2230 2965 | 0 | 0 1516.11/1516.61 c 1516s | 23 | 3689793 | 3270738 | 2230 2968 | 0 | 0 1518.11/1518.61 c 1518s | 23 | 3694809 | 3275038 | 2230 2971 | 0 | 0 1520.12/1520.63 c 1520s | 23 | 3699629 | 3279338 | 2230 2974 | 0 | 0 1522.11/1522.67 c 1522s | 23 | 3704270 | 3283438 | 2230 2978 | 0 | 0 1524.21/1524.72 c 1524s | 23 | 3708971 | 3287638 | 2230 2981 | 0 | 0 1526.21/1526.72 c 1526s | 23 | 3713362 | 3291538 | 2230 2984 | 0 | 0 1528.21/1528.77 c 1528s | 23 | 3717878 | 3295538 | 2230 2987 | 0 | 0 1530.21/1530.78 c 1530s | 23 | 3722247 | 3299438 | 2230 2990 | 0 | 0 1532.22/1532.79 c 1532s | 23 | 3726912 | 3303538 | 2230 2993 | 0 | 0 1534.21/1534.80 c 1534s | 23 | 3731568 | 3307538 | 2230 2996 | 0 | 0 1536.31/1536.83 c 1536s | 23 | 3735790 | 3311338 | 2230 2999 | 0 | 0 1538.31/1538.87 c 1538s | 23 | 3740237 | 3315338 | 2230 3002 | 0 | 0 1540.31/1540.88 c 1540s | 23 | 3744549 | 3319138 | 2230 3005 | 0 | 0 1542.41/1542.90 c 1542s | 23 | 3749269 | 3323238 | 2230 3008 | 0 | 0 1544.41/1544.91 c 1544s | 23 | 3753303 | 3326838 | 2230 3011 | 0 | 0 1546.41/1546.93 c 1546s | 23 | 3757864 | 3330838 | 2230 3014 | 0 | 0 1548.41/1548.99 c 1548s | 23 | 3762339 | 3334738 | 2230 3017 | 0 | 0 1550.51/1551.01 c 1550s | 23 | 3767611 | 3339438 | 2230 3020 | 0 | 0 1552.51/1553.04 c 1552s | 23 | 3772278 | 3343538 | 2230 3023 | 0 | 0 1554.50/1555.04 c 1554s | 23 | 3776818 | 3347638 | 2230 3026 | 0 | 0 1556.50/1557.07 c 1556s | 23 | 3781614 | 3351938 | 2230 3030 | 0 | 0 1558.61/1559.11 c 1559s | 23 | 3786290 | 3356138 | 2453 3032 | 0 | 0 1560.60/1561.16 c 1561s | 23 | 3791159 | 3360438 | 2453 3035 | 0 | 0 1562.60/1563.17 c 1563s | 23 | 3795926 | 3364638 | 2453 3038 | 0 | 0 1564.60/1565.18 c 1565s | 23 | 3800509 | 3368738 | 2453 3041 | 0 | 0 1566.70/1567.22 c 1567s | 23 | 3804835 | 3372638 | 2453 3044 | 0 | 0 1568.70/1569.20 c 1569s | 24 | 3809354 | 3376662 | 2453 3047 | 0 | 0 1570.71/1571.22 c 1571s | 24 | 3814163 | 3380662 | 2453 3050 | 0 | 0 1572.70/1573.25 c 1573s | 24 | 3818999 | 3385062 | 2453 3053 | 0 | 0 1574.70/1575.28 c 1575s | 24 | 3823898 | 3389462 | 2453 3056 | 0 | 0 1576.80/1577.31 c 1577s | 24 | 3828692 | 3393662 | 2453 3059 | 0 | 0 1578.80/1579.33 c 1579s | 24 | 3833346 | 3397862 | 2453 3062 | 0 | 0 1580.80/1581.35 c 1581s | 24 | 3838201 | 3402262 | 2453 3065 | 0 | 0 1582.90/1583.41 c 1583s | 24 | 3842802 | 3406362 | 2453 3068 | 0 | 0 1584.90/1585.44 c 1585s | 24 | 3847655 | 3410562 | 2453 3070 | 0 | 0 1586.90/1587.47 c 1587s | 24 | 3852668 | 3414962 | 2453 3074 | 0 | 0 1588.90/1589.48 c 1589s | 24 | 3857989 | 3419562 | 2453 3077 | 0 | 0 1590.90/1591.49 c 1591s | 24 | 3863261 | 3424262 | 2453 3080 | 0 | 0 1593.00/1593.53 c 1593s | 24 | 3868079 | 3428662 | 2453 3083 | 0 | 0 1595.00/1595.57 c 1595s | 24 | 3873085 | 3433162 | 2453 3086 | 0 | 0 1597.00/1597.60 c 1597s | 24 | 3877654 | 3437262 | 2453 3089 | 0 | 0 1599.10/1599.61 c 1599s | 24 | 3882114 | 3441362 | 2453 3092 | 0 | 0 1601.10/1601.64 c 1601s | 24 | 3886784 | 3445562 | 2453 3095 | 0 | 0 1603.10/1603.65 c 1603s | 24 | 3891911 | 3450162 | 2453 3098 | 0 | 0 1605.10/1605.68 c 1605s | 24 | 3897098 | 3454762 | 2453 3101 | 0 | 0 1607.20/1607.71 c 1607s | 24 | 3901585 | 3458862 | 2453 3104 | 0 | 0 1609.20/1609.73 c 1609s | 24 | 3906596 | 3463362 | 2453 3107 | 0 | 0 1611.20/1611.75 c 1611s | 24 | 3910986 | 3467362 | 2453 3110 | 0 | 0 1613.19/1613.79 c 1613s | 24 | 3916264 | 3472062 | 2453 3114 | 0 | 0 1615.29/1615.80 c 1615s | 24 | 3921237 | 3476562 | 2453 3117 | 0 | 0 1617.29/1617.81 c 1617s | 24 | 3926512 | 3481162 | 2453 3120 | 0 | 0 1619.29/1619.87 c 1619s | 24 | 3931285 | 3485462 | 2453 3123 | 0 | 0 1621.39/1621.91 c 1621s | 24 | 3936045 | 3489762 | 2453 3126 | 0 | 0 1623.40/1623.94 c 1623s | 24 | 3940510 | 3493762 | 2453 3129 | 0 | 0 1625.39/1625.96 c 1625s | 24 | 3945164 | 3497962 | 2453 3132 | 0 | 0 1627.39/1627.99 c 1627s | 24 | 3949867 | 3502062 | 2453 3135 | 0 | 0 1629.49/1630.02 c 1629s | 24 | 3954119 | 3505862 | 2453 3137 | 0 | 0 1631.49/1632.05 c 1631s | 24 | 3958084 | 3509462 | 2453 3140 | 0 | 0 1633.59/1634.10 c 1634s | 24 | 3962435 | 3513362 | 2453 3143 | 0 | 0 1635.49/1636.10 c 1636s | 24 | 3967105 | 3517462 | 2453 3145 | 0 | 0 1637.59/1638.11 c 1638s | 24 | 3971555 | 3521362 | 2453 3148 | 0 | 0 1639.59/1640.13 c 1640s | 24 | 3975747 | 3525162 | 2453 3151 | 0 | 0 1641.59/1642.15 c 1642s | 24 | 3980249 | 3529162 | 2453 3154 | 0 | 0 1643.59/1644.19 c 1644s | 24 | 3984642 | 3533162 | 2453 3156 | 0 | 0 1645.69/1646.22 c 1646s | 24 | 3989194 | 3537262 | 2453 3159 | 0 | 0 1647.70/1648.25 c 1648s | 24 | 3993808 | 3541362 | 2453 3162 | 0 | 0 1649.69/1650.25 c 1650s | 24 | 3998701 | 3545662 | 2453 3165 | 0 | 0 1651.69/1652.28 c 1652s | 24 | 4003769 | 3550062 | 2453 3168 | 0 | 0 1653.69/1654.28 c 1654s | 24 | 4008046 | 3553862 | 2453 3171 | 0 | 0 1655.79/1656.31 c 1656s | 24 | 4012129 | 3557562 | 2453 3174 | 0 | 0 1657.79/1658.34 c 1658s | 24 | 4017227 | 3561862 | 2453 3177 | 0 | 0 1659.79/1660.38 c 1660s | 24 | 4021991 | 3565962 | 2453 3179 | 0 | 0 1661.78/1662.39 c 1662s | 24 | 4026462 | 3569862 | 2453 3182 | 0 | 0 1663.78/1664.39 c 1664s | 24 | 4030556 | 3573362 | 2453 3185 | 0 | 0 1665.79/1666.40 c 1666s | 24 | 4034981 | 3577162 | 2453 3187 | 0 | 0 1667.89/1668.41 c 1668s | 24 | 4039374 | 3580962 | 2453 3190 | 0 | 0 1669.89/1670.43 c 1670s | 24 | 4044398 | 3585362 | 2453 3193 | 0 | 0 1671.90/1672.44 c 1672s | 24 | 4048826 | 3589362 | 2453 3196 | 0 | 0 1673.89/1674.49 c 1674s | 24 | 4053672 | 3593662 | 2453 3199 | 0 | 0 1675.99/1676.51 c 1676s | 24 | 4058243 | 3597762 | 2453 3202 | 0 | 0 1677.99/1678.51 c 1678s | 24 | 4063047 | 3601962 | 2453 3205 | 0 | 0 1679.99/1680.52 c 1680s | 24 | 4068641 | 3606762 | 2453 3208 | 0 | 0 1681.99/1682.55 c 1682s | 24 | 4074046 | 3611562 | 2453 3211 | 0 | 0 1684.00/1684.59 c 1684s | 24 | 4078956 | 3615862 | 2453 3214 | 0 | 0 1685.99/1686.59 c 1686s | 24 | 4083688 | 3620062 | 2453 3217 | 0 | 0 1688.09/1688.60 c 1688s | 24 | 4088767 | 3624462 | 2453 3220 | 0 | 0 1690.09/1690.61 c 1690s | 24 | 4093809 | 3628862 | 2453 3224 | 0 | 0 1692.09/1692.61 c 1692s | 24 | 4099045 | 3633462 | 2453 3227 | 0 | 0 1694.09/1694.62 c 1694s | 24 | 4103631 | 3637562 | 2453 3230 | 0 | 0 1696.09/1696.63 c 1696s | 24 | 4108606 | 3641862 | 2453 3233 | 0 | 0 1698.09/1698.64 c 1698s | 24 | 4113328 | 3646062 | 2453 3236 | 0 | 0 1700.09/1700.66 c 1700s | 24 | 4118683 | 3650762 | 2453 3239 | 0 | 0 1702.09/1702.69 c 1702s | 24 | 4123944 | 3655362 | 2453 3242 | 0 | 0 1704.09/1704.69 c 1704s | 24 | 4129067 | 3659862 | 2453 3245 | 0 | 0 1706.18/1706.70 c 1706s | 24 | 4134029 | 3664262 | 2453 3248 | 0 | 0 1708.19/1708.73 c 1708s | 24 | 4138989 | 3668562 | 2453 3251 | 0 | 0 1710.18/1710.73 c 1710s | 24 | 4144369 | 3673162 | 2453 3255 | 0 | 0 1712.18/1712.76 c 1712s | 24 | 4149719 | 3677762 | 2453 3258 | 0 | 0 1714.18/1714.78 c 1714s | 24 | 4154680 | 3682062 | 2453 3261 | 0 | 0 1716.28/1716.80 c 1716s | 24 | 4159456 | 3686162 | 2453 3264 | 0 | 0 1718.28/1718.84 c 1718s | 24 | 4164370 | 3690362 | 2453 3267 | 0 | 0 1720.29/1720.85 c 1720s | 24 | 4169090 | 3694562 | 2453 3270 | 0 | 0 1722.28/1722.86 c 1722s | 24 | 4173974 | 3698862 | 2453 3273 | 0 | 0 1724.28/1724.89 c 1724s | 24 | 4178261 | 3702662 | 2453 3275 | 0 | 0 1726.28/1726.89 c 1726s | 24 | 4182888 | 3706762 | 2453 3278 | 0 | 0 1728.38/1728.91 c 1728s | 24 | 4187913 | 3711162 | 2453 3281 | 0 | 0 1730.38/1730.91 c 1730s | 24 | 4192792 | 3715462 | 2453 3284 | 0 | 0 1732.39/1732.93 c 1732s | 24 | 4198432 | 3720262 | 2453 3288 | 0 | 0 1734.38/1734.96 c 1734s | 24 | 4204328 | 3725262 | 2453 3291 | 0 | 0 1736.38/1736.97 c 1736s | 24 | 4210001 | 3729962 | 2453 3294 | 0 | 0 1738.48/1739.01 c 1738s | 24 | 4215089 | 3734362 | 2453 3297 | 0 | 0 1740.48/1741.02 c 1740s | 24 | 4220011 | 3738762 | 2453 3301 | 0 | 0 1742.48/1743.05 c 1742s | 24 | 4224812 | 3742962 | 2453 3303 | 0 | 0 1744.48/1745.07 c 1744s | 24 | 4230186 | 3747562 | 2453 3307 | 0 | 0 1746.48/1747.08 c 1746s | 24 | 4235547 | 3752162 | 2453 3310 | 0 | 0 1748.58/1749.12 c 1749s | 24 | 4240575 | 3756562 | 2453 3313 | 0 | 0 1750.58/1751.13 c 1751s | 24 | 4245046 | 3760462 | 2453 3316 | 0 | 0 1752.58/1753.17 c 1753s | 24 | 4249965 | 3764762 | 2453 3319 | 0 | 0 1754.68/1755.22 c 1755s | 24 | 4254886 | 3769062 | 2453 3322 | 0 | 0 1756.68/1757.26 c 1757s | 24 | 4259582 | 3773162 | 2453 3325 | 0 | 0 1758.68/1759.30 c 1759s | 24 | 4264483 | 3777462 | 2453 3328 | 0 | 0 1760.77/1761.32 c 1761s | 24 | 4268961 | 3781262 | 2453 3330 | 0 | 0 1762.77/1763.35 c 1763s | 24 | 4273098 | 3784862 | 2453 3333 | 0 | 0 1764.77/1765.35 c 1765s | 24 | 4277417 | 3788562 | 2453 3335 | 0 | 0 1766.77/1767.38 c 1767s | 24 | 4281817 | 3792462 | 2453 3338 | 0 | 0 1768.77/1769.39 c 1769s | 24 | 4286620 | 3796662 | 2453 3341 | 0 | 0 1770.88/1771.44 c 1771s | 24 | 4290639 | 3800262 | 2453 3344 | 0 | 0 1772.87/1773.44 c 1773s | 24 | 4294366 | 3803562 | 2453 3346 | 0 | 0 1774.87/1775.48 c 1775s | 24 | 4298656 | 3807362 | 2453 3349 | 0 | 0 1776.97/1777.53 c 1777s | 24 | 4302819 | 3810962 | 2453 3351 | 0 | 0 1778.97/1779.58 c 1779s | 24 | 4306760 | 3814462 | 2453 3354 | 0 | 0 1781.07/1781.63 c 1781s | 24 | 4310926 | 3818162 | 2453 3356 | 0 | 0 1783.07/1783.63 c 1783s | 24 | 4315061 | 3821762 | 2453 3359 | 0 | 0 1785.07/1785.67 c 1785s | 24 | 4319371 | 3825562 | 2453 3361 | 0 | 0 1787.17/1787.73 c 1787s | 24 | 4324192 | 3829862 | 2453 3364 | 0 | 0 1789.17/1789.75 c 1789s | 24 | 4329448 | 3834362 | 2453 3368 | 0 | 0 1791.17/1791.77 c 1791s | 24 | 4334302 | 3838662 | 2453 3371 | 0 | 0 1793.27/1793.80 c 1793s | 24 | 4338980 | 3842762 | 2453 3373 | 0 | 0 1795.27/1795.83 c 1795s | 24 | 4343784 | 3846962 | 2453 3376 | 0 | 0 1797.27/1797.84 c 1797s | 24 | 4348429 | 3851062 | 2453 3379 | 0 | 0 1799.27/1799.88 c 1799s | 24 | 4352966 | 3855062 | 2453 3382 | 0 | 0
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-4079069-1465222511/watcher-4079069-1465222511 -o /tmp/evaluation-result-4079069-1465222511/solver-4079069-1465222511 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32470 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079069-1465222511.opb pid=324 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.33 2.27 2.22 3/171 328 /proc/meminfo: memFree=30422184/32872528 swapFree=16080/1655368 [pid=328] ppid=324 vsize=405948 CPUtime=0 cores=0,2,4,6 /proc/328/stat : 328 (toysat) R 324 328 32454 0 -1 4202496 1461 0 0 0 0 0 0 0 20 0 4 0 104184699 415690752 1310 33554432000 4194304 16246674 140735108104256 140735108103680 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/328/statm: 102255 1318 441 2943 0 99149 0 [pid=328/tid=329] ppid=324 vsize=758204 CPUtime=0 cores=0,2,4,6 /proc/328/task/329/stat : 329 (toysat) S 324 328 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104184699 776400896 2683 33554432000 4194304 16246674 140735108104256 140669694749936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=328/tid=330] ppid=324 vsize=763324 CPUtime=0 cores=0,2,4,6 /proc/328/task/330/stat : 330 (toysat) S 324 328 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104184699 781643776 2703 33554432000 4194304 16246674 140735108104256 140669684260080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=328/tid=331] ppid=324 vsize=767420 CPUtime=0 cores=0,2,4,6 /proc/328/task/331/stat : 331 (toysat) S 324 328 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104184700 785838080 2720 33554432000 4194304 16246674 140735108104256 140669673786544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100162 s] /proc/loadavg: 2.33 2.27 2.22 3/171 328 /proc/meminfo: memFree=30422184/32872528 swapFree=16080/1655368 [pid=328] ppid=324 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/328/stat : 328 (toysat) R 324 328 32454 0 -1 4202496 25950 0 0 0 6 3 0 0 20 0 4 0 104184699 1247350784 25786 33554432000 4194304 16246674 140735108104256 140735108103680 12479207 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/328/statm: 304529 25793 779 2943 0 301423 0 [pid=328/tid=329] ppid=324 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/328/task/329/stat : 329 (toysat) S 324 328 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104184699 1247350784 25797 33554432000 4194304 16246674 140735108104256 140669694749936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=328/tid=330] ppid=324 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/328/task/330/stat : 330 (toysat) S 324 328 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104184699 1247350784 25801 33554432000 4194304 16246674 140735108104256 140669684260080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=328/tid=331] ppid=324 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/328/task/331/stat : 331 (toysat) S 324 328 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104184700 1247350784 25806 33554432000 4194304 16246674 140735108104256 140669673786544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200445 s] /proc/loadavg: 2.33 2.27 2.22 3/171 328 /proc/meminfo: memFree=30422184/32872528 swapFree=16080/1655368 [pid=328] ppid=324 vsize=1218116 CPUtime=0.18 cores=0,2,4,6 /proc/328/stat : 328 (toysat) R 324 328 32454 0 -1 4202496 46389 0 0 0 12 6 0 0 20 0 4 0 104184699 1247350784 46225 33554432000 4194304 16246674 140735108104256 140735108103680 5532301 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/328/statm: 304529 46243 779 2943 0 301423 0 [pid=328/tid=329] ppid=324 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/328/task/329/stat : 329 (toysat) S 324 328 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104184699 1247350784 46251 33554432000 4194304 16246674 140735108104256 140669694749936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=328/tid=330] ppid=324 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/328/task/330/stat : 330 (toysat) S 324 328 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104184699 1247350784 46262 33554432000 4194304 16246674 140735108104256 140669684260080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=328/tid=331] ppid=324 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/328/task/331/stat : 331 (toysat) S 324 328 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104184700 1247350784 46269 33554432000 4194304 16246674 140735108104256 140669673786544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1218116 [startup+0.300457 s] /proc/loadavg: 2.33 2.27 2.22 3/171 328 /proc/meminfo: memFree=30422184/32872528 swapFree=16080/1655368 [pid=328] ppid=324 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/328/stat : 328 (toysat) R 324 328 32454 0 -1 4202496 68203 0 0 0 20 9 0 0 20 0 4 0 104184699 1247350784 68039 33554432000 4194304 16246674 140735108104256 140735108103680 5532301 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/328/statm: 304529 68055 784 2943 0 301423 0 [pid=328/tid=329] ppid=324 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/328/task/329/stat : 329 (toysat) S 324 328 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104184699 1247350784 68066 33554432000 4194304 16246674 140735108104256 140669694749936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=328/tid=330] ppid=324 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/328/task/330/stat : 330 (toysat) S 324 328 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104184699 1247350784 68074 33554432000 4194304 16246674 140735108104256 140669684260080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=328/tid=331] ppid=324 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/328/task/331/stat : 331 (toysat) S 324 328 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104184700 1247350784 68084 33554432000 4194304 16246674 140735108104256 140669673786544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700291 s] /proc/loadavg: 2.33 2.27 2.22 3/171 328 /proc/meminfo: memFree=30422184/32872528 swapFree=16080/1655368 [pid=328] ppid=324 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/328/stat : 328 (toysat) R 324 328 32454 0 -1 4202496 156932 0 0 0 47 22 0 0 20 0 4 0 104184699 1247350784 156769 33554432000 4194304 16246674 140735108104256 140735108086144 12479207 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/328/statm: 304529 156783 784 2943 0 301423 0 [pid=328/tid=329] ppid=324 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/328/task/329/stat : 329 (toysat) S 324 328 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104184699 1247350784 156792 33554432000 4194304 16246674 140735108104256 140669694749936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=328/tid=330] ppid=324 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/328/task/330/stat : 330 (toysat) S 324 328 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104184699 1247350784 156801 33554432000 4194304 16246674 140735108104256 140669684260080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=328/tid=331] ppid=324 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/328/task/331/stat : 331 (toysat) S 324 328 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104184700 1247350784 156806 33554432000 4194304 16246674 140735108104256 140669673786544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50769 s] /proc/loadavg: 2.38 2.28 2.23 3/183 348 /proc/meminfo: memFree=28360060/32872528 swapFree=16080/1655368 [pid=328] ppid=324 vsize=1221188 CPUtime=1.5 cores=0,2,4,6 /proc/328/stat : 328 (toysat) R 324 328 32454 0 -1 4202496 246160 0 0 0 116 34 0 0 20 0 4 0 104184699 1250496512 245974 33554432000 4194304 16246674 140735108104256 140735108103568 6020640 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/328/statm: 305297 245974 844 2943 0 302191 0 [pid=328/tid=329] ppid=324 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/328/task/329/stat : 329 (toysat) S 324 328 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104184699 1250496512 245974 33554432000 4194304 16246674 140735108104256 140669694749936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=328/tid=330] ppid=324 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/328/task/330/stat : 330 (toysat) S 324 328 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104184699 1250496512 245974 33554432000 4194304 16246674 140735108104256 140669684260080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=328/tid=331] ppid=324 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/328/task/331/stat : 331 (toysat) S 324 328 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104184700 1250496512 245974 33554432000 4194304 16246674 140735108104256 140669673786544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 1221188 [startup+3.10042 s] /proc/loadavg: 2.38 2.28 2.23 4/183 348 /proc/meminfo: memFree=28269292/32872528 swapFree=16080/1655368 [pid=328] ppid=324 vsize=1306180 CPUtime=3.09 cores=0,2,4,6 /proc/328/stat : 328 (toysat) R 324 328 32454 0 -1 4202496 267463 0 0 0 272 37 0 0 20 0 4 0 104184699 1337528320 267277 33554432000 4194304 16246674 140735108104256 140735108086144 5825247 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/328/statm: 326545 267277 844 2943 0 323439 0 [pid=328/tid=329] ppid=324 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/328/task/329/stat : 329 (toysat) S 324 328 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104184699 1337528320 267277 33554432000 4194304 16246674 140735108104256 140669694749936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=328/tid=330] ppid=324 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/328/task/330/stat : 330 (toysat) S 324 328 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104184699 1337528320 267277 33554432000 4194304 16246674 140735108104256 140669684260080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=328/tid=331] ppid=324 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/328/task/331/stat : 331 (toysat) S 324 328 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104184700 1337528320 267277 33554432000 4194304 16246674 140735108104256 140669673786544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30034 s] /proc/loadavg: 2.38 2.28 2.23 3/183 348 /proc/meminfo: memFree=28262880/32872528 swapFree=16080/1655368 [pid=328] ppid=324 vsize=1306180 CPUtime=6.29 cores=0,2,4,6 /proc/328/stat : 328 (toysat) R 324 328 32454 0 -1 4202496 267631 0 0 0 592 37 0 0 20 0 4 0 104184699 1337528320 267445 33554432000 4194304 16246674 140735108104256 140735108086144 13943729 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/328/statm: 326545 267445 844 2943 0 323439 0 [pid=328/tid=329] ppid=324 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/328/task/329/stat : 329 (toysat) S 324 328 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104184699 1337528320 267445 33554432000 4194304 16246674 140735108104256 140669694749936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=328/tid=330] ppid=324 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/328/task/330/stat : 330 (toysat) S 324 328 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104184699 1337528320 267445 33554432000 4194304 16246674 140735108104256 140669684260080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=328/tid=331] ppid=324 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/328/task/331/stat : 331 (toysat) S 324 328 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104184700 1337528320 267445 33554432000 4194304 16246674 140735108104256 140669673786544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.40 2.29 2.23 3/183 348 /proc/meminfo: memFree=28262248/32872528 swapFree=16080/1655368 [pid=328] ppid=324 vsize=1307204 CPUtime=12.68 cores=0,2,4,6 /proc/328/stat : 328 (toysat) R 324 328 32454 0 -1 4202496 267779 0 0 0 1231 37 0 0 20 0 4 0 104184699 1338576896 267593 33554432000 4194304 16246674 140735108104256 140735108086144 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/328/statm: 326801 267593 845 2943 0 323695 0 [pid=328/tid=329] ppid=324 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/328/task/329/stat : 329 (toysat) S 324 328 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104184699 1338576896 267593 33554432000 4194304 16246674 140735108104256 140669694749936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=328/tid=330] ppid=324 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/328/task/330/stat : 330 (toysat) S 324 328 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104184699 1338576896 267593 33554432000 4194304 16246674 140735108104256 140669684260080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=328/tid=331] ppid=324 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/328/task/331/stat : 331 (toysat) S 324 328 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104184700 1338576896 267593 33554432000 4194304 16246674 140735108104256 140669673786544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1307204 [startup+25.5004 s] /proc/loadavg: 2.34 2.28 2.22 3/183 348 /proc/meminfo: memFree=28262276/32872528 swapFree=16080/1655368 [pid=328] ppid=324 vsize=1307204 CPUtime=25.49 cores=0,2,4,6 /proc/328/stat : 328 (toysat) R 324 328 32454 0 -1 4202496 267779 0 0 0 2511 38 0 0 20 0 4 0 104184699 1338576896 267593 33554432000 4194304 16246674 140735108104256 140735108086144 5994736 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/328/statm: 326801 267593 845 2943 0 323695 0 [pid=328/tid=329] ppid=324 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/328/task/329/stat : 329 (toysat) S 324 328 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104184699 1338576896 267593 33554432000 4194304 16246674 140735108104256 140669694749936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=328/tid=330] ppid=324 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/328/task/330/stat : 330 (toysat) S 324 328 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104184699 1338576896 267593 33554432000 4194304 16246674 140735108104256 140669684260080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=328/tid=331] ppid=324 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/328/task/331/stat : 331 (toysat) S 324 328 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104184700 1338576896 267593 33554432000 4194304 16246674 140735108104256 140669673786544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1307204 [startup+51.1003 s] /proc/loadavg: 2.37 2.29 2.23 3/183 348 /proc/meminfo: memFree=28262156/32872528 swapFree=16080/1655368 [pid=328] ppid=324 vsize=1307204 CPUtime=51.09 cores=0,2,4,6 /proc/328/stat : 328 (toysat) R 324 328 32454 0 -1 4202496 267861 0 0 0 5071 38 0 0 20 0 4 0 104184699 1338576896 267675 33554432000 4194304 16246674 140735108104256 140735108086144 5808568 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/328/statm: 326801 267675 848 2943 0 323695 0 [pid=328/tid=329] ppid=324 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/328/task/329/stat : 329 (toysat) S 324 328 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104184699 1338576896 267675 33554432000 4194304 16246674 140735108104256 140669694749936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=328/tid=330] ppid=324 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/328/task/330/stat : 330 (toysat) S 324 328 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104184699 1338576896 267675 33554432000 4194304 16246674 140735108104256 140669684260080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=328/tid=331] ppid=324 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/328/task/331/stat : 331 (toysat) S 324 328 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104184700 1338576896 267675 33554432000 4194304 16246674 140735108104256 140669673786544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1307204 [startup+102.3 s] /proc/loadavg: 2.28 2.27 2.22 3/183 349 /proc/meminfo: memFree=28260920/32872528 swapFree=16080/1655368 [pid=328] ppid=324 vsize=1309252 CPUtime=102.28 cores=0,2,4,6 /proc/328/stat : 328 (toysat) R 324 328 32454 0 -1 4202496 268183 0 0 0 10190 38 0 0 20 0 4 0 104184699 1340674048 267997 33554432000 4194304 16246674 140735108104256 140735108086144 12415766 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/328/statm: 327313 267997 848 2943 0 324207 0 [pid=328/tid=329] ppid=324 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/328/task/329/stat : 329 (toysat) S 324 328 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104184699 1340674048 267997 33554432000 4194304 16246674 140735108104256 140669694749936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=328/tid=330] ppid=324 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/328/task/330/stat : 330 (toysat) S 324 328 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104184699 1340674048 267997 33554432000 4194304 16246674 140735108104256 140669684260080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=328/tid=331] ppid=324 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/328/task/331/stat : 331 (toysat) S 324 328 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104184700 1340674048 267997 33554432000 4194304 16246674 140735108104256 140669673786544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1309252 ################ # More data... # ################ /proc/328/task/331/stat : 331 (toysat) S 324 328 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104184700 1346965504 270016 33554432000 4194304 16246674 140735108104256 140669673786544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 1315396 [startup+1362.3 s] /proc/loadavg: 2.22 2.26 2.23 3/183 385 /proc/meminfo: memFree=28244804/32872528 swapFree=16080/1655368 [pid=328] ppid=324 vsize=1315396 CPUtime=1361.84 cores=0,2,4,6 /proc/328/stat : 328 (toysat) R 324 328 32454 0 -1 4202496 270406 0 0 0 136138 46 0 0 20 0 4 0 104184699 1346965504 270016 33554432000 4194304 16246674 140735108104256 140735108087256 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/328/statm: 328849 270016 850 2943 0 325743 0 [pid=328/tid=329] ppid=324 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/328/task/329/stat : 329 (toysat) S 324 328 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104184699 1346965504 270016 33554432000 4194304 16246674 140735108104256 140669694749936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=328/tid=330] ppid=324 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/328/task/330/stat : 330 (toysat) S 324 328 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104184699 1346965504 270016 33554432000 4194304 16246674 140735108104256 140669684260080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=328/tid=331] ppid=324 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/328/task/331/stat : 331 (toysat) S 324 328 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104184700 1346965504 270016 33554432000 4194304 16246674 140735108104256 140669673786544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1315396 [startup+1422.3 s] /proc/loadavg: 2.19 2.24 2.22 3/183 386 /proc/meminfo: memFree=28244824/32872528 swapFree=16080/1655368 [pid=328] ppid=324 vsize=1315396 CPUtime=1421.82 cores=0,2,4,6 /proc/328/stat : 328 (toysat) R 324 328 32454 0 -1 4202496 270406 0 0 0 142136 46 0 0 20 0 4 0 104184699 1346965504 270016 33554432000 4194304 16246674 140735108104256 140735108086144 5600232 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/328/statm: 328849 270016 850 2943 0 325743 0 [pid=328/tid=329] ppid=324 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/328/task/329/stat : 329 (toysat) S 324 328 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104184699 1346965504 270016 33554432000 4194304 16246674 140735108104256 140669694749936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=328/tid=330] ppid=324 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/328/task/330/stat : 330 (toysat) S 324 328 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104184699 1346965504 270016 33554432000 4194304 16246674 140735108104256 140669684260080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=328/tid=331] ppid=324 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/328/task/331/stat : 331 (toysat) S 324 328 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104184700 1346965504 270016 33554432000 4194304 16246674 140735108104256 140669673786544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 1315396 [startup+1482.3 s] /proc/loadavg: 2.20 2.23 2.22 4/183 387 /proc/meminfo: memFree=28245048/32872528 swapFree=16080/1655368 [pid=328] ppid=324 vsize=1315396 CPUtime=1481.81 cores=0,2,4,6 /proc/328/stat : 328 (toysat) R 324 328 32454 0 -1 4202496 270406 0 0 0 148135 46 0 0 20 0 4 0 104184699 1346965504 270016 33554432000 4194304 16246674 140735108104256 140735108086144 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/328/statm: 328849 270016 850 2943 0 325743 0 [pid=328/tid=329] ppid=324 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/328/task/329/stat : 329 (toysat) S 324 328 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104184699 1346965504 270016 33554432000 4194304 16246674 140735108104256 140669694749936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=328/tid=330] ppid=324 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/328/task/330/stat : 330 (toysat) S 324 328 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104184699 1346965504 270016 33554432000 4194304 16246674 140735108104256 140669684260080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=328/tid=331] ppid=324 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/328/task/331/stat : 331 (toysat) S 324 328 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104184700 1346965504 270016 33554432000 4194304 16246674 140735108104256 140669673786544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 1315396 [startup+1542.3 s] /proc/loadavg: 2.29 2.25 2.23 3/184 391 /proc/meminfo: memFree=28245232/32872528 swapFree=16080/1655368 [pid=328] ppid=324 vsize=1315396 CPUtime=1541.81 cores=0,2,4,6 /proc/328/stat : 328 (toysat) R 324 328 32454 0 -1 4202496 270406 0 0 0 154134 47 0 0 20 0 4 0 104184699 1346965504 270016 33554432000 4194304 16246674 140735108104256 140735108086144 12477720 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/328/statm: 328849 270016 850 2943 0 325743 0 [pid=328/tid=329] ppid=324 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/328/task/329/stat : 329 (toysat) S 324 328 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104184699 1346965504 270016 33554432000 4194304 16246674 140735108104256 140669694749936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=328/tid=330] ppid=324 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/328/task/330/stat : 330 (toysat) S 324 328 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104184699 1346965504 270016 33554432000 4194304 16246674 140735108104256 140669684260080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=328/tid=331] ppid=324 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/328/task/331/stat : 331 (toysat) S 324 328 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104184700 1346965504 270016 33554432000 4194304 16246674 140735108104256 140669673786544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 1315396 [startup+1602.3 s] /proc/loadavg: 2.19 2.23 2.22 3/183 392 /proc/meminfo: memFree=28244640/32872528 swapFree=16080/1655368 [pid=328] ppid=324 vsize=1315396 CPUtime=1601.8 cores=0,2,4,6 /proc/328/stat : 328 (toysat) R 324 328 32454 0 -1 4202496 270406 0 0 0 160133 47 0 0 20 0 4 0 104184699 1346965504 270016 33554432000 4194304 16246674 140735108104256 140735108086144 5545788 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/328/statm: 328849 270016 850 2943 0 325743 0 [pid=328/tid=329] ppid=324 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/328/task/329/stat : 329 (toysat) S 324 328 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104184699 1346965504 270016 33554432000 4194304 16246674 140735108104256 140669694749936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=328/tid=330] ppid=324 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/328/task/330/stat : 330 (toysat) S 324 328 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104184699 1346965504 270016 33554432000 4194304 16246674 140735108104256 140669684260080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=328/tid=331] ppid=324 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/328/task/331/stat : 331 (toysat) S 324 328 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104184700 1346965504 270016 33554432000 4194304 16246674 140735108104256 140669673786544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1315396 [startup+1662.3 s] /proc/loadavg: 2.24 2.24 2.22 3/183 394 /proc/meminfo: memFree=28244940/32872528 swapFree=16080/1655368 [pid=328] ppid=324 vsize=1315396 CPUtime=1661.78 cores=0,2,4,6 /proc/328/stat : 328 (toysat) R 324 328 32454 0 -1 4202496 270406 0 0 0 166131 47 0 0 20 0 4 0 104184699 1346965504 270016 33554432000 4194304 16246674 140735108104256 140735108086144 5724551 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/328/statm: 328849 270016 850 2943 0 325743 0 [pid=328/tid=329] ppid=324 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/328/task/329/stat : 329 (toysat) S 324 328 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104184699 1346965504 270016 33554432000 4194304 16246674 140735108104256 140669694749936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=328/tid=330] ppid=324 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/328/task/330/stat : 330 (toysat) S 324 328 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104184699 1346965504 270016 33554432000 4194304 16246674 140735108104256 140669684260080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=328/tid=331] ppid=324 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/328/task/331/stat : 331 (toysat) S 324 328 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104184700 1346965504 270016 33554432000 4194304 16246674 140735108104256 140669673786544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 1315396 [startup+1722.3 s] /proc/loadavg: 2.19 2.22 2.21 3/183 395 /proc/meminfo: memFree=28244656/32872528 swapFree=16080/1655368 [pid=328] ppid=324 vsize=1315396 CPUtime=1721.78 cores=0,2,4,6 /proc/328/stat : 328 (toysat) R 324 328 32454 0 -1 4202496 270406 0 0 0 172130 48 0 0 20 0 4 0 104184699 1346965504 270016 33554432000 4194304 16246674 140735108104256 140735108086144 13191844 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/328/statm: 328849 270016 850 2943 0 325743 0 [pid=328/tid=329] ppid=324 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/328/task/329/stat : 329 (toysat) S 324 328 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104184699 1346965504 270016 33554432000 4194304 16246674 140735108104256 140669694749936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=328/tid=330] ppid=324 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/328/task/330/stat : 330 (toysat) S 324 328 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104184699 1346965504 270016 33554432000 4194304 16246674 140735108104256 140669684260080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=328/tid=331] ppid=324 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/328/task/331/stat : 331 (toysat) S 324 328 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104184700 1346965504 270016 33554432000 4194304 16246674 140735108104256 140669673786544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 1315396 [startup+1782.3 s] /proc/loadavg: 2.12 2.19 2.20 3/183 396 /proc/meminfo: memFree=28244436/32872528 swapFree=16080/1655368 [pid=328] ppid=324 vsize=1315396 CPUtime=1781.77 cores=0,2,4,6 /proc/328/stat : 328 (toysat) R 324 328 32454 0 -1 4202496 270406 0 0 0 178129 48 0 0 20 0 4 0 104184699 1346965504 270016 33554432000 4194304 16246674 140735108104256 140735108086144 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/328/statm: 328849 270016 850 2943 0 325743 0 [pid=328/tid=329] ppid=324 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/328/task/329/stat : 329 (toysat) S 324 328 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104184699 1346965504 270016 33554432000 4194304 16246674 140735108104256 140669694749936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=328/tid=330] ppid=324 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/328/task/330/stat : 330 (toysat) S 324 328 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104184699 1346965504 270016 33554432000 4194304 16246674 140735108104256 140669684260080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=328/tid=331] ppid=324 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/328/task/331/stat : 331 (toysat) S 324 328 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104184700 1346965504 270016 33554432000 4194304 16246674 140735108104256 140669673786544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 1315396 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.10 2.18 2.19 3/183 396 /proc/meminfo: memFree=28244548/32872528 swapFree=16080/1655368 [pid=328] ppid=324 vsize=1315396 CPUtime=1800.07 cores=0,2,4,6 /proc/328/stat : 328 (toysat) R 324 328 32454 0 -1 4202496 270406 0 0 0 179959 48 0 0 20 0 4 0 104184699 1346965504 270016 33554432000 4194304 16246674 140735108104256 140735108086144 13963936 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/328/statm: 328849 270016 850 2943 0 325743 0 [pid=328/tid=329] ppid=324 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/328/task/329/stat : 329 (toysat) S 324 328 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104184699 1346965504 270016 33554432000 4194304 16246674 140735108104256 140669694749936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=328/tid=330] ppid=324 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/328/task/330/stat : 330 (toysat) S 324 328 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104184699 1346965504 270016 33554432000 4194304 16246674 140735108104256 140669684260080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=328/tid=331] ppid=324 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/328/task/331/stat : 331 (toysat) S 324 328 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104184700 1346965504 270016 33554432000 4194304 16246674 140735108104256 140669673786544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1315396 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 328 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 2.10 2.18 2.19 3/183 396 /proc/meminfo: memFree=28244548/32872528 swapFree=16080/1655368 [pid=328] ppid=324 vsize=1315396 CPUtime=1800.07 cores=0,2,4,6 /proc/328/stat : 328 (toysat) R 324 328 32454 0 -1 4202496 270406 0 0 0 179959 48 0 0 20 0 4 0 104184699 1346965504 270016 33554432000 4194304 16246674 140735108104256 140735108086144 13963936 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/328/statm: 328849 270016 850 2943 0 325743 0 [pid=328/tid=329] ppid=324 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/328/task/329/stat : 329 (toysat) S 324 328 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104184699 1346965504 270016 33554432000 4194304 16246674 140735108104256 140669694749936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=328/tid=330] ppid=324 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/328/task/330/stat : 330 (toysat) S 324 328 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104184699 1346965504 270016 33554432000 4194304 16246674 140735108104256 140669684260080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=328/tid=331] ppid=324 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/328/task/331/stat : 331 (toysat) S 324 328 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104184700 1346965504 270016 33554432000 4194304 16246674 140735108104256 140669673786544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1315396 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.08 CPU user time (s): 1799.59 CPU system time (s): 0.486925 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 1315396 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.59 system time used= 0.486925 maximum resident set size= 1080064 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 270406 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= 473 involuntary context switches= 1834 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.33289 second user time and 9.00663 second system time The end
Begin job on node122 at 2016-06-06 16:15:11 IDJOB=4079069 IDBENCH=1528 IDSOLVER=2542 FILE ID=node122/4079069-1465222511 RUNJOBID= node122-1465218907-32470 PBS_JOBID= 19843205 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gt2.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079069-1465222511/watcher-4079069-1465222511 -o /tmp/evaluation-result-4079069-1465222511/solver-4079069-1465222511 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32470 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079069-1465222511.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fbf213ed65afe4e66abc3948eb02a29f RANDOM SEED=602318101 node122.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.898 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 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.898 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.898 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.898 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.898 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.898 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.898 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.898 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: 30422820 kB Buffers: 13284 kB Cached: 77264 kB SwapCached: 860 kB Active: 60192 kB Inactive: 33992 kB Active(anon): 4416 kB Inactive(anon): 1576 kB Active(file): 55776 kB Inactive(file): 32416 kB Unevictable: 1655368 kB Mlocked: 16080 kB SwapTotal: 67108856 kB SwapFree: 67099456 kB Dirty: 16400 kB Writeback: 4 kB AnonPages: 1657976 kB Mapped: 7076 kB Shmem: 0 kB Slab: 566552 kB SReclaimable: 10604 kB SUnreclaim: 555948 kB KernelStack: 1392 kB PageTables: 7512 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1752436 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1642496 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= 71712 MiB End job on node122 at 2016-06-06 16:45:12