| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.51 |
| Name | /DEC-SMALLINT-LIN/lopes/ normalized-05.opb |
| MD5SUM | cf89b9356492102125d645e5cc48c383 |
| 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 | 139.55 |
| 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 | 7351 |
| Total number of constraints | 155824 |
| Number of constraints which are clauses | 139567 |
| Number of constraints which are cardinality constraints (but not clauses) | 563 |
| Number of constraints which are nor clauses,nor cardinality constraints | 15694 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 195 |
| 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 | 196 |
| 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:28:08+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-4108890-1466292487.opb"] 0.00/0.01 c use --random-gen="878729496 161349268 1542382624 2410407762 2471398320 3368573080 2460292244 1839656964 938216688 2995635451 383531724 1925886904 2699853160 3158682046 2034360521 1387274287 1983399002 330313226 1418990929 2391385920 1344771069 3072511497 984592151 381274509 163249750 3611813012 3332048997 1870130865 1651387036 2545211839 2340608875 981729867 666584543 1691387237 1729157425 2958835697 3471338143 1525315022 4154481155 1579075397 25334026 2679550567 1899494956 3433311272 688448307 2013765973 1669189003 3193783056 1760289081 3439639164 4196886640 2723623156 700486370 4179790446 2406719057 4049012757 1604131802 3654373217 2474882856 2346481503 4176377179 2041640033 1720027367 2599186410 1668865492 4219515664 1969996671 2198380837 3616775045 2426070313 3859583637 2917846621 3038818862 1390816110 262877342 2705427657 1380686960 1432226979 1494122750 756895934 689096725 744752027 1821312451 3278674754 4130172853 2576583111 2620267727 34597547 644689902 3362990375 2877663248 2964117407 3619054840 2795469865 2689768017 4241668602 523947245 4286442788 2258859236 1148437592 3048066767 3580500848 2136839904 1049835422 1535385599 3496271541 1205840950 2463460680 4274869689 1546823418 3035804621 436907396 627770756 2835706411 1443623561 4245843509 3747371510 2852746519 722768994 1777899324 3767710983 3838214342 1532468362 454175222 4060011318 1840087687 1551697856 343554412 3124660881 631222512 722120111 4210212751 1344346818 3131063122 2235859152 3286067248 3181152476 788885387 209206156 330828928 884783229 2508086154 2831731424 1356668422 355090899 2542512961 3297042642 1983597346 3958480546 3640649522 621790922 1029352057 2875200513 1300668609 430160971 2402581488 2884573648 1709707854 478962765 205377978 1808302749 1070893649 1096508340 4053154948 4078332422 1206628681 874458842 3192326017 1861580392 1482097585 2678733549 2402646896 1765542149 431246798 3000261103 414052098 2087386234 1286581615 233729595 2066826564 577363675 352268132 3017318314 3435778068 1155209786 2743302484 3708771881 1281613948 3521719261 3097009668 4290621354 948869701 146246659 2682513992 627008763 1107482254 1606281921 2074936478 4294068156 4113555458 2081693405 2284931121 377262340 80375832 1418787126 2426487928 713164218 4186654968 3275644374 966651175 2709814795 3841834262 4074215702 1252984603 1414728024 1740344369 2508811735 86836797 298860364 472435285 1892779372 3831607266 3188473309 1656488839 233230996 2007273522 3758081024 247071417 3116213913 2390350713 3180424047 1366481599 1534089206 3455383258 1492123211 1430901398 2674925229 3225121950 2952296920 1273400106 3821584699 674500172 856350897 3884811198 775710302 3268695120 3097185568 2992531099 3100582440 4176981067 2791270700 367429521 3960563429 2451814114 2340043531 1071049338 255 362436" option to reproduce the execution 1.29/1.34 c #vars 7351 1.29/1.34 c #constraints 155824 3.89/3.97 c Solving starts ... 3.89/3.97 c ============================[ Search Statistics ]============================ 3.89/3.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.89/3.97 c | | | | Limit GC | Var | Constra 3.89/3.97 c ============================================================================= 3.89/3.97 c 0.0s | 0 | 0 | 0 | 54487 0 | 0 | 0 4.09/4.12 c 0.2s | 1 | 135 | 100 | 54487 0 | 0 | 0 4.69/4.77 c 0.8s | 2 | 4909 | 250 | 59936 0 | 0 | 0 5.59/5.66 c 1.7s | 3 | 14044 | 475 | 65930 0 | 0 | 0 6.29/6.33 c 2.4s | 4 | 37100 | 813 | 72523 0 | 0 | 0 6.89/6.92 c 3.0s | 5 | 38663 | 1320 | 79776 0 | 0 | 0 7.69/7.76 c 3.8s | 6 | 39789 | 2081 | 96530 0 | 0 | 0 9.39/9.43 c 5.5s | 7 | 57681 | 3223 | 106184 0 | 0 | 0 11.09/11.16 c 7.2s | 8 | 59991 | 4936 | 116803 0 | 0 | 0 13.19/13.26 c 9.3s | 8 | 86651 | 6236 | 116803 0 | 0 | 0 14.59/14.66 c 10.7s | 9 | 95638 | 7506 | 128484 0 | 0 | 0 16.59/16.67 c 12.7s | 9 | 113086 | 9006 | 128484 0 | 1 | 11 18.69/18.78 c 14.8s | 9 | 120318 | 10706 | 128484 0 | 1 | 11 19.49/19.53 c 15.6s | 10 | 121047 | 11361 | 141333 0 | 1 | 11 21.48/21.59 c 17.6s | 10 | 128624 | 12461 | 141333 0 | 2 | 22 23.58/23.61 c 19.6s | 10 | 129925 | 13561 | 141333 0 | 2 | 22 25.68/25.75 c 21.8s | 10 | 131300 | 14761 | 141333 0 | 2 | 22 27.78/27.82 c 23.9s | 10 | 132578 | 15861 | 141333 0 | 2 | 22 29.88/29.96 c 26.0s | 10 | 133930 | 17061 | 155467 0 | 2 | 22 29.98/30.08 c 26.1s | 11 | 134024 | 17144 | 155467 0 | 2 | 22 32.18/32.21 c 28.2s | 11 | 159123 | 18544 | 155467 0 | 2 | 22 34.38/34.48 c 30.5s | 11 | 180942 | 19944 | 155467 0 | 2 | 22 36.48/36.57 c 32.6s | 11 | 192697 | 21044 | 155467 0 | 2 | 22 38.59/38.66 c 34.7s | 11 | 209211 | 22344 | 155467 0 | 2 | 22 40.79/40.85 c 36.9s | 11 | 242384 | 23244 | 155467 0 | 2 | 22 42.78/42.89 c 38.9s | 12 | 261745 | 25819 | 171014 0 | 2 | 22 44.88/44.95 c 41.0s | 12 | 264143 | 27019 | 171014 0 | 2 | 22 46.98/47.05 c 43.1s | 12 | 265758 | 28119 | 171014 0 | 2 | 22 49.08/49.18 c 45.2s | 12 | 267279 | 29219 | 171014 0 | 2 | 22 51.18/51.28 c 47.3s | 12 | 268685 | 30319 | 171014 0 | 2 | 22 53.28/53.36 c 49.4s | 12 | 270402 | 31519 | 171014 0 | 2 | 22 55.48/55.55 c 51.6s | 12 | 271715 | 32619 | 171014 0 | 2 | 22 57.68/57.72 c 53.8s | 12 | 272941 | 33719 | 171014 0 | 2 | 22 59.68/59.74 c 55.8s | 12 | 274139 | 34719 | 171014 0 | 2 | 22 61.78/61.87 c 57.9s | 12 | 275710 | 36019 | 171014 0 | 2 | 22 63.98/64.02 c 60.1s | 12 | 277118 | 37219 | 171014 0 | 2 | 22 66.18/66.22 c 62.3s | 12 | 278506 | 38419 | 171014 0 | 2 | 22 66.98/67.05 c 63.1s | 13 | 278972 | 38832 | 188116 0 | 2 | 22 68.98/69.06 c 65.1s | 13 | 288892 | 40032 | 188116 0 | 2 | 22 71.28/71.34 c 67.4s | 13 | 302228 | 41332 | 188116 0 | 3 | 33 73.28/73.37 c 69.4s | 13 | 303133 | 42132 | 188116 0 | 3 | 33 75.28/75.39 c 71.4s | 13 | 304068 | 42932 | 188116 0 | 3 | 33 77.48/77.50 c 73.5s | 13 | 304876 | 43632 | 188116 0 | 3 | 33 79.58/79.66 c 75.7s | 13 | 305770 | 44432 | 188116 0 | 3 | 33 81.68/81.75 c 77.8s | 13 | 306752 | 45332 | 188116 0 | 3 | 33 83.78/83.87 c 79.9s | 13 | 307860 | 46332 | 188116 0 | 3 | 33 85.88/85.99 c 82.0s | 13 | 308879 | 47232 | 188116 0 | 3 | 33 87.98/88.09 c 84.1s | 13 | 309962 | 48232 | 188116 0 | 3 | 33 90.18/90.21 c 86.2s | 13 | 310963 | 49132 | 188116 0 | 3 | 33 92.38/92.46 c 88.5s | 13 | 312070 | 50132 | 188116 0 | 3 | 33 94.58/94.61 c 90.6s | 13 | 313199 | 51132 | 188116 0 | 3 | 33 96.78/96.87 c 92.9s | 13 | 313959 | 51832 | 188116 0 | 3 | 33 98.87/98.97 c 95.0s | 13 | 314850 | 52632 | 188116 0 | 3 | 33 101.07/101.15 c 97.2s | 13 | 315726 | 53432 | 188116 0 | 3 | 33 103.27/103.36 c 99.4s | 13 | 316594 | 54232 | 188116 0 | 3 | 33 105.37/105.48 c 101s | 13 | 317687 | 55232 | 188116 0 | 3 | 33 107.47/107.54 c 103s | 13 | 318576 | 56032 | 188116 0 | 3 | 33 109.57/109.60 c 105s | 13 | 319556 | 56932 | 188116 0 | 3 | 33 111.67/111.78 c 107s | 13 | 320447 | 57732 | 188116 0 | 3 | 33 113.38/113.49 c 109s | 14 | 321148 | 58352 | 206928 0 | 3 | 33 115.48/115.57 c 111s | 14 | 338937 | 60452 | 206928 0 | 3 | 33 117.57/117.66 c 113s | 14 | 344025 | 62252 | 206928 0 | 3 | 33 119.77/119.87 c 115s | 14 | 346383 | 63252 | 206928 0 | 3 | 33 121.87/121.93 c 117s | 14 | 349183 | 64052 | 206928 0 | 3 | 33 123.87/123.94 c 119s | 14 | 362647 | 65952 | 206928 0 | 3 | 33 126.07/126.12 c 122s | 14 | 365528 | 66952 | 206928 0 | 3 | 33 128.07/128.15 c 124s | 14 | 370607 | 68152 | 206928 0 | 3 | 33 130.27/130.30 c 126s | 14 | 374969 | 69952 | 206928 0 | 3 | 33 132.47/132.53 c 128s | 14 | 382827 | 70952 | 206928 0 | 3 | 33 134.67/134.70 c 130s | 14 | 391806 | 71952 | 206928 0 | 3 | 33 136.67/136.71 c 132s | 14 | 420617 | 73952 | 206928 0 | 3 | 33 138.67/138.79 c 134s | 14 | 433597 | 75252 | 206928 0 | 3 | 33 140.77/140.81 c 136s | 14 | 442495 | 76652 | 206928 0 | 3 | 33 142.87/142.97 c 139s | 14 | 451651 | 77952 | 206928 0 | 3 | 33 144.97/145.05 c 141s | 14 | 453623 | 78552 | 206928 0 | 3 | 33 146.97/147.06 c 143s | 14 | 460242 | 79552 | 206928 0 | 3 | 33 149.17/149.28 c 145s | 14 | 467404 | 80452 | 206928 0 | 3 | 33 151.27/151.33 c 147s | 14 | 473928 | 81352 | 206928 0 | 3 | 33 153.26/153.33 c 149s | 14 | 480213 | 82152 | 206928 0 | 3 | 33 155.46/155.53 c 151s | 14 | 486742 | 83252 | 206928 0 | 3 | 33 157.56/157.66 c 153s | 14 | 490331 | 84152 | 206928 0 | 3 | 33 159.76/159.85 c 155s | 14 | 495985 | 84952 | 206928 0 | 3 | 33 161.86/161.91 c 157s | 14 | 502877 | 85752 | 206928 0 | 3 | 33 163.97/164.05 c 160s | 14 | 506812 | 86852 | 206928 0 | 3 | 33 165.36/165.44 c 161s | 15 | 509485 | 87632 | 227621 0 | 3 | 33 167.46/167.57 c 163s | 15 | 511337 | 88032 | 227621 0 | 3 | 33 169.47/169.59 c 165s | 15 | 513514 | 88532 | 227621 0 | 3 | 33 171.57/171.63 c 167s | 15 | 517013 | 89132 | 227621 0 | 3 | 33 173.66/173.79 c 169s | 15 | 518816 | 89632 | 227621 0 | 3 | 33 175.86/175.97 c 171s | 15 | 519696 | 90232 | 227621 0 | 3 | 33 178.17/178.29 c 174s | 15 | 520833 | 90832 | 227621 0 | 4 | 44 180.56/180.62 c 176s | 15 | 521377 | 91332 | 227621 0 | 4 | 44 182.96/183.02 c 179s | 15 | 522067 | 91932 | 227621 0 | 4 | 44 185.06/185.13 c 181s | 15 | 522647 | 92432 | 227621 0 | 4 | 44 187.36/187.48 c 183s | 15 | 523311 | 93032 | 227621 0 | 4 | 44 189.56/189.61 c 185s | 15 | 523965 | 93632 | 227621 0 | 4 | 44 191.66/191.71 c 187s | 15 | 524618 | 94232 | 227621 0 | 4 | 44 193.86/193.98 c 190s | 15 | 525356 | 94932 | 227621 0 | 4 | 44 196.06/196.12 c 192s | 15 | 526016 | 95532 | 227621 0 | 4 | 44 198.06/198.13 c 194s | 15 | 526675 | 96132 | 227621 0 | 4 | 44 200.26/200.33 c 196s | 15 | 527319 | 96732 | 227621 0 | 4 | 44 202.56/202.65 c 198s | 15 | 527864 | 97232 | 227621 0 | 4 | 44 204.76/204.86 c 200s | 15 | 528538 | 97832 | 227621 0 | 4 | 44 206.86/206.92 c 202s | 15 | 529239 | 98432 | 227621 0 | 4 | 44 209.16/209.28 c 205s | 15 | 529889 | 99032 | 227621 0 | 4 | 44 211.26/211.40 c 207s | 15 | 530461 | 99532 | 227621 0 | 4 | 44 213.46/213.56 c 209s | 15 | 531008 | 100032 | 227621 0 | 4 | 44 215.66/215.73 c 211s | 15 | 531447 | 100432 | 227621 0 | 4 | 44 217.95/218.07 c 214s | 15 | 532098 | 101032 | 227621 0 | 4 | 44 220.35/220.46 c 216s | 15 | 532766 | 101632 | 227621 0 | 4 | 44 222.35/222.46 c 218s | 15 | 533438 | 102232 | 227621 0 | 4 | 44 224.36/224.48 c 220s | 15 | 534121 | 102832 | 227621 0 | 4 | 44 226.56/226.64 c 222s | 15 | 534695 | 103332 | 227621 0 | 4 | 44 228.86/228.95 c 224s | 15 | 535371 | 103932 | 227621 0 | 4 | 44 231.06/231.11 c 227s | 15 | 536034 | 104532 | 227621 0 | 4 | 44 233.16/233.23 c 229s | 15 | 536691 | 105132 | 227621 0 | 4 | 44 235.46/235.59 c 231s | 15 | 537459 | 105832 | 227621 0 | 4 | 44 237.95/238.00 c 234s | 15 | 538126 | 106432 | 227621 0 | 4 | 44 240.15/240.24 c 236s | 15 | 538564 | 106832 | 227621 0 | 4 | 44 242.25/242.35 c 238s | 15 | 539100 | 107332 | 227621 0 | 4 | 44 244.45/244.50 c 240s | 15 | 539750 | 107932 | 227621 0 | 4 | 44 246.46/246.53 c 242s | 15 | 540401 | 108532 | 227621 0 | 4 | 44 248.85/248.91 c 244s | 15 | 540926 | 109032 | 227621 0 | 4 | 44 250.85/250.99 c 247s | 15 | 541564 | 109632 | 227621 0 | 4 | 44 253.05/253.19 c 249s | 15 | 542205 | 110232 | 227621 0 | 4 | 44 255.25/255.36 c 251s | 15 | 542571 | 110532 | 227621 0 | 4 | 44 257.35/257.50 c 253s | 15 | 543111 | 111032 | 227621 0 | 4 | 44 259.75/259.81 c 255s | 15 | 543757 | 111632 | 227621 0 | 4 | 44 261.85/261.91 c 257s | 15 | 544408 | 112232 | 227621 0 | 4 | 44 264.25/264.35 c 260s | 15 | 544832 | 112632 | 227621 0 | 4 | 44 266.55/266.60 c 262s | 15 | 545380 | 113132 | 227621 0 | 4 | 44 268.95/269.00 c 265s | 15 | 546017 | 113732 | 227621 0 | 4 | 44 270.94/271.02 c 267s | 15 | 546487 | 114132 | 227621 0 | 4 | 44 272.94/273.04 c 269s | 15 | 546832 | 114432 | 227621 0 | 4 | 44 275.54/275.63 c 271s | 15 | 547284 | 114832 | 227621 0 | 4 | 44 277.84/277.96 c 273s | 15 | 547737 | 115232 | 227621 0 | 4 | 44 280.24/280.35 c 276s | 15 | 548187 | 115632 | 227621 0 | 4 | 44 282.54/282.60 c 278s | 15 | 548739 | 116132 | 227621 0 | 4 | 44 284.64/284.77 c 280s | 15 | 549226 | 116532 | 227621 0 | 4 | 44 287.64/287.71 c 283s | 15 | 549561 | 116832 | 227621 0 | 4 | 44 289.84/289.90 c 285s | 15 | 549906 | 117132 | 227621 0 | 4 | 44 292.04/292.15 c 288s | 15 | 550230 | 117432 | 227621 0 | 4 | 44 294.54/294.64 c 290s | 15 | 550682 | 117832 | 227621 0 | 4 | 44 297.14/297.28 c 293s | 15 | 551129 | 118232 | 227621 0 | 4 | 44 299.44/299.51 c 295s | 15 | 551474 | 118532 | 227621 0 | 4 | 44 301.84/301.95 c 297s | 15 | 551821 | 118832 | 227621 0 | 4 | 44 304.04/304.12 c 300s | 15 | 552280 | 119232 | 227621 0 | 4 | 44 306.44/306.52 c 302s | 15 | 552724 | 119632 | 227621 0 | 4 | 44 308.44/308.53 c 304s | 15 | 553167 | 120032 | 227621 0 | 4 | 44 310.54/310.69 c 306s | 15 | 553522 | 120332 | 227621 0 | 4 | 44 313.24/313.33 c 309s | 15 | 553866 | 120632 | 227621 0 | 4 | 44 315.44/315.54 c 311s | 15 | 554191 | 120932 | 227621 0 | 4 | 44 318.14/318.21 c 314s | 15 | 554647 | 121332 | 227621 0 | 4 | 44 320.54/320.66 c 316s | 15 | 555105 | 121732 | 227621 0 | 4 | 44 322.74/322.85 c 318s | 15 | 555577 | 122132 | 227621 0 | 4 | 44 325.14/325.25 c 321s | 15 | 556004 | 122532 | 227621 0 | 4 | 44 327.64/327.79 c 323s | 15 | 556455 | 122932 | 227621 0 | 4 | 44 329.84/329.93 c 325s | 15 | 556799 | 123232 | 227621 0 | 4 | 44 332.04/332.11 c 328s | 15 | 557122 | 123532 | 227621 0 | 4 | 44 334.14/334.26 c 330s | 15 | 557589 | 123932 | 227621 0 | 4 | 44 336.43/336.57 c 332s | 15 | 558028 | 124332 | 227621 0 | 4 | 44 338.63/338.75 c 334s | 15 | 558362 | 124632 | 227621 0 | 4 | 44 340.83/340.96 c 336s | 15 | 558801 | 125032 | 227621 0 | 4 | 44 343.33/343.41 c 339s | 15 | 559234 | 125432 | 227621 0 | 4 | 44 345.63/345.75 c 341s | 15 | 559584 | 125732 | 227621 0 | 4 | 44 347.93/348.02 c 344s | 15 | 560036 | 126132 | 227621 0 | 4 | 44 350.33/350.49 c 346s | 15 | 560500 | 126532 | 227621 0 | 4 | 44 352.53/352.66 c 348s | 15 | 561040 | 127032 | 227621 0 | 4 | 44 354.73/354.83 c 350s | 15 | 561498 | 127432 | 227621 0 | 4 | 44 357.13/357.21 c 353s | 15 | 561932 | 127832 | 227621 0 | 4 | 44 359.23/359.36 c 355s | 15 | 562383 | 128232 | 227621 0 | 4 | 44 361.43/361.51 c 357s | 15 | 562929 | 128732 | 227621 0 | 4 | 44 363.53/363.69 c 359s | 15 | 563502 | 129232 | 227621 0 | 4 | 44 366.03/366.17 c 362s | 15 | 564042 | 129732 | 227621 0 | 4 | 44 368.13/368.27 c 364s | 15 | 564482 | 130132 | 227621 0 | 4 | 44 370.43/370.50 c 366s | 15 | 565011 | 130632 | 227621 0 | 4 | 44 372.53/372.61 c 368s | 15 | 565564 | 131132 | 250384 0 | 4 | 44 374.43/374.50 c 370s | 16 | 566024 | 131552 | 250384 0 | 4 | 44 376.73/376.80 c 372s | 16 | 580866 | 132652 | 250384 0 | 4 | 44 378.93/379.00 c 375s | 16 | 582688 | 133052 | 250384 0 | 4 | 44 381.03/381.15 c 377s | 16 | 587502 | 133852 | 250384 0 | 4 | 44 383.13/383.26 c 379s | 16 | 591102 | 134452 | 250384 0 | 4 | 44 385.23/385.30 c 381s | 16 | 598012 | 135852 | 250384 0 | 4 | 44 387.43/387.58 c 383s | 16 | 641400 | 138052 | 250384 0 | 4 | 44 389.63/389.70 c 385s | 16 | 667903 | 139252 | 250384 0 | 4 | 44 391.83/391.95 c 387s | 16 | 673629 | 139752 | 250384 0 | 4 | 44 394.03/394.11 c 390s | 16 | 677886 | 140252 | 250384 0 | 4 | 44 396.03/396.16 c 392s | 16 | 681708 | 140752 | 250384 0 | 4 | 44 398.33/398.41 c 394s | 16 | 686667 | 141252 | 250384 0 | 4 | 44 400.53/400.64 c 396s | 16 | 697510 | 142252 | 250384 0 | 4 | 44 403.32/403.48 c 399s | 16 | 713412 | 143152 | 250384 0 | 4 | 44 405.52/405.69 c 401s | 16 | 732537 | 143652 | 250384 0 | 4 | 44 407.72/407.88 c 403s | 16 | 742337 | 144252 | 250384 0 | 4 | 44 409.72/409.88 c 405s | 16 | 751741 | 144752 | 250384 0 | 4 | 44 412.12/412.24 c 408s | 16 | 755616 | 145352 | 250384 0 | 4 | 44 414.12/414.25 c 410s | 16 | 759368 | 145852 | 250384 0 | 4 | 44 416.62/416.75 c 412s | 16 | 762624 | 146352 | 250384 0 | 4 | 44 418.72/418.83 c 414s | 16 | 773865 | 146952 | 250384 0 | 4 | 44 420.92/421.02 c 417s | 16 | 785147 | 147652 | 250384 0 | 4 | 44 422.92/423.07 c 419s | 16 | 792764 | 148252 | 250384 0 | 4 | 44 425.12/425.20 c 421s | 16 | 801897 | 148852 | 250384 0 | 4 | 44 427.12/427.23 c 423s | 16 | 822397 | 150552 | 250384 0 | 4 | 44 429.22/429.37 c 425s | 16 | 836662 | 152452 | 250384 0 | 4 | 44 431.42/431.57 c 427s | 16 | 846838 | 153452 | 250384 0 | 4 | 44 433.62/433.78 c 429s | 16 | 852119 | 154452 | 250384 0 | 4 | 44 436.02/436.11 c 432s | 16 | 854563 | 155152 | 250384 0 | 4 | 44 438.32/438.46 c 434s | 16 | 855667 | 155652 | 250384 0 | 4 | 44 440.62/440.75 c 436s | 16 | 858300 | 156352 | 250384 0 | 4 | 44 442.82/442.98 c 439s | 16 | 865418 | 157652 | 250384 0 | 4 | 44 445.02/445.12 c 441s | 16 | 866714 | 158252 | 250384 0 | 4 | 44 447.22/447.34 c 443s | 16 | 870555 | 159052 | 250384 0 | 4 | 44 449.32/449.42 c 445s | 16 | 889392 | 160852 | 250384 0 | 4 | 44 451.32/451.45 c 447s | 16 | 900335 | 161852 | 250384 0 | 4 | 44 453.42/453.52 c 449s | 16 | 904690 | 162752 | 250384 0 | 4 | 44 455.52/455.62 c 451s | 16 | 910547 | 163452 | 250384 0 | 4 | 44 457.52/457.67 c 453s | 16 | 914024 | 164152 | 250384 0 | 4 | 44 459.72/459.81 c 455s | 16 | 919613 | 164752 | 250384 0 | 4 | 44 461.82/461.92 c 457s | 16 | 922900 | 165252 | 250384 0 | 4 | 44 463.82/463.94 c 459s | 16 | 928752 | 165852 | 250384 0 | 4 | 44 465.82/465.99 c 462s | 16 | 933536 | 166452 | 250384 0 | 4 | 44 467.91/468.09 c 464s | 16 | 938732 | 167152 | 250384 0 | 4 | 44 470.01/470.17 c 466s | 16 | 943395 | 167852 | 250384 0 | 4 | 44 472.01/472.18 c 468s | 16 | 951312 | 169052 | 250384 0 | 4 | 44 474.12/474.26 c 470s | 16 | 953358 | 169752 | 250384 0 | 4 | 44 476.32/476.48 c 472s | 16 | 954601 | 170352 | 250384 0 | 4 | 44 478.31/478.49 c 474s | 16 | 955704 | 170852 | 250384 0 | 4 | 44 480.72/480.81 c 476s | 16 | 956660 | 171352 | 250384 0 | 4 | 44 482.82/482.95 c 478s | 16 | 966130 | 172152 | 250384 0 | 4 | 44 485.02/485.19 c 481s | 16 | 976225 | 173152 | 250384 0 | 4 | 44 487.32/487.47 c 483s | 16 | 978197 | 173852 | 250384 0 | 4 | 44 489.71/489.81 c 485s | 16 | 979887 | 174452 | 250384 0 | 4 | 44 491.91/492.01 c 488s | 16 | 984659 | 175352 | 250384 0 | 4 | 44 494.01/494.14 c 490s | 16 | 989342 | 175952 | 250384 0 | 4 | 44 496.41/496.58 c 492s | 16 | 994114 | 176552 | 250384 0 | 4 | 44 498.61/498.74 c 494s | 16 | 996009 | 177052 | 250384 0 | 4 | 44 501.11/501.27 c 497s | 16 | 998852 | 177652 | 250384 0 | 4 | 44 503.21/503.35 c 499s | 16 | 1002695 | 178352 | 250384 0 | 4 | 44 505.31/505.48 c 501s | 16 | 1003291 | 178652 | 250384 0 | 4 | 44 507.81/507.91 c 503s | 16 | 1004151 | 179052 | 250384 0 | 4 | 44 509.91/510.02 c 506s | 16 | 1006829 | 179452 | 250384 0 | 4 | 44 512.41/512.60 c 508s | 16 | 1009245 | 179852 | 250384 0 | 4 | 44 515.41/515.54 c 511s | 16 | 1010775 | 180352 | 250384 0 | 4 | 44 517.41/517.58 c 513s | 16 | 1015721 | 181152 | 250384 0 | 4 | 44 520.01/520.11 c 516s | 16 | 1017963 | 181752 | 250384 0 | 4 | 44 522.00/522.12 c 518s | 16 | 1027401 | 182852 | 250384 0 | 4 | 44 524.10/524.21 c 520s | 16 | 1039686 | 183552 | 250384 0 | 4 | 44 526.50/526.60 c 522s | 16 | 1040430 | 183852 | 250384 0 | 4 | 44 528.70/528.83 c 524s | 16 | 1042837 | 184352 | 250384 0 | 4 | 44 531.10/531.28 c 527s | 16 | 1046124 | 184852 | 250384 0 | 4 | 44 533.60/533.77 c 529s | 16 | 1054470 | 185452 | 250384 0 | 4 | 44 535.61/535.77 c 531s | 16 | 1057807 | 185752 | 250384 0 | 4 | 44 537.60/537.78 c 533s | 16 | 1061318 | 186152 | 250384 0 | 4 | 44 539.90/540.02 c 536s | 16 | 1065239 | 186652 | 250384 0 | 4 | 44 541.90/542.04 c 538s | 16 | 1066966 | 186952 | 250384 0 | 4 | 44 544.00/544.12 c 540s | 16 | 1070769 | 187352 | 250384 0 | 4 | 44 546.61/546.71 c 542s | 16 | 1072477 | 187752 | 250384 0 | 4 | 44 549.10/549.20 c 545s | 16 | 1073481 | 188152 | 250384 0 | 4 | 44 551.30/551.40 c 547s | 16 | 1075689 | 188652 | 250384 0 | 4 | 44 554.00/554.19 c 550s | 16 | 1078481 | 189152 | 250384 0 | 4 | 44 556.10/556.26 c 552s | 16 | 1078950 | 189452 | 250384 0 | 4 | 44 558.60/558.73 c 554s | 16 | 1079665 | 189852 | 250384 0 | 4 | 44 561.01/561.13 c 557s | 16 | 1080753 | 190252 | 250384 0 | 4 | 44 563.30/563.47 c 559s | 16 | 1081709 | 190652 | 250384 0 | 4 | 44 565.50/565.66 c 561s | 16 | 1083693 | 191052 | 250384 0 | 4 | 44 567.60/567.73 c 563s | 16 | 1085425 | 191552 | 250384 0 | 4 | 44 569.70/569.84 c 565s | 16 | 1087549 | 191952 | 250384 0 | 4 | 44 572.00/572.16 c 568s | 16 | 1089552 | 192352 | 250384 0 | 4 | 44 574.29/574.49 c 570s | 16 | 1092108 | 192952 | 250384 0 | 4 | 44 576.79/576.98 c 573s | 16 | 1093147 | 193352 | 250384 0 | 4 | 44 578.89/579.09 c 575s | 16 | 1094713 | 193752 | 250384 0 | 4 | 44 581.29/581.47 c 577s | 16 | 1097206 | 194252 | 250384 0 | 4 | 44 583.39/583.59 c 579s | 16 | 1098532 | 194652 | 250384 0 | 4 | 44 585.79/585.92 c 581s | 16 | 1099581 | 195052 | 250384 0 | 4 | 44 588.29/588.40 c 584s | 16 | 1101721 | 196052 | 250384 0 | 4 | 44 590.60/590.71 c 586s | 16 | 1103074 | 196652 | 275423 0 | 4 | 44 592.69/592.86 c 588s | 16 | 1105028 | 197252 | 275423 0 | 4 | 44 593.29/593.50 c 589s | 17 | 1105344 | 197432 | 275423 0 | 4 | 44 595.58/595.70 c 591s | 17 | 1106885 | 197632 | 275423 0 | 4 | 44 597.88/598.04 c 594s | 17 | 1107110 | 197832 | 275423 0 | 4 | 44 600.08/600.27 c 596s | 17 | 1107329 | 198032 | 275423 0 | 4 | 44 602.98/603.12 c 599s | 17 | 1107671 | 198332 | 275423 0 | 4 | 44 605.38/605.58 c 601s | 17 | 1108010 | 198632 | 275423 0 | 4 | 44 607.48/607.63 c 603s | 17 | 1108244 | 198832 | 275423 0 | 4 | 44 609.88/610.07 c 606s | 17 | 1108565 | 199132 | 275423 0 | 4 | 44 612.28/612.49 c 608s | 17 | 1108913 | 199432 | 275423 0 | 4 | 44 614.67/614.82 c 610s | 17 | 1109251 | 199732 | 275423 0 | 4 | 44 616.98/617.18 c 613s | 17 | 1109595 | 200032 | 275423 0 | 4 | 44 619.97/620.12 c 616s | 17 | 1110038 | 200432 | 275423 0 | 4 | 44 622.07/622.25 c 618s | 17 | 1110354 | 200732 | 275423 0 | 4 | 44 624.47/624.69 c 620s | 17 | 1110690 | 201032 | 275423 0 | 4 | 44 626.87/627.03 c 623s | 17 | 1111008 | 201332 | 275423 0 | 4 | 44 629.07/629.26 c 625s | 17 | 1111333 | 201632 | 275423 0 | 4 | 44 631.57/631.74 c 627s | 17 | 1111663 | 201932 | 275423 0 | 4 | 44 633.66/633.85 c 629s | 17 | 1111993 | 202232 | 275423 0 | 4 | 44 636.07/636.24 c 632s | 17 | 1112442 | 202632 | 275423 0 | 4 | 44 638.67/638.83 c 634s | 17 | 1112900 | 203032 | 275423 0 | 4 | 44 640.77/640.93 c 636s | 17 | 1113224 | 203332 | 275423 0 | 4 | 44 642.87/643.07 c 639s | 17 | 1113562 | 203632 | 275423 0 | 4 | 44 645.46/645.62 c 641s | 17 | 1114003 | 204032 | 275423 0 | 4 | 44 648.16/648.38 c 644s | 17 | 1114473 | 204432 | 275423 0 | 4 | 44 651.07/651.24 c 647s | 17 | 1114801 | 204732 | 275423 0 | 4 | 44 653.37/653.52 c 649s | 17 | 1115146 | 205032 | 275423 0 | 4 | 44 655.86/656.05 c 652s | 17 | 1115482 | 205332 | 275423 0 | 4 | 44 658.16/658.36 c 654s | 17 | 1115816 | 205632 | 275423 0 | 4 | 44 660.25/660.43 c 656s | 17 | 1116143 | 205932 | 275423 0 | 4 | 44 662.65/662.87 c 658s | 17 | 1116568 | 206332 | 275423 0 | 4 | 44 665.05/665.24 c 661s | 17 | 1116995 | 206732 | 275423 0 | 4 | 44 667.25/667.40 c 663s | 17 | 1117427 | 207132 | 275423 0 | 4 | 44 669.35/669.57 c 665s | 17 | 1117866 | 207532 | 275423 0 | 4 | 44 671.55/671.73 c 667s | 17 | 1118305 | 207932 | 275423 0 | 4 | 44 673.85/674.01 c 670s | 17 | 1118746 | 208332 | 275423 0 | 4 | 44 676.45/676.65 c 672s | 17 | 1119313 | 208832 | 275423 0 | 4 | 44 678.84/679.02 c 675s | 17 | 1119774 | 209232 | 275423 0 | 4 | 44 680.94/681.20 c 677s | 17 | 1120111 | 209532 | 275423 0 | 4 | 44 683.34/683.53 c 679s | 17 | 1120445 | 209832 | 275423 0 | 4 | 44 685.44/685.65 c 681s | 17 | 1120773 | 210132 | 275423 0 | 4 | 44 687.64/687.86 c 683s | 17 | 1121107 | 210432 | 275423 0 | 4 | 44 690.54/690.71 c 686s | 17 | 1121445 | 210732 | 275423 0 | 4 | 44 692.53/692.71 c 688s | 17 | 1121657 | 210932 | 275423 0 | 4 | 44 695.23/695.42 c 691s | 17 | 1121988 | 211232 | 275423 0 | 4 | 44 697.43/697.68 c 693s | 17 | 1122322 | 211532 | 275423 0 | 4 | 44 700.13/700.30 c 696s | 17 | 1122640 | 211832 | 275423 0 | 4 | 44 702.33/702.60 c 698s | 17 | 1122968 | 212132 | 275423 0 | 4 | 44 704.93/705.10 c 701s | 17 | 1123283 | 212432 | 275423 0 | 4 | 44 707.33/707.50 c 703s | 17 | 1123606 | 212732 | 275423 0 | 4 | 44 710.33/710.55 c 706s | 17 | 1123941 | 213032 | 275423 0 | 4 | 44 712.43/712.69 c 708s | 17 | 1124164 | 213232 | 275423 0 | 4 | 44 714.93/715.19 c 711s | 17 | 1124593 | 213632 | 275423 0 | 4 | 44 717.13/717.37 c 713s | 17 | 1124922 | 213932 | 275423 0 | 4 | 44 719.23/719.48 c 715s | 17 | 1125255 | 214232 | 275423 0 | 4 | 44 721.53/721.79 c 717s | 17 | 1125685 | 214632 | 275423 0 | 4 | 44 723.73/723.97 c 720s | 17 | 1126123 | 215032 | 275423 0 | 4 | 44 725.83/726.01 c 722s | 17 | 1126551 | 215432 | 275423 0 | 4 | 44 727.93/728.17 c 724s | 17 | 1126884 | 215732 | 275423 0 | 4 | 44 730.53/730.75 c 726s | 17 | 1127328 | 216132 | 275423 0 | 4 | 44 732.82/733.05 c 729s | 17 | 1127785 | 216532 | 275423 0 | 4 | 44 734.82/735.07 c 731s | 17 | 1128211 | 216932 | 275423 0 | 4 | 44 737.12/737.30 c 733s | 17 | 1128671 | 217332 | 275423 0 | 4 | 44 739.82/740.05 c 736s | 17 | 1129016 | 217632 | 275423 0 | 4 | 44 742.12/742.32 c 738s | 17 | 1129348 | 217932 | 275423 0 | 4 | 44 744.42/744.65 c 740s | 17 | 1129789 | 218332 | 275423 0 | 4 | 44 746.73/747.00 c 743s | 17 | 1130231 | 218732 | 275423 0 | 4 | 44 749.12/749.33 c 745s | 17 | 1130659 | 219132 | 275423 0 | 4 | 44 751.72/751.99 c 748s | 17 | 1131088 | 219532 | 275423 0 | 4 | 44 753.82/754.02 c 750s | 17 | 1131410 | 219832 | 275423 0 | 4 | 44 755.92/756.15 c 752s | 17 | 1131723 | 220132 | 275423 0 | 4 | 44 757.92/758.19 c 754s | 17 | 1132058 | 220432 | 275423 0 | 4 | 44 760.52/760.79 c 756s | 17 | 1132400 | 220732 | 275423 0 | 4 | 44 762.62/762.87 c 758s | 17 | 1132719 | 221032 | 275423 0 | 4 | 44 764.82/765.00 c 761s | 17 | 1133048 | 221332 | 275423 0 | 4 | 44 766.82/767.08 c 763s | 17 | 1133364 | 221632 | 275423 0 | 4 | 44 768.92/769.10 c 765s | 17 | 1133688 | 221932 | 275423 0 | 4 | 44 771.31/771.50 c 767s | 17 | 1134117 | 222332 | 275423 0 | 4 | 44 773.51/773.77 c 769s | 17 | 1134460 | 222632 | 275423 0 | 4 | 44 775.91/776.19 c 772s | 17 | 1134779 | 222932 | 275423 0 | 4 | 44 778.11/778.35 c 774s | 17 | 1135123 | 223232 | 275423 0 | 4 | 44 780.41/780.62 c 776s | 17 | 1135483 | 223532 | 275423 0 | 4 | 44 782.51/782.79 c 778s | 17 | 1135840 | 223832 | 275423 0 | 4 | 44 784.91/785.15 c 781s | 17 | 1136174 | 224132 | 275423 0 | 4 | 44 787.42/787.70 c 783s | 17 | 1136618 | 224532 | 275423 0 | 4 | 44 789.91/790.16 c 786s | 17 | 1136988 | 224832 | 275423 0 | 4 | 44 792.41/792.68 c 788s | 17 | 1137309 | 225132 | 275423 0 | 4 | 44 794.81/795.09 c 791s | 17 | 1137635 | 225432 | 275423 0 | 4 | 44 797.01/797.24 c 793s | 17 | 1137978 | 225732 | 275423 0 | 4 | 44 799.11/799.35 c 795s | 17 | 1138322 | 226032 | 275423 0 | 4 | 44 801.51/801.78 c 797s | 17 | 1138674 | 226332 | 275423 0 | 4 | 44 804.41/804.61 c 800s | 17 | 1138995 | 226632 | 275423 0 | 4 | 44 806.61/806.85 c 802s | 17 | 1139328 | 226932 | 275423 0 | 4 | 44 808.71/808.98 c 805s | 17 | 1139675 | 227232 | 275423 0 | 4 | 44 811.11/811.35 c 807s | 17 | 1140110 | 227632 | 275423 0 | 4 | 44 813.31/813.55 c 809s | 17 | 1140432 | 227932 | 275423 0 | 4 | 44 816.01/816.24 c 812s | 17 | 1140797 | 228232 | 275423 0 | 4 | 44 818.31/818.53 c 814s | 17 | 1141312 | 228532 | 275423 0 | 4 | 44 820.80/821.08 c 817s | 17 | 1141782 | 228832 | 275423 0 | 4 | 44 823.40/823.68 c 819s | 17 | 1142264 | 229132 | 275423 0 | 4 | 44 825.91/826.15 c 822s | 17 | 1142645 | 229432 | 275423 0 | 4 | 44 828.30/828.52 c 824s | 17 | 1143058 | 229732 | 275423 0 | 4 | 44 830.60/830.89 c 826s | 17 | 1143619 | 230032 | 275423 0 | 4 | 44 832.70/832.95 c 828s | 17 | 1143878 | 230232 | 275423 0 | 4 | 44 835.10/835.32 c 831s | 17 | 1144136 | 230432 | 275423 0 | 4 | 44 837.10/837.39 c 833s | 17 | 1144402 | 230632 | 275423 0 | 4 | 44 840.00/840.22 c 836s | 17 | 1144872 | 230932 | 275423 0 | 4 | 44 842.40/842.63 c 838s | 17 | 1145255 | 231232 | 275423 0 | 4 | 44 845.10/845.31 c 841s | 17 | 1145824 | 231632 | 275423 0 | 4 | 44 847.60/847.87 c 843s | 17 | 1146386 | 232032 | 275423 0 | 4 | 44 850.39/850.68 c 846s | 17 | 1146912 | 232432 | 275423 0 | 4 | 44 852.89/853.14 c 849s | 17 | 1147583 | 232732 | 275423 0 | 4 | 44 855.19/855.44 c 851s | 17 | 1148171 | 233032 | 275423 0 | 4 | 44 857.59/857.86 c 853s | 17 | 1148554 | 233332 | 275423 0 | 4 | 44 860.69/860.93 c 856s | 17 | 1149336 | 233632 | 275423 0 | 4 | 44 863.79/864.03 c 860s | 17 | 1149742 | 233932 | 275423 0 | 4 | 44 866.08/866.33 c 862s | 17 | 1150002 | 234132 | 275423 0 | 4 | 44 868.79/869.01 c 865s | 17 | 1150354 | 234432 | 275423 0 | 4 | 44 871.58/871.87 c 867s | 17 | 1150801 | 234732 | 275423 0 | 4 | 44 874.18/874.42 c 870s | 17 | 1151067 | 234932 | 275423 0 | 4 | 44 876.67/876.96 c 872s | 17 | 1151300 | 235132 | 275423 0 | 4 | 44 879.88/880.14 c 876s | 17 | 1151716 | 235432 | 275423 0 | 4 | 44 882.67/882.94 c 878s | 17 | 1152066 | 235732 | 275423 0 | 4 | 44 884.97/885.25 c 881s | 17 | 1152526 | 236032 | 275423 0 | 4 | 44 887.97/888.25 c 884s | 17 | 1153175 | 236332 | 275423 0 | 4 | 44 890.47/890.71 c 886s | 17 | 1153427 | 236532 | 275423 0 | 4 | 44 892.47/892.76 c 888s | 17 | 1153727 | 236732 | 275423 0 | 4 | 44 895.16/895.49 c 891s | 17 | 1154236 | 237032 | 275423 0 | 4 | 44 897.86/898.14 c 894s | 17 | 1154488 | 237232 | 275423 0 | 4 | 44 900.56/900.87 c 896s | 17 | 1154939 | 237532 | 275423 0 | 4 | 44 902.96/903.21 c 899s | 17 | 1155213 | 237732 | 275423 0 | 4 | 44 905.16/905.42 c 901s | 17 | 1155457 | 237932 | 275423 0 | 4 | 44 907.26/907.53 c 903s | 17 | 1155679 | 238132 | 275423 0 | 4 | 44 909.25/909.59 c 905s | 17 | 1155929 | 238332 | 275423 0 | 4 | 44 912.35/912.60 c 908s | 17 | 1156274 | 238632 | 275423 0 | 4 | 44 914.64/914.91 c 910s | 17 | 1156521 | 238832 | 275423 0 | 4 | 44 916.64/916.94 c 912s | 17 | 1156790 | 239032 | 275423 0 | 4 | 44 918.84/919.19 c 915s | 17 | 1157086 | 239232 | 275423 0 | 4 | 44 921.04/921.37 c 917s | 17 | 1157356 | 239432 | 275423 0 | 4 | 44 923.75/924.02 c 920s | 17 | 1157843 | 239732 | 275423 0 | 4 | 44 925.95/926.29 c 922s | 17 | 1158118 | 239932 | 275423 0 | 4 | 44 928.14/928.42 c 924s | 17 | 1158369 | 240132 | 275423 0 | 4 | 44 930.54/930.81 c 926s | 17 | 1158670 | 240332 | 275423 0 | 4 | 44 932.54/932.86 c 928s | 17 | 1158903 | 240532 | 275423 0 | 4 | 44 934.63/934.93 c 930s | 17 | 1159146 | 240732 | 275423 0 | 4 | 44 937.04/937.40 c 933s | 17 | 1159388 | 240932 | 275423 0 | 4 | 44 939.63/939.93 c 935s | 17 | 1159618 | 241132 | 275423 0 | 4 | 44 941.83/942.12 c 938s | 17 | 1159919 | 241332 | 275423 0 | 4 | 44 944.83/945.11 c 941s | 17 | 1160278 | 241632 | 275423 0 | 4 | 44 946.84/947.14 c 943s | 17 | 1160504 | 241832 | 275423 0 | 4 | 44 949.43/949.74 c 945s | 17 | 1160843 | 242132 | 275423 0 | 4 | 44 952.44/952.76 c 948s | 17 | 1161202 | 242432 | 275423 0 | 4 | 44 954.73/955.00 c 951s | 17 | 1161484 | 242632 | 275423 0 | 4 | 44 957.33/957.61 c 953s | 17 | 1161719 | 242832 | 275423 0 | 4 | 44 960.03/960.36 c 956s | 17 | 1161952 | 243032 | 275423 0 | 4 | 44 962.93/963.21 c 959s | 17 | 1162212 | 243232 | 275423 0 | 4 | 44 965.22/965.57 c 961s | 17 | 1162465 | 243432 | 275423 0 | 4 | 44 967.92/968.22 c 964s | 17 | 1162702 | 243632 | 275423 0 | 4 | 44 970.03/970.37 c 966s | 17 | 1162941 | 243832 | 275423 0 | 4 | 44 973.02/973.38 c 969s | 17 | 1163154 | 244032 | 275423 0 | 4 | 44 975.32/975.63 c 971s | 17 | 1163401 | 244232 | 275423 0 | 4 | 44 977.42/977.72 c 973s | 17 | 1163647 | 244432 | 275423 0 | 4 | 44 981.02/981.32 c 977s | 17 | 1164013 | 244732 | 275423 0 | 4 | 44 983.72/984.06 c 980s | 17 | 1164274 | 244932 | 275423 0 | 4 | 44 986.61/986.92 c 982s | 17 | 1164646 | 245232 | 275423 0 | 4 | 44 989.31/989.63 c 985s | 17 | 1165010 | 245532 | 275423 0 | 4 | 44 991.61/991.90 c 987s | 17 | 1165248 | 245732 | 275423 0 | 4 | 44 993.91/994.28 c 990s | 17 | 1165494 | 245932 | 275423 0 | 4 | 44 996.21/996.58 c 992s | 17 | 1165765 | 246132 | 275423 0 | 4 | 44 999.41/999.70 c 995s | 17 | 1166107 | 246432 | 275423 0 | 4 | 44 1002.30/1002.62 c 998s | 17 | 1166442 | 246732 | 275423 0 | 4 | 44 1004.50/1004.81 c 1000s | 17 | 1166673 | 246932 | 275423 0 | 4 | 44 1007.41/1007.72 c 1003s | 17 | 1167004 | 247232 | 275423 0 | 4 | 44 1009.51/1009.84 c 1005s | 17 | 1167250 | 247432 | 275423 0 | 4 | 44 1011.90/1012.22 c 1008s | 17 | 1167486 | 247632 | 275423 0 | 4 | 44 1013.91/1014.29 c 1010s | 17 | 1167717 | 247832 | 275423 0 | 4 | 44 1016.80/1017.16 c 1013s | 17 | 1168065 | 248132 | 275423 0 | 4 | 44 1019.41/1019.80 c 1015s | 17 | 1168475 | 248432 | 275423 0 | 4 | 44 1022.30/1022.66 c 1018s | 17 | 1168848 | 248732 | 275423 0 | 4 | 44 1024.91/1025.29 c 1021s | 17 | 1169247 | 249032 | 275423 0 | 4 | 44 1027.71/1028.08 c 1024s | 17 | 1169589 | 249332 | 275423 0 | 4 | 44 1030.71/1031.07 c 1027s | 17 | 1169903 | 249632 | 275423 0 | 4 | 44 1033.61/1033.90 c 1029s | 17 | 1170291 | 249932 | 275423 0 | 4 | 44 1035.60/1035.93 c 1031s | 17 | 1170542 | 250132 | 275423 0 | 4 | 44 1038.00/1038.31 c 1034s | 17 | 1170791 | 250332 | 275423 0 | 4 | 44 1040.20/1040.59 c 1036s | 17 | 1171366 | 250732 | 275423 0 | 4 | 44 1043.00/1043.31 c 1039s | 17 | 1172061 | 251132 | 275423 0 | 4 | 44 1045.30/1045.64 c 1041s | 17 | 1172435 | 251432 | 275423 0 | 4 | 44 1047.60/1047.92 c 1043s | 17 | 1172857 | 251732 | 275423 0 | 4 | 44 1050.40/1050.75 c 1046s | 17 | 1173430 | 252132 | 275423 0 | 4 | 44 1052.41/1052.77 c 1048s | 17 | 1173908 | 252432 | 275423 0 | 4 | 44 1054.90/1055.21 c 1051s | 17 | 1174445 | 252732 | 275423 0 | 4 | 44 1057.00/1057.38 c 1053s | 17 | 1174807 | 253032 | 275423 0 | 4 | 44 1059.50/1059.83 c 1055s | 17 | 1175349 | 253432 | 275423 0 | 4 | 44 1061.90/1062.22 c 1058s | 17 | 1175707 | 253732 | 275423 0 | 4 | 44 1064.40/1064.70 c 1060s | 17 | 1176174 | 254132 | 275423 0 | 4 | 44 1066.60/1066.98 c 1063s | 17 | 1176629 | 254532 | 275423 0 | 4 | 44 1069.09/1069.45 c 1065s | 17 | 1177097 | 254932 | 275423 0 | 4 | 44 1071.10/1071.46 c 1067s | 17 | 1177447 | 255232 | 275423 0 | 4 | 44 1073.30/1073.66 c 1069s | 17 | 1178089 | 255532 | 275423 0 | 4 | 44 1075.60/1075.95 c 1071s | 17 | 1178464 | 255832 | 275423 0 | 4 | 44 1078.09/1078.40 c 1074s | 17 | 1178829 | 256132 | 275423 0 | 4 | 44 1080.49/1080.82 c 1076s | 17 | 1179203 | 256432 | 275423 0 | 4 | 44 1082.69/1083.03 c 1079s | 17 | 1179548 | 256732 | 275423 0 | 4 | 44 1085.09/1085.41 c 1081s | 17 | 1179915 | 257032 | 275423 0 | 4 | 44 1087.29/1087.66 c 1083s | 17 | 1180266 | 257332 | 275423 0 | 4 | 44 1089.69/1090.01 c 1086s | 17 | 1180600 | 257632 | 275423 0 | 4 | 44 1091.89/1092.26 c 1088s | 17 | 1180985 | 257932 | 275423 0 | 4 | 44 1094.09/1094.42 c 1090s | 17 | 1181196 | 258132 | 275423 0 | 4 | 44 1096.59/1096.95 c 1092s | 17 | 1181574 | 258432 | 275423 0 | 4 | 44 1098.89/1099.28 c 1095s | 17 | 1181890 | 258732 | 275423 0 | 4 | 44 1102.19/1102.51 c 1098s | 17 | 1182222 | 259032 | 275423 0 | 4 | 44 1104.19/1104.51 c 1100s | 17 | 1182458 | 259232 | 275423 0 | 4 | 44 1106.48/1106.88 c 1102s | 17 | 1182803 | 259432 | 275423 0 | 4 | 44 1108.78/1109.19 c 1105s | 17 | 1183046 | 259632 | 275423 0 | 4 | 44 1110.88/1111.22 c 1107s | 17 | 1183288 | 259832 | 275423 0 | 4 | 44 1113.48/1113.87 c 1109s | 17 | 1183659 | 260132 | 275423 0 | 4 | 44 1116.29/1116.67 c 1112s | 17 | 1184023 | 260432 | 275423 0 | 4 | 44 1118.98/1119.39 c 1115s | 17 | 1184349 | 260732 | 275423 0 | 4 | 44 1121.98/1122.33 c 1118s | 17 | 1184684 | 261032 | 275423 0 | 4 | 44 1124.98/1125.32 c 1121s | 17 | 1185025 | 261332 | 275423 0 | 4 | 44 1128.08/1128.44 c 1124s | 17 | 1185340 | 261632 | 275423 0 | 4 | 44 1130.88/1131.27 c 1127s | 17 | 1185667 | 261932 | 275423 0 | 4 | 44 1132.97/1133.38 c 1129s | 17 | 1185997 | 262232 | 275423 0 | 4 | 44 1135.47/1135.88 c 1131s | 17 | 1186479 | 262632 | 275423 0 | 4 | 44 1138.18/1138.52 c 1134s | 17 | 1186946 | 263032 | 275423 0 | 4 | 44 1140.27/1140.64 c 1136s | 17 | 1187266 | 263332 | 275423 0 | 4 | 44 1143.07/1143.41 c 1139s | 17 | 1187728 | 263632 | 275423 0 | 4 | 44 1145.46/1145.85 c 1141s | 17 | 1188033 | 263832 | 275423 0 | 4 | 44 1147.66/1148.01 c 1144s | 17 | 1188279 | 264032 | 275423 0 | 4 | 44 1150.66/1151.07 c 1147s | 17 | 1188623 | 264332 | 275423 0 | 4 | 44 1152.76/1153.19 c 1149s | 17 | 1188864 | 264532 | 275423 0 | 4 | 44 1154.96/1155.31 c 1151s | 17 | 1189132 | 264732 | 275423 0 | 4 | 44 1157.36/1157.78 c 1153s | 17 | 1189489 | 265032 | 275423 0 | 4 | 44 1160.16/1160.57 c 1156s | 17 | 1189849 | 265332 | 275423 0 | 4 | 44 1162.36/1162.78 c 1158s | 17 | 1190179 | 265632 | 275423 0 | 4 | 44 1164.85/1165.20 c 1161s | 17 | 1190537 | 265932 | 275423 0 | 4 | 44 1167.35/1167.72 c 1163s | 17 | 1190870 | 266232 | 275423 0 | 4 | 44 1169.55/1169.96 c 1165s | 17 | 1191239 | 266532 | 275423 0 | 4 | 44 1171.85/1172.21 c 1168s | 17 | 1191609 | 266832 | 275423 0 | 4 | 44 1174.35/1174.77 c 1170s | 17 | 1191957 | 267132 | 275423 0 | 4 | 44 1176.75/1177.17 c 1173s | 17 | 1192301 | 267432 | 275423 0 | 4 | 44 1179.45/1179.88 c 1175s | 17 | 1192681 | 267732 | 275423 0 | 4 | 44 1182.15/1182.57 c 1178s | 17 | 1192996 | 268032 | 275423 0 | 4 | 44 1184.64/1185.04 c 1181s | 17 | 1193359 | 268332 | 275423 0 | 4 | 44 1187.34/1187.77 c 1183s | 17 | 1193712 | 268632 | 275423 0 | 4 | 44 1189.44/1189.88 c 1185s | 17 | 1193954 | 268832 | 275423 0 | 4 | 44 1192.24/1192.66 c 1188s | 17 | 1194307 | 269132 | 275423 0 | 4 | 44 1194.34/1194.76 c 1190s | 17 | 1194561 | 269332 | 275423 0 | 4 | 44 1196.94/1197.36 c 1193s | 17 | 1194921 | 269632 | 275423 0 | 4 | 44 1200.03/1200.47 c 1196s | 17 | 1195264 | 269932 | 275423 0 | 4 | 44 1202.43/1202.88 c 1198s | 17 | 1195476 | 270132 | 275423 0 | 4 | 44 1204.83/1205.21 c 1201s | 17 | 1195699 | 270332 | 275423 0 | 4 | 44 1206.93/1207.33 c 1203s | 17 | 1195926 | 270532 | 275423 0 | 4 | 44 1209.74/1210.12 c 1206s | 17 | 1196297 | 270832 | 275423 0 | 4 | 44 1211.73/1212.19 c 1208s | 17 | 1196535 | 271032 | 275423 0 | 4 | 44 1214.04/1214.44 c 1210s | 17 | 1196878 | 271332 | 275423 0 | 4 | 44 1216.33/1216.79 c 1212s | 17 | 1197222 | 271632 | 275423 0 | 4 | 44 1219.03/1219.46 c 1215s | 17 | 1197545 | 271932 | 275423 0 | 4 | 44 1221.23/1221.63 c 1217s | 17 | 1197770 | 272132 | 275423 0 | 4 | 44 1223.93/1224.35 c 1220s | 17 | 1198119 | 272432 | 275423 0 | 4 | 44 1226.42/1226.86 c 1222s | 17 | 1198477 | 272732 | 275423 0 | 4 | 44 1228.72/1229.13 c 1225s | 17 | 1198807 | 273032 | 275423 0 | 4 | 44 1230.72/1231.19 c 1227s | 17 | 1199076 | 273232 | 275423 0 | 4 | 44 1233.42/1233.83 c 1229s | 17 | 1199419 | 273532 | 275423 0 | 4 | 44 1236.12/1236.53 c 1232s | 17 | 1199747 | 273832 | 275423 0 | 4 | 44 1238.72/1239.13 c 1235s | 17 | 1200151 | 274132 | 275423 0 | 4 | 44 1241.02/1241.42 c 1237s | 17 | 1200394 | 274332 | 275423 0 | 4 | 44 1244.02/1244.47 c 1240s | 17 | 1200735 | 274632 | 275423 0 | 4 | 44 1246.12/1246.51 c 1242s | 17 | 1201062 | 274932 | 275423 0 | 4 | 44 1248.42/1248.88 c 1244s | 17 | 1201502 | 275332 | 275423 0 | 4 | 44 1251.01/1251.47 c 1247s | 17 | 1201819 | 275632 | 275423 0 | 4 | 44 1253.72/1254.10 c 1250s | 17 | 1202147 | 275932 | 275423 0 | 4 | 44 1365.29/1365.77 c 1361s | 17 | 1202722 | 276132 | 275423 1 | 4 | 44 1368.89/1369.36 c 1365s | 17 | 1203509 | 276432 | 275423 1 | 4 | 44 1371.19/1371.66 c 1367s | 17 | 1204357 | 276932 | 275423 1 | 4 | 44 1373.39/1373.88 c 1369s | 17 | 1205545 | 277432 | 275423 1 | 4 | 44 1375.39/1375.89 c 1371s | 17 | 1206353 | 277932 | 275423 1 | 4 | 44 1377.79/1378.22 c 1374s | 17 | 1207386 | 278532 | 275423 1 | 4 | 44 1380.19/1380.68 c 1376s | 17 | 1208059 | 279032 | 275423 1 | 4 | 44 1382.29/1382.76 c 1378s | 17 | 1208541 | 279432 | 275423 1 | 4 | 44 1384.59/1385.06 c 1381s | 17 | 1209106 | 279932 | 275423 1 | 4 | 44 1386.59/1387.10 c 1383s | 17 | 1209584 | 280332 | 275423 1 | 4 | 44 1388.69/1389.19 c 1385s | 17 | 1210216 | 280832 | 275423 1 | 4 | 44 1390.99/1391.43 c 1387s | 17 | 1210858 | 281332 | 275423 1 | 4 | 44 1393.49/1393.95 c 1389s | 17 | 1211722 | 281932 | 275423 1 | 4 | 44 1395.49/1395.96 c 1391s | 17 | 1212217 | 282332 | 275423 1 | 4 | 44 1398.38/1398.83 c 1394s | 17 | 1212819 | 282732 | 275423 1 | 4 | 44 1400.58/1401.04 c 1397s | 17 | 1213347 | 283132 | 275423 1 | 4 | 44 1402.68/1403.18 c 1399s | 17 | 1213971 | 283532 | 275423 1 | 4 | 44 1404.78/1405.28 c 1401s | 17 | 1214607 | 283932 | 275423 1 | 4 | 44 1406.98/1407.43 c 1403s | 17 | 1215202 | 284332 | 275423 1 | 4 | 44 1409.18/1409.67 c 1405s | 17 | 1215559 | 284632 | 275423 1 | 4 | 44 1411.28/1411.75 c 1407s | 17 | 1216040 | 284932 | 275423 1 | 4 | 44 1413.58/1414.08 c 1410s | 17 | 1216570 | 285332 | 275423 1 | 4 | 44 1415.78/1416.25 c 1412s | 17 | 1217276 | 285732 | 275423 1 | 4 | 44 1418.38/1418.84 c 1414s | 17 | 1217874 | 286132 | 275423 1 | 4 | 44 1420.89/1421.35 c 1417s | 17 | 1218562 | 286632 | 275423 1 | 4 | 44 1423.18/1423.66 c 1419s | 17 | 1219180 | 287032 | 275423 1 | 4 | 44 1425.98/1426.44 c 1422s | 17 | 1219796 | 287532 | 275423 1 | 4 | 44 1428.49/1428.91 c 1424s | 17 | 1220314 | 287832 | 275423 1 | 4 | 44 1430.58/1431.00 c 1427s | 17 | 1220637 | 288132 | 275423 1 | 4 | 44 1433.08/1433.59 c 1429s | 17 | 1221080 | 288532 | 275423 1 | 4 | 44 1435.48/1435.90 c 1431s | 17 | 1221440 | 288832 | 275423 1 | 4 | 44 1438.28/1438.71 c 1434s | 17 | 1221912 | 289232 | 275423 1 | 4 | 44 1440.78/1441.29 c 1437s | 17 | 1222440 | 289632 | 275423 1 | 4 | 44 1443.18/1443.60 c 1439s | 17 | 1222971 | 290032 | 275423 1 | 4 | 44 1445.58/1446.04 c 1442s | 17 | 1223457 | 290432 | 275423 1 | 4 | 44 1448.28/1448.71 c 1444s | 17 | 1223914 | 290832 | 275423 1 | 4 | 44 1450.38/1450.82 c 1446s | 17 | 1224247 | 291132 | 275423 1 | 4 | 44 1452.38/1452.84 c 1448s | 17 | 1224589 | 291432 | 275423 1 | 4 | 44 1454.78/1455.21 c 1451s | 17 | 1225098 | 291832 | 275423 1 | 4 | 44 1456.98/1457.49 c 1453s | 17 | 1225603 | 292232 | 275423 1 | 4 | 44 1459.68/1460.16 c 1456s | 17 | 1226084 | 292632 | 275423 1 | 4 | 44 1461.77/1462.21 c 1458s | 17 | 1226423 | 292932 | 275423 1 | 4 | 44 1463.87/1464.32 c 1460s | 17 | 1226788 | 293232 | 275423 1 | 4 | 44 1466.27/1466.78 c 1462s | 17 | 1227256 | 293632 | 275423 1 | 4 | 44 1468.57/1469.05 c 1465s | 17 | 1227712 | 294032 | 275423 1 | 4 | 44 1470.57/1471.06 c 1467s | 17 | 1228052 | 294332 | 302966 1 | 4 | 44 1473.17/1473.66 c 1469s | 17 | 1228515 | 294732 | 302966 1 | 4 | 44 1475.47/1475.97 c 1472s | 17 | 1228957 | 295132 | 302966 1 | 4 | 44 1477.87/1478.32 c 1474s | 17 | 1229443 | 295532 | 302966 1 | 4 | 44 1480.28/1480.71 c 1476s | 17 | 1229945 | 295932 | 302966 1 | 4 | 44 1482.27/1482.79 c 1478s | 18 | 1230332 | 296252 | 302966 1 | 4 | 44 1484.37/1484.84 c 1480s | 18 | 1230825 | 296452 | 302966 1 | 4 | 44 1486.57/1487.04 c 1483s | 18 | 1233727 | 296852 | 302966 1 | 4 | 44 1488.87/1489.39 c 1485s | 18 | 1234315 | 297252 | 302966 1 | 4 | 44 1490.97/1491.45 c 1487s | 18 | 1235215 | 297652 | 302966 1 | 4 | 44 1493.27/1493.71 c 1489s | 18 | 1235887 | 298052 | 302966 1 | 4 | 44 1495.37/1495.83 c 1491s | 18 | 1236253 | 298352 | 302966 1 | 4 | 44 1497.47/1497.90 c 1493s | 18 | 1237353 | 298852 | 302966 1 | 4 | 44 1499.47/1499.91 c 1495s | 18 | 1237919 | 299252 | 302966 1 | 4 | 44 1501.47/1501.98 c 1498s | 18 | 1238480 | 299652 | 302966 1 | 4 | 44 1503.77/1504.28 c 1500s | 18 | 1238982 | 300052 | 302966 1 | 4 | 44 1506.17/1506.64 c 1502s | 18 | 1239824 | 300552 | 302966 1 | 4 | 44 1508.57/1509.01 c 1505s | 18 | 1240604 | 301152 | 302966 1 | 4 | 44 1510.77/1511.20 c 1507s | 18 | 1241321 | 301652 | 302966 1 | 4 | 44 1512.97/1513.47 c 1509s | 18 | 1242135 | 302252 | 302966 1 | 4 | 44 1515.47/1515.99 c 1512s | 18 | 1242807 | 302752 | 302966 1 | 4 | 44 1517.46/1518.00 c 1514s | 18 | 1243166 | 303052 | 302966 1 | 4 | 44 1519.96/1520.40 c 1516s | 18 | 1243665 | 303452 | 302966 1 | 4 | 44 1521.97/1522.40 c 1518s | 18 | 1244351 | 303852 | 302966 1 | 4 | 44 1524.17/1524.61 c 1520s | 18 | 1245039 | 304352 | 302966 1 | 4 | 44 1526.16/1526.64 c 1522s | 18 | 1245739 | 304852 | 302966 1 | 4 | 44 1528.46/1528.99 c 1525s | 18 | 1246293 | 305252 | 302966 1 | 4 | 44 1530.66/1531.16 c 1527s | 18 | 1246992 | 305752 | 302966 1 | 4 | 44 1532.86/1533.38 c 1529s | 18 | 1247460 | 306152 | 302966 1 | 4 | 44 1535.36/1535.84 c 1531s | 18 | 1247922 | 306552 | 302966 1 | 4 | 44 1537.37/1537.86 c 1533s | 18 | 1248529 | 306952 | 302966 1 | 4 | 44 1539.76/1540.26 c 1536s | 18 | 1249266 | 307452 | 302966 1 | 4 | 44 1542.16/1542.69 c 1538s | 18 | 1249800 | 307852 | 302966 1 | 4 | 44 1544.36/1544.89 c 1540s | 18 | 1250314 | 308252 | 302966 1 | 4 | 44 1546.76/1547.27 c 1543s | 18 | 1250873 | 308652 | 302966 1 | 4 | 44 1549.26/1549.73 c 1545s | 18 | 1251352 | 309052 | 302966 1 | 4 | 44 1551.66/1552.16 c 1548s | 18 | 1251861 | 309452 | 302966 1 | 4 | 44 1554.16/1554.63 c 1550s | 18 | 1252212 | 309752 | 302966 1 | 4 | 44 1556.26/1556.75 c 1552s | 18 | 1252604 | 310052 | 302966 1 | 4 | 44 1558.46/1558.97 c 1554s | 18 | 1253032 | 310352 | 302966 1 | 4 | 44 1561.26/1561.79 c 1557s | 18 | 1253738 | 310852 | 302966 1 | 4 | 44 1563.96/1564.45 c 1560s | 18 | 1254080 | 311152 | 302966 1 | 4 | 44 1566.36/1566.83 c 1562s | 18 | 1254420 | 311452 | 302966 1 | 4 | 44 1568.86/1569.38 c 1565s | 18 | 1254793 | 311752 | 302966 1 | 4 | 44 1571.66/1572.12 c 1568s | 18 | 1255139 | 312052 | 302966 1 | 4 | 44 1574.05/1574.54 c 1570s | 18 | 1255485 | 312352 | 302966 1 | 4 | 44 1576.45/1576.90 c 1572s | 18 | 1255888 | 312652 | 302966 1 | 4 | 44 1578.95/1579.45 c 1575s | 18 | 1256243 | 312952 | 302966 1 | 4 | 44 1581.65/1582.12 c 1578s | 18 | 1256605 | 313252 | 302966 1 | 4 | 44 1583.85/1584.38 c 1580s | 18 | 1257130 | 313652 | 302966 1 | 4 | 44 1586.35/1586.81 c 1582s | 18 | 1257581 | 314052 | 302966 1 | 4 | 44 1588.45/1588.90 c 1584s | 18 | 1257959 | 314352 | 302966 1 | 4 | 44 1590.55/1591.04 c 1587s | 18 | 1258388 | 314652 | 302966 1 | 4 | 44 1593.65/1594.19 c 1590s | 18 | 1258734 | 314952 | 302966 1 | 4 | 44 1596.25/1596.79 c 1592s | 18 | 1259052 | 315252 | 302966 1 | 4 | 44 1598.85/1599.31 c 1595s | 18 | 1259577 | 315552 | 302966 1 | 4 | 44 1600.85/1601.33 c 1597s | 18 | 1259855 | 315752 | 302966 1 | 4 | 44 1603.46/1603.99 c 1600s | 18 | 1260209 | 316052 | 302966 1 | 4 | 44 1605.66/1606.14 c 1602s | 18 | 1260584 | 316352 | 302966 1 | 4 | 44 1607.65/1608.15 c 1604s | 18 | 1260973 | 316652 | 302966 1 | 4 | 44 1609.85/1610.36 c 1606s | 18 | 1261497 | 317052 | 302966 1 | 4 | 44 1611.95/1612.48 c 1608s | 18 | 1262049 | 317452 | 302966 1 | 4 | 44 1614.15/1614.60 c 1610s | 18 | 1262558 | 317852 | 302966 1 | 4 | 44 1616.15/1616.68 c 1612s | 18 | 1262903 | 318152 | 302966 1 | 4 | 44 1618.55/1619.08 c 1615s | 18 | 1263381 | 318552 | 302966 1 | 4 | 44 1620.85/1621.36 c 1617s | 18 | 1263887 | 318952 | 302966 1 | 4 | 44 1623.25/1623.71 c 1619s | 18 | 1264358 | 319352 | 302966 1 | 4 | 44 1625.45/1625.93 c 1621s | 18 | 1264883 | 319752 | 302966 1 | 4 | 44 1627.65/1628.13 c 1624s | 18 | 1265376 | 320152 | 302966 1 | 4 | 44 1630.15/1630.69 c 1626s | 18 | 1265847 | 320552 | 302966 1 | 4 | 44 1632.25/1632.75 c 1628s | 18 | 1266303 | 320952 | 302966 1 | 4 | 44 1634.35/1634.89 c 1630s | 18 | 1266627 | 321252 | 302966 1 | 4 | 44 1636.45/1636.93 c 1632s | 18 | 1266956 | 321552 | 302966 1 | 4 | 44 1639.14/1639.62 c 1635s | 18 | 1267544 | 322052 | 302966 1 | 4 | 44 1641.34/1641.83 c 1637s | 18 | 1267898 | 322352 | 302966 1 | 4 | 44 1643.74/1644.24 c 1640s | 18 | 1268470 | 322752 | 302966 1 | 4 | 44 1646.25/1646.72 c 1642s | 18 | 1268937 | 323152 | 302966 1 | 4 | 44 1648.45/1648.91 c 1644s | 18 | 1269401 | 323552 | 302966 1 | 4 | 44 1651.14/1651.67 c 1647s | 18 | 1270038 | 324052 | 302966 1 | 4 | 44 1653.34/1653.83 c 1649s | 18 | 1270490 | 324352 | 302966 1 | 4 | 44 1655.74/1656.25 c 1652s | 18 | 1271000 | 324752 | 302966 1 | 4 | 44 1657.94/1658.44 c 1654s | 18 | 1271511 | 325152 | 302966 1 | 4 | 44 1659.94/1660.46 c 1656s | 18 | 1271905 | 325452 | 302966 1 | 4 | 44 1662.14/1662.69 c 1658s | 18 | 1272397 | 325852 | 302966 1 | 4 | 44 1664.64/1665.15 c 1661s | 18 | 1272862 | 326252 | 302966 1 | 4 | 44 1666.74/1667.21 c 1663s | 18 | 1273307 | 326652 | 302966 1 | 4 | 44 1669.04/1669.57 c 1665s | 18 | 1273765 | 327052 | 302966 1 | 4 | 44 1671.44/1671.93 c 1667s | 18 | 1274379 | 327552 | 302966 1 | 4 | 44 1673.85/1674.31 c 1670s | 18 | 1274804 | 327952 | 302966 1 | 4 | 44 1675.84/1676.37 c 1672s | 18 | 1275235 | 328352 | 302966 1 | 4 | 44 1677.94/1678.46 c 1674s | 18 | 1275579 | 328652 | 302966 1 | 4 | 44 1679.94/1680.48 c 1676s | 18 | 1275898 | 328952 | 302966 1 | 4 | 44 1682.24/1682.76 c 1678s | 18 | 1276336 | 329352 | 302966 1 | 4 | 44 1684.64/1685.10 c 1681s | 18 | 1276888 | 329752 | 302966 1 | 4 | 44 1686.94/1687.40 c 1683s | 18 | 1277409 | 330152 | 302966 1 | 4 | 44 1689.24/1689.71 c 1685s | 18 | 1277949 | 330552 | 302966 1 | 4 | 44 1691.54/1692.02 c 1688s | 18 | 1278204 | 330752 | 302966 1 | 4 | 44 1694.34/1694.87 c 1690s | 18 | 1278558 | 331052 | 302966 1 | 4 | 44 1696.64/1697.12 c 1693s | 18 | 1278881 | 331352 | 302966 1 | 4 | 44 1699.14/1699.63 c 1695s | 18 | 1279362 | 331752 | 302966 1 | 4 | 44 1701.64/1702.14 c 1698s | 18 | 1279881 | 332152 | 302966 1 | 4 | 44 1703.94/1704.45 c 1700s | 18 | 1280303 | 332452 | 302966 1 | 4 | 44 1706.33/1706.85 c 1702s | 18 | 1280782 | 332852 | 302966 1 | 4 | 44 1708.73/1709.27 c 1705s | 18 | 1281243 | 333252 | 302966 1 | 4 | 44 1710.83/1711.30 c 1707s | 18 | 1281702 | 333552 | 302966 1 | 4 | 44 1712.93/1713.44 c 1709s | 18 | 1282139 | 333852 | 302966 1 | 4 | 44 1715.23/1715.73 c 1711s | 18 | 1282496 | 334152 | 302966 1 | 4 | 44 1717.23/1717.78 c 1713s | 18 | 1282887 | 334452 | 302966 1 | 4 | 44 1719.73/1720.25 c 1716s | 18 | 1283390 | 334752 | 302966 1 | 4 | 44 1721.93/1722.40 c 1718s | 18 | 1283789 | 335052 | 302966 1 | 4 | 44 1724.34/1724.85 c 1720s | 18 | 1284169 | 335352 | 302966 1 | 4 | 44 1726.64/1727.15 c 1723s | 18 | 1284674 | 335752 | 302966 1 | 4 | 44 1728.74/1729.25 c 1725s | 18 | 1285057 | 336052 | 302966 1 | 4 | 44 1731.23/1731.71 c 1727s | 18 | 1285428 | 336352 | 302966 1 | 4 | 44 1734.43/1734.99 c 1731s | 18 | 1285798 | 336652 | 302966 1 | 4 | 44 1736.83/1737.38 c 1733s | 18 | 1286067 | 336852 | 302966 1 | 4 | 44 1739.84/1740.34 c 1736s | 18 | 1286317 | 337052 | 302966 1 | 4 | 44 1742.23/1742.77 c 1738s | 18 | 1286564 | 337252 | 302966 1 | 4 | 44 1744.53/1745.03 c 1741s | 18 | 1286822 | 337452 | 302966 1 | 4 | 44 1746.63/1747.15 c 1743s | 18 | 1287044 | 337652 | 302966 1 | 4 | 44 1749.74/1750.22 c 1746s | 18 | 1287510 | 337952 | 302966 1 | 4 | 44 1752.53/1753.05 c 1749s | 18 | 1288033 | 338252 | 302966 1 | 4 | 44 1754.73/1755.23 c 1751s | 18 | 1288586 | 338552 | 302966 1 | 4 | 44 1757.14/1757.64 c 1753s | 18 | 1289022 | 338852 | 302966 1 | 4 | 44 1759.24/1759.73 c 1755s | 18 | 1289426 | 339152 | 302966 1 | 4 | 44 1762.04/1762.55 c 1758s | 18 | 1289781 | 339452 | 302966 1 | 4 | 44 1764.93/1765.49 c 1761s | 18 | 1290113 | 339752 | 302966 1 | 4 | 44 1767.24/1767.72 c 1763s | 18 | 1290330 | 339952 | 302966 1 | 4 | 44 1769.33/1769.80 c 1765s | 18 | 1290554 | 340152 | 302966 1 | 4 | 44 1771.93/1772.41 c 1768s | 18 | 1291030 | 340552 | 302966 1 | 4 | 44 1774.53/1775.00 c 1771s | 18 | 1291480 | 340952 | 302966 1 | 4 | 44 1776.93/1777.47 c 1773s | 18 | 1291971 | 341352 | 302966 1 | 4 | 44 1779.34/1779.83 c 1775s | 18 | 1292408 | 341752 | 302966 1 | 4 | 44 1782.03/1782.53 c 1778s | 18 | 1292776 | 342052 | 302966 1 | 4 | 44 1784.13/1784.65 c 1780s | 18 | 1293147 | 342352 | 302966 1 | 4 | 44 1786.93/1787.45 c 1783s | 18 | 1293665 | 342752 | 302966 1 | 4 | 44 1789.03/1789.57 c 1785s | 18 | 1293985 | 343052 | 302966 1 | 4 | 44 1791.44/1791.95 c 1787s | 18 | 1294429 | 343452 | 302966 1 | 4 | 44 1794.03/1794.54 c 1790s | 18 | 1294901 | 343852 | 302966 1 | 4 | 44 1796.33/1796.88 c 1792s | 18 | 1295385 | 344252 | 302966 1 | 4 | 44 1799.03/1799.55 c 1795s | 18 | 1295813 | 344552 | 302966 1 | 4 | 44
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-4108890-1466292487/watcher-4108890-1466292487 -o /tmp/evaluation-result-4108890-1466292487/solver-4108890-1466292487 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24926 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108890-1466292487.opb pid=29786 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.31 2.32 2.28 3/179 29789 /proc/meminfo: memFree=29025784/32872528 swapFree=1499884/1696108 [pid=29789] ppid=29786 vsize=653756 CPUtime=0 cores=0,2,4,6 /proc/29789/stat : 29789 (toysat) R 29786 29789 24910 0 -1 4202496 2429 0 0 0 0 0 0 0 20 0 4 0 31294479 669446144 2278 33554432000 4194304 16246674 140737104068000 140737104067424 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29789/statm: 164207 2289 441 2943 0 161101 0 [pid=29789/tid=29790] ppid=29786 vsize=672188 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29790/stat : 29790 (toysat) S 29786 29789 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31294479 688320512 2350 33554432000 4194304 16246674 140737104068000 140570157624560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=29789/tid=29791] ppid=29786 vsize=676284 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29791/stat : 29791 (toysat) S 29786 29789 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31294479 692514816 2366 33554432000 4194304 16246674 140737104068000 140570147134704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=29789/tid=29792] ppid=29786 vsize=681404 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29792/stat : 29792 (toysat) S 29786 29789 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31294479 697757696 2383 33554432000 4194304 16246674 140737104068000 140570136661168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100214 s] /proc/loadavg: 2.31 2.32 2.28 3/179 29789 /proc/meminfo: memFree=29025784/32872528 swapFree=1499884/1696108 [pid=29789] ppid=29786 vsize=1220164 CPUtime=0.09 cores=0,2,4,6 /proc/29789/stat : 29789 (toysat) R 29786 29789 24910 0 -1 4202496 29949 0 0 0 6 3 0 0 20 0 4 0 31294479 1249447936 29736 33554432000 4194304 16246674 140737104068000 140737104067312 4220936 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29789/statm: 305041 29736 801 2943 0 301935 0 [pid=29789/tid=29790] ppid=29786 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29790/stat : 29790 (toysat) S 29786 29789 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31294479 1249447936 29736 33554432000 4194304 16246674 140737104068000 140570157624560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=29789/tid=29791] ppid=29786 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29791/stat : 29791 (toysat) S 29786 29789 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31294479 1249447936 29736 33554432000 4194304 16246674 140737104068000 140570147134704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=29789/tid=29792] ppid=29786 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29792/stat : 29792 (toysat) S 29786 29789 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31294479 1249447936 29736 33554432000 4194304 16246674 140737104068000 140570136661168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200518 s] /proc/loadavg: 2.31 2.32 2.28 3/179 29789 /proc/meminfo: memFree=29025784/32872528 swapFree=1499884/1696108 [pid=29789] ppid=29786 vsize=1308228 CPUtime=0.18 cores=0,2,4,6 /proc/29789/stat : 29789 (toysat) R 29786 29789 24910 0 -1 4202496 51216 0 0 0 13 5 0 0 20 0 4 0 31294479 1339625472 51514 33554432000 4194304 16246674 140737104068000 140737104067312 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29789/statm: 327057 51518 801 2943 0 323951 0 [pid=29789/tid=29790] ppid=29786 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29790/stat : 29790 (toysat) S 29786 29789 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31294479 1339625472 51521 33554432000 4194304 16246674 140737104068000 140570157624560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=29789/tid=29791] ppid=29786 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29791/stat : 29791 (toysat) S 29786 29789 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31294479 1339625472 51523 33554432000 4194304 16246674 140737104068000 140570147134704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=29789/tid=29792] ppid=29786 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29792/stat : 29792 (toysat) S 29786 29789 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31294479 1339625472 51525 33554432000 4194304 16246674 140737104068000 140570136661168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1308228 [startup+0.300478 s] /proc/loadavg: 2.31 2.32 2.28 3/179 29789 /proc/meminfo: memFree=29025784/32872528 swapFree=1499884/1696108 [pid=29789] ppid=29786 vsize=1314372 CPUtime=0.29 cores=0,2,4,6 /proc/29789/stat : 29789 (toysat) R 29786 29789 24910 0 -1 4202496 58810 0 0 0 22 7 0 0 20 0 4 0 31294479 1345916928 59108 33554432000 4194304 16246674 140737104068000 140737104067312 7853055 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29789/statm: 328593 59108 801 2943 0 325487 0 [pid=29789/tid=29790] ppid=29786 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29790/stat : 29790 (toysat) S 29786 29789 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31294479 1345916928 59108 33554432000 4194304 16246674 140737104068000 140570157624560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=29789/tid=29791] ppid=29786 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29791/stat : 29791 (toysat) S 29786 29789 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31294479 1345916928 59108 33554432000 4194304 16246674 140737104068000 140570147134704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=29789/tid=29792] ppid=29786 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29792/stat : 29792 (toysat) S 29786 29789 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31294479 1345916928 59108 33554432000 4194304 16246674 140737104068000 140570136661168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1314372 [startup+0.700398 s] /proc/loadavg: 2.31 2.32 2.28 3/179 29789 /proc/meminfo: memFree=29025784/32872528 swapFree=1499884/1696108 [pid=29789] ppid=29786 vsize=1314372 CPUtime=0.69 cores=0,2,4,6 /proc/29789/stat : 29789 (toysat) R 29786 29789 24910 0 -1 4202496 71210 0 0 0 61 8 0 0 20 0 4 0 31294479 1345916928 71508 33554432000 4194304 16246674 140737104068000 140737104067312 14073329 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29789/statm: 328593 71508 801 2943 0 325487 0 [pid=29789/tid=29790] ppid=29786 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29790/stat : 29790 (toysat) S 29786 29789 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31294479 1345916928 71508 33554432000 4194304 16246674 140737104068000 140570157624560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=29789/tid=29791] ppid=29786 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29791/stat : 29791 (toysat) S 29786 29789 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31294479 1345916928 71508 33554432000 4194304 16246674 140737104068000 140570147134704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=29789/tid=29792] ppid=29786 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29792/stat : 29792 (toysat) S 29786 29789 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31294479 1345916928 71508 33554432000 4194304 16246674 140737104068000 140570136661168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1314372 [startup+1.50041 s] /proc/loadavg: 2.31 2.32 2.28 3/183 29793 /proc/meminfo: memFree=28701428/32872528 swapFree=1499884/1696108 [pid=29789] ppid=29786 vsize=1314372 CPUtime=1.49 cores=0,2,4,6 /proc/29789/stat : 29789 (toysat) R 29786 29789 24910 0 -1 4202496 81808 0 0 0 139 10 0 0 20 0 4 0 31294479 1345916928 82106 33554432000 4194304 16246674 140737104068000 140737104050992 5874145 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29789/statm: 328593 82106 845 2943 0 325487 0 [pid=29789/tid=29790] ppid=29786 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29790/stat : 29790 (toysat) S 29786 29789 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31294479 1345916928 82106 33554432000 4194304 16246674 140737104068000 140570157624560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=29789/tid=29791] ppid=29786 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29791/stat : 29791 (toysat) S 29786 29789 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31294479 1345916928 82106 33554432000 4194304 16246674 140737104068000 140570147134704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=29789/tid=29792] ppid=29786 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29792/stat : 29792 (toysat) S 29786 29789 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31294479 1345916928 82106 33554432000 4194304 16246674 140737104068000 140570136661168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1314372 [startup+3.1004 s] /proc/loadavg: 2.31 2.32 2.28 3/183 29793 /proc/meminfo: memFree=28163392/32872528 swapFree=1499884/1696108 [pid=29789] ppid=29786 vsize=1342020 CPUtime=3.09 cores=0,2,4,6 /proc/29789/stat : 29789 (toysat) R 29786 29789 24910 0 -1 4202496 275930 0 0 0 271 38 0 0 20 0 4 0 31294479 1374228480 276228 33554432000 4194304 16246674 140737104068000 140737104049920 5516460 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29789/statm: 335505 276228 847 2943 0 332399 0 [pid=29789/tid=29790] ppid=29786 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29790/stat : 29790 (toysat) S 29786 29789 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31294479 1374228480 276228 33554432000 4194304 16246674 140737104068000 140570157624560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=29789/tid=29791] ppid=29786 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29791/stat : 29791 (toysat) S 29786 29789 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31294479 1374228480 276228 33554432000 4194304 16246674 140737104068000 140570147134704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=29789/tid=29792] ppid=29786 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29792/stat : 29792 (toysat) S 29786 29789 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31294479 1374228480 276228 33554432000 4194304 16246674 140737104068000 140570136661168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1342020 [startup+6.3004 s] /proc/loadavg: 2.36 2.33 2.28 3/183 29793 /proc/meminfo: memFree=27920280/32872528 swapFree=1499884/1696108 [pid=29789] ppid=29786 vsize=1342020 CPUtime=6.29 cores=0,2,4,6 /proc/29789/stat : 29789 (toysat) R 29786 29789 24910 0 -1 4202496 276179 0 0 0 591 38 0 0 20 0 4 0 31294479 1374228480 276477 33554432000 4194304 16246674 140737104068000 140737104049920 13906985 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29789/statm: 335505 276477 889 2943 0 332399 0 [pid=29789/tid=29790] ppid=29786 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29790/stat : 29790 (toysat) S 29786 29789 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31294479 1374228480 276477 33554432000 4194304 16246674 140737104068000 140570157624560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=29789/tid=29791] ppid=29786 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29791/stat : 29791 (toysat) S 29786 29789 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31294479 1374228480 276477 33554432000 4194304 16246674 140737104068000 140570147134704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=29789/tid=29792] ppid=29786 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29792/stat : 29792 (toysat) S 29786 29789 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31294479 1374228480 276477 33554432000 4194304 16246674 140737104068000 140570136661168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1342020 [startup+12.7004 s] /proc/loadavg: 2.33 2.33 2.28 3/183 29793 /proc/meminfo: memFree=27920792/32872528 swapFree=1499884/1696108 [pid=29789] ppid=29786 vsize=1342020 CPUtime=12.69 cores=0,2,4,6 /proc/29789/stat : 29789 (toysat) R 29786 29789 24910 0 -1 4202496 276179 0 0 0 1231 38 0 0 20 0 4 0 31294479 1374228480 276477 33554432000 4194304 16246674 140737104068000 140737104049920 5601733 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29789/statm: 335505 276477 889 2943 0 332399 0 [pid=29789/tid=29790] ppid=29786 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29790/stat : 29790 (toysat) S 29786 29789 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31294479 1374228480 276477 33554432000 4194304 16246674 140737104068000 140570157624560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=29789/tid=29791] ppid=29786 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29791/stat : 29791 (toysat) S 29786 29789 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31294479 1374228480 276477 33554432000 4194304 16246674 140737104068000 140570147134704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=29789/tid=29792] ppid=29786 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29792/stat : 29792 (toysat) S 29786 29789 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31294479 1374228480 276477 33554432000 4194304 16246674 140737104068000 140570136661168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1342020 [startup+25.5005 s] /proc/loadavg: 2.26 2.31 2.27 4/183 29793 /proc/meminfo: memFree=27920864/32872528 swapFree=1499884/1696108 [pid=29789] ppid=29786 vsize=1342020 CPUtime=25.48 cores=0,2,4,6 /proc/29789/stat : 29789 (toysat) R 29786 29789 24910 0 -1 4202496 276182 0 0 0 2510 38 0 0 20 0 4 0 31294479 1374228480 276480 33554432000 4194304 16246674 140737104068000 140737104049920 13820964 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29789/statm: 335505 276480 892 2943 0 332399 0 [pid=29789/tid=29790] ppid=29786 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29790/stat : 29790 (toysat) S 29786 29789 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31294479 1374228480 276480 33554432000 4194304 16246674 140737104068000 140570157624560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=29789/tid=29791] ppid=29786 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29791/stat : 29791 (toysat) S 29786 29789 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31294479 1374228480 276480 33554432000 4194304 16246674 140737104068000 140570147134704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=29789/tid=29792] ppid=29786 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29792/stat : 29792 (toysat) S 29786 29789 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31294479 1374228480 276480 33554432000 4194304 16246674 140737104068000 140570136661168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1342020 [startup+51.1005 s] /proc/loadavg: 2.23 2.30 2.27 3/183 29793 /proc/meminfo: memFree=27920836/32872528 swapFree=1499884/1696108 [pid=29789] ppid=29786 vsize=1342020 CPUtime=51.08 cores=0,2,4,6 /proc/29789/stat : 29789 (toysat) R 29786 29789 24910 0 -1 4202496 276183 0 0 0 5070 38 0 0 20 0 4 0 31294479 1374228480 276481 33554432000 4194304 16246674 140737104068000 140737104049920 5823408 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29789/statm: 335505 276481 892 2943 0 332399 0 [pid=29789/tid=29790] ppid=29786 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29790/stat : 29790 (toysat) S 29786 29789 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31294479 1374228480 276481 33554432000 4194304 16246674 140737104068000 140570157624560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=29789/tid=29791] ppid=29786 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29791/stat : 29791 (toysat) S 29786 29789 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31294479 1374228480 276481 33554432000 4194304 16246674 140737104068000 140570147134704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=29789/tid=29792] ppid=29786 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29792/stat : 29792 (toysat) S 29786 29789 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31294479 1374228480 276481 33554432000 4194304 16246674 140737104068000 140570136661168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1342020 [startup+102.3 s] /proc/loadavg: 2.23 2.30 2.27 3/183 29795 /proc/meminfo: memFree=27920644/32872528 swapFree=1499884/1696108 [pid=29789] ppid=29786 vsize=1342020 CPUtime=102.28 cores=0,2,4,6 /proc/29789/stat : 29789 (toysat) R 29786 29789 24910 0 -1 4202496 276183 0 0 0 10190 38 0 0 20 0 4 0 31294479 1374228480 276481 33554432000 4194304 16246674 140737104068000 140737104049920 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29789/statm: 335505 276481 892 2943 0 332399 0 [pid=29789/tid=29790] ppid=29786 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29790/stat : 29790 (toysat) S 29786 29789 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31294479 1374228480 276481 33554432000 4194304 16246674 140737104068000 140570157624560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=29789/tid=29791] ppid=29786 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29791/stat : 29791 (toysat) S 29786 29789 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31294479 1374228480 276481 33554432000 4194304 16246674 140737104068000 140570147134704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=29789/tid=29792] ppid=29786 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29792/stat : 29792 (toysat) S 29786 29789 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31294479 1374228480 276481 33554432000 4194304 16246674 140737104068000 140570136661168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1342020 ################ # More data... # ################ /proc/29789/task/29792/stat : 29792 (toysat) S 29786 29789 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31294479 1374228480 276486 33554432000 4194304 16246674 140737104068000 140570136661168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1342020 [startup+1362.3 s] /proc/loadavg: 1.24 1.55 1.92 2/174 29909 /proc/meminfo: memFree=29140484/32872528 swapFree=1499884/1696108 [pid=29789] ppid=29786 vsize=1342020 CPUtime=1361.9 cores=0,2,4,6 /proc/29789/stat : 29789 (toysat) R 29786 29789 24910 0 -1 4202496 276512 0 0 0 136142 48 0 0 20 0 4 0 31294479 1374228480 276486 33554432000 4194304 16246674 140737104068000 140737104067312 4207785 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29789/statm: 335505 276486 894 2943 0 332399 0 [pid=29789/tid=29790] ppid=29786 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29790/stat : 29790 (toysat) S 29786 29789 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31294479 1374228480 276486 33554432000 4194304 16246674 140737104068000 140570157624560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=29789/tid=29791] ppid=29786 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29791/stat : 29791 (toysat) S 29786 29789 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31294479 1374228480 276486 33554432000 4194304 16246674 140737104068000 140570147134704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=29789/tid=29792] ppid=29786 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29792/stat : 29792 (toysat) S 29786 29789 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31294479 1374228480 276486 33554432000 4194304 16246674 140737104068000 140570136661168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1342020 [startup+1422.3 s] /proc/loadavg: 1.40 1.54 1.89 2/173 29910 /proc/meminfo: memFree=29103396/32872528 swapFree=1499884/1696108 [pid=29789] ppid=29786 vsize=1379908 CPUtime=1421.89 cores=0,2,4,6 /proc/29789/stat : 29789 (toysat) R 29786 29789 24910 0 -1 4202496 285984 0 0 0 142140 49 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140737104049920 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29789/statm: 344977 285958 894 2943 0 341871 0 [pid=29789/tid=29790] ppid=29786 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29790/stat : 29790 (toysat) S 29786 29789 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140570157624560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=29789/tid=29791] ppid=29786 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29791/stat : 29791 (toysat) S 29786 29789 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140570147134704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=29789/tid=29792] ppid=29786 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29792/stat : 29792 (toysat) S 29786 29789 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140570136661168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 1379908 [startup+1482.3 s] /proc/loadavg: 1.40 1.51 1.86 2/173 29911 /proc/meminfo: memFree=29103252/32872528 swapFree=1499884/1696108 [pid=29789] ppid=29786 vsize=1379908 CPUtime=1481.87 cores=0,2,4,6 /proc/29789/stat : 29789 (toysat) R 29786 29789 24910 0 -1 4202496 285984 0 0 0 148138 49 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140737104049920 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29789/statm: 344977 285958 894 2943 0 341871 0 [pid=29789/tid=29790] ppid=29786 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29790/stat : 29790 (toysat) S 29786 29789 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140570157624560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=29789/tid=29791] ppid=29786 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29791/stat : 29791 (toysat) S 29786 29789 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140570147134704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=29789/tid=29792] ppid=29786 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29792/stat : 29792 (toysat) S 29786 29789 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140570136661168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1379908 [startup+1542.31 s] /proc/loadavg: 1.20 1.43 1.81 2/173 29912 /proc/meminfo: memFree=29103264/32872528 swapFree=1499884/1696108 [pid=29789] ppid=29786 vsize=1379908 CPUtime=1541.87 cores=0,2,4,6 /proc/29789/stat : 29789 (toysat) R 29786 29789 24910 0 -1 4202496 285984 0 0 0 154138 49 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140737104049920 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29789/statm: 344977 285958 894 2943 0 341871 0 [pid=29789/tid=29790] ppid=29786 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29790/stat : 29790 (toysat) S 29786 29789 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140570157624560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=29789/tid=29791] ppid=29786 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29791/stat : 29791 (toysat) S 29786 29789 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140570147134704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=29789/tid=29792] ppid=29786 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29792/stat : 29792 (toysat) S 29786 29789 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140570136661168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1379908 [startup+1602.3 s] /proc/loadavg: 1.33 1.44 1.79 2/173 29913 /proc/meminfo: memFree=29103156/32872528 swapFree=1499884/1696108 [pid=29789] ppid=29786 vsize=1379908 CPUtime=1601.85 cores=0,2,4,6 /proc/29789/stat : 29789 (toysat) R 29786 29789 24910 0 -1 4202496 285984 0 0 0 160136 49 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140737104049920 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29789/statm: 344977 285958 894 2943 0 341871 0 [pid=29789/tid=29790] ppid=29786 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29790/stat : 29790 (toysat) S 29786 29789 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140570157624560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=29789/tid=29791] ppid=29786 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29791/stat : 29791 (toysat) S 29786 29789 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140570147134704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=29789/tid=29792] ppid=29786 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29792/stat : 29792 (toysat) S 29786 29789 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140570136661168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1379908 [startup+1662.3 s] /proc/loadavg: 1.23 1.39 1.74 2/173 29915 /proc/meminfo: memFree=29103256/32872528 swapFree=1499884/1696108 [pid=29789] ppid=29786 vsize=1379908 CPUtime=1661.84 cores=0,2,4,6 /proc/29789/stat : 29789 (toysat) R 29786 29789 24910 0 -1 4202496 285984 0 0 0 166135 49 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140737104049920 5823131 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29789/statm: 344977 285958 894 2943 0 341871 0 [pid=29789/tid=29790] ppid=29786 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29790/stat : 29790 (toysat) S 29786 29789 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140570157624560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=29789/tid=29791] ppid=29786 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29791/stat : 29791 (toysat) S 29786 29789 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140570147134704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=29789/tid=29792] ppid=29786 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29792/stat : 29792 (toysat) S 29786 29789 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140570136661168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1379908 [startup+1722.3 s] /proc/loadavg: 1.25 1.37 1.71 2/173 29916 /proc/meminfo: memFree=29103020/32872528 swapFree=1499884/1696108 [pid=29789] ppid=29786 vsize=1379908 CPUtime=1721.83 cores=0,2,4,6 /proc/29789/stat : 29789 (toysat) R 29786 29789 24910 0 -1 4202496 285984 0 0 0 172134 49 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140737104049920 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29789/statm: 344977 285958 894 2943 0 341871 0 [pid=29789/tid=29790] ppid=29786 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29790/stat : 29790 (toysat) S 29786 29789 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140570157624560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=29789/tid=29791] ppid=29786 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29791/stat : 29791 (toysat) S 29786 29789 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140570147134704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=29789/tid=29792] ppid=29786 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29792/stat : 29792 (toysat) S 29786 29789 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140570136661168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1379908 [startup+1782.3 s] /proc/loadavg: 1.14 1.32 1.67 2/173 29917 /proc/meminfo: memFree=29102660/32872528 swapFree=1499884/1696108 [pid=29789] ppid=29786 vsize=1379908 CPUtime=1781.83 cores=0,2,4,6 /proc/29789/stat : 29789 (toysat) R 29786 29789 24910 0 -1 4202496 285984 0 0 0 178133 50 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140737104049920 5672201 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29789/statm: 344977 285958 894 2943 0 341871 0 [pid=29789/tid=29790] ppid=29786 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29790/stat : 29790 (toysat) S 29786 29789 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140570157624560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=29789/tid=29791] ppid=29786 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29791/stat : 29791 (toysat) S 29786 29789 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140570147134704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=29789/tid=29792] ppid=29786 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29792/stat : 29792 (toysat) S 29786 29789 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140570136661168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1379908 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.16 1.31 1.66 2/173 29918 /proc/meminfo: memFree=29102704/32872528 swapFree=1499884/1696108 [pid=29789] ppid=29786 vsize=1379908 CPUtime=1800.03 cores=0,2,4,6 /proc/29789/stat : 29789 (toysat) R 29786 29789 24910 0 -1 4202496 285984 0 0 0 179953 50 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140737104049920 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29789/statm: 344977 285958 894 2943 0 341871 0 [pid=29789/tid=29790] ppid=29786 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29790/stat : 29790 (toysat) S 29786 29789 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140570157624560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=29789/tid=29791] ppid=29786 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29791/stat : 29791 (toysat) S 29786 29789 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140570147134704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=29789/tid=29792] ppid=29786 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29792/stat : 29792 (toysat) S 29786 29789 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140570136661168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1379908 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 29789 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.16 1.31 1.66 2/173 29918 /proc/meminfo: memFree=29102704/32872528 swapFree=1499884/1696108 [pid=29789] ppid=29786 vsize=1379908 CPUtime=1800.03 cores=0,2,4,6 /proc/29789/stat : 29789 (toysat) R 29786 29789 24910 0 -1 4202496 285984 0 0 0 179953 50 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140737104049920 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29789/statm: 344977 285958 894 2943 0 341871 0 [pid=29789/tid=29790] ppid=29786 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29790/stat : 29790 (toysat) S 29786 29789 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140570157624560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=29789/tid=29791] ppid=29786 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29791/stat : 29791 (toysat) S 29786 29789 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140570147134704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=29789/tid=29792] ppid=29786 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/29789/task/29792/stat : 29792 (toysat) S 29786 29789 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31294479 1413025792 285958 33554432000 4194304 16246674 140737104068000 140570136661168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1379908 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1799.53 CPU system time (s): 0.497924 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (KiB): 1379908 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.53 system time used= 0.497924 maximum resident set size= 1143832 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 285984 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= 642 involuntary context switches= 1832 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.50216 second user time and 6.75597 second system time The end
Begin job on node137 at 2016-06-19 01:28:07 IDJOB=4108890 IDBENCH=89657 IDSOLVER=2542 FILE ID=node137/4108890-1466292487 RUNJOBID= node137-1466264772-24926 PBS_JOBID= 19918225 Free space on /tmp= 71672 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-05.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108890-1466292487/watcher-4108890-1466292487 -o /tmp/evaluation-result-4108890-1466292487/solver-4108890-1466292487 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24926 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108890-1466292487.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cf89b9356492102125d645e5cc48c383 RANDOM SEED=199518510 node137.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.97 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29026220 kB Buffers: 49232 kB Cached: 185828 kB SwapCached: 1216 kB Active: 1288924 kB Inactive: 121048 kB Active(anon): 1174192 kB Inactive(anon): 3248 kB Active(file): 114732 kB Inactive(file): 117800 kB Unevictable: 1696108 kB Mlocked: 1499884 kB SwapTotal: 67108856 kB SwapFree: 67100060 kB Dirty: 22768 kB Writeback: 0 kB AnonPages: 2870360 kB Mapped: 10816 kB Shmem: 0 kB Slab: 604972 kB SReclaimable: 48788 kB SUnreclaim: 556184 kB KernelStack: 1424 kB PageTables: 9672 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3013620 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 440320 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= 71680 MiB End job on node137 at 2016-06-19 01:58:08