| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.04 | 1800.51 |
| Name | /DEC-SMALLINT-LIN/lopes/ normalized-21.opb |
| MD5SUM | 3f7496125222b93dca78bd7d73f5e00c |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 206.582 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 7351 |
| Total number of constraints | 155824 |
| Number of constraints which are clauses | 139567 |
| Number of constraints which are cardinality constraints (but not clauses) | 563 |
| Number of constraints which are nor clauses,nor cardinality constraints | 15694 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 195 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 196 |
| Number of bits of the biggest sum of numbers | 8 |
| 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-07T07:19:51+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-4078865-1465276790.opb"] 0.00/0.01 c use --random-gen="1679543940 730961209 102694908 4111831784 2624601594 1947238964 2549824355 1773830447 833576279 1432160213 3104318879 344523464 1759882419 666958716 2437790619 2800668485 1212950394 1436368523 2639922286 2446640320 2357071125 2539442204 3824115174 1090692454 3041196793 204451106 2569800368 2407355206 2657322332 5824169 673818100 3082288215 3079181192 2850086619 1067333057 738241975 3942210697 420881887 147223323 1085842223 3885226537 987651995 2199626696 3760706055 2235597106 846471934 2562511092 1214045769 1123059312 1206924761 2719362814 1196548035 2782291202 3795312397 1731695422 833696072 1502734017 3995964250 2523972247 1079770934 3505854425 4182013312 2058201509 208861484 3669000579 2015004162 1034182589 348384918 2916469717 3574298762 255713644 1658453761 3938096906 3583499807 3079151979 2198303764 602695318 1922717369 570985423 2413006937 3023893032 1932089705 1210998395 1512041141 4074773683 3528527888 2523133633 1727721036 96621444 3514058466 1989680112 97778631 676851460 2948362895 4142266686 1725832028 1143031849 3231729416 679581576 3049451907 752600595 3544579497 2739202053 64211839 871056046 3502204777 85380776 1128205879 3051092597 3182542593 2738674739 2342545678 3605165711 2520932970 98152346 1641489863 1656702822 3680225568 1412537299 168141937 3354997058 3143367187 2264394802 3296758027 2585122219 2214872992 3638917205 3352200643 3341858817 943467143 2416290143 3527182412 2262718432 1042974527 4214519196 506890884 443764109 3197513666 967177528 2726434 3375576744 3820009250 174861588 2046629140 3806598240 2052000919 3456116194 4167739165 2776047923 2708585843 2401101675 871058730 4272061341 163971520 2660588286 1209617307 1537140087 2205896531 1409109220 87312081 3793159047 3274949052 1245382910 3542171262 1812167499 1190869344 1428068975 1522660458 3232921836 2591456816 156795900 3997373167 3347012985 4153083024 2373647957 3393590255 1350262223 4149331802 3974908157 4008099136 838899721 1686778665 3368606476 1310035717 1730402656 2234430380 2933348542 3151612131 3828473894 1657429951 1195560686 4009719826 1142600407 3690283655 539621528 3915872935 3855684396 2107382213 2370463253 3821816179 1178350992 114631304 530519459 31422207 1005978336 1511241744 2168847745 4030768304 2861567186 2069200904 4277869253 558604358 1907013304 3840072664 2772507434 1422983470 3003316361 2772619261 1796420527 1891723092 3381752852 4221979189 2178580960 932685364 3276520676 4037384090 1825430258 2765576380 3571005731 3032710737 3747526500 1296835361 3367300304 875940470 390310494 2530547426 3341199464 2092059621 3458955043 1001741952 4282255304 688456561 3656662698 2702548919 472245016 2060427139 3697443877 2137229064 1471916558 2341288789 1280516545 3575307052 1067914100 4028779282 1977386032 923278671 255 362436" option to reproduce the execution 1.29/1.37 c #vars 7351 1.29/1.37 c #constraints 155824 3.99/4.03 c Solving starts ... 3.99/4.03 c ============================[ Search Statistics ]============================ 3.99/4.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.99/4.03 c | | | | Limit GC | Var | Constra 3.99/4.03 c ============================================================================= 3.99/4.04 c 0.0s | 0 | 0 | 0 | 54487 0 | 0 | 0 4.19/4.21 c 0.2s | 1 | 138 | 100 | 54487 0 | 0 | 0 4.49/4.58 c 0.5s | 2 | 361 | 250 | 59936 0 | 0 | 0 5.59/5.65 c 1.6s | 3 | 13067 | 475 | 65930 0 | 0 | 0 6.09/6.19 c 2.2s | 4 | 13569 | 813 | 72523 0 | 0 | 0 6.69/6.76 c 2.7s | 5 | 14418 | 1320 | 79776 0 | 1 | 11 7.48/7.54 c 3.5s | 6 | 15530 | 2081 | 96530 0 | 2 | 22 8.48/8.50 c 4.5s | 7 | 17014 | 3223 | 106184 0 | 3 | 33 9.89/9.97 c 5.9s | 8 | 19076 | 4936 | 116803 0 | 4 | 44 11.98/12.04 c 8.0s | 8 | 21322 | 6736 | 116803 0 | 6 | 66 12.88/12.92 c 8.9s | 9 | 22168 | 7506 | 128484 0 | 6 | 66 14.98/15.06 c 11.0s | 9 | 44427 | 9006 | 128484 0 | 6 | 66 17.08/17.19 c 13.2s | 9 | 74858 | 10606 | 128484 0 | 6 | 66 18.08/18.12 c 14.1s | 10 | 86350 | 11361 | 141333 0 | 6 | 66 20.08/20.13 c 16.1s | 10 | 90975 | 12461 | 141333 0 | 6 | 66 22.18/22.26 c 18.2s | 10 | 92420 | 13761 | 141333 0 | 6 | 66 24.29/24.36 c 20.3s | 10 | 93913 | 14961 | 141333 0 | 6 | 66 26.40/26.47 c 22.4s | 10 | 95356 | 16261 | 141333 0 | 6 | 66 27.79/27.81 c 23.8s | 11 | 96290 | 17144 | 155467 0 | 6 | 66 29.80/29.86 c 25.8s | 11 | 129549 | 18644 | 155467 0 | 6 | 66 31.90/31.98 c 27.9s | 11 | 164052 | 20444 | 155467 0 | 6 | 66 33.99/34.00 c 30.0s | 11 | 188353 | 22044 | 155467 0 | 6 | 66 35.99/36.01 c 32.0s | 11 | 209958 | 23444 | 155467 0 | 6 | 66 38.09/38.12 c 34.1s | 11 | 224024 | 24844 | 155467 0 | 6 | 66 39.49/39.54 c 35.5s | 12 | 243051 | 25819 | 171014 0 | 6 | 66 41.59/41.63 c 37.6s | 12 | 252202 | 26619 | 171014 0 | 6 | 66 43.69/43.79 c 39.8s | 12 | 253219 | 27519 | 171014 0 | 6 | 66 45.99/46.09 c 42.1s | 12 | 254117 | 28319 | 171014 0 | 6 | 66 48.28/48.39 c 44.4s | 12 | 255225 | 29319 | 171014 0 | 6 | 66 50.48/50.58 c 46.5s | 12 | 256084 | 30019 | 171014 0 | 6 | 66 52.58/52.64 c 48.6s | 12 | 257125 | 30919 | 171014 0 | 6 | 66 54.78/54.82 c 50.8s | 12 | 257744 | 31419 | 171014 0 | 6 | 66 56.78/56.86 c 52.8s | 12 | 258486 | 32019 | 171014 0 | 6 | 66 58.98/59.03 c 55.0s | 12 | 259289 | 32719 | 171014 0 | 6 | 66 61.08/61.14 c 57.1s | 12 | 260118 | 33419 | 171014 0 | 6 | 66 63.18/63.29 c 59.3s | 12 | 261070 | 34219 | 171014 0 | 6 | 66 65.58/65.64 c 61.6s | 12 | 261965 | 35019 | 171014 0 | 6 | 66 67.68/67.77 c 63.7s | 12 | 262883 | 35819 | 171014 0 | 6 | 66 69.78/69.83 c 65.8s | 12 | 263658 | 36519 | 171014 0 | 6 | 66 71.78/71.85 c 67.8s | 12 | 264479 | 37219 | 171014 0 | 6 | 66 73.88/73.94 c 69.9s | 12 | 265313 | 37919 | 171014 0 | 6 | 66 75.98/76.07 c 72.0s | 12 | 266028 | 38519 | 171014 0 | 6 | 66 76.88/76.93 c 72.9s | 13 | 266367 | 38832 | 188116 0 | 6 | 66 78.97/79.00 c 75.0s | 13 | 273570 | 39532 | 188116 0 | 6 | 66 80.97/81.01 c 77.0s | 13 | 274390 | 40132 | 188116 0 | 6 | 66 83.17/83.27 c 79.2s | 13 | 286735 | 41232 | 188116 0 | 6 | 66 85.47/85.51 c 81.5s | 13 | 287678 | 41932 | 188116 0 | 6 | 66 87.67/87.77 c 83.7s | 13 | 289298 | 42732 | 188116 0 | 6 | 66 89.78/89.83 c 85.8s | 13 | 290367 | 43432 | 188116 0 | 6 | 66 91.98/92.05 c 88.0s | 13 | 291184 | 44132 | 188116 0 | 6 | 66 94.18/94.27 c 90.2s | 13 | 294782 | 44832 | 188116 0 | 6 | 66 96.28/96.33 c 92.3s | 13 | 296569 | 45532 | 188116 0 | 6 | 66 98.58/98.67 c 94.6s | 13 | 297668 | 46232 | 188116 0 | 6 | 66 100.58/100.69 c 96.7s | 13 | 299163 | 46832 | 188116 0 | 6 | 66 102.68/102.77 c 98.7s | 13 | 299874 | 47432 | 188116 0 | 6 | 66 104.98/105.09 c 101s | 13 | 300577 | 48032 | 188116 0 | 6 | 66 107.28/107.36 c 103s | 13 | 301510 | 48632 | 188116 0 | 6 | 66 109.48/109.54 c 105s | 13 | 302644 | 49332 | 188116 0 | 6 | 66 112.28/112.35 c 108s | 13 | 319316 | 49932 | 188116 0 | 6 | 66 114.27/114.36 c 110s | 13 | 335092 | 50532 | 188116 0 | 6 | 66 116.47/116.58 c 112s | 13 | 336898 | 51532 | 188116 0 | 6 | 66 118.67/118.70 c 114s | 13 | 340766 | 52632 | 188116 0 | 6 | 66 120.67/120.74 c 116s | 13 | 354480 | 53532 | 188116 0 | 7 | 77 122.67/122.75 c 118s | 13 | 362998 | 54332 | 188116 0 | 7 | 77 124.67/124.77 c 120s | 13 | 372308 | 55232 | 188116 0 | 7 | 77 126.87/126.93 c 122s | 13 | 385822 | 56332 | 188116 0 | 7 | 77 128.97/129.03 c 124s | 13 | 388188 | 57032 | 188116 0 | 7 | 77 131.17/131.23 c 127s | 13 | 390863 | 57832 | 188116 0 | 7 | 77 132.77/132.88 c 128s | 14 | 393053 | 58352 | 206928 0 | 7 | 77 134.87/134.96 c 130s | 14 | 397032 | 58952 | 206928 0 | 7 | 77 137.37/137.41 c 133s | 14 | 398915 | 59452 | 206928 0 | 7 | 77 139.37/139.43 c 135s | 14 | 401110 | 60052 | 206928 0 | 7 | 77 141.57/141.63 c 137s | 14 | 402566 | 60752 | 206928 0 | 7 | 77 143.67/143.72 c 139s | 14 | 404465 | 61452 | 206928 0 | 7 | 77 145.67/145.77 c 141s | 14 | 405829 | 62052 | 206928 0 | 7 | 77 147.97/148.07 c 144s | 14 | 406862 | 62752 | 206928 0 | 7 | 77 150.37/150.49 c 146s | 14 | 407857 | 63452 | 206928 0 | 7 | 77 152.66/152.70 c 148s | 14 | 408602 | 64052 | 206928 0 | 7 | 77 154.86/154.92 c 150s | 14 | 409876 | 64652 | 206928 0 | 7 | 77 156.86/156.98 c 152s | 14 | 410609 | 65152 | 206928 0 | 7 | 77 159.06/159.13 c 155s | 14 | 411559 | 65752 | 206928 0 | 7 | 77 161.26/161.33 c 157s | 14 | 412498 | 66352 | 206928 0 | 7 | 77 163.46/163.59 c 159s | 14 | 413537 | 67052 | 206928 0 | 7 | 77 165.56/165.66 c 161s | 14 | 414208 | 67552 | 206928 0 | 7 | 77 167.56/167.69 c 163s | 14 | 414942 | 68052 | 206928 0 | 7 | 77 169.86/169.90 c 165s | 14 | 416181 | 68652 | 206928 0 | 7 | 77 172.06/172.12 c 168s | 14 | 416706 | 69052 | 206928 0 | 7 | 77 174.26/174.30 c 170s | 14 | 417336 | 69452 | 206928 0 | 7 | 77 176.26/176.31 c 172s | 14 | 418085 | 69852 | 206928 0 | 7 | 77 178.66/178.74 c 174s | 14 | 418845 | 70352 | 206928 0 | 7 | 77 180.76/180.87 c 176s | 14 | 419397 | 70752 | 206928 0 | 7 | 77 183.16/183.27 c 179s | 14 | 420225 | 71252 | 206928 0 | 7 | 77 185.36/185.42 c 181s | 14 | 420953 | 71752 | 206928 0 | 7 | 77 187.66/187.75 c 183s | 14 | 421480 | 72152 | 206928 0 | 7 | 77 190.16/190.27 c 186s | 14 | 422290 | 72652 | 206928 0 | 7 | 77 192.36/192.46 c 188s | 14 | 423247 | 73252 | 206928 0 | 7 | 77 194.36/194.46 c 190s | 14 | 424276 | 73852 | 206928 0 | 7 | 77 196.66/196.74 c 192s | 14 | 425278 | 74552 | 206928 0 | 7 | 77 198.96/199.05 c 195s | 14 | 426258 | 75152 | 206928 0 | 7 | 77 201.06/201.15 c 197s | 14 | 427084 | 75752 | 206928 0 | 7 | 77 203.26/203.32 c 199s | 14 | 428003 | 76252 | 206928 0 | 7 | 77 205.45/205.56 c 201s | 14 | 428727 | 76752 | 206928 0 | 7 | 77 207.55/207.61 c 203s | 14 | 429355 | 77252 | 206928 0 | 7 | 77 209.86/209.97 c 205s | 14 | 429953 | 77752 | 206928 0 | 7 | 77 212.06/212.19 c 208s | 14 | 430619 | 78252 | 206928 0 | 7 | 77 214.36/214.44 c 210s | 14 | 431267 | 78752 | 206928 0 | 7 | 77 216.56/216.65 c 212s | 14 | 432054 | 79252 | 206928 0 | 7 | 77 218.76/218.83 c 214s | 14 | 432728 | 79752 | 206928 0 | 7 | 77 221.17/221.29 c 217s | 14 | 433347 | 80252 | 206928 0 | 7 | 77 223.66/223.73 c 219s | 14 | 433834 | 80652 | 206928 0 | 7 | 77 225.86/225.91 c 221s | 14 | 434572 | 81152 | 206928 0 | 7 | 77 227.96/228.08 c 224s | 14 | 435262 | 81652 | 206928 0 | 7 | 77 230.36/230.41 c 226s | 14 | 436259 | 82152 | 206928 0 | 7 | 77 232.46/232.55 c 228s | 14 | 437356 | 82652 | 206928 0 | 7 | 77 234.66/234.70 c 230s | 14 | 438077 | 83152 | 206928 0 | 7 | 77 236.96/237.06 c 233s | 14 | 438755 | 83552 | 206928 0 | 7 | 77 239.36/239.46 c 235s | 14 | 439525 | 84052 | 206928 0 | 7 | 77 241.56/241.60 c 237s | 14 | 440301 | 84452 | 206928 0 | 7 | 77 243.66/243.76 c 239s | 14 | 440898 | 84852 | 206928 0 | 7 | 77 245.66/245.77 c 241s | 14 | 441491 | 85252 | 206928 0 | 7 | 77 247.96/248.04 c 244s | 14 | 442010 | 85652 | 206928 0 | 7 | 77 250.36/250.46 c 246s | 14 | 442787 | 86152 | 206928 0 | 7 | 77 252.66/252.77 c 248s | 14 | 443411 | 86552 | 206928 0 | 7 | 77 255.26/255.36 c 251s | 14 | 443854 | 86952 | 206928 0 | 7 | 77 257.75/257.89 c 253s | 14 | 444309 | 87352 | 227621 0 | 7 | 77 259.35/259.44 c 255s | 15 | 444633 | 87632 | 227621 0 | 7 | 77 261.76/261.80 c 257s | 15 | 445005 | 87932 | 227621 0 | 7 | 77 263.75/263.86 c 259s | 15 | 445477 | 88332 | 227621 0 | 7 | 77 266.26/266.39 c 262s | 15 | 446125 | 88832 | 227621 0 | 7 | 77 268.36/268.42 c 264s | 15 | 446598 | 89232 | 227621 0 | 7 | 77 270.75/270.87 c 266s | 15 | 447187 | 89732 | 227621 0 | 7 | 77 273.05/273.15 c 269s | 15 | 447653 | 90132 | 227621 0 | 7 | 77 275.45/275.52 c 271s | 15 | 448127 | 90532 | 227621 0 | 7 | 77 278.15/278.22 c 274s | 15 | 448591 | 90932 | 227621 0 | 7 | 77 280.15/280.27 c 276s | 15 | 449065 | 91332 | 227621 0 | 7 | 77 282.45/282.54 c 278s | 15 | 449574 | 91732 | 227621 0 | 7 | 77 285.15/285.22 c 281s | 15 | 450019 | 92132 | 227621 0 | 7 | 77 287.35/287.43 c 283s | 15 | 450342 | 92432 | 227621 0 | 7 | 77 289.65/289.72 c 285s | 15 | 450683 | 92732 | 227621 0 | 7 | 77 292.35/292.44 c 288s | 15 | 451166 | 93132 | 227621 0 | 7 | 77 294.55/294.67 c 290s | 15 | 451696 | 93532 | 227621 0 | 7 | 77 297.15/297.25 c 293s | 15 | 452191 | 93932 | 227621 0 | 7 | 77 299.34/299.45 c 295s | 15 | 452687 | 94332 | 227621 0 | 7 | 77 301.54/301.60 c 297s | 15 | 453202 | 94732 | 227621 0 | 7 | 77 304.14/304.29 c 300s | 15 | 453744 | 95132 | 227621 0 | 7 | 77 306.54/306.66 c 302s | 15 | 454205 | 95532 | 227621 0 | 7 | 77 308.94/309.01 c 304s | 15 | 454814 | 96032 | 227621 0 | 7 | 77 311.35/311.44 c 307s | 15 | 455503 | 96432 | 227621 0 | 7 | 77 313.45/313.52 c 309s | 15 | 455877 | 96732 | 227621 0 | 7 | 77 315.54/315.63 c 311s | 15 | 456234 | 97032 | 227621 0 | 7 | 77 317.64/317.72 c 313s | 15 | 456649 | 97332 | 227621 0 | 7 | 77 319.64/319.77 c 315s | 15 | 457009 | 97632 | 227621 0 | 7 | 77 322.14/322.23 c 318s | 15 | 457469 | 98032 | 227621 0 | 7 | 77 324.24/324.36 c 320s | 15 | 457810 | 98332 | 227621 0 | 7 | 77 326.34/326.41 c 322s | 15 | 458149 | 98632 | 227621 0 | 7 | 77 328.74/328.84 c 324s | 15 | 458599 | 99032 | 227621 0 | 7 | 77 331.33/331.41 c 327s | 15 | 458942 | 99332 | 227621 0 | 7 | 77 333.83/333.97 c 329s | 15 | 459275 | 99632 | 227621 0 | 7 | 77 336.13/336.24 c 332s | 15 | 459612 | 99932 | 227621 0 | 7 | 77 338.23/338.30 c 334s | 15 | 459937 | 100232 | 227621 0 | 7 | 77 340.23/340.31 c 336s | 15 | 460301 | 100532 | 227621 0 | 7 | 77 342.33/342.47 c 338s | 15 | 460664 | 100832 | 227621 0 | 7 | 77 344.93/345.02 c 340s | 15 | 461001 | 101132 | 227621 0 | 7 | 77 347.23/347.30 c 343s | 15 | 461356 | 101432 | 227621 0 | 7 | 77 349.42/349.56 c 345s | 15 | 461751 | 101732 | 227621 0 | 7 | 77 351.62/351.77 c 347s | 15 | 462103 | 102032 | 227621 0 | 7 | 77 353.92/354.03 c 349s | 15 | 462450 | 102332 | 227621 0 | 7 | 77 356.12/356.27 c 352s | 15 | 462903 | 102732 | 227621 0 | 7 | 77 358.22/358.32 c 354s | 15 | 463299 | 103032 | 227621 0 | 7 | 77 360.42/360.56 c 356s | 15 | 463649 | 103332 | 227621 0 | 7 | 77 362.62/362.70 c 358s | 15 | 463995 | 103632 | 227621 0 | 7 | 77 364.82/364.91 c 360s | 15 | 464345 | 103932 | 227621 0 | 7 | 77 366.82/366.91 c 362s | 15 | 464685 | 104232 | 227621 0 | 7 | 77 369.02/369.19 c 365s | 15 | 465144 | 104632 | 227621 0 | 7 | 77 371.22/371.35 c 367s | 15 | 465601 | 105032 | 227621 0 | 7 | 77 373.62/373.79 c 369s | 15 | 466044 | 105432 | 227621 0 | 7 | 77 375.92/376.08 c 372s | 15 | 466405 | 105732 | 227621 0 | 7 | 77 378.43/378.60 c 374s | 15 | 466834 | 106132 | 227621 0 | 7 | 77 381.02/381.10 c 377s | 15 | 467272 | 106532 | 227621 0 | 7 | 77 383.02/383.13 c 379s | 15 | 467628 | 106832 | 227621 0 | 7 | 77 385.62/385.72 c 381s | 15 | 468069 | 107232 | 227621 0 | 7 | 77 388.22/388.38 c 384s | 15 | 468508 | 107632 | 227621 0 | 7 | 77 390.52/390.62 c 386s | 15 | 468871 | 107932 | 227621 0 | 7 | 77 392.92/393.00 c 388s | 15 | 469238 | 108232 | 227621 0 | 7 | 77 395.32/395.46 c 391s | 15 | 469576 | 108532 | 227621 0 | 7 | 77 397.72/397.85 c 393s | 15 | 469910 | 108832 | 227621 0 | 7 | 77 400.01/400.18 c 396s | 15 | 470241 | 109132 | 227621 0 | 7 | 77 402.31/402.47 c 398s | 15 | 470581 | 109432 | 227621 0 | 7 | 77 404.41/404.54 c 400s | 15 | 470911 | 109732 | 227621 0 | 7 | 77 406.71/406.81 c 402s | 15 | 471254 | 110032 | 227621 0 | 7 | 77 409.31/409.46 c 405s | 15 | 471562 | 110332 | 227621 0 | 7 | 77 411.42/411.56 c 407s | 15 | 471880 | 110632 | 227621 0 | 7 | 77 413.81/413.90 c 409s | 15 | 472257 | 110932 | 227621 0 | 7 | 77 416.21/416.33 c 412s | 15 | 472616 | 111232 | 227621 0 | 7 | 77 418.41/418.55 c 414s | 15 | 472959 | 111532 | 227621 0 | 7 | 77 420.61/420.70 c 416s | 15 | 473317 | 111832 | 227621 0 | 7 | 77 422.81/422.93 c 418s | 15 | 473772 | 112232 | 227621 0 | 7 | 77 425.01/425.16 c 421s | 15 | 474242 | 112632 | 227621 0 | 7 | 77 427.61/427.77 c 423s | 15 | 474821 | 113032 | 227621 0 | 7 | 77 429.70/429.89 c 425s | 15 | 475174 | 113332 | 227621 0 | 7 | 77 432.21/432.34 c 428s | 15 | 475590 | 113632 | 227621 0 | 7 | 77 434.51/434.67 c 430s | 15 | 475949 | 113932 | 227621 0 | 7 | 77 437.20/437.35 c 433s | 15 | 476290 | 114232 | 227621 0 | 7 | 77 439.70/439.82 c 435s | 15 | 476652 | 114532 | 227621 0 | 7 | 77 442.00/442.13 c 438s | 15 | 476988 | 114832 | 227621 0 | 7 | 77 444.50/444.64 c 440s | 15 | 477344 | 115132 | 227621 0 | 7 | 77 446.70/446.87 c 442s | 15 | 477670 | 115432 | 227621 0 | 7 | 77 449.30/449.46 c 445s | 15 | 477998 | 115732 | 227621 0 | 7 | 77 451.40/451.55 c 447s | 15 | 478333 | 116032 | 227621 0 | 7 | 77 454.00/454.17 c 450s | 15 | 478738 | 116332 | 227621 0 | 7 | 77 456.20/456.37 c 452s | 15 | 479107 | 116632 | 227621 0 | 7 | 77 458.30/458.44 c 454s | 15 | 479434 | 116932 | 227621 0 | 7 | 77 460.59/460.78 c 456s | 15 | 479834 | 117232 | 227621 0 | 7 | 77 463.00/463.13 c 459s | 15 | 480175 | 117532 | 227621 0 | 7 | 77 465.89/466.08 c 462s | 15 | 480659 | 117932 | 227621 0 | 7 | 77 468.69/468.82 c 464s | 15 | 481042 | 118232 | 227621 0 | 7 | 77 470.89/471.08 c 467s | 15 | 481432 | 118532 | 227621 0 | 7 | 77 473.29/473.46 c 469s | 15 | 481919 | 118932 | 227621 0 | 7 | 77 475.49/475.64 c 471s | 15 | 482288 | 119232 | 227621 0 | 7 | 77 477.79/477.96 c 473s | 15 | 482623 | 119532 | 227621 0 | 7 | 77 480.59/480.80 c 476s | 15 | 482974 | 119832 | 227621 0 | 7 | 77 483.18/483.36 c 479s | 15 | 483301 | 120132 | 227621 0 | 7 | 77 485.58/485.74 c 481s | 15 | 483644 | 120432 | 227621 0 | 7 | 77 488.08/488.26 c 484s | 15 | 483984 | 120732 | 227621 0 | 7 | 77 490.27/490.48 c 486s | 15 | 484393 | 121032 | 227621 0 | 7 | 77 492.37/492.58 c 488s | 15 | 484759 | 121332 | 227621 0 | 7 | 77 494.37/494.58 c 490s | 15 | 485118 | 121632 | 227621 0 | 7 | 77 496.67/496.82 c 492s | 15 | 485465 | 121932 | 227621 0 | 7 | 77 498.87/499.01 c 494s | 15 | 485840 | 122232 | 227621 0 | 7 | 77 501.27/501.48 c 497s | 15 | 486256 | 122532 | 227621 0 | 7 | 77 503.77/503.91 c 499s | 15 | 486635 | 122832 | 227621 0 | 7 | 77 505.97/506.14 c 502s | 15 | 486963 | 123132 | 227621 0 | 7 | 77 508.67/508.83 c 504s | 15 | 487342 | 123432 | 227621 0 | 7 | 77 511.06/511.22 c 507s | 15 | 487684 | 123732 | 227621 0 | 7 | 77 513.46/513.62 c 509s | 15 | 488031 | 124032 | 227621 0 | 7 | 77 515.87/516.05 c 512s | 15 | 488384 | 124332 | 227621 0 | 7 | 77 518.26/518.45 c 514s | 15 | 488734 | 124632 | 227621 0 | 7 | 77 520.66/520.80 c 516s | 15 | 489097 | 124932 | 227621 0 | 7 | 77 523.47/523.67 c 519s | 15 | 489424 | 125232 | 227621 0 | 7 | 77 526.16/526.34 c 522s | 15 | 489755 | 125532 | 227621 0 | 7 | 77 528.96/529.17 c 525s | 15 | 490101 | 125832 | 227621 0 | 7 | 77 531.36/531.51 c 527s | 15 | 490428 | 126132 | 227621 0 | 7 | 77 533.65/533.88 c 529s | 15 | 490650 | 126332 | 227621 0 | 7 | 77 535.95/536.15 c 532s | 15 | 490857 | 126532 | 227621 0 | 7 | 77 538.55/538.72 c 534s | 15 | 491198 | 126832 | 227621 0 | 7 | 77 541.25/541.43 c 537s | 15 | 491628 | 127232 | 227621 0 | 7 | 77 543.85/544.02 c 539s | 15 | 491977 | 127532 | 227621 0 | 7 | 77 546.05/546.29 c 542s | 15 | 492348 | 127832 | 227621 0 | 7 | 77 549.05/549.22 c 545s | 15 | 492834 | 128232 | 227621 0 | 7 | 77 551.55/551.71 c 547s | 15 | 493163 | 128532 | 227621 0 | 7 | 77 554.05/554.24 c 550s | 15 | 493501 | 128832 | 227621 0 | 7 | 77 556.05/556.25 c 552s | 15 | 493733 | 129032 | 227621 0 | 7 | 77 558.76/558.93 c 554s | 15 | 494064 | 129332 | 227621 0 | 7 | 77 561.15/561.39 c 557s | 15 | 494427 | 129632 | 227621 0 | 7 | 77 563.65/563.85 c 559s | 15 | 494772 | 129932 | 227621 0 | 7 | 77 566.14/566.31 c 562s | 15 | 495116 | 130232 | 227621 0 | 7 | 77 568.14/568.35 c 564s | 15 | 495477 | 130532 | 227621 0 | 7 | 77 570.54/570.76 c 566s | 15 | 495816 | 130832 | 250384 0 | 7 | 77 572.54/572.77 c 568s | 15 | 496048 | 131032 | 250384 0 | 7 | 77 575.04/575.22 c 571s | 15 | 496373 | 131332 | 250384 0 | 7 | 77 576.84/577.06 c 573s | 16 | 496645 | 131552 | 250384 0 | 7 | 77 578.94/579.11 c 575s | 16 | 502007 | 131852 | 250384 0 | 7 | 77 581.34/581.56 c 577s | 16 | 504932 | 132352 | 250384 0 | 7 | 77 583.74/583.99 c 579s | 16 | 507460 | 132852 | 250384 0 | 7 | 77 586.04/586.29 c 582s | 16 | 509731 | 133352 | 250384 0 | 7 | 77 588.34/588.56 c 584s | 16 | 511786 | 133852 | 250384 0 | 7 | 77 590.64/590.82 c 586s | 16 | 547332 | 135352 | 250384 0 | 7 | 77 592.73/592.91 c 588s | 16 | 564782 | 136852 | 250384 0 | 7 | 77 594.82/595.02 c 590s | 16 | 573071 | 137852 | 250384 0 | 7 | 77 596.83/597.09 c 593s | 16 | 587154 | 139252 | 250384 0 | 7 | 77 599.03/599.24 c 595s | 16 | 603059 | 140852 | 250384 0 | 7 | 77 601.03/601.24 c 597s | 16 | 617143 | 143252 | 250384 0 | 7 | 77 603.12/603.34 c 599s | 16 | 624803 | 144952 | 250384 0 | 7 | 77 605.22/605.46 c 601s | 16 | 628024 | 146152 | 250384 0 | 7 | 77 607.22/607.49 c 603s | 16 | 630131 | 146852 | 250384 0 | 7 | 77 609.33/609.56 c 605s | 16 | 641087 | 149452 | 250384 0 | 7 | 77 611.32/611.57 c 607s | 16 | 645416 | 150852 | 250384 0 | 7 | 77 613.42/613.68 c 609s | 16 | 649195 | 152052 | 250384 0 | 7 | 77 615.52/615.77 c 611s | 16 | 650744 | 152852 | 250384 0 | 7 | 77 617.92/618.10 c 614s | 16 | 651890 | 153552 | 250384 0 | 7 | 77 619.91/620.14 c 616s | 16 | 653730 | 154252 | 250384 0 | 7 | 77 622.31/622.59 c 618s | 16 | 655617 | 155252 | 250384 0 | 7 | 77 624.51/624.77 c 620s | 16 | 656167 | 155652 | 250384 0 | 7 | 77 626.61/626.82 c 622s | 16 | 657735 | 156452 | 250384 0 | 7 | 77 628.71/628.93 c 624s | 16 | 659330 | 157252 | 250384 0 | 7 | 77 630.71/630.96 c 626s | 16 | 665018 | 158552 | 250384 0 | 7 | 77 632.71/632.99 c 628s | 16 | 666819 | 159152 | 250384 0 | 7 | 77 635.01/635.26 c 631s | 16 | 667715 | 159652 | 250384 0 | 7 | 77 637.21/637.47 c 633s | 16 | 668744 | 160252 | 250384 0 | 7 | 77 639.40/639.63 c 635s | 16 | 670006 | 160752 | 250384 0 | 7 | 77 641.70/641.91 c 637s | 16 | 672095 | 161552 | 250384 0 | 7 | 77 643.90/644.12 c 640s | 16 | 674074 | 162352 | 250384 0 | 7 | 77 646.30/646.57 c 642s | 16 | 674937 | 162852 | 250384 0 | 7 | 77 648.70/648.92 c 644s | 16 | 675847 | 163352 | 250384 0 | 7 | 77 650.80/651.04 c 647s | 16 | 678380 | 164252 | 250384 0 | 7 | 77 653.00/653.24 c 649s | 16 | 681284 | 165452 | 250384 0 | 7 | 77 655.10/655.31 c 651s | 16 | 682833 | 166152 | 250384 0 | 7 | 77 657.20/657.49 c 653s | 16 | 683583 | 166652 | 250384 0 | 7 | 77 659.40/659.66 c 655s | 16 | 685586 | 167652 | 250384 0 | 7 | 77 662.10/662.33 c 658s | 16 | 686318 | 168152 | 250384 0 | 7 | 77 664.50/664.71 c 660s | 16 | 688269 | 168852 | 250384 0 | 7 | 77 666.80/667.06 c 663s | 16 | 689102 | 169352 | 250384 0 | 7 | 77 669.00/669.29 c 665s | 16 | 690621 | 169852 | 250384 0 | 7 | 77 671.29/671.50 c 667s | 16 | 691466 | 170352 | 250384 0 | 7 | 77 673.59/673.81 c 669s | 16 | 692013 | 170752 | 250384 0 | 7 | 77 675.99/676.21 c 672s | 16 | 692610 | 171152 | 250384 0 | 7 | 77 678.09/678.35 c 674s | 16 | 693733 | 171752 | 250384 0 | 7 | 77 680.39/680.67 c 676s | 16 | 694430 | 172252 | 250384 0 | 7 | 77 682.49/682.75 c 678s | 16 | 695259 | 172752 | 250384 0 | 7 | 77 684.68/684.97 c 680s | 16 | 695852 | 173152 | 250384 0 | 7 | 77 687.08/687.30 c 683s | 16 | 696245 | 173452 | 250384 0 | 7 | 77 689.08/689.38 c 685s | 16 | 696603 | 173752 | 250384 0 | 7 | 77 691.18/691.46 c 687s | 16 | 701353 | 174052 | 250384 0 | 7 | 77 693.58/693.83 c 689s | 16 | 721808 | 175652 | 250384 0 | 7 | 77 695.78/696.06 c 692s | 16 | 730002 | 176252 | 250384 0 | 7 | 77 697.97/698.21 c 694s | 16 | 739296 | 176852 | 250384 0 | 7 | 77 700.17/700.45 c 696s | 16 | 742243 | 177452 | 250384 0 | 7 | 77 702.57/702.86 c 698s | 16 | 748521 | 177952 | 250384 0 | 7 | 77 704.77/705.00 c 700s | 16 | 750434 | 178452 | 250384 0 | 7 | 77 707.27/707.53 c 703s | 16 | 750978 | 178852 | 250384 0 | 7 | 77 709.46/709.75 c 705s | 16 | 751644 | 179152 | 250384 0 | 7 | 77 711.46/711.75 c 707s | 16 | 755817 | 179652 | 250384 0 | 7 | 77 713.56/713.87 c 709s | 16 | 757322 | 180152 | 250384 0 | 7 | 77 715.86/716.10 c 712s | 16 | 757846 | 180452 | 250384 0 | 7 | 77 718.36/718.66 c 714s | 16 | 758573 | 180752 | 250384 0 | 7 | 77 720.55/720.85 c 716s | 16 | 760455 | 181052 | 250384 0 | 7 | 77 722.56/722.89 c 718s | 16 | 761081 | 181352 | 250384 0 | 7 | 77 724.86/725.13 c 721s | 16 | 761862 | 181752 | 250384 0 | 7 | 77 727.26/727.50 c 723s | 16 | 762867 | 182152 | 250384 0 | 7 | 77 729.26/729.58 c 725s | 16 | 764757 | 182552 | 250384 0 | 7 | 77 731.36/731.68 c 727s | 16 | 765212 | 182852 | 250384 0 | 7 | 77 733.75/734.00 c 729s | 16 | 765650 | 183152 | 250384 0 | 7 | 77 735.85/736.18 c 732s | 16 | 766246 | 183552 | 250384 0 | 7 | 77 738.35/738.69 c 734s | 16 | 766786 | 183952 | 250384 0 | 7 | 77 740.95/741.22 c 737s | 16 | 767260 | 184252 | 250384 0 | 7 | 77 743.25/743.57 c 739s | 16 | 769171 | 184752 | 250384 0 | 7 | 77 745.35/745.69 c 741s | 16 | 769660 | 185052 | 250384 0 | 7 | 77 748.05/748.35 c 744s | 16 | 770053 | 185352 | 250384 0 | 7 | 77 750.44/750.74 c 746s | 16 | 770477 | 185652 | 250384 0 | 7 | 77 752.74/753.04 c 749s | 16 | 770979 | 185952 | 250384 0 | 7 | 77 755.45/755.73 c 751s | 16 | 784046 | 187152 | 250384 0 | 7 | 77 757.94/758.28 c 754s | 16 | 786328 | 187652 | 250384 0 | 7 | 77 760.74/761.00 c 756s | 16 | 787962 | 188152 | 250384 0 | 7 | 77 762.74/763.06 c 759s | 16 | 790032 | 188552 | 250384 0 | 7 | 77 764.83/765.10 c 761s | 16 | 793019 | 189052 | 250384 0 | 7 | 77 766.83/767.18 c 763s | 16 | 797654 | 189652 | 250384 0 | 7 | 77 769.23/769.50 c 765s | 16 | 802102 | 190452 | 250384 0 | 7 | 77 771.43/771.78 c 767s | 16 | 807068 | 191052 | 250384 0 | 7 | 77 773.73/774.01 c 769s | 16 | 808340 | 191452 | 250384 0 | 7 | 77 775.83/776.14 c 772s | 16 | 810775 | 192052 | 250384 0 | 7 | 77 778.13/778.47 c 774s | 16 | 813048 | 192752 | 250384 0 | 7 | 77 780.42/780.70 c 776s | 16 | 813726 | 193152 | 250384 0 | 7 | 77 782.82/783.18 c 779s | 16 | 814080 | 193452 | 250384 0 | 7 | 77 784.92/785.29 c 781s | 16 | 814374 | 193652 | 250384 0 | 7 | 77 787.02/787.31 c 783s | 16 | 825902 | 195252 | 250384 0 | 7 | 77 789.52/789.82 c 785s | 16 | 829849 | 196152 | 275423 0 | 7 | 77 792.21/792.59 c 788s | 16 | 830914 | 196552 | 275423 0 | 7 | 77 794.71/795.06 c 791s | 16 | 831277 | 196852 | 275423 0 | 7 | 77 797.01/797.38 c 793s | 16 | 831693 | 197152 | 275423 0 | 7 | 77 798.42/798.73 c 794s | 17 | 832244 | 197432 | 275423 0 | 7 | 77 800.91/801.23 c 797s | 17 | 832482 | 197532 | 275423 0 | 7 | 77 803.31/803.66 c 799s | 17 | 832791 | 197732 | 275423 0 | 7 | 77 805.81/806.15 c 802s | 17 | 833019 | 197932 | 275423 0 | 7 | 77 808.01/808.32 c 804s | 17 | 833250 | 198132 | 275423 0 | 7 | 77 810.01/810.39 c 806s | 17 | 833480 | 198332 | 275423 0 | 7 | 77 812.21/812.53 c 808s | 17 | 833710 | 198532 | 275423 0 | 7 | 77 814.82/815.11 c 811s | 17 | 834126 | 198832 | 275423 0 | 7 | 77 816.91/817.20 c 813s | 17 | 834470 | 199032 | 275423 0 | 7 | 77 819.01/819.37 c 815s | 17 | 834720 | 199232 | 275423 0 | 7 | 77 821.42/821.79 c 817s | 17 | 834972 | 199432 | 275423 0 | 7 | 77 823.72/824.06 c 820s | 17 | 835212 | 199632 | 275423 0 | 7 | 77 825.71/826.09 c 822s | 17 | 835438 | 199832 | 275423 0 | 7 | 77 827.91/828.27 c 824s | 17 | 835658 | 200032 | 275423 0 | 7 | 77 830.10/830.47 c 826s | 17 | 835928 | 200232 | 275423 0 | 7 | 77 832.41/832.74 c 828s | 17 | 836179 | 200432 | 275423 0 | 7 | 77 835.10/835.42 c 831s | 17 | 836518 | 200732 | 275423 0 | 7 | 77 837.30/837.64 c 833s | 17 | 836895 | 201032 | 275423 0 | 7 | 77 840.11/840.48 c 836s | 17 | 837262 | 201332 | 275423 0 | 7 | 77 843.10/843.46 c 839s | 17 | 837613 | 201632 | 275423 0 | 7 | 77 845.20/845.57 c 841s | 17 | 837880 | 201832 | 275423 0 | 7 | 77 847.90/848.29 c 844s | 17 | 838216 | 202132 | 275423 0 | 7 | 77 850.29/850.65 c 846s | 17 | 838454 | 202332 | 275423 0 | 7 | 77 852.30/852.66 c 848s | 17 | 838686 | 202532 | 275423 0 | 7 | 77 854.50/854.89 c 850s | 17 | 838932 | 202732 | 275423 0 | 7 | 77 856.79/857.16 c 853s | 17 | 839157 | 202932 | 275423 0 | 7 | 77 858.90/859.21 c 855s | 17 | 839369 | 203132 | 275423 0 | 7 | 77 860.89/861.28 c 857s | 17 | 839689 | 203332 | 275423 0 | 7 | 77 864.19/864.50 c 860s | 17 | 840039 | 203632 | 275423 0 | 7 | 77 867.29/867.62 c 863s | 17 | 840380 | 203932 | 275423 0 | 7 | 77 869.99/870.30 c 866s | 17 | 840723 | 204232 | 275423 0 | 7 | 77 872.69/873.05 c 869s | 17 | 841050 | 204532 | 275423 0 | 7 | 77 875.69/876.03 c 871s | 17 | 841415 | 204832 | 275423 0 | 7 | 77 878.29/878.65 c 874s | 17 | 841794 | 205132 | 275423 0 | 7 | 77 880.89/881.27 c 877s | 17 | 842158 | 205432 | 275423 0 | 7 | 77 882.88/883.30 c 879s | 17 | 842390 | 205632 | 275423 0 | 7 | 77 885.78/886.18 c 882s | 17 | 842725 | 205932 | 275423 0 | 7 | 77 888.59/888.90 c 884s | 17 | 843051 | 206232 | 275423 0 | 7 | 77 891.38/891.74 c 887s | 17 | 843377 | 206532 | 275423 0 | 7 | 77 893.48/893.87 c 889s | 17 | 843617 | 206732 | 275423 0 | 7 | 77 895.47/895.88 c 891s | 17 | 843851 | 206932 | 275423 0 | 7 | 77 898.07/898.45 c 894s | 17 | 844183 | 207232 | 275423 0 | 7 | 77 900.58/900.98 c 896s | 17 | 844520 | 207532 | 275423 0 | 7 | 77 902.88/903.28 c 899s | 17 | 844874 | 207832 | 275423 0 | 7 | 77 905.47/905.80 c 901s | 17 | 845205 | 208132 | 275423 0 | 7 | 77 907.67/908.03 c 903s | 17 | 845552 | 208432 | 275423 0 | 7 | 77 910.37/910.75 c 906s | 17 | 845877 | 208732 | 275423 0 | 7 | 77 912.87/913.30 c 909s | 17 | 846184 | 209032 | 275423 0 | 7 | 77 915.27/915.64 c 911s | 17 | 846538 | 209332 | 275423 0 | 7 | 77 918.07/918.50 c 914s | 17 | 846872 | 209632 | 275423 0 | 7 | 77 920.77/921.17 c 917s | 17 | 847230 | 209932 | 275423 0 | 7 | 77 923.06/923.46 c 919s | 17 | 847575 | 210232 | 275423 0 | 7 | 77 925.76/926.15 c 922s | 17 | 847919 | 210532 | 275423 0 | 7 | 77 928.36/928.70 c 924s | 17 | 848250 | 210832 | 275423 0 | 7 | 77 930.46/930.87 c 926s | 17 | 848604 | 211132 | 275423 0 | 7 | 77 933.16/933.52 c 929s | 17 | 848937 | 211432 | 275423 0 | 7 | 77 935.87/936.22 c 932s | 17 | 849395 | 211732 | 275423 0 | 7 | 77 938.26/938.63 c 934s | 17 | 849609 | 211932 | 275423 0 | 7 | 77 940.46/940.86 c 936s | 17 | 849830 | 212132 | 275423 0 | 7 | 77 943.15/943.56 c 939s | 17 | 850177 | 212432 | 275423 0 | 7 | 77 945.85/946.23 c 942s | 17 | 850582 | 212732 | 275423 0 | 7 | 77 948.45/948.82 c 944s | 17 | 850932 | 213032 | 275423 0 | 7 | 77 950.65/951.05 c 947s | 17 | 851168 | 213232 | 275423 0 | 7 | 77 953.05/953.40 c 949s | 17 | 851425 | 213432 | 275423 0 | 7 | 77 955.25/955.60 c 951s | 17 | 851650 | 213632 | 275423 0 | 7 | 77 957.45/957.87 c 953s | 17 | 851864 | 213832 | 275423 0 | 7 | 77 959.75/960.11 c 956s | 17 | 852093 | 214032 | 275423 0 | 7 | 77 962.26/962.60 c 958s | 17 | 852433 | 214332 | 275423 0 | 7 | 77 964.25/964.65 c 960s | 17 | 852745 | 214632 | 275423 0 | 7 | 77 966.56/966.99 c 962s | 17 | 853087 | 214932 | 275423 0 | 7 | 77 969.05/969.40 c 965s | 17 | 853445 | 215232 | 275423 0 | 7 | 77 972.06/972.48 c 968s | 17 | 853781 | 215532 | 275423 0 | 7 | 77 974.85/975.26 c 971s | 17 | 854115 | 215832 | 275423 0 | 7 | 77 977.56/977.92 c 973s | 17 | 854433 | 216132 | 275423 0 | 7 | 77 980.25/980.66 c 976s | 17 | 854777 | 216432 | 275423 0 | 7 | 77 982.56/982.99 c 978s | 17 | 855672 | 216832 | 275423 0 | 7 | 77 985.26/985.69 c 981s | 17 | 856376 | 217232 | 275423 0 | 7 | 77 987.76/988.13 c 984s | 17 | 856761 | 217532 | 275423 0 | 7 | 77 989.96/990.32 c 986s | 17 | 857113 | 217832 | 275423 0 | 7 | 77 992.66/993.09 c 989s | 17 | 857491 | 218132 | 275423 0 | 7 | 77 994.96/995.33 c 991s | 17 | 857841 | 218432 | 275423 0 | 7 | 77 997.66/998.05 c 994s | 17 | 858175 | 218732 | 275423 0 | 7 | 77 1000.26/1000.63 c 996s | 17 | 858523 | 219032 | 275423 0 | 7 | 77 1002.35/1002.78 c 998s | 17 | 858777 | 219232 | 275423 0 | 7 | 77 1005.25/1005.66 c 1001s | 17 | 859154 | 219532 | 275423 0 | 7 | 77 1007.55/1007.95 c 1003s | 17 | 859423 | 219732 | 275423 0 | 7 | 77 1009.85/1010.27 c 1006s | 17 | 859671 | 219932 | 275423 0 | 7 | 77 1012.05/1012.47 c 1008s | 17 | 859894 | 220132 | 275423 0 | 7 | 77 1014.35/1014.70 c 1010s | 17 | 860131 | 220332 | 275423 0 | 7 | 77 1016.35/1016.76 c 1012s | 17 | 860371 | 220532 | 275423 0 | 7 | 77 1018.65/1019.06 c 1015s | 17 | 860603 | 220732 | 275423 0 | 7 | 77 1021.56/1021.94 c 1017s | 17 | 860964 | 221032 | 275423 0 | 7 | 77 1024.25/1024.65 c 1020s | 17 | 861345 | 221332 | 275423 0 | 7 | 77 1026.65/1027.03 c 1023s | 17 | 861581 | 221532 | 275423 0 | 7 | 77 1029.55/1029.95 c 1025s | 17 | 861929 | 221832 | 275423 0 | 7 | 77 1031.75/1032.17 c 1028s | 17 | 862179 | 222032 | 275423 0 | 7 | 77 1033.95/1034.33 c 1030s | 17 | 862484 | 222232 | 275423 0 | 7 | 77 1036.35/1036.71 c 1032s | 17 | 862709 | 222432 | 275423 0 | 7 | 77 1038.55/1038.91 c 1034s | 17 | 862944 | 222632 | 275423 0 | 7 | 77 1040.85/1041.24 c 1037s | 17 | 863193 | 222832 | 275423 0 | 7 | 77 1042.85/1043.26 c 1039s | 17 | 863430 | 223032 | 275423 0 | 7 | 77 1044.85/1045.28 c 1041s | 17 | 863659 | 223232 | 275423 0 | 7 | 77 1047.85/1048.21 c 1044s | 17 | 864008 | 223532 | 275423 0 | 7 | 77 1050.05/1050.40 c 1046s | 17 | 864230 | 223732 | 275423 0 | 7 | 77 1052.35/1052.74 c 1048s | 17 | 864458 | 223932 | 275423 0 | 7 | 77 1054.65/1055.02 c 1050s | 17 | 864703 | 224132 | 275423 0 | 7 | 77 1056.85/1057.21 c 1053s | 17 | 864918 | 224332 | 275423 0 | 7 | 77 1059.74/1060.16 c 1056s | 17 | 865297 | 224632 | 275423 0 | 7 | 77 1061.84/1062.22 c 1058s | 17 | 865522 | 224832 | 275423 0 | 7 | 77 1063.84/1064.27 c 1060s | 17 | 865748 | 225032 | 275423 0 | 7 | 77 1066.04/1066.43 c 1062s | 17 | 865967 | 225232 | 275423 0 | 7 | 77 1068.04/1068.44 c 1064s | 17 | 866194 | 225432 | 275423 0 | 7 | 77 1070.24/1070.62 c 1066s | 17 | 866419 | 225632 | 275423 0 | 7 | 77 1072.44/1072.81 c 1068s | 17 | 866640 | 225832 | 275423 0 | 7 | 77 1074.45/1074.84 c 1070s | 17 | 866862 | 226032 | 275423 0 | 7 | 77 1076.55/1076.94 c 1072s | 17 | 867130 | 226232 | 275423 0 | 7 | 77 1079.74/1080.15 c 1076s | 17 | 867471 | 226532 | 275423 0 | 7 | 77 1082.15/1082.55 c 1078s | 17 | 867703 | 226732 | 275423 0 | 7 | 77 1084.35/1084.77 c 1080s | 17 | 867955 | 226932 | 275423 0 | 7 | 77 1086.45/1086.82 c 1082s | 17 | 868254 | 227132 | 275423 0 | 7 | 77 1089.34/1089.75 c 1085s | 17 | 868643 | 227432 | 275423 0 | 7 | 77 1091.64/1092.05 c 1088s | 17 | 868879 | 227632 | 275423 0 | 7 | 77 1094.25/1094.66 c 1090s | 17 | 869135 | 227832 | 275423 0 | 7 | 77 1096.84/1097.20 c 1093s | 17 | 869379 | 228032 | 275423 0 | 7 | 77 1099.14/1099.53 c 1095s | 17 | 869619 | 228232 | 275423 0 | 7 | 77 1101.44/1101.84 c 1097s | 17 | 869837 | 228432 | 275423 0 | 7 | 77 1104.24/1104.66 c 1100s | 17 | 870203 | 228732 | 275423 0 | 7 | 77 1106.44/1106.84 c 1102s | 17 | 870692 | 229032 | 275423 0 | 7 | 77 1109.04/1109.45 c 1105s | 17 | 871457 | 229332 | 275423 0 | 7 | 77 1111.44/1111.86 c 1107s | 17 | 871724 | 229532 | 275423 0 | 7 | 77 1113.54/1114.00 c 1109s | 17 | 871958 | 229732 | 275423 0 | 7 | 77 1115.64/1116.03 c 1111s | 17 | 872234 | 229932 | 275423 0 | 7 | 77 1118.54/1118.94 c 1114s | 17 | 872636 | 230132 | 275423 0 | 7 | 77 1120.64/1121.03 c 1116s | 17 | 885280 | 230532 | 275423 0 | 7 | 77 1122.84/1123.23 c 1119s | 17 | 892645 | 231132 | 275423 0 | 7 | 77 1124.84/1125.25 c 1121s | 17 | 897197 | 231732 | 275423 0 | 7 | 77 1127.24/1127.60 c 1123s | 17 | 907729 | 232332 | 275423 0 | 7 | 77 1129.34/1129.72 c 1125s | 17 | 913135 | 232832 | 275423 0 | 7 | 77 1131.33/1131.78 c 1127s | 17 | 916094 | 233332 | 275423 0 | 7 | 77 1133.43/1133.84 c 1129s | 17 | 918182 | 233832 | 275423 0 | 7 | 77 1135.63/1136.02 c 1131s | 17 | 921001 | 234232 | 275423 0 | 7 | 77 1137.93/1138.31 c 1134s | 17 | 922645 | 234532 | 275423 0 | 7 | 77 1140.44/1140.85 c 1136s | 17 | 925335 | 235032 | 275423 0 | 7 | 77 1142.43/1142.88 c 1138s | 17 | 926724 | 235332 | 275423 0 | 7 | 77 1146.03/1146.41 c 1142s | 17 | 927949 | 235732 | 275423 0 | 7 | 77 1148.23/1148.66 c 1144s | 17 | 928235 | 235932 | 275423 0 | 7 | 77 1151.03/1151.43 c 1147s | 17 | 930154 | 236632 | 275423 0 | 7 | 77 1153.73/1154.13 c 1150s | 17 | 932418 | 237132 | 275423 0 | 7 | 77 1156.53/1156.98 c 1152s | 17 | 933263 | 237532 | 275423 0 | 7 | 77 1158.93/1159.40 c 1155s | 17 | 933832 | 237732 | 275423 0 | 7 | 77 1161.43/1161.86 c 1157s | 17 | 934209 | 237932 | 275423 0 | 7 | 77 1163.93/1164.34 c 1160s | 17 | 934911 | 238232 | 275423 0 | 7 | 77 1166.03/1166.46 c 1162s | 17 | 936059 | 238432 | 275423 0 | 7 | 77 1168.63/1169.09 c 1165s | 17 | 938067 | 238932 | 275423 0 | 7 | 77 1172.03/1172.47 c 1168s | 17 | 939769 | 239232 | 275423 0 | 7 | 77 1174.43/1174.88 c 1170s | 17 | 939996 | 239432 | 275423 0 | 7 | 77 1176.83/1177.21 c 1173s | 17 | 940219 | 239632 | 275423 0 | 7 | 77 1179.03/1179.49 c 1175s | 17 | 944642 | 240332 | 275423 0 | 7 | 77 1181.13/1181.52 c 1177s | 17 | 946456 | 240832 | 275423 0 | 7 | 77 1184.13/1184.56 c 1180s | 17 | 947495 | 241232 | 275423 0 | 7 | 77 1187.02/1187.43 c 1183s | 17 | 948000 | 241432 | 275423 0 | 7 | 77 1190.12/1190.58 c 1186s | 17 | 948276 | 241632 | 275423 0 | 7 | 77 1192.72/1193.13 c 1189s | 17 | 948563 | 241832 | 275423 0 | 7 | 77 1194.72/1195.14 c 1191s | 17 | 949617 | 242132 | 275423 0 | 7 | 77 1197.82/1198.24 c 1194s | 17 | 949906 | 242332 | 275423 0 | 7 | 77 1200.12/1200.53 c 1196s | 17 | 950259 | 242532 | 275423 0 | 7 | 77 1202.12/1202.58 c 1198s | 17 | 950660 | 242732 | 275423 0 | 7 | 77 1204.23/1204.61 c 1200s | 17 | 951341 | 243032 | 275423 0 | 7 | 77 1206.52/1206.90 c 1202s | 17 | 951636 | 243232 | 275423 0 | 7 | 77 1208.53/1208.93 c 1204s | 17 | 955090 | 243732 | 275423 0 | 7 | 77 1211.22/1211.68 c 1207s | 17 | 959602 | 244332 | 275423 0 | 7 | 77 1214.13/1214.59 c 1210s | 17 | 959827 | 244532 | 275423 0 | 7 | 77 1216.82/1217.25 c 1213s | 17 | 960050 | 244732 | 275423 0 | 7 | 77 1219.42/1219.86 c 1215s | 17 | 960278 | 244932 | 275423 0 | 7 | 77 1221.62/1222.00 c 1217s | 17 | 960499 | 245132 | 275423 0 | 7 | 77 1224.42/1224.81 c 1220s | 17 | 960730 | 245332 | 275423 0 | 7 | 77 1226.82/1227.26 c 1223s | 17 | 960937 | 245532 | 275423 0 | 7 | 77 1229.43/1229.89 c 1225s | 17 | 961171 | 245732 | 275423 0 | 7 | 77 1231.82/1232.27 c 1228s | 17 | 961400 | 245932 | 275423 0 | 7 | 77 1234.12/1234.53 c 1230s | 17 | 961617 | 246132 | 275423 0 | 7 | 77 1236.42/1236.85 c 1232s | 17 | 961839 | 246332 | 275423 0 | 7 | 77 1238.82/1239.26 c 1235s | 17 | 962086 | 246532 | 275423 0 | 7 | 77 1241.02/1241.43 c 1237s | 17 | 962426 | 246732 | 275423 0 | 7 | 77 1243.72/1244.15 c 1240s | 17 | 962674 | 246932 | 275423 0 | 7 | 77 1246.72/1247.15 c 1243s | 17 | 962928 | 247132 | 275423 0 | 7 | 77 1249.62/1250.08 c 1246s | 17 | 963164 | 247332 | 275423 0 | 7 | 77 1252.52/1252.94 c 1248s | 17 | 963388 | 247532 | 275423 0 | 7 | 77 1255.31/1255.76 c 1251s | 17 | 963637 | 247732 | 275423 0 | 7 | 77 1258.02/1258.41 c 1254s | 17 | 963885 | 247932 | 275423 0 | 7 | 77 1260.61/1261.07 c 1257s | 17 | 964123 | 248132 | 275423 0 | 7 | 77 1263.41/1263.82 c 1259s | 17 | 964341 | 248332 | 275423 0 | 7 | 77 1266.31/1266.71 c 1262s | 17 | 964565 | 248532 | 275423 0 | 7 | 77 1269.31/1269.77 c 1265s | 17 | 964898 | 248832 | 275423 0 | 7 | 77 1271.41/1271.82 c 1267s | 17 | 965130 | 249032 | 275423 0 | 7 | 77 1273.61/1274.06 c 1270s | 17 | 965363 | 249232 | 275423 0 | 7 | 77 1276.01/1276.46 c 1272s | 17 | 965600 | 249432 | 275423 0 | 7 | 77 1279.02/1279.42 c 1275s | 17 | 965816 | 249632 | 275423 0 | 7 | 77 1281.41/1281.85 c 1277s | 17 | 966051 | 249832 | 275423 0 | 7 | 77 1283.61/1284.05 c 1280s | 17 | 966269 | 250032 | 275423 0 | 7 | 77 1286.72/1287.11 c 1283s | 17 | 966600 | 250332 | 275423 0 | 7 | 77 1289.11/1289.53 c 1285s | 17 | 966833 | 250532 | 275423 0 | 7 | 77 1291.31/1291.76 c 1287s | 17 | 967102 | 250732 | 275423 0 | 7 | 77 1293.91/1294.32 c 1290s | 17 | 967352 | 250932 | 275423 0 | 7 | 77 1296.31/1296.75 c 1292s | 17 | 967565 | 251132 | 275423 0 | 7 | 77 1298.61/1299.09 c 1295s | 17 | 967783 | 251332 | 275423 0 | 7 | 77 1301.51/1301.96 c 1297s | 17 | 968001 | 251532 | 275423 0 | 7 | 77 1304.50/1304.96 c 1300s | 17 | 968231 | 251732 | 275423 0 | 7 | 77 1306.80/1307.28 c 1303s | 17 | 968545 | 251932 | 275423 0 | 7 | 77 1309.10/1309.54 c 1305s | 17 | 971593 | 252132 | 275423 0 | 7 | 77 1311.60/1312.03 c 1307s | 17 | 972044 | 252332 | 275423 0 | 7 | 77 1313.70/1314.18 c 1310s | 17 | 973386 | 252632 | 275423 0 | 7 | 77 1316.50/1316.93 c 1312s | 17 | 973878 | 252932 | 275423 0 | 7 | 77 1318.61/1319.10 c 1315s | 17 | 974288 | 253132 | 275423 0 | 7 | 77 1321.40/1321.87 c 1317s | 17 | 975010 | 253432 | 275423 0 | 7 | 77 1323.50/1323.91 c 1319s | 17 | 975460 | 253632 | 275423 0 | 7 | 77 1326.00/1326.50 c 1322s | 17 | 976033 | 253932 | 275423 0 | 7 | 77 1328.30/1328.73 c 1324s | 17 | 976765 | 254232 | 275423 0 | 7 | 77 1331.40/1331.86 c 1327s | 17 | 977208 | 254532 | 275423 0 | 7 | 77 1333.80/1334.30 c 1330s | 17 | 977553 | 254732 | 275423 0 | 7 | 77 1336.00/1336.47 c 1332s | 17 | 977845 | 254932 | 275423 0 | 7 | 77 1338.10/1338.50 c 1334s | 17 | 978200 | 255132 | 275423 0 | 7 | 77 1340.80/1341.24 c 1337s | 17 | 978562 | 255432 | 275423 0 | 7 | 77 1342.90/1343.32 c 1339s | 17 | 978841 | 255632 | 275423 0 | 7 | 77 1345.20/1345.69 c 1341s | 17 | 979171 | 255832 | 275423 0 | 7 | 77 1348.00/1348.48 c 1344s | 17 | 979948 | 256132 | 275423 0 | 7 | 77 1350.50/1350.99 c 1346s | 17 | 980614 | 256432 | 275423 0 | 7 | 77 1353.20/1353.62 c 1349s | 17 | 981235 | 256732 | 275423 0 | 7 | 77 1355.30/1355.74 c 1351s | 17 | 981593 | 256932 | 275423 0 | 7 | 77 1358.40/1358.81 c 1354s | 17 | 982011 | 257232 | 275423 0 | 7 | 77 1360.80/1361.28 c 1357s | 17 | 982243 | 257432 | 275423 0 | 7 | 77 1363.09/1363.55 c 1359s | 17 | 982474 | 257632 | 275423 0 | 7 | 77 1365.19/1365.60 c 1361s | 17 | 983443 | 257832 | 275423 0 | 7 | 77 1368.19/1368.61 c 1364s | 17 | 984077 | 258132 | 275423 0 | 7 | 77 1370.30/1370.71 c 1366s | 17 | 984392 | 258332 | 275423 0 | 7 | 77 1372.79/1373.24 c 1369s | 17 | 984661 | 258532 | 275423 0 | 7 | 77 1375.39/1375.86 c 1371s | 17 | 985198 | 258832 | 275423 0 | 7 | 77 1377.69/1378.13 c 1374s | 17 | 987674 | 259232 | 275423 0 | 7 | 77 1379.99/1380.45 c 1376s | 17 | 993067 | 259532 | 275423 0 | 7 | 77 1382.30/1382.75 c 1378s | 17 | 1008771 | 260332 | 275423 0 | 7 | 77 1384.60/1385.09 c 1381s | 17 | 1010323 | 260632 | 275423 0 | 7 | 77 1386.59/1387.09 c 1383s | 17 | 1017628 | 261232 | 275423 0 | 7 | 77 1389.59/1390.03 c 1385s | 17 | 1021526 | 261732 | 275423 0 | 7 | 77 1391.79/1392.25 c 1388s | 17 | 1022270 | 261932 | 275423 0 | 7 | 77 1394.19/1394.67 c 1390s | 17 | 1026387 | 262432 | 275423 0 | 7 | 77 1396.69/1397.14 c 1393s | 17 | 1030574 | 263132 | 275423 0 | 7 | 77 1399.09/1399.50 c 1395s | 17 | 1031749 | 263432 | 275423 0 | 7 | 77 1401.39/1401.83 c 1397s | 17 | 1032234 | 263632 | 275423 0 | 7 | 77 1403.49/1403.91 c 1399s | 17 | 1034613 | 263932 | 275423 0 | 7 | 77 1405.69/1406.16 c 1402s | 17 | 1040275 | 264332 | 275423 0 | 7 | 77 1407.89/1408.33 c 1404s | 17 | 1040875 | 264532 | 275423 0 | 7 | 77 1409.99/1410.42 c 1406s | 17 | 1041504 | 264732 | 275423 0 | 7 | 77 1412.39/1412.85 c 1408s | 17 | 1043415 | 265132 | 275423 0 | 7 | 77 1414.49/1414.97 c 1410s | 17 | 1044200 | 265432 | 275423 0 | 7 | 77 1416.88/1417.37 c 1413s | 17 | 1046424 | 265832 | 275423 0 | 7 | 77 1419.28/1419.71 c 1415s | 17 | 1047746 | 266232 | 275423 0 | 7 | 77 1421.89/1422.38 c 1418s | 17 | 1049594 | 266632 | 275423 0 | 7 | 77 1424.78/1425.21 c 1421s | 17 | 1049849 | 266832 | 275423 0 | 7 | 77 1428.08/1428.55 c 1424s | 17 | 1050152 | 267032 | 275423 0 | 7 | 77 1431.18/1431.61 c 1427s | 17 | 1050700 | 267232 | 275423 0 | 7 | 77 1434.38/1434.81 c 1430s | 17 | 1050932 | 267432 | 275423 0 | 7 | 77 1437.18/1437.63 c 1433s | 17 | 1051210 | 267632 | 275423 0 | 7 | 77 1439.78/1440.22 c 1436s | 17 | 1051750 | 267832 | 275423 0 | 7 | 77 1442.58/1443.08 c 1439s | 17 | 1052198 | 268032 | 275423 0 | 7 | 77 1445.48/1445.95 c 1441s | 17 | 1052420 | 268232 | 275423 0 | 7 | 77 1448.88/1449.36 c 1445s | 17 | 1052677 | 268432 | 275423 0 | 7 | 77 1452.08/1452.54 c 1448s | 17 | 1052915 | 268632 | 275423 0 | 7 | 77 1454.99/1455.41 c 1451s | 17 | 1053163 | 268832 | 275423 0 | 7 | 77 1458.08/1458.51 c 1454s | 17 | 1053388 | 269032 | 275423 0 | 7 | 77 1460.58/1461.02 c 1456s | 17 | 1053620 | 269232 | 275423 0 | 7 | 77 1463.38/1463.81 c 1459s | 17 | 1053858 | 269432 | 275423 0 | 7 | 77 1466.28/1466.74 c 1462s | 17 | 1054104 | 269632 | 275423 0 | 7 | 77 1469.28/1469.78 c 1465s | 17 | 1054336 | 269832 | 275423 0 | 7 | 77 1471.48/1471.93 c 1467s | 17 | 1055406 | 270032 | 275423 0 | 7 | 77 1474.38/1474.82 c 1470s | 17 | 1057237 | 270432 | 275423 0 | 7 | 77 1476.98/1477.44 c 1473s | 17 | 1057519 | 270632 | 275423 0 | 7 | 77 1480.18/1480.62 c 1476s | 17 | 1057796 | 270832 | 275423 0 | 7 | 77 1482.57/1483.04 c 1479s | 17 | 1058079 | 271032 | 275423 0 | 7 | 77 1485.47/1485.97 c 1481s | 17 | 1058344 | 271232 | 275423 0 | 7 | 77 1487.77/1488.22 c 1484s | 17 | 1058586 | 271432 | 275423 0 | 7 | 77 1490.18/1490.63 c 1486s | 17 | 1058938 | 271632 | 275423 0 | 7 | 77 1492.57/1493.05 c 1489s | 17 | 1059206 | 271832 | 275423 0 | 7 | 77 1495.27/1495.72 c 1491s | 17 | 1059425 | 272032 | 275423 0 | 7 | 77 1497.78/1498.22 c 1494s | 17 | 1059672 | 272232 | 275423 0 | 7 | 77 1500.87/1501.35 c 1497s | 17 | 1059888 | 272432 | 275423 0 | 7 | 77 1503.87/1504.38 c 1500s | 17 | 1060160 | 272632 | 275423 0 | 7 | 77 1506.68/1507.19 c 1503s | 17 | 1060481 | 272832 | 275423 0 | 7 | 77 1509.57/1510.05 c 1506s | 17 | 1060736 | 273032 | 275423 0 | 7 | 77 1512.87/1513.34 c 1509s | 17 | 1061004 | 273232 | 275423 0 | 7 | 77 1515.77/1516.20 c 1512s | 17 | 1061383 | 273432 | 275423 0 | 7 | 77 1517.97/1518.43 c 1514s | 17 | 1062011 | 273632 | 275423 0 | 7 | 77 1520.27/1520.78 c 1516s | 17 | 1062363 | 273832 | 275423 0 | 7 | 77 1522.57/1523.03 c 1518s | 17 | 1062672 | 274032 | 275423 0 | 7 | 77 1525.27/1525.74 c 1521s | 17 | 1063078 | 274232 | 275423 0 | 7 | 77 1528.37/1528.83 c 1524s | 17 | 1063333 | 274432 | 275423 0 | 7 | 77 1531.57/1532.00 c 1527s | 17 | 1063578 | 274632 | 275423 0 | 7 | 77 1534.07/1534.58 c 1530s | 17 | 1063859 | 274832 | 275423 0 | 7 | 77 1536.97/1537.43 c 1533s | 17 | 1064139 | 275032 | 275423 0 | 7 | 77 1539.57/1540.02 c 1535s | 17 | 1064409 | 275232 | 275423 0 | 7 | 77 1542.26/1542.72 c 1538s | 17 | 1064727 | 275432 | 275423 0 | 7 | 77 1544.36/1544.84 c 1540s | 17 | 1065100 | 275632 | 275423 0 | 7 | 77 1546.86/1547.36 c 1543s | 17 | 1065697 | 275832 | 275423 0 | 7 | 77 1549.57/1550.07 c 1546s | 17 | 1066423 | 276132 | 275423 0 | 7 | 77 1552.96/1553.49 c 1549s | 17 | 1066642 | 276332 | 275423 0 | 7 | 77 1555.96/1556.46 c 1552s | 17 | 1066903 | 276532 | 275423 0 | 7 | 77 1559.16/1559.62 c 1555s | 17 | 1067143 | 276732 | 275423 0 | 7 | 77 1569.67/1570.19 c 1566s | 17 | 1067258 | 276832 | 275423 1 | 7 | 77 1577.07/1577.52 c 1573s | 17 | 1067389 | 276932 | 275423 1 | 7 | 77 1579.66/1580.18 c 1576s | 17 | 1068250 | 277332 | 275423 1 | 7 | 77 1582.67/1583.17 c 1579s | 17 | 1068630 | 277532 | 275423 1 | 7 | 77 1585.06/1585.54 c 1581s | 17 | 1069036 | 277832 | 275423 1 | 7 | 77 1587.56/1588.05 c 1584s | 17 | 1069764 | 278232 | 275423 1 | 7 | 77 1591.26/1591.73 c 1587s | 17 | 1069936 | 278332 | 275423 1 | 7 | 77 1594.06/1594.58 c 1590s | 17 | 1071042 | 278532 | 275423 1 | 7 | 77 1596.26/1596.74 c 1592s | 17 | 1082013 | 279232 | 275423 1 | 7 | 77 1598.66/1599.14 c 1595s | 17 | 1088723 | 280232 | 275423 1 | 7 | 77 1601.06/1601.52 c 1597s | 17 | 1091382 | 280832 | 275423 1 | 7 | 77 1603.16/1603.60 c 1599s | 17 | 1094546 | 281532 | 275423 1 | 7 | 77 1605.46/1605.95 c 1601s | 17 | 1097316 | 282232 | 275423 1 | 7 | 77 1607.87/1608.39 c 1604s | 17 | 1098742 | 282732 | 275423 1 | 7 | 77 1610.26/1610.74 c 1606s | 17 | 1101934 | 283332 | 275423 1 | 7 | 77 1612.46/1612.90 c 1608s | 17 | 1102731 | 283732 | 275423 1 | 7 | 77 1614.76/1615.26 c 1611s | 17 | 1105671 | 284532 | 275423 1 | 7 | 77 1616.86/1617.30 c 1613s | 17 | 1106718 | 284932 | 275423 1 | 7 | 77 1618.87/1619.34 c 1615s | 17 | 1107876 | 285432 | 275423 1 | 7 | 77 1621.26/1621.73 c 1617s | 17 | 1108651 | 285832 | 275423 1 | 7 | 77 1623.56/1624.06 c 1620s | 17 | 1114271 | 286132 | 275423 1 | 7 | 77 1625.66/1626.13 c 1622s | 17 | 1119587 | 286932 | 275423 1 | 7 | 77 1627.86/1628.39 c 1624s | 17 | 1121259 | 287532 | 275423 1 | 7 | 77 1630.56/1631.00 c 1626s | 17 | 1122299 | 287932 | 275423 1 | 7 | 77 1632.56/1633.03 c 1628s | 17 | 1122792 | 288232 | 275423 1 | 7 | 77 1634.76/1635.25 c 1631s | 17 | 1123048 | 288432 | 275423 1 | 7 | 77 1637.16/1637.67 c 1633s | 17 | 1124165 | 288832 | 275423 1 | 7 | 77 1639.56/1640.03 c 1635s | 17 | 1124881 | 289232 | 275423 1 | 7 | 77 1641.76/1642.25 c 1638s | 17 | 1125343 | 289532 | 275423 1 | 7 | 77 1644.16/1644.60 c 1640s | 17 | 1125919 | 289932 | 275423 1 | 7 | 77 1646.26/1646.71 c 1642s | 17 | 1126359 | 290232 | 275423 1 | 7 | 77 1648.56/1649.07 c 1645s | 17 | 1127141 | 290632 | 275423 1 | 7 | 77 1650.96/1651.44 c 1647s | 17 | 1128060 | 291032 | 275423 1 | 7 | 77 1653.05/1653.52 c 1649s | 17 | 1129034 | 291432 | 275423 1 | 7 | 77 1655.65/1656.16 c 1652s | 17 | 1129688 | 291832 | 275423 1 | 7 | 77 1658.05/1658.50 c 1654s | 17 | 1130899 | 292332 | 275423 1 | 7 | 77 1660.66/1661.10 c 1657s | 17 | 1131483 | 292732 | 275423 1 | 7 | 77 1663.45/1663.97 c 1659s | 17 | 1131837 | 293032 | 275423 1 | 7 | 77 1666.06/1666.57 c 1662s | 17 | 1132356 | 293332 | 275423 1 | 7 | 77 1668.26/1668.80 c 1664s | 17 | 1132724 | 293632 | 275423 1 | 7 | 77 1670.35/1670.89 c 1666s | 17 | 1133412 | 294032 | 275423 1 | 7 | 77 1673.15/1673.67 c 1669s | 17 | 1133944 | 294432 | 302966 1 | 7 | 77 1675.65/1676.13 c 1672s | 17 | 1135003 | 294832 | 302966 1 | 7 | 77 1677.95/1678.48 c 1674s | 17 | 1135673 | 295232 | 302966 1 | 7 | 77 1680.55/1681.05 c 1677s | 17 | 1136346 | 295632 | 302966 1 | 7 | 77 1682.45/1682.92 c 1678s | 18 | 1137689 | 296252 | 302966 1 | 7 | 77 1690.64/1691.14 c 1687s | 18 | 1138128 | 296352 | 302966 1 | 7 | 77 1697.25/1697.71 c 1693s | 18 | 1138612 | 296652 | 302966 1 | 7 | 77 1708.84/1709.31 c 1705s | 18 | 1138846 | 296852 | 302966 1 | 7 | 77 1716.34/1716.86 c 1712s | 18 | 1139076 | 296952 | 302966 1 | 7 | 77 1718.54/1719.07 c 1715s | 18 | 1139809 | 297552 | 302966 1 | 7 | 77 1720.94/1721.43 c 1717s | 18 | 1140505 | 298152 | 302966 1 | 7 | 77 1723.44/1723.94 c 1719s | 18 | 1141800 | 298652 | 302966 1 | 7 | 77 1725.84/1726.35 c 1722s | 18 | 1142623 | 298952 | 302966 1 | 7 | 77 1727.94/1728.47 c 1724s | 18 | 1144200 | 299452 | 302966 1 | 7 | 77 1730.04/1730.58 c 1726s | 18 | 1144750 | 299852 | 302966 1 | 7 | 77 1732.15/1732.69 c 1728s | 18 | 1145400 | 300352 | 302966 1 | 7 | 77 1734.25/1734.75 c 1730s | 18 | 1146078 | 300852 | 302966 1 | 7 | 77 1736.55/1737.05 c 1733s | 18 | 1146677 | 301352 | 302966 1 | 7 | 77 1738.75/1739.25 c 1735s | 18 | 1147267 | 301852 | 302966 1 | 7 | 77 1741.14/1741.60 c 1737s | 18 | 1147905 | 302352 | 302966 1 | 7 | 77 1743.34/1743.87 c 1739s | 18 | 1148488 | 302852 | 302966 1 | 7 | 77 1745.44/1745.91 c 1741s | 18 | 1149017 | 303252 | 302966 1 | 7 | 77 1747.84/1748.31 c 1744s | 18 | 1149575 | 303752 | 302966 1 | 7 | 77 1750.04/1750.56 c 1746s | 18 | 1150149 | 304252 | 302966 1 | 7 | 77 1752.34/1752.81 c 1748s | 18 | 1150836 | 304752 | 302966 1 | 7 | 77 1754.34/1754.81 c 1750s | 18 | 1151397 | 305252 | 302966 1 | 7 | 77 1756.44/1756.91 c 1752s | 18 | 1152186 | 305852 | 302966 1 | 7 | 77 1758.64/1759.11 c 1755s | 18 | 1152910 | 306452 | 302966 1 | 7 | 77 1760.74/1761.24 c 1757s | 18 | 1153475 | 306952 | 302966 1 | 7 | 77 1762.84/1763.32 c 1759s | 18 | 1154060 | 307452 | 302966 1 | 7 | 77 1764.93/1765.47 c 1761s | 18 | 1154714 | 307952 | 302966 1 | 7 | 77 1767.24/1767.71 c 1763s | 18 | 1155321 | 308452 | 302966 1 | 7 | 77 1769.33/1769.89 c 1765s | 18 | 1155868 | 308952 | 302966 1 | 7 | 77 1771.53/1772.10 c 1768s | 18 | 1156434 | 309452 | 302966 1 | 7 | 77 1773.84/1774.37 c 1770s | 18 | 1157021 | 309952 | 302966 1 | 7 | 77 1776.14/1776.67 c 1772s | 18 | 1157572 | 310452 | 302966 1 | 7 | 77 1778.34/1778.82 c 1774s | 18 | 1158171 | 310852 | 302966 1 | 7 | 77 1780.83/1781.32 c 1777s | 18 | 1158848 | 311352 | 302966 1 | 7 | 77 1783.13/1783.60 c 1779s | 18 | 1159297 | 311752 | 302966 1 | 7 | 77 1785.13/1785.69 c 1781s | 18 | 1159769 | 312152 | 302966 1 | 7 | 77 1787.23/1787.79 c 1783s | 18 | 1160200 | 312552 | 302966 1 | 7 | 77 1789.63/1790.13 c 1786s | 18 | 1160778 | 313052 | 302966 1 | 7 | 77 1791.93/1792.40 c 1788s | 18 | 1161346 | 313552 | 302966 1 | 7 | 77 1794.43/1794.92 c 1790s | 18 | 1161964 | 314052 | 302966 1 | 7 | 77 1796.63/1797.11 c 1793s | 18 | 1162440 | 314452 | 302966 1 | 7 | 77 1798.63/1799.12 c 1795s | 18 | 1162900 | 314852 | 302966 1 | 7 | 77
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-4078865-1465276790/watcher-4078865-1465276790 -o /tmp/evaluation-result-4078865-1465276790/solver-4078865-1465276790 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12854 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078865-1465276790.opb pid=16027 running on 4 cores: 1,3,5,7 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.15 2.11 2.09 3/179 16030 /proc/meminfo: memFree=28727952/32872528 swapFree=11196/354588 [pid=16030] ppid=16027 vsize=708028 CPUtime=0 cores=1,3,5,7 /proc/16030/stat : 16030 (toysat) R 16027 16030 12837 0 -1 4202496 2640 0 0 0 0 0 0 0 20 0 4 0 109612524 725020672 3001 33554432000 4194304 16246674 140733890229520 140733890228944 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16030/statm: 177775 3011 441 2943 0 174669 0 [pid=16030/tid=16031] ppid=16027 vsize=727484 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16031/stat : 16031 (toysat) S 16027 16030 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109612524 744943616 3075 33554432000 4194304 16246674 140733890229520 139950680943856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16030/tid=16032] ppid=16027 vsize=731580 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16032/stat : 16032 (toysat) S 16027 16030 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109612524 749137920 3093 33554432000 4194304 16246674 140733890229520 139950670454000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16030/tid=16033] ppid=16027 vsize=736700 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16033/stat : 16033 (toysat) S 16027 16030 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109612524 754380800 3110 33554432000 4194304 16246674 140733890229520 139950659980464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100236 s] /proc/loadavg: 2.15 2.11 2.09 3/179 16030 /proc/meminfo: memFree=28727952/32872528 swapFree=11196/354588 [pid=16030] ppid=16027 vsize=1220164 CPUtime=0.09 cores=1,3,5,7 /proc/16030/stat : 16030 (toysat) R 16027 16030 12837 0 -1 4202496 29950 0 0 0 5 4 0 0 20 0 4 0 109612524 1249447936 30249 33554432000 4194304 16246674 140733890229520 140733890228832 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16030/statm: 305041 30249 802 2943 0 301935 0 [pid=16030/tid=16031] ppid=16027 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16031/stat : 16031 (toysat) S 16027 16030 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109612524 1249447936 30249 33554432000 4194304 16246674 140733890229520 139950680943856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16030/tid=16032] ppid=16027 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16032/stat : 16032 (toysat) S 16027 16030 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109612524 1249447936 30249 33554432000 4194304 16246674 140733890229520 139950670454000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16030/tid=16033] ppid=16027 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16033/stat : 16033 (toysat) S 16027 16030 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109612524 1249447936 30249 33554432000 4194304 16246674 140733890229520 139950659980464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200544 s] /proc/loadavg: 2.15 2.11 2.09 3/179 16030 /proc/meminfo: memFree=28727952/32872528 swapFree=11196/354588 [pid=16030] ppid=16027 vsize=1307204 CPUtime=0.19 cores=1,3,5,7 /proc/16030/stat : 16030 (toysat) R 16027 16030 12837 0 -1 4202496 51045 0 0 0 12 7 0 0 20 0 4 0 109612524 1338576896 51855 33554432000 4194304 16246674 140733890229520 140733890228832 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16030/statm: 326801 51859 802 2943 0 323695 0 [pid=16030/tid=16031] ppid=16027 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16031/stat : 16031 (toysat) S 16027 16030 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109612524 1338576896 51861 33554432000 4194304 16246674 140733890229520 139950680943856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16030/tid=16032] ppid=16027 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16032/stat : 16032 (toysat) S 16027 16030 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109612524 1338576896 51863 33554432000 4194304 16246674 140733890229520 139950670454000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16030/tid=16033] ppid=16027 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16033/stat : 16033 (toysat) S 16027 16030 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109612524 1338576896 51866 33554432000 4194304 16246674 140733890229520 139950659980464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1307204 [startup+0.300487 s] /proc/loadavg: 2.15 2.11 2.09 3/179 16030 /proc/meminfo: memFree=28727952/32872528 swapFree=11196/354588 [pid=16030] ppid=16027 vsize=1314372 CPUtime=0.29 cores=1,3,5,7 /proc/16030/stat : 16030 (toysat) R 16027 16030 12837 0 -1 4202496 58811 0 0 0 21 8 0 0 20 0 4 0 109612524 1345916928 59621 33554432000 4194304 16246674 140733890229520 140733890228832 4220807 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16030/statm: 328593 59621 802 2943 0 325487 0 [pid=16030/tid=16031] ppid=16027 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16031/stat : 16031 (toysat) S 16027 16030 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109612524 1345916928 59621 33554432000 4194304 16246674 140733890229520 139950680943856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16030/tid=16032] ppid=16027 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16032/stat : 16032 (toysat) S 16027 16030 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109612524 1345916928 59621 33554432000 4194304 16246674 140733890229520 139950670454000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16030/tid=16033] ppid=16027 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16033/stat : 16033 (toysat) S 16027 16030 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109612524 1345916928 59621 33554432000 4194304 16246674 140733890229520 139950659980464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1314372 [startup+0.700438 s] /proc/loadavg: 2.15 2.11 2.09 3/179 16030 /proc/meminfo: memFree=28727952/32872528 swapFree=11196/354588 [pid=16030] ppid=16027 vsize=1314372 CPUtime=0.69 cores=1,3,5,7 /proc/16030/stat : 16030 (toysat) R 16027 16030 12837 0 -1 4202496 71211 0 0 0 59 10 0 0 20 0 4 0 109612524 1345916928 72021 33554432000 4194304 16246674 140733890229520 140733890227328 4221019 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16030/statm: 328593 72021 802 2943 0 325487 0 [pid=16030/tid=16031] ppid=16027 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16031/stat : 16031 (toysat) S 16027 16030 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109612524 1345916928 72021 33554432000 4194304 16246674 140733890229520 139950680943856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16030/tid=16032] ppid=16027 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16032/stat : 16032 (toysat) S 16027 16030 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109612524 1345916928 72021 33554432000 4194304 16246674 140733890229520 139950670454000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16030/tid=16033] ppid=16027 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16033/stat : 16033 (toysat) S 16027 16030 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109612524 1345916928 72021 33554432000 4194304 16246674 140733890229520 139950659980464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1314372 [startup+1.50042 s] /proc/loadavg: 2.15 2.11 2.09 3/183 16034 /proc/meminfo: memFree=28401492/32872528 swapFree=11196/354588 [pid=16030] ppid=16027 vsize=1314372 CPUtime=1.49 cores=1,3,5,7 /proc/16030/stat : 16030 (toysat) R 16027 16030 12837 0 -1 4202496 81809 0 0 0 138 11 0 0 20 0 4 0 109612524 1345916928 82619 33554432000 4194304 16246674 140733890229520 140733890211392 5636740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16030/statm: 328593 82619 846 2943 0 325487 0 [pid=16030/tid=16031] ppid=16027 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16031/stat : 16031 (toysat) S 16027 16030 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109612524 1345916928 82619 33554432000 4194304 16246674 140733890229520 139950680943856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16030/tid=16032] ppid=16027 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16032/stat : 16032 (toysat) S 16027 16030 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109612524 1345916928 82619 33554432000 4194304 16246674 140733890229520 139950670454000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16030/tid=16033] ppid=16027 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16033/stat : 16033 (toysat) S 16027 16030 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109612524 1345916928 82619 33554432000 4194304 16246674 140733890229520 139950659980464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1314372 [startup+3.10043 s] /proc/loadavg: 2.15 2.11 2.09 3/183 16034 /proc/meminfo: memFree=27892348/32872528 swapFree=11196/354588 [pid=16030] ppid=16027 vsize=1342020 CPUtime=3.09 cores=1,3,5,7 /proc/16030/stat : 16030 (toysat) R 16027 16030 12837 0 -1 4202496 275931 0 0 0 270 39 0 0 20 0 4 0 109612524 1374228480 276741 33554432000 4194304 16246674 140733890229520 140733890211392 12855324 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16030/statm: 335505 276741 846 2943 0 332399 0 [pid=16030/tid=16031] ppid=16027 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16031/stat : 16031 (toysat) S 16027 16030 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109612524 1374228480 276741 33554432000 4194304 16246674 140733890229520 139950680943856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16030/tid=16032] ppid=16027 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16032/stat : 16032 (toysat) S 16027 16030 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109612524 1374228480 276741 33554432000 4194304 16246674 140733890229520 139950670454000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16030/tid=16033] ppid=16027 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16033/stat : 16033 (toysat) S 16027 16030 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109612524 1374228480 276741 33554432000 4194304 16246674 140733890229520 139950659980464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1342020 [startup+6.30043 s] /proc/loadavg: 2.14 2.10 2.09 3/183 16034 /proc/meminfo: memFree=27621000/32872528 swapFree=11196/354588 [pid=16030] ppid=16027 vsize=1342020 CPUtime=6.29 cores=1,3,5,7 /proc/16030/stat : 16030 (toysat) R 16027 16030 12837 0 -1 4202496 276179 0 0 0 590 39 0 0 20 0 4 0 109612524 1374228480 276989 33554432000 4194304 16246674 140733890229520 140733890228832 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16030/statm: 335505 276989 890 2943 0 332399 0 [pid=16030/tid=16031] ppid=16027 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16031/stat : 16031 (toysat) S 16027 16030 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109612524 1374228480 276989 33554432000 4194304 16246674 140733890229520 139950680943856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16030/tid=16032] ppid=16027 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16032/stat : 16032 (toysat) S 16027 16030 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109612524 1374228480 276989 33554432000 4194304 16246674 140733890229520 139950670454000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16030/tid=16033] ppid=16027 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16033/stat : 16033 (toysat) S 16027 16030 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109612524 1374228480 276989 33554432000 4194304 16246674 140733890229520 139950659980464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1342020 [startup+12.7004 s] /proc/loadavg: 2.13 2.10 2.09 3/184 16037 /proc/meminfo: memFree=27620688/32872528 swapFree=11196/354588 [pid=16030] ppid=16027 vsize=1342020 CPUtime=12.68 cores=1,3,5,7 /proc/16030/stat : 16030 (toysat) R 16027 16030 12837 0 -1 4202496 276182 0 0 0 1229 39 0 0 20 0 4 0 109612524 1374228480 276992 33554432000 4194304 16246674 140733890229520 140733890211392 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16030/statm: 335505 276992 893 2943 0 332399 0 [pid=16030/tid=16031] ppid=16027 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16031/stat : 16031 (toysat) S 16027 16030 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109612524 1374228480 276992 33554432000 4194304 16246674 140733890229520 139950680943856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16030/tid=16032] ppid=16027 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16032/stat : 16032 (toysat) S 16027 16030 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109612524 1374228480 276992 33554432000 4194304 16246674 140733890229520 139950670454000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16030/tid=16033] ppid=16027 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16033/stat : 16033 (toysat) S 16027 16030 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109612524 1374228480 276992 33554432000 4194304 16246674 140733890229520 139950659980464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1342020 [startup+25.5005 s] /proc/loadavg: 2.17 2.11 2.09 3/184 16037 /proc/meminfo: memFree=27620852/32872528 swapFree=11196/354588 [pid=16030] ppid=16027 vsize=1342020 CPUtime=25.49 cores=1,3,5,7 /proc/16030/stat : 16030 (toysat) R 16027 16030 12837 0 -1 4202496 276185 0 0 0 2509 40 0 0 20 0 4 0 109612524 1374228480 276995 33554432000 4194304 16246674 140733890229520 140733890211392 5661532 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16030/statm: 335505 276995 893 2943 0 332399 0 [pid=16030/tid=16031] ppid=16027 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16031/stat : 16031 (toysat) S 16027 16030 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109612524 1374228480 276995 33554432000 4194304 16246674 140733890229520 139950680943856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16030/tid=16032] ppid=16027 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16032/stat : 16032 (toysat) S 16027 16030 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109612524 1374228480 276995 33554432000 4194304 16246674 140733890229520 139950670454000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16030/tid=16033] ppid=16027 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16033/stat : 16033 (toysat) S 16027 16030 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109612524 1374228480 276995 33554432000 4194304 16246674 140733890229520 139950659980464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1342020 [startup+51.1005 s] /proc/loadavg: 2.11 2.10 2.09 3/184 16037 /proc/meminfo: memFree=27602080/32872528 swapFree=11196/354588 [pid=16030] ppid=16027 vsize=1342020 CPUtime=51.08 cores=1,3,5,7 /proc/16030/stat : 16030 (toysat) R 16027 16030 12837 0 -1 4202496 276186 0 0 0 5068 40 0 0 20 0 4 0 109612524 1374228480 276996 33554432000 4194304 16246674 140733890229520 140733890211392 5523480 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16030/statm: 335505 276996 893 2943 0 332399 0 [pid=16030/tid=16031] ppid=16027 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16031/stat : 16031 (toysat) S 16027 16030 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109612524 1374228480 276996 33554432000 4194304 16246674 140733890229520 139950680943856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16030/tid=16032] ppid=16027 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16032/stat : 16032 (toysat) S 16027 16030 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109612524 1374228480 276996 33554432000 4194304 16246674 140733890229520 139950670454000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16030/tid=16033] ppid=16027 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16033/stat : 16033 (toysat) S 16027 16030 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109612524 1374228480 276996 33554432000 4194304 16246674 140733890229520 139950659980464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1342020 [startup+102.301 s] /proc/loadavg: 2.14 2.11 2.09 3/183 16039 /proc/meminfo: memFree=27565756/32872528 swapFree=11196/354588 [pid=16030] ppid=16027 vsize=1342020 CPUtime=102.28 cores=1,3,5,7 /proc/16030/stat : 16030 (toysat) R 16027 16030 12837 0 -1 4202496 276186 0 0 0 10187 41 0 0 20 0 4 0 109612524 1374228480 276996 33554432000 4194304 16246674 140733890229520 140733890211392 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16030/statm: 335505 276996 893 2943 0 332399 0 [pid=16030/tid=16031] ppid=16027 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16031/stat : 16031 (toysat) S 16027 16030 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109612524 1374228480 276996 33554432000 4194304 16246674 140733890229520 139950680943856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16030/tid=16032] ppid=16027 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16032/stat : 16032 (toysat) S 16027 16030 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109612524 1374228480 276996 33554432000 4194304 16246674 140733890229520 139950670454000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16030/tid=16033] ppid=16027 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16033/stat : 16033 (toysat) S 16027 16030 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109612524 1374228480 276996 33554432000 4194304 16246674 140733890229520 139950659980464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1342020 ################ # More data... # ################ /proc/16030/task/16033/stat : 16033 (toysat) S 16027 16030 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109612524 1374228480 276997 33554432000 4194304 16246674 140733890229520 139950659980464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1342020 [startup+1362.3 s] /proc/loadavg: 2.13 2.08 2.08 3/183 16119 /proc/meminfo: memFree=28474424/32872528 swapFree=11196/354588 [pid=16030] ppid=16027 vsize=1342020 CPUtime=1361.9 cores=1,3,5,7 /proc/16030/stat : 16030 (toysat) R 16027 16030 12837 0 -1 4202496 276516 0 0 0 136144 46 0 0 20 0 4 0 109612524 1374228480 276997 33554432000 4194304 16246674 140733890229520 140733890211392 6836236 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16030/statm: 335505 276997 893 2943 0 332399 0 [pid=16030/tid=16031] ppid=16027 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16031/stat : 16031 (toysat) S 16027 16030 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109612524 1374228480 276997 33554432000 4194304 16246674 140733890229520 139950680943856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16030/tid=16032] ppid=16027 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16032/stat : 16032 (toysat) S 16027 16030 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109612524 1374228480 276997 33554432000 4194304 16246674 140733890229520 139950670454000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16030/tid=16033] ppid=16027 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16033/stat : 16033 (toysat) S 16027 16030 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109612524 1374228480 276997 33554432000 4194304 16246674 140733890229520 139950659980464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1342020 [startup+1422.3 s] /proc/loadavg: 2.17 2.11 2.09 3/183 16120 /proc/meminfo: memFree=28474944/32872528 swapFree=11196/354588 [pid=16030] ppid=16027 vsize=1342020 CPUtime=1421.89 cores=1,3,5,7 /proc/16030/stat : 16030 (toysat) R 16027 16030 12837 0 -1 4202496 276517 0 0 0 142143 46 0 0 20 0 4 0 109612524 1374228480 276998 33554432000 4194304 16246674 140733890229520 140733890211392 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16030/statm: 335505 276998 894 2943 0 332399 0 [pid=16030/tid=16031] ppid=16027 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16031/stat : 16031 (toysat) S 16027 16030 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109612524 1374228480 276998 33554432000 4194304 16246674 140733890229520 139950680943856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16030/tid=16032] ppid=16027 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16032/stat : 16032 (toysat) S 16027 16030 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109612524 1374228480 276998 33554432000 4194304 16246674 140733890229520 139950670454000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16030/tid=16033] ppid=16027 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16033/stat : 16033 (toysat) S 16027 16030 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109612524 1374228480 276998 33554432000 4194304 16246674 140733890229520 139950659980464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 1342020 [startup+1482.3 s] /proc/loadavg: 2.06 2.09 2.08 3/183 16121 /proc/meminfo: memFree=28474600/32872528 swapFree=11196/354588 [pid=16030] ppid=16027 vsize=1342020 CPUtime=1481.87 cores=1,3,5,7 /proc/16030/stat : 16030 (toysat) R 16027 16030 12837 0 -1 4202496 276517 0 0 0 148141 46 0 0 20 0 4 0 109612524 1374228480 276998 33554432000 4194304 16246674 140733890229520 140733890211392 5672222 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16030/statm: 335505 276998 894 2943 0 332399 0 [pid=16030/tid=16031] ppid=16027 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16031/stat : 16031 (toysat) S 16027 16030 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109612524 1374228480 276998 33554432000 4194304 16246674 140733890229520 139950680943856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16030/tid=16032] ppid=16027 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16032/stat : 16032 (toysat) S 16027 16030 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109612524 1374228480 276998 33554432000 4194304 16246674 140733890229520 139950670454000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16030/tid=16033] ppid=16027 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16033/stat : 16033 (toysat) S 16027 16030 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109612524 1374228480 276998 33554432000 4194304 16246674 140733890229520 139950659980464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1342020 [startup+1542.31 s] /proc/loadavg: 2.05 2.08 2.08 3/183 16122 /proc/meminfo: memFree=28349640/32872528 swapFree=11196/354588 [pid=16030] ppid=16027 vsize=1342020 CPUtime=1541.87 cores=1,3,5,7 /proc/16030/stat : 16030 (toysat) R 16027 16030 12837 0 -1 4202496 276517 0 0 0 154141 46 0 0 20 0 4 0 109612524 1374228480 276998 33554432000 4194304 16246674 140733890229520 140733890211392 5823428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16030/statm: 335505 276998 894 2943 0 332399 0 [pid=16030/tid=16031] ppid=16027 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16031/stat : 16031 (toysat) S 16027 16030 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109612524 1374228480 276998 33554432000 4194304 16246674 140733890229520 139950680943856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16030/tid=16032] ppid=16027 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16032/stat : 16032 (toysat) S 16027 16030 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109612524 1374228480 276998 33554432000 4194304 16246674 140733890229520 139950670454000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16030/tid=16033] ppid=16027 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16033/stat : 16033 (toysat) S 16027 16030 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109612524 1374228480 276998 33554432000 4194304 16246674 140733890229520 139950659980464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1342020 [startup+1602.3 s] /proc/loadavg: 2.05 2.08 2.08 3/182 16123 /proc/meminfo: memFree=28315936/32872528 swapFree=11196/354588 [pid=16030] ppid=16027 vsize=1375812 CPUtime=1601.86 cores=1,3,5,7 /proc/16030/stat : 16030 (toysat) R 16027 16030 12837 0 -1 4202496 284966 0 0 0 160135 51 0 0 20 0 4 0 109612524 1408831488 285447 33554432000 4194304 16246674 140733890229520 140733890211392 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16030/statm: 343953 285447 895 2943 0 340847 0 [pid=16030/tid=16031] ppid=16027 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16031/stat : 16031 (toysat) S 16027 16030 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109612524 1408831488 285447 33554432000 4194304 16246674 140733890229520 139950680943856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16030/tid=16032] ppid=16027 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16032/stat : 16032 (toysat) S 16027 16030 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109612524 1408831488 285447 33554432000 4194304 16246674 140733890229520 139950670454000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16030/tid=16033] ppid=16027 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16033/stat : 16033 (toysat) S 16027 16030 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109612524 1408831488 285447 33554432000 4194304 16246674 140733890229520 139950659980464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1375812 [startup+1662.3 s] /proc/loadavg: 2.07 2.08 2.08 3/183 16125 /proc/meminfo: memFree=28241996/32872528 swapFree=11196/354588 [pid=16030] ppid=16027 vsize=1375812 CPUtime=1661.85 cores=1,3,5,7 /proc/16030/stat : 16030 (toysat) R 16027 16030 12837 0 -1 4202496 284966 0 0 0 166134 51 0 0 20 0 4 0 109612524 1408831488 285447 33554432000 4194304 16246674 140733890229520 140733890211392 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16030/statm: 343953 285447 895 2943 0 340847 0 [pid=16030/tid=16031] ppid=16027 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16031/stat : 16031 (toysat) S 16027 16030 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109612524 1408831488 285447 33554432000 4194304 16246674 140733890229520 139950680943856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16030/tid=16032] ppid=16027 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16032/stat : 16032 (toysat) S 16027 16030 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109612524 1408831488 285447 33554432000 4194304 16246674 140733890229520 139950670454000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16030/tid=16033] ppid=16027 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16033/stat : 16033 (toysat) S 16027 16030 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109612524 1408831488 285447 33554432000 4194304 16246674 140733890229520 139950659980464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1375812 [startup+1722.3 s] /proc/loadavg: 2.08 2.08 2.08 3/183 16126 /proc/meminfo: memFree=28241488/32872528 swapFree=11196/354588 [pid=16030] ppid=16027 vsize=1375812 CPUtime=1721.84 cores=1,3,5,7 /proc/16030/stat : 16030 (toysat) R 16027 16030 12837 0 -1 4202496 284966 0 0 0 172130 54 0 0 20 0 4 0 109612524 1408831488 285447 33554432000 4194304 16246674 140733890229520 140733890211392 12483379 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16030/statm: 343953 285447 895 2943 0 340847 0 [pid=16030/tid=16031] ppid=16027 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16031/stat : 16031 (toysat) S 16027 16030 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109612524 1408831488 285447 33554432000 4194304 16246674 140733890229520 139950680943856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16030/tid=16032] ppid=16027 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16032/stat : 16032 (toysat) S 16027 16030 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109612524 1408831488 285447 33554432000 4194304 16246674 140733890229520 139950670454000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16030/tid=16033] ppid=16027 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16033/stat : 16033 (toysat) S 16027 16030 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109612524 1408831488 285447 33554432000 4194304 16246674 140733890229520 139950659980464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1375812 [startup+1782.3 s] /proc/loadavg: 2.13 2.09 2.09 3/183 16127 /proc/meminfo: memFree=28184592/32872528 swapFree=11196/354588 [pid=16030] ppid=16027 vsize=1375812 CPUtime=1781.83 cores=1,3,5,7 /proc/16030/stat : 16030 (toysat) R 16027 16030 12837 0 -1 4202496 284966 0 0 0 178129 54 0 0 20 0 4 0 109612524 1408831488 285447 33554432000 4194304 16246674 140733890229520 140733890211392 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16030/statm: 343953 285447 895 2943 0 340847 0 [pid=16030/tid=16031] ppid=16027 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16031/stat : 16031 (toysat) S 16027 16030 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109612524 1408831488 285447 33554432000 4194304 16246674 140733890229520 139950680943856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16030/tid=16032] ppid=16027 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16032/stat : 16032 (toysat) S 16027 16030 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109612524 1408831488 285447 33554432000 4194304 16246674 140733890229520 139950670454000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16030/tid=16033] ppid=16027 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16033/stat : 16033 (toysat) S 16027 16030 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109612524 1408831488 285447 33554432000 4194304 16246674 140733890229520 139950659980464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1375812 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.10 2.08 2.09 3/183 16127 /proc/meminfo: memFree=28184708/32872528 swapFree=11196/354588 [pid=16030] ppid=16027 vsize=1375812 CPUtime=1800.03 cores=1,3,5,7 /proc/16030/stat : 16030 (toysat) R 16027 16030 12837 0 -1 4202496 284966 0 0 0 179949 54 0 0 20 0 4 0 109612524 1408831488 285447 33554432000 4194304 16246674 140733890229520 140733890211392 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16030/statm: 343953 285447 895 2943 0 340847 0 [pid=16030/tid=16031] ppid=16027 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16031/stat : 16031 (toysat) S 16027 16030 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109612524 1408831488 285447 33554432000 4194304 16246674 140733890229520 139950680943856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16030/tid=16032] ppid=16027 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16032/stat : 16032 (toysat) S 16027 16030 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109612524 1408831488 285447 33554432000 4194304 16246674 140733890229520 139950670454000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16030/tid=16033] ppid=16027 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16033/stat : 16033 (toysat) S 16027 16030 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109612524 1408831488 285447 33554432000 4194304 16246674 140733890229520 139950659980464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1375812 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 16030 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.10 2.08 2.09 3/183 16127 /proc/meminfo: memFree=28184708/32872528 swapFree=11196/354588 [pid=16030] ppid=16027 vsize=1375812 CPUtime=1800.03 cores=1,3,5,7 /proc/16030/stat : 16030 (toysat) R 16027 16030 12837 0 -1 4202496 284966 0 0 0 179949 54 0 0 20 0 4 0 109612524 1408831488 285447 33554432000 4194304 16246674 140733890229520 140733890211392 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16030/statm: 343953 285447 895 2943 0 340847 0 [pid=16030/tid=16031] ppid=16027 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16031/stat : 16031 (toysat) S 16027 16030 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109612524 1408831488 285447 33554432000 4194304 16246674 140733890229520 139950680943856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16030/tid=16032] ppid=16027 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16032/stat : 16032 (toysat) S 16027 16030 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109612524 1408831488 285447 33554432000 4194304 16246674 140733890229520 139950670454000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16030/tid=16033] ppid=16027 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/16030/task/16033/stat : 16033 (toysat) S 16027 16030 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109612524 1408831488 285447 33554432000 4194304 16246674 140733890229520 139950659980464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1375812 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.04 CPU user time (s): 1799.5 CPU system time (s): 0.545917 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 1375812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.5 system time used= 0.545917 maximum resident set size= 1141788 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 284966 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= 475 involuntary context switches= 1838 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.75328 second user time and 6.75997 second system time The end
Begin job on node126 at 2016-06-07 07:19:51 IDJOB=4078865 IDBENCH=89785 IDSOLVER=2542 FILE ID=node126/4078865-1465276790 RUNJOBID= node126-1465253620-12854 PBS_JOBID= 19843265 Free space on /tmp= 71676 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-21.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078865-1465276790/watcher-4078865-1465276790 -o /tmp/evaluation-result-4078865-1465276790/solver-4078865-1465276790 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12854 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078865-1465276790.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3f7496125222b93dca78bd7d73f5e00c RANDOM SEED=1155595452 node126.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28728324 kB Buffers: 35004 kB Cached: 174460 kB SwapCached: 2168 kB Active: 2962532 kB Inactive: 91004 kB Active(anon): 2842388 kB Inactive(anon): 4052 kB Active(file): 120144 kB Inactive(file): 86952 kB Unevictable: 354588 kB Mlocked: 11196 kB SwapTotal: 67108856 kB SwapFree: 67098636 kB Dirty: 22576 kB Writeback: 0 kB AnonPages: 3183060 kB Mapped: 10680 kB Shmem: 0 kB Slab: 597524 kB SReclaimable: 41512 kB SUnreclaim: 556012 kB KernelStack: 1464 kB PageTables: 10408 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3342624 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1687552 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= 71668 MiB End job on node126 at 2016-06-07 07:49:51