Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
toysat 2016-05-02 | ? (TO) | 1800.05 | 1800.73 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k5_l4_n750.opb |
MD5SUM | 84dfc4b706a5e82746c96ff285501708 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 3750 |
Total number of constraints | 467625 |
Number of constraints which are clauses | 466875 |
Number of constraints which are cardinality constraints (but not clauses) | 750 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 5 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 3 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 7 |
Number of bits of the biggest sum of numbers | 3 |
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-06T15:30:25+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-4078644-1465219824.opb"] 0.00/0.01 c use --random-gen="2458055641 541348474 790634762 773485260 3470034409 1987076974 2532631222 213678007 4216937456 3557827582 634570488 1453355005 3415180001 3667013993 1243974233 2252286470 2011117380 3466469031 1611572673 2385463780 1929740954 1276045133 2731645605 3536018950 2377951764 3982823320 2347699610 3570597066 2335583827 2118525157 631764210 880503563 2732857168 3461637056 3943112192 1758631323 2373374698 955779256 4134453571 2851174284 3860420166 2536809636 2177052442 974222394 3981558979 3943078346 993867693 1003830802 1357854898 4001503619 524072171 2046589956 2434739309 1414063760 616164971 1131623747 2552756176 2735804103 2173682809 627156154 4242991592 263783724 2618286097 1174477062 4067205303 2307440607 4134692600 2378449701 3652816217 3850206072 1765291220 1274528696 3979391661 357546358 1582119558 2224626300 741525558 994291789 3429290926 3564713608 2045270603 3543556433 2907778328 50151110 589257345 179821098 3946733197 4035906224 3008383713 2255540680 1608874603 1305292820 139695543 3987607609 3171534831 10375861 645438012 4269332800 2464935087 4250052354 4232373508 4183500860 3051130030 3156444202 1215482261 2309561378 791490809 3558933965 521496660 2867332380 1309359647 3094768028 3672274564 224558782 2295237619 12379611 2145390308 3793751670 2783792438 3258471724 2137081080 1172474669 1298974389 2445385332 1150791026 3234115090 2205301922 1531512159 775147641 3950442699 377809297 417711172 2505562330 3326207192 3825890278 1008471403 885581823 224884808 1742102445 2261829555 1626304122 2840492215 2143393759 1119437263 2765319661 2468269639 2729920521 1896800645 2530962 2890409396 3950090004 2789991577 1061196198 342899373 2909466673 1193127618 3842794714 2117153874 692358299 3682287936 3542671662 1494329827 3816231897 468352570 118745069 1688375807 3982004700 1651321545 3105310063 3658331199 891803937 2030383317 1870876625 3091302060 3379614329 3829845618 606550083 1517530805 4272449842 2137031071 1121638109 3846373151 415876231 3378824012 2896140820 1731926327 1281785842 2840576275 1483236609 1179094749 2561713362 3032480698 4006380486 1910590121 1356832777 2283213397 1393742688 1511346390 3596236064 1440780700 2534534394 857085168 363434266 278695662 4243192360 3479305234 1522983364 2340618043 237891057 3566540225 1710335432 1899005936 1567945422 3758008270 3990000922 3625338012 3791690770 2001460639 1541899148 2438028959 2996607349 1952753504 3457568424 3268782568 1363088003 2434568664 1700818103 305174045 3667460258 2745391369 1984571091 4012781846 861106158 2746999094 1228983984 83009956 3413818136 499849484 790524761 909428746 1244474823 2020598060 2170864949 3759484728 1094646170 2468362146 2073943395 594657132 2992281604 1682461208 1926463198 917110178 607496525 1186265221 182205829 1953027161 255 362436" option to reproduce the execution 3.79/3.89 c #vars 3750 3.79/3.89 c #constraints 467625 13.89/13.91 c Solving starts ... 13.89/13.91 c ============================[ Search Statistics ]============================ 13.89/13.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 13.89/13.91 c | | | | Limit GC | Var | Constra 13.89/13.91 c ============================================================================= 13.89/13.92 c 0.0s | 0 | 0 | 0 | 157375 0 | 0 | 0 15.28/15.30 c 1.4s | 1 | 482 | 100 | 157375 0 | 0 | 0 15.98/16.09 c 2.2s | 2 | 1135 | 250 | 173113 0 | 0 | 0 17.18/17.22 c 3.3s | 3 | 1920 | 475 | 190425 0 | 0 | 0 18.48/18.56 c 4.7s | 4 | 2843 | 813 | 209468 0 | 0 | 0 20.48/20.59 c 6.7s | 5 | 3977 | 1320 | 230415 0 | 0 | 0 22.68/22.76 c 8.8s | 5 | 5122 | 1820 | 253457 0 | 0 | 0 23.68/23.77 c 9.9s | 6 | 5488 | 2081 | 278803 0 | 0 | 0 25.98/26.02 c 12.1s | 6 | 6649 | 2681 | 278803 0 | 0 | 0 27.98/28.04 c 14.1s | 7 | 7345 | 3223 | 306684 0 | 0 | 0 30.18/30.23 c 16.3s | 7 | 8469 | 3723 | 306684 0 | 0 | 0 32.38/32.40 c 18.5s | 7 | 9063 | 4223 | 306684 0 | 0 | 0 34.58/34.64 c 20.7s | 7 | 9715 | 4723 | 306684 0 | 0 | 0 35.48/35.57 c 21.7s | 8 | 9988 | 4936 | 337353 0 | 0 | 0 37.58/37.65 c 23.7s | 8 | 11221 | 5436 | 337353 0 | 0 | 0 39.78/39.84 c 25.9s | 8 | 12032 | 6036 | 337353 0 | 0 | 0 42.08/42.16 c 28.2s | 8 | 12824 | 6636 | 337353 0 | 0 | 0 44.48/44.54 c 30.6s | 8 | 13591 | 7236 | 337353 0 | 0 | 0 45.68/45.71 c 31.8s | 9 | 13949 | 7506 | 371089 0 | 0 | 0 47.68/47.77 c 33.9s | 9 | 15088 | 8006 | 371089 0 | 0 | 0 49.98/50.09 c 36.2s | 9 | 15858 | 8606 | 371089 0 | 0 | 0 52.28/52.32 c 38.4s | 9 | 16672 | 9206 | 371089 0 | 0 | 0 54.38/54.46 c 40.6s | 9 | 17290 | 9706 | 371089 0 | 0 | 0 56.37/56.47 c 42.6s | 9 | 17915 | 10206 | 371089 0 | 0 | 0 58.47/58.53 c 44.6s | 9 | 18563 | 10706 | 371089 0 | 0 | 0 60.67/60.71 c 46.8s | 9 | 19154 | 11206 | 371089 0 | 0 | 0 61.27/61.37 c 47.5s | 10 | 19346 | 11361 | 408198 0 | 0 | 0 63.27/63.39 c 49.5s | 10 | 20288 | 11661 | 408198 0 | 0 | 0 65.67/65.72 c 51.8s | 10 | 21246 | 12361 | 408198 0 | 0 | 0 67.96/68.05 c 54.1s | 10 | 22063 | 12961 | 408198 0 | 0 | 0 70.26/70.36 c 56.4s | 10 | 22817 | 13561 | 408198 0 | 0 | 0 72.46/72.55 c 58.6s | 10 | 23657 | 14161 | 408198 0 | 0 | 0 74.56/74.70 c 60.8s | 10 | 24295 | 14661 | 408198 0 | 0 | 0 76.96/77.01 c 63.1s | 10 | 25082 | 15261 | 408198 0 | 0 | 0 79.06/79.20 c 65.3s | 10 | 25708 | 15761 | 408198 0 | 0 | 0 81.36/81.43 c 67.5s | 10 | 26366 | 16261 | 408198 0 | 0 | 0 83.66/83.79 c 69.9s | 10 | 26999 | 16761 | 408198 0 | 0 | 0 85.65/85.78 c 71.9s | 11 | 27470 | 17144 | 449018 0 | 0 | 0 87.95/88.01 c 74.1s | 11 | 28477 | 17544 | 449018 0 | 0 | 0 90.15/90.28 c 76.4s | 11 | 29256 | 18144 | 449018 0 | 0 | 0 92.25/92.36 c 78.4s | 11 | 29943 | 18644 | 449018 0 | 0 | 0 94.55/94.69 c 80.8s | 11 | 30551 | 19144 | 449018 0 | 0 | 0 96.85/96.91 c 83.0s | 11 | 31137 | 19644 | 449018 0 | 0 | 0 99.05/99.11 c 85.2s | 11 | 31749 | 20144 | 449018 0 | 0 | 0 101.15/101.23 c 87.3s | 11 | 32357 | 20644 | 449018 0 | 0 | 0 103.35/103.49 c 89.6s | 11 | 32977 | 21144 | 449018 0 | 0 | 0 105.74/105.81 c 91.9s | 11 | 33571 | 21644 | 449018 0 | 0 | 0 107.74/107.82 c 93.9s | 11 | 34230 | 22144 | 449018 0 | 0 | 0 110.24/110.33 c 96.4s | 11 | 34736 | 22544 | 449018 0 | 0 | 0 112.64/112.70 c 98.8s | 11 | 35310 | 23044 | 449018 0 | 0 | 0 114.64/114.71 c 100s | 11 | 35796 | 23444 | 449018 0 | 0 | 0 116.65/116.76 c 102s | 11 | 36273 | 23844 | 449018 0 | 0 | 0 118.94/119.01 c 105s | 11 | 36886 | 24344 | 449018 0 | 0 | 0 121.14/121.22 c 107s | 11 | 37503 | 24844 | 449018 0 | 0 | 0 123.54/123.68 c 109s | 11 | 38163 | 25344 | 449018 0 | 0 | 0 125.73/125.90 c 111s | 12 | 38778 | 25819 | 493920 0 | 0 | 0 127.83/127.91 c 114s | 12 | 39906 | 26219 | 493920 0 | 0 | 0 129.93/130.07 c 116s | 12 | 40570 | 26719 | 493920 0 | 0 | 0 131.94/132.08 c 118s | 12 | 41411 | 27319 | 493920 0 | 0 | 0 134.33/134.46 c 120s | 12 | 42289 | 28019 | 493920 0 | 0 | 0 136.43/136.51 c 122s | 12 | 43009 | 28619 | 493920 0 | 0 | 0 138.53/138.62 c 124s | 12 | 43721 | 29219 | 493920 0 | 0 | 0 140.62/140.72 c 126s | 12 | 44503 | 29819 | 493920 0 | 0 | 0 143.03/143.11 c 129s | 12 | 45295 | 30419 | 493920 0 | 0 | 0 145.02/145.19 c 131s | 12 | 45915 | 30919 | 493920 0 | 0 | 0 147.32/147.44 c 133s | 12 | 46725 | 31519 | 493920 0 | 0 | 0 149.42/149.52 c 135s | 12 | 47377 | 32019 | 493920 0 | 0 | 0 151.72/151.87 c 137s | 12 | 48161 | 32619 | 493920 0 | 0 | 0 153.92/154.04 c 140s | 12 | 48826 | 33119 | 493920 0 | 0 | 0 156.12/156.26 c 142s | 12 | 49433 | 33619 | 493920 0 | 0 | 0 158.42/158.58 c 144s | 12 | 50041 | 34119 | 493920 0 | 0 | 0 160.81/160.93 c 147s | 12 | 50637 | 34619 | 493920 0 | 0 | 0 163.11/163.24 c 149s | 12 | 51249 | 35119 | 493920 0 | 0 | 0 165.30/165.41 c 151s | 12 | 51616 | 35419 | 493920 0 | 0 | 0 167.60/167.78 c 153s | 12 | 52231 | 35919 | 493920 0 | 0 | 0 170.00/170.16 c 156s | 12 | 52867 | 36419 | 493920 0 | 0 | 0 172.10/172.25 c 158s | 12 | 53340 | 36819 | 493920 0 | 0 | 0 174.50/174.66 c 160s | 12 | 54065 | 37419 | 493920 0 | 0 | 0 176.70/176.81 c 162s | 12 | 54668 | 37919 | 493920 0 | 0 | 0 178.80/178.95 c 165s | 12 | 55322 | 38419 | 493920 0 | 0 | 0 180.70/180.82 c 166s | 13 | 55813 | 38832 | 543312 0 | 0 | 0 182.70/182.87 c 168s | 13 | 56655 | 39032 | 543312 0 | 0 | 0 185.00/185.10 c 171s | 13 | 57316 | 39532 | 543312 0 | 0 | 0 187.19/187.34 c 173s | 13 | 58017 | 40032 | 543312 0 | 0 | 0 189.39/189.56 c 175s | 13 | 58686 | 40532 | 543312 0 | 0 | 0 191.59/191.73 c 177s | 13 | 59412 | 41032 | 543312 0 | 0 | 0 193.60/193.79 c 179s | 13 | 60115 | 41532 | 543312 0 | 0 | 0 195.89/196.02 c 182s | 13 | 60835 | 42032 | 543312 0 | 0 | 0 197.99/198.16 c 184s | 13 | 61467 | 42532 | 543312 0 | 0 | 0 200.29/200.49 c 186s | 13 | 62122 | 43032 | 543312 0 | 0 | 0 202.49/202.63 c 188s | 13 | 62787 | 43532 | 543312 0 | 0 | 0 204.49/204.68 c 190s | 13 | 63465 | 44032 | 543312 0 | 0 | 0 206.79/206.90 c 192s | 13 | 64047 | 44532 | 543312 0 | 0 | 0 208.99/209.10 c 195s | 13 | 64677 | 45032 | 543312 0 | 0 | 0 211.19/211.36 c 197s | 13 | 65274 | 45532 | 543312 0 | 0 | 0 213.48/213.67 c 199s | 13 | 65946 | 46032 | 543312 0 | 0 | 0 215.87/216.01 c 202s | 13 | 66515 | 46432 | 543312 0 | 0 | 0 217.87/218.02 c 204s | 13 | 66990 | 46832 | 543312 0 | 0 | 0 220.27/220.45 c 206s | 13 | 67579 | 47332 | 543312 0 | 0 | 0 222.57/222.71 c 208s | 13 | 68354 | 47832 | 543312 0 | 0 | 0 224.77/224.91 c 210s | 13 | 69049 | 48332 | 543312 0 | 0 | 0 226.97/227.17 c 213s | 13 | 69698 | 48832 | 543312 0 | 0 | 0 228.97/229.19 c 215s | 13 | 70223 | 49232 | 543312 0 | 0 | 0 231.07/231.21 c 217s | 13 | 70739 | 49632 | 543312 0 | 0 | 0 233.37/233.55 c 219s | 13 | 71408 | 50132 | 543312 0 | 0 | 0 235.56/235.76 c 221s | 13 | 72071 | 50632 | 543312 0 | 0 | 0 237.86/238.02 c 224s | 13 | 72697 | 51132 | 543312 0 | 0 | 0 239.96/240.11 c 226s | 13 | 73186 | 51532 | 543312 0 | 0 | 0 241.97/242.17 c 228s | 13 | 73669 | 51932 | 543312 0 | 0 | 0 244.56/244.71 c 230s | 13 | 74326 | 52432 | 543312 0 | 0 | 0 246.86/247.05 c 233s | 13 | 74825 | 52832 | 543312 0 | 0 | 0 249.06/249.23 c 235s | 13 | 75310 | 53232 | 543312 0 | 0 | 0 251.46/251.61 c 237s | 13 | 75965 | 53732 | 543312 0 | 0 | 0 253.76/253.92 c 240s | 13 | 76584 | 54232 | 543312 0 | 0 | 0 256.06/256.30 c 242s | 13 | 77273 | 54732 | 543312 0 | 0 | 0 258.56/258.77 c 244s | 13 | 77959 | 55232 | 543312 0 | 0 | 0 261.06/261.26 c 247s | 13 | 78616 | 55732 | 543312 0 | 0 | 0 263.16/263.37 c 249s | 13 | 79143 | 56132 | 543312 0 | 0 | 0 265.15/265.39 c 251s | 13 | 79670 | 56532 | 543312 0 | 0 | 0 267.45/267.69 c 253s | 13 | 80135 | 56932 | 543312 0 | 0 | 0 269.55/269.77 c 255s | 13 | 80661 | 57332 | 543312 0 | 0 | 0 271.66/271.88 c 257s | 13 | 81203 | 57732 | 543312 0 | 0 | 0 273.85/274.03 c 260s | 13 | 81617 | 58032 | 597644 0 | 0 | 0 275.45/275.70 c 261s | 14 | 82025 | 58352 | 597644 0 | 0 | 0 277.54/277.72 c 263s | 14 | 82682 | 58452 | 597644 0 | 0 | 0 279.74/279.94 c 266s | 14 | 83287 | 58952 | 597644 0 | 0 | 0 281.94/282.15 c 268s | 14 | 83941 | 59452 | 597644 0 | 0 | 0 284.24/284.49 c 270s | 14 | 84550 | 59952 | 597644 0 | 0 | 0 286.54/286.74 c 272s | 14 | 85181 | 60452 | 597644 0 | 0 | 0 288.84/289.07 c 275s | 14 | 85831 | 60952 | 597644 0 | 0 | 0 291.36/291.53 c 277s | 14 | 86421 | 61452 | 597644 0 | 0 | 0 293.75/294.00 c 280s | 14 | 87049 | 61952 | 597644 0 | 0 | 0 296.25/296.41 c 282s | 14 | 87692 | 62452 | 597644 0 | 0 | 0 298.25/298.45 c 284s | 14 | 88200 | 62852 | 597644 0 | 0 | 0 300.25/300.49 c 286s | 14 | 88708 | 63252 | 597644 0 | 0 | 0 302.35/302.50 c 288s | 14 | 89199 | 63652 | 597644 0 | 0 | 0 304.35/304.53 c 290s | 14 | 89714 | 64052 | 597644 0 | 0 | 0 306.75/306.98 c 293s | 14 | 90356 | 64552 | 597644 0 | 0 | 0 309.05/309.23 c 295s | 14 | 90852 | 64952 | 597644 0 | 0 | 0 311.34/311.57 c 297s | 14 | 91325 | 65352 | 597644 0 | 0 | 0 313.74/313.93 c 300s | 14 | 91820 | 65752 | 597644 0 | 0 | 0 315.83/316.01 c 302s | 14 | 92354 | 66152 | 597644 0 | 0 | 0 318.23/318.47 c 304s | 14 | 92861 | 66552 | 597644 0 | 0 | 0 320.63/320.87 c 306s | 14 | 93556 | 67052 | 597644 0 | 0 | 0 322.93/323.16 c 309s | 14 | 94268 | 67552 | 597644 0 | 0 | 0 325.33/325.53 c 311s | 14 | 94916 | 68052 | 597644 0 | 0 | 0 328.13/328.35 c 314s | 14 | 95452 | 68452 | 597644 0 | 0 | 0 330.23/330.46 c 316s | 14 | 95948 | 68852 | 597644 0 | 0 | 0 332.33/332.59 c 318s | 14 | 96450 | 69252 | 597644 0 | 0 | 0 334.43/334.67 c 320s | 14 | 96960 | 69652 | 597644 0 | 0 | 0 336.54/336.76 c 322s | 14 | 97517 | 70052 | 597644 0 | 0 | 0 338.64/338.82 c 324s | 14 | 98005 | 70452 | 597644 0 | 0 | 0 340.94/341.15 c 327s | 14 | 98494 | 70852 | 597644 0 | 0 | 0 343.13/343.35 c 329s | 14 | 99009 | 71252 | 597644 0 | 0 | 0 345.23/345.43 c 331s | 14 | 99536 | 71652 | 597644 0 | 0 | 0 347.43/347.64 c 333s | 14 | 100087 | 72052 | 597644 0 | 0 | 0 349.73/349.92 c 336s | 14 | 100585 | 72452 | 597644 0 | 0 | 0 351.83/352.06 c 338s | 14 | 101084 | 72852 | 597644 0 | 0 | 0 354.13/354.39 c 340s | 14 | 101600 | 73252 | 597644 0 | 0 | 0 356.42/356.65 c 342s | 14 | 102327 | 73752 | 597644 0 | 0 | 0 358.72/358.90 c 344s | 14 | 102997 | 74252 | 597644 0 | 0 | 0 360.82/361.05 c 347s | 14 | 103567 | 74652 | 597644 0 | 0 | 0 362.82/363.05 c 349s | 14 | 104082 | 75052 | 597644 0 | 0 | 0 365.31/365.50 c 351s | 14 | 104717 | 75552 | 597644 0 | 0 | 0 367.61/367.87 c 353s | 14 | 105390 | 76052 | 597644 0 | 0 | 0 369.71/369.92 c 356s | 14 | 105894 | 76452 | 597644 0 | 0 | 0 371.91/372.10 c 358s | 14 | 106402 | 76852 | 597644 0 | 0 | 0 374.01/374.21 c 360s | 14 | 106927 | 77252 | 597644 0 | 0 | 0 376.41/376.61 c 362s | 14 | 107572 | 77752 | 597644 0 | 0 | 0 378.51/378.72 c 364s | 14 | 108073 | 78152 | 597644 0 | 0 | 0 381.01/381.25 c 367s | 14 | 108770 | 78652 | 597644 0 | 0 | 0 383.10/383.37 c 369s | 14 | 109267 | 79052 | 597644 0 | 0 | 0 385.30/385.55 c 371s | 14 | 109786 | 79452 | 597644 0 | 0 | 0 387.50/387.72 c 373s | 14 | 110317 | 79852 | 597644 0 | 0 | 0 389.70/389.98 c 376s | 14 | 110819 | 80252 | 597644 0 | 0 | 0 392.21/392.48 c 378s | 14 | 111158 | 80552 | 597644 0 | 0 | 0 394.41/394.69 c 380s | 14 | 111641 | 80952 | 597644 0 | 0 | 0 396.80/397.08 c 383s | 14 | 112140 | 81352 | 597644 0 | 0 | 0 398.90/399.19 c 385s | 14 | 112651 | 81752 | 597644 0 | 0 | 0 401.10/401.32 c 387s | 14 | 113213 | 82152 | 597644 0 | 0 | 0 403.30/403.55 c 389s | 14 | 113737 | 82552 | 597644 0 | 0 | 0 405.59/405.83 c 391s | 14 | 114234 | 82952 | 597644 0 | 0 | 0 407.90/408.16 c 394s | 14 | 114728 | 83352 | 597644 0 | 0 | 0 410.39/410.62 c 396s | 14 | 115217 | 83752 | 597644 0 | 0 | 0 412.59/412.89 c 398s | 14 | 115747 | 84152 | 597644 0 | 0 | 0 415.19/415.45 c 401s | 14 | 116206 | 84552 | 597644 0 | 0 | 0 417.58/417.85 c 403s | 14 | 116686 | 84952 | 597644 0 | 0 | 0 419.88/420.11 c 406s | 14 | 117197 | 85352 | 597644 0 | 0 | 0 422.39/422.66 c 408s | 14 | 117716 | 85752 | 597644 0 | 0 | 0 424.89/425.16 c 411s | 14 | 118207 | 86152 | 597644 0 | 0 | 0 427.39/427.69 c 413s | 14 | 118710 | 86552 | 597644 0 | 0 | 0 429.89/430.14 c 416s | 14 | 119218 | 86952 | 597644 0 | 0 | 0 432.29/432.57 c 418s | 14 | 119718 | 87352 | 657409 0 | 0 | 0 433.89/434.17 c 420s | 15 | 120068 | 87632 | 657409 0 | 0 | 0 436.68/436.95 c 423s | 15 | 120750 | 87732 | 657409 0 | 0 | 0 439.08/439.30 c 425s | 15 | 121449 | 88232 | 657409 0 | 0 | 0 441.38/441.67 c 427s | 15 | 122076 | 88732 | 657409 0 | 0 | 0 444.29/444.55 c 430s | 15 | 122598 | 89132 | 657409 0 | 0 | 0 446.38/446.65 c 432s | 15 | 123106 | 89532 | 657409 0 | 0 | 0 448.47/448.73 c 434s | 15 | 123640 | 89932 | 657409 0 | 0 | 0 450.78/451.01 c 437s | 15 | 124122 | 90332 | 657409 0 | 0 | 0 452.77/453.06 c 439s | 15 | 124663 | 90732 | 657409 0 | 0 | 0 455.17/455.48 c 441s | 15 | 125381 | 91232 | 657409 0 | 0 | 0 457.57/457.84 c 443s | 15 | 126024 | 91732 | 657409 0 | 0 | 0 459.68/459.92 c 446s | 15 | 126514 | 92132 | 657409 0 | 0 | 0 462.17/462.42 c 448s | 15 | 127231 | 92632 | 657409 0 | 0 | 0 464.17/464.49 c 450s | 15 | 127754 | 93032 | 657409 0 | 0 | 0 466.18/466.50 c 452s | 15 | 128281 | 93432 | 657409 0 | 0 | 0 468.57/468.87 c 454s | 15 | 128947 | 93932 | 657409 0 | 0 | 0 471.17/471.41 c 457s | 15 | 129591 | 94432 | 657409 0 | 0 | 0 473.17/473.43 c 459s | 15 | 130116 | 94832 | 657409 0 | 0 | 0 475.37/475.67 c 461s | 15 | 130600 | 95232 | 657409 0 | 0 | 0 477.47/477.73 c 463s | 15 | 131105 | 95632 | 657409 0 | 0 | 0 479.57/479.81 c 465s | 15 | 131609 | 96032 | 657409 0 | 0 | 0 481.87/482.17 c 468s | 15 | 132112 | 96432 | 657409 0 | 0 | 0 484.07/484.38 c 470s | 15 | 132622 | 96832 | 657409 0 | 0 | 0 486.26/486.58 c 472s | 15 | 133109 | 97232 | 657409 0 | 0 | 0 488.56/488.89 c 474s | 15 | 133683 | 97632 | 657409 0 | 0 | 0 491.06/491.31 c 477s | 15 | 134180 | 98032 | 657409 0 | 0 | 0 493.06/493.33 c 479s | 15 | 134703 | 98432 | 657409 0 | 0 | 0 495.56/495.87 c 481s | 15 | 135367 | 98932 | 657409 0 | 0 | 0 497.76/498.00 c 484s | 15 | 135853 | 99332 | 657409 0 | 0 | 0 499.96/500.22 c 486s | 15 | 136387 | 99732 | 657409 0 | 0 | 0 501.96/502.26 c 488s | 15 | 136878 | 100132 | 657409 0 | 0 | 0 504.16/504.43 c 490s | 15 | 137422 | 100532 | 657409 0 | 0 | 0 506.25/506.54 c 492s | 15 | 137947 | 100932 | 657409 0 | 0 | 0 508.55/508.87 c 494s | 15 | 138431 | 101332 | 657409 0 | 0 | 0 510.95/511.22 c 497s | 15 | 138934 | 101732 | 657409 0 | 0 | 0 513.25/513.50 c 499s | 15 | 139415 | 102132 | 657409 0 | 0 | 0 515.55/515.90 c 501s | 15 | 139899 | 102532 | 657409 0 | 0 | 0 517.85/518.11 c 504s | 15 | 140420 | 102932 | 657409 0 | 0 | 0 520.05/520.34 c 506s | 15 | 140907 | 103332 | 657409 0 | 0 | 0 522.35/522.67 c 508s | 15 | 141392 | 103732 | 657409 0 | 0 | 0 524.75/525.06 c 511s | 15 | 141881 | 104132 | 657409 0 | 0 | 0 527.04/527.37 c 513s | 15 | 142364 | 104532 | 657409 0 | 0 | 0 529.54/529.85 c 515s | 15 | 142862 | 104932 | 657409 0 | 0 | 0 531.94/532.25 c 518s | 15 | 143257 | 105232 | 657409 0 | 0 | 0 534.45/534.72 c 520s | 15 | 143798 | 105632 | 657409 0 | 0 | 0 536.94/537.29 c 523s | 15 | 144269 | 106032 | 657409 0 | 0 | 0 539.44/539.76 c 525s | 15 | 144798 | 106432 | 657409 0 | 0 | 0 542.14/542.45 c 528s | 15 | 145267 | 106832 | 657409 0 | 0 | 0 544.44/544.72 c 530s | 15 | 145760 | 107232 | 657409 0 | 0 | 0 546.83/547.18 c 533s | 15 | 146249 | 107632 | 657409 0 | 0 | 0 549.33/549.65 c 535s | 15 | 146724 | 108032 | 657409 0 | 0 | 0 551.73/552.01 c 538s | 15 | 147244 | 108432 | 657409 0 | 0 | 0 553.83/554.16 c 540s | 15 | 147614 | 108732 | 657409 0 | 0 | 0 555.93/556.25 c 542s | 15 | 147960 | 109032 | 657409 0 | 0 | 0 557.93/558.29 c 544s | 15 | 148334 | 109332 | 657409 0 | 0 | 0 560.53/560.80 c 546s | 15 | 148831 | 109732 | 657409 0 | 0 | 0 562.53/562.85 c 548s | 15 | 149191 | 110032 | 657409 0 | 0 | 0 564.73/565.04 c 551s | 15 | 149550 | 110332 | 657409 0 | 0 | 0 567.22/567.50 c 553s | 15 | 150029 | 110732 | 657409 0 | 0 | 0 569.22/569.60 c 555s | 15 | 150407 | 111032 | 657409 0 | 0 | 0 571.32/571.63 c 557s | 15 | 150794 | 111332 | 657409 0 | 0 | 0 573.82/574.14 c 560s | 15 | 151297 | 111732 | 657409 0 | 0 | 0 576.23/576.56 c 562s | 15 | 151819 | 112132 | 657409 0 | 0 | 0 578.62/578.98 c 565s | 15 | 152321 | 112532 | 657409 0 | 0 | 0 581.02/581.39 c 567s | 15 | 152860 | 112932 | 657409 0 | 0 | 0 583.62/584.00 c 570s | 15 | 153346 | 113332 | 657409 0 | 0 | 0 586.21/586.58 c 572s | 15 | 153835 | 113732 | 657409 0 | 0 | 0 588.72/589.02 c 575s | 15 | 154358 | 114132 | 657409 0 | 0 | 0 591.22/591.57 c 577s | 15 | 154862 | 114532 | 657409 0 | 0 | 0 593.92/594.21 c 580s | 15 | 155328 | 114932 | 657409 0 | 0 | 0 596.91/597.26 c 583s | 15 | 155691 | 115232 | 657409 0 | 0 | 0 599.01/599.39 c 585s | 15 | 156078 | 115532 | 657409 0 | 0 | 0 601.72/602.06 c 588s | 15 | 156613 | 115932 | 657409 0 | 0 | 0 603.81/604.11 c 590s | 15 | 156967 | 116232 | 657409 0 | 0 | 0 605.81/606.18 c 592s | 15 | 157365 | 116532 | 657409 0 | 0 | 0 607.81/608.19 c 594s | 15 | 157749 | 116832 | 657409 0 | 0 | 0 609.91/610.29 c 596s | 15 | 158105 | 117132 | 657409 0 | 0 | 0 612.41/612.78 c 598s | 15 | 158630 | 117532 | 657409 0 | 0 | 0 615.00/615.32 c 601s | 15 | 159151 | 117932 | 657409 0 | 0 | 0 617.10/617.45 c 603s | 15 | 159534 | 118232 | 657409 0 | 0 | 0 619.20/619.57 c 605s | 15 | 159933 | 118532 | 657409 0 | 0 | 0 621.81/622.16 c 608s | 15 | 160470 | 118932 | 657409 0 | 0 | 0 623.91/624.22 c 610s | 15 | 160814 | 119232 | 657409 0 | 0 | 0 625.90/626.25 c 612s | 15 | 161218 | 119532 | 657409 0 | 0 | 0 628.00/628.38 c 614s | 15 | 161593 | 119832 | 657409 0 | 0 | 0 630.20/630.58 c 616s | 15 | 161954 | 120132 | 657409 0 | 0 | 0 632.31/632.62 c 618s | 15 | 162313 | 120432 | 657409 0 | 0 | 0 634.80/635.17 c 621s | 15 | 162828 | 120832 | 657409 0 | 0 | 0 636.90/637.28 c 623s | 15 | 163210 | 121132 | 657409 0 | 0 | 0 639.10/639.44 c 625s | 15 | 163570 | 121432 | 657409 0 | 0 | 0 641.10/641.47 c 627s | 15 | 163929 | 121732 | 657409 0 | 0 | 0 643.20/643.51 c 629s | 15 | 164315 | 122032 | 657409 0 | 0 | 0 645.40/645.75 c 631s | 15 | 164712 | 122332 | 657409 0 | 0 | 0 647.39/647.77 c 633s | 15 | 165091 | 122632 | 657409 0 | 0 | 0 650.09/650.41 c 636s | 15 | 165629 | 123032 | 657409 0 | 0 | 0 652.18/652.51 c 638s | 15 | 165987 | 123332 | 657409 0 | 0 | 0 654.39/654.78 c 640s | 15 | 166360 | 123632 | 657409 0 | 0 | 0 656.69/657.02 c 643s | 15 | 166630 | 123832 | 657409 0 | 0 | 0 658.78/659.12 c 645s | 15 | 167013 | 124132 | 657409 0 | 0 | 0 660.89/661.29 c 647s | 15 | 167407 | 124432 | 657409 0 | 0 | 0 663.09/663.48 c 649s | 15 | 167756 | 124732 | 657409 0 | 0 | 0 665.29/665.65 c 651s | 15 | 168110 | 125032 | 657409 0 | 0 | 0 667.49/667.82 c 653s | 15 | 168482 | 125332 | 657409 0 | 0 | 0 669.69/670.02 c 656s | 15 | 168855 | 125632 | 657409 0 | 0 | 0 671.88/672.28 c 658s | 15 | 169233 | 125932 | 657409 0 | 0 | 0 674.18/674.56 c 660s | 15 | 169603 | 126232 | 657409 0 | 0 | 0 676.67/677.06 c 663s | 15 | 169938 | 126532 | 657409 0 | 0 | 0 679.07/679.50 c 665s | 15 | 170296 | 126832 | 657409 0 | 0 | 0 681.48/681.81 c 667s | 15 | 170660 | 127132 | 657409 0 | 0 | 0 683.68/684.06 c 670s | 15 | 171041 | 127432 | 657409 0 | 0 | 0 686.37/686.77 c 672s | 15 | 171425 | 127732 | 657409 0 | 0 | 0 688.77/689.10 c 675s | 15 | 171821 | 128032 | 657409 0 | 0 | 0 691.07/691.47 c 677s | 15 | 172186 | 128332 | 657409 0 | 0 | 0 693.57/693.98 c 680s | 15 | 172527 | 128632 | 657409 0 | 0 | 0 696.86/697.29 c 683s | 15 | 172906 | 128932 | 657409 0 | 0 | 0 699.56/699.97 c 686s | 15 | 173262 | 129232 | 657409 0 | 0 | 0 702.06/702.45 c 688s | 15 | 173647 | 129532 | 657409 0 | 0 | 0 704.66/705.02 c 691s | 15 | 173994 | 129832 | 657409 0 | 0 | 0 707.26/707.63 c 693s | 15 | 174361 | 130132 | 657409 0 | 0 | 0 709.86/710.24 c 696s | 15 | 174739 | 130432 | 657409 0 | 0 | 0 712.36/712.76 c 698s | 15 | 175108 | 130732 | 723150 0 | 0 | 0 714.57/714.95 c 701s | 15 | 175479 | 131032 | 723150 0 | 0 | 0 717.27/717.62 c 703s | 15 | 175939 | 131432 | 723150 0 | 0 | 0 717.97/718.35 c 704s | 16 | 176089 | 131552 | 723150 0 | 0 | 0 721.57/721.98 c 708s | 16 | 176697 | 131652 | 723150 0 | 0 | 0 723.87/724.26 c 710s | 16 | 177221 | 132052 | 723150 0 | 0 | 0 725.96/726.36 c 712s | 16 | 177723 | 132452 | 723150 0 | 0 | 0 728.16/728.52 c 714s | 16 | 178401 | 132852 | 723150 0 | 0 | 0 730.17/730.57 c 716s | 16 | 178970 | 133252 | 723150 0 | 0 | 0 732.27/732.68 c 718s | 16 | 179496 | 133652 | 723150 0 | 0 | 0 734.57/734.98 c 721s | 16 | 179977 | 134052 | 723150 0 | 0 | 0 737.06/737.44 c 723s | 16 | 180458 | 134452 | 723150 0 | 0 | 0 739.36/739.78 c 725s | 16 | 180993 | 134852 | 723150 0 | 0 | 0 741.66/742.03 c 728s | 16 | 181514 | 135252 | 723150 0 | 0 | 0 744.16/744.51 c 730s | 16 | 182045 | 135652 | 723150 0 | 0 | 0 746.56/746.91 c 732s | 16 | 182637 | 136052 | 723150 0 | 0 | 0 748.76/749.20 c 735s | 16 | 183193 | 136452 | 723150 0 | 0 | 0 750.85/751.22 c 737s | 16 | 183602 | 136752 | 723150 0 | 0 | 0 753.35/753.72 c 739s | 16 | 184150 | 137152 | 723150 0 | 0 | 0 755.85/756.25 c 742s | 16 | 184537 | 137452 | 723150 0 | 0 | 0 758.14/758.57 c 744s | 16 | 185087 | 137852 | 723150 0 | 0 | 0 760.45/760.81 c 746s | 16 | 185614 | 138252 | 723150 0 | 0 | 0 762.75/763.10 c 749s | 16 | 186167 | 138652 | 723150 0 | 0 | 0 764.95/765.37 c 751s | 16 | 186665 | 139052 | 723150 0 | 0 | 0 767.35/767.73 c 753s | 16 | 187163 | 139452 | 723150 0 | 0 | 0 769.65/770.01 c 756s | 16 | 187693 | 139852 | 723150 0 | 0 | 0 772.05/772.42 c 758s | 16 | 188222 | 140252 | 723150 0 | 0 | 0 774.54/774.96 c 761s | 16 | 188794 | 140652 | 723150 0 | 0 | 0 776.64/777.04 c 763s | 16 | 189185 | 140952 | 723150 0 | 0 | 0 779.24/779.64 c 765s | 16 | 189703 | 141352 | 723150 0 | 0 | 0 781.64/782.04 c 768s | 16 | 190238 | 141752 | 723150 0 | 0 | 0 784.05/784.47 c 770s | 16 | 190753 | 142152 | 723150 0 | 0 | 0 786.73/787.10 c 773s | 16 | 191252 | 142552 | 723150 0 | 0 | 0 789.23/789.60 c 775s | 16 | 191775 | 142952 | 723150 0 | 0 | 0 791.74/792.11 c 778s | 16 | 192262 | 143352 | 723150 0 | 0 | 0 794.23/794.62 c 780s | 16 | 192811 | 143752 | 723150 0 | 0 | 0 796.63/797.03 c 783s | 16 | 193296 | 144152 | 723150 0 | 0 | 0 799.22/799.64 c 785s | 16 | 193834 | 144552 | 723150 0 | 0 | 0 801.33/801.72 c 787s | 16 | 194196 | 144852 | 723150 0 | 0 | 0 803.43/803.81 c 789s | 16 | 194606 | 145152 | 723150 0 | 0 | 0 805.52/805.97 c 792s | 16 | 195004 | 145452 | 723150 0 | 0 | 0 807.82/808.25 c 794s | 16 | 195355 | 145752 | 723150 0 | 0 | 0 810.62/811.07 c 797s | 16 | 195732 | 146052 | 723150 0 | 0 | 0 812.72/813.11 c 799s | 16 | 196110 | 146352 | 723150 0 | 0 | 0 814.83/815.29 c 801s | 16 | 196496 | 146652 | 723150 0 | 0 | 0 817.03/817.43 c 803s | 16 | 196868 | 146952 | 723150 0 | 0 | 0 819.02/819.49 c 805s | 16 | 197278 | 147252 | 723150 0 | 0 | 0 821.33/821.79 c 807s | 16 | 197634 | 147552 | 723150 0 | 0 | 0 823.63/824.07 c 810s | 16 | 198022 | 147852 | 723150 0 | 0 | 0 825.92/826.30 c 812s | 16 | 198387 | 148152 | 723150 0 | 0 | 0 828.02/828.43 c 814s | 16 | 198775 | 148452 | 723150 0 | 0 | 0 830.22/830.61 c 816s | 16 | 199165 | 148752 | 723150 0 | 0 | 0 832.52/832.99 c 819s | 16 | 199552 | 149052 | 723150 0 | 0 | 0 834.71/835.16 c 821s | 16 | 199900 | 149352 | 723150 0 | 0 | 0 836.82/837.28 c 823s | 16 | 200272 | 149652 | 723150 0 | 0 | 0 839.11/839.52 c 825s | 16 | 200661 | 149952 | 723150 0 | 0 | 0 841.51/841.93 c 828s | 16 | 201022 | 150252 | 723150 0 | 0 | 0 843.81/844.21 c 830s | 16 | 201399 | 150552 | 723150 0 | 0 | 0 846.00/846.44 c 832s | 16 | 201774 | 150852 | 723150 0 | 0 | 0 848.30/848.76 c 834s | 16 | 202189 | 151152 | 723150 0 | 0 | 0 850.61/851.04 c 837s | 16 | 202588 | 151452 | 723150 0 | 0 | 0 852.90/853.37 c 839s | 16 | 202959 | 151752 | 723150 0 | 0 | 0 855.00/855.48 c 841s | 16 | 203390 | 152052 | 723150 0 | 0 | 0 857.30/857.73 c 843s | 16 | 203620 | 152252 | 723150 0 | 0 | 0 859.30/859.79 c 845s | 16 | 204013 | 152552 | 723150 0 | 0 | 0 861.40/861.88 c 847s | 16 | 204383 | 152852 | 723150 0 | 0 | 0 863.50/863.97 c 850s | 16 | 204757 | 153152 | 723150 0 | 0 | 0 865.60/866.02 c 852s | 16 | 205133 | 153452 | 723150 0 | 0 | 0 867.80/868.25 c 854s | 16 | 205489 | 153752 | 723150 0 | 0 | 0 870.20/870.69 c 856s | 16 | 206021 | 154152 | 723150 0 | 0 | 0 872.30/872.71 c 858s | 16 | 206403 | 154452 | 723150 0 | 0 | 0 874.30/874.71 c 860s | 16 | 206778 | 154752 | 723150 0 | 0 | 0 876.40/876.88 c 862s | 16 | 207158 | 155052 | 723150 0 | 0 | 0 878.39/878.89 c 864s | 16 | 207556 | 155352 | 723150 0 | 0 | 0 880.70/881.18 c 867s | 16 | 207938 | 155652 | 723150 0 | 0 | 0 882.79/883.26 c 869s | 16 | 208338 | 155952 | 723150 0 | 0 | 0 885.10/885.55 c 871s | 16 | 208718 | 156252 | 723150 0 | 0 | 0 887.19/887.70 c 873s | 16 | 209100 | 156552 | 723150 0 | 0 | 0 889.29/889.76 c 875s | 16 | 209446 | 156852 | 723150 0 | 0 | 0 891.39/891.89 c 877s | 16 | 209806 | 157152 | 723150 0 | 0 | 0 893.59/894.09 c 880s | 16 | 210152 | 157452 | 723150 0 | 0 | 0 896.19/896.63 c 882s | 16 | 210489 | 157752 | 723150 0 | 0 | 0 898.39/898.89 c 884s | 16 | 210839 | 158052 | 723150 0 | 0 | 0 900.79/901.25 c 887s | 16 | 211250 | 158352 | 723150 0 | 0 | 0 903.08/903.59 c 889s | 16 | 211498 | 158552 | 723150 0 | 0 | 0 905.18/905.65 c 891s | 16 | 211897 | 158852 | 723150 0 | 0 | 0 907.28/907.71 c 893s | 16 | 212283 | 159152 | 723150 0 | 0 | 0 909.48/909.97 c 896s | 16 | 212669 | 159452 | 723150 0 | 0 | 0 911.58/912.06 c 898s | 16 | 213066 | 159752 | 723150 0 | 0 | 0 913.78/914.22 c 900s | 16 | 213429 | 160052 | 723150 0 | 0 | 0 916.08/916.59 c 902s | 16 | 213801 | 160352 | 723150 0 | 0 | 0 918.68/919.12 c 905s | 16 | 214159 | 160652 | 723150 0 | 0 | 0 921.18/921.62 c 907s | 16 | 214533 | 160952 | 723150 0 | 0 | 0 923.48/923.96 c 910s | 16 | 214887 | 161252 | 723150 0 | 0 | 0 925.97/926.47 c 912s | 16 | 215248 | 161552 | 723150 0 | 0 | 0 928.27/928.71 c 914s | 16 | 215617 | 161852 | 723150 0 | 0 | 0 930.37/930.81 c 916s | 16 | 216026 | 162152 | 723150 0 | 0 | 0 932.77/933.29 c 919s | 16 | 216380 | 162452 | 723150 0 | 0 | 0 935.46/935.98 c 922s | 16 | 216741 | 162752 | 723150 0 | 0 | 0 938.06/938.55 c 924s | 16 | 217104 | 163052 | 723150 0 | 0 | 0 940.87/941.39 c 927s | 16 | 217443 | 163352 | 723150 0 | 0 | 0 943.66/944.12 c 930s | 16 | 217806 | 163652 | 723150 0 | 0 | 0 946.36/946.80 c 932s | 16 | 218158 | 163952 | 723150 0 | 0 | 0 948.76/949.26 c 935s | 16 | 218408 | 164152 | 723150 0 | 0 | 0 950.96/951.46 c 937s | 16 | 218759 | 164452 | 723150 0 | 0 | 0 953.27/953.77 c 939s | 16 | 219128 | 164752 | 723150 0 | 0 | 0 955.76/956.23 c 942s | 16 | 219494 | 165052 | 723150 0 | 0 | 0 958.26/958.70 c 944s | 16 | 219856 | 165352 | 723150 0 | 0 | 0 960.66/961.17 c 947s | 16 | 220425 | 165752 | 723150 0 | 0 | 0 962.76/963.27 c 949s | 16 | 220802 | 166052 | 723150 0 | 0 | 0 964.76/965.28 c 951s | 16 | 221200 | 166352 | 723150 0 | 0 | 0 966.86/967.39 c 953s | 16 | 221559 | 166652 | 723150 0 | 0 | 0 969.06/969.54 c 955s | 16 | 221931 | 166952 | 723150 0 | 0 | 0 971.06/971.58 c 957s | 16 | 222327 | 167252 | 723150 0 | 0 | 0 973.66/974.11 c 960s | 16 | 222846 | 167652 | 723150 0 | 0 | 0 975.75/976.28 c 962s | 16 | 223236 | 167952 | 723150 0 | 0 | 0 977.85/978.39 c 964s | 16 | 223601 | 168252 | 723150 0 | 0 | 0 980.16/980.60 c 966s | 16 | 223982 | 168552 | 723150 0 | 0 | 0 982.26/982.77 c 968s | 16 | 224326 | 168852 | 723150 0 | 0 | 0 984.46/984.91 c 971s | 16 | 224714 | 169152 | 723150 0 | 0 | 0 986.65/987.14 c 973s | 16 | 225065 | 169452 | 723150 0 | 0 | 0 988.85/989.38 c 975s | 16 | 225429 | 169752 | 723150 0 | 0 | 0 991.45/991.95 c 978s | 16 | 225779 | 170052 | 723150 0 | 0 | 0 994.06/994.55 c 980s | 16 | 226124 | 170352 | 723150 0 | 0 | 0 996.64/997.11 c 983s | 16 | 226474 | 170652 | 723150 0 | 0 | 0 999.74/1000.23 c 986s | 16 | 226853 | 170952 | 723150 0 | 0 | 0 1001.94/1002.45 c 988s | 16 | 227255 | 171252 | 723150 0 | 0 | 0 1004.24/1004.79 c 990s | 16 | 227658 | 171552 | 723150 0 | 0 | 0 1006.64/1007.17 c 993s | 16 | 228012 | 171852 | 723150 0 | 0 | 0 1008.84/1009.36 c 995s | 16 | 228417 | 172152 | 723150 0 | 0 | 0 1011.34/1011.83 c 997s | 16 | 228752 | 172452 | 723150 0 | 0 | 0 1013.54/1014.02 c 1000s | 16 | 229118 | 172752 | 723150 0 | 0 | 0 1015.84/1016.35 c 1002s | 16 | 229488 | 173052 | 723150 0 | 0 | 0 1018.24/1018.78 c 1004s | 16 | 229846 | 173352 | 723150 0 | 0 | 0 1020.64/1021.13 c 1007s | 16 | 230211 | 173652 | 723150 0 | 0 | 0 1023.03/1023.52 c 1009s | 16 | 230592 | 173952 | 723150 0 | 0 | 0 1025.33/1025.82 c 1011s | 16 | 230967 | 174252 | 723150 0 | 0 | 0 1027.53/1028.02 c 1014s | 16 | 231349 | 174552 | 723150 0 | 0 | 0 1029.73/1030.29 c 1016s | 16 | 231712 | 174852 | 723150 0 | 0 | 0 1032.54/1033.03 c 1019s | 16 | 232081 | 175152 | 723150 0 | 0 | 0 1035.03/1035.55 c 1021s | 16 | 232456 | 175452 | 723150 0 | 0 | 0 1037.63/1038.18 c 1024s | 16 | 232826 | 175752 | 723150 0 | 0 | 0 1040.43/1040.97 c 1027s | 16 | 233194 | 176052 | 723150 0 | 0 | 0 1043.03/1043.55 c 1029s | 16 | 233417 | 176252 | 723150 0 | 0 | 0 1045.43/1045.95 c 1032s | 16 | 233765 | 176552 | 723150 0 | 0 | 0 1047.93/1048.45 c 1034s | 16 | 234131 | 176852 | 723150 0 | 0 | 0 1050.13/1050.63 c 1036s | 16 | 234526 | 177152 | 723150 0 | 0 | 0 1052.53/1053.00 c 1039s | 16 | 234887 | 177452 | 723150 0 | 0 | 0 1054.93/1055.42 c 1041s | 16 | 235240 | 177752 | 723150 0 | 0 | 0 1057.22/1057.75 c 1043s | 16 | 235622 | 178052 | 723150 0 | 0 | 0 1059.32/1059.83 c 1045s | 16 | 236044 | 178352 | 723150 0 | 0 | 0 1061.42/1061.99 c 1048s | 16 | 236441 | 178652 | 723150 0 | 0 | 0 1063.92/1064.42 c 1050s | 16 | 237045 | 179052 | 723150 0 | 0 | 0 1066.11/1066.67 c 1052s | 16 | 237418 | 179352 | 723150 0 | 0 | 0 1068.31/1068.80 c 1054s | 16 | 237784 | 179652 | 723150 0 | 0 | 0 1070.41/1070.94 c 1057s | 16 | 238167 | 179952 | 723150 0 | 0 | 0 1072.61/1073.14 c 1059s | 16 | 238540 | 180252 | 723150 0 | 0 | 0 1075.11/1075.61 c 1061s | 16 | 238949 | 180552 | 723150 0 | 0 | 0 1077.71/1078.24 c 1064s | 16 | 239342 | 180852 | 723150 0 | 0 | 0 1080.01/1080.55 c 1066s | 16 | 239720 | 181152 | 723150 0 | 0 | 0 1082.51/1083.04 c 1069s | 16 | 240080 | 181452 | 723150 0 | 0 | 0 1085.00/1085.55 c 1071s | 16 | 240429 | 181752 | 723150 0 | 0 | 0 1087.31/1087.80 c 1073s | 16 | 240698 | 181952 | 723150 0 | 0 | 0 1089.51/1090.00 c 1076s | 16 | 241107 | 182252 | 723150 0 | 0 | 0 1091.81/1092.36 c 1078s | 16 | 241469 | 182552 | 723150 0 | 0 | 0 1094.11/1094.63 c 1080s | 16 | 241884 | 182852 | 723150 0 | 0 | 0 1096.40/1096.91 c 1083s | 16 | 242265 | 183152 | 723150 0 | 0 | 0 1098.70/1099.28 c 1085s | 16 | 242661 | 183452 | 723150 0 | 0 | 0 1101.10/1101.60 c 1087s | 16 | 243067 | 183752 | 723150 0 | 0 | 0 1103.20/1103.79 c 1089s | 16 | 243449 | 184052 | 723150 0 | 0 | 0 1105.79/1106.31 c 1092s | 16 | 243820 | 184352 | 723150 0 | 0 | 0 1108.19/1108.71 c 1094s | 16 | 244227 | 184652 | 723150 0 | 0 | 0 1110.50/1111.05 c 1097s | 16 | 244607 | 184952 | 723150 0 | 0 | 0 1112.99/1113.56 c 1099s | 16 | 244983 | 185252 | 723150 0 | 0 | 0 1115.69/1116.30 c 1102s | 16 | 245360 | 185552 | 723150 0 | 0 | 0 1118.20/1118.72 c 1104s | 16 | 245732 | 185852 | 723150 0 | 0 | 0 1120.70/1121.20 c 1107s | 16 | 246110 | 186152 | 723150 0 | 0 | 0 1123.09/1123.67 c 1109s | 16 | 246463 | 186452 | 723150 0 | 0 | 0 1125.49/1126.02 c 1112s | 16 | 246706 | 186652 | 723150 0 | 0 | 0 1127.79/1128.37 c 1114s | 16 | 247083 | 186952 | 723150 0 | 0 | 0 1130.19/1130.73 c 1116s | 16 | 247449 | 187252 | 723150 0 | 0 | 0 1132.39/1132.97 c 1119s | 16 | 247820 | 187552 | 723150 0 | 0 | 0 1134.59/1135.16 c 1121s | 16 | 248218 | 187852 | 723150 0 | 0 | 0 1136.99/1137.55 c 1123s | 16 | 248585 | 188152 | 723150 0 | 0 | 0 1139.38/1139.90 c 1125s | 16 | 248948 | 188452 | 723150 0 | 0 | 0 1141.88/1142.42 c 1128s | 16 | 249310 | 188752 | 723150 0 | 0 | 0 1144.59/1145.10 c 1131s | 16 | 249691 | 189052 | 723150 0 | 0 | 0 1146.58/1147.11 c 1133s | 16 | 249930 | 189252 | 723150 0 | 0 | 0 1149.28/1149.82 c 1135s | 16 | 250308 | 189552 | 723150 0 | 0 | 0 1151.98/1152.51 c 1138s | 16 | 250682 | 189852 | 723150 0 | 0 | 0 1153.98/1154.54 c 1140s | 16 | 250900 | 190052 | 723150 0 | 0 | 0 1155.98/1156.56 c 1142s | 16 | 251124 | 190252 | 723150 0 | 0 | 0 1159.58/1160.13 c 1146s | 16 | 251469 | 190552 | 723150 0 | 0 | 0 1162.08/1162.63 c 1148s | 16 | 251837 | 190852 | 723150 0 | 0 | 0 1164.48/1165.06 c 1151s | 16 | 252183 | 191152 | 723150 0 | 0 | 0 1167.17/1167.72 c 1153s | 16 | 252563 | 191452 | 723150 0 | 0 | 0 1169.98/1170.52 c 1156s | 16 | 252932 | 191752 | 723150 0 | 0 | 0 1172.67/1173.27 c 1159s | 16 | 253273 | 192052 | 723150 0 | 0 | 0 1175.56/1176.16 c 1162s | 16 | 253627 | 192352 | 723150 0 | 0 | 0 1178.56/1179.17 c 1165s | 16 | 253964 | 192652 | 723150 0 | 0 | 0 1181.66/1182.21 c 1168s | 16 | 254318 | 192952 | 723150 0 | 0 | 0 1184.46/1185.06 c 1171s | 16 | 254741 | 193252 | 723150 0 | 0 | 0 1187.36/1187.90 c 1173s | 16 | 255086 | 193552 | 723150 0 | 0 | 0 1190.16/1190.78 c 1176s | 16 | 255466 | 193852 | 723150 0 | 0 | 0 1193.66/1194.20 c 1180s | 16 | 255821 | 194152 | 723150 0 | 0 | 0 1196.36/1196.96 c 1183s | 16 | 256200 | 194452 | 723150 0 | 0 | 0 1198.95/1199.54 c 1185s | 16 | 256565 | 194752 | 723150 0 | 0 | 0 1201.45/1202.08 c 1188s | 16 | 256925 | 195052 | 723150 0 | 0 | 0 1204.25/1204.82 c 1190s | 16 | 257290 | 195352 | 723150 0 | 0 | 0 1206.85/1207.43 c 1193s | 16 | 257652 | 195652 | 723150 0 | 0 | 0 1209.65/1210.28 c 1196s | 16 | 258023 | 195952 | 723150 0 | 0 | 0 1212.35/1212.97 c 1199s | 16 | 258387 | 196252 | 795466 0 | 0 | 0 1215.14/1215.79 c 1201s | 16 | 258760 | 196552 | 795466 0 | 0 | 0 1218.25/1218.83 c 1204s | 16 | 259120 | 196852 | 795466 0 | 0 | 0 1220.25/1220.88 c 1206s | 16 | 259344 | 197052 | 795466 0 | 0 | 0 1222.66/1223.25 c 1209s | 16 | 259564 | 197252 | 795466 0 | 0 | 0 1224.55/1225.11 c 1211s | 17 | 259806 | 197432 | 795466 0 | 0 | 0 1229.65/1230.20 c 1216s | 17 | 260416 | 197532 | 795466 0 | 0 | 0 1231.85/1232.42 c 1218s | 17 | 260820 | 197832 | 795466 0 | 0 | 0 1234.15/1234.79 c 1220s | 17 | 261228 | 198132 | 795466 0 | 0 | 0 1237.25/1237.88 c 1223s | 17 | 261710 | 198432 | 795466 0 | 0 | 0 1239.74/1240.39 c 1226s | 17 | 262215 | 198832 | 795466 0 | 0 | 0 1242.34/1242.90 c 1228s | 17 | 262712 | 199232 | 795466 0 | 0 | 0 1244.75/1245.37 c 1231s | 17 | 263186 | 199632 | 795466 0 | 0 | 0 1247.34/1247.94 c 1234s | 17 | 263748 | 200032 | 795466 0 | 0 | 0 1249.94/1250.59 c 1236s | 17 | 264297 | 200432 | 795466 0 | 0 | 0 1252.64/1253.24 c 1239s | 17 | 264821 | 200832 | 795466 0 | 0 | 0 1255.24/1255.83 c 1241s | 17 | 265320 | 201232 | 795466 0 | 0 | 0 1257.24/1257.83 c 1243s | 17 | 265693 | 201532 | 795466 0 | 0 | 0 1259.24/1259.88 c 1245s | 17 | 266066 | 201832 | 795466 0 | 0 | 0 1261.44/1262.03 c 1248s | 17 | 266469 | 202132 | 795466 0 | 0 | 0 1263.64/1264.21 c 1250s | 17 | 266845 | 202432 | 795466 0 | 0 | 0 1265.83/1266.46 c 1252s | 17 | 267195 | 202732 | 795466 0 | 0 | 0 1268.03/1268.68 c 1254s | 17 | 267624 | 203032 | 795466 0 | 0 | 0 1270.44/1271.04 c 1257s | 17 | 267989 | 203332 | 795466 0 | 0 | 0 1272.83/1273.44 c 1259s | 17 | 268354 | 203632 | 795466 0 | 0 | 0 1275.54/1276.14 c 1262s | 17 | 268729 | 203932 | 795466 0 | 0 | 0 1277.93/1278.52 c 1264s | 17 | 269078 | 204232 | 795466 0 | 0 | 0 1280.53/1281.17 c 1267s | 17 | 269435 | 204532 | 795466 0 | 0 | 0 1282.93/1283.51 c 1269s | 17 | 269689 | 204732 | 795466 0 | 0 | 0 1284.93/1285.59 c 1271s | 17 | 270084 | 205032 | 795466 0 | 0 | 0 1287.43/1288.08 c 1274s | 17 | 270605 | 205432 | 795466 0 | 0 | 0 1289.53/1290.14 c 1276s | 17 | 271012 | 205732 | 795466 0 | 0 | 0 1291.63/1292.24 c 1278s | 17 | 271435 | 206032 | 795466 0 | 0 | 0 1294.24/1294.87 c 1280s | 17 | 272048 | 206432 | 795466 0 | 0 | 0 1296.33/1296.93 c 1283s | 17 | 272417 | 206732 | 795466 0 | 0 | 0 1298.42/1299.06 c 1285s | 17 | 272776 | 207032 | 795466 0 | 0 | 0 1300.52/1301.14 c 1287s | 17 | 273238 | 207332 | 795466 0 | 0 | 0 1302.62/1303.20 c 1289s | 17 | 273625 | 207632 | 795466 0 | 0 | 0 1305.02/1305.61 c 1291s | 17 | 273987 | 207932 | 795466 0 | 0 | 0 1307.42/1308.09 c 1294s | 17 | 274343 | 208232 | 795466 0 | 0 | 0 1309.92/1310.58 c 1296s | 17 | 274743 | 208532 | 795466 0 | 0 | 0 1312.42/1313.01 c 1299s | 17 | 275151 | 208832 | 795466 0 | 0 | 0 1315.02/1315.66 c 1301s | 17 | 275561 | 209132 | 795466 0 | 0 | 0 1317.82/1318.40 c 1304s | 17 | 275940 | 209432 | 795466 0 | 0 | 0 1321.31/1321.92 c 1308s | 17 | 276321 | 209732 | 795466 0 | 0 | 0 1323.51/1324.13 c 1310s | 17 | 276686 | 210032 | 795466 0 | 0 | 0 1325.91/1326.50 c 1312s | 17 | 277038 | 210332 | 795466 0 | 0 | 0 1328.41/1329.00 c 1315s | 17 | 277446 | 210632 | 795466 0 | 0 | 0 1330.52/1331.16 c 1317s | 17 | 277848 | 210932 | 795466 0 | 0 | 0 1332.91/1333.56 c 1319s | 17 | 278244 | 211232 | 795466 0 | 0 | 0 1335.51/1336.15 c 1322s | 17 | 278600 | 211532 | 795466 0 | 0 | 0 1337.91/1338.53 c 1324s | 17 | 279000 | 211832 | 795466 0 | 0 | 0 1340.42/1341.08 c 1327s | 17 | 279401 | 212132 | 795466 0 | 0 | 0 1343.31/1343.90 c 1329s | 17 | 279778 | 212432 | 795466 0 | 0 | 0 1346.11/1346.79 c 1332s | 17 | 280143 | 212732 | 795466 0 | 0 | 0 1348.91/1349.53 c 1335s | 17 | 280486 | 213032 | 795466 0 | 0 | 0 1351.51/1352.13 c 1338s | 17 | 280889 | 213332 | 795466 0 | 0 | 0 1354.01/1354.61 c 1340s | 17 | 281274 | 213632 | 795466 0 | 0 | 0 1356.51/1357.12 c 1343s | 17 | 281550 | 213832 | 795466 0 | 0 | 0 1358.91/1359.54 c 1345s | 17 | 281904 | 214132 | 795466 0 | 0 | 0 1361.01/1361.62 c 1347s | 17 | 282290 | 214432 | 795466 0 | 0 | 0 1363.21/1363.89 c 1349s | 17 | 282668 | 214732 | 795466 0 | 0 | 0 1365.71/1366.31 c 1352s | 17 | 283036 | 215032 | 795466 0 | 0 | 0 1368.40/1369.00 c 1355s | 17 | 283389 | 215332 | 795466 0 | 0 | 0 1371.01/1371.60 c 1357s | 17 | 283775 | 215632 | 795466 0 | 0 | 0 1373.80/1374.45 c 1360s | 17 | 284137 | 215932 | 795466 0 | 0 | 0 1376.71/1377.30 c 1363s | 17 | 284513 | 216232 | 795466 0 | 0 | 0 1379.51/1380.13 c 1366s | 17 | 284922 | 216532 | 795466 0 | 0 | 0 1382.11/1382.72 c 1368s | 17 | 285276 | 216832 | 795466 0 | 0 | 0 1384.61/1385.27 c 1371s | 17 | 285537 | 217032 | 795466 0 | 0 | 0 1386.81/1387.46 c 1373s | 17 | 285899 | 217332 | 795466 0 | 0 | 0 1389.21/1389.89 c 1375s | 17 | 286312 | 217632 | 795466 0 | 0 | 0 1392.01/1392.69 c 1378s | 17 | 286675 | 217932 | 795466 0 | 0 | 0 1394.70/1395.37 c 1381s | 17 | 287022 | 218232 | 795466 0 | 0 | 0 1397.51/1398.16 c 1384s | 17 | 287393 | 218532 | 795466 0 | 0 | 0 1400.40/1401.00 c 1387s | 17 | 287742 | 218832 | 795466 0 | 0 | 0 1403.11/1403.74 c 1389s | 17 | 288131 | 219132 | 795466 0 | 0 | 0 1406.10/1406.74 c 1392s | 17 | 288494 | 219432 | 795466 0 | 0 | 0 1408.89/1409.57 c 1395s | 17 | 288863 | 219732 | 795466 0 | 0 | 0 1411.90/1412.56 c 1398s | 17 | 289218 | 220032 | 795466 0 | 0 | 0 1414.40/1415.03 c 1401s | 17 | 289463 | 220232 | 795466 0 | 0 | 0 1416.60/1417.28 c 1403s | 17 | 289853 | 220532 | 795466 0 | 0 | 0 1419.20/1419.84 c 1405s | 17 | 290233 | 220832 | 795466 0 | 0 | 0 1421.70/1422.37 c 1408s | 17 | 290603 | 221132 | 795466 0 | 0 | 0 1424.20/1424.87 c 1410s | 17 | 290988 | 221432 | 795466 0 | 0 | 0 1426.50/1427.19 c 1413s | 17 | 291375 | 221732 | 795466 0 | 0 | 0 1429.29/1429.96 c 1416s | 17 | 291749 | 222032 | 795466 0 | 0 | 0 1432.20/1432.85 c 1418s | 17 | 292128 | 222332 | 795466 0 | 0 | 0 1435.00/1435.62 c 1421s | 17 | 292520 | 222632 | 795466 0 | 0 | 0 1437.89/1438.57 c 1424s | 17 | 292879 | 222932 | 795466 0 | 0 | 0 1440.09/1440.72 c 1426s | 17 | 293136 | 223132 | 795466 0 | 0 | 0 1442.19/1442.84 c 1428s | 17 | 293365 | 223332 | 795466 0 | 0 | 0 1445.89/1446.51 c 1432s | 17 | 293721 | 223632 | 795466 0 | 0 | 0 1448.59/1449.21 c 1435s | 17 | 294096 | 223932 | 795466 0 | 0 | 0 1451.18/1451.89 c 1437s | 17 | 294484 | 224232 | 795466 0 | 0 | 0 1453.59/1454.28 c 1440s | 17 | 294873 | 224532 | 795466 0 | 0 | 0 1456.49/1457.19 c 1443s | 17 | 295222 | 224832 | 795466 0 | 0 | 0 1459.38/1460.02 c 1446s | 17 | 295593 | 225132 | 795466 0 | 0 | 0 1462.49/1463.13 c 1449s | 17 | 295950 | 225432 | 795466 0 | 0 | 0 1465.28/1465.97 c 1452s | 17 | 296319 | 225732 | 795466 0 | 0 | 0 1468.07/1468.72 c 1454s | 17 | 296678 | 226032 | 795466 0 | 0 | 0 1470.78/1471.48 c 1457s | 17 | 297054 | 226332 | 795466 0 | 0 | 0 1473.68/1474.36 c 1460s | 17 | 297279 | 226532 | 795466 0 | 0 | 0 1476.17/1476.86 c 1462s | 17 | 297658 | 226832 | 795466 0 | 0 | 0 1478.67/1479.30 c 1465s | 17 | 298040 | 227132 | 795466 0 | 0 | 0 1481.27/1481.95 c 1468s | 17 | 298399 | 227432 | 795466 0 | 0 | 0 1484.07/1484.78 c 1470s | 17 | 298773 | 227732 | 795466 0 | 0 | 0 1486.17/1486.80 c 1472s | 17 | 299004 | 227932 | 795466 0 | 0 | 0 1488.96/1489.61 c 1475s | 17 | 299369 | 228232 | 795466 0 | 0 | 0 1491.87/1492.50 c 1478s | 17 | 299763 | 228532 | 795466 0 | 0 | 0 1494.76/1495.49 c 1481s | 17 | 300115 | 228832 | 795466 0 | 0 | 0 1497.77/1498.47 c 1484s | 17 | 300466 | 229132 | 795466 0 | 0 | 0 1500.76/1501.46 c 1487s | 17 | 300729 | 229332 | 795466 0 | 0 | 0 1503.56/1504.27 c 1490s | 17 | 301092 | 229632 | 795466 0 | 0 | 0 1506.56/1507.29 c 1493s | 17 | 301440 | 229932 | 795466 0 | 0 | 0 1508.76/1509.49 c 1495s | 17 | 301672 | 230132 | 795466 0 | 0 | 0 1510.96/1511.62 c 1497s | 17 | 301927 | 230332 | 795466 0 | 0 | 0 1513.06/1513.75 c 1499s | 17 | 302164 | 230532 | 795466 0 | 0 | 0 1515.17/1515.88 c 1501s | 17 | 302405 | 230732 | 795466 0 | 0 | 0 1517.46/1518.20 c 1504s | 17 | 302648 | 230932 | 795466 0 | 0 | 0 1519.46/1520.20 c 1506s | 17 | 302929 | 231132 | 795466 0 | 0 | 0 1522.36/1523.07 c 1509s | 17 | 303285 | 231432 | 795466 0 | 0 | 0 1525.26/1525.92 c 1512s | 17 | 303633 | 231732 | 795466 0 | 0 | 0 1527.96/1528.62 c 1514s | 17 | 303867 | 231932 | 795466 0 | 0 | 0 1530.46/1531.19 c 1517s | 17 | 304231 | 232232 | 795466 0 | 0 | 0 1532.96/1533.69 c 1519s | 17 | 304602 | 232532 | 795466 0 | 0 | 0 1535.76/1536.40 c 1522s | 17 | 304969 | 232832 | 795466 0 | 0 | 0 1538.65/1539.32 c 1525s | 17 | 305338 | 233132 | 795466 0 | 0 | 0 1541.46/1542.16 c 1528s | 17 | 305700 | 233432 | 795466 0 | 0 | 0 1544.26/1544.98 c 1531s | 17 | 306132 | 233732 | 795466 0 | 0 | 0 1547.06/1547.74 c 1533s | 17 | 306492 | 234032 | 795466 0 | 0 | 0 1549.05/1549.80 c 1535s | 17 | 306754 | 234232 | 795466 0 | 0 | 0 1551.95/1552.68 c 1538s | 17 | 306996 | 234432 | 795466 0 | 0 | 0 1555.15/1555.86 c 1541s | 17 | 307360 | 234732 | 795466 0 | 0 | 0 1557.35/1558.06 c 1544s | 17 | 307598 | 234932 | 795466 0 | 0 | 0 1559.56/1560.24 c 1546s | 17 | 307808 | 235132 | 795466 0 | 0 | 0 1561.65/1562.39 c 1548s | 17 | 308064 | 235332 | 795466 0 | 0 | 0 1563.86/1564.57 c 1550s | 17 | 308316 | 235532 | 795466 0 | 0 | 0 1566.05/1566.71 c 1552s | 17 | 308548 | 235732 | 795466 0 | 0 | 0 1568.15/1568.81 c 1554s | 17 | 308782 | 235932 | 795466 0 | 0 | 0 1570.26/1570.95 c 1557s | 17 | 309032 | 236132 | 795466 0 | 0 | 0 1572.36/1573.04 c 1559s | 17 | 309265 | 236332 | 795466 0 | 0 | 0 1574.35/1575.09 c 1561s | 17 | 309516 | 236532 | 795466 0 | 0 | 0 1577.25/1577.95 c 1564s | 17 | 309762 | 236732 | 795466 0 | 0 | 0 1579.35/1580.05 c 1566s | 17 | 309987 | 236932 | 795466 0 | 0 | 0 1581.45/1582.20 c 1568s | 17 | 310208 | 237132 | 795466 0 | 0 | 0 1583.65/1584.36 c 1570s | 17 | 310460 | 237332 | 795466 0 | 0 | 0 1585.75/1586.42 c 1572s | 17 | 310694 | 237532 | 795466 0 | 0 | 0 1588.05/1588.71 c 1574s | 17 | 310933 | 237732 | 795466 0 | 0 | 0 1591.06/1591.74 c 1577s | 17 | 311302 | 238032 | 795466 0 | 0 | 0 1593.15/1593.82 c 1579s | 17 | 311558 | 238232 | 795466 0 | 0 | 0 1596.05/1596.76 c 1582s | 17 | 311908 | 238532 | 795466 0 | 0 | 0 1598.35/1599.02 c 1585s | 17 | 312150 | 238732 | 795466 0 | 0 | 0 1601.24/1601.96 c 1588s | 17 | 312405 | 238932 | 795466 0 | 0 | 0 1603.25/1603.98 c 1590s | 17 | 312633 | 239132 | 795466 0 | 0 | 0 1605.54/1606.20 c 1592s | 17 | 312882 | 239332 | 795466 0 | 0 | 0 1607.85/1608.55 c 1594s | 17 | 313119 | 239532 | 795466 0 | 0 | 0 1610.45/1611.10 c 1597s | 17 | 313337 | 239732 | 795466 0 | 0 | 0 1612.64/1613.35 c 1599s | 17 | 313574 | 239932 | 795466 0 | 0 | 0 1614.84/1615.58 c 1601s | 17 | 313814 | 240132 | 795466 0 | 0 | 0 1617.05/1617.79 c 1603s | 17 | 314048 | 240332 | 795466 0 | 0 | 0 1619.34/1620.03 c 1606s | 17 | 314307 | 240532 | 795466 0 | 0 | 0 1621.45/1622.16 c 1608s | 17 | 314543 | 240732 | 795466 0 | 0 | 0 1623.74/1624.45 c 1610s | 17 | 314781 | 240932 | 795466 0 | 0 | 0 1627.04/1627.70 c 1613s | 17 | 315013 | 241132 | 795466 0 | 0 | 0 1629.14/1629.82 c 1615s | 17 | 315257 | 241332 | 795466 0 | 0 | 0 1631.24/1631.96 c 1618s | 17 | 315489 | 241532 | 795466 0 | 0 | 0 1633.45/1634.16 c 1620s | 17 | 315724 | 241732 | 795466 0 | 0 | 0 1635.54/1636.24 c 1622s | 17 | 315975 | 241932 | 795466 0 | 0 | 0 1637.84/1638.50 c 1624s | 17 | 316240 | 242132 | 795466 0 | 0 | 0 1640.14/1640.82 c 1626s | 17 | 316468 | 242332 | 795466 0 | 0 | 0 1642.24/1642.99 c 1629s | 17 | 316730 | 242532 | 795466 0 | 0 | 0 1644.34/1645.09 c 1631s | 17 | 316978 | 242732 | 795466 0 | 0 | 0 1646.54/1647.21 c 1633s | 17 | 317231 | 242932 | 795466 0 | 0 | 0 1649.44/1650.18 c 1636s | 17 | 317482 | 243132 | 795466 0 | 0 | 0 1652.34/1653.07 c 1639s | 17 | 317843 | 243432 | 795466 0 | 0 | 0 1654.54/1655.25 c 1641s | 17 | 318089 | 243632 | 795466 0 | 0 | 0 1656.74/1657.46 c 1643s | 17 | 318345 | 243832 | 795466 0 | 0 | 0 1659.63/1660.32 c 1646s | 17 | 318723 | 244132 | 795466 0 | 0 | 0 1662.64/1663.32 c 1649s | 17 | 319090 | 244432 | 795466 0 | 0 | 0 1664.64/1665.38 c 1651s | 17 | 319329 | 244632 | 795466 0 | 0 | 0 1667.83/1668.55 c 1654s | 17 | 319711 | 244932 | 795466 0 | 0 | 0 1670.14/1670.88 c 1656s | 17 | 319946 | 245132 | 795466 0 | 0 | 0 1673.13/1673.85 c 1659s | 17 | 320189 | 245332 | 795466 0 | 0 | 0 1675.74/1676.49 c 1662s | 17 | 320412 | 245532 | 795466 0 | 0 | 0 1678.33/1679.06 c 1665s | 17 | 320662 | 245732 | 795466 0 | 0 | 0 1680.84/1681.50 c 1667s | 17 | 320869 | 245932 | 795466 0 | 0 | 0 1683.24/1683.98 c 1670s | 17 | 321087 | 246132 | 795466 0 | 0 | 0 1685.83/1686.53 c 1672s | 17 | 321338 | 246332 | 795466 0 | 0 | 0 1688.13/1688.90 c 1674s | 17 | 321570 | 246532 | 795466 0 | 0 | 0 1690.73/1691.40 c 1677s | 17 | 321803 | 246732 | 795466 0 | 0 | 0 1693.14/1693.80 c 1679s | 17 | 322025 | 246932 | 795466 0 | 0 | 0 1695.33/1696.05 c 1682s | 17 | 322281 | 247132 | 795466 0 | 0 | 0 1698.33/1699.04 c 1685s | 17 | 322566 | 247332 | 795466 0 | 0 | 0 1701.23/1701.90 c 1687s | 17 | 322975 | 247632 | 795466 0 | 0 | 0 1703.23/1703.95 c 1690s | 17 | 323188 | 247832 | 795466 0 | 0 | 0 1705.33/1706.04 c 1692s | 17 | 323462 | 248032 | 795466 0 | 0 | 0 1708.33/1709.09 c 1695s | 17 | 323849 | 248332 | 795466 0 | 0 | 0 1710.53/1711.22 c 1697s | 17 | 324105 | 248532 | 795466 0 | 0 | 0 1712.63/1713.40 c 1699s | 17 | 324363 | 248732 | 795466 0 | 0 | 0 1714.83/1715.56 c 1701s | 17 | 324638 | 248932 | 795466 0 | 0 | 0 1716.93/1717.68 c 1703s | 17 | 324910 | 249132 | 795466 0 | 0 | 0 1719.02/1719.71 c 1705s | 17 | 325153 | 249332 | 795466 0 | 0 | 0 1721.03/1721.77 c 1707s | 17 | 325275 | 249432 | 795466 0 | 0 | 0 1723.53/1724.28 c 1710s | 17 | 325509 | 249632 | 795466 0 | 0 | 0 1726.13/1726.83 c 1712s | 17 | 325751 | 249832 | 795466 0 | 0 | 0 1728.42/1729.16 c 1715s | 17 | 326025 | 250032 | 795466 0 | 0 | 0 1730.63/1731.35 c 1717s | 17 | 326259 | 250232 | 795466 0 | 0 | 0 1732.83/1733.55 c 1719s | 17 | 326511 | 250432 | 795466 0 | 0 | 0 1735.93/1736.61 c 1722s | 17 | 326898 | 250732 | 795466 0 | 0 | 0 1738.33/1739.03 c 1725s | 17 | 327142 | 250932 | 795466 0 | 0 | 0 1740.42/1741.15 c 1727s | 17 | 327389 | 251132 | 795466 0 | 0 | 0 1742.93/1743.64 c 1729s | 17 | 327620 | 251332 | 795466 0 | 0 | 0 1745.92/1746.60 c 1732s | 17 | 327886 | 251532 | 795466 0 | 0 | 0 1748.12/1748.86 c 1734s | 17 | 328133 | 251732 | 795466 0 | 0 | 0 1750.53/1751.22 c 1737s | 17 | 328379 | 251932 | 795466 0 | 0 | 0 1752.93/1753.63 c 1739s | 17 | 328640 | 252132 | 795466 0 | 0 | 0 1755.22/1755.90 c 1741s | 17 | 328912 | 252332 | 795466 0 | 0 | 0 1757.33/1758.08 c 1744s | 17 | 329158 | 252532 | 795466 0 | 0 | 0 1759.82/1760.54 c 1746s | 17 | 329409 | 252732 | 795466 0 | 0 | 0 1762.03/1762.73 c 1748s | 17 | 329657 | 252932 | 795466 0 | 0 | 0 1764.03/1764.79 c 1750s | 17 | 329921 | 253132 | 795466 0 | 0 | 0 1766.32/1767.02 c 1753s | 17 | 330159 | 253332 | 795466 0 | 0 | 0 1769.33/1770.05 c 1756s | 17 | 330385 | 253532 | 795466 0 | 0 | 0 1771.43/1772.19 c 1758s | 17 | 330615 | 253732 | 795466 0 | 0 | 0 1773.63/1774.33 c 1760s | 17 | 330851 | 253932 | 795466 0 | 0 | 0 1775.93/1776.61 c 1762s | 17 | 331069 | 254132 | 795466 0 | 0 | 0 1778.03/1778.80 c 1764s | 17 | 331316 | 254332 | 795466 0 | 0 | 0 1780.41/1781.16 c 1767s | 17 | 331593 | 254532 | 795466 0 | 0 | 0 1782.92/1783.60 c 1769s | 17 | 331825 | 254732 | 795466 0 | 0 | 0 1784.91/1785.64 c 1771s | 17 | 332087 | 254932 | 795466 0 | 0 | 0 1787.32/1788.00 c 1774s | 17 | 332341 | 255132 | 795466 0 | 0 | 0 1789.62/1790.39 c 1776s | 17 | 332626 | 255332 | 795466 0 | 0 | 0 1792.72/1793.46 c 1779s | 17 | 332856 | 255532 | 795466 0 | 0 | 0 1794.81/1795.56 c 1781s | 17 | 333119 | 255732 | 795466 0 | 0 | 0 1797.02/1797.70 c 1783s | 17 | 333360 | 255932 | 795466 0 | 0 | 0 1799.02/1799.79 c 1785s | 17 | 333634 | 256132 | 795466 0 | 0 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4078644-1465219824/watcher-4078644-1465219824 -o /tmp/evaluation-result-4078644-1465219824/solver-4078644-1465219824 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8446 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078644-1465219824.opb pid=8640 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 2.11 2.03 3/180 8643 /proc/meminfo: memFree=30615660/32872528 swapFree=11196/354588 [pid=8643] ppid=8640 vsize=729532 CPUtime=0 cores=1,3,5,7 /proc/8643/stat : 8643 (toysat) R 8640 8643 8429 0 -1 4202496 2721 0 0 0 0 0 0 0 20 0 4 0 103915946 747040768 3593 33554432000 4194304 16246674 140733908449008 140733908448432 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8643/statm: 182895 3602 441 2943 0 179789 0 [pid=8643/tid=8644] ppid=8640 vsize=747964 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8644/stat : 8644 (toysat) S 8640 8643 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103915946 765915136 3664 33554432000 4194304 16246674 140733908449008 140431023123696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8643/tid=8645] ppid=8640 vsize=752060 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8645/stat : 8645 (toysat) S 8640 8643 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103915946 770109440 3681 33554432000 4194304 16246674 140733908449008 140430935043312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8643/tid=8646] ppid=8640 vsize=756156 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8646/stat : 8646 (toysat) S 8640 8643 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103915946 774303744 3697 33554432000 4194304 16246674 140733908449008 140430924569776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100189 s] /proc/loadavg: 2.04 2.11 2.03 3/180 8643 /proc/meminfo: memFree=30615660/32872528 swapFree=11196/354588 [pid=8643] ppid=8640 vsize=1220164 CPUtime=0.09 cores=1,3,5,7 /proc/8643/stat : 8643 (toysat) R 8640 8643 8429 0 -1 4202496 28828 0 0 0 5 4 0 0 20 0 4 0 103915946 1249447936 29637 33554432000 4194304 16246674 140733908449008 140733908448320 4220530 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8643/statm: 305041 29637 801 2943 0 301935 0 [pid=8643/tid=8644] ppid=8640 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8644/stat : 8644 (toysat) S 8640 8643 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103915946 1249447936 29637 33554432000 4194304 16246674 140733908449008 140431023123696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8643/tid=8645] ppid=8640 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8645/stat : 8645 (toysat) S 8640 8643 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103915946 1249447936 29637 33554432000 4194304 16246674 140733908449008 140430935043312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8643/tid=8646] ppid=8640 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8646/stat : 8646 (toysat) S 8640 8643 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103915946 1249447936 29637 33554432000 4194304 16246674 140733908449008 140430924569776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200557 s] /proc/loadavg: 2.04 2.11 2.03 3/180 8643 /proc/meminfo: memFree=30615660/32872528 swapFree=11196/354588 [pid=8643] ppid=8640 vsize=1311300 CPUtime=0.19 cores=1,3,5,7 /proc/8643/stat : 8643 (toysat) R 8640 8643 8429 0 -1 4202496 51021 0 0 0 12 7 0 0 20 0 4 0 103915946 1342771200 52341 33554432000 4194304 16246674 140733908449008 140733908448320 4221105 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8643/statm: 327825 52349 801 2943 0 324719 0 [pid=8643/tid=8644] ppid=8640 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8644/stat : 8644 (toysat) S 8640 8643 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103915946 1342771200 52353 33554432000 4194304 16246674 140733908449008 140431023123696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8643/tid=8645] ppid=8640 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8645/stat : 8645 (toysat) S 8640 8643 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103915946 1342771200 52358 33554432000 4194304 16246674 140733908449008 140430935043312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8643/tid=8646] ppid=8640 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8646/stat : 8646 (toysat) S 8640 8643 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103915946 1342771200 52362 33554432000 4194304 16246674 140733908449008 140430924569776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1311300 [startup+0.300558 s] /proc/loadavg: 2.04 2.11 2.03 3/180 8643 /proc/meminfo: memFree=30615660/32872528 swapFree=11196/354588 [pid=8643] ppid=8640 vsize=1314372 CPUtime=0.29 cores=1,3,5,7 /proc/8643/stat : 8643 (toysat) R 8640 8643 8429 0 -1 4202496 61793 0 0 0 20 9 0 0 20 0 4 0 103915946 1345916928 63113 33554432000 4194304 16246674 140733908449008 140733908432000 4221116 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8643/statm: 328593 63113 801 2943 0 325487 0 [pid=8643/tid=8644] ppid=8640 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8644/stat : 8644 (toysat) S 8640 8643 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103915946 1345916928 63113 33554432000 4194304 16246674 140733908449008 140431023123696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8643/tid=8645] ppid=8640 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8645/stat : 8645 (toysat) S 8640 8643 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103915946 1345916928 63113 33554432000 4194304 16246674 140733908449008 140430935043312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8643/tid=8646] ppid=8640 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8646/stat : 8646 (toysat) S 8640 8643 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103915946 1345916928 63113 33554432000 4194304 16246674 140733908449008 140430924569776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1314372 [startup+0.700501 s] /proc/loadavg: 2.04 2.11 2.03 3/180 8643 /proc/meminfo: memFree=30615660/32872528 swapFree=11196/354588 [pid=8643] ppid=8640 vsize=1314372 CPUtime=0.69 cores=1,3,5,7 /proc/8643/stat : 8643 (toysat) R 8640 8643 8429 0 -1 4202496 71239 0 0 0 59 10 0 0 20 0 4 0 103915946 1345916928 72559 33554432000 4194304 16246674 140733908449008 140733908432000 7364404 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8643/statm: 328593 72559 801 2943 0 325487 0 [pid=8643/tid=8644] ppid=8640 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8644/stat : 8644 (toysat) S 8640 8643 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103915946 1345916928 72559 33554432000 4194304 16246674 140733908449008 140431023123696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8643/tid=8645] ppid=8640 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8645/stat : 8645 (toysat) S 8640 8643 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103915946 1345916928 72559 33554432000 4194304 16246674 140733908449008 140430935043312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8643/tid=8646] ppid=8640 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8646/stat : 8646 (toysat) S 8640 8643 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103915946 1345916928 72559 33554432000 4194304 16246674 140733908449008 140430924569776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1314372 [startup+1.50045 s] /proc/loadavg: 2.04 2.11 2.03 3/184 8647 /proc/meminfo: memFree=30287432/32872528 swapFree=11196/354588 [pid=8643] ppid=8640 vsize=1314372 CPUtime=1.49 cores=1,3,5,7 /proc/8643/stat : 8643 (toysat) R 8640 8643 8429 0 -1 4202496 84903 0 0 0 137 12 0 0 20 0 4 0 103915946 1345916928 86223 33554432000 4194304 16246674 140733908449008 140733908446848 8057245 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8643/statm: 328593 86223 802 2943 0 325487 0 [pid=8643/tid=8644] ppid=8640 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8644/stat : 8644 (toysat) S 8640 8643 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103915946 1345916928 86223 33554432000 4194304 16246674 140733908449008 140431023123696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8643/tid=8645] ppid=8640 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8645/stat : 8645 (toysat) S 8640 8643 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103915946 1345916928 86223 33554432000 4194304 16246674 140733908449008 140430935043312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8643/tid=8646] ppid=8640 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8646/stat : 8646 (toysat) S 8640 8643 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103915946 1345916928 86223 33554432000 4194304 16246674 140733908449008 140430924569776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1314372 [startup+3.10049 s] /proc/loadavg: 2.04 2.11 2.03 3/184 8647 /proc/meminfo: memFree=30189224/32872528 swapFree=11196/354588 [pid=8643] ppid=8640 vsize=1322564 CPUtime=3.09 cores=1,3,5,7 /proc/8643/stat : 8643 (toysat) R 8640 8643 8429 0 -1 4202496 150833 0 0 0 288 21 0 0 20 0 4 0 103915946 1354305536 152153 33554432000 4194304 16246674 140733908449008 140733908432000 7378128 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8643/statm: 330641 152153 802 2943 0 327535 0 [pid=8643/tid=8644] ppid=8640 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8644/stat : 8644 (toysat) S 8640 8643 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103915946 1354305536 152153 33554432000 4194304 16246674 140733908449008 140431023123696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8643/tid=8645] ppid=8640 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8645/stat : 8645 (toysat) S 8640 8643 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103915946 1354305536 152153 33554432000 4194304 16246674 140733908449008 140430935043312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8643/tid=8646] ppid=8640 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8646/stat : 8646 (toysat) S 8640 8643 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103915946 1354305536 152153 33554432000 4194304 16246674 140733908449008 140430924569776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1322564 [startup+6.30048 s] /proc/loadavg: 2.11 2.12 2.04 3/184 8696 /proc/meminfo: memFree=30514104/32872528 swapFree=11196/354588 [pid=8643] ppid=8640 vsize=1336900 CPUtime=6.29 cores=1,3,5,7 /proc/8643/stat : 8643 (toysat) R 8640 8643 8429 0 -1 4202496 274839 0 0 0 590 39 0 0 20 0 4 0 103915946 1368985600 276159 33554432000 4194304 16246674 140733908449008 140733908430912 6761416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8643/statm: 334225 276159 836 2943 0 331119 0 [pid=8643/tid=8644] ppid=8640 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8644/stat : 8644 (toysat) S 8640 8643 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103915946 1368985600 276159 33554432000 4194304 16246674 140733908449008 140431023123696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8643/tid=8645] ppid=8640 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8645/stat : 8645 (toysat) S 8640 8643 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103915946 1368985600 276159 33554432000 4194304 16246674 140733908449008 140430935043312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8643/tid=8646] ppid=8640 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8646/stat : 8646 (toysat) S 8640 8643 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103915946 1368985600 276159 33554432000 4194304 16246674 140733908449008 140430924569776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1336900 [startup+12.7005 s] /proc/loadavg: 2.11 2.12 2.04 3/184 8696 /proc/meminfo: memFree=29473212/32872528 swapFree=11196/354588 [pid=8643] ppid=8640 vsize=1336900 CPUtime=12.69 cores=1,3,5,7 /proc/8643/stat : 8643 (toysat) R 8640 8643 8429 0 -1 4202496 274841 0 0 0 1230 39 0 0 20 0 4 0 103915946 1368985600 276161 33554432000 4194304 16246674 140733908449008 140733908446912 13923798 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8643/statm: 334225 276161 836 2943 0 331119 0 [pid=8643/tid=8644] ppid=8640 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8644/stat : 8644 (toysat) S 8640 8643 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103915946 1368985600 276161 33554432000 4194304 16246674 140733908449008 140431023123696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8643/tid=8645] ppid=8640 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8645/stat : 8645 (toysat) S 8640 8643 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103915946 1368985600 276161 33554432000 4194304 16246674 140733908449008 140430935043312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8643/tid=8646] ppid=8640 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8646/stat : 8646 (toysat) S 8640 8643 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103915946 1368985600 276161 33554432000 4194304 16246674 140733908449008 140430924569776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1336900 [startup+25.5005 s] /proc/loadavg: 2.16 2.13 2.04 3/184 8745 /proc/meminfo: memFree=29483508/32872528 swapFree=11196/354588 [pid=8643] ppid=8640 vsize=1336900 CPUtime=25.48 cores=1,3,5,7 /proc/8643/stat : 8643 (toysat) R 8640 8643 8429 0 -1 4202496 274895 0 0 0 2509 39 0 0 20 0 4 0 103915946 1368985600 276214 33554432000 4194304 16246674 140733908449008 140733908430912 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8643/statm: 334225 276214 882 2943 0 331119 0 [pid=8643/tid=8644] ppid=8640 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8644/stat : 8644 (toysat) S 8640 8643 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103915946 1368985600 276214 33554432000 4194304 16246674 140733908449008 140431023123696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8643/tid=8645] ppid=8640 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8645/stat : 8645 (toysat) S 8640 8643 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103915946 1368985600 276214 33554432000 4194304 16246674 140733908449008 140430935043312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8643/tid=8646] ppid=8640 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8646/stat : 8646 (toysat) S 8640 8643 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103915946 1368985600 276214 33554432000 4194304 16246674 140733908449008 140430924569776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1336900 [startup+51.1005 s] /proc/loadavg: 2.11 2.12 2.04 3/183 8745 /proc/meminfo: memFree=27862308/32872528 swapFree=11196/354588 [pid=8643] ppid=8640 vsize=1336900 CPUtime=51.08 cores=1,3,5,7 /proc/8643/stat : 8643 (toysat) R 8640 8643 8429 0 -1 4202496 274911 0 0 0 5068 40 0 0 20 0 4 0 103915946 1368985600 276214 33554432000 4194304 16246674 140733908449008 140733908430912 5677740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8643/statm: 334225 276214 882 2943 0 331119 0 [pid=8643/tid=8644] ppid=8640 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8644/stat : 8644 (toysat) S 8640 8643 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103915946 1368985600 276214 33554432000 4194304 16246674 140733908449008 140431023123696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8643/tid=8645] ppid=8640 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8645/stat : 8645 (toysat) S 8640 8643 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103915946 1368985600 276214 33554432000 4194304 16246674 140733908449008 140430935043312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8643/tid=8646] ppid=8640 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8646/stat : 8646 (toysat) S 8640 8643 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103915946 1368985600 276214 33554432000 4194304 16246674 140733908449008 140430924569776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1336900 [startup+102.301 s] /proc/loadavg: 2.04 2.10 2.03 3/178 8760 /proc/meminfo: memFree=30497612/32872528 swapFree=11196/354588 [pid=8643] ppid=8640 vsize=1336900 CPUtime=102.25 cores=1,3,5,7 /proc/8643/stat : 8643 (toysat) R 8640 8643 8429 0 -1 4202496 274948 0 0 0 10185 40 0 0 20 0 4 0 103915946 1368985600 276214 33554432000 4194304 16246674 140733908449008 140733908430912 5824045 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8643/statm: 334225 276214 882 2943 0 331119 0 [pid=8643/tid=8644] ppid=8640 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8644/stat : 8644 (toysat) S 8640 8643 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103915946 1368985600 276214 33554432000 4194304 16246674 140733908449008 140431023123696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8643/tid=8645] ppid=8640 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8645/stat : 8645 (toysat) S 8640 8643 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103915946 1368985600 276214 33554432000 4194304 16246674 140733908449008 140430935043312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8643/tid=8646] ppid=8640 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8646/stat : 8646 (toysat) S 8640 8643 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103915946 1368985600 276214 33554432000 4194304 16246674 140733908449008 140430924569776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 1336900 ################ # More data... # ################ Current children cumulated CPU time (s) 1301.72 Current children cumulated vsize (KiB) 2503236 [startup+1362.3 s] /proc/loadavg: 2.18 2.07 2.01 3/183 8972 /proc/meminfo: memFree=28211588/32872528 swapFree=11196/354588 [pid=8643] ppid=8640 vsize=2583108 CPUtime=1361.71 cores=1,3,5,7 /proc/8643/stat : 8643 (toysat) R 8640 8643 8429 0 -1 4202496 586971 0 0 0 135976 195 0 0 20 0 4 0 103915946 2645102592 587605 33554432000 4194304 16246674 140733908449008 140733908430912 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8643/statm: 645777 587605 885 2943 0 642671 0 [pid=8643/tid=8644] ppid=8640 vsize=2583108 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8644/stat : 8644 (toysat) S 8640 8643 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103915946 2645102592 587605 33554432000 4194304 16246674 140733908449008 140431023123696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8643/tid=8645] ppid=8640 vsize=2583108 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8645/stat : 8645 (toysat) S 8640 8643 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103915946 2645102592 587605 33554432000 4194304 16246674 140733908449008 140430935043312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8643/tid=8646] ppid=8640 vsize=2583108 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8646/stat : 8646 (toysat) S 8640 8643 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103915946 2645102592 587605 33554432000 4194304 16246674 140733908449008 140430924569776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.71 Current children cumulated vsize (KiB) 2583108 [startup+1422.3 s] /proc/loadavg: 2.07 2.05 2.01 3/183 8973 /proc/meminfo: memFree=28155324/32872528 swapFree=11196/354588 [pid=8643] ppid=8640 vsize=2638404 CPUtime=1421.7 cores=1,3,5,7 /proc/8643/stat : 8643 (toysat) R 8640 8643 8429 0 -1 4202496 600938 0 0 0 141966 204 0 0 20 0 4 0 103915946 2701725696 601571 33554432000 4194304 16246674 140733908449008 140733908430912 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8643/statm: 659601 601571 885 2943 0 656495 0 [pid=8643/tid=8644] ppid=8640 vsize=2638404 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8644/stat : 8644 (toysat) S 8640 8643 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103915946 2701725696 601571 33554432000 4194304 16246674 140733908449008 140431023123696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8643/tid=8645] ppid=8640 vsize=2638404 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8645/stat : 8645 (toysat) S 8640 8643 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103915946 2701725696 601571 33554432000 4194304 16246674 140733908449008 140430935043312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8643/tid=8646] ppid=8640 vsize=2638404 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8646/stat : 8646 (toysat) S 8640 8643 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103915946 2701725696 601571 33554432000 4194304 16246674 140733908449008 140430924569776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.7 Current children cumulated vsize (KiB) 2638404 [startup+1482.3 s] /proc/loadavg: 2.07 2.06 2.01 3/183 8974 /proc/meminfo: memFree=28100536/32872528 swapFree=11196/354588 [pid=8643] ppid=8640 vsize=2693700 CPUtime=1481.67 cores=1,3,5,7 /proc/8643/stat : 8643 (toysat) R 8640 8643 8429 0 -1 4202496 614666 0 0 0 147951 216 0 0 20 0 4 0 103915946 2758348800 615275 33554432000 4194304 16246674 140733908449008 140733908448184 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8643/statm: 673425 615275 885 2943 0 670319 0 [pid=8643/tid=8644] ppid=8640 vsize=2693700 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8644/stat : 8644 (toysat) S 8640 8643 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103915946 2758348800 615275 33554432000 4194304 16246674 140733908449008 140431023123696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8643/tid=8645] ppid=8640 vsize=2693700 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8645/stat : 8645 (toysat) S 8640 8643 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103915946 2758348800 615275 33554432000 4194304 16246674 140733908449008 140430935043312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8643/tid=8646] ppid=8640 vsize=2693700 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8646/stat : 8646 (toysat) S 8640 8643 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103915946 2758348800 615275 33554432000 4194304 16246674 140733908449008 140430924569776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.67 Current children cumulated vsize (KiB) 2693700 [startup+1542.31 s] /proc/loadavg: 2.15 2.07 2.01 3/183 8975 /proc/meminfo: memFree=28053324/32872528 swapFree=11196/354588 [pid=8643] ppid=8640 vsize=2739780 CPUtime=1541.66 cores=1,3,5,7 /proc/8643/stat : 8643 (toysat) R 8640 8643 8429 0 -1 4202496 626284 0 0 0 153934 232 0 0 20 0 4 0 103915946 2805534720 626881 33554432000 4194304 16246674 140733908449008 140733908448184 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8643/statm: 684945 626881 885 2943 0 681839 0 [pid=8643/tid=8644] ppid=8640 vsize=2739780 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8644/stat : 8644 (toysat) S 8640 8643 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103915946 2805534720 626881 33554432000 4194304 16246674 140733908449008 140431023123696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8643/tid=8645] ppid=8640 vsize=2739780 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8645/stat : 8645 (toysat) S 8640 8643 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103915946 2805534720 626881 33554432000 4194304 16246674 140733908449008 140430935043312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8643/tid=8646] ppid=8640 vsize=2739780 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8646/stat : 8646 (toysat) S 8640 8643 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103915946 2805534720 626881 33554432000 4194304 16246674 140733908449008 140430924569776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 2739780 [startup+1602.3 s] /proc/loadavg: 2.05 2.06 2.00 3/183 8976 /proc/meminfo: memFree=28009928/32872528 swapFree=11196/354588 [pid=8643] ppid=8640 vsize=2803268 CPUtime=1601.64 cores=1,3,5,7 /proc/8643/stat : 8643 (toysat) R 8640 8643 8429 0 -1 4202496 641997 0 0 0 159916 248 0 0 20 0 4 0 103915946 2870546432 642594 33554432000 4194304 16246674 140733908449008 140733908430912 4221031 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8643/statm: 700817 642594 885 2943 0 697711 0 [pid=8643/tid=8644] ppid=8640 vsize=2803268 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8644/stat : 8644 (toysat) S 8640 8643 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103915946 2870546432 642594 33554432000 4194304 16246674 140733908449008 140431023123696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8643/tid=8645] ppid=8640 vsize=2803268 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8645/stat : 8645 (toysat) S 8640 8643 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103915946 2870546432 642594 33554432000 4194304 16246674 140733908449008 140430935043312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8643/tid=8646] ppid=8640 vsize=2803268 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8646/stat : 8646 (toysat) S 8640 8643 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103915946 2870546432 642594 33554432000 4194304 16246674 140733908449008 140430924569776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 2803268 [startup+1662.3 s] /proc/loadavg: 2.07 2.06 2.00 3/182 8977 /proc/meminfo: memFree=27953040/32872528 swapFree=11196/354588 [pid=8643] ppid=8640 vsize=2839108 CPUtime=1661.64 cores=1,3,5,7 /proc/8643/stat : 8643 (toysat) R 8640 8643 8429 0 -1 4202496 650962 0 0 0 165901 263 0 0 20 0 4 0 103915946 2907246592 651559 33554432000 4194304 16246674 140733908449008 140733908448184 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8643/statm: 709777 651559 885 2943 0 706671 0 [pid=8643/tid=8644] ppid=8640 vsize=2839108 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8644/stat : 8644 (toysat) S 8640 8643 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103915946 2907246592 651559 33554432000 4194304 16246674 140733908449008 140431023123696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8643/tid=8645] ppid=8640 vsize=2839108 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8645/stat : 8645 (toysat) S 8640 8643 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103915946 2907246592 651559 33554432000 4194304 16246674 140733908449008 140430935043312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8643/tid=8646] ppid=8640 vsize=2839108 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8646/stat : 8646 (toysat) S 8640 8643 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103915946 2907246592 651559 33554432000 4194304 16246674 140733908449008 140430924569776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 2839108 [startup+1722.3 s] /proc/loadavg: 2.06 2.06 2.00 3/183 8979 /proc/meminfo: memFree=27902204/32872528 swapFree=11196/354588 [pid=8643] ppid=8640 vsize=2889284 CPUtime=1721.62 cores=1,3,5,7 /proc/8643/stat : 8643 (toysat) R 8640 8643 8429 0 -1 4202496 663650 0 0 0 171886 276 0 0 20 0 4 0 103915946 2958626816 664247 33554432000 4194304 16246674 140733908449008 140733908448104 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8643/statm: 722321 664247 885 2943 0 719215 0 [pid=8643/tid=8644] ppid=8640 vsize=2889284 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8644/stat : 8644 (toysat) S 8640 8643 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103915946 2958626816 664247 33554432000 4194304 16246674 140733908449008 140431023123696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8643/tid=8645] ppid=8640 vsize=2889284 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8645/stat : 8645 (toysat) S 8640 8643 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103915946 2958626816 664247 33554432000 4194304 16246674 140733908449008 140430935043312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8643/tid=8646] ppid=8640 vsize=2889284 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8646/stat : 8646 (toysat) S 8640 8643 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103915946 2958626816 664247 33554432000 4194304 16246674 140733908449008 140430924569776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 2889284 [startup+1782.3 s] /proc/loadavg: 2.06 2.06 2.00 3/184 8983 /proc/meminfo: memFree=27871080/32872528 swapFree=11196/354588 [pid=8643] ppid=8640 vsize=2920004 CPUtime=1781.62 cores=1,3,5,7 /proc/8643/stat : 8643 (toysat) R 8640 8643 8429 0 -1 4202496 671256 0 0 0 177864 298 0 0 20 0 4 0 103915946 2990084096 671853 33554432000 4194304 16246674 140733908449008 140733908448184 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8643/statm: 730001 671853 885 2943 0 726895 0 [pid=8643/tid=8644] ppid=8640 vsize=2920004 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8644/stat : 8644 (toysat) S 8640 8643 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103915946 2990084096 671853 33554432000 4194304 16246674 140733908449008 140431023123696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8643/tid=8645] ppid=8640 vsize=2920004 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8645/stat : 8645 (toysat) S 8640 8643 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103915946 2990084096 671853 33554432000 4194304 16246674 140733908449008 140430935043312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8643/tid=8646] ppid=8640 vsize=2920004 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8646/stat : 8646 (toysat) S 8640 8643 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103915946 2990084096 671853 33554432000 4194304 16246674 140733908449008 140430924569776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 2920004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 2.12 2.07 2.01 3/184 8983 /proc/meminfo: memFree=27855056/32872528 swapFree=11196/354588 [pid=8643] ppid=8640 vsize=2936388 CPUtime=1800.02 cores=1,3,5,7 /proc/8643/stat : 8643 (toysat) R 8640 8643 8429 0 -1 4202496 675266 0 0 0 179700 302 0 0 20 0 4 0 103915946 3006861312 675863 33554432000 4194304 16246674 140733908449008 140733908448184 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8643/statm: 734097 675863 885 2943 0 730991 0 [pid=8643/tid=8644] ppid=8640 vsize=2936388 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8644/stat : 8644 (toysat) S 8640 8643 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103915946 3006861312 675863 33554432000 4194304 16246674 140733908449008 140431023123696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8643/tid=8645] ppid=8640 vsize=2936388 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8645/stat : 8645 (toysat) S 8640 8643 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103915946 3006861312 675863 33554432000 4194304 16246674 140733908449008 140430935043312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8643/tid=8646] ppid=8640 vsize=2936388 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8646/stat : 8646 (toysat) S 8640 8643 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103915946 3006861312 675863 33554432000 4194304 16246674 140733908449008 140430924569776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 2936388 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 8643 sig 9 ??? kill -8643 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 2.12 2.07 2.01 3/184 8983 /proc/meminfo: memFree=27855056/32872528 swapFree=11196/354588 [pid=8643] ppid=8640 vsize=2936388 CPUtime=1800.02 cores=1,3,5,7 /proc/8643/stat : 8643 (toysat) R 8640 8643 8429 0 -1 4202496 675266 0 0 0 179700 302 0 0 20 0 4 0 103915946 3006861312 675863 33554432000 4194304 16246674 140733908449008 140733908448184 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8643/statm: 734097 675863 885 2943 0 730991 0 [pid=8643/tid=8644] ppid=8640 vsize=2936388 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8644/stat : 8644 (toysat) S 8640 8643 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103915946 3006861312 675863 33554432000 4194304 16246674 140733908449008 140431023123696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8643/tid=8645] ppid=8640 vsize=2936388 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8645/stat : 8645 (toysat) S 8640 8643 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103915946 3006861312 675863 33554432000 4194304 16246674 140733908449008 140430935043312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8643/tid=8646] ppid=8640 vsize=2936388 CPUtime=0 cores=1,3,5,7 /proc/8643/task/8646/stat : 8646 (toysat) S 8640 8643 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103915946 3006861312 675863 33554432000 4194304 16246674 140733908449008 140430924569776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 2936388 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.73 CPU time (s): 1800.05 CPU user time (s): 1797.01 CPU system time (s): 3.03754 CPU usage (%): 99.9621 Max. virtual memory (cumulated for all children) (KiB): 2936388 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.01 system time used= 3.03754 maximum resident set size= 2703452 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 675266 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= 878 involuntary context switches= 1829 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.8515 second user time and 17.4114 second system time The end
Begin job on node126 at 2016-06-06 15:30:25 IDJOB=4078644 IDBENCH=1373 IDSOLVER=2542 FILE ID=node126/4078644-1465219824 RUNJOBID= node126-1465218023-8446 PBS_JOBID= 19843210 Free space on /tmp= 71704 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/vdw/normalized-vdw_k5_l4_n750.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078644-1465219824/watcher-4078644-1465219824 -o /tmp/evaluation-result-4078644-1465219824/solver-4078644-1465219824 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8446 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078644-1465219824.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 84dfc4b706a5e82746c96ff285501708 RANDOM SEED=170537917 node126.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.500 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.00 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.500 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.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 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.500 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.500 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.56 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.500 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.500 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: 30615676 kB Buffers: 6212 kB Cached: 111180 kB SwapCached: 1924 kB Active: 1177504 kB Inactive: 24508 kB Active(anon): 1084880 kB Inactive(anon): 2036 kB Active(file): 92624 kB Inactive(file): 22472 kB Unevictable: 354588 kB Mlocked: 11196 kB SwapTotal: 67108856 kB SwapFree: 67098520 kB Dirty: 36156 kB Writeback: 0 kB AnonPages: 1438408 kB Mapped: 9820 kB Shmem: 0 kB Slab: 567312 kB SReclaimable: 11520 kB SUnreclaim: 555792 kB KernelStack: 1464 kB PageTables: 6952 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1581560 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1421312 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= 71688 MiB End job on node126 at 2016-06-06 16:00:26