| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.52 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_60_4_80.opb |
| MD5SUM | fa22dd251e76880c1495cc1725a19f60 |
| Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1000 |
| Total number of constraints | 1502 |
| Number of constraints which are clauses | 500 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1000 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 80 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 74916 |
| Sum of products size (including duplicates) | 149832 |
| Number of different products | 37458 |
| Sum of products size | 74916 |
0.00/0.00 c 2016-06-18T22:20:01+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-4107030-1466281201.opb"] 0.00/0.01 c use --random-gen="3386239738 236356666 3419085736 3436996225 464995421 1489697846 1136555715 4171586405 1411331380 3017814901 1940935559 3003836312 1025157654 3537794323 4248422092 3198583322 3442567557 3296909523 2423450372 2296306839 1447065999 657172290 3675228765 1751580419 1805615671 3534499733 2250814033 458555698 3270512408 3366278948 331132231 276971207 4081187930 4249082002 1017253994 650683251 545468812 2840225336 462414274 1554001724 1217821610 1461807443 3329014755 561662073 897358482 225223628 3326346598 548052985 575449148 2096673693 3074692395 3313591609 3076737302 2784494428 3827610768 3109827158 458627072 659044979 2047179937 348437388 339604535 3027915598 3202562803 1972554643 2603432249 3152471117 2751523214 15128379 48867337 595576799 4147705833 2855921011 1770157059 1193756799 1911594326 3299059992 2061682668 1404602611 1115279642 1737086065 2769620616 2815711164 245792815 1044914068 2076095793 2478998299 2822064015 1469207767 454655051 715251831 335584951 931927007 2087401719 4273332394 866019104 3598841159 1924875445 2813988994 893698968 985091994 3300180009 2907138393 3890491246 4048326941 468641592 1295772306 3097698838 81177069 2986501469 1615350943 36367323 822594072 1211884159 38406225 2105486489 427010258 3143270968 1826306397 1093867374 236156721 1442913890 153854802 3008963329 3508687311 4129929645 3997526646 3606902095 4094426003 221607469 1904285904 187275704 404569731 2544322115 1099912903 1835185568 3642459099 3692982643 3657395200 3009439263 1296402320 3650736728 351723055 3176009926 275437889 62454743 826939726 1570363390 1231377181 3884855174 3688852940 960470144 3052777130 4255235975 1327805017 2928181634 993630366 1481062498 2169387005 445926930 2814362847 597952304 1450142538 179661579 4262275736 1147995552 1166064466 2775074649 3426040667 2069564818 3288851624 4003002705 2917514748 2943830125 3737565331 3029423456 182074971 3949132093 398947628 2922627853 3072189980 2765193531 295184759 736852251 2845991092 3522411002 152341171 983266891 2359569854 4121871724 2676085022 572767346 300731444 4021244140 1034516852 363370565 1345491417 1625441804 2795106975 118788078 926463883 3827331699 3649795157 2921681921 1919023210 4248181673 1958598162 3974094801 3769685323 3759894307 777800283 3645456483 2550708851 436072185 281559059 2260608279 3637846257 129658230 3033040920 298219634 2898417191 555409036 1696878692 982313265 266065525 3274814825 3113573152 3642885980 2570660540 2148398812 1313243298 772586740 1917793199 1728189656 1159650525 2524231601 4053024053 3413264828 4158199175 3201639382 2133331676 670588162 3054156725 1417847584 2587193327 681737190 2697080718 3143278776 3608085628 4111664144 2476266199 3798651002 751486655 517237525 2231111866 2862083444 3123688145 255 362436" option to reproduce the execution 0.19/0.21 c #vars 1000 0.19/0.21 c #constraints 1502 1.29/1.35 c Solving starts ... 1.29/1.35 c ============================[ Search Statistics ]============================ 1.29/1.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.35 c | | | | Limit GC | Var | Constra 1.29/1.35 c ============================================================================= 1.29/1.35 c 0.0s | 0 | 0 | 0 | 25806 0 | 0 | 0 1.69/1.76 c 0.4s | 1 | 663 | 100 | 25806 0 | 0 | 0 1.99/2.04 c 0.7s | 2 | 33528 | 250 | 28387 0 | 0 | 0 2.79/2.89 c 1.5s | 3 | 64478 | 475 | 31226 0 | 0 | 0 4.79/4.83 c 3.5s | 4 | 106975 | 813 | 34349 0 | 0 | 0 7.19/7.21 c 5.9s | 4 | 131419 | 1313 | 37784 0 | 0 | 0 7.19/7.29 c 5.9s | 5 | 131419 | 1320 | 37784 0 | 0 | 0 9.39/9.46 c 8.1s | 5 | 151743 | 1720 | 41563 0 | 0 | 0 11.29/11.33 c 10.0s | 6 | 158364 | 2081 | 45720 0 | 0 | 0 14.29/14.31 c 13.0s | 6 | 164123 | 2381 | 45720 0 | 0 | 0 16.49/16.58 c 15.2s | 6 | 168046 | 2581 | 45720 0 | 0 | 0 19.09/19.15 c 17.8s | 6 | 168825 | 2781 | 45720 0 | 0 | 0 22.29/22.34 c 21.0s | 6 | 174733 | 3081 | 45720 0 | 0 | 0 22.99/23.10 c 21.8s | 7 | 180201 | 3223 | 50293 0 | 0 | 0 25.49/25.59 c 24.2s | 7 | 180472 | 3423 | 50293 0 | 0 | 0 28.28/28.34 c 27.0s | 7 | 193631 | 3923 | 50293 0 | 0 | 0 30.58/30.67 c 29.3s | 7 | 193818 | 4123 | 50293 0 | 0 | 0 33.09/33.18 c 31.8s | 7 | 201437 | 4423 | 50293 0 | 0 | 0 35.29/35.32 c 34.0s | 7 | 202826 | 4723 | 50293 0 | 0 | 0 36.08/36.15 c 34.8s | 8 | 218086 | 4936 | 55323 0 | 0 | 0 38.08/38.19 c 36.8s | 8 | 229393 | 5336 | 55323 0 | 0 | 0 41.28/41.38 c 40.0s | 8 | 231410 | 5536 | 55323 0 | 0 | 0 43.58/43.66 c 42.3s | 8 | 231410 | 5636 | 55323 0 | 0 | 0 46.08/46.10 c 44.8s | 8 | 234234 | 5736 | 55323 0 | 0 | 0 48.28/48.37 c 47.0s | 8 | 241926 | 6036 | 55323 0 | 0 | 0 51.28/51.39 c 50.0s | 8 | 242273 | 6236 | 55323 0 | 0 | 0 53.99/54.08 c 52.7s | 8 | 252398 | 6736 | 55323 0 | 0 | 0 57.19/57.30 c 55.9s | 8 | 252582 | 6936 | 55323 0 | 0 | 0 59.58/59.61 c 58.3s | 8 | 259957 | 7136 | 55323 0 | 0 | 0 61.59/61.61 c 60.3s | 8 | 261429 | 7336 | 55323 0 | 0 | 0 63.28/63.33 c 62.0s | 9 | 268136 | 7506 | 60856 0 | 0 | 0 65.68/65.75 c 64.4s | 9 | 268683 | 7706 | 60856 0 | 0 | 0 69.68/69.79 c 68.4s | 9 | 270867 | 7906 | 60856 0 | 0 | 0 73.58/73.69 c 72.3s | 9 | 276632 | 8206 | 60856 0 | 0 | 0 75.78/75.82 c 74.5s | 9 | 289516 | 8506 | 60856 0 | 0 | 0 79.68/79.72 c 78.4s | 9 | 289667 | 8706 | 60856 0 | 0 | 0 82.48/82.58 c 81.2s | 9 | 289667 | 8806 | 60856 0 | 0 | 0 84.78/84.87 c 83.5s | 9 | 304550 | 9106 | 60856 0 | 0 | 0 87.17/87.23 c 85.9s | 9 | 305113 | 9306 | 60856 0 | 0 | 0 89.57/89.67 c 88.3s | 9 | 305257 | 9406 | 60856 0 | 0 | 0 91.77/91.85 c 90.5s | 9 | 316889 | 9806 | 60856 0 | 0 | 0 95.27/95.39 c 94.0s | 9 | 317093 | 10006 | 60856 0 | 0 | 0 97.88/97.96 c 96.6s | 9 | 317504 | 10106 | 60856 0 | 0 | 0 101.47/101.59 c 100s | 9 | 335988 | 10506 | 60856 0 | 0 | 0 103.77/103.89 c 102s | 9 | 335988 | 10606 | 60856 0 | 0 | 0 105.97/106.03 c 104s | 9 | 344043 | 10806 | 60856 0 | 0 | 0 108.07/108.10 c 106s | 9 | 353819 | 11206 | 60856 0 | 0 | 0 110.17/110.29 c 108s | 10 | 357822 | 11361 | 66942 0 | 0 | 0 112.47/112.57 c 111s | 10 | 370382 | 11661 | 66942 0 | 0 | 0 116.87/116.91 c 115s | 10 | 370712 | 11861 | 66942 0 | 0 | 0 119.07/119.13 c 117s | 10 | 385947 | 12261 | 66942 0 | 0 | 0 122.57/122.67 c 121s | 10 | 386156 | 12461 | 66942 0 | 0 | 0 124.77/124.84 c 123s | 10 | 386328 | 12561 | 66942 0 | 0 | 0 126.97/127.04 c 125s | 10 | 393320 | 12861 | 66942 0 | 0 | 0 129.78/129.89 c 128s | 10 | 393437 | 13061 | 66942 0 | 0 | 0 132.57/132.62 c 131s | 10 | 399524 | 13361 | 66942 0 | 0 | 0 135.97/136.00 c 134s | 10 | 405648 | 13761 | 66942 0 | 0 | 0 138.67/138.75 c 137s | 10 | 411786 | 14061 | 66942 0 | 0 | 0 141.67/141.73 c 140s | 10 | 423441 | 14361 | 66942 0 | 0 | 0 143.77/143.83 c 142s | 10 | 427334 | 14561 | 66942 0 | 0 | 0 146.66/146.73 c 145s | 10 | 432173 | 14861 | 66942 0 | 0 | 0 148.67/148.79 c 147s | 10 | 434561 | 15261 | 66942 0 | 0 | 0 151.46/151.50 c 150s | 10 | 440003 | 15761 | 66942 0 | 0 | 0 153.86/153.95 c 152s | 10 | 440113 | 15861 | 66942 0 | 0 | 0 156.17/156.25 c 154s | 10 | 440415 | 16061 | 66942 0 | 0 | 0 158.56/158.68 c 157s | 10 | 455088 | 16461 | 66942 0 | 0 | 0 162.66/162.75 c 161s | 10 | 455396 | 16661 | 66942 0 | 0 | 0 166.26/166.33 c 164s | 10 | 465507 | 16961 | 66942 0 | 0 | 0 168.56/168.62 c 167s | 10 | 466577 | 17061 | 73637 0 | 0 | 0 169.96/170.06 c 168s | 11 | 466678 | 17144 | 73637 0 | 0 | 0 172.36/172.45 c 171s | 11 | 487511 | 17544 | 73637 0 | 0 | 0 174.97/175.05 c 173s | 11 | 501296 | 17844 | 73637 0 | 0 | 0 177.17/177.21 c 175s | 11 | 501632 | 17944 | 73637 0 | 0 | 0 179.66/179.78 c 178s | 11 | 501632 | 18044 | 73637 0 | 0 | 0 181.86/181.91 c 180s | 11 | 518077 | 18244 | 73637 0 | 0 | 0 184.06/184.11 c 182s | 11 | 525121 | 18544 | 73637 0 | 0 | 0 187.16/187.21 c 185s | 11 | 533722 | 18744 | 73637 0 | 0 | 0 189.86/189.92 c 188s | 11 | 542981 | 19044 | 73637 0 | 0 | 0 192.16/192.29 c 190s | 11 | 556013 | 19344 | 73637 0 | 0 | 0 194.76/194.89 c 193s | 11 | 575520 | 19744 | 73637 0 | 0 | 0 198.36/198.42 c 197s | 11 | 582692 | 20044 | 73637 0 | 0 | 0 200.85/200.90 c 199s | 11 | 601307 | 20444 | 73637 0 | 0 | 0 202.95/203.09 c 201s | 11 | 614523 | 20844 | 73637 0 | 0 | 0 205.85/205.92 c 204s | 11 | 622929 | 21144 | 73637 0 | 0 | 0 208.45/208.50 c 207s | 11 | 624425 | 21344 | 73637 0 | 0 | 0 210.65/210.77 c 209s | 11 | 638642 | 21544 | 73637 0 | 0 | 0 213.25/213.35 c 212s | 11 | 647378 | 21844 | 73637 0 | 0 | 0 215.45/215.53 c 214s | 11 | 660495 | 22244 | 73637 0 | 0 | 0 218.15/218.29 c 216s | 11 | 665117 | 22544 | 73637 0 | 0 | 0 220.25/220.38 c 219s | 11 | 680652 | 22844 | 73637 0 | 0 | 0 222.35/222.49 c 221s | 11 | 690407 | 23244 | 73637 0 | 0 | 0 224.85/224.94 c 223s | 11 | 693190 | 23544 | 73637 0 | 0 | 0 227.05/227.14 c 225s | 11 | 703489 | 23944 | 73637 0 | 0 | 0 229.35/229.41 c 228s | 11 | 710523 | 24344 | 73637 0 | 0 | 0 231.56/231.67 c 230s | 11 | 713802 | 24644 | 73637 0 | 0 | 0 233.86/233.95 c 232s | 11 | 725353 | 25044 | 73637 0 | 0 | 0 236.06/236.12 c 234s | 11 | 732117 | 25444 | 73637 0 | 0 | 0 238.36/238.44 c 237s | 11 | 737768 | 25744 | 81001 0 | 0 | 0 238.66/238.76 c 237s | 12 | 743756 | 25819 | 81001 0 | 0 | 0 241.06/241.13 c 239s | 12 | 748579 | 26019 | 81001 0 | 0 | 0 243.66/243.73 c 242s | 12 | 749887 | 26219 | 81001 0 | 0 | 0 245.95/246.06 c 244s | 12 | 750564 | 26519 | 81001 0 | 0 | 0 248.15/248.24 c 246s | 12 | 781334 | 26819 | 81001 0 | 0 | 0 252.15/252.23 c 250s | 12 | 784288 | 27119 | 81001 0 | 0 | 0 254.75/254.85 c 253s | 12 | 796485 | 27419 | 81001 0 | 0 | 0 257.05/257.14 c 255s | 12 | 797018 | 27619 | 81001 0 | 0 | 0 259.35/259.44 c 258s | 12 | 816398 | 27919 | 81001 0 | 0 | 0 261.45/261.59 c 260s | 12 | 820502 | 28119 | 81001 0 | 0 | 0 264.85/264.96 c 263s | 12 | 820975 | 28319 | 81001 0 | 0 | 0 267.05/267.20 c 265s | 12 | 844210 | 28519 | 81001 0 | 0 | 0 269.65/269.72 c 268s | 12 | 848652 | 28919 | 81001 0 | 0 | 0 272.05/272.11 c 270s | 12 | 856382 | 29219 | 81001 0 | 0 | 0 274.35/274.48 c 273s | 12 | 858915 | 29419 | 81001 0 | 0 | 0 276.55/276.60 c 275s | 12 | 868523 | 29619 | 81001 0 | 0 | 0 278.65/278.74 c 277s | 12 | 878602 | 29919 | 81001 0 | 0 | 0 281.75/281.85 c 280s | 12 | 879155 | 30119 | 81001 0 | 0 | 0 284.15/284.23 c 282s | 12 | 915484 | 30519 | 81001 0 | 0 | 0 286.25/286.38 c 285s | 12 | 918260 | 30819 | 81001 0 | 0 | 0 288.85/288.98 c 287s | 12 | 920458 | 31019 | 81001 0 | 0 | 0 291.45/291.57 c 290s | 12 | 923558 | 31319 | 81001 0 | 0 | 0 293.85/293.90 c 292s | 12 | 924210 | 31519 | 81001 0 | 0 | 0 297.14/297.21 c 295s | 12 | 949156 | 31919 | 81001 0 | 0 | 0 299.54/299.69 c 298s | 12 | 949953 | 32119 | 81001 0 | 0 | 0 302.24/302.36 c 301s | 12 | 964485 | 32519 | 81001 0 | 0 | 0 304.84/305.00 c 303s | 12 | 971041 | 32819 | 81001 0 | 0 | 0 307.84/307.96 c 306s | 12 | 976964 | 33119 | 81001 0 | 0 | 0 310.15/310.22 c 308s | 12 | 982376 | 33519 | 81001 0 | 0 | 0 312.14/312.26 c 310s | 12 | 986377 | 33719 | 81001 0 | 0 | 0 314.65/314.71 c 313s | 12 | 987737 | 34019 | 81001 0 | 0 | 0 316.85/316.98 c 315s | 12 | 997842 | 34319 | 81001 0 | 0 | 0 319.05/319.19 c 317s | 12 | 1000250 | 34519 | 81001 0 | 0 | 0 322.14/322.20 c 320s | 12 | 1009246 | 34819 | 81001 0 | 0 | 0 324.64/324.72 c 323s | 12 | 1020245 | 35219 | 81001 0 | 0 | 0 326.75/326.83 c 325s | 12 | 1029111 | 35519 | 81001 0 | 0 | 0 328.85/328.93 c 327s | 12 | 1030434 | 35719 | 81001 0 | 0 | 0 331.44/331.50 c 330s | 12 | 1038682 | 36019 | 81001 0 | 0 | 0 333.64/333.73 c 332s | 12 | 1042251 | 36319 | 81001 0 | 0 | 0 336.04/336.13 c 334s | 12 | 1044898 | 36519 | 81001 0 | 0 | 0 338.34/338.49 c 337s | 12 | 1053503 | 36819 | 81001 0 | 0 | 0 341.04/341.14 c 339s | 12 | 1076037 | 37119 | 81001 0 | 0 | 0 343.14/343.30 c 341s | 12 | 1078046 | 37319 | 81001 0 | 0 | 0 345.74/345.89 c 344s | 12 | 1087790 | 37519 | 81001 0 | 0 | 0 348.54/348.63 c 347s | 12 | 1111130 | 37919 | 81001 0 | 0 | 0 350.84/351.00 c 349s | 12 | 1111922 | 38119 | 81001 0 | 0 | 0 353.24/353.39 c 352s | 12 | 1114176 | 38419 | 81001 0 | 0 | 0 355.73/355.87 c 354s | 12 | 1115571 | 38619 | 89102 0 | 0 | 0 357.33/357.44 c 356s | 13 | 1131128 | 38832 | 89102 0 | 0 | 0 359.93/360.05 c 358s | 13 | 1133153 | 39032 | 89102 0 | 0 | 0 362.43/362.59 c 361s | 13 | 1146089 | 39432 | 89102 0 | 0 | 0 365.73/365.85 c 364s | 13 | 1147968 | 39732 | 89102 0 | 0 | 0 367.83/367.91 c 366s | 13 | 1150179 | 40032 | 89102 0 | 0 | 0 370.13/370.22 c 368s | 13 | 1152497 | 40332 | 89102 0 | 0 | 0 372.13/372.28 c 370s | 13 | 1156462 | 40532 | 89102 0 | 0 | 0 374.33/374.45 c 373s | 13 | 1159673 | 40732 | 89102 0 | 0 | 0 376.93/377.00 c 375s | 13 | 1166420 | 41032 | 89102 0 | 0 | 0 379.23/379.37 c 378s | 13 | 1175306 | 41332 | 89102 0 | 0 | 0 381.83/381.90 c 380s | 13 | 1180442 | 41632 | 89102 0 | 0 | 0 384.33/384.43 c 383s | 13 | 1184783 | 42032 | 89102 0 | 0 | 0 387.03/387.13 c 385s | 13 | 1194838 | 42432 | 89102 0 | 0 | 0 389.33/389.45 c 388s | 13 | 1198394 | 42832 | 89102 0 | 0 | 0 391.63/391.73 c 390s | 13 | 1202719 | 43232 | 89102 0 | 0 | 0 393.74/393.90 c 392s | 13 | 1204125 | 43432 | 89102 0 | 0 | 0 396.13/396.23 c 394s | 13 | 1207121 | 43832 | 89102 0 | 0 | 0 398.43/398.52 c 397s | 13 | 1210369 | 44232 | 89102 0 | 0 | 0 400.93/401.06 c 399s | 13 | 1211999 | 44532 | 89102 0 | 0 | 0 403.03/403.10 c 401s | 13 | 1214592 | 44832 | 89102 0 | 0 | 0 405.13/405.26 c 403s | 13 | 1215558 | 45032 | 89102 0 | 0 | 0 407.33/407.49 c 406s | 13 | 1216952 | 45232 | 89102 0 | 0 | 0 409.63/409.77 c 408s | 13 | 1219792 | 45532 | 89102 0 | 0 | 0 412.33/412.41 c 411s | 13 | 1220960 | 45832 | 89102 0 | 0 | 0 414.74/414.83 c 413s | 13 | 1221822 | 46032 | 89102 0 | 0 | 0 417.33/417.46 c 416s | 13 | 1232708 | 46232 | 89102 0 | 0 | 0 420.53/420.68 c 419s | 13 | 1244395 | 46532 | 89102 0 | 0 | 0 424.93/425.07 c 423s | 13 | 1244770 | 46732 | 89102 0 | 0 | 0 427.03/427.19 c 425s | 13 | 1285246 | 47032 | 89102 0 | 0 | 0 431.63/431.70 c 430s | 13 | 1285349 | 47232 | 89102 0 | 0 | 0 433.93/434.05 c 432s | 13 | 1309460 | 47432 | 89102 0 | 0 | 0 436.32/436.40 c 435s | 13 | 1333023 | 47732 | 89102 0 | 0 | 0 438.72/438.87 c 437s | 13 | 1334613 | 47932 | 89102 0 | 0 | 0 441.13/441.22 c 439s | 13 | 1335386 | 48132 | 89102 0 | 0 | 0 443.72/443.80 c 442s | 13 | 1385287 | 48632 | 89102 0 | 0 | 0 445.72/445.82 c 444s | 13 | 1413354 | 48932 | 89102 0 | 0 | 0 448.12/448.23 c 446s | 13 | 1417468 | 49132 | 89102 0 | 0 | 0 450.93/451.02 c 449s | 13 | 1417949 | 49332 | 89102 0 | 0 | 0 453.13/453.30 c 451s | 13 | 1463091 | 49732 | 89102 0 | 0 | 0 455.82/455.92 c 454s | 13 | 1469263 | 50032 | 89102 0 | 0 | 0 458.02/458.19 c 456s | 13 | 1469495 | 50232 | 89102 0 | 0 | 0 460.12/460.22 c 458s | 13 | 1501964 | 50532 | 89102 0 | 0 | 0 463.22/463.34 c 461s | 13 | 1505798 | 50732 | 89102 0 | 0 | 0 465.72/465.89 c 464s | 13 | 1506176 | 50932 | 89102 0 | 0 | 0 467.92/468.00 c 466s | 13 | 1530242 | 51232 | 89102 0 | 0 | 0 470.52/470.66 c 469s | 13 | 1546054 | 51532 | 89102 0 | 0 | 0 472.93/473.07 c 471s | 13 | 1547818 | 51732 | 89102 0 | 0 | 0 475.92/476.03 c 474s | 13 | 1547979 | 51932 | 89102 0 | 0 | 0 478.12/478.22 c 476s | 13 | 1562666 | 52232 | 89102 0 | 0 | 0 480.92/481.09 c 479s | 13 | 1564290 | 52432 | 89102 0 | 0 | 0 483.22/483.38 c 482s | 13 | 1565875 | 52632 | 89102 0 | 0 | 0 486.01/486.18 c 484s | 13 | 1586828 | 52932 | 89102 0 | 0 | 0 488.21/488.39 c 487s | 13 | 1588867 | 53232 | 89102 0 | 0 | 0 491.11/491.24 c 489s | 13 | 1622399 | 53632 | 89102 0 | 0 | 0 493.31/493.47 c 492s | 13 | 1625782 | 53932 | 89102 0 | 0 | 0 495.71/495.82 c 494s | 13 | 1626418 | 54132 | 89102 0 | 0 | 0 497.81/497.92 c 496s | 13 | 1647671 | 54432 | 89102 0 | 0 | 0 500.61/500.73 c 499s | 13 | 1654237 | 54732 | 89102 0 | 0 | 0 502.91/503.02 c 501s | 13 | 1673360 | 55032 | 89102 0 | 0 | 0 505.21/505.39 c 504s | 13 | 1678336 | 55232 | 89102 0 | 0 | 0 507.51/507.63 c 506s | 13 | 1698050 | 55532 | 89102 0 | 0 | 0 510.01/510.11 c 508s | 13 | 1702404 | 55732 | 89102 0 | 0 | 0 512.11/512.26 c 510s | 13 | 1715959 | 56032 | 89102 0 | 0 | 0 515.11/515.21 c 513s | 13 | 1721196 | 56332 | 89102 0 | 0 | 0 517.31/517.43 c 516s | 13 | 1721391 | 56432 | 89102 0 | 0 | 0 519.81/519.98 c 518s | 13 | 1741670 | 56732 | 89102 0 | 0 | 0 523.01/523.16 c 521s | 13 | 1744303 | 57032 | 89102 0 | 0 | 0 525.41/525.53 c 524s | 13 | 1762280 | 57332 | 89102 0 | 0 | 0 528.40/528.50 c 527s | 13 | 1764751 | 57632 | 89102 0 | 0 | 0 530.50/530.67 c 529s | 13 | 1781458 | 57932 | 89102 0 | 0 | 0 532.60/532.77 c 531s | 13 | 1784320 | 58132 | 98013 0 | 0 | 0 534.70/534.86 c 533s | 13 | 1784701 | 58232 | 98013 0 | 0 | 0 535.20/535.35 c 534s | 14 | 1785148 | 58352 | 98013 0 | 0 | 0 537.30/537.42 c 536s | 14 | 1801310 | 58452 | 98013 0 | 0 | 0 540.01/540.11 c 538s | 14 | 1805138 | 58652 | 98013 0 | 0 | 0 542.40/542.50 c 541s | 14 | 1816992 | 58952 | 98013 0 | 0 | 0 544.51/544.64 c 543s | 14 | 1831196 | 59152 | 98013 0 | 0 | 0 546.90/547.01 c 545s | 14 | 1834526 | 59452 | 98013 0 | 0 | 0 549.30/549.41 c 548s | 14 | 1849743 | 59752 | 98013 0 | 0 | 0 551.50/551.65 c 550s | 14 | 1852086 | 60052 | 98013 0 | 0 | 0 553.60/553.75 c 552s | 14 | 1865782 | 60352 | 98013 0 | 0 | 0 555.80/555.90 c 554s | 14 | 1872000 | 60552 | 98013 0 | 0 | 0 557.80/557.94 c 556s | 14 | 1873748 | 60852 | 98013 0 | 0 | 0 560.30/560.44 c 559s | 14 | 1890552 | 61152 | 98013 0 | 0 | 0 562.90/563.02 c 561s | 14 | 1891344 | 61352 | 98013 0 | 0 | 0 564.90/565.08 c 563s | 14 | 1911082 | 61652 | 98013 0 | 0 | 0 567.90/568.05 c 566s | 14 | 1913052 | 61952 | 98013 0 | 0 | 0 570.30/570.41 c 569s | 14 | 1929487 | 62252 | 98013 0 | 0 | 0 572.90/573.06 c 571s | 14 | 1937668 | 62552 | 98013 0 | 0 | 0 575.40/575.57 c 574s | 14 | 1948587 | 62852 | 98013 0 | 0 | 0 578.09/578.21 c 576s | 14 | 1957159 | 63152 | 98013 0 | 0 | 0 580.19/580.38 c 579s | 14 | 1961271 | 63452 | 98013 0 | 0 | 0 583.19/583.36 c 582s | 14 | 1984166 | 63752 | 98013 0 | 0 | 0 585.49/585.62 c 584s | 14 | 1986607 | 64052 | 98013 0 | 0 | 0 588.09/588.26 c 586s | 14 | 1998398 | 64352 | 98013 0 | 0 | 0 590.19/590.39 c 589s | 14 | 2000962 | 64652 | 98013 0 | 0 | 0 593.09/593.20 c 591s | 14 | 2017774 | 64952 | 98013 0 | 0 | 0 595.19/595.33 c 593s | 14 | 2019881 | 65152 | 98013 0 | 0 | 0 597.30/597.49 c 596s | 14 | 2032652 | 65352 | 98013 0 | 0 | 0 599.89/600.02 c 598s | 14 | 2039546 | 65552 | 98013 0 | 0 | 0 603.39/603.51 c 602s | 14 | 2050531 | 65952 | 98013 0 | 0 | 0 605.49/605.66 c 604s | 14 | 2052556 | 66152 | 98013 0 | 0 | 0 608.19/608.33 c 606s | 14 | 2064016 | 66452 | 98013 0 | 0 | 0 610.59/610.76 c 609s | 14 | 2072443 | 66752 | 98013 0 | 0 | 0 613.39/613.56 c 612s | 14 | 2073952 | 66952 | 98013 0 | 0 | 0 616.29/616.47 c 615s | 14 | 2081197 | 67252 | 98013 0 | 0 | 0 618.99/619.15 c 617s | 14 | 2086673 | 67552 | 98013 0 | 0 | 0 622.18/622.37 c 621s | 14 | 2089691 | 67852 | 98013 0 | 0 | 0 624.28/624.42 c 623s | 14 | 2092082 | 68052 | 98013 0 | 0 | 0 626.68/626.86 c 625s | 14 | 2092980 | 68252 | 98013 0 | 0 | 0 629.38/629.53 c 628s | 14 | 2093455 | 68452 | 98013 0 | 0 | 0 631.98/632.18 c 630s | 14 | 2094131 | 68652 | 98013 0 | 0 | 0 634.78/634.91 c 633s | 14 | 2099578 | 68952 | 98013 0 | 0 | 0 636.98/637.17 c 635s | 14 | 2166291 | 69352 | 98013 0 | 0 | 0 639.88/640.06 c 638s | 14 | 2215144 | 69752 | 98013 0 | 0 | 0 642.39/642.51 c 641s | 14 | 2219267 | 69952 | 98013 0 | 0 | 0 644.38/644.53 c 643s | 14 | 2276470 | 70252 | 98013 0 | 0 | 0 647.98/648.10 c 646s | 14 | 2310092 | 70652 | 98013 0 | 0 | 0 650.88/651.02 c 649s | 14 | 2367526 | 71152 | 98013 0 | 0 | 0 653.28/653.45 c 652s | 14 | 2377861 | 71452 | 98013 0 | 0 | 0 655.48/655.69 c 654s | 14 | 2440415 | 71852 | 98013 0 | 0 | 0 658.27/658.43 c 657s | 14 | 2490858 | 72252 | 98013 0 | 0 | 0 660.67/660.83 c 659s | 14 | 2492186 | 72452 | 98013 0 | 0 | 0 663.47/663.67 c 662s | 14 | 2544909 | 72852 | 98013 0 | 0 | 0 665.86/666.03 c 664s | 14 | 2549748 | 73052 | 98013 0 | 0 | 0 668.46/668.61 c 667s | 14 | 2605099 | 73452 | 98013 0 | 0 | 0 670.76/670.93 c 669s | 14 | 2613089 | 73652 | 98013 0 | 0 | 0 672.96/673.16 c 671s | 14 | 2629290 | 73852 | 98013 0 | 0 | 0 675.66/675.89 c 674s | 14 | 2667303 | 74152 | 98013 0 | 0 | 0 677.76/677.98 c 676s | 14 | 2670044 | 74352 | 98013 0 | 0 | 0 680.26/680.49 c 679s | 14 | 2717065 | 74752 | 98013 0 | 0 | 0 682.76/682.96 c 681s | 14 | 2746791 | 75252 | 98013 0 | 0 | 0 685.06/685.25 c 683s | 14 | 2757351 | 75452 | 98013 0 | 0 | 0 687.15/687.38 c 686s | 14 | 2792889 | 75752 | 98013 0 | 0 | 0 689.75/689.92 c 688s | 14 | 2796815 | 75952 | 98013 0 | 0 | 0 691.86/692.06 c 690s | 14 | 2818865 | 76352 | 98013 0 | 0 | 0 694.65/694.82 c 693s | 14 | 2830710 | 76652 | 98013 0 | 0 | 0 697.04/697.20 c 695s | 14 | 2849168 | 76952 | 98013 0 | 0 | 0 699.45/699.70 c 698s | 14 | 2867811 | 77252 | 98013 0 | 0 | 0 701.94/702.14 c 700s | 14 | 2879030 | 77552 | 98013 0 | 0 | 0 704.14/704.39 c 703s | 14 | 2895007 | 77852 | 98013 0 | 0 | 0 706.44/706.63 c 705s | 14 | 2908149 | 78152 | 98013 0 | 0 | 0 708.54/708.75 c 707s | 14 | 2923947 | 78452 | 98013 0 | 0 | 0 710.84/711.08 c 709s | 14 | 2938000 | 78752 | 98013 0 | 0 | 0 713.04/713.27 c 711s | 14 | 2954539 | 79052 | 98013 0 | 0 | 0 715.34/715.56 c 714s | 14 | 2967474 | 79352 | 98013 0 | 0 | 0 717.83/718.09 c 716s | 14 | 2983560 | 79752 | 98013 0 | 0 | 0 721.03/721.27 c 719s | 14 | 2992344 | 80052 | 98013 0 | 0 | 0 723.33/723.54 c 722s | 14 | 3002303 | 80352 | 98013 0 | 0 | 0 725.33/725.56 c 724s | 14 | 3016381 | 80652 | 98013 0 | 0 | 0 727.43/727.61 c 726s | 14 | 3023987 | 81052 | 98013 0 | 0 | 0 730.23/730.42 c 729s | 14 | 3030864 | 81352 | 98013 0 | 0 | 0 732.83/733.08 c 731s | 14 | 3037817 | 81652 | 98013 0 | 0 | 0 735.03/735.28 c 733s | 14 | 3043574 | 82052 | 98013 0 | 0 | 0 737.72/737.95 c 736s | 14 | 3048403 | 82352 | 98013 0 | 0 | 0 740.02/740.21 c 738s | 14 | 3051745 | 82652 | 98013 0 | 0 | 0 742.43/742.62 c 741s | 14 | 3067004 | 82952 | 98013 0 | 0 | 0 744.72/744.92 c 743s | 14 | 3082768 | 83252 | 98013 0 | 0 | 0 746.73/746.93 c 745s | 14 | 3112653 | 83552 | 98013 0 | 0 | 0 749.22/749.44 c 748s | 14 | 3160222 | 83952 | 98013 0 | 0 | 0 751.32/751.59 c 750s | 14 | 3177825 | 84252 | 98013 0 | 0 | 0 753.52/753.79 c 752s | 14 | 3204291 | 84652 | 98013 0 | 0 | 0 755.63/755.81 c 754s | 14 | 3233443 | 85052 | 98013 0 | 0 | 0 757.92/758.16 c 756s | 14 | 3263288 | 85452 | 98013 0 | 0 | 0 759.92/760.17 c 758s | 14 | 3292501 | 85852 | 98013 0 | 0 | 0 762.12/762.38 c 761s | 14 | 3314260 | 86252 | 98013 0 | 0 | 0 764.82/765.05 c 763s | 14 | 3345615 | 86752 | 98013 0 | 0 | 0 767.01/767.23 c 765s | 14 | 3356692 | 87252 | 107815 0 | 0 | 0 769.01/769.21 c 767s | 15 | 3362487 | 87632 | 107815 0 | 0 | 0 771.81/772.02 c 770s | 15 | 3371144 | 87732 | 107815 0 | 0 | 0 774.01/774.23 c 772s | 15 | 3387490 | 88032 | 107815 0 | 0 | 0 776.10/776.37 c 775s | 15 | 3434184 | 88332 | 107815 0 | 0 | 0 778.50/778.76 c 777s | 15 | 3442407 | 88632 | 107815 0 | 0 | 0 780.60/780.87 c 779s | 15 | 3462474 | 89032 | 107815 0 | 0 | 0 783.01/783.21 c 781s | 15 | 3475965 | 89332 | 107815 0 | 0 | 0 785.10/785.32 c 783s | 15 | 3508347 | 89632 | 107815 0 | 0 | 0 787.20/787.45 c 786s | 15 | 3521209 | 89932 | 107815 0 | 0 | 0 789.40/789.63 c 788s | 15 | 3543334 | 90232 | 107815 0 | 0 | 0 791.60/791.83 c 790s | 15 | 3551406 | 90532 | 107815 0 | 0 | 0 794.00/794.26 c 792s | 15 | 3570070 | 90832 | 107815 0 | 0 | 0 796.09/796.33 c 794s | 15 | 3585776 | 91132 | 107815 0 | 0 | 0 798.69/798.96 c 797s | 15 | 3602432 | 91532 | 107815 0 | 0 | 0 801.40/801.61 c 800s | 15 | 3609726 | 91832 | 107815 0 | 0 | 0 803.70/803.99 c 802s | 15 | 3619972 | 92132 | 107815 0 | 0 | 0 805.99/806.28 c 804s | 15 | 3630248 | 92532 | 107815 0 | 0 | 0 808.59/808.80 c 807s | 15 | 3632745 | 92832 | 107815 0 | 0 | 0 810.99/811.28 c 809s | 15 | 3709300 | 93332 | 107815 0 | 0 | 0 813.29/813.57 c 812s | 15 | 3714262 | 93532 | 107815 0 | 0 | 0 815.39/815.63 c 814s | 15 | 3736230 | 93732 | 107815 0 | 0 | 0 817.89/818.14 c 816s | 15 | 3788429 | 94132 | 107815 0 | 0 | 0 819.89/820.16 c 818s | 15 | 3839521 | 94532 | 107815 0 | 0 | 0 821.89/822.19 c 820s | 15 | 3868790 | 94832 | 107815 0 | 0 | 0 824.49/824.72 c 823s | 15 | 3904829 | 95232 | 107815 0 | 0 | 0 826.49/826.74 c 825s | 15 | 3910823 | 95432 | 107815 0 | 0 | 0 828.69/828.96 c 827s | 15 | 3959129 | 95832 | 107815 0 | 0 | 0 830.68/830.99 c 829s | 15 | 3984561 | 96132 | 107815 0 | 0 | 0 832.88/833.15 c 831s | 15 | 3998818 | 96432 | 107815 0 | 0 | 0 835.18/835.40 c 834s | 15 | 4032995 | 96832 | 107815 0 | 0 | 0 837.38/837.66 c 836s | 15 | 4077439 | 97232 | 107815 0 | 0 | 0 839.58/839.80 c 838s | 15 | 4092083 | 97732 | 107815 0 | 0 | 0 841.58/841.86 c 840s | 15 | 4117669 | 98232 | 107815 0 | 0 | 0 843.88/844.16 c 842s | 15 | 4149200 | 98832 | 107815 0 | 0 | 0 846.07/846.33 c 844s | 15 | 4170268 | 99332 | 107815 0 | 0 | 0 848.37/848.62 c 847s | 15 | 4191440 | 99832 | 107815 0 | 0 | 0 850.47/850.78 c 849s | 15 | 4208878 | 100332 | 107815 0 | 0 | 0 852.87/853.11 c 851s | 15 | 4222926 | 100932 | 107815 0 | 0 | 0 855.07/855.37 c 854s | 15 | 4242525 | 101432 | 107815 0 | 0 | 0 857.46/857.72 c 856s | 15 | 4258403 | 101832 | 107815 0 | 0 | 0 859.56/859.83 c 858s | 15 | 4284224 | 102232 | 107815 0 | 0 | 0 861.66/862.00 c 860s | 15 | 4305573 | 102532 | 107815 0 | 0 | 0 864.66/864.92 c 863s | 15 | 4320581 | 102932 | 107815 0 | 0 | 0 866.96/867.22 c 865s | 15 | 4334101 | 103232 | 107815 0 | 0 | 0 869.46/869.74 c 868s | 15 | 4345132 | 103532 | 107815 0 | 0 | 0 872.07/872.36 c 871s | 15 | 4356203 | 103832 | 107815 0 | 0 | 0 874.86/875.16 c 873s | 15 | 4374253 | 104232 | 107815 0 | 0 | 0 877.16/877.45 c 876s | 15 | 4385097 | 104632 | 107815 0 | 0 | 0 879.66/879.99 c 878s | 15 | 4398826 | 105032 | 107815 0 | 0 | 0 881.85/882.14 c 880s | 15 | 4411251 | 105332 | 107815 0 | 0 | 0 884.35/884.68 c 883s | 15 | 4433103 | 105632 | 107815 0 | 0 | 0 887.25/887.54 c 886s | 15 | 4466463 | 106032 | 107815 0 | 0 | 0 889.85/890.15 c 888s | 15 | 4498331 | 106432 | 107815 0 | 0 | 0 892.15/892.41 c 891s | 15 | 4505611 | 106732 | 107815 0 | 0 | 0 894.16/894.44 c 893s | 15 | 4536871 | 107032 | 107815 0 | 0 | 0 896.54/896.82 c 895s | 15 | 4613110 | 107432 | 107815 0 | 0 | 0 899.65/899.93 c 898s | 15 | 4627283 | 107732 | 107815 0 | 0 | 0 902.85/903.19 c 901s | 15 | 4698421 | 108232 | 107815 0 | 0 | 0 907.25/907.54 c 906s | 15 | 4711548 | 108432 | 107815 1 | 0 | 0 909.45/909.79 c 908s | 15 | 4767476 | 108832 | 107815 1 | 0 | 0 911.65/911.96 c 910s | 15 | 4803093 | 109232 | 107815 1 | 0 | 0 914.73/915.03 c 913s | 15 | 4832528 | 109532 | 107815 1 | 0 | 0 917.13/917.48 c 916s | 15 | 4883697 | 110032 | 107815 1 | 0 | 0 919.43/919.76 c 918s | 15 | 4937063 | 110432 | 107815 1 | 0 | 0 921.83/922.18 c 920s | 15 | 4973050 | 110832 | 107815 1 | 0 | 0 923.93/924.21 c 922s | 15 | 5000069 | 111132 | 107815 1 | 0 | 0 926.03/926.31 c 924s | 15 | 5024472 | 111432 | 107815 1 | 0 | 0 928.42/928.70 c 927s | 15 | 5062396 | 111832 | 107815 1 | 0 | 0 930.52/930.84 c 929s | 15 | 5070069 | 112032 | 107815 1 | 0 | 0 932.92/933.23 c 931s | 15 | 5106449 | 112432 | 107815 1 | 0 | 0 935.42/935.71 c 934s | 15 | 5153841 | 112932 | 107815 1 | 0 | 0 937.42/937.72 c 936s | 15 | 5187626 | 113332 | 107815 1 | 0 | 0 939.42/939.79 c 938s | 15 | 5222858 | 113832 | 107815 1 | 0 | 0 941.91/942.28 c 940s | 15 | 5259302 | 114332 | 107815 1 | 0 | 0 944.01/944.39 c 943s | 15 | 5302774 | 114832 | 107815 1 | 0 | 0 946.31/946.61 c 945s | 15 | 5308441 | 115032 | 107815 1 | 0 | 0 948.91/949.24 c 947s | 15 | 5354684 | 115432 | 107815 1 | 0 | 0 951.22/951.53 c 950s | 15 | 5371370 | 115732 | 107815 1 | 0 | 0 954.01/954.38 c 953s | 15 | 5401157 | 116132 | 107815 1 | 0 | 0 956.62/956.93 c 955s | 15 | 5434490 | 116532 | 107815 1 | 0 | 0 959.12/959.47 c 958s | 15 | 5464944 | 116932 | 107815 1 | 0 | 0 961.72/962.04 c 960s | 15 | 5482721 | 117232 | 107815 1 | 0 | 0 963.82/964.19 c 962s | 15 | 5501853 | 117532 | 107815 1 | 0 | 0 966.32/966.61 c 965s | 15 | 5515899 | 117832 | 107815 1 | 0 | 0 968.51/968.81 c 967s | 15 | 5531826 | 118132 | 107815 1 | 0 | 0 970.91/971.23 c 969s | 15 | 5543068 | 118432 | 107815 1 | 0 | 0 972.91/973.26 c 971s | 15 | 5551217 | 118632 | 107815 1 | 0 | 0 975.61/975.95 c 974s | 15 | 5560087 | 118932 | 107815 1 | 0 | 0 978.21/978.51 c 977s | 15 | 5565719 | 119232 | 107815 1 | 0 | 0 980.92/981.28 c 979s | 15 | 5570430 | 119532 | 107815 1 | 0 | 0 983.01/983.37 c 982s | 15 | 5574497 | 119732 | 107815 1 | 0 | 0 992.61/992.96 c 991s | 15 | 5592286 | 120032 | 107815 1 | 0 | 0 994.71/995.01 c 993s | 15 | 5619961 | 120532 | 107815 1 | 0 | 0 996.90/997.28 c 995s | 15 | 5646003 | 121132 | 107815 1 | 0 | 0 999.40/999.76 c 998s | 15 | 5686546 | 121732 | 107815 1 | 0 | 0 1001.60/1001.99 c 1000s | 15 | 5721698 | 122132 | 107815 1 | 0 | 0 1003.80/1004.17 c 1002s | 15 | 5736276 | 122432 | 107815 1 | 0 | 0 1006.40/1006.73 c 1005s | 15 | 5774387 | 122932 | 107815 1 | 0 | 0 1008.51/1008.82 c 1007s | 15 | 5811638 | 123332 | 107815 1 | 0 | 0 1010.71/1011.08 c 1009s | 15 | 5840172 | 123732 | 107815 1 | 0 | 0 1013.10/1013.44 c 1012s | 15 | 5860621 | 124032 | 107815 1 | 0 | 0 1015.30/1015.60 c 1014s | 15 | 5880098 | 124332 | 107815 1 | 0 | 0 1017.70/1018.04 c 1016s | 15 | 5913539 | 124732 | 107815 1 | 0 | 0 1020.20/1020.53 c 1019s | 15 | 5944060 | 125132 | 107815 1 | 0 | 0 1022.50/1022.84 c 1021s | 15 | 5975283 | 125532 | 107815 1 | 0 | 0 1024.50/1024.88 c 1023s | 15 | 6005207 | 126032 | 107815 1 | 0 | 0 1026.59/1026.91 c 1025s | 15 | 6011143 | 126332 | 107815 1 | 0 | 0 1029.09/1029.43 c 1028s | 15 | 6023211 | 126632 | 107815 1 | 0 | 0 1031.89/1032.26 c 1030s | 15 | 6029229 | 126932 | 107815 1 | 0 | 0 1034.59/1034.98 c 1033s | 15 | 6047771 | 127332 | 107815 1 | 0 | 0 1036.59/1036.99 c 1035s | 15 | 6061089 | 127632 | 107815 1 | 0 | 0 1039.09/1039.48 c 1038s | 15 | 6066687 | 127932 | 107815 1 | 0 | 0 1041.29/1041.63 c 1040s | 15 | 6111577 | 128232 | 107815 1 | 0 | 0 1043.60/1043.99 c 1042s | 15 | 6145509 | 128532 | 107815 1 | 0 | 0 1045.90/1046.24 c 1044s | 15 | 6210719 | 128932 | 107815 1 | 0 | 0 1048.10/1048.49 c 1047s | 15 | 6233013 | 129232 | 107815 1 | 0 | 0 1050.39/1050.79 c 1049s | 15 | 6276386 | 129632 | 107815 1 | 0 | 0 1052.89/1053.25 c 1051s | 15 | 6302212 | 130032 | 107815 1 | 0 | 0 1055.20/1055.59 c 1054s | 15 | 6338763 | 130332 | 107815 1 | 0 | 0 1057.40/1057.73 c 1056s | 15 | 6356397 | 130632 | 107815 1 | 0 | 0 1059.99/1060.31 c 1058s | 15 | 6393068 | 131132 | 118597 1 | 0 | 0 1061.99/1062.32 c 1060s | 16 | 6407066 | 131552 | 118597 1 | 0 | 0 1064.60/1064.96 c 1063s | 16 | 6410131 | 131652 | 118597 1 | 0 | 0 1066.59/1066.98 c 1065s | 16 | 6428413 | 131952 | 118597 1 | 0 | 0 1068.90/1069.30 c 1067s | 16 | 6448696 | 132352 | 118597 1 | 0 | 0 1071.20/1071.55 c 1070s | 16 | 6465463 | 132952 | 118597 1 | 0 | 0 1073.30/1073.61 c 1072s | 16 | 6476252 | 133352 | 118597 1 | 0 | 0 1075.39/1075.72 c 1074s | 16 | 6494092 | 133752 | 118597 1 | 0 | 0 1077.70/1078.02 c 1076s | 16 | 6512404 | 134152 | 118597 1 | 0 | 0 1080.09/1080.42 c 1079s | 16 | 6526055 | 134552 | 118597 1 | 0 | 0 1082.39/1082.74 c 1081s | 16 | 6538369 | 134952 | 118597 1 | 0 | 0 1084.89/1085.20 c 1083s | 16 | 6546634 | 135352 | 118597 1 | 0 | 0 1086.99/1087.35 c 1086s | 16 | 6567785 | 135752 | 118597 1 | 0 | 0 1089.09/1089.44 c 1088s | 16 | 6582385 | 136052 | 118597 1 | 0 | 0 1098.70/1099.02 c 1097s | 16 | 6587893 | 136152 | 118597 1 | 0 | 0 1101.09/1101.48 c 1100s | 16 | 6624979 | 136552 | 118597 1 | 0 | 0 1103.89/1104.20 c 1102s | 16 | 6663608 | 137052 | 118597 1 | 0 | 0 1106.69/1107.01 c 1105s | 16 | 6721785 | 137552 | 118597 1 | 0 | 0 1109.09/1109.45 c 1108s | 16 | 6748433 | 138052 | 118597 1 | 0 | 0 1111.69/1112.10 c 1110s | 16 | 6786233 | 138452 | 118597 1 | 0 | 0 1114.49/1114.87 c 1113s | 16 | 6820912 | 138852 | 118597 1 | 0 | 0 1116.49/1116.89 c 1115s | 16 | 6834378 | 139052 | 118597 1 | 0 | 0 1118.79/1119.14 c 1117s | 16 | 6867424 | 139452 | 118597 1 | 0 | 0 1120.99/1121.33 c 1119s | 16 | 6881798 | 139752 | 118597 1 | 0 | 0 1122.99/1123.34 c 1121s | 16 | 6900736 | 140052 | 118597 1 | 0 | 0 1124.99/1125.35 c 1124s | 16 | 6926573 | 140452 | 118597 1 | 0 | 0 1127.69/1128.04 c 1126s | 16 | 6953096 | 140852 | 118597 1 | 0 | 0 1130.88/1131.22 c 1129s | 16 | 6955176 | 141052 | 118597 1 | 0 | 0 1133.08/1133.44 c 1132s | 16 | 6967097 | 141452 | 118597 1 | 0 | 0 1135.38/1135.78 c 1134s | 16 | 7000875 | 141852 | 118597 1 | 0 | 0 1137.88/1138.26 c 1136s | 16 | 7018435 | 142252 | 118597 1 | 0 | 0 1140.68/1141.00 c 1139s | 16 | 7033489 | 142652 | 118597 1 | 0 | 0 1142.69/1143.08 c 1141s | 16 | 7049030 | 143052 | 118597 1 | 0 | 0 1144.98/1145.35 c 1144s | 16 | 7074471 | 143552 | 118597 1 | 0 | 0 1147.09/1147.43 c 1146s | 16 | 7089561 | 143952 | 118597 1 | 0 | 0 1149.08/1149.47 c 1148s | 16 | 7097616 | 144352 | 118597 1 | 0 | 0 1151.28/1151.64 c 1150s | 16 | 7104786 | 144752 | 118597 1 | 0 | 0 1153.68/1154.05 c 1152s | 16 | 7145698 | 145152 | 118597 1 | 0 | 0 1155.98/1156.34 c 1154s | 16 | 7150562 | 145352 | 118597 1 | 0 | 0 1158.18/1158.56 c 1157s | 16 | 7206275 | 145652 | 118597 1 | 0 | 0 1160.48/1160.86 c 1159s | 16 | 7226687 | 145952 | 118597 1 | 0 | 0 1162.68/1163.09 c 1161s | 16 | 7264527 | 146252 | 118597 1 | 0 | 0 1165.48/1165.85 c 1164s | 16 | 7294475 | 146652 | 118597 1 | 0 | 0 1167.78/1168.10 c 1166s | 16 | 7341322 | 147052 | 118597 1 | 0 | 0 1169.88/1170.27 c 1168s | 16 | 7364858 | 147352 | 118597 1 | 0 | 0 1172.28/1172.65 c 1171s | 16 | 7396393 | 147752 | 118597 1 | 0 | 0 1174.67/1175.09 c 1173s | 16 | 7432841 | 148152 | 118597 1 | 0 | 0 1176.87/1177.24 c 1175s | 16 | 7460205 | 148452 | 118597 1 | 0 | 0 1179.17/1179.53 c 1178s | 16 | 7482229 | 148852 | 118597 1 | 0 | 0 1181.27/1181.60 c 1180s | 16 | 7489724 | 149052 | 118597 1 | 0 | 0 1183.67/1184.09 c 1182s | 16 | 7507036 | 149452 | 118597 1 | 0 | 0 1185.77/1186.18 c 1184s | 16 | 7521553 | 149752 | 118597 1 | 0 | 0 1187.97/1188.39 c 1187s | 16 | 7542763 | 150152 | 118597 1 | 0 | 0 1190.27/1190.66 c 1189s | 16 | 7567795 | 150652 | 118597 1 | 0 | 0 1192.87/1193.20 c 1191s | 16 | 7589020 | 151152 | 118597 1 | 0 | 0 1194.97/1195.39 c 1194s | 16 | 7602818 | 151552 | 118597 1 | 0 | 0 1197.47/1197.86 c 1196s | 16 | 7607659 | 151852 | 118597 1 | 0 | 0 1200.07/1200.46 c 1199s | 16 | 7609844 | 152152 | 118597 1 | 0 | 0 1202.17/1202.59 c 1201s | 16 | 7616671 | 152452 | 118597 1 | 0 | 0 1204.37/1204.72 c 1203s | 16 | 7628841 | 152752 | 118597 1 | 0 | 0 1206.57/1206.90 c 1205s | 16 | 7687628 | 153352 | 118597 1 | 0 | 0 1209.17/1209.59 c 1208s | 16 | 7711939 | 153652 | 118597 1 | 0 | 0 1211.47/1211.80 c 1210s | 16 | 7723506 | 153852 | 118597 1 | 0 | 0 1214.18/1214.51 c 1213s | 16 | 7752045 | 154152 | 118597 1 | 0 | 0 1217.57/1217.90 c 1216s | 16 | 7753972 | 154352 | 118597 1 | 0 | 0 1220.57/1220.91 c 1219s | 16 | 7787636 | 154752 | 118597 1 | 0 | 0 1222.88/1223.29 c 1221s | 16 | 7822175 | 155152 | 118597 1 | 0 | 0 1225.07/1225.48 c 1224s | 16 | 7869724 | 155552 | 118597 1 | 0 | 0 1227.47/1227.81 c 1226s | 16 | 7900491 | 155952 | 118597 1 | 0 | 0 1229.47/1229.87 c 1228s | 16 | 7919959 | 156252 | 118597 1 | 0 | 0 1231.67/1232.09 c 1230s | 16 | 7958810 | 156652 | 118597 1 | 0 | 0 1234.17/1234.55 c 1233s | 16 | 8005769 | 157152 | 118597 1 | 0 | 0 1236.67/1237.02 c 1235s | 16 | 8032994 | 157652 | 118597 1 | 0 | 0 1238.67/1239.03 c 1237s | 16 | 8045617 | 157852 | 118597 1 | 0 | 0 1240.87/1241.20 c 1239s | 16 | 8082884 | 158252 | 118597 1 | 0 | 0 1242.97/1243.30 c 1241s | 16 | 8101202 | 158552 | 118597 1 | 0 | 0 1245.46/1245.84 c 1244s | 16 | 8122452 | 158952 | 118597 1 | 0 | 0 1247.46/1247.87 c 1246s | 16 | 8141629 | 159352 | 118597 1 | 0 | 0 1249.86/1250.23 c 1248s | 16 | 8165275 | 159752 | 118597 1 | 0 | 0 1252.26/1252.61 c 1251s | 16 | 8176466 | 160152 | 118597 1 | 0 | 0 1255.16/1255.52 c 1254s | 16 | 8186712 | 160452 | 118597 1 | 0 | 0 1257.46/1257.86 c 1256s | 16 | 8197795 | 160752 | 118597 1 | 0 | 0 1259.86/1260.26 c 1258s | 16 | 8210891 | 161052 | 118597 1 | 0 | 0 1262.86/1263.29 c 1261s | 16 | 8244010 | 161452 | 118597 1 | 0 | 0 1265.46/1265.88 c 1264s | 16 | 8283329 | 161952 | 118597 1 | 0 | 0 1267.76/1268.17 c 1266s | 16 | 8304822 | 162552 | 118597 1 | 0 | 0 1270.56/1270.97 c 1269s | 16 | 8326782 | 163052 | 118597 1 | 0 | 0 1272.76/1273.19 c 1271s | 16 | 8337143 | 163352 | 118597 1 | 0 | 0 1274.96/1275.34 c 1273s | 16 | 8365778 | 163752 | 118597 1 | 0 | 0 1277.66/1278.00 c 1276s | 16 | 8384964 | 164152 | 118597 1 | 0 | 0 1279.66/1280.05 c 1278s | 16 | 8403515 | 164452 | 118597 1 | 0 | 0 1281.96/1282.36 c 1281s | 16 | 8415953 | 164752 | 118597 1 | 0 | 0 1284.26/1284.60 c 1283s | 16 | 8440369 | 165152 | 118597 1 | 0 | 0 1286.46/1286.85 c 1285s | 16 | 8463419 | 165552 | 118597 1 | 0 | 0 1288.56/1288.94 c 1287s | 16 | 8475268 | 165852 | 118597 1 | 0 | 0 1290.56/1290.98 c 1289s | 16 | 8492777 | 166352 | 118597 1 | 0 | 0 1293.56/1293.91 c 1292s | 16 | 8501252 | 166852 | 118597 1 | 0 | 0 1296.06/1296.40 c 1295s | 16 | 8507197 | 167152 | 118597 1 | 0 | 0 1298.16/1298.55 c 1297s | 16 | 8529360 | 167552 | 118597 1 | 0 | 0 1300.56/1300.98 c 1299s | 16 | 8566669 | 167952 | 118597 1 | 0 | 0 1303.16/1303.51 c 1302s | 16 | 8599915 | 168352 | 118597 1 | 0 | 0 1305.75/1306.10 c 1304s | 16 | 8624660 | 168752 | 118597 1 | 0 | 0 1308.06/1308.48 c 1307s | 16 | 8639954 | 169052 | 118597 1 | 0 | 0 1310.15/1310.59 c 1309s | 16 | 8659555 | 169352 | 118597 1 | 0 | 0 1312.45/1312.84 c 1311s | 16 | 8672594 | 169552 | 118597 1 | 0 | 0 1314.75/1315.17 c 1313s | 16 | 8692782 | 169952 | 118597 1 | 0 | 0 1317.65/1318.00 c 1316s | 16 | 8710774 | 170352 | 118597 1 | 0 | 0 1319.85/1320.26 c 1318s | 16 | 8720144 | 170652 | 118597 1 | 0 | 0 1322.05/1322.44 c 1321s | 16 | 8727976 | 171052 | 118597 1 | 0 | 0 1324.35/1324.74 c 1323s | 16 | 8736782 | 171352 | 118597 1 | 0 | 0 1326.65/1327.04 c 1325s | 16 | 8777038 | 171852 | 118597 1 | 0 | 0 1328.75/1329.19 c 1327s | 16 | 8802953 | 172252 | 118597 1 | 0 | 0 1330.85/1331.22 c 1329s | 16 | 8822969 | 172752 | 118597 1 | 0 | 0 1332.96/1333.39 c 1332s | 16 | 8833789 | 173152 | 118597 1 | 0 | 0 1335.16/1335.54 c 1334s | 16 | 8843950 | 173452 | 118597 1 | 0 | 0 1340.45/1340.90 c 1339s | 16 | 8861044 | 173952 | 118597 2 | 0 | 0 1343.55/1343.91 c 1342s | 16 | 8868742 | 174252 | 118597 2 | 0 | 0 1346.16/1346.57 c 1345s | 16 | 8872067 | 174552 | 118597 2 | 0 | 0 1348.75/1349.19 c 1347s | 16 | 8900899 | 175052 | 118597 2 | 0 | 0 1351.25/1351.60 c 1350s | 16 | 8918533 | 175352 | 118597 2 | 0 | 0 1353.45/1353.80 c 1352s | 16 | 8934847 | 175852 | 118597 2 | 0 | 0 1355.45/1355.85 c 1354s | 16 | 8951983 | 176252 | 118597 2 | 0 | 0 1357.75/1358.10 c 1356s | 16 | 8971900 | 176752 | 118597 2 | 0 | 0 1360.25/1360.62 c 1359s | 16 | 8977850 | 177052 | 118597 2 | 0 | 0 1362.66/1363.09 c 1361s | 16 | 8993480 | 177452 | 118597 2 | 0 | 0 1365.65/1366.05 c 1364s | 16 | 8997246 | 177752 | 118597 2 | 0 | 0 1367.65/1368.06 c 1366s | 16 | 9018781 | 178152 | 118597 2 | 0 | 0 1369.85/1370.28 c 1368s | 16 | 9044853 | 178452 | 118597 2 | 0 | 0 1372.15/1372.57 c 1371s | 16 | 9073568 | 178852 | 118597 2 | 0 | 0 1376.15/1376.51 c 1375s | 16 | 9105717 | 179352 | 118597 2 | 0 | 0 1378.25/1378.61 c 1377s | 16 | 9127450 | 179752 | 118597 2 | 0 | 0 1380.45/1380.88 c 1379s | 16 | 9155867 | 180352 | 118597 2 | 0 | 0 1383.25/1383.63 c 1382s | 16 | 9167248 | 180852 | 118597 2 | 0 | 0 1385.55/1385.90 c 1384s | 16 | 9172913 | 181052 | 118597 2 | 0 | 0 1388.15/1388.52 c 1387s | 16 | 9179190 | 181352 | 118597 2 | 0 | 0 1390.34/1390.72 c 1389s | 16 | 9186637 | 181652 | 118597 2 | 0 | 0 1392.74/1393.18 c 1391s | 16 | 9188809 | 181952 | 118597 2 | 0 | 0 1394.94/1395.30 c 1393s | 16 | 9207009 | 182352 | 118597 2 | 0 | 0 1397.44/1397.88 c 1396s | 16 | 9220223 | 182852 | 118597 2 | 0 | 0 1399.95/1400.32 c 1398s | 16 | 9226566 | 183152 | 118597 2 | 0 | 0 1401.94/1402.33 c 1400s | 16 | 9231738 | 183452 | 118597 2 | 0 | 0 1404.04/1404.43 c 1403s | 16 | 9248507 | 183852 | 118597 2 | 0 | 0 1406.04/1406.43 c 1405s | 16 | 9254779 | 184252 | 118597 2 | 0 | 0 1408.24/1408.68 c 1407s | 16 | 9260847 | 184652 | 118597 2 | 0 | 0 1410.34/1410.70 c 1409s | 16 | 9263165 | 184852 | 118597 2 | 0 | 0 1412.64/1413.07 c 1411s | 16 | 9267070 | 185152 | 118597 2 | 0 | 0 1415.14/1415.56 c 1414s | 16 | 9291756 | 185652 | 118597 2 | 0 | 0 1417.14/1417.59 c 1416s | 16 | 9298478 | 186052 | 118597 2 | 0 | 0 1419.64/1420.06 c 1418s | 16 | 9305709 | 186452 | 118597 2 | 0 | 0 1421.74/1422.16 c 1420s | 16 | 9325156 | 186952 | 118597 2 | 0 | 0 1423.94/1424.32 c 1422s | 16 | 9334416 | 187352 | 118597 2 | 0 | 0 1426.14/1426.51 c 1425s | 16 | 9350517 | 187752 | 118597 2 | 0 | 0 1428.24/1428.60 c 1427s | 16 | 9362146 | 188152 | 118597 2 | 0 | 0 1430.64/1431.07 c 1429s | 16 | 9368552 | 188552 | 118597 2 | 0 | 0 1433.14/1433.54 c 1432s | 16 | 9375818 | 188852 | 118597 2 | 0 | 0 1435.44/1435.84 c 1434s | 16 | 9398001 | 189352 | 118597 2 | 0 | 0 1437.44/1437.88 c 1436s | 16 | 9411741 | 189752 | 118597 2 | 0 | 0 1439.74/1440.18 c 1438s | 16 | 9423550 | 190352 | 118597 2 | 0 | 0 1442.13/1442.53 c 1441s | 16 | 9433503 | 190852 | 118597 2 | 0 | 0 1444.23/1444.66 c 1443s | 16 | 9440977 | 191252 | 118597 2 | 0 | 0 1446.53/1446.99 c 1445s | 16 | 9450723 | 191752 | 118597 2 | 0 | 0 1448.63/1449.03 c 1447s | 16 | 9464210 | 192252 | 118597 2 | 0 | 0 1450.83/1451.22 c 1449s | 16 | 9472937 | 192752 | 118597 2 | 0 | 0 1452.93/1453.38 c 1452s | 16 | 9480748 | 193252 | 118597 2 | 0 | 0 1455.43/1455.89 c 1454s | 16 | 9484452 | 193652 | 118597 2 | 0 | 0 1457.73/1458.15 c 1456s | 16 | 9489943 | 194152 | 118597 2 | 0 | 0 1460.33/1460.70 c 1459s | 16 | 9494312 | 194652 | 118597 2 | 0 | 0 1462.74/1463.10 c 1461s | 16 | 9497687 | 195052 | 118597 2 | 0 | 0 1465.53/1465.99 c 1464s | 16 | 9505394 | 195352 | 118597 2 | 0 | 0 1467.83/1468.23 c 1466s | 16 | 9530633 | 195752 | 118597 2 | 0 | 0 1471.03/1471.48 c 1470s | 16 | 9548289 | 196252 | 130457 2 | 0 | 0 1473.43/1473.83 c 1472s | 16 | 9576782 | 196652 | 130457 2 | 0 | 0 1475.53/1475.92 c 1474s | 16 | 9595464 | 196952 | 130457 2 | 0 | 0 1477.53/1477.94 c 1476s | 16 | 9621104 | 197352 | 130457 2 | 0 | 0 1477.83/1478.22 c 1476s | 17 | 9626253 | 197432 | 130457 2 | 0 | 0 1480.63/1481.00 c 1479s | 17 | 9637712 | 197532 | 130457 2 | 0 | 0 1483.53/1483.92 c 1482s | 17 | 9648985 | 197832 | 130457 2 | 0 | 0 1485.73/1486.14 c 1484s | 17 | 9663139 | 198032 | 130457 2 | 0 | 0 1487.93/1488.35 c 1487s | 17 | 9668822 | 198232 | 130457 2 | 0 | 0 1490.03/1490.40 c 1489s | 17 | 9679392 | 198532 | 130457 2 | 0 | 0 1492.03/1492.42 c 1491s | 17 | 9689126 | 198732 | 130457 2 | 0 | 0 1494.53/1494.93 c 1493s | 17 | 9730939 | 199132 | 130457 2 | 0 | 0 1518.33/1518.75 c 1517s | 17 | 9740554 | 199232 | 130457 2 | 0 | 0 1520.53/1520.94 c 1519s | 17 | 9791002 | 199632 | 130457 2 | 0 | 0 1522.83/1523.25 c 1521s | 17 | 9830827 | 200132 | 130457 2 | 0 | 0 1525.03/1525.44 c 1524s | 17 | 9865409 | 200532 | 130457 2 | 0 | 0 1527.22/1527.66 c 1526s | 17 | 9895163 | 201032 | 130457 2 | 0 | 0 1529.42/1529.87 c 1528s | 17 | 9927263 | 201532 | 130457 2 | 0 | 0 1531.42/1531.88 c 1530s | 17 | 9958167 | 202032 | 130457 2 | 0 | 0 1533.82/1534.27 c 1532s | 17 | 9979156 | 202632 | 130457 2 | 0 | 0 1536.12/1536.51 c 1535s | 17 | 9994030 | 203032 | 130457 2 | 0 | 0 1538.22/1538.64 c 1537s | 17 | 10047194 | 203532 | 130457 2 | 0 | 0 1540.62/1541.03 c 1539s | 17 | 10100477 | 203932 | 130457 2 | 0 | 0 1542.62/1543.09 c 1541s | 17 | 10118357 | 204232 | 130457 2 | 0 | 0 1545.72/1546.16 c 1544s | 17 | 10133268 | 204532 | 130457 2 | 0 | 0 1548.32/1548.78 c 1547s | 17 | 10168023 | 204932 | 130457 2 | 0 | 0 1551.12/1551.53 c 1550s | 17 | 10186827 | 205232 | 130457 2 | 0 | 0 1553.42/1553.80 c 1552s | 17 | 10207385 | 205532 | 130457 2 | 0 | 0 1555.52/1555.90 c 1554s | 17 | 10222154 | 205832 | 130457 2 | 0 | 0 1558.12/1558.56 c 1557s | 17 | 10243410 | 206232 | 130457 2 | 0 | 0 1560.32/1560.71 c 1559s | 17 | 10259437 | 206532 | 130457 2 | 0 | 0 1562.62/1563.02 c 1561s | 17 | 10268992 | 206932 | 130457 2 | 0 | 0 1564.62/1565.07 c 1563s | 17 | 10285471 | 207232 | 130457 2 | 0 | 0 1566.92/1567.33 c 1565s | 17 | 10288455 | 207432 | 130457 2 | 0 | 0 1569.21/1569.70 c 1568s | 17 | 10289918 | 207632 | 130457 2 | 0 | 0 1571.31/1571.79 c 1570s | 17 | 10358671 | 208032 | 130457 2 | 0 | 0 1574.01/1574.43 c 1573s | 17 | 10407263 | 208332 | 130457 2 | 0 | 0 1576.71/1577.12 c 1575s | 17 | 10449823 | 208732 | 130457 2 | 0 | 0 1578.71/1579.15 c 1577s | 17 | 10528356 | 209132 | 130457 2 | 0 | 0 1581.11/1581.56 c 1580s | 17 | 10570373 | 209532 | 130457 2 | 0 | 0 1583.51/1583.90 c 1582s | 17 | 10639050 | 210032 | 130457 2 | 0 | 0 1585.71/1586.13 c 1584s | 17 | 10684797 | 210432 | 130457 2 | 0 | 0 1588.12/1588.52 c 1587s | 17 | 10729379 | 210832 | 130457 2 | 0 | 0 1590.71/1591.18 c 1589s | 17 | 10775951 | 211232 | 130457 2 | 0 | 0 1593.01/1593.46 c 1592s | 17 | 10812829 | 211632 | 130457 2 | 0 | 0 1595.11/1595.51 c 1594s | 17 | 10865273 | 212232 | 130457 2 | 0 | 0 1597.71/1598.17 c 1596s | 17 | 10895243 | 212632 | 130457 2 | 0 | 0 1599.81/1600.22 c 1598s | 17 | 10921293 | 212932 | 130457 2 | 0 | 0 1602.71/1603.19 c 1601s | 17 | 10954048 | 213332 | 130457 2 | 0 | 0 1604.91/1605.38 c 1604s | 17 | 10981041 | 213632 | 130457 2 | 0 | 0 1607.11/1607.57 c 1606s | 17 | 11010486 | 213932 | 130457 2 | 0 | 0 1609.21/1609.65 c 1608s | 17 | 11044740 | 214332 | 130457 2 | 0 | 0 1611.81/1612.21 c 1610s | 17 | 11077231 | 214732 | 130457 2 | 0 | 0 1614.01/1614.46 c 1613s | 17 | 11093282 | 215032 | 130457 2 | 0 | 0 1616.61/1617.10 c 1615s | 17 | 11104635 | 215432 | 130457 2 | 0 | 0 1618.71/1619.18 c 1617s | 17 | 11119496 | 215732 | 130457 2 | 0 | 0 1621.21/1621.65 c 1620s | 17 | 11143694 | 216132 | 130457 2 | 0 | 0 1623.61/1624.06 c 1622s | 17 | 11157763 | 216532 | 130457 2 | 0 | 0 1626.20/1626.65 c 1625s | 17 | 11166079 | 216832 | 130457 2 | 0 | 0 1628.30/1628.70 c 1627s | 17 | 11171656 | 217132 | 130457 2 | 0 | 0 1630.40/1630.86 c 1629s | 17 | 11174275 | 217332 | 130457 2 | 0 | 0 1632.80/1633.21 c 1631s | 17 | 11187618 | 217532 | 130457 2 | 0 | 0 1635.20/1635.60 c 1634s | 17 | 11230842 | 217932 | 130457 2 | 0 | 0 1637.30/1637.73 c 1636s | 17 | 11278575 | 218232 | 130457 2 | 0 | 0 1639.60/1640.10 c 1638s | 17 | 11286095 | 218432 | 130457 2 | 0 | 0 1641.80/1642.24 c 1640s | 17 | 11341856 | 218832 | 130457 2 | 0 | 0 1644.11/1644.52 c 1643s | 17 | 11392120 | 219232 | 130457 2 | 0 | 0 1646.31/1646.72 c 1645s | 17 | 11441205 | 219632 | 130457 2 | 0 | 0 1648.40/1648.89 c 1647s | 17 | 11458290 | 219932 | 130457 2 | 0 | 0 1650.71/1651.14 c 1649s | 17 | 11525740 | 220332 | 130457 2 | 0 | 0 1652.80/1653.23 c 1651s | 17 | 11553577 | 220632 | 130457 2 | 0 | 0 1655.11/1655.52 c 1654s | 17 | 11593085 | 221032 | 130457 2 | 0 | 0 1657.60/1658.02 c 1656s | 17 | 11633675 | 221432 | 130457 2 | 0 | 0 1659.90/1660.39 c 1659s | 17 | 11678120 | 221832 | 130457 2 | 0 | 0 1662.00/1662.49 c 1661s | 17 | 11738522 | 222232 | 130457 2 | 0 | 0 1664.10/1664.59 c 1663s | 17 | 11760959 | 222532 | 130457 2 | 0 | 0 1666.50/1666.94 c 1665s | 17 | 11784296 | 222932 | 130457 2 | 0 | 0 1668.80/1669.20 c 1667s | 17 | 11810602 | 223432 | 130457 2 | 0 | 0 1670.80/1671.26 c 1669s | 17 | 11834779 | 223932 | 130457 2 | 0 | 0 1673.39/1673.82 c 1672s | 17 | 11850194 | 224432 | 130457 2 | 0 | 0 1675.49/1675.93 c 1674s | 17 | 11867904 | 224732 | 130457 2 | 0 | 0 1677.89/1678.34 c 1676s | 17 | 11914409 | 225132 | 130457 2 | 0 | 0 1680.09/1680.57 c 1679s | 17 | 11939380 | 225532 | 130457 2 | 0 | 0 1682.29/1682.72 c 1681s | 17 | 11969546 | 225932 | 130457 2 | 0 | 0 1684.90/1685.36 c 1684s | 17 | 11985981 | 226332 | 130457 2 | 0 | 0 1687.39/1687.80 c 1686s | 17 | 11994109 | 226632 | 130457 2 | 0 | 0 1690.31/1690.74 c 1689s | 17 | 11997231 | 226932 | 130457 2 | 0 | 0 1692.30/1692.77 c 1691s | 17 | 12035632 | 227232 | 130457 2 | 0 | 0 1694.70/1695.17 c 1693s | 17 | 12074940 | 227632 | 130457 2 | 0 | 0 1697.00/1697.47 c 1696s | 17 | 12092439 | 227932 | 130457 2 | 0 | 0 1699.29/1699.78 c 1698s | 17 | 12130308 | 228332 | 130457 2 | 0 | 0 1701.69/1702.13 c 1700s | 17 | 12164701 | 228732 | 130457 2 | 0 | 0 1703.89/1704.30 c 1702s | 17 | 12189355 | 229132 | 130457 2 | 0 | 0 1706.19/1706.68 c 1705s | 17 | 12214202 | 229732 | 130457 2 | 0 | 0 1708.29/1708.78 c 1707s | 17 | 12224125 | 230032 | 130457 2 | 0 | 0 1710.39/1710.89 c 1709s | 17 | 12262846 | 230432 | 130457 2 | 0 | 0 1712.99/1713.42 c 1712s | 17 | 12299727 | 230832 | 130457 2 | 0 | 0 1715.19/1715.69 c 1714s | 17 | 12336819 | 231232 | 130457 2 | 0 | 0 1717.29/1717.78 c 1716s | 17 | 12356053 | 231532 | 130457 2 | 0 | 0 1720.00/1720.48 c 1719s | 17 | 12374776 | 231932 | 130457 2 | 0 | 0 1722.39/1722.81 c 1721s | 17 | 12386580 | 232232 | 130457 2 | 0 | 0 1724.40/1724.86 c 1723s | 17 | 12393509 | 232432 | 130457 2 | 0 | 0 1726.60/1727.07 c 1725s | 17 | 12404266 | 232732 | 130457 2 | 0 | 0 1728.69/1729.14 c 1727s | 17 | 12413684 | 233032 | 130457 2 | 0 | 0 1731.59/1732.00 c 1730s | 17 | 12417465 | 233332 | 130457 2 | 0 | 0 1733.69/1734.19 c 1732s | 17 | 12421703 | 233632 | 130457 2 | 0 | 0 1736.09/1736.52 c 1735s | 17 | 12438213 | 234032 | 130457 2 | 0 | 0 1738.49/1738.92 c 1737s | 17 | 12459192 | 234432 | 130457 2 | 0 | 0 1740.79/1741.28 c 1739s | 17 | 12475527 | 234932 | 130457 2 | 0 | 0 1742.89/1743.32 c 1741s | 17 | 12481108 | 235332 | 130457 2 | 0 | 0 1744.99/1745.42 c 1744s | 17 | 12497798 | 235732 | 130457 2 | 0 | 0 1747.29/1747.72 c 1746s | 17 | 12504833 | 236032 | 130457 2 | 0 | 0 1749.59/1750.04 c 1748s | 17 | 12515724 | 236432 | 130457 2 | 0 | 0 1752.09/1752.58 c 1751s | 17 | 12538278 | 236932 | 130457 2 | 0 | 0 1754.39/1754.88 c 1753s | 17 | 12564260 | 237332 | 130457 2 | 0 | 0 1756.49/1756.90 c 1755s | 17 | 12585137 | 237632 | 130457 2 | 0 | 0 1758.49/1758.98 c 1757s | 17 | 12595202 | 238032 | 130457 2 | 0 | 0 1761.19/1761.62 c 1760s | 17 | 12609404 | 238432 | 130457 2 | 0 | 0 1763.48/1763.96 c 1762s | 17 | 12628376 | 238832 | 130457 2 | 0 | 0 1765.98/1766.47 c 1765s | 17 | 12642581 | 239232 | 130457 2 | 0 | 0 1768.49/1768.91 c 1767s | 17 | 12645946 | 239532 | 130457 2 | 0 | 0 1770.59/1771.06 c 1769s | 17 | 12650206 | 239732 | 130457 2 | 0 | 0 1773.08/1773.56 c 1772s | 17 | 12675879 | 240032 | 130457 2 | 0 | 0 1775.48/1775.93 c 1774s | 17 | 12703988 | 240532 | 130457 2 | 0 | 0 1777.78/1778.26 c 1776s | 17 | 12735016 | 241032 | 130457 2 | 0 | 0 1780.08/1780.53 c 1779s | 17 | 12764453 | 241432 | 130457 2 | 0 | 0 1782.28/1782.70 c 1781s | 17 | 12782065 | 241832 | 130457 2 | 0 | 0 1784.68/1785.15 c 1783s | 17 | 12805146 | 242232 | 130457 2 | 0 | 0 1786.68/1787.17 c 1785s | 17 | 12820556 | 242532 | 130457 2 | 0 | 0 1788.88/1789.33 c 1787s | 17 | 12834322 | 242932 | 130457 2 | 0 | 0 1792.08/1792.51 c 1791s | 17 | 12847500 | 243332 | 130457 2 | 0 | 0 1795.08/1795.56 c 1794s | 17 | 12851823 | 243632 | 130457 2 | 0 | 0 1797.58/1798.07 c 1796s | 17 | 12859021 | 244032 | 130457 2 | 0 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4107030-1466281201/watcher-4107030-1466281201 -o /tmp/evaluation-result-4107030-1466281201/solver-4107030-1466281201 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24926 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107030-1466281201.opb pid=27668 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.40 2.29 2.21 4/179 27671 /proc/meminfo: memFree=28869532/32872528 swapFree=1499884/1696108 [pid=27671] ppid=27668 vsize=711100 CPUtime=0 cores=0,2,4,6 /proc/27671/stat : 27671 (toysat) R 27668 27671 24910 0 -1 4202496 2651 0 0 0 0 0 0 0 20 0 4 0 30165858 728166400 3011 33554432000 4194304 16246674 140736016116752 140736016116176 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27671/statm: 178543 3019 441 2943 0 175437 0 [pid=27671/tid=27672] ppid=27668 vsize=728508 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27672/stat : 27672 (toysat) S 27668 27671 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30165858 745992192 3080 33554432000 4194304 16246674 140736016116752 140093253725424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=27671/tid=27673] ppid=27668 vsize=733628 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27673/stat : 27673 (toysat) S 27668 27671 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30165858 751235072 3097 33554432000 4194304 16246674 140736016116752 140093243235568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=27671/tid=27674] ppid=27668 vsize=737724 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27674/stat : 27674 (toysat) S 27668 27671 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30165858 755429376 3114 33554432000 4194304 16246674 140736016116752 140093232762032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 [startup+0.100128 s] /proc/loadavg: 2.40 2.29 2.21 4/179 27671 /proc/meminfo: memFree=28869532/32872528 swapFree=1499884/1696108 [pid=27671] ppid=27668 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/27671/stat : 27671 (toysat) R 27668 27671 24910 0 -1 4202496 27866 0 0 0 5 4 0 0 20 0 4 0 30165858 1333334016 28164 33554432000 4194304 16246674 140736016116752 140736016116064 7364033 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27671/statm: 325521 28181 801 2943 0 322415 0 [pid=27671/tid=27672] ppid=27668 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27672/stat : 27672 (toysat) S 27668 27671 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30165858 1333334016 28192 33554432000 4194304 16246674 140736016116752 140093253725424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=27671/tid=27673] ppid=27668 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27673/stat : 27673 (toysat) S 27668 27671 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30165858 1333334016 28204 33554432000 4194304 16246674 140736016116752 140093243235568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=27671/tid=27674] ppid=27668 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27674/stat : 27674 (toysat) S 27668 27671 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30165858 1333334016 28215 33554432000 4194304 16246674 140736016116752 140093232762032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200472 s] /proc/loadavg: 2.40 2.29 2.21 4/179 27671 /proc/meminfo: memFree=28869532/32872528 swapFree=1499884/1696108 [pid=27671] ppid=27668 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/27671/stat : 27671 (toysat) R 27668 27671 24910 0 -1 4202496 47430 0 0 0 12 7 0 0 20 0 4 0 30165858 1344868352 48239 33554432000 4194304 16246674 140736016116752 140736016099744 7364381 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27671/statm: 328337 48239 801 2943 0 325231 0 [pid=27671/tid=27672] ppid=27668 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27672/stat : 27672 (toysat) S 27668 27671 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30165858 1344868352 48239 33554432000 4194304 16246674 140736016116752 140093253725424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=27671/tid=27673] ppid=27668 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27673/stat : 27673 (toysat) S 27668 27671 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30165858 1344868352 48239 33554432000 4194304 16246674 140736016116752 140093243235568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=27671/tid=27674] ppid=27668 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27674/stat : 27674 (toysat) S 27668 27671 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30165858 1344868352 48239 33554432000 4194304 16246674 140736016116752 140093232762032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300449 s] /proc/loadavg: 2.40 2.29 2.21 4/179 27671 /proc/meminfo: memFree=28869532/32872528 swapFree=1499884/1696108 [pid=27671] ppid=27668 vsize=1313348 CPUtime=0.29 cores=0,2,4,6 /proc/27671/stat : 27671 (toysat) R 27668 27671 24910 0 -1 4202496 47596 0 0 0 22 7 0 0 20 0 4 0 30165858 1344868352 48405 33554432000 4194304 16246674 140736016116752 140736016099744 5589576 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27671/statm: 328337 48405 837 2943 0 325231 0 [pid=27671/tid=27672] ppid=27668 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27672/stat : 27672 (toysat) S 27668 27671 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30165858 1344868352 48405 33554432000 4194304 16246674 140736016116752 140093253725424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=27671/tid=27673] ppid=27668 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27673/stat : 27673 (toysat) S 27668 27671 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30165858 1344868352 48405 33554432000 4194304 16246674 140736016116752 140093243235568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=27671/tid=27674] ppid=27668 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27674/stat : 27674 (toysat) S 27668 27671 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30165858 1344868352 48405 33554432000 4194304 16246674 140736016116752 140093232762032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700364 s] /proc/loadavg: 2.40 2.29 2.21 4/179 27671 /proc/meminfo: memFree=28869532/32872528 swapFree=1499884/1696108 [pid=27671] ppid=27668 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/27671/stat : 27671 (toysat) R 27668 27671 24910 0 -1 4202496 61145 0 0 0 61 8 0 0 20 0 4 0 30165858 1344868352 61954 33554432000 4194304 16246674 140736016116752 140736016116064 4225192 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27671/statm: 328337 61954 840 2943 0 325231 0 [pid=27671/tid=27672] ppid=27668 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27672/stat : 27672 (toysat) S 27668 27671 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30165858 1344868352 61954 33554432000 4194304 16246674 140736016116752 140093253725424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=27671/tid=27673] ppid=27668 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27673/stat : 27673 (toysat) S 27668 27671 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30165858 1344868352 61954 33554432000 4194304 16246674 140736016116752 140093243235568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=27671/tid=27674] ppid=27668 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27674/stat : 27674 (toysat) S 27668 27671 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30165858 1344868352 61954 33554432000 4194304 16246674 140736016116752 140093232762032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50036 s] /proc/loadavg: 2.40 2.29 2.21 4/184 27678 /proc/meminfo: memFree=28387484/32872528 swapFree=1499884/1696108 [pid=27671] ppid=27668 vsize=1315396 CPUtime=1.49 cores=0,2,4,6 /proc/27671/stat : 27671 (toysat) R 27668 27671 24910 0 -1 4202496 135703 0 0 0 130 19 0 0 20 0 4 0 30165858 1346965504 136512 33554432000 4194304 16246674 140736016116752 140736016098624 5672084 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27671/statm: 328849 136512 881 2943 0 325743 0 [pid=27671/tid=27672] ppid=27668 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27672/stat : 27672 (toysat) S 27668 27671 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30165858 1346965504 136512 33554432000 4194304 16246674 140736016116752 140093253725424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=27671/tid=27673] ppid=27668 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27673/stat : 27673 (toysat) S 27668 27671 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30165858 1346965504 136512 33554432000 4194304 16246674 140736016116752 140093243235568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=27671/tid=27674] ppid=27668 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27674/stat : 27674 (toysat) S 27668 27671 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30165858 1346965504 136512 33554432000 4194304 16246674 140736016116752 140093232762032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1315396 [startup+3.10041 s] /proc/loadavg: 2.44 2.31 2.21 4/184 27678 /proc/meminfo: memFree=28322500/32872528 swapFree=1499884/1696108 [pid=27671] ppid=27668 vsize=1315396 CPUtime=3.09 cores=0,2,4,6 /proc/27671/stat : 27671 (toysat) R 27668 27671 24910 0 -1 4202496 135703 0 0 0 290 19 0 0 20 0 4 0 30165858 1346965504 136512 33554432000 4194304 16246674 140736016116752 140736016098624 13950232 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27671/statm: 328849 136512 881 2943 0 325743 0 [pid=27671/tid=27672] ppid=27668 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27672/stat : 27672 (toysat) S 27668 27671 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30165858 1346965504 136512 33554432000 4194304 16246674 140736016116752 140093253725424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=27671/tid=27673] ppid=27668 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27673/stat : 27673 (toysat) S 27668 27671 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30165858 1346965504 136512 33554432000 4194304 16246674 140736016116752 140093243235568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=27671/tid=27674] ppid=27668 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27674/stat : 27674 (toysat) S 27668 27671 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30165858 1346965504 136512 33554432000 4194304 16246674 140736016116752 140093232762032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1315396 [startup+6.30043 s] /proc/loadavg: 2.44 2.31 2.21 3/184 27678 /proc/meminfo: memFree=27787928/32872528 swapFree=1499884/1696108 [pid=27671] ppid=27668 vsize=1315396 CPUtime=6.29 cores=0,2,4,6 /proc/27671/stat : 27671 (toysat) R 27668 27671 24910 0 -1 4202496 269517 0 0 0 593 36 0 0 20 0 4 0 30165858 1346965504 270326 33554432000 4194304 16246674 140736016116752 140736016098624 6021573 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27671/statm: 328849 270326 881 2943 0 325743 0 [pid=27671/tid=27672] ppid=27668 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27672/stat : 27672 (toysat) S 27668 27671 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30165858 1346965504 270326 33554432000 4194304 16246674 140736016116752 140093253725424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=27671/tid=27673] ppid=27668 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27673/stat : 27673 (toysat) S 27668 27671 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30165858 1346965504 270326 33554432000 4194304 16246674 140736016116752 140093243235568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=27671/tid=27674] ppid=27668 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27674/stat : 27674 (toysat) S 27668 27671 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30165858 1346965504 270326 33554432000 4194304 16246674 140736016116752 140093232762032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1315396 [startup+12.7004 s] /proc/loadavg: 2.38 2.30 2.21 3/184 27678 /proc/meminfo: memFree=27787980/32872528 swapFree=1499884/1696108 [pid=27671] ppid=27668 vsize=1315396 CPUtime=12.69 cores=0,2,4,6 /proc/27671/stat : 27671 (toysat) R 27668 27671 24910 0 -1 4202496 269517 0 0 0 1233 36 0 0 20 0 4 0 30165858 1346965504 270326 33554432000 4194304 16246674 140736016116752 140736016098624 6020448 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27671/statm: 328849 270326 881 2943 0 325743 0 [pid=27671/tid=27672] ppid=27668 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27672/stat : 27672 (toysat) S 27668 27671 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30165858 1346965504 270326 33554432000 4194304 16246674 140736016116752 140093253725424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=27671/tid=27673] ppid=27668 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27673/stat : 27673 (toysat) S 27668 27671 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30165858 1346965504 270326 33554432000 4194304 16246674 140736016116752 140093243235568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=27671/tid=27674] ppid=27668 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27674/stat : 27674 (toysat) S 27668 27671 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30165858 1346965504 270326 33554432000 4194304 16246674 140736016116752 140093232762032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1315396 [startup+25.5005 s] /proc/loadavg: 2.32 2.29 2.21 3/184 27678 /proc/meminfo: memFree=27788620/32872528 swapFree=1499884/1696108 [pid=27671] ppid=27668 vsize=1315396 CPUtime=25.49 cores=0,2,4,6 /proc/27671/stat : 27671 (toysat) R 27668 27671 24910 0 -1 4202496 269520 0 0 0 2513 36 0 0 20 0 4 0 30165858 1346965504 270329 33554432000 4194304 16246674 140736016116752 140736016098624 6012004 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27671/statm: 328849 270329 884 2943 0 325743 0 [pid=27671/tid=27672] ppid=27668 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27672/stat : 27672 (toysat) S 27668 27671 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30165858 1346965504 270329 33554432000 4194304 16246674 140736016116752 140093253725424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=27671/tid=27673] ppid=27668 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27673/stat : 27673 (toysat) S 27668 27671 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30165858 1346965504 270329 33554432000 4194304 16246674 140736016116752 140093243235568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=27671/tid=27674] ppid=27668 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27674/stat : 27674 (toysat) S 27668 27671 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30165858 1346965504 270329 33554432000 4194304 16246674 140736016116752 140093232762032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1315396 [startup+51.1005 s] /proc/loadavg: 2.42 2.31 2.21 3/184 27678 /proc/meminfo: memFree=27788840/32872528 swapFree=1499884/1696108 [pid=27671] ppid=27668 vsize=1315396 CPUtime=51.08 cores=0,2,4,6 /proc/27671/stat : 27671 (toysat) R 27668 27671 24910 0 -1 4202496 269520 0 0 0 5072 36 0 0 20 0 4 0 30165858 1346965504 270329 33554432000 4194304 16246674 140736016116752 140736016098624 6012036 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27671/statm: 328849 270329 884 2943 0 325743 0 [pid=27671/tid=27672] ppid=27668 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27672/stat : 27672 (toysat) S 27668 27671 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30165858 1346965504 270329 33554432000 4194304 16246674 140736016116752 140093253725424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=27671/tid=27673] ppid=27668 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27673/stat : 27673 (toysat) S 27668 27671 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30165858 1346965504 270329 33554432000 4194304 16246674 140736016116752 140093243235568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=27671/tid=27674] ppid=27668 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27674/stat : 27674 (toysat) S 27668 27671 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30165858 1346965504 270329 33554432000 4194304 16246674 140736016116752 140093232762032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1315396 [startup+102.301 s] /proc/loadavg: 2.35 2.30 2.21 3/182 27679 /proc/meminfo: memFree=27788588/32872528 swapFree=1499884/1696108 [pid=27671] ppid=27668 vsize=1315396 CPUtime=102.28 cores=0,2,4,6 /proc/27671/stat : 27671 (toysat) R 27668 27671 24910 0 -1 4202496 269520 0 0 0 10192 36 0 0 20 0 4 0 30165858 1346965504 270329 33554432000 4194304 16246674 140736016116752 140736016098624 13808416 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27671/statm: 328849 270329 884 2943 0 325743 0 [pid=27671/tid=27672] ppid=27668 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27672/stat : 27672 (toysat) S 27668 27671 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30165858 1346965504 270329 33554432000 4194304 16246674 140736016116752 140093253725424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=27671/tid=27673] ppid=27668 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27673/stat : 27673 (toysat) S 27668 27671 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30165858 1346965504 270329 33554432000 4194304 16246674 140736016116752 140093243235568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=27671/tid=27674] ppid=27668 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27674/stat : 27674 (toysat) S 27668 27671 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30165858 1346965504 270329 33554432000 4194304 16246674 140736016116752 140093232762032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1315396 ################ # More data... # ################ /proc/27671/task/27674/stat : 27674 (toysat) S 27668 27671 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30165858 1517883392 311976 33554432000 4194304 16246674 140736016116752 140093232762032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1482308 [startup+1362.3 s] /proc/loadavg: 2.29 2.27 2.25 3/183 27906 /proc/meminfo: memFree=27790556/32872528 swapFree=1499884/1696108 [pid=27671] ppid=27668 vsize=1541700 CPUtime=1361.95 cores=0,2,4,6 /proc/27671/stat : 27671 (toysat) R 27668 27671 24910 0 -1 4202496 326315 0 0 0 136143 52 0 0 20 0 4 0 30165858 1578700800 326911 33554432000 4194304 16246674 140736016116752 140736016098624 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27671/statm: 385425 326911 890 2943 0 382319 0 [pid=27671/tid=27672] ppid=27668 vsize=1541700 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27672/stat : 27672 (toysat) S 27668 27671 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30165858 1578700800 326911 33554432000 4194304 16246674 140736016116752 140093253725424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=27671/tid=27673] ppid=27668 vsize=1541700 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27673/stat : 27673 (toysat) S 27668 27671 24910 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 4 0 30165858 1578700800 326911 33554432000 4194304 16246674 140736016116752 140093243235568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=27671/tid=27674] ppid=27668 vsize=1541700 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27674/stat : 27674 (toysat) S 27668 27671 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30165858 1578700800 326911 33554432000 4194304 16246674 140736016116752 140093232762032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1541700 [startup+1422.3 s] /proc/loadavg: 2.19 2.24 2.24 3/183 27907 /proc/meminfo: memFree=27790172/32872528 swapFree=1499884/1696108 [pid=27671] ppid=27668 vsize=1541700 CPUtime=1421.95 cores=0,2,4,6 /proc/27671/stat : 27671 (toysat) R 27668 27671 24910 0 -1 4202496 326315 0 0 0 142143 52 0 0 20 0 4 0 30165858 1578700800 326911 33554432000 4194304 16246674 140736016116752 140736016098624 5721639 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27671/statm: 385425 326911 890 2943 0 382319 0 [pid=27671/tid=27672] ppid=27668 vsize=1541700 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27672/stat : 27672 (toysat) S 27668 27671 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30165858 1578700800 326911 33554432000 4194304 16246674 140736016116752 140093253725424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=27671/tid=27673] ppid=27668 vsize=1541700 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27673/stat : 27673 (toysat) S 27668 27671 24910 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 4 0 30165858 1578700800 326911 33554432000 4194304 16246674 140736016116752 140093243235568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=27671/tid=27674] ppid=27668 vsize=1541700 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27674/stat : 27674 (toysat) S 27668 27671 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30165858 1578700800 326911 33554432000 4194304 16246674 140736016116752 140093232762032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1541700 [startup+1482.3 s] /proc/loadavg: 2.16 2.23 2.24 3/183 27908 /proc/meminfo: memFree=27770840/32872528 swapFree=1499884/1696108 [pid=27671] ppid=27668 vsize=1562180 CPUtime=1481.93 cores=0,2,4,6 /proc/27671/stat : 27671 (toysat) R 27668 27671 24910 0 -1 4202496 331219 0 0 0 148140 53 0 0 20 0 4 0 30165858 1599672320 331815 33554432000 4194304 16246674 140736016116752 140736016098624 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27671/statm: 390545 331815 890 2943 0 387439 0 [pid=27671/tid=27672] ppid=27668 vsize=1562180 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27672/stat : 27672 (toysat) S 27668 27671 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30165858 1599672320 331815 33554432000 4194304 16246674 140736016116752 140093253725424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=27671/tid=27673] ppid=27668 vsize=1562180 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27673/stat : 27673 (toysat) S 27668 27671 24910 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 4 0 30165858 1599672320 331815 33554432000 4194304 16246674 140736016116752 140093243235568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=27671/tid=27674] ppid=27668 vsize=1562180 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27674/stat : 27674 (toysat) S 27668 27671 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30165858 1599672320 331815 33554432000 4194304 16246674 140736016116752 140093232762032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1562180 [startup+1542.31 s] /proc/loadavg: 2.27 2.24 2.24 3/183 27909 /proc/meminfo: memFree=27762084/32872528 swapFree=1499884/1696108 [pid=27671] ppid=27668 vsize=1570372 CPUtime=1541.93 cores=0,2,4,6 /proc/27671/stat : 27671 (toysat) R 27668 27671 24910 0 -1 4202496 333373 0 0 0 154138 55 0 0 20 0 4 0 30165858 1608060928 333969 33554432000 4194304 16246674 140736016116752 140736016115928 6842216 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27671/statm: 392593 333969 890 2943 0 389487 0 [pid=27671/tid=27672] ppid=27668 vsize=1570372 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27672/stat : 27672 (toysat) S 27668 27671 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30165858 1608060928 333969 33554432000 4194304 16246674 140736016116752 140093253725424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=27671/tid=27673] ppid=27668 vsize=1570372 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27673/stat : 27673 (toysat) S 27668 27671 24910 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 4 0 30165858 1608060928 333969 33554432000 4194304 16246674 140736016116752 140093243235568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=27671/tid=27674] ppid=27668 vsize=1570372 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27674/stat : 27674 (toysat) S 27668 27671 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30165858 1608060928 333969 33554432000 4194304 16246674 140736016116752 140093232762032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 1570372 [startup+1602.3 s] /proc/loadavg: 2.27 2.25 2.24 3/183 27910 /proc/meminfo: memFree=27761532/32872528 swapFree=1499884/1696108 [pid=27671] ppid=27668 vsize=1570372 CPUtime=1601.91 cores=0,2,4,6 /proc/27671/stat : 27671 (toysat) R 27668 27671 24910 0 -1 4202496 333373 0 0 0 160136 55 0 0 20 0 4 0 30165858 1608060928 333969 33554432000 4194304 16246674 140736016116752 140736016098624 5721725 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27671/statm: 392593 333969 890 2943 0 389487 0 [pid=27671/tid=27672] ppid=27668 vsize=1570372 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27672/stat : 27672 (toysat) S 27668 27671 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30165858 1608060928 333969 33554432000 4194304 16246674 140736016116752 140093253725424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=27671/tid=27673] ppid=27668 vsize=1570372 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27673/stat : 27673 (toysat) S 27668 27671 24910 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 4 0 30165858 1608060928 333969 33554432000 4194304 16246674 140736016116752 140093243235568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=27671/tid=27674] ppid=27668 vsize=1570372 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27674/stat : 27674 (toysat) S 27668 27671 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30165858 1608060928 333969 33554432000 4194304 16246674 140736016116752 140093232762032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 1570372 [startup+1662.3 s] /proc/loadavg: 2.27 2.25 2.24 3/183 27912 /proc/meminfo: memFree=27750736/32872528 swapFree=1499884/1696108 [pid=27671] ppid=27668 vsize=1580612 CPUtime=1661.9 cores=0,2,4,6 /proc/27671/stat : 27671 (toysat) R 27668 27671 24910 0 -1 4202496 336018 0 0 0 166134 56 0 0 20 0 4 0 30165858 1618546688 336614 33554432000 4194304 16246674 140736016116752 140736016098624 5677667 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27671/statm: 395153 336614 890 2943 0 392047 0 [pid=27671/tid=27672] ppid=27668 vsize=1580612 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27672/stat : 27672 (toysat) S 27668 27671 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30165858 1618546688 336614 33554432000 4194304 16246674 140736016116752 140093253725424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=27671/tid=27673] ppid=27668 vsize=1580612 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27673/stat : 27673 (toysat) S 27668 27671 24910 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 4 0 30165858 1618546688 336614 33554432000 4194304 16246674 140736016116752 140093243235568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=27671/tid=27674] ppid=27668 vsize=1580612 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27674/stat : 27674 (toysat) S 27668 27671 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30165858 1618546688 336614 33554432000 4194304 16246674 140736016116752 140093232762032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 1580612 [startup+1722.3 s] /proc/loadavg: 2.27 2.25 2.24 3/183 27913 /proc/meminfo: memFree=27735792/32872528 swapFree=1499884/1696108 [pid=27671] ppid=27668 vsize=1595972 CPUtime=1721.89 cores=0,2,4,6 /proc/27671/stat : 27671 (toysat) R 27668 27671 24910 0 -1 4202496 339720 0 0 0 172132 57 0 0 20 0 4 0 30165858 1634275328 340316 33554432000 4194304 16246674 140736016116752 140736016098624 5722960 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27671/statm: 398993 340316 890 2943 0 395887 0 [pid=27671/tid=27672] ppid=27668 vsize=1595972 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27672/stat : 27672 (toysat) S 27668 27671 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30165858 1634275328 340316 33554432000 4194304 16246674 140736016116752 140093253725424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=27671/tid=27673] ppid=27668 vsize=1595972 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27673/stat : 27673 (toysat) S 27668 27671 24910 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 4 0 30165858 1634275328 340316 33554432000 4194304 16246674 140736016116752 140093243235568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=27671/tid=27674] ppid=27668 vsize=1595972 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27674/stat : 27674 (toysat) S 27668 27671 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30165858 1634275328 340316 33554432000 4194304 16246674 140736016116752 140093232762032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 1595972 [startup+1782.3 s] /proc/loadavg: 2.29 2.27 2.24 3/183 27914 /proc/meminfo: memFree=27735476/32872528 swapFree=1499884/1696108 [pid=27671] ppid=27668 vsize=1595972 CPUtime=1781.88 cores=0,2,4,6 /proc/27671/stat : 27671 (toysat) R 27668 27671 24910 0 -1 4202496 339720 0 0 0 178131 57 0 0 20 0 4 0 30165858 1634275328 340316 33554432000 4194304 16246674 140736016116752 140736016098624 6842808 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27671/statm: 398993 340316 890 2943 0 395887 0 [pid=27671/tid=27672] ppid=27668 vsize=1595972 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27672/stat : 27672 (toysat) S 27668 27671 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30165858 1634275328 340316 33554432000 4194304 16246674 140736016116752 140093253725424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=27671/tid=27673] ppid=27668 vsize=1595972 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27673/stat : 27673 (toysat) S 27668 27671 24910 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 4 0 30165858 1634275328 340316 33554432000 4194304 16246674 140736016116752 140093243235568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=27671/tid=27674] ppid=27668 vsize=1595972 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27674/stat : 27674 (toysat) S 27668 27671 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30165858 1634275328 340316 33554432000 4194304 16246674 140736016116752 140093232762032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.88 Current children cumulated vsize (KiB) 1595972 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.20 2.25 2.24 4/186 27918 /proc/meminfo: memFree=27735408/32872528 swapFree=1499884/1696108 [pid=27671] ppid=27668 vsize=1595972 CPUtime=1800.08 cores=0,2,4,6 /proc/27671/stat : 27671 (toysat) R 27668 27671 24910 0 -1 4202496 339720 0 0 0 179951 57 0 0 20 0 4 0 30165858 1634275328 340316 33554432000 4194304 16246674 140736016116752 140736016115928 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27671/statm: 398993 340316 890 2943 0 395887 0 [pid=27671/tid=27672] ppid=27668 vsize=1595972 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27672/stat : 27672 (toysat) S 27668 27671 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30165858 1634275328 340316 33554432000 4194304 16246674 140736016116752 140093253725424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=27671/tid=27673] ppid=27668 vsize=1595972 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27673/stat : 27673 (toysat) S 27668 27671 24910 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 4 0 30165858 1634275328 340316 33554432000 4194304 16246674 140736016116752 140093243235568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=27671/tid=27674] ppid=27668 vsize=1595972 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27674/stat : 27674 (toysat) S 27668 27671 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30165858 1634275328 340316 33554432000 4194304 16246674 140736016116752 140093232762032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1595972 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 27671 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.20 2.25 2.24 4/186 27918 /proc/meminfo: memFree=27735408/32872528 swapFree=1499884/1696108 [pid=27671] ppid=27668 vsize=1595972 CPUtime=1800.08 cores=0,2,4,6 /proc/27671/stat : 27671 (toysat) R 27668 27671 24910 0 -1 4202496 339720 0 0 0 179951 57 0 0 20 0 4 0 30165858 1634275328 340316 33554432000 4194304 16246674 140736016116752 140736016115928 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27671/statm: 398993 340316 890 2943 0 395887 0 [pid=27671/tid=27672] ppid=27668 vsize=1595972 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27672/stat : 27672 (toysat) S 27668 27671 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30165858 1634275328 340316 33554432000 4194304 16246674 140736016116752 140093253725424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=27671/tid=27673] ppid=27668 vsize=1595972 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27673/stat : 27673 (toysat) S 27668 27671 24910 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 4 0 30165858 1634275328 340316 33554432000 4194304 16246674 140736016116752 140093243235568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=27671/tid=27674] ppid=27668 vsize=1595972 CPUtime=0 cores=0,2,4,6 /proc/27671/task/27674/stat : 27674 (toysat) S 27668 27671 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30165858 1634275328 340316 33554432000 4194304 16246674 140736016116752 140093232762032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1595972 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.52 CPU time (s): 1800.1 CPU user time (s): 1799.52 CPU system time (s): 0.58591 CPU usage (%): 99.977 Max. virtual memory (cumulated for all children) (KiB): 1595972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.52 system time used= 0.58591 maximum resident set size= 1361264 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 339720 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= 278 involuntary context switches= 1893 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.1853 second user time and 12.7181 second system time The end
Begin job on node137 at 2016-06-18 22:20:01 IDJOB=4107030 IDBENCH=48379 IDSOLVER=2542 FILE ID=node137/4107030-1466281201 RUNJOBID= node137-1466264772-24926 PBS_JOBID= 19918225 Free space on /tmp= 71688 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_60_4_80.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107030-1466281201/watcher-4107030-1466281201 -o /tmp/evaluation-result-4107030-1466281201/solver-4107030-1466281201 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24926 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107030-1466281201.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fa22dd251e76880c1495cc1725a19f60 RANDOM SEED=1059004752 node137.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.486 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.97 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.486 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 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.486 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.486 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.38 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.486 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.56 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.486 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: 28869696 kB Buffers: 162204 kB Cached: 261360 kB SwapCached: 1268 kB Active: 1294740 kB Inactive: 265344 kB Active(anon): 1137564 kB Inactive(anon): 1028 kB Active(file): 157176 kB Inactive(file): 264316 kB Unevictable: 1696108 kB Mlocked: 1499884 kB SwapTotal: 67108856 kB SwapFree: 67100008 kB Dirty: 17288 kB Writeback: 0 kB AnonPages: 2835624 kB Mapped: 10828 kB Shmem: 0 kB Slab: 608332 kB SReclaimable: 52228 kB SUnreclaim: 556104 kB KernelStack: 1496 kB PageTables: 9728 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2976420 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 868352 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= 71672 MiB End job on node137 at 2016-06-18 22:50:02