| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.09 | 1800.61 |
| Name | /DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K132.opb |
| MD5SUM | 88bbbc51beb841161685a00fb4d24f63 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 15708 |
| Total number of constraints | 15974 |
| Number of constraints which are clauses | 15842 |
| Number of constraints which are cardinality constraints (but not clauses) | 132 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 132 |
| 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 | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 133 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-07T10:11:50+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4078896-1465287109.opb"] 0.00/0.01 c use --random-gen="3135928757 3354316851 4148477014 2277117874 3493382981 3021259705 4282116605 2941955102 354420124 3064894763 482597798 3249214816 55359086 1797366703 3927290336 893805299 2400071056 1853978849 2331129061 2564818507 2887261190 289613780 485148056 1867358831 3282064146 1306933909 417843432 3476238505 1020857517 1506243149 862962965 1608746699 1864760885 2956458461 3906729011 1533053446 45469246 38129880 3072943537 2030457474 357530278 1060357255 998923590 561373546 3758242062 1912653549 3333163775 3979801886 923524677 2462013094 780118436 4072578126 1893926474 3929380433 4006794496 483575313 4150619197 1415253657 3629423007 1587434405 2879980133 3382810216 4086850905 2569042199 2797305361 1085552982 3028377909 454762265 137580606 4009921577 128648414 2510866145 3738031512 1311027249 94898394 859072598 3220389219 1153295774 2491819248 1568922064 3018604723 219089304 887965800 3968441059 2761350446 4082287047 2559224406 3301706553 2155499557 289952430 2048036492 3380787408 3757294307 3368552313 1815091383 579183182 1700193074 651939956 169666558 2655329638 3351120741 1788108429 2517227661 401318314 1410362390 3563659583 814533525 3377136779 1729441675 1470865650 2555735773 3250593169 2757321812 3464711039 65086628 1552101024 1754664845 2419731650 1097037996 1982945325 1295228719 3265189934 697663619 1227129842 373532243 846322664 995686086 3184858472 1726778547 2275888263 367313030 3940405561 1178250802 3708772559 3850484248 1376291335 2145180497 1126520047 2699749396 2427794121 87190509 2921383691 1562594849 3744801216 4079852340 3982751301 3907615138 4238036904 1628652099 1731559612 1716171235 3819935428 4146221764 272165646 1326590038 2569775957 1146812541 861113560 960991931 2635140322 2305941416 4269766572 1978054587 2559048414 3312555561 360637325 3688800338 4207193990 3424605803 1734463406 2357398203 407874391 3901741174 1863814291 1496779345 194960341 1588360457 2264186657 4010823012 2210587464 3738661149 361904004 3930722891 1784289243 1612508580 2922919110 3861898723 4182703224 3096774520 3091616096 3173374065 742190010 3635956181 3733975650 4160245892 1857152800 2611359879 2377225098 1712431556 2857398911 2698675788 671186162 344177553 1986085210 32374798 2584653840 943824251 1010980712 1451806981 2371018291 1912314294 1647335280 1693279654 749684808 3804455948 3468126692 1724655465 233017048 3854054783 985219629 1442221067 2288999281 2008538111 789020533 1078814936 225963050 4217933891 1176206411 3595873258 1727903685 3687235882 1412107491 1703674282 59174103 3014449450 659974043 1080262093 4045680415 3628027331 1332392517 3016187202 271138137 1708899342 237607988 3451246425 3747410813 305297564 4060381100 2803170569 156228571 3397592740 3690238896 1848928562 2651297214 1770011778 3775696828 255 362436" option to reproduce the execution 0.19/0.22 c #vars 15708 0.19/0.22 c #constraints 15974 0.49/0.56 c Solving starts ... 0.49/0.56 c ============================[ Search Statistics ]============================ 0.49/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.56 c | | | | Limit GC | Var | Constra 0.49/0.56 c ============================================================================= 0.49/0.56 c 0.0s | 0 | 0 | 0 | 10560 0 | 742 | 0 1.29/1.34 c 0.8s | 1 | 2251 | 100 | 10560 0 | 743 | 634 1.89/1.94 c 1.4s | 2 | 7092 | 250 | 11617 0 | 743 | 634 2.39/2.46 c 1.9s | 3 | 10520 | 475 | 12779 0 | 743 | 634 3.40/3.44 c 2.9s | 4 | 17162 | 813 | 14057 0 | 744 | 635 4.59/4.64 c 4.1s | 5 | 29023 | 1320 | 15463 0 | 744 | 635 6.49/6.52 c 6.0s | 6 | 43451 | 2081 | 18711 0 | 745 | 636 8.59/8.65 c 8.1s | 6 | 74720 | 2981 | 18711 0 | 748 | 639 9.09/9.15 c 8.6s | 7 | 75647 | 3223 | 20583 0 | 748 | 639 11.49/11.53 c 11.0s | 7 | 96579 | 4223 | 20583 0 | 749 | 640 13.09/13.15 c 12.6s | 8 | 105739 | 4936 | 22642 0 | 749 | 640 15.29/15.40 c 14.8s | 8 | 126656 | 5836 | 22642 0 | 751 | 642 17.49/17.55 c 17.0s | 8 | 151030 | 6936 | 22642 0 | 751 | 642 19.09/19.13 c 18.6s | 9 | 164608 | 7506 | 24907 0 | 751 | 642 21.09/21.16 c 20.6s | 9 | 187252 | 8206 | 24907 0 | 751 | 642 23.29/23.31 c 22.8s | 9 | 208847 | 9106 | 24907 0 | 752 | 643 25.40/25.42 c 24.9s | 9 | 229585 | 10106 | 24907 0 | 752 | 643 27.49/27.51 c 27.0s | 9 | 240129 | 11006 | 24907 0 | 752 | 643 28.09/28.16 c 27.6s | 10 | 243903 | 11361 | 27398 0 | 752 | 643 30.19/30.25 c 29.7s | 10 | 256814 | 11961 | 27398 0 | 754 | 645 32.29/32.32 c 31.8s | 10 | 270965 | 12661 | 27398 0 | 754 | 645 34.29/34.32 c 33.8s | 10 | 297516 | 13461 | 27398 0 | 754 | 645 36.58/36.67 c 36.1s | 10 | 307403 | 14161 | 27398 0 | 754 | 645 38.68/38.77 c 38.2s | 10 | 310390 | 14561 | 27398 0 | 754 | 645 40.98/41.10 c 40.5s | 10 | 311611 | 14961 | 27398 0 | 754 | 645 43.28/43.35 c 42.8s | 10 | 330973 | 15561 | 27398 0 | 754 | 645 45.38/45.43 c 44.9s | 10 | 348449 | 16361 | 27398 0 | 754 | 645 47.39/47.41 c 46.9s | 11 | 359682 | 17144 | 30138 0 | 754 | 645 49.38/49.50 c 48.9s | 11 | 379964 | 17744 | 30138 0 | 754 | 645 51.58/51.62 c 51.1s | 11 | 396721 | 18444 | 30138 0 | 754 | 645 53.68/53.74 c 53.2s | 11 | 413985 | 19244 | 30138 0 | 754 | 645 55.78/55.83 c 55.3s | 11 | 431076 | 19944 | 30138 0 | 754 | 645 57.88/57.94 c 57.4s | 11 | 448001 | 20644 | 30138 0 | 754 | 645 59.88/59.97 c 59.4s | 11 | 468438 | 21344 | 30138 0 | 754 | 645 62.08/62.11 c 61.6s | 11 | 488061 | 22044 | 30138 0 | 754 | 645 64.08/64.13 c 63.6s | 11 | 499799 | 22844 | 30138 0 | 754 | 645 66.58/66.66 c 66.1s | 11 | 508296 | 23444 | 30138 0 | 754 | 645 69.38/69.40 c 68.8s | 11 | 509416 | 23744 | 30138 0 | 754 | 645 71.38/71.41 c 70.9s | 11 | 510932 | 24044 | 30138 0 | 754 | 645 73.58/73.64 c 73.1s | 11 | 532380 | 24744 | 30138 0 | 754 | 645 75.68/75.75 c 75.2s | 11 | 539494 | 25344 | 30138 0 | 754 | 645 77.48/77.50 c 76.9s | 12 | 546499 | 25819 | 33152 0 | 754 | 645 79.97/80.01 c 79.5s | 12 | 567267 | 26519 | 33152 0 | 755 | 646 82.27/82.37 c 81.8s | 12 | 588406 | 27119 | 33152 0 | 755 | 646 84.57/84.63 c 84.1s | 12 | 608625 | 27919 | 33152 0 | 755 | 646 86.88/86.93 c 86.4s | 12 | 626787 | 28519 | 33152 0 | 756 | 647 88.97/89.03 c 88.5s | 12 | 634432 | 29119 | 33152 0 | 757 | 648 91.38/91.47 c 90.9s | 12 | 652211 | 29919 | 33152 0 | 757 | 648 93.49/93.60 c 93.0s | 12 | 666876 | 30719 | 33152 0 | 757 | 648 95.79/95.80 c 95.2s | 12 | 676849 | 31319 | 33152 0 | 757 | 648 97.89/97.91 c 97.4s | 12 | 691167 | 31819 | 33152 0 | 758 | 649 100.48/100.52 c 100.0s | 12 | 716320 | 32419 | 33152 0 | 759 | 650 102.78/102.82 c 102s | 12 | 737782 | 33019 | 33152 0 | 759 | 650 104.98/105.05 c 104s | 12 | 756225 | 33719 | 33152 0 | 759 | 650 107.08/107.13 c 106s | 12 | 776272 | 34419 | 33152 0 | 759 | 650 109.78/109.83 c 109s | 12 | 794936 | 35019 | 33152 1 | 759 | 650 111.98/112.05 c 111s | 12 | 809565 | 35719 | 33152 1 | 759 | 650 114.28/114.32 c 113s | 12 | 837108 | 36519 | 33152 1 | 759 | 650 116.28/116.39 c 115s | 12 | 848830 | 37219 | 33152 1 | 759 | 650 118.58/118.66 c 118s | 12 | 868905 | 37919 | 33152 1 | 759 | 650 120.58/120.67 c 120s | 12 | 876050 | 38619 | 36468 1 | 759 | 650 121.58/121.63 c 121s | 13 | 876991 | 38832 | 36468 1 | 759 | 650 123.78/123.81 c 123s | 13 | 885059 | 39432 | 36468 1 | 759 | 650 125.87/125.94 c 125s | 13 | 900001 | 40332 | 36468 1 | 759 | 650 127.97/128.00 c 127s | 13 | 917558 | 41032 | 36468 1 | 759 | 650 130.27/130.31 c 129s | 13 | 933692 | 41732 | 36468 1 | 760 | 651 132.47/132.54 c 131s | 13 | 945376 | 42632 | 36468 1 | 760 | 651 134.77/134.86 c 134s | 13 | 955965 | 43232 | 36468 1 | 760 | 651 136.87/136.93 c 136s | 13 | 966497 | 43932 | 36468 1 | 760 | 651 139.37/139.48 c 138s | 13 | 979130 | 44632 | 36468 1 | 761 | 652 141.88/141.91 c 141s | 13 | 1003318 | 45332 | 36468 1 | 761 | 652 143.97/144.04 c 143s | 13 | 1015702 | 46032 | 36468 1 | 761 | 652 146.28/146.33 c 145s | 13 | 1030365 | 46632 | 36468 1 | 762 | 653 148.48/148.51 c 147s | 13 | 1047053 | 47332 | 36468 1 | 762 | 653 150.47/150.55 c 149s | 13 | 1060313 | 47932 | 36468 1 | 762 | 653 152.77/152.82 c 152s | 13 | 1066390 | 48732 | 36468 1 | 762 | 653 154.87/154.90 c 154s | 13 | 1076838 | 49332 | 36468 1 | 762 | 653 156.97/157.08 c 156s | 13 | 1086215 | 50032 | 36468 1 | 762 | 653 159.17/159.29 c 158s | 13 | 1095731 | 50632 | 36468 1 | 762 | 653 161.57/161.61 c 161s | 13 | 1097138 | 51032 | 36468 1 | 762 | 653 163.77/163.89 c 163s | 13 | 1098256 | 51432 | 36468 1 | 762 | 653 166.07/166.18 c 165s | 13 | 1099617 | 51832 | 36468 1 | 762 | 653 168.27/168.39 c 167s | 13 | 1101204 | 52232 | 36468 1 | 762 | 653 170.86/170.91 c 170s | 13 | 1102371 | 52632 | 36468 1 | 762 | 653 173.56/173.68 c 173s | 13 | 1104387 | 52932 | 36468 1 | 763 | 654 175.76/175.83 c 175s | 13 | 1122181 | 53532 | 36468 1 | 763 | 654 178.06/178.10 c 177s | 13 | 1134878 | 54132 | 36468 1 | 763 | 654 180.26/180.35 c 179s | 13 | 1147028 | 54532 | 36468 1 | 764 | 655 182.57/182.62 c 182s | 13 | 1159927 | 55332 | 36468 1 | 764 | 655 184.87/184.90 c 184s | 13 | 1173867 | 55932 | 36468 1 | 764 | 655 186.97/187.10 c 186s | 13 | 1191335 | 56532 | 36468 2 | 764 | 655 189.06/189.18 c 188s | 13 | 1206230 | 57232 | 36468 2 | 764 | 655 191.26/191.36 c 190s | 13 | 1221236 | 57832 | 36468 2 | 765 | 656 193.46/193.55 c 192s | 13 | 1231113 | 58332 | 40115 2 | 765 | 656 193.56/193.67 c 193s | 14 | 1231200 | 58352 | 40115 2 | 765 | 656 195.66/195.75 c 195s | 14 | 1246420 | 58952 | 40115 2 | 765 | 656 197.76/197.86 c 197s | 14 | 1259513 | 59652 | 40115 2 | 765 | 656 200.16/200.30 c 199s | 14 | 1267116 | 60252 | 40115 2 | 765 | 656 202.46/202.57 c 202s | 14 | 1279851 | 60952 | 40115 2 | 765 | 656 204.75/204.87 c 204s | 14 | 1286875 | 61452 | 40115 2 | 765 | 656 207.05/207.10 c 206s | 14 | 1293939 | 61852 | 40115 2 | 765 | 656 209.06/209.18 c 208s | 14 | 1298932 | 62452 | 40115 2 | 765 | 656 211.35/211.47 c 210s | 14 | 1306306 | 63152 | 40115 2 | 765 | 656 213.55/213.64 c 213s | 14 | 1314286 | 63752 | 40115 2 | 765 | 656 215.56/215.66 c 215s | 14 | 1318789 | 64352 | 40115 2 | 765 | 656 217.86/217.99 c 217s | 14 | 1323403 | 64952 | 40115 2 | 765 | 656 220.07/220.17 c 219s | 14 | 1326504 | 65552 | 40115 2 | 765 | 656 222.06/222.20 c 221s | 14 | 1332094 | 66152 | 40115 2 | 765 | 656 224.56/224.68 c 224s | 14 | 1342409 | 66752 | 40115 2 | 765 | 656 226.76/226.85 c 226s | 14 | 1343667 | 67052 | 40115 2 | 765 | 656 229.16/229.24 c 228s | 14 | 1344838 | 67352 | 40115 2 | 765 | 656 231.26/231.32 c 230s | 14 | 1345883 | 67552 | 40115 2 | 765 | 656 233.76/233.85 c 233s | 14 | 1346803 | 67752 | 40115 2 | 765 | 656 235.86/235.98 c 235s | 14 | 1355466 | 68252 | 40115 2 | 765 | 656 237.96/238.08 c 237s | 14 | 1363797 | 68852 | 40115 2 | 765 | 656 239.96/240.09 c 239s | 14 | 1370141 | 69252 | 40115 2 | 766 | 657 242.06/242.13 c 241s | 14 | 1381327 | 69952 | 40115 2 | 766 | 657 244.36/244.41 c 243s | 14 | 1398002 | 70552 | 40115 2 | 766 | 657 246.76/246.89 c 246s | 14 | 1411739 | 71152 | 40115 2 | 767 | 658 249.16/249.24 c 248s | 14 | 1430921 | 71752 | 40115 2 | 767 | 658 251.45/251.55 c 250s | 14 | 1450234 | 72452 | 40115 2 | 767 | 658 253.45/253.57 c 253s | 14 | 1460303 | 72952 | 40115 2 | 767 | 658 255.55/255.68 c 255s | 14 | 1477573 | 73552 | 40115 2 | 767 | 658 258.35/258.45 c 257s | 14 | 1487986 | 74052 | 40115 2 | 767 | 658 260.45/260.53 c 259s | 14 | 1488841 | 74352 | 40115 2 | 767 | 658 262.65/262.71 c 262s | 14 | 1491213 | 74752 | 40115 2 | 767 | 658 264.85/264.92 c 264s | 14 | 1504147 | 75252 | 40115 2 | 767 | 658 266.95/267.01 c 266s | 14 | 1513036 | 75652 | 40115 2 | 767 | 658 269.35/269.42 c 268s | 14 | 1529594 | 76252 | 40115 2 | 767 | 658 271.45/271.57 c 271s | 14 | 1544285 | 76852 | 40115 2 | 767 | 658 273.65/273.77 c 273s | 14 | 1557585 | 77452 | 40115 2 | 767 | 658 275.75/275.81 c 275s | 14 | 1572438 | 77952 | 40115 2 | 767 | 658 277.85/277.99 c 277s | 14 | 1588910 | 78452 | 40115 2 | 767 | 658 280.05/280.19 c 279s | 14 | 1601547 | 78952 | 40115 2 | 767 | 658 282.15/282.22 c 281s | 14 | 1611697 | 79452 | 40115 2 | 767 | 658 284.45/284.57 c 284s | 14 | 1617057 | 79852 | 40115 3 | 767 | 658 286.75/286.81 c 286s | 14 | 1629379 | 80452 | 40115 3 | 767 | 658 288.84/288.97 c 288s | 14 | 1632150 | 80952 | 40115 3 | 767 | 658 291.64/291.72 c 291s | 14 | 1634588 | 81452 | 40115 3 | 767 | 658 294.44/294.58 c 294s | 14 | 1636248 | 81852 | 40115 3 | 767 | 658 296.65/296.79 c 296s | 14 | 1646954 | 82252 | 40115 3 | 767 | 658 298.75/298.80 c 298s | 14 | 1658718 | 82852 | 40115 3 | 767 | 658 300.85/300.95 c 300s | 14 | 1670363 | 83452 | 40115 3 | 767 | 658 303.05/303.15 c 302s | 14 | 1682245 | 84152 | 40115 3 | 767 | 658 305.55/305.67 c 305s | 14 | 1695608 | 84752 | 40115 3 | 767 | 658 307.85/307.91 c 307s | 14 | 1700195 | 85352 | 40115 3 | 767 | 658 309.85/309.95 c 309s | 14 | 1711214 | 85852 | 40115 3 | 767 | 658 312.45/312.51 c 311s | 14 | 1713567 | 86252 | 40115 3 | 767 | 658 314.65/314.79 c 314s | 14 | 1714575 | 86552 | 40115 3 | 767 | 658 316.94/317.09 c 316s | 14 | 1715190 | 86752 | 40115 3 | 767 | 658 319.34/319.41 c 318s | 14 | 1717678 | 87152 | 44127 3 | 767 | 658 321.25/321.35 c 320s | 15 | 1729136 | 87632 | 44127 3 | 767 | 658 323.74/323.83 c 323s | 15 | 1740324 | 88232 | 44127 3 | 767 | 658 325.94/326.03 c 325s | 15 | 1753402 | 88832 | 44127 3 | 767 | 658 328.24/328.34 c 327s | 15 | 1766199 | 89332 | 44127 3 | 767 | 658 330.24/330.34 c 329s | 15 | 1773004 | 89932 | 44127 3 | 767 | 658 332.24/332.35 c 331s | 15 | 1782466 | 90532 | 44127 3 | 767 | 658 334.24/334.39 c 333s | 15 | 1792379 | 91032 | 44127 3 | 768 | 659 336.54/336.68 c 336s | 15 | 1798178 | 91832 | 44127 3 | 768 | 659 339.23/339.30 c 338s | 15 | 1809317 | 92532 | 44127 3 | 768 | 659 341.34/341.44 c 340s | 15 | 1816690 | 93132 | 44127 3 | 768 | 659 343.64/343.71 c 343s | 15 | 1823067 | 93832 | 44127 3 | 768 | 659 345.74/345.80 c 345s | 15 | 1831171 | 94432 | 44127 3 | 768 | 659 348.04/348.16 c 347s | 15 | 1838239 | 95032 | 44127 3 | 768 | 659 350.24/350.32 c 349s | 15 | 1846523 | 95532 | 44127 3 | 768 | 659 352.24/352.37 c 351s | 15 | 1848173 | 95932 | 44127 3 | 768 | 659 354.34/354.46 c 353s | 15 | 1849383 | 96232 | 44127 3 | 768 | 659 356.84/356.91 c 356s | 15 | 1850534 | 96632 | 44127 3 | 768 | 659 358.93/359.08 c 358s | 15 | 1858009 | 97032 | 44127 3 | 768 | 659 361.43/361.51 c 360s | 15 | 1865521 | 97732 | 44127 3 | 768 | 659 363.43/363.59 c 363s | 15 | 1870749 | 98232 | 44127 3 | 768 | 659 365.73/365.82 c 365s | 15 | 1875979 | 98632 | 44127 3 | 768 | 659 367.83/367.95 c 367s | 15 | 1891234 | 99232 | 44127 3 | 768 | 659 370.13/370.26 c 369s | 15 | 1903191 | 99832 | 44127 3 | 768 | 659 372.23/372.38 c 371s | 15 | 1907393 | 100232 | 44127 3 | 768 | 659 374.53/374.68 c 374s | 15 | 1912854 | 100632 | 44127 3 | 768 | 659 376.63/376.71 c 376s | 15 | 1923945 | 101332 | 44127 3 | 768 | 659 378.74/378.82 c 378s | 15 | 1932138 | 101932 | 44127 3 | 768 | 659 380.94/381.09 c 380s | 15 | 1939829 | 102532 | 44127 3 | 768 | 659 383.54/383.60 c 383s | 15 | 1954655 | 103032 | 44127 3 | 768 | 659 385.64/385.78 c 385s | 15 | 1956996 | 103432 | 44127 3 | 768 | 659 388.14/388.29 c 387s | 15 | 1960519 | 103932 | 44127 3 | 768 | 659 392.23/392.35 c 391s | 15 | 1962086 | 104232 | 44127 3 | 768 | 659 395.03/395.19 c 394s | 15 | 1962833 | 104432 | 44127 3 | 768 | 659 397.73/397.88 c 397s | 15 | 1964447 | 104732 | 44127 3 | 768 | 659 400.93/401.04 c 400s | 15 | 1965537 | 104932 | 44127 3 | 768 | 659 405.33/405.43 c 404s | 15 | 1966677 | 105132 | 44127 3 | 768 | 659 407.63/407.72 c 407s | 15 | 1967777 | 105332 | 44127 3 | 768 | 659 410.34/410.46 c 409s | 15 | 1969366 | 105732 | 44127 3 | 768 | 659 413.54/413.67 c 413s | 15 | 1972280 | 105932 | 44127 4 | 768 | 659 415.93/416.00 c 415s | 15 | 1987404 | 106632 | 44127 4 | 768 | 659 417.94/418.06 c 417s | 15 | 1989970 | 107432 | 44127 4 | 768 | 659 420.03/420.15 c 419s | 15 | 1998052 | 108032 | 44127 4 | 768 | 659 422.53/422.64 c 422s | 15 | 2001891 | 108532 | 44127 4 | 768 | 659 425.63/425.74 c 425s | 15 | 2004062 | 108932 | 44127 4 | 768 | 659 427.73/427.90 c 427s | 15 | 2006345 | 109232 | 44127 4 | 768 | 659 430.03/430.15 c 429s | 15 | 2014228 | 109532 | 44127 4 | 768 | 659 432.13/432.28 c 431s | 15 | 2025498 | 110132 | 44127 4 | 768 | 659 434.33/434.42 c 433s | 15 | 2030339 | 110832 | 44127 4 | 768 | 659 436.32/436.44 c 435s | 15 | 2042666 | 111432 | 44127 4 | 769 | 660 438.42/438.51 c 437s | 15 | 2053099 | 112132 | 44127 4 | 769 | 660 440.62/440.77 c 440s | 15 | 2072347 | 112832 | 44127 4 | 769 | 660 442.92/443.06 c 442s | 15 | 2084866 | 113632 | 44127 4 | 769 | 660 445.22/445.31 c 444s | 15 | 2097817 | 114232 | 44127 4 | 769 | 660 447.52/447.68 c 447s | 15 | 2102105 | 114832 | 44127 4 | 769 | 660 449.62/449.75 c 449s | 15 | 2107478 | 115432 | 44127 4 | 769 | 660 451.62/451.77 c 451s | 15 | 2110779 | 116032 | 44127 4 | 769 | 660 453.92/454.00 c 453s | 15 | 2123586 | 116732 | 44127 4 | 769 | 660 456.22/456.32 c 455s | 15 | 2127617 | 117332 | 44127 4 | 769 | 660 458.52/458.65 c 458s | 15 | 2140924 | 117832 | 44127 4 | 769 | 660 460.52/460.66 c 460s | 15 | 2151829 | 118432 | 44127 4 | 769 | 660 462.72/462.86 c 462s | 15 | 2170080 | 119032 | 44127 4 | 769 | 660 465.12/465.27 c 464s | 15 | 2189427 | 119632 | 44127 4 | 769 | 660 467.61/467.71 c 467s | 15 | 2195308 | 120132 | 44127 4 | 769 | 660 469.91/470.07 c 469s | 15 | 2198888 | 120732 | 44127 4 | 769 | 660 471.92/472.07 c 471s | 15 | 2200518 | 121132 | 44127 4 | 769 | 660 474.62/474.71 c 474s | 15 | 2202467 | 121432 | 44127 4 | 769 | 660 477.33/477.46 c 476s | 15 | 2202925 | 121632 | 44127 4 | 769 | 660 479.42/479.57 c 479s | 15 | 2203339 | 121832 | 44127 4 | 769 | 660 482.52/482.61 c 482s | 15 | 2204714 | 122232 | 44127 4 | 769 | 660 484.72/484.84 c 484s | 15 | 2218331 | 122732 | 44127 4 | 769 | 660 487.12/487.21 c 486s | 15 | 2227881 | 123332 | 44127 4 | 769 | 660 489.53/489.66 c 489s | 15 | 2236771 | 123932 | 44127 4 | 769 | 660 491.82/491.97 c 491s | 15 | 2244359 | 124532 | 44127 4 | 769 | 660 494.02/494.16 c 493s | 15 | 2253916 | 125332 | 44127 4 | 769 | 660 496.42/496.52 c 495s | 15 | 2261315 | 125832 | 44127 4 | 769 | 660 498.72/498.82 c 498s | 15 | 2266219 | 126332 | 44127 4 | 769 | 660 500.72/500.83 c 500s | 15 | 2273576 | 126832 | 44127 4 | 769 | 660 502.72/502.85 c 502s | 15 | 2274816 | 127132 | 44127 4 | 769 | 660 504.72/504.87 c 504s | 15 | 2278101 | 127532 | 44127 4 | 769 | 660 506.82/506.94 c 506s | 15 | 2285263 | 128032 | 44127 4 | 769 | 660 509.61/509.70 c 509s | 15 | 2288969 | 128432 | 44127 4 | 769 | 660 512.01/512.14 c 511s | 15 | 2298057 | 129132 | 44127 4 | 769 | 660 514.21/514.32 c 513s | 15 | 2303683 | 129732 | 44127 4 | 769 | 660 516.41/516.59 c 516s | 15 | 2308222 | 130332 | 44127 4 | 769 | 660 518.91/519.00 c 518s | 15 | 2311609 | 130832 | 48540 4 | 769 | 660 521.42/521.56 c 520s | 15 | 2321902 | 131332 | 48540 4 | 769 | 660 522.11/522.25 c 521s | 16 | 2325047 | 131552 | 48540 4 | 769 | 660 524.31/524.41 c 523s | 16 | 2328575 | 131652 | 48540 5 | 769 | 660 526.31/526.42 c 525s | 16 | 2341943 | 132252 | 48540 5 | 769 | 660 528.41/528.53 c 527s | 16 | 2353211 | 132852 | 48540 5 | 769 | 660 530.51/530.67 c 530s | 16 | 2355159 | 133352 | 48540 5 | 769 | 660 532.71/532.82 c 532s | 16 | 2373099 | 134052 | 48540 5 | 769 | 660 535.01/535.12 c 534s | 16 | 2386264 | 134752 | 48540 5 | 769 | 660 537.11/537.24 c 536s | 16 | 2394947 | 135352 | 48540 5 | 769 | 660 539.31/539.42 c 538s | 16 | 2402043 | 136252 | 48540 5 | 769 | 660 541.41/541.58 c 541s | 16 | 2409559 | 137052 | 48540 5 | 769 | 660 543.71/543.81 c 543s | 16 | 2424077 | 137752 | 48540 5 | 769 | 660 545.81/545.95 c 545s | 16 | 2438310 | 138352 | 48540 5 | 769 | 660 548.10/548.24 c 547s | 16 | 2445268 | 139052 | 48540 5 | 769 | 660 550.30/550.40 c 549s | 16 | 2453869 | 139652 | 48540 5 | 769 | 660 552.40/552.52 c 551s | 16 | 2463517 | 140252 | 48540 5 | 769 | 660 554.41/554.54 c 553s | 16 | 2473016 | 140852 | 48540 5 | 769 | 660 556.61/556.73 c 556s | 16 | 2485689 | 141552 | 48540 5 | 769 | 660 558.81/558.99 c 558s | 16 | 2492936 | 142252 | 48540 5 | 769 | 660 560.91/561.09 c 560s | 16 | 2501639 | 142752 | 48540 5 | 769 | 660 563.00/563.14 c 562s | 16 | 2513384 | 143352 | 48540 5 | 769 | 660 565.41/565.55 c 564s | 16 | 2515077 | 143852 | 48540 5 | 769 | 660 567.91/568.09 c 567s | 16 | 2516890 | 144252 | 48540 5 | 769 | 660 569.91/570.09 c 569s | 16 | 2525474 | 144752 | 48540 5 | 769 | 660 571.91/572.10 c 571s | 16 | 2530313 | 145252 | 48540 5 | 769 | 660 574.30/574.43 c 573s | 16 | 2541508 | 145852 | 48540 5 | 769 | 660 576.60/576.75 c 576s | 16 | 2549918 | 146352 | 48540 5 | 769 | 660 578.70/578.88 c 578s | 16 | 2553913 | 146852 | 48540 5 | 769 | 660 581.00/581.14 c 580s | 16 | 2557492 | 147452 | 48540 5 | 769 | 660 583.10/583.27 c 582s | 16 | 2568892 | 147952 | 48540 5 | 769 | 660 585.30/585.47 c 584s | 16 | 2581581 | 148552 | 48540 5 | 769 | 660 587.41/587.59 c 587s | 16 | 2588472 | 149152 | 48540 5 | 769 | 660 589.61/589.75 c 589s | 16 | 2600861 | 149652 | 48540 5 | 769 | 660 592.00/592.10 c 591s | 16 | 2604387 | 150252 | 48540 5 | 769 | 660 594.30/594.40 c 593s | 16 | 2613412 | 150952 | 48540 5 | 769 | 660 596.60/596.70 c 596s | 16 | 2619647 | 151452 | 48540 5 | 769 | 660 598.60/598.77 c 598s | 16 | 2628237 | 152052 | 48540 5 | 769 | 660 600.70/600.87 c 600s | 16 | 2631570 | 152652 | 48540 5 | 769 | 660 602.90/603.08 c 602s | 16 | 2639001 | 153252 | 48540 5 | 769 | 660 605.10/605.26 c 604s | 16 | 2651274 | 153852 | 48540 5 | 769 | 660 607.40/607.52 c 606s | 16 | 2659226 | 154452 | 48540 5 | 769 | 660 609.40/609.54 c 608s | 16 | 2665467 | 154952 | 48540 5 | 769 | 660 611.80/611.91 c 611s | 16 | 2671961 | 155452 | 48540 5 | 769 | 660 613.80/613.92 c 613s | 16 | 2677233 | 155852 | 48540 5 | 769 | 660 615.90/616.03 c 615s | 16 | 2680419 | 156252 | 48540 5 | 769 | 660 618.00/618.12 c 617s | 16 | 2687685 | 156752 | 48540 5 | 769 | 660 620.30/620.43 c 619s | 16 | 2693534 | 157352 | 48540 5 | 769 | 660 622.39/622.59 c 622s | 16 | 2701975 | 157852 | 48540 5 | 769 | 660 624.59/624.73 c 624s | 16 | 2708250 | 158352 | 48540 5 | 769 | 660 626.59/626.76 c 626s | 16 | 2714027 | 158952 | 48540 5 | 769 | 660 629.10/629.25 c 628s | 16 | 2716273 | 159452 | 48540 5 | 769 | 660 631.40/631.54 c 630s | 16 | 2717941 | 159752 | 48540 5 | 769 | 660 633.50/633.68 c 633s | 16 | 2720378 | 160152 | 48540 5 | 769 | 660 635.99/636.11 c 635s | 16 | 2725254 | 160752 | 48540 5 | 769 | 660 638.39/638.50 c 637s | 16 | 2727436 | 161152 | 48540 5 | 769 | 660 640.90/641.08 c 640s | 16 | 2728605 | 161452 | 48540 5 | 769 | 660 643.30/643.44 c 642s | 16 | 2732690 | 161952 | 48540 5 | 769 | 660 645.50/645.63 c 645s | 16 | 2736260 | 162452 | 48540 5 | 769 | 660 648.90/649.02 c 648s | 16 | 2739006 | 162952 | 48540 5 | 769 | 660 651.00/651.17 c 650s | 16 | 2741057 | 163352 | 48540 5 | 769 | 660 653.50/653.70 c 653s | 16 | 2742358 | 163752 | 48540 5 | 769 | 660 656.10/656.23 c 655s | 16 | 2743882 | 164152 | 48540 5 | 769 | 660 658.20/658.33 c 657s | 16 | 2744963 | 164452 | 48540 5 | 769 | 660 660.89/661.07 c 660s | 16 | 2745581 | 164652 | 48540 6 | 769 | 660 663.20/663.37 c 662s | 16 | 2746314 | 164852 | 48540 6 | 769 | 660 665.40/665.58 c 665s | 16 | 2748682 | 165152 | 48540 6 | 769 | 660 667.99/668.13 c 667s | 16 | 2750352 | 165552 | 48540 6 | 769 | 660 670.09/670.20 c 669s | 16 | 2753114 | 165952 | 48540 6 | 769 | 660 672.19/672.32 c 671s | 16 | 2756430 | 166552 | 48540 6 | 769 | 660 674.30/674.44 c 673s | 16 | 2759717 | 167052 | 48540 6 | 769 | 660 676.59/676.77 c 676s | 16 | 2765782 | 167552 | 48540 6 | 769 | 660 678.60/678.78 c 678s | 16 | 2773836 | 168052 | 48540 6 | 769 | 660 681.09/681.28 c 680s | 16 | 2776536 | 168552 | 48540 6 | 769 | 660 683.89/684.00 c 683s | 16 | 2778643 | 168952 | 48540 6 | 769 | 660 686.79/686.94 c 686s | 16 | 2779305 | 169152 | 48540 6 | 769 | 660 689.79/689.99 c 689s | 16 | 2779877 | 169352 | 48540 6 | 769 | 660 692.19/692.34 c 691s | 16 | 2781311 | 169652 | 48540 6 | 769 | 660 695.48/695.66 c 695s | 16 | 2782420 | 169952 | 48540 6 | 769 | 660 697.58/697.76 c 697s | 16 | 2787446 | 170352 | 48540 6 | 769 | 660 699.88/700.00 c 699s | 16 | 2792482 | 170752 | 48540 6 | 769 | 660 702.08/702.25 c 701s | 16 | 2800155 | 171452 | 48540 6 | 769 | 660 704.58/704.70 c 704s | 16 | 2809470 | 172052 | 48540 6 | 769 | 660 707.29/707.46 c 706s | 16 | 2811792 | 172552 | 48540 6 | 769 | 660 709.58/709.71 c 709s | 16 | 2814652 | 173052 | 48540 6 | 769 | 660 711.59/711.75 c 711s | 16 | 2818034 | 173552 | 48540 6 | 769 | 660 713.89/714.05 c 713s | 16 | 2820040 | 173952 | 48540 6 | 769 | 660 716.28/716.44 c 715s | 16 | 2822902 | 174552 | 48540 6 | 769 | 660 718.88/719.04 c 718s | 16 | 2824052 | 174952 | 48540 6 | 769 | 660 721.18/721.31 c 720s | 16 | 2825808 | 175252 | 48540 6 | 769 | 660 723.28/723.44 c 722s | 16 | 2827482 | 175552 | 48540 6 | 769 | 660 725.68/725.85 c 725s | 16 | 2828735 | 175852 | 48540 6 | 769 | 660 727.87/728.01 c 727s | 16 | 2830334 | 176152 | 48540 6 | 769 | 660 729.87/730.08 c 729s | 16 | 2832527 | 176452 | 48540 6 | 769 | 660 731.87/732.09 c 731s | 16 | 2836810 | 177052 | 48540 6 | 769 | 660 733.98/734.17 c 733s | 16 | 2838562 | 177452 | 48540 6 | 769 | 660 736.38/736.54 c 735s | 16 | 2840850 | 177852 | 48540 6 | 769 | 660 738.67/738.88 c 738s | 16 | 2842981 | 178352 | 48540 6 | 769 | 660 740.87/741.04 c 740s | 16 | 2845674 | 178752 | 48540 6 | 769 | 660 743.58/743.78 c 743s | 16 | 2847536 | 179152 | 48540 6 | 769 | 660 746.17/746.30 c 745s | 16 | 2848481 | 179352 | 48540 6 | 769 | 660 748.67/748.84 c 748s | 16 | 2849657 | 179652 | 48540 6 | 769 | 660 750.97/751.18 c 750s | 16 | 2851188 | 179952 | 48540 6 | 769 | 660 753.47/753.69 c 753s | 16 | 2852494 | 180352 | 48540 6 | 769 | 660 755.47/755.69 c 755s | 16 | 2853755 | 180652 | 48540 6 | 769 | 660 758.36/758.50 c 757s | 16 | 2855321 | 180952 | 48540 6 | 769 | 660 761.56/761.77 c 761s | 16 | 2855901 | 181152 | 48540 6 | 769 | 660 763.96/764.18 c 763s | 16 | 2857373 | 181452 | 48540 6 | 769 | 660 766.86/767.08 c 766s | 16 | 2859384 | 181852 | 48540 6 | 769 | 660 769.16/769.39 c 768s | 16 | 2860260 | 182152 | 48540 6 | 769 | 660 771.75/771.91 c 771s | 16 | 2861756 | 182452 | 48540 6 | 769 | 660 773.95/774.14 c 773s | 16 | 2862502 | 182652 | 48540 6 | 769 | 660 776.35/776.51 c 775s | 16 | 2863018 | 182852 | 48540 6 | 769 | 660 779.15/779.38 c 778s | 16 | 2863643 | 183052 | 48540 6 | 769 | 660 782.05/782.27 c 781s | 16 | 2864120 | 183252 | 48540 6 | 769 | 660 784.75/784.92 c 784s | 16 | 2865940 | 183652 | 48540 6 | 769 | 660 787.15/787.31 c 786s | 16 | 2867227 | 183952 | 48540 6 | 769 | 660 789.25/789.40 c 788s | 16 | 2867751 | 184152 | 48540 6 | 769 | 660 791.75/791.93 c 791s | 16 | 2868272 | 184352 | 48540 6 | 769 | 660 793.95/794.12 c 793s | 16 | 2869516 | 184652 | 48540 6 | 769 | 660 796.36/796.58 c 796s | 16 | 2870958 | 184952 | 48540 6 | 769 | 660 799.25/799.47 c 798s | 16 | 2872729 | 185252 | 48540 6 | 769 | 660 801.55/801.75 c 801s | 16 | 2874039 | 185452 | 48540 6 | 769 | 660 804.44/804.61 c 804s | 16 | 2875389 | 185752 | 48540 6 | 769 | 660 807.74/807.94 c 807s | 16 | 2876782 | 186052 | 48540 6 | 769 | 660 810.24/810.40 c 809s | 16 | 2878020 | 186352 | 48540 6 | 769 | 660 812.94/813.16 c 812s | 16 | 2878459 | 186552 | 48540 6 | 769 | 660 815.64/815.85 c 815s | 16 | 2880712 | 186852 | 48540 6 | 769 | 660 817.74/817.97 c 817s | 16 | 2887445 | 187252 | 48540 6 | 769 | 660 819.85/820.05 c 819s | 16 | 2893562 | 187652 | 48540 6 | 769 | 660 821.95/822.17 c 821s | 16 | 2896413 | 187952 | 48540 6 | 769 | 660 824.05/824.23 c 823s | 16 | 2903410 | 188452 | 48540 6 | 769 | 660 826.15/826.32 c 825s | 16 | 2910712 | 188852 | 48540 6 | 769 | 660 828.34/828.50 c 827s | 16 | 2914535 | 189252 | 48540 6 | 769 | 660 830.64/830.89 c 830s | 16 | 2916416 | 189552 | 48540 6 | 769 | 660 832.74/832.99 c 832s | 16 | 2919272 | 189852 | 48540 6 | 769 | 660 836.04/836.20 c 835s | 16 | 2922435 | 190252 | 48540 6 | 769 | 660 838.63/838.82 c 838s | 16 | 2924004 | 190552 | 48540 6 | 769 | 660 841.13/841.39 c 840s | 16 | 2925418 | 190852 | 48540 6 | 769 | 660 843.54/843.76 c 843s | 16 | 2927538 | 191252 | 48540 6 | 769 | 660 845.53/845.79 c 845s | 16 | 2928506 | 191452 | 48540 6 | 769 | 660 848.73/848.92 c 848s | 16 | 2929377 | 191652 | 48540 6 | 769 | 660 852.03/852.25 c 851s | 16 | 2929998 | 191852 | 48540 6 | 769 | 660 856.73/856.94 c 856s | 16 | 2930840 | 192052 | 48540 6 | 769 | 660 859.22/859.42 c 858s | 16 | 2931245 | 192152 | 48540 6 | 769 | 660 863.02/863.24 c 862s | 16 | 2931585 | 192252 | 48540 6 | 769 | 660 866.52/866.74 c 866s | 16 | 2932065 | 192452 | 48540 6 | 769 | 660 869.52/869.74 c 869s | 16 | 2932609 | 192552 | 48540 6 | 769 | 660 871.52/871.76 c 871s | 16 | 2932986 | 192652 | 48540 6 | 769 | 660 873.92/874.13 c 873s | 16 | 2933371 | 192752 | 48540 6 | 769 | 660 876.62/876.81 c 876s | 16 | 2934636 | 192952 | 48540 6 | 769 | 660 879.91/880.14 c 879s | 16 | 2935221 | 193152 | 48540 6 | 769 | 660 882.51/882.74 c 882s | 16 | 2935436 | 193252 | 48540 6 | 769 | 660 886.91/887.11 c 886s | 16 | 2936186 | 193452 | 48540 6 | 769 | 660 891.61/891.83 c 891s | 16 | 2936675 | 193652 | 48540 6 | 769 | 660 895.50/895.70 c 895s | 16 | 2936963 | 193752 | 48540 6 | 769 | 660 898.90/899.13 c 898s | 16 | 2937189 | 193852 | 48540 6 | 769 | 660 902.20/902.45 c 901s | 16 | 2937958 | 194052 | 48540 6 | 769 | 660 907.10/907.39 c 906s | 16 | 2938528 | 194252 | 48540 7 | 769 | 660 910.29/910.59 c 910s | 16 | 2938897 | 194352 | 48540 7 | 769 | 660 912.49/912.70 c 912s | 16 | 2939353 | 194452 | 48540 7 | 769 | 660 914.69/914.91 c 914s | 16 | 2939942 | 194552 | 48540 7 | 769 | 660 918.79/919.08 c 918s | 16 | 2940299 | 194652 | 48540 7 | 769 | 660 922.90/923.17 c 922s | 16 | 2940466 | 194752 | 48540 7 | 769 | 660 927.10/927.34 c 926s | 16 | 2940670 | 194852 | 48540 7 | 769 | 660 931.28/931.59 c 931s | 16 | 2940921 | 194952 | 48540 7 | 769 | 660 934.98/935.23 c 934s | 16 | 2941191 | 195052 | 48540 7 | 769 | 660 937.18/937.48 c 936s | 16 | 2941570 | 195152 | 48540 7 | 769 | 660 941.49/941.72 c 941s | 16 | 2942284 | 195352 | 48540 7 | 769 | 660 944.39/944.68 c 944s | 16 | 2942992 | 195552 | 48540 7 | 769 | 660 946.79/947.05 c 946s | 16 | 2943230 | 195652 | 48540 7 | 769 | 660 950.48/950.79 c 950s | 16 | 2943559 | 195752 | 48540 7 | 769 | 660 955.08/955.38 c 954s | 16 | 2944111 | 195952 | 48540 7 | 769 | 660 957.78/958.09 c 957s | 16 | 2945496 | 196152 | 53395 7 | 769 | 660 960.08/960.37 c 959s | 16 | 2945897 | 196352 | 53395 7 | 769 | 660 963.27/963.59 c 963s | 16 | 2946352 | 196552 | 53395 7 | 769 | 660 965.77/966.08 c 965s | 16 | 2947135 | 196752 | 53395 7 | 769 | 660 968.89/969.20 c 968s | 16 | 2947522 | 196852 | 53395 7 | 769 | 660 970.98/971.20 c 970s | 16 | 2948040 | 196952 | 53395 7 | 769 | 660 974.38/974.61 c 974s | 16 | 2948614 | 197052 | 53395 7 | 769 | 660 977.28/977.53 c 976s | 16 | 2949539 | 197152 | 53395 7 | 769 | 660 979.77/980.05 c 979s | 16 | 2950650 | 197352 | 53395 7 | 769 | 660 980.77/981.01 c 980s | 17 | 2951869 | 197432 | 53395 7 | 769 | 660 982.97/983.21 c 982s | 17 | 2958206 | 197932 | 53395 7 | 769 | 660 985.27/985.57 c 985s | 17 | 2959681 | 198432 | 53395 7 | 769 | 660 987.76/988.03 c 987s | 17 | 2961642 | 198932 | 53395 7 | 769 | 660 989.77/990.05 c 989s | 17 | 2969283 | 199532 | 53395 7 | 769 | 660 991.86/992.13 c 991s | 17 | 2979836 | 200132 | 53395 7 | 769 | 660 994.06/994.37 c 993s | 17 | 2991432 | 200932 | 53395 7 | 769 | 660 996.06/996.38 c 995s | 17 | 3006603 | 201532 | 53395 7 | 769 | 660 998.26/998.56 c 998s | 17 | 3021159 | 202132 | 53395 7 | 769 | 660 1000.36/1000.60 c 1000s | 17 | 3037149 | 202732 | 53395 7 | 769 | 660 1002.46/1002.79 c 1002s | 17 | 3059872 | 203532 | 53395 7 | 769 | 660 1004.56/1004.86 c 1004s | 17 | 3069950 | 204132 | 53395 7 | 769 | 660 1006.66/1006.98 c 1006s | 17 | 3081858 | 204732 | 53395 7 | 769 | 660 1008.96/1009.22 c 1008s | 17 | 3093359 | 205332 | 53395 7 | 769 | 660 1011.06/1011.36 c 1010s | 17 | 3103485 | 205932 | 53395 7 | 769 | 660 1013.26/1013.53 c 1012s | 17 | 3112267 | 206432 | 53395 7 | 769 | 660 1015.46/1015.74 c 1015s | 17 | 3127758 | 207132 | 53395 7 | 769 | 660 1017.46/1017.80 c 1017s | 17 | 3140019 | 207732 | 53395 7 | 769 | 660 1019.56/1019.83 c 1019s | 17 | 3151046 | 208332 | 53395 7 | 769 | 660 1021.86/1022.14 c 1021s | 17 | 3163131 | 208932 | 53395 7 | 769 | 660 1024.16/1024.46 c 1023s | 17 | 3175551 | 209532 | 53395 7 | 769 | 660 1026.36/1026.60 c 1026s | 17 | 3188968 | 210132 | 53395 7 | 769 | 660 1028.55/1028.84 c 1028s | 17 | 3203536 | 210832 | 53395 7 | 769 | 660 1030.65/1030.91 c 1030s | 17 | 3217091 | 211432 | 53395 7 | 769 | 660 1033.05/1033.38 c 1032s | 17 | 3222824 | 212032 | 53395 7 | 769 | 660 1035.35/1035.62 c 1035s | 17 | 3225585 | 212632 | 53395 7 | 769 | 660 1037.75/1038.01 c 1037s | 17 | 3229149 | 213232 | 53395 7 | 769 | 660 1040.45/1040.73 c 1040s | 17 | 3230632 | 213632 | 53395 7 | 769 | 660 1042.75/1043.08 c 1042s | 17 | 3231120 | 213832 | 53395 7 | 769 | 660 1044.95/1045.28 c 1044s | 17 | 3234019 | 214332 | 53395 7 | 769 | 660 1047.05/1047.38 c 1046s | 17 | 3236267 | 214732 | 53395 7 | 769 | 660 1049.25/1049.52 c 1048s | 17 | 3237235 | 215032 | 53395 7 | 769 | 660 1051.35/1051.64 c 1051s | 17 | 3238523 | 215432 | 53395 7 | 769 | 660 1053.74/1054.07 c 1053s | 17 | 3239419 | 215732 | 53395 7 | 769 | 660 1056.24/1056.50 c 1055s | 17 | 3239939 | 215932 | 53395 7 | 769 | 660 1058.34/1058.69 c 1058s | 17 | 3240550 | 216132 | 53395 7 | 769 | 660 1061.34/1061.66 c 1061s | 17 | 3241325 | 216432 | 53395 7 | 769 | 660 1063.83/1064.18 c 1063s | 17 | 3242414 | 216732 | 53395 7 | 769 | 660 1066.13/1066.40 c 1065s | 17 | 3243343 | 217032 | 53395 7 | 769 | 660 1068.63/1068.90 c 1068s | 17 | 3244066 | 217332 | 53395 7 | 769 | 660 1070.83/1071.19 c 1070s | 17 | 3244652 | 217532 | 53395 7 | 769 | 660 1073.13/1073.45 c 1072s | 17 | 3245217 | 217732 | 53395 7 | 769 | 660 1075.33/1075.60 c 1075s | 17 | 3245908 | 217932 | 53395 7 | 769 | 660 1078.73/1079.04 c 1078s | 17 | 3246394 | 218132 | 53395 7 | 769 | 660 1081.92/1082.29 c 1081s | 17 | 3247118 | 218332 | 53395 7 | 769 | 660 1084.63/1084.96 c 1084s | 17 | 3247714 | 218532 | 53395 7 | 769 | 660 1087.23/1087.52 c 1086s | 17 | 3249682 | 218832 | 53395 7 | 769 | 660 1089.83/1090.11 c 1089s | 17 | 3250267 | 219032 | 53395 7 | 769 | 660 1092.52/1092.80 c 1092s | 17 | 3250772 | 219232 | 53395 7 | 769 | 660 1095.52/1095.88 c 1095s | 17 | 3251246 | 219432 | 53395 7 | 769 | 660 1098.21/1098.57 c 1098s | 17 | 3251662 | 219632 | 53395 7 | 769 | 660 1100.82/1101.15 c 1100s | 17 | 3252254 | 219832 | 53395 7 | 769 | 660 1102.91/1103.22 c 1102s | 17 | 3252833 | 220032 | 53395 7 | 769 | 660 1105.62/1105.90 c 1105s | 17 | 3253867 | 220432 | 53395 7 | 769 | 660 1108.11/1108.42 c 1107s | 17 | 3255636 | 220832 | 53395 7 | 769 | 660 1110.31/1110.69 c 1110s | 17 | 3259992 | 221432 | 53395 7 | 769 | 660 1112.41/1112.78 c 1112s | 17 | 3261360 | 221632 | 53395 7 | 769 | 660 1114.91/1115.27 c 1114s | 17 | 3261515 | 221732 | 53395 7 | 769 | 660 1117.01/1117.34 c 1116s | 17 | 3261708 | 221832 | 53395 7 | 769 | 660 1119.61/1119.95 c 1119s | 17 | 3263147 | 222132 | 53395 7 | 769 | 660 1122.51/1122.85 c 1122s | 17 | 3264975 | 222432 | 53395 7 | 769 | 660 1125.11/1125.41 c 1124s | 17 | 3266965 | 222832 | 53395 7 | 769 | 660 1127.31/1127.67 c 1127s | 17 | 3268477 | 223232 | 53395 7 | 769 | 660 1130.61/1130.95 c 1130s | 17 | 3269574 | 223532 | 53395 7 | 769 | 660 1135.01/1135.31 c 1134s | 17 | 3270059 | 223732 | 53395 7 | 769 | 660 1137.11/1137.43 c 1136s | 17 | 3273869 | 224232 | 53395 7 | 769 | 660 1139.49/1139.80 c 1139s | 17 | 3275874 | 224632 | 53395 7 | 769 | 660 1141.89/1142.28 c 1141s | 17 | 3277229 | 225032 | 53395 7 | 769 | 660 1144.59/1144.96 c 1144s | 17 | 3277962 | 225132 | 53395 8 | 769 | 660 1146.69/1147.05 c 1146s | 17 | 3287997 | 225932 | 53395 8 | 769 | 660 1149.08/1149.42 c 1148s | 17 | 3292205 | 226732 | 53395 8 | 769 | 660 1151.08/1151.49 c 1150s | 17 | 3293579 | 227132 | 53395 8 | 769 | 660 1153.48/1153.86 c 1153s | 17 | 3296258 | 227732 | 53395 8 | 769 | 660 1155.68/1156.08 c 1155s | 17 | 3299083 | 228332 | 53395 8 | 769 | 660 1157.87/1158.26 c 1157s | 17 | 3300431 | 228732 | 53395 8 | 769 | 660 1159.87/1160.29 c 1159s | 17 | 3311569 | 229232 | 53395 8 | 769 | 660 1162.27/1162.62 c 1162s | 17 | 3321575 | 229932 | 53395 8 | 769 | 660 1164.27/1164.64 c 1164s | 17 | 3326909 | 230532 | 53395 8 | 769 | 660 1166.67/1167.01 c 1166s | 17 | 3337697 | 231132 | 53395 8 | 769 | 660 1168.67/1169.09 c 1168s | 17 | 3344279 | 231632 | 53395 8 | 769 | 660 1170.96/1171.35 c 1170s | 17 | 3347984 | 232132 | 53395 8 | 769 | 660 1172.97/1173.38 c 1172s | 17 | 3352415 | 232832 | 53395 8 | 769 | 660 1175.17/1175.58 c 1175s | 17 | 3358512 | 233432 | 53395 8 | 769 | 660 1177.47/1177.89 c 1177s | 17 | 3371130 | 234032 | 53395 8 | 769 | 660 1179.57/1179.99 c 1179s | 17 | 3377232 | 234532 | 53395 8 | 769 | 660 1181.97/1182.38 c 1181s | 17 | 3388613 | 235132 | 53395 8 | 769 | 660 1184.37/1184.78 c 1184s | 17 | 3397796 | 235732 | 53395 8 | 769 | 660 1186.76/1187.15 c 1186s | 17 | 3401747 | 236232 | 53395 8 | 769 | 660 1189.06/1189.47 c 1188s | 17 | 3411348 | 236932 | 53395 8 | 769 | 660 1191.26/1191.67 c 1191s | 17 | 3418262 | 237632 | 53395 8 | 769 | 660 1193.56/1193.91 c 1193s | 17 | 3429227 | 238132 | 53395 8 | 769 | 660 1195.56/1195.98 c 1195s | 17 | 3435413 | 238632 | 53395 8 | 769 | 660 1198.05/1198.47 c 1197s | 17 | 3438869 | 239232 | 53395 8 | 769 | 660 1200.35/1200.79 c 1200s | 17 | 3440812 | 239632 | 53395 8 | 769 | 660 1203.55/1203.96 c 1203s | 17 | 3442181 | 240032 | 53395 8 | 769 | 660 1206.25/1206.68 c 1206s | 17 | 3443679 | 240432 | 53395 8 | 769 | 660 1208.94/1209.34 c 1208s | 17 | 3444237 | 240632 | 53395 8 | 769 | 660 1211.34/1211.75 c 1211s | 17 | 3444461 | 240732 | 53395 8 | 769 | 660 1213.44/1213.83 c 1213s | 17 | 3445226 | 240932 | 53395 8 | 769 | 660 1215.64/1216.05 c 1215s | 17 | 3445524 | 241032 | 53395 8 | 769 | 660 1218.54/1218.93 c 1218s | 17 | 3445683 | 241132 | 53395 8 | 769 | 660 1220.54/1220.99 c 1220s | 17 | 3446842 | 241332 | 53395 8 | 769 | 660 1223.54/1223.95 c 1223s | 17 | 3447830 | 241632 | 53395 8 | 769 | 660 1227.24/1227.61 c 1227s | 17 | 3448367 | 241832 | 53395 8 | 769 | 660 1230.13/1230.57 c 1230s | 17 | 3448602 | 241932 | 53395 8 | 769 | 660 1234.42/1234.81 c 1234s | 17 | 3449247 | 242132 | 53395 8 | 769 | 660 1236.42/1236.88 c 1236s | 17 | 3449427 | 242232 | 53395 8 | 769 | 660 1239.72/1240.14 c 1239s | 17 | 3450078 | 242432 | 53395 8 | 769 | 660 1242.62/1243.07 c 1242s | 17 | 3450754 | 242632 | 53395 8 | 769 | 660 1246.51/1246.99 c 1246s | 17 | 3451352 | 242832 | 53395 8 | 769 | 660 1250.11/1250.57 c 1250s | 17 | 3451554 | 242932 | 53395 8 | 769 | 660 1253.51/1253.95 c 1253s | 17 | 3452454 | 243132 | 53395 8 | 769 | 660 1255.51/1255.98 c 1255s | 17 | 3452903 | 243232 | 53395 8 | 769 | 660 1258.01/1258.46 c 1257s | 17 | 3453238 | 243332 | 53395 8 | 769 | 660 1260.81/1261.24 c 1260s | 17 | 3453418 | 243432 | 53395 8 | 769 | 660 1263.31/1263.73 c 1263s | 17 | 3454086 | 243632 | 53395 8 | 769 | 660 1266.50/1266.93 c 1266s | 17 | 3454746 | 243832 | 53395 8 | 769 | 660 1269.90/1270.30 c 1269s | 17 | 3455370 | 244032 | 53395 8 | 769 | 660 1273.40/1273.83 c 1273s | 17 | 3456072 | 244232 | 53395 8 | 769 | 660 1275.70/1276.11 c 1275s | 17 | 3456358 | 244332 | 53395 8 | 769 | 660 1278.49/1278.90 c 1278s | 17 | 3457191 | 244532 | 53395 8 | 769 | 660 1280.99/1281.47 c 1280s | 17 | 3458737 | 244732 | 53395 8 | 769 | 660 1284.28/1284.74 c 1284s | 17 | 3459910 | 244932 | 53395 8 | 769 | 660 1287.28/1287.73 c 1287s | 17 | 3461131 | 245132 | 53395 8 | 769 | 660 1290.08/1290.56 c 1290s | 17 | 3462220 | 245432 | 53395 8 | 769 | 660 1295.28/1295.79 c 1295s | 17 | 3462882 | 245632 | 53395 8 | 769 | 660 1297.97/1298.44 c 1297s | 17 | 3463275 | 245732 | 53395 8 | 769 | 660 1301.38/1301.84 c 1301s | 17 | 3463611 | 245832 | 53395 8 | 769 | 660 1304.29/1304.79 c 1304s | 17 | 3463948 | 245932 | 53395 8 | 769 | 660 1306.88/1307.39 c 1306s | 17 | 3464404 | 246032 | 53395 8 | 769 | 660 1309.08/1309.57 c 1309s | 17 | 3465499 | 246232 | 53395 8 | 769 | 660 1313.97/1314.45 c 1313s | 17 | 3465902 | 246332 | 53395 8 | 769 | 660 1319.27/1319.78 c 1319s | 17 | 3466193 | 246432 | 53395 8 | 769 | 660 1322.07/1322.59 c 1322s | 17 | 3466570 | 246532 | 53395 8 | 769 | 660 1325.17/1325.66 c 1325s | 17 | 3466736 | 246632 | 53395 8 | 769 | 660 1328.77/1329.21 c 1328s | 17 | 3467118 | 246732 | 53395 8 | 769 | 660 1331.47/1331.99 c 1331s | 17 | 3467556 | 246932 | 53395 8 | 769 | 660 1335.67/1336.16 c 1335s | 17 | 3467716 | 247032 | 53395 8 | 769 | 660 1340.96/1341.47 c 1340s | 17 | 3467967 | 247132 | 53395 8 | 769 | 660 1347.06/1347.59 c 1347s | 17 | 3468154 | 247232 | 53395 8 | 769 | 660 1351.85/1352.31 c 1351s | 17 | 3468374 | 247332 | 53395 8 | 769 | 660 1355.96/1356.45 c 1355s | 17 | 3468567 | 247432 | 53395 8 | 769 | 660 1359.25/1359.76 c 1359s | 17 | 3468774 | 247532 | 53395 8 | 769 | 660 1363.44/1363.93 c 1363s | 17 | 3469131 | 247632 | 53395 8 | 769 | 660 1365.75/1366.21 c 1365s | 17 | 3470664 | 248032 | 53395 8 | 769 | 660 1368.34/1368.90 c 1368s | 17 | 3471020 | 248232 | 53395 8 | 769 | 660 1370.45/1370.95 c 1370s | 17 | 3478105 | 248632 | 53395 8 | 769 | 660 1372.55/1373.09 c 1372s | 17 | 3485107 | 249032 | 53395 8 | 769 | 660 1374.75/1375.22 c 1374s | 17 | 3494782 | 249432 | 53395 8 | 769 | 660 1376.94/1377.43 c 1376s | 17 | 3501484 | 249732 | 53395 8 | 769 | 660 1379.05/1379.57 c 1379s | 17 | 3516336 | 250132 | 53395 8 | 769 | 660 1381.15/1381.69 c 1381s | 17 | 3519387 | 250632 | 53395 8 | 769 | 660 1383.35/1383.86 c 1383s | 17 | 3521130 | 251032 | 53395 8 | 769 | 660 1385.44/1385.96 c 1385s | 17 | 3523969 | 251532 | 53395 8 | 769 | 660 1388.14/1388.62 c 1388s | 17 | 3526503 | 251932 | 53395 8 | 769 | 660 1390.44/1390.92 c 1390s | 17 | 3526779 | 252032 | 53395 8 | 769 | 660 1394.64/1395.14 c 1394s | 17 | 3529556 | 252232 | 53395 9 | 769 | 660 1396.84/1397.39 c 1396s | 17 | 3545756 | 252832 | 53395 9 | 769 | 660 1399.24/1399.78 c 1399s | 17 | 3555479 | 253532 | 53395 9 | 769 | 660 1401.54/1402.04 c 1401s | 17 | 3560693 | 254132 | 53395 9 | 769 | 660 1403.93/1404.45 c 1403s | 17 | 3562654 | 254532 | 53395 9 | 769 | 660 1406.63/1407.16 c 1406s | 17 | 3563891 | 254832 | 53395 9 | 769 | 660 1408.93/1409.44 c 1408s | 17 | 3566062 | 255232 | 53395 9 | 769 | 660 1411.63/1412.19 c 1411s | 17 | 3566924 | 255532 | 53395 9 | 769 | 660 1414.24/1414.79 c 1414s | 17 | 3567822 | 255732 | 53395 9 | 769 | 660 1416.44/1416.91 c 1416s | 17 | 3568494 | 255832 | 53395 9 | 769 | 660 1420.23/1420.78 c 1420s | 17 | 3568878 | 255932 | 53395 9 | 769 | 660 1424.13/1424.65 c 1424s | 17 | 3569284 | 256032 | 53395 9 | 769 | 660 1428.53/1429.03 c 1428s | 17 | 3570281 | 256132 | 53395 9 | 769 | 660 1430.53/1431.04 c 1430s | 17 | 3572266 | 256432 | 53395 9 | 769 | 660 1433.03/1433.52 c 1432s | 17 | 3574869 | 256832 | 53395 9 | 769 | 660 1435.04/1435.55 c 1434s | 17 | 3576125 | 257132 | 53395 9 | 769 | 660 1437.24/1437.77 c 1437s | 17 | 3576691 | 257332 | 53395 9 | 769 | 660 1440.33/1440.87 c 1440s | 17 | 3577058 | 257532 | 53395 9 | 769 | 660 1443.33/1443.85 c 1443s | 17 | 3577478 | 257732 | 53395 9 | 769 | 660 1446.23/1446.79 c 1446s | 17 | 3577867 | 257932 | 53395 9 | 769 | 660 1449.33/1449.90 c 1449s | 17 | 3578295 | 258132 | 53395 9 | 769 | 660 1452.33/1452.83 c 1452s | 17 | 3578968 | 258332 | 53395 9 | 769 | 660 1454.42/1454.91 c 1454s | 17 | 3579431 | 258532 | 53395 9 | 769 | 660 1457.42/1457.96 c 1457s | 17 | 3579961 | 258732 | 53395 9 | 769 | 660 1459.52/1460.05 c 1459s | 17 | 3581444 | 259032 | 53395 9 | 769 | 660 1461.93/1462.42 c 1461s | 17 | 3583409 | 259432 | 53395 9 | 769 | 660 1463.93/1464.49 c 1463s | 17 | 3584988 | 259732 | 53395 9 | 769 | 660 1466.03/1466.51 c 1465s | 17 | 3585851 | 259932 | 53395 9 | 769 | 660 1470.43/1470.95 c 1470s | 17 | 3586363 | 260132 | 53395 9 | 769 | 660 1474.32/1474.89 c 1474s | 17 | 3587132 | 260332 | 53395 9 | 769 | 660 1477.62/1478.17 c 1477s | 17 | 3587289 | 260432 | 53395 9 | 769 | 660 1479.92/1480.41 c 1479s | 17 | 3597147 | 260832 | 53395 9 | 769 | 660 1482.02/1482.59 c 1482s | 17 | 3609991 | 261432 | 53395 9 | 769 | 660 1484.32/1484.80 c 1484s | 17 | 3621374 | 262232 | 53395 9 | 769 | 660 1486.52/1487.09 c 1486s | 17 | 3629319 | 262832 | 53395 9 | 769 | 660 1488.72/1489.28 c 1488s | 17 | 3639520 | 263332 | 53395 9 | 769 | 660 1490.92/1491.44 c 1490s | 17 | 3643338 | 263832 | 53395 9 | 769 | 660 1493.02/1493.58 c 1493s | 17 | 3651225 | 264332 | 53395 9 | 769 | 660 1495.52/1496.07 c 1495s | 17 | 3656226 | 264732 | 53395 9 | 769 | 660 1497.82/1498.34 c 1497s | 17 | 3664158 | 265232 | 53395 9 | 769 | 660 1500.12/1500.68 c 1500s | 17 | 3671515 | 265532 | 53395 9 | 770 | 661 1502.31/1502.81 c 1502s | 17 | 3687564 | 266032 | 53395 9 | 770 | 661 1504.51/1505.03 c 1504s | 17 | 3703391 | 266532 | 53395 9 | 770 | 661 1506.52/1507.04 c 1506s | 17 | 3712059 | 267032 | 53395 9 | 770 | 661 1508.72/1509.25 c 1508s | 17 | 3722802 | 267332 | 53395 9 | 771 | 662 1511.02/1511.55 c 1510s | 17 | 3737315 | 268032 | 53395 9 | 771 | 662 1513.01/1513.60 c 1513s | 17 | 3744327 | 268532 | 53395 9 | 771 | 662 1515.62/1516.16 c 1515s | 17 | 3757672 | 269032 | 53395 9 | 771 | 662 1517.82/1518.35 c 1517s | 17 | 3762484 | 269532 | 53395 9 | 771 | 662 1520.02/1520.58 c 1520s | 17 | 3764246 | 269832 | 53395 9 | 771 | 662 1522.62/1523.16 c 1522s | 17 | 3766400 | 270332 | 53395 9 | 771 | 662 1525.33/1525.81 c 1525s | 17 | 3767512 | 270632 | 53395 9 | 771 | 662 1528.02/1528.53 c 1527s | 17 | 3768672 | 270932 | 53395 9 | 771 | 662 1530.52/1531.05 c 1530s | 17 | 3769793 | 271232 | 53395 9 | 771 | 662 1532.72/1533.25 c 1532s | 17 | 3777131 | 271732 | 53395 9 | 771 | 662 1534.72/1535.28 c 1534s | 17 | 3789917 | 272232 | 53395 9 | 771 | 662 1536.92/1537.46 c 1536s | 17 | 3798201 | 272832 | 53395 9 | 771 | 662 1539.02/1539.57 c 1539s | 17 | 3799765 | 273232 | 53395 9 | 771 | 662 1541.62/1542.10 c 1541s | 17 | 3805763 | 273832 | 53395 9 | 771 | 662 1543.72/1544.24 c 1543s | 17 | 3807833 | 274332 | 53395 9 | 771 | 662 1545.82/1546.39 c 1545s | 17 | 3813771 | 275032 | 53395 9 | 771 | 662 1548.01/1548.56 c 1548s | 17 | 3820994 | 275732 | 53395 9 | 771 | 662 1550.11/1550.64 c 1550s | 17 | 3825039 | 276432 | 53395 9 | 771 | 662 1552.21/1552.70 c 1552s | 17 | 3827642 | 276832 | 53395 9 | 771 | 662 1554.81/1555.39 c 1554s | 17 | 3831494 | 277332 | 53395 9 | 771 | 662 1556.91/1557.41 c 1556s | 17 | 3834749 | 277932 | 53395 9 | 771 | 662 1559.21/1559.71 c 1559s | 17 | 3836273 | 278332 | 53395 9 | 771 | 662 1562.21/1562.77 c 1562s | 17 | 3837081 | 278632 | 53395 9 | 771 | 662 1564.51/1565.02 c 1564s | 17 | 3839753 | 279032 | 53395 9 | 771 | 662 1566.71/1567.27 c 1566s | 17 | 3842595 | 279432 | 53395 9 | 771 | 662 1570.71/1571.24 c 1570s | 17 | 3846648 | 279832 | 53395 10 | 771 | 662 1572.80/1573.39 c 1572s | 17 | 3855510 | 280332 | 53395 10 | 772 | 663 1575.00/1575.55 c 1574s | 17 | 3870129 | 281032 | 53395 10 | 772 | 663 1577.20/1577.70 c 1577s | 17 | 3881577 | 281632 | 53395 10 | 772 | 663 1579.60/1580.14 c 1579s | 17 | 3897387 | 282232 | 53395 10 | 772 | 663 1581.70/1582.25 c 1581s | 17 | 3905968 | 282832 | 53395 10 | 772 | 663 1584.20/1584.70 c 1584s | 17 | 3910116 | 283232 | 53395 10 | 772 | 663 1586.40/1586.96 c 1586s | 17 | 3916671 | 283732 | 53395 10 | 772 | 663 1588.70/1589.26 c 1588s | 17 | 3925814 | 284432 | 53395 10 | 772 | 663 1590.80/1591.38 c 1590s | 17 | 3936847 | 284932 | 53395 10 | 772 | 663 1593.20/1593.71 c 1593s | 17 | 3950613 | 285532 | 53395 10 | 772 | 663 1595.21/1595.72 c 1595s | 17 | 3965769 | 286032 | 53395 10 | 772 | 663 1597.21/1597.75 c 1597s | 17 | 3980576 | 286632 | 53395 10 | 772 | 663 1599.61/1600.14 c 1599s | 17 | 3992682 | 287332 | 53395 10 | 772 | 663 1601.81/1602.30 c 1601s | 17 | 3997929 | 288032 | 53395 10 | 772 | 663 1604.01/1604.52 c 1603s | 17 | 4009783 | 288632 | 53395 10 | 772 | 663 1606.21/1606.77 c 1606s | 17 | 4021479 | 289132 | 53395 10 | 772 | 663 1608.21/1608.78 c 1608s | 17 | 4033428 | 289732 | 53395 10 | 772 | 663 1610.41/1610.99 c 1610s | 17 | 4046322 | 290132 | 53395 10 | 773 | 664 1612.61/1613.13 c 1612s | 17 | 4054860 | 290532 | 53395 10 | 773 | 664 1614.91/1615.42 c 1614s | 17 | 4066755 | 291132 | 53395 10 | 773 | 664 1616.91/1617.48 c 1616s | 17 | 4078979 | 291732 | 53395 10 | 773 | 664 1619.20/1619.77 c 1619s | 17 | 4084545 | 292332 | 53395 10 | 773 | 664 1621.40/1621.91 c 1621s | 17 | 4093262 | 292932 | 53395 10 | 773 | 664 1623.40/1623.99 c 1623s | 17 | 4098343 | 293432 | 53395 10 | 773 | 664 1625.70/1626.26 c 1625s | 17 | 4106684 | 293932 | 53395 10 | 773 | 664 1628.00/1628.50 c 1627s | 17 | 4111901 | 294532 | 58735 10 | 773 | 664 1630.70/1631.27 c 1630s | 17 | 4112681 | 294832 | 58735 10 | 773 | 664 1632.70/1633.28 c 1632s | 17 | 4113418 | 295032 | 58735 10 | 773 | 664 1636.10/1636.64 c 1636s | 17 | 4114444 | 295332 | 58735 10 | 773 | 664 1638.40/1638.99 c 1638s | 17 | 4116377 | 295632 | 58735 10 | 773 | 664 1640.50/1641.03 c 1640s | 17 | 4119522 | 296032 | 58735 10 | 773 | 664 1642.00/1642.58 c 1642s | 18 | 4120336 | 296252 | 58735 10 | 773 | 664 1644.11/1644.61 c 1644s | 18 | 4132362 | 296552 | 58735 10 | 773 | 664 1646.10/1646.67 c 1646s | 18 | 4144275 | 297052 | 58735 10 | 773 | 664 1648.20/1648.75 c 1648s | 18 | 4155292 | 297552 | 58735 10 | 773 | 664 1650.60/1651.14 c 1650s | 18 | 4161933 | 298052 | 58735 10 | 773 | 664 1652.80/1653.37 c 1652s | 18 | 4172317 | 298552 | 58735 10 | 773 | 664 1655.10/1655.69 c 1655s | 18 | 4185189 | 299052 | 58735 10 | 773 | 664 1657.20/1657.70 c 1657s | 18 | 4188771 | 299452 | 58735 10 | 773 | 664 1659.40/1659.95 c 1659s | 18 | 4198516 | 299952 | 58735 10 | 774 | 665 1661.40/1661.95 c 1661s | 18 | 4211365 | 300352 | 58735 10 | 774 | 665 1663.60/1664.17 c 1663s | 18 | 4221312 | 300852 | 58735 10 | 774 | 665 1665.89/1666.44 c 1665s | 18 | 4227519 | 301352 | 58735 10 | 774 | 665 1668.39/1668.92 c 1668s | 18 | 4231128 | 301852 | 58735 10 | 774 | 665 1670.89/1671.44 c 1670s | 18 | 4233958 | 302352 | 58735 10 | 774 | 665 1673.39/1673.96 c 1673s | 18 | 4237246 | 302952 | 58735 10 | 774 | 665 1675.79/1676.39 c 1675s | 18 | 4238970 | 303252 | 58735 10 | 774 | 665 1678.20/1678.79 c 1678s | 18 | 4241947 | 303852 | 58735 10 | 774 | 665 1680.30/1680.88 c 1680s | 18 | 4248259 | 304252 | 58735 10 | 774 | 665 1682.50/1683.08 c 1682s | 18 | 4251826 | 304652 | 58735 10 | 774 | 665 1684.70/1685.23 c 1684s | 18 | 4257796 | 305152 | 58735 10 | 774 | 665 1686.69/1687.28 c 1686s | 18 | 4272134 | 305552 | 58735 10 | 774 | 665 1689.20/1689.72 c 1689s | 18 | 4276531 | 306052 | 58735 10 | 774 | 665 1691.49/1692.05 c 1691s | 18 | 4282202 | 306452 | 58735 10 | 774 | 665 1693.60/1694.15 c 1693s | 18 | 4287503 | 306952 | 58735 10 | 774 | 665 1695.80/1696.34 c 1695s | 18 | 4291969 | 307452 | 58735 10 | 774 | 665 1698.39/1698.90 c 1698s | 18 | 4294787 | 307952 | 58735 10 | 774 | 665 1700.59/1701.11 c 1700s | 18 | 4298452 | 308452 | 58735 10 | 774 | 665 1702.79/1703.38 c 1702s | 18 | 4301277 | 308952 | 58735 10 | 774 | 665 1705.19/1705.71 c 1705s | 18 | 4302863 | 309352 | 58735 10 | 774 | 665 1707.38/1707.99 c 1707s | 18 | 4304850 | 309752 | 58735 10 | 774 | 665 1710.29/1710.86 c 1710s | 18 | 4305907 | 310052 | 58735 10 | 774 | 665 1713.19/1713.79 c 1713s | 18 | 4306516 | 310252 | 58735 10 | 774 | 665 1716.19/1716.78 c 1716s | 18 | 4308088 | 310652 | 58735 10 | 774 | 665 1718.89/1719.41 c 1718s | 18 | 4308687 | 310852 | 58735 10 | 774 | 665 1721.49/1722.09 c 1721s | 18 | 4309491 | 311152 | 58735 10 | 774 | 665 1724.29/1724.83 c 1724s | 18 | 4310180 | 311352 | 58735 10 | 774 | 665 1726.68/1727.25 c 1726s | 18 | 4311798 | 311652 | 58735 10 | 774 | 665 1729.28/1729.80 c 1729s | 18 | 4312426 | 311852 | 58735 10 | 774 | 665 1731.78/1732.35 c 1731s | 18 | 4313252 | 312052 | 58735 10 | 774 | 665 1733.88/1734.50 c 1733s | 18 | 4313858 | 312252 | 58735 10 | 774 | 665 1737.28/1737.86 c 1737s | 18 | 4314329 | 312452 | 58735 10 | 774 | 665 1739.48/1740.02 c 1739s | 18 | 4314584 | 312552 | 58735 10 | 774 | 665 1742.58/1743.13 c 1742s | 18 | 4315152 | 312752 | 58735 10 | 774 | 665 1745.38/1745.96 c 1745s | 18 | 4315769 | 312952 | 58735 10 | 774 | 665 1749.38/1749.97 c 1749s | 18 | 4318789 | 313152 | 58735 11 | 774 | 665 1751.48/1752.09 c 1751s | 18 | 4328193 | 313952 | 58735 11 | 774 | 665 1753.98/1754.51 c 1753s | 18 | 4331170 | 314652 | 58735 11 | 774 | 665 1756.08/1756.61 c 1756s | 18 | 4333115 | 315152 | 58735 11 | 774 | 665 1758.08/1758.67 c 1758s | 18 | 4349373 | 315752 | 58735 11 | 774 | 665 1760.28/1760.87 c 1760s | 18 | 4365782 | 316252 | 58735 11 | 774 | 665 1762.58/1763.10 c 1762s | 18 | 4383176 | 316852 | 58735 11 | 774 | 665 1764.88/1765.44 c 1764s | 18 | 4393197 | 317452 | 58735 11 | 774 | 665 1767.18/1767.75 c 1767s | 18 | 4404564 | 318052 | 58735 11 | 774 | 665 1769.48/1770.08 c 1769s | 18 | 4408818 | 318552 | 58735 11 | 774 | 665 1771.77/1772.38 c 1771s | 18 | 4421540 | 319152 | 58735 11 | 774 | 665 1774.07/1774.68 c 1774s | 18 | 4432376 | 319652 | 58735 11 | 774 | 665 1776.17/1776.77 c 1776s | 18 | 4440963 | 320352 | 58735 11 | 774 | 665 1778.28/1778.82 c 1778s | 18 | 4449854 | 320852 | 58735 11 | 774 | 665 1780.48/1781.03 c 1780s | 18 | 4459915 | 321452 | 58735 11 | 774 | 665 1782.68/1783.29 c 1782s | 18 | 4473454 | 322052 | 58735 11 | 774 | 665 1784.78/1785.39 c 1784s | 18 | 4478334 | 322552 | 58735 11 | 774 | 665 1787.17/1787.71 c 1787s | 18 | 4481679 | 323052 | 58735 11 | 774 | 665 1789.29/1789.83 c 1789s | 18 | 4482420 | 323352 | 58735 11 | 774 | 665 1791.49/1792.06 c 1791s | 18 | 4484068 | 323652 | 58735 11 | 774 | 665 1793.48/1794.09 c 1793s | 18 | 4489290 | 324152 | 58735 11 | 774 | 665 1795.58/1796.19 c 1795s | 18 | 4496220 | 324852 | 58735 11 | 774 | 665 1797.88/1798.44 c 1797s | 18 | 4504939 | 325452 | 58735 11 | 774 | 665 1799.88/1800.45 c 1799s | 18 | 4514419 | 325952 | 58735 11 | 774 | 665
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-4078896-1465287109/watcher-4078896-1465287109 -o /tmp/evaluation-result-4078896-1465287109/solver-4078896-1465287109 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465256721-4332 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078896-1465287109.opb pid=8303 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.27 2.24 2.20 3/179 8306 /proc/meminfo: memFree=29143936/32872528 swapFree=15644/1722384 [pid=8306] ppid=8303 vsize=676284 CPUtime=0 cores=1,3,5,7 /proc/8306/stat : 8306 (toysat) R 8303 8306 4315 0 -1 4202496 2515 0 0 0 0 0 0 0 20 0 4 0 110644530 692514816 2877 33554432000 4194304 16246674 140733698020800 140733698020224 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8306/statm: 169839 2888 441 2943 0 166733 0 [pid=8306/tid=8307] ppid=8303 vsize=693692 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8307/stat : 8307 (toysat) S 8303 8306 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110644530 710340608 2946 33554432000 4194304 16246674 140733698020800 139932136877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8306/tid=8308] ppid=8303 vsize=698812 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8308/stat : 8308 (toysat) S 8303 8306 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110644530 715583488 2964 33554432000 4194304 16246674 140733698020800 139932126387440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8306/tid=8309] ppid=8303 vsize=702908 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8309/stat : 8309 (toysat) S 8303 8306 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110644530 719777792 2979 33554432000 4194304 16246674 140733698020800 139932047764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100173 s] /proc/loadavg: 2.27 2.24 2.20 3/179 8306 /proc/meminfo: memFree=29143936/32872528 swapFree=15644/1722384 [pid=8306] ppid=8303 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/8306/stat : 8306 (toysat) R 8303 8306 4315 0 -1 4202496 28717 0 0 0 5 4 0 0 20 0 4 0 110644530 1333334016 29016 33554432000 4194304 16246674 140733698020800 140733698020112 8055408 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8306/statm: 325521 29031 801 2943 0 322415 0 [pid=8306/tid=8307] ppid=8303 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8307/stat : 8307 (toysat) S 8303 8306 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110644530 1333334016 29042 33554432000 4194304 16246674 140733698020800 139932136877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8306/tid=8308] ppid=8303 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8308/stat : 8308 (toysat) S 8303 8306 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110644530 1333334016 29053 33554432000 4194304 16246674 140733698020800 139932126387440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8306/tid=8309] ppid=8303 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8309/stat : 8309 (toysat) S 8303 8306 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110644530 1333334016 29064 33554432000 4194304 16246674 140733698020800 139932047764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.20053 s] /proc/loadavg: 2.27 2.24 2.20 3/179 8306 /proc/meminfo: memFree=29143936/32872528 swapFree=15644/1722384 [pid=8306] ppid=8303 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/8306/stat : 8306 (toysat) R 8303 8306 4315 0 -1 4202496 47461 0 0 0 12 7 0 0 20 0 4 0 110644530 1344868352 48271 33554432000 4194304 16246674 140733698020800 140733698020112 7973964 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8306/statm: 328337 48271 801 2943 0 325231 0 [pid=8306/tid=8307] ppid=8303 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8307/stat : 8307 (toysat) S 8303 8306 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110644530 1344868352 48271 33554432000 4194304 16246674 140733698020800 139932136877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8306/tid=8308] ppid=8303 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8308/stat : 8308 (toysat) S 8303 8306 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110644530 1344868352 48271 33554432000 4194304 16246674 140733698020800 139932126387440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8306/tid=8309] ppid=8303 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8309/stat : 8309 (toysat) S 8303 8306 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110644530 1344868352 48271 33554432000 4194304 16246674 140733698020800 139932047764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300492 s] /proc/loadavg: 2.27 2.24 2.20 3/179 8306 /proc/meminfo: memFree=29143936/32872528 swapFree=15644/1722384 [pid=8306] ppid=8303 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/8306/stat : 8306 (toysat) R 8303 8306 4315 0 -1 4202496 47540 0 0 0 22 7 0 0 20 0 4 0 110644530 1344868352 48350 33554432000 4194304 16246674 140733698020800 140733698020112 6974655 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8306/statm: 328337 48350 835 2943 0 325231 0 [pid=8306/tid=8307] ppid=8303 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8307/stat : 8307 (toysat) S 8303 8306 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110644530 1344868352 48350 33554432000 4194304 16246674 140733698020800 139932136877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8306/tid=8308] ppid=8303 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8308/stat : 8308 (toysat) S 8303 8306 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110644530 1344868352 48350 33554432000 4194304 16246674 140733698020800 139932126387440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8306/tid=8309] ppid=8303 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8309/stat : 8309 (toysat) S 8303 8306 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110644530 1344868352 48350 33554432000 4194304 16246674 140733698020800 139932047764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700412 s] /proc/loadavg: 2.27 2.24 2.20 3/179 8306 /proc/meminfo: memFree=29143936/32872528 swapFree=15644/1722384 [pid=8306] ppid=8303 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/8306/stat : 8306 (toysat) R 8303 8306 4315 0 -1 4202496 114471 0 0 0 53 16 0 0 20 0 4 0 110644530 1344868352 115281 33554432000 4194304 16246674 140733698020800 140733698002688 5677541 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8306/statm: 328337 115283 878 2943 0 325231 0 [pid=8306/tid=8307] ppid=8303 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8307/stat : 8307 (toysat) S 8303 8306 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110644530 1344868352 115284 33554432000 4194304 16246674 140733698020800 139932136877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8306/tid=8308] ppid=8303 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8308/stat : 8308 (toysat) S 8303 8306 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110644530 1344868352 115284 33554432000 4194304 16246674 140733698020800 139932126387440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8306/tid=8309] ppid=8303 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8309/stat : 8309 (toysat) S 8303 8306 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110644530 1344868352 115285 33554432000 4194304 16246674 140733698020800 139932047764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.5004 s] /proc/loadavg: 2.25 2.23 2.20 3/183 8310 /proc/meminfo: memFree=28558304/32872528 swapFree=15644/1722384 [pid=8306] ppid=8303 vsize=1313348 CPUtime=1.49 cores=1,3,5,7 /proc/8306/stat : 8306 (toysat) R 8303 8306 4315 0 -1 4202496 216803 0 0 0 120 29 0 0 20 0 4 0 110644530 1344868352 217613 33554432000 4194304 16246674 140733698020800 140733698002688 5828874 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8306/statm: 328337 217619 878 2943 0 325231 0 [pid=8306/tid=8307] ppid=8303 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8307/stat : 8307 (toysat) S 8303 8306 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110644530 1344868352 217621 33554432000 4194304 16246674 140733698020800 139932136877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8306/tid=8308] ppid=8303 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8308/stat : 8308 (toysat) S 8303 8306 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110644530 1344868352 217623 33554432000 4194304 16246674 140733698020800 139932126387440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8306/tid=8309] ppid=8303 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8309/stat : 8309 (toysat) S 8303 8306 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110644530 1344868352 217626 33554432000 4194304 16246674 140733698020800 139932047764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.10041 s] /proc/loadavg: 2.25 2.23 2.20 3/183 8310 /proc/meminfo: memFree=28054988/32872528 swapFree=15644/1722384 [pid=8306] ppid=8303 vsize=1326660 CPUtime=3.09 cores=1,3,5,7 /proc/8306/stat : 8306 (toysat) R 8303 8306 4315 0 -1 4202496 272336 0 0 0 273 36 0 0 20 0 4 0 110644530 1358499840 273146 33554432000 4194304 16246674 140733698020800 140733698002688 5823037 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8306/statm: 331665 273146 884 2943 0 328559 0 [pid=8306/tid=8307] ppid=8303 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8307/stat : 8307 (toysat) S 8303 8306 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110644530 1358499840 273146 33554432000 4194304 16246674 140733698020800 139932136877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8306/tid=8308] ppid=8303 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8308/stat : 8308 (toysat) S 8303 8306 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110644530 1358499840 273146 33554432000 4194304 16246674 140733698020800 139932126387440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8306/tid=8309] ppid=8303 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8309/stat : 8309 (toysat) S 8303 8306 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110644530 1358499840 273146 33554432000 4194304 16246674 140733698020800 139932047764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1326660 [startup+6.30042 s] /proc/loadavg: 2.25 2.23 2.20 3/183 8310 /proc/meminfo: memFree=28053752/32872528 swapFree=15644/1722384 [pid=8306] ppid=8303 vsize=1326660 CPUtime=6.29 cores=1,3,5,7 /proc/8306/stat : 8306 (toysat) R 8303 8306 4315 0 -1 4202496 272336 0 0 0 593 36 0 0 20 0 4 0 110644530 1358499840 273146 33554432000 4194304 16246674 140733698020800 140733698002688 6837186 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8306/statm: 331665 273146 884 2943 0 328559 0 [pid=8306/tid=8307] ppid=8303 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8307/stat : 8307 (toysat) S 8303 8306 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110644530 1358499840 273146 33554432000 4194304 16246674 140733698020800 139932136877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8306/tid=8308] ppid=8303 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8308/stat : 8308 (toysat) S 8303 8306 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110644530 1358499840 273146 33554432000 4194304 16246674 140733698020800 139932126387440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8306/tid=8309] ppid=8303 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8309/stat : 8309 (toysat) S 8303 8306 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110644530 1358499840 273146 33554432000 4194304 16246674 140733698020800 139932047764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1326660 [startup+12.7004 s] /proc/loadavg: 2.21 2.22 2.20 3/183 8310 /proc/meminfo: memFree=28053816/32872528 swapFree=15644/1722384 [pid=8306] ppid=8303 vsize=1326660 CPUtime=12.69 cores=1,3,5,7 /proc/8306/stat : 8306 (toysat) R 8303 8306 4315 0 -1 4202496 272336 0 0 0 1233 36 0 0 20 0 4 0 110644530 1358499840 273146 33554432000 4194304 16246674 140733698020800 140733698002688 12483536 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8306/statm: 331665 273146 884 2943 0 328559 0 [pid=8306/tid=8307] ppid=8303 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8307/stat : 8307 (toysat) S 8303 8306 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110644530 1358499840 273146 33554432000 4194304 16246674 140733698020800 139932136877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8306/tid=8308] ppid=8303 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8308/stat : 8308 (toysat) S 8303 8306 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110644530 1358499840 273146 33554432000 4194304 16246674 140733698020800 139932126387440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8306/tid=8309] ppid=8303 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8309/stat : 8309 (toysat) S 8303 8306 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110644530 1358499840 273146 33554432000 4194304 16246674 140733698020800 139932047764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1326660 [startup+25.5005 s] /proc/loadavg: 2.25 2.23 2.20 3/183 8310 /proc/meminfo: memFree=28054828/32872528 swapFree=15644/1722384 [pid=8306] ppid=8303 vsize=1326660 CPUtime=25.49 cores=1,3,5,7 /proc/8306/stat : 8306 (toysat) R 8303 8306 4315 0 -1 4202496 272337 0 0 0 2513 36 0 0 20 0 4 0 110644530 1358499840 273147 33554432000 4194304 16246674 140733698020800 140733698002688 6021684 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8306/statm: 331665 273147 884 2943 0 328559 0 [pid=8306/tid=8307] ppid=8303 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8307/stat : 8307 (toysat) S 8303 8306 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110644530 1358499840 273147 33554432000 4194304 16246674 140733698020800 139932136877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8306/tid=8308] ppid=8303 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8308/stat : 8308 (toysat) S 8303 8306 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110644530 1358499840 273147 33554432000 4194304 16246674 140733698020800 139932126387440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8306/tid=8309] ppid=8303 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8309/stat : 8309 (toysat) S 8303 8306 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110644530 1358499840 273147 33554432000 4194304 16246674 140733698020800 139932047764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1326660 [startup+51.1005 s] /proc/loadavg: 2.36 2.26 2.21 3/183 8310 /proc/meminfo: memFree=28054724/32872528 swapFree=15644/1722384 [pid=8306] ppid=8303 vsize=1326660 CPUtime=51.08 cores=1,3,5,7 /proc/8306/stat : 8306 (toysat) R 8303 8306 4315 0 -1 4202496 272338 0 0 0 5072 36 0 0 20 0 4 0 110644530 1358499840 273148 33554432000 4194304 16246674 140733698020800 140733698002688 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8306/statm: 331665 273148 885 2943 0 328559 0 [pid=8306/tid=8307] ppid=8303 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8307/stat : 8307 (toysat) S 8303 8306 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110644530 1358499840 273148 33554432000 4194304 16246674 140733698020800 139932136877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8306/tid=8308] ppid=8303 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8308/stat : 8308 (toysat) S 8303 8306 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110644530 1358499840 273148 33554432000 4194304 16246674 140733698020800 139932126387440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8306/tid=8309] ppid=8303 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8309/stat : 8309 (toysat) S 8303 8306 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110644530 1358499840 273148 33554432000 4194304 16246674 140733698020800 139932047764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1326660 [startup+102.301 s] /proc/loadavg: 2.19 2.23 2.20 3/183 8311 /proc/meminfo: memFree=28054156/32872528 swapFree=15644/1722384 [pid=8306] ppid=8303 vsize=1326660 CPUtime=102.29 cores=1,3,5,7 /proc/8306/stat : 8306 (toysat) R 8303 8306 4315 0 -1 4202496 272338 0 0 0 10192 37 0 0 20 0 4 0 110644530 1358499840 273148 33554432000 4194304 16246674 140733698020800 140733698002688 5667484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8306/statm: 331665 273148 885 2943 0 328559 0 [pid=8306/tid=8307] ppid=8303 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8307/stat : 8307 (toysat) S 8303 8306 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110644530 1358499840 273148 33554432000 4194304 16246674 140733698020800 139932136877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8306/tid=8308] ppid=8303 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8308/stat : 8308 (toysat) S 8303 8306 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110644530 1358499840 273148 33554432000 4194304 16246674 140733698020800 139932126387440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8306/tid=8309] ppid=8303 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8309/stat : 8309 (toysat) S 8303 8306 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110644530 1358499840 273148 33554432000 4194304 16246674 140733698020800 139932047764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 1326660 ################ # More data... # ################ /proc/8306/task/8309/stat : 8309 (toysat) S 8303 8306 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110644530 1358499840 273405 33554432000 4194304 16246674 140733698020800 139932047764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 1326660 [startup+1302.3 s] /proc/loadavg: 2.34 2.27 2.21 3/183 8341 /proc/meminfo: memFree=28050900/32872528 swapFree=15644/1722384 [pid=8306] ppid=8303 vsize=1326660 CPUtime=1301.88 cores=1,3,5,7 /proc/8306/stat : 8306 (toysat) R 8303 8306 4315 0 -1 4202496 272673 0 0 0 130130 58 0 0 20 0 4 0 110644530 1358499840 273405 33554432000 4194304 16246674 140733698020800 140733698002688 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8306/statm: 331665 273405 886 2943 0 328559 0 [pid=8306/tid=8307] ppid=8303 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8307/stat : 8307 (toysat) S 8303 8306 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110644530 1358499840 273405 33554432000 4194304 16246674 140733698020800 139932136877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8306/tid=8308] ppid=8303 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8308/stat : 8308 (toysat) S 8303 8306 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110644530 1358499840 273405 33554432000 4194304 16246674 140733698020800 139932126387440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8306/tid=8309] ppid=8303 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8309/stat : 8309 (toysat) S 8303 8306 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110644530 1358499840 273405 33554432000 4194304 16246674 140733698020800 139932047764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1326660 [startup+1362.3 s] /proc/loadavg: 2.26 2.27 2.21 3/183 8343 /proc/meminfo: memFree=28050544/32872528 swapFree=15644/1722384 [pid=8306] ppid=8303 vsize=1326660 CPUtime=1361.85 cores=1,3,5,7 /proc/8306/stat : 8306 (toysat) R 8303 8306 4315 0 -1 4202496 272704 0 0 0 136127 58 0 0 20 0 4 0 110644530 1358499840 273405 33554432000 4194304 16246674 140733698020800 140733698002688 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8306/statm: 331665 273405 886 2943 0 328559 0 [pid=8306/tid=8307] ppid=8303 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8307/stat : 8307 (toysat) S 8303 8306 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110644530 1358499840 273405 33554432000 4194304 16246674 140733698020800 139932136877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8306/tid=8308] ppid=8303 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8308/stat : 8308 (toysat) S 8303 8306 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110644530 1358499840 273405 33554432000 4194304 16246674 140733698020800 139932126387440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8306/tid=8309] ppid=8303 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8309/stat : 8309 (toysat) S 8303 8306 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110644530 1358499840 273405 33554432000 4194304 16246674 140733698020800 139932047764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 1326660 [startup+1422.3 s] /proc/loadavg: 2.20 2.24 2.20 3/183 8344 /proc/meminfo: memFree=28051520/32872528 swapFree=15644/1722384 [pid=8306] ppid=8303 vsize=1327684 CPUtime=1421.83 cores=1,3,5,7 /proc/8306/stat : 8306 (toysat) R 8303 8306 4315 0 -1 4202496 272787 0 0 0 142124 59 0 0 20 0 4 0 110644530 1359548416 273478 33554432000 4194304 16246674 140733698020800 140733698002688 5721872 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8306/statm: 331921 273478 886 2943 0 328815 0 [pid=8306/tid=8307] ppid=8303 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8307/stat : 8307 (toysat) S 8303 8306 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110644530 1359548416 273478 33554432000 4194304 16246674 140733698020800 139932136877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8306/tid=8308] ppid=8303 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8308/stat : 8308 (toysat) S 8303 8306 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110644530 1359548416 273478 33554432000 4194304 16246674 140733698020800 139932126387440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8306/tid=8309] ppid=8303 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8309/stat : 8309 (toysat) S 8303 8306 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110644530 1359548416 273478 33554432000 4194304 16246674 140733698020800 139932047764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1327684 [startup+1482.3 s] /proc/loadavg: 2.28 2.26 2.21 3/183 8345 /proc/meminfo: memFree=28051272/32872528 swapFree=15644/1722384 [pid=8306] ppid=8303 vsize=1327684 CPUtime=1481.82 cores=1,3,5,7 /proc/8306/stat : 8306 (toysat) R 8303 8306 4315 0 -1 4202496 272787 0 0 0 148121 61 0 0 20 0 4 0 110644530 1359548416 273478 33554432000 4194304 16246674 140733698020800 140733698002688 5669490 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8306/statm: 331921 273478 886 2943 0 328815 0 [pid=8306/tid=8307] ppid=8303 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8307/stat : 8307 (toysat) S 8303 8306 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110644530 1359548416 273478 33554432000 4194304 16246674 140733698020800 139932136877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8306/tid=8308] ppid=8303 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8308/stat : 8308 (toysat) S 8303 8306 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110644530 1359548416 273478 33554432000 4194304 16246674 140733698020800 139932126387440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8306/tid=8309] ppid=8303 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8309/stat : 8309 (toysat) S 8303 8306 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110644530 1359548416 273478 33554432000 4194304 16246674 140733698020800 139932047764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1327684 [startup+1542.31 s] /proc/loadavg: 2.24 2.25 2.20 3/183 8346 /proc/meminfo: memFree=28050148/32872528 swapFree=15644/1722384 [pid=8306] ppid=8303 vsize=1327684 CPUtime=1541.82 cores=1,3,5,7 /proc/8306/stat : 8306 (toysat) R 8303 8306 4315 0 -1 4202496 272970 0 0 0 154120 62 0 0 20 0 4 0 110644530 1359548416 273661 33554432000 4194304 16246674 140733698020800 140733698002688 5661166 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8306/statm: 331921 273661 886 2943 0 328815 0 [pid=8306/tid=8307] ppid=8303 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8307/stat : 8307 (toysat) S 8303 8306 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110644530 1359548416 273661 33554432000 4194304 16246674 140733698020800 139932136877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8306/tid=8308] ppid=8303 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8308/stat : 8308 (toysat) S 8303 8306 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110644530 1359548416 273661 33554432000 4194304 16246674 140733698020800 139932126387440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8306/tid=8309] ppid=8303 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8309/stat : 8309 (toysat) S 8303 8306 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110644530 1359548416 273661 33554432000 4194304 16246674 140733698020800 139932047764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 1327684 [startup+1602.3 s] /proc/loadavg: 2.24 2.25 2.20 3/183 8396 /proc/meminfo: memFree=28370536/32872528 swapFree=15644/1722384 [pid=8306] ppid=8303 vsize=1327684 CPUtime=1601.81 cores=1,3,5,7 /proc/8306/stat : 8306 (toysat) R 8303 8306 4315 0 -1 4202496 272970 0 0 0 160118 63 0 0 20 0 4 0 110644530 1359548416 273661 33554432000 4194304 16246674 140733698020800 140733698002688 5661607 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8306/statm: 331921 273661 886 2943 0 328815 0 [pid=8306/tid=8307] ppid=8303 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8307/stat : 8307 (toysat) S 8303 8306 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110644530 1359548416 273661 33554432000 4194304 16246674 140733698020800 139932136877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8306/tid=8308] ppid=8303 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8308/stat : 8308 (toysat) S 8303 8306 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110644530 1359548416 273661 33554432000 4194304 16246674 140733698020800 139932126387440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8306/tid=8309] ppid=8303 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8309/stat : 8309 (toysat) S 8303 8306 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110644530 1359548416 273661 33554432000 4194304 16246674 140733698020800 139932047764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1327684 [startup+1662.3 s] /proc/loadavg: 2.14 2.22 2.19 3/182 8397 /proc/meminfo: memFree=28369128/32872528 swapFree=15644/1722384 [pid=8306] ppid=8303 vsize=1327684 CPUtime=1661.8 cores=1,3,5,7 /proc/8306/stat : 8306 (toysat) R 8303 8306 4315 0 -1 4202496 272970 0 0 0 166117 63 0 0 20 0 4 0 110644530 1359548416 273661 33554432000 4194304 16246674 140733698020800 140733698002688 12483222 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8306/statm: 331921 273661 886 2943 0 328815 0 [pid=8306/tid=8307] ppid=8303 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8307/stat : 8307 (toysat) S 8303 8306 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110644530 1359548416 273661 33554432000 4194304 16246674 140733698020800 139932136877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8306/tid=8308] ppid=8303 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8308/stat : 8308 (toysat) S 8303 8306 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110644530 1359548416 273661 33554432000 4194304 16246674 140733698020800 139932126387440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8306/tid=8309] ppid=8303 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8309/stat : 8309 (toysat) S 8303 8306 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110644530 1359548416 273661 33554432000 4194304 16246674 140733698020800 139932047764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1327684 [startup+1722.3 s] /proc/loadavg: 2.14 2.20 2.18 3/184 8402 /proc/meminfo: memFree=28368336/32872528 swapFree=15644/1722384 [pid=8306] ppid=8303 vsize=1327684 CPUtime=1721.79 cores=1,3,5,7 /proc/8306/stat : 8306 (toysat) R 8303 8306 4315 0 -1 4202496 272970 0 0 0 172115 64 0 0 20 0 4 0 110644530 1359548416 273661 33554432000 4194304 16246674 140733698020800 140733698002688 5722960 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8306/statm: 331921 273661 886 2943 0 328815 0 [pid=8306/tid=8307] ppid=8303 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8307/stat : 8307 (toysat) S 8303 8306 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110644530 1359548416 273661 33554432000 4194304 16246674 140733698020800 139932136877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8306/tid=8308] ppid=8303 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8308/stat : 8308 (toysat) S 8303 8306 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110644530 1359548416 273661 33554432000 4194304 16246674 140733698020800 139932126387440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8306/tid=8309] ppid=8303 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8309/stat : 8309 (toysat) S 8303 8306 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110644530 1359548416 273661 33554432000 4194304 16246674 140733698020800 139932047764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1327684 [startup+1782.3 s] /proc/loadavg: 2.20 2.21 2.18 3/183 8403 /proc/meminfo: memFree=28367904/32872528 swapFree=15644/1722384 [pid=8306] ppid=8303 vsize=1327684 CPUtime=1781.77 cores=1,3,5,7 /proc/8306/stat : 8306 (toysat) R 8303 8306 4315 0 -1 4202496 272970 0 0 0 178112 65 0 0 20 0 4 0 110644530 1359548416 273661 33554432000 4194304 16246674 140733698020800 140733698002688 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8306/statm: 331921 273661 886 2943 0 328815 0 [pid=8306/tid=8307] ppid=8303 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8307/stat : 8307 (toysat) S 8303 8306 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110644530 1359548416 273661 33554432000 4194304 16246674 140733698020800 139932136877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8306/tid=8308] ppid=8303 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8308/stat : 8308 (toysat) S 8303 8306 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110644530 1359548416 273661 33554432000 4194304 16246674 140733698020800 139932126387440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8306/tid=8309] ppid=8303 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8309/stat : 8309 (toysat) S 8303 8306 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110644530 1359548416 273661 33554432000 4194304 16246674 140733698020800 139932047764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 1327684 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.15 2.20 2.18 3/183 8403 /proc/meminfo: memFree=28367692/32872528 swapFree=15644/1722384 [pid=8306] ppid=8303 vsize=1327684 CPUtime=1800.08 cores=1,3,5,7 /proc/8306/stat : 8306 (toysat) R 8303 8306 4315 0 -1 4202496 272970 0 0 0 179942 66 0 0 20 0 4 0 110644530 1359548416 273661 33554432000 4194304 16246674 140733698020800 140733698002688 5661432 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8306/statm: 331921 273661 886 2943 0 328815 0 [pid=8306/tid=8307] ppid=8303 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8307/stat : 8307 (toysat) S 8303 8306 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110644530 1359548416 273661 33554432000 4194304 16246674 140733698020800 139932136877296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8306/tid=8308] ppid=8303 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8308/stat : 8308 (toysat) S 8303 8306 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110644530 1359548416 273661 33554432000 4194304 16246674 140733698020800 139932126387440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8306/tid=8309] ppid=8303 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/8306/task/8309/stat : 8309 (toysat) S 8303 8306 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110644530 1359548416 273661 33554432000 4194304 16246674 140733698020800 139932047764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1327684 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 8306 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.09 CPU user time (s): 1799.43 CPU system time (s): 0.663899 CPU usage (%): 99.9711 Max. virtual memory (cumulated for all children) (KiB): 1327684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.43 system time used= 0.663899 maximum resident set size= 1094644 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 272970 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= 390 involuntary context switches= 1835 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.39433 second user time and 7.11292 second system time The end
Begin job on node120 at 2016-06-07 10:11:49 IDJOB=4078896 IDBENCH=90214 IDSOLVER=2542 FILE ID=node120/4078896-1465287109 RUNJOBID= node120-1465256721-4332 PBS_JOBID= 19843284 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K132.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078896-1465287109/watcher-4078896-1465287109 -o /tmp/evaluation-result-4078896-1465287109/solver-4078896-1465287109 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465256721-4332 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078896-1465287109.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 88bbbc51beb841161685a00fb4d24f63 RANDOM SEED=410706728 node120.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.425 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.85 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.425 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.425 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.425 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.425 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.425 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.425 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.425 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: 29144472 kB Buffers: 62432 kB Cached: 99084 kB SwapCached: 1080 kB Active: 1180312 kB Inactive: 73188 kB Active(anon): 1089568 kB Inactive(anon): 4300 kB Active(file): 90744 kB Inactive(file): 68888 kB Unevictable: 1722384 kB Mlocked: 15644 kB SwapTotal: 67108856 kB SwapFree: 67099668 kB Dirty: 17512 kB Writeback: 0 kB AnonPages: 2804648 kB Mapped: 11764 kB Shmem: 0 kB Slab: 612484 kB SReclaimable: 56700 kB SUnreclaim: 555784 kB KernelStack: 1528 kB PageTables: 9300 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2955288 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1708032 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= 71700 MiB End job on node120 at 2016-06-07 10:41:50