| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.08 | 1800.51 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.8.accl.ucl.opb |
| MD5SUM | b2fe1642a1ae97e0b20cfe37f07bcc49 |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| 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 | 61.1567 |
| Has Objective Function | NO |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 21380 |
| Total number of constraints | 60984 |
| Number of constraints which are clauses | 58828 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2156 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 13 |
| 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 | 73 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 262 |
| Number of bits of the biggest sum of numbers | 9 |
| 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.01 c 2016-06-06T16:04:57+0200 0.00/0.01 c version = 0.5.0 0.00/0.01 c githash = 1a49202 0.00/0.01 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.01 c arch = x86_64 0.00/0.01 c os = linux 0.00/0.01 c compiler = ghc 7.10 0.00/0.01 c packages: 0.00/0.01 c OptDir-0.0.3 0.00/0.01 c array-0.5.1.0 0.00/0.01 c base-4.8.2.0 0.00/0.01 c bytestring-0.10.6.0 0.00/0.01 c bytestring-builder-0.10.6.0.0 0.00/0.01 c clock-0.7.2 0.00/0.01 c containers-0.5.6.2 0.00/0.01 c data-default-0.5.3 0.00/0.01 c data-default-class-0.0.1 0.00/0.01 c data-interval-1.2.0 0.00/0.01 c deepseq-1.4.1.1 0.00/0.01 c directory-1.2.2.0 0.00/0.01 c exceptions-0.8.2.1 0.00/0.01 c extended-reals-0.2.1.0 0.00/0.01 c filepath-1.4.0.0 0.00/0.01 c finite-field-0.8.0 0.00/0.01 c hashable-1.2.4.0 0.00/0.01 c heaps-0.3.3 0.00/0.01 c intern-0.9.1.4 0.00/0.01 c loop-0.3.0 0.00/0.01 c mtl-2.2.1 0.00/0.01 c multiset-0.3.2 0.00/0.01 c mwc-random-0.13.3.2 0.00/0.01 c parse_dimacs-1.3 0.00/0.01 c parsec-3.1.9 0.00/0.01 c prettyclass-1.0.0.0 0.00/0.01 c primes-0.2.1.0 0.00/0.01 c primitive-0.6.1.0 0.00/0.01 c process-1.2.3.0 0.00/0.01 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-4078747-1465221897.opb"] 0.00/0.02 c use --random-gen="3154578941 3766298715 747783814 2991132195 2332042090 2495047591 962525197 3711623209 3902161153 1876424320 1134233188 430046588 1824454609 1564551944 1303461451 858646737 1050304288 3546149703 1069784853 1834877724 360725658 2076793497 107093211 1659916362 3466962577 3636984603 1652645942 3007018049 2121764910 228217051 2260430359 321942771 378765038 973025104 1045390834 2732063982 533303763 1419852373 3460660810 3350946955 4171660629 3265856039 3127497923 187463385 1627663879 4030972974 3693915655 1608203058 3682943285 642605388 4102891014 1632868229 1933657189 593677178 579818214 1065499006 773467940 741805745 4034267580 1367728274 4162880935 1649083284 2229223889 1724975993 376757579 1970246909 3781991566 692826051 1525545214 4159026518 766699772 3881766032 1184230502 940459468 1692809823 2273903144 111070257 3730853835 4010623015 3156057555 2723943665 2566865403 2272464262 400471909 26992744 4020134398 3540508141 365167563 3228597939 4111852243 399790267 3155545902 3845752455 468602703 2964789720 2955082926 2417461812 422320856 1114106805 132770627 3216821093 3388204384 1857233006 322064606 430449824 1365810052 1702643904 2908533155 2263228228 68198954 3806856579 3232499790 3066193215 1852701561 1341648450 1150075796 908714630 889809323 3455829744 2873884437 1652401410 3959948268 3460093016 510835268 2442573521 1283078009 1326896430 1200095499 4091942740 1716017354 1151140677 4257522168 19824229 1905327558 3118021143 781795499 3231756338 1938369059 3572099364 1821705133 2426009751 4113522618 3213918511 4080263861 1569824986 2351312986 1127449024 3275563510 356208202 2015596722 1767631343 3920653847 2861131998 3159410994 3061249957 1567032110 36236110 779864707 1495485614 1410810707 1499722225 4197115706 1327565742 1812935481 24588897 2791402779 3704947123 302626379 1156868880 1055195253 362073871 648016674 1694581354 2008885721 1985327977 1871997134 794132428 2933014836 168890035 1646904778 2849398910 3920803761 2117199334 2209031792 1657801849 460512930 4089088099 324983498 407060323 2679324827 1133078819 1116026906 3704186048 1316042825 1543270712 1986370930 296157298 117290465 1363005069 2629291497 1679897469 726313881 215834367 3539133936 825679761 73406883 315155073 581715415 585129189 162527277 3282194537 1758832553 3765528183 1605836433 3837083814 3781589197 1264272576 1422418832 52055522 3011608050 3266104317 3157384515 2667734297 2907538960 2246311358 3705107183 1034393648 442454573 995876013 889340250 453691053 859345013 3526431579 932803608 1535279688 1638811416 2581099678 1091205578 2160382556 1797096344 393856615 667239906 3056525309 3693497919 915318208 4071652011 2007972604 1616068223 1752328980 1397208299 3183333448 2813653524 294185549 1903324248 8683925 395417236 255 362436" option to reproduce the execution 0.38/0.40 c #vars 21380 0.38/0.40 c #constraints 60984 1.19/1.21 c Solving starts ... 1.19/1.21 c ============================[ Search Statistics ]============================ 1.19/1.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.19/1.21 c | | | | Limit GC | Var | Constra 1.19/1.21 c ============================================================================= 1.19/1.21 c 0.0s | 0 | 0 | 0 | 27454 0 | 75 | 0 1.48/1.53 c 0.3s | 1 | 1139 | 100 | 27454 0 | 75 | 186 1.68/1.77 c 0.6s | 2 | 2252 | 250 | 30200 0 | 75 | 186 2.38/2.41 c 1.2s | 3 | 3657 | 475 | 33220 0 | 75 | 186 3.28/3.38 c 2.2s | 4 | 4425 | 813 | 36542 0 | 75 | 186 4.68/4.70 c 3.5s | 5 | 6350 | 1320 | 40197 0 | 75 | 186 6.18/6.23 c 5.0s | 6 | 8925 | 2081 | 48639 0 | 75 | 186 8.18/8.26 c 7.1s | 6 | 11148 | 2781 | 48639 0 | 75 | 186 9.78/9.84 c 8.6s | 7 | 11905 | 3223 | 53503 0 | 75 | 186 11.78/11.86 c 10.7s | 7 | 14185 | 4023 | 53503 0 | 75 | 186 14.08/14.14 c 12.9s | 7 | 15752 | 4723 | 53503 0 | 75 | 186 14.78/14.88 c 13.7s | 8 | 16160 | 4936 | 58854 0 | 75 | 186 16.98/17.01 c 15.8s | 8 | 18134 | 5736 | 58854 0 | 75 | 186 18.98/19.04 c 17.8s | 8 | 19564 | 6436 | 58854 0 | 75 | 186 21.47/21.55 c 20.3s | 8 | 20582 | 7036 | 58854 0 | 75 | 186 23.57/23.67 c 22.5s | 8 | 21318 | 7436 | 58854 0 | 75 | 186 23.77/23.84 c 22.6s | 9 | 21488 | 7506 | 64740 0 | 75 | 186 25.77/25.87 c 24.7s | 9 | 23543 | 8606 | 64740 0 | 75 | 186 27.87/27.93 c 26.7s | 9 | 29078 | 10006 | 64740 0 | 75 | 186 29.87/29.95 c 28.7s | 9 | 31136 | 10806 | 64740 0 | 75 | 186 30.78/30.85 c 29.6s | 10 | 34305 | 11361 | 71214 0 | 75 | 186 32.87/32.98 c 31.8s | 10 | 36583 | 12061 | 71214 0 | 75 | 186 35.37/35.49 c 34.3s | 10 | 37609 | 12661 | 71214 0 | 75 | 186 37.67/37.72 c 36.5s | 10 | 39124 | 13361 | 71214 0 | 75 | 186 39.97/40.01 c 38.8s | 10 | 40143 | 13961 | 71214 0 | 75 | 186 42.17/42.27 c 41.1s | 10 | 40939 | 14561 | 71214 0 | 75 | 186 44.27/44.36 c 43.2s | 10 | 42771 | 15261 | 71214 0 | 75 | 186 46.58/46.60 c 45.4s | 10 | 44350 | 15961 | 71214 0 | 75 | 186 49.08/49.16 c 48.0s | 10 | 45240 | 16461 | 71214 0 | 75 | 186 51.78/51.85 c 50.6s | 10 | 45690 | 16761 | 71214 0 | 75 | 186 53.98/54.07 c 52.9s | 10 | 46211 | 17061 | 78336 0 | 75 | 186 54.28/54.35 c 53.1s | 11 | 46352 | 17144 | 78336 0 | 75 | 186 56.28/56.38 c 55.2s | 11 | 51834 | 19444 | 78336 0 | 75 | 186 58.38/58.45 c 57.2s | 11 | 55137 | 21444 | 78336 0 | 75 | 186 60.37/60.46 c 59.3s | 11 | 59450 | 23544 | 78336 0 | 75 | 186 62.37/62.49 c 61.3s | 11 | 63370 | 25444 | 78336 0 | 75 | 186 62.78/62.89 c 61.7s | 12 | 63981 | 25819 | 86170 0 | 75 | 186 64.98/65.06 c 63.9s | 12 | 65887 | 26419 | 86170 0 | 75 | 186 67.18/67.26 c 66.0s | 12 | 67435 | 27019 | 86170 0 | 75 | 186 69.47/69.55 c 68.3s | 12 | 68461 | 27619 | 86170 0 | 75 | 186 71.77/71.89 c 70.7s | 12 | 69682 | 28319 | 86170 0 | 75 | 186 73.97/74.00 c 72.8s | 12 | 72665 | 29119 | 86170 0 | 75 | 186 75.98/76.07 c 74.9s | 12 | 73381 | 29619 | 86170 0 | 75 | 186 78.47/78.54 c 77.3s | 12 | 74790 | 30219 | 86170 0 | 75 | 186 80.77/80.82 c 79.6s | 12 | 76522 | 30919 | 86170 0 | 75 | 186 82.97/83.02 c 81.8s | 12 | 77746 | 31519 | 86170 0 | 75 | 186 85.17/85.24 c 84.0s | 12 | 79137 | 32119 | 86170 0 | 75 | 186 87.37/87.48 c 86.3s | 12 | 80440 | 32719 | 86170 0 | 75 | 186 89.47/89.59 c 88.4s | 12 | 81938 | 33219 | 86170 0 | 75 | 186 91.57/91.65 c 90.4s | 12 | 82842 | 33619 | 86170 0 | 75 | 186 93.87/93.90 c 92.7s | 12 | 83776 | 34119 | 86170 0 | 75 | 186 96.17/96.21 c 95.0s | 12 | 85205 | 34819 | 86170 0 | 75 | 186 98.57/98.67 c 97.5s | 12 | 86005 | 35319 | 86170 0 | 75 | 186 100.87/100.95 c 99.7s | 12 | 86909 | 35819 | 86170 0 | 75 | 186 103.17/103.26 c 102s | 12 | 88048 | 36419 | 86170 0 | 75 | 186 105.37/105.46 c 104s | 12 | 89256 | 36919 | 86170 0 | 75 | 186 107.87/107.98 c 106s | 12 | 90296 | 37419 | 86170 0 | 75 | 186 110.07/110.14 c 108s | 12 | 91234 | 37919 | 86170 0 | 75 | 186 112.27/112.35 c 111s | 12 | 93169 | 38619 | 94788 0 | 75 | 186 113.06/113.11 c 111s | 13 | 93787 | 38832 | 94788 0 | 75 | 186 115.36/115.48 c 114s | 13 | 95111 | 39332 | 94788 0 | 75 | 186 117.46/117.55 c 116s | 13 | 96477 | 39932 | 94788 0 | 75 | 186 119.66/119.77 c 118s | 13 | 98065 | 40632 | 94788 0 | 75 | 186 121.76/121.85 c 120s | 13 | 99234 | 41032 | 94788 0 | 75 | 186 124.66/124.76 c 123s | 13 | 100386 | 41532 | 94788 0 | 75 | 186 126.86/126.97 c 125s | 13 | 100730 | 41732 | 94788 0 | 75 | 186 129.77/129.85 c 128s | 13 | 101308 | 42032 | 94788 0 | 75 | 186 132.07/132.12 c 130s | 13 | 101892 | 42432 | 94788 0 | 75 | 186 134.06/134.20 c 132s | 13 | 102712 | 42832 | 94788 0 | 75 | 186 136.37/136.49 c 135s | 13 | 103980 | 43432 | 94788 0 | 75 | 186 138.46/138.50 c 137s | 13 | 106479 | 44232 | 94788 0 | 75 | 186 140.66/140.75 c 139s | 13 | 107384 | 44732 | 94788 0 | 75 | 186 142.86/142.95 c 141s | 13 | 108002 | 45132 | 94788 0 | 75 | 186 145.06/145.11 c 143s | 13 | 108664 | 45532 | 94788 0 | 75 | 186 147.06/147.11 c 145s | 13 | 110610 | 46232 | 94788 0 | 75 | 186 149.36/149.41 c 148s | 13 | 111527 | 46732 | 94788 0 | 75 | 186 151.76/151.84 c 150s | 13 | 112632 | 47332 | 94788 0 | 75 | 186 154.07/154.15 c 152s | 13 | 113556 | 47832 | 94788 0 | 75 | 186 156.46/156.55 c 155s | 13 | 114777 | 48332 | 94788 0 | 75 | 186 159.16/159.21 c 157s | 13 | 116150 | 48932 | 94788 0 | 75 | 186 161.26/161.30 c 160s | 13 | 116772 | 49232 | 94788 0 | 75 | 186 163.56/163.63 c 162s | 13 | 117385 | 49532 | 94788 0 | 75 | 186 165.86/165.98 c 164s | 13 | 118380 | 50032 | 94788 0 | 75 | 186 167.96/168.03 c 166s | 13 | 120284 | 50532 | 94788 0 | 75 | 186 170.36/170.43 c 169s | 13 | 121583 | 51032 | 94788 0 | 75 | 186 172.46/172.60 c 171s | 13 | 122241 | 51432 | 94788 0 | 75 | 186 174.76/174.86 c 173s | 13 | 122930 | 51832 | 94788 0 | 75 | 186 176.96/177.06 c 175s | 13 | 123903 | 52232 | 94788 0 | 75 | 186 179.45/179.52 c 178s | 13 | 125041 | 52732 | 94788 0 | 75 | 186 181.95/182.00 c 180s | 13 | 126178 | 53232 | 94788 0 | 75 | 186 184.25/184.34 c 183s | 13 | 127196 | 53732 | 94788 0 | 75 | 186 186.35/186.44 c 185s | 13 | 127949 | 54132 | 94788 0 | 75 | 186 188.55/188.69 c 187s | 13 | 128742 | 54632 | 94788 0 | 75 | 186 190.95/191.05 c 189s | 13 | 129449 | 55032 | 94788 0 | 75 | 186 193.15/193.29 c 192s | 13 | 130283 | 55432 | 94788 0 | 75 | 186 195.35/195.46 c 194s | 13 | 130974 | 55832 | 94788 0 | 75 | 186 197.75/197.83 c 196s | 13 | 131936 | 56332 | 94788 0 | 75 | 186 199.75/199.88 c 198s | 13 | 132834 | 56732 | 94788 0 | 75 | 186 201.95/202.07 c 200s | 13 | 133956 | 57132 | 94788 0 | 75 | 186 204.25/204.33 c 203s | 13 | 134713 | 57532 | 94788 0 | 75 | 186 206.65/206.76 c 205s | 13 | 135535 | 57932 | 94788 0 | 75 | 186 209.35/209.43 c 208s | 13 | 136555 | 58332 | 104267 0 | 75 | 186 209.55/209.66 c 208s | 14 | 136581 | 58352 | 104267 0 | 75 | 186 212.05/212.14 c 210s | 14 | 138285 | 58852 | 104267 0 | 75 | 186 214.35/214.41 c 213s | 14 | 139208 | 59252 | 104267 0 | 75 | 186 216.45/216.57 c 215s | 14 | 141007 | 59852 | 104267 0 | 75 | 186 218.75/218.87 c 217s | 14 | 141822 | 60252 | 104267 0 | 75 | 186 220.95/221.05 c 219s | 14 | 144226 | 60952 | 104267 0 | 75 | 186 223.25/223.36 c 222s | 14 | 146011 | 61452 | 104267 0 | 75 | 186 225.75/225.84 c 224s | 14 | 147000 | 61952 | 104267 0 | 75 | 186 228.15/228.23 c 227s | 14 | 147964 | 62352 | 104267 0 | 75 | 186 230.84/230.94 c 229s | 14 | 149082 | 62752 | 104267 0 | 75 | 186 233.15/233.26 c 232s | 14 | 150030 | 63052 | 104267 0 | 75 | 186 235.94/236.00 c 234s | 14 | 150862 | 63452 | 104267 0 | 75 | 186 238.04/238.11 c 236s | 14 | 151637 | 63752 | 104267 0 | 75 | 186 240.34/240.44 c 239s | 14 | 152681 | 64152 | 104267 0 | 75 | 186 242.54/242.60 c 241s | 14 | 153689 | 64552 | 104267 0 | 75 | 186 244.84/244.91 c 243s | 14 | 154465 | 64952 | 104267 0 | 75 | 186 247.04/247.13 c 245s | 14 | 155462 | 65352 | 104267 0 | 75 | 186 249.54/249.69 c 248s | 14 | 158329 | 66152 | 104267 0 | 75 | 186 251.74/251.88 c 250s | 14 | 159037 | 66452 | 104267 0 | 75 | 186 254.24/254.32 c 253s | 14 | 159836 | 66852 | 104267 0 | 75 | 186 256.44/256.55 c 255s | 14 | 160346 | 67152 | 104267 0 | 75 | 186 258.55/258.69 c 257s | 14 | 163171 | 67752 | 104267 0 | 75 | 186 260.94/261.07 c 259s | 14 | 165302 | 68252 | 104267 0 | 75 | 186 263.14/263.22 c 262s | 14 | 168307 | 69052 | 104267 0 | 75 | 186 265.64/265.72 c 264s | 14 | 169313 | 69452 | 104267 0 | 75 | 186 268.04/268.16 c 266s | 14 | 169788 | 69752 | 104267 0 | 75 | 186 270.44/270.55 c 269s | 14 | 170189 | 70052 | 104267 0 | 75 | 186 272.84/272.99 c 271s | 14 | 170796 | 70452 | 104267 0 | 75 | 186 275.14/275.23 c 274s | 14 | 171209 | 70752 | 104267 0 | 75 | 186 277.44/277.58 c 276s | 14 | 172161 | 71152 | 104267 0 | 75 | 186 279.94/280.05 c 278s | 14 | 173675 | 71752 | 104267 0 | 75 | 186 282.14/282.28 c 281s | 14 | 174169 | 72052 | 104267 0 | 75 | 186 284.34/284.47 c 283s | 14 | 174830 | 72352 | 104267 0 | 75 | 186 286.54/286.64 c 285s | 14 | 175284 | 72652 | 104267 0 | 75 | 186 288.64/288.79 c 287s | 14 | 175686 | 72952 | 104267 0 | 75 | 186 291.23/291.39 c 290s | 14 | 176440 | 73352 | 104267 0 | 75 | 186 293.43/293.53 c 292s | 14 | 177012 | 73652 | 104267 0 | 75 | 186 295.84/295.98 c 294s | 14 | 177696 | 73952 | 104267 0 | 75 | 186 298.43/298.55 c 297s | 14 | 178194 | 74252 | 104267 0 | 75 | 186 300.93/301.00 c 299s | 14 | 179006 | 74652 | 104267 0 | 75 | 186 303.33/303.49 c 302s | 14 | 180163 | 75152 | 104267 0 | 75 | 186 305.53/305.68 c 304s | 14 | 181073 | 75552 | 104267 0 | 75 | 186 307.83/308.00 c 306s | 14 | 181981 | 75952 | 104267 0 | 75 | 186 310.53/310.62 c 309s | 14 | 183086 | 76352 | 104267 0 | 75 | 186 312.63/312.71 c 311s | 14 | 183968 | 76652 | 104267 0 | 75 | 186 315.03/315.19 c 313s | 14 | 188779 | 77852 | 104267 0 | 75 | 186 317.23/317.35 c 316s | 14 | 189459 | 78152 | 104267 0 | 75 | 186 319.23/319.36 c 318s | 14 | 190140 | 78452 | 104267 0 | 75 | 186 321.33/321.40 c 320s | 14 | 190908 | 78752 | 104267 0 | 75 | 186 323.93/324.02 c 322s | 14 | 191881 | 79152 | 104267 0 | 75 | 186 326.33/326.44 c 325s | 14 | 193006 | 79552 | 104267 0 | 75 | 186 328.63/328.80 c 327s | 14 | 193776 | 79852 | 104267 0 | 75 | 186 330.83/330.92 c 329s | 14 | 195785 | 80352 | 104267 0 | 75 | 186 332.93/333.01 c 331s | 14 | 196318 | 80652 | 104267 0 | 75 | 186 335.43/335.60 c 334s | 14 | 198702 | 81252 | 104267 0 | 75 | 186 337.63/337.77 c 336s | 14 | 200530 | 81752 | 104267 0 | 75 | 186 339.73/339.83 c 338s | 14 | 201715 | 82152 | 104267 0 | 75 | 186 341.93/342.06 c 340s | 14 | 203152 | 82652 | 104267 0 | 75 | 186 344.13/344.26 c 343s | 14 | 203778 | 82952 | 104267 0 | 75 | 186 346.43/346.52 c 345s | 14 | 204652 | 83252 | 104267 0 | 75 | 186 348.83/348.91 c 347s | 14 | 205742 | 83652 | 104267 0 | 75 | 186 351.52/351.60 c 350s | 14 | 206678 | 84052 | 104267 0 | 75 | 186 353.82/353.92 c 352s | 14 | 207511 | 84352 | 104267 0 | 75 | 186 356.72/356.86 c 355s | 14 | 208188 | 84652 | 104267 0 | 75 | 186 359.22/359.35 c 358s | 14 | 208740 | 84952 | 104267 0 | 75 | 186 361.62/361.77 c 360s | 14 | 209479 | 85252 | 104267 0 | 75 | 186 363.62/363.77 c 362s | 14 | 210430 | 85552 | 104267 0 | 75 | 186 365.82/365.94 c 364s | 14 | 211340 | 85852 | 104267 0 | 75 | 186 367.92/368.04 c 366s | 14 | 213078 | 86352 | 104267 0 | 75 | 186 369.92/370.04 c 368s | 14 | 213627 | 86652 | 104267 0 | 75 | 186 372.12/372.20 c 370s | 14 | 216026 | 87252 | 114694 0 | 75 | 186 374.42/374.52 c 373s | 14 | 216687 | 87552 | 114694 0 | 75 | 186 375.13/375.28 c 374s | 15 | 217117 | 87632 | 114694 0 | 75 | 186 377.42/377.57 c 376s | 15 | 217638 | 87832 | 114694 0 | 75 | 186 379.62/379.73 c 378s | 15 | 220357 | 88332 | 114694 0 | 75 | 186 382.62/382.74 c 381s | 15 | 222067 | 88832 | 114694 0 | 75 | 186 384.72/384.82 c 383s | 15 | 223930 | 89232 | 114694 0 | 75 | 186 387.02/387.10 c 385s | 15 | 225597 | 89832 | 114694 0 | 75 | 186 389.02/389.12 c 387s | 15 | 227451 | 90532 | 114694 0 | 75 | 186 391.32/391.48 c 390s | 15 | 227750 | 90732 | 114694 0 | 75 | 186 393.52/393.63 c 392s | 15 | 229615 | 91132 | 114694 0 | 75 | 186 395.72/395.89 c 394s | 15 | 232396 | 91732 | 114694 0 | 75 | 186 397.92/398.00 c 396s | 15 | 234850 | 92232 | 114694 0 | 75 | 186 400.02/400.11 c 398s | 15 | 237144 | 92632 | 114694 0 | 75 | 186 402.02/402.13 c 400s | 15 | 239037 | 93032 | 114694 0 | 75 | 186 404.72/404.89 c 403s | 15 | 240425 | 93432 | 114694 0 | 75 | 186 407.12/407.28 c 406s | 15 | 241582 | 93832 | 114694 0 | 75 | 186 409.32/409.40 c 408s | 15 | 242706 | 94232 | 114694 0 | 75 | 186 411.32/411.49 c 410s | 15 | 243019 | 94432 | 114694 0 | 75 | 186 413.62/413.72 c 412s | 15 | 243344 | 94632 | 114694 0 | 75 | 186 416.21/416.30 c 415s | 15 | 244191 | 94932 | 114694 0 | 75 | 186 418.91/419.03 c 417s | 15 | 245943 | 95332 | 114694 0 | 75 | 186 421.11/421.23 c 420s | 15 | 248014 | 95832 | 114694 0 | 75 | 186 423.11/423.27 c 422s | 15 | 248814 | 96132 | 114694 0 | 75 | 186 425.41/425.56 c 424s | 15 | 249713 | 96432 | 114694 0 | 75 | 186 427.92/428.08 c 426s | 15 | 250758 | 96732 | 114694 0 | 75 | 186 430.02/430.19 c 428s | 15 | 251763 | 97132 | 114694 0 | 75 | 186 432.61/432.72 c 431s | 15 | 254516 | 97632 | 114694 0 | 75 | 186 434.91/435.07 c 433s | 15 | 255862 | 97932 | 114694 0 | 75 | 186 437.72/437.83 c 436s | 15 | 257223 | 98332 | 114694 0 | 75 | 186 440.31/440.40 c 439s | 15 | 258212 | 98632 | 114694 0 | 75 | 186 442.61/442.77 c 441s | 15 | 259898 | 99032 | 114694 0 | 75 | 186 445.11/445.29 c 444s | 15 | 260661 | 99232 | 114694 0 | 75 | 186 447.62/447.72 c 446s | 15 | 261413 | 99532 | 114694 0 | 75 | 186 450.01/450.17 c 448s | 15 | 262710 | 99932 | 114694 0 | 75 | 186 452.62/452.70 c 451s | 15 | 264401 | 100432 | 114694 0 | 75 | 186 454.82/454.95 c 453s | 15 | 265876 | 100832 | 114694 0 | 75 | 186 457.82/457.90 c 456s | 15 | 267504 | 101232 | 114694 0 | 75 | 186 460.02/460.19 c 458s | 15 | 269897 | 101832 | 114694 0 | 75 | 186 462.22/462.39 c 461s | 15 | 271085 | 102132 | 114694 0 | 75 | 186 464.62/464.74 c 463s | 15 | 272892 | 102532 | 114694 0 | 75 | 186 466.82/466.94 c 465s | 15 | 274293 | 102832 | 114694 0 | 75 | 186 469.02/469.18 c 467s | 15 | 276175 | 103232 | 114694 0 | 75 | 186 471.12/471.21 c 470s | 15 | 277900 | 103732 | 114694 0 | 75 | 186 473.52/473.64 c 472s | 15 | 280515 | 104332 | 114694 0 | 75 | 186 475.71/475.88 c 474s | 15 | 282704 | 104832 | 114694 0 | 75 | 186 477.91/478.08 c 476s | 15 | 284342 | 105232 | 114694 0 | 75 | 186 480.51/480.64 c 479s | 15 | 286281 | 105732 | 114694 0 | 75 | 186 482.51/482.65 c 481s | 15 | 288494 | 106132 | 114694 0 | 75 | 186 484.81/484.96 c 483s | 15 | 290874 | 106532 | 114694 0 | 75 | 186 486.91/487.04 c 485s | 15 | 292829 | 106932 | 114694 0 | 75 | 186 489.21/489.39 c 488s | 15 | 293853 | 107232 | 114694 0 | 75 | 186 491.62/491.73 c 490s | 15 | 294866 | 107532 | 114694 0 | 75 | 186 493.71/493.89 c 492s | 15 | 296975 | 107932 | 114694 0 | 75 | 186 496.21/496.36 c 495s | 15 | 298633 | 108432 | 114694 0 | 75 | 186 498.71/498.89 c 497s | 15 | 300583 | 108932 | 114694 0 | 75 | 186 501.11/501.25 c 500s | 15 | 301320 | 109232 | 114694 0 | 75 | 186 503.51/503.68 c 502s | 15 | 302570 | 109532 | 114694 0 | 75 | 186 505.81/505.96 c 504s | 15 | 304995 | 109932 | 114694 0 | 75 | 186 508.01/508.18 c 506s | 15 | 307982 | 110432 | 114694 0 | 75 | 186 510.51/510.64 c 509s | 15 | 309716 | 110832 | 114694 0 | 75 | 186 513.21/513.35 c 512s | 15 | 310753 | 111232 | 114694 0 | 75 | 186 515.61/515.79 c 514s | 15 | 312484 | 111632 | 114694 0 | 75 | 186 517.71/517.88 c 516s | 15 | 313739 | 111932 | 114694 0 | 75 | 186 520.61/520.70 c 519s | 15 | 314569 | 112232 | 114694 0 | 75 | 186 522.91/523.08 c 521s | 15 | 315349 | 112532 | 114694 0 | 75 | 186 525.01/525.17 c 523s | 15 | 316269 | 112832 | 114694 0 | 75 | 186 527.20/527.37 c 526s | 15 | 316965 | 113032 | 114694 0 | 75 | 186 529.80/529.91 c 528s | 15 | 317859 | 113332 | 114694 0 | 75 | 186 532.20/532.31 c 531s | 15 | 319051 | 113632 | 114694 0 | 75 | 186 535.20/535.33 c 534s | 15 | 320711 | 114132 | 114694 0 | 75 | 186 537.60/537.76 c 536s | 15 | 322369 | 114532 | 114694 0 | 75 | 186 539.80/539.93 c 538s | 15 | 323524 | 114832 | 114694 0 | 75 | 186 542.00/542.18 c 540s | 15 | 325155 | 115132 | 114694 0 | 75 | 186 544.20/544.30 c 543s | 15 | 326796 | 115432 | 114694 0 | 75 | 186 546.61/546.79 c 545s | 15 | 327844 | 115732 | 114694 0 | 75 | 186 549.10/549.26 c 548s | 15 | 328660 | 116032 | 114694 0 | 75 | 186 551.40/551.53 c 550s | 15 | 329386 | 116332 | 114694 0 | 75 | 186 553.80/553.91 c 552s | 15 | 330140 | 116632 | 114694 0 | 75 | 186 556.70/556.89 c 555s | 15 | 331470 | 117032 | 114694 0 | 75 | 186 559.10/559.22 c 558s | 15 | 332027 | 117232 | 114694 0 | 75 | 186 561.20/561.33 c 560s | 15 | 332914 | 117532 | 114694 0 | 75 | 186 564.00/564.14 c 562s | 15 | 333713 | 117832 | 114694 0 | 75 | 186 566.50/566.67 c 565s | 15 | 334784 | 118132 | 114694 0 | 75 | 186 569.30/569.42 c 568s | 15 | 335910 | 118432 | 114694 0 | 75 | 186 571.70/571.84 c 570s | 15 | 336812 | 118732 | 114694 0 | 75 | 186 574.20/574.32 c 573s | 15 | 337620 | 119032 | 114694 0 | 75 | 186 576.40/576.51 c 575s | 15 | 338247 | 119232 | 114694 0 | 75 | 186 578.80/578.95 c 577s | 15 | 338702 | 119432 | 114694 0 | 75 | 186 582.00/582.14 c 580s | 15 | 339642 | 119732 | 114694 0 | 75 | 186 584.30/584.47 c 583s | 15 | 340162 | 119932 | 114694 0 | 75 | 186 586.69/586.85 c 585s | 15 | 340857 | 120132 | 114694 0 | 75 | 186 589.19/589.33 c 588s | 15 | 341874 | 120432 | 114694 0 | 75 | 186 591.59/591.78 c 590s | 15 | 343116 | 120732 | 114694 0 | 75 | 186 593.79/593.94 c 592s | 15 | 343552 | 120932 | 114694 0 | 75 | 186 595.99/596.17 c 594s | 15 | 344021 | 121132 | 114694 0 | 75 | 186 598.69/598.83 c 597s | 15 | 345261 | 121532 | 114694 0 | 75 | 186 600.99/601.19 c 599s | 15 | 346226 | 121832 | 114694 0 | 75 | 186 603.99/604.10 c 602s | 15 | 347209 | 122132 | 114694 0 | 75 | 186 606.10/606.24 c 605s | 15 | 349049 | 122532 | 114694 0 | 75 | 186 614.99/615.17 c 613s | 15 | 350887 | 122932 | 114694 1 | 75 | 186 617.39/617.56 c 616s | 15 | 352127 | 123232 | 114694 1 | 75 | 186 619.78/619.92 c 618s | 15 | 356067 | 123932 | 114694 1 | 75 | 186 621.98/622.19 c 620s | 15 | 358009 | 124432 | 114694 1 | 75 | 186 624.70/624.90 c 623s | 15 | 360829 | 124932 | 114694 1 | 75 | 186 627.69/627.82 c 626s | 15 | 362178 | 125332 | 114694 1 | 75 | 186 629.79/630.00 c 628s | 15 | 363072 | 125632 | 114694 1 | 75 | 186 632.50/632.65 c 631s | 15 | 364162 | 125932 | 114694 1 | 75 | 186 634.89/635.01 c 633s | 15 | 365955 | 126332 | 114694 1 | 75 | 186 636.99/637.15 c 635s | 15 | 367110 | 126632 | 114694 1 | 75 | 186 639.10/639.29 c 638s | 15 | 370012 | 127132 | 114694 1 | 75 | 186 641.20/641.39 c 640s | 15 | 371950 | 127532 | 114694 1 | 75 | 186 643.99/644.19 c 642s | 15 | 374929 | 128032 | 114694 1 | 75 | 186 646.19/646.34 c 645s | 15 | 376534 | 128532 | 114694 1 | 75 | 186 648.69/648.86 c 647s | 15 | 379436 | 129132 | 114694 1 | 75 | 186 651.09/651.28 c 650s | 15 | 382541 | 129832 | 114694 1 | 75 | 186 653.39/653.55 c 652s | 15 | 385447 | 130432 | 114694 1 | 75 | 186 655.69/655.84 c 654s | 15 | 386459 | 130832 | 126164 1 | 75 | 186 657.79/657.94 c 656s | 15 | 387808 | 131132 | 126164 1 | 75 | 186 659.79/659.96 c 658s | 16 | 389985 | 131552 | 126164 1 | 75 | 186 662.09/662.28 c 661s | 16 | 390659 | 131852 | 126164 1 | 75 | 186 664.19/664.36 c 663s | 16 | 392075 | 132252 | 126164 1 | 75 | 186 666.38/666.56 c 665s | 16 | 394754 | 132852 | 126164 1 | 75 | 186 668.69/668.83 c 667s | 16 | 396127 | 133252 | 126164 1 | 75 | 186 671.18/671.33 c 670s | 16 | 397996 | 133852 | 126164 1 | 75 | 186 673.28/673.43 c 672s | 16 | 398688 | 134252 | 126164 1 | 75 | 186 675.58/675.72 c 674s | 16 | 399292 | 134652 | 126164 1 | 75 | 186 677.88/678.06 c 676s | 16 | 400483 | 135152 | 126164 1 | 75 | 186 680.08/680.22 c 679s | 16 | 401076 | 135452 | 126164 1 | 75 | 186 682.38/682.57 c 681s | 16 | 402112 | 135852 | 126164 1 | 75 | 186 684.48/684.65 c 683s | 16 | 402700 | 136252 | 126164 1 | 75 | 186 686.68/686.86 c 685s | 16 | 403408 | 136652 | 126164 1 | 75 | 186 689.28/689.43 c 688s | 16 | 404014 | 137052 | 126164 1 | 75 | 186 691.48/691.69 c 690s | 16 | 406103 | 137852 | 126164 1 | 75 | 186 693.78/693.91 c 692s | 16 | 406822 | 138252 | 126164 1 | 75 | 186 695.78/695.95 c 694s | 16 | 407513 | 138652 | 126164 1 | 75 | 186 697.88/698.00 c 696s | 16 | 408102 | 139052 | 126164 1 | 75 | 186 700.08/700.27 c 699s | 16 | 408871 | 139452 | 126164 1 | 75 | 186 702.18/702.35 c 701s | 16 | 409514 | 139852 | 126164 1 | 75 | 186 704.38/704.55 c 703s | 16 | 410032 | 140152 | 126164 1 | 75 | 186 706.58/706.79 c 705s | 16 | 410613 | 140452 | 126164 1 | 75 | 186 708.78/708.92 c 707s | 16 | 411384 | 140752 | 126164 1 | 75 | 186 711.08/711.22 c 710s | 16 | 412155 | 141152 | 126164 1 | 75 | 186 713.68/713.83 c 712s | 16 | 413513 | 141652 | 126164 1 | 75 | 186 715.78/715.92 c 714s | 16 | 413982 | 141952 | 126164 1 | 75 | 186 717.88/718.07 c 716s | 16 | 415263 | 142352 | 126164 1 | 75 | 186 720.28/720.50 c 719s | 16 | 416178 | 142752 | 126164 1 | 75 | 186 722.78/722.95 c 721s | 16 | 418395 | 143652 | 126164 1 | 75 | 186 725.17/725.37 c 724s | 16 | 419019 | 143952 | 126164 1 | 75 | 186 727.77/727.97 c 726s | 16 | 420049 | 144352 | 126164 1 | 75 | 186 730.07/730.26 c 729s | 16 | 420717 | 144652 | 126164 1 | 75 | 186 732.77/732.94 c 731s | 16 | 421530 | 145052 | 126164 1 | 75 | 186 735.27/735.48 c 734s | 16 | 422084 | 145352 | 126164 1 | 75 | 186 737.47/737.62 c 736s | 16 | 422481 | 145652 | 126164 1 | 75 | 186 739.97/740.19 c 738s | 16 | 423269 | 146052 | 126164 1 | 75 | 186 742.48/742.65 c 741s | 16 | 423895 | 146452 | 126164 1 | 75 | 186 744.58/744.76 c 743s | 16 | 424410 | 146752 | 126164 1 | 75 | 186 746.78/746.99 c 745s | 16 | 424974 | 147052 | 126164 1 | 75 | 186 749.27/749.43 c 748s | 16 | 425746 | 147352 | 126164 1 | 75 | 186 751.28/751.45 c 750s | 16 | 426525 | 147652 | 126164 1 | 75 | 186 753.48/753.67 c 752s | 16 | 428297 | 148252 | 126164 1 | 75 | 186 755.87/756.02 c 754s | 16 | 429107 | 148552 | 126164 1 | 75 | 186 758.47/758.61 c 757s | 16 | 430038 | 148952 | 126164 1 | 75 | 186 760.57/760.77 c 759s | 16 | 431800 | 149552 | 126164 1 | 75 | 186 762.57/762.77 c 761s | 16 | 432487 | 149852 | 126164 1 | 75 | 186 764.67/764.86 c 763s | 16 | 433684 | 150252 | 126164 1 | 75 | 186 766.87/767.01 c 765s | 16 | 434445 | 150552 | 126164 1 | 75 | 186 769.37/769.55 c 768s | 16 | 435115 | 150852 | 126164 1 | 75 | 186 771.87/772.02 c 770s | 16 | 435728 | 151152 | 126164 1 | 75 | 186 774.67/774.90 c 773s | 16 | 436459 | 151452 | 126164 1 | 75 | 186 776.76/776.96 c 775s | 16 | 437467 | 151752 | 126164 1 | 75 | 186 779.26/779.46 c 778s | 16 | 438509 | 152152 | 126164 1 | 75 | 186 781.56/781.79 c 780s | 16 | 439074 | 152452 | 126164 1 | 75 | 186 783.66/783.87 c 782s | 16 | 440122 | 152752 | 126164 1 | 75 | 186 785.96/786.13 c 784s | 16 | 440681 | 153052 | 126164 1 | 75 | 186 788.16/788.31 c 787s | 16 | 441246 | 153352 | 126164 1 | 75 | 186 790.26/790.48 c 789s | 16 | 441788 | 153552 | 126164 1 | 75 | 186 792.36/792.50 c 791s | 16 | 442678 | 153852 | 126164 1 | 75 | 186 794.76/794.90 c 793s | 16 | 443950 | 154252 | 126164 1 | 75 | 186 797.06/797.22 c 796s | 16 | 444717 | 154552 | 126164 1 | 75 | 186 799.86/800.08 c 798s | 16 | 445167 | 154852 | 126164 1 | 75 | 186 802.76/802.95 c 801s | 16 | 445551 | 155152 | 126164 1 | 75 | 186 805.26/805.47 c 804s | 16 | 446639 | 155552 | 126164 1 | 75 | 186 807.26/807.48 c 806s | 16 | 446968 | 155752 | 126164 1 | 75 | 186 809.76/809.92 c 808s | 16 | 449168 | 156152 | 126164 1 | 75 | 186 812.26/812.43 c 811s | 16 | 451086 | 156652 | 126164 1 | 75 | 186 814.86/815.05 c 813s | 16 | 452036 | 157052 | 126164 1 | 75 | 186 817.46/817.65 c 816s | 16 | 453504 | 157752 | 126164 1 | 75 | 186 820.35/820.50 c 819s | 16 | 454170 | 158052 | 126164 1 | 75 | 186 822.76/822.95 c 821s | 16 | 454473 | 158252 | 126164 1 | 75 | 186 825.25/825.45 c 824s | 16 | 454862 | 158452 | 126164 1 | 75 | 186 827.95/828.13 c 826s | 16 | 455461 | 158752 | 126164 1 | 75 | 186 830.05/830.24 c 829s | 16 | 455813 | 158952 | 126164 1 | 75 | 186 832.05/832.25 c 831s | 16 | 456709 | 159252 | 126164 1 | 75 | 186 834.05/834.29 c 833s | 16 | 459534 | 160452 | 126164 1 | 75 | 186 836.65/836.81 c 835s | 16 | 461053 | 160852 | 126164 1 | 75 | 186 839.16/839.39 c 838s | 16 | 462602 | 161252 | 126164 1 | 75 | 186 841.55/841.76 c 840s | 16 | 464097 | 161652 | 126164 1 | 75 | 186 843.75/843.92 c 842s | 16 | 464560 | 161852 | 126164 1 | 75 | 186 846.55/846.78 c 845s | 16 | 464962 | 162052 | 126164 1 | 75 | 186 849.25/849.44 c 848s | 16 | 465300 | 162252 | 126164 1 | 75 | 186 851.36/851.58 c 850s | 16 | 465665 | 162452 | 126164 1 | 75 | 186 853.75/853.92 c 852s | 16 | 466423 | 162752 | 126164 1 | 75 | 186 856.35/856.58 c 855s | 16 | 466896 | 162952 | 126164 1 | 75 | 186 858.55/858.73 c 857s | 16 | 467523 | 163252 | 126164 1 | 75 | 186 861.35/861.54 c 860s | 16 | 468452 | 163652 | 126164 1 | 75 | 186 863.75/863.90 c 862s | 16 | 468820 | 163852 | 126164 1 | 75 | 186 865.95/866.16 c 864s | 16 | 469636 | 164152 | 126164 1 | 75 | 186 867.95/868.17 c 866s | 16 | 470239 | 164452 | 126164 1 | 75 | 186 870.35/870.52 c 869s | 16 | 470872 | 164752 | 126164 1 | 75 | 186 872.75/872.95 c 871s | 16 | 471162 | 164952 | 126164 1 | 75 | 186 875.55/875.78 c 874s | 16 | 471697 | 165252 | 126164 1 | 75 | 186 878.15/878.37 c 877s | 16 | 472267 | 165552 | 126164 1 | 75 | 186 881.35/881.58 c 880s | 16 | 472707 | 165852 | 126164 1 | 75 | 186 884.25/884.45 c 883s | 16 | 472997 | 166052 | 126164 1 | 75 | 186 886.34/886.56 c 885s | 16 | 473273 | 166252 | 126164 1 | 75 | 186 888.84/889.01 c 887s | 16 | 475977 | 166852 | 126164 1 | 75 | 186 890.85/891.01 c 889s | 16 | 477939 | 167252 | 126164 1 | 75 | 186 893.74/893.96 c 892s | 16 | 478460 | 167552 | 126164 1 | 75 | 186 895.94/896.12 c 894s | 16 | 480547 | 168052 | 126164 1 | 75 | 186 898.14/898.36 c 897s | 16 | 482642 | 168552 | 126164 1 | 75 | 186 900.44/900.64 c 899s | 16 | 485189 | 169052 | 126164 1 | 75 | 186 902.64/902.80 c 901s | 16 | 486420 | 169452 | 126164 1 | 75 | 186 905.15/905.32 c 904s | 16 | 487032 | 169752 | 126164 1 | 75 | 186 907.45/907.68 c 906s | 16 | 488117 | 170052 | 126164 1 | 75 | 186 909.74/909.92 c 908s | 16 | 489765 | 170552 | 126164 1 | 75 | 186 912.54/912.77 c 911s | 16 | 492000 | 171052 | 126164 1 | 75 | 186 915.05/915.23 c 914s | 16 | 493339 | 171452 | 126164 1 | 75 | 186 917.25/917.45 c 916s | 16 | 493877 | 171652 | 126164 1 | 75 | 186 919.64/919.83 c 918s | 16 | 494808 | 171952 | 126164 1 | 75 | 186 921.75/921.96 c 920s | 16 | 495573 | 172252 | 126164 1 | 75 | 186 924.04/924.27 c 923s | 16 | 496437 | 172552 | 126164 1 | 75 | 186 926.44/926.61 c 925s | 16 | 497140 | 172852 | 126164 1 | 75 | 186 928.84/929.00 c 927s | 16 | 497997 | 173152 | 126164 1 | 75 | 186 931.34/931.54 c 930s | 16 | 499280 | 173552 | 126164 1 | 75 | 186 933.44/933.64 c 932s | 16 | 501005 | 173952 | 126164 1 | 75 | 186 936.34/936.56 c 935s | 16 | 501630 | 174252 | 126164 1 | 75 | 186 938.93/939.14 c 937s | 16 | 502832 | 174652 | 126164 1 | 75 | 186 941.03/941.28 c 940s | 16 | 504126 | 175052 | 126164 1 | 75 | 186 943.13/943.38 c 942s | 16 | 505228 | 175352 | 126164 1 | 75 | 186 945.53/945.74 c 944s | 16 | 506137 | 175652 | 126164 1 | 75 | 186 947.93/948.13 c 946s | 16 | 506930 | 175952 | 126164 1 | 75 | 186 950.03/950.27 c 949s | 16 | 507668 | 176252 | 126164 1 | 75 | 186 952.33/952.60 c 951s | 16 | 508606 | 176552 | 126164 1 | 75 | 186 954.42/954.60 c 953s | 16 | 509117 | 176752 | 126164 1 | 75 | 186 956.72/956.91 c 955s | 16 | 509672 | 177052 | 126164 1 | 75 | 186 959.03/959.28 c 958s | 16 | 510245 | 177352 | 126164 1 | 75 | 186 961.33/961.55 c 960s | 16 | 510860 | 177652 | 126164 1 | 75 | 186 964.12/964.31 c 963s | 16 | 511988 | 178052 | 126164 1 | 75 | 186 966.12/966.37 c 965s | 16 | 512758 | 178352 | 126164 1 | 75 | 186 968.62/968.84 c 967s | 16 | 513243 | 178652 | 126164 1 | 75 | 186 971.32/971.50 c 970s | 16 | 515106 | 179252 | 126164 1 | 75 | 186 973.82/974.05 c 972s | 16 | 515805 | 179552 | 126164 1 | 75 | 186 975.82/976.06 c 974s | 16 | 516880 | 179852 | 126164 1 | 75 | 186 978.62/978.87 c 977s | 16 | 517595 | 180152 | 126164 1 | 75 | 186 981.21/981.44 c 980s | 16 | 518420 | 180452 | 126164 1 | 75 | 186 983.22/983.44 c 982s | 16 | 519150 | 180752 | 126164 1 | 75 | 186 985.31/985.58 c 984s | 16 | 519841 | 181052 | 126164 1 | 75 | 186 987.51/987.77 c 986s | 16 | 520546 | 181352 | 126164 1 | 75 | 186 990.11/990.34 c 989s | 16 | 522026 | 181752 | 126164 1 | 75 | 186 993.01/993.26 c 992s | 16 | 523622 | 182152 | 126164 1 | 75 | 186 995.21/995.45 c 994s | 16 | 525218 | 182652 | 126164 1 | 75 | 186 997.61/997.81 c 996s | 16 | 526002 | 182952 | 126164 1 | 75 | 186 999.81/1000.06 c 998s | 16 | 526358 | 183152 | 126164 1 | 75 | 186 1002.40/1002.62 c 1001s | 16 | 526766 | 183352 | 126164 1 | 75 | 186 1005.10/1005.36 c 1004s | 16 | 527035 | 183552 | 126164 1 | 75 | 186 1007.80/1008.01 c 1006s | 16 | 527733 | 183852 | 126164 1 | 75 | 186 1010.60/1010.82 c 1009s | 16 | 528531 | 184152 | 126164 1 | 75 | 186 1013.60/1013.80 c 1012s | 16 | 529160 | 184452 | 126164 1 | 75 | 186 1016.31/1016.56 c 1015s | 16 | 529925 | 184752 | 126164 1 | 75 | 186 1018.70/1018.92 c 1017s | 16 | 530708 | 185052 | 126164 1 | 75 | 186 1021.00/1021.29 c 1020s | 16 | 531199 | 185252 | 126164 1 | 75 | 186 1023.80/1024.01 c 1022s | 16 | 531541 | 185452 | 126164 1 | 75 | 186 1026.10/1026.31 c 1025s | 16 | 531863 | 185652 | 126164 1 | 75 | 186 1028.99/1029.24 c 1028s | 16 | 532492 | 185952 | 126164 1 | 75 | 186 1031.99/1032.25 c 1031s | 16 | 532974 | 186252 | 126164 1 | 75 | 186 1034.09/1034.33 c 1033s | 16 | 533223 | 186452 | 126164 1 | 75 | 186 1036.99/1037.30 c 1036s | 16 | 533719 | 186752 | 126164 1 | 75 | 186 1039.59/1039.80 c 1038s | 16 | 534382 | 187052 | 126164 1 | 75 | 186 1042.69/1042.99 c 1041s | 16 | 534877 | 187352 | 126164 1 | 75 | 186 1044.99/1045.24 c 1044s | 16 | 535110 | 187552 | 126164 1 | 75 | 186 1047.09/1047.33 c 1046s | 16 | 537223 | 188052 | 126164 1 | 75 | 186 1049.88/1050.10 c 1048s | 16 | 539159 | 188552 | 126164 1 | 75 | 186 1052.59/1052.81 c 1051s | 16 | 539728 | 188852 | 126164 1 | 75 | 186 1054.58/1054.82 c 1053s | 16 | 540115 | 189052 | 126164 1 | 75 | 186 1056.58/1056.86 c 1055s | 16 | 540961 | 189352 | 126164 1 | 75 | 186 1058.58/1058.87 c 1057s | 16 | 542104 | 189752 | 126164 1 | 75 | 186 1061.47/1061.72 c 1060s | 16 | 543149 | 190152 | 126164 1 | 75 | 186 1063.67/1063.99 c 1062s | 16 | 543520 | 190352 | 126164 1 | 75 | 186 1065.87/1066.16 c 1064s | 16 | 544109 | 190552 | 126164 1 | 75 | 186 1068.57/1068.82 c 1067s | 16 | 545092 | 190852 | 126164 1 | 75 | 186 1071.18/1071.47 c 1070s | 16 | 546037 | 191152 | 126164 1 | 75 | 186 1073.97/1074.26 c 1073s | 16 | 546928 | 191452 | 126164 1 | 75 | 186 1076.17/1076.47 c 1075s | 16 | 547862 | 191752 | 126164 1 | 75 | 186 1078.37/1078.64 c 1077s | 16 | 548735 | 192052 | 126164 1 | 75 | 186 1080.36/1080.67 c 1079s | 16 | 549202 | 192252 | 126164 1 | 75 | 186 1083.37/1083.69 c 1082s | 16 | 549865 | 192552 | 126164 1 | 75 | 186 1086.06/1086.37 c 1085s | 16 | 551153 | 192852 | 126164 1 | 75 | 186 1088.77/1089.03 c 1087s | 16 | 551965 | 193152 | 126164 1 | 75 | 186 1091.76/1092.07 c 1090s | 16 | 552374 | 193452 | 126164 1 | 75 | 186 1094.56/1094.84 c 1093s | 16 | 552616 | 193552 | 126164 2 | 75 | 186 1097.25/1097.50 c 1096s | 16 | 554190 | 193952 | 126164 2 | 75 | 186 1100.05/1100.30 c 1099s | 16 | 555426 | 194352 | 126164 2 | 75 | 186 1102.15/1102.43 c 1101s | 16 | 556333 | 194652 | 126164 2 | 75 | 186 1104.16/1104.46 c 1103s | 16 | 558699 | 195152 | 126164 2 | 75 | 186 1106.25/1106.55 c 1105s | 16 | 560460 | 195652 | 126164 2 | 75 | 186 1108.35/1108.64 c 1107s | 16 | 561666 | 196052 | 126164 2 | 75 | 186 1110.64/1110.90 c 1109s | 16 | 562900 | 196452 | 138781 2 | 75 | 186 1112.34/1112.62 c 1111s | 17 | 565051 | 197432 | 138781 2 | 75 | 186 1120.55/1120.89 c 1119s | 17 | 565395 | 197532 | 138781 2 | 75 | 186 1123.05/1123.30 c 1122s | 17 | 566726 | 198032 | 138781 2 | 75 | 186 1125.25/1125.59 c 1124s | 17 | 567840 | 198532 | 138781 2 | 75 | 186 1127.65/1127.97 c 1126s | 17 | 568500 | 198932 | 138781 2 | 75 | 186 1129.74/1130.09 c 1128s | 17 | 569327 | 199332 | 138781 2 | 75 | 186 1131.94/1132.22 c 1131s | 17 | 570065 | 199732 | 138781 2 | 75 | 186 1134.04/1134.33 c 1133s | 17 | 570758 | 200132 | 138781 2 | 75 | 186 1136.54/1136.84 c 1135s | 17 | 571455 | 200532 | 138781 2 | 75 | 186 1138.54/1138.85 c 1137s | 17 | 571877 | 200832 | 138781 2 | 75 | 186 1140.84/1141.11 c 1139s | 17 | 572531 | 201132 | 138781 2 | 75 | 186 1142.94/1143.23 c 1142s | 17 | 573073 | 201432 | 138781 2 | 75 | 186 1145.54/1145.80 c 1144s | 17 | 573496 | 201732 | 138781 2 | 75 | 186 1148.54/1148.87 c 1147s | 17 | 573974 | 202032 | 138781 2 | 75 | 186 1151.13/1151.40 c 1150s | 17 | 574491 | 202332 | 138781 2 | 75 | 186 1153.64/1153.99 c 1152s | 17 | 575263 | 202732 | 138781 2 | 75 | 186 1156.43/1156.78 c 1155s | 17 | 575835 | 203132 | 138781 2 | 75 | 186 1158.53/1158.87 c 1157s | 17 | 576345 | 203432 | 138781 2 | 75 | 186 1160.93/1161.27 c 1160s | 17 | 576968 | 203832 | 138781 2 | 75 | 186 1163.33/1163.67 c 1162s | 17 | 577719 | 204232 | 138781 2 | 75 | 186 1165.83/1166.12 c 1164s | 17 | 578268 | 204532 | 138781 2 | 75 | 186 1168.03/1168.34 c 1167s | 17 | 578872 | 204832 | 138781 2 | 75 | 186 1170.52/1170.83 c 1169s | 17 | 579479 | 205132 | 138781 2 | 75 | 186 1172.62/1172.93 c 1171s | 17 | 580033 | 205432 | 138781 2 | 75 | 186 1175.42/1175.75 c 1174s | 17 | 580477 | 205732 | 138781 2 | 75 | 186 1178.02/1178.35 c 1177s | 17 | 580935 | 206032 | 138781 2 | 75 | 186 1181.02/1181.35 c 1180s | 17 | 581362 | 206332 | 138781 2 | 75 | 186 1183.92/1184.26 c 1183s | 17 | 581890 | 206632 | 138781 2 | 75 | 186 1186.12/1186.49 c 1185s | 17 | 582184 | 206832 | 138781 2 | 75 | 186 1188.42/1188.71 c 1187s | 17 | 582441 | 207032 | 138781 2 | 75 | 186 1191.02/1191.31 c 1190s | 17 | 582694 | 207232 | 138781 2 | 75 | 186 1193.62/1193.91 c 1192s | 17 | 583163 | 207432 | 138781 2 | 75 | 186 1196.42/1196.72 c 1195s | 17 | 583588 | 207632 | 138781 2 | 75 | 186 1198.51/1198.87 c 1197s | 17 | 584200 | 207832 | 138781 2 | 75 | 186 1201.51/1201.86 c 1200s | 17 | 584913 | 208132 | 138781 2 | 75 | 186 1204.01/1204.31 c 1203s | 17 | 585583 | 208432 | 138781 2 | 75 | 186 1206.61/1206.92 c 1205s | 17 | 586351 | 208832 | 138781 2 | 75 | 186 1208.91/1209.28 c 1208s | 17 | 587258 | 209132 | 138781 2 | 75 | 186 1211.21/1211.58 c 1210s | 17 | 587713 | 209332 | 138781 2 | 75 | 186 1213.51/1213.87 c 1212s | 17 | 588165 | 209532 | 138781 2 | 75 | 186 1216.11/1216.49 c 1215s | 17 | 588918 | 209932 | 138781 2 | 75 | 186 1218.51/1218.85 c 1217s | 17 | 589325 | 210232 | 138781 2 | 75 | 186 1220.71/1221.06 c 1219s | 17 | 589979 | 210532 | 138781 2 | 75 | 186 1223.30/1223.63 c 1222s | 17 | 590363 | 210832 | 138781 2 | 75 | 186 1225.30/1225.68 c 1224s | 17 | 590805 | 211132 | 138781 2 | 75 | 186 1227.70/1228.03 c 1226s | 17 | 591237 | 211432 | 138781 2 | 75 | 186 1230.30/1230.61 c 1229s | 17 | 591796 | 211732 | 138781 2 | 75 | 186 1233.00/1233.38 c 1232s | 17 | 592239 | 212032 | 138781 2 | 75 | 186 1235.50/1235.83 c 1234s | 17 | 592659 | 212332 | 138781 2 | 75 | 186 1238.20/1238.57 c 1237s | 17 | 593315 | 212632 | 138781 2 | 75 | 186 1240.80/1241.11 c 1239s | 17 | 595058 | 213132 | 138781 2 | 75 | 186 1243.00/1243.34 c 1242s | 17 | 595713 | 213432 | 138781 2 | 75 | 186 1245.30/1245.61 c 1244s | 17 | 597764 | 213832 | 138781 2 | 75 | 186 1247.40/1247.74 c 1246s | 17 | 598624 | 214132 | 138781 2 | 75 | 186 1249.59/1249.99 c 1248s | 17 | 599626 | 214432 | 138781 2 | 75 | 186 1251.69/1252.00 c 1250s | 17 | 601483 | 214832 | 138781 2 | 75 | 186 1254.09/1254.49 c 1253s | 17 | 603840 | 215532 | 138781 2 | 75 | 186 1256.39/1256.76 c 1255s | 17 | 604730 | 215832 | 138781 2 | 75 | 186 1258.79/1259.16 c 1257s | 17 | 606001 | 216232 | 138781 2 | 75 | 186 1261.50/1261.87 c 1260s | 17 | 606600 | 216532 | 138781 2 | 75 | 186 1263.49/1263.89 c 1262s | 17 | 607928 | 216932 | 138781 2 | 75 | 186 1266.09/1266.44 c 1265s | 17 | 608633 | 217232 | 138781 2 | 75 | 186 1268.79/1269.11 c 1267s | 17 | 609308 | 217532 | 138781 2 | 75 | 186 1270.78/1271.18 c 1269s | 17 | 610009 | 217832 | 138781 2 | 75 | 186 1273.78/1274.12 c 1272s | 17 | 610480 | 218132 | 138781 2 | 75 | 186 1276.38/1276.74 c 1275s | 17 | 610793 | 218332 | 138781 2 | 75 | 186 1278.78/1279.12 c 1277s | 17 | 611231 | 218632 | 138781 2 | 75 | 186 1281.29/1281.67 c 1280s | 17 | 611648 | 218932 | 138781 2 | 75 | 186 1283.58/1283.91 c 1282s | 17 | 612153 | 219232 | 138781 2 | 75 | 186 1285.88/1286.22 c 1285s | 17 | 612564 | 219532 | 138781 2 | 75 | 186 1288.08/1288.43 c 1287s | 17 | 616653 | 220132 | 138781 2 | 75 | 186 1290.28/1290.68 c 1289s | 17 | 618067 | 220532 | 138781 2 | 75 | 186 1292.67/1293.07 c 1291s | 17 | 618898 | 220932 | 138781 2 | 75 | 186 1295.17/1295.52 c 1294s | 17 | 620154 | 221332 | 138781 2 | 75 | 186 1297.17/1297.56 c 1296s | 17 | 620818 | 221632 | 138781 2 | 75 | 186 1299.17/1299.58 c 1298s | 17 | 621532 | 221932 | 138781 2 | 75 | 186 1301.37/1301.73 c 1300s | 17 | 622303 | 222232 | 138781 2 | 75 | 186 1303.57/1303.93 c 1302s | 17 | 622984 | 222532 | 138781 2 | 75 | 186 1305.57/1305.97 c 1304s | 17 | 624036 | 222832 | 138781 2 | 75 | 186 1308.07/1308.41 c 1307s | 17 | 625134 | 223132 | 138781 2 | 75 | 186 1310.17/1310.56 c 1309s | 17 | 626177 | 223532 | 138781 2 | 75 | 186 1312.77/1313.17 c 1311s | 17 | 627001 | 223832 | 138781 2 | 75 | 186 1315.47/1315.86 c 1314s | 17 | 627533 | 224132 | 138781 2 | 75 | 186 1317.67/1318.07 c 1316s | 17 | 628497 | 224432 | 138781 2 | 75 | 186 1320.27/1320.67 c 1319s | 17 | 628911 | 224732 | 138781 2 | 75 | 186 1323.07/1323.43 c 1322s | 17 | 629355 | 225032 | 138781 2 | 75 | 186 1325.56/1325.90 c 1324s | 17 | 630511 | 225432 | 138781 2 | 75 | 186 1328.06/1328.46 c 1327s | 17 | 631043 | 225732 | 138781 2 | 75 | 186 1330.36/1330.72 c 1329s | 17 | 632617 | 226132 | 138781 2 | 75 | 186 1332.97/1333.36 c 1332s | 17 | 633798 | 226532 | 138781 2 | 75 | 186 1335.08/1335.44 c 1334s | 17 | 634907 | 226832 | 138781 2 | 75 | 186 1337.07/1337.45 c 1336s | 17 | 636315 | 227432 | 138781 2 | 75 | 186 1339.16/1339.54 c 1338s | 17 | 639279 | 228832 | 138781 2 | 75 | 186 1341.46/1341.80 c 1340s | 17 | 641028 | 229732 | 138781 2 | 75 | 186 1343.76/1344.14 c 1342s | 17 | 642527 | 230532 | 138781 2 | 75 | 186 1345.86/1346.25 c 1345s | 17 | 643715 | 231132 | 138781 2 | 75 | 186 1347.86/1348.29 c 1347s | 17 | 645189 | 231932 | 138781 2 | 75 | 186 1350.26/1350.61 c 1349s | 17 | 646656 | 232732 | 138781 2 | 75 | 186 1352.26/1352.69 c 1351s | 17 | 648749 | 233732 | 138781 2 | 75 | 186 1354.46/1354.80 c 1353s | 17 | 650054 | 234632 | 138781 2 | 75 | 186 1356.56/1356.95 c 1355s | 17 | 651058 | 235332 | 138781 2 | 75 | 186 1358.55/1358.99 c 1357s | 17 | 652269 | 236032 | 138781 2 | 75 | 186 1360.75/1361.16 c 1359s | 17 | 653396 | 236732 | 138781 2 | 75 | 186 1363.15/1363.51 c 1362s | 17 | 654425 | 237332 | 138781 2 | 75 | 186 1365.25/1365.61 c 1364s | 17 | 655357 | 237832 | 138781 2 | 75 | 186 1367.45/1367.84 c 1366s | 17 | 656109 | 238332 | 138781 2 | 75 | 186 1369.54/1369.90 c 1368s | 17 | 657695 | 239232 | 138781 2 | 75 | 186 1371.64/1372.01 c 1370s | 17 | 659299 | 240032 | 138781 2 | 75 | 186 1373.94/1374.30 c 1373s | 17 | 660269 | 240532 | 138781 2 | 75 | 186 1375.94/1376.34 c 1375s | 17 | 660944 | 240932 | 138781 2 | 75 | 186 1378.84/1379.28 c 1378s | 17 | 661825 | 241332 | 138781 2 | 75 | 186 1381.04/1381.40 c 1380s | 17 | 663251 | 241832 | 138781 2 | 75 | 186 1383.94/1384.30 c 1383s | 17 | 664450 | 242232 | 138781 2 | 75 | 186 1386.14/1386.55 c 1385s | 17 | 666307 | 242732 | 138781 2 | 75 | 186 1388.54/1388.99 c 1387s | 17 | 666826 | 243032 | 138781 2 | 75 | 186 1391.14/1391.60 c 1390s | 17 | 667362 | 243332 | 138781 2 | 75 | 186 1394.24/1394.62 c 1393s | 17 | 667797 | 243632 | 138781 2 | 75 | 186 1396.24/1396.69 c 1395s | 17 | 668267 | 243832 | 138781 2 | 75 | 186 1398.34/1398.78 c 1397s | 17 | 668638 | 244032 | 138781 2 | 75 | 186 1400.53/1400.94 c 1399s | 17 | 669103 | 244332 | 138781 2 | 75 | 186 1402.73/1403.13 c 1401s | 17 | 669576 | 244632 | 138781 2 | 75 | 186 1405.13/1405.58 c 1404s | 17 | 670135 | 244932 | 138781 2 | 75 | 186 1407.13/1407.58 c 1406s | 17 | 670432 | 245132 | 138781 2 | 75 | 186 1410.03/1410.48 c 1409s | 17 | 671237 | 245432 | 138781 2 | 75 | 186 1412.63/1413.04 c 1411s | 17 | 672043 | 245732 | 138781 2 | 75 | 186 1415.13/1415.50 c 1414s | 17 | 672456 | 246032 | 138781 2 | 75 | 186 1417.73/1418.11 c 1416s | 17 | 672928 | 246332 | 138781 2 | 75 | 186 1420.33/1420.70 c 1419s | 17 | 673329 | 246632 | 138781 2 | 75 | 186 1423.13/1423.52 c 1422s | 17 | 673776 | 246932 | 138781 2 | 75 | 186 1425.13/1425.56 c 1424s | 17 | 674491 | 247232 | 138781 2 | 75 | 186 1427.53/1427.97 c 1426s | 17 | 675043 | 247532 | 138781 2 | 75 | 186 1429.63/1430.07 c 1428s | 17 | 675462 | 247832 | 138781 2 | 75 | 186 1431.73/1432.14 c 1430s | 17 | 676837 | 248432 | 138781 2 | 75 | 186 1434.33/1434.76 c 1433s | 17 | 678459 | 249032 | 138781 2 | 75 | 186 1436.52/1436.96 c 1435s | 17 | 678956 | 249332 | 138781 2 | 75 | 186 1438.82/1439.23 c 1438s | 17 | 679666 | 249632 | 138781 2 | 75 | 186 1441.52/1441.96 c 1440s | 17 | 680125 | 249932 | 138781 2 | 75 | 186 1444.32/1444.78 c 1443s | 17 | 680715 | 250232 | 138781 2 | 75 | 186 1446.92/1447.38 c 1446s | 17 | 681236 | 250532 | 138781 2 | 75 | 186 1448.92/1449.39 c 1448s | 17 | 681899 | 250832 | 138781 2 | 75 | 186 1451.52/1451.97 c 1450s | 17 | 683132 | 251232 | 138781 2 | 75 | 186 1454.02/1454.43 c 1453s | 17 | 683868 | 251532 | 138781 2 | 75 | 186 1456.52/1456.90 c 1455s | 17 | 684530 | 251832 | 138781 2 | 75 | 186 1458.52/1458.93 c 1457s | 17 | 684793 | 252032 | 138781 2 | 75 | 186 1460.53/1460.98 c 1459s | 17 | 685063 | 252232 | 138781 2 | 75 | 186 1463.22/1463.68 c 1462s | 17 | 685503 | 252532 | 138781 2 | 75 | 186 1465.52/1465.91 c 1464s | 17 | 686340 | 252832 | 138781 2 | 75 | 186 1468.02/1468.45 c 1467s | 17 | 686854 | 253132 | 138781 2 | 75 | 186 1470.12/1470.53 c 1469s | 17 | 687428 | 253432 | 138781 2 | 75 | 186 1472.32/1472.78 c 1471s | 17 | 688067 | 253732 | 138781 2 | 75 | 186 1475.02/1475.44 c 1474s | 17 | 688752 | 254032 | 138781 2 | 75 | 186 1477.12/1477.53 c 1476s | 17 | 689837 | 254432 | 138781 2 | 75 | 186 1479.23/1479.67 c 1478s | 17 | 690626 | 254732 | 138781 2 | 75 | 186 1481.92/1482.32 c 1481s | 17 | 691043 | 255032 | 138781 2 | 75 | 186 1484.62/1485.01 c 1483s | 17 | 691495 | 255332 | 138781 2 | 75 | 186 1486.82/1487.28 c 1486s | 17 | 692118 | 255632 | 138781 2 | 75 | 186 1489.52/1489.97 c 1488s | 17 | 692745 | 255932 | 138781 2 | 75 | 186 1491.72/1492.17 c 1490s | 17 | 693319 | 256232 | 138781 2 | 75 | 186 1494.22/1494.64 c 1493s | 17 | 693964 | 256532 | 138781 2 | 75 | 186 1496.92/1497.32 c 1496s | 17 | 694575 | 256832 | 138781 2 | 75 | 186 1499.22/1499.67 c 1498s | 17 | 695414 | 257132 | 138781 2 | 75 | 186 1501.71/1502.13 c 1500s | 17 | 696030 | 257432 | 138781 2 | 75 | 186 1504.11/1504.58 c 1503s | 17 | 696844 | 257732 | 138781 2 | 75 | 186 1506.31/1506.78 c 1505s | 17 | 697252 | 257932 | 138781 2 | 75 | 186 1509.11/1509.55 c 1508s | 17 | 697927 | 258232 | 138781 2 | 75 | 186 1511.51/1511.90 c 1510s | 17 | 699033 | 258532 | 138781 2 | 75 | 186 1514.42/1514.85 c 1513s | 17 | 699734 | 258832 | 138781 2 | 75 | 186 1517.21/1517.62 c 1516s | 17 | 700563 | 259132 | 138781 2 | 75 | 186 1520.61/1521.02 c 1519s | 17 | 701051 | 259432 | 138781 2 | 75 | 186 1522.61/1523.06 c 1521s | 17 | 702418 | 259732 | 138781 2 | 75 | 186 1525.11/1525.50 c 1524s | 17 | 702783 | 259932 | 138781 2 | 75 | 186 1527.81/1528.22 c 1527s | 17 | 703325 | 260232 | 138781 2 | 75 | 186 1529.91/1530.32 c 1529s | 17 | 703788 | 260432 | 138781 2 | 75 | 186 1532.02/1532.41 c 1531s | 17 | 704048 | 260632 | 138781 2 | 75 | 186 1534.71/1535.16 c 1533s | 17 | 704511 | 260932 | 138781 2 | 75 | 186 1537.31/1537.78 c 1536s | 17 | 704982 | 261232 | 138781 2 | 75 | 186 1539.51/1539.90 c 1538s | 17 | 705321 | 261432 | 138781 2 | 75 | 186 1542.01/1542.43 c 1541s | 17 | 705657 | 261632 | 138781 2 | 75 | 186 1544.41/1544.82 c 1543s | 17 | 705988 | 261832 | 138781 2 | 75 | 186 1546.61/1547.03 c 1545s | 17 | 706322 | 262032 | 138781 2 | 75 | 186 1548.61/1549.08 c 1547s | 17 | 706661 | 262232 | 138781 2 | 75 | 186 1551.11/1551.54 c 1550s | 17 | 707326 | 262532 | 138781 2 | 75 | 186 1553.10/1553.57 c 1552s | 17 | 707698 | 262732 | 138781 2 | 75 | 186 1555.11/1555.57 c 1554s | 17 | 707963 | 262932 | 138781 2 | 75 | 186 1557.21/1557.62 c 1556s | 17 | 708272 | 263132 | 138781 2 | 75 | 186 1559.20/1559.63 c 1558s | 17 | 708752 | 263332 | 138781 2 | 75 | 186 1561.71/1562.13 c 1560s | 17 | 709655 | 263732 | 138781 2 | 75 | 186 1563.81/1564.24 c 1563s | 17 | 709911 | 263932 | 138781 2 | 75 | 186 1565.80/1566.29 c 1565s | 17 | 710217 | 264132 | 138781 2 | 75 | 186 1568.31/1568.72 c 1567s | 17 | 710567 | 264332 | 138781 2 | 75 | 186 1570.41/1570.87 c 1569s | 17 | 710942 | 264532 | 138781 2 | 75 | 186 1572.71/1573.13 c 1571s | 17 | 711329 | 264732 | 138781 2 | 75 | 186 1575.50/1576.00 c 1574s | 17 | 712811 | 265132 | 138781 2 | 75 | 186 1578.50/1578.94 c 1577s | 17 | 713372 | 265432 | 138781 2 | 75 | 186 1580.50/1580.99 c 1579s | 17 | 713872 | 265632 | 138781 2 | 75 | 186 1583.50/1583.99 c 1582s | 17 | 714502 | 265932 | 138781 2 | 75 | 186 1585.60/1586.04 c 1584s | 17 | 714888 | 266132 | 138781 2 | 75 | 186 1588.60/1589.04 c 1587s | 17 | 715450 | 266432 | 138781 2 | 75 | 186 1591.10/1591.58 c 1590s | 17 | 715789 | 266632 | 138781 2 | 75 | 186 1593.30/1593.70 c 1592s | 17 | 716091 | 266832 | 138781 2 | 75 | 186 1596.10/1596.57 c 1595s | 17 | 716524 | 267132 | 138781 2 | 75 | 186 1598.50/1598.95 c 1597s | 17 | 716818 | 267332 | 138781 2 | 75 | 186 1601.00/1601.44 c 1600s | 17 | 717189 | 267532 | 138781 2 | 75 | 186 1603.70/1604.17 c 1602s | 17 | 717732 | 267832 | 138781 2 | 75 | 186 1624.59/1625.04 c 1623s | 17 | 718260 | 268032 | 138781 3 | 75 | 186 1626.89/1627.36 c 1626s | 17 | 723763 | 268932 | 138781 3 | 75 | 186 1629.09/1629.56 c 1628s | 17 | 726911 | 269632 | 138781 3 | 75 | 186 1631.29/1631.79 c 1630s | 17 | 729707 | 270332 | 138781 3 | 75 | 186 1633.39/1633.89 c 1632s | 17 | 730985 | 270732 | 138781 3 | 75 | 186 1635.99/1636.46 c 1635s | 17 | 732065 | 271132 | 138781 3 | 75 | 186 1638.49/1638.97 c 1637s | 17 | 734227 | 271832 | 138781 3 | 75 | 186 1640.90/1641.36 c 1640s | 17 | 737071 | 273132 | 138781 3 | 75 | 186 1643.10/1643.55 c 1642s | 17 | 737979 | 273432 | 138781 3 | 75 | 186 1645.19/1645.60 c 1644s | 17 | 738801 | 273732 | 138781 3 | 75 | 186 1647.29/1647.70 c 1646s | 17 | 739773 | 274032 | 138781 3 | 75 | 186 1649.70/1650.15 c 1648s | 17 | 740669 | 274332 | 138781 3 | 75 | 186 1652.09/1652.50 c 1651s | 17 | 741681 | 274632 | 138781 3 | 75 | 186 1654.29/1654.78 c 1653s | 17 | 742740 | 274932 | 138781 3 | 75 | 186 1656.49/1656.93 c 1655s | 17 | 743250 | 275232 | 138781 3 | 75 | 186 1658.59/1659.06 c 1657s | 17 | 744237 | 275632 | 138781 3 | 75 | 186 1661.19/1661.64 c 1660s | 17 | 745186 | 276032 | 138781 3 | 75 | 186 1663.59/1664.09 c 1662s | 17 | 746390 | 276432 | 138781 3 | 75 | 186 1665.69/1666.15 c 1664s | 17 | 748050 | 276832 | 138781 3 | 75 | 186 1667.69/1668.19 c 1666s | 17 | 749508 | 277232 | 138781 3 | 75 | 186 1670.09/1670.50 c 1669s | 17 | 751410 | 277832 | 138781 3 | 75 | 186 1672.48/1672.92 c 1671s | 17 | 755559 | 279032 | 138781 3 | 75 | 186 1674.78/1675.27 c 1674s | 17 | 756208 | 279332 | 138781 3 | 75 | 186 1676.88/1677.37 c 1676s | 17 | 758429 | 279832 | 138781 3 | 75 | 186 1679.39/1679.82 c 1678s | 17 | 761110 | 280332 | 138781 3 | 75 | 186 1681.98/1682.47 c 1681s | 17 | 761724 | 280632 | 138781 3 | 75 | 186 1684.08/1684.55 c 1683s | 17 | 762194 | 280832 | 138781 3 | 75 | 186 1686.38/1686.86 c 1685s | 17 | 762845 | 281132 | 138781 3 | 75 | 186 1688.38/1688.89 c 1687s | 17 | 763318 | 281332 | 138781 3 | 75 | 186 1691.28/1691.79 c 1690s | 17 | 763873 | 281632 | 138781 3 | 75 | 186 1693.38/1693.83 c 1692s | 17 | 764152 | 281832 | 138781 3 | 75 | 186 1696.18/1696.67 c 1695s | 17 | 764604 | 282132 | 138781 3 | 75 | 186 1698.48/1698.97 c 1697s | 17 | 766563 | 282632 | 138781 3 | 75 | 186 1700.78/1701.26 c 1700s | 17 | 768296 | 283032 | 138781 3 | 75 | 186 1702.88/1703.33 c 1702s | 17 | 772100 | 284632 | 138781 3 | 75 | 186 1705.79/1706.22 c 1705s | 17 | 773783 | 285232 | 138781 3 | 75 | 186 1708.28/1708.71 c 1707s | 17 | 775251 | 285632 | 138781 3 | 75 | 186 1710.58/1711.02 c 1709s | 17 | 776720 | 286032 | 138781 3 | 75 | 186 1712.78/1713.21 c 1712s | 17 | 777783 | 286432 | 138781 3 | 75 | 186 1715.28/1715.74 c 1714s | 17 | 779142 | 286832 | 138781 3 | 75 | 186 1717.88/1718.36 c 1717s | 17 | 780303 | 287232 | 138781 3 | 75 | 186 1720.58/1721.01 c 1719s | 17 | 781617 | 287632 | 138781 3 | 75 | 186 1722.78/1723.20 c 1721s | 17 | 782788 | 287932 | 138781 3 | 75 | 186 1725.38/1725.88 c 1724s | 17 | 784221 | 288332 | 138781 3 | 75 | 186 1727.68/1728.14 c 1726s | 17 | 785147 | 288632 | 138781 3 | 75 | 186 1729.98/1730.42 c 1729s | 17 | 785948 | 288932 | 138781 3 | 75 | 186 1732.88/1733.30 c 1732s | 17 | 787158 | 289332 | 138781 3 | 75 | 186 1735.18/1735.64 c 1734s | 17 | 788014 | 289732 | 138781 3 | 75 | 186 1737.47/1737.99 c 1736s | 17 | 789095 | 290132 | 138781 3 | 75 | 186 1740.07/1740.55 c 1739s | 17 | 790151 | 290532 | 138781 3 | 75 | 186 1742.87/1743.32 c 1742s | 17 | 791235 | 290932 | 138781 3 | 75 | 186 1744.87/1745.36 c 1744s | 17 | 792105 | 291232 | 138781 3 | 75 | 186 1747.17/1747.67 c 1746s | 17 | 793283 | 291532 | 138781 3 | 75 | 186 1750.07/1750.58 c 1749s | 17 | 794812 | 291932 | 138781 3 | 75 | 186 1752.37/1752.84 c 1751s | 17 | 795174 | 292132 | 138781 3 | 75 | 186 1754.77/1755.28 c 1754s | 17 | 797125 | 292632 | 138781 3 | 75 | 186 1756.87/1757.40 c 1756s | 17 | 798501 | 293032 | 138781 3 | 75 | 186 1759.27/1759.73 c 1758s | 17 | 799492 | 293332 | 138781 3 | 75 | 186 1762.27/1762.77 c 1761s | 17 | 800941 | 293732 | 138781 3 | 75 | 186 1764.37/1764.85 c 1763s | 17 | 801541 | 293932 | 138781 3 | 75 | 186 1767.47/1767.91 c 1766s | 17 | 802551 | 294232 | 152660 3 | 75 | 186 1769.48/1769.94 c 1768s | 17 | 804339 | 294732 | 152660 3 | 75 | 186 1771.47/1771.96 c 1770s | 17 | 805403 | 295032 | 152660 3 | 75 | 186 1773.57/1774.03 c 1772s | 17 | 806485 | 295432 | 152660 3 | 75 | 186 1775.67/1776.14 c 1774s | 17 | 807483 | 295732 | 152660 3 | 75 | 186 1777.87/1778.38 c 1777s | 17 | 808415 | 296032 | 152660 3 | 75 | 186 1779.57/1780.07 c 1778s | 18 | 809329 | 296252 | 152660 3 | 75 | 186 1781.67/1782.18 c 1780s | 18 | 811944 | 297152 | 152660 3 | 75 | 186 1783.87/1784.38 c 1783s | 18 | 813501 | 297552 | 152660 3 | 75 | 186 1786.57/1787.03 c 1785s | 18 | 815455 | 298052 | 152660 3 | 75 | 186 1788.67/1789.17 c 1787s | 18 | 816660 | 298452 | 152660 3 | 75 | 186 1791.47/1792.00 c 1790s | 18 | 817267 | 298752 | 152660 3 | 75 | 186 1793.77/1794.29 c 1793s | 18 | 818938 | 299252 | 152660 3 | 75 | 186 1795.87/1796.36 c 1795s | 18 | 820209 | 299552 | 152660 3 | 75 | 186 1798.56/1799.07 c 1797s | 18 | 821900 | 300052 | 152660 3 | 75 | 186
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-4078747-1465221897/watcher-4078747-1465221897 -o /tmp/evaluation-result-4078747-1465221897/solver-4078747-1465221897 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1858 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078747-1465221897.opb pid=2887 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.13 2.12 2.07 3/179 2890 /proc/meminfo: memFree=30379612/32872528 swapFree=13600/559348 [pid=2890] ppid=2887 vsize=24328 CPUtime=0 cores=0,2,4,6 /proc/2890/stat : 2890 (runsolver) D 2887 2890 1842 0 -1 4202560 116 0 0 0 0 0 0 0 20 0 1 0 104124652 24911872 151 33554432000 4194304 4338465 140736953537728 140736953535368 270118243511 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0 /proc/2890/statm: 6082 151 105 36 0 2655 0 [startup+0.100164 s] /proc/loadavg: 2.13 2.12 2.07 3/179 2890 /proc/meminfo: memFree=30379612/32872528 swapFree=13600/559348 [pid=2890] ppid=2887 vsize=1302084 CPUtime=0.08 cores=0,2,4,6 /proc/2890/stat : 2890 (toysat) R 2887 2890 1842 0 -1 4202496 23611 0 0 0 5 3 0 0 20 0 4 0 104124652 1333334016 23910 33554432000 4194304 16246674 140734661788832 140734661788144 7376282 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2890/statm: 325521 23925 800 2943 0 322415 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1302084 [startup+0.200435 s] /proc/loadavg: 2.13 2.12 2.07 3/179 2890 /proc/meminfo: memFree=30379612/32872528 swapFree=13600/559348 [pid=2890] ppid=2887 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/2890/stat : 2890 (toysat) R 2887 2890 1842 0 -1 4202496 45103 0 0 0 13 6 0 0 20 0 4 0 104124652 1344868352 45912 33554432000 4194304 16246674 140734661788832 140734661771824 7364254 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2890/statm: 328337 45912 801 2943 0 325231 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300393 s] /proc/loadavg: 2.13 2.12 2.07 3/179 2890 /proc/meminfo: memFree=30379612/32872528 swapFree=13600/559348 [pid=2890] ppid=2887 vsize=1313348 CPUtime=0.28 cores=0,2,4,6 /proc/2890/stat : 2890 (toysat) R 2887 2890 1842 0 -1 4202496 59299 0 0 0 20 8 0 0 20 0 4 0 104124652 1344868352 60108 33554432000 4194304 16246674 140734661788832 140734661771824 7378053 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2890/statm: 328337 60108 801 2943 0 325231 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1313348 [startup+0.700306 s] /proc/loadavg: 2.13 2.12 2.07 3/179 2890 /proc/meminfo: memFree=30379612/32872528 swapFree=13600/559348 [pid=2890] ppid=2887 vsize=1313348 CPUtime=0.68 cores=0,2,4,6 /proc/2890/stat : 2890 (toysat) R 2887 2890 1842 0 -1 4202496 82703 0 0 0 57 11 0 0 20 0 4 0 104124652 1344868352 83512 33554432000 4194304 16246674 140734661788832 140734661771824 6155927 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2890/statm: 328337 83522 833 2943 0 325231 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1313348 [startup+1.50044 s] /proc/loadavg: 2.13 2.12 2.07 3/183 2894 /proc/meminfo: memFree=29757884/32872528 swapFree=13600/559348 [pid=2890] ppid=2887 vsize=1351236 CPUtime=1.48 cores=0,2,4,6 /proc/2890/stat : 2890 (toysat) R 2887 2890 1842 0 -1 4202496 200119 0 0 0 120 28 0 0 20 0 4 0 104124652 1383665664 200928 33554432000 4194304 16246674 140734661788832 140734661770752 5672586 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2890/statm: 337809 200928 885 2943 0 334703 0 [pid=2890/tid=2892] ppid=2887 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2892/stat : 2892 (toysat) S 2887 2890 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104124653 1383665664 200928 33554432000 4194304 16246674 140734661788832 140452344868080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=2890/tid=2893] ppid=2887 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2893/stat : 2893 (toysat) S 2887 2890 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104124653 1383665664 200928 33554432000 4194304 16246674 140734661788832 140452334378224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2890/tid=2894] ppid=2887 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2894/stat : 2894 (toysat) S 2887 2890 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104124653 1383665664 200928 33554432000 4194304 16246674 140734661788832 140452323904688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1351236 [startup+3.10044 s] /proc/loadavg: 2.12 2.12 2.06 3/183 2894 /proc/meminfo: memFree=29576100/32872528 swapFree=13600/559348 [pid=2890] ppid=2887 vsize=1351236 CPUtime=3.08 cores=0,2,4,6 /proc/2890/stat : 2890 (toysat) R 2887 2890 1842 0 -1 4202496 278480 0 0 0 270 38 0 0 20 0 4 0 104124652 1383665664 279289 33554432000 4194304 16246674 140734661788832 140734661770752 5522977 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2890/statm: 337809 279289 885 2943 0 334703 0 [pid=2890/tid=2892] ppid=2887 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2892/stat : 2892 (toysat) S 2887 2890 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104124653 1383665664 279289 33554432000 4194304 16246674 140734661788832 140452344868080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=2890/tid=2893] ppid=2887 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2893/stat : 2893 (toysat) S 2887 2890 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104124653 1383665664 279289 33554432000 4194304 16246674 140734661788832 140452334378224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2890/tid=2894] ppid=2887 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2894/stat : 2894 (toysat) S 2887 2890 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104124653 1383665664 279289 33554432000 4194304 16246674 140734661788832 140452323904688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1351236 [startup+6.30043 s] /proc/loadavg: 2.12 2.12 2.06 3/183 2894 /proc/meminfo: memFree=29262900/32872528 swapFree=13600/559348 [pid=2890] ppid=2887 vsize=1351236 CPUtime=6.28 cores=0,2,4,6 /proc/2890/stat : 2890 (toysat) R 2887 2890 1842 0 -1 4202496 278488 0 0 0 590 38 0 0 20 0 4 0 104124652 1383665664 279297 33554432000 4194304 16246674 140734661788832 140734661770752 5600232 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2890/statm: 337809 279297 891 2943 0 334703 0 [pid=2890/tid=2892] ppid=2887 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2892/stat : 2892 (toysat) S 2887 2890 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104124653 1383665664 279297 33554432000 4194304 16246674 140734661788832 140452344868080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=2890/tid=2893] ppid=2887 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2893/stat : 2893 (toysat) S 2887 2890 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104124653 1383665664 279297 33554432000 4194304 16246674 140734661788832 140452334378224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2890/tid=2894] ppid=2887 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2894/stat : 2894 (toysat) S 2887 2890 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104124653 1383665664 279297 33554432000 4194304 16246674 140734661788832 140452323904688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1351236 [startup+12.7004 s] /proc/loadavg: 2.10 2.11 2.06 3/183 2894 /proc/meminfo: memFree=29263204/32872528 swapFree=13600/559348 [pid=2890] ppid=2887 vsize=1351236 CPUtime=12.68 cores=0,2,4,6 /proc/2890/stat : 2890 (toysat) R 2887 2890 1842 0 -1 4202496 278488 0 0 0 1230 38 0 0 20 0 4 0 104124652 1383665664 279297 33554432000 4194304 16246674 140734661788832 140734661770752 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2890/statm: 337809 279297 891 2943 0 334703 0 [pid=2890/tid=2892] ppid=2887 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2892/stat : 2892 (toysat) S 2887 2890 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104124653 1383665664 279297 33554432000 4194304 16246674 140734661788832 140452344868080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=2890/tid=2893] ppid=2887 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2893/stat : 2893 (toysat) S 2887 2890 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104124653 1383665664 279297 33554432000 4194304 16246674 140734661788832 140452334378224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2890/tid=2894] ppid=2887 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2894/stat : 2894 (toysat) S 2887 2890 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104124653 1383665664 279297 33554432000 4194304 16246674 140734661788832 140452323904688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1351236 [startup+25.5005 s] /proc/loadavg: 2.08 2.11 2.06 3/183 2894 /proc/meminfo: memFree=29263824/32872528 swapFree=13600/559348 [pid=2890] ppid=2887 vsize=1351236 CPUtime=25.47 cores=0,2,4,6 /proc/2890/stat : 2890 (toysat) R 2887 2890 1842 0 -1 4202496 278488 0 0 0 2509 38 0 0 20 0 4 0 104124652 1383665664 279297 33554432000 4194304 16246674 140734661788832 140734661770752 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2890/statm: 337809 279297 891 2943 0 334703 0 [pid=2890/tid=2892] ppid=2887 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2892/stat : 2892 (toysat) S 2887 2890 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104124653 1383665664 279297 33554432000 4194304 16246674 140734661788832 140452344868080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=2890/tid=2893] ppid=2887 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2893/stat : 2893 (toysat) S 2887 2890 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104124653 1383665664 279297 33554432000 4194304 16246674 140734661788832 140452334378224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2890/tid=2894] ppid=2887 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2894/stat : 2894 (toysat) S 2887 2890 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104124653 1383665664 279297 33554432000 4194304 16246674 140734661788832 140452323904688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 1351236 [startup+51.1005 s] /proc/loadavg: 2.06 2.10 2.06 3/183 2894 /proc/meminfo: memFree=29263248/32872528 swapFree=13600/559348 [pid=2890] ppid=2887 vsize=1351236 CPUtime=51.08 cores=0,2,4,6 /proc/2890/stat : 2890 (toysat) R 2887 2890 1842 0 -1 4202496 278488 0 0 0 5069 39 0 0 20 0 4 0 104124652 1383665664 279297 33554432000 4194304 16246674 140734661788832 140734661770752 12479216 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2890/statm: 337809 279297 891 2943 0 334703 0 [pid=2890/tid=2892] ppid=2887 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2892/stat : 2892 (toysat) S 2887 2890 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104124653 1383665664 279297 33554432000 4194304 16246674 140734661788832 140452344868080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=2890/tid=2893] ppid=2887 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2893/stat : 2893 (toysat) S 2887 2890 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104124653 1383665664 279297 33554432000 4194304 16246674 140734661788832 140452334378224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2890/tid=2894] ppid=2887 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2894/stat : 2894 (toysat) S 2887 2890 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104124653 1383665664 279297 33554432000 4194304 16246674 140734661788832 140452323904688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1351236 [startup+102.3 s] /proc/loadavg: 2.06 2.09 2.06 3/183 2896 /proc/meminfo: memFree=29262848/32872528 swapFree=13600/559348 [pid=2890] ppid=2887 vsize=1351236 CPUtime=102.27 cores=0,2,4,6 /proc/2890/stat : 2890 (toysat) R 2887 2890 1842 0 -1 4202496 278489 0 0 0 10188 39 0 0 20 0 4 0 104124652 1383665664 279298 33554432000 4194304 16246674 140734661788832 140734661770752 5677720 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2890/statm: 337809 279298 891 2943 0 334703 0 [pid=2890/tid=2892] ppid=2887 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2892/stat : 2892 (toysat) S 2887 2890 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104124653 1383665664 279298 33554432000 4194304 16246674 140734661788832 140452344868080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=2890/tid=2893] ppid=2887 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2893/stat : 2893 (toysat) S 2887 2890 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104124653 1383665664 279298 33554432000 4194304 16246674 140734661788832 140452334378224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2890/tid=2894] ppid=2887 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2894/stat : 2894 (toysat) S 2887 2890 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104124653 1383665664 279298 33554432000 4194304 16246674 140734661788832 140452323904688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1351236 [startup+162.3 s] /proc/loadavg: 2.06 2.09 2.06 3/183 2897 /proc/meminfo: memFree=29262508/32872528 swapFree=13600/559348 [pid=2890] ppid=2887 vsize=1351236 CPUtime=162.26 cores=0,2,4,6 /proc/2890/stat : 2890 (toysat) R 2887 2890 1842 0 -1 4202496 278489 0 0 0 16187 39 0 0 20 0 4 0 104124652 1383665664 279298 33554432000 4194304 16246674 140734661788832 140734661770752 12483286 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2890/statm: 337809 279298 891 2943 0 334703 0 [pid=2890/tid=2892] ppid=2887 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2892/stat : 2892 (toysat) S 2887 2890 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104124653 1383665664 279298 33554432000 4194304 16246674 140734661788832 140452344868080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=2890/tid=2893] ppid=2887 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2893/stat : 2893 (toysat) S 2887 2890 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104124653 1383665664 279298 33554432000 4194304 16246674 140734661788832 140452334378224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2890/tid=2894] ppid=2887 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2894/stat : 2894 (toysat) S 2887 2890 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104124653 1383665664 279298 33554432000 4194304 16246674 140734661788832 140452323904688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 1351236 [startup+222.307 s] /proc/loadavg: 2.11 2.10 2.06 3/183 2898 /proc/meminfo: memFree=29262396/32872528 swapFree=13600/559348 [pid=2890] ppid=2887 vsize=1351236 CPUtime=222.25 cores=0,2,4,6 /proc/2890/stat : 2890 (toysat) R 2887 2890 1842 0 -1 4202496 278489 0 0 0 22186 39 0 0 20 0 4 0 104124652 1383665664 279298 33554432000 4194304 16246674 140734661788832 140734661770688 5677716 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2890/statm: 337809 279298 891 2943 0 334703 0 [pid=2890/tid=2892] ppid=2887 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2892/stat : 2892 (toysat) S 2887 2890 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104124653 1383665664 279298 33554432000 4194304 16246674 140734661788832 140452344868080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=2890/tid=2893] ppid=2887 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2893/stat : 2893 (toysat) S 2887 2890 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104124653 1383665664 279298 33554432000 4194304 16246674 140734661788832 140452334378224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2890/tid=2894] ppid=2887 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2894/stat : 2894 (toysat) S 2887 2890 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104124653 1383665664 279298 33554432000 4194304 16246674 140734661788832 140452323904688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 1351236 ################ # More data... # ################ /proc/2890/task/2894/stat : 2894 (toysat) S 2887 2890 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104124653 1454968832 296710 33554432000 4194304 16246674 140734661788832 140452323904688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1420868 [startup+1362.3 s] /proc/loadavg: 2.21 2.13 2.09 3/183 2927 /proc/meminfo: memFree=29189932/32872528 swapFree=13600/559348 [pid=2890] ppid=2887 vsize=1420868 CPUtime=1361.95 cores=0,2,4,6 /proc/2890/stat : 2890 (toysat) R 2887 2890 1842 0 -1 4202496 296124 0 0 0 136150 45 0 0 20 0 4 0 104124652 1454968832 296710 33554432000 4194304 16246674 140734661788832 140734661770752 13943604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2890/statm: 355217 296710 892 2943 0 352111 0 [pid=2890/tid=2892] ppid=2887 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2892/stat : 2892 (toysat) S 2887 2890 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104124653 1454968832 296710 33554432000 4194304 16246674 140734661788832 140452344868080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=2890/tid=2893] ppid=2887 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2893/stat : 2893 (toysat) S 2887 2890 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104124653 1454968832 296710 33554432000 4194304 16246674 140734661788832 140452334378224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2890/tid=2894] ppid=2887 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2894/stat : 2894 (toysat) S 2887 2890 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104124653 1454968832 296710 33554432000 4194304 16246674 140734661788832 140452323904688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1420868 [startup+1422.3 s] /proc/loadavg: 2.07 2.10 2.09 3/183 2928 /proc/meminfo: memFree=29190240/32872528 swapFree=13600/559348 [pid=2890] ppid=2887 vsize=1420868 CPUtime=1421.93 cores=0,2,4,6 /proc/2890/stat : 2890 (toysat) R 2887 2890 1842 0 -1 4202496 296147 0 0 0 142148 45 0 0 20 0 4 0 104124652 1454968832 296710 33554432000 4194304 16246674 140734661788832 140734661770752 5828710 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2890/statm: 355217 296710 892 2943 0 352111 0 [pid=2890/tid=2892] ppid=2887 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2892/stat : 2892 (toysat) S 2887 2890 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104124653 1454968832 296710 33554432000 4194304 16246674 140734661788832 140452344868080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=2890/tid=2893] ppid=2887 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2893/stat : 2893 (toysat) S 2887 2890 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104124653 1454968832 296710 33554432000 4194304 16246674 140734661788832 140452334378224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2890/tid=2894] ppid=2887 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2894/stat : 2894 (toysat) S 2887 2890 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104124653 1454968832 296710 33554432000 4194304 16246674 140734661788832 140452323904688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1420868 [startup+1482.3 s] /proc/loadavg: 2.03 2.08 2.08 3/183 2929 /proc/meminfo: memFree=29190164/32872528 swapFree=13600/559348 [pid=2890] ppid=2887 vsize=1420868 CPUtime=1481.92 cores=0,2,4,6 /proc/2890/stat : 2890 (toysat) R 2887 2890 1842 0 -1 4202496 296147 0 0 0 148147 45 0 0 20 0 4 0 104124652 1454968832 296710 33554432000 4194304 16246674 140734661788832 140734661770752 5721780 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2890/statm: 355217 296710 892 2943 0 352111 0 [pid=2890/tid=2892] ppid=2887 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2892/stat : 2892 (toysat) S 2887 2890 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104124653 1454968832 296710 33554432000 4194304 16246674 140734661788832 140452344868080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=2890/tid=2893] ppid=2887 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2893/stat : 2893 (toysat) S 2887 2890 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104124653 1454968832 296710 33554432000 4194304 16246674 140734661788832 140452334378224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2890/tid=2894] ppid=2887 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2894/stat : 2894 (toysat) S 2887 2890 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104124653 1454968832 296710 33554432000 4194304 16246674 140734661788832 140452323904688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 1420868 [startup+1542.31 s] /proc/loadavg: 2.04 2.08 2.08 3/184 2933 /proc/meminfo: memFree=29190524/32872528 swapFree=13600/559348 [pid=2890] ppid=2887 vsize=1420868 CPUtime=1541.91 cores=0,2,4,6 /proc/2890/stat : 2890 (toysat) R 2887 2890 1842 0 -1 4202496 296147 0 0 0 154146 45 0 0 20 0 4 0 104124652 1454968832 296710 33554432000 4194304 16246674 140734661788832 140734661770752 5676613 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2890/statm: 355217 296710 892 2943 0 352111 0 [pid=2890/tid=2892] ppid=2887 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2892/stat : 2892 (toysat) S 2887 2890 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104124653 1454968832 296710 33554432000 4194304 16246674 140734661788832 140452344868080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=2890/tid=2893] ppid=2887 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2893/stat : 2893 (toysat) S 2887 2890 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104124653 1454968832 296710 33554432000 4194304 16246674 140734661788832 140452334378224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2890/tid=2894] ppid=2887 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2894/stat : 2894 (toysat) S 2887 2890 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104124653 1454968832 296710 33554432000 4194304 16246674 140734661788832 140452323904688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1420868 [startup+1602.3 s] /proc/loadavg: 2.06 2.08 2.08 4/183 2935 /proc/meminfo: memFree=29190252/32872528 swapFree=13600/559348 [pid=2890] ppid=2887 vsize=1420868 CPUtime=1601.9 cores=0,2,4,6 /proc/2890/stat : 2890 (toysat) R 2887 2890 1842 0 -1 4202496 296147 0 0 0 160145 45 0 0 20 0 4 0 104124652 1454968832 296710 33554432000 4194304 16246674 140734661788832 140734661770752 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2890/statm: 355217 296710 892 2943 0 352111 0 [pid=2890/tid=2892] ppid=2887 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2892/stat : 2892 (toysat) S 2887 2890 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104124653 1454968832 296710 33554432000 4194304 16246674 140734661788832 140452344868080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=2890/tid=2893] ppid=2887 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2893/stat : 2893 (toysat) S 2887 2890 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104124653 1454968832 296710 33554432000 4194304 16246674 140734661788832 140452334378224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2890/tid=2894] ppid=2887 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2894/stat : 2894 (toysat) S 2887 2890 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104124653 1454968832 296710 33554432000 4194304 16246674 140734661788832 140452323904688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1420868 [startup+1662.3 s] /proc/loadavg: 2.06 2.07 2.08 3/183 2936 /proc/meminfo: memFree=29190216/32872528 swapFree=13600/559348 [pid=2890] ppid=2887 vsize=1420868 CPUtime=1661.89 cores=0,2,4,6 /proc/2890/stat : 2890 (toysat) R 2887 2890 1842 0 -1 4202496 296147 0 0 0 166141 48 0 0 20 0 4 0 104124652 1454968832 296710 33554432000 4194304 16246674 140734661788832 140734661770752 13821000 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2890/statm: 355217 296710 892 2943 0 352111 0 [pid=2890/tid=2892] ppid=2887 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2892/stat : 2892 (toysat) S 2887 2890 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104124653 1454968832 296710 33554432000 4194304 16246674 140734661788832 140452344868080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=2890/tid=2893] ppid=2887 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2893/stat : 2893 (toysat) S 2887 2890 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104124653 1454968832 296710 33554432000 4194304 16246674 140734661788832 140452334378224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2890/tid=2894] ppid=2887 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2894/stat : 2894 (toysat) S 2887 2890 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104124653 1454968832 296710 33554432000 4194304 16246674 140734661788832 140452323904688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1420868 [startup+1722.3 s] /proc/loadavg: 2.02 2.06 2.07 3/183 2937 /proc/meminfo: memFree=29190304/32872528 swapFree=13600/559348 [pid=2890] ppid=2887 vsize=1420868 CPUtime=1721.88 cores=0,2,4,6 /proc/2890/stat : 2890 (toysat) R 2887 2890 1842 0 -1 4202496 296147 0 0 0 172140 48 0 0 20 0 4 0 104124652 1454968832 296710 33554432000 4194304 16246674 140734661788832 140734661770752 5677716 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2890/statm: 355217 296710 892 2943 0 352111 0 [pid=2890/tid=2892] ppid=2887 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2892/stat : 2892 (toysat) S 2887 2890 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104124653 1454968832 296710 33554432000 4194304 16246674 140734661788832 140452344868080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=2890/tid=2893] ppid=2887 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2893/stat : 2893 (toysat) S 2887 2890 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104124653 1454968832 296710 33554432000 4194304 16246674 140734661788832 140452334378224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2890/tid=2894] ppid=2887 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2894/stat : 2894 (toysat) S 2887 2890 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104124653 1454968832 296710 33554432000 4194304 16246674 140734661788832 140452323904688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 1420868 [startup+1782.3 s] /proc/loadavg: 2.10 2.08 2.08 3/183 2987 /proc/meminfo: memFree=29220156/32872528 swapFree=13600/559348 [pid=2890] ppid=2887 vsize=1420868 CPUtime=1781.87 cores=0,2,4,6 /proc/2890/stat : 2890 (toysat) R 2887 2890 1842 0 -1 4202496 296147 0 0 0 178139 48 0 0 20 0 4 0 104124652 1454968832 296710 33554432000 4194304 16246674 140734661788832 140734661770752 5717450 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2890/statm: 355217 296710 892 2943 0 352111 0 [pid=2890/tid=2892] ppid=2887 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2892/stat : 2892 (toysat) S 2887 2890 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104124653 1454968832 296710 33554432000 4194304 16246674 140734661788832 140452344868080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=2890/tid=2893] ppid=2887 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2893/stat : 2893 (toysat) S 2887 2890 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104124653 1454968832 296710 33554432000 4194304 16246674 140734661788832 140452334378224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2890/tid=2894] ppid=2887 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2894/stat : 2894 (toysat) S 2887 2890 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104124653 1454968832 296710 33554432000 4194304 16246674 140734661788832 140452323904688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 1420868 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.07 2.07 2.08 4/183 2987 /proc/meminfo: memFree=29215136/32872528 swapFree=13600/559348 [pid=2890] ppid=2887 vsize=1420868 CPUtime=1800.06 cores=0,2,4,6 /proc/2890/stat : 2890 (toysat) R 2887 2890 1842 0 -1 4202496 296147 0 0 0 179958 48 0 0 20 0 4 0 104124652 1454968832 296710 33554432000 4194304 16246674 140734661788832 140734661770752 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2890/statm: 355217 296710 892 2943 0 352111 0 [pid=2890/tid=2892] ppid=2887 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2892/stat : 2892 (toysat) S 2887 2890 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104124653 1454968832 296710 33554432000 4194304 16246674 140734661788832 140452344868080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=2890/tid=2893] ppid=2887 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2893/stat : 2893 (toysat) S 2887 2890 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104124653 1454968832 296710 33554432000 4194304 16246674 140734661788832 140452334378224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2890/tid=2894] ppid=2887 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2894/stat : 2894 (toysat) S 2887 2890 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104124653 1454968832 296710 33554432000 4194304 16246674 140734661788832 140452323904688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1420868 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 2890 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.07 2.07 2.08 4/183 2987 /proc/meminfo: memFree=29215136/32872528 swapFree=13600/559348 [pid=2890] ppid=2887 vsize=1420868 CPUtime=1800.06 cores=0,2,4,6 /proc/2890/stat : 2890 (toysat) R 2887 2890 1842 0 -1 4202496 296147 0 0 0 179958 48 0 0 20 0 4 0 104124652 1454968832 296710 33554432000 4194304 16246674 140734661788832 140734661770752 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2890/statm: 355217 296710 892 2943 0 352111 0 [pid=2890/tid=2892] ppid=2887 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2892/stat : 2892 (toysat) S 2887 2890 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104124653 1454968832 296710 33554432000 4194304 16246674 140734661788832 140452344868080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=2890/tid=2893] ppid=2887 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2893/stat : 2893 (toysat) S 2887 2890 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104124653 1454968832 296710 33554432000 4194304 16246674 140734661788832 140452334378224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2890/tid=2894] ppid=2887 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/2890/task/2894/stat : 2894 (toysat) S 2887 2890 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104124653 1454968832 296710 33554432000 4194304 16246674 140734661788832 140452323904688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1420868 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.08 CPU user time (s): 1799.59 CPU system time (s): 0.486925 CPU usage (%): 99.9762 Max. virtual memory (cumulated for all children) (KiB): 1420868 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.59 system time used= 0.486925 maximum resident set size= 1186840 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 296147 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= 263 involuntary context switches= 1853 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 13.7289 second user time and 7.56585 second system time The end
Begin job on node106 at 2016-06-06 16:04:57 IDJOB=4078747 IDBENCH=1488 IDSOLVER=2542 FILE ID=node106/4078747-1465221897 RUNJOBID= node106-1465219870-1858 PBS_JOBID= 19843217 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.8.accl.ucl.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078747-1465221897/watcher-4078747-1465221897 -o /tmp/evaluation-result-4078747-1465221897/solver-4078747-1465221897 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1858 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078747-1465221897.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b2fe1642a1ae97e0b20cfe37f07bcc49 RANDOM SEED=1212591427 node106.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.775 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.55 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.775 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.775 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.56 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.775 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.775 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.64 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.775 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.775 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.775 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: 30380140 kB Buffers: 9880 kB Cached: 126440 kB SwapCached: 1832 kB Active: 1178560 kB Inactive: 53924 kB Active(anon): 1097016 kB Inactive(anon): 1244 kB Active(file): 81544 kB Inactive(file): 52680 kB Unevictable: 559348 kB Mlocked: 13600 kB SwapTotal: 67108856 kB SwapFree: 67098512 kB Dirty: 40324 kB Writeback: 0 kB AnonPages: 1654520 kB Mapped: 11112 kB Shmem: 0 kB Slab: 568360 kB SReclaimable: 11868 kB SUnreclaim: 556492 kB KernelStack: 1472 kB PageTables: 7348 kB NFS_Unstable: 4 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1796960 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 552960 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71704 MiB End job on node106 at 2016-06-06 16:34:58