| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.08 | 1800.51 |
| Name | /OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat25_6_4_4_mh.opb |
| MD5SUM | 9bdb41355cc05d61585f46c460aaeaa4 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 4083721 |
| Best CPU time to get the best result obtained on this benchmark | 1800.58 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 31350 |
| Total number of constraints | 73332 |
| Number of constraints which are clauses | 57050 |
| Number of constraints which are cardinality constraints (but not clauses) | 32 |
| Number of constraints which are nor clauses,nor cardinality constraints | 16250 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 925 |
| Number of terms in the objective function | 16825 |
| Biggest coefficient in the objective function | 116930169 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 14114941895 |
| Number of bits of the sum of numbers in the objective function | 34 |
| Biggest number in a constraint | 116930169 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 14114941895 |
| Number of bits of the biggest sum of numbers | 34 |
| 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-07T21:39:38+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079411-1465328377.opb"] 0.00/0.01 c use --random-gen="1088392336 645204139 2418904325 3933791269 989501382 3564505723 3882063601 411867197 3002118389 1042154979 202881569 1467598598 2547782443 3329540582 2372617372 155316766 1009100806 3321073203 89276976 3311195163 2724349069 721299983 2428788172 807450486 2058631744 903211650 2266905151 3234742322 3847481706 2981129268 1514185583 2432744137 844536615 3162232038 2526987533 1159459945 442475325 2579849875 1936021068 828486339 414268327 798295398 469792936 2984806064 2284294001 1337877462 1825545044 2906888239 550870532 4152431747 1114823543 3297810200 1202161100 356119086 2764425759 2795065856 4017208658 4226745137 3030045565 3905907526 869935765 3692094945 2969779598 4165954143 582779110 334883301 2090345442 1686433781 2576123346 127120854 2760813729 2758313447 2360012977 3984049276 2606854917 272147888 1777315716 2805957390 2512662910 1055211482 892764638 642721440 2926839621 4293835264 2109411948 1633609902 2824762230 2674144233 146240467 2181037072 1979170611 3990017301 3304537335 30721811 1146049029 611069828 1851566730 808545593 4066405023 1190659095 3015153735 648648252 3157515233 1306074425 2993044853 3965821973 127446395 2421962512 3311478813 728376067 1008168713 2360792672 1706066313 1465808663 3540811840 3331986918 1321138504 2325421154 1543040529 535776228 3538507301 584987693 4009133035 198764480 3933094540 3270978022 1617915115 399589730 2861009572 3819584929 931344830 2286186799 4138304221 4032061169 713162737 1030082164 1848147232 3495732046 2224497883 1896778259 3361267307 451118821 828205993 3691970802 1804520581 3665033295 5227800 2147059313 1995242990 3249361083 3047468216 902536159 3175211723 796164610 1749188031 3442444854 1922503663 497461995 1141722811 2569979306 2403702958 3983339836 1889545237 2916984610 3118806177 1197799625 3964684490 1567268493 1002389601 507830409 592509344 2490611062 1445926701 700336674 463722068 2448451231 67458041 249312752 3554397356 2663845456 1230480236 1916543928 3753041944 621981110 2059792903 2853805986 3499247929 1729783246 2956321476 3568214474 803741209 4232107476 1476310904 1509620273 2001440700 3678745594 2215680589 3611400431 1475713894 2996730019 791499578 2168588854 1769123960 435968167 3429344926 3713018770 1781532102 3397708255 3584538894 1157552191 2181380262 1530736860 3523051678 1405310430 3345169690 889222641 2119663821 2058647601 892677006 3798949041 4099329871 28786111 956769996 224910827 1317424677 1441101776 1754407341 2434052505 3753355127 3873757654 3951213863 1992959002 3200336837 2418884097 2496491408 3949621369 386627321 2435411724 1980153711 1048824779 2298579783 2099107968 2006756949 2339962666 3555853974 1573751530 3172899231 3795014332 11220289 4020711488 3674924735 2053782545 3230963766 3468682333 637344967 2478071804 255 362436" option to reproduce the execution 0.49/0.53 c #vars 31350 0.49/0.53 c #constraints 73332 1.58/1.67 c BCD2: Hardening is enabled. 1.58/1.67 c BCD2: BiasedSearch is enabled. 1.58/1.67 c Solving starts ... 1.58/1.67 c ============================[ Search Statistics ]============================ 1.58/1.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.58/1.67 c | | | | Limit GC | Var | Constra 1.58/1.67 c ============================================================================= 1.79/1.83 c 0.0s | 0 | 0 | 0 | 35294 0 | 75 | 0 2.30/2.37 c 0.5s | 1 | 181 | 100 | 35294 0 | 75 | 0 2.69/2.74 c 0.9s | 2 | 897 | 250 | 38824 0 | 75 | 0 5.69/5.73 c 3.9s | 2 | 2081 | 450 | 42707 0 | 75 | 0 6.29/6.37 c 4.5s | 3 | 2191 | 475 | 42707 0 | 75 | 0 8.29/8.38 c 6.5s | 3 | 3121 | 575 | 46978 0 | 75 | 0 10.59/10.60 c 8.8s | 3 | 4200 | 675 | 46978 0 | 75 | 0 11.69/11.73 c 9.9s | 4 | 5683 | 813 | 46978 0 | 75 | 0 13.69/13.78 c 11.9s | 4 | 9193 | 1313 | 51676 0 | 75 | 0 13.79/13.81 c 12.0s | 5 | 9236 | 1320 | 51676 0 | 75 | 0 15.99/16.07 c 14.2s | 5 | 11918 | 1720 | 56844 0 | 75 | 0 16.99/17.00 c 15.2s | 6 | 12990 | 2081 | 62529 0 | 75 | 0 18.99/19.09 c 17.3s | 6 | 14938 | 2681 | 62529 0 | 75 | 0 20.69/20.80 c 19.0s | 7 | 16761 | 3223 | 68782 0 | 75 | 0 22.79/22.80 c 21.0s | 7 | 23107 | 3723 | 68782 0 | 75 | 0 25.19/25.20 c 23.4s | 7 | 24644 | 4023 | 68782 0 | 75 | 0 27.39/27.41 c 25.6s | 7 | 26821 | 4623 | 68782 0 | 75 | 0 28.49/28.50 c 26.7s | 8 | 27593 | 4936 | 75661 0 | 75 | 0 30.99/31.02 c 29.2s | 8 | 29104 | 5436 | 75661 0 | 75 | 0 33.19/33.29 c 31.5s | 8 | 30287 | 5936 | 75661 0 | 75 | 0 35.49/35.55 c 33.7s | 8 | 31912 | 6536 | 75661 0 | 75 | 0 37.79/37.82 c 36.0s | 8 | 34033 | 7236 | 75661 0 | 75 | 0 38.59/38.64 c 36.8s | 9 | 34666 | 7506 | 83228 0 | 75 | 0 40.88/40.94 c 39.1s | 9 | 36560 | 8106 | 83228 0 | 75 | 0 43.08/43.16 c 41.3s | 9 | 38139 | 8706 | 83228 0 | 75 | 0 45.58/45.67 c 43.8s | 9 | 39593 | 9306 | 83228 0 | 75 | 0 48.08/48.17 c 46.3s | 9 | 41214 | 9806 | 83228 0 | 75 | 0 50.18/50.22 c 48.4s | 9 | 42831 | 10306 | 83228 0 | 75 | 0 52.48/52.55 c 50.7s | 9 | 44743 | 10906 | 83228 0 | 75 | 0 54.28/54.34 c 52.5s | 10 | 46302 | 11361 | 91551 0 | 75 | 0 56.48/56.59 c 54.8s | 10 | 48179 | 11961 | 91551 0 | 75 | 0 59.08/59.16 c 57.3s | 10 | 50244 | 12561 | 91551 0 | 75 | 0 61.18/61.25 c 59.4s | 10 | 52122 | 13161 | 91551 0 | 75 | 0 63.48/63.56 c 61.7s | 10 | 54026 | 13661 | 91551 0 | 75 | 0 65.48/65.57 c 63.7s | 10 | 55756 | 14261 | 91551 0 | 75 | 0 67.68/67.75 c 65.9s | 10 | 57467 | 14861 | 91551 0 | 75 | 0 70.28/70.37 c 68.5s | 10 | 59131 | 15461 | 91551 0 | 75 | 0 72.59/72.70 c 70.9s | 10 | 61026 | 16061 | 91551 0 | 75 | 0 74.68/74.73 c 72.9s | 10 | 63085 | 16761 | 91551 0 | 75 | 0 75.89/75.92 c 74.1s | 11 | 63934 | 17144 | 100707 0 | 75 | 0 77.88/77.92 c 76.1s | 11 | 65314 | 17744 | 100707 0 | 75 | 0 80.18/80.27 c 78.4s | 11 | 66951 | 18344 | 100707 0 | 75 | 0 82.28/82.33 c 80.5s | 11 | 68971 | 19044 | 100707 0 | 75 | 0 84.28/84.39 c 82.6s | 11 | 70462 | 19444 | 100707 0 | 75 | 0 86.58/86.60 c 84.8s | 11 | 71704 | 19744 | 100707 0 | 75 | 0 88.88/88.91 c 87.1s | 11 | 73397 | 20144 | 100707 0 | 75 | 0 91.08/91.17 c 89.3s | 11 | 75157 | 20644 | 100707 0 | 75 | 0 93.58/93.63 c 91.8s | 11 | 76461 | 21144 | 100707 0 | 75 | 0 95.98/96.02 c 94.2s | 11 | 78208 | 21644 | 100707 0 | 75 | 0 98.58/98.64 c 96.8s | 11 | 80344 | 22244 | 100707 0 | 75 | 0 100.87/100.92 c 99.1s | 11 | 81667 | 22644 | 100707 0 | 75 | 0 103.48/103.57 c 101s | 11 | 82722 | 23044 | 100707 0 | 75 | 0 105.77/105.81 c 103s | 11 | 83671 | 23444 | 100707 0 | 75 | 0 108.17/108.26 c 106s | 11 | 84605 | 23844 | 100707 0 | 75 | 0 110.27/110.36 c 108s | 11 | 86149 | 24344 | 100707 0 | 75 | 0 112.67/112.71 c 110s | 11 | 87359 | 24844 | 100707 0 | 75 | 0 114.87/114.93 c 113s | 11 | 89039 | 25344 | 100707 0 | 75 | 0 117.07/117.16 c 115s | 11 | 90788 | 25744 | 110778 0 | 75 | 0 117.37/117.47 c 115s | 12 | 91053 | 25819 | 110778 0 | 75 | 0 119.67/119.77 c 117s | 12 | 92516 | 26319 | 110778 0 | 75 | 0 121.77/121.82 c 119s | 12 | 93535 | 26719 | 110778 0 | 75 | 0 123.87/123.98 c 122s | 12 | 94773 | 27219 | 110778 0 | 75 | 0 126.07/126.17 c 124s | 12 | 95968 | 27719 | 110778 0 | 75 | 0 128.07/128.18 c 126s | 12 | 97332 | 28119 | 110778 0 | 75 | 0 130.57/130.67 c 128s | 12 | 99227 | 28619 | 110778 0 | 75 | 0 132.77/132.88 c 131s | 12 | 100855 | 29119 | 110778 0 | 75 | 0 134.87/134.95 c 133s | 12 | 102146 | 29619 | 110778 0 | 75 | 0 137.17/137.24 c 135s | 12 | 103154 | 30019 | 110778 0 | 75 | 0 139.47/139.50 c 137s | 12 | 104610 | 30419 | 110778 0 | 75 | 0 141.47/141.52 c 139s | 12 | 105891 | 30919 | 110778 0 | 75 | 0 143.67/143.78 c 141s | 12 | 107229 | 31319 | 110778 0 | 75 | 0 145.87/145.93 c 144s | 12 | 108609 | 31719 | 110778 0 | 75 | 0 147.87/147.95 c 146s | 12 | 110064 | 32219 | 110778 0 | 75 | 0 150.37/150.40 c 148s | 12 | 111142 | 32719 | 110778 0 | 75 | 0 152.37/152.44 c 150s | 12 | 112356 | 33119 | 110778 0 | 75 | 0 154.67/154.70 c 152s | 12 | 113860 | 33419 | 110778 0 | 75 | 0 156.97/157.01 c 155s | 12 | 115483 | 33819 | 110778 0 | 75 | 0 159.07/159.17 c 157s | 12 | 116645 | 34219 | 110778 0 | 75 | 0 161.37/161.48 c 159s | 12 | 117802 | 34619 | 110778 0 | 75 | 0 163.77/163.86 c 162s | 12 | 119143 | 35019 | 110778 0 | 75 | 0 166.17/166.28 c 164s | 12 | 120155 | 35419 | 110778 0 | 75 | 0 168.46/168.55 c 166s | 12 | 121098 | 35719 | 110778 0 | 75 | 0 171.16/171.20 c 169s | 12 | 123079 | 36119 | 110778 0 | 75 | 0 173.46/173.50 c 171s | 12 | 124889 | 36519 | 110778 0 | 75 | 0 175.56/175.68 c 173s | 12 | 126442 | 36919 | 110778 0 | 75 | 0 178.06/178.11 c 176s | 12 | 127373 | 37319 | 110778 0 | 75 | 0 180.26/180.30 c 178s | 12 | 128245 | 37719 | 110778 0 | 75 | 0 182.76/182.81 c 180s | 12 | 129321 | 38019 | 110778 0 | 75 | 0 185.16/185.20 c 183s | 12 | 130684 | 38419 | 110778 0 | 75 | 0 187.16/187.25 c 185s | 12 | 131987 | 38819 | 121856 0 | 75 | 0 187.26/187.33 c 185s | 13 | 132001 | 38832 | 121856 0 | 75 | 0 189.36/189.44 c 187s | 13 | 132935 | 39132 | 121856 0 | 75 | 0 191.76/191.81 c 189s | 13 | 133795 | 39532 | 121856 0 | 75 | 0 194.16/194.25 c 192s | 13 | 135816 | 40032 | 121856 0 | 75 | 0 196.26/196.35 c 194s | 13 | 137498 | 40632 | 121856 0 | 75 | 0 198.36/198.42 c 196s | 13 | 139179 | 41232 | 121856 0 | 75 | 0 200.46/200.55 c 198s | 13 | 141093 | 41832 | 121856 0 | 75 | 0 202.66/202.78 c 200s | 13 | 143380 | 42632 | 121856 0 | 75 | 0 204.76/204.85 c 203s | 13 | 145261 | 43232 | 121856 0 | 75 | 0 207.06/207.11 c 205s | 13 | 146940 | 43732 | 121856 0 | 75 | 0 209.36/209.42 c 207s | 13 | 148242 | 44232 | 121856 0 | 75 | 0 211.46/211.59 c 209s | 13 | 149957 | 44832 | 121856 0 | 75 | 0 213.56/213.63 c 211s | 13 | 151921 | 45332 | 121856 0 | 75 | 0 215.66/215.73 c 213s | 13 | 153821 | 45932 | 121856 0 | 75 | 0 217.96/218.05 c 216s | 13 | 155162 | 46532 | 121856 0 | 75 | 0 220.06/220.17 c 218s | 13 | 156634 | 47032 | 121856 0 | 75 | 0 222.36/222.41 c 220s | 13 | 158256 | 47632 | 121856 0 | 75 | 0 224.36/224.42 c 222s | 13 | 159985 | 48132 | 121856 0 | 75 | 0 226.56/226.67 c 224s | 13 | 161791 | 48732 | 121856 0 | 75 | 0 228.86/228.99 c 227s | 13 | 163362 | 49232 | 121856 0 | 75 | 0 230.96/231.00 c 229s | 13 | 164672 | 49732 | 121856 0 | 75 | 0 233.16/233.26 c 231s | 13 | 165933 | 50232 | 121856 0 | 75 | 0 235.36/235.41 c 233s | 13 | 166780 | 50632 | 121856 0 | 75 | 0 237.75/237.84 c 236s | 13 | 167811 | 51132 | 121856 0 | 75 | 0 240.25/240.30 c 238s | 13 | 170049 | 51732 | 121856 0 | 75 | 0 242.45/242.58 c 240s | 13 | 171932 | 52232 | 121856 0 | 75 | 0 244.95/245.06 c 243s | 13 | 173447 | 52732 | 121856 0 | 75 | 0 247.35/247.43 c 245s | 13 | 175787 | 53332 | 121856 0 | 75 | 0 249.45/249.51 c 247s | 13 | 177726 | 53832 | 121856 0 | 75 | 0 251.45/251.59 c 249s | 13 | 179652 | 54332 | 121856 0 | 75 | 0 253.55/253.60 c 251s | 13 | 180834 | 54732 | 121856 0 | 75 | 0 255.85/255.90 c 254s | 13 | 182413 | 55232 | 121856 0 | 75 | 0 257.95/258.01 c 256s | 13 | 183978 | 55732 | 121856 0 | 75 | 0 260.25/260.33 c 258s | 13 | 185357 | 56332 | 121856 0 | 75 | 0 262.34/262.40 c 260s | 13 | 186605 | 56832 | 121856 0 | 75 | 0 264.74/264.80 c 262s | 13 | 188546 | 57332 | 121856 0 | 75 | 0 267.14/267.27 c 265s | 13 | 190460 | 57832 | 121856 0 | 75 | 0 269.84/269.93 c 268s | 13 | 192161 | 58332 | 134042 0 | 75 | 0 269.94/270.06 c 268s | 14 | 192234 | 58352 | 134042 0 | 75 | 0 272.14/272.22 c 270s | 14 | 193868 | 58752 | 134042 0 | 75 | 0 274.34/274.47 c 272s | 14 | 195443 | 59252 | 134042 0 | 75 | 0 276.44/276.54 c 274s | 14 | 196583 | 59652 | 134042 0 | 75 | 0 278.84/278.95 c 277s | 14 | 198298 | 60152 | 134042 0 | 75 | 0 281.34/281.42 c 279s | 14 | 199659 | 60652 | 134042 0 | 75 | 0 283.74/283.82 c 281s | 14 | 200568 | 61152 | 134042 0 | 75 | 0 286.14/286.26 c 284s | 14 | 201726 | 61652 | 134042 0 | 75 | 0 288.34/288.41 c 286s | 14 | 202746 | 62052 | 134042 0 | 75 | 0 290.54/290.63 c 288s | 14 | 203984 | 62552 | 134042 0 | 75 | 0 292.94/293.07 c 291s | 14 | 205143 | 63052 | 134042 0 | 75 | 0 295.14/295.20 c 293s | 14 | 205977 | 63352 | 134042 0 | 75 | 0 297.43/297.57 c 295s | 14 | 206806 | 63652 | 134042 0 | 75 | 0 299.63/299.72 c 297s | 14 | 207890 | 64152 | 134042 0 | 75 | 0 301.93/302.00 c 300s | 14 | 209023 | 64652 | 134042 0 | 75 | 0 304.13/304.21 c 302s | 14 | 209783 | 64952 | 134042 0 | 75 | 0 306.73/306.82 c 304s | 14 | 210742 | 65352 | 134042 0 | 75 | 0 308.93/309.03 c 307s | 14 | 211411 | 65652 | 134042 0 | 75 | 0 311.13/311.24 c 309s | 14 | 212098 | 65952 | 134042 0 | 75 | 0 313.73/313.80 c 311s | 14 | 212943 | 66352 | 134042 0 | 75 | 0 315.83/315.98 c 314s | 14 | 213721 | 66752 | 134042 0 | 75 | 0 318.03/318.11 c 316s | 14 | 214480 | 67152 | 134042 0 | 75 | 0 320.23/320.38 c 318s | 14 | 215228 | 67552 | 134042 0 | 75 | 0 322.43/322.54 c 320s | 14 | 215951 | 67952 | 134042 0 | 75 | 0 324.43/324.59 c 322s | 14 | 216477 | 68252 | 134042 0 | 75 | 0 326.82/326.96 c 325s | 14 | 217133 | 68652 | 134042 0 | 75 | 0 329.12/329.28 c 327s | 14 | 217922 | 69052 | 134042 0 | 75 | 0 331.42/331.55 c 329s | 14 | 218592 | 69452 | 134042 0 | 75 | 0 333.72/333.80 c 331s | 14 | 219280 | 69852 | 134042 0 | 75 | 0 335.92/336.09 c 334s | 14 | 221061 | 70452 | 134042 0 | 75 | 0 338.32/338.48 c 336s | 14 | 222645 | 71052 | 134042 0 | 75 | 0 340.32/340.49 c 338s | 14 | 224085 | 71552 | 134042 0 | 75 | 0 342.52/342.62 c 340s | 14 | 225093 | 72052 | 134042 0 | 75 | 0 344.72/344.84 c 343s | 14 | 226894 | 72452 | 134042 0 | 75 | 0 347.22/347.30 c 345s | 14 | 228717 | 72952 | 134042 0 | 75 | 0 349.42/349.52 c 347s | 14 | 230009 | 73252 | 134042 0 | 75 | 0 351.52/351.67 c 349s | 14 | 231480 | 73652 | 134042 0 | 75 | 0 353.92/354.01 c 352s | 14 | 232358 | 74052 | 134042 0 | 75 | 0 356.32/356.47 c 354s | 14 | 233738 | 74552 | 134042 0 | 75 | 0 358.72/358.89 c 357s | 14 | 235171 | 75052 | 134042 0 | 75 | 0 361.22/361.36 c 359s | 14 | 236257 | 75552 | 134042 0 | 75 | 0 363.71/363.86 c 362s | 14 | 237494 | 75952 | 134042 0 | 75 | 0 366.22/366.38 c 364s | 14 | 238751 | 76352 | 134042 0 | 75 | 0 368.42/368.55 c 366s | 14 | 239833 | 76752 | 134042 0 | 75 | 0 370.72/370.83 c 368s | 14 | 240598 | 77052 | 134042 0 | 75 | 0 373.41/373.58 c 371s | 14 | 241698 | 77452 | 134042 0 | 75 | 0 375.61/375.75 c 373s | 14 | 242277 | 77752 | 134042 0 | 75 | 0 377.91/378.01 c 376s | 14 | 242996 | 78052 | 134042 0 | 75 | 0 380.62/380.79 c 378s | 14 | 243757 | 78452 | 134042 0 | 75 | 0 383.11/383.27 c 381s | 14 | 244408 | 78752 | 134042 0 | 75 | 0 385.31/385.48 c 383s | 14 | 245137 | 79052 | 134042 0 | 75 | 0 388.01/388.14 c 386s | 14 | 245676 | 79352 | 134042 0 | 75 | 0 390.31/390.48 c 388s | 14 | 246174 | 79652 | 134042 0 | 75 | 0 392.91/393.09 c 391s | 14 | 246691 | 79952 | 134042 0 | 75 | 0 395.81/395.91 c 394s | 14 | 247232 | 80252 | 134042 0 | 75 | 0 398.11/398.23 c 396s | 14 | 247908 | 80552 | 134042 0 | 75 | 0 400.51/400.67 c 398s | 14 | 248372 | 80852 | 134042 0 | 75 | 0 402.61/402.72 c 400s | 14 | 248709 | 81052 | 134042 0 | 75 | 0 405.40/405.51 c 403s | 14 | 249175 | 81352 | 134042 0 | 75 | 0 408.30/408.47 c 406s | 14 | 249624 | 81652 | 134042 0 | 75 | 0 410.40/410.57 c 408s | 14 | 250585 | 81952 | 134042 0 | 75 | 0 412.90/413.03 c 411s | 14 | 251956 | 82452 | 134042 0 | 75 | 0 415.20/415.39 c 413s | 14 | 253293 | 82952 | 134042 0 | 75 | 0 417.30/417.42 c 415s | 14 | 254837 | 83452 | 134042 0 | 75 | 0 419.50/419.67 c 417s | 14 | 256353 | 83952 | 134042 0 | 75 | 0 421.80/421.99 c 420s | 14 | 257521 | 84352 | 134042 0 | 75 | 0 424.10/424.24 c 422s | 14 | 259179 | 84852 | 134042 0 | 75 | 0 426.50/426.60 c 424s | 14 | 260713 | 85352 | 134042 0 | 75 | 0 428.60/428.79 c 426s | 14 | 261750 | 85752 | 134042 0 | 75 | 0 430.91/431.05 c 429s | 14 | 263083 | 86252 | 134042 0 | 75 | 0 433.51/433.65 c 431s | 14 | 264453 | 86752 | 134042 0 | 75 | 0 435.51/435.66 c 433s | 14 | 265648 | 87152 | 147447 0 | 75 | 0 437.71/437.89 c 436s | 14 | 266405 | 87552 | 147447 0 | 75 | 0 438.21/438.37 c 436s | 15 | 266596 | 87632 | 147447 0 | 75 | 0 440.31/440.47 c 438s | 15 | 267610 | 87932 | 147447 0 | 75 | 0 442.70/442.87 c 441s | 15 | 268659 | 88332 | 147447 0 | 75 | 0 444.90/445.01 c 443s | 15 | 269346 | 88632 | 147447 0 | 75 | 0 447.20/447.31 c 445s | 15 | 270307 | 89032 | 147447 0 | 75 | 0 449.60/449.75 c 447s | 15 | 271203 | 89432 | 147447 0 | 75 | 0 452.40/452.52 c 450s | 15 | 271951 | 89832 | 147447 0 | 75 | 0 454.50/454.64 c 452s | 15 | 272525 | 90132 | 147447 0 | 75 | 0 456.90/457.09 c 455s | 15 | 272964 | 90432 | 147447 0 | 75 | 0 459.20/459.32 c 457s | 15 | 273433 | 90732 | 147447 0 | 75 | 0 461.59/461.73 c 459s | 15 | 273906 | 91032 | 147447 0 | 75 | 0 463.69/463.87 c 462s | 15 | 274361 | 91332 | 147447 0 | 75 | 0 466.19/466.30 c 464s | 15 | 274749 | 91632 | 147447 0 | 75 | 0 468.50/468.61 c 466s | 15 | 275479 | 92032 | 147447 0 | 75 | 0 470.49/470.63 c 468s | 15 | 276514 | 92432 | 147447 0 | 75 | 0 472.69/472.87 c 471s | 15 | 277188 | 92832 | 147447 0 | 75 | 0 474.99/475.17 c 473s | 15 | 277767 | 93232 | 147447 0 | 75 | 0 477.30/477.47 c 475s | 15 | 278541 | 93632 | 147447 0 | 75 | 0 479.60/479.76 c 477s | 15 | 279417 | 94032 | 147447 0 | 75 | 0 481.89/482.05 c 480s | 15 | 279918 | 94332 | 147447 0 | 75 | 0 484.49/484.68 c 482s | 15 | 280664 | 94732 | 147447 0 | 75 | 0 487.09/487.28 c 485s | 15 | 281384 | 95132 | 147447 0 | 75 | 0 489.18/489.34 c 487s | 15 | 281945 | 95432 | 147447 0 | 75 | 0 491.88/492.02 c 490s | 15 | 282587 | 95832 | 147447 0 | 75 | 0 494.18/494.33 c 492s | 15 | 283095 | 96132 | 147447 0 | 75 | 0 496.58/496.73 c 494s | 15 | 283576 | 96432 | 147447 0 | 75 | 0 498.58/498.79 c 496s | 15 | 284078 | 96732 | 147447 0 | 75 | 0 500.98/501.10 c 499s | 15 | 284585 | 97032 | 147447 0 | 75 | 0 503.17/503.33 c 501s | 15 | 285064 | 97332 | 147447 0 | 75 | 0 505.57/505.75 c 503s | 15 | 285486 | 97632 | 147447 0 | 75 | 0 507.67/507.89 c 506s | 15 | 286199 | 97932 | 147447 0 | 75 | 0 510.47/510.63 c 508s | 15 | 287037 | 98332 | 147447 0 | 75 | 0 512.77/512.94 c 511s | 15 | 287678 | 98732 | 147447 0 | 75 | 0 515.37/515.54 c 513s | 15 | 288529 | 99132 | 147447 0 | 75 | 0 517.37/517.55 c 515s | 15 | 289229 | 99432 | 147447 0 | 75 | 0 519.57/519.76 c 517s | 15 | 289758 | 99732 | 147447 0 | 75 | 0 521.96/522.15 c 520s | 15 | 290322 | 100032 | 147447 0 | 75 | 0 524.36/524.58 c 522s | 15 | 290796 | 100332 | 147447 0 | 75 | 0 526.77/526.97 c 525s | 15 | 291272 | 100632 | 147447 0 | 75 | 0 529.36/529.57 c 527s | 15 | 291680 | 100932 | 147447 0 | 75 | 0 531.66/531.81 c 529s | 15 | 292104 | 101232 | 147447 0 | 75 | 0 534.36/534.54 c 532s | 15 | 292492 | 101532 | 147447 0 | 75 | 0 536.96/537.19 c 535s | 15 | 293296 | 101932 | 147447 0 | 75 | 0 539.26/539.47 c 537s | 15 | 293886 | 102232 | 147447 0 | 75 | 0 541.95/542.17 c 540s | 15 | 294603 | 102632 | 147447 0 | 75 | 0 544.15/544.33 c 542s | 15 | 295043 | 102932 | 147447 0 | 75 | 0 546.66/546.84 c 545s | 15 | 295809 | 103332 | 147447 0 | 75 | 0 549.25/549.41 c 547s | 15 | 296481 | 103732 | 147447 0 | 75 | 0 551.35/551.56 c 549s | 15 | 296923 | 104032 | 147447 0 | 75 | 0 553.65/553.80 c 551s | 15 | 297508 | 104332 | 147447 0 | 75 | 0 556.35/556.51 c 554s | 15 | 298031 | 104632 | 147447 0 | 75 | 0 559.05/559.29 c 557s | 15 | 298499 | 104932 | 147447 0 | 75 | 0 561.35/561.53 c 559s | 15 | 298977 | 105232 | 147447 0 | 75 | 0 563.54/563.77 c 561s | 15 | 299433 | 105532 | 147447 0 | 75 | 0 565.84/566.08 c 564s | 15 | 299966 | 105832 | 147447 0 | 75 | 0 568.04/568.24 c 566s | 15 | 300436 | 106132 | 147447 0 | 75 | 0 570.44/570.68 c 568s | 15 | 300901 | 106432 | 147447 0 | 75 | 0 572.53/572.74 c 570s | 15 | 301262 | 106632 | 147447 0 | 75 | 0 575.33/575.51 c 573s | 15 | 301769 | 106932 | 147447 0 | 75 | 0 577.73/577.97 c 576s | 15 | 302285 | 107232 | 147447 0 | 75 | 0 580.03/580.29 c 578s | 15 | 302724 | 107532 | 147447 0 | 75 | 0 582.13/582.32 c 580s | 15 | 303171 | 107832 | 147447 0 | 75 | 0 584.73/584.99 c 583s | 15 | 303852 | 108232 | 147447 0 | 75 | 0 587.53/587.76 c 585s | 15 | 304339 | 108532 | 147447 0 | 75 | 0 589.73/589.99 c 588s | 15 | 304899 | 108832 | 147447 0 | 75 | 0 592.22/592.47 c 590s | 15 | 305329 | 109132 | 147447 0 | 75 | 0 594.93/595.11 c 593s | 15 | 305768 | 109432 | 147447 0 | 75 | 0 597.42/597.64 c 595s | 15 | 306186 | 109732 | 147447 0 | 75 | 0 599.52/599.70 c 597s | 15 | 306628 | 110032 | 147447 0 | 75 | 0 602.12/602.31 c 600s | 15 | 307101 | 110332 | 147447 0 | 75 | 0 604.42/604.63 c 602s | 15 | 307589 | 110632 | 147447 0 | 75 | 0 607.22/607.46 c 605s | 15 | 308168 | 111032 | 147447 0 | 75 | 0 610.02/610.30 c 608s | 15 | 308690 | 111332 | 147447 0 | 75 | 0 612.91/613.12 c 611s | 15 | 309198 | 111632 | 147447 0 | 75 | 0 615.71/615.99 c 614s | 15 | 309654 | 111932 | 147447 0 | 75 | 0 618.31/618.51 c 616s | 15 | 310137 | 112232 | 147447 0 | 75 | 0 621.01/621.26 c 619s | 15 | 310583 | 112532 | 147447 0 | 75 | 0 623.91/624.11 c 622s | 15 | 311034 | 112832 | 147447 0 | 75 | 0 626.61/626.88 c 625s | 15 | 311515 | 113132 | 147447 0 | 75 | 0 629.21/629.41 c 627s | 15 | 311926 | 113432 | 147447 0 | 75 | 0 631.81/632.08 c 630s | 15 | 312504 | 113832 | 147447 0 | 75 | 0 634.41/634.63 c 632s | 15 | 313106 | 114232 | 147447 0 | 75 | 0 636.71/636.91 c 635s | 15 | 313575 | 114532 | 147447 0 | 75 | 0 639.61/639.85 c 638s | 15 | 314002 | 114832 | 147447 0 | 75 | 0 642.41/642.67 c 640s | 15 | 314413 | 115132 | 147447 0 | 75 | 0 645.10/645.35 c 643s | 15 | 314962 | 115532 | 147447 0 | 75 | 0 648.10/648.30 c 646s | 15 | 315382 | 115832 | 147447 0 | 75 | 0 650.20/650.48 c 648s | 15 | 315805 | 116132 | 147447 0 | 75 | 0 652.30/652.56 c 650s | 15 | 316197 | 116432 | 147447 0 | 75 | 0 654.50/654.78 c 652s | 15 | 316800 | 116832 | 147447 0 | 75 | 0 656.51/656.79 c 654s | 15 | 317201 | 117132 | 147447 0 | 75 | 0 658.81/659.04 c 657s | 15 | 317715 | 117532 | 147447 0 | 75 | 0 661.30/661.53 c 659s | 15 | 318143 | 117832 | 147447 0 | 75 | 0 663.50/663.76 c 661s | 15 | 318616 | 118132 | 147447 0 | 75 | 0 665.50/665.76 c 663s | 15 | 319316 | 118432 | 147447 0 | 75 | 0 668.20/668.40 c 666s | 15 | 319925 | 118732 | 147447 0 | 75 | 0 670.60/670.84 c 669s | 15 | 320703 | 119032 | 147447 0 | 75 | 0 673.10/673.31 c 671s | 15 | 321304 | 119332 | 147447 0 | 75 | 0 675.69/675.90 c 674s | 15 | 321867 | 119632 | 147447 0 | 75 | 0 677.79/678.09 c 676s | 15 | 322526 | 119932 | 147447 0 | 75 | 0 679.89/680.10 c 678s | 15 | 323011 | 120232 | 147447 0 | 75 | 0 681.89/682.13 c 680s | 15 | 323468 | 120532 | 147447 0 | 75 | 0 683.99/684.21 c 682s | 15 | 323931 | 120832 | 147447 0 | 75 | 0 686.59/686.89 c 685s | 15 | 324446 | 121132 | 147447 0 | 75 | 0 689.69/689.91 c 688s | 15 | 325303 | 121532 | 147447 0 | 75 | 0 691.69/691.92 c 690s | 15 | 325677 | 121732 | 147447 0 | 75 | 0 694.38/694.63 c 692s | 15 | 326379 | 122032 | 147447 0 | 75 | 0 696.68/696.97 c 695s | 15 | 326900 | 122232 | 147447 0 | 75 | 0 698.78/699.03 c 697s | 15 | 327277 | 122432 | 147447 0 | 75 | 0 701.38/701.67 c 699s | 15 | 327573 | 122632 | 147447 0 | 75 | 0 703.47/703.73 c 701s | 15 | 327962 | 122832 | 147447 0 | 75 | 0 705.67/705.92 c 704s | 15 | 328372 | 123032 | 147447 0 | 75 | 0 708.07/708.34 c 706s | 15 | 328714 | 123232 | 147447 0 | 75 | 0 710.27/710.51 c 708s | 15 | 329090 | 123432 | 147447 0 | 75 | 0 712.87/713.16 c 711s | 15 | 329378 | 123632 | 147447 0 | 75 | 0 715.47/715.75 c 713s | 15 | 329729 | 123832 | 147447 0 | 75 | 0 717.67/717.95 c 716s | 15 | 330035 | 124032 | 147447 0 | 75 | 0 720.77/721.08 c 719s | 15 | 330464 | 124332 | 147447 0 | 75 | 0 723.07/723.36 c 721s | 15 | 330771 | 124532 | 147447 0 | 75 | 0 725.47/725.74 c 723s | 15 | 331030 | 124732 | 147447 0 | 75 | 0 727.97/728.25 c 726s | 15 | 331337 | 124932 | 147447 0 | 75 | 0 730.37/730.60 c 728s | 15 | 331735 | 125132 | 147447 0 | 75 | 0 732.47/732.73 c 730s | 15 | 332250 | 125332 | 147447 0 | 75 | 0 735.67/735.97 c 734s | 15 | 332756 | 125632 | 147447 0 | 75 | 0 737.97/738.23 c 736s | 15 | 333137 | 125832 | 147447 0 | 75 | 0 740.86/741.15 c 739s | 15 | 333567 | 126132 | 147447 0 | 75 | 0 743.46/743.78 c 741s | 15 | 334130 | 126432 | 147447 0 | 75 | 0 745.56/745.83 c 743s | 15 | 334506 | 126632 | 147447 0 | 75 | 0 748.26/748.52 c 746s | 15 | 334850 | 126832 | 147447 0 | 75 | 0 750.46/750.71 c 748s | 15 | 335154 | 127032 | 147447 0 | 75 | 0 752.95/753.24 c 751s | 15 | 335506 | 127232 | 147447 0 | 75 | 0 755.85/756.13 c 754s | 15 | 335803 | 127432 | 147447 0 | 75 | 0 758.15/758.40 c 756s | 15 | 336165 | 127632 | 147447 0 | 75 | 0 761.06/761.38 c 759s | 15 | 336458 | 127832 | 147447 0 | 75 | 0 763.85/764.15 c 762s | 15 | 336761 | 128032 | 147447 0 | 75 | 0 766.65/766.99 c 765s | 15 | 337064 | 128232 | 147447 0 | 75 | 0 769.65/769.97 c 768s | 15 | 337345 | 128432 | 147447 0 | 75 | 0 772.05/772.31 c 770s | 15 | 337681 | 128632 | 147447 0 | 75 | 0 774.75/775.06 c 773s | 15 | 337956 | 128832 | 147447 0 | 75 | 0 777.45/777.76 c 775s | 15 | 338256 | 129032 | 147447 0 | 75 | 0 780.55/780.88 c 779s | 15 | 338542 | 129232 | 147447 0 | 75 | 0 783.54/783.89 c 782s | 15 | 338888 | 129432 | 147447 0 | 75 | 0 786.54/786.85 c 785s | 15 | 339168 | 129632 | 147447 0 | 75 | 0 789.94/790.28 c 788s | 15 | 339418 | 129832 | 147447 0 | 75 | 0 793.14/793.48 c 791s | 15 | 339698 | 130032 | 147447 0 | 75 | 0 796.14/796.49 c 794s | 15 | 340067 | 130232 | 147447 0 | 75 | 0 798.34/798.63 c 796s | 15 | 340457 | 130432 | 147447 0 | 75 | 0 800.73/801.09 c 799s | 15 | 340882 | 130632 | 147447 0 | 75 | 0 803.53/803.89 c 802s | 15 | 341492 | 130932 | 162192 0 | 75 | 0 805.93/806.26 c 804s | 15 | 341793 | 131132 | 162192 0 | 75 | 0 808.83/809.10 c 807s | 15 | 342215 | 131432 | 162192 0 | 75 | 0 810.23/810.57 c 808s | 16 | 342539 | 131552 | 162192 0 | 75 | 0 812.83/813.11 c 811s | 16 | 343368 | 131752 | 162192 0 | 75 | 0 815.03/815.36 c 813s | 16 | 345357 | 132052 | 162192 0 | 75 | 0 817.33/817.69 c 815s | 16 | 347205 | 132352 | 162192 0 | 75 | 0 819.63/819.98 c 818s | 16 | 348154 | 132652 | 162192 0 | 75 | 0 822.22/822.59 c 820s | 16 | 349824 | 133052 | 162192 0 | 75 | 0 825.02/825.36 c 823s | 16 | 351753 | 133352 | 162192 0 | 75 | 0 827.32/827.62 c 825s | 16 | 353522 | 133652 | 162192 0 | 75 | 0 829.72/830.01 c 828s | 16 | 354439 | 133952 | 162192 0 | 75 | 0 832.52/832.84 c 831s | 16 | 355695 | 134252 | 162192 0 | 75 | 0 834.62/835.00 c 833s | 16 | 356973 | 134552 | 162192 0 | 75 | 0 836.71/837.10 c 835s | 16 | 357949 | 134852 | 162192 0 | 75 | 0 839.12/839.41 c 837s | 16 | 358805 | 135152 | 162192 0 | 75 | 0 841.71/842.07 c 840s | 16 | 359559 | 135452 | 162192 0 | 75 | 0 844.41/844.76 c 842s | 16 | 360401 | 135752 | 162192 0 | 75 | 0 847.21/847.57 c 845s | 16 | 360983 | 136052 | 162192 0 | 75 | 0 850.12/850.46 c 848s | 16 | 361734 | 136352 | 162192 0 | 75 | 0 852.71/853.03 c 851s | 16 | 362496 | 136652 | 162192 0 | 75 | 0 854.91/855.28 c 853s | 16 | 363152 | 136952 | 162192 0 | 75 | 0 857.61/857.98 c 856s | 16 | 363886 | 137252 | 162192 0 | 75 | 0 860.41/860.78 c 858s | 16 | 364708 | 137552 | 162192 0 | 75 | 0 863.01/863.39 c 861s | 16 | 365554 | 137852 | 162192 0 | 75 | 0 866.01/866.40 c 864s | 16 | 366065 | 138152 | 162192 0 | 75 | 0 868.11/868.42 c 866s | 16 | 366488 | 138352 | 162192 0 | 75 | 0 870.31/870.65 c 868s | 16 | 366806 | 138552 | 162192 0 | 75 | 0 873.01/873.31 c 871s | 16 | 367163 | 138752 | 162192 0 | 75 | 0 875.31/875.61 c 873s | 16 | 367509 | 138952 | 162192 0 | 75 | 0 877.51/877.83 c 876s | 16 | 367835 | 139152 | 162192 0 | 75 | 0 880.01/880.35 c 878s | 16 | 368178 | 139352 | 162192 0 | 75 | 0 882.51/882.86 c 881s | 16 | 368541 | 139552 | 162192 0 | 75 | 0 885.01/885.38 c 883s | 16 | 368857 | 139752 | 162192 0 | 75 | 0 887.51/887.84 c 886s | 16 | 369190 | 139952 | 162192 0 | 75 | 0 889.50/889.89 c 888s | 16 | 369616 | 140152 | 162192 0 | 75 | 0 892.20/892.57 c 890s | 16 | 370345 | 140452 | 162192 0 | 75 | 0 894.70/895.00 c 893s | 16 | 370893 | 140752 | 162192 0 | 75 | 0 897.10/897.47 c 895s | 16 | 371483 | 141052 | 162192 0 | 75 | 0 900.00/900.33 c 898s | 16 | 372168 | 141352 | 162192 0 | 75 | 0 902.40/902.71 c 900s | 16 | 372651 | 141652 | 162192 0 | 75 | 0 905.11/905.47 c 903s | 16 | 373112 | 141952 | 162192 0 | 75 | 0 908.20/908.54 c 906s | 16 | 373826 | 142252 | 162192 0 | 75 | 0 911.00/911.35 c 909s | 16 | 374375 | 142552 | 162192 0 | 75 | 0 913.50/913.86 c 912s | 16 | 375326 | 142852 | 162192 0 | 75 | 0 915.80/916.13 c 914s | 16 | 376756 | 143152 | 162192 0 | 75 | 0 918.40/918.73 c 916s | 16 | 377882 | 143452 | 162192 0 | 75 | 0 921.00/921.35 c 919s | 16 | 378955 | 143752 | 162192 0 | 75 | 0 923.71/924.04 c 922s | 16 | 379994 | 144052 | 162192 0 | 75 | 0 926.30/926.67 c 924s | 16 | 380818 | 144352 | 162192 0 | 75 | 0 928.60/928.98 c 927s | 16 | 381597 | 144652 | 162192 0 | 75 | 0 931.70/932.03 c 930s | 16 | 382651 | 144952 | 162192 0 | 75 | 0 933.80/934.12 c 932s | 16 | 383439 | 145252 | 162192 0 | 75 | 0 936.10/936.42 c 934s | 16 | 383926 | 145452 | 162192 0 | 75 | 0 938.10/938.43 c 936s | 16 | 384347 | 145652 | 162192 0 | 75 | 0 940.90/941.22 c 939s | 16 | 385250 | 145952 | 162192 0 | 75 | 0 943.20/943.58 c 941s | 16 | 385633 | 146152 | 162192 0 | 75 | 0 945.60/945.95 c 944s | 16 | 386027 | 146352 | 162192 0 | 75 | 0 948.49/948.84 c 947s | 16 | 386644 | 146652 | 162192 0 | 75 | 0 951.30/951.67 c 949s | 16 | 387174 | 146952 | 162192 0 | 75 | 0 953.40/953.75 c 951s | 16 | 387528 | 147152 | 162192 0 | 75 | 0 955.49/955.86 c 954s | 16 | 387940 | 147352 | 162192 0 | 75 | 0 957.59/957.92 c 956s | 16 | 388263 | 147552 | 162192 0 | 75 | 0 960.39/960.79 c 958s | 16 | 388898 | 147852 | 162192 0 | 75 | 0 962.49/962.89 c 961s | 16 | 389186 | 148052 | 162192 0 | 75 | 0 964.79/965.14 c 963s | 16 | 389856 | 148352 | 162192 0 | 75 | 0 967.89/968.22 c 966s | 16 | 390350 | 148652 | 162192 0 | 75 | 0 970.29/970.67 c 968s | 16 | 390820 | 148952 | 162192 0 | 75 | 0 972.59/972.99 c 971s | 16 | 391102 | 149152 | 162192 0 | 75 | 0 975.79/976.12 c 974s | 16 | 391529 | 149452 | 162192 0 | 75 | 0 978.49/978.89 c 977s | 16 | 391866 | 149652 | 162192 0 | 75 | 0 981.09/981.44 c 979s | 16 | 392609 | 150052 | 162192 0 | 75 | 0 983.20/983.56 c 981s | 16 | 393499 | 150252 | 162192 0 | 75 | 0 985.40/985.73 c 983s | 16 | 393952 | 150452 | 162192 0 | 75 | 0 987.50/987.88 c 986s | 16 | 394496 | 150652 | 162192 0 | 75 | 0 990.39/990.76 c 988s | 16 | 395436 | 150952 | 162192 0 | 75 | 0 993.29/993.63 c 991s | 16 | 395988 | 151252 | 162192 0 | 75 | 0 996.19/996.51 c 994s | 16 | 396632 | 151552 | 162192 0 | 75 | 0 999.09/999.47 c 997s | 16 | 397412 | 151852 | 162192 0 | 75 | 0 1001.99/1002.37 c 1000s | 16 | 397990 | 152152 | 162192 0 | 75 | 0 1004.19/1004.50 c 1002s | 16 | 398382 | 152352 | 162192 0 | 75 | 0 1006.39/1006.72 c 1004s | 16 | 398751 | 152552 | 162192 0 | 75 | 0 1008.39/1008.73 c 1006s | 16 | 399123 | 152752 | 162192 0 | 75 | 0 1010.79/1011.12 c 1009s | 16 | 399426 | 152952 | 162192 0 | 75 | 0 1013.78/1014.19 c 1012s | 16 | 400289 | 153252 | 162192 0 | 75 | 0 1015.88/1016.27 c 1014s | 16 | 400699 | 153452 | 162192 0 | 75 | 0 1018.39/1018.73 c 1016s | 16 | 401025 | 153652 | 162192 0 | 75 | 0 1020.68/1021.03 c 1019s | 16 | 401529 | 153852 | 162192 0 | 75 | 0 1022.79/1023.18 c 1021s | 16 | 401893 | 154052 | 162192 0 | 75 | 0 1025.18/1025.58 c 1023s | 16 | 402173 | 154252 | 162192 0 | 75 | 0 1027.28/1027.67 c 1025s | 16 | 402589 | 154452 | 162192 0 | 75 | 0 1029.39/1029.79 c 1027s | 16 | 402934 | 154652 | 162192 0 | 75 | 0 1032.38/1032.73 c 1030s | 16 | 403363 | 154952 | 162192 0 | 75 | 0 1034.48/1034.87 c 1033s | 16 | 403669 | 155152 | 162192 0 | 75 | 0 1036.88/1037.20 c 1035s | 16 | 403996 | 155352 | 162192 0 | 75 | 0 1039.78/1040.10 c 1038s | 16 | 404800 | 155652 | 162192 0 | 75 | 0 1042.08/1042.44 c 1040s | 16 | 405313 | 155952 | 162192 0 | 75 | 0 1044.79/1045.19 c 1043s | 16 | 405745 | 156252 | 162192 0 | 75 | 0 1046.78/1047.20 c 1045s | 16 | 406125 | 156452 | 162192 0 | 75 | 0 1049.58/1049.94 c 1048s | 16 | 406690 | 156752 | 162192 0 | 75 | 0 1052.58/1052.93 c 1051s | 16 | 407228 | 157052 | 162192 0 | 75 | 0 1054.78/1055.11 c 1053s | 16 | 407740 | 157252 | 162192 0 | 75 | 0 1056.78/1057.12 c 1055s | 16 | 408601 | 157552 | 162192 0 | 75 | 0 1058.78/1059.15 c 1057s | 16 | 409007 | 157752 | 162192 0 | 75 | 0 1060.88/1061.24 c 1059s | 16 | 409349 | 157952 | 162192 0 | 75 | 0 1063.38/1063.75 c 1061s | 16 | 409686 | 158152 | 162192 0 | 75 | 0 1065.48/1065.89 c 1064s | 16 | 410026 | 158352 | 162192 0 | 75 | 0 1067.78/1068.13 c 1066s | 16 | 410393 | 158552 | 162192 0 | 75 | 0 1069.98/1070.31 c 1068s | 16 | 410943 | 158752 | 162192 0 | 75 | 0 1072.37/1072.73 c 1070s | 16 | 411242 | 158952 | 162192 0 | 75 | 0 1074.77/1075.13 c 1073s | 16 | 411622 | 159152 | 162192 0 | 75 | 0 1077.07/1077.43 c 1075s | 16 | 412019 | 159352 | 162192 0 | 75 | 0 1079.47/1079.83 c 1077s | 16 | 412452 | 159552 | 162192 0 | 75 | 0 1081.87/1082.29 c 1080s | 16 | 412782 | 159752 | 162192 0 | 75 | 0 1084.17/1084.60 c 1082s | 16 | 413213 | 159952 | 162192 0 | 75 | 0 1086.77/1087.13 c 1085s | 16 | 413586 | 160152 | 162192 0 | 75 | 0 1089.37/1089.78 c 1087s | 16 | 413933 | 160352 | 162192 0 | 75 | 0 1092.17/1092.57 c 1090s | 16 | 414332 | 160552 | 162192 0 | 75 | 0 1094.97/1095.30 c 1093s | 16 | 414625 | 160752 | 162192 0 | 75 | 0 1097.17/1097.52 c 1095s | 16 | 414916 | 160952 | 162192 0 | 75 | 0 1100.37/1100.75 c 1098s | 16 | 415528 | 161252 | 162192 0 | 75 | 0 1102.87/1103.27 c 1101s | 16 | 416223 | 161552 | 162192 0 | 75 | 0 1105.77/1106.12 c 1104s | 16 | 416803 | 161852 | 162192 0 | 75 | 0 1108.17/1108.59 c 1106s | 16 | 417221 | 162152 | 162192 0 | 75 | 0 1111.37/1111.74 c 1109s | 16 | 417737 | 162452 | 162192 0 | 75 | 0 1113.67/1114.08 c 1112s | 16 | 418149 | 162652 | 162192 0 | 75 | 0 1116.37/1116.71 c 1114s | 16 | 419423 | 163052 | 162192 0 | 75 | 0 1118.57/1118.99 c 1117s | 16 | 420086 | 163352 | 162192 0 | 75 | 0 1121.17/1121.57 c 1119s | 16 | 420916 | 163652 | 162192 0 | 75 | 0 1123.27/1123.62 c 1121s | 16 | 421699 | 163952 | 162192 0 | 75 | 0 1125.47/1125.86 c 1124s | 16 | 422377 | 164252 | 162192 0 | 75 | 0 1128.07/1128.50 c 1126s | 16 | 423147 | 164552 | 162192 0 | 75 | 0 1130.57/1130.90 c 1129s | 16 | 423468 | 164752 | 162192 0 | 75 | 0 1132.67/1133.02 c 1131s | 16 | 423790 | 164952 | 162192 0 | 75 | 0 1135.16/1135.55 c 1133s | 16 | 424086 | 165152 | 162192 0 | 75 | 0 1137.76/1138.12 c 1136s | 16 | 424488 | 165352 | 162192 0 | 75 | 0 1140.06/1140.42 c 1138s | 16 | 424851 | 165552 | 162192 0 | 75 | 0 1142.06/1142.49 c 1140s | 16 | 425220 | 165752 | 162192 0 | 75 | 0 1145.06/1145.45 c 1143s | 16 | 425827 | 166052 | 162192 0 | 75 | 0 1147.56/1147.96 c 1146s | 16 | 426135 | 166252 | 162192 0 | 75 | 0 1150.06/1150.43 c 1148s | 16 | 426442 | 166452 | 162192 0 | 75 | 0 1152.66/1153.07 c 1151s | 16 | 426772 | 166652 | 162192 0 | 75 | 0 1155.16/1155.53 c 1153s | 16 | 427480 | 166952 | 162192 0 | 75 | 0 1157.46/1157.87 c 1156s | 16 | 428067 | 167252 | 162192 0 | 75 | 0 1159.56/1159.90 c 1158s | 16 | 428452 | 167452 | 162192 0 | 75 | 0 1161.96/1162.31 c 1160s | 16 | 428750 | 167652 | 162192 0 | 75 | 0 1164.76/1165.12 c 1163s | 16 | 429245 | 167952 | 162192 0 | 75 | 0 1167.26/1167.69 c 1165s | 16 | 429724 | 168252 | 162192 0 | 75 | 0 1169.36/1169.70 c 1167s | 16 | 430151 | 168452 | 162192 0 | 75 | 0 1171.46/1171.87 c 1170s | 16 | 430684 | 168652 | 162192 0 | 75 | 0 1173.66/1174.09 c 1172s | 16 | 431135 | 168852 | 162192 0 | 75 | 0 1176.06/1176.42 c 1174s | 16 | 431479 | 169052 | 162192 0 | 75 | 0 1178.56/1178.97 c 1177s | 16 | 432187 | 169352 | 162192 0 | 75 | 0 1180.86/1181.26 c 1179s | 16 | 432564 | 169552 | 162192 0 | 75 | 0 1183.56/1183.94 c 1182s | 16 | 432870 | 169752 | 162192 0 | 75 | 0 1185.76/1186.12 c 1184s | 16 | 433156 | 169952 | 162192 0 | 75 | 0 1188.46/1188.86 c 1187s | 16 | 433602 | 170252 | 162192 0 | 75 | 0 1191.06/1191.44 c 1189s | 16 | 434222 | 170552 | 162192 0 | 75 | 0 1193.95/1194.32 c 1192s | 16 | 434801 | 170852 | 162192 0 | 75 | 0 1196.46/1196.82 c 1194s | 16 | 435342 | 171152 | 162192 0 | 75 | 0 1199.05/1199.41 c 1197s | 16 | 435716 | 171352 | 162192 0 | 75 | 0 1202.06/1202.41 c 1200s | 16 | 436515 | 171652 | 162192 0 | 75 | 0 1205.15/1205.50 c 1203s | 16 | 437091 | 171952 | 162192 0 | 75 | 0 1207.35/1207.80 c 1205s | 16 | 437435 | 172152 | 162192 0 | 75 | 0 1209.66/1210.02 c 1208s | 16 | 437790 | 172352 | 162192 0 | 75 | 0 1211.86/1212.21 c 1210s | 16 | 438165 | 172552 | 162192 0 | 75 | 0 1214.16/1214.56 c 1212s | 16 | 438509 | 172752 | 162192 0 | 75 | 0 1216.45/1216.80 c 1214s | 16 | 438824 | 172952 | 162192 0 | 75 | 0 1218.56/1218.97 c 1217s | 16 | 439129 | 173152 | 162192 0 | 75 | 0 1220.76/1221.15 c 1219s | 16 | 439510 | 173352 | 162192 0 | 75 | 0 1223.15/1223.54 c 1221s | 16 | 439809 | 173552 | 162192 0 | 75 | 0 1226.26/1226.64 c 1224s | 16 | 440258 | 173852 | 162192 0 | 75 | 0 1228.65/1229.03 c 1227s | 16 | 440736 | 174152 | 162192 0 | 75 | 0 1231.15/1231.53 c 1229s | 16 | 441201 | 174452 | 162192 0 | 75 | 0 1233.55/1233.96 c 1232s | 16 | 441688 | 174752 | 162192 0 | 75 | 0 1235.85/1236.23 c 1234s | 16 | 442154 | 175052 | 162192 0 | 75 | 0 1238.55/1238.92 c 1237s | 16 | 442640 | 175352 | 162192 0 | 75 | 0 1240.55/1240.93 c 1239s | 16 | 442928 | 175552 | 162192 0 | 75 | 0 1242.85/1243.27 c 1241s | 16 | 443193 | 175752 | 162192 0 | 75 | 0 1245.25/1245.60 c 1243s | 16 | 443513 | 175952 | 162192 0 | 75 | 0 1247.45/1247.80 c 1245s | 16 | 443806 | 176152 | 162192 0 | 75 | 0 1249.55/1249.99 c 1248s | 16 | 444101 | 176352 | 162192 0 | 75 | 0 1251.75/1252.13 c 1250s | 16 | 444403 | 176552 | 162192 0 | 75 | 0 1253.75/1254.13 c 1252s | 16 | 444711 | 176752 | 162192 0 | 75 | 0 1256.84/1257.20 c 1255s | 16 | 445174 | 177052 | 162192 0 | 75 | 0 1258.84/1259.21 c 1257s | 16 | 445454 | 177252 | 162192 0 | 75 | 0 1260.84/1261.25 c 1259s | 16 | 445734 | 177452 | 162192 0 | 75 | 0 1263.44/1263.87 c 1262s | 16 | 446210 | 177752 | 162192 0 | 75 | 0 1265.94/1266.35 c 1264s | 16 | 446522 | 177952 | 162192 0 | 75 | 0 1268.35/1268.76 c 1266s | 16 | 446793 | 178152 | 162192 0 | 75 | 0 1270.65/1271.04 c 1269s | 16 | 447080 | 178352 | 162192 0 | 75 | 0 1273.15/1273.55 c 1271s | 16 | 447441 | 178652 | 162192 0 | 75 | 0 1275.55/1275.90 c 1274s | 16 | 447953 | 178952 | 162192 0 | 75 | 0 1278.15/1278.57 c 1276s | 16 | 448433 | 179252 | 162192 0 | 75 | 0 1280.55/1280.97 c 1279s | 16 | 448997 | 179552 | 162192 0 | 75 | 0 1282.55/1282.97 c 1281s | 16 | 449253 | 179752 | 162192 0 | 75 | 0 1285.75/1286.15 c 1284s | 16 | 449802 | 180052 | 162192 0 | 75 | 0 1288.45/1288.82 c 1286s | 16 | 450302 | 180352 | 162192 0 | 75 | 0 1291.16/1291.55 c 1289s | 16 | 450815 | 180652 | 162192 0 | 75 | 0 1293.26/1293.68 c 1291s | 16 | 451163 | 180852 | 162192 0 | 75 | 0 1295.35/1295.74 c 1293s | 16 | 451557 | 181052 | 162192 0 | 75 | 0 1297.95/1298.30 c 1296s | 16 | 451938 | 181252 | 162192 0 | 75 | 0 1300.45/1300.89 c 1299s | 16 | 452351 | 181452 | 162192 0 | 75 | 0 1302.95/1303.31 c 1301s | 16 | 452666 | 181652 | 162192 0 | 75 | 0 1305.05/1305.48 c 1303s | 16 | 453004 | 181852 | 162192 0 | 75 | 0 1307.25/1307.62 c 1305s | 16 | 453318 | 182052 | 162192 0 | 75 | 0 1309.75/1310.20 c 1308s | 16 | 453571 | 182252 | 162192 0 | 75 | 0 1311.95/1312.36 c 1310s | 16 | 453862 | 182452 | 162192 0 | 75 | 0 1363.94/1364.37 c 1362s | 16 | 454507 | 182552 | 162192 1 | 75 | 0 1366.43/1366.84 c 1365s | 16 | 455828 | 182752 | 162192 1 | 75 | 0 1368.53/1368.93 c 1367s | 16 | 457188 | 183052 | 162192 1 | 75 | 0 1371.34/1371.78 c 1369s | 16 | 457918 | 183252 | 162192 1 | 75 | 0 1373.44/1373.88 c 1372s | 16 | 458922 | 183552 | 162192 1 | 75 | 0 1375.63/1376.10 c 1374s | 16 | 459987 | 183852 | 162192 1 | 75 | 0 1378.13/1378.57 c 1376s | 16 | 460948 | 184052 | 162192 1 | 75 | 0 1380.43/1380.88 c 1379s | 16 | 461975 | 184352 | 162192 1 | 75 | 0 1382.73/1383.15 c 1381s | 16 | 462720 | 184652 | 162192 1 | 75 | 0 1385.23/1385.67 c 1383s | 16 | 463419 | 184952 | 162192 1 | 75 | 0 1388.03/1388.43 c 1386s | 16 | 463991 | 185252 | 162192 1 | 75 | 0 1390.73/1391.11 c 1389s | 16 | 464745 | 185552 | 162192 1 | 75 | 0 1393.53/1393.91 c 1392s | 16 | 465257 | 185852 | 162192 1 | 75 | 0 1396.33/1396.76 c 1394s | 16 | 465736 | 186152 | 162192 1 | 75 | 0 1398.43/1398.82 c 1396s | 16 | 466167 | 186352 | 162192 1 | 75 | 0 1401.33/1401.73 c 1399s | 16 | 466640 | 186652 | 162192 1 | 75 | 0 1403.93/1404.33 c 1402s | 16 | 467101 | 186952 | 162192 1 | 75 | 0 1406.03/1406.44 c 1404s | 16 | 467436 | 187152 | 162192 1 | 75 | 0 1410.43/1410.82 c 1408s | 16 | 467976 | 187452 | 162192 1 | 75 | 0 1413.13/1413.53 c 1411s | 16 | 468703 | 187752 | 162192 1 | 75 | 0 1415.83/1416.20 c 1414s | 16 | 469407 | 188052 | 162192 1 | 75 | 0 1418.23/1418.69 c 1416s | 16 | 469930 | 188352 | 162192 1 | 75 | 0 1421.03/1421.49 c 1419s | 16 | 470747 | 188752 | 162192 1 | 75 | 0 1423.62/1424.08 c 1422s | 16 | 471244 | 189052 | 162192 1 | 75 | 0 1426.12/1426.56 c 1424s | 16 | 471849 | 189352 | 162192 1 | 75 | 0 1428.53/1428.97 c 1427s | 16 | 473405 | 189752 | 162192 1 | 75 | 0 1431.02/1431.44 c 1429s | 16 | 475192 | 190152 | 162192 1 | 75 | 0 1433.03/1433.46 c 1431s | 16 | 475939 | 190452 | 162192 1 | 75 | 0 1435.13/1435.56 c 1433s | 16 | 477794 | 190952 | 162192 1 | 75 | 0 1437.22/1437.62 c 1435s | 16 | 479027 | 191252 | 162192 1 | 75 | 0 1439.82/1440.23 c 1438s | 16 | 480891 | 191652 | 162192 1 | 75 | 0 1442.12/1442.52 c 1440s | 16 | 482566 | 191952 | 162192 1 | 75 | 0 1444.62/1445.07 c 1443s | 16 | 483946 | 192352 | 162192 1 | 75 | 0 1446.72/1447.12 c 1445s | 16 | 484988 | 192752 | 162192 1 | 75 | 0 1448.82/1449.22 c 1447s | 16 | 485843 | 193152 | 162192 1 | 75 | 0 1451.52/1451.93 c 1450s | 16 | 486477 | 193452 | 162192 1 | 75 | 0 1453.52/1453.95 c 1452s | 16 | 487183 | 193752 | 162192 1 | 75 | 0 1455.72/1456.18 c 1454s | 16 | 488098 | 194052 | 162192 1 | 75 | 0 1458.42/1458.88 c 1457s | 16 | 489327 | 194452 | 162192 1 | 75 | 0 1460.92/1461.38 c 1459s | 16 | 490132 | 194752 | 162192 1 | 75 | 0 1463.73/1464.10 c 1462s | 16 | 490747 | 195052 | 162192 1 | 75 | 0 1466.52/1466.93 c 1465s | 16 | 491341 | 195352 | 162192 1 | 75 | 0 1468.62/1469.09 c 1467s | 16 | 491685 | 195552 | 162192 1 | 75 | 0 1471.22/1471.68 c 1469s | 16 | 492225 | 195852 | 162192 1 | 75 | 0 1474.12/1474.53 c 1472s | 16 | 492716 | 196152 | 178412 1 | 75 | 0 1476.32/1476.74 c 1474s | 16 | 493834 | 196452 | 178412 1 | 75 | 0 1478.32/1478.78 c 1476s | 16 | 494746 | 196752 | 178412 1 | 75 | 0 1480.62/1481.00 c 1479s | 16 | 495512 | 197052 | 178412 1 | 75 | 0 1482.62/1483.01 c 1481s | 16 | 495892 | 197252 | 178412 1 | 75 | 0 1484.42/1484.82 c 1482s | 17 | 496247 | 197432 | 178412 1 | 75 | 0 1486.62/1487.01 c 1485s | 17 | 496616 | 197632 | 178412 1 | 75 | 0 1489.31/1489.74 c 1487s | 17 | 497113 | 197932 | 178412 1 | 75 | 0 1492.11/1492.54 c 1490s | 17 | 497768 | 198232 | 178412 1 | 75 | 0 1495.21/1495.61 c 1493s | 17 | 498249 | 198532 | 178412 1 | 75 | 0 1497.21/1497.62 c 1495s | 17 | 498609 | 198732 | 178412 1 | 75 | 0 1499.21/1499.67 c 1497s | 17 | 498949 | 198932 | 178412 1 | 75 | 0 1501.81/1502.23 c 1500s | 17 | 499499 | 199232 | 178412 1 | 75 | 0 1503.81/1504.27 c 1502s | 17 | 499768 | 199432 | 178412 1 | 75 | 0 1506.72/1507.18 c 1505s | 17 | 500202 | 199732 | 178412 1 | 75 | 0 1508.82/1509.24 c 1507s | 17 | 500488 | 199932 | 178412 1 | 75 | 0 1511.51/1511.93 c 1510s | 17 | 500966 | 200232 | 178412 1 | 75 | 0 1514.32/1514.75 c 1512s | 17 | 501405 | 200532 | 178412 1 | 75 | 0 1516.81/1517.20 c 1515s | 17 | 502249 | 200832 | 178412 1 | 75 | 0 1518.82/1519.28 c 1517s | 17 | 502576 | 201032 | 178412 1 | 75 | 0 1521.81/1522.21 c 1520s | 17 | 503075 | 201332 | 178412 1 | 75 | 0 1523.81/1524.25 c 1522s | 17 | 503522 | 201532 | 178412 1 | 75 | 0 1526.11/1526.58 c 1524s | 17 | 503862 | 201732 | 178412 1 | 75 | 0 1528.21/1528.68 c 1526s | 17 | 504246 | 201932 | 178412 1 | 75 | 0 1530.82/1531.24 c 1529s | 17 | 505099 | 202232 | 178412 1 | 75 | 0 1533.02/1533.48 c 1531s | 17 | 505369 | 202432 | 178412 1 | 75 | 0 1535.21/1535.60 c 1533s | 17 | 505634 | 202632 | 178412 1 | 75 | 0 1537.31/1537.73 c 1535s | 17 | 505921 | 202832 | 178412 1 | 75 | 0 1539.51/1539.97 c 1538s | 17 | 506973 | 203232 | 178412 1 | 75 | 0 1541.91/1542.33 c 1540s | 17 | 507994 | 203632 | 178412 1 | 75 | 0 1544.21/1544.68 c 1542s | 17 | 508777 | 203932 | 178412 1 | 75 | 0 1546.71/1547.11 c 1545s | 17 | 509577 | 204332 | 178412 1 | 75 | 0 1548.81/1549.23 c 1547s | 17 | 510168 | 204632 | 178412 1 | 75 | 0 1550.81/1551.29 c 1549s | 17 | 510817 | 204932 | 178412 1 | 75 | 0 1553.00/1553.48 c 1551s | 17 | 511412 | 205232 | 178412 1 | 75 | 0 1555.80/1556.24 c 1554s | 17 | 512191 | 205632 | 178412 1 | 75 | 0 1558.10/1558.59 c 1556s | 17 | 512837 | 206032 | 178412 1 | 75 | 0 1560.40/1560.87 c 1559s | 17 | 513318 | 206332 | 178412 1 | 75 | 0 1563.10/1563.58 c 1561s | 17 | 513870 | 206632 | 178412 1 | 75 | 0 1565.90/1566.40 c 1564s | 17 | 514459 | 206932 | 178412 1 | 75 | 0 1568.70/1569.16 c 1567s | 17 | 514985 | 207232 | 178412 1 | 75 | 0 1570.90/1571.31 c 1569s | 17 | 515314 | 207432 | 178412 1 | 75 | 0 1573.71/1574.16 c 1572s | 17 | 516106 | 207732 | 178412 1 | 75 | 0 1576.70/1577.11 c 1575s | 17 | 516733 | 208032 | 178412 1 | 75 | 0 1578.70/1579.13 c 1577s | 17 | 517043 | 208232 | 178412 1 | 75 | 0 1580.80/1581.29 c 1579s | 17 | 517656 | 208432 | 178412 1 | 75 | 0 1583.00/1583.47 c 1581s | 17 | 517967 | 208632 | 178412 1 | 75 | 0 1585.10/1585.55 c 1583s | 17 | 518239 | 208832 | 178412 1 | 75 | 0 1587.90/1588.37 c 1586s | 17 | 518801 | 209132 | 178412 1 | 75 | 0 1590.90/1591.36 c 1589s | 17 | 519355 | 209432 | 178412 1 | 75 | 0 1592.90/1593.39 c 1591s | 17 | 519650 | 209632 | 178412 1 | 75 | 0 1595.50/1595.91 c 1594s | 17 | 520182 | 209932 | 178412 1 | 75 | 0 1597.91/1598.39 c 1596s | 17 | 520682 | 210232 | 178412 1 | 75 | 0 1600.10/1600.58 c 1598s | 17 | 521179 | 210532 | 178412 1 | 75 | 0 1602.20/1602.69 c 1600s | 17 | 521629 | 210832 | 178412 1 | 75 | 0 1604.70/1605.16 c 1603s | 17 | 522223 | 211132 | 178412 1 | 75 | 0 1606.80/1607.28 c 1605s | 17 | 522839 | 211432 | 178412 1 | 75 | 0 1609.40/1609.86 c 1608s | 17 | 523513 | 211832 | 178412 1 | 75 | 0 1612.10/1612.58 c 1610s | 17 | 523939 | 212132 | 178412 1 | 75 | 0 1614.70/1615.12 c 1613s | 17 | 524358 | 212432 | 178412 1 | 75 | 0 1617.00/1617.41 c 1615s | 17 | 524919 | 212732 | 178412 1 | 75 | 0 1619.29/1619.72 c 1617s | 17 | 525544 | 213032 | 178412 1 | 75 | 0 1621.99/1622.40 c 1620s | 17 | 526503 | 213432 | 178412 1 | 75 | 0 1624.09/1624.50 c 1622s | 17 | 527046 | 213732 | 178412 1 | 75 | 0 1626.50/1626.98 c 1625s | 17 | 527682 | 214132 | 178412 1 | 75 | 0 1629.09/1629.51 c 1627s | 17 | 528252 | 214432 | 178412 1 | 75 | 0 1631.59/1632.08 c 1630s | 17 | 528848 | 214732 | 178412 1 | 75 | 0 1634.20/1634.68 c 1632s | 17 | 529413 | 215032 | 178412 1 | 75 | 0 1636.79/1637.23 c 1635s | 17 | 529932 | 215332 | 178412 1 | 75 | 0 1638.89/1639.38 c 1637s | 17 | 530386 | 215632 | 178412 1 | 75 | 0 1641.19/1641.60 c 1639s | 17 | 530913 | 215932 | 178412 1 | 75 | 0 1643.79/1644.23 c 1642s | 17 | 531378 | 216232 | 178412 1 | 75 | 0 1646.09/1646.50 c 1644s | 17 | 531701 | 216432 | 178412 1 | 75 | 0 1648.69/1649.11 c 1647s | 17 | 532263 | 216732 | 178412 1 | 75 | 0 1651.49/1651.98 c 1650s | 17 | 532792 | 217032 | 178412 1 | 75 | 0 1654.00/1654.41 c 1652s | 17 | 533449 | 217332 | 178412 1 | 75 | 0 1656.79/1657.28 c 1655s | 17 | 533878 | 217632 | 178412 1 | 75 | 0 1659.49/1659.96 c 1658s | 17 | 534410 | 217932 | 178412 1 | 75 | 0 1662.39/1662.85 c 1661s | 17 | 535035 | 218232 | 178412 1 | 75 | 0 1664.59/1665.08 c 1663s | 17 | 535419 | 218432 | 178412 1 | 75 | 0 1666.99/1667.44 c 1665s | 17 | 535708 | 218632 | 178412 1 | 75 | 0 1669.19/1669.65 c 1667s | 17 | 536012 | 218832 | 178412 1 | 75 | 0 1671.19/1671.68 c 1669s | 17 | 536433 | 219032 | 178412 1 | 75 | 0 1673.79/1674.29 c 1672s | 17 | 536878 | 219332 | 178412 1 | 75 | 0 1676.39/1676.83 c 1674s | 17 | 537315 | 219632 | 178412 1 | 75 | 0 1678.38/1678.85 c 1677s | 17 | 537703 | 219832 | 178412 1 | 75 | 0 1680.39/1680.85 c 1679s | 17 | 537975 | 220032 | 178412 1 | 75 | 0 1683.38/1683.88 c 1682s | 17 | 538565 | 220332 | 178412 1 | 75 | 0 1685.58/1686.01 c 1684s | 17 | 538916 | 220532 | 178412 1 | 75 | 0 1687.78/1688.27 c 1686s | 17 | 539212 | 220732 | 178412 1 | 75 | 0 1689.88/1690.38 c 1688s | 17 | 539643 | 220932 | 178412 1 | 75 | 0 1691.98/1692.42 c 1690s | 17 | 539928 | 221132 | 178412 1 | 75 | 0 1694.58/1695.01 c 1693s | 17 | 540430 | 221432 | 178412 1 | 75 | 0 1697.48/1697.95 c 1696s | 17 | 540853 | 221732 | 178412 1 | 75 | 0 1699.68/1700.10 c 1698s | 17 | 541129 | 221932 | 178412 1 | 75 | 0 1701.68/1702.18 c 1700s | 17 | 541479 | 222132 | 178412 1 | 75 | 0 1704.38/1704.88 c 1703s | 17 | 542187 | 222432 | 178412 1 | 75 | 0 1707.28/1707.79 c 1705s | 17 | 542893 | 222732 | 178412 1 | 75 | 0 1709.38/1709.82 c 1707s | 17 | 543230 | 222932 | 178412 1 | 75 | 0 1711.48/1711.93 c 1710s | 17 | 543541 | 223132 | 178412 1 | 75 | 0 1713.68/1714.17 c 1712s | 17 | 544072 | 223432 | 178412 1 | 75 | 0 1716.38/1716.82 c 1714s | 17 | 544436 | 223732 | 178412 1 | 75 | 0 1718.78/1719.28 c 1717s | 17 | 545072 | 224132 | 178412 1 | 75 | 0 1721.48/1721.93 c 1720s | 17 | 545676 | 224532 | 178412 1 | 75 | 0 1723.88/1724.32 c 1722s | 17 | 546130 | 224832 | 178412 1 | 75 | 0 1725.98/1726.40 c 1724s | 17 | 546543 | 225132 | 178412 1 | 75 | 0 1728.18/1728.63 c 1726s | 17 | 546949 | 225432 | 178412 1 | 75 | 0 1730.48/1730.91 c 1729s | 17 | 547391 | 225732 | 178412 1 | 75 | 0 1732.48/1732.95 c 1731s | 17 | 547689 | 225932 | 178412 1 | 75 | 0 1735.38/1735.89 c 1734s | 17 | 548146 | 226232 | 178412 1 | 75 | 0 1739.88/1740.39 c 1738s | 17 | 548674 | 226532 | 178412 1 | 75 | 0 1742.08/1742.59 c 1740s | 17 | 548974 | 226732 | 178412 1 | 75 | 0 1744.77/1745.29 c 1743s | 17 | 549603 | 227032 | 178412 1 | 75 | 0 1746.97/1747.42 c 1745s | 17 | 549869 | 227232 | 178412 1 | 75 | 0 1749.78/1750.21 c 1748s | 17 | 550409 | 227532 | 178412 1 | 75 | 0 1751.77/1752.25 c 1750s | 17 | 550768 | 227732 | 178412 1 | 75 | 0 1753.87/1754.32 c 1752s | 17 | 551048 | 227932 | 178412 1 | 75 | 0 1756.07/1756.51 c 1754s | 17 | 551373 | 228132 | 178412 1 | 75 | 0 1759.07/1759.52 c 1757s | 17 | 551835 | 228432 | 178412 1 | 75 | 0 1762.07/1762.52 c 1760s | 17 | 552296 | 228732 | 178412 1 | 75 | 0 1764.27/1764.76 c 1762s | 17 | 552569 | 228932 | 178412 1 | 75 | 0 1767.28/1767.72 c 1765s | 17 | 553016 | 229232 | 178412 1 | 75 | 0 1769.37/1769.90 c 1768s | 17 | 553305 | 229432 | 178412 1 | 75 | 0 1771.57/1772.08 c 1770s | 17 | 553621 | 229632 | 178412 1 | 75 | 0 1773.77/1774.21 c 1772s | 17 | 553884 | 229832 | 178412 1 | 75 | 0 1775.77/1776.27 c 1774s | 17 | 554177 | 230032 | 178412 1 | 75 | 0 1778.57/1779.06 c 1777s | 17 | 554590 | 230332 | 178412 1 | 75 | 0 1780.77/1781.23 c 1779s | 17 | 554872 | 230532 | 178412 1 | 75 | 0 1783.67/1784.12 c 1782s | 17 | 555424 | 230832 | 178412 1 | 75 | 0 1785.97/1786.46 c 1784s | 17 | 555880 | 231032 | 178412 1 | 75 | 0 1788.77/1789.21 c 1787s | 17 | 556555 | 231332 | 178412 1 | 75 | 0 1791.67/1792.14 c 1790s | 17 | 556970 | 231632 | 178412 1 | 75 | 0 1793.77/1794.23 c 1792s | 17 | 557373 | 231832 | 178412 1 | 75 | 0 1796.47/1796.92 c 1795s | 17 | 557867 | 232132 | 178412 1 | 75 | 0 1799.27/1799.79 c 1797s | 17 | 558410 | 232432 | 178412 1 | 75 | 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-4079411-1465328377/watcher-4079411-1465328377 -o /tmp/evaluation-result-4079411-1465328377/solver-4079411-1465328377 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465311042-19403 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079411-1465328377.opb pid=21002 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.23 2.18 2.14 3/179 21005 /proc/meminfo: memFree=29274600/32872528 swapFree=16204/1518544 [pid=21005] ppid=21002 vsize=815548 CPUtime=0 cores=0,2,4,6 /proc/21005/stat : 21005 (toysat) R 21002 21005 19387 0 -1 4202496 3063 0 0 0 0 0 0 0 20 0 4 0 114770620 835121152 2912 33554432000 4194304 16246674 140735649432256 140735649431680 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21005/statm: 204399 2920 441 2943 0 201293 0 [pid=21005/tid=21006] ppid=21002 vsize=832956 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21006/stat : 21006 (toysat) S 21002 21005 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114770620 852946944 2979 33554432000 4194304 16246674 140735649432256 140029474090224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21005/tid=21007] ppid=21002 vsize=837052 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21007/stat : 21007 (toysat) S 21002 21005 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114770620 857141248 2996 33554432000 4194304 16246674 140735649432256 140029463600368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21005/tid=21008] ppid=21002 vsize=841148 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21008/stat : 21008 (toysat) S 21002 21005 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114770620 861335552 3011 33554432000 4194304 16246674 140735649432256 140029453126832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100156 s] /proc/loadavg: 2.23 2.18 2.14 3/179 21005 /proc/meminfo: memFree=29274600/32872528 swapFree=16204/1518544 [pid=21005] ppid=21002 vsize=1303108 CPUtime=0.09 cores=0,2,4,6 /proc/21005/stat : 21005 (toysat) R 21002 21005 19387 0 -1 4202496 31260 0 0 0 6 3 0 0 20 0 4 0 114770620 1334382592 31047 33554432000 4194304 16246674 140735649432256 140735649431568 8058796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21005/statm: 325777 31062 800 2943 0 322671 0 [pid=21005/tid=21006] ppid=21002 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21006/stat : 21006 (toysat) S 21002 21005 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114770620 1334382592 31073 33554432000 4194304 16246674 140735649432256 140029474090224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21005/tid=21007] ppid=21002 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21007/stat : 21007 (toysat) S 21002 21005 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114770620 1334382592 31084 33554432000 4194304 16246674 140735649432256 140029463600368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21005/tid=21008] ppid=21002 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21008/stat : 21008 (toysat) S 21002 21005 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114770620 1334382592 31092 33554432000 4194304 16246674 140735649432256 140029453126832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1303108 [startup+0.200519 s] /proc/loadavg: 2.23 2.18 2.14 3/179 21005 /proc/meminfo: memFree=29274600/32872528 swapFree=16204/1518544 [pid=21005] ppid=21002 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/21005/stat : 21005 (toysat) R 21002 21005 19387 0 -1 4202496 47445 0 0 0 14 5 0 0 20 0 4 0 114770620 1344868352 47743 33554432000 4194304 16246674 140735649432256 140735649431568 7366783 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21005/statm: 328337 47743 800 2943 0 325231 0 [pid=21005/tid=21006] ppid=21002 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21006/stat : 21006 (toysat) S 21002 21005 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114770620 1344868352 47743 33554432000 4194304 16246674 140735649432256 140029474090224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21005/tid=21007] ppid=21002 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21007/stat : 21007 (toysat) S 21002 21005 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114770620 1344868352 47743 33554432000 4194304 16246674 140735649432256 140029463600368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21005/tid=21008] ppid=21002 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21008/stat : 21008 (toysat) S 21002 21005 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114770620 1344868352 47743 33554432000 4194304 16246674 140735649432256 140029453126832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300495 s] /proc/loadavg: 2.23 2.18 2.14 3/179 21005 /proc/meminfo: memFree=29274600/32872528 swapFree=16204/1518544 [pid=21005] ppid=21002 vsize=1313348 CPUtime=0.29 cores=0,2,4,6 /proc/21005/stat : 21005 (toysat) R 21002 21005 19387 0 -1 4202496 53982 0 0 0 22 7 0 0 20 0 4 0 114770620 1344868352 54280 33554432000 4194304 16246674 140735649432256 140735649431568 8057138 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21005/statm: 328337 54280 801 2943 0 325231 0 [pid=21005/tid=21006] ppid=21002 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21006/stat : 21006 (toysat) S 21002 21005 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114770620 1344868352 54280 33554432000 4194304 16246674 140735649432256 140029474090224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21005/tid=21007] ppid=21002 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21007/stat : 21007 (toysat) S 21002 21005 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114770620 1344868352 54280 33554432000 4194304 16246674 140735649432256 140029463600368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21005/tid=21008] ppid=21002 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21008/stat : 21008 (toysat) S 21002 21005 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114770620 1344868352 54280 33554432000 4194304 16246674 140735649432256 140029453126832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700401 s] /proc/loadavg: 2.23 2.18 2.14 3/179 21005 /proc/meminfo: memFree=29274600/32872528 swapFree=16204/1518544 [pid=21005] ppid=21002 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/21005/stat : 21005 (toysat) R 21002 21005 19387 0 -1 4202496 68600 0 0 0 60 9 0 0 20 0 4 0 114770620 1344868352 68898 33554432000 4194304 16246674 140735649432256 140735649414144 12368759 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21005/statm: 328337 68898 839 2943 0 325231 0 [pid=21005/tid=21006] ppid=21002 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21006/stat : 21006 (toysat) S 21002 21005 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114770620 1344868352 68898 33554432000 4194304 16246674 140735649432256 140029474090224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21005/tid=21007] ppid=21002 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21007/stat : 21007 (toysat) S 21002 21005 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114770620 1344868352 68898 33554432000 4194304 16246674 140735649432256 140029463600368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21005/tid=21008] ppid=21002 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21008/stat : 21008 (toysat) S 21002 21005 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114770620 1344868352 68898 33554432000 4194304 16246674 140735649432256 140029453126832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50034 s] /proc/loadavg: 2.23 2.18 2.14 3/183 21009 /proc/meminfo: memFree=28747504/32872528 swapFree=16204/1518544 [pid=21005] ppid=21002 vsize=1313348 CPUtime=1.48 cores=0,2,4,6 /proc/21005/stat : 21005 (toysat) R 21002 21005 19387 0 -1 4202496 205595 0 0 0 119 29 0 0 20 0 4 0 114770620 1344868352 205893 33554432000 4194304 16246674 140735649432256 140735649414144 6939076 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21005/statm: 328337 205901 844 2943 0 325231 0 [pid=21005/tid=21006] ppid=21002 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21006/stat : 21006 (toysat) S 21002 21005 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114770620 1344868352 205907 33554432000 4194304 16246674 140735649432256 140029474090224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21005/tid=21007] ppid=21002 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21007/stat : 21007 (toysat) S 21002 21005 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114770620 1344868352 205913 33554432000 4194304 16246674 140735649432256 140029463600368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21005/tid=21008] ppid=21002 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21008/stat : 21008 (toysat) S 21002 21005 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114770620 1344868352 205918 33554432000 4194304 16246674 140735649432256 140029453126832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1313348 [startup+3.1004 s] /proc/loadavg: 2.23 2.18 2.14 3/183 21009 /proc/meminfo: memFree=28319068/32872528 swapFree=16204/1518544 [pid=21005] ppid=21002 vsize=1313348 CPUtime=3.09 cores=0,2,4,6 /proc/21005/stat : 21005 (toysat) R 21002 21005 19387 0 -1 4202496 238863 0 0 0 275 34 0 0 20 0 4 0 114770620 1344868352 239161 33554432000 4194304 16246674 140735649432256 140735649414144 5667184 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21005/statm: 328337 239161 888 2943 0 325231 0 [pid=21005/tid=21006] ppid=21002 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21006/stat : 21006 (toysat) S 21002 21005 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114770620 1344868352 239161 33554432000 4194304 16246674 140735649432256 140029474090224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21005/tid=21007] ppid=21002 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21007/stat : 21007 (toysat) S 21002 21005 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114770620 1344868352 239161 33554432000 4194304 16246674 140735649432256 140029463600368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21005/tid=21008] ppid=21002 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21008/stat : 21008 (toysat) S 21002 21005 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114770620 1344868352 239161 33554432000 4194304 16246674 140735649432256 140029453126832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1313348 [startup+6.30036 s] /proc/loadavg: 2.29 2.19 2.15 4/183 21009 /proc/meminfo: memFree=28198704/32872528 swapFree=16204/1518544 [pid=21005] ppid=21002 vsize=1313348 CPUtime=6.29 cores=0,2,4,6 /proc/21005/stat : 21005 (toysat) R 21002 21005 19387 0 -1 4202496 269018 0 0 0 591 38 0 0 20 0 4 0 114770620 1344868352 269316 33554432000 4194304 16246674 140735649432256 140735649414144 5601651 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21005/statm: 328337 269316 891 2943 0 325231 0 [pid=21005/tid=21006] ppid=21002 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21006/stat : 21006 (toysat) S 21002 21005 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114770620 1344868352 269316 33554432000 4194304 16246674 140735649432256 140029474090224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21005/tid=21007] ppid=21002 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21007/stat : 21007 (toysat) S 21002 21005 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114770620 1344868352 269316 33554432000 4194304 16246674 140735649432256 140029463600368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21005/tid=21008] ppid=21002 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21008/stat : 21008 (toysat) S 21002 21005 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114770620 1344868352 269316 33554432000 4194304 16246674 140735649432256 140029453126832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1313348 [startup+12.7004 s] /proc/loadavg: 2.34 2.21 2.15 3/183 21009 /proc/meminfo: memFree=28198340/32872528 swapFree=16204/1518544 [pid=21005] ppid=21002 vsize=1313348 CPUtime=12.69 cores=0,2,4,6 /proc/21005/stat : 21005 (toysat) R 21002 21005 19387 0 -1 4202496 269022 0 0 0 1231 38 0 0 20 0 4 0 114770620 1344868352 269320 33554432000 4194304 16246674 140735649432256 140735649414144 5677720 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21005/statm: 328337 269320 894 2943 0 325231 0 [pid=21005/tid=21006] ppid=21002 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21006/stat : 21006 (toysat) S 21002 21005 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114770620 1344868352 269320 33554432000 4194304 16246674 140735649432256 140029474090224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21005/tid=21007] ppid=21002 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21007/stat : 21007 (toysat) S 21002 21005 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114770620 1344868352 269320 33554432000 4194304 16246674 140735649432256 140029463600368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21005/tid=21008] ppid=21002 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21008/stat : 21008 (toysat) S 21002 21005 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114770620 1344868352 269320 33554432000 4194304 16246674 140735649432256 140029453126832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1313348 [startup+25.5004 s] /proc/loadavg: 2.27 2.20 2.15 4/184 21012 /proc/meminfo: memFree=28199416/32872528 swapFree=16204/1518544 [pid=21005] ppid=21002 vsize=1313348 CPUtime=25.49 cores=0,2,4,6 /proc/21005/stat : 21005 (toysat) R 21002 21005 19387 0 -1 4202496 269022 0 0 0 2511 38 0 0 20 0 4 0 114770620 1344868352 269320 33554432000 4194304 16246674 140735649432256 140735649414144 13820875 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21005/statm: 328337 269320 894 2943 0 325231 0 [pid=21005/tid=21006] ppid=21002 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21006/stat : 21006 (toysat) S 21002 21005 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114770620 1344868352 269320 33554432000 4194304 16246674 140735649432256 140029474090224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21005/tid=21007] ppid=21002 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21007/stat : 21007 (toysat) S 21002 21005 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114770620 1344868352 269320 33554432000 4194304 16246674 140735649432256 140029463600368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21005/tid=21008] ppid=21002 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21008/stat : 21008 (toysat) S 21002 21005 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114770620 1344868352 269320 33554432000 4194304 16246674 140735649432256 140029453126832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1313348 [startup+51.1004 s] /proc/loadavg: 2.23 2.19 2.15 4/184 21012 /proc/meminfo: memFree=28199656/32872528 swapFree=16204/1518544 [pid=21005] ppid=21002 vsize=1313348 CPUtime=51.08 cores=0,2,4,6 /proc/21005/stat : 21005 (toysat) R 21002 21005 19387 0 -1 4202496 269022 0 0 0 5070 38 0 0 20 0 4 0 114770620 1344868352 269320 33554432000 4194304 16246674 140735649432256 140735649414144 5523464 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21005/statm: 328337 269320 894 2943 0 325231 0 [pid=21005/tid=21006] ppid=21002 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21006/stat : 21006 (toysat) S 21002 21005 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114770620 1344868352 269320 33554432000 4194304 16246674 140735649432256 140029474090224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21005/tid=21007] ppid=21002 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21007/stat : 21007 (toysat) S 21002 21005 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114770620 1344868352 269320 33554432000 4194304 16246674 140735649432256 140029463600368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21005/tid=21008] ppid=21002 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21008/stat : 21008 (toysat) S 21002 21005 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114770620 1344868352 269320 33554432000 4194304 16246674 140735649432256 140029453126832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1313348 [startup+102.3 s] /proc/loadavg: 2.31 2.22 2.16 3/183 21013 /proc/meminfo: memFree=28198880/32872528 swapFree=16204/1518544 [pid=21005] ppid=21002 vsize=1313348 CPUtime=102.28 cores=0,2,4,6 /proc/21005/stat : 21005 (toysat) R 21002 21005 19387 0 -1 4202496 269022 0 0 0 10190 38 0 0 20 0 4 0 114770620 1344868352 269320 33554432000 4194304 16246674 140735649432256 140735649414144 6022104 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21005/statm: 328337 269320 894 2943 0 325231 0 [pid=21005/tid=21006] ppid=21002 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21006/stat : 21006 (toysat) S 21002 21005 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114770620 1344868352 269320 33554432000 4194304 16246674 140735649432256 140029474090224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21005/tid=21007] ppid=21002 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21007/stat : 21007 (toysat) S 21002 21005 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114770620 1344868352 269320 33554432000 4194304 16246674 140735649432256 140029463600368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21005/tid=21008] ppid=21002 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21008/stat : 21008 (toysat) S 21002 21005 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114770620 1344868352 269320 33554432000 4194304 16246674 140735649432256 140029453126832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1313348 ################ # More data... # ################ /proc/21005/task/21008/stat : 21008 (toysat) S 21002 21005 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114770620 1344868352 269321 33554432000 4194304 16246674 140735649432256 140029453126832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1313348 [startup+1362.3 s] /proc/loadavg: 2.28 2.27 2.20 4/183 21116 /proc/meminfo: memFree=27257992/32872528 swapFree=16204/1518544 [pid=21005] ppid=21002 vsize=1376836 CPUtime=1361.94 cores=0,2,4,6 /proc/21005/stat : 21005 (toysat) R 21002 21005 19387 0 -1 4202496 285077 0 0 0 136148 46 0 0 20 0 4 0 114770620 1409880064 285092 33554432000 4194304 16246674 140735649432256 140735649431352 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21005/statm: 344209 285092 899 2943 0 341103 0 [pid=21005/tid=21006] ppid=21002 vsize=1376836 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21006/stat : 21006 (toysat) S 21002 21005 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114770620 1409880064 285092 33554432000 4194304 16246674 140735649432256 140029474090224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21005/tid=21007] ppid=21002 vsize=1376836 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21007/stat : 21007 (toysat) S 21002 21005 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114770620 1409880064 285092 33554432000 4194304 16246674 140735649432256 140029463600368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21005/tid=21008] ppid=21002 vsize=1376836 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21008/stat : 21008 (toysat) S 21002 21005 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114770620 1409880064 285092 33554432000 4194304 16246674 140735649432256 140029453126832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1376836 [startup+1422.3 s] /proc/loadavg: 2.24 2.25 2.19 3/182 21117 /proc/meminfo: memFree=27237192/32872528 swapFree=16204/1518544 [pid=21005] ppid=21002 vsize=1397316 CPUtime=1421.93 cores=0,2,4,6 /proc/21005/stat : 21005 (toysat) R 21002 21005 19387 0 -1 4202496 290302 0 0 0 142146 47 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140735649414144 5822298 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21005/statm: 349329 290317 899 2943 0 346223 0 [pid=21005/tid=21006] ppid=21002 vsize=1397316 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21006/stat : 21006 (toysat) S 21002 21005 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140029474090224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21005/tid=21007] ppid=21002 vsize=1397316 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21007/stat : 21007 (toysat) S 21002 21005 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140029463600368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21005/tid=21008] ppid=21002 vsize=1397316 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21008/stat : 21008 (toysat) S 21002 21005 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140029453126832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1397316 [startup+1482.3 s] /proc/loadavg: 2.15 2.22 2.18 3/183 21119 /proc/meminfo: memFree=27236620/32872528 swapFree=16204/1518544 [pid=21005] ppid=21002 vsize=1397316 CPUtime=1481.92 cores=0,2,4,6 /proc/21005/stat : 21005 (toysat) R 21002 21005 19387 0 -1 4202496 290302 0 0 0 148145 47 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140735649414144 5600232 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21005/statm: 349329 290317 899 2943 0 346223 0 [pid=21005/tid=21006] ppid=21002 vsize=1397316 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21006/stat : 21006 (toysat) S 21002 21005 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140029474090224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21005/tid=21007] ppid=21002 vsize=1397316 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21007/stat : 21007 (toysat) S 21002 21005 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140029463600368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21005/tid=21008] ppid=21002 vsize=1397316 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21008/stat : 21008 (toysat) S 21002 21005 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140029453126832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 1397316 [startup+1542.31 s] /proc/loadavg: 2.19 2.22 2.18 4/183 21120 /proc/meminfo: memFree=27236944/32872528 swapFree=16204/1518544 [pid=21005] ppid=21002 vsize=1397316 CPUtime=1541.91 cores=0,2,4,6 /proc/21005/stat : 21005 (toysat) R 21002 21005 19387 0 -1 4202496 290302 0 0 0 154144 47 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140735649414144 13774516 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21005/statm: 349329 290317 899 2943 0 346223 0 [pid=21005/tid=21006] ppid=21002 vsize=1397316 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21006/stat : 21006 (toysat) S 21002 21005 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140029474090224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21005/tid=21007] ppid=21002 vsize=1397316 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21007/stat : 21007 (toysat) S 21002 21005 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140029463600368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21005/tid=21008] ppid=21002 vsize=1397316 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21008/stat : 21008 (toysat) S 21002 21005 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140029453126832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1397316 [startup+1602.3 s] /proc/loadavg: 2.17 2.21 2.18 3/183 21121 /proc/meminfo: memFree=27236284/32872528 swapFree=16204/1518544 [pid=21005] ppid=21002 vsize=1397316 CPUtime=1601.9 cores=0,2,4,6 /proc/21005/stat : 21005 (toysat) R 21002 21005 19387 0 -1 4202496 290302 0 0 0 160143 47 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140735649414144 5674790 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21005/statm: 349329 290317 899 2943 0 346223 0 [pid=21005/tid=21006] ppid=21002 vsize=1397316 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21006/stat : 21006 (toysat) S 21002 21005 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140029474090224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21005/tid=21007] ppid=21002 vsize=1397316 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21007/stat : 21007 (toysat) S 21002 21005 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140029463600368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21005/tid=21008] ppid=21002 vsize=1397316 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21008/stat : 21008 (toysat) S 21002 21005 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140029453126832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1397316 [startup+1662.3 s] /proc/loadavg: 2.20 2.21 2.18 3/183 21122 /proc/meminfo: memFree=27236336/32872528 swapFree=16204/1518544 [pid=21005] ppid=21002 vsize=1397316 CPUtime=1661.89 cores=0,2,4,6 /proc/21005/stat : 21005 (toysat) R 21002 21005 19387 0 -1 4202496 290302 0 0 0 166142 47 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140735649414144 5598364 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21005/statm: 349329 290317 899 2943 0 346223 0 [pid=21005/tid=21006] ppid=21002 vsize=1397316 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21006/stat : 21006 (toysat) S 21002 21005 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140029474090224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21005/tid=21007] ppid=21002 vsize=1397316 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21007/stat : 21007 (toysat) S 21002 21005 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140029463600368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21005/tid=21008] ppid=21002 vsize=1397316 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21008/stat : 21008 (toysat) S 21002 21005 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140029453126832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1397316 [startup+1722.3 s] /proc/loadavg: 2.19 2.20 2.18 4/183 21123 /proc/meminfo: memFree=27236212/32872528 swapFree=16208/1518548 [pid=21005] ppid=21002 vsize=1397316 CPUtime=1721.88 cores=0,2,4,6 /proc/21005/stat : 21005 (toysat) R 21002 21005 19387 0 -1 4202496 290302 0 0 0 172141 47 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140735649414144 5661448 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21005/statm: 349329 290317 899 2943 0 346223 0 [pid=21005/tid=21006] ppid=21002 vsize=1397316 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21006/stat : 21006 (toysat) S 21002 21005 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140029474090224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21005/tid=21007] ppid=21002 vsize=1397316 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21007/stat : 21007 (toysat) S 21002 21005 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140029463600368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21005/tid=21008] ppid=21002 vsize=1397316 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21008/stat : 21008 (toysat) S 21002 21005 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140029453126832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 1397316 [startup+1782.3 s] /proc/loadavg: 2.26 2.22 2.18 3/183 21125 /proc/meminfo: memFree=27235880/32872528 swapFree=16204/1518544 [pid=21005] ppid=21002 vsize=1397316 CPUtime=1781.87 cores=0,2,4,6 /proc/21005/stat : 21005 (toysat) R 21002 21005 19387 0 -1 4202496 290302 0 0 0 178140 47 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140735649414144 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21005/statm: 349329 290317 899 2943 0 346223 0 [pid=21005/tid=21006] ppid=21002 vsize=1397316 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21006/stat : 21006 (toysat) S 21002 21005 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140029474090224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21005/tid=21007] ppid=21002 vsize=1397316 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21007/stat : 21007 (toysat) S 21002 21005 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140029463600368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21005/tid=21008] ppid=21002 vsize=1397316 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21008/stat : 21008 (toysat) S 21002 21005 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140029453126832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 1397316 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.26 2.22 2.18 3/183 21125 /proc/meminfo: memFree=27236220/32872528 swapFree=16204/1518544 [pid=21005] ppid=21002 vsize=1397316 CPUtime=1800.07 cores=0,2,4,6 /proc/21005/stat : 21005 (toysat) R 21002 21005 19387 0 -1 4202496 290302 0 0 0 179960 47 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140735649414144 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21005/statm: 349329 290317 899 2943 0 346223 0 [pid=21005/tid=21006] ppid=21002 vsize=1397316 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21006/stat : 21006 (toysat) S 21002 21005 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140029474090224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21005/tid=21007] ppid=21002 vsize=1397316 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21007/stat : 21007 (toysat) S 21002 21005 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140029463600368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21005/tid=21008] ppid=21002 vsize=1397316 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21008/stat : 21008 (toysat) S 21002 21005 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140029453126832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1397316 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 21005 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.26 2.22 2.18 3/183 21125 /proc/meminfo: memFree=27236220/32872528 swapFree=16204/1518544 [pid=21005] ppid=21002 vsize=1397316 CPUtime=1800.07 cores=0,2,4,6 /proc/21005/stat : 21005 (toysat) R 21002 21005 19387 0 -1 4202496 290302 0 0 0 179960 47 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140735649414144 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21005/statm: 349329 290317 899 2943 0 346223 0 [pid=21005/tid=21006] ppid=21002 vsize=1397316 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21006/stat : 21006 (toysat) S 21002 21005 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140029474090224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21005/tid=21007] ppid=21002 vsize=1397316 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21007/stat : 21007 (toysat) S 21002 21005 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140029463600368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21005/tid=21008] ppid=21002 vsize=1397316 CPUtime=0 cores=0,2,4,6 /proc/21005/task/21008/stat : 21008 (toysat) S 21002 21005 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114770620 1430851584 290317 33554432000 4194304 16246674 140735649432256 140029453126832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1397316 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.08 CPU user time (s): 1799.61 CPU system time (s): 0.476927 CPU usage (%): 99.976 Max. virtual memory (cumulated for all children) (KiB): 1397316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.61 system time used= 0.476927 maximum resident set size= 1161268 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 290302 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= 302 involuntary context switches= 1860 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.51331 second user time and 6.97894 second system time The end
Begin job on node129 at 2016-06-07 21:39:38 IDJOB=4079411 IDBENCH=92704 IDSOLVER=2542 FILE ID=node129/4079411-1465328377 RUNJOBID= node129-1465311042-19403 PBS_JOBID= 19850114 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_4_mh.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079411-1465328377/watcher-4079411-1465328377 -o /tmp/evaluation-result-4079411-1465328377/solver-4079411-1465328377 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465311042-19403 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079411-1465328377.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9bdb41355cc05d61585f46c460aaeaa4 RANDOM SEED=562457712 node129.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.715 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.43 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.715 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.715 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.715 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.715 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.715 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.715 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.715 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29275508 kB Buffers: 33044 kB Cached: 192208 kB SwapCached: 1412 kB Active: 1217676 kB Inactive: 121144 kB Active(anon): 1110964 kB Inactive(anon): 4456 kB Active(file): 106712 kB Inactive(file): 116688 kB Unevictable: 1518544 kB Mlocked: 16204 kB SwapTotal: 67108856 kB SwapFree: 67098824 kB Dirty: 19044 kB Writeback: 0 kB AnonPages: 2630956 kB Mapped: 11752 kB Shmem: 0 kB Slab: 604324 kB SReclaimable: 48516 kB SUnreclaim: 555808 kB KernelStack: 1520 kB PageTables: 9332 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2774552 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2340864 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= 71676 MiB End job on node129 at 2016-06-07 22:09:38