| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.04 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_7_60_2.opb |
| MD5SUM | 6c673f615af1912eadc68b4290958076 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| 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 | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 61 |
| Total number of constraints | 15 |
| Number of constraints which are clauses | 1 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 14 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 60 |
| Number of terms in the objective function | 1 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1 |
| Number of bits of the sum of numbers in the objective function | 1 |
| Biggest number in a constraint | 1648 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4944 |
| Number of bits of the biggest sum of numbers | 13 |
| 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-06T22:13:53+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-4079738-1465244033.opb"] 0.00/0.01 c use --random-gen="1383634178 2703895595 30676996 3904067066 1892204511 66169999 3700763981 3355552144 2814891873 2694379194 1978997633 3465773202 3296028994 3221770486 2773322484 3951242820 1105305217 1152255105 1137065188 105505224 1944848719 3925726820 3212987897 2727636530 1671584589 4227255538 3024790214 2948871643 3892881143 421248440 1833656194 3610126326 1482263229 1388973315 2291625092 3166694652 1821958147 2791699114 1769967373 4025060554 2678043640 629020100 2288365487 1185287592 3313079338 3140400946 4202086230 1975254474 2131662110 1407067022 1551445423 3142086410 3308924000 1075176555 4017508104 282986987 825604933 2855303292 3205095054 2305137321 3363490054 3542819082 670601506 1360652887 2952712826 2206810027 621208636 3567071561 1837359742 3752960826 4056329623 173685434 1784419807 251541657 3431486671 470712477 3469031333 3251246176 3792593835 198367522 1299717446 1462360836 1574674453 1489036234 1040427594 2033033470 743997364 970764438 4062593872 1031992819 2365804594 533060574 3268023350 2824513733 4079458038 176858058 2422269955 2282405933 160305858 1655381624 1401967119 4141219632 2332067340 1844941656 3609627246 868295556 2077352021 2617004880 3273843209 828438441 571169444 899779882 1874753019 1105425417 3043661551 3489224305 4128473526 1751409576 1344282515 2807517409 1771239459 81861532 3767928576 1265296081 1681034867 202671433 844967672 905408783 4133438552 3796999609 2663684086 2620227611 1555023268 1812079323 1516624116 823318294 2302548643 90842799 1090071821 1874440419 558043038 2498046162 1958379188 30192997 4225589923 4098201467 454964784 1488076185 559617412 641363707 1589032327 14755802 4140587070 1221138412 1637375945 725175112 2570325646 2342964967 2012803860 2922737914 3702199957 1209041270 1254252693 3069592278 1005505569 1539153919 4108078373 1534199908 1015841673 3708155273 2799963711 2952560799 113006031 976378398 147859669 3994867575 977642916 3614119135 52902813 2886463972 2918035509 898553617 3851441880 1462270689 3662111721 2354369558 763488583 1319310926 1882757036 794135649 3231827192 294172828 3116902441 2824570132 2440807194 1389099039 3438681177 3682508518 4197450003 2581658335 333461651 989543024 3788293183 1634588404 2556165886 1391628695 3516865804 2537703632 839774420 1303965139 4058185879 2813270236 1092742235 3670872218 4071738536 1522489123 3347212332 3957466728 1155532452 1734868061 2444125133 1406406500 1432302261 3986837517 3217449251 3497509342 2235717674 345306159 412414670 1893164692 1885658079 3003791044 1543581876 3040271368 2168610343 992140667 2910963326 289300918 3201664729 619283226 3106969387 574347996 3416934658 3237357585 2402742209 1878772464 3252569280 1789439677 2697414593 252325464 1596348921 824700699 2854339215 993866999 3466993135 4290887807 255 362436" option to reproduce the execution 0.00/0.01 c #vars 61 0.00/0.01 c #constraints 15 0.00/0.01 c BCD2: Hardening is enabled. 0.00/0.01 c BCD2: BiasedSearch is enabled. 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 25 0 | 1 | 0 0.00/0.04 c 0.0s | 1 | 135 | 100 | 25 1 | 1 | 0 0.00/0.07 c 0.1s | 2 | 316 | 250 | 28 6 | 1 | 0 0.08/0.13 c 0.1s | 3 | 568 | 475 | 31 13 | 1 | 0 0.19/0.21 c 0.2s | 4 | 945 | 813 | 35 23 | 1 | 0 0.29/0.34 c 0.3s | 5 | 1500 | 1320 | 39 36 | 1 | 0 0.49/0.52 c 0.5s | 6 | 2305 | 2081 | 48 57 | 1 | 0 0.69/0.79 c 0.8s | 7 | 3514 | 3223 | 53 86 | 1 | 0 1.09/1.18 c 1.2s | 8 | 5279 | 4936 | 59 126 | 1 | 0 1.58/1.68 c 1.7s | 9 | 7971 | 7506 | 65 184 | 1 | 0 2.19/2.21 c 2.2s | 10 | 11925 | 11361 | 72 269 | 1 | 0 2.98/3.01 c 3.0s | 11 | 17834 | 17144 | 80 384 | 1 | 0 4.19/4.22 c 4.2s | 12 | 26615 | 25819 | 88 545 | 1 | 0 5.99/6.09 c 6.1s | 13 | 39860 | 38832 | 97 767 | 1 | 0 7.99/8.09 c 8.1s | 13 | 54039 | 52632 | 97 993 | 1 | 0 8.79/8.89 c 8.9s | 14 | 59926 | 58352 | 107 1086 | 1 | 0 10.79/10.90 c 10.9s | 14 | 74536 | 72452 | 107 1299 | 1 | 0 12.89/12.90 c 12.9s | 14 | 89350 | 86852 | 107 1525 | 1 | 0 12.99/13.01 c 13.0s | 15 | 90141 | 87632 | 118 1537 | 1 | 0 14.99/15.01 c 15.0s | 15 | 105387 | 102532 | 118 1739 | 1 | 0 16.99/17.02 c 17.0s | 15 | 119947 | 116832 | 118 1939 | 1 | 0 18.99/19.02 c 19.0s | 15 | 134311 | 131032 | 130 2141 | 1 | 0 19.09/19.10 c 19.1s | 16 | 134834 | 131552 | 130 2148 | 1 | 0 21.09/21.11 c 21.1s | 16 | 149315 | 145752 | 130 2335 | 1 | 0 23.09/23.11 c 23.1s | 16 | 164347 | 160552 | 130 2523 | 1 | 0 25.09/25.12 c 25.1s | 16 | 178447 | 174452 | 130 2704 | 1 | 0 27.09/27.12 c 27.1s | 16 | 192982 | 188852 | 130 2895 | 1 | 0 28.19/28.26 c 28.2s | 17 | 201652 | 197432 | 143 3008 | 1 | 0 30.19/30.26 c 30.2s | 17 | 215614 | 211232 | 143 3172 | 1 | 0 32.19/32.27 c 32.3s | 17 | 230608 | 226032 | 143 3353 | 1 | 0 34.19/34.27 c 34.3s | 17 | 245569 | 240732 | 143 3533 | 1 | 0 36.18/36.27 c 36.3s | 17 | 260976 | 255932 | 143 3720 | 1 | 0 38.18/38.28 c 38.3s | 17 | 275944 | 270732 | 143 3903 | 1 | 0 40.19/40.29 c 40.3s | 17 | 290133 | 284732 | 143 4072 | 1 | 0 41.79/41.90 c 41.9s | 18 | 301859 | 296252 | 158 4212 | 1 | 0 43.89/43.90 c 43.9s | 18 | 316504 | 310652 | 158 4372 | 1 | 0 45.88/45.90 c 45.9s | 18 | 331400 | 325352 | 158 4536 | 1 | 0 47.88/47.91 c 47.9s | 18 | 346280 | 340052 | 158 4703 | 1 | 0 49.88/49.91 c 49.9s | 18 | 361464 | 355052 | 158 4872 | 1 | 0 51.89/51.92 c 51.9s | 18 | 376043 | 369352 | 158 5031 | 1 | 0 53.88/53.92 c 53.9s | 18 | 390249 | 383352 | 158 5187 | 1 | 0 55.88/55.92 c 55.9s | 18 | 404952 | 397852 | 158 5350 | 1 | 0 57.88/57.93 c 57.9s | 18 | 419426 | 412152 | 158 5513 | 1 | 0 59.88/59.93 c 59.9s | 18 | 434513 | 427052 | 158 5682 | 1 | 0 61.88/61.93 c 61.9s | 18 | 448837 | 441152 | 158 5839 | 1 | 0 62.38/62.40 c 62.4s | 19 | 452200 | 444482 | 174 5874 | 1 | 0 64.38/64.41 c 64.4s | 19 | 467220 | 459282 | 174 6029 | 1 | 0 66.38/66.41 c 66.4s | 19 | 481974 | 473882 | 174 6182 | 1 | 0 68.38/68.41 c 68.4s | 19 | 496096 | 487882 | 174 6323 | 1 | 0 70.38/70.42 c 70.4s | 19 | 510150 | 501782 | 174 6465 | 1 | 0 72.38/72.43 c 72.4s | 19 | 524582 | 516082 | 174 6613 | 1 | 0 74.38/74.44 c 74.4s | 19 | 539258 | 530582 | 174 6765 | 1 | 0 76.38/76.45 c 76.4s | 19 | 553076 | 544182 | 174 6904 | 1 | 0 78.37/78.46 c 78.4s | 19 | 567157 | 558082 | 174 7047 | 1 | 0 80.38/80.47 c 80.5s | 19 | 581383 | 572182 | 174 7194 | 1 | 0 82.37/82.49 c 82.5s | 19 | 595636 | 586282 | 174 7342 | 1 | 0 84.47/84.50 c 84.5s | 19 | 610767 | 601182 | 174 7499 | 1 | 0 86.47/86.50 c 86.5s | 19 | 625013 | 615182 | 174 7639 | 1 | 0 88.47/88.50 c 88.5s | 19 | 639393 | 629382 | 174 7785 | 1 | 0 90.47/90.51 c 90.5s | 19 | 653674 | 643482 | 174 7934 | 1 | 0 92.48/92.52 c 92.5s | 19 | 668167 | 657782 | 174 8082 | 1 | 0 93.68/93.73 c 93.7s | 20 | 677315 | 666827 | 192 8172 | 1 | 0 95.67/95.74 c 95.7s | 20 | 692300 | 681527 | 192 8307 | 1 | 0 97.67/97.76 c 97.7s | 20 | 707329 | 696227 | 192 8443 | 1 | 0 99.67/99.76 c 99.7s | 20 | 721749 | 710427 | 192 8576 | 1 | 0 101.67/101.77 c 101s | 20 | 736596 | 725027 | 192 8715 | 1 | 0 103.67/103.78 c 103s | 20 | 752212 | 740427 | 192 8864 | 1 | 0 105.68/105.78 c 105s | 20 | 766755 | 754727 | 192 9000 | 1 | 0 107.67/107.78 c 107s | 20 | 781242 | 769027 | 192 9133 | 1 | 0 109.67/109.79 c 109s | 20 | 795877 | 783527 | 192 9270 | 1 | 0 111.77/111.80 c 111s | 20 | 810462 | 797927 | 192 9407 | 1 | 0 113.77/113.80 c 113s | 20 | 825695 | 813027 | 192 9552 | 1 | 0 115.77/115.80 c 115s | 20 | 840832 | 827927 | 192 9692 | 1 | 0 117.78/117.82 c 117s | 20 | 855441 | 842327 | 192 9827 | 1 | 0 119.77/119.82 c 119s | 20 | 870610 | 857327 | 192 9969 | 1 | 0 121.78/121.82 c 121s | 20 | 884993 | 871527 | 192 10103 | 1 | 0 123.78/123.83 c 123s | 20 | 899678 | 886027 | 192 10243 | 1 | 0 125.77/125.84 c 125s | 20 | 914453 | 900627 | 192 10384 | 1 | 0 127.78/127.84 c 127s | 20 | 929326 | 915327 | 192 10526 | 1 | 0 129.77/129.85 c 129s | 20 | 944317 | 930127 | 192 10668 | 1 | 0 131.77/131.87 c 131s | 20 | 958791 | 944427 | 192 10805 | 1 | 0 133.77/133.88 c 133s | 20 | 973934 | 959327 | 192 10948 | 1 | 0 135.77/135.89 c 135s | 20 | 989067 | 974227 | 192 11094 | 1 | 0 137.77/137.89 c 137s | 20 | 1004441 | 989427 | 192 11243 | 1 | 0 139.37/139.42 c 139s | 21 | 1015564 | 1000345 | 212 11342 | 1 | 0 141.37/141.43 c 141s | 21 | 1029826 | 1014245 | 212 11460 | 1 | 0 143.36/143.45 c 143s | 21 | 1043984 | 1028045 | 212 11578 | 1 | 0 145.37/145.45 c 145s | 21 | 1058242 | 1041945 | 212 11698 | 1 | 0 147.36/147.46 c 147s | 21 | 1072448 | 1055945 | 212 11818 | 1 | 0 149.36/149.46 c 149s | 21 | 1087695 | 1070845 | 212 11948 | 1 | 0 151.36/151.47 c 151s | 21 | 1102166 | 1085045 | 212 12071 | 1 | 0 153.36/153.47 c 153s | 21 | 1116515 | 1099045 | 212 12190 | 1 | 0 155.36/155.48 c 155s | 21 | 1130576 | 1112945 | 212 12308 | 1 | 0 157.37/157.48 c 157s | 21 | 1145265 | 1127445 | 212 12434 | 1 | 0 159.36/159.48 c 159s | 21 | 1159953 | 1141945 | 212 12560 | 1 | 0 161.46/161.50 c 161s | 21 | 1174509 | 1156345 | 212 12687 | 1 | 0 163.46/163.50 c 163s | 21 | 1188496 | 1169945 | 212 12803 | 1 | 0 165.46/165.51 c 165s | 21 | 1202596 | 1183745 | 212 12922 | 1 | 0 167.46/167.52 c 167s | 21 | 1216924 | 1197745 | 212 13043 | 1 | 0 169.47/169.53 c 169s | 21 | 1230984 | 1211545 | 212 13163 | 1 | 0 171.46/171.54 c 171s | 21 | 1245853 | 1226145 | 212 13290 | 1 | 0 173.46/173.54 c 173s | 21 | 1260823 | 1240845 | 212 13419 | 1 | 0 175.46/175.55 c 175s | 21 | 1275198 | 1254945 | 212 13542 | 1 | 0 177.46/177.57 c 177s | 21 | 1289439 | 1268945 | 212 13664 | 1 | 0 179.46/179.58 c 179s | 21 | 1304334 | 1283545 | 212 13792 | 1 | 0 181.46/181.58 c 181s | 21 | 1319435 | 1298345 | 212 13924 | 1 | 0 183.46/183.59 c 183s | 21 | 1334393 | 1313045 | 212 14052 | 1 | 0 185.56/185.60 c 185s | 21 | 1349378 | 1327845 | 212 14180 | 1 | 0 187.56/187.61 c 187s | 21 | 1364245 | 1342445 | 212 14307 | 1 | 0 189.56/189.62 c 189s | 21 | 1378771 | 1356745 | 212 14434 | 1 | 0 191.56/191.62 c 191s | 21 | 1393517 | 1371245 | 212 14562 | 1 | 0 193.56/193.63 c 193s | 21 | 1408545 | 1385945 | 212 14693 | 1 | 0 195.56/195.64 c 195s | 21 | 1423348 | 1400445 | 212 14823 | 1 | 0 197.56/197.65 c 197s | 21 | 1438448 | 1415145 | 212 14955 | 1 | 0 199.56/199.66 c 199s | 21 | 1453378 | 1429745 | 212 15086 | 1 | 0 201.56/201.67 c 201s | 21 | 1468263 | 1444345 | 212 15218 | 1 | 0 203.56/203.67 c 203s | 21 | 1482616 | 1458445 | 212 15344 | 1 | 0 205.55/205.68 c 205s | 21 | 1496733 | 1472345 | 212 15461 | 1 | 0 207.55/207.69 c 207s | 21 | 1510864 | 1486245 | 212 15579 | 1 | 0 209.56/209.69 c 209s | 21 | 1524638 | 1499645 | 234 15685 | 1 | 0 209.76/209.83 c 209s | 22 | 1525645 | 1500622 | 234 15693 | 1 | 0 211.76/211.84 c 211s | 22 | 1539241 | 1513722 | 234 15795 | 1 | 0 213.76/213.85 c 213s | 22 | 1553949 | 1528022 | 234 15906 | 1 | 0 215.76/215.86 c 215s | 22 | 1568508 | 1542222 | 234 16016 | 1 | 0 217.76/217.86 c 217s | 22 | 1582481 | 1555822 | 234 16122 | 1 | 0 219.76/219.87 c 219s | 22 | 1596699 | 1569622 | 234 16231 | 1 | 0 221.75/221.88 c 221s | 22 | 1611223 | 1583622 | 234 16340 | 1 | 0 223.75/223.89 c 223s | 22 | 1625144 | 1597222 | 234 16446 | 1 | 0 225.75/225.89 c 225s | 22 | 1639098 | 1610822 | 234 16552 | 1 | 0 227.76/227.90 c 227s | 22 | 1653189 | 1624622 | 234 16660 | 1 | 0 229.85/229.90 c 229s | 22 | 1667405 | 1638622 | 234 16771 | 1 | 0 231.85/231.92 c 231s | 22 | 1681650 | 1652622 | 234 16883 | 1 | 0 233.86/233.92 c 233s | 22 | 1695695 | 1666322 | 234 16993 | 1 | 0 235.85/235.93 c 235s | 22 | 1709464 | 1679822 | 234 17098 | 1 | 0 237.86/237.94 c 237s | 22 | 1723443 | 1693422 | 234 17205 | 1 | 0 239.86/239.95 c 239s | 22 | 1737619 | 1707322 | 234 17313 | 1 | 0 241.86/241.96 c 241s | 22 | 1751292 | 1720822 | 234 17419 | 1 | 0 243.86/243.97 c 243s | 22 | 1765490 | 1734822 | 234 17529 | 1 | 0 245.85/245.97 c 245s | 22 | 1779419 | 1748522 | 234 17638 | 1 | 0 247.86/247.98 c 247s | 22 | 1793748 | 1762722 | 234 17751 | 1 | 0 249.86/250.00 c 249s | 22 | 1808024 | 1776822 | 234 17864 | 1 | 0 251.85/252.00 c 251s | 22 | 1822449 | 1791022 | 234 17979 | 1 | 0 253.95/254.00 c 253s | 22 | 1837094 | 1805422 | 234 18096 | 1 | 0 255.95/256.01 c 255s | 22 | 1851890 | 1820022 | 234 18216 | 1 | 0 257.95/258.01 c 257s | 22 | 1865804 | 1833822 | 234 18324 | 1 | 0 259.95/260.02 c 260s | 22 | 1879466 | 1847222 | 234 18430 | 1 | 0 261.96/262.02 c 262s | 22 | 1893409 | 1861022 | 234 18539 | 1 | 0 263.94/264.03 c 264s | 22 | 1907470 | 1874822 | 234 18650 | 1 | 0 265.95/266.03 c 266s | 22 | 1921585 | 1888622 | 234 18759 | 1 | 0 267.95/268.04 c 268s | 22 | 1935572 | 1902322 | 234 18868 | 1 | 0 269.95/270.04 c 270s | 22 | 1950149 | 1916622 | 234 18983 | 1 | 0 271.95/272.04 c 272s | 22 | 1963933 | 1930122 | 234 19090 | 1 | 0 273.95/274.05 c 274s | 22 | 1977829 | 1943822 | 234 19199 | 1 | 0 275.95/276.06 c 276s | 22 | 1992337 | 1958122 | 234 19315 | 1 | 0 277.95/278.07 c 278s | 22 | 2006544 | 1972122 | 234 19425 | 1 | 0 279.95/280.07 c 280s | 22 | 2020957 | 1986322 | 234 19539 | 1 | 0 281.95/282.08 c 282s | 22 | 2034955 | 2000122 | 234 19649 | 1 | 0 283.95/284.09 c 284s | 22 | 2049119 | 2014122 | 234 19762 | 1 | 0 285.95/286.10 c 286s | 22 | 2063520 | 2028322 | 234 19878 | 1 | 0 288.05/288.10 c 288s | 22 | 2077546 | 2042122 | 234 19990 | 1 | 0 290.05/290.11 c 290s | 22 | 2091732 | 2056122 | 234 20104 | 1 | 0 292.05/292.11 c 292s | 22 | 2106378 | 2070522 | 234 20219 | 1 | 0 294.05/294.12 c 294s | 22 | 2120692 | 2084622 | 234 20332 | 1 | 0 296.05/296.12 c 296s | 22 | 2135241 | 2098922 | 234 20448 | 1 | 0 298.05/298.13 c 298s | 22 | 2149709 | 2113122 | 234 20563 | 1 | 0 300.05/300.14 c 300s | 22 | 2164280 | 2127422 | 234 20679 | 1 | 0 302.05/302.15 c 302s | 22 | 2178813 | 2141722 | 234 20795 | 1 | 0 304.05/304.15 c 304s | 22 | 2192419 | 2154922 | 234 20898 | 1 | 0 306.05/306.16 c 306s | 22 | 2205354 | 2167622 | 234 20997 | 1 | 0 308.05/308.17 c 308s | 22 | 2219002 | 2180922 | 234 21103 | 1 | 0 310.04/310.18 c 310s | 22 | 2233099 | 2194722 | 234 21208 | 1 | 0 312.04/312.19 c 312s | 22 | 2246546 | 2207922 | 234 21311 | 1 | 0 314.14/314.20 c 314s | 22 | 2259901 | 2220922 | 234 21411 | 1 | 0 316.14/316.20 c 316s | 22 | 2273445 | 2234122 | 234 21513 | 1 | 0 318.14/318.21 c 318s | 22 | 2286371 | 2246722 | 258 21604 | 1 | 0 318.74/318.87 c 318s | 23 | 2290770 | 2251038 | 258 21635 | 1 | 0 320.74/320.88 c 320s | 23 | 2303875 | 2263738 | 258 21725 | 1 | 0 322.74/322.88 c 322s | 23 | 2317162 | 2276638 | 258 21816 | 1 | 0 324.74/324.89 c 324s | 23 | 2330514 | 2289738 | 258 21909 | 1 | 0 326.74/326.89 c 326s | 23 | 2344224 | 2303238 | 258 22007 | 1 | 0 328.84/328.90 c 328s | 23 | 2357179 | 2315938 | 258 22099 | 1 | 0 330.84/330.90 c 330s | 23 | 2370000 | 2328438 | 258 22188 | 1 | 0 332.84/332.90 c 332s | 23 | 2383266 | 2341238 | 258 22279 | 1 | 0 334.84/334.91 c 334s | 23 | 2397356 | 2354938 | 258 22378 | 1 | 0 336.83/336.91 c 336s | 23 | 2410603 | 2367838 | 258 22470 | 1 | 0 338.84/338.92 c 338s | 23 | 2424153 | 2381038 | 258 22565 | 1 | 0 340.83/340.94 c 340s | 23 | 2437761 | 2394338 | 258 22661 | 1 | 0 342.83/342.94 c 342s | 23 | 2451509 | 2407838 | 258 22760 | 1 | 0 344.83/344.95 c 344s | 23 | 2465299 | 2421338 | 258 22857 | 1 | 0 346.83/346.95 c 346s | 23 | 2479198 | 2434838 | 258 22954 | 1 | 0 348.85/348.96 c 348s | 23 | 2493344 | 2448638 | 258 23055 | 1 | 0 350.83/350.97 c 350s | 23 | 2507221 | 2462238 | 258 23152 | 1 | 0 352.83/352.97 c 352s | 23 | 2520777 | 2475438 | 258 23247 | 1 | 0 354.83/354.98 c 354s | 23 | 2534357 | 2488738 | 258 23343 | 1 | 0 356.83/356.98 c 356s | 23 | 2548180 | 2502238 | 258 23441 | 1 | 0 358.83/358.98 c 358s | 23 | 2561223 | 2515038 | 258 23533 | 1 | 0 360.84/361.00 c 360s | 23 | 2574945 | 2528438 | 258 23631 | 1 | 0 362.93/363.01 c 362s | 23 | 2588991 | 2542238 | 258 23732 | 1 | 0 364.93/365.01 c 364s | 23 | 2603238 | 2556238 | 258 23836 | 1 | 0 366.93/367.03 c 367s | 23 | 2616987 | 2569738 | 258 23936 | 1 | 0 368.93/369.03 c 369s | 23 | 2630913 | 2583138 | 258 24034 | 1 | 0 370.93/371.03 c 371s | 23 | 2644833 | 2596538 | 258 24130 | 1 | 0 372.94/373.04 c 373s | 23 | 2658442 | 2609738 | 258 24224 | 1 | 0 374.93/375.04 c 375s | 23 | 2672189 | 2623138 | 258 24322 | 1 | 0 376.93/377.06 c 377s | 23 | 2685720 | 2636138 | 258 24415 | 1 | 0 378.93/379.06 c 379s | 23 | 2699352 | 2649438 | 258 24511 | 1 | 0 380.93/381.08 c 381s | 23 | 2713407 | 2663038 | 258 24609 | 1 | 0 382.93/383.08 c 383s | 23 | 2728010 | 2677138 | 258 24711 | 1 | 0 384.93/385.08 c 385s | 23 | 2742596 | 2691038 | 258 24813 | 1 | 0 386.93/387.09 c 387s | 23 | 2757007 | 2704938 | 258 24914 | 1 | 0 389.03/389.10 c 389s | 23 | 2771913 | 2719438 | 258 25020 | 1 | 0 391.03/391.10 c 391s | 23 | 2786690 | 2733738 | 258 25121 | 1 | 0 393.03/393.11 c 393s | 23 | 2801325 | 2747938 | 258 25222 | 1 | 0 395.03/395.13 c 395s | 23 | 2815742 | 2761738 | 258 25321 | 1 | 0 397.03/397.14 c 397s | 23 | 2830762 | 2776338 | 258 25427 | 1 | 0 399.03/399.15 c 399s | 23 | 2845678 | 2790838 | 258 25533 | 1 | 0 401.03/401.16 c 401s | 23 | 2860391 | 2805038 | 258 25635 | 1 | 0 403.03/403.16 c 403s | 23 | 2875290 | 2819538 | 258 25741 | 1 | 0 405.03/405.17 c 405s | 23 | 2889961 | 2833738 | 258 25845 | 1 | 0 407.03/407.17 c 407s | 23 | 2905029 | 2848438 | 258 25952 | 1 | 0 409.02/409.18 c 409s | 23 | 2919643 | 2862738 | 258 26057 | 1 | 0 411.02/411.18 c 411s | 23 | 2934267 | 2877038 | 258 26161 | 1 | 0 413.02/413.18 c 413s | 23 | 2948389 | 2890738 | 258 26261 | 1 | 0 415.12/415.20 c 415s | 23 | 2961901 | 2903938 | 258 26356 | 1 | 0 417.12/417.20 c 417s | 23 | 2975732 | 2917438 | 258 26454 | 1 | 0 419.13/419.21 c 419s | 23 | 2989709 | 2931138 | 258 26554 | 1 | 0 421.12/421.21 c 421s | 23 | 3004010 | 2945038 | 258 26656 | 1 | 0 423.12/423.22 c 423s | 23 | 3017722 | 2958338 | 258 26753 | 1 | 0 425.12/425.23 c 425s | 23 | 3031596 | 2971838 | 258 26852 | 1 | 0 427.12/427.23 c 427s | 23 | 3045301 | 2985238 | 258 26949 | 1 | 0 429.13/429.25 c 429s | 23 | 3058915 | 2998338 | 258 27043 | 1 | 0 431.13/431.25 c 431s | 23 | 3072187 | 3011238 | 258 27134 | 1 | 0 433.12/433.25 c 433s | 23 | 3085960 | 3024638 | 258 27231 | 1 | 0 435.13/435.26 c 435s | 23 | 3099846 | 3038238 | 258 27329 | 1 | 0 437.12/437.27 c 437s | 23 | 3115147 | 3053238 | 258 27438 | 1 | 0 439.12/439.27 c 439s | 23 | 3130358 | 3067938 | 258 27541 | 1 | 0 441.13/441.27 c 441s | 23 | 3145449 | 3082538 | 258 27645 | 1 | 0 443.12/443.28 c 443s | 23 | 3160186 | 3096838 | 258 27747 | 1 | 0 445.12/445.29 c 445s | 23 | 3174632 | 3111038 | 258 27850 | 1 | 0 447.22/447.30 c 447s | 23 | 3188916 | 3124938 | 258 27949 | 1 | 0 449.22/449.31 c 449s | 23 | 3203017 | 3138538 | 258 28047 | 1 | 0 451.22/451.33 c 451s | 23 | 3216835 | 3152038 | 258 28144 | 1 | 0 453.23/453.33 c 453s | 23 | 3230577 | 3165438 | 258 28242 | 1 | 0 455.22/455.35 c 455s | 23 | 3244303 | 3178738 | 258 28339 | 1 | 0 457.22/457.36 c 457s | 23 | 3258495 | 3192538 | 258 28438 | 1 | 0 459.22/459.37 c 459s | 23 | 3272074 | 3205838 | 258 28532 | 1 | 0 461.22/461.37 c 461s | 23 | 3285624 | 3219138 | 258 28628 | 1 | 0 463.23/463.38 c 463s | 23 | 3299724 | 3232938 | 258 28728 | 1 | 0 465.22/465.38 c 465s | 23 | 3313866 | 3246838 | 258 28828 | 1 | 0 467.22/467.38 c 467s | 23 | 3328054 | 3260838 | 258 28930 | 1 | 0 469.32/469.40 c 469s | 23 | 3341861 | 3274438 | 258 29029 | 1 | 0 471.32/471.40 c 471s | 23 | 3356023 | 3288338 | 258 29131 | 1 | 0 473.32/473.41 c 473s | 23 | 3369560 | 3301538 | 258 29226 | 1 | 0 475.33/475.41 c 475s | 23 | 3382752 | 3314438 | 258 29319 | 1 | 0 477.32/477.42 c 477s | 23 | 3396622 | 3328138 | 258 29418 | 1 | 0 479.32/479.42 c 479s | 23 | 3410425 | 3341838 | 258 29517 | 1 | 0 481.31/481.43 c 481s | 23 | 3424190 | 3355338 | 284 29612 | 1 | 0 483.31/483.44 c 483s | 23 | 3438024 | 3368838 | 284 29701 | 1 | 0 484.51/484.61 c 484s | 24 | 3446049 | 3376662 | 284 29753 | 1 | 0 486.51/486.62 c 486s | 24 | 3459348 | 3389362 | 284 29836 | 1 | 0 488.52/488.63 c 488s | 24 | 3472373 | 3401962 | 284 29918 | 1 | 0 490.51/490.64 c 490s | 24 | 3485749 | 3414862 | 284 30003 | 1 | 0 492.51/492.64 c 492s | 24 | 3499654 | 3428262 | 284 30091 | 1 | 0 494.51/494.66 c 494s | 24 | 3513605 | 3441662 | 284 30180 | 1 | 0 496.51/496.66 c 496s | 24 | 3527398 | 3455062 | 284 30268 | 1 | 0 498.51/498.66 c 498s | 24 | 3541009 | 3468362 | 284 30357 | 1 | 0 500.52/500.68 c 500s | 24 | 3554757 | 3481762 | 284 30446 | 1 | 0 502.51/502.69 c 502s | 24 | 3568831 | 3495662 | 284 30539 | 1 | 0 504.61/504.70 c 504s | 24 | 3582631 | 3509162 | 284 30629 | 1 | 0 506.61/506.72 c 506s | 24 | 3596809 | 3522762 | 284 30717 | 1 | 0 508.61/508.72 c 508s | 24 | 3610326 | 3535762 | 284 30802 | 1 | 0 510.61/510.74 c 510s | 24 | 3623762 | 3548862 | 284 30888 | 1 | 0 512.62/512.75 c 512s | 24 | 3637454 | 3562162 | 284 30975 | 1 | 0 514.61/514.76 c 514s | 24 | 3651494 | 3575862 | 284 31066 | 1 | 0 516.61/516.77 c 516s | 24 | 3665503 | 3589562 | 284 31158 | 1 | 0 518.61/518.78 c 518s | 24 | 3679469 | 3603062 | 284 31248 | 1 | 0 520.61/520.78 c 520s | 24 | 3692644 | 3615762 | 284 31330 | 1 | 0 522.62/522.79 c 522s | 24 | 3706664 | 3629162 | 284 31419 | 1 | 0 524.61/524.79 c 524s | 24 | 3720758 | 3642762 | 284 31509 | 1 | 0 526.71/526.80 c 526s | 24 | 3735031 | 3656762 | 284 31604 | 1 | 0 528.71/528.81 c 528s | 24 | 3748539 | 3669862 | 284 31690 | 1 | 0 530.71/530.82 c 530s | 24 | 3762372 | 3683362 | 284 31779 | 1 | 0 532.71/532.84 c 532s | 24 | 3775642 | 3696362 | 284 31865 | 1 | 0 534.71/534.84 c 534s | 24 | 3789359 | 3709762 | 284 31955 | 1 | 0 536.71/536.84 c 536s | 24 | 3803534 | 3723662 | 284 32048 | 1 | 0 538.71/538.86 c 538s | 24 | 3816753 | 3736462 | 284 32133 | 1 | 0 540.71/540.86 c 540s | 24 | 3830049 | 3749262 | 284 32218 | 1 | 0 542.71/542.86 c 542s | 24 | 3843719 | 3762462 | 284 32305 | 1 | 0 544.71/544.87 c 544s | 24 | 3857335 | 3775662 | 284 32393 | 1 | 0 546.71/546.88 c 546s | 24 | 3870631 | 3788662 | 284 32479 | 1 | 0 548.70/548.88 c 548s | 24 | 3884602 | 3802362 | 284 32572 | 1 | 0 550.70/550.89 c 550s | 24 | 3898407 | 3815762 | 284 32662 | 1 | 0 552.70/552.89 c 552s | 24 | 3913183 | 3830062 | 284 32757 | 1 | 0 554.80/554.91 c 554s | 24 | 3927733 | 3844262 | 284 32853 | 1 | 0 556.80/556.92 c 556s | 24 | 3941630 | 3857762 | 284 32944 | 1 | 0 558.81/558.93 c 558s | 24 | 3954388 | 3870162 | 284 33025 | 1 | 0 560.80/560.95 c 560s | 24 | 3967561 | 3882862 | 284 33107 | 1 | 0 562.80/562.95 c 562s | 24 | 3981069 | 3895862 | 284 33193 | 1 | 0 564.80/564.95 c 564s | 24 | 3994499 | 3908962 | 284 33279 | 1 | 0 566.81/566.96 c 566s | 24 | 4008638 | 3922562 | 284 33369 | 1 | 0 568.81/568.98 c 568s | 24 | 4022334 | 3935962 | 284 33457 | 1 | 0 570.80/570.98 c 570s | 24 | 4036043 | 3949362 | 284 33546 | 1 | 0 572.90/573.00 c 572s | 24 | 4049665 | 3962562 | 284 33634 | 1 | 0 574.90/575.01 c 574s | 24 | 4062975 | 3975562 | 284 33720 | 1 | 0 576.90/577.02 c 577s | 24 | 4076596 | 3988862 | 284 33808 | 1 | 0 578.90/579.03 c 579s | 24 | 4090539 | 4002562 | 284 33900 | 1 | 0 580.90/581.03 c 581s | 24 | 4103895 | 4015462 | 284 33984 | 1 | 0 582.90/583.04 c 583s | 24 | 4117241 | 4028462 | 284 34070 | 1 | 0 584.90/585.05 c 585s | 24 | 4130967 | 4041962 | 284 34159 | 1 | 0 586.90/587.07 c 587s | 24 | 4144881 | 4055562 | 284 34251 | 1 | 0 588.90/589.07 c 589s | 24 | 4158259 | 4068662 | 284 34337 | 1 | 0 590.90/591.07 c 591s | 24 | 4172187 | 4082262 | 284 34427 | 1 | 0 592.90/593.07 c 593s | 24 | 4185619 | 4095362 | 284 34513 | 1 | 0 594.90/595.08 c 595s | 24 | 4199528 | 4108862 | 284 34602 | 1 | 0 596.90/597.09 c 597s | 24 | 4213729 | 4122762 | 284 34695 | 1 | 0 599.00/599.10 c 599s | 24 | 4227955 | 4136762 | 284 34789 | 1 | 0 601.00/601.11 c 601s | 24 | 4241186 | 4149662 | 284 34874 | 1 | 0 603.00/603.12 c 603s | 24 | 4254667 | 4162862 | 284 34961 | 1 | 0 605.00/605.13 c 605s | 24 | 4267934 | 4175862 | 284 35047 | 1 | 0 607.00/607.14 c 607s | 24 | 4281444 | 4189062 | 284 35134 | 1 | 0 609.00/609.15 c 609s | 24 | 4294865 | 4202162 | 284 35221 | 1 | 0 611.00/611.15 c 611s | 24 | 4309072 | 4215962 | 284 35313 | 1 | 0 613.00/613.16 c 613s | 24 | 4322561 | 4229162 | 284 35401 | 1 | 0 615.00/615.16 c 615s | 24 | 4336712 | 4243162 | 284 35494 | 1 | 0 617.00/617.17 c 617s | 24 | 4350516 | 4256762 | 284 35585 | 1 | 0 619.00/619.17 c 619s | 24 | 4364232 | 4270262 | 284 35676 | 1 | 0 621.00/621.18 c 621s | 24 | 4377037 | 4282762 | 284 35759 | 1 | 0 623.10/623.20 c 623s | 24 | 4390798 | 4296162 | 284 35846 | 1 | 0 625.10/625.21 c 625s | 24 | 4404393 | 4309462 | 284 35931 | 1 | 0 627.10/627.23 c 627s | 24 | 4417768 | 4322462 | 284 36015 | 1 | 0 629.10/629.24 c 629s | 24 | 4430648 | 4335062 | 284 36098 | 1 | 0 631.09/631.24 c 631s | 24 | 4443460 | 4347562 | 284 36180 | 1 | 0 633.09/633.25 c 633s | 24 | 4456465 | 4360262 | 284 36264 | 1 | 0 635.10/635.26 c 635s | 24 | 4469188 | 4372662 | 284 36345 | 1 | 0 637.09/637.26 c 637s | 24 | 4481874 | 4385062 | 284 36427 | 1 | 0 639.09/639.27 c 639s | 24 | 4495331 | 4398162 | 284 36514 | 1 | 0 641.09/641.28 c 641s | 24 | 4508853 | 4411262 | 284 36601 | 1 | 0 643.09/643.28 c 643s | 24 | 4521927 | 4424062 | 284 36686 | 1 | 0 645.09/645.29 c 645s | 24 | 4535110 | 4437062 | 284 36773 | 1 | 0 647.19/647.31 c 647s | 24 | 4549009 | 4450762 | 284 36865 | 1 | 0 649.19/649.32 c 649s | 24 | 4562232 | 4463762 | 284 36952 | 1 | 0 651.19/651.32 c 651s | 24 | 4575765 | 4477062 | 284 37041 | 1 | 0 653.19/653.33 c 653s | 24 | 4589342 | 4490462 | 284 37132 | 1 | 0 655.19/655.33 c 655s | 24 | 4602762 | 4503662 | 284 37220 | 1 | 0 657.19/657.34 c 657s | 24 | 4616080 | 4516762 | 284 37308 | 1 | 0 659.19/659.35 c 659s | 24 | 4629863 | 4530362 | 284 37401 | 1 | 0 661.19/661.36 c 661s | 24 | 4643646 | 4543862 | 284 37493 | 1 | 0 663.19/663.37 c 663s | 24 | 4657548 | 4557562 | 284 37587 | 1 | 0 665.19/665.37 c 665s | 24 | 4671707 | 4571562 | 284 37682 | 1 | 0 667.19/667.37 c 667s | 24 | 4685232 | 4584862 | 284 37768 | 1 | 0 669.19/669.38 c 669s | 24 | 4698608 | 4597962 | 284 37854 | 1 | 0 671.19/671.38 c 671s | 24 | 4712308 | 4611362 | 284 37942 | 1 | 0 673.19/673.40 c 673s | 24 | 4725554 | 4624362 | 284 38028 | 1 | 0 675.29/675.41 c 675s | 24 | 4738792 | 4637362 | 284 38113 | 1 | 0 677.29/677.42 c 677s | 24 | 4752166 | 4650562 | 284 38201 | 1 | 0 679.29/679.43 c 679s | 24 | 4765952 | 4664162 | 284 38290 | 1 | 0 681.29/681.44 c 681s | 24 | 4779351 | 4677362 | 284 38378 | 1 | 0 683.29/683.44 c 683s | 24 | 4793145 | 4690862 | 284 38469 | 1 | 0 685.29/685.45 c 685s | 24 | 4807706 | 4705262 | 284 38564 | 1 | 0 687.29/687.45 c 687s | 24 | 4822264 | 4719662 | 284 38660 | 1 | 0 689.29/689.47 c 689s | 24 | 4835689 | 4732862 | 284 38748 | 1 | 0 691.29/691.48 c 691s | 24 | 4849305 | 4746262 | 284 38838 | 1 | 0 693.28/693.49 c 693s | 24 | 4862728 | 4759462 | 284 38927 | 1 | 0 695.38/695.51 c 695s | 24 | 4876810 | 4773262 | 284 39019 | 1 | 0 697.39/697.51 c 697s | 24 | 4890415 | 4786662 | 284 39109 | 1 | 0 699.38/699.52 c 699s | 24 | 4903350 | 4799362 | 284 39193 | 1 | 0 701.38/701.53 c 701s | 24 | 4916503 | 4812262 | 284 39278 | 1 | 0 703.38/703.54 c 703s | 24 | 4930505 | 4826062 | 284 39370 | 1 | 0 705.38/705.54 c 705s | 24 | 4943776 | 4839162 | 284 39458 | 1 | 0 707.39/707.55 c 707s | 24 | 4956605 | 4851762 | 284 39541 | 1 | 0 709.38/709.56 c 709s | 24 | 4969804 | 4864762 | 284 39628 | 1 | 0 711.38/711.57 c 711s | 24 | 4983294 | 4878062 | 284 39717 | 1 | 0 713.38/713.57 c 713s | 24 | 4997268 | 4891662 | 284 39807 | 1 | 0 715.38/715.58 c 715s | 24 | 5011376 | 4905462 | 284 39900 | 1 | 0 717.38/717.58 c 717s | 24 | 5025496 | 4919262 | 284 39993 | 1 | 0 719.39/719.59 c 719s | 24 | 5039376 | 4932962 | 284 40084 | 1 | 0 721.48/721.60 c 721s | 24 | 5052890 | 4946262 | 284 40173 | 1 | 0 723.48/723.61 c 723s | 24 | 5066550 | 4959662 | 284 40264 | 1 | 0 725.48/725.62 c 725s | 24 | 5080331 | 4973262 | 284 40356 | 1 | 0 727.48/727.62 c 727s | 24 | 5094291 | 4986962 | 284 40448 | 1 | 0 729.48/729.62 c 729s | 24 | 5108946 | 5001362 | 284 40546 | 1 | 0 731.49/731.63 c 731s | 24 | 5122901 | 5015062 | 284 40639 | 1 | 0 733.48/733.63 c 733s | 24 | 5136531 | 5028462 | 284 40730 | 1 | 0 735.48/735.64 c 735s | 24 | 5150363 | 5042062 | 313 40814 | 1 | 0 737.48/737.66 c 737s | 24 | 5164696 | 5056162 | 313 40902 | 1 | 0 738.78/738.96 c 738s | 25 | 5173746 | 5065098 | 313 40958 | 1 | 0 740.78/740.96 c 740s | 25 | 5188608 | 5079598 | 313 41041 | 1 | 0 742.78/742.97 c 742s | 25 | 5202850 | 5093598 | 313 41121 | 1 | 0 744.78/744.98 c 744s | 25 | 5217226 | 5107698 | 313 41203 | 1 | 0 746.77/746.99 c 746s | 25 | 5231122 | 5121398 | 313 41283 | 1 | 0 748.87/749.00 c 748s | 25 | 5244973 | 5134998 | 313 41363 | 1 | 0 750.87/751.00 c 750s | 25 | 5259075 | 5148898 | 313 41444 | 1 | 0 752.87/753.02 c 753s | 25 | 5273317 | 5162898 | 313 41525 | 1 | 0 754.87/755.03 c 755s | 25 | 5287625 | 5176998 | 313 41608 | 1 | 0 756.88/757.03 c 757s | 25 | 5301659 | 5190798 | 313 41688 | 1 | 0 758.87/759.04 c 759s | 25 | 5315984 | 5204898 | 313 41770 | 1 | 0 760.87/761.05 c 761s | 25 | 5330088 | 5218798 | 313 41852 | 1 | 0 762.87/763.05 c 763s | 25 | 5344249 | 5232698 | 313 41933 | 1 | 0 764.87/765.07 c 765s | 25 | 5358519 | 5246698 | 313 42015 | 1 | 0 766.87/767.07 c 767s | 25 | 5373030 | 5260898 | 313 42099 | 1 | 0 768.87/769.07 c 769s | 25 | 5387494 | 5275098 | 313 42182 | 1 | 0 770.87/771.07 c 771s | 25 | 5401851 | 5289198 | 313 42265 | 1 | 0 772.87/773.08 c 773s | 25 | 5415837 | 5302998 | 313 42346 | 1 | 0 774.87/775.10 c 775s | 25 | 5430191 | 5317098 | 313 42429 | 1 | 0 776.97/777.10 c 777s | 25 | 5444420 | 5331098 | 313 42511 | 1 | 0 778.97/779.11 c 779s | 25 | 5458887 | 5345298 | 313 42595 | 1 | 0 780.98/781.11 c 781s | 25 | 5473050 | 5359198 | 313 42677 | 1 | 0 782.97/783.12 c 783s | 25 | 5487159 | 5373098 | 313 42759 | 1 | 0 784.97/785.13 c 785s | 25 | 5501421 | 5387098 | 313 42841 | 1 | 0 786.97/787.13 c 787s | 25 | 5516084 | 5401498 | 313 42925 | 1 | 0 788.96/789.15 c 789s | 25 | 5530657 | 5415798 | 313 43009 | 1 | 0 790.97/791.16 c 791s | 25 | 5545206 | 5430098 | 313 43093 | 1 | 0 792.97/793.17 c 793s | 25 | 5559085 | 5443698 | 313 43172 | 1 | 0 794.96/795.18 c 795s | 25 | 5572986 | 5457398 | 313 43253 | 1 | 0 796.96/797.18 c 797s | 25 | 5586602 | 5470798 | 313 43332 | 1 | 0 798.96/799.19 c 799s | 25 | 5600326 | 5484298 | 313 43412 | 1 | 0 800.96/801.19 c 801s | 25 | 5613246 | 5496998 | 313 43486 | 1 | 0 802.98/803.20 c 803s | 25 | 5626677 | 5510198 | 313 43564 | 1 | 0 805.06/805.21 c 805s | 25 | 5641047 | 5524298 | 313 43646 | 1 | 0 807.07/807.21 c 807s | 25 | 5654731 | 5537798 | 313 43726 | 1 | 0 809.07/809.21 c 809s | 25 | 5668227 | 5551098 | 313 43804 | 1 | 0 811.07/811.22 c 811s | 25 | 5681782 | 5564498 | 313 43883 | 1 | 0 813.07/813.23 c 813s | 25 | 5695496 | 5577998 | 313 43963 | 1 | 0 815.08/815.24 c 815s | 25 | 5709159 | 5591498 | 313 44043 | 1 | 0 817.07/817.24 c 817s | 25 | 5722455 | 5604598 | 313 44121 | 1 | 0 819.06/819.26 c 819s | 25 | 5735841 | 5617798 | 313 44200 | 1 | 0 821.06/821.26 c 821s | 25 | 5749633 | 5631398 | 313 44281 | 1 | 0 823.06/823.27 c 823s | 25 | 5763554 | 5645098 | 313 44363 | 1 | 0 825.08/825.28 c 825s | 25 | 5777035 | 5658398 | 313 44442 | 1 | 0 827.06/827.30 c 827s | 25 | 5790451 | 5671698 | 313 44520 | 1 | 0 829.16/829.31 c 829s | 25 | 5804088 | 5685198 | 313 44600 | 1 | 0 831.16/831.32 c 831s | 25 | 5817155 | 5698098 | 313 44676 | 1 | 0 833.16/833.32 c 833s | 25 | 5830350 | 5711098 | 313 44753 | 1 | 0 835.16/835.33 c 835s | 25 | 5843919 | 5724498 | 313 44832 | 1 | 0 837.17/837.34 c 837s | 25 | 5856732 | 5737098 | 313 44906 | 1 | 0 839.16/839.35 c 839s | 25 | 5869856 | 5749998 | 313 44983 | 1 | 0 841.16/841.36 c 841s | 25 | 5883704 | 5763598 | 313 45064 | 1 | 0 843.16/843.38 c 843s | 25 | 5897524 | 5777198 | 313 45145 | 1 | 0 845.16/845.38 c 845s | 25 | 5910634 | 5790098 | 313 45221 | 1 | 0 847.16/847.39 c 847s | 25 | 5924188 | 5803398 | 313 45300 | 1 | 0 849.16/849.40 c 849s | 25 | 5938146 | 5817098 | 313 45381 | 1 | 0 851.26/851.41 c 851s | 25 | 5951846 | 5830598 | 313 45461 | 1 | 0 853.26/853.42 c 853s | 25 | 5965365 | 5843898 | 313 45540 | 1 | 0 855.26/855.43 c 855s | 25 | 5978895 | 5857098 | 313 45619 | 1 | 0 857.26/857.45 c 857s | 25 | 5992628 | 5870598 | 313 45699 | 1 | 0 859.26/859.45 c 859s | 25 | 6006431 | 5884098 | 313 45779 | 1 | 0 861.27/861.45 c 861s | 25 | 6020115 | 5897598 | 313 45860 | 1 | 0 863.26/863.46 c 863s | 25 | 6033802 | 5911098 | 313 45940 | 1 | 0 865.26/865.47 c 865s | 25 | 6047768 | 5924798 | 313 46022 | 1 | 0 867.26/867.48 c 867s | 25 | 6061983 | 5938798 | 313 46105 | 1 | 0 869.26/869.49 c 869s | 25 | 6075978 | 5952598 | 313 46188 | 1 | 0 871.27/871.50 c 871s | 25 | 6089771 | 5966198 | 313 46269 | 1 | 0 873.26/873.50 c 873s | 25 | 6103669 | 5979898 | 313 46351 | 1 | 0 875.36/875.51 c 875s | 25 | 6117848 | 5993798 | 313 46435 | 1 | 0 877.36/877.52 c 877s | 25 | 6131623 | 6007398 | 313 46517 | 1 | 0 879.36/879.53 c 879s | 25 | 6144933 | 6020498 | 313 46595 | 1 | 0 881.35/881.54 c 881s | 25 | 6158390 | 6033698 | 313 46673 | 1 | 0 883.37/883.55 c 883s | 25 | 6171739 | 6046798 | 313 46751 | 1 | 0 885.35/885.56 c 885s | 25 | 6185678 | 6060398 | 313 46832 | 1 | 0 887.35/887.57 c 887s | 25 | 6199500 | 6073998 | 313 46913 | 1 | 0 889.35/889.58 c 889s | 25 | 6212920 | 6087198 | 313 46992 | 1 | 0 891.35/891.58 c 891s | 25 | 6226573 | 6100698 | 313 47071 | 1 | 0 893.35/893.59 c 893s | 25 | 6240426 | 6114398 | 313 47153 | 1 | 0 895.36/895.60 c 895s | 25 | 6253639 | 6127398 | 313 47230 | 1 | 0 897.46/897.61 c 897s | 25 | 6267052 | 6140598 | 313 47309 | 1 | 0 899.45/899.61 c 899s | 25 | 6281179 | 6154498 | 313 47391 | 1 | 0 901.45/901.63 c 901s | 25 | 6294576 | 6167698 | 313 47469 | 1 | 0 903.45/903.64 c 903s | 25 | 6308250 | 6181198 | 313 47550 | 1 | 0 905.45/905.65 c 905s | 25 | 6322435 | 6195198 | 313 47634 | 1 | 0 907.46/907.65 c 907s | 25 | 6336989 | 6209498 | 313 47719 | 1 | 0 909.45/909.65 c 909s | 25 | 6351396 | 6223698 | 313 47804 | 1 | 0 911.46/911.66 c 911s | 25 | 6365474 | 6237498 | 313 47887 | 1 | 0 913.45/913.67 c 913s | 25 | 6378819 | 6250598 | 313 47965 | 1 | 0 915.45/915.67 c 915s | 25 | 6392306 | 6263798 | 313 48044 | 1 | 0 917.46/917.69 c 917s | 25 | 6405946 | 6277198 | 313 48124 | 1 | 0 919.45/919.69 c 919s | 25 | 6419791 | 6290798 | 313 48207 | 1 | 0 921.54/921.70 c 921s | 25 | 6433528 | 6304298 | 313 48287 | 1 | 0 923.54/923.71 c 923s | 25 | 6447080 | 6317598 | 313 48365 | 1 | 0 925.55/925.71 c 925s | 25 | 6460931 | 6331198 | 313 48446 | 1 | 0 927.54/927.71 c 927s | 25 | 6474876 | 6344898 | 313 48527 | 1 | 0 929.56/929.72 c 929s | 25 | 6488768 | 6358498 | 313 48608 | 1 | 0 931.55/931.72 c 931s | 25 | 6501667 | 6371198 | 313 48683 | 1 | 0 933.54/933.73 c 933s | 25 | 6514833 | 6384098 | 313 48760 | 1 | 0 935.55/935.74 c 935s | 25 | 6527723 | 6396798 | 313 48835 | 1 | 0 937.55/937.75 c 937s | 25 | 6540808 | 6409598 | 313 48911 | 1 | 0 939.54/939.76 c 939s | 25 | 6554463 | 6422998 | 313 48991 | 1 | 0 941.56/941.77 c 941s | 25 | 6568057 | 6436298 | 313 49071 | 1 | 0 943.55/943.78 c 943s | 25 | 6582012 | 6449998 | 313 49152 | 1 | 0 945.54/945.79 c 945s | 25 | 6595640 | 6463398 | 313 49232 | 1 | 0 947.65/947.80 c 947s | 25 | 6608993 | 6476498 | 313 49310 | 1 | 0 949.64/949.80 c 949s | 25 | 6622435 | 6489698 | 313 49389 | 1 | 0 951.65/951.82 c 951s | 25 | 6636407 | 6503398 | 313 49471 | 1 | 0 953.65/953.82 c 953s | 25 | 6649528 | 6516298 | 313 49548 | 1 | 0 955.65/955.82 c 955s | 25 | 6662948 | 6529598 | 313 49627 | 1 | 0 957.64/957.83 c 957s | 25 | 6676704 | 6543098 | 313 49709 | 1 | 0 959.64/959.84 c 959s | 25 | 6689980 | 6556198 | 313 49787 | 1 | 0 961.64/961.84 c 961s | 25 | 6703362 | 6569398 | 313 49866 | 1 | 0 963.65/963.84 c 963s | 25 | 6716907 | 6582798 | 313 49946 | 1 | 0 965.65/965.86 c 965s | 25 | 6731152 | 6596798 | 313 50029 | 1 | 0 967.64/967.86 c 967s | 25 | 6745073 | 6610498 | 313 50111 | 1 | 0 969.65/969.86 c 969s | 25 | 6758311 | 6623598 | 313 50190 | 1 | 0 971.64/971.87 c 971s | 25 | 6771687 | 6636798 | 313 50270 | 1 | 0 973.64/973.88 c 973s | 25 | 6785346 | 6650198 | 313 50351 | 1 | 0 975.65/975.88 c 975s | 25 | 6799422 | 6663998 | 313 50435 | 1 | 0 977.64/977.88 c 977s | 25 | 6814091 | 6678398 | 313 50521 | 1 | 0 979.64/979.90 c 979s | 25 | 6828436 | 6692498 | 313 50606 | 1 | 0 981.74/981.91 c 981s | 25 | 6842688 | 6706498 | 313 50690 | 1 | 0 983.73/983.92 c 983s | 25 | 6857033 | 6720598 | 313 50775 | 1 | 0 985.74/985.92 c 985s | 25 | 6871064 | 6734298 | 313 50859 | 1 | 0 987.74/987.92 c 987s | 25 | 6884875 | 6747798 | 313 50941 | 1 | 0 989.73/989.93 c 989s | 25 | 6897873 | 6760498 | 313 51016 | 1 | 0 991.73/991.94 c 991s | 25 | 6911146 | 6773498 | 313 51093 | 1 | 0 993.73/993.95 c 993s | 25 | 6924578 | 6786698 | 313 51172 | 1 | 0 995.73/995.97 c 995s | 25 | 6937977 | 6799898 | 313 51251 | 1 | 0 997.74/997.98 c 997s | 25 | 6951242 | 6812998 | 313 51330 | 1 | 0 999.73/999.98 c 999s | 25 | 6964951 | 6826498 | 313 51412 | 1 | 0 1001.73/1001.98 c 1001s | 25 | 6978540 | 6839898 | 313 51493 | 1 | 0 1003.73/1003.99 c 1003s | 25 | 6991609 | 6852798 | 313 51569 | 1 | 0 1005.83/1006.00 c 1005s | 25 | 7004972 | 6865998 | 313 51648 | 1 | 0 1007.83/1008.01 c 1007s | 25 | 7018828 | 6879698 | 313 51731 | 1 | 0 1009.83/1010.01 c 1009s | 25 | 7032149 | 6892798 | 313 51809 | 1 | 0 1011.82/1012.02 c 1012s | 25 | 7045347 | 6905798 | 313 51886 | 1 | 0 1013.82/1014.03 c 1014s | 25 | 7059257 | 6919398 | 313 51968 | 1 | 0 1015.82/1016.04 c 1016s | 25 | 7073220 | 6933098 | 313 52051 | 1 | 0 1017.82/1018.06 c 1018s | 25 | 7087007 | 6946698 | 313 52133 | 1 | 0 1019.82/1020.06 c 1020s | 25 | 7100703 | 6960198 | 313 52214 | 1 | 0 1021.83/1022.06 c 1022s | 25 | 7113897 | 6973198 | 313 52292 | 1 | 0 1023.82/1024.06 c 1024s | 25 | 7127377 | 6986498 | 313 52373 | 1 | 0 1025.82/1026.08 c 1026s | 25 | 7141165 | 7000098 | 313 52454 | 1 | 0 1027.81/1028.09 c 1028s | 25 | 7154472 | 7013198 | 313 52533 | 1 | 0 1029.92/1030.10 c 1030s | 25 | 7167714 | 7026298 | 313 52612 | 1 | 0 1031.91/1032.11 c 1032s | 25 | 7181152 | 7039598 | 313 52693 | 1 | 0 1033.92/1034.12 c 1034s | 25 | 7195262 | 7053498 | 313 52777 | 1 | 0 1035.91/1036.13 c 1036s | 25 | 7209112 | 7067198 | 313 52860 | 1 | 0 1037.91/1038.13 c 1038s | 25 | 7222971 | 7080898 | 313 52943 | 1 | 0 1039.91/1040.14 c 1040s | 25 | 7237271 | 7094998 | 313 53030 | 1 | 0 1041.91/1042.15 c 1042s | 25 | 7251538 | 7109098 | 313 53116 | 1 | 0 1043.91/1044.16 c 1044s | 25 | 7264652 | 7121998 | 313 53193 | 1 | 0 1045.91/1046.17 c 1046s | 25 | 7277980 | 7135098 | 313 53272 | 1 | 0 1047.91/1048.18 c 1048s | 25 | 7291129 | 7147998 | 313 53349 | 1 | 0 1050.01/1050.20 c 1050s | 25 | 7304418 | 7161098 | 313 53427 | 1 | 0 1052.00/1052.20 c 1052s | 25 | 7318066 | 7174498 | 313 53508 | 1 | 0 1054.00/1054.21 c 1054s | 25 | 7331663 | 7187898 | 313 53588 | 1 | 0 1056.01/1056.22 c 1056s | 25 | 7345411 | 7201498 | 313 53670 | 1 | 0 1058.00/1058.22 c 1058s | 25 | 7358821 | 7214698 | 313 53750 | 1 | 0 1060.00/1060.23 c 1060s | 25 | 7372388 | 7227998 | 313 53830 | 1 | 0 1062.00/1062.23 c 1062s | 25 | 7386057 | 7241498 | 313 53912 | 1 | 0 1064.00/1064.23 c 1064s | 25 | 7399983 | 7255198 | 313 53995 | 1 | 0 1066.00/1066.24 c 1066s | 25 | 7413434 | 7268398 | 313 54074 | 1 | 0 1068.01/1068.25 c 1068s | 25 | 7427118 | 7281798 | 313 54154 | 1 | 0 1069.99/1070.26 c 1070s | 25 | 7441315 | 7295798 | 313 54239 | 1 | 0 1071.99/1072.27 c 1072s | 25 | 7455374 | 7309598 | 313 54322 | 1 | 0 1073.99/1074.28 c 1074s | 25 | 7469446 | 7323498 | 313 54405 | 1 | 0 1075.99/1076.29 c 1076s | 25 | 7483626 | 7337498 | 313 54489 | 1 | 0 1078.00/1078.29 c 1078s | 25 | 7497428 | 7351098 | 313 54571 | 1 | 0 1080.00/1080.30 c 1080s | 25 | 7511495 | 7364998 | 313 54654 | 1 | 0 1082.09/1082.31 c 1082s | 25 | 7525047 | 7378398 | 313 54735 | 1 | 0 1084.09/1084.32 c 1084s | 25 | 7538967 | 7392198 | 313 54818 | 1 | 0 1086.09/1086.32 c 1086s | 25 | 7553714 | 7406698 | 313 54905 | 1 | 0 1088.09/1088.33 c 1088s | 25 | 7567952 | 7420698 | 313 54989 | 1 | 0 1090.09/1090.33 c 1090s | 25 | 7582465 | 7434998 | 313 55076 | 1 | 0 1092.09/1092.34 c 1092s | 25 | 7596335 | 7448698 | 313 55159 | 1 | 0 1094.09/1094.35 c 1094s | 25 | 7610228 | 7462398 | 313 55242 | 1 | 0 1096.09/1096.35 c 1096s | 25 | 7624285 | 7476298 | 313 55326 | 1 | 0 1098.09/1098.35 c 1098s | 25 | 7638102 | 7489898 | 313 55409 | 1 | 0 1100.09/1100.35 c 1100s | 25 | 7651562 | 7503098 | 313 55489 | 1 | 0 1102.09/1102.35 c 1102s | 25 | 7665357 | 7516698 | 313 55571 | 1 | 0 1104.08/1104.36 c 1104s | 25 | 7679138 | 7530298 | 313 55654 | 1 | 0 1106.08/1106.36 c 1106s | 25 | 7694234 | 7545198 | 345 55740 | 1 | 0 1108.08/1108.37 c 1108s | 25 | 7708833 | 7559598 | 345 55816 | 1 | 0 1110.09/1110.38 c 1110s | 25 | 7723021 | 7573598 | 345 55891 | 1 | 0 1112.09/1112.39 c 1112s | 25 | 7737295 | 7587698 | 345 55966 | 1 | 0 1113.48/1113.79 c 1113s | 26 | 7747508 | 7597752 | 345 56019 | 1 | 0 1115.58/1115.80 c 1115s | 26 | 7762355 | 7612252 | 345 56096 | 1 | 0 1117.59/1117.81 c 1117s | 26 | 7777091 | 7626652 | 345 56172 | 1 | 0 1119.57/1119.81 c 1119s | 26 | 7791347 | 7640652 | 345 56246 | 1 | 0 1121.57/1121.81 c 1121s | 26 | 7805771 | 7654752 | 345 56322 | 1 | 0 1123.57/1123.82 c 1123s | 26 | 7820371 | 7669052 | 345 56398 | 1 | 0 1125.57/1125.84 c 1125s | 26 | 7835181 | 7683552 | 345 56476 | 1 | 0 1127.57/1127.84 c 1127s | 26 | 7849392 | 7697552 | 345 56551 | 1 | 0 1129.58/1129.84 c 1129s | 26 | 7863540 | 7711352 | 345 56624 | 1 | 0 1131.57/1131.85 c 1131s | 26 | 7877925 | 7725452 | 345 56700 | 1 | 0 1133.56/1133.86 c 1133s | 26 | 7892138 | 7739352 | 345 56774 | 1 | 0 1135.57/1135.86 c 1135s | 26 | 7906518 | 7753252 | 345 56849 | 1 | 0 1137.57/1137.86 c 1137s | 26 | 7920477 | 7766952 | 345 56922 | 1 | 0 1139.57/1139.87 c 1139s | 26 | 7934626 | 7780852 | 345 56997 | 1 | 0 1141.57/1141.87 c 1141s | 26 | 7948878 | 7794752 | 345 57071 | 1 | 0 1143.56/1143.88 c 1143s | 26 | 7963483 | 7809052 | 345 57148 | 1 | 0 1145.56/1145.89 c 1145s | 26 | 7978177 | 7823452 | 345 57226 | 1 | 0 1147.56/1147.89 c 1147s | 26 | 7992571 | 7837552 | 345 57302 | 1 | 0 1149.66/1149.90 c 1149s | 26 | 8007268 | 7852052 | 345 57380 | 1 | 0 1151.57/1151.90 c 1151s | 26 | 8021794 | 7866252 | 345 57456 | 1 | 0 1153.66/1153.92 c 1153s | 26 | 8036625 | 7880752 | 345 57535 | 1 | 0 1155.66/1155.92 c 1155s | 26 | 8051193 | 7895052 | 345 57612 | 1 | 0 1157.66/1157.92 c 1157s | 26 | 8065648 | 7909252 | 345 57689 | 1 | 0 1159.66/1159.93 c 1159s | 26 | 8080751 | 7923952 | 345 57768 | 1 | 0 1161.66/1161.94 c 1161s | 26 | 8095480 | 7938452 | 345 57847 | 1 | 0 1163.66/1163.94 c 1163s | 26 | 8110737 | 7953152 | 345 57926 | 1 | 0 1165.66/1165.95 c 1165s | 26 | 8125305 | 7967152 | 345 58001 | 1 | 0 1167.66/1167.95 c 1167s | 26 | 8138992 | 7980452 | 345 58073 | 1 | 0 1169.66/1169.97 c 1169s | 26 | 8152949 | 7994052 | 345 58146 | 1 | 0 1171.66/1171.97 c 1171s | 26 | 8167143 | 8007952 | 345 58221 | 1 | 0 1173.66/1173.98 c 1173s | 26 | 8181560 | 8022152 | 345 58299 | 1 | 0 1175.65/1175.99 c 1175s | 26 | 8196034 | 8036352 | 345 58375 | 1 | 0 1177.65/1177.99 c 1177s | 26 | 8210857 | 8050752 | 345 58453 | 1 | 0 1179.65/1179.99 c 1179s | 26 | 8225286 | 8064852 | 345 58530 | 1 | 0 1181.75/1182.00 c 1181s | 26 | 8239666 | 8078952 | 345 58607 | 1 | 0 1183.75/1184.00 c 1183s | 26 | 8253951 | 8092952 | 345 58683 | 1 | 0 1185.76/1186.01 c 1185s | 26 | 8268495 | 8107152 | 345 58760 | 1 | 0 1187.74/1188.02 c 1188s | 26 | 8283468 | 8121752 | 345 58838 | 1 | 0 1189.74/1190.03 c 1190s | 26 | 8298826 | 8136652 | 345 58918 | 1 | 0 1191.74/1192.04 c 1192s | 26 | 8313658 | 8151252 | 345 58997 | 1 | 0 1193.74/1194.05 c 1194s | 26 | 8328380 | 8165652 | 345 59074 | 1 | 0 1195.74/1196.06 c 1196s | 26 | 8342750 | 8179652 | 345 59150 | 1 | 0 1197.74/1198.06 c 1198s | 26 | 8357014 | 8193552 | 345 59225 | 1 | 0 1199.74/1200.06 c 1200s | 26 | 8371898 | 8208052 | 345 59303 | 1 | 0 1201.74/1202.07 c 1202s | 26 | 8387222 | 8222952 | 345 59384 | 1 | 0 1203.74/1204.08 c 1204s | 26 | 8401930 | 8237352 | 345 59462 | 1 | 0 1205.74/1206.09 c 1206s | 26 | 8416944 | 8252052 | 345 59542 | 1 | 0 1207.74/1208.09 c 1208s | 26 | 8431219 | 8266052 | 345 59617 | 1 | 0 1209.74/1210.10 c 1210s | 26 | 8445419 | 8279952 | 345 59692 | 1 | 0 1211.84/1212.10 c 1212s | 26 | 8459731 | 8293952 | 345 59768 | 1 | 0 1213.84/1214.10 c 1214s | 26 | 8474024 | 8307952 | 345 59844 | 1 | 0 1215.84/1216.12 c 1216s | 26 | 8488270 | 8321952 | 345 59920 | 1 | 0 1217.84/1218.13 c 1218s | 26 | 8502636 | 8336052 | 345 59996 | 1 | 0 1219.85/1220.14 c 1220s | 26 | 8517023 | 8350152 | 345 60073 | 1 | 0 1221.84/1222.14 c 1222s | 26 | 8530749 | 8363652 | 345 60146 | 1 | 0 1223.83/1224.14 c 1224s | 26 | 8545258 | 8377752 | 345 60222 | 1 | 0 1225.83/1226.16 c 1226s | 26 | 8560290 | 8392452 | 345 60302 | 1 | 0 1227.83/1228.17 c 1228s | 26 | 8575081 | 8406952 | 345 60380 | 1 | 0 1229.83/1230.17 c 1230s | 26 | 8590353 | 8421952 | 345 60461 | 1 | 0 1231.83/1232.18 c 1232s | 26 | 8605568 | 8436952 | 345 60542 | 1 | 0 1233.83/1234.19 c 1234s | 26 | 8620395 | 8451552 | 345 60622 | 1 | 0 1235.93/1236.21 c 1236s | 26 | 8635621 | 8466352 | 345 60702 | 1 | 0 1237.93/1238.22 c 1238s | 26 | 8650705 | 8481052 | 345 60782 | 1 | 0 1239.92/1240.22 c 1240s | 26 | 8665295 | 8495452 | 345 60860 | 1 | 0 1241.92/1242.23 c 1242s | 26 | 8680304 | 8510152 | 345 60940 | 1 | 0 1243.93/1244.24 c 1244s | 26 | 8695217 | 8524852 | 345 61020 | 1 | 0 1245.92/1246.26 c 1246s | 26 | 8709895 | 8539252 | 345 61098 | 1 | 0 1247.92/1248.27 c 1248s | 26 | 8724625 | 8553652 | 345 61176 | 1 | 0 1249.92/1250.28 c 1250s | 26 | 8739516 | 8568152 | 345 61255 | 1 | 0 1251.92/1252.29 c 1252s | 26 | 8754336 | 8582752 | 345 61335 | 1 | 0 1253.92/1254.29 c 1254s | 26 | 8768406 | 8596652 | 345 61410 | 1 | 0 1255.92/1256.29 c 1256s | 26 | 8782802 | 8610752 | 345 61487 | 1 | 0 1258.02/1258.30 c 1258s | 26 | 8797420 | 8625152 | 345 61566 | 1 | 0 1260.02/1260.31 c 1260s | 26 | 8811959 | 8639452 | 345 61644 | 1 | 0 1262.01/1262.32 c 1262s | 26 | 8826810 | 8653952 | 345 61724 | 1 | 0 1264.01/1264.32 c 1264s | 26 | 8841214 | 8668152 | 345 61802 | 1 | 0 1266.02/1266.33 c 1266s | 26 | 8856306 | 8682652 | 345 61880 | 1 | 0 1268.01/1268.33 c 1268s | 26 | 8871238 | 8697152 | 345 61958 | 1 | 0 1270.01/1270.34 c 1270s | 26 | 8886326 | 8711852 | 345 62037 | 1 | 0 1272.01/1272.35 c 1272s | 26 | 8901408 | 8726552 | 345 62117 | 1 | 0 1274.01/1274.36 c 1274s | 26 | 8916360 | 8741152 | 345 62196 | 1 | 0 1276.01/1276.36 c 1276s | 26 | 8930865 | 8755452 | 345 62273 | 1 | 0 1278.02/1278.37 c 1278s | 26 | 8945780 | 8770052 | 345 62353 | 1 | 0 1280.00/1280.38 c 1280s | 26 | 8960552 | 8784452 | 345 62431 | 1 | 0 1282.00/1282.38 c 1282s | 26 | 8975038 | 8798452 | 345 62506 | 1 | 0 1284.00/1284.39 c 1284s | 26 | 8989696 | 8812752 | 345 62584 | 1 | 0 1286.10/1286.40 c 1286s | 26 | 9004276 | 8827052 | 345 62661 | 1 | 0 1288.10/1288.40 c 1288s | 26 | 9019269 | 8841652 | 345 62740 | 1 | 0 1290.10/1290.41 c 1290s | 26 | 9034488 | 8856452 | 345 62820 | 1 | 0 1292.09/1292.42 c 1292s | 26 | 9049414 | 8871052 | 345 62900 | 1 | 0 1294.09/1294.43 c 1294s | 26 | 9064225 | 8885552 | 345 62978 | 1 | 0 1296.09/1296.43 c 1296s | 26 | 9078691 | 8899752 | 345 63056 | 1 | 0 1298.09/1298.44 c 1298s | 26 | 9093058 | 8913852 | 345 63133 | 1 | 0 1300.10/1300.45 c 1300s | 26 | 9107594 | 8928152 | 345 63211 | 1 | 0 1302.09/1302.46 c 1302s | 26 | 9122659 | 8942952 | 345 63291 | 1 | 0 1304.09/1304.47 c 1304s | 26 | 9137679 | 8957652 | 345 63370 | 1 | 0 1306.09/1306.48 c 1306s | 26 | 9153062 | 8972752 | 345 63452 | 1 | 0 1308.09/1308.49 c 1308s | 26 | 9168445 | 8987852 | 345 63535 | 1 | 0 1310.19/1310.50 c 1310s | 26 | 9183827 | 9002952 | 345 63617 | 1 | 0 1312.20/1312.50 c 1312s | 26 | 9199031 | 9017852 | 345 63698 | 1 | 0 1314.18/1314.51 c 1314s | 26 | 9214301 | 9032852 | 345 63780 | 1 | 0 1316.19/1316.51 c 1316s | 26 | 9229144 | 9047452 | 345 63859 | 1 | 0 1318.18/1318.52 c 1318s | 26 | 9243898 | 9062052 | 345 63939 | 1 | 0 1320.18/1320.54 c 1320s | 26 | 9259044 | 9076952 | 345 64021 | 1 | 0 1322.18/1322.55 c 1322s | 26 | 9274635 | 9092152 | 345 64104 | 1 | 0 1324.19/1324.56 c 1324s | 26 | 9289219 | 9106452 | 345 64182 | 1 | 0 1326.18/1326.56 c 1326s | 26 | 9303421 | 9120352 | 345 64257 | 1 | 0 1328.19/1328.57 c 1328s | 26 | 9318035 | 9134752 | 345 64335 | 1 | 0 1330.18/1330.58 c 1330s | 26 | 9332670 | 9149152 | 345 64413 | 1 | 0 1332.17/1332.59 c 1332s | 26 | 9347398 | 9163552 | 345 64491 | 1 | 0 1334.27/1334.60 c 1334s | 26 | 9362166 | 9177952 | 345 64569 | 1 | 0 1336.17/1336.60 c 1336s | 26 | 9376349 | 9191852 | 345 64644 | 1 | 0 1338.27/1338.61 c 1338s | 26 | 9391016 | 9206152 | 345 64722 | 1 | 0 1340.28/1340.62 c 1340s | 26 | 9405367 | 9220252 | 345 64799 | 1 | 0 1342.27/1342.63 c 1342s | 26 | 9419367 | 9234052 | 345 64874 | 1 | 0 1344.27/1344.64 c 1344s | 26 | 9433344 | 9247752 | 345 64948 | 1 | 0 1346.28/1346.65 c 1346s | 26 | 9447689 | 9261652 | 345 65024 | 1 | 0 1348.27/1348.65 c 1348s | 26 | 9462054 | 9275652 | 345 65100 | 1 | 0 1350.28/1350.66 c 1350s | 26 | 9475970 | 9289252 | 345 65175 | 1 | 0 1352.27/1352.67 c 1352s | 26 | 9490140 | 9303152 | 345 65251 | 1 | 0 1354.27/1354.68 c 1354s | 26 | 9504562 | 9317352 | 345 65328 | 1 | 0 1356.27/1356.69 c 1356s | 26 | 9518852 | 9331352 | 345 65404 | 1 | 0 1358.27/1358.70 c 1358s | 26 | 9533397 | 9345652 | 345 65482 | 1 | 0 1360.37/1360.71 c 1360s | 26 | 9547702 | 9359652 | 345 65559 | 1 | 0 1362.37/1362.72 c 1362s | 26 | 9561619 | 9373352 | 345 65634 | 1 | 0 1364.36/1364.73 c 1364s | 26 | 9575830 | 9387252 | 345 65710 | 1 | 0 1366.36/1366.74 c 1366s | 26 | 9590098 | 9401152 | 345 65786 | 1 | 0 1368.36/1368.74 c 1368s | 26 | 9604717 | 9415552 | 345 65864 | 1 | 0 1370.37/1370.75 c 1370s | 26 | 9619313 | 9429952 | 345 65943 | 1 | 0 1372.36/1372.77 c 1372s | 26 | 9634274 | 9444552 | 345 66023 | 1 | 0 1374.35/1374.77 c 1374s | 26 | 9648738 | 9458752 | 345 66100 | 1 | 0 1376.35/1376.78 c 1376s | 26 | 9663146 | 9472852 | 345 66177 | 1 | 0 1378.36/1378.79 c 1378s | 26 | 9677295 | 9486752 | 345 66253 | 1 | 0 1380.46/1380.80 c 1380s | 26 | 9691958 | 9501052 | 345 66331 | 1 | 0 1382.46/1382.80 c 1382s | 26 | 9705814 | 9514652 | 345 66406 | 1 | 0 1384.46/1384.82 c 1384s | 26 | 9719871 | 9528352 | 345 66481 | 1 | 0 1386.45/1386.82 c 1386s | 26 | 9733747 | 9541952 | 345 66556 | 1 | 0 1388.45/1388.83 c 1388s | 26 | 9747793 | 9555652 | 345 66631 | 1 | 0 1390.45/1390.83 c 1390s | 26 | 9762359 | 9569852 | 345 66709 | 1 | 0 1392.45/1392.84 c 1392s | 26 | 9777031 | 9584252 | 345 66789 | 1 | 0 1394.45/1394.84 c 1394s | 26 | 9791614 | 9598652 | 345 66866 | 1 | 0 1396.45/1396.84 c 1396s | 26 | 9805582 | 9612452 | 345 66941 | 1 | 0 1398.44/1398.84 c 1398s | 26 | 9819540 | 9626052 | 345 67014 | 1 | 0 1400.45/1400.85 c 1400s | 26 | 9833494 | 9639652 | 345 67087 | 1 | 0 1402.44/1402.87 c 1402s | 26 | 9847277 | 9653152 | 345 67160 | 1 | 0 1404.45/1404.88 c 1404s | 26 | 9861682 | 9667252 | 345 67236 | 1 | 0 1406.44/1406.89 c 1406s | 26 | 9876590 | 9681752 | 345 67314 | 1 | 0 1408.54/1408.90 c 1408s | 26 | 9890813 | 9695752 | 345 67391 | 1 | 0 1410.54/1410.91 c 1410s | 26 | 9905282 | 9709952 | 345 67468 | 1 | 0 1412.54/1412.91 c 1412s | 26 | 9919952 | 9724352 | 345 67546 | 1 | 0 1414.54/1414.93 c 1414s | 26 | 9934955 | 9739052 | 345 67626 | 1 | 0 1416.55/1416.93 c 1416s | 26 | 9949950 | 9753752 | 345 67707 | 1 | 0 1418.54/1418.94 c 1418s | 26 | 9964738 | 9768252 | 345 67786 | 1 | 0 1420.54/1420.94 c 1420s | 26 | 9979383 | 9782552 | 345 67865 | 1 | 0 1422.54/1422.94 c 1422s | 26 | 9993692 | 9796552 | 345 67941 | 1 | 0 1424.53/1424.95 c 1424s | 26 | 10007869 | 9810452 | 345 68016 | 1 | 0 1426.54/1426.95 c 1426s | 26 | 10022134 | 9824552 | 345 68093 | 1 | 0 1428.53/1428.96 c 1428s | 26 | 10036236 | 9838352 | 345 68168 | 1 | 0 1430.53/1430.96 c 1430s | 26 | 10050616 | 9852452 | 345 68245 | 1 | 0 1432.53/1432.98 c 1432s | 26 | 10064984 | 9866552 | 345 68322 | 1 | 0 1434.53/1434.98 c 1434s | 26 | 10079451 | 9880852 | 345 68400 | 1 | 0 1436.53/1436.98 c 1436s | 26 | 10093827 | 9895052 | 345 68476 | 1 | 0 1438.54/1438.99 c 1438s | 26 | 10108083 | 9909152 | 345 68552 | 1 | 0 1440.63/1441.00 c 1440s | 26 | 10122642 | 9923452 | 345 68630 | 1 | 0 1442.63/1443.01 c 1442s | 26 | 10136962 | 9937352 | 345 68705 | 1 | 0 1444.63/1445.02 c 1445s | 26 | 10151194 | 9951352 | 345 68781 | 1 | 0 1446.63/1447.02 c 1447s | 26 | 10166172 | 9965952 | 345 68860 | 1 | 0 1448.63/1449.03 c 1449s | 26 | 10180709 | 9980052 | 345 68937 | 1 | 0 1450.64/1451.04 c 1451s | 26 | 10194991 | 9994052 | 345 69014 | 1 | 0 1452.62/1453.05 c 1453s | 26 | 10209667 | 10008452 | 345 69092 | 1 | 0 1454.62/1455.05 c 1455s | 26 | 10223912 | 10022552 | 345 69169 | 1 | 0 1456.62/1457.06 c 1457s | 26 | 10238720 | 10037052 | 345 69249 | 1 | 0 1458.62/1459.07 c 1459s | 26 | 10253610 | 10051552 | 345 69328 | 1 | 0 1460.63/1461.08 c 1461s | 26 | 10268579 | 10066152 | 345 69407 | 1 | 0 1462.62/1463.09 c 1463s | 26 | 10283843 | 10081052 | 345 69489 | 1 | 0 1464.72/1465.10 c 1465s | 26 | 10299037 | 10095952 | 345 69570 | 1 | 0 1466.72/1467.11 c 1467s | 26 | 10313850 | 10110552 | 345 69650 | 1 | 0 1468.72/1469.12 c 1469s | 26 | 10328701 | 10125252 | 345 69730 | 1 | 0 1470.72/1471.12 c 1471s | 26 | 10342815 | 10139252 | 345 69807 | 1 | 0 1472.72/1473.12 c 1473s | 26 | 10357022 | 10153252 | 345 69883 | 1 | 0 1474.72/1475.13 c 1475s | 26 | 10371361 | 10167452 | 345 69961 | 1 | 0 1476.72/1477.13 c 1477s | 26 | 10385413 | 10181352 | 345 70037 | 1 | 0 1478.72/1479.13 c 1479s | 26 | 10399404 | 10195152 | 345 70113 | 1 | 0 1480.72/1481.13 c 1481s | 26 | 10413810 | 10209352 | 345 70191 | 1 | 0 1482.72/1483.14 c 1483s | 26 | 10428155 | 10223552 | 345 70268 | 1 | 0 1484.71/1485.15 c 1485s | 26 | 10442251 | 10237452 | 345 70345 | 1 | 0 1486.71/1487.16 c 1487s | 26 | 10456636 | 10251652 | 345 70423 | 1 | 0 1488.71/1489.16 c 1489s | 26 | 10471352 | 10266152 | 345 70502 | 1 | 0 1490.71/1491.17 c 1491s | 26 | 10485764 | 10280352 | 345 70581 | 1 | 0 1492.71/1493.19 c 1493s | 26 | 10500455 | 10294852 | 345 70660 | 1 | 0 1494.72/1495.19 c 1495s | 26 | 10514813 | 10309052 | 345 70738 | 1 | 0 1496.71/1497.19 c 1497s | 26 | 10529381 | 10323452 | 345 70817 | 1 | 0 1498.70/1499.19 c 1499s | 26 | 10543764 | 10337652 | 345 70896 | 1 | 0 1500.80/1501.20 c 1501s | 26 | 10558162 | 10351852 | 345 70974 | 1 | 0 1502.80/1503.21 c 1503s | 26 | 10572415 | 10365952 | 345 71052 | 1 | 0 1504.81/1505.22 c 1505s | 26 | 10586564 | 10379952 | 345 71130 | 1 | 0 1506.80/1507.23 c 1507s | 26 | 10600602 | 10393852 | 345 71208 | 1 | 0 1508.80/1509.23 c 1509s | 26 | 10614826 | 10407852 | 345 71284 | 1 | 0 1510.81/1511.23 c 1511s | 26 | 10629316 | 10422052 | 345 71361 | 1 | 0 1512.80/1513.24 c 1513s | 26 | 10643723 | 10436252 | 345 71438 | 1 | 0 1514.80/1515.25 c 1515s | 26 | 10659144 | 10451252 | 345 71518 | 1 | 0 1516.80/1517.27 c 1517s | 26 | 10673398 | 10465252 | 345 71594 | 1 | 0 1518.81/1519.27 c 1519s | 26 | 10688276 | 10479752 | 345 71673 | 1 | 0 1520.79/1521.28 c 1521s | 26 | 10702710 | 10493952 | 345 71750 | 1 | 0 1522.79/1523.28 c 1523s | 26 | 10717385 | 10508252 | 345 71827 | 1 | 0 1524.79/1525.28 c 1525s | 26 | 10731830 | 10522352 | 345 71904 | 1 | 0 1526.79/1527.28 c 1527s | 26 | 10746206 | 10536452 | 345 71981 | 1 | 0 1528.90/1529.30 c 1529s | 26 | 10760536 | 10550452 | 345 72056 | 1 | 0 1530.79/1531.30 c 1531s | 26 | 10774579 | 10564252 | 345 72131 | 1 | 0 1532.89/1533.31 c 1533s | 26 | 10789075 | 10578452 | 345 72208 | 1 | 0 1534.89/1535.32 c 1535s | 26 | 10803725 | 10592752 | 345 72287 | 1 | 0 1536.89/1537.32 c 1537s | 26 | 10818360 | 10607052 | 345 72365 | 1 | 0 1538.88/1539.33 c 1539s | 26 | 10832773 | 10621252 | 345 72443 | 1 | 0 1540.90/1541.33 c 1541s | 26 | 10847189 | 10635452 | 345 72522 | 1 | 0 1542.88/1543.34 c 1543s | 26 | 10861391 | 10649352 | 345 72597 | 1 | 0 1544.89/1545.34 c 1545s | 26 | 10876005 | 10663652 | 345 72675 | 1 | 0 1546.88/1547.35 c 1547s | 26 | 10890625 | 10677852 | 345 72753 | 1 | 0 1548.88/1549.35 c 1549s | 26 | 10904699 | 10691752 | 345 72828 | 1 | 0 1550.89/1551.36 c 1551s | 26 | 10918771 | 10705652 | 345 72904 | 1 | 0 1552.88/1553.37 c 1553s | 26 | 10932936 | 10719452 | 345 72980 | 1 | 0 1554.88/1555.38 c 1555s | 26 | 10947913 | 10733952 | 345 73059 | 1 | 0 1556.88/1557.38 c 1557s | 26 | 10962786 | 10748452 | 345 73138 | 1 | 0 1558.88/1559.39 c 1559s | 26 | 10977067 | 10762352 | 345 73214 | 1 | 0 1560.88/1561.39 c 1561s | 26 | 10991858 | 10776852 | 345 73293 | 1 | 0 1562.98/1563.41 c 1563s | 26 | 11006627 | 10791352 | 345 73373 | 1 | 0 1564.98/1565.41 c 1565s | 26 | 11021432 | 10805852 | 345 73453 | 1 | 0 1566.98/1567.42 c 1567s | 26 | 11035522 | 10819652 | 345 73529 | 1 | 0 1568.97/1569.43 c 1569s | 26 | 11050250 | 10834052 | 345 73608 | 1 | 0 1570.97/1571.44 c 1571s | 26 | 11064867 | 10848352 | 345 73685 | 1 | 0 1572.97/1573.45 c 1573s | 26 | 11079417 | 10862752 | 345 73763 | 1 | 0 1574.98/1575.45 c 1575s | 26 | 11094260 | 10877352 | 345 73843 | 1 | 0 1576.97/1577.47 c 1577s | 26 | 11108723 | 10891652 | 345 73921 | 1 | 0 1578.97/1579.47 c 1579s | 26 | 11123281 | 10905952 | 345 73999 | 1 | 0 1580.97/1581.48 c 1581s | 26 | 11137828 | 10920252 | 345 74077 | 1 | 0 1582.96/1583.48 c 1583s | 26 | 11152202 | 10934352 | 345 74154 | 1 | 0 1584.96/1585.49 c 1585s | 26 | 11167221 | 10949052 | 345 74234 | 1 | 0 1586.97/1587.50 c 1587s | 26 | 11181745 | 10963352 | 345 74313 | 1 | 0 1589.07/1589.51 c 1589s | 26 | 11196360 | 10977652 | 345 74391 | 1 | 0 1591.06/1591.52 c 1591s | 26 | 11210625 | 10991552 | 345 74467 | 1 | 0 1593.06/1593.53 c 1593s | 26 | 11224728 | 11005352 | 345 74543 | 1 | 0 1595.06/1595.54 c 1595s | 26 | 11239151 | 11019352 | 345 74620 | 1 | 0 1597.06/1597.55 c 1597s | 26 | 11253234 | 11033152 | 345 74695 | 1 | 0 1599.07/1599.56 c 1599s | 26 | 11267660 | 11047252 | 345 74773 | 1 | 0 1601.06/1601.57 c 1601s | 26 | 11282197 | 11061552 | 345 74851 | 1 | 0 1603.06/1603.58 c 1603s | 26 | 11296474 | 11075552 | 345 74928 | 1 | 0 1605.06/1605.58 c 1605s | 26 | 11310657 | 11089452 | 345 75004 | 1 | 0 1607.06/1607.59 c 1607s | 26 | 11325520 | 11103852 | 345 75083 | 1 | 0 1609.06/1609.59 c 1609s | 26 | 11340418 | 11118452 | 345 75163 | 1 | 0 1611.06/1611.60 c 1611s | 26 | 11355152 | 11132852 | 345 75241 | 1 | 0 1613.15/1613.60 c 1613s | 26 | 11370291 | 11147652 | 345 75323 | 1 | 0 1615.15/1615.60 c 1615s | 26 | 11385068 | 11162152 | 345 75402 | 1 | 0 1617.15/1617.61 c 1617s | 26 | 11399248 | 11176152 | 345 75480 | 1 | 0 1619.16/1619.62 c 1619s | 26 | 11412733 | 11189452 | 345 75553 | 1 | 0 1621.16/1621.63 c 1621s | 26 | 11426652 | 11203152 | 345 75629 | 1 | 0 1623.15/1623.64 c 1623s | 26 | 11440885 | 11217152 | 345 75706 | 1 | 0 1625.15/1625.65 c 1625s | 26 | 11454848 | 11230852 | 345 75782 | 1 | 0 1627.15/1627.67 c 1627s | 26 | 11468792 | 11244452 | 345 75855 | 1 | 0 1629.15/1629.68 c 1629s | 26 | 11482535 | 11257952 | 345 75928 | 1 | 0 1631.15/1631.69 c 1631s | 26 | 11496233 | 11271452 | 345 76001 | 1 | 0 1633.16/1633.69 c 1633s | 26 | 11510127 | 11285052 | 345 76074 | 1 | 0 1635.25/1635.71 c 1635s | 26 | 11524220 | 11298852 | 345 76149 | 1 | 0 1637.25/1637.71 c 1637s | 26 | 11538186 | 11312552 | 345 76223 | 1 | 0 1639.25/1639.71 c 1639s | 26 | 11551714 | 11325852 | 380 76290 | 1 | 0 1641.25/1641.73 c 1641s | 26 | 11565845 | 11339752 | 380 76359 | 1 | 0 1643.24/1643.74 c 1643s | 26 | 11579575 | 11353352 | 380 76426 | 1 | 0 1645.25/1645.75 c 1645s | 26 | 11594098 | 11367552 | 380 76496 | 1 | 0 1647.25/1647.75 c 1647s | 26 | 11608698 | 11381752 | 380 76566 | 1 | 0 1649.24/1649.77 c 1649s | 26 | 11623292 | 11396052 | 380 76637 | 1 | 0 1649.34/1649.86 c 1649s | 27 | 11623982 | 11396733 | 380 76641 | 1 | 0 1651.34/1651.87 c 1651s | 27 | 11637259 | 11409733 | 380 76705 | 1 | 0 1653.34/1653.88 c 1653s | 27 | 11650944 | 11423133 | 380 76772 | 1 | 0 1655.35/1655.89 c 1655s | 27 | 11664885 | 11436733 | 380 76840 | 1 | 0 1657.45/1657.91 c 1657s | 27 | 11679401 | 11450933 | 380 76911 | 1 | 0 1659.44/1659.91 c 1659s | 27 | 11693536 | 11464733 | 380 76981 | 1 | 0 1661.44/1661.92 c 1661s | 27 | 11707954 | 11478833 | 380 77052 | 1 | 0 1663.44/1663.93 c 1663s | 27 | 11722340 | 11492733 | 380 77121 | 1 | 0 1665.44/1665.93 c 1665s | 27 | 11736609 | 11506533 | 380 77190 | 1 | 0 1667.44/1667.93 c 1667s | 27 | 11750437 | 11520033 | 380 77258 | 1 | 0 1669.45/1669.94 c 1669s | 27 | 11764530 | 11533833 | 380 77327 | 1 | 0 1671.44/1671.96 c 1671s | 27 | 11779005 | 11548033 | 380 77399 | 1 | 0 1673.44/1673.96 c 1673s | 27 | 11793239 | 11562033 | 380 77469 | 1 | 0 1675.44/1675.98 c 1675s | 27 | 11807561 | 11576133 | 380 77540 | 1 | 0 1677.45/1677.99 c 1677s | 27 | 11821199 | 11589633 | 380 77607 | 1 | 0 1679.44/1679.99 c 1679s | 27 | 11835632 | 11603833 | 380 77679 | 1 | 0 1681.54/1682.00 c 1681s | 27 | 11850988 | 11618833 | 380 77754 | 1 | 0 1683.54/1684.00 c 1683s | 27 | 11865570 | 11633133 | 380 77825 | 1 | 0 1685.54/1686.01 c 1685s | 27 | 11880089 | 11647433 | 380 77896 | 1 | 0 1687.53/1688.02 c 1688s | 27 | 11894506 | 11661633 | 380 77968 | 1 | 0 1689.54/1690.02 c 1690s | 27 | 11908615 | 11675533 | 380 78037 | 1 | 0 1691.55/1692.02 c 1692s | 27 | 11923009 | 11689633 | 380 78108 | 1 | 0 1693.54/1694.03 c 1694s | 27 | 11937698 | 11703833 | 380 78179 | 1 | 0 1695.54/1696.03 c 1696s | 27 | 11952208 | 11717933 | 380 78250 | 1 | 0 1697.54/1698.04 c 1698s | 27 | 11966190 | 11731533 | 380 78319 | 1 | 0 1699.54/1700.05 c 1700s | 27 | 11980531 | 11745533 | 380 78389 | 1 | 0 1701.54/1702.05 c 1702s | 27 | 11994971 | 11759533 | 380 78460 | 1 | 0 1703.54/1704.07 c 1704s | 27 | 12009244 | 11773333 | 380 78529 | 1 | 0 1705.54/1706.08 c 1706s | 27 | 12023504 | 11787233 | 380 78599 | 1 | 0 1707.54/1708.08 c 1708s | 27 | 12037895 | 11801333 | 380 78670 | 1 | 0 1709.54/1710.09 c 1710s | 27 | 12052217 | 11815233 | 380 78741 | 1 | 0 1711.64/1712.10 c 1712s | 27 | 12066151 | 11828933 | 380 78810 | 1 | 0 1713.64/1714.12 c 1714s | 27 | 12080333 | 11842733 | 380 78880 | 1 | 0 1715.65/1716.12 c 1716s | 27 | 12094606 | 11856733 | 380 78951 | 1 | 0 1717.64/1718.12 c 1718s | 27 | 12108579 | 11870433 | 380 79019 | 1 | 0 1719.64/1720.13 c 1720s | 27 | 12122801 | 11884533 | 380 79089 | 1 | 0 1721.64/1722.15 c 1722s | 27 | 12137340 | 11898933 | 380 79161 | 1 | 0 1723.63/1724.16 c 1724s | 27 | 12151528 | 11912933 | 380 79231 | 1 | 0 1725.64/1726.17 c 1726s | 27 | 12166312 | 11927333 | 380 79303 | 1 | 0 1727.63/1728.19 c 1728s | 27 | 12181201 | 11941833 | 380 79375 | 1 | 0 1729.73/1730.20 c 1730s | 27 | 12195662 | 11956033 | 380 79446 | 1 | 0 1731.73/1732.20 c 1732s | 27 | 12210209 | 11970333 | 380 79519 | 1 | 0 1733.73/1734.20 c 1734s | 27 | 12224168 | 11984133 | 380 79587 | 1 | 0 1735.73/1736.21 c 1736s | 27 | 12238198 | 11998033 | 380 79657 | 1 | 0 1737.73/1738.22 c 1738s | 27 | 12252502 | 12012233 | 380 79729 | 1 | 0 1739.73/1740.23 c 1740s | 27 | 12266785 | 12026233 | 380 79799 | 1 | 0 1741.73/1742.23 c 1742s | 27 | 12281313 | 12040433 | 380 79870 | 1 | 0 1743.73/1744.24 c 1744s | 27 | 12295916 | 12054733 | 380 79942 | 1 | 0 1745.73/1746.25 c 1746s | 27 | 12310660 | 12069233 | 380 80015 | 1 | 0 1747.73/1748.25 c 1748s | 27 | 12325553 | 12083933 | 380 80089 | 1 | 0 1749.73/1750.26 c 1750s | 27 | 12340153 | 12098233 | 380 80162 | 1 | 0 1751.73/1752.26 c 1752s | 27 | 12354786 | 12112533 | 380 80234 | 1 | 0 1753.73/1754.27 c 1754s | 27 | 12369261 | 12126633 | 380 80305 | 1 | 0 1755.73/1756.28 c 1756s | 27 | 12384149 | 12141133 | 380 80378 | 1 | 0 1757.73/1758.29 c 1758s | 27 | 12399342 | 12156033 | 380 80454 | 1 | 0 1759.83/1760.30 c 1760s | 27 | 12413916 | 12170233 | 380 80525 | 1 | 0 1761.83/1762.32 c 1762s | 27 | 12428891 | 12184733 | 380 80598 | 1 | 0 1763.83/1764.33 c 1764s | 27 | 12443455 | 12198933 | 380 80669 | 1 | 0 1765.83/1766.33 c 1766s | 27 | 12457583 | 12212833 | 380 80739 | 1 | 0 1767.83/1768.35 c 1768s | 27 | 12472225 | 12227233 | 380 80813 | 1 | 0 1769.83/1770.35 c 1770s | 27 | 12487167 | 12241833 | 380 80886 | 1 | 0 1771.83/1772.36 c 1772s | 27 | 12502359 | 12256633 | 380 80960 | 1 | 0 1773.83/1774.36 c 1774s | 27 | 12516844 | 12270833 | 380 81032 | 1 | 0 1775.83/1776.37 c 1776s | 27 | 12531580 | 12285233 | 380 81105 | 1 | 0 1777.82/1778.37 c 1778s | 27 | 12546238 | 12299533 | 380 81177 | 1 | 0 1779.82/1780.38 c 1780s | 27 | 12560603 | 12313633 | 380 81249 | 1 | 0 1781.82/1782.39 c 1782s | 27 | 12574660 | 12327533 | 380 81319 | 1 | 0 1783.83/1784.40 c 1784s | 27 | 12589311 | 12342033 | 380 81392 | 1 | 0 1785.93/1786.40 c 1786s | 27 | 12604239 | 12356733 | 380 81467 | 1 | 0 1787.92/1788.41 c 1788s | 27 | 12618983 | 12371233 | 380 81540 | 1 | 0 1789.93/1790.42 c 1790s | 27 | 12634232 | 12386133 | 380 81616 | 1 | 0 1791.92/1792.42 c 1792s | 27 | 12649144 | 12400733 | 380 81690 | 1 | 0 1793.92/1794.42 c 1794s | 27 | 12663592 | 12414833 | 380 81761 | 1 | 0 1795.93/1796.43 c 1796s | 27 | 12677869 | 12428733 | 380 81831 | 1 | 0 1797.92/1798.45 c 1798s | 27 | 12692221 | 12442733 | 380 81901 | 1 | 0 1799.92/1800.45 c 1800s | 27 | 12706655 | 12456933 | 380 81972 | 1 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4079738-1465244033/watcher-4079738-1465244033 -o /tmp/evaluation-result-4079738-1465244033/solver-4079738-1465244033 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079738-1465244033.opb pid=3988 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.26 2.30 2.27 3/179 3991 /proc/meminfo: memFree=29197456/32872528 swapFree=16384/1696552 [pid=3991] ppid=3988 vsize=612796 CPUtime=0 cores=0,2,4,6 /proc/3991/stat : 3991 (toysat) R 3988 3991 1166 0 -1 4202496 2265 0 0 0 0 0 0 0 20 0 4 0 106336342 627503104 2625 33554432000 4194304 16246674 140733639771280 140733639770704 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3991/statm: 153711 2634 441 2943 0 150605 0 [pid=3991/tid=3992] ppid=3988 vsize=629180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3992/stat : 3992 (toysat) S 3988 3991 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106336342 644280320 2693 33554432000 4194304 16246674 140733639771280 140561943080176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3991/tid=3993] ppid=3988 vsize=633276 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3993/stat : 3993 (toysat) S 3988 3991 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106336342 648474624 2709 33554432000 4194304 16246674 140733639771280 140561864436976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3991/tid=3994] ppid=3988 vsize=637372 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3994/stat : 3994 (toysat) S 3988 3991 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106336342 652668928 2724 33554432000 4194304 16246674 140733639771280 140561853963440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100206 s] /proc/loadavg: 2.26 2.30 2.27 3/179 3991 /proc/meminfo: memFree=29197456/32872528 swapFree=16384/1696552 [pid=3991] ppid=3988 vsize=1218116 CPUtime=0.08 cores=0,2,4,6 /proc/3991/stat : 3991 (toysat) R 3988 3991 1166 0 -1 4202496 18889 0 0 0 6 2 0 0 20 0 4 0 106336342 1247350784 19238 33554432000 4194304 16246674 140733639771280 140733639770704 5721708 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3991/statm: 304529 19246 753 2943 0 301423 0 [pid=3991/tid=3992] ppid=3988 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3992/stat : 3992 (toysat) S 3988 3991 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106336342 1247350784 19250 33554432000 4194304 16246674 140733639771280 140561943080176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3991/tid=3993] ppid=3988 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3993/stat : 3993 (toysat) S 3988 3991 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106336342 1247350784 19251 33554432000 4194304 16246674 140733639771280 140561864436976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3991/tid=3994] ppid=3988 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3994/stat : 3994 (toysat) S 3988 3991 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106336342 1247350784 19252 33554432000 4194304 16246674 140733639771280 140561853963440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200463 s] /proc/loadavg: 2.26 2.30 2.27 3/179 3991 /proc/meminfo: memFree=29197456/32872528 swapFree=16384/1696552 [pid=3991] ppid=3988 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/3991/stat : 3991 (toysat) R 3988 3991 1166 0 -1 4202496 33612 0 0 0 14 5 0 0 20 0 4 0 106336342 1247350784 33960 33554432000 4194304 16246674 140733639771280 140733639770704 13759916 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3991/statm: 304529 33970 753 2943 0 301423 0 [pid=3991/tid=3992] ppid=3988 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3992/stat : 3992 (toysat) S 3988 3991 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106336342 1247350784 33973 33554432000 4194304 16246674 140733639771280 140561943080176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3991/tid=3993] ppid=3988 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3993/stat : 3993 (toysat) S 3988 3991 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106336342 1247350784 33975 33554432000 4194304 16246674 140733639771280 140561864436976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3991/tid=3994] ppid=3988 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3994/stat : 3994 (toysat) S 3988 3991 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106336342 1247350784 33979 33554432000 4194304 16246674 140733639771280 140561853963440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300466 s] /proc/loadavg: 2.26 2.30 2.27 3/179 3991 /proc/meminfo: memFree=29197456/32872528 swapFree=16384/1696552 [pid=3991] ppid=3988 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/3991/stat : 3991 (toysat) R 3988 3991 1166 0 -1 4202496 48556 0 0 0 21 8 0 0 20 0 4 0 106336342 1247350784 48904 33554432000 4194304 16246674 140733639771280 140733639754280 5712452 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3991/statm: 304529 48913 753 2943 0 301423 0 [pid=3991/tid=3992] ppid=3988 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3992/stat : 3992 (toysat) S 3988 3991 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106336342 1247350784 48917 33554432000 4194304 16246674 140733639771280 140561943080176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3991/tid=3993] ppid=3988 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3993/stat : 3993 (toysat) S 3988 3991 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106336342 1247350784 48924 33554432000 4194304 16246674 140733639771280 140561864436976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3991/tid=3994] ppid=3988 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3994/stat : 3994 (toysat) S 3988 3991 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106336342 1247350784 48928 33554432000 4194304 16246674 140733639771280 140561853963440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700398 s] /proc/loadavg: 2.26 2.30 2.27 3/179 3991 /proc/meminfo: memFree=29197456/32872528 swapFree=16384/1696552 [pid=3991] ppid=3988 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/3991/stat : 3991 (toysat) R 3988 3991 1166 0 -1 4202496 109912 0 0 0 52 17 0 0 20 0 4 0 106336342 1247350784 110261 33554432000 4194304 16246674 140733639771280 140733639754280 5516309 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3991/statm: 304529 110264 753 2943 0 301423 0 [pid=3991/tid=3992] ppid=3988 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3992/stat : 3992 (toysat) S 3988 3991 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106336342 1247350784 110266 33554432000 4194304 16246674 140733639771280 140561943080176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3991/tid=3993] ppid=3988 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3993/stat : 3993 (toysat) S 3988 3991 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106336342 1247350784 110269 33554432000 4194304 16246674 140733639771280 140561864436976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3991/tid=3994] ppid=3988 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3994/stat : 3994 (toysat) S 3988 3991 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106336342 1247350784 110273 33554432000 4194304 16246674 140733639771280 140561853963440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.5004 s] /proc/loadavg: 2.26 2.30 2.27 3/183 3995 /proc/meminfo: memFree=28431140/32872528 swapFree=16384/1696552 [pid=3991] ppid=3988 vsize=1218116 CPUtime=1.49 cores=0,2,4,6 /proc/3991/stat : 3991 (toysat) R 3988 3991 1166 0 -1 4202496 240099 0 0 0 109 40 0 0 20 0 4 0 106336342 1247350784 240448 33554432000 4194304 16246674 140733639771280 140733639753152 13191557 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3991/statm: 304529 240453 753 2943 0 301423 0 [pid=3991/tid=3992] ppid=3988 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3992/stat : 3992 (toysat) S 3988 3991 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106336342 1247350784 240457 33554432000 4194304 16246674 140733639771280 140561943080176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3991/tid=3993] ppid=3988 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3993/stat : 3993 (toysat) S 3988 3991 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106336342 1247350784 240463 33554432000 4194304 16246674 140733639771280 140561864436976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3991/tid=3994] ppid=3988 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3994/stat : 3994 (toysat) S 3988 3991 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106336342 1247350784 240468 33554432000 4194304 16246674 140733639771280 140561853963440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1218116 [startup+3.1004 s] /proc/loadavg: 2.26 2.30 2.27 3/183 3995 /proc/meminfo: memFree=28214388/32872528 swapFree=16384/1696552 [pid=3991] ppid=3988 vsize=1306180 CPUtime=3.08 cores=0,2,4,6 /proc/3991/stat : 3991 (toysat) R 3988 3991 1166 0 -1 4202496 267373 0 0 0 249 59 0 0 20 0 4 0 106336342 1337528320 267698 33554432000 4194304 16246674 140733639771280 140733639753152 5712148 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3991/statm: 326545 267698 823 2943 0 323439 0 [pid=3991/tid=3992] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3992/stat : 3992 (toysat) S 3988 3991 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 267698 33554432000 4194304 16246674 140733639771280 140561943080176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3991/tid=3993] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3993/stat : 3993 (toysat) S 3988 3991 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 267698 33554432000 4194304 16246674 140733639771280 140561864436976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3991/tid=3994] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3994/stat : 3994 (toysat) S 3988 3991 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 267698 33554432000 4194304 16246674 140733639771280 140561853963440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1306180 [startup+6.3004 s] /proc/loadavg: 2.24 2.30 2.27 3/183 3995 /proc/meminfo: memFree=28127124/32872528 swapFree=16384/1696552 [pid=3991] ppid=3988 vsize=1306180 CPUtime=6.29 cores=0,2,4,6 /proc/3991/stat : 3991 (toysat) R 3988 3991 1166 0 -1 4202496 267448 0 0 0 538 91 0 0 20 0 4 0 106336342 1337528320 267773 33554432000 4194304 16246674 140733639771280 140733639753152 13759916 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3991/statm: 326545 267773 823 2943 0 323439 0 [pid=3991/tid=3992] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3992/stat : 3992 (toysat) S 3988 3991 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 267773 33554432000 4194304 16246674 140733639771280 140561943080176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3991/tid=3993] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3993/stat : 3993 (toysat) S 3988 3991 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 267773 33554432000 4194304 16246674 140733639771280 140561864436976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3991/tid=3994] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3994/stat : 3994 (toysat) S 3988 3991 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 267773 33554432000 4194304 16246674 140733639771280 140561853963440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.30 2.31 2.27 3/183 3995 /proc/meminfo: memFree=28127264/32872528 swapFree=16384/1696552 [pid=3991] ppid=3988 vsize=1306180 CPUtime=12.69 cores=0,2,4,6 /proc/3991/stat : 3991 (toysat) R 3988 3991 1166 0 -1 4202496 267448 0 0 0 1114 155 0 0 20 0 4 0 106336342 1337528320 267773 33554432000 4194304 16246674 140733639771280 140733639753152 13809224 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3991/statm: 326545 267773 823 2943 0 323439 0 [pid=3991/tid=3992] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3992/stat : 3992 (toysat) S 3988 3991 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 267773 33554432000 4194304 16246674 140733639771280 140561943080176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3991/tid=3993] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3993/stat : 3993 (toysat) S 3988 3991 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 267773 33554432000 4194304 16246674 140733639771280 140561864436976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3991/tid=3994] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3994/stat : 3994 (toysat) S 3988 3991 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 267773 33554432000 4194304 16246674 140733639771280 140561853963440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1306180 [startup+25.5073 s] /proc/loadavg: 2.31 2.31 2.27 3/183 3995 /proc/meminfo: memFree=28128044/32872528 swapFree=16384/1696552 [pid=3991] ppid=3988 vsize=1306180 CPUtime=25.49 cores=0,2,4,6 /proc/3991/stat : 3991 (toysat) R 3988 3991 1166 0 -1 4202496 267468 0 0 0 2266 283 0 0 20 0 4 0 106336342 1337528320 267793 33554432000 4194304 16246674 140733639771280 140733639753152 13949889 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3991/statm: 326545 267793 827 2943 0 323439 0 [pid=3991/tid=3992] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3992/stat : 3992 (toysat) S 3988 3991 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 267793 33554432000 4194304 16246674 140733639771280 140561943080176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3991/tid=3993] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3993/stat : 3993 (toysat) S 3988 3991 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 267793 33554432000 4194304 16246674 140733639771280 140561864436976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3991/tid=3994] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3994/stat : 3994 (toysat) S 3988 3991 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 267793 33554432000 4194304 16246674 140733639771280 140561853963440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1306180 [startup+51.1004 s] /proc/loadavg: 2.32 2.31 2.27 4/183 3995 /proc/meminfo: memFree=28127940/32872528 swapFree=16384/1696552 [pid=3991] ppid=3988 vsize=1306180 CPUtime=51.08 cores=0,2,4,6 /proc/3991/stat : 3991 (toysat) R 3988 3991 1166 0 -1 4202496 267474 0 0 0 4570 538 0 0 20 0 4 0 106336342 1337528320 267799 33554432000 4194304 16246674 140733639771280 140733639753152 5676365 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3991/statm: 326545 267799 827 2943 0 323439 0 [pid=3991/tid=3992] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3992/stat : 3992 (toysat) S 3988 3991 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 267799 33554432000 4194304 16246674 140733639771280 140561943080176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3991/tid=3993] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3993/stat : 3993 (toysat) S 3988 3991 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 267799 33554432000 4194304 16246674 140733639771280 140561864436976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3991/tid=3994] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3994/stat : 3994 (toysat) S 3988 3991 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 267799 33554432000 4194304 16246674 140733639771280 140561853963440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1306180 [startup+102.3 s] /proc/loadavg: 2.34 2.32 2.28 3/183 3997 /proc/meminfo: memFree=28127312/32872528 swapFree=16384/1696552 [pid=3991] ppid=3988 vsize=1306180 CPUtime=102.27 cores=0,2,4,6 /proc/3991/stat : 3991 (toysat) R 3988 3991 1166 0 -1 4202496 267494 0 0 0 9177 1050 0 0 20 0 4 0 106336342 1337528320 267819 33554432000 4194304 16246674 140733639771280 140733639753152 13191756 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3991/statm: 326545 267819 827 2943 0 323439 0 [pid=3991/tid=3992] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3992/stat : 3992 (toysat) S 3988 3991 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 267819 33554432000 4194304 16246674 140733639771280 140561943080176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3991/tid=3993] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3993/stat : 3993 (toysat) S 3988 3991 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 267819 33554432000 4194304 16246674 140733639771280 140561864436976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3991/tid=3994] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3994/stat : 3994 (toysat) S 3988 3991 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 267819 33554432000 4194304 16246674 140733639771280 140561853963440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1306180 ################ # More data... # ################ /proc/3991/task/3994/stat : 3994 (toysat) S 3988 3991 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 268201 33554432000 4194304 16246674 140733639771280 140561853963440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1242.02 Current children cumulated vsize (KiB) 1306180 [startup+1302.3 s] /proc/loadavg: 2.22 2.25 2.26 3/183 4075 /proc/meminfo: memFree=28150868/32872528 swapFree=16384/1696552 [pid=3991] ppid=3988 vsize=1306180 CPUtime=1301.99 cores=0,2,4,6 /proc/3991/stat : 3991 (toysat) R 3988 3991 1166 0 -1 4202496 267810 0 0 0 117216 12983 0 0 20 0 4 0 106336342 1337528320 268201 33554432000 4194304 16246674 140733639771280 140733639754280 6020690 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3991/statm: 326545 268201 829 2943 0 323439 0 [pid=3991/tid=3992] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3992/stat : 3992 (toysat) S 3988 3991 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 268201 33554432000 4194304 16246674 140733639771280 140561943080176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3991/tid=3993] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3993/stat : 3993 (toysat) S 3988 3991 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 268201 33554432000 4194304 16246674 140733639771280 140561864436976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3991/tid=3994] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3994/stat : 3994 (toysat) S 3988 3991 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 268201 33554432000 4194304 16246674 140733639771280 140561853963440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 1306180 [startup+1362.3 s] /proc/loadavg: 2.14 2.22 2.25 3/183 4076 /proc/meminfo: memFree=28150588/32872528 swapFree=16384/1696552 [pid=3991] ppid=3988 vsize=1306180 CPUtime=1361.97 cores=0,2,4,6 /proc/3991/stat : 3991 (toysat) R 3988 3991 1166 0 -1 4202496 267834 0 0 0 122617 13580 0 0 20 0 4 0 106336342 1337528320 268201 33554432000 4194304 16246674 140733639771280 140733639753152 13927401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3991/statm: 326545 268201 829 2943 0 323439 0 [pid=3991/tid=3992] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3992/stat : 3992 (toysat) S 3988 3991 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 268201 33554432000 4194304 16246674 140733639771280 140561943080176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3991/tid=3993] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3993/stat : 3993 (toysat) S 3988 3991 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 268201 33554432000 4194304 16246674 140733639771280 140561864436976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3991/tid=3994] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3994/stat : 3994 (toysat) S 3988 3991 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 268201 33554432000 4194304 16246674 140733639771280 140561853963440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 1306180 [startup+1422.3 s] /proc/loadavg: 2.15 2.21 2.24 4/183 4077 /proc/meminfo: memFree=28150468/32872528 swapFree=16384/1696552 [pid=3991] ppid=3988 vsize=1306180 CPUtime=1421.93 cores=0,2,4,6 /proc/3991/stat : 3991 (toysat) R 3988 3991 1166 0 -1 4202496 267867 0 0 0 128019 14174 0 0 20 0 4 0 106336342 1337528320 268201 33554432000 4194304 16246674 140733639771280 140733639754280 13965544 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3991/statm: 326545 268201 829 2943 0 323439 0 [pid=3991/tid=3992] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3992/stat : 3992 (toysat) S 3988 3991 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 268201 33554432000 4194304 16246674 140733639771280 140561943080176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3991/tid=3993] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3993/stat : 3993 (toysat) S 3988 3991 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 268201 33554432000 4194304 16246674 140733639771280 140561864436976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3991/tid=3994] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3994/stat : 3994 (toysat) S 3988 3991 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 268201 33554432000 4194304 16246674 140733639771280 140561853963440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1306180 [startup+1482.3 s] /proc/loadavg: 2.25 2.23 2.25 4/183 4078 /proc/meminfo: memFree=28150172/32872528 swapFree=16384/1696552 [pid=3991] ppid=3988 vsize=1306180 CPUtime=1481.91 cores=0,2,4,6 /proc/3991/stat : 3991 (toysat) R 3988 3991 1166 0 -1 4202496 267900 0 0 0 133421 14770 0 0 20 0 4 0 106336342 1337528320 268201 33554432000 4194304 16246674 140733639771280 140733639753152 5824912 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3991/statm: 326545 268201 829 2943 0 323439 0 [pid=3991/tid=3992] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3992/stat : 3992 (toysat) S 3988 3991 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 268201 33554432000 4194304 16246674 140733639771280 140561943080176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3991/tid=3993] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3993/stat : 3993 (toysat) S 3988 3991 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 268201 33554432000 4194304 16246674 140733639771280 140561864436976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3991/tid=3994] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3994/stat : 3994 (toysat) S 3988 3991 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 268201 33554432000 4194304 16246674 140733639771280 140561853963440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1306180 [startup+1542.3 s] /proc/loadavg: 2.19 2.21 2.24 3/183 4079 /proc/meminfo: memFree=28149964/32872528 swapFree=16384/1696552 [pid=3991] ppid=3988 vsize=1306180 CPUtime=1541.89 cores=0,2,4,6 /proc/3991/stat : 3991 (toysat) R 3988 3991 1166 0 -1 4202496 267940 0 0 0 138825 15364 0 0 20 0 4 0 106336342 1337528320 268201 33554432000 4194304 16246674 140733639771280 140733639753152 5721388 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3991/statm: 326545 268201 829 2943 0 323439 0 [pid=3991/tid=3992] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3992/stat : 3992 (toysat) S 3988 3991 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 268201 33554432000 4194304 16246674 140733639771280 140561943080176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3991/tid=3993] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3993/stat : 3993 (toysat) S 3988 3991 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 268201 33554432000 4194304 16246674 140733639771280 140561864436976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3991/tid=3994] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3994/stat : 3994 (toysat) S 3988 3991 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 268201 33554432000 4194304 16246674 140733639771280 140561853963440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1306180 [startup+1602.3 s] /proc/loadavg: 2.25 2.23 2.24 3/184 4084 /proc/meminfo: memFree=28149964/32872528 swapFree=16384/1696552 [pid=3991] ppid=3988 vsize=1306180 CPUtime=1601.86 cores=0,2,4,6 /proc/3991/stat : 3991 (toysat) R 3988 3991 1166 0 -1 4202496 267976 0 0 0 144233 15953 0 0 20 0 4 0 106336342 1337528320 268201 33554432000 4194304 16246674 140733639771280 140733639753152 12415720 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3991/statm: 326545 268201 829 2943 0 323439 0 [pid=3991/tid=3992] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3992/stat : 3992 (toysat) S 3988 3991 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 268201 33554432000 4194304 16246674 140733639771280 140561943080176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3991/tid=3993] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3993/stat : 3993 (toysat) S 3988 3991 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 268201 33554432000 4194304 16246674 140733639771280 140561864436976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3991/tid=3994] ppid=3988 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3994/stat : 3994 (toysat) S 3988 3991 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106336342 1337528320 268201 33554432000 4194304 16246674 140733639771280 140561853963440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1306180 [startup+1662.31 s] /proc/loadavg: 2.37 2.26 2.25 3/183 4085 /proc/meminfo: memFree=28148500/32872528 swapFree=16384/1696552 [pid=3991] ppid=3988 vsize=1307204 CPUtime=1661.85 cores=0,2,4,6 /proc/3991/stat : 3991 (toysat) R 3988 3991 1166 0 -1 4202496 268001 0 0 0 149658 16527 0 0 20 0 4 0 106336342 1338576896 268209 33554432000 4194304 16246674 140733639771280 140733639753152 5553608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3991/statm: 326801 268209 829 2943 0 323695 0 [pid=3991/tid=3992] ppid=3988 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3992/stat : 3992 (toysat) S 3988 3991 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106336342 1338576896 268209 33554432000 4194304 16246674 140733639771280 140561943080176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3991/tid=3993] ppid=3988 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3993/stat : 3993 (toysat) S 3988 3991 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106336342 1338576896 268209 33554432000 4194304 16246674 140733639771280 140561864436976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3991/tid=3994] ppid=3988 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3994/stat : 3994 (toysat) S 3988 3991 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106336342 1338576896 268209 33554432000 4194304 16246674 140733639771280 140561853963440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1307204 [startup+1722.3 s] /proc/loadavg: 2.31 2.26 2.25 3/183 4086 /proc/meminfo: memFree=28148048/32872528 swapFree=16384/1696552 [pid=3991] ppid=3988 vsize=1307204 CPUtime=1721.83 cores=0,2,4,6 /proc/3991/stat : 3991 (toysat) R 3988 3991 1166 0 -1 4202496 268010 0 0 0 155092 17091 0 0 20 0 4 0 106336342 1338576896 268218 33554432000 4194304 16246674 140733639771280 140733639753152 13963964 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3991/statm: 326801 268218 829 2943 0 323695 0 [pid=3991/tid=3992] ppid=3988 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3992/stat : 3992 (toysat) S 3988 3991 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106336342 1338576896 268218 33554432000 4194304 16246674 140733639771280 140561943080176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3991/tid=3993] ppid=3988 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3993/stat : 3993 (toysat) S 3988 3991 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106336342 1338576896 268218 33554432000 4194304 16246674 140733639771280 140561864436976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3991/tid=3994] ppid=3988 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3994/stat : 3994 (toysat) S 3988 3991 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106336342 1338576896 268218 33554432000 4194304 16246674 140733639771280 140561853963440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1307204 [startup+1782.3 s] /proc/loadavg: 2.16 2.22 2.24 3/183 4087 /proc/meminfo: memFree=28147840/32872528 swapFree=16384/1696552 [pid=3991] ppid=3988 vsize=1307204 CPUtime=1781.82 cores=0,2,4,6 /proc/3991/stat : 3991 (toysat) R 3988 3991 1166 0 -1 4202496 268010 0 0 0 160540 17642 0 0 20 0 4 0 106336342 1338576896 268218 33554432000 4194304 16246674 140733639771280 140733639754280 12474536 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3991/statm: 326801 268218 829 2943 0 323695 0 [pid=3991/tid=3992] ppid=3988 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3992/stat : 3992 (toysat) S 3988 3991 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106336342 1338576896 268218 33554432000 4194304 16246674 140733639771280 140561943080176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3991/tid=3993] ppid=3988 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3993/stat : 3993 (toysat) S 3988 3991 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106336342 1338576896 268218 33554432000 4194304 16246674 140733639771280 140561864436976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3991/tid=3994] ppid=3988 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3994/stat : 3994 (toysat) S 3988 3991 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106336342 1338576896 268218 33554432000 4194304 16246674 140733639771280 140561853963440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1307204 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.19 2.22 2.24 3/183 4088 /proc/meminfo: memFree=28147316/32872528 swapFree=16384/1696552 [pid=3991] ppid=3988 vsize=1307204 CPUtime=1800.03 cores=0,2,4,6 /proc/3991/stat : 3991 (toysat) R 3988 3991 1166 0 -1 4202496 268010 0 0 0 162190 17813 0 0 20 0 4 0 106336342 1338576896 268218 33554432000 4194304 16246674 140733639771280 140733639753152 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3991/statm: 326801 268218 829 2943 0 323695 0 [pid=3991/tid=3992] ppid=3988 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3992/stat : 3992 (toysat) S 3988 3991 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106336342 1338576896 268218 33554432000 4194304 16246674 140733639771280 140561943080176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3991/tid=3993] ppid=3988 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3993/stat : 3993 (toysat) S 3988 3991 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106336342 1338576896 268218 33554432000 4194304 16246674 140733639771280 140561864436976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3991/tid=3994] ppid=3988 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/3991/task/3994/stat : 3994 (toysat) S 3988 3991 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106336342 1338576896 268218 33554432000 4194304 16246674 140733639771280 140561853963440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1307204 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 3991 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.04 CPU user time (s): 1621.91 CPU system time (s): 178.131 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 1307204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1621.91 system time used= 178.131 maximum resident set size= 1072872 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 268010 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= 391 involuntary context switches= 1837 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.54631 second user time and 6.97594 second system time The end
Begin job on node125 at 2016-06-06 22:13:53 IDJOB=4079738 IDBENCH=2894 IDSOLVER=2542 FILE ID=node125/4079738-1465244033 RUNJOBID= node125-1465224138-1182 PBS_JOBID= 19843237 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_2.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079738-1465244033/watcher-4079738-1465244033 -o /tmp/evaluation-result-4079738-1465244033/solver-4079738-1465244033 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079738-1465244033.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6c673f615af1912eadc68b4290958076 RANDOM SEED=837660290 node125.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.456 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.91 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.456 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.56 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.456 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.456 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.456 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.456 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.456 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.456 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: 29197836 kB Buffers: 45132 kB Cached: 125000 kB SwapCached: 2016 kB Active: 1200908 kB Inactive: 72428 kB Active(anon): 1104224 kB Inactive(anon): 1380 kB Active(file): 96684 kB Inactive(file): 71048 kB Unevictable: 1696552 kB Mlocked: 16384 kB SwapTotal: 67108856 kB SwapFree: 67098492 kB Dirty: 16356 kB Writeback: 0 kB AnonPages: 2911388 kB Mapped: 10660 kB Shmem: 0 kB Slab: 568320 kB SReclaimable: 12408 kB SUnreclaim: 555912 kB KernelStack: 1520 kB PageTables: 9636 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2943484 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2889728 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71712 MiB End job on node125 at 2016-06-06 22:43:53