| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.51 |
| Name | /DEC-SMALLINT-LIN/lopes/ normalized-37.opb |
| MD5SUM | ec0686518f213640aefaf52d4a6ca034 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 911.56 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9310 |
| Total number of constraints | 199239 |
| Number of constraints which are clauses | 178407 |
| Number of constraints which are cardinality constraints (but not clauses) | 730 |
| Number of constraints which are nor clauses,nor cardinality constraints | 20102 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 231 |
| 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 | 232 |
| Number of bits of the biggest sum of numbers | 8 |
| 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-19T01:36:00+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-4108988-1466292960.opb"] 0.00/0.01 c use --random-gen="1479122090 890814590 3867287617 3704265670 4032007178 2947352637 3443912738 3097128523 2903932195 1294197268 503816544 2882494996 494499933 3004251963 3355135540 390664550 3222644523 3673132514 1331814581 1327882371 1406676929 3734324852 46383970 1672832427 1743452094 1695818220 3987408644 1554606657 2566533948 2892223262 746787985 3663228399 3204731016 75409388 1834577432 229366177 3393158518 3679288184 236811901 3467358122 573123663 1731644853 521143977 2188214360 4224643057 1279281876 190021155 55676732 1924347054 4103582659 1153683547 2198482883 3680577929 3201147105 1931769037 3879055114 4185672343 2898521766 2874617044 799915875 1792308884 4150351145 3002689096 636913156 1956602557 973834786 2385899174 3198109341 1476229550 821458933 2247795212 912752125 2576715364 686385901 2320849450 3206735707 4045484257 3179553787 2067596944 1162180185 901497708 4042816276 2160931362 1266322020 3825686515 231606510 2335343863 248486242 1218178513 2773687572 3464967926 817340269 4012788956 2295934369 1891813011 65680580 161942348 1789882975 1808197659 2617148168 2634522390 1020419920 3633714556 3142827063 3769659136 1920324626 1295627310 194974240 4250580090 2561729630 3328175444 711452102 1735816720 3313224262 489268622 1577030803 3007208115 983085579 4159308475 1770956022 1115453717 667768517 363938505 3145666679 3352562942 3364033950 3860143752 1717756314 1324146555 974468986 3855010401 3998755406 2487724516 4085801246 2442244850 3874735946 2319419897 1845701615 2682804070 919560928 3399226012 3417763677 240721572 1557986746 4165164041 3538618662 4253654061 6245300 4200863324 3661445875 677923783 3319977172 1898604789 1728661084 3453370402 605877378 2769830431 1833361962 3687393828 1361795376 2232906363 53691891 1456996676 2819810583 3880549761 2093780865 3539956359 2864848813 3869677360 3483565586 2454041906 1701251037 3629804362 162885198 2690665960 3931462416 1314148701 1023780273 1662065873 1142405380 1601463158 1689578556 4265097778 236370991 694244758 2639623870 2050220625 596782516 238311687 3557071238 2797715022 307581087 2135124983 3035269598 234509453 3820644574 497658088 1060623761 4072423733 4285345334 1913826493 2978597288 974132912 4054657104 2054040391 3198108682 2366828094 4099758767 2067673357 2401682328 2148412481 4236375110 3372608631 1302094723 3867168409 884032503 3893007743 444215394 3608006673 4294062232 1257395218 1504252055 4147900929 754021761 601031336 1026547246 2256299052 2297495233 3929117572 1022665397 2495034243 2280639754 219660551 3977196675 826424357 1450771204 2860358464 1486080141 48395292 1320711564 1242432701 558670085 3301307707 755615401 980926565 2124106236 274086872 912936001 3715832037 2237144005 4079423284 3131204297 3331604183 2082505565 911329223 1616795702 255 362436" option to reproduce the execution 1.59/1.66 c #vars 9310 1.59/1.66 c #constraints 199239 5.09/5.14 c Solving starts ... 5.09/5.14 c ============================[ Search Statistics ]============================ 5.09/5.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.09/5.14 c | | | | Limit GC | Var | Constra 5.09/5.14 c ============================================================================= 5.09/5.14 c 0.0s | 0 | 0 | 0 | 68747 0 | 165 | 0 5.50/5.52 c 0.4s | 1 | 141 | 100 | 68747 0 | 165 | 1694 6.09/6.10 c 1.0s | 2 | 4236 | 250 | 75622 0 | 165 | 1694 6.99/7.07 c 1.9s | 3 | 14871 | 475 | 83185 0 | 167 | 1733 7.89/7.94 c 2.8s | 4 | 34001 | 813 | 91504 0 | 169 | 1789 8.69/8.77 c 3.6s | 5 | 43636 | 1320 | 100655 0 | 171 | 1816 9.69/9.78 c 4.6s | 6 | 53665 | 2081 | 121794 0 | 172 | 1827 11.69/11.73 c 6.6s | 7 | 105824 | 3223 | 133974 0 | 174 | 1986 13.79/13.85 c 8.7s | 7 | 123096 | 4523 | 133974 0 | 174 | 1986 14.49/14.50 c 9.4s | 8 | 125441 | 4936 | 147372 0 | 174 | 1986 16.50/16.51 c 11.4s | 8 | 145990 | 6036 | 147372 0 | 176 | 2025 18.49/18.57 c 13.4s | 8 | 167978 | 7336 | 147372 0 | 176 | 2025 18.80/18.83 c 13.7s | 9 | 169179 | 7506 | 162110 0 | 176 | 2025 20.79/20.89 c 15.8s | 9 | 174885 | 8706 | 162110 0 | 179 | 2082 22.89/22.96 c 17.8s | 9 | 176609 | 10206 | 162110 0 | 179 | 2082 24.59/24.65 c 19.5s | 10 | 178159 | 11361 | 178321 0 | 179 | 2082 26.89/26.90 c 21.8s | 10 | 189936 | 12261 | 178321 0 | 183 | 2280 29.09/29.10 c 24.0s | 10 | 190970 | 13061 | 178321 0 | 183 | 2280 31.29/31.36 c 26.2s | 10 | 192001 | 13861 | 178321 0 | 183 | 2280 33.49/33.58 c 28.4s | 10 | 192970 | 14661 | 178321 0 | 183 | 2280 35.78/35.85 c 30.7s | 10 | 193835 | 15361 | 178321 0 | 183 | 2280 37.89/37.90 c 32.8s | 10 | 194762 | 16061 | 178321 0 | 183 | 2280 39.98/40.01 c 34.9s | 10 | 195607 | 16761 | 178321 0 | 183 | 2280 41.08/41.15 c 36.0s | 11 | 196069 | 17144 | 196154 0 | 183 | 2280 43.08/43.18 c 38.0s | 11 | 200666 | 18244 | 196154 0 | 184 | 2291 45.38/45.44 c 40.3s | 11 | 207112 | 19244 | 196154 0 | 186 | 2450 47.48/47.56 c 42.4s | 11 | 210203 | 20144 | 196154 0 | 186 | 2450 49.59/49.67 c 44.5s | 11 | 212589 | 21144 | 196154 0 | 186 | 2450 51.69/51.76 c 46.6s | 11 | 213883 | 22244 | 196154 0 | 186 | 2450 53.68/53.76 c 48.6s | 11 | 218332 | 22944 | 196154 0 | 186 | 2450 55.98/56.06 c 50.9s | 11 | 219171 | 23644 | 196154 0 | 186 | 2450 58.29/58.34 c 53.2s | 11 | 220143 | 24444 | 196154 0 | 186 | 2450 60.38/60.46 c 55.3s | 11 | 221008 | 25144 | 196154 0 | 186 | 2450 62.28/62.35 c 57.2s | 12 | 221770 | 25819 | 215770 0 | 186 | 2450 65.18/65.23 c 60.1s | 12 | 249400 | 26119 | 215770 0 | 187 | 2461 67.28/67.39 c 62.3s | 12 | 250462 | 27019 | 215770 0 | 187 | 2461 69.48/69.52 c 64.4s | 12 | 251455 | 27819 | 215770 0 | 187 | 2461 71.59/71.63 c 66.5s | 12 | 252495 | 28719 | 215770 0 | 187 | 2461 73.58/73.64 c 68.5s | 12 | 253405 | 29419 | 215770 0 | 187 | 2461 75.68/75.79 c 70.7s | 12 | 254401 | 30219 | 215770 0 | 187 | 2461 77.88/77.91 c 72.8s | 12 | 255318 | 31019 | 215770 0 | 187 | 2461 79.88/79.94 c 74.8s | 12 | 256194 | 31819 | 215770 0 | 187 | 2461 82.08/82.13 c 77.0s | 12 | 257327 | 32819 | 215770 0 | 187 | 2461 84.28/84.35 c 79.2s | 12 | 258317 | 33719 | 215770 0 | 187 | 2461 86.38/86.41 c 81.3s | 12 | 259217 | 34519 | 215770 0 | 187 | 2461 88.48/88.55 c 83.4s | 12 | 260241 | 35419 | 215770 0 | 187 | 2461 90.48/90.56 c 85.4s | 12 | 261260 | 36319 | 215770 0 | 187 | 2461 92.58/92.64 c 87.5s | 12 | 262243 | 37219 | 215770 0 | 187 | 2461 94.68/94.78 c 89.6s | 12 | 271006 | 38119 | 215770 0 | 187 | 2461 95.88/95.97 c 90.8s | 13 | 294298 | 38832 | 237348 0 | 187 | 2461 98.08/98.12 c 93.0s | 13 | 299574 | 39432 | 237348 0 | 187 | 2461 100.18/100.29 c 95.2s | 13 | 300576 | 40132 | 237348 0 | 187 | 2461 102.28/102.32 c 97.2s | 13 | 301227 | 40732 | 237348 0 | 187 | 2461 104.37/104.40 c 99.3s | 13 | 302001 | 41432 | 237348 0 | 187 | 2461 106.47/106.56 c 101s | 13 | 302754 | 42132 | 237348 0 | 187 | 2461 108.57/108.61 c 103s | 13 | 303618 | 42932 | 237348 0 | 187 | 2461 110.97/111.08 c 105s | 13 | 322004 | 43532 | 237348 0 | 187 | 2461 113.17/113.24 c 108s | 13 | 346169 | 43932 | 237348 0 | 191 | 2767 115.37/115.49 c 110s | 13 | 348803 | 44332 | 237348 0 | 192 | 2778 117.47/117.50 c 112s | 13 | 349596 | 44832 | 237348 0 | 193 | 2794 119.67/119.70 c 114s | 13 | 350255 | 45432 | 237348 0 | 193 | 2794 121.67/121.76 c 116s | 13 | 351000 | 46132 | 237348 0 | 193 | 2794 123.67/123.79 c 118s | 13 | 351763 | 46832 | 237348 0 | 193 | 2794 125.77/125.86 c 120s | 13 | 352524 | 47532 | 237348 0 | 193 | 2794 127.87/127.92 c 122s | 13 | 353278 | 48232 | 237348 0 | 193 | 2794 129.97/130.08 c 124s | 13 | 353917 | 48832 | 237348 0 | 193 | 2794 132.17/132.22 c 127s | 13 | 354482 | 49332 | 237348 0 | 193 | 2794 134.28/134.35 c 129s | 13 | 355046 | 49832 | 237348 0 | 193 | 2794 136.38/136.48 c 131s | 13 | 355699 | 50432 | 237348 0 | 193 | 2794 138.58/138.61 c 133s | 13 | 356441 | 51132 | 237348 0 | 193 | 2794 141.27/141.37 c 136s | 13 | 374729 | 52132 | 237348 0 | 196 | 2856 143.27/143.38 c 138s | 13 | 381753 | 52432 | 237348 0 | 198 | 3015 145.57/145.67 c 140s | 13 | 394869 | 52932 | 237348 0 | 198 | 3015 147.67/147.78 c 142s | 13 | 395361 | 53232 | 237348 0 | 198 | 3015 150.17/150.20 c 145s | 13 | 395879 | 53632 | 237348 0 | 198 | 3015 152.37/152.46 c 147s | 13 | 396229 | 53932 | 237348 0 | 198 | 3015 154.37/154.47 c 149s | 13 | 396590 | 54232 | 237348 0 | 198 | 3015 156.77/156.80 c 151s | 13 | 397059 | 54632 | 237348 0 | 198 | 3015 158.77/158.81 c 153s | 13 | 397516 | 55032 | 237348 0 | 198 | 3015 160.77/160.82 c 155s | 13 | 397993 | 55432 | 237348 0 | 198 | 3015 162.97/163.00 c 157s | 13 | 398445 | 55832 | 237348 0 | 198 | 3015 165.07/165.18 c 160s | 13 | 398923 | 56232 | 237348 0 | 198 | 3015 167.56/167.69 c 162s | 13 | 399378 | 56632 | 237348 0 | 198 | 3015 169.96/170.03 c 164s | 13 | 399829 | 57032 | 237348 0 | 198 | 3015 172.46/172.51 c 167s | 13 | 400408 | 57532 | 237348 0 | 198 | 3015 174.97/175.02 c 169s | 13 | 400967 | 58032 | 261083 0 | 198 | 3015 176.46/176.56 c 171s | 14 | 401336 | 58352 | 261083 0 | 198 | 3015 178.86/178.97 c 173s | 14 | 402434 | 58752 | 261083 0 | 199 | 3026 181.16/181.21 c 176s | 14 | 407958 | 59252 | 261083 0 | 199 | 3026 183.16/183.22 c 178s | 14 | 408877 | 59752 | 261083 0 | 199 | 3026 185.66/185.74 c 180s | 14 | 413770 | 60252 | 261083 0 | 199 | 3026 188.07/188.17 c 183s | 14 | 414815 | 60752 | 261083 0 | 199 | 3026 190.46/190.51 c 185s | 14 | 416496 | 61252 | 261083 0 | 199 | 3026 192.86/192.90 c 187s | 14 | 417368 | 61752 | 261083 0 | 199 | 3026 194.96/195.05 c 189s | 14 | 417997 | 62252 | 261083 0 | 199 | 3026 197.26/197.37 c 192s | 14 | 418771 | 62752 | 261083 0 | 199 | 3026 199.36/199.40 c 194s | 14 | 419281 | 63152 | 261083 0 | 199 | 3026 201.56/201.67 c 196s | 14 | 419935 | 63652 | 261083 0 | 199 | 3026 203.86/203.94 c 198s | 14 | 420627 | 64252 | 261083 0 | 199 | 3026 206.16/206.20 c 201s | 14 | 421345 | 64852 | 261083 0 | 199 | 3026 208.36/208.46 c 203s | 14 | 423605 | 65252 | 261083 0 | 199 | 3026 210.56/210.67 c 205s | 14 | 424693 | 65652 | 261083 0 | 199 | 3026 212.56/212.68 c 207s | 14 | 425870 | 66052 | 261083 0 | 199 | 3026 214.96/215.06 c 209s | 14 | 426582 | 66652 | 261083 0 | 199 | 3026 217.36/217.43 c 212s | 14 | 427280 | 67252 | 261083 0 | 199 | 3026 219.36/219.47 c 214s | 14 | 427755 | 67652 | 261083 0 | 199 | 3026 221.36/221.49 c 216s | 14 | 428339 | 68152 | 261083 0 | 199 | 3026 223.46/223.59 c 218s | 14 | 428886 | 68652 | 261083 0 | 199 | 3026 225.75/225.82 c 220s | 14 | 429462 | 69052 | 261083 0 | 199 | 3026 227.86/227.91 c 222s | 14 | 429939 | 69452 | 261083 0 | 199 | 3026 229.96/230.01 c 224s | 14 | 430431 | 69852 | 261083 0 | 199 | 3026 232.25/232.38 c 227s | 14 | 431003 | 70352 | 261083 0 | 199 | 3026 234.75/234.90 c 229s | 14 | 431543 | 70852 | 261083 0 | 199 | 3026 236.95/237.04 c 231s | 14 | 431977 | 71252 | 261083 0 | 199 | 3026 239.05/239.16 c 234s | 14 | 432419 | 71652 | 261083 0 | 199 | 3026 241.45/241.50 c 236s | 14 | 432971 | 72152 | 261083 0 | 199 | 3026 243.75/243.81 c 238s | 14 | 433526 | 72652 | 261083 0 | 199 | 3026 246.15/246.25 c 241s | 14 | 434075 | 73152 | 261083 0 | 199 | 3026 248.45/248.59 c 243s | 14 | 434628 | 73652 | 261083 0 | 199 | 3026 250.95/251.01 c 245s | 14 | 436336 | 74152 | 261083 0 | 199 | 3026 253.06/253.16 c 248s | 14 | 443130 | 74652 | 261083 0 | 199 | 3026 255.16/255.23 c 250s | 14 | 443564 | 75052 | 261083 0 | 199 | 3026 257.46/257.58 c 252s | 14 | 444000 | 75452 | 261083 0 | 199 | 3026 259.56/259.68 c 254s | 14 | 444419 | 75752 | 261083 0 | 199 | 3026 262.15/262.29 c 257s | 14 | 444782 | 76052 | 261083 0 | 199 | 3026 265.25/265.38 c 260s | 14 | 445181 | 76352 | 261083 0 | 199 | 3026 267.55/267.68 c 262s | 14 | 445423 | 76552 | 261083 0 | 199 | 3026 269.85/269.92 c 264s | 14 | 445953 | 76852 | 261083 0 | 199 | 3026 272.05/272.16 c 267s | 14 | 449635 | 77352 | 261083 0 | 199 | 3026 274.35/274.42 c 269s | 14 | 450732 | 77852 | 261083 0 | 199 | 3026 276.75/276.82 c 271s | 14 | 451746 | 78452 | 261083 0 | 199 | 3026 278.75/278.85 c 273s | 14 | 452826 | 78852 | 261083 0 | 199 | 3026 280.95/281.07 c 275s | 14 | 453885 | 79152 | 261083 0 | 199 | 3026 283.34/283.46 c 278s | 14 | 455530 | 79452 | 261083 0 | 199 | 3026 285.54/285.60 c 280s | 14 | 458695 | 79952 | 261083 0 | 199 | 3026 287.94/288.04 c 282s | 14 | 460016 | 80352 | 261083 0 | 199 | 3026 290.24/290.34 c 285s | 14 | 460910 | 80752 | 261083 0 | 199 | 3026 292.94/293.07 c 287s | 14 | 461585 | 81152 | 261083 0 | 199 | 3026 295.14/295.27 c 290s | 14 | 462132 | 81552 | 261083 0 | 199 | 3026 297.24/297.34 c 292s | 14 | 462756 | 81852 | 261083 0 | 199 | 3026 299.84/299.97 c 294s | 14 | 463406 | 82252 | 261083 0 | 199 | 3026 302.34/302.41 c 297s | 14 | 464201 | 82652 | 261083 0 | 199 | 3026 304.65/304.75 c 299s | 14 | 464822 | 83052 | 261083 0 | 199 | 3026 306.74/306.89 c 301s | 14 | 465626 | 83452 | 261083 0 | 199 | 3026 308.84/308.98 c 303s | 14 | 466368 | 83852 | 261083 0 | 199 | 3026 311.25/311.39 c 306s | 14 | 466956 | 84252 | 261083 0 | 199 | 3026 313.34/313.41 c 308s | 14 | 467588 | 84652 | 261083 0 | 199 | 3026 315.44/315.52 c 310s | 14 | 468296 | 85052 | 261083 0 | 199 | 3026 317.64/317.76 c 312s | 14 | 468919 | 85452 | 261083 0 | 199 | 3026 319.74/319.85 c 314s | 14 | 469536 | 85852 | 261083 0 | 199 | 3026 322.14/322.26 c 317s | 14 | 470257 | 86352 | 261083 0 | 199 | 3026 324.14/324.28 c 319s | 14 | 470942 | 86752 | 261083 0 | 199 | 3026 326.34/326.42 c 321s | 14 | 471546 | 87152 | 287192 0 | 199 | 3026 328.54/328.61 c 323s | 14 | 472135 | 87552 | 287192 0 | 199 | 3026 328.95/329.07 c 323s | 15 | 472254 | 87632 | 287192 0 | 199 | 3026 331.04/331.20 c 326s | 15 | 473033 | 87832 | 287192 0 | 199 | 3026 333.14/333.20 c 328s | 15 | 482060 | 88032 | 287192 0 | 199 | 3026 335.64/335.72 c 330s | 15 | 490072 | 88632 | 287192 0 | 200 | 3114 337.84/337.95 c 332s | 15 | 495944 | 89032 | 287192 0 | 201 | 3125 340.04/340.11 c 334s | 15 | 501957 | 89732 | 287192 0 | 202 | 3213 342.14/342.23 c 337s | 15 | 502186 | 89932 | 287192 0 | 202 | 3213 344.34/344.46 c 339s | 15 | 502582 | 90232 | 287192 0 | 202 | 3213 346.74/346.83 c 341s | 15 | 503032 | 90632 | 287192 0 | 202 | 3213 349.13/349.28 c 344s | 15 | 503475 | 91032 | 287192 0 | 202 | 3213 351.94/352.04 c 346s | 15 | 503972 | 91432 | 287192 0 | 202 | 3213 354.14/354.28 c 349s | 15 | 504324 | 91732 | 287192 0 | 202 | 3213 356.53/356.65 c 351s | 15 | 504778 | 92132 | 287192 0 | 202 | 3213 358.64/358.71 c 353s | 15 | 505338 | 92632 | 287192 0 | 202 | 3213 360.74/360.90 c 355s | 15 | 506115 | 93332 | 287192 0 | 202 | 3213 363.04/363.11 c 357s | 15 | 506681 | 93832 | 287192 0 | 202 | 3213 365.43/365.55 c 360s | 15 | 507043 | 94132 | 287192 0 | 202 | 3213 367.53/367.65 c 362s | 15 | 507574 | 94632 | 287192 0 | 202 | 3213 370.03/370.13 c 364s | 15 | 508018 | 95032 | 287192 0 | 202 | 3213 372.33/372.42 c 367s | 15 | 508449 | 95432 | 287192 0 | 202 | 3213 374.83/374.92 c 369s | 15 | 508897 | 95832 | 287192 0 | 202 | 3213 377.24/377.36 c 372s | 15 | 509459 | 96332 | 287192 0 | 202 | 3213 379.33/379.42 c 374s | 15 | 509880 | 96732 | 287192 0 | 202 | 3213 381.64/381.75 c 376s | 15 | 510314 | 97132 | 287192 0 | 202 | 3213 383.84/384.00 c 378s | 15 | 510763 | 97532 | 287192 0 | 202 | 3213 386.33/386.46 c 381s | 15 | 511103 | 97832 | 287192 0 | 202 | 3213 388.53/388.69 c 383s | 15 | 511457 | 98132 | 287192 0 | 202 | 3213 390.73/390.82 c 385s | 15 | 511971 | 98532 | 287192 0 | 202 | 3213 392.74/392.84 c 387s | 15 | 512759 | 99232 | 287192 0 | 202 | 3213 395.43/395.57 c 390s | 15 | 516958 | 99732 | 287192 0 | 203 | 3229 397.73/397.81 c 392s | 15 | 518708 | 100032 | 287192 0 | 203 | 3229 399.73/399.86 c 394s | 15 | 524622 | 100332 | 287192 0 | 204 | 3312 402.23/402.30 c 397s | 15 | 530615 | 100632 | 287192 0 | 205 | 3328 404.33/404.45 c 399s | 15 | 535567 | 101232 | 287192 0 | 206 | 3411 406.53/406.65 c 401s | 15 | 538777 | 102432 | 287192 0 | 206 | 3411 409.43/409.53 c 404s | 15 | 541428 | 103032 | 287192 0 | 206 | 3411 411.83/411.97 c 406s | 15 | 541889 | 103432 | 287192 0 | 206 | 3411 414.23/414.30 c 409s | 15 | 543331 | 103932 | 287192 0 | 206 | 3411 416.32/416.47 c 411s | 15 | 544407 | 104532 | 287192 0 | 206 | 3411 418.52/418.67 c 413s | 15 | 545300 | 105132 | 287192 0 | 206 | 3411 420.82/420.97 c 415s | 15 | 546229 | 105532 | 287192 0 | 206 | 3411 423.72/423.86 c 418s | 15 | 551146 | 106432 | 287192 0 | 206 | 3411 426.22/426.30 c 421s | 15 | 551650 | 106832 | 287192 0 | 206 | 3411 428.62/428.76 c 423s | 15 | 552060 | 107132 | 287192 0 | 206 | 3411 430.62/430.77 c 425s | 15 | 552499 | 107432 | 287192 0 | 206 | 3411 432.92/433.06 c 427s | 15 | 553067 | 107832 | 287192 0 | 206 | 3411 435.53/435.64 c 430s | 15 | 553764 | 108232 | 287192 0 | 206 | 3411 437.73/437.87 c 432s | 15 | 554133 | 108532 | 287192 0 | 206 | 3411 439.82/439.95 c 434s | 15 | 554727 | 108932 | 287192 0 | 206 | 3411 442.13/442.30 c 437s | 15 | 555467 | 109432 | 287192 0 | 206 | 3411 444.62/444.72 c 439s | 15 | 555805 | 109732 | 287192 0 | 206 | 3411 446.92/447.01 c 441s | 15 | 556251 | 110132 | 287192 0 | 206 | 3411 449.02/449.17 c 444s | 15 | 556862 | 110632 | 287192 0 | 206 | 3411 451.32/451.49 c 446s | 15 | 558232 | 111332 | 287192 0 | 206 | 3411 453.72/453.85 c 448s | 15 | 559256 | 111832 | 287192 0 | 206 | 3411 455.82/455.92 c 450s | 15 | 560093 | 112332 | 287192 0 | 206 | 3411 458.02/458.19 c 453s | 15 | 562913 | 113332 | 287192 0 | 206 | 3411 460.22/460.40 c 455s | 15 | 564181 | 113932 | 287192 0 | 206 | 3411 462.52/462.65 c 457s | 15 | 567933 | 114232 | 287192 0 | 206 | 3411 465.42/465.55 c 460s | 15 | 569071 | 114532 | 287192 0 | 206 | 3411 468.02/468.10 c 462s | 15 | 570226 | 114832 | 287192 0 | 206 | 3411 470.62/470.79 c 465s | 15 | 571994 | 115132 | 287192 0 | 206 | 3411 472.72/472.88 c 467s | 15 | 574323 | 115432 | 287192 0 | 206 | 3411 474.72/474.89 c 469s | 15 | 575675 | 115732 | 287192 0 | 206 | 3411 477.02/477.10 c 471s | 15 | 576101 | 116032 | 287192 0 | 206 | 3411 479.12/479.21 c 474s | 15 | 576494 | 116332 | 287192 0 | 206 | 3411 481.61/481.72 c 476s | 15 | 577075 | 116732 | 287192 0 | 206 | 3411 484.11/484.24 c 479s | 15 | 577421 | 117032 | 287192 0 | 206 | 3411 486.31/486.47 c 481s | 15 | 577747 | 117332 | 287192 0 | 206 | 3411 488.71/488.84 c 483s | 15 | 578658 | 117632 | 287192 0 | 206 | 3411 490.81/490.90 c 485s | 15 | 579683 | 117932 | 287192 0 | 206 | 3411 493.71/493.87 c 488s | 15 | 580664 | 118232 | 287192 0 | 206 | 3411 496.12/496.22 c 491s | 15 | 582932 | 118532 | 287192 0 | 206 | 3411 498.61/498.72 c 493s | 15 | 583472 | 118832 | 287192 0 | 206 | 3411 501.01/501.10 c 495s | 15 | 583985 | 119132 | 287192 0 | 206 | 3411 503.41/503.50 c 498s | 15 | 584494 | 119432 | 287192 0 | 206 | 3411 506.02/506.15 c 501s | 15 | 585333 | 119732 | 287192 0 | 206 | 3411 508.22/508.39 c 503s | 15 | 585950 | 120032 | 287192 0 | 206 | 3411 510.42/510.52 c 505s | 15 | 586428 | 120232 | 287192 0 | 206 | 3411 513.41/513.51 c 508s | 15 | 586854 | 120532 | 287192 0 | 206 | 3411 515.61/515.80 c 510s | 15 | 588876 | 120732 | 287192 0 | 206 | 3411 518.02/518.16 c 513s | 15 | 589210 | 121032 | 287192 0 | 206 | 3411 520.31/520.46 c 515s | 15 | 589528 | 121332 | 287192 0 | 206 | 3411 523.01/523.10 c 517s | 15 | 589847 | 121632 | 287192 0 | 206 | 3411 525.41/525.56 c 520s | 15 | 590175 | 121932 | 287192 0 | 206 | 3411 527.81/527.90 c 522s | 15 | 590504 | 122232 | 287192 0 | 206 | 3411 530.21/530.39 c 525s | 15 | 590842 | 122532 | 287192 0 | 206 | 3411 532.71/532.82 c 527s | 15 | 593582 | 122832 | 287192 0 | 206 | 3411 535.01/535.18 c 530s | 15 | 594134 | 123132 | 287192 0 | 206 | 3411 537.01/537.19 c 532s | 15 | 594551 | 123332 | 287192 0 | 206 | 3411 539.11/539.25 c 534s | 15 | 594848 | 123532 | 287192 0 | 206 | 3411 541.21/541.37 c 536s | 15 | 595080 | 123732 | 287192 0 | 206 | 3411 543.20/543.39 c 538s | 15 | 595478 | 123932 | 287192 0 | 206 | 3411 545.30/545.44 c 540s | 15 | 595708 | 124132 | 287192 0 | 206 | 3411 547.60/547.79 c 542s | 15 | 596126 | 124432 | 287192 0 | 206 | 3411 550.10/550.25 c 545s | 15 | 596652 | 124732 | 287192 0 | 206 | 3411 552.80/552.95 c 547s | 15 | 597021 | 125032 | 287192 0 | 206 | 3411 555.70/555.80 c 550s | 15 | 597444 | 125332 | 287192 0 | 206 | 3411 558.50/558.69 c 553s | 15 | 597791 | 125632 | 287192 0 | 206 | 3411 561.40/561.56 c 556s | 15 | 598179 | 125932 | 287192 0 | 206 | 3411 564.10/564.24 c 559s | 15 | 598533 | 126232 | 287192 0 | 206 | 3411 566.80/566.96 c 561s | 15 | 598868 | 126532 | 287192 0 | 206 | 3411 568.80/568.97 c 563s | 15 | 599127 | 126732 | 287192 0 | 206 | 3411 570.81/570.99 c 565s | 15 | 599384 | 126932 | 287192 0 | 206 | 3411 573.80/573.99 c 568s | 15 | 599725 | 127232 | 287192 0 | 206 | 3411 576.70/576.84 c 571s | 15 | 600059 | 127532 | 287192 0 | 206 | 3411 579.30/579.47 c 574s | 15 | 600823 | 127832 | 287192 0 | 206 | 3411 582.20/582.34 c 577s | 15 | 602290 | 128132 | 287192 0 | 206 | 3411 584.60/584.71 c 579s | 15 | 605315 | 128432 | 287192 0 | 206 | 3411 587.50/587.69 c 582s | 15 | 606797 | 128732 | 287192 0 | 206 | 3411 589.70/589.88 c 584s | 15 | 607730 | 129032 | 287192 0 | 206 | 3411 592.40/592.56 c 587s | 15 | 608137 | 129332 | 287192 0 | 206 | 3411 595.10/595.21 c 590s | 15 | 608630 | 129632 | 287192 0 | 206 | 3411 597.80/597.94 c 592s | 15 | 609020 | 129932 | 287192 0 | 206 | 3411 600.40/600.52 c 595s | 15 | 609351 | 130232 | 287192 0 | 206 | 3411 603.30/603.48 c 598s | 15 | 609693 | 130532 | 287192 0 | 206 | 3411 605.89/606.02 c 600s | 15 | 610040 | 130832 | 315912 0 | 206 | 3411 608.79/608.93 c 603s | 15 | 610368 | 131132 | 315912 0 | 206 | 3411 611.69/611.89 c 606s | 15 | 610705 | 131432 | 315912 0 | 206 | 3411 612.99/613.17 c 608s | 16 | 610835 | 131552 | 315912 0 | 206 | 3411 615.09/615.22 c 610s | 16 | 619542 | 131952 | 315912 0 | 206 | 3411 618.10/618.27 c 613s | 16 | 620902 | 132452 | 315912 0 | 207 | 3422 620.69/620.88 c 615s | 16 | 621606 | 132752 | 315912 0 | 207 | 3422 622.99/623.17 c 618s | 16 | 622425 | 133052 | 315912 0 | 207 | 3422 625.99/626.16 c 621s | 16 | 624607 | 133352 | 315912 0 | 207 | 3422 628.10/628.22 c 623s | 16 | 624953 | 133552 | 315912 0 | 207 | 3422 630.20/630.32 c 625s | 16 | 625552 | 133752 | 315912 0 | 207 | 3422 632.79/632.95 c 627s | 16 | 626682 | 134052 | 315912 0 | 207 | 3422 634.89/635.03 c 629s | 16 | 626930 | 134252 | 315912 0 | 207 | 3422 637.30/637.49 c 632s | 16 | 627387 | 134552 | 315912 0 | 207 | 3422 640.00/640.11 c 634s | 16 | 627865 | 134852 | 315912 0 | 207 | 3422 642.30/642.48 c 637s | 16 | 628305 | 135152 | 315912 0 | 207 | 3422 644.61/644.79 c 639s | 16 | 628703 | 135452 | 315912 0 | 207 | 3422 647.30/647.41 c 642s | 16 | 629054 | 135752 | 315912 0 | 207 | 3422 649.80/649.91 c 644s | 16 | 629414 | 136052 | 315912 0 | 207 | 3422 652.80/652.96 c 647s | 16 | 629743 | 136352 | 315912 0 | 207 | 3422 655.00/655.17 c 650s | 16 | 629956 | 136552 | 315912 0 | 207 | 3422 657.20/657.35 c 652s | 16 | 630218 | 136752 | 315912 0 | 207 | 3422 660.39/660.50 c 655s | 16 | 630550 | 137052 | 315912 0 | 207 | 3422 662.79/662.95 c 657s | 16 | 630812 | 137252 | 315912 0 | 207 | 3422 665.09/665.28 c 660s | 16 | 631026 | 137452 | 315912 0 | 207 | 3422 667.70/667.82 c 662s | 16 | 631274 | 137652 | 315912 0 | 207 | 3422 670.09/670.23 c 665s | 16 | 631502 | 137852 | 315912 0 | 207 | 3422 672.39/672.54 c 667s | 16 | 631719 | 138052 | 315912 0 | 207 | 3422 674.89/675.07 c 669s | 16 | 631950 | 138252 | 315912 0 | 207 | 3422 677.29/677.49 c 672s | 16 | 632160 | 138452 | 315912 0 | 207 | 3422 679.89/680.07 c 674s | 16 | 632406 | 138652 | 315912 0 | 207 | 3422 682.00/682.13 c 676s | 16 | 632621 | 138852 | 315912 0 | 207 | 3422 684.59/684.72 c 679s | 16 | 632986 | 139152 | 315912 0 | 207 | 3422 686.69/686.85 c 681s | 16 | 633199 | 139352 | 315912 0 | 207 | 3422 688.79/688.97 c 683s | 16 | 633411 | 139552 | 315912 0 | 207 | 3422 691.69/691.82 c 686s | 16 | 633747 | 139852 | 315912 0 | 207 | 3422 694.10/694.26 c 689s | 16 | 634093 | 140152 | 315912 0 | 207 | 3422 696.30/696.49 c 691s | 16 | 634428 | 140452 | 315912 0 | 207 | 3422 698.39/698.52 c 693s | 16 | 634655 | 140652 | 315912 0 | 207 | 3422 700.39/700.60 c 695s | 16 | 634858 | 140852 | 315912 0 | 207 | 3422 703.29/703.48 c 698s | 16 | 635507 | 141152 | 315912 0 | 207 | 3422 705.79/705.94 c 700s | 16 | 635728 | 141352 | 315912 0 | 207 | 3422 708.19/708.33 c 703s | 16 | 635942 | 141552 | 315912 0 | 207 | 3422 711.19/711.35 c 706s | 16 | 636274 | 141852 | 315912 0 | 207 | 3422 713.79/713.97 c 708s | 16 | 636500 | 142052 | 315912 0 | 207 | 3422 716.28/716.43 c 711s | 16 | 636735 | 142252 | 315912 0 | 207 | 3422 719.29/719.46 c 714s | 16 | 636945 | 142452 | 315912 0 | 207 | 3422 721.49/721.65 c 716s | 16 | 637203 | 142652 | 315912 0 | 207 | 3422 723.79/723.95 c 718s | 16 | 637414 | 142852 | 315912 0 | 207 | 3422 725.99/726.13 c 720s | 16 | 637653 | 143052 | 315912 0 | 207 | 3422 728.28/728.44 c 723s | 16 | 637858 | 143252 | 315912 0 | 207 | 3422 730.68/730.84 c 725s | 16 | 638073 | 143452 | 315912 0 | 207 | 3422 733.28/733.48 c 728s | 16 | 638405 | 143752 | 315912 0 | 207 | 3422 736.28/736.46 c 731s | 16 | 638722 | 144052 | 315912 0 | 207 | 3422 738.48/738.68 c 733s | 16 | 638978 | 144252 | 315912 0 | 207 | 3422 740.68/740.83 c 735s | 16 | 639225 | 144452 | 315912 0 | 207 | 3422 743.78/743.95 c 738s | 16 | 639566 | 144752 | 315912 0 | 207 | 3422 746.78/746.92 c 741s | 16 | 639783 | 144952 | 315912 0 | 207 | 3422 749.58/749.70 c 744s | 16 | 640009 | 145152 | 315912 0 | 207 | 3422 751.77/751.98 c 746s | 16 | 640222 | 145352 | 315912 0 | 207 | 3422 754.48/754.63 c 749s | 16 | 640436 | 145552 | 315912 0 | 207 | 3422 756.57/756.76 c 751s | 16 | 640659 | 145752 | 315912 0 | 207 | 3422 758.67/758.80 c 753s | 16 | 640877 | 145952 | 315912 0 | 207 | 3422 760.97/761.12 c 755s | 16 | 641092 | 146152 | 315912 0 | 207 | 3422 763.47/763.61 c 758s | 16 | 641305 | 146352 | 315912 0 | 207 | 3422 765.77/765.93 c 760s | 16 | 641535 | 146552 | 315912 0 | 207 | 3422 768.17/768.34 c 763s | 16 | 641776 | 146752 | 315912 0 | 207 | 3422 770.98/771.12 c 765s | 16 | 642103 | 147052 | 315912 0 | 207 | 3422 773.07/773.20 c 768s | 16 | 642405 | 147252 | 315912 0 | 207 | 3422 776.27/776.47 c 771s | 16 | 642761 | 147552 | 315912 0 | 207 | 3422 778.47/778.69 c 773s | 16 | 642983 | 147752 | 315912 0 | 207 | 3422 780.77/780.91 c 775s | 16 | 643212 | 147952 | 315912 0 | 207 | 3422 783.18/783.39 c 778s | 16 | 643431 | 148152 | 315912 0 | 207 | 3422 785.86/786.05 c 780s | 16 | 643631 | 148352 | 315912 0 | 207 | 3422 788.16/788.36 c 783s | 16 | 643853 | 148552 | 315912 0 | 207 | 3422 790.46/790.67 c 785s | 16 | 644063 | 148752 | 315912 0 | 207 | 3422 793.36/793.56 c 788s | 16 | 644399 | 149052 | 315912 0 | 207 | 3422 795.76/795.93 c 790s | 16 | 644609 | 149252 | 315912 0 | 207 | 3422 797.86/798.00 c 792s | 16 | 644825 | 149452 | 315912 0 | 207 | 3422 799.86/800.04 c 794s | 16 | 645041 | 149652 | 315912 0 | 207 | 3422 802.97/803.19 c 798s | 16 | 645384 | 149952 | 315912 0 | 207 | 3422 805.25/805.42 c 800s | 16 | 645608 | 150152 | 315912 0 | 207 | 3422 807.45/807.67 c 802s | 16 | 645826 | 150352 | 315912 0 | 207 | 3422 809.65/809.85 c 804s | 16 | 646040 | 150552 | 315912 0 | 207 | 3422 811.85/812.06 c 806s | 16 | 646247 | 150752 | 315912 0 | 207 | 3422 814.55/814.74 c 809s | 16 | 646571 | 151052 | 315912 0 | 207 | 3422 816.85/817.03 c 811s | 16 | 646797 | 151252 | 315912 0 | 207 | 3422 819.35/819.57 c 814s | 16 | 646997 | 151452 | 315912 0 | 207 | 3422 821.95/822.19 c 817s | 16 | 647202 | 151652 | 315912 0 | 207 | 3422 824.24/824.41 c 819s | 16 | 647419 | 151852 | 315912 0 | 207 | 3422 826.54/826.72 c 821s | 16 | 647628 | 152052 | 315912 0 | 207 | 3422 828.74/828.92 c 823s | 16 | 647853 | 152252 | 315912 0 | 207 | 3422 830.94/831.15 c 826s | 16 | 648068 | 152452 | 315912 0 | 207 | 3422 833.84/834.01 c 828s | 16 | 648386 | 152752 | 315912 0 | 207 | 3422 836.34/836.59 c 831s | 16 | 648715 | 152952 | 315912 0 | 207 | 3422 838.84/839.05 c 833s | 16 | 648919 | 153152 | 315912 0 | 207 | 3422 841.24/841.40 c 836s | 16 | 649151 | 153352 | 315912 0 | 207 | 3422 843.84/844.06 c 838s | 16 | 649502 | 153652 | 315912 0 | 207 | 3422 846.94/847.11 c 841s | 16 | 649831 | 153952 | 315912 0 | 207 | 3422 849.04/849.24 c 844s | 16 | 650051 | 154152 | 315912 0 | 207 | 3422 851.03/851.29 c 846s | 16 | 650271 | 154352 | 315912 0 | 207 | 3422 853.03/853.29 c 848s | 16 | 650486 | 154552 | 315912 0 | 207 | 3422 855.23/855.48 c 850s | 16 | 650737 | 154752 | 315912 0 | 207 | 3422 857.73/857.98 c 852s | 16 | 650957 | 154952 | 315912 0 | 207 | 3422 860.43/860.68 c 855s | 16 | 651161 | 155152 | 315912 0 | 207 | 3422 862.63/862.88 c 857s | 16 | 651374 | 155352 | 315912 0 | 207 | 3422 865.13/865.36 c 860s | 16 | 651644 | 155552 | 315912 0 | 207 | 3422 867.53/867.70 c 862s | 16 | 651857 | 155752 | 315912 0 | 207 | 3422 869.93/870.18 c 865s | 16 | 652129 | 155952 | 315912 0 | 207 | 3422 872.52/872.73 c 867s | 16 | 652369 | 156152 | 315912 0 | 207 | 3422 875.02/875.23 c 870s | 16 | 652611 | 156352 | 315912 0 | 207 | 3422 877.42/877.68 c 872s | 16 | 652838 | 156552 | 315912 0 | 207 | 3422 880.02/880.21 c 875s | 16 | 653063 | 156752 | 315912 0 | 207 | 3422 882.22/882.45 c 877s | 16 | 653406 | 156952 | 315912 0 | 207 | 3422 884.82/885.02 c 879s | 16 | 653641 | 157152 | 315912 0 | 207 | 3422 887.12/887.37 c 882s | 16 | 653893 | 157352 | 315912 0 | 207 | 3422 889.52/889.72 c 884s | 16 | 654113 | 157552 | 315912 0 | 207 | 3422 892.03/892.25 c 887s | 16 | 654328 | 157752 | 315912 0 | 207 | 3422 894.51/894.74 c 889s | 16 | 654659 | 157952 | 315912 0 | 207 | 3422 897.01/897.27 c 892s | 16 | 654866 | 158152 | 315912 0 | 207 | 3422 899.62/899.81 c 894s | 16 | 655072 | 158352 | 315912 0 | 207 | 3422 902.21/902.48 c 897s | 16 | 655288 | 158552 | 315912 0 | 207 | 3422 905.22/905.49 c 900s | 16 | 655499 | 158752 | 315912 0 | 207 | 3422 907.71/907.98 c 902s | 16 | 655714 | 158952 | 315912 0 | 207 | 3422 910.51/910.79 c 905s | 16 | 655922 | 159152 | 315912 0 | 207 | 3422 913.41/913.65 c 908s | 16 | 656137 | 159352 | 315912 0 | 207 | 3422 915.90/916.11 c 910s | 16 | 656348 | 159552 | 315912 0 | 207 | 3422 918.31/918.56 c 913s | 16 | 656565 | 159752 | 315912 0 | 207 | 3422 920.70/920.94 c 915s | 16 | 656783 | 159952 | 315912 0 | 207 | 3422 923.00/923.21 c 918s | 16 | 657033 | 160152 | 315912 0 | 207 | 3422 925.60/925.80 c 920s | 16 | 657252 | 160352 | 315912 0 | 207 | 3422 927.70/927.94 c 922s | 16 | 657540 | 160552 | 315912 0 | 207 | 3422 930.30/930.52 c 925s | 16 | 657776 | 160752 | 315912 0 | 207 | 3422 932.71/932.98 c 927s | 16 | 658019 | 160952 | 315912 0 | 207 | 3422 934.80/935.10 c 929s | 16 | 658288 | 161152 | 315912 0 | 207 | 3422 937.29/937.51 c 932s | 16 | 658515 | 161352 | 315912 0 | 207 | 3422 939.49/939.77 c 934s | 16 | 658717 | 161552 | 315912 0 | 207 | 3422 942.09/942.33 c 937s | 16 | 658939 | 161752 | 315912 0 | 207 | 3422 944.29/944.53 c 939s | 16 | 659162 | 161952 | 315912 0 | 207 | 3422 946.39/946.69 c 941s | 16 | 659400 | 162152 | 315912 0 | 207 | 3422 948.69/948.94 c 943s | 16 | 659640 | 162352 | 315912 0 | 207 | 3422 951.09/951.33 c 946s | 16 | 659867 | 162552 | 315912 0 | 207 | 3422 953.39/953.65 c 948s | 16 | 660089 | 162752 | 315912 0 | 207 | 3422 955.49/955.72 c 950s | 16 | 660311 | 162952 | 315912 0 | 207 | 3422 958.49/958.72 c 953s | 16 | 660645 | 163252 | 315912 0 | 207 | 3422 961.19/961.42 c 956s | 16 | 660976 | 163552 | 315912 0 | 207 | 3422 963.98/964.24 c 959s | 16 | 661301 | 163852 | 315912 0 | 207 | 3422 966.88/967.16 c 962s | 16 | 661653 | 164152 | 315912 0 | 207 | 3422 968.89/969.20 c 964s | 16 | 661887 | 164352 | 315912 0 | 207 | 3422 971.88/972.12 c 966s | 16 | 662213 | 164652 | 315912 0 | 207 | 3422 974.08/974.37 c 969s | 16 | 662430 | 164852 | 315912 0 | 207 | 3422 976.88/977.19 c 972s | 16 | 662741 | 165152 | 315912 0 | 207 | 3422 979.58/979.87 c 974s | 16 | 663071 | 165452 | 315912 0 | 207 | 3422 982.78/983.06 c 977s | 16 | 663411 | 165752 | 315912 0 | 207 | 3422 985.18/985.48 c 980s | 16 | 663637 | 165952 | 315912 0 | 207 | 3422 987.87/988.12 c 982s | 16 | 663861 | 166152 | 315912 0 | 207 | 3422 990.17/990.40 c 985s | 16 | 664073 | 166352 | 315912 0 | 207 | 3422 992.27/992.59 c 987s | 16 | 664283 | 166552 | 315912 0 | 207 | 3422 994.77/995.06 c 989s | 16 | 664502 | 166752 | 315912 0 | 207 | 3422 997.07/997.34 c 992s | 16 | 664739 | 166952 | 315912 0 | 207 | 3422 999.47/999.77 c 994s | 16 | 664954 | 167152 | 315912 0 | 207 | 3422 1001.67/1001.98 c 996s | 16 | 665163 | 167352 | 315912 0 | 207 | 3422 1003.96/1004.27 c 999s | 16 | 665373 | 167552 | 315912 0 | 207 | 3422 1006.37/1006.64 c 1001s | 16 | 665591 | 167752 | 315912 0 | 207 | 3422 1009.36/1009.65 c 1004s | 16 | 665913 | 168052 | 315912 0 | 207 | 3422 1011.56/1011.85 c 1006s | 16 | 666126 | 168252 | 315912 0 | 207 | 3422 1013.66/1013.97 c 1008s | 16 | 666335 | 168452 | 315912 0 | 207 | 3422 1015.96/1016.23 c 1011s | 16 | 666545 | 168652 | 315912 0 | 207 | 3422 1017.97/1018.24 c 1013s | 16 | 666774 | 168852 | 315912 0 | 207 | 3422 1020.07/1020.35 c 1015s | 16 | 667006 | 169052 | 315912 0 | 207 | 3422 1022.47/1022.71 c 1017s | 16 | 667212 | 169252 | 315912 0 | 207 | 3422 1025.16/1025.41 c 1020s | 16 | 667557 | 169552 | 315912 0 | 207 | 3422 1027.46/1027.76 c 1022s | 16 | 667800 | 169752 | 315912 0 | 207 | 3422 1029.96/1030.27 c 1025s | 16 | 668018 | 169952 | 315912 0 | 207 | 3422 1032.96/1033.23 c 1028s | 16 | 668354 | 170252 | 315912 0 | 207 | 3422 1035.86/1036.19 c 1031s | 16 | 668680 | 170552 | 315912 0 | 207 | 3422 1038.66/1038.93 c 1033s | 16 | 669042 | 170852 | 315912 0 | 207 | 3422 1040.86/1041.13 c 1035s | 16 | 669252 | 171052 | 315912 0 | 207 | 3422 1043.46/1043.76 c 1038s | 16 | 669519 | 171252 | 315912 0 | 207 | 3422 1046.15/1046.49 c 1041s | 16 | 669744 | 171452 | 315912 0 | 207 | 3422 1048.65/1048.95 c 1043s | 16 | 669966 | 171652 | 315912 0 | 207 | 3422 1051.15/1051.42 c 1046s | 16 | 670180 | 171852 | 315912 0 | 207 | 3422 1053.66/1053.93 c 1048s | 16 | 670397 | 172052 | 315912 0 | 207 | 3422 1055.85/1056.19 c 1051s | 16 | 670664 | 172252 | 315912 0 | 207 | 3422 1058.75/1059.06 c 1053s | 16 | 670995 | 172552 | 315912 0 | 207 | 3422 1061.64/1062.00 c 1056s | 16 | 671225 | 172752 | 315912 0 | 207 | 3422 1064.14/1064.42 c 1059s | 16 | 671438 | 172952 | 315912 0 | 207 | 3422 1066.14/1066.49 c 1061s | 16 | 671664 | 173152 | 315912 0 | 207 | 3422 1068.34/1068.64 c 1063s | 16 | 671884 | 173352 | 315912 0 | 207 | 3422 1070.74/1071.08 c 1065s | 16 | 672200 | 173652 | 315912 0 | 207 | 3422 1072.94/1073.22 c 1068s | 16 | 672417 | 173852 | 315912 0 | 207 | 3422 1074.93/1075.27 c 1070s | 16 | 672634 | 174052 | 315912 0 | 207 | 3422 1077.53/1077.81 c 1072s | 16 | 672978 | 174352 | 315912 0 | 207 | 3422 1079.94/1080.23 c 1075s | 16 | 673200 | 174552 | 315912 0 | 207 | 3422 1082.03/1082.40 c 1077s | 16 | 673421 | 174752 | 315912 0 | 207 | 3422 1084.23/1084.52 c 1079s | 16 | 673646 | 174952 | 315912 0 | 207 | 3422 1086.83/1087.14 c 1082s | 16 | 673852 | 175152 | 315912 0 | 207 | 3422 1089.03/1089.35 c 1084s | 16 | 674085 | 175352 | 315912 0 | 207 | 3422 1091.63/1091.95 c 1086s | 16 | 674310 | 175552 | 315912 0 | 207 | 3422 1094.52/1094.89 c 1089s | 16 | 674532 | 175752 | 315912 0 | 207 | 3422 1097.22/1097.50 c 1092s | 16 | 674734 | 175952 | 315912 0 | 207 | 3422 1099.52/1099.89 c 1094s | 16 | 674960 | 176152 | 315912 0 | 207 | 3422 1102.03/1102.37 c 1097s | 16 | 675186 | 176352 | 315912 0 | 207 | 3422 1104.62/1104.90 c 1099s | 16 | 675406 | 176552 | 315912 0 | 207 | 3422 1106.82/1107.14 c 1101s | 16 | 675629 | 176752 | 315912 0 | 207 | 3422 1109.63/1109.93 c 1104s | 16 | 675953 | 177052 | 315912 0 | 207 | 3422 1113.02/1113.39 c 1108s | 16 | 676285 | 177352 | 315912 0 | 207 | 3422 1115.41/1115.78 c 1110s | 16 | 676496 | 177552 | 315912 0 | 207 | 3422 1117.61/1117.92 c 1112s | 16 | 676802 | 177752 | 315912 0 | 207 | 3422 1119.81/1120.13 c 1114s | 16 | 677024 | 177952 | 315912 0 | 207 | 3422 1122.41/1122.78 c 1117s | 16 | 677245 | 178152 | 315912 0 | 207 | 3422 1125.01/1125.32 c 1120s | 16 | 677452 | 178352 | 315912 0 | 207 | 3422 1127.41/1127.70 c 1122s | 16 | 677661 | 178552 | 315912 0 | 207 | 3422 1129.71/1130.06 c 1124s | 16 | 677877 | 178752 | 315912 0 | 207 | 3422 1131.81/1132.13 c 1126s | 16 | 678107 | 178952 | 315912 0 | 207 | 3422 1134.40/1134.72 c 1129s | 16 | 678331 | 179152 | 315912 0 | 207 | 3422 1136.90/1137.28 c 1132s | 16 | 678559 | 179352 | 315912 0 | 207 | 3422 1140.00/1140.34 c 1135s | 16 | 678772 | 179552 | 315912 0 | 207 | 3422 1142.71/1143.10 c 1137s | 16 | 678995 | 179752 | 315912 0 | 207 | 3422 1145.00/1145.34 c 1140s | 16 | 679215 | 179952 | 315912 0 | 207 | 3422 1147.79/1148.15 c 1143s | 16 | 679418 | 180152 | 315912 0 | 207 | 3422 1150.49/1150.86 c 1145s | 16 | 679703 | 180352 | 315912 0 | 207 | 3422 1153.39/1153.70 c 1148s | 16 | 679911 | 180552 | 315912 0 | 207 | 3422 1156.29/1156.62 c 1151s | 16 | 680143 | 180752 | 315912 0 | 207 | 3422 1159.09/1159.48 c 1154s | 16 | 680369 | 180952 | 315912 0 | 207 | 3422 1161.59/1161.90 c 1156s | 16 | 680666 | 181152 | 315912 0 | 207 | 3422 1164.18/1164.52 c 1159s | 16 | 680876 | 181352 | 315912 0 | 207 | 3422 1166.68/1167.02 c 1161s | 16 | 681112 | 181552 | 315912 0 | 207 | 3422 1168.99/1169.33 c 1164s | 16 | 681341 | 181752 | 315912 0 | 207 | 3422 1171.98/1172.31 c 1167s | 16 | 681575 | 181952 | 315912 0 | 207 | 3422 1174.38/1174.76 c 1169s | 16 | 681791 | 182152 | 315912 0 | 207 | 3422 1177.18/1177.58 c 1172s | 16 | 681999 | 182352 | 315912 0 | 207 | 3422 1179.78/1180.16 c 1175s | 16 | 682224 | 182552 | 315912 0 | 207 | 3422 1182.08/1182.45 c 1177s | 16 | 682448 | 182752 | 315912 0 | 207 | 3422 1184.77/1185.12 c 1179s | 16 | 682670 | 182952 | 315912 0 | 207 | 3422 1188.17/1188.51 c 1183s | 16 | 682903 | 183152 | 315912 0 | 207 | 3422 1191.08/1191.45 c 1186s | 16 | 683136 | 183352 | 315912 0 | 207 | 3422 1194.17/1194.50 c 1189s | 16 | 683346 | 183552 | 315912 0 | 207 | 3422 1196.97/1197.34 c 1192s | 16 | 683571 | 183752 | 315912 0 | 207 | 3422 1200.17/1200.53 c 1195s | 16 | 683781 | 183952 | 315912 0 | 207 | 3422 1202.97/1203.35 c 1198s | 16 | 684015 | 184152 | 315912 0 | 207 | 3422 1205.56/1205.91 c 1200s | 16 | 684224 | 184352 | 315912 0 | 207 | 3422 1208.16/1208.56 c 1203s | 16 | 684455 | 184552 | 315912 0 | 207 | 3422 1210.56/1210.97 c 1205s | 16 | 684664 | 184752 | 315912 0 | 207 | 3422 1213.56/1213.93 c 1208s | 16 | 684867 | 184952 | 315912 0 | 207 | 3422 1215.96/1216.38 c 1211s | 16 | 685156 | 185152 | 315912 0 | 207 | 3422 1219.06/1219.42 c 1214s | 16 | 685373 | 185352 | 315912 0 | 207 | 3422 1221.87/1222.29 c 1217s | 16 | 685583 | 185552 | 315912 0 | 207 | 3422 1224.55/1224.96 c 1219s | 16 | 685790 | 185752 | 315912 0 | 207 | 3422 1227.45/1227.86 c 1222s | 16 | 686007 | 185952 | 315912 0 | 207 | 3422 1229.95/1230.32 c 1225s | 16 | 686244 | 186152 | 315912 0 | 207 | 3422 1232.76/1233.12 c 1227s | 16 | 686460 | 186352 | 315912 0 | 207 | 3422 1235.85/1236.20 c 1231s | 16 | 686685 | 186552 | 315912 0 | 207 | 3422 1238.64/1239.08 c 1233s | 16 | 686896 | 186752 | 315912 0 | 207 | 3422 1241.84/1242.24 c 1237s | 16 | 687109 | 186952 | 315912 0 | 207 | 3422 1244.74/1245.16 c 1240s | 16 | 687326 | 187152 | 315912 0 | 207 | 3422 1247.54/1247.95 c 1242s | 16 | 687535 | 187352 | 315912 0 | 207 | 3422 1250.35/1250.80 c 1245s | 16 | 687761 | 187552 | 315912 0 | 207 | 3422 1253.44/1253.85 c 1248s | 16 | 687989 | 187752 | 315912 0 | 207 | 3422 1256.34/1256.77 c 1251s | 16 | 688199 | 187952 | 315912 0 | 207 | 3422 1259.63/1260.05 c 1254s | 16 | 688410 | 188152 | 315912 0 | 207 | 3422 1262.63/1263.05 c 1257s | 16 | 688653 | 188352 | 315912 0 | 207 | 3422 1265.33/1265.79 c 1260s | 16 | 688869 | 188552 | 315912 0 | 207 | 3422 1268.33/1268.78 c 1263s | 16 | 689087 | 188752 | 315912 0 | 207 | 3422 1271.33/1271.74 c 1266s | 16 | 689303 | 188952 | 315912 0 | 207 | 3422 1274.02/1274.48 c 1269s | 16 | 689520 | 189152 | 315912 0 | 207 | 3422 1276.83/1277.21 c 1272s | 16 | 689732 | 189352 | 315912 0 | 207 | 3422 1279.42/1279.87 c 1274s | 16 | 689950 | 189552 | 315912 0 | 207 | 3422 1282.33/1282.73 c 1277s | 16 | 690158 | 189752 | 315912 0 | 207 | 3422 1285.02/1285.48 c 1280s | 16 | 690373 | 189952 | 315912 0 | 207 | 3422 1287.62/1288.04 c 1282s | 16 | 690606 | 190152 | 315912 0 | 207 | 3422 1290.32/1290.77 c 1285s | 16 | 690851 | 190352 | 315912 0 | 207 | 3422 1293.12/1293.53 c 1288s | 16 | 691057 | 190552 | 315912 0 | 207 | 3422 1295.71/1296.16 c 1291s | 16 | 691262 | 190752 | 315912 0 | 207 | 3422 1297.81/1298.24 c 1293s | 16 | 691366 | 190852 | 315912 0 | 207 | 3422 1301.11/1301.54 c 1296s | 16 | 691574 | 191052 | 315912 0 | 207 | 3422 1304.71/1305.10 c 1299s | 16 | 691805 | 191252 | 315912 0 | 207 | 3422 1307.81/1308.22 c 1303s | 16 | 692040 | 191452 | 315912 0 | 207 | 3422 1310.41/1310.87 c 1305s | 16 | 692248 | 191652 | 315912 0 | 207 | 3422 1313.02/1313.48 c 1308s | 16 | 692469 | 191852 | 315912 0 | 207 | 3422 1316.01/1316.48 c 1311s | 16 | 692677 | 192052 | 315912 0 | 207 | 3422 1319.01/1319.40 c 1314s | 16 | 692900 | 192252 | 315912 0 | 207 | 3422 1321.61/1322.06 c 1316s | 16 | 693112 | 192452 | 315912 0 | 207 | 3422 1324.12/1324.54 c 1319s | 16 | 693342 | 192652 | 315912 0 | 207 | 3422 1326.81/1327.26 c 1322s | 16 | 693552 | 192852 | 315912 0 | 207 | 3422 1329.51/1329.93 c 1324s | 16 | 693764 | 193052 | 315912 0 | 207 | 3422 1332.21/1332.60 c 1327s | 16 | 693985 | 193252 | 315912 0 | 207 | 3422 1334.70/1335.15 c 1330s | 16 | 694194 | 193452 | 315912 0 | 207 | 3422 1337.31/1337.77 c 1332s | 16 | 694439 | 193652 | 315912 0 | 207 | 3422 1340.20/1340.66 c 1335s | 16 | 694676 | 193852 | 315912 0 | 207 | 3422 1342.81/1343.25 c 1338s | 16 | 694884 | 194052 | 315912 0 | 207 | 3422 1345.70/1346.17 c 1341s | 16 | 695131 | 194252 | 315912 0 | 207 | 3422 1348.60/1349.01 c 1343s | 16 | 695334 | 194452 | 315912 0 | 207 | 3422 1351.60/1352.07 c 1346s | 16 | 695547 | 194652 | 315912 0 | 207 | 3422 1354.60/1355.05 c 1349s | 16 | 695750 | 194852 | 315912 0 | 207 | 3422 1357.10/1357.56 c 1352s | 16 | 695975 | 195052 | 315912 0 | 207 | 3422 1359.70/1360.13 c 1354s | 16 | 696188 | 195252 | 315912 0 | 207 | 3422 1362.29/1362.74 c 1357s | 16 | 696447 | 195452 | 315912 0 | 207 | 3422 1364.99/1365.47 c 1360s | 16 | 696669 | 195652 | 315912 0 | 207 | 3422 1367.89/1368.34 c 1363s | 16 | 696995 | 195952 | 315912 0 | 207 | 3422 1370.59/1371.02 c 1365s | 16 | 697326 | 196252 | 347504 0 | 207 | 3422 1372.99/1373.49 c 1368s | 16 | 697714 | 196552 | 347504 0 | 207 | 3422 1375.80/1376.26 c 1371s | 16 | 698727 | 196752 | 347504 0 | 207 | 3422 1378.39/1378.87 c 1373s | 16 | 699458 | 197052 | 347504 0 | 207 | 3422 1380.49/1380.95 c 1375s | 16 | 699677 | 197252 | 347504 0 | 207 | 3422 1382.09/1382.52 c 1377s | 17 | 700034 | 197432 | 347504 0 | 207 | 3422 1384.59/1385.01 c 1379s | 17 | 703712 | 197632 | 347504 0 | 207 | 3422 1386.88/1387.34 c 1382s | 17 | 704265 | 198032 | 347504 0 | 207 | 3422 1389.58/1390.07 c 1384s | 17 | 704742 | 198432 | 347504 0 | 207 | 3422 1391.98/1392.48 c 1387s | 17 | 707543 | 198832 | 347504 0 | 207 | 3422 1394.88/1395.33 c 1390s | 17 | 710345 | 199132 | 347504 0 | 207 | 3422 1397.88/1398.30 c 1393s | 17 | 710902 | 199432 | 347504 0 | 207 | 3422 1400.68/1401.11 c 1395s | 17 | 711418 | 199732 | 347504 0 | 207 | 3422 1403.47/1403.97 c 1398s | 17 | 711846 | 200032 | 347504 0 | 207 | 3422 1405.87/1406.36 c 1401s | 17 | 712988 | 200332 | 347504 0 | 207 | 3422 1408.17/1408.69 c 1403s | 17 | 713498 | 200632 | 347504 0 | 207 | 3422 1410.98/1411.44 c 1406s | 17 | 714065 | 201032 | 347504 0 | 207 | 3422 1413.08/1413.53 c 1408s | 17 | 714530 | 201332 | 347504 0 | 207 | 3422 1415.28/1415.79 c 1410s | 17 | 714921 | 201632 | 347504 0 | 207 | 3422 1417.37/1417.89 c 1412s | 17 | 715169 | 201832 | 347504 0 | 207 | 3422 1419.57/1420.01 c 1414s | 17 | 716290 | 202032 | 347504 0 | 207 | 3422 1422.07/1422.56 c 1417s | 17 | 717685 | 202332 | 347504 0 | 207 | 3422 1424.67/1425.11 c 1419s | 17 | 718090 | 202632 | 347504 0 | 207 | 3422 1426.87/1427.38 c 1422s | 17 | 718415 | 202832 | 347504 0 | 207 | 3422 1429.06/1429.55 c 1424s | 17 | 718663 | 203032 | 347504 0 | 207 | 3422 1432.16/1432.60 c 1427s | 17 | 719137 | 203332 | 347504 0 | 207 | 3422 1434.36/1434.85 c 1429s | 17 | 719374 | 203532 | 347504 0 | 207 | 3422 1436.46/1436.95 c 1431s | 17 | 719600 | 203732 | 347504 0 | 207 | 3422 1438.47/1438.96 c 1433s | 17 | 720165 | 203932 | 347504 0 | 207 | 3422 1440.87/1441.38 c 1436s | 17 | 720374 | 204132 | 347504 0 | 207 | 3422 1443.07/1443.59 c 1438s | 17 | 720708 | 204332 | 347504 0 | 207 | 3422 1445.57/1446.00 c 1440s | 17 | 720921 | 204532 | 347504 0 | 207 | 3422 1447.67/1448.18 c 1443s | 17 | 721179 | 204732 | 347504 0 | 207 | 3422 1449.87/1450.36 c 1445s | 17 | 721471 | 204932 | 347504 0 | 207 | 3422 1452.47/1452.93 c 1447s | 17 | 722322 | 205232 | 347504 0 | 207 | 3422 1454.56/1455.06 c 1449s | 17 | 722716 | 205432 | 347504 0 | 207 | 3422 1457.07/1457.51 c 1452s | 17 | 723161 | 205732 | 347504 0 | 207 | 3422 1459.16/1459.62 c 1454s | 17 | 723422 | 205932 | 347504 0 | 207 | 3422 1461.47/1461.97 c 1456s | 17 | 723631 | 206132 | 347504 0 | 207 | 3422 1463.67/1464.12 c 1458s | 17 | 723896 | 206332 | 347504 0 | 207 | 3422 1465.87/1466.37 c 1461s | 17 | 724167 | 206532 | 347504 0 | 207 | 3422 1468.26/1468.75 c 1463s | 17 | 724407 | 206732 | 347504 0 | 207 | 3422 1470.96/1471.48 c 1466s | 17 | 724793 | 207032 | 347504 0 | 207 | 3422 1473.57/1474.02 c 1468s | 17 | 725039 | 207232 | 347504 0 | 207 | 3422 1475.86/1476.33 c 1471s | 17 | 725263 | 207432 | 347504 0 | 207 | 3422 1478.56/1479.06 c 1473s | 17 | 725487 | 207632 | 347504 0 | 207 | 3422 1481.26/1481.79 c 1476s | 17 | 725703 | 207832 | 347504 0 | 207 | 3422 1483.76/1484.22 c 1479s | 17 | 725922 | 208032 | 347504 0 | 207 | 3422 1486.16/1486.67 c 1481s | 17 | 726157 | 208232 | 347504 0 | 207 | 3422 1488.35/1488.88 c 1483s | 17 | 726403 | 208432 | 347504 0 | 207 | 3422 1490.45/1490.96 c 1485s | 17 | 726641 | 208632 | 347504 0 | 207 | 3422 1492.75/1493.29 c 1488s | 17 | 726858 | 208832 | 347504 0 | 207 | 3422 1495.25/1495.74 c 1490s | 17 | 727090 | 209032 | 347504 0 | 207 | 3422 1497.86/1498.38 c 1493s | 17 | 727310 | 209232 | 347504 0 | 207 | 3422 1500.25/1500.79 c 1495s | 17 | 727527 | 209432 | 347504 0 | 207 | 3422 1502.65/1503.19 c 1498s | 17 | 727748 | 209632 | 347504 0 | 207 | 3422 1505.05/1505.55 c 1500s | 17 | 727981 | 209832 | 347504 0 | 207 | 3422 1507.95/1508.47 c 1503s | 17 | 728219 | 210032 | 347504 0 | 207 | 3422 1510.85/1511.35 c 1506s | 17 | 728439 | 210232 | 347504 0 | 207 | 3422 1513.16/1513.61 c 1508s | 17 | 728669 | 210432 | 347504 0 | 207 | 3422 1515.75/1516.26 c 1511s | 17 | 728884 | 210632 | 347504 0 | 207 | 3422 1518.55/1519.04 c 1513s | 17 | 729100 | 210832 | 347504 0 | 207 | 3422 1520.95/1521.43 c 1516s | 17 | 729319 | 211032 | 347504 0 | 207 | 3422 1523.05/1523.54 c 1518s | 17 | 729535 | 211232 | 347504 0 | 207 | 3422 1525.25/1525.79 c 1520s | 17 | 729748 | 211432 | 347504 0 | 207 | 3422 1527.55/1528.06 c 1522s | 17 | 729960 | 211632 | 347504 0 | 207 | 3422 1529.75/1530.26 c 1525s | 17 | 730174 | 211832 | 347504 0 | 207 | 3422 1532.54/1533.05 c 1527s | 17 | 730544 | 212132 | 347504 0 | 207 | 3422 1534.94/1535.44 c 1530s | 17 | 730856 | 212332 | 347504 0 | 207 | 3422 1537.35/1537.82 c 1532s | 17 | 731197 | 212532 | 347504 0 | 207 | 3422 1539.95/1540.46 c 1535s | 17 | 731435 | 212732 | 347504 0 | 207 | 3422 1542.05/1542.52 c 1537s | 17 | 731677 | 212932 | 347504 0 | 207 | 3422 1544.35/1544.85 c 1539s | 17 | 731909 | 213132 | 347504 0 | 207 | 3422 1546.45/1546.97 c 1541s | 17 | 732228 | 213332 | 347504 0 | 207 | 3422 1549.85/1550.36 c 1545s | 17 | 732592 | 213632 | 347504 0 | 207 | 3422 1552.25/1552.78 c 1547s | 17 | 732805 | 213832 | 347504 0 | 207 | 3422 1554.75/1555.22 c 1550s | 17 | 733031 | 214032 | 347504 0 | 207 | 3422 1557.35/1557.86 c 1552s | 17 | 733244 | 214232 | 347504 0 | 207 | 3422 1559.95/1560.44 c 1555s | 17 | 733463 | 214432 | 347504 0 | 207 | 3422 1563.05/1563.50 c 1558s | 17 | 733880 | 214732 | 347504 0 | 207 | 3422 1565.55/1566.01 c 1560s | 17 | 734107 | 214932 | 347504 0 | 207 | 3422 1567.75/1568.23 c 1563s | 17 | 734328 | 215132 | 347504 0 | 207 | 3422 1570.25/1570.72 c 1565s | 17 | 734539 | 215332 | 347504 0 | 207 | 3422 1572.55/1573.08 c 1567s | 17 | 734740 | 215532 | 347504 0 | 207 | 3422 1575.64/1576.17 c 1571s | 17 | 735389 | 215832 | 347504 0 | 207 | 3422 1578.74/1579.25 c 1574s | 17 | 736063 | 216132 | 347504 0 | 207 | 3422 1581.84/1582.36 c 1577s | 17 | 736432 | 216432 | 347504 0 | 207 | 3422 1583.94/1584.46 c 1579s | 17 | 736651 | 216632 | 347504 0 | 207 | 3422 1586.14/1586.68 c 1581s | 17 | 736866 | 216832 | 347504 0 | 207 | 3422 1588.84/1589.33 c 1584s | 17 | 737154 | 217032 | 347504 0 | 207 | 3422 1592.04/1592.54 c 1587s | 17 | 737374 | 217232 | 347504 0 | 207 | 3422 1595.24/1595.77 c 1590s | 17 | 737588 | 217432 | 347504 0 | 207 | 3422 1598.44/1598.98 c 1593s | 17 | 737804 | 217632 | 347504 0 | 207 | 3422 1601.03/1601.57 c 1596s | 17 | 738015 | 217832 | 347504 0 | 207 | 3422 1603.63/1604.19 c 1599s | 17 | 738231 | 218032 | 347504 0 | 207 | 3422 1606.33/1606.81 c 1601s | 17 | 738458 | 218232 | 347504 0 | 207 | 3422 1608.53/1609.06 c 1603s | 17 | 738668 | 218432 | 347504 0 | 207 | 3422 1610.83/1611.31 c 1606s | 17 | 738887 | 218632 | 347504 0 | 207 | 3422 1613.54/1614.09 c 1608s | 17 | 739194 | 218932 | 347504 0 | 207 | 3422 1615.64/1616.13 c 1610s | 17 | 739561 | 219132 | 347504 0 | 207 | 3422 1618.24/1618.76 c 1613s | 17 | 739786 | 219332 | 347504 0 | 207 | 3422 1620.54/1621.05 c 1615s | 17 | 740011 | 219532 | 347504 0 | 207 | 3422 1622.64/1623.16 c 1618s | 17 | 740269 | 219732 | 347504 0 | 207 | 3422 1624.94/1625.46 c 1620s | 17 | 740489 | 219932 | 347504 0 | 207 | 3422 1627.34/1627.81 c 1622s | 17 | 740712 | 220132 | 347504 0 | 207 | 3422 1629.54/1630.03 c 1624s | 17 | 740939 | 220332 | 347504 0 | 207 | 3422 1631.84/1632.31 c 1627s | 17 | 741253 | 220532 | 347504 0 | 207 | 3422 1634.64/1635.13 c 1629s | 17 | 741562 | 220732 | 347504 0 | 207 | 3422 1636.84/1637.31 c 1632s | 17 | 741796 | 220932 | 347504 0 | 207 | 3422 1639.14/1639.67 c 1634s | 17 | 742014 | 221132 | 347504 0 | 207 | 3422 1641.24/1641.75 c 1636s | 17 | 742256 | 221332 | 347504 0 | 207 | 3422 1643.44/1643.95 c 1638s | 17 | 742498 | 221532 | 347504 0 | 207 | 3422 1645.63/1646.12 c 1640s | 17 | 742771 | 221732 | 347504 0 | 207 | 3422 1648.33/1648.81 c 1643s | 17 | 742989 | 221932 | 347504 0 | 207 | 3422 1651.13/1651.68 c 1646s | 17 | 743200 | 222132 | 347504 0 | 207 | 3422 1653.33/1653.85 c 1648s | 17 | 743457 | 222332 | 347504 0 | 207 | 3422 1656.14/1656.68 c 1651s | 17 | 743881 | 222632 | 347504 0 | 207 | 3422 1658.34/1658.86 c 1653s | 17 | 745940 | 222832 | 347504 0 | 207 | 3422 1661.03/1661.56 c 1656s | 17 | 751786 | 223132 | 347504 0 | 207 | 3422 1663.23/1663.73 c 1658s | 17 | 753831 | 223432 | 347504 0 | 207 | 3422 1666.04/1666.51 c 1661s | 17 | 754950 | 223732 | 347504 0 | 207 | 3422 1668.43/1668.95 c 1663s | 17 | 755553 | 224032 | 347504 0 | 207 | 3422 1671.03/1671.58 c 1666s | 17 | 759445 | 224332 | 347504 0 | 207 | 3422 1673.13/1673.68 c 1668s | 17 | 760431 | 224532 | 347504 0 | 207 | 3422 1676.04/1676.52 c 1671s | 17 | 761468 | 224832 | 347504 0 | 207 | 3422 1678.14/1678.68 c 1673s | 17 | 761712 | 225032 | 347504 0 | 207 | 3422 1680.63/1681.19 c 1676s | 17 | 761938 | 225232 | 347504 0 | 207 | 3422 1683.13/1683.63 c 1678s | 17 | 762301 | 225432 | 347504 0 | 207 | 3422 1685.33/1685.83 c 1680s | 17 | 762528 | 225632 | 347504 0 | 207 | 3422 1688.43/1688.95 c 1683s | 17 | 762982 | 225932 | 347504 0 | 207 | 3422 1690.83/1691.39 c 1686s | 17 | 763229 | 226132 | 347504 0 | 207 | 3422 1693.33/1693.86 c 1688s | 17 | 763456 | 226332 | 347504 0 | 207 | 3422 1695.83/1696.34 c 1691s | 17 | 763686 | 226532 | 347504 0 | 207 | 3422 1698.52/1699.05 c 1693s | 17 | 763898 | 226732 | 347504 0 | 207 | 3422 1700.62/1701.15 c 1696s | 17 | 764227 | 226932 | 347504 0 | 207 | 3422 1703.63/1704.18 c 1699s | 17 | 764466 | 227132 | 347504 0 | 207 | 3422 1706.52/1707.00 c 1701s | 17 | 764758 | 227332 | 347504 0 | 207 | 3422 1708.82/1709.36 c 1704s | 17 | 764993 | 227532 | 347504 0 | 207 | 3422 1711.42/1711.99 c 1706s | 17 | 765228 | 227732 | 347504 0 | 207 | 3422 1714.22/1714.79 c 1709s | 17 | 765487 | 227932 | 347504 0 | 207 | 3422 1716.82/1717.33 c 1712s | 17 | 765722 | 228132 | 347504 0 | 207 | 3422 1719.82/1720.33 c 1715s | 17 | 766635 | 228432 | 347504 0 | 207 | 3422 1721.92/1722.46 c 1717s | 17 | 767046 | 228632 | 347504 0 | 207 | 3422 1724.12/1724.60 c 1719s | 17 | 767472 | 228832 | 347504 0 | 207 | 3422 1726.22/1726.75 c 1721s | 17 | 767740 | 229032 | 347504 0 | 207 | 3422 1729.32/1729.80 c 1724s | 17 | 768326 | 229332 | 347504 0 | 207 | 3422 1732.02/1732.53 c 1727s | 17 | 769397 | 229632 | 347504 0 | 207 | 3422 1734.72/1735.29 c 1730s | 17 | 770469 | 229932 | 347504 0 | 207 | 3422 1737.22/1737.76 c 1732s | 17 | 770871 | 230132 | 347504 0 | 207 | 3422 1739.82/1740.35 c 1735s | 17 | 771155 | 230332 | 347504 0 | 207 | 3422 1742.02/1742.57 c 1737s | 17 | 771728 | 230532 | 347504 0 | 207 | 3422 1744.22/1744.75 c 1739s | 17 | 772088 | 230732 | 347504 0 | 207 | 3422 1746.62/1747.16 c 1742s | 17 | 772391 | 230932 | 347504 0 | 207 | 3422 1749.12/1749.60 c 1744s | 17 | 772613 | 231132 | 347504 0 | 207 | 3422 1751.71/1752.24 c 1747s | 17 | 772883 | 231332 | 347504 0 | 207 | 3422 1754.71/1755.22 c 1750s | 17 | 773137 | 231532 | 347504 0 | 207 | 3422 1757.01/1757.57 c 1752s | 17 | 773381 | 231732 | 347504 0 | 207 | 3422 1759.31/1759.82 c 1754s | 17 | 773610 | 231932 | 347504 0 | 207 | 3422 1761.82/1762.31 c 1757s | 17 | 773859 | 232132 | 347504 0 | 207 | 3422 1764.21/1764.79 c 1759s | 17 | 774083 | 232332 | 347504 0 | 207 | 3422 1766.51/1767.07 c 1761s | 17 | 774299 | 232532 | 347504 0 | 207 | 3422 1768.81/1769.34 c 1764s | 17 | 774541 | 232732 | 347504 0 | 207 | 3422 1770.91/1771.41 c 1766s | 17 | 774751 | 232932 | 347504 0 | 207 | 3422 1773.82/1774.38 c 1769s | 17 | 775086 | 233232 | 347504 0 | 207 | 3422 1776.61/1777.17 c 1772s | 17 | 775325 | 233432 | 347504 0 | 207 | 3422 1779.21/1779.71 c 1774s | 17 | 775531 | 233632 | 347504 0 | 207 | 3422 1781.71/1782.27 c 1777s | 17 | 775740 | 233832 | 347504 0 | 207 | 3422 1784.51/1785.01 c 1779s | 17 | 775942 | 234032 | 347504 0 | 207 | 3422 1786.51/1787.04 c 1781s | 17 | 776169 | 234232 | 347504 0 | 207 | 3422 1789.01/1789.60 c 1784s | 17 | 776390 | 234432 | 347504 0 | 207 | 3422 1791.51/1792.04 c 1786s | 17 | 776618 | 234632 | 347504 0 | 207 | 3422 1794.01/1794.51 c 1789s | 17 | 776820 | 234832 | 347504 0 | 207 | 3422 1796.80/1797.30 c 1792s | 17 | 777193 | 235132 | 347504 0 | 207 | 3422 1799.80/1800.37 c 1795s | 17 | 777530 | 235432 | 347504 0 | 207 | 3422
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-4108988-1466292960/watcher-4108988-1466292960 -o /tmp/evaluation-result-4108988-1466292960/solver-4108988-1466292960 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466292960-3281 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108988-1466292960.opb pid=3297 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: 1.68 2.08 2.14 3/170 3300 /proc/meminfo: memFree=30192368/32872528 swapFree=1431120/1543540 [pid=3300] ppid=3297 vsize=715332 CPUtime=0 cores=1,3,5,7 /proc/3300/stat : 3300 (toysat) R 3297 3300 31922 0 -1 4202496 2666 0 0 0 0 0 0 0 20 0 4 0 31344734 732499968 3027 33554432000 4194304 16246674 140734220336000 140734220335424 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3300/statm: 179345 3035 442 2943 0 176239 0 [pid=3300/tid=3301] ppid=3297 vsize=747076 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3301/stat : 3301 (toysat) S 3297 3300 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344735 765005824 3153 33554432000 4194304 16246674 140734220336000 139702326766832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3300/tid=3302] ppid=3297 vsize=752196 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3302/stat : 3302 (toysat) S 3297 3300 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344735 770248704 3173 33554432000 4194304 16246674 140734220336000 139702316276976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3300/tid=3303] ppid=3297 vsize=756292 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3303/stat : 3303 (toysat) S 3297 3300 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344735 774443008 3187 33554432000 4194304 16246674 140734220336000 139702199905456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100066 s] /proc/loadavg: 1.68 2.08 2.14 3/170 3300 /proc/meminfo: memFree=30192368/32872528 swapFree=1431120/1543540 [pid=3300] ppid=3297 vsize=1301060 CPUtime=0.09 cores=1,3,5,7 /proc/3300/stat : 3300 (toysat) R 3297 3300 31922 0 -1 4202496 25349 0 0 0 6 3 0 0 20 0 4 0 31344734 1332285440 25648 33554432000 4194304 16246674 140734220336000 140734220335312 7374276 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3300/statm: 325265 25665 801 2943 0 322159 0 [pid=3300/tid=3301] ppid=3297 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3301/stat : 3301 (toysat) S 3297 3300 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344735 1332285440 25677 33554432000 4194304 16246674 140734220336000 139702326766832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3300/tid=3302] ppid=3297 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3302/stat : 3302 (toysat) S 3297 3300 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344735 1332285440 25687 33554432000 4194304 16246674 140734220336000 139702316276976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3300/tid=3303] ppid=3297 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3303/stat : 3303 (toysat) S 3297 3300 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344735 1332285440 25698 33554432000 4194304 16246674 140734220336000 139702199905456 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) 1301060 [startup+0.200548 s] /proc/loadavg: 1.68 2.08 2.14 3/170 3300 /proc/meminfo: memFree=30192368/32872528 swapFree=1431120/1543540 [pid=3300] ppid=3297 vsize=1308228 CPUtime=0.19 cores=1,3,5,7 /proc/3300/stat : 3300 (toysat) R 3297 3300 31922 0 -1 4202496 51023 0 0 0 12 7 0 0 20 0 4 0 31344734 1339625472 51833 33554432000 4194304 16246674 140734220336000 140734220335312 4223718 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3300/statm: 327057 51837 801 2943 0 323951 0 [pid=3300/tid=3301] ppid=3297 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3301/stat : 3301 (toysat) S 3297 3300 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344735 1339625472 51840 33554432000 4194304 16246674 140734220336000 139702326766832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3300/tid=3302] ppid=3297 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3302/stat : 3302 (toysat) S 3297 3300 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344735 1339625472 51842 33554432000 4194304 16246674 140734220336000 139702316276976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3300/tid=3303] ppid=3297 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3303/stat : 3303 (toysat) S 3297 3300 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344735 1339625472 51844 33554432000 4194304 16246674 140734220336000 139702199905456 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) 1308228 [startup+0.300558 s] /proc/loadavg: 1.68 2.08 2.14 3/170 3300 /proc/meminfo: memFree=30192368/32872528 swapFree=1431120/1543540 [pid=3300] ppid=3297 vsize=1314372 CPUtime=0.29 cores=1,3,5,7 /proc/3300/stat : 3300 (toysat) R 3297 3300 31922 0 -1 4202496 59010 0 0 0 21 8 0 0 20 0 4 0 31344734 1345916928 59820 33554432000 4194304 16246674 140734220336000 140734220335312 4220520 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3300/statm: 328593 59820 801 2943 0 325487 0 [pid=3300/tid=3301] ppid=3297 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3301/stat : 3301 (toysat) S 3297 3300 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344735 1345916928 59820 33554432000 4194304 16246674 140734220336000 139702326766832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3300/tid=3302] ppid=3297 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3302/stat : 3302 (toysat) S 3297 3300 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344735 1345916928 59820 33554432000 4194304 16246674 140734220336000 139702316276976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3300/tid=3303] ppid=3297 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3303/stat : 3303 (toysat) S 3297 3300 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344735 1345916928 59820 33554432000 4194304 16246674 140734220336000 139702199905456 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.700386 s] /proc/loadavg: 1.68 2.08 2.14 3/170 3300 /proc/meminfo: memFree=30192368/32872528 swapFree=1431120/1543540 [pid=3300] ppid=3297 vsize=1314372 CPUtime=0.69 cores=1,3,5,7 /proc/3300/stat : 3300 (toysat) R 3297 3300 31922 0 -1 4202496 70502 0 0 0 59 10 0 0 20 0 4 0 31344734 1345916928 71312 33554432000 4194304 16246674 140734220336000 140734220333888 7369397 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3300/statm: 328593 71312 802 2943 0 325487 0 [pid=3300/tid=3301] ppid=3297 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3301/stat : 3301 (toysat) S 3297 3300 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344735 1345916928 71312 33554432000 4194304 16246674 140734220336000 139702326766832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3300/tid=3302] ppid=3297 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3302/stat : 3302 (toysat) S 3297 3300 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344735 1345916928 71312 33554432000 4194304 16246674 140734220336000 139702316276976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3300/tid=3303] ppid=3297 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3303/stat : 3303 (toysat) S 3297 3300 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344735 1345916928 71312 33554432000 4194304 16246674 140734220336000 139702199905456 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.50043 s] /proc/loadavg: 1.70 2.08 2.14 4/183 3317 /proc/meminfo: memFree=29537660/32872528 swapFree=1431120/1543540 [pid=3300] ppid=3297 vsize=1314372 CPUtime=1.49 cores=1,3,5,7 /proc/3300/stat : 3300 (toysat) R 3297 3300 31922 0 -1 4202496 84189 0 0 0 136 13 0 0 20 0 4 0 31344734 1345916928 84999 33554432000 4194304 16246674 140734220336000 140734220318992 7371637 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3300/statm: 328593 84999 803 2943 0 325487 0 [pid=3300/tid=3301] ppid=3297 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3301/stat : 3301 (toysat) S 3297 3300 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344735 1345916928 84999 33554432000 4194304 16246674 140734220336000 139702326766832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3300/tid=3302] ppid=3297 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3302/stat : 3302 (toysat) S 3297 3300 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344735 1345916928 84999 33554432000 4194304 16246674 140734220336000 139702316276976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3300/tid=3303] ppid=3297 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3303/stat : 3303 (toysat) S 3297 3300 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344735 1345916928 84999 33554432000 4194304 16246674 140734220336000 139702199905456 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.10043 s] /proc/loadavg: 1.70 2.08 2.14 4/183 3317 /proc/meminfo: memFree=29092980/32872528 swapFree=1431120/1543540 [pid=3300] ppid=3297 vsize=1349188 CPUtime=3.09 cores=1,3,5,7 /proc/3300/stat : 3300 (toysat) R 3297 3300 31922 0 -1 4202496 277679 0 0 0 266 43 0 0 20 0 4 0 31344734 1381568512 278489 33554432000 4194304 16246674 140734220336000 140734220317888 12470899 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3300/statm: 337297 278489 846 2943 0 334191 0 [pid=3300/tid=3301] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3301/stat : 3301 (toysat) S 3297 3300 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278489 33554432000 4194304 16246674 140734220336000 139702326766832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3300/tid=3302] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3302/stat : 3302 (toysat) S 3297 3300 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278489 33554432000 4194304 16246674 140734220336000 139702316276976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3300/tid=3303] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3303/stat : 3303 (toysat) S 3297 3300 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278489 33554432000 4194304 16246674 140734220336000 139702199905456 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) 1349188 [startup+6.30044 s] /proc/loadavg: 1.81 2.10 2.14 3/183 3317 /proc/meminfo: memFree=27981592/32872528 swapFree=1431120/1543540 [pid=3300] ppid=3297 vsize=1349188 CPUtime=6.29 cores=1,3,5,7 /proc/3300/stat : 3300 (toysat) R 3297 3300 31922 0 -1 4202496 277970 0 0 0 586 43 0 0 20 0 4 0 31344734 1381568512 278780 33554432000 4194304 16246674 140734220336000 140734220333824 5601651 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3300/statm: 337297 278780 890 2943 0 334191 0 [pid=3300/tid=3301] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3301/stat : 3301 (toysat) S 3297 3300 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278780 33554432000 4194304 16246674 140734220336000 139702326766832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3300/tid=3302] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3302/stat : 3302 (toysat) S 3297 3300 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278780 33554432000 4194304 16246674 140734220336000 139702316276976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3300/tid=3303] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3303/stat : 3303 (toysat) S 3297 3300 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278780 33554432000 4194304 16246674 140734220336000 139702199905456 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) 1349188 [startup+12.7004 s] /proc/loadavg: 1.90 2.11 2.14 4/183 3317 /proc/meminfo: memFree=27981620/32872528 swapFree=1431120/1543540 [pid=3300] ppid=3297 vsize=1349188 CPUtime=12.69 cores=1,3,5,7 /proc/3300/stat : 3300 (toysat) R 3297 3300 31922 0 -1 4202496 277973 0 0 0 1226 43 0 0 20 0 4 0 31344734 1381568512 278783 33554432000 4194304 16246674 140734220336000 140734220317888 5661989 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3300/statm: 337297 278783 891 2943 0 334191 0 [pid=3300/tid=3301] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3301/stat : 3301 (toysat) S 3297 3300 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278783 33554432000 4194304 16246674 140734220336000 139702326766832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3300/tid=3302] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3302/stat : 3302 (toysat) S 3297 3300 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278783 33554432000 4194304 16246674 140734220336000 139702316276976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3300/tid=3303] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3303/stat : 3303 (toysat) S 3297 3300 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278783 33554432000 4194304 16246674 140734220336000 139702199905456 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) 1349188 [startup+25.5005 s] /proc/loadavg: 1.99 2.12 2.15 3/183 3317 /proc/meminfo: memFree=27983152/32872528 swapFree=1431120/1543540 [pid=3300] ppid=3297 vsize=1349188 CPUtime=25.49 cores=1,3,5,7 /proc/3300/stat : 3300 (toysat) R 3297 3300 31922 0 -1 4202496 277973 0 0 0 2506 43 0 0 20 0 4 0 31344734 1381568512 278783 33554432000 4194304 16246674 140734220336000 140734220317888 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3300/statm: 337297 278783 891 2943 0 334191 0 [pid=3300/tid=3301] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3301/stat : 3301 (toysat) S 3297 3300 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278783 33554432000 4194304 16246674 140734220336000 139702326766832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3300/tid=3302] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3302/stat : 3302 (toysat) S 3297 3300 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278783 33554432000 4194304 16246674 140734220336000 139702316276976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3300/tid=3303] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3303/stat : 3303 (toysat) S 3297 3300 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278783 33554432000 4194304 16246674 140734220336000 139702199905456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1349188 [startup+51.1005 s] /proc/loadavg: 1.99 2.11 2.14 3/183 3317 /proc/meminfo: memFree=27983284/32872528 swapFree=1431120/1543540 [pid=3300] ppid=3297 vsize=1349188 CPUtime=51.08 cores=1,3,5,7 /proc/3300/stat : 3300 (toysat) R 3297 3300 31922 0 -1 4202496 277973 0 0 0 5065 43 0 0 20 0 4 0 31344734 1381568512 278783 33554432000 4194304 16246674 140734220336000 140734220317888 5717604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3300/statm: 337297 278783 891 2943 0 334191 0 [pid=3300/tid=3301] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3301/stat : 3301 (toysat) S 3297 3300 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278783 33554432000 4194304 16246674 140734220336000 139702326766832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3300/tid=3302] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3302/stat : 3302 (toysat) S 3297 3300 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278783 33554432000 4194304 16246674 140734220336000 139702316276976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3300/tid=3303] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3303/stat : 3303 (toysat) S 3297 3300 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278783 33554432000 4194304 16246674 140734220336000 139702199905456 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) 1349188 [startup+102.3 s] /proc/loadavg: 2.24 2.15 2.15 4/183 3319 /proc/meminfo: memFree=27983356/32872528 swapFree=1431120/1543540 [pid=3300] ppid=3297 vsize=1349188 CPUtime=102.28 cores=1,3,5,7 /proc/3300/stat : 3300 (toysat) R 3297 3300 31922 0 -1 4202496 277973 0 0 0 10185 43 0 0 20 0 4 0 31344734 1381568512 278783 33554432000 4194304 16246674 140734220336000 140734220317888 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3300/statm: 337297 278783 891 2943 0 334191 0 [pid=3300/tid=3301] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3301/stat : 3301 (toysat) S 3297 3300 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278783 33554432000 4194304 16246674 140734220336000 139702326766832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3300/tid=3302] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3302/stat : 3302 (toysat) S 3297 3300 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278783 33554432000 4194304 16246674 140734220336000 139702316276976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3300/tid=3303] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3303/stat : 3303 (toysat) S 3297 3300 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278783 33554432000 4194304 16246674 140734220336000 139702199905456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1349188 ################ # More data... # ################ /proc/3300/task/3303/stat : 3303 (toysat) S 3297 3300 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278790 33554432000 4194304 16246674 140734220336000 139702199905456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1349188 [startup+1362.3 s] /proc/loadavg: 2.26 2.28 2.21 3/183 3350 /proc/meminfo: memFree=27979368/32872528 swapFree=1431120/1543540 [pid=3300] ppid=3297 vsize=1349188 CPUtime=1361.9 cores=1,3,5,7 /proc/3300/stat : 3300 (toysat) R 3297 3300 31922 0 -1 4202496 278327 0 0 0 136145 45 0 0 20 0 4 0 31344734 1381568512 278790 33554432000 4194304 16246674 140734220336000 140734220317888 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3300/statm: 337297 278790 896 2943 0 334191 0 [pid=3300/tid=3301] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3301/stat : 3301 (toysat) S 3297 3300 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278790 33554432000 4194304 16246674 140734220336000 139702326766832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3300/tid=3302] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3302/stat : 3302 (toysat) S 3297 3300 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278790 33554432000 4194304 16246674 140734220336000 139702316276976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3300/tid=3303] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3303/stat : 3303 (toysat) S 3297 3300 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278790 33554432000 4194304 16246674 140734220336000 139702199905456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1349188 [startup+1422.3 s] /proc/loadavg: 2.27 2.29 2.22 3/183 3351 /proc/meminfo: memFree=27979284/32872528 swapFree=1431120/1543540 [pid=3300] ppid=3297 vsize=1349188 CPUtime=1421.87 cores=1,3,5,7 /proc/3300/stat : 3300 (toysat) R 3297 3300 31922 0 -1 4202496 278360 0 0 0 142142 45 0 0 20 0 4 0 31344734 1381568512 278790 33554432000 4194304 16246674 140734220336000 140734220317888 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3300/statm: 337297 278790 896 2943 0 334191 0 [pid=3300/tid=3301] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3301/stat : 3301 (toysat) S 3297 3300 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278790 33554432000 4194304 16246674 140734220336000 139702326766832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3300/tid=3302] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3302/stat : 3302 (toysat) S 3297 3300 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278790 33554432000 4194304 16246674 140734220336000 139702316276976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3300/tid=3303] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3303/stat : 3303 (toysat) S 3297 3300 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278790 33554432000 4194304 16246674 140734220336000 139702199905456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1349188 [startup+1482.3 s] /proc/loadavg: 2.27 2.28 2.21 3/184 3355 /proc/meminfo: memFree=27978468/32872528 swapFree=1431120/1543540 [pid=3300] ppid=3297 vsize=1349188 CPUtime=1481.86 cores=1,3,5,7 /proc/3300/stat : 3300 (toysat) R 3297 3300 31922 0 -1 4202496 278374 0 0 0 148140 46 0 0 20 0 4 0 31344734 1381568512 278790 33554432000 4194304 16246674 140734220336000 140734220317888 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3300/statm: 337297 278790 896 2943 0 334191 0 [pid=3300/tid=3301] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3301/stat : 3301 (toysat) S 3297 3300 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278790 33554432000 4194304 16246674 140734220336000 139702326766832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3300/tid=3302] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3302/stat : 3302 (toysat) S 3297 3300 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278790 33554432000 4194304 16246674 140734220336000 139702316276976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3300/tid=3303] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3303/stat : 3303 (toysat) S 3297 3300 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278790 33554432000 4194304 16246674 140734220336000 139702199905456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1349188 [startup+1542.31 s] /proc/loadavg: 2.31 2.29 2.22 4/184 3379 /proc/meminfo: memFree=27978240/32872528 swapFree=1431120/1543540 [pid=3300] ppid=3297 vsize=1349188 CPUtime=1541.86 cores=1,3,5,7 /proc/3300/stat : 3300 (toysat) R 3297 3300 31922 0 -1 4202496 278374 0 0 0 154139 47 0 0 20 0 4 0 31344734 1381568512 278790 33554432000 4194304 16246674 140734220336000 140734220317888 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3300/statm: 337297 278790 896 2943 0 334191 0 [pid=3300/tid=3301] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3301/stat : 3301 (toysat) S 3297 3300 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278790 33554432000 4194304 16246674 140734220336000 139702326766832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3300/tid=3302] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3302/stat : 3302 (toysat) S 3297 3300 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278790 33554432000 4194304 16246674 140734220336000 139702316276976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3300/tid=3303] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3303/stat : 3303 (toysat) S 3297 3300 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278790 33554432000 4194304 16246674 140734220336000 139702199905456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1349188 [startup+1602.3 s] /proc/loadavg: 2.21 2.26 2.21 3/183 3380 /proc/meminfo: memFree=27978184/32872528 swapFree=1431120/1543540 [pid=3300] ppid=3297 vsize=1349188 CPUtime=1601.83 cores=1,3,5,7 /proc/3300/stat : 3300 (toysat) R 3297 3300 31922 0 -1 4202496 278374 0 0 0 160136 47 0 0 20 0 4 0 31344734 1381568512 278790 33554432000 4194304 16246674 140734220336000 140734220317888 5677784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3300/statm: 337297 278790 896 2943 0 334191 0 [pid=3300/tid=3301] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3301/stat : 3301 (toysat) S 3297 3300 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278790 33554432000 4194304 16246674 140734220336000 139702326766832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3300/tid=3302] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3302/stat : 3302 (toysat) S 3297 3300 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278790 33554432000 4194304 16246674 140734220336000 139702316276976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3300/tid=3303] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3303/stat : 3303 (toysat) S 3297 3300 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278790 33554432000 4194304 16246674 140734220336000 139702199905456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1349188 [startup+1662.3 s] /proc/loadavg: 2.30 2.27 2.22 3/183 3382 /proc/meminfo: memFree=27978692/32872528 swapFree=1431120/1543540 [pid=3300] ppid=3297 vsize=1349188 CPUtime=1661.83 cores=1,3,5,7 /proc/3300/stat : 3300 (toysat) R 3297 3300 31922 0 -1 4202496 278374 0 0 0 166135 48 0 0 20 0 4 0 31344734 1381568512 278790 33554432000 4194304 16246674 140734220336000 140734220317888 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3300/statm: 337297 278790 896 2943 0 334191 0 [pid=3300/tid=3301] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3301/stat : 3301 (toysat) S 3297 3300 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278790 33554432000 4194304 16246674 140734220336000 139702326766832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3300/tid=3302] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3302/stat : 3302 (toysat) S 3297 3300 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278790 33554432000 4194304 16246674 140734220336000 139702316276976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3300/tid=3303] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3303/stat : 3303 (toysat) S 3297 3300 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278790 33554432000 4194304 16246674 140734220336000 139702199905456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1349188 [startup+1722.3 s] /proc/loadavg: 2.26 2.27 2.21 3/183 3383 /proc/meminfo: memFree=27978492/32872528 swapFree=1431120/1543540 [pid=3300] ppid=3297 vsize=1349188 CPUtime=1721.82 cores=1,3,5,7 /proc/3300/stat : 3300 (toysat) R 3297 3300 31922 0 -1 4202496 278374 0 0 0 172134 48 0 0 20 0 4 0 31344734 1381568512 278790 33554432000 4194304 16246674 140734220336000 140734220317888 5824045 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3300/statm: 337297 278790 896 2943 0 334191 0 [pid=3300/tid=3301] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3301/stat : 3301 (toysat) S 3297 3300 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278790 33554432000 4194304 16246674 140734220336000 139702326766832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3300/tid=3302] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3302/stat : 3302 (toysat) S 3297 3300 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278790 33554432000 4194304 16246674 140734220336000 139702316276976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3300/tid=3303] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3303/stat : 3303 (toysat) S 3297 3300 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278790 33554432000 4194304 16246674 140734220336000 139702199905456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1349188 [startup+1782.3 s] /proc/loadavg: 2.29 2.27 2.22 3/183 3384 /proc/meminfo: memFree=27978116/32872528 swapFree=1431120/1543540 [pid=3300] ppid=3297 vsize=1349188 CPUtime=1781.81 cores=1,3,5,7 /proc/3300/stat : 3300 (toysat) R 3297 3300 31922 0 -1 4202496 278374 0 0 0 178133 48 0 0 20 0 4 0 31344734 1381568512 278790 33554432000 4194304 16246674 140734220336000 140734220317888 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3300/statm: 337297 278790 896 2943 0 334191 0 [pid=3300/tid=3301] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3301/stat : 3301 (toysat) S 3297 3300 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278790 33554432000 4194304 16246674 140734220336000 139702326766832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3300/tid=3302] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3302/stat : 3302 (toysat) S 3297 3300 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278790 33554432000 4194304 16246674 140734220336000 139702316276976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3300/tid=3303] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3303/stat : 3303 (toysat) S 3297 3300 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278790 33554432000 4194304 16246674 140734220336000 139702199905456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1349188 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.22 2.26 2.21 3/183 3384 /proc/meminfo: memFree=27978224/32872528 swapFree=1431120/1543540 [pid=3300] ppid=3297 vsize=1349188 CPUtime=1800 cores=1,3,5,7 /proc/3300/stat : 3300 (toysat) R 3297 3300 31922 0 -1 4202496 278374 0 0 0 179952 48 0 0 20 0 4 0 31344734 1381568512 278790 33554432000 4194304 16246674 140734220336000 140734220317888 5677784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3300/statm: 337297 278790 896 2943 0 334191 0 [pid=3300/tid=3301] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3301/stat : 3301 (toysat) S 3297 3300 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278790 33554432000 4194304 16246674 140734220336000 139702326766832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3300/tid=3302] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3302/stat : 3302 (toysat) S 3297 3300 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278790 33554432000 4194304 16246674 140734220336000 139702316276976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3300/tid=3303] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3303/stat : 3303 (toysat) S 3297 3300 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278790 33554432000 4194304 16246674 140734220336000 139702199905456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1349188 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 3300 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.22 2.26 2.21 3/183 3384 /proc/meminfo: memFree=27978224/32872528 swapFree=1431120/1543540 [pid=3300] ppid=3297 vsize=1349188 CPUtime=1800 cores=1,3,5,7 /proc/3300/stat : 3300 (toysat) R 3297 3300 31922 0 -1 4202496 278374 0 0 0 179952 48 0 0 20 0 4 0 31344734 1381568512 278790 33554432000 4194304 16246674 140734220336000 140734220317888 5677784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3300/statm: 337297 278790 896 2943 0 334191 0 [pid=3300/tid=3301] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3301/stat : 3301 (toysat) S 3297 3300 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278790 33554432000 4194304 16246674 140734220336000 139702326766832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3300/tid=3302] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3302/stat : 3302 (toysat) S 3297 3300 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278790 33554432000 4194304 16246674 140734220336000 139702316276976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3300/tid=3303] ppid=3297 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/3300/task/3303/stat : 3303 (toysat) S 3297 3300 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344735 1381568512 278790 33554432000 4194304 16246674 140734220336000 139702199905456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1349188 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.53 CPU system time (s): 0.488925 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 1349188 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.53 system time used= 0.488925 maximum resident set size= 1115160 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 278374 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= 425 involuntary context switches= 1938 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.0872 second user time and 17.3244 second system time The end
Begin job on node116 at 2016-06-19 01:36:00 IDJOB=4108988 IDBENCH=89792 IDSOLVER=2542 FILE ID=node116/4108988-1466292960 RUNJOBID= node116-1466292960-3281 PBS_JOBID= 19918272 Free space on /tmp= 71676 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-37.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108988-1466292960/watcher-4108988-1466292960 -o /tmp/evaluation-result-4108988-1466292960/solver-4108988-1466292960 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466292960-3281 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108988-1466292960.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ec0686518f213640aefaf52d4a6ca034 RANDOM SEED=1183558893 node116.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.781 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.56 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.781 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.781 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.781 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.781 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.781 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 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.781 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30193012 kB Buffers: 107352 kB Cached: 274832 kB SwapCached: 2312 kB Active: 149076 kB Inactive: 237604 kB Active(anon): 2568 kB Inactive(anon): 3988 kB Active(file): 146508 kB Inactive(file): 233616 kB Unevictable: 1543540 kB Mlocked: 1431120 kB SwapTotal: 67108856 kB SwapFree: 67099752 kB Dirty: 52828 kB Writeback: 0 kB AnonPages: 1546648 kB Mapped: 8728 kB Shmem: 0 kB Slab: 615744 kB SReclaimable: 59892 kB SUnreclaim: 555852 kB KernelStack: 1400 kB PageTables: 6828 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1638832 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 112640 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= 71640 MiB End job on node116 at 2016-06-19 02:06:01