| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.07 | 1800.61 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_15_pb.cnf.cr--soft-0-100-0.wbo |
| MD5SUM | dbde182a3659a82e6c4ef24ee1922e32 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 6 |
| Best CPU time to get the best result obtained on this benchmark | 0.462929 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 300 |
| Total number of constraints | 50 |
| Number of soft constraints | 50 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 20 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 15 |
| Top cost | 2726 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 2725 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 16 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-16T17:50:17+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","--wbo","--search=bcd2","HOME/instance-4093624-1466092217.wbo"] 0.00/0.01 c use --random-gen="2096526284 862595916 254082313 2632677960 2473905520 2086980001 266899804 2508837850 4153601370 1416025576 3898138766 1965966145 680152791 1355428287 1511579948 2746850296 4042244322 459131289 2360467130 3961933814 4198652460 72983542 2447573270 508615331 2238515218 3899895052 1307068323 2490494350 1884782507 2437541586 3424024305 155531469 1816154159 645196218 3447559018 1279622170 897712166 620479825 474608452 2571695504 3951745719 725267704 3501441640 659728732 1083827651 654022799 1403721909 2963334276 3633875035 408472828 4187071694 62513229 2782820568 2229416694 196700426 2667498330 3021730977 504045422 1529851704 2373850561 386378274 3161332142 2066398617 1730074651 3145404382 1980127502 925860831 703941443 40365934 1667912196 4061313123 4282229096 1920988824 2316135105 3593544159 3104891535 3195195527 2871237505 3751944989 2474200484 3382400897 3809218112 3560491934 3094130113 1083755322 2605997124 1633761219 2744452609 3568091258 3898003937 2677465135 2741383768 1929669842 3117231843 3011796650 3828630048 4126364194 1155935313 4234850749 571708450 119310450 1431246065 2655973837 722826938 3560257892 3152206518 2551098380 3003806696 1798442095 141131197 3645312486 1802083968 2267315833 2571608904 2040814151 660346089 915243635 806617882 1444653854 2963513373 3252529797 1864366366 1233386448 488208180 1644969370 264127145 3427832618 2032635799 207671577 4108834790 1448278033 3757876221 1814478669 988512659 1495956734 3018565838 2147544743 1215573453 189896383 1818168122 1971842881 3690612353 3108818199 1903934485 2311256344 2142699830 666454466 1862454586 791243471 2698993181 2215671115 2514780571 2055846070 614053344 369513091 3588087553 303421078 2730502732 3887389594 1224280495 2158316138 582411090 1036731085 4114026259 3716899697 1641485471 3440139658 2491937207 2741962032 3202609675 3165196591 1384625052 213918710 990069248 1167775192 1106861787 1070210378 1647483715 3913062425 2470562668 4205639411 555076993 2995343726 2515552549 2662862670 3381176489 1056547231 2016898874 2248627513 2957266806 960655343 107687085 302222721 989133235 2831033839 3943529969 808835330 4000938634 4283649038 3268452687 4277508743 1531338336 1848942850 3686015418 366260308 4047307534 582298152 4007357487 3842886596 919100121 4262803627 2155783362 4004087090 3356218635 1253322036 639878085 3293171045 877264904 594077259 3296272901 102460235 885438082 3451883379 2900544283 4193700833 3059189270 1180881087 1591808738 1931356980 1830794347 490306888 1729542471 1996160299 719262430 33942828 1351607014 2826692624 789696857 2776386099 1882307856 1664273562 3388857728 2398320225 1320205778 2149179934 1710807998 2219316895 178700443 4128365973 3233499566 268270192 1112363081 999921591 1482320998 123410226 2906689251 255 362436" option to reproduce the execution 0.00/0.02 c #vars 300 0.00/0.02 c #constraints 50 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 133 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 70 | 0 | 133 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.001s 0.00/0.02 c #wall_clock_time = 0.001s 0.00/0.02 c #decision = 70 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 o 1541 0.00/0.02 c BCD2: updating upper bound: 2725 -> 1540 0.00/0.02 c BCD2: 0 <= obj <= 1540 0.00/0.02 c BCD2: #cores=0, #unrelaxed=50, #relaxed=0, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 133 0 | 0 | 0 0.00/0.04 c 0.0s | 1 | 175 | 100 | 133 0 | 0 | 0 0.00/0.06 c 0.0s | 2 | 559 | 250 | 147 0 | 0 | 0 0.09/0.10 c 0.1s | 3 | 1024 | 475 | 162 2 | 0 | 0 0.09/0.18 c 0.2s | 4 | 1646 | 813 | 179 4 | 0 | 0 0.19/0.28 c 0.3s | 5 | 2664 | 1320 | 197 8 | 0 | 0 0.29/0.48 c 0.4s | 6 | 3655 | 2081 | 239 12 | 0 | 0 0.69/0.70 c 0.7s | 7 | 5099 | 3223 | 263 19 | 0 | 0 0.99/1.05 c 1.0s | 8 | 7156 | 4936 | 290 28 | 0 | 0 1.39/1.45 c 1.4s | 9 | 10238 | 7506 | 319 41 | 0 | 0 1.99/2.09 c 2.1s | 10 | 14740 | 11361 | 351 59 | 0 | 0 2.99/3.02 c 3.0s | 11 | 21517 | 17144 | 387 84 | 0 | 0 4.39/4.41 c 4.4s | 12 | 31430 | 25819 | 426 120 | 0 | 0 6.39/6.42 c 6.4s | 12 | 45327 | 37819 | 426 164 | 0 | 0 6.49/6.59 c 6.6s | 13 | 46463 | 38832 | 469 168 | 0 | 0 8.58/8.60 c 8.6s | 13 | 60361 | 50932 | 469 210 | 0 | 0 9.88/9.92 c 9.9s | 14 | 68742 | 58352 | 516 235 | 0 | 0 11.88/11.93 c 11.9s | 14 | 81420 | 69252 | 516 270 | 0 | 0 13.89/13.94 c 13.9s | 14 | 93024 | 79452 | 516 302 | 0 | 0 15.50/15.55 c 15.5s | 15 | 102332 | 87632 | 568 328 | 0 | 0 17.49/17.56 c 17.5s | 15 | 113696 | 97732 | 568 358 | 0 | 0 19.49/19.56 c 19.5s | 15 | 124930 | 107632 | 568 387 | 0 | 0 21.49/21.57 c 21.5s | 15 | 135975 | 117432 | 568 416 | 0 | 0 23.49/23.58 c 23.6s | 15 | 146826 | 126932 | 568 444 | 0 | 0 24.49/24.50 c 24.5s | 16 | 152221 | 131552 | 625 457 | 0 | 0 26.39/26.50 c 26.5s | 16 | 164796 | 142152 | 625 486 | 0 | 0 28.49/28.52 c 28.5s | 16 | 176890 | 152752 | 625 515 | 0 | 0 30.49/30.53 c 30.5s | 16 | 188104 | 162552 | 625 541 | 0 | 0 32.49/32.54 c 32.5s | 16 | 198416 | 171852 | 625 567 | 0 | 0 34.48/34.55 c 34.5s | 16 | 209191 | 181452 | 625 593 | 0 | 0 36.49/36.56 c 36.5s | 16 | 219646 | 190752 | 625 618 | 0 | 0 37.98/38.02 c 38.0s | 17 | 227107 | 197432 | 688 636 | 0 | 0 39.98/40.03 c 40.0s | 17 | 238202 | 206632 | 688 659 | 0 | 0 41.99/42.04 c 42.0s | 17 | 248004 | 215232 | 688 680 | 0 | 0 43.98/44.04 c 44.0s | 17 | 258271 | 224232 | 688 703 | 0 | 0 45.98/46.06 c 46.0s | 17 | 268452 | 233332 | 688 726 | 0 | 0 47.98/48.07 c 48.0s | 17 | 279309 | 242832 | 688 749 | 0 | 0 49.98/50.09 c 50.1s | 17 | 289031 | 251032 | 688 770 | 0 | 0 51.98/52.09 c 52.1s | 17 | 299138 | 259732 | 688 792 | 0 | 0 53.99/54.10 c 54.1s | 17 | 309626 | 268732 | 688 814 | 0 | 0 56.08/56.12 c 56.1s | 17 | 320023 | 277732 | 688 836 | 0 | 0 58.08/58.13 c 58.1s | 17 | 330447 | 286632 | 688 858 | 0 | 0 60.08/60.15 c 60.1s | 17 | 339932 | 294832 | 757 879 | 0 | 0 60.38/60.50 c 60.5s | 18 | 341594 | 296252 | 757 882 | 0 | 0 62.48/62.50 c 62.5s | 18 | 351825 | 305152 | 757 902 | 0 | 0 64.48/64.51 c 64.5s | 18 | 362143 | 314052 | 757 923 | 0 | 0 66.48/66.53 c 66.5s | 18 | 372618 | 323152 | 757 944 | 0 | 0 68.48/68.53 c 68.5s | 18 | 383520 | 332452 | 757 966 | 0 | 0 70.49/70.54 c 70.5s | 18 | 394303 | 341652 | 757 986 | 0 | 0 72.48/72.55 c 72.5s | 18 | 405055 | 350852 | 757 1007 | 0 | 0 74.48/74.56 c 74.5s | 18 | 416208 | 360152 | 757 1029 | 0 | 0 76.48/76.58 c 76.6s | 18 | 426812 | 369352 | 757 1050 | 0 | 0 78.48/78.58 c 78.6s | 18 | 436744 | 377952 | 757 1069 | 0 | 0 80.49/80.59 c 80.6s | 18 | 446979 | 386652 | 757 1089 | 0 | 0 82.59/82.61 c 82.6s | 18 | 456718 | 395052 | 757 1109 | 0 | 0 84.58/84.63 c 84.6s | 18 | 465744 | 402952 | 757 1127 | 0 | 0 86.58/86.65 c 86.6s | 18 | 474527 | 410652 | 757 1145 | 0 | 0 88.58/88.66 c 88.6s | 18 | 483220 | 418252 | 757 1162 | 0 | 0 90.58/90.68 c 90.7s | 18 | 492792 | 426352 | 757 1181 | 0 | 0 92.58/92.69 c 92.7s | 18 | 502672 | 434952 | 757 1200 | 0 | 0 94.68/94.70 c 94.7s | 18 | 513056 | 444052 | 833 1221 | 0 | 0 94.68/94.80 c 94.8s | 19 | 513569 | 444482 | 833 1221 | 0 | 0 96.78/96.82 c 96.8s | 19 | 523638 | 453082 | 833 1240 | 0 | 0 98.78/98.82 c 98.8s | 19 | 533432 | 461782 | 833 1258 | 0 | 0 100.78/100.83 c 100s | 19 | 543909 | 470882 | 833 1277 | 0 | 0 102.78/102.83 c 102s | 19 | 553956 | 479782 | 833 1296 | 0 | 0 104.78/104.85 c 104s | 19 | 564509 | 488882 | 833 1315 | 0 | 0 106.78/106.87 c 106s | 19 | 575434 | 498382 | 833 1335 | 0 | 0 108.77/108.89 c 108s | 19 | 586205 | 507782 | 833 1356 | 0 | 0 110.77/110.89 c 110s | 19 | 596878 | 517282 | 833 1376 | 0 | 0 112.87/112.91 c 112s | 19 | 607348 | 526582 | 833 1396 | 0 | 0 114.87/114.93 c 114s | 19 | 618371 | 536282 | 833 1416 | 0 | 0 116.87/116.94 c 116s | 19 | 628959 | 545182 | 833 1435 | 0 | 0 118.88/118.95 c 118s | 19 | 640196 | 554682 | 833 1455 | 0 | 0 120.87/120.96 c 120s | 19 | 652484 | 564382 | 833 1476 | 0 | 0 122.87/122.97 c 122s | 19 | 663629 | 573682 | 833 1495 | 0 | 0 124.87/124.98 c 124s | 19 | 674547 | 583082 | 833 1515 | 0 | 0 126.87/126.99 c 126s | 19 | 685618 | 592782 | 833 1535 | 0 | 0 128.88/128.99 c 128s | 19 | 696679 | 602482 | 833 1556 | 0 | 0 130.87/130.99 c 130s | 19 | 707001 | 611682 | 833 1575 | 0 | 0 132.97/133.01 c 132s | 19 | 717301 | 620782 | 833 1594 | 0 | 0 134.97/135.03 c 135s | 19 | 727643 | 630082 | 833 1614 | 0 | 0 136.97/137.04 c 137s | 19 | 737871 | 639182 | 833 1633 | 0 | 0 138.97/139.05 c 139s | 19 | 748075 | 648282 | 833 1651 | 0 | 0 140.97/141.05 c 141s | 19 | 758467 | 657482 | 833 1671 | 0 | 0 142.97/143.06 c 143s | 19 | 768820 | 666682 | 917 1689 | 0 | 0 142.97/143.10 c 143s | 20 | 768980 | 666827 | 917 1690 | 0 | 0 145.07/145.13 c 145s | 20 | 779708 | 676127 | 917 1708 | 0 | 0 147.06/147.13 c 147s | 20 | 789835 | 684927 | 917 1725 | 0 | 0 149.06/149.14 c 149s | 20 | 799955 | 693727 | 917 1742 | 0 | 0 151.06/151.14 c 151s | 20 | 809891 | 702427 | 917 1759 | 0 | 0 153.07/153.15 c 153s | 20 | 820298 | 711427 | 917 1776 | 0 | 0 155.06/155.16 c 155s | 20 | 830428 | 720327 | 917 1793 | 0 | 0 157.06/157.17 c 157s | 20 | 839799 | 728727 | 917 1809 | 0 | 0 159.06/159.17 c 159s | 20 | 848967 | 736827 | 917 1825 | 0 | 0 161.06/161.20 c 161s | 20 | 858070 | 745027 | 917 1841 | 0 | 0 163.17/163.20 c 163s | 20 | 867876 | 753527 | 917 1857 | 0 | 0 165.18/165.22 c 165s | 20 | 878171 | 762527 | 917 1875 | 0 | 0 167.17/167.22 c 167s | 20 | 887294 | 770627 | 917 1890 | 0 | 0 169.17/169.22 c 169s | 20 | 897438 | 779127 | 917 1907 | 0 | 0 171.17/171.23 c 171s | 20 | 907217 | 787627 | 917 1923 | 0 | 0 173.17/173.25 c 173s | 20 | 917060 | 796227 | 917 1940 | 0 | 0 175.17/175.26 c 175s | 20 | 927121 | 804827 | 917 1956 | 0 | 0 177.17/177.27 c 177s | 20 | 937566 | 813827 | 917 1974 | 0 | 0 179.17/179.27 c 179s | 20 | 947638 | 822627 | 917 1991 | 0 | 0 181.16/181.29 c 181s | 20 | 957900 | 831527 | 917 2008 | 0 | 0 183.26/183.31 c 183s | 20 | 968427 | 840527 | 917 2025 | 0 | 0 185.26/185.32 c 185s | 20 | 978853 | 849327 | 917 2042 | 0 | 0 187.26/187.32 c 187s | 20 | 988790 | 857727 | 917 2059 | 0 | 0 189.27/189.33 c 189s | 20 | 997545 | 865427 | 917 2074 | 0 | 0 191.26/191.34 c 191s | 20 | 1006123 | 873127 | 917 2089 | 0 | 0 193.26/193.35 c 193s | 20 | 1015586 | 881527 | 917 2105 | 0 | 0 195.26/195.37 c 195s | 20 | 1024783 | 889527 | 917 2121 | 0 | 0 197.26/197.39 c 197s | 20 | 1033785 | 897427 | 917 2136 | 0 | 0 199.36/199.41 c 199s | 20 | 1042513 | 905227 | 917 2151 | 0 | 0 201.37/201.42 c 201s | 20 | 1052403 | 913927 | 917 2168 | 0 | 0 203.36/203.42 c 203s | 20 | 1062105 | 922427 | 917 2185 | 0 | 0 205.36/205.43 c 205s | 20 | 1070913 | 930227 | 917 2200 | 0 | 0 207.36/207.45 c 207s | 20 | 1080431 | 938627 | 917 2216 | 0 | 0 209.36/209.47 c 209s | 20 | 1089405 | 946427 | 917 2231 | 0 | 0 211.36/211.49 c 211s | 20 | 1098289 | 954327 | 917 2247 | 0 | 0 213.36/213.50 c 213s | 20 | 1107805 | 962527 | 917 2263 | 0 | 0 215.46/215.51 c 215s | 20 | 1117126 | 970727 | 917 2279 | 0 | 0 217.46/217.53 c 217s | 20 | 1126729 | 979127 | 917 2295 | 0 | 0 219.46/219.55 c 219s | 20 | 1136016 | 987227 | 917 2311 | 0 | 0 221.46/221.56 c 221s | 20 | 1144901 | 994927 | 1009 2325 | 0 | 0 222.76/222.87 c 222s | 21 | 1151124 | 1000345 | 1009 2335 | 0 | 0 224.75/224.87 c 224s | 21 | 1160571 | 1008645 | 1009 2350 | 0 | 0 226.76/226.88 c 226s | 21 | 1169540 | 1016645 | 1009 2364 | 0 | 0 228.75/228.89 c 228s | 21 | 1178849 | 1024845 | 1009 2379 | 0 | 0 230.85/230.91 c 230s | 21 | 1188813 | 1033645 | 1009 2394 | 0 | 0 232.85/232.91 c 232s | 21 | 1199165 | 1042845 | 1009 2411 | 0 | 0 234.85/234.93 c 234s | 21 | 1209163 | 1051445 | 1009 2426 | 0 | 0 236.85/236.94 c 236s | 21 | 1218876 | 1059545 | 1009 2440 | 0 | 0 238.86/238.95 c 238s | 21 | 1228682 | 1068045 | 1009 2455 | 0 | 0 240.85/240.95 c 240s | 21 | 1239537 | 1077445 | 1009 2472 | 0 | 0 242.85/242.96 c 242s | 21 | 1250159 | 1086545 | 1009 2488 | 0 | 0 244.85/244.97 c 244s | 21 | 1260487 | 1095545 | 1009 2504 | 0 | 0 246.85/246.98 c 246s | 21 | 1270120 | 1103945 | 1009 2519 | 0 | 0 248.85/248.99 c 248s | 21 | 1279880 | 1112345 | 1009 2534 | 0 | 0 250.95/251.01 c 250s | 21 | 1289439 | 1120545 | 1009 2549 | 0 | 0 252.95/253.03 c 253s | 21 | 1298089 | 1128145 | 1009 2562 | 0 | 0 254.95/255.05 c 255s | 21 | 1307373 | 1136045 | 1009 2577 | 0 | 0 256.95/257.07 c 257s | 21 | 1316488 | 1144045 | 1009 2591 | 0 | 0 258.95/259.09 c 259s | 21 | 1324988 | 1151545 | 1009 2604 | 0 | 0 260.95/261.09 c 261s | 21 | 1334583 | 1159745 | 1009 2619 | 0 | 0 262.96/263.10 c 263s | 21 | 1344048 | 1168045 | 1009 2634 | 0 | 0 265.05/265.11 c 265s | 21 | 1353783 | 1176445 | 1009 2649 | 0 | 0 267.05/267.12 c 267s | 21 | 1364001 | 1185445 | 1009 2665 | 0 | 0 269.05/269.13 c 269s | 21 | 1373572 | 1194045 | 1009 2680 | 0 | 0 271.05/271.15 c 271s | 21 | 1383421 | 1202745 | 1009 2695 | 0 | 0 273.05/273.15 c 273s | 21 | 1393034 | 1211245 | 1009 2710 | 0 | 0 275.06/275.17 c 275s | 21 | 1402921 | 1220045 | 1009 2726 | 0 | 0 277.05/277.17 c 277s | 21 | 1411643 | 1227845 | 1009 2740 | 0 | 0 279.05/279.19 c 279s | 21 | 1420656 | 1235845 | 1009 2754 | 0 | 0 281.15/281.20 c 281s | 21 | 1429243 | 1243545 | 1009 2767 | 0 | 0 283.15/283.22 c 283s | 21 | 1437767 | 1251145 | 1009 2781 | 0 | 0 285.15/285.23 c 285s | 21 | 1447076 | 1259145 | 1009 2795 | 0 | 0 287.15/287.25 c 287s | 21 | 1456782 | 1267845 | 1009 2810 | 0 | 0 289.15/289.25 c 289s | 21 | 1466425 | 1276345 | 1009 2825 | 0 | 0 291.15/291.25 c 291s | 21 | 1476249 | 1285045 | 1009 2841 | 0 | 0 293.15/293.25 c 293s | 21 | 1485663 | 1293445 | 1009 2856 | 0 | 0 295.15/295.27 c 295s | 21 | 1495158 | 1301945 | 1009 2871 | 0 | 0 297.15/297.30 c 297s | 21 | 1505076 | 1310745 | 1009 2886 | 0 | 0 299.25/299.31 c 299s | 21 | 1514787 | 1319345 | 1009 2902 | 0 | 0 301.24/301.34 c 301s | 21 | 1524374 | 1327945 | 1009 2917 | 0 | 0 303.24/303.34 c 303s | 21 | 1534219 | 1336545 | 1009 2932 | 0 | 0 305.24/305.35 c 305s | 21 | 1543941 | 1344745 | 1009 2947 | 0 | 0 307.24/307.35 c 307s | 21 | 1552814 | 1352645 | 1009 2961 | 0 | 0 309.25/309.36 c 309s | 21 | 1561984 | 1360845 | 1009 2975 | 0 | 0 311.24/311.39 c 311s | 21 | 1571050 | 1368745 | 1009 2989 | 0 | 0 313.34/313.40 c 313s | 21 | 1580543 | 1377145 | 1009 3004 | 0 | 0 315.34/315.41 c 315s | 21 | 1589547 | 1385145 | 1009 3019 | 0 | 0 317.34/317.42 c 317s | 21 | 1598881 | 1393345 | 1009 3033 | 0 | 0 319.34/319.45 c 319s | 21 | 1607507 | 1400945 | 1009 3047 | 0 | 0 321.34/321.45 c 321s | 21 | 1616147 | 1408645 | 1009 3060 | 0 | 0 323.34/323.47 c 323s | 21 | 1624813 | 1416345 | 1009 3074 | 0 | 0 325.34/325.47 c 325s | 21 | 1633939 | 1424445 | 1009 3088 | 0 | 0 327.34/327.49 c 327s | 21 | 1643056 | 1432445 | 1009 3103 | 0 | 0 329.44/329.51 c 329s | 21 | 1651994 | 1440345 | 1009 3117 | 0 | 0 331.44/331.54 c 331s | 21 | 1660592 | 1447845 | 1009 3130 | 0 | 0 333.45/333.57 c 333s | 21 | 1669234 | 1455545 | 1009 3144 | 0 | 0 335.44/335.57 c 335s | 21 | 1677678 | 1462945 | 1009 3157 | 0 | 0 337.44/337.58 c 337s | 21 | 1686381 | 1470645 | 1009 3170 | 0 | 0 339.44/339.58 c 339s | 21 | 1694651 | 1477845 | 1009 3183 | 0 | 0 341.54/341.60 c 341s | 21 | 1704252 | 1486145 | 1009 3198 | 0 | 0 343.54/343.63 c 343s | 21 | 1712580 | 1493545 | 1110 3210 | 0 | 0 345.34/345.49 c 345s | 22 | 1720542 | 1500622 | 1110 3222 | 0 | 0 347.44/347.50 c 347s | 22 | 1729907 | 1508522 | 1110 3235 | 0 | 0 349.43/349.52 c 349s | 22 | 1739911 | 1516622 | 1110 3248 | 0 | 0 351.43/351.54 c 351s | 22 | 1749090 | 1524122 | 1110 3260 | 0 | 0 353.43/353.56 c 353s | 22 | 1758148 | 1531922 | 1110 3273 | 0 | 0 355.44/355.57 c 355s | 22 | 1767098 | 1539622 | 1110 3285 | 0 | 0 357.43/357.59 c 357s | 22 | 1776370 | 1547522 | 1110 3298 | 0 | 0 359.53/359.61 c 359s | 22 | 1785180 | 1555122 | 1110 3311 | 0 | 0 361.53/361.62 c 361s | 22 | 1794324 | 1563222 | 1110 3324 | 0 | 0 363.54/363.64 c 363s | 22 | 1802800 | 1570822 | 1110 3336 | 0 | 0 365.54/365.67 c 365s | 22 | 1811926 | 1578922 | 1110 3349 | 0 | 0 367.55/367.68 c 367s | 22 | 1821472 | 1587122 | 1110 3363 | 0 | 0 369.54/369.70 c 369s | 22 | 1830608 | 1595022 | 1110 3376 | 0 | 0 371.64/371.72 c 371s | 22 | 1839592 | 1602822 | 1110 3388 | 0 | 0 373.64/373.74 c 373s | 22 | 1848394 | 1610622 | 1110 3401 | 0 | 0 375.64/375.74 c 375s | 22 | 1857028 | 1618322 | 1110 3414 | 0 | 0 377.63/377.75 c 377s | 22 | 1865437 | 1625822 | 1110 3426 | 0 | 0 379.64/379.76 c 379s | 22 | 1873782 | 1633322 | 1110 3438 | 0 | 0 381.63/381.77 c 381s | 22 | 1882585 | 1641022 | 1110 3451 | 0 | 0 383.63/383.78 c 383s | 22 | 1891430 | 1648722 | 1110 3463 | 0 | 0 385.63/385.78 c 385s | 22 | 1901247 | 1657222 | 1110 3477 | 0 | 0 387.63/387.79 c 387s | 22 | 1910973 | 1665622 | 1110 3491 | 0 | 0 389.73/389.81 c 389s | 22 | 1920539 | 1673922 | 1110 3504 | 0 | 0 391.74/391.84 c 391s | 22 | 1929852 | 1682022 | 1110 3518 | 0 | 0 393.73/393.86 c 393s | 22 | 1939266 | 1690222 | 1110 3531 | 0 | 0 395.73/395.88 c 395s | 22 | 1948166 | 1697922 | 1110 3544 | 0 | 0 397.83/397.90 c 397s | 22 | 1956075 | 1705022 | 1110 3555 | 0 | 0 399.83/399.91 c 399s | 22 | 1963198 | 1711422 | 1110 3566 | 0 | 0 401.83/401.92 c 401s | 22 | 1970839 | 1718222 | 1110 3577 | 0 | 0 403.83/403.93 c 403s | 22 | 1979372 | 1725722 | 1110 3589 | 0 | 0 405.83/405.95 c 405s | 22 | 1987505 | 1733022 | 1110 3601 | 0 | 0 407.82/407.98 c 407s | 22 | 1996045 | 1740622 | 1110 3614 | 0 | 0 409.92/410.00 c 409s | 22 | 2004341 | 1747822 | 1110 3625 | 0 | 0 411.92/412.02 c 411s | 22 | 2013224 | 1755322 | 1110 3638 | 0 | 0 413.92/414.03 c 414s | 22 | 2023082 | 1763622 | 1110 3651 | 0 | 0 415.93/416.04 c 416s | 22 | 2032757 | 1772122 | 1110 3665 | 0 | 0 417.93/418.06 c 418s | 22 | 2042898 | 1781022 | 1110 3680 | 0 | 0 419.93/420.07 c 420s | 22 | 2052529 | 1789522 | 1110 3693 | 0 | 0 421.93/422.09 c 422s | 22 | 2062294 | 1798022 | 1110 3707 | 0 | 0 424.03/424.11 c 424s | 22 | 2071510 | 1806222 | 1110 3721 | 0 | 0 426.03/426.13 c 426s | 22 | 2080508 | 1814422 | 1110 3734 | 0 | 0 428.03/428.14 c 428s | 22 | 2089196 | 1822222 | 1110 3747 | 0 | 0 430.03/430.15 c 430s | 22 | 2098911 | 1830622 | 1110 3760 | 0 | 0 432.03/432.15 c 432s | 22 | 2108351 | 1838522 | 1110 3773 | 0 | 0 434.03/434.16 c 434s | 22 | 2117299 | 1846422 | 1110 3786 | 0 | 0 436.03/436.17 c 436s | 22 | 2126181 | 1854222 | 1110 3799 | 0 | 0 438.03/438.18 c 438s | 22 | 2135156 | 1861922 | 1110 3812 | 0 | 0 440.03/440.18 c 440s | 22 | 2144145 | 1869622 | 1110 3824 | 0 | 0 442.02/442.19 c 442s | 22 | 2152676 | 1877222 | 1110 3837 | 0 | 0 444.12/444.23 c 444s | 22 | 2160619 | 1884222 | 1110 3848 | 0 | 0 446.12/446.24 c 446s | 22 | 2168984 | 1891522 | 1110 3860 | 0 | 0 448.12/448.27 c 448s | 22 | 2177650 | 1899222 | 1110 3873 | 0 | 0 450.12/450.29 c 450s | 22 | 2185826 | 1906522 | 1110 3884 | 0 | 0 452.23/452.32 c 452s | 22 | 2194087 | 1913822 | 1110 3896 | 0 | 0 454.22/454.32 c 454s | 22 | 2202859 | 1921522 | 1110 3909 | 0 | 0 456.22/456.33 c 456s | 22 | 2210886 | 1928722 | 1110 3921 | 0 | 0 458.22/458.35 c 458s | 22 | 2219014 | 1935922 | 1110 3933 | 0 | 0 460.22/460.36 c 460s | 22 | 2228038 | 1943922 | 1110 3946 | 0 | 0 462.22/462.37 c 462s | 22 | 2237339 | 1951922 | 1110 3959 | 0 | 0 464.23/464.38 c 464s | 22 | 2246134 | 1959622 | 1110 3971 | 0 | 0 466.22/466.38 c 466s | 22 | 2254324 | 1966922 | 1110 3983 | 0 | 0 468.22/468.39 c 468s | 22 | 2262423 | 1974022 | 1110 3995 | 0 | 0 470.32/470.40 c 470s | 22 | 2271034 | 1981522 | 1110 4007 | 0 | 0 472.32/472.42 c 472s | 22 | 2279765 | 1989222 | 1110 4020 | 0 | 0 474.32/474.43 c 474s | 22 | 2287743 | 1996222 | 1110 4031 | 0 | 0 476.32/476.43 c 476s | 22 | 2296354 | 2003822 | 1110 4044 | 0 | 0 478.32/478.44 c 478s | 22 | 2305742 | 2012122 | 1110 4057 | 0 | 0 480.31/480.45 c 480s | 22 | 2314391 | 2019722 | 1110 4070 | 0 | 0 482.31/482.46 c 482s | 22 | 2323763 | 2027922 | 1110 4083 | 0 | 0 484.31/484.48 c 484s | 22 | 2332800 | 2035922 | 1110 4096 | 0 | 0 486.41/486.50 c 486s | 22 | 2341475 | 2043622 | 1110 4109 | 0 | 0 488.42/488.53 c 488s | 22 | 2350661 | 2051722 | 1110 4122 | 0 | 0 490.41/490.54 c 490s | 22 | 2359288 | 2059422 | 1110 4134 | 0 | 0 492.41/492.56 c 492s | 22 | 2367771 | 2066922 | 1110 4147 | 0 | 0 494.41/494.57 c 494s | 22 | 2376835 | 2075022 | 1110 4160 | 0 | 0 496.41/496.57 c 496s | 22 | 2385704 | 2083022 | 1110 4173 | 0 | 0 498.42/498.59 c 498s | 22 | 2394444 | 2090722 | 1110 4186 | 0 | 0 500.41/500.60 c 500s | 22 | 2403369 | 2098622 | 1110 4198 | 0 | 0 502.51/502.62 c 502s | 22 | 2412216 | 2106522 | 1110 4211 | 0 | 0 504.51/504.63 c 504s | 22 | 2420576 | 2114022 | 1110 4224 | 0 | 0 506.51/506.64 c 506s | 22 | 2429448 | 2121922 | 1110 4236 | 0 | 0 508.51/508.66 c 508s | 22 | 2438329 | 2129822 | 1110 4249 | 0 | 0 510.51/510.67 c 510s | 22 | 2446868 | 2137422 | 1110 4262 | 0 | 0 512.51/512.67 c 512s | 22 | 2455504 | 2145122 | 1110 4274 | 0 | 0 514.51/514.68 c 514s | 22 | 2464304 | 2152722 | 1110 4287 | 0 | 0 516.61/516.71 c 516s | 22 | 2473213 | 2160522 | 1110 4300 | 0 | 0 518.61/518.73 c 518s | 22 | 2482088 | 2168422 | 1110 4312 | 0 | 0 520.61/520.75 c 520s | 22 | 2491332 | 2176522 | 1110 4326 | 0 | 0 522.61/522.77 c 522s | 22 | 2500552 | 2184622 | 1110 4339 | 0 | 0 524.61/524.78 c 524s | 22 | 2509282 | 2192322 | 1110 4351 | 0 | 0 526.70/526.80 c 526s | 22 | 2517972 | 2200022 | 1110 4364 | 0 | 0 528.70/528.80 c 528s | 22 | 2526839 | 2207822 | 1110 4377 | 0 | 0 530.71/530.82 c 530s | 22 | 2535476 | 2215622 | 1110 4389 | 0 | 0 532.71/532.83 c 532s | 22 | 2544692 | 2223822 | 1110 4403 | 0 | 0 534.72/534.85 c 534s | 22 | 2554155 | 2231922 | 1110 4416 | 0 | 0 536.71/536.86 c 536s | 22 | 2562879 | 2239522 | 1221 4428 | 0 | 0 538.71/538.88 c 538s | 22 | 2571008 | 2246822 | 1221 4439 | 0 | 0 539.91/540.01 c 539s | 23 | 2575773 | 2251038 | 1221 4445 | 0 | 0 541.91/542.03 c 542s | 23 | 2585014 | 2258838 | 1221 4457 | 0 | 0 543.91/544.05 c 544s | 23 | 2593878 | 2266638 | 1221 4468 | 0 | 0 545.91/546.07 c 546s | 23 | 2602418 | 2274238 | 1221 4480 | 0 | 0 547.91/548.09 c 548s | 23 | 2611636 | 2282338 | 1221 4492 | 0 | 0 549.91/550.09 c 550s | 23 | 2620798 | 2290438 | 1221 4504 | 0 | 0 551.91/552.09 c 552s | 23 | 2630134 | 2298738 | 1221 4517 | 0 | 0 554.01/554.11 c 554s | 23 | 2639679 | 2307138 | 1221 4529 | 0 | 0 556.01/556.12 c 556s | 23 | 2648445 | 2314938 | 1221 4541 | 0 | 0 558.01/558.14 c 558s | 23 | 2657599 | 2323038 | 1221 4553 | 0 | 0 560.01/560.16 c 560s | 23 | 2667199 | 2331338 | 1221 4566 | 0 | 0 562.00/562.17 c 562s | 23 | 2675510 | 2338638 | 1221 4577 | 0 | 0 564.10/564.20 c 564s | 23 | 2684541 | 2346538 | 1221 4589 | 0 | 0 566.10/566.21 c 566s | 23 | 2692794 | 2353838 | 1221 4600 | 0 | 0 568.10/568.23 c 568s | 23 | 2701763 | 2361738 | 1221 4612 | 0 | 0 570.10/570.24 c 570s | 23 | 2710368 | 2369338 | 1221 4623 | 0 | 0 572.11/572.24 c 572s | 23 | 2719044 | 2377038 | 1221 4634 | 0 | 0 574.10/574.27 c 574s | 23 | 2727040 | 2384238 | 1221 4645 | 0 | 0 576.10/576.27 c 576s | 23 | 2734553 | 2391038 | 1221 4655 | 0 | 0 578.20/578.30 c 578s | 23 | 2742299 | 2398038 | 1221 4666 | 0 | 0 580.20/580.32 c 580s | 23 | 2750278 | 2405138 | 1221 4676 | 0 | 0 582.20/582.34 c 582s | 23 | 2758399 | 2412538 | 1221 4687 | 0 | 0 584.20/584.37 c 584s | 23 | 2766087 | 2419538 | 1221 4698 | 0 | 0 586.20/586.38 c 586s | 23 | 2774542 | 2427038 | 1221 4709 | 0 | 0 588.30/588.40 c 588s | 23 | 2782033 | 2433838 | 1221 4719 | 0 | 0 590.30/590.41 c 590s | 23 | 2789703 | 2440738 | 1221 4729 | 0 | 0 592.30/592.44 c 592s | 23 | 2797169 | 2447438 | 1221 4739 | 0 | 0 594.30/594.44 c 594s | 23 | 2804267 | 2453838 | 1221 4749 | 0 | 0 596.30/596.46 c 596s | 23 | 2811956 | 2460538 | 1221 4759 | 0 | 0 598.29/598.48 c 598s | 23 | 2820624 | 2467938 | 1221 4770 | 0 | 0 600.39/600.50 c 600s | 23 | 2828677 | 2475138 | 1221 4781 | 0 | 0 602.39/602.51 c 602s | 23 | 2836757 | 2482438 | 1221 4792 | 0 | 0 604.39/604.52 c 604s | 23 | 2844674 | 2489538 | 1221 4802 | 0 | 0 606.39/606.55 c 606s | 23 | 2852929 | 2496938 | 1221 4814 | 0 | 0 608.41/608.57 c 608s | 23 | 2861626 | 2504638 | 1221 4825 | 0 | 0 610.40/610.57 c 610s | 23 | 2869933 | 2512138 | 1221 4836 | 0 | 0 612.40/612.59 c 612s | 23 | 2878759 | 2520038 | 1221 4848 | 0 | 0 614.50/614.61 c 614s | 23 | 2887790 | 2528038 | 1221 4860 | 0 | 0 616.50/616.62 c 616s | 23 | 2896574 | 2535938 | 1221 4872 | 0 | 0 618.50/618.64 c 618s | 23 | 2905127 | 2543638 | 1221 4884 | 0 | 0 620.51/620.65 c 620s | 23 | 2913759 | 2551438 | 1221 4895 | 0 | 0 622.50/622.66 c 622s | 23 | 2922451 | 2559138 | 1221 4907 | 0 | 0 624.50/624.67 c 624s | 23 | 2931625 | 2567138 | 1221 4919 | 0 | 0 626.50/626.67 c 626s | 23 | 2940732 | 2575038 | 1221 4931 | 0 | 0 628.50/628.68 c 628s | 23 | 2949586 | 2582838 | 1221 4943 | 0 | 0 630.50/630.69 c 630s | 23 | 2958148 | 2590438 | 1221 4954 | 0 | 0 632.50/632.70 c 632s | 23 | 2966709 | 2598038 | 1221 4965 | 0 | 0 634.59/634.70 c 634s | 23 | 2974785 | 2605038 | 1221 4976 | 0 | 0 636.59/636.72 c 636s | 23 | 2983122 | 2612138 | 1221 4987 | 0 | 0 638.59/638.73 c 638s | 23 | 2991817 | 2619638 | 1221 4998 | 0 | 0 640.59/640.74 c 640s | 23 | 2999504 | 2626338 | 1221 5008 | 0 | 0 642.59/642.75 c 642s | 23 | 3006726 | 2632738 | 1221 5018 | 0 | 0 644.60/644.78 c 644s | 23 | 3014813 | 2639738 | 1221 5028 | 0 | 0 646.59/646.79 c 646s | 23 | 3022464 | 2646438 | 1221 5038 | 0 | 0 648.69/648.81 c 648s | 23 | 3029968 | 2653138 | 1221 5048 | 0 | 0 650.69/650.81 c 650s | 23 | 3037267 | 2659638 | 1221 5058 | 0 | 0 652.69/652.83 c 652s | 23 | 3044749 | 2666038 | 1221 5068 | 0 | 0 654.69/654.86 c 654s | 23 | 3051891 | 2672338 | 1221 5077 | 0 | 0 656.69/656.88 c 656s | 23 | 3059951 | 2679438 | 1221 5088 | 0 | 0 658.79/658.91 c 658s | 23 | 3067917 | 2686438 | 1221 5099 | 0 | 0 660.79/660.92 c 660s | 23 | 3075352 | 2693138 | 1221 5109 | 0 | 0 662.79/662.94 c 662s | 23 | 3082761 | 2699638 | 1221 5118 | 0 | 0 664.79/664.96 c 664s | 23 | 3090387 | 2706438 | 1221 5129 | 0 | 0 666.79/666.99 c 666s | 23 | 3098363 | 2713538 | 1221 5139 | 0 | 0 668.89/669.01 c 668s | 23 | 3106036 | 2720438 | 1221 5149 | 0 | 0 670.88/671.03 c 671s | 23 | 3113782 | 2727438 | 1221 5160 | 0 | 0 672.88/673.05 c 673s | 23 | 3121653 | 2734238 | 1221 5170 | 0 | 0 674.88/675.07 c 675s | 23 | 3129249 | 2741038 | 1221 5180 | 0 | 0 676.89/677.07 c 677s | 23 | 3137278 | 2748238 | 1221 5191 | 0 | 0 678.89/679.07 c 679s | 23 | 3145184 | 2755238 | 1221 5202 | 0 | 0 680.90/681.09 c 681s | 23 | 3153563 | 2762638 | 1221 5213 | 0 | 0 682.99/683.10 c 683s | 23 | 3161797 | 2770038 | 1221 5224 | 0 | 0 684.99/685.14 c 685s | 23 | 3169733 | 2777138 | 1221 5235 | 0 | 0 686.99/687.14 c 687s | 23 | 3177824 | 2784438 | 1221 5245 | 0 | 0 688.99/689.17 c 689s | 23 | 3186595 | 2792338 | 1221 5257 | 0 | 0 690.99/691.17 c 691s | 23 | 3195210 | 2799938 | 1221 5269 | 0 | 0 692.99/693.18 c 693s | 23 | 3203971 | 2807638 | 1221 5280 | 0 | 0 694.99/695.19 c 695s | 23 | 3212885 | 2815638 | 1221 5292 | 0 | 0 696.99/697.19 c 697s | 23 | 3221616 | 2823338 | 1221 5304 | 0 | 0 699.09/699.22 c 699s | 23 | 3230457 | 2831138 | 1221 5316 | 0 | 0 701.09/701.22 c 701s | 23 | 3238997 | 2838738 | 1221 5327 | 0 | 0 703.09/703.24 c 703s | 23 | 3247603 | 2846438 | 1221 5339 | 0 | 0 705.09/705.26 c 705s | 23 | 3256535 | 2854138 | 1221 5350 | 0 | 0 707.08/707.26 c 707s | 23 | 3265508 | 2862038 | 1221 5362 | 0 | 0 709.08/709.28 c 709s | 23 | 3274935 | 2870238 | 1221 5374 | 0 | 0 711.08/711.28 c 711s | 23 | 3283730 | 2878038 | 1221 5386 | 0 | 0 713.08/713.29 c 713s | 23 | 3292432 | 2885738 | 1221 5398 | 0 | 0 715.18/715.32 c 715s | 23 | 3301292 | 2893638 | 1221 5410 | 0 | 0 717.19/717.33 c 717s | 23 | 3309860 | 2901338 | 1221 5421 | 0 | 0 719.18/719.35 c 719s | 23 | 3318546 | 2908938 | 1221 5433 | 0 | 0 721.18/721.37 c 721s | 23 | 3327372 | 2916838 | 1221 5444 | 0 | 0 723.18/723.38 c 723s | 23 | 3336342 | 2924838 | 1221 5456 | 0 | 0 725.18/725.39 c 725s | 23 | 3344493 | 2932138 | 1221 5467 | 0 | 0 727.28/727.40 c 727s | 23 | 3352516 | 2939238 | 1221 5478 | 0 | 0 729.29/729.40 c 729s | 23 | 3360762 | 2946638 | 1221 5489 | 0 | 0 731.28/731.43 c 731s | 23 | 3368468 | 2953638 | 1221 5500 | 0 | 0 733.28/733.46 c 733s | 23 | 3376252 | 2960638 | 1221 5510 | 0 | 0 735.28/735.47 c 735s | 23 | 3384353 | 2967738 | 1221 5521 | 0 | 0 737.28/737.48 c 737s | 23 | 3392601 | 2975138 | 1221 5532 | 0 | 0 739.28/739.49 c 739s | 23 | 3401180 | 2982738 | 1221 5543 | 0 | 0 741.38/741.51 c 741s | 23 | 3409707 | 2990438 | 1221 5555 | 0 | 0 743.38/743.52 c 743s | 23 | 3418140 | 2997938 | 1221 5566 | 0 | 0 745.37/745.54 c 745s | 23 | 3426042 | 3005038 | 1221 5577 | 0 | 0 747.37/747.55 c 747s | 23 | 3433933 | 3012138 | 1221 5587 | 0 | 0 749.37/749.56 c 749s | 23 | 3441988 | 3019338 | 1221 5598 | 0 | 0 751.38/751.57 c 751s | 23 | 3450406 | 3026738 | 1221 5609 | 0 | 0 753.37/753.58 c 753s | 23 | 3458792 | 3034238 | 1221 5621 | 0 | 0 755.37/755.59 c 755s | 23 | 3467100 | 3041738 | 1221 5632 | 0 | 0 757.47/757.60 c 757s | 23 | 3475823 | 3049438 | 1221 5643 | 0 | 0 759.47/759.61 c 759s | 23 | 3484329 | 3056938 | 1221 5655 | 0 | 0 761.47/761.62 c 761s | 23 | 3492508 | 3064238 | 1221 5666 | 0 | 0 763.48/763.63 c 763s | 23 | 3501240 | 3072038 | 1221 5677 | 0 | 0 765.47/765.63 c 765s | 23 | 3509855 | 3079738 | 1221 5689 | 0 | 0 767.47/767.64 c 767s | 23 | 3518620 | 3087538 | 1221 5701 | 0 | 0 769.47/769.64 c 769s | 23 | 3527241 | 3095238 | 1221 5712 | 0 | 0 771.47/771.64 c 771s | 23 | 3535503 | 3102638 | 1221 5723 | 0 | 0 773.47/773.66 c 773s | 23 | 3543860 | 3110038 | 1221 5735 | 0 | 0 775.47/775.68 c 775s | 23 | 3551823 | 3117138 | 1221 5745 | 0 | 0 777.47/777.68 c 777s | 23 | 3560412 | 3124838 | 1221 5757 | 0 | 0 779.48/779.68 c 779s | 23 | 3568781 | 3132238 | 1221 5768 | 0 | 0 781.58/781.71 c 781s | 23 | 3577163 | 3139738 | 1221 5779 | 0 | 0 783.57/783.74 c 783s | 23 | 3585770 | 3147338 | 1221 5791 | 0 | 0 785.57/785.75 c 785s | 23 | 3595079 | 3155538 | 1221 5803 | 0 | 0 787.58/787.77 c 787s | 23 | 3603466 | 3163038 | 1221 5814 | 0 | 0 789.57/789.77 c 789s | 23 | 3612530 | 3171038 | 1221 5826 | 0 | 0 791.57/791.78 c 791s | 23 | 3620903 | 3178438 | 1221 5837 | 0 | 0 793.57/793.79 c 793s | 23 | 3629305 | 3185938 | 1221 5849 | 0 | 0 795.67/795.80 c 795s | 23 | 3637744 | 3193438 | 1221 5860 | 0 | 0 797.67/797.81 c 797s | 23 | 3645754 | 3200538 | 1221 5871 | 0 | 0 799.68/799.83 c 799s | 23 | 3654037 | 3207938 | 1221 5882 | 0 | 0 801.67/801.83 c 801s | 23 | 3662316 | 3215338 | 1221 5893 | 0 | 0 803.67/803.83 c 803s | 23 | 3670562 | 3222738 | 1221 5904 | 0 | 0 805.67/805.83 c 805s | 23 | 3678633 | 3229938 | 1221 5915 | 0 | 0 807.67/807.84 c 807s | 23 | 3686792 | 3237238 | 1221 5926 | 0 | 0 809.47/809.65 c 809s | 23 | 3694037 | 3243821 | 1221 5936 | 0 | 0 809.47/809.65 c #cpu_time = 807.559s 809.47/809.65 c #wall_clock_time = 809.628s 809.47/809.65 c #decision = 3694037 809.47/809.65 c #random_decision = 14858 809.47/809.65 c #conflict = 3243821 809.47/809.65 c #restart = 23 809.47/809.65 c BCD2: found a new core of size 25: cost of the new core is >=1 809.47/809.65 c lower bound updated to 1 809.47/809.65 c BCD2: 1 <= obj <= 1540 809.47/809.65 c BCD2: #cores=1, #unrelaxed=25, #relaxed=25, #hardened=0 809.47/809.65 c BCD2: #sat=1 #unsat=2 bias=2/3 809.47/809.65 c Solving starts ... 809.47/809.65 c ============================[ Search Statistics ]============================ 809.47/809.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 809.47/809.65 c | | | | Limit GC | Var | Constra 809.47/809.65 c ============================================================================= 809.47/809.65 c 0.0s | 0 | 0 | 0 | 1221 0 | 0 | 0 809.47/809.67 c 0.0s | 1 | 280 | 100 | 1221 0 | 0 | 0 809.47/809.69 c 0.0s | 2 | 545 | 250 | 1221 0 | 0 | 0 809.57/809.73 c 0.1s | 3 | 913 | 475 | 1221 0 | 0 | 0 809.57/809.79 c 0.1s | 4 | 1656 | 813 | 1221 1 | 0 | 0 809.77/809.90 c 0.2s | 5 | 2435 | 1320 | 1221 2 | 0 | 0 809.87/810.08 c 0.4s | 6 | 3545 | 2081 | 1221 3 | 0 | 0 810.17/810.36 c 0.7s | 7 | 5030 | 3223 | 1221 5 | 0 | 0 810.57/810.78 c 1.1s | 8 | 7099 | 4936 | 1221 7 | 0 | 0 811.17/811.38 c 1.7s | 9 | 10390 | 7506 | 1221 11 | 0 | 0 812.07/812.30 c 2.6s | 10 | 15038 | 11361 | 1221 17 | 0 | 0 813.47/813.68 c 4.0s | 11 | 21727 | 17144 | 1221 26 | 0 | 0 815.47/815.68 c 6.0s | 11 | 31425 | 25544 | 1221 39 | 0 | 0 815.57/815.75 c 6.1s | 12 | 31733 | 25819 | 1221 39 | 0 | 0 817.56/817.76 c 8.1s | 12 | 41067 | 33819 | 1221 52 | 0 | 0 818.86/819.01 c 9.4s | 13 | 46725 | 38832 | 1221 59 | 0 | 0 820.86/821.02 c 11.4s | 13 | 56226 | 47032 | 1221 72 | 0 | 0 822.87/823.05 c 13.4s | 13 | 64958 | 54532 | 1221 83 | 0 | 0 823.87/824.04 c 14.4s | 14 | 69366 | 58352 | 1221 89 | 0 | 0 825.86/826.04 c 16.4s | 14 | 78285 | 65852 | 1221 101 | 0 | 0 827.86/828.06 c 18.4s | 14 | 87272 | 73652 | 1221 112 | 0 | 0 829.86/830.07 c 20.4s | 14 | 96875 | 81652 | 1221 125 | 0 | 0 831.57/831.70 c 22.1s | 15 | 103549 | 87632 | 1221 134 | 0 | 0 833.56/833.73 c 24.1s | 15 | 113317 | 95832 | 1221 146 | 0 | 0 835.56/835.73 c 26.1s | 15 | 122934 | 104232 | 1221 159 | 0 | 0 837.56/837.74 c 28.1s | 15 | 131773 | 112032 | 1344 170 | 0 | 0 839.56/839.76 c 30.1s | 15 | 140854 | 120032 | 1344 181 | 0 | 0 841.57/841.78 c 32.1s | 15 | 149399 | 127432 | 1344 191 | 0 | 0 842.76/842.95 c 33.3s | 16 | 154138 | 131552 | 1344 197 | 0 | 0 844.77/844.96 c 35.3s | 16 | 162201 | 138652 | 1344 207 | 0 | 0 846.76/846.97 c 37.3s | 16 | 170553 | 146052 | 1344 217 | 0 | 0 848.76/848.99 c 39.3s | 16 | 179186 | 153752 | 1344 228 | 0 | 0 850.76/850.99 c 41.3s | 16 | 187088 | 160852 | 1344 238 | 0 | 0 852.86/853.01 c 43.4s | 16 | 195216 | 168152 | 1344 248 | 0 | 0 854.86/855.03 c 45.4s | 16 | 203535 | 175552 | 1344 258 | 0 | 0 856.86/857.06 c 47.4s | 16 | 211847 | 182852 | 1344 268 | 0 | 0 858.86/859.06 c 49.4s | 16 | 219962 | 189952 | 1344 278 | 0 | 0 860.86/861.09 c 51.4s | 16 | 228288 | 197252 | 1344 288 | 0 | 0 860.96/861.14 c 51.5s | 17 | 228478 | 197432 | 1344 288 | 0 | 0 862.95/863.16 c 53.5s | 17 | 237737 | 205632 | 1344 300 | 0 | 0 864.95/865.18 c 55.5s | 17 | 247198 | 213732 | 1344 311 | 0 | 0 866.95/867.19 c 57.5s | 17 | 255509 | 221032 | 1344 321 | 0 | 0 869.06/869.21 c 59.6s | 17 | 264754 | 228832 | 1344 332 | 0 | 0 871.05/871.23 c 61.6s | 17 | 272786 | 235632 | 1344 342 | 0 | 0 873.05/873.27 c 63.6s | 17 | 280670 | 242432 | 1344 351 | 0 | 0 875.05/875.29 c 65.6s | 17 | 288129 | 249032 | 1344 360 | 0 | 0 877.16/877.30 c 67.6s | 17 | 295895 | 255932 | 1344 370 | 0 | 0 879.16/879.33 c 69.7s | 17 | 303910 | 263032 | 1344 380 | 0 | 0 881.17/881.36 c 71.7s | 17 | 311606 | 269932 | 1344 390 | 0 | 0 883.16/883.39 c 73.7s | 17 | 319168 | 276632 | 1344 399 | 0 | 0 885.26/885.41 c 75.8s | 17 | 327234 | 283732 | 1344 409 | 0 | 0 887.26/887.42 c 77.8s | 17 | 335141 | 290732 | 1344 418 | 0 | 0 888.76/889.00 c 79.3s | 18 | 341475 | 296252 | 1344 426 | 0 | 0 890.86/891.02 c 81.4s | 18 | 349851 | 303252 | 1344 436 | 0 | 0 892.86/893.03 c 83.4s | 18 | 358043 | 310352 | 1344 446 | 0 | 0 894.86/895.05 c 85.4s | 18 | 366855 | 318052 | 1344 456 | 0 | 0 896.86/897.08 c 87.4s | 18 | 375732 | 325652 | 1344 467 | 0 | 0 898.96/899.10 c 89.4s | 18 | 384111 | 332852 | 1344 477 | 0 | 0 900.96/901.12 c 91.5s | 18 | 392148 | 339952 | 1344 487 | 0 | 0 902.95/903.13 c 93.5s | 18 | 399912 | 346852 | 1344 496 | 0 | 0 904.95/905.15 c 95.5s | 18 | 408087 | 354052 | 1344 506 | 0 | 0 906.95/907.17 c 97.5s | 18 | 416276 | 361152 | 1344 516 | 0 | 0 908.95/909.20 c 99.5s | 18 | 424303 | 368052 | 1344 526 | 0 | 0 911.05/911.20 c 101s | 18 | 432006 | 374852 | 1344 535 | 0 | 0 913.06/913.21 c 103s | 18 | 440679 | 382452 | 1344 546 | 0 | 0 915.05/915.22 c 105s | 18 | 449390 | 390052 | 1344 556 | 0 | 0 917.05/917.23 c 107s | 18 | 457946 | 397552 | 1344 566 | 0 | 0 919.05/919.24 c 109s | 18 | 466770 | 405252 | 1344 577 | 0 | 0 921.05/921.26 c 111s | 18 | 475135 | 412652 | 1344 587 | 0 | 0 923.05/923.27 c 113s | 18 | 483398 | 419952 | 1344 598 | 0 | 0 925.06/925.29 c 115s | 18 | 490694 | 426552 | 1344 607 | 0 | 0 927.15/927.31 c 117s | 18 | 498481 | 433452 | 1344 616 | 0 | 0 929.15/929.33 c 119s | 18 | 505934 | 440152 | 1344 626 | 0 | 0 930.35/930.58 c 120s | 19 | 511089 | 444482 | 1344 632 | 0 | 0 932.35/932.59 c 122s | 19 | 519195 | 451282 | 1344 641 | 0 | 0 934.45/934.60 c 124s | 19 | 527206 | 458182 | 1344 651 | 0 | 0 936.45/936.62 c 126s | 19 | 535407 | 465182 | 1344 661 | 0 | 0 938.45/938.63 c 128s | 19 | 543156 | 471982 | 1344 670 | 0 | 0 940.46/940.64 c 130s | 19 | 550825 | 478782 | 1344 679 | 0 | 0 942.45/942.66 c 133s | 19 | 559332 | 485982 | 1344 690 | 0 | 0 944.45/944.68 c 135s | 19 | 567875 | 493382 | 1344 700 | 0 | 0 946.55/946.70 c 137s | 19 | 576615 | 500882 | 1344 710 | 0 | 0 948.55/948.71 c 139s | 19 | 584211 | 507682 | 1344 720 | 0 | 0 950.55/950.73 c 141s | 19 | 592480 | 515082 | 1344 730 | 0 | 0 952.55/952.74 c 143s | 19 | 600288 | 522082 | 1344 740 | 0 | 0 954.54/954.75 c 145s | 19 | 609080 | 529982 | 1344 751 | 0 | 0 956.54/956.76 c 147s | 19 | 617067 | 536982 | 1344 761 | 0 | 0 958.54/958.77 c 149s | 19 | 625189 | 544182 | 1344 771 | 0 | 0 960.54/960.78 c 151s | 19 | 633917 | 551882 | 1344 782 | 0 | 0 962.55/962.78 c 153s | 19 | 642140 | 559082 | 1344 792 | 0 | 0 964.54/964.80 c 155s | 19 | 651026 | 566882 | 1344 803 | 0 | 0 966.64/966.82 c 157s | 19 | 659615 | 574582 | 1344 814 | 0 | 0 968.64/968.82 c 159s | 19 | 668835 | 582682 | 1344 825 | 0 | 0 970.64/970.83 c 161s | 19 | 677687 | 590382 | 1344 836 | 0 | 0 972.64/972.86 c 163s | 19 | 686342 | 597882 | 1344 846 | 0 | 0 974.65/974.87 c 165s | 19 | 694732 | 604982 | 1344 856 | 0 | 0 976.64/976.89 c 167s | 19 | 702879 | 612082 | 1344 866 | 0 | 0 978.64/978.89 c 169s | 19 | 710863 | 619182 | 1344 876 | 0 | 0 980.64/980.90 c 171s | 19 | 719425 | 626882 | 1344 887 | 0 | 0 982.74/982.91 c 173s | 19 | 727692 | 634082 | 1344 897 | 0 | 0 984.74/984.93 c 175s | 19 | 735681 | 641082 | 1344 907 | 0 | 0 986.74/986.93 c 177s | 19 | 743629 | 648182 | 1344 917 | 0 | 0 988.73/988.96 c 179s | 19 | 751833 | 655482 | 1344 927 | 0 | 0 990.74/990.98 c 181s | 19 | 759646 | 662582 | 1344 936 | 0 | 0 991.94/992.13 c 182s | 20 | 764503 | 666827 | 1344 942 | 0 | 0 993.94/994.15 c 184s | 20 | 773428 | 674527 | 1344 953 | 0 | 0 995.94/996.18 c 186s | 20 | 781747 | 681827 | 1344 963 | 0 | 0 997.94/998.19 c 188s | 20 | 789959 | 689027 | 1344 973 | 0 | 0 999.95/1000.20 c 190s | 20 | 797836 | 696027 | 1344 983 | 0 | 0 1002.05/1002.20 c 192s | 20 | 805641 | 702827 | 1344 993 | 0 | 0 1004.04/1004.20 c 194s | 20 | 812785 | 709127 | 1344 1001 | 0 | 0 1006.04/1006.21 c 196s | 20 | 820559 | 716127 | 1344 1011 | 0 | 0 1008.04/1008.22 c 198s | 20 | 828242 | 723027 | 1344 1021 | 0 | 0 1010.04/1010.23 c 200s | 20 | 836812 | 730427 | 1344 1031 | 0 | 0 1012.05/1012.25 c 202s | 20 | 846489 | 738627 | 1344 1042 | 0 | 0 1014.04/1014.27 c 204s | 20 | 855565 | 746527 | 1344 1054 | 0 | 0 1016.04/1016.27 c 206s | 20 | 864254 | 754027 | 1344 1064 | 0 | 0 1018.04/1018.29 c 208s | 20 | 873277 | 761927 | 1344 1075 | 0 | 0 1020.14/1020.31 c 210s | 20 | 881909 | 769527 | 1344 1086 | 0 | 0 1022.14/1022.33 c 212s | 20 | 890623 | 777227 | 1344 1096 | 0 | 0 1024.14/1024.35 c 214s | 20 | 898508 | 784227 | 1344 1106 | 0 | 0 1026.13/1026.38 c 216s | 20 | 905862 | 790827 | 1344 1115 | 0 | 0 1028.13/1028.39 c 218s | 20 | 913111 | 797327 | 1344 1124 | 0 | 0 1030.23/1030.42 c 220s | 20 | 920097 | 803627 | 1344 1133 | 0 | 0 1032.23/1032.45 c 222s | 20 | 927657 | 810327 | 1344 1142 | 0 | 0 1034.23/1034.45 c 224s | 20 | 934608 | 816527 | 1344 1151 | 0 | 0 1036.23/1036.47 c 226s | 20 | 941772 | 822927 | 1344 1160 | 0 | 0 1038.23/1038.48 c 228s | 20 | 948863 | 829327 | 1344 1169 | 0 | 0 1040.32/1040.51 c 230s | 20 | 956151 | 835827 | 1344 1178 | 0 | 0 1042.32/1042.52 c 232s | 20 | 963485 | 842427 | 1344 1187 | 0 | 0 1044.32/1044.55 c 234s | 20 | 970557 | 848727 | 1344 1195 | 0 | 0 1046.32/1046.55 c 236s | 20 | 978463 | 855727 | 1344 1205 | 0 | 0 1048.32/1048.56 c 238s | 20 | 986662 | 862827 | 1344 1215 | 0 | 0 1050.32/1050.56 c 240s | 20 | 995418 | 870527 | 1344 1226 | 0 | 0 1052.31/1052.56 c 242s | 20 | 1004118 | 878227 | 1344 1237 | 0 | 0 1054.31/1054.56 c 244s | 20 | 1013340 | 886227 | 1344 1248 | 0 | 0 1056.32/1056.57 c 246s | 20 | 1022372 | 894027 | 1344 1259 | 0 | 0 1058.42/1058.60 c 248s | 20 | 1030927 | 901427 | 1344 1269 | 0 | 0 1060.42/1060.61 c 250s | 20 | 1038788 | 908327 | 1344 1279 | 0 | 0 1062.41/1062.62 c 252s | 20 | 1046974 | 915427 | 1344 1289 | 0 | 0 1064.41/1064.62 c 254s | 20 | 1055337 | 922727 | 1344 1299 | 0 | 0 1066.41/1066.64 c 256s | 20 | 1063498 | 929927 | 1344 1309 | 0 | 0 1068.41/1068.65 c 258s | 20 | 1071921 | 937327 | 1344 1320 | 0 | 0 1070.41/1070.67 c 261s | 20 | 1081530 | 945627 | 1344 1331 | 0 | 0 1072.41/1072.69 c 263s | 20 | 1090652 | 953627 | 1344 1342 | 0 | 0 1074.51/1074.70 c 265s | 20 | 1098263 | 960527 | 1344 1352 | 0 | 0 1076.51/1076.73 c 267s | 20 | 1105408 | 967027 | 1344 1361 | 0 | 0 1078.51/1078.75 c 269s | 20 | 1113034 | 973827 | 1344 1370 | 0 | 0 1080.51/1080.75 c 271s | 20 | 1120713 | 980627 | 1344 1380 | 0 | 0 1082.50/1082.77 c 273s | 20 | 1128395 | 987627 | 1344 1389 | 0 | 0 1084.51/1084.80 c 275s | 20 | 1135700 | 994227 | 1344 1399 | 0 | 0 1086.50/1086.74 c 277s | 21 | 1142537 | 1000345 | 1344 1407 | 0 | 0 1088.50/1088.74 c 279s | 21 | 1150923 | 1007145 | 1344 1417 | 0 | 0 1090.50/1090.76 c 281s | 21 | 1158507 | 1013845 | 1344 1426 | 0 | 0 1092.49/1092.76 c 283s | 21 | 1166262 | 1020645 | 1344 1435 | 0 | 0 1094.50/1094.78 c 285s | 21 | 1174013 | 1027345 | 1344 1445 | 0 | 0 1096.49/1096.79 c 287s | 21 | 1181952 | 1034345 | 1344 1454 | 0 | 0 1098.59/1098.81 c 289s | 21 | 1189473 | 1041045 | 1344 1464 | 0 | 0 1100.59/1100.83 c 291s | 21 | 1197392 | 1047945 | 1344 1473 | 0 | 0 1102.59/1102.85 c 293s | 21 | 1205951 | 1055445 | 1344 1484 | 0 | 0 1104.59/1104.85 c 295s | 21 | 1213896 | 1062545 | 1344 1494 | 0 | 0 1106.59/1106.86 c 297s | 21 | 1221424 | 1069145 | 1344 1503 | 0 | 0 1108.59/1108.87 c 299s | 21 | 1228547 | 1075445 | 1344 1512 | 0 | 0 1110.59/1110.87 c 301s | 21 | 1236454 | 1082145 | 1344 1521 | 0 | 0 1112.58/1112.89 c 303s | 21 | 1243637 | 1088445 | 1344 1530 | 0 | 0 1114.68/1114.90 c 305s | 21 | 1251211 | 1095245 | 1344 1539 | 0 | 0 1116.68/1116.91 c 307s | 21 | 1259447 | 1102545 | 1344 1549 | 0 | 0 1118.69/1118.93 c 309s | 21 | 1266880 | 1109245 | 1344 1559 | 0 | 0 1120.68/1120.94 c 311s | 21 | 1274559 | 1116045 | 1344 1568 | 0 | 0 1122.67/1122.96 c 313s | 21 | 1281940 | 1122645 | 1344 1577 | 0 | 0 1124.68/1124.97 c 315s | 21 | 1289062 | 1129045 | 1344 1586 | 0 | 0 1126.68/1126.98 c 317s | 21 | 1297320 | 1136245 | 1344 1596 | 0 | 0 1128.68/1128.99 c 319s | 21 | 1305507 | 1143545 | 1344 1607 | 0 | 0 1130.68/1130.99 c 321s | 21 | 1313098 | 1150345 | 1344 1616 | 0 | 0 1132.77/1133.00 c 323s | 21 | 1321127 | 1157245 | 1344 1626 | 0 | 0 1134.77/1135.02 c 325s | 21 | 1330083 | 1165045 | 1344 1637 | 0 | 0 1136.77/1137.04 c 327s | 21 | 1338898 | 1172845 | 1344 1647 | 0 | 0 1138.77/1139.04 c 329s | 21 | 1347290 | 1180345 | 1344 1658 | 0 | 0 1140.77/1141.04 c 331s | 21 | 1355462 | 1187645 | 1344 1668 | 0 | 0 1142.77/1143.05 c 333s | 21 | 1363523 | 1194845 | 1344 1678 | 0 | 0 1144.77/1145.05 c 335s | 21 | 1372697 | 1202945 | 1344 1689 | 0 | 0 1146.76/1147.08 c 337s | 21 | 1381722 | 1210945 | 1344 1700 | 0 | 0 1148.76/1149.09 c 339s | 21 | 1390060 | 1218445 | 1344 1711 | 0 | 0 1150.86/1151.10 c 341s | 21 | 1398053 | 1225645 | 1344 1721 | 0 | 0 1152.86/1153.12 c 343s | 21 | 1406353 | 1232945 | 1344 1731 | 0 | 0 1154.86/1155.15 c 345s | 21 | 1414711 | 1240445 | 1344 1742 | 0 | 0 1156.86/1157.17 c 347s | 21 | 1423136 | 1247845 | 1344 1752 | 0 | 0 1158.86/1159.18 c 349s | 21 | 1430563 | 1254545 | 1344 1761 | 0 | 0 1160.86/1161.18 c 351s | 21 | 1439216 | 1262145 | 1344 1772 | 0 | 0 1162.85/1163.19 c 353s | 21 | 1447160 | 1269245 | 1344 1782 | 0 | 0 1164.86/1165.20 c 355s | 21 | 1455552 | 1276645 | 1344 1792 | 0 | 0 1166.96/1167.22 c 357s | 21 | 1464167 | 1284345 | 1344 1803 | 0 | 0 1168.95/1169.25 c 359s | 21 | 1472465 | 1291845 | 1344 1813 | 0 | 0 1170.95/1171.25 c 361s | 21 | 1480731 | 1299245 | 1344 1823 | 0 | 0 1172.94/1173.28 c 363s | 21 | 1488895 | 1306545 | 1344 1833 | 0 | 0 1175.04/1175.30 c 365s | 21 | 1497355 | 1314045 | 1344 1844 | 0 | 0 1177.04/1177.33 c 367s | 21 | 1504995 | 1320945 | 1344 1853 | 0 | 0 1179.05/1179.33 c 369s | 21 | 1512752 | 1327845 | 1344 1863 | 0 | 0 1181.04/1181.34 c 371s | 21 | 1520192 | 1334445 | 1344 1872 | 0 | 0 1183.04/1183.34 c 373s | 21 | 1527410 | 1340845 | 1344 1881 | 0 | 0 1185.04/1185.34 c 375s | 21 | 1535392 | 1347945 | 1344 1891 | 0 | 0 1187.04/1187.35 c 377s | 21 | 1543161 | 1354845 | 1344 1901 | 0 | 0 1189.04/1189.38 c 379s | 21 | 1551020 | 1361845 | 1344 1911 | 0 | 0 1191.04/1191.38 c 381s | 21 | 1559024 | 1368945 | 1344 1921 | 0 | 0 1193.03/1193.39 c 383s | 21 | 1567035 | 1376145 | 1344 1931 | 0 | 0 1195.13/1195.41 c 385s | 21 | 1575715 | 1383945 | 1344 1942 | 0 | 0 1197.13/1197.43 c 387s | 21 | 1584298 | 1391645 | 1344 1952 | 0 | 0 1199.13/1199.44 c 389s | 21 | 1592918 | 1399245 | 1344 1963 | 0 | 0 1201.14/1201.45 c 391s | 21 | 1601383 | 1406645 | 1344 1973 | 0 | 0 1203.13/1203.46 c 393s | 21 | 1610171 | 1414445 | 1344 1984 | 0 | 0 1205.13/1205.48 c 395s | 21 | 1619122 | 1422345 | 1344 1995 | 0 | 0 1207.13/1207.49 c 397s | 21 | 1627859 | 1430145 | 1344 2006 | 0 | 0 1209.23/1209.50 c 399s | 21 | 1636404 | 1437645 | 1344 2016 | 0 | 0 1211.22/1211.51 c 401s | 21 | 1644770 | 1445145 | 1344 2027 | 0 | 0 1213.23/1213.52 c 403s | 21 | 1652989 | 1452445 | 1344 2037 | 0 | 0 1215.22/1215.55 c 405s | 21 | 1661590 | 1460045 | 1344 2047 | 0 | 0 1217.22/1217.55 c 407s | 21 | 1670197 | 1467545 | 1344 2058 | 0 | 0 1219.22/1219.55 c 409s | 21 | 1677995 | 1474445 | 1344 2068 | 0 | 0 1221.22/1221.57 c 411s | 21 | 1687064 | 1482545 | 1344 2079 | 0 | 0 1223.21/1223.59 c 413s | 21 | 1696081 | 1490345 | 1344 2090 | 0 | 0 1225.23/1225.59 c 415s | 21 | 1704502 | 1497645 | 1344 2100 | 0 | 0 1226.02/1226.40 c 416s | 22 | 1707880 | 1500622 | 1344 2104 | 0 | 0 1228.12/1228.42 c 418s | 22 | 1716454 | 1507422 | 1344 2114 | 0 | 0 1230.12/1230.42 c 420s | 22 | 1725346 | 1514422 | 1344 2123 | 0 | 0 1232.11/1232.44 c 422s | 22 | 1733881 | 1521422 | 1344 2133 | 0 | 0 1234.12/1234.45 c 424s | 22 | 1743283 | 1528922 | 1344 2144 | 0 | 0 1236.11/1236.46 c 426s | 22 | 1753344 | 1536722 | 1344 2154 | 0 | 0 1238.11/1238.48 c 428s | 22 | 1761554 | 1544022 | 1344 2165 | 0 | 0 1240.11/1240.49 c 430s | 22 | 1769374 | 1550822 | 1344 2174 | 0 | 0 1242.21/1242.50 c 432s | 22 | 1777139 | 1557522 | 1344 2183 | 0 | 0 1244.21/1244.51 c 434s | 22 | 1784794 | 1564122 | 1344 2193 | 0 | 0 1246.21/1246.53 c 436s | 22 | 1792588 | 1570922 | 1344 2202 | 0 | 0 1248.21/1248.53 c 438s | 22 | 1800524 | 1577622 | 1344 2211 | 0 | 0 1250.20/1250.53 c 440s | 22 | 1808923 | 1584822 | 1344 2221 | 0 | 0 1252.20/1252.54 c 442s | 22 | 1817690 | 1592422 | 1344 2232 | 0 | 0 1254.20/1254.55 c 444s | 22 | 1825396 | 1599222 | 1344 2241 | 0 | 0 1256.20/1256.55 c 446s | 22 | 1833729 | 1606522 | 1344 2252 | 0 | 0 1258.21/1258.56 c 448s | 22 | 1842369 | 1613822 | 1344 2262 | 0 | 0 1260.20/1260.59 c 450s | 22 | 1850590 | 1621122 | 1344 2272 | 0 | 0 1262.20/1262.59 c 452s | 22 | 1858873 | 1628422 | 1344 2282 | 0 | 0 1264.30/1264.60 c 454s | 22 | 1868108 | 1636422 | 1344 2293 | 0 | 0 1266.30/1266.61 c 456s | 22 | 1877119 | 1644522 | 1344 2305 | 0 | 0 1268.30/1268.63 c 458s | 22 | 1885811 | 1652322 | 1344 2316 | 0 | 0 1270.31/1270.65 c 460s | 22 | 1894690 | 1660122 | 1344 2326 | 0 | 0 1272.29/1272.65 c 462s | 22 | 1903331 | 1667922 | 1344 2337 | 0 | 0 1274.29/1274.66 c 465s | 22 | 1912157 | 1675722 | 1344 2348 | 0 | 0 1276.29/1276.68 c 467s | 22 | 1921130 | 1683422 | 1344 2359 | 0 | 0 1278.29/1278.68 c 469s | 22 | 1929478 | 1690622 | 1344 2369 | 0 | 0 1280.30/1280.69 c 471s | 22 | 1937973 | 1698222 | 1344 2379 | 0 | 0 1282.29/1282.69 c 473s | 22 | 1946295 | 1705522 | 1344 2390 | 0 | 0 1284.39/1284.70 c 475s | 22 | 1954702 | 1712922 | 1344 2400 | 0 | 0 1286.39/1286.72 c 477s | 22 | 1962912 | 1720222 | 1344 2410 | 0 | 0 1288.39/1288.73 c 479s | 22 | 1971446 | 1727722 | 1344 2421 | 0 | 0 1290.38/1290.73 c 481s | 22 | 1979869 | 1735122 | 1344 2431 | 0 | 0 1292.39/1292.75 c 483s | 22 | 1988530 | 1742722 | 1344 2441 | 0 | 0 1294.38/1294.76 c 485s | 22 | 1997134 | 1750422 | 1344 2452 | 0 | 0 1296.38/1296.77 c 487s | 22 | 2005303 | 1757722 | 1344 2462 | 0 | 0 1298.38/1298.79 c 489s | 22 | 2013788 | 1765322 | 1344 2473 | 0 | 0 1300.48/1300.80 c 491s | 22 | 2022621 | 1772922 | 1344 2484 | 0 | 0 1302.48/1302.81 c 493s | 22 | 2031090 | 1780422 | 1344 2494 | 0 | 0 1304.48/1304.82 c 495s | 22 | 2039409 | 1787822 | 1479 2504 | 0 | 0 1306.47/1306.83 c 497s | 22 | 2047503 | 1794922 | 1479 2513 | 0 | 0 1308.47/1308.84 c 499s | 22 | 2055663 | 1802122 | 1479 2522 | 0 | 0 1310.47/1310.85 c 501s | 22 | 2063658 | 1809322 | 1479 2531 | 0 | 0 1312.47/1312.88 c 503s | 22 | 2072025 | 1816722 | 1479 2541 | 0 | 0 1314.47/1314.89 c 505s | 22 | 2080348 | 1824122 | 1479 2550 | 0 | 0 1316.47/1316.90 c 507s | 22 | 2087809 | 1830822 | 1479 2558 | 0 | 0 1318.57/1318.91 c 509s | 22 | 2094933 | 1837222 | 1479 2567 | 0 | 0 1320.57/1320.91 c 511s | 22 | 2101787 | 1843422 | 1479 2574 | 0 | 0 1322.56/1322.93 c 513s | 22 | 2108562 | 1849522 | 1479 2582 | 0 | 0 1324.56/1324.96 c 515s | 22 | 2115505 | 1855722 | 1479 2590 | 0 | 0 1326.56/1326.99 c 517s | 22 | 2122538 | 1862022 | 1479 2598 | 0 | 0 1328.66/1329.01 c 519s | 22 | 2129731 | 1868422 | 1479 2606 | 0 | 0 1330.66/1331.02 c 521s | 22 | 2136679 | 1874622 | 1479 2614 | 0 | 0 1332.65/1333.04 c 523s | 22 | 2143211 | 1880322 | 1479 2621 | 0 | 0 1334.65/1335.04 c 525s | 22 | 2149784 | 1886122 | 1479 2629 | 0 | 0 1336.65/1337.05 c 527s | 22 | 2156606 | 1892122 | 1479 2636 | 0 | 0 1338.65/1339.05 c 529s | 22 | 2163443 | 1898222 | 1479 2644 | 0 | 0 1340.66/1341.06 c 531s | 22 | 2170122 | 1904122 | 1479 2652 | 0 | 0 1342.65/1343.07 c 533s | 22 | 2176883 | 1910122 | 1479 2659 | 0 | 0 1344.65/1345.09 c 535s | 22 | 2183251 | 1915822 | 1479 2667 | 0 | 0 1346.75/1347.11 c 537s | 22 | 2189693 | 1921422 | 1479 2674 | 0 | 0 1348.75/1349.12 c 539s | 22 | 2197040 | 1928022 | 1479 2682 | 0 | 0 1350.74/1351.13 c 541s | 22 | 2203673 | 1934022 | 1479 2690 | 0 | 0 1352.75/1353.14 c 543s | 22 | 2210580 | 1940222 | 1479 2698 | 0 | 0 1354.74/1355.17 c 545s | 22 | 2217977 | 1946922 | 1479 2706 | 0 | 0 1356.74/1357.18 c 547s | 22 | 2225380 | 1953622 | 1479 2715 | 0 | 0 1358.74/1359.19 c 549s | 22 | 2232917 | 1960322 | 1479 2723 | 0 | 0 1360.85/1361.22 c 551s | 22 | 2240732 | 1967322 | 1479 2732 | 0 | 0 1362.84/1363.23 c 553s | 22 | 2248668 | 1974222 | 1479 2741 | 0 | 0 1364.85/1365.26 c 555s | 22 | 2256228 | 1980922 | 1479 2749 | 0 | 0 1366.84/1367.27 c 557s | 22 | 2263344 | 1987322 | 1479 2758 | 0 | 0 1368.84/1369.29 c 559s | 22 | 2270585 | 1993922 | 1479 2766 | 0 | 0 1370.94/1371.32 c 561s | 22 | 2277401 | 2000122 | 1479 2774 | 0 | 0 1372.94/1373.34 c 563s | 22 | 2284341 | 2006422 | 1479 2782 | 0 | 0 1374.94/1375.36 c 565s | 22 | 2291334 | 2012722 | 1479 2790 | 0 | 0 1376.94/1377.36 c 567s | 22 | 2298095 | 2018622 | 1479 2797 | 0 | 0 1378.94/1379.38 c 569s | 22 | 2305579 | 2025022 | 1479 2805 | 0 | 0 1381.04/1381.40 c 571s | 22 | 2313790 | 2032222 | 1479 2815 | 0 | 0 1383.03/1383.42 c 573s | 22 | 2321838 | 2039222 | 1479 2823 | 0 | 0 1385.03/1385.42 c 575s | 22 | 2329484 | 2045922 | 1479 2832 | 0 | 0 1387.03/1387.43 c 577s | 22 | 2337631 | 2053122 | 1479 2841 | 0 | 0 1389.04/1389.44 c 579s | 22 | 2345548 | 2060222 | 1479 2850 | 0 | 0 1391.03/1391.45 c 581s | 22 | 2352720 | 2066722 | 1479 2859 | 0 | 0 1393.03/1393.45 c 583s | 22 | 2360171 | 2073422 | 1479 2867 | 0 | 0 1395.03/1395.46 c 585s | 22 | 2368021 | 2080422 | 1479 2876 | 0 | 0 1397.02/1397.49 c 587s | 22 | 2375433 | 2087122 | 1479 2885 | 0 | 0 1399.12/1399.53 c 589s | 22 | 2382528 | 2093522 | 1479 2893 | 0 | 0 1401.13/1401.53 c 591s | 22 | 2390089 | 2100122 | 1479 2901 | 0 | 0 1403.12/1403.55 c 593s | 22 | 2397524 | 2106722 | 1479 2910 | 0 | 0 1405.12/1405.59 c 595s | 22 | 2405054 | 2113522 | 1479 2918 | 0 | 0 1407.22/1407.60 c 597s | 22 | 2412728 | 2120322 | 1479 2927 | 0 | 0 1409.21/1409.62 c 599s | 22 | 2420293 | 2127122 | 1479 2936 | 0 | 0 1411.21/1411.65 c 601s | 22 | 2428362 | 2134222 | 1479 2945 | 0 | 0 1413.22/1413.65 c 603s | 22 | 2437003 | 2141922 | 1479 2954 | 0 | 0 1415.21/1415.66 c 606s | 22 | 2445044 | 2149122 | 1479 2964 | 0 | 0 1417.21/1417.68 c 608s | 22 | 2453152 | 2156322 | 1479 2973 | 0 | 0 1419.21/1419.69 c 610s | 22 | 2461420 | 2163722 | 1479 2982 | 0 | 0 1421.31/1421.70 c 612s | 22 | 2469287 | 2170822 | 1479 2991 | 0 | 0 1423.31/1423.70 c 614s | 22 | 2477949 | 2178422 | 1479 3001 | 0 | 0 1425.31/1425.73 c 616s | 22 | 2486266 | 2185722 | 1479 3010 | 0 | 0 1427.31/1427.75 c 618s | 22 | 2494222 | 2192922 | 1479 3019 | 0 | 0 1429.30/1429.78 c 620s | 22 | 2502202 | 2200022 | 1479 3028 | 0 | 0 1431.40/1431.82 c 622s | 22 | 2510170 | 2207222 | 1479 3038 | 0 | 0 1433.40/1433.85 c 624s | 22 | 2518094 | 2214322 | 1479 3047 | 0 | 0 1435.40/1435.86 c 626s | 22 | 2526447 | 2221722 | 1479 3056 | 0 | 0 1437.41/1437.88 c 628s | 22 | 2534229 | 2228622 | 1479 3065 | 0 | 0 1439.40/1439.88 c 630s | 22 | 2542443 | 2235622 | 1479 3074 | 0 | 0 1441.40/1441.89 c 632s | 22 | 2550294 | 2242522 | 1479 3083 | 0 | 0 1443.50/1443.91 c 634s | 22 | 2558369 | 2249722 | 1479 3092 | 0 | 0 1443.80/1444.27 c 634s | 23 | 2559808 | 2251038 | 1479 3093 | 0 | 0 1445.80/1446.28 c 636s | 23 | 2569214 | 2258438 | 1479 3103 | 0 | 0 1447.80/1448.29 c 638s | 23 | 2578123 | 2265738 | 1479 3112 | 0 | 0 1449.90/1450.30 c 640s | 23 | 2587958 | 2273738 | 1479 3122 | 0 | 0 1451.90/1452.32 c 642s | 23 | 2597487 | 2281538 | 1479 3132 | 0 | 0 1453.90/1454.34 c 644s | 23 | 2606374 | 2289338 | 1479 3142 | 0 | 0 1455.90/1456.36 c 646s | 23 | 2614802 | 2296538 | 1479 3151 | 0 | 0 1457.90/1458.36 c 648s | 23 | 2623521 | 2303938 | 1479 3161 | 0 | 0 1459.90/1460.36 c 650s | 23 | 2631989 | 2311238 | 1479 3170 | 0 | 0 1461.89/1462.39 c 652s | 23 | 2640314 | 2318438 | 1479 3179 | 0 | 0 1463.90/1464.39 c 654s | 23 | 2648787 | 2325738 | 1479 3189 | 0 | 0 1465.89/1466.39 c 656s | 23 | 2656655 | 2332638 | 1479 3198 | 0 | 0 1467.99/1468.40 c 658s | 23 | 2664753 | 2339838 | 1479 3207 | 0 | 0 1469.99/1470.42 c 660s | 23 | 2672362 | 2346638 | 1479 3215 | 0 | 0 1471.98/1472.42 c 662s | 23 | 2680872 | 2354038 | 1479 3225 | 0 | 0 1473.98/1474.43 c 664s | 23 | 2689253 | 2361238 | 1479 3234 | 0 | 0 1475.99/1476.46 c 666s | 23 | 2698246 | 2368838 | 1479 3244 | 0 | 0 1477.98/1478.46 c 668s | 23 | 2706472 | 2376038 | 1479 3253 | 0 | 0 1479.98/1480.47 c 670s | 23 | 2714801 | 2383338 | 1479 3262 | 0 | 0 1481.98/1482.48 c 672s | 23 | 2723120 | 2390438 | 1479 3271 | 0 | 0 1483.98/1484.49 c 674s | 23 | 2731561 | 2397738 | 1479 3281 | 0 | 0 1486.08/1486.50 c 676s | 23 | 2739379 | 2404438 | 1479 3289 | 0 | 0 1488.08/1488.51 c 678s | 23 | 2746879 | 2411138 | 1479 3298 | 0 | 0 1490.07/1490.54 c 680s | 23 | 2754746 | 2418038 | 1479 3306 | 0 | 0 1492.07/1492.54 c 682s | 23 | 2762675 | 2424938 | 1479 3315 | 0 | 0 1494.07/1494.55 c 684s | 23 | 2771229 | 2432138 | 1479 3324 | 0 | 0 1496.07/1496.55 c 686s | 23 | 2779570 | 2439438 | 1479 3334 | 0 | 0 1498.07/1498.56 c 688s | 23 | 2788126 | 2446838 | 1479 3343 | 0 | 0 1500.08/1500.57 c 690s | 23 | 2795738 | 2453438 | 1479 3352 | 0 | 0 1502.06/1502.59 c 692s | 23 | 2803736 | 2460438 | 1479 3361 | 0 | 0 1504.06/1504.59 c 694s | 23 | 2811681 | 2467538 | 1479 3370 | 0 | 0 1506.16/1506.60 c 696s | 23 | 2820238 | 2475038 | 1479 3379 | 0 | 0 1508.16/1508.61 c 698s | 23 | 2828595 | 2482438 | 1479 3389 | 0 | 0 1510.16/1510.62 c 700s | 23 | 2837247 | 2490138 | 1479 3398 | 0 | 0 1512.16/1512.62 c 702s | 23 | 2845524 | 2497438 | 1479 3408 | 0 | 0 1514.16/1514.66 c 705s | 23 | 2852573 | 2503538 | 1479 3415 | 0 | 0 1516.16/1516.68 c 707s | 23 | 2859886 | 2509838 | 1479 3424 | 0 | 0 1518.16/1518.68 c 709s | 23 | 2867080 | 2516038 | 1479 3431 | 0 | 0 1520.16/1520.69 c 711s | 23 | 2874915 | 2522938 | 1479 3440 | 0 | 0 1522.26/1522.70 c 713s | 23 | 2881998 | 2529238 | 1479 3448 | 0 | 0 1524.27/1524.72 c 715s | 23 | 2889318 | 2535638 | 1479 3456 | 0 | 0 1526.26/1526.74 c 717s | 23 | 2896782 | 2542238 | 1479 3465 | 0 | 0 1528.26/1528.76 c 719s | 23 | 2904401 | 2548938 | 1479 3473 | 0 | 0 1530.26/1530.78 c 721s | 23 | 2911279 | 2555138 | 1479 3481 | 0 | 0 1532.25/1532.79 c 723s | 23 | 2918838 | 2561838 | 1479 3490 | 0 | 0 1534.35/1534.80 c 725s | 23 | 2925727 | 2568038 | 1479 3497 | 0 | 0 1536.35/1536.80 c 727s | 23 | 2932838 | 2574438 | 1479 3506 | 0 | 0 1538.35/1538.83 c 729s | 23 | 2941299 | 2581738 | 1479 3515 | 0 | 0 1540.35/1540.83 c 731s | 23 | 2949328 | 2588838 | 1479 3524 | 0 | 0 1542.34/1542.83 c 733s | 23 | 2957237 | 2595838 | 1479 3533 | 0 | 0 1544.34/1544.85 c 735s | 23 | 2965951 | 2603538 | 1479 3543 | 0 | 0 1546.35/1546.87 c 737s | 23 | 2974839 | 2611338 | 1479 3552 | 0 | 0 1548.34/1548.87 c 739s | 23 | 2983408 | 2618938 | 1479 3562 | 0 | 0 1550.34/1550.88 c 741s | 23 | 2991484 | 2626038 | 1479 3571 | 0 | 0 1552.34/1552.89 c 743s | 23 | 2999208 | 2633038 | 1479 3580 | 0 | 0 1554.34/1554.89 c 745s | 23 | 3007691 | 2640538 | 1479 3589 | 0 | 0 1556.44/1556.91 c 747s | 23 | 3015787 | 2647838 | 1479 3599 | 0 | 0 1558.44/1558.91 c 749s | 23 | 3023240 | 2654538 | 1479 3607 | 0 | 0 1560.43/1560.92 c 751s | 23 | 3030206 | 2660838 | 1479 3615 | 0 | 0 1562.43/1562.93 c 753s | 23 | 3037766 | 2667638 | 1479 3624 | 0 | 0 1564.43/1564.93 c 755s | 23 | 3045845 | 2674838 | 1479 3633 | 0 | 0 1566.43/1566.96 c 757s | 23 | 3053477 | 2681638 | 1479 3642 | 0 | 0 1568.43/1568.96 c 759s | 23 | 3062104 | 2689338 | 1479 3651 | 0 | 0 1570.44/1570.98 c 761s | 23 | 3071077 | 2697338 | 1479 3661 | 0 | 0 1572.44/1572.99 c 763s | 23 | 3079771 | 2704938 | 1479 3671 | 0 | 0 1574.53/1575.00 c 765s | 23 | 3087830 | 2711938 | 1479 3680 | 0 | 0 1576.53/1577.01 c 767s | 23 | 3095668 | 2718638 | 1479 3689 | 0 | 0 1578.53/1579.02 c 769s | 23 | 3103510 | 2725438 | 1479 3697 | 0 | 0 1580.53/1581.04 c 771s | 23 | 3111248 | 2732238 | 1479 3706 | 0 | 0 1582.54/1583.05 c 773s | 23 | 3119647 | 2738838 | 1479 3714 | 0 | 0 1584.53/1585.06 c 775s | 23 | 3127380 | 2745438 | 1479 3723 | 0 | 0 1586.53/1587.07 c 777s | 23 | 3135100 | 2752138 | 1479 3731 | 0 | 0 1588.53/1589.07 c 779s | 23 | 3142584 | 2758538 | 1479 3740 | 0 | 0 1590.53/1591.10 c 781s | 23 | 3150481 | 2765538 | 1479 3748 | 0 | 0 1592.62/1593.11 c 783s | 23 | 3158164 | 2772338 | 1479 3757 | 0 | 0 1594.63/1595.11 c 785s | 23 | 3165824 | 2779038 | 1479 3766 | 0 | 0 1596.62/1597.11 c 787s | 23 | 3173657 | 2785938 | 1479 3774 | 0 | 0 1598.62/1599.14 c 789s | 23 | 3181629 | 2793038 | 1479 3783 | 0 | 0 1600.62/1601.15 c 791s | 23 | 3189974 | 2800338 | 1479 3793 | 0 | 0 1602.62/1603.15 c 793s | 23 | 3197813 | 2807238 | 1479 3802 | 0 | 0 1604.62/1605.17 c 795s | 23 | 3206206 | 2814638 | 1479 3811 | 0 | 0 1606.62/1607.20 c 797s | 23 | 3215220 | 2822238 | 1479 3821 | 0 | 0 1608.72/1609.20 c 799s | 23 | 3223024 | 2829038 | 1479 3829 | 0 | 0 1610.72/1611.23 c 801s | 23 | 3230918 | 2836138 | 1479 3838 | 0 | 0 1612.71/1613.25 c 803s | 23 | 3239198 | 2843438 | 1479 3848 | 0 | 0 1614.71/1615.27 c 805s | 23 | 3247377 | 2850738 | 1479 3857 | 0 | 0 1616.81/1617.30 c 807s | 23 | 3254960 | 2857638 | 1479 3866 | 0 | 0 1618.82/1619.32 c 809s | 23 | 3262320 | 2864338 | 1479 3874 | 0 | 0 1620.81/1621.32 c 811s | 23 | 3270156 | 2871238 | 1479 3883 | 0 | 0 1622.81/1623.35 c 813s | 23 | 3277481 | 2877938 | 1479 3892 | 0 | 0 1624.80/1625.36 c 815s | 23 | 3285520 | 2885138 | 1479 3901 | 0 | 0 1626.80/1627.39 c 817s | 23 | 3294070 | 2892738 | 1479 3910 | 0 | 0 1628.90/1629.40 c 819s | 23 | 3302203 | 2900038 | 1479 3920 | 0 | 0 1630.91/1631.41 c 821s | 23 | 3310311 | 2907338 | 1479 3929 | 0 | 0 1632.90/1633.42 c 823s | 23 | 3318839 | 2914938 | 1479 3939 | 0 | 0 1634.90/1635.44 c 825s | 23 | 3327156 | 2922338 | 1479 3948 | 0 | 0 1636.90/1637.47 c 827s | 23 | 3335759 | 2929838 | 1479 3958 | 0 | 0 1638.90/1639.48 c 829s | 23 | 3343725 | 2936938 | 1479 3967 | 0 | 0 1640.90/1641.48 c 831s | 23 | 3351797 | 2944238 | 1479 3976 | 0 | 0 1642.89/1643.48 c 833s | 23 | 3360181 | 2951638 | 1479 3985 | 0 | 0 1644.89/1645.48 c 835s | 23 | 3369061 | 2959538 | 1479 3995 | 0 | 0 1646.89/1647.49 c 837s | 23 | 3377850 | 2967338 | 1479 4005 | 0 | 0 1648.99/1649.51 c 839s | 23 | 3386475 | 2974938 | 1479 4015 | 0 | 0 1650.99/1651.51 c 841s | 23 | 3394693 | 2982238 | 1479 4024 | 0 | 0 1652.99/1653.54 c 843s | 23 | 3403041 | 2989738 | 1479 4034 | 0 | 0 1654.99/1655.56 c 845s | 23 | 3411047 | 2996838 | 1479 4043 | 0 | 0 1656.99/1657.57 c 847s | 23 | 3419037 | 3003838 | 1479 4052 | 0 | 0 1658.99/1659.59 c 849s | 23 | 3426714 | 3010638 | 1479 4061 | 0 | 0 1661.09/1661.62 c 851s | 23 | 3435422 | 3018338 | 1479 4070 | 0 | 0 1663.08/1663.63 c 853s | 23 | 3443804 | 3025738 | 1479 4080 | 0 | 0 1665.09/1665.63 c 855s | 23 | 3451877 | 3033038 | 1479 4089 | 0 | 0 1667.08/1667.65 c 857s | 23 | 3460199 | 3040438 | 1479 4099 | 0 | 0 1669.08/1669.67 c 860s | 23 | 3468807 | 3048038 | 1479 4108 | 0 | 0 1671.08/1671.69 c 862s | 23 | 3477206 | 3055538 | 1479 4118 | 0 | 0 1673.07/1673.69 c 864s | 23 | 3484314 | 3061938 | 1479 4126 | 0 | 0 1675.17/1675.71 c 866s | 23 | 3491580 | 3068438 | 1479 4134 | 0 | 0 1677.18/1677.73 c 868s | 23 | 3499441 | 3075438 | 1479 4143 | 0 | 0 1679.17/1679.74 c 870s | 23 | 3506995 | 3082138 | 1479 4152 | 0 | 0 1681.17/1681.74 c 872s | 23 | 3514389 | 3088838 | 1479 4160 | 0 | 0 1683.17/1683.77 c 874s | 23 | 3522274 | 3095938 | 1479 4169 | 0 | 0 1685.17/1685.77 c 876s | 23 | 3529791 | 3102638 | 1479 4178 | 0 | 0 1687.17/1687.79 c 878s | 23 | 3537005 | 3109138 | 1479 4186 | 0 | 0 1689.18/1689.79 c 880s | 23 | 3544064 | 3115538 | 1479 4194 | 0 | 0 1691.27/1691.80 c 882s | 23 | 3551345 | 3122038 | 1479 4203 | 0 | 0 1693.27/1693.82 c 884s | 23 | 3559345 | 3129138 | 1479 4212 | 0 | 0 1695.27/1695.84 c 886s | 23 | 3567357 | 3136238 | 1479 4221 | 0 | 0 1697.27/1697.85 c 888s | 23 | 3575361 | 3143438 | 1479 4230 | 0 | 0 1699.27/1699.87 c 890s | 23 | 3584606 | 3151538 | 1479 4240 | 0 | 0 1701.28/1701.88 c 892s | 23 | 3593614 | 3159338 | 1479 4250 | 0 | 0 1703.27/1703.89 c 894s | 23 | 3601744 | 3166538 | 1479 4259 | 0 | 0 1705.27/1705.89 c 896s | 23 | 3610511 | 3174338 | 1479 4269 | 0 | 0 1707.37/1707.90 c 898s | 23 | 3619012 | 3181938 | 1479 4279 | 0 | 0 1709.37/1709.92 c 900s | 23 | 3627483 | 3189338 | 1479 4288 | 0 | 0 1711.37/1711.93 c 902s | 23 | 3634708 | 3195938 | 1479 4297 | 0 | 0 1713.37/1713.94 c 904s | 23 | 3642504 | 3202938 | 1479 4306 | 0 | 0 1715.37/1715.94 c 906s | 23 | 3649936 | 3209638 | 1479 4314 | 0 | 0 1717.36/1717.97 c 908s | 23 | 3657570 | 3216338 | 1479 4323 | 0 | 0 1719.36/1719.98 c 910s | 23 | 3665665 | 3223538 | 1479 4332 | 0 | 0 1721.36/1721.99 c 912s | 23 | 3673228 | 3230438 | 1479 4341 | 0 | 0 1723.46/1724.00 c 914s | 23 | 3680632 | 3237138 | 1479 4349 | 0 | 0 1725.47/1726.01 c 916s | 23 | 3688526 | 3244238 | 1479 4358 | 0 | 0 1727.46/1728.01 c 918s | 23 | 3696587 | 3251438 | 1479 4367 | 0 | 0 1729.46/1730.02 c 920s | 23 | 3704265 | 3258338 | 1479 4376 | 0 | 0 1731.47/1732.04 c 922s | 23 | 3712778 | 3265838 | 1479 4386 | 0 | 0 1733.47/1734.06 c 924s | 23 | 3720642 | 3272838 | 1479 4395 | 0 | 0 1735.47/1736.08 c 926s | 23 | 3728858 | 3280138 | 1479 4404 | 0 | 0 1737.47/1738.10 c 928s | 23 | 3737463 | 3287738 | 1479 4414 | 0 | 0 1739.57/1740.15 c 930s | 23 | 3745241 | 3294738 | 1479 4423 | 0 | 0 1741.57/1742.18 c 932s | 23 | 3753183 | 3301838 | 1479 4432 | 0 | 0 1743.66/1744.21 c 934s | 23 | 3761079 | 3308838 | 1479 4440 | 0 | 0 1745.66/1746.21 c 936s | 23 | 3769028 | 3315938 | 1479 4449 | 0 | 0 1747.66/1748.23 c 938s | 23 | 3777571 | 3323438 | 1479 4459 | 0 | 0 1749.67/1750.25 c 940s | 23 | 3785749 | 3330738 | 1479 4468 | 0 | 0 1751.66/1752.26 c 942s | 23 | 3793472 | 3337638 | 1479 4477 | 0 | 0 1753.66/1754.27 c 944s | 23 | 3800886 | 3344338 | 1479 4486 | 0 | 0 1755.76/1756.30 c 946s | 23 | 3808931 | 3351438 | 1479 4495 | 0 | 0 1757.76/1758.31 c 948s | 23 | 3816845 | 3358438 | 1479 4504 | 0 | 0 1759.76/1760.33 c 950s | 23 | 3824737 | 3365438 | 1479 4513 | 0 | 0 1761.76/1762.33 c 952s | 23 | 3832805 | 3372638 | 1479 4522 | 0 | 0 1762.86/1763.50 c 953s | 24 | 3837321 | 3376662 | 1479 4527 | 0 | 0 1764.95/1765.52 c 955s | 24 | 3845979 | 3384162 | 1479 4536 | 0 | 0 1766.95/1767.52 c 957s | 24 | 3854128 | 3390962 | 1479 4545 | 0 | 0 1768.95/1769.53 c 959s | 24 | 3862275 | 3398062 | 1479 4554 | 0 | 0 1770.95/1771.55 c 961s | 24 | 3870383 | 3405262 | 1479 4563 | 0 | 0 1772.95/1773.56 c 963s | 24 | 3877884 | 3411962 | 1479 4572 | 0 | 0 1774.96/1775.57 c 965s | 24 | 3885683 | 3418962 | 1479 4581 | 0 | 0 1777.06/1777.60 c 967s | 24 | 3894123 | 3426362 | 1479 4590 | 0 | 0 1779.06/1779.63 c 969s | 24 | 3902413 | 3433662 | 1479 4599 | 0 | 0 1781.06/1781.65 c 971s | 24 | 3910932 | 3441262 | 1479 4609 | 0 | 0 1783.06/1783.66 c 974s | 24 | 3919641 | 3448862 | 1479 4619 | 0 | 0 1785.06/1785.68 c 976s | 24 | 3928519 | 3456662 | 1479 4629 | 0 | 0 1787.07/1787.70 c 978s | 24 | 3937183 | 3464062 | 1479 4638 | 0 | 0 1789.16/1789.72 c 980s | 24 | 3945868 | 3471662 | 1479 4648 | 0 | 0 1791.16/1791.73 c 982s | 24 | 3954029 | 3478762 | 1479 4657 | 0 | 0 1793.16/1793.75 c 984s | 24 | 3962265 | 3485962 | 1479 4666 | 0 | 0 1795.16/1795.76 c 986s | 24 | 3970440 | 3493262 | 1479 4676 | 0 | 0 1797.16/1797.77 c 988s | 24 | 3978279 | 3500162 | 1479 4684 | 0 | 0 1799.16/1799.78 c 990s | 24 | 3986416 | 3507262 | 1479 4693 | 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-4093624-1466092217/watcher-4093624-1466092217 -o /tmp/evaluation-result-4093624-1466092217/solver-4093624-1466092217 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466075295-13239 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093624-1466092217.wbo pid=16166 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.10 2.08 2.10 3/179 16169 /proc/meminfo: memFree=29992748/32872528 swapFree=876280/941688 [pid=16169] ppid=16166 vsize=731580 CPUtime=0 cores=1,3,5,7 /proc/16169/stat : 16169 (toysat) R 16166 16169 7213 0 -1 4202496 2732 0 0 0 0 0 0 0 20 0 4 0 11270644 749137920 2581 33554432000 4194304 16246674 140733880812064 140733880811488 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16169/statm: 183407 2591 441 2943 0 180301 0 [pid=16169/tid=16170] ppid=16166 vsize=748988 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16170/stat : 16170 (toysat) S 16166 16169 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11270644 766963712 2651 33554432000 4194304 16246674 140733880812064 139669523115248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16169/tid=16171] ppid=16166 vsize=754108 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16171/stat : 16171 (toysat) S 16166 16169 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11270644 772206592 2668 33554432000 4194304 16246674 140733880812064 139669512625392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16169/tid=16172] ppid=16166 vsize=758204 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16172/stat : 16172 (toysat) S 16166 16169 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11270644 776400896 2686 33554432000 4194304 16246674 140733880812064 139669502151856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100159 s] /proc/loadavg: 2.10 2.08 2.10 3/179 16169 /proc/meminfo: memFree=29992748/32872528 swapFree=876280/941688 [pid=16169] ppid=16166 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/16169/stat : 16169 (toysat) R 16166 16169 7213 0 -1 4202496 26582 0 0 0 5 4 0 0 20 0 4 0 11270644 1247350784 26417 33554432000 4194304 16246674 140733880812064 140733880811488 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16169/statm: 304529 26424 812 2943 0 301423 0 [pid=16169/tid=16170] ppid=16166 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16170/stat : 16170 (toysat) S 16166 16169 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11270644 1247350784 26430 33554432000 4194304 16246674 140733880812064 139669523115248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16169/tid=16171] ppid=16166 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16171/stat : 16171 (toysat) S 16166 16169 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11270644 1247350784 26439 33554432000 4194304 16246674 140733880812064 139669512625392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16169/tid=16172] ppid=16166 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16172/stat : 16172 (toysat) S 16166 16169 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11270644 1247350784 26451 33554432000 4194304 16246674 140733880812064 139669502151856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200491 s] /proc/loadavg: 2.10 2.08 2.10 3/179 16169 /proc/meminfo: memFree=29992748/32872528 swapFree=876280/941688 [pid=16169] ppid=16166 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/16169/stat : 16169 (toysat) R 16166 16169 7213 0 -1 4202496 51924 0 0 0 13 6 0 0 20 0 4 0 11270644 1247350784 51759 33554432000 4194304 16246674 140733880812064 140733880811488 12874965 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16169/statm: 304529 51772 812 2943 0 301423 0 [pid=16169/tid=16170] ppid=16166 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16170/stat : 16170 (toysat) S 16166 16169 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11270644 1247350784 51778 33554432000 4194304 16246674 140733880812064 139669523115248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16169/tid=16171] ppid=16166 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16171/stat : 16171 (toysat) S 16166 16169 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11270644 1247350784 51785 33554432000 4194304 16246674 140733880812064 139669512625392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16169/tid=16172] ppid=16166 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16172/stat : 16172 (toysat) S 16166 16169 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11270644 1247350784 51792 33554432000 4194304 16246674 140733880812064 139669502151856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.30048 s] /proc/loadavg: 2.10 2.08 2.10 3/179 16169 /proc/meminfo: memFree=29992748/32872528 swapFree=876280/941688 [pid=16169] ppid=16166 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/16169/stat : 16169 (toysat) R 16166 16169 7213 0 -1 4202496 78306 0 0 0 18 11 0 0 20 0 4 0 11270644 1247350784 78141 33554432000 4194304 16246674 140733880812064 140733880795064 13965592 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16169/statm: 304529 78153 813 2943 0 301423 0 [pid=16169/tid=16170] ppid=16166 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16170/stat : 16170 (toysat) S 16166 16169 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11270644 1247350784 78164 33554432000 4194304 16246674 140733880812064 139669523115248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16169/tid=16171] ppid=16166 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16171/stat : 16171 (toysat) S 16166 16169 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11270644 1247350784 78175 33554432000 4194304 16246674 140733880812064 139669512625392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16169/tid=16172] ppid=16166 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16172/stat : 16172 (toysat) S 16166 16169 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11270644 1247350784 78181 33554432000 4194304 16246674 140733880812064 139669502151856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700337 s] /proc/loadavg: 2.10 2.08 2.10 3/179 16169 /proc/meminfo: memFree=29992748/32872528 swapFree=876280/941688 [pid=16169] ppid=16166 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/16169/stat : 16169 (toysat) R 16166 16169 7213 0 -1 4202496 182382 0 0 0 45 24 0 0 20 0 4 0 11270644 1247350784 182218 33554432000 4194304 16246674 140733880812064 140733880795064 6045692 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16169/statm: 304529 182229 813 2943 0 301423 0 [pid=16169/tid=16170] ppid=16166 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16170/stat : 16170 (toysat) S 16166 16169 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11270644 1247350784 182240 33554432000 4194304 16246674 140733880812064 139669523115248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16169/tid=16171] ppid=16166 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16171/stat : 16171 (toysat) S 16166 16169 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11270644 1247350784 182247 33554432000 4194304 16246674 140733880812064 139669512625392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16169/tid=16172] ppid=16166 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16172/stat : 16172 (toysat) S 16166 16169 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11270644 1247350784 182253 33554432000 4194304 16246674 140733880812064 139669502151856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50048 s] /proc/loadavg: 2.10 2.08 2.10 3/183 16173 /proc/meminfo: memFree=29010052/32872528 swapFree=876280/941688 [pid=16169] ppid=16166 vsize=1219140 CPUtime=1.49 cores=1,3,5,7 /proc/16169/stat : 16169 (toysat) R 16166 16169 7213 0 -1 4202496 245701 0 0 0 117 32 0 0 20 0 4 0 11270644 1248399360 245514 33554432000 4194304 16246674 140733880812064 140733880793984 13191314 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16169/statm: 304785 245514 873 2943 0 301679 0 [pid=16169/tid=16170] ppid=16166 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16170/stat : 16170 (toysat) S 16166 16169 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11270644 1248399360 245514 33554432000 4194304 16246674 140733880812064 139669523115248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16169/tid=16171] ppid=16166 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16171/stat : 16171 (toysat) S 16166 16169 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11270644 1248399360 245514 33554432000 4194304 16246674 140733880812064 139669512625392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16169/tid=16172] ppid=16166 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16172/stat : 16172 (toysat) S 16166 16169 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11270644 1248399360 245514 33554432000 4194304 16246674 140733880812064 139669502151856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1219140 [startup+3.10048 s] /proc/loadavg: 2.10 2.08 2.10 4/183 16173 /proc/meminfo: memFree=28922136/32872528 swapFree=876280/941688 [pid=16169] ppid=16166 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/16169/stat : 16169 (toysat) R 16166 16169 7213 0 -1 4202496 267489 0 0 0 275 34 0 0 20 0 4 0 11270644 1337528320 267302 33554432000 4194304 16246674 140733880812064 140733880795064 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16169/statm: 326545 267302 873 2943 0 323439 0 [pid=16169/tid=16170] ppid=16166 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16170/stat : 16170 (toysat) S 16166 16169 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11270644 1337528320 267302 33554432000 4194304 16246674 140733880812064 139669523115248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16169/tid=16171] ppid=16166 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16171/stat : 16171 (toysat) S 16166 16169 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11270644 1337528320 267302 33554432000 4194304 16246674 140733880812064 139669512625392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16169/tid=16172] ppid=16166 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16172/stat : 16172 (toysat) S 16166 16169 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11270644 1337528320 267302 33554432000 4194304 16246674 140733880812064 139669502151856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30047 s] /proc/loadavg: 2.10 2.08 2.10 4/183 16173 /proc/meminfo: memFree=28922368/32872528 swapFree=876280/941688 [pid=16169] ppid=16166 vsize=1306180 CPUtime=6.29 cores=1,3,5,7 /proc/16169/stat : 16169 (toysat) R 16166 16169 7213 0 -1 4202496 267526 0 0 0 595 34 0 0 20 0 4 0 11270644 1337528320 267339 33554432000 4194304 16246674 140733880812064 140733880793984 12875492 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16169/statm: 326545 267339 873 2943 0 323439 0 [pid=16169/tid=16170] ppid=16166 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16170/stat : 16170 (toysat) S 16166 16169 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11270644 1337528320 267339 33554432000 4194304 16246674 140733880812064 139669523115248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16169/tid=16171] ppid=16166 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16171/stat : 16171 (toysat) S 16166 16169 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11270644 1337528320 267339 33554432000 4194304 16246674 140733880812064 139669512625392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16169/tid=16172] ppid=16166 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16172/stat : 16172 (toysat) S 16166 16169 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11270644 1337528320 267339 33554432000 4194304 16246674 140733880812064 139669502151856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7005 s] /proc/loadavg: 2.16 2.09 2.10 3/183 16173 /proc/meminfo: memFree=28922140/32872528 swapFree=876280/941688 [pid=16169] ppid=16166 vsize=1306180 CPUtime=12.68 cores=1,3,5,7 /proc/16169/stat : 16169 (toysat) R 16166 16169 7213 0 -1 4202496 267545 0 0 0 1234 34 0 0 20 0 4 0 11270644 1337528320 267358 33554432000 4194304 16246674 140733880812064 140733880793984 5828829 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16169/statm: 326545 267358 873 2943 0 323439 0 [pid=16169/tid=16170] ppid=16166 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16170/stat : 16170 (toysat) S 16166 16169 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11270644 1337528320 267358 33554432000 4194304 16246674 140733880812064 139669523115248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16169/tid=16171] ppid=16166 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16171/stat : 16171 (toysat) S 16166 16169 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11270644 1337528320 267358 33554432000 4194304 16246674 140733880812064 139669512625392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16169/tid=16172] ppid=16166 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16172/stat : 16172 (toysat) S 16166 16169 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11270644 1337528320 267358 33554432000 4194304 16246674 140733880812064 139669502151856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1306180 [startup+25.5074 s] /proc/loadavg: 2.14 2.09 2.10 3/183 16173 /proc/meminfo: memFree=28922156/32872528 swapFree=876280/941688 [pid=16169] ppid=16166 vsize=1306180 CPUtime=25.5 cores=1,3,5,7 /proc/16169/stat : 16169 (toysat) R 16166 16169 7213 0 -1 4202496 267558 0 0 0 2515 35 0 0 20 0 4 0 11270644 1337528320 267371 33554432000 4194304 16246674 140733880812064 140733880793984 5545993 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16169/statm: 326545 267371 874 2943 0 323439 0 [pid=16169/tid=16170] ppid=16166 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16170/stat : 16170 (toysat) S 16166 16169 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11270644 1337528320 267371 33554432000 4194304 16246674 140733880812064 139669523115248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16169/tid=16171] ppid=16166 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16171/stat : 16171 (toysat) S 16166 16169 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11270644 1337528320 267371 33554432000 4194304 16246674 140733880812064 139669512625392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16169/tid=16172] ppid=16166 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16172/stat : 16172 (toysat) S 16166 16169 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11270644 1337528320 267371 33554432000 4194304 16246674 140733880812064 139669502151856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 1306180 [startup+51.1004 s] /proc/loadavg: 2.09 2.08 2.10 4/183 16174 /proc/meminfo: memFree=28921332/32872528 swapFree=876280/941688 [pid=16169] ppid=16166 vsize=1306180 CPUtime=51.08 cores=1,3,5,7 /proc/16169/stat : 16169 (toysat) R 16166 16169 7213 0 -1 4202496 267574 0 0 0 5073 35 0 0 20 0 4 0 11270644 1337528320 267387 33554432000 4194304 16246674 140733880812064 140733880793984 5822548 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16169/statm: 326545 267387 874 2943 0 323439 0 [pid=16169/tid=16170] ppid=16166 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16170/stat : 16170 (toysat) S 16166 16169 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11270644 1337528320 267387 33554432000 4194304 16246674 140733880812064 139669523115248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16169/tid=16171] ppid=16166 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16171/stat : 16171 (toysat) S 16166 16169 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11270644 1337528320 267387 33554432000 4194304 16246674 140733880812064 139669512625392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16169/tid=16172] ppid=16166 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16172/stat : 16172 (toysat) S 16166 16169 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11270644 1337528320 267387 33554432000 4194304 16246674 140733880812064 139669502151856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1306180 [startup+102.3 s] /proc/loadavg: 2.11 2.08 2.09 3/183 16175 /proc/meminfo: memFree=28920588/32872528 swapFree=876280/941688 [pid=16169] ppid=16166 vsize=1307204 CPUtime=102.28 cores=1,3,5,7 /proc/16169/stat : 16169 (toysat) R 16166 16169 7213 0 -1 4202496 267701 0 0 0 10192 36 0 0 20 0 4 0 11270644 1338576896 267514 33554432000 4194304 16246674 140733880812064 140733880795064 5754700 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16169/statm: 326801 267514 876 2943 0 323695 0 [pid=16169/tid=16170] ppid=16166 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16170/stat : 16170 (toysat) S 16166 16169 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11270644 1338576896 267514 33554432000 4194304 16246674 140733880812064 139669523115248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16169/tid=16171] ppid=16166 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16171/stat : 16171 (toysat) S 16166 16169 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11270644 1338576896 267514 33554432000 4194304 16246674 140733880812064 139669512625392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16169/tid=16172] ppid=16166 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16172/stat : 16172 (toysat) S 16166 16169 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11270644 1338576896 267514 33554432000 4194304 16246674 140733880812064 139669502151856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1307204 ################ # More data... # ################ /proc/16169/task/16172/stat : 16172 (toysat) S 16166 16169 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11270644 1340674048 268369 33554432000 4194304 16246674 140733880812064 139669502151856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 1309252 [startup+1362.3 s] /proc/loadavg: 2.28 2.30 2.19 3/183 16229 /proc/meminfo: memFree=28908064/32872528 swapFree=876280/941688 [pid=16169] ppid=16166 vsize=1309252 CPUtime=1361.94 cores=1,3,5,7 /proc/16169/stat : 16169 (toysat) R 16166 16169 7213 0 -1 4202496 268622 0 0 0 136141 53 0 0 20 0 4 0 11270644 1340674048 268444 33554432000 4194304 16246674 140733880812064 140733880793984 13950188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16169/statm: 327313 268444 886 2943 0 324207 0 [pid=16169/tid=16170] ppid=16166 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16170/stat : 16170 (toysat) S 16166 16169 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11270644 1340674048 268444 33554432000 4194304 16246674 140733880812064 139669523115248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16169/tid=16171] ppid=16166 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16171/stat : 16171 (toysat) S 16166 16169 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11270644 1340674048 268444 33554432000 4194304 16246674 140733880812064 139669512625392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16169/tid=16172] ppid=16166 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16172/stat : 16172 (toysat) S 16166 16169 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11270644 1340674048 268444 33554432000 4194304 16246674 140733880812064 139669502151856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1309252 [startup+1422.3 s] /proc/loadavg: 2.25 2.29 2.19 3/183 16230 /proc/meminfo: memFree=28908232/32872528 swapFree=876280/941688 [pid=16169] ppid=16166 vsize=1309252 CPUtime=1421.91 cores=1,3,5,7 /proc/16169/stat : 16169 (toysat) R 16166 16169 7213 0 -1 4202496 268665 0 0 0 142138 53 0 0 20 0 4 0 11270644 1340674048 268444 33554432000 4194304 16246674 140733880812064 140733880793984 5822756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16169/statm: 327313 268444 886 2943 0 324207 0 [pid=16169/tid=16170] ppid=16166 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16170/stat : 16170 (toysat) S 16166 16169 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11270644 1340674048 268444 33554432000 4194304 16246674 140733880812064 139669523115248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16169/tid=16171] ppid=16166 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16171/stat : 16171 (toysat) S 16166 16169 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11270644 1340674048 268444 33554432000 4194304 16246674 140733880812064 139669512625392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16169/tid=16172] ppid=16166 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16172/stat : 16172 (toysat) S 16166 16169 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11270644 1340674048 268444 33554432000 4194304 16246674 140733880812064 139669502151856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1309252 [startup+1482.3 s] /proc/loadavg: 2.16 2.26 2.18 3/183 16232 /proc/meminfo: memFree=28908024/32872528 swapFree=876280/941688 [pid=16169] ppid=16166 vsize=1309252 CPUtime=1481.88 cores=1,3,5,7 /proc/16169/stat : 16169 (toysat) R 16166 16169 7213 0 -1 4202496 268710 0 0 0 148134 54 0 0 20 0 4 0 11270644 1340674048 268444 33554432000 4194304 16246674 140733880812064 140733880793984 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16169/statm: 327313 268444 886 2943 0 324207 0 [pid=16169/tid=16170] ppid=16166 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16170/stat : 16170 (toysat) S 16166 16169 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11270644 1340674048 268444 33554432000 4194304 16246674 140733880812064 139669523115248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16169/tid=16171] ppid=16166 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16171/stat : 16171 (toysat) S 16166 16169 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11270644 1340674048 268444 33554432000 4194304 16246674 140733880812064 139669512625392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16169/tid=16172] ppid=16166 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16172/stat : 16172 (toysat) S 16166 16169 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11270644 1340674048 268444 33554432000 4194304 16246674 140733880812064 139669502151856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1309252 [startup+1542.3 s] /proc/loadavg: 2.28 2.27 2.19 3/183 16233 /proc/meminfo: memFree=28907920/32872528 swapFree=876280/941688 [pid=16169] ppid=16166 vsize=1309252 CPUtime=1541.85 cores=1,3,5,7 /proc/16169/stat : 16169 (toysat) R 16166 16169 7213 0 -1 4202496 268756 0 0 0 154130 55 0 0 20 0 4 0 11270644 1340674048 268444 33554432000 4194304 16246674 140733880812064 140733880793984 6010435 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16169/statm: 327313 268444 886 2943 0 324207 0 [pid=16169/tid=16170] ppid=16166 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16170/stat : 16170 (toysat) S 16166 16169 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11270644 1340674048 268444 33554432000 4194304 16246674 140733880812064 139669523115248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16169/tid=16171] ppid=16166 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16171/stat : 16171 (toysat) S 16166 16169 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11270644 1340674048 268444 33554432000 4194304 16246674 140733880812064 139669512625392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16169/tid=16172] ppid=16166 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16172/stat : 16172 (toysat) S 16166 16169 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11270644 1340674048 268444 33554432000 4194304 16246674 140733880812064 139669502151856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1309252 [startup+1602.3 s] /proc/loadavg: 2.31 2.28 2.19 3/183 16234 /proc/meminfo: memFree=28907964/32872528 swapFree=876280/941688 [pid=16169] ppid=16166 vsize=1309252 CPUtime=1601.82 cores=1,3,5,7 /proc/16169/stat : 16169 (toysat) R 16166 16169 7213 0 -1 4202496 268796 0 0 0 160126 56 0 0 20 0 4 0 11270644 1340674048 268444 33554432000 4194304 16246674 140733880812064 140733880793984 13780624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16169/statm: 327313 268444 886 2943 0 324207 0 [pid=16169/tid=16170] ppid=16166 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16170/stat : 16170 (toysat) S 16166 16169 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11270644 1340674048 268444 33554432000 4194304 16246674 140733880812064 139669523115248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16169/tid=16171] ppid=16166 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16171/stat : 16171 (toysat) S 16166 16169 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11270644 1340674048 268444 33554432000 4194304 16246674 140733880812064 139669512625392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16169/tid=16172] ppid=16166 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16172/stat : 16172 (toysat) S 16166 16169 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11270644 1340674048 268444 33554432000 4194304 16246674 140733880812064 139669502151856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1309252 [startup+1662.31 s] /proc/loadavg: 2.28 2.28 2.19 3/183 16235 /proc/meminfo: memFree=28907476/32872528 swapFree=876280/941688 [pid=16169] ppid=16166 vsize=1309252 CPUtime=1661.79 cores=1,3,5,7 /proc/16169/stat : 16169 (toysat) R 16166 16169 7213 0 -1 4202496 268839 0 0 0 166122 57 0 0 20 0 4 0 11270644 1340674048 268444 33554432000 4194304 16246674 140733880812064 140733880793984 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16169/statm: 327313 268444 886 2943 0 324207 0 [pid=16169/tid=16170] ppid=16166 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16170/stat : 16170 (toysat) S 16166 16169 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11270644 1340674048 268444 33554432000 4194304 16246674 140733880812064 139669523115248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16169/tid=16171] ppid=16166 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16171/stat : 16171 (toysat) S 16166 16169 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11270644 1340674048 268444 33554432000 4194304 16246674 140733880812064 139669512625392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16169/tid=16172] ppid=16166 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16172/stat : 16172 (toysat) S 16166 16169 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11270644 1340674048 268444 33554432000 4194304 16246674 140733880812064 139669502151856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 1309252 [startup+1722.3 s] /proc/loadavg: 2.27 2.28 2.19 3/183 16236 /proc/meminfo: memFree=28907704/32872528 swapFree=876280/941688 [pid=16169] ppid=16166 vsize=1309252 CPUtime=1721.76 cores=1,3,5,7 /proc/16169/stat : 16169 (toysat) R 16166 16169 7213 0 -1 4202496 268849 0 0 0 172119 57 0 0 20 0 4 0 11270644 1340674048 268444 33554432000 4194304 16246674 140733880812064 140733880793984 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16169/statm: 327313 268444 886 2943 0 324207 0 [pid=16169/tid=16170] ppid=16166 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16170/stat : 16170 (toysat) S 16166 16169 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11270644 1340674048 268444 33554432000 4194304 16246674 140733880812064 139669523115248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16169/tid=16171] ppid=16166 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16171/stat : 16171 (toysat) S 16166 16169 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11270644 1340674048 268444 33554432000 4194304 16246674 140733880812064 139669512625392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16169/tid=16172] ppid=16166 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16172/stat : 16172 (toysat) S 16166 16169 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11270644 1340674048 268444 33554432000 4194304 16246674 140733880812064 139669502151856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1309252 [startup+1782.3 s] /proc/loadavg: 2.15 2.24 2.18 3/183 16287 /proc/meminfo: memFree=28911652/32872528 swapFree=876280/941688 [pid=16169] ppid=16166 vsize=1309252 CPUtime=1781.76 cores=1,3,5,7 /proc/16169/stat : 16169 (toysat) R 16166 16169 7213 0 -1 4202496 268922 0 0 0 178117 59 0 0 20 0 4 0 11270644 1340674048 268517 33554432000 4194304 16246674 140733880812064 140733880793984 13950232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16169/statm: 327313 268517 886 2943 0 324207 0 [pid=16169/tid=16170] ppid=16166 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16170/stat : 16170 (toysat) S 16166 16169 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11270644 1340674048 268517 33554432000 4194304 16246674 140733880812064 139669523115248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16169/tid=16171] ppid=16166 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16171/stat : 16171 (toysat) S 16166 16169 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11270644 1340674048 268517 33554432000 4194304 16246674 140733880812064 139669512625392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16169/tid=16172] ppid=16166 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16172/stat : 16172 (toysat) S 16166 16169 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11270644 1340674048 268517 33554432000 4194304 16246674 140733880812064 139669502151856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 1309252 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.19 2.24 2.18 3/184 16290 /proc/meminfo: memFree=28911376/32872528 swapFree=876280/941688 [pid=16169] ppid=16166 vsize=1309252 CPUtime=1800.06 cores=1,3,5,7 /proc/16169/stat : 16169 (toysat) R 16166 16169 7213 0 -1 4202496 268922 0 0 0 179947 59 0 0 20 0 4 0 11270644 1340674048 268517 33554432000 4194304 16246674 140733880812064 140733880795064 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16169/statm: 327313 268517 886 2943 0 324207 0 [pid=16169/tid=16170] ppid=16166 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16170/stat : 16170 (toysat) S 16166 16169 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11270644 1340674048 268517 33554432000 4194304 16246674 140733880812064 139669523115248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16169/tid=16171] ppid=16166 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16171/stat : 16171 (toysat) S 16166 16169 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11270644 1340674048 268517 33554432000 4194304 16246674 140733880812064 139669512625392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16169/tid=16172] ppid=16166 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16172/stat : 16172 (toysat) S 16166 16169 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11270644 1340674048 268517 33554432000 4194304 16246674 140733880812064 139669502151856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1309252 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 16169 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 2.19 2.24 2.18 3/184 16290 /proc/meminfo: memFree=28911376/32872528 swapFree=876280/941688 [pid=16169] ppid=16166 vsize=1309252 CPUtime=1800.06 cores=1,3,5,7 /proc/16169/stat : 16169 (toysat) R 16166 16169 7213 0 -1 4202496 268922 0 0 0 179947 59 0 0 20 0 4 0 11270644 1340674048 268517 33554432000 4194304 16246674 140733880812064 140733880795064 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16169/statm: 327313 268517 886 2943 0 324207 0 [pid=16169/tid=16170] ppid=16166 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16170/stat : 16170 (toysat) S 16166 16169 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11270644 1340674048 268517 33554432000 4194304 16246674 140733880812064 139669523115248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16169/tid=16171] ppid=16166 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16171/stat : 16171 (toysat) S 16166 16169 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11270644 1340674048 268517 33554432000 4194304 16246674 140733880812064 139669512625392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16169/tid=16172] ppid=16166 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16169/task/16172/stat : 16172 (toysat) S 16166 16169 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11270644 1340674048 268517 33554432000 4194304 16246674 140733880812064 139669502151856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1309252 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.07 CPU user time (s): 1799.47 CPU system time (s): 0.593909 CPU usage (%): 99.97 Max. virtual memory (cumulated for all children) (KiB): 1309252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.47 system time used= 0.593909 maximum resident set size= 1074068 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 268922 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= 487 involuntary context switches= 1939 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.46617 second user time and 7.71983 second system time The end
Begin job on node113 at 2016-06-16 17:50:17 IDJOB=4093624 IDBENCH=79167 IDSOLVER=2553 FILE ID=node113/4093624-1466092217 RUNJOBID= node113-1466075295-13239 PBS_JOBID= 19904023 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr--soft-0-100-0.wbo COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093624-1466092217/watcher-4093624-1466092217 -o /tmp/evaluation-result-4093624-1466092217/solver-4093624-1466092217 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466075295-13239 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093624-1466092217.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= dbde182a3659a82e6c4ef24ee1922e32 RANDOM SEED=1377376479 node113.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.799 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 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.799 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.799 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.799 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.799 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.799 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.54 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.799 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.54 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.799 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29995844 kB Buffers: 48240 kB Cached: 114540 kB SwapCached: 2160 kB Active: 1154516 kB Inactive: 79388 kB Active(anon): 1071732 kB Inactive(anon): 1612 kB Active(file): 82784 kB Inactive(file): 77776 kB Unevictable: 941688 kB Mlocked: 876280 kB SwapTotal: 67108856 kB SwapFree: 67098740 kB Dirty: 32868 kB Writeback: 0 kB AnonPages: 2097436 kB Mapped: 9756 kB Shmem: 0 kB Slab: 568224 kB SReclaimable: 12460 kB SUnreclaim: 555764 kB KernelStack: 1520 kB PageTables: 7864 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2157608 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 151552 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= 71708 MiB End job on node113 at 2016-06-16 18:20:18