| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.08 | 1800.51 |
| Name | normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression64_23.opb |
| MD5SUM | 60625a8f4cfa2ca63ddafc7817561234 |
| 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 | 6.83896 |
| 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 | 7656 |
| Total number of constraints | 37502 |
| Number of constraints which are clauses | 37497 |
| Number of constraints which are cardinality constraints (but not clauses) | 5 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 87 |
| 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 | 23 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 110 |
| Number of bits of the biggest sum of numbers | 7 |
| 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-17T01:21:46+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-4098059-1466119306.opb"] 0.00/0.01 c use --random-gen="2773560729 1944200061 3810714080 4224922094 2110971199 1657461449 2459724887 1789763296 2191052697 1544516898 645764838 646424488 3624200142 1035974181 2825290424 2494852922 2962582114 2161437107 2744912011 455042437 51408026 4276233208 563561480 2128977416 570349455 1093144888 1646897193 2445813859 677165369 3084289074 1373686114 3999614244 335095738 1041837990 1270317506 1380232344 3414662798 3160049054 2270576422 1934242016 3556734129 3046006603 744275591 1341766810 2545316141 1671228258 3972082710 467767814 1756262584 808524131 3052822797 2799930654 2783407792 2453996531 1005929868 1840806765 989513079 2864927525 3372578347 1643949483 831213413 4250135654 3774286034 1227183510 2382580677 2251408369 3675772983 2014017031 3426122507 2458869432 4137762107 886040506 986987283 2606435491 1625430560 3199640980 1724031906 915829660 3300236955 1993225310 3755160953 530497058 3457167159 847298306 2846375686 1691890056 3369120135 145345403 639883232 1789029029 2838909019 736278711 2882200781 1522259336 3279014036 311120160 3942229002 2105389192 1892473142 2381748623 2058642595 4061075011 207099286 3765211451 3183060438 102171587 3330775449 3477445674 2606208405 4034799187 755478499 2201902425 783268090 702905535 2949071174 3533708290 1661436987 1867589291 4124920393 2168012302 2296136799 657545549 2866237377 3011147340 1558631295 1016844069 932081938 97640291 648468069 2422615962 1075490296 1245151934 2801420351 628623528 1115178260 247084969 2194253727 1326408576 1079795882 2082824339 1520155194 996791995 4085757777 1665641087 2054034899 3464504668 2929852137 1731050433 2169509897 3318543626 3739700327 2621551451 2185270405 698865136 2123998674 1358631285 377253425 3283477102 3294145589 2535026931 4142426336 1526612268 736769674 2350962599 3796872615 3229037916 918104341 1301318024 1435585565 430366487 2720848380 3941354656 1481071682 1069542211 1292294025 2721250925 2848730786 227735494 4006101363 2918610522 690524220 4294503292 1711861424 3927586223 3786304082 65786586 4267847975 2641482795 1913467349 1650914547 1939484685 1609567832 476314720 3286966608 33857163 4064474596 2406174007 1464255792 464365893 1737410954 1496479030 2127399138 134632449 1327626578 712062484 94445188 455323729 2164111084 793781626 2452522260 1997531235 3219284119 448152228 790445862 569356368 955415283 3112197606 1549120079 642024222 2651163611 4214135629 4031632631 3771599728 1074933954 1604291577 3337747487 20585123 1689242385 3212168871 3348705903 3105591425 3781766389 3703244041 1680492006 2253885281 3311946957 3088141752 1034474694 2201800683 1833257739 3734651540 3629678577 2912594477 2414322404 1286697494 3401501109 886892110 884441710 1724161541 2542626645 3901845620 2173453468 2621896915 3230688906 1187563305 724481547 255 362436" option to reproduce the execution 0.89/0.92 c #vars 7656 0.89/0.92 c #constraints 37502 2.49/2.51 c Solving starts ... 2.49/2.51 c ============================[ Search Statistics ]============================ 2.49/2.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.49/2.51 c | | | | Limit GC | Var | Constra 2.49/2.51 c ============================================================================= 2.49/2.52 c 0.0s | 0 | 0 | 0 | 15051 0 | 5 | 0 3.19/3.21 c 0.7s | 1 | 976 | 100 | 15051 0 | 5 | 752 3.99/4.02 c 1.5s | 2 | 2755 | 250 | 16557 0 | 5 | 752 5.09/5.18 c 2.7s | 3 | 7242 | 475 | 18213 0 | 5 | 752 6.79/6.84 c 4.3s | 4 | 10295 | 813 | 20035 0 | 5 | 752 8.89/8.93 c 6.4s | 4 | 13162 | 1213 | 22039 0 | 5 | 752 9.38/9.47 c 7.0s | 5 | 14147 | 1320 | 22039 0 | 5 | 752 11.58/11.61 c 9.1s | 5 | 17558 | 1720 | 24243 0 | 5 | 752 12.98/13.00 c 10.5s | 6 | 20991 | 2081 | 26668 0 | 5 | 752 15.28/15.37 c 12.9s | 6 | 24102 | 2581 | 26668 0 | 5 | 752 17.48/17.58 c 15.1s | 6 | 26779 | 3181 | 26668 0 | 5 | 752 17.69/17.73 c 15.2s | 7 | 27098 | 3223 | 29335 0 | 5 | 752 19.98/20.04 c 17.5s | 7 | 31451 | 3723 | 29335 0 | 5 | 752 22.18/22.24 c 19.7s | 7 | 35362 | 4123 | 29335 0 | 5 | 752 24.48/24.53 c 22.0s | 7 | 39337 | 4623 | 29335 0 | 5 | 752 25.68/25.74 c 23.2s | 8 | 40951 | 4936 | 32269 0 | 5 | 752 27.98/28.02 c 25.5s | 8 | 45485 | 5336 | 32269 0 | 5 | 752 30.28/30.38 c 27.9s | 8 | 50756 | 5836 | 32269 0 | 5 | 752 32.48/32.58 c 30.1s | 8 | 53808 | 6436 | 32269 0 | 5 | 752 34.78/34.82 c 32.3s | 8 | 60277 | 6936 | 32269 0 | 5 | 752 37.18/37.22 c 34.7s | 8 | 64609 | 7336 | 32269 0 | 5 | 752 38.08/38.14 c 35.6s | 9 | 66413 | 7506 | 35496 0 | 5 | 752 40.48/40.55 c 38.0s | 9 | 70904 | 7906 | 35496 0 | 5 | 752 42.48/42.57 c 40.1s | 9 | 73303 | 8306 | 35496 0 | 5 | 752 44.58/44.66 c 42.1s | 9 | 76585 | 8806 | 35496 0 | 5 | 752 46.78/46.87 c 44.4s | 9 | 81878 | 9406 | 35496 0 | 5 | 752 48.88/48.97 c 46.5s | 9 | 87608 | 9806 | 35496 0 | 5 | 752 51.08/51.15 c 48.6s | 9 | 91774 | 10206 | 35496 0 | 5 | 752 53.18/53.21 c 50.7s | 9 | 94933 | 10706 | 35496 0 | 5 | 752 55.28/55.39 c 52.9s | 9 | 97668 | 11306 | 39046 0 | 5 | 752 55.58/55.62 c 53.1s | 10 | 98133 | 11361 | 39046 0 | 5 | 752 57.78/57.84 c 55.3s | 10 | 100907 | 11761 | 39046 0 | 5 | 752 60.07/60.12 c 57.6s | 10 | 104511 | 12161 | 39046 0 | 5 | 752 62.27/62.36 c 59.8s | 10 | 110669 | 12561 | 39046 0 | 5 | 752 64.47/64.51 c 62.0s | 10 | 114708 | 13061 | 39046 0 | 5 | 752 66.67/66.74 c 64.2s | 10 | 117990 | 13661 | 39046 0 | 5 | 752 68.97/69.04 c 66.5s | 10 | 122902 | 14161 | 39046 0 | 5 | 752 71.27/71.33 c 68.8s | 10 | 127158 | 14561 | 39046 0 | 5 | 752 73.47/73.55 c 71.0s | 10 | 133378 | 15061 | 39046 0 | 5 | 752 75.47/75.59 c 73.1s | 10 | 137257 | 15661 | 39046 0 | 5 | 752 77.77/77.84 c 75.3s | 10 | 141296 | 16161 | 39046 0 | 5 | 752 79.87/79.96 c 77.4s | 10 | 145584 | 16561 | 39046 0 | 5 | 752 82.07/82.12 c 79.6s | 10 | 150658 | 16961 | 39046 0 | 5 | 752 83.07/83.18 c 80.7s | 11 | 153020 | 17144 | 42951 0 | 5 | 752 85.27/85.35 c 82.8s | 11 | 158368 | 17544 | 42951 0 | 5 | 752 87.47/87.51 c 85.0s | 11 | 162395 | 18044 | 42951 0 | 5 | 752 89.57/89.62 c 87.1s | 11 | 167123 | 18744 | 42951 0 | 5 | 752 91.57/91.68 c 89.2s | 11 | 173326 | 19144 | 42951 0 | 5 | 752 94.07/94.19 c 91.7s | 11 | 177149 | 19644 | 42951 0 | 5 | 752 96.27/96.33 c 93.8s | 11 | 180405 | 20144 | 42951 0 | 5 | 752 98.57/98.65 c 96.1s | 11 | 184004 | 20844 | 42951 0 | 5 | 752 100.97/101.09 c 98.6s | 11 | 191066 | 21344 | 42951 0 | 5 | 752 103.38/103.42 c 100s | 11 | 196276 | 21844 | 42951 0 | 5 | 752 105.37/105.44 c 102s | 11 | 199363 | 22444 | 42951 0 | 5 | 752 107.47/107.59 c 105s | 11 | 204057 | 22944 | 42951 0 | 5 | 752 109.57/109.63 c 107s | 11 | 207977 | 23344 | 42951 0 | 5 | 752 111.67/111.79 c 109s | 11 | 212152 | 23944 | 42951 0 | 5 | 752 113.77/113.81 c 111s | 11 | 215958 | 24444 | 42951 0 | 5 | 752 115.97/116.00 c 113s | 11 | 219405 | 24844 | 42951 0 | 5 | 752 118.27/118.36 c 115s | 11 | 227199 | 25744 | 47247 0 | 5 | 752 118.67/118.71 c 116s | 12 | 227922 | 25819 | 47247 0 | 5 | 752 120.77/120.85 c 118s | 12 | 230976 | 26219 | 47247 0 | 5 | 752 122.97/123.10 c 120s | 12 | 235249 | 26719 | 47247 0 | 5 | 752 125.07/125.12 c 122s | 12 | 238640 | 27319 | 47247 0 | 5 | 752 127.06/127.19 c 124s | 12 | 244778 | 27819 | 47247 0 | 5 | 752 129.36/129.43 c 126s | 12 | 250068 | 28219 | 47247 0 | 5 | 752 131.36/131.46 c 128s | 12 | 256324 | 28619 | 47247 0 | 5 | 752 133.36/133.50 c 130s | 12 | 260197 | 29019 | 47247 0 | 5 | 752 135.76/135.80 c 133s | 12 | 265014 | 29619 | 47247 0 | 5 | 752 137.86/137.99 c 135s | 12 | 269466 | 30119 | 47247 0 | 5 | 752 140.16/140.22 c 137s | 12 | 274005 | 30519 | 47247 0 | 5 | 752 142.66/142.78 c 140s | 12 | 278284 | 30919 | 47247 0 | 5 | 752 144.77/144.82 c 142s | 12 | 281740 | 31319 | 47247 0 | 5 | 752 146.97/147.06 c 144s | 12 | 284708 | 31919 | 47247 0 | 5 | 752 149.37/149.41 c 146s | 12 | 288796 | 32519 | 47247 0 | 5 | 752 151.37/151.42 c 148s | 12 | 291936 | 32919 | 47247 0 | 5 | 752 153.37/153.43 c 150s | 12 | 296761 | 33319 | 47247 0 | 5 | 752 155.47/155.56 c 153s | 12 | 300229 | 33919 | 47247 0 | 5 | 752 157.87/157.92 c 155s | 12 | 304529 | 34419 | 47247 0 | 5 | 752 160.07/160.10 c 157s | 12 | 312557 | 34919 | 47247 0 | 5 | 752 162.07/162.16 c 159s | 12 | 316265 | 35319 | 47247 0 | 5 | 752 164.47/164.50 c 161s | 12 | 320370 | 36019 | 47247 0 | 5 | 752 166.77/166.84 c 164s | 12 | 325265 | 36519 | 47247 0 | 5 | 752 168.77/168.88 c 166s | 12 | 328363 | 36919 | 47247 0 | 5 | 752 170.87/170.97 c 168s | 12 | 331632 | 37519 | 47247 0 | 5 | 752 172.97/173.09 c 170s | 12 | 335918 | 38019 | 47247 0 | 5 | 752 175.37/175.46 c 172s | 12 | 340614 | 38519 | 47247 0 | 5 | 752 176.87/176.95 c 174s | 13 | 343671 | 38832 | 51972 0 | 5 | 752 179.17/179.22 c 176s | 13 | 348753 | 39232 | 51972 0 | 5 | 752 181.17/181.28 c 178s | 13 | 353014 | 39732 | 51972 0 | 5 | 752 183.27/183.39 c 180s | 13 | 356523 | 40332 | 51972 0 | 5 | 752 185.66/185.74 c 183s | 13 | 362035 | 40832 | 51972 0 | 5 | 752 187.86/187.99 c 185s | 13 | 365955 | 41332 | 51972 0 | 5 | 752 190.06/190.12 c 187s | 13 | 368904 | 41932 | 51972 0 | 5 | 752 192.47/192.51 c 189s | 13 | 374116 | 42432 | 51972 0 | 5 | 752 194.67/194.75 c 192s | 13 | 378579 | 43132 | 51972 0 | 5 | 752 196.87/196.96 c 194s | 13 | 383953 | 43632 | 51972 0 | 5 | 752 199.17/199.27 c 196s | 13 | 387739 | 44132 | 51972 0 | 5 | 752 201.27/201.30 c 198s | 13 | 391740 | 44832 | 51972 0 | 5 | 752 203.36/203.44 c 200s | 13 | 397459 | 45332 | 51972 0 | 5 | 752 205.46/205.52 c 203s | 13 | 401776 | 46032 | 51972 0 | 5 | 752 207.56/207.60 c 205s | 13 | 405419 | 46632 | 51972 0 | 5 | 752 209.56/209.67 c 207s | 13 | 409299 | 47132 | 51972 0 | 5 | 752 211.86/211.92 c 209s | 13 | 413385 | 47732 | 51972 0 | 5 | 752 214.06/214.17 c 211s | 13 | 417098 | 48232 | 51972 0 | 5 | 752 216.26/216.31 c 213s | 13 | 421454 | 48932 | 51972 0 | 5 | 752 218.36/218.48 c 215s | 13 | 424278 | 49532 | 51972 0 | 5 | 752 220.66/220.72 c 218s | 13 | 429222 | 50132 | 51972 0 | 5 | 752 222.86/222.95 c 220s | 13 | 434844 | 50932 | 51972 0 | 5 | 752 224.96/225.03 c 222s | 13 | 438430 | 51632 | 51972 0 | 5 | 752 227.06/227.10 c 224s | 13 | 441266 | 52232 | 51972 0 | 5 | 752 229.26/229.36 c 226s | 13 | 444290 | 52932 | 51972 0 | 5 | 752 231.36/231.47 c 228s | 13 | 448318 | 53532 | 51972 0 | 5 | 752 233.66/233.76 c 231s | 13 | 451320 | 54332 | 51972 0 | 5 | 752 235.96/236.03 c 233s | 13 | 454272 | 55032 | 51972 0 | 5 | 752 238.06/238.15 c 235s | 13 | 456497 | 55732 | 51972 0 | 5 | 752 240.06/240.18 c 237s | 13 | 458709 | 56232 | 51972 1 | 5 | 752 242.16/242.23 c 239s | 13 | 460761 | 57032 | 51972 1 | 5 | 752 245.36/245.42 c 242s | 13 | 463391 | 58032 | 57170 1 | 5 | 752 246.75/246.82 c 244s | 14 | 466473 | 58352 | 57170 1 | 5 | 752 248.85/248.94 c 246s | 14 | 471743 | 58652 | 57170 1 | 5 | 752 250.95/251.09 c 248s | 14 | 475581 | 59052 | 57170 1 | 5 | 752 253.06/253.12 c 250s | 14 | 480212 | 59552 | 57170 1 | 5 | 752 258.04/258.15 c 255s | 14 | 481451 | 59752 | 57170 1 | 5 | 752 260.14/260.20 c 257s | 14 | 486167 | 60252 | 57170 1 | 5 | 752 262.24/262.39 c 259s | 14 | 490993 | 60652 | 57170 1 | 5 | 752 264.54/264.66 c 262s | 14 | 495591 | 61152 | 57170 1 | 5 | 752 266.94/267.04 c 264s | 14 | 499792 | 61852 | 57170 1 | 5 | 752 269.34/269.44 c 266s | 14 | 505470 | 62352 | 57170 1 | 5 | 752 271.65/271.76 c 269s | 14 | 509830 | 62752 | 57170 1 | 5 | 752 273.85/273.96 c 271s | 14 | 513784 | 63352 | 57170 1 | 5 | 752 275.94/276.09 c 273s | 14 | 518367 | 63852 | 57170 1 | 5 | 752 278.25/278.31 c 275s | 14 | 523591 | 64252 | 57170 1 | 5 | 752 280.45/280.59 c 278s | 14 | 527181 | 64652 | 57170 1 | 5 | 752 282.75/282.82 c 280s | 14 | 530842 | 65352 | 57170 1 | 5 | 752 284.95/285.08 c 282s | 14 | 535150 | 65852 | 57170 1 | 5 | 752 287.15/287.23 c 284s | 14 | 540944 | 66252 | 57170 1 | 5 | 752 289.25/289.37 c 286s | 14 | 544196 | 66852 | 57170 1 | 5 | 752 291.45/291.51 c 288s | 14 | 548467 | 67352 | 57170 1 | 5 | 752 293.44/293.53 c 291s | 14 | 552761 | 67752 | 57170 1 | 5 | 752 295.64/295.71 c 293s | 14 | 558582 | 68252 | 57170 1 | 5 | 752 297.74/297.80 c 295s | 14 | 563442 | 68952 | 57170 1 | 5 | 752 300.14/300.26 c 297s | 14 | 569144 | 69452 | 57170 1 | 5 | 752 302.34/302.45 c 299s | 14 | 573257 | 69852 | 57170 1 | 5 | 752 304.44/304.54 c 302s | 14 | 576148 | 70352 | 57170 1 | 5 | 752 306.64/306.77 c 304s | 14 | 579233 | 70852 | 57170 1 | 5 | 752 308.74/308.85 c 306s | 14 | 582139 | 71452 | 57170 1 | 5 | 752 310.94/311.08 c 308s | 14 | 585522 | 71952 | 57170 1 | 5 | 752 313.14/313.29 c 310s | 14 | 589298 | 72352 | 57170 1 | 5 | 752 315.34/315.46 c 312s | 14 | 592343 | 72952 | 57170 1 | 5 | 752 317.44/317.56 c 315s | 14 | 597708 | 73452 | 57170 1 | 5 | 752 319.94/320.06 c 317s | 14 | 603007 | 73952 | 57170 1 | 5 | 752 322.04/322.16 c 319s | 14 | 607449 | 74652 | 57170 1 | 5 | 752 324.33/324.42 c 321s | 14 | 611527 | 75152 | 57170 1 | 5 | 752 326.33/326.42 c 323s | 14 | 614663 | 75752 | 57170 1 | 5 | 752 328.63/328.71 c 326s | 14 | 618371 | 76252 | 57170 1 | 5 | 752 330.63/330.76 c 328s | 14 | 621492 | 76652 | 57170 1 | 5 | 752 332.93/333.04 c 330s | 14 | 625682 | 77352 | 57170 1 | 5 | 752 334.93/335.07 c 332s | 14 | 629322 | 77952 | 57170 1 | 5 | 752 337.03/337.19 c 334s | 14 | 634044 | 78452 | 57170 1 | 5 | 752 339.23/339.40 c 336s | 14 | 637834 | 79152 | 57170 1 | 5 | 752 341.43/341.58 c 339s | 14 | 641495 | 79852 | 57170 1 | 5 | 752 343.73/343.82 c 341s | 14 | 643634 | 80452 | 57170 1 | 5 | 752 345.93/346.06 c 343s | 14 | 647075 | 81152 | 57170 1 | 5 | 752 348.23/348.33 c 345s | 14 | 650133 | 81852 | 57170 1 | 5 | 752 350.53/350.62 c 348s | 14 | 652949 | 82552 | 57170 1 | 5 | 752 352.63/352.79 c 350s | 14 | 655559 | 83252 | 57170 1 | 5 | 752 354.83/354.93 c 352s | 14 | 658945 | 84152 | 57170 1 | 5 | 752 357.03/357.17 c 354s | 14 | 660431 | 84852 | 57170 1 | 5 | 752 359.23/359.33 c 356s | 14 | 663545 | 85352 | 57170 1 | 5 | 752 361.53/361.66 c 359s | 14 | 666387 | 86052 | 57170 1 | 5 | 752 363.73/363.89 c 361s | 14 | 669689 | 86552 | 57170 1 | 5 | 752 366.13/366.20 c 363s | 14 | 672345 | 87152 | 62888 1 | 5 | 752 368.33/368.43 c 365s | 14 | 676172 | 87552 | 62888 1 | 5 | 752 368.73/368.80 c 366s | 15 | 676640 | 87632 | 62888 1 | 5 | 752 370.93/371.08 c 368s | 15 | 680934 | 87932 | 62888 1 | 5 | 752 373.33/373.45 c 370s | 15 | 686543 | 88332 | 62888 1 | 5 | 752 375.43/375.55 c 373s | 15 | 689405 | 88732 | 62888 1 | 5 | 752 377.53/377.62 c 375s | 15 | 692703 | 89332 | 62888 1 | 5 | 752 380.03/380.10 c 377s | 15 | 698449 | 89832 | 62888 1 | 5 | 752 382.43/382.52 c 380s | 15 | 702145 | 90232 | 62888 1 | 5 | 752 384.53/384.66 c 382s | 15 | 705033 | 90632 | 62888 1 | 5 | 752 386.73/386.83 c 384s | 15 | 707632 | 91132 | 62888 1 | 5 | 752 389.22/389.30 c 386s | 15 | 711693 | 91632 | 62888 1 | 5 | 752 391.32/391.47 c 388s | 15 | 714833 | 91932 | 62888 2 | 5 | 752 393.42/393.51 c 390s | 15 | 717438 | 92232 | 62888 2 | 5 | 752 395.42/395.52 c 393s | 15 | 720158 | 92732 | 62888 2 | 5 | 752 397.92/398.04 c 395s | 15 | 724468 | 93332 | 62888 2 | 5 | 752 400.02/400.15 c 397s | 15 | 728479 | 93732 | 62888 2 | 5 | 752 402.02/402.16 c 399s | 15 | 734061 | 94132 | 62888 2 | 5 | 752 404.32/404.47 c 401s | 15 | 739843 | 94632 | 62888 2 | 5 | 752 406.62/406.71 c 404s | 15 | 744858 | 95332 | 62888 2 | 5 | 752 409.13/409.29 c 406s | 15 | 750358 | 95832 | 62888 2 | 5 | 752 411.33/411.46 c 408s | 15 | 755866 | 96332 | 62888 2 | 5 | 752 413.53/413.69 c 411s | 15 | 759570 | 96932 | 62888 2 | 5 | 752 415.83/415.96 c 413s | 15 | 763265 | 97332 | 62888 2 | 5 | 752 418.12/418.21 c 415s | 15 | 769037 | 98032 | 62888 2 | 5 | 752 420.52/420.62 c 418s | 15 | 773241 | 98532 | 62888 2 | 5 | 752 422.72/422.86 c 420s | 15 | 777125 | 98932 | 62888 2 | 5 | 752 424.92/425.07 c 422s | 15 | 781079 | 99432 | 62888 2 | 5 | 752 426.92/427.09 c 424s | 15 | 784963 | 100032 | 62888 2 | 5 | 752 429.42/429.51 c 426s | 15 | 790165 | 100532 | 62888 2 | 5 | 752 431.72/431.84 c 429s | 15 | 795109 | 101232 | 62888 2 | 5 | 752 434.12/434.27 c 431s | 15 | 799421 | 101732 | 62888 2 | 5 | 752 436.42/436.53 c 434s | 15 | 803231 | 102432 | 62888 2 | 5 | 752 438.72/438.80 c 436s | 15 | 807147 | 102932 | 62888 2 | 5 | 752 440.72/440.84 c 438s | 15 | 810376 | 103532 | 62888 2 | 5 | 752 442.82/442.99 c 440s | 15 | 815901 | 104032 | 62888 2 | 5 | 752 444.92/445.09 c 442s | 15 | 819842 | 104732 | 62888 2 | 5 | 752 447.32/447.43 c 444s | 15 | 822904 | 105332 | 62888 2 | 5 | 752 449.62/449.74 c 447s | 15 | 826459 | 105832 | 62888 2 | 5 | 752 451.72/451.87 c 449s | 15 | 829094 | 106432 | 62888 2 | 5 | 752 453.82/453.93 c 451s | 15 | 833228 | 106932 | 62888 2 | 5 | 752 455.91/456.09 c 453s | 15 | 837501 | 107632 | 62888 2 | 5 | 752 458.11/458.22 c 455s | 15 | 841286 | 108232 | 62888 2 | 5 | 752 460.21/460.39 c 457s | 15 | 845322 | 108832 | 62888 2 | 5 | 752 462.31/462.46 c 459s | 15 | 848696 | 109532 | 62888 2 | 5 | 752 464.61/464.75 c 462s | 15 | 852331 | 110132 | 62888 2 | 5 | 752 466.71/466.84 c 464s | 15 | 855146 | 110832 | 62888 2 | 5 | 752 468.81/468.96 c 466s | 15 | 858461 | 111432 | 62888 2 | 5 | 752 470.91/471.09 c 468s | 15 | 861175 | 112132 | 62888 2 | 5 | 752 473.11/473.22 c 470s | 15 | 863924 | 112832 | 62888 2 | 5 | 752 475.12/475.25 c 472s | 15 | 866417 | 113532 | 62888 2 | 5 | 752 477.21/477.33 c 474s | 15 | 868785 | 114332 | 62888 2 | 5 | 752 479.41/479.57 c 477s | 15 | 871750 | 114932 | 62888 2 | 5 | 752 481.51/481.63 c 479s | 15 | 876514 | 115332 | 62888 2 | 5 | 752 483.51/483.66 c 481s | 15 | 877980 | 115732 | 62888 2 | 5 | 752 486.12/486.21 c 483s | 15 | 882821 | 116132 | 62888 2 | 5 | 752 488.32/488.49 c 485s | 15 | 886833 | 116532 | 62888 2 | 5 | 752 490.72/490.81 c 488s | 15 | 891515 | 117232 | 62888 2 | 5 | 752 493.12/493.25 c 490s | 15 | 897600 | 117732 | 62888 2 | 5 | 752 495.32/495.43 c 492s | 15 | 904167 | 118132 | 62888 2 | 5 | 752 497.72/497.84 c 495s | 15 | 908792 | 118532 | 62888 2 | 5 | 752 499.92/500.07 c 497s | 15 | 911936 | 118932 | 62888 2 | 5 | 752 502.02/502.14 c 499s | 15 | 915981 | 119432 | 62888 2 | 5 | 752 504.52/504.68 c 502s | 15 | 921426 | 120032 | 62888 2 | 5 | 752 506.62/506.75 c 504s | 15 | 926211 | 120432 | 62888 2 | 5 | 752 508.61/508.76 c 506s | 15 | 929303 | 120832 | 62888 2 | 5 | 752 510.91/511.05 c 508s | 15 | 934735 | 121532 | 62888 2 | 5 | 752 512.91/513.09 c 510s | 15 | 937729 | 122032 | 62888 2 | 5 | 752 515.11/515.21 c 512s | 15 | 942136 | 122532 | 62888 2 | 5 | 752 517.31/517.49 c 514s | 15 | 946694 | 122932 | 62888 2 | 5 | 752 519.51/519.60 c 517s | 15 | 950705 | 123432 | 62888 2 | 5 | 752 521.71/521.81 c 519s | 15 | 954197 | 123932 | 62888 2 | 5 | 752 523.81/523.97 c 521s | 15 | 957324 | 124332 | 62888 2 | 5 | 752 525.91/526.09 c 523s | 15 | 959008 | 124832 | 62888 2 | 5 | 752 528.41/528.57 c 526s | 15 | 963239 | 125232 | 62888 3 | 5 | 752 530.81/530.91 c 528s | 15 | 966773 | 125632 | 62888 3 | 5 | 752 533.01/533.10 c 530s | 15 | 972075 | 126132 | 62888 3 | 5 | 752 535.21/535.32 c 532s | 15 | 977782 | 126932 | 62888 3 | 5 | 752 537.41/537.56 c 535s | 15 | 982187 | 127632 | 62888 3 | 5 | 752 539.81/539.91 c 537s | 15 | 986144 | 128132 | 62888 3 | 5 | 752 541.91/542.00 c 539s | 15 | 992269 | 128932 | 62888 3 | 5 | 752 544.01/544.17 c 541s | 15 | 997155 | 129532 | 62888 3 | 5 | 752 546.11/546.28 c 543s | 15 | 1002810 | 130232 | 62888 3 | 5 | 752 548.21/548.37 c 545s | 15 | 1008538 | 131032 | 69177 3 | 5 | 752 549.41/549.56 c 547s | 16 | 1011725 | 131552 | 69177 3 | 5 | 752 551.61/551.76 c 549s | 16 | 1017447 | 132352 | 69177 3 | 5 | 752 553.71/553.80 c 551s | 16 | 1022700 | 133052 | 69177 3 | 5 | 752 555.71/555.82 c 553s | 16 | 1026954 | 133752 | 69177 3 | 5 | 752 557.71/557.86 c 555s | 16 | 1031112 | 134452 | 69177 3 | 5 | 752 559.81/559.93 c 557s | 16 | 1034632 | 135252 | 69177 3 | 5 | 752 561.81/561.99 c 559s | 16 | 1039100 | 136052 | 69177 3 | 5 | 752 563.91/564.06 c 561s | 16 | 1042704 | 136852 | 69177 3 | 5 | 752 566.11/566.28 c 563s | 16 | 1045718 | 137752 | 69177 3 | 5 | 752 568.31/568.44 c 565s | 16 | 1049034 | 138752 | 69177 3 | 5 | 752 601.19/601.33 c 598s | 16 | 1051019 | 139352 | 69177 3 | 5 | 752 603.29/603.47 c 600s | 16 | 1054867 | 139752 | 69177 3 | 5 | 752 605.39/605.59 c 603s | 16 | 1058818 | 140252 | 69177 3 | 5 | 752 607.59/607.75 c 605s | 16 | 1062045 | 140852 | 69177 3 | 5 | 752 609.79/609.99 c 607s | 16 | 1065934 | 141252 | 69177 3 | 5 | 752 612.09/612.20 c 609s | 16 | 1072370 | 141652 | 69177 3 | 5 | 752 614.39/614.54 c 612s | 16 | 1076225 | 142052 | 69177 3 | 5 | 752 616.59/616.75 c 614s | 16 | 1078918 | 142652 | 69177 3 | 5 | 752 618.89/619.03 c 616s | 16 | 1082925 | 143152 | 69177 3 | 5 | 752 621.09/621.20 c 618s | 16 | 1086562 | 143552 | 69177 3 | 5 | 752 623.49/623.61 c 621s | 16 | 1090872 | 144052 | 69177 3 | 5 | 752 625.69/625.83 c 623s | 16 | 1093623 | 144652 | 69177 3 | 5 | 752 627.79/627.95 c 625s | 16 | 1096986 | 145052 | 69177 3 | 5 | 752 629.99/630.19 c 627s | 16 | 1101009 | 145452 | 69177 3 | 5 | 752 632.49/632.62 c 630s | 16 | 1104321 | 145852 | 69177 3 | 5 | 752 634.69/634.82 c 632s | 16 | 1107272 | 146352 | 69177 3 | 5 | 752 636.79/636.96 c 634s | 16 | 1109715 | 146852 | 69177 3 | 5 | 752 639.09/639.27 c 636s | 16 | 1114029 | 147352 | 69177 3 | 5 | 752 641.29/641.41 c 638s | 16 | 1118153 | 147752 | 69177 3 | 5 | 752 643.29/643.44 c 640s | 16 | 1121627 | 148252 | 69177 3 | 5 | 752 645.39/645.51 c 642s | 16 | 1125500 | 148852 | 69177 3 | 5 | 752 647.49/647.63 c 645s | 16 | 1129579 | 149252 | 69177 3 | 5 | 752 649.69/649.84 c 647s | 16 | 1133133 | 149652 | 69177 3 | 5 | 752 652.08/652.22 c 649s | 16 | 1135361 | 150252 | 69177 3 | 5 | 752 654.18/654.37 c 651s | 16 | 1137755 | 150652 | 69177 3 | 5 | 752 656.38/656.53 c 654s | 16 | 1142162 | 151052 | 69177 3 | 5 | 752 658.68/658.86 c 656s | 16 | 1145989 | 151552 | 69177 3 | 5 | 752 660.88/661.05 c 658s | 16 | 1150075 | 152052 | 69177 3 | 5 | 752 663.08/663.26 c 660s | 16 | 1153466 | 152452 | 69177 3 | 5 | 752 665.39/665.59 c 663s | 16 | 1157118 | 152952 | 69177 3 | 5 | 752 667.69/667.86 c 665s | 16 | 1160618 | 153552 | 69177 3 | 5 | 752 669.89/670.08 c 667s | 16 | 1163693 | 154052 | 69177 3 | 5 | 752 671.99/672.14 c 669s | 16 | 1166681 | 154652 | 69177 3 | 5 | 752 674.48/674.62 c 672s | 16 | 1170454 | 155152 | 69177 3 | 5 | 752 676.78/676.99 c 674s | 16 | 1175416 | 155652 | 69177 3 | 5 | 752 678.98/679.11 c 676s | 16 | 1177807 | 156152 | 69177 3 | 5 | 752 681.28/681.46 c 678s | 16 | 1180844 | 156652 | 69177 3 | 5 | 752 683.68/683.83 c 681s | 16 | 1183472 | 157252 | 69177 3 | 5 | 752 685.88/686.08 c 683s | 16 | 1187691 | 157752 | 69177 3 | 5 | 752 688.08/688.27 c 685s | 16 | 1190249 | 158252 | 69177 3 | 5 | 752 690.08/690.28 c 687s | 16 | 1192252 | 158752 | 69177 3 | 5 | 752 692.48/692.61 c 690s | 16 | 1195367 | 159252 | 69177 3 | 5 | 752 694.48/694.63 c 692s | 16 | 1197296 | 159752 | 69177 3 | 5 | 752 696.88/697.06 c 694s | 16 | 1200686 | 160252 | 69177 3 | 5 | 752 699.18/699.34 c 696s | 16 | 1203764 | 160852 | 69177 3 | 5 | 752 701.29/701.43 c 698s | 16 | 1206744 | 161352 | 69177 3 | 5 | 752 703.39/703.54 c 701s | 16 | 1208973 | 161852 | 69177 3 | 5 | 752 705.69/705.88 c 703s | 16 | 1211805 | 162452 | 69177 3 | 5 | 752 708.09/708.21 c 705s | 16 | 1214356 | 163052 | 69177 3 | 5 | 752 710.19/710.35 c 707s | 16 | 1216216 | 163552 | 69177 3 | 5 | 752 712.38/712.58 c 710s | 16 | 1217871 | 164052 | 69177 3 | 5 | 752 714.48/714.64 c 712s | 16 | 1220221 | 164552 | 69177 3 | 5 | 752 716.68/716.82 c 714s | 16 | 1222171 | 165052 | 69177 3 | 5 | 752 718.88/719.01 c 716s | 16 | 1224065 | 165652 | 69177 3 | 5 | 752 721.68/721.86 c 719s | 16 | 1225754 | 166252 | 69177 4 | 5 | 752 723.79/723.94 c 721s | 16 | 1227059 | 166852 | 69177 4 | 5 | 752 725.99/726.19 c 723s | 16 | 1227941 | 167252 | 69177 4 | 5 | 752 732.18/732.35 c 729s | 16 | 1228962 | 167352 | 69177 4 | 5 | 752 734.48/734.62 c 732s | 16 | 1231547 | 167752 | 69177 4 | 5 | 752 736.68/736.82 c 734s | 16 | 1233792 | 168352 | 69177 4 | 5 | 752 738.97/739.11 c 736s | 16 | 1236686 | 168852 | 69177 4 | 5 | 752 740.97/741.17 c 738s | 16 | 1240388 | 169252 | 69177 4 | 5 | 752 743.48/743.65 c 741s | 16 | 1243927 | 169652 | 69177 4 | 5 | 752 745.87/746.02 c 743s | 16 | 1248025 | 170052 | 69177 4 | 5 | 752 748.27/748.47 c 745s | 16 | 1251960 | 170552 | 69177 4 | 5 | 752 750.57/750.70 c 748s | 16 | 1254717 | 171152 | 69177 4 | 5 | 752 752.77/752.91 c 750s | 16 | 1259348 | 171552 | 69177 4 | 5 | 752 755.27/755.40 c 752s | 16 | 1264187 | 171952 | 69177 4 | 5 | 752 757.57/757.79 c 755s | 16 | 1268090 | 172452 | 69177 4 | 5 | 752 759.77/759.99 c 757s | 16 | 1272484 | 173152 | 69177 4 | 5 | 752 761.97/762.14 c 759s | 16 | 1276220 | 173552 | 69177 4 | 5 | 752 764.38/764.55 c 762s | 16 | 1281743 | 173952 | 69177 4 | 5 | 752 766.87/767.07 c 764s | 16 | 1286579 | 174352 | 69177 4 | 5 | 752 768.88/769.09 c 766s | 16 | 1288802 | 174852 | 69177 4 | 5 | 752 770.97/771.19 c 768s | 16 | 1291831 | 175352 | 69177 4 | 5 | 752 773.57/773.74 c 771s | 16 | 1295811 | 175852 | 69177 4 | 5 | 752 775.77/775.98 c 773s | 16 | 1299691 | 176252 | 69177 4 | 5 | 752 778.27/778.40 c 775s | 16 | 1303077 | 176652 | 69177 4 | 5 | 752 780.57/780.76 c 778s | 16 | 1309145 | 177052 | 69177 4 | 5 | 752 782.77/782.95 c 780s | 16 | 1313458 | 177452 | 69177 4 | 5 | 752 784.76/784.97 c 782s | 16 | 1317122 | 178052 | 69177 4 | 5 | 752 787.36/787.54 c 785s | 16 | 1322889 | 178652 | 69177 4 | 5 | 752 789.77/789.95 c 787s | 16 | 1327247 | 179052 | 69177 4 | 5 | 752 791.76/791.96 c 789s | 16 | 1329820 | 179452 | 69177 4 | 5 | 752 794.17/794.31 c 791s | 16 | 1334715 | 180152 | 69177 4 | 5 | 752 796.27/796.44 c 793s | 16 | 1337060 | 180552 | 69177 4 | 5 | 752 798.86/799.03 c 796s | 16 | 1341595 | 180952 | 69177 4 | 5 | 752 801.16/801.39 c 798s | 16 | 1344620 | 181552 | 69177 4 | 5 | 752 803.66/803.87 c 801s | 16 | 1348363 | 182052 | 69177 4 | 5 | 752 805.86/806.08 c 803s | 16 | 1352151 | 182452 | 69177 4 | 5 | 752 808.26/808.41 c 805s | 16 | 1356029 | 182852 | 69177 4 | 5 | 752 810.36/810.54 c 808s | 16 | 1360660 | 183352 | 69177 4 | 5 | 752 812.36/812.57 c 810s | 16 | 1363985 | 183952 | 69177 4 | 5 | 752 814.66/814.89 c 812s | 16 | 1366926 | 184352 | 69177 4 | 5 | 752 816.96/817.15 c 814s | 16 | 1371316 | 184752 | 69177 4 | 5 | 752 819.16/819.39 c 816s | 16 | 1374599 | 185152 | 69177 4 | 5 | 752 821.25/821.45 c 818s | 16 | 1379858 | 185752 | 69177 4 | 5 | 752 823.45/823.64 c 821s | 16 | 1383763 | 186252 | 69177 4 | 5 | 752 825.55/825.75 c 823s | 16 | 1389283 | 186652 | 69177 4 | 5 | 752 827.56/827.78 c 825s | 16 | 1392963 | 187052 | 69177 4 | 5 | 752 829.76/829.92 c 827s | 16 | 1395982 | 187652 | 69177 4 | 5 | 752 831.96/832.13 c 829s | 16 | 1400193 | 188152 | 69177 4 | 5 | 752 834.06/834.29 c 831s | 16 | 1402563 | 188752 | 69177 4 | 5 | 752 836.56/836.79 c 834s | 16 | 1405336 | 189252 | 69177 4 | 5 | 752 838.76/838.92 c 836s | 16 | 1408724 | 189652 | 69177 4 | 5 | 752 841.06/841.29 c 838s | 16 | 1412002 | 190352 | 69177 4 | 5 | 752 843.46/843.66 c 841s | 16 | 1417089 | 190852 | 69177 4 | 5 | 752 845.66/845.85 c 843s | 16 | 1420372 | 191252 | 69177 4 | 5 | 752 847.76/847.94 c 845s | 16 | 1423595 | 191752 | 69177 4 | 5 | 752 850.06/850.30 c 847s | 16 | 1426313 | 192252 | 69177 4 | 5 | 752 852.36/852.56 c 850s | 16 | 1429308 | 192652 | 69177 4 | 5 | 752 854.96/855.10 c 852s | 16 | 1432436 | 193252 | 69177 4 | 5 | 752 856.95/857.17 c 854s | 16 | 1435365 | 193652 | 69177 4 | 5 | 752 859.06/859.28 c 856s | 16 | 1437672 | 194152 | 69177 4 | 5 | 752 861.35/861.58 c 859s | 16 | 1441552 | 194652 | 69177 4 | 5 | 752 863.75/863.92 c 861s | 16 | 1444252 | 195252 | 69177 4 | 5 | 752 865.95/866.17 c 863s | 16 | 1447491 | 195852 | 69177 4 | 5 | 752 868.45/868.63 c 866s | 16 | 1450629 | 196352 | 76095 4 | 5 | 752 870.55/870.75 c 868s | 16 | 1453688 | 196852 | 76095 4 | 5 | 752 872.75/872.93 c 870s | 17 | 1456883 | 197432 | 76095 4 | 5 | 752 874.95/875.15 c 872s | 17 | 1459561 | 197832 | 76095 4 | 5 | 752 877.05/877.25 c 874s | 17 | 1462926 | 198432 | 76095 4 | 5 | 752 879.15/879.34 c 876s | 17 | 1466245 | 199032 | 76095 4 | 5 | 752 881.55/881.79 c 879s | 17 | 1469866 | 199732 | 76095 4 | 5 | 752 883.85/884.01 c 881s | 17 | 1472465 | 200332 | 76095 4 | 5 | 752 885.95/886.12 c 883s | 17 | 1475319 | 201032 | 76095 4 | 5 | 752 888.15/888.32 c 885s | 17 | 1478092 | 201632 | 76095 4 | 5 | 752 890.35/890.53 c 888s | 17 | 1480404 | 202332 | 76095 4 | 5 | 752 892.55/892.75 c 890s | 17 | 1482858 | 203132 | 76095 4 | 5 | 752 894.85/895.07 c 892s | 17 | 1486046 | 203732 | 76095 4 | 5 | 752 897.45/897.69 c 895s | 17 | 1490603 | 204132 | 76095 4 | 5 | 752 899.54/899.79 c 897s | 17 | 1493989 | 204532 | 76095 4 | 5 | 752 901.64/901.85 c 899s | 17 | 1496603 | 204932 | 76095 4 | 5 | 752 904.24/904.47 c 901s | 17 | 1501430 | 205532 | 76095 4 | 5 | 752 906.64/906.81 c 904s | 17 | 1508288 | 205932 | 76095 4 | 5 | 752 909.55/909.76 c 907s | 17 | 1511446 | 206132 | 76095 5 | 5 | 752 911.85/912.08 c 909s | 17 | 1513213 | 206232 | 76095 5 | 5 | 752 914.34/914.50 c 911s | 17 | 1517676 | 206632 | 76095 5 | 5 | 752 916.54/916.74 c 914s | 17 | 1521184 | 207032 | 76095 5 | 5 | 752 918.94/919.10 c 916s | 17 | 1526243 | 207532 | 76095 5 | 5 | 752 921.14/921.30 c 918s | 17 | 1528176 | 208032 | 76095 5 | 5 | 752 923.24/923.44 c 920s | 17 | 1532083 | 208432 | 76095 5 | 5 | 752 925.64/925.89 c 923s | 17 | 1537651 | 208932 | 76095 5 | 5 | 752 927.94/928.13 c 925s | 17 | 1540363 | 209532 | 76095 5 | 5 | 752 930.14/930.31 c 927s | 17 | 1544017 | 209932 | 76095 5 | 5 | 752 932.34/932.55 c 930s | 17 | 1548129 | 210332 | 76095 5 | 5 | 752 934.44/934.60 c 932s | 17 | 1551409 | 210732 | 76095 5 | 5 | 752 936.64/936.80 c 934s | 17 | 1555794 | 211432 | 76095 5 | 5 | 752 954.83/955.00 c 952s | 17 | 1561333 | 211932 | 76095 5 | 5 | 752 957.13/957.36 c 954s | 17 | 1564751 | 212332 | 76095 5 | 5 | 752 959.13/959.37 c 956s | 17 | 1568335 | 212732 | 76095 5 | 5 | 752 961.53/961.79 c 959s | 17 | 1571910 | 213432 | 76095 5 | 5 | 752 964.03/964.27 c 961s | 17 | 1576589 | 213932 | 76095 5 | 5 | 752 966.13/966.35 c 963s | 17 | 1579878 | 214332 | 76095 5 | 5 | 752 968.42/968.67 c 966s | 17 | 1583166 | 214932 | 76095 5 | 5 | 752 970.52/970.70 c 968s | 17 | 1587981 | 215332 | 76095 5 | 5 | 752 972.82/973.01 c 970s | 17 | 1592761 | 215732 | 76095 5 | 5 | 752 974.82/975.01 c 972s | 17 | 1595561 | 216132 | 76095 5 | 5 | 752 976.82/977.02 c 974s | 17 | 1598563 | 216632 | 76095 5 | 5 | 752 979.22/979.42 c 976s | 17 | 1603027 | 217232 | 76095 5 | 5 | 752 981.22/981.48 c 978s | 17 | 1606647 | 217632 | 76095 5 | 5 | 752 983.42/983.63 c 981s | 17 | 1608841 | 218232 | 76095 5 | 5 | 752 985.62/985.84 c 983s | 17 | 1611108 | 218732 | 76095 5 | 5 | 752 987.82/988.00 c 985s | 17 | 1614028 | 219132 | 76095 5 | 5 | 752 990.22/990.47 c 987s | 17 | 1618749 | 219632 | 76095 5 | 5 | 752 992.32/992.50 c 989s | 17 | 1621688 | 220232 | 76095 5 | 5 | 752 994.42/994.62 c 992s | 17 | 1624781 | 220632 | 76095 5 | 5 | 752 996.53/996.74 c 994s | 17 | 1627322 | 221232 | 76095 5 | 5 | 752 998.73/998.96 c 996s | 17 | 1630896 | 221732 | 76095 5 | 5 | 752 1000.83/1001.08 c 998s | 17 | 1634073 | 222332 | 76095 5 | 5 | 752 1003.02/1003.22 c 1000s | 17 | 1638673 | 222832 | 76095 5 | 5 | 752 1005.12/1005.37 c 1002s | 17 | 1642181 | 223332 | 76095 5 | 5 | 752 1007.22/1007.48 c 1004s | 17 | 1644238 | 223932 | 76095 5 | 5 | 752 1009.52/1009.78 c 1007s | 17 | 1648391 | 224432 | 76095 5 | 5 | 752 1011.82/1012.06 c 1009s | 17 | 1653592 | 225132 | 76095 5 | 5 | 752 1014.21/1014.41 c 1011s | 17 | 1658012 | 225832 | 76095 5 | 5 | 752 1016.41/1016.61 c 1014s | 17 | 1660853 | 226332 | 76095 5 | 5 | 752 1018.52/1018.73 c 1016s | 17 | 1664687 | 227032 | 76095 5 | 5 | 752 1020.72/1020.98 c 1018s | 17 | 1667658 | 227632 | 76095 5 | 5 | 752 1022.91/1023.12 c 1020s | 17 | 1670186 | 228232 | 76095 5 | 5 | 752 1025.21/1025.49 c 1022s | 17 | 1673501 | 228932 | 76095 5 | 5 | 752 1027.31/1027.59 c 1025s | 17 | 1676271 | 229532 | 76095 5 | 5 | 752 1029.31/1029.60 c 1027s | 17 | 1679187 | 230132 | 76095 5 | 5 | 752 1031.50/1031.77 c 1029s | 17 | 1681504 | 230832 | 76095 5 | 5 | 752 1033.60/1033.86 c 1031s | 17 | 1684565 | 231532 | 76095 5 | 5 | 752 1035.70/1035.99 c 1033s | 17 | 1687456 | 232332 | 76095 5 | 5 | 752 1037.80/1038.06 c 1035s | 17 | 1689300 | 233132 | 76095 5 | 5 | 752 1040.10/1040.34 c 1037s | 17 | 1693256 | 233732 | 76095 5 | 5 | 752 1042.40/1042.68 c 1040s | 17 | 1697181 | 234332 | 76095 5 | 5 | 752 1044.50/1044.72 c 1042s | 17 | 1701270 | 234732 | 76095 5 | 5 | 752 1047.11/1047.37 c 1044s | 17 | 1704605 | 235132 | 76095 5 | 5 | 752 1049.80/1050.07 c 1047s | 17 | 1707967 | 235532 | 76095 5 | 5 | 752 1052.20/1052.45 c 1049s | 17 | 1711261 | 235932 | 76095 5 | 5 | 752 1054.29/1054.59 c 1052s | 17 | 1713831 | 236432 | 76095 5 | 5 | 752 1056.69/1056.97 c 1054s | 17 | 1717916 | 236832 | 76095 5 | 5 | 752 1058.99/1059.24 c 1056s | 17 | 1723442 | 237232 | 76095 5 | 5 | 752 1061.09/1061.39 c 1058s | 17 | 1725704 | 237532 | 76095 5 | 5 | 752 1063.29/1063.57 c 1061s | 17 | 1730157 | 237932 | 76095 5 | 5 | 752 1065.39/1065.64 c 1063s | 17 | 1734432 | 238432 | 76095 5 | 5 | 752 1067.99/1068.21 c 1065s | 17 | 1739043 | 239032 | 76095 5 | 5 | 752 1070.39/1070.68 c 1068s | 17 | 1744380 | 239432 | 76095 5 | 5 | 752 1072.78/1073.00 c 1070s | 17 | 1749146 | 239832 | 76095 5 | 5 | 752 1074.78/1075.08 c 1072s | 17 | 1753211 | 240332 | 76095 5 | 5 | 752 1077.18/1077.49 c 1074s | 17 | 1756870 | 240832 | 76095 5 | 5 | 752 1079.38/1079.66 c 1077s | 17 | 1761275 | 241232 | 76095 5 | 5 | 752 1081.78/1082.02 c 1079s | 17 | 1766284 | 241632 | 76095 5 | 5 | 752 1084.28/1084.56 c 1082s | 17 | 1772097 | 242132 | 76095 5 | 5 | 752 1086.68/1086.93 c 1084s | 17 | 1774270 | 242632 | 76095 5 | 5 | 752 1088.98/1089.25 c 1086s | 17 | 1778424 | 243132 | 76095 5 | 5 | 752 1090.98/1091.27 c 1088s | 17 | 1783032 | 243532 | 76095 5 | 5 | 752 1093.37/1093.65 c 1091s | 17 | 1786900 | 244132 | 76095 5 | 5 | 752 1095.67/1095.93 c 1093s | 17 | 1790722 | 244532 | 76095 5 | 5 | 752 1098.27/1098.53 c 1096s | 17 | 1794685 | 244932 | 76095 5 | 5 | 752 1100.37/1100.62 c 1098s | 17 | 1799143 | 245332 | 76095 5 | 5 | 752 1102.56/1102.81 c 1100s | 17 | 1801280 | 245832 | 76095 5 | 5 | 752 1105.06/1105.39 c 1102s | 17 | 1803273 | 246132 | 76095 6 | 5 | 752 1107.36/1107.66 c 1105s | 17 | 1807348 | 246532 | 76095 6 | 5 | 752 1109.56/1109.83 c 1107s | 17 | 1811028 | 247032 | 76095 6 | 5 | 752 1111.87/1112.11 c 1109s | 17 | 1814280 | 247632 | 76095 6 | 5 | 752 1114.07/1114.32 c 1111s | 17 | 1817468 | 248032 | 76095 6 | 5 | 752 1116.16/1116.46 c 1113s | 17 | 1819727 | 248532 | 76095 6 | 5 | 752 1118.36/1118.68 c 1116s | 17 | 1823362 | 249032 | 76095 6 | 5 | 752 1120.56/1120.85 c 1118s | 17 | 1826018 | 249632 | 76095 6 | 5 | 752 1122.55/1122.86 c 1120s | 17 | 1829288 | 250032 | 76095 6 | 5 | 752 1124.65/1124.98 c 1122s | 17 | 1832288 | 250432 | 76095 6 | 5 | 752 1126.95/1127.21 c 1124s | 17 | 1835320 | 251032 | 76095 6 | 5 | 752 1128.95/1129.29 c 1126s | 17 | 1838040 | 251632 | 76095 6 | 5 | 752 1131.05/1131.32 c 1128s | 17 | 1842286 | 252132 | 76095 6 | 5 | 752 1133.15/1133.49 c 1130s | 17 | 1847469 | 252632 | 76095 6 | 5 | 752 1135.25/1135.57 c 1133s | 17 | 1849541 | 253132 | 76095 6 | 5 | 752 1137.55/1137.89 c 1135s | 17 | 1852742 | 253632 | 76095 6 | 5 | 752 1139.75/1140.00 c 1137s | 17 | 1855778 | 254232 | 76095 6 | 5 | 752 1141.94/1142.26 c 1139s | 17 | 1859457 | 254832 | 76095 6 | 5 | 752 1144.04/1144.38 c 1141s | 17 | 1862327 | 255532 | 76095 6 | 5 | 752 1146.14/1146.43 c 1143s | 17 | 1864802 | 256032 | 76095 6 | 5 | 752 1148.25/1148.57 c 1146s | 17 | 1866939 | 256632 | 76095 6 | 5 | 752 1150.45/1150.71 c 1148s | 17 | 1868939 | 257232 | 76095 6 | 5 | 752 1152.64/1152.97 c 1150s | 17 | 1872921 | 257932 | 76095 6 | 5 | 752 1154.74/1155.01 c 1152s | 17 | 1876463 | 258732 | 76095 6 | 5 | 752 1156.94/1157.23 c 1154s | 17 | 1879917 | 259532 | 76095 6 | 5 | 752 1159.03/1159.37 c 1156s | 17 | 1882541 | 260332 | 76095 6 | 5 | 752 1161.13/1161.49 c 1158s | 17 | 1884638 | 261232 | 76095 6 | 5 | 752 1163.83/1164.13 c 1161s | 17 | 1887726 | 261532 | 76095 6 | 5 | 752 1165.83/1166.14 c 1163s | 17 | 1889845 | 261832 | 76095 6 | 5 | 752 1168.03/1168.35 c 1165s | 17 | 1892533 | 262232 | 76095 6 | 5 | 752 1170.13/1170.45 c 1167s | 17 | 1895386 | 262732 | 76095 6 | 5 | 752 1172.62/1172.95 c 1170s | 17 | 1898286 | 263132 | 76095 6 | 5 | 752 1174.82/1175.12 c 1172s | 17 | 1901101 | 263432 | 76095 6 | 5 | 752 1177.02/1177.36 c 1174s | 17 | 1904231 | 263832 | 76095 6 | 5 | 752 1179.52/1179.87 c 1177s | 17 | 1908186 | 264432 | 76095 6 | 5 | 752 1181.82/1182.15 c 1179s | 17 | 1913666 | 264832 | 76095 6 | 5 | 752 1183.82/1184.18 c 1181s | 17 | 1916723 | 265132 | 76095 6 | 5 | 752 1185.92/1186.29 c 1183s | 17 | 1919233 | 265432 | 76095 6 | 5 | 752 1188.32/1188.60 c 1186s | 17 | 1922364 | 265832 | 76095 6 | 5 | 752 1190.32/1190.68 c 1188s | 17 | 1924784 | 266232 | 76095 6 | 5 | 752 1192.71/1193.01 c 1190s | 17 | 1927436 | 266732 | 76095 6 | 5 | 752 1194.71/1195.02 c 1192s | 17 | 1929809 | 267032 | 76095 6 | 5 | 752 1197.21/1197.51 c 1194s | 17 | 1933467 | 267432 | 76095 6 | 5 | 752 1199.51/1199.89 c 1197s | 17 | 1937616 | 267932 | 76095 6 | 5 | 752 1201.80/1202.17 c 1199s | 17 | 1940570 | 268532 | 76095 6 | 5 | 752 1204.50/1204.86 c 1202s | 17 | 1943615 | 268932 | 76095 6 | 5 | 752 1206.60/1206.90 c 1204s | 17 | 1947527 | 269232 | 76095 6 | 5 | 752 1208.61/1208.98 c 1206s | 17 | 1951058 | 269832 | 76095 6 | 5 | 752 1210.70/1211.04 c 1208s | 17 | 1954183 | 270232 | 76095 6 | 5 | 752 1213.30/1213.69 c 1211s | 17 | 1958074 | 270632 | 76095 6 | 5 | 752 1215.80/1216.10 c 1213s | 17 | 1961492 | 271032 | 76095 6 | 5 | 752 1218.20/1218.53 c 1216s | 17 | 1964990 | 271632 | 76095 6 | 5 | 752 1220.50/1220.83 c 1218s | 17 | 1967642 | 272032 | 76095 6 | 5 | 752 1223.01/1223.37 c 1220s | 17 | 1970403 | 272432 | 76095 6 | 5 | 752 1225.50/1225.90 c 1223s | 17 | 1974399 | 273032 | 76095 6 | 5 | 752 1227.90/1228.25 c 1225s | 17 | 1977571 | 273432 | 76095 6 | 5 | 752 1230.00/1230.36 c 1227s | 17 | 1979563 | 273932 | 76095 6 | 5 | 752 1232.20/1232.51 c 1229s | 17 | 1982151 | 274332 | 76095 6 | 5 | 752 1234.60/1234.94 c 1232s | 17 | 1985026 | 274732 | 76095 6 | 5 | 752 1236.80/1237.17 c 1234s | 17 | 1987693 | 275132 | 76095 6 | 5 | 752 1239.30/1239.69 c 1237s | 17 | 1992054 | 275732 | 76095 6 | 5 | 752 1241.79/1242.11 c 1239s | 17 | 1995755 | 276132 | 76095 6 | 5 | 752 1243.80/1244.19 c 1241s | 17 | 1998335 | 276532 | 76095 6 | 5 | 752 1246.39/1246.71 c 1244s | 17 | 2001432 | 277132 | 76095 6 | 5 | 752 1248.69/1249.02 c 1246s | 17 | 2005094 | 277632 | 76095 6 | 5 | 752 1251.09/1251.45 c 1248s | 17 | 2008164 | 278132 | 76095 6 | 5 | 752 1253.19/1253.59 c 1251s | 17 | 2010274 | 278632 | 76095 6 | 5 | 752 1255.49/1255.84 c 1253s | 17 | 2013208 | 279032 | 76095 6 | 5 | 752 1257.49/1257.88 c 1255s | 17 | 2014989 | 279432 | 76095 6 | 5 | 752 1259.99/1260.31 c 1257s | 17 | 2017632 | 280032 | 76095 6 | 5 | 752 1262.08/1262.40 c 1259s | 17 | 2019860 | 280432 | 76095 6 | 5 | 752 1264.28/1264.68 c 1262s | 17 | 2022127 | 280932 | 76095 6 | 5 | 752 1266.68/1267.01 c 1264s | 17 | 2024521 | 281432 | 76095 6 | 5 | 752 1268.68/1269.04 c 1266s | 17 | 2027409 | 281932 | 76095 6 | 5 | 752 1270.98/1271.40 c 1268s | 17 | 2029705 | 282432 | 76095 6 | 5 | 752 1273.28/1273.67 c 1271s | 17 | 2032238 | 283032 | 76095 6 | 5 | 752 1275.58/1275.98 c 1273s | 17 | 2034604 | 283632 | 76095 6 | 5 | 752 1277.78/1278.14 c 1275s | 17 | 2037681 | 284232 | 76095 6 | 5 | 752 1279.98/1280.31 c 1277s | 17 | 2039828 | 284832 | 76095 6 | 5 | 752 1282.07/1282.44 c 1279s | 17 | 2042068 | 285432 | 76095 6 | 5 | 752 1284.27/1284.64 c 1282s | 17 | 2044497 | 286032 | 76095 6 | 5 | 752 1286.27/1286.68 c 1284s | 17 | 2046308 | 286632 | 76095 6 | 5 | 752 1288.47/1288.88 c 1286s | 17 | 2048229 | 287332 | 76095 6 | 5 | 752 1290.87/1291.20 c 1288s | 17 | 2049362 | 287932 | 76095 7 | 5 | 752 1293.06/1293.41 c 1290s | 17 | 2051051 | 288032 | 76095 7 | 5 | 752 1295.36/1295.80 c 1293s | 17 | 2053925 | 288332 | 76095 7 | 5 | 752 1297.56/1297.95 c 1295s | 17 | 2056776 | 288732 | 76095 7 | 5 | 752 1299.66/1300.03 c 1297s | 17 | 2058757 | 289232 | 76095 7 | 5 | 752 1301.86/1302.29 c 1299s | 17 | 2061243 | 289632 | 76095 7 | 5 | 752 1303.96/1304.35 c 1301s | 17 | 2063954 | 289932 | 76095 7 | 5 | 752 1305.96/1306.35 c 1303s | 17 | 2067472 | 290232 | 76095 7 | 5 | 752 1308.26/1308.69 c 1306s | 17 | 2071223 | 290632 | 76095 7 | 5 | 752 1310.66/1311.00 c 1308s | 17 | 2074447 | 291132 | 76095 7 | 5 | 752 1313.25/1313.64 c 1311s | 17 | 2078293 | 291632 | 76095 7 | 5 | 752 1315.75/1316.12 c 1313s | 17 | 2080925 | 292032 | 76095 7 | 5 | 752 1318.35/1318.74 c 1316s | 17 | 2085177 | 292732 | 76095 7 | 5 | 752 1320.35/1320.78 c 1318s | 17 | 2088739 | 293132 | 76095 7 | 5 | 752 1322.45/1322.84 c 1320s | 17 | 2091022 | 293432 | 76095 7 | 5 | 752 1325.05/1325.47 c 1322s | 17 | 2095003 | 293832 | 76095 7 | 5 | 752 1327.36/1327.76 c 1325s | 17 | 2098490 | 294232 | 83705 7 | 5 | 752 1329.66/1330.03 c 1327s | 17 | 2102012 | 294832 | 83705 7 | 5 | 752 1331.95/1332.31 c 1329s | 17 | 2105391 | 295232 | 83705 7 | 5 | 752 1333.96/1334.33 c 1331s | 17 | 2107754 | 295532 | 83705 7 | 5 | 752 1336.26/1336.64 c 1334s | 17 | 2109648 | 296032 | 83705 7 | 5 | 752 1337.55/1337.93 c 1335s | 18 | 2110625 | 296252 | 83705 7 | 5 | 752 1339.85/1340.21 c 1337s | 18 | 2112025 | 296552 | 83705 7 | 5 | 752 1342.25/1342.68 c 1340s | 18 | 2113938 | 296852 | 83705 7 | 5 | 752 1368.24/1368.65 c 1366s | 18 | 2114953 | 296952 | 83705 7 | 5 | 752 1392.63/1393.04 c 1390s | 18 | 2116131 | 297052 | 83705 7 | 5 | 752 1394.63/1395.04 c 1392s | 18 | 2118790 | 297352 | 83705 7 | 5 | 752 1397.03/1397.44 c 1394s | 18 | 2122920 | 297752 | 83705 7 | 5 | 752 1399.13/1399.58 c 1397s | 18 | 2125313 | 298152 | 83705 7 | 5 | 752 1401.63/1402.08 c 1399s | 18 | 2126810 | 298652 | 83705 7 | 5 | 752 1404.03/1404.41 c 1401s | 18 | 2128116 | 298952 | 83705 7 | 5 | 752 1406.33/1406.77 c 1404s | 18 | 2130813 | 299252 | 83705 7 | 5 | 752 1408.73/1409.13 c 1406s | 18 | 2133117 | 299552 | 83705 7 | 5 | 752 1410.72/1411.17 c 1408s | 18 | 2136310 | 299852 | 83705 7 | 5 | 752 1412.82/1413.23 c 1410s | 18 | 2139451 | 300152 | 83705 7 | 5 | 752 1415.02/1415.41 c 1412s | 18 | 2142428 | 300552 | 83705 7 | 5 | 752 1417.12/1417.56 c 1415s | 18 | 2145184 | 301052 | 83705 7 | 5 | 752 1419.73/1420.17 c 1417s | 18 | 2149894 | 301452 | 83705 7 | 5 | 752 1421.93/1422.38 c 1419s | 18 | 2153996 | 301752 | 83705 7 | 5 | 752 1424.32/1424.77 c 1422s | 18 | 2156370 | 302052 | 83705 7 | 5 | 752 1426.52/1426.98 c 1424s | 18 | 2157960 | 302352 | 83705 7 | 5 | 752 1429.12/1429.50 c 1426s | 18 | 2159527 | 302852 | 83705 7 | 5 | 752 1431.12/1431.55 c 1429s | 18 | 2161378 | 303152 | 83705 7 | 5 | 752 1433.32/1433.75 c 1431s | 18 | 2164036 | 303452 | 83705 7 | 5 | 752 1435.32/1435.79 c 1433s | 18 | 2166855 | 303752 | 83705 7 | 5 | 752 1437.43/1437.84 c 1435s | 18 | 2168806 | 304152 | 83705 7 | 5 | 752 1439.72/1440.11 c 1437s | 18 | 2171452 | 304552 | 83705 7 | 5 | 752 1442.02/1442.48 c 1439s | 18 | 2175488 | 304952 | 83705 7 | 5 | 752 1444.62/1445.03 c 1442s | 18 | 2180771 | 305352 | 83705 7 | 5 | 752 1446.82/1447.27 c 1444s | 18 | 2184424 | 305652 | 83705 7 | 5 | 752 1449.02/1449.44 c 1446s | 18 | 2187000 | 305952 | 83705 7 | 5 | 752 1451.22/1451.66 c 1449s | 18 | 2189980 | 306352 | 83705 7 | 5 | 752 1453.42/1453.82 c 1451s | 18 | 2193357 | 306852 | 83705 7 | 5 | 752 1456.02/1456.47 c 1453s | 18 | 2196671 | 307252 | 83705 7 | 5 | 752 1458.62/1459.02 c 1456s | 18 | 2201542 | 307652 | 83705 7 | 5 | 752 1460.62/1461.05 c 1458s | 18 | 2204036 | 308052 | 83705 7 | 5 | 752 1463.11/1463.56 c 1461s | 18 | 2207450 | 308552 | 83705 7 | 5 | 752 1465.21/1465.66 c 1463s | 18 | 2210400 | 308852 | 83705 7 | 5 | 752 1467.81/1468.24 c 1465s | 18 | 2217147 | 309252 | 83705 7 | 5 | 752 1470.01/1470.46 c 1467s | 18 | 2219584 | 309552 | 83705 7 | 5 | 752 1472.21/1472.65 c 1470s | 18 | 2222849 | 310052 | 83705 7 | 5 | 752 1474.31/1474.74 c 1472s | 18 | 2225512 | 310552 | 83705 7 | 5 | 752 1476.41/1476.82 c 1474s | 18 | 2228327 | 310852 | 83705 7 | 5 | 752 1478.91/1479.36 c 1476s | 18 | 2232545 | 311252 | 83705 7 | 5 | 752 1481.51/1481.94 c 1479s | 18 | 2235817 | 311852 | 83705 7 | 5 | 752 1484.01/1484.45 c 1481s | 18 | 2239838 | 312252 | 83705 7 | 5 | 752 1486.21/1486.60 c 1484s | 18 | 2242853 | 312652 | 83705 7 | 5 | 752 1488.71/1489.10 c 1486s | 18 | 2245281 | 313152 | 83705 7 | 5 | 752 1491.32/1491.73 c 1489s | 18 | 2248730 | 313552 | 83705 7 | 5 | 752 1493.52/1493.98 c 1491s | 18 | 2251428 | 313952 | 83705 7 | 5 | 752 1495.72/1496.19 c 1493s | 18 | 2253159 | 314452 | 83705 7 | 5 | 752 1498.21/1498.68 c 1496s | 18 | 2255694 | 314852 | 83705 7 | 5 | 752 1500.31/1500.72 c 1498s | 18 | 2257811 | 315152 | 83705 7 | 5 | 752 1502.41/1502.83 c 1500s | 18 | 2260362 | 315552 | 83705 7 | 5 | 752 1504.81/1505.25 c 1502s | 18 | 2263741 | 316152 | 83705 7 | 5 | 752 1507.31/1507.73 c 1505s | 18 | 2266234 | 316552 | 83705 7 | 5 | 752 1509.31/1509.76 c 1507s | 18 | 2268853 | 317052 | 83705 7 | 5 | 752 1511.71/1512.18 c 1509s | 18 | 2271706 | 317452 | 83705 7 | 5 | 752 1514.01/1514.49 c 1511s | 18 | 2273979 | 317952 | 83705 7 | 5 | 752 1516.21/1516.67 c 1514s | 18 | 2276529 | 318352 | 83705 7 | 5 | 752 1518.61/1519.00 c 1516s | 18 | 2279036 | 318752 | 83705 7 | 5 | 752 1521.11/1521.54 c 1519s | 18 | 2282640 | 319352 | 83705 7 | 5 | 752 1523.21/1523.68 c 1521s | 18 | 2286165 | 319752 | 83705 7 | 5 | 752 1525.31/1525.75 c 1523s | 18 | 2287740 | 320252 | 83705 7 | 5 | 752 1527.51/1527.93 c 1525s | 18 | 2290236 | 320652 | 83705 7 | 5 | 752 1529.60/1530.01 c 1527s | 18 | 2292812 | 321152 | 83705 7 | 5 | 752 1531.91/1532.31 c 1529s | 18 | 2295334 | 321552 | 83705 7 | 5 | 752 1534.21/1534.67 c 1532s | 18 | 2297826 | 322052 | 83705 7 | 5 | 752 1536.60/1537.00 c 1534s | 18 | 2298750 | 322552 | 83705 7 | 5 | 752 1539.00/1539.42 c 1536s | 18 | 2300546 | 323052 | 83705 7 | 5 | 752 1541.30/1541.70 c 1539s | 18 | 2302871 | 323552 | 83705 7 | 5 | 752 1543.50/1543.92 c 1541s | 18 | 2304888 | 324052 | 83705 7 | 5 | 752 1545.50/1545.97 c 1543s | 18 | 2306522 | 324552 | 83705 7 | 5 | 752 1547.80/1548.22 c 1545s | 18 | 2308064 | 325052 | 83705 7 | 5 | 752 1549.80/1550.24 c 1547s | 18 | 2309210 | 325552 | 83705 7 | 5 | 752 1552.20/1552.62 c 1550s | 18 | 2310699 | 326152 | 83705 7 | 5 | 752 1554.20/1554.63 c 1552s | 18 | 2311997 | 326752 | 83705 7 | 5 | 752 1556.50/1556.99 c 1554s | 18 | 2314958 | 327352 | 83705 7 | 5 | 752 1559.30/1559.80 c 1557s | 18 | 2317696 | 327652 | 83705 7 | 5 | 752 1561.90/1562.31 c 1559s | 18 | 2320405 | 327952 | 83705 7 | 5 | 752 1564.00/1564.42 c 1561s | 18 | 2321865 | 328252 | 83705 7 | 5 | 752 1566.30/1566.75 c 1564s | 18 | 2322944 | 328652 | 83705 7 | 5 | 752 1568.90/1569.40 c 1566s | 18 | 2325410 | 329052 | 83705 7 | 5 | 752 1571.10/1571.55 c 1569s | 18 | 2328174 | 329352 | 83705 7 | 5 | 752 1573.70/1574.20 c 1571s | 18 | 2330619 | 329652 | 83705 7 | 5 | 752 1576.50/1576.95 c 1574s | 18 | 2333535 | 329952 | 83705 7 | 5 | 752 1579.00/1579.44 c 1576s | 18 | 2337853 | 330252 | 83705 7 | 5 | 752 1581.50/1581.94 c 1579s | 18 | 2339979 | 330552 | 83705 7 | 5 | 752 1583.60/1584.06 c 1581s | 18 | 2341441 | 330952 | 83705 7 | 5 | 752 1585.70/1586.15 c 1583s | 18 | 2343434 | 331352 | 83705 7 | 5 | 752 1588.30/1588.76 c 1586s | 18 | 2347168 | 331752 | 83705 7 | 5 | 752 1590.40/1590.83 c 1588s | 18 | 2350522 | 332052 | 83705 7 | 5 | 752 1596.00/1596.48 c 1593s | 18 | 2351535 | 332152 | 83705 8 | 5 | 752 1607.00/1607.44 c 1604s | 18 | 2352785 | 332252 | 83705 8 | 5 | 752 1609.80/1610.20 c 1607s | 18 | 2356400 | 332552 | 83705 8 | 5 | 752 1612.21/1612.69 c 1610s | 18 | 2359540 | 332852 | 83705 8 | 5 | 752 1614.41/1614.85 c 1612s | 18 | 2363070 | 333452 | 83705 8 | 5 | 752 1616.61/1617.08 c 1614s | 18 | 2366079 | 333852 | 83705 8 | 5 | 752 1619.30/1619.79 c 1617s | 18 | 2370569 | 334252 | 83705 8 | 5 | 752 1621.50/1621.95 c 1619s | 18 | 2375244 | 334552 | 83705 8 | 5 | 752 1623.60/1624.03 c 1621s | 18 | 2379026 | 334852 | 83705 8 | 5 | 752 1626.00/1626.42 c 1623s | 18 | 2382302 | 335252 | 83705 8 | 5 | 752 1628.20/1628.67 c 1626s | 18 | 2384689 | 335752 | 83705 8 | 5 | 752 1630.50/1630.94 c 1628s | 18 | 2387194 | 336152 | 83705 8 | 5 | 752 1632.60/1633.06 c 1630s | 18 | 2389988 | 336452 | 83705 8 | 5 | 752 1635.10/1635.58 c 1633s | 18 | 2392840 | 336752 | 83705 8 | 5 | 752 1637.70/1638.11 c 1635s | 18 | 2395767 | 337152 | 83705 8 | 5 | 752 1640.19/1640.66 c 1638s | 18 | 2398537 | 337652 | 83705 8 | 5 | 752 1642.89/1643.36 c 1640s | 18 | 2402596 | 338052 | 83705 8 | 5 | 752 1645.09/1645.59 c 1643s | 18 | 2405275 | 338352 | 83705 8 | 5 | 752 1647.40/1647.81 c 1645s | 18 | 2407476 | 338652 | 83705 8 | 5 | 752 1649.70/1650.16 c 1647s | 18 | 2411734 | 339052 | 83705 8 | 5 | 752 1652.09/1652.56 c 1650s | 18 | 2415728 | 339652 | 83705 8 | 5 | 752 1654.59/1655.05 c 1652s | 18 | 2419805 | 340052 | 83705 8 | 5 | 752 1656.79/1657.28 c 1654s | 18 | 2423115 | 340352 | 83705 8 | 5 | 752 1658.89/1659.35 c 1656s | 18 | 2425086 | 340652 | 83705 8 | 5 | 752 1660.99/1661.45 c 1658s | 18 | 2427887 | 341052 | 83705 8 | 5 | 752 1663.29/1663.74 c 1661s | 18 | 2430416 | 341552 | 83705 8 | 5 | 752 1665.39/1665.89 c 1663s | 18 | 2433431 | 341852 | 83705 8 | 5 | 752 1667.69/1668.10 c 1665s | 18 | 2435689 | 342252 | 83705 8 | 5 | 752 1670.29/1670.70 c 1668s | 18 | 2438848 | 342852 | 83705 8 | 5 | 752 1672.89/1673.31 c 1670s | 18 | 2442291 | 343252 | 83705 8 | 5 | 752 1675.19/1675.63 c 1673s | 18 | 2447844 | 343652 | 83705 8 | 5 | 752 1677.29/1677.76 c 1675s | 18 | 2451242 | 344052 | 83705 8 | 5 | 752 1679.69/1680.18 c 1677s | 18 | 2456352 | 344752 | 83705 8 | 5 | 752 1682.19/1682.64 c 1680s | 18 | 2460278 | 345152 | 83705 8 | 5 | 752 1684.59/1685.04 c 1682s | 18 | 2463802 | 345552 | 83705 8 | 5 | 752 1686.69/1687.14 c 1684s | 18 | 2465987 | 346052 | 83705 8 | 5 | 752 1689.09/1689.53 c 1687s | 18 | 2469875 | 346452 | 83705 8 | 5 | 752 1691.39/1691.86 c 1689s | 18 | 2474930 | 347152 | 83705 8 | 5 | 752 1693.49/1693.95 c 1691s | 18 | 2478653 | 347552 | 83705 8 | 5 | 752 1696.09/1696.53 c 1694s | 18 | 2481627 | 347952 | 83705 8 | 5 | 752 1698.38/1698.89 c 1696s | 18 | 2485015 | 348452 | 83705 8 | 5 | 752 1700.68/1701.11 c 1698s | 18 | 2487341 | 348952 | 83705 8 | 5 | 752 1702.98/1703.41 c 1700s | 18 | 2490117 | 349352 | 83705 8 | 5 | 752 1705.08/1705.56 c 1703s | 18 | 2492154 | 349852 | 83705 8 | 5 | 752 1707.48/1707.91 c 1705s | 18 | 2494621 | 350252 | 83705 8 | 5 | 752 1709.78/1710.24 c 1707s | 18 | 2497943 | 350752 | 83705 8 | 5 | 752 1711.98/1712.46 c 1709s | 18 | 2501156 | 351252 | 83705 8 | 5 | 752 1714.18/1714.68 c 1712s | 18 | 2503762 | 351652 | 83705 8 | 5 | 752 1716.28/1716.78 c 1714s | 18 | 2506598 | 352152 | 83705 8 | 5 | 752 1718.38/1718.80 c 1716s | 18 | 2509755 | 352552 | 83705 8 | 5 | 752 1720.58/1721.01 c 1718s | 18 | 2512165 | 352952 | 83705 8 | 5 | 752 1722.78/1723.21 c 1720s | 18 | 2514491 | 353452 | 83705 8 | 5 | 752 1724.88/1725.35 c 1722s | 18 | 2516898 | 353952 | 83705 8 | 5 | 752 1727.18/1727.68 c 1725s | 18 | 2520428 | 354452 | 83705 8 | 5 | 752 1729.68/1730.10 c 1727s | 18 | 2522826 | 355052 | 83705 8 | 5 | 752 1731.98/1732.49 c 1729s | 18 | 2526067 | 355552 | 83705 8 | 5 | 752 1734.39/1734.83 c 1732s | 18 | 2528266 | 356052 | 83705 8 | 5 | 752 1736.68/1737.14 c 1734s | 18 | 2529798 | 356552 | 83705 8 | 5 | 752 1738.79/1739.25 c 1736s | 18 | 2532231 | 357052 | 83705 8 | 5 | 752 1740.89/1741.32 c 1738s | 18 | 2534102 | 357452 | 83705 8 | 5 | 752 1742.98/1743.41 c 1740s | 18 | 2535841 | 357952 | 83705 8 | 5 | 752 1744.98/1745.47 c 1742s | 18 | 2537625 | 358452 | 83705 8 | 5 | 752 1746.98/1747.48 c 1744s | 18 | 2539667 | 358952 | 83705 8 | 5 | 752 1749.48/1749.90 c 1747s | 18 | 2541566 | 359552 | 83705 8 | 5 | 752 1751.48/1751.91 c 1749s | 18 | 2543507 | 360152 | 83705 8 | 5 | 752 1753.48/1753.95 c 1751s | 18 | 2544643 | 360752 | 83705 8 | 5 | 752 1755.78/1756.22 c 1753s | 18 | 2546921 | 361152 | 83705 8 | 5 | 752 1758.18/1758.67 c 1756s | 18 | 2550132 | 361452 | 83705 8 | 5 | 752 1760.38/1760.86 c 1758s | 18 | 2551744 | 361752 | 83705 8 | 5 | 752 1762.78/1763.23 c 1760s | 18 | 2554716 | 362252 | 83705 8 | 5 | 752 1764.87/1765.38 c 1762s | 18 | 2557028 | 362552 | 83705 8 | 5 | 752 1767.28/1767.71 c 1765s | 18 | 2559688 | 362852 | 83705 8 | 5 | 752 1769.48/1769.97 c 1767s | 18 | 2562477 | 363152 | 83705 8 | 5 | 752 1772.27/1772.79 c 1770s | 18 | 2565106 | 363452 | 83705 8 | 5 | 752 1774.37/1774.90 c 1772s | 18 | 2567209 | 363752 | 83705 8 | 5 | 752 1776.67/1777.10 c 1774s | 18 | 2569006 | 364152 | 83705 8 | 5 | 752 1778.67/1779.12 c 1776s | 18 | 2571644 | 364452 | 83705 8 | 5 | 752 1781.07/1781.55 c 1779s | 18 | 2573342 | 364752 | 83705 8 | 5 | 752 1783.57/1784.05 c 1781s | 18 | 2577097 | 365052 | 83705 8 | 5 | 752 1786.17/1786.67 c 1784s | 18 | 2580518 | 365352 | 83705 8 | 5 | 752 1788.67/1789.11 c 1786s | 18 | 2582871 | 365652 | 83705 8 | 5 | 752 1790.87/1791.35 c 1788s | 18 | 2585888 | 366052 | 83705 8 | 5 | 752 1793.27/1793.70 c 1791s | 18 | 2588045 | 366552 | 83705 8 | 5 | 752 1795.37/1795.87 c 1793s | 18 | 2591035 | 366852 | 83705 8 | 5 | 752 1797.67/1798.18 c 1795s | 18 | 2594150 | 367152 | 83705 8 | 5 | 752
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-4098059-1466119306/watcher-4098059-1466119306 -o /tmp/evaluation-result-4098059-1466119306/solver-4098059-1466119306 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466119306-26360 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098059-1466119306.opb pid=26383 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: 1.19 1.10 1.22 4/175 26389 /proc/meminfo: memFree=31334132/32872528 swapFree=532956/565660 [pid=26389] ppid=26383 vsize=736700 CPUtime=0 cores=0,2,4,6 /proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 2751 0 0 0 0 0 0 0 20 0 4 0 13976268 754380800 3622 33554432000 4194304 16246674 140734093009568 140734093008992 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26389/statm: 184687 3631 441 2943 0 181581 0 [pid=26389/tid=26391] ppid=26383 vsize=755132 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 773255168 3692 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26389/tid=26393] ppid=26383 vsize=759228 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 777449472 3711 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26389/tid=26395] ppid=26383 vsize=763324 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 781643776 3727 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100171 s] /proc/loadavg: 1.19 1.10 1.22 4/175 26389 /proc/meminfo: memFree=31334132/32872528 swapFree=532956/565660 [pid=26389] ppid=26383 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 26802 0 0 0 6 3 0 0 20 0 4 0 13976268 1333334016 27612 33554432000 4194304 16246674 140734093009568 140734093008880 7366234 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26389/statm: 325521 27627 800 2943 0 322415 0 [pid=26389/tid=26391] ppid=26383 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1333334016 27639 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26389/tid=26393] ppid=26383 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1333334016 27650 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26389/tid=26395] ppid=26383 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1333334016 27661 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200487 s] /proc/loadavg: 1.19 1.10 1.22 4/175 26389 /proc/meminfo: memFree=31334132/32872528 swapFree=532956/565660 [pid=26389] ppid=26383 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 45387 0 0 0 13 6 0 0 20 0 4 0 13976268 1344868352 46707 33554432000 4194304 16246674 140734093009568 140734093008880 14795819 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26389/statm: 328337 46707 801 2943 0 325231 0 [pid=26389/tid=26391] ppid=26383 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1344868352 46707 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26389/tid=26393] ppid=26383 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1344868352 46707 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26389/tid=26395] ppid=26383 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1344868352 46707 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300411 s] /proc/loadavg: 1.19 1.10 1.22 4/175 26389 /proc/meminfo: memFree=31334132/32872528 swapFree=532956/565660 [pid=26389] ppid=26383 vsize=1313348 CPUtime=0.29 cores=0,2,4,6 /proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 62556 0 0 0 20 9 0 0 20 0 4 0 13976268 1344868352 63876 33554432000 4194304 16246674 140734093009568 140734093008880 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26389/statm: 328337 63876 801 2943 0 325231 0 [pid=26389/tid=26391] ppid=26383 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1344868352 63876 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26389/tid=26393] ppid=26383 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1344868352 63876 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26389/tid=26395] ppid=26383 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1344868352 63876 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.70038 s] /proc/loadavg: 1.19 1.10 1.22 4/175 26389 /proc/meminfo: memFree=31334132/32872528 swapFree=532956/565660 [pid=26389] ppid=26383 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 72945 0 0 0 59 10 0 0 20 0 4 0 13976268 1344868352 74265 33554432000 4194304 16246674 140734093009568 140734093008880 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26389/statm: 328337 74265 802 2943 0 325231 0 [pid=26389/tid=26391] ppid=26383 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1344868352 74265 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26389/tid=26393] ppid=26383 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1344868352 74265 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26389/tid=26395] ppid=26383 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1344868352 74265 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50038 s] /proc/loadavg: 1.26 1.12 1.23 4/183 26397 /proc/meminfo: memFree=30289976/32872528 swapFree=532956/565660 [pid=26389] ppid=26383 vsize=1313348 CPUtime=1.49 cores=0,2,4,6 /proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 191201 0 0 0 122 27 0 0 20 0 4 0 13976268 1344868352 192521 33554432000 4194304 16246674 140734093009568 140734092991488 6779510 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26389/statm: 328337 192534 836 2943 0 325231 0 [pid=26389/tid=26391] ppid=26383 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1344868352 192542 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26389/tid=26393] ppid=26383 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1344868352 192548 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26389/tid=26395] ppid=26383 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1344868352 192557 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.10038 s] /proc/loadavg: 1.26 1.12 1.23 4/183 26397 /proc/meminfo: memFree=29151036/32872528 swapFree=532956/565660 [pid=26389] ppid=26383 vsize=1324612 CPUtime=3.09 cores=0,2,4,6 /proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 271607 0 0 0 272 37 0 0 20 0 4 0 13976268 1356402688 272927 33554432000 4194304 16246674 140734093009568 140734092991488 5675019 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26389/statm: 331153 272927 881 2943 0 328047 0 [pid=26389/tid=26391] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1356402688 272927 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26389/tid=26393] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1356402688 272927 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26389/tid=26395] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1356402688 272927 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1324612 [startup+6.30038 s] /proc/loadavg: 1.32 1.13 1.23 4/183 26397 /proc/meminfo: memFree=29150456/32872528 swapFree=532956/565660 [pid=26389] ppid=26383 vsize=1324612 CPUtime=6.29 cores=0,2,4,6 /proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 271821 0 0 0 592 37 0 0 20 0 4 0 13976268 1356402688 273141 33554432000 4194304 16246674 140734093009568 140734092991488 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26389/statm: 331153 273141 884 2943 0 328047 0 [pid=26389/tid=26391] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1356402688 273141 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26389/tid=26393] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1356402688 273141 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26389/tid=26395] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1356402688 273141 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1324612 [startup+12.7004 s] /proc/loadavg: 1.37 1.15 1.24 4/183 26397 /proc/meminfo: memFree=29150324/32872528 swapFree=532956/565660 [pid=26389] ppid=26383 vsize=1324612 CPUtime=12.68 cores=0,2,4,6 /proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 271823 0 0 0 1231 37 0 0 20 0 4 0 13976268 1356402688 273143 33554432000 4194304 16246674 140734093009568 140734092991488 6023166 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26389/statm: 331153 273143 884 2943 0 328047 0 [pid=26389/tid=26391] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1356402688 273143 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26389/tid=26393] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1356402688 273143 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26389/tid=26395] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1356402688 273143 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1324612 [startup+25.5005 s] /proc/loadavg: 1.58 1.20 1.25 4/183 26397 /proc/meminfo: memFree=29151124/32872528 swapFree=532956/565660 [pid=26389] ppid=26383 vsize=1324612 CPUtime=25.48 cores=0,2,4,6 /proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 271825 0 0 0 2511 37 0 0 20 0 4 0 13976268 1356402688 273145 33554432000 4194304 16246674 140734093009568 140734092991488 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26389/statm: 331153 273145 886 2943 0 328047 0 [pid=26389/tid=26391] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1356402688 273145 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26389/tid=26393] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1356402688 273145 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26389/tid=26395] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1356402688 273145 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1324612 [startup+51.1005 s] /proc/loadavg: 1.72 1.27 1.27 4/183 26397 /proc/meminfo: memFree=29151048/32872528 swapFree=532956/565660 [pid=26389] ppid=26383 vsize=1324612 CPUtime=51.08 cores=0,2,4,6 /proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 271825 0 0 0 5071 37 0 0 20 0 4 0 13976268 1356402688 273145 33554432000 4194304 16246674 140734093009568 140734092991488 13897155 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26389/statm: 331153 273145 886 2943 0 328047 0 [pid=26389/tid=26391] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1356402688 273145 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26389/tid=26393] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1356402688 273145 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26389/tid=26395] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1356402688 273145 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1324612 [startup+102.3 s] /proc/loadavg: 1.88 1.38 1.31 4/183 26398 /proc/meminfo: memFree=29150216/32872528 swapFree=532956/565660 [pid=26389] ppid=26383 vsize=1324612 CPUtime=102.28 cores=0,2,4,6 /proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 271825 0 0 0 10191 37 0 0 20 0 4 0 13976268 1356402688 273145 33554432000 4194304 16246674 140734093009568 140734092991488 5677802 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26389/statm: 331153 273145 886 2943 0 328047 0 [pid=26389/tid=26391] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1356402688 273145 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26389/tid=26393] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1356402688 273145 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26389/tid=26395] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1356402688 273145 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1324612 ################ # More data... # ################ /proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1409604 [startup+1362.3 s] /proc/loadavg: 2.08 2.05 1.84 4/183 26431 /proc/meminfo: memFree=28988004/32872528 swapFree=532956/565660 [pid=26389] ppid=26383 vsize=1409604 CPUtime=1361.95 cores=0,2,4,6 /proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 293331 0 0 0 136147 48 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140734093008744 4225056 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26389/statm: 352401 294398 887 2943 0 349295 0 [pid=26389/tid=26391] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26389/tid=26393] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26389/tid=26395] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1409604 [startup+1422.3 s] /proc/loadavg: 2.03 2.04 1.85 4/183 26432 /proc/meminfo: memFree=28986848/32872528 swapFree=532956/565660 [pid=26389] ppid=26383 vsize=1409604 CPUtime=1421.93 cores=0,2,4,6 /proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 293345 0 0 0 142143 50 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140734092991488 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26389/statm: 352401 294398 887 2943 0 349295 0 [pid=26389/tid=26391] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26389/tid=26393] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26389/tid=26395] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1409604 [startup+1482.3 s] /proc/loadavg: 2.01 2.03 1.85 4/183 26433 /proc/meminfo: memFree=28987628/32872528 swapFree=532956/565660 [pid=26389] ppid=26383 vsize=1409604 CPUtime=1481.91 cores=0,2,4,6 /proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 293345 0 0 0 148141 50 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140734092991488 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26389/statm: 352401 294398 887 2943 0 349295 0 [pid=26389/tid=26391] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26389/tid=26393] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26389/tid=26395] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1409604 [startup+1542.31 s] /proc/loadavg: 2.00 2.02 1.86 4/183 26434 /proc/meminfo: memFree=28987648/32872528 swapFree=532956/565660 [pid=26389] ppid=26383 vsize=1409604 CPUtime=1541.91 cores=0,2,4,6 /proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 293345 0 0 0 154141 50 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140734092991488 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26389/statm: 352401 294398 887 2943 0 349295 0 [pid=26389/tid=26391] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26389/tid=26393] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26389/tid=26395] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1409604 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 1.87 4/183 26435 /proc/meminfo: memFree=28987644/32872528 swapFree=532956/565660 [pid=26389] ppid=26383 vsize=1409604 CPUtime=1601.9 cores=0,2,4,6 /proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 293345 0 0 0 160139 51 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140734093008744 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26389/statm: 352401 294398 887 2943 0 349295 0 [pid=26389/tid=26391] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26389/tid=26393] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26389/tid=26395] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1409604 [startup+1662.3 s] /proc/loadavg: 2.12 2.06 1.89 4/183 26437 /proc/meminfo: memFree=28987772/32872528 swapFree=532956/565660 [pid=26389] ppid=26383 vsize=1409604 CPUtime=1661.89 cores=0,2,4,6 /proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 293345 0 0 0 166137 52 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140734092991488 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26389/statm: 352401 294398 887 2943 0 349295 0 [pid=26389/tid=26391] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26389/tid=26393] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26389/tid=26395] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1409604 [startup+1722.3 s] /proc/loadavg: 2.04 2.04 1.89 4/184 26441 /proc/meminfo: memFree=28986968/32872528 swapFree=532956/565660 [pid=26389] ppid=26383 vsize=1409604 CPUtime=1721.88 cores=0,2,4,6 /proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 293345 0 0 0 172136 52 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140734092991488 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26389/statm: 352401 294398 887 2943 0 349295 0 [pid=26389/tid=26391] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26389/tid=26393] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26389/tid=26395] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 1409604 [startup+1782.3 s] /proc/loadavg: 2.11 2.06 1.91 4/183 26442 /proc/meminfo: memFree=28979408/32872528 swapFree=532956/565660 [pid=26389] ppid=26383 vsize=1409604 CPUtime=1781.87 cores=0,2,4,6 /proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 293345 0 0 0 178135 52 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140734092991488 6836961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26389/statm: 352401 294398 887 2943 0 349295 0 [pid=26389/tid=26391] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26389/tid=26393] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26389/tid=26395] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 1409604 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.09 2.06 1.91 4/183 26442 /proc/meminfo: memFree=28979408/32872528 swapFree=532956/565660 [pid=26389] ppid=26383 vsize=1409604 CPUtime=1800.07 cores=0,2,4,6 /proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 293345 0 0 0 179955 52 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140734092991488 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26389/statm: 352401 294398 887 2943 0 349295 0 [pid=26389/tid=26391] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26389/tid=26393] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26389/tid=26395] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1409604 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 26389 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.09 2.06 1.91 4/183 26442 /proc/meminfo: memFree=28979408/32872528 swapFree=532956/565660 [pid=26389] ppid=26383 vsize=1409604 CPUtime=1800.07 cores=0,2,4,6 /proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 293345 0 0 0 179955 52 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140734092991488 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26389/statm: 352401 294398 887 2943 0 349295 0 [pid=26389/tid=26391] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26389/tid=26393] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26389/tid=26395] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6 /proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1409604 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.08 CPU user time (s): 1799.56 CPU system time (s): 0.52292 CPU usage (%): 99.9762 Max. virtual memory (cumulated for all children) (KiB): 1409604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.56 system time used= 0.52292 maximum resident set size= 1177592 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 293345 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= 285 involuntary context switches= 1864 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.06193 second user time and 9.12561 second system time The end
Begin job on node138 at 2016-06-17 01:21:46 IDJOB=4098059 IDBENCH=107846 IDSOLVER=2542 FILE ID=node138/4098059-1466119306 RUNJOBID= node138-1466119306-26360 PBS_JOBID= 19904048 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_23.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098059-1466119306/watcher-4098059-1466119306 -o /tmp/evaluation-result-4098059-1466119306/solver-4098059-1466119306 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466119306-26360 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098059-1466119306.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 60625a8f4cfa2ca63ddafc7817561234 RANDOM SEED=1030823423 node138.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.395 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.79 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.395 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.395 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 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.395 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.395 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 31335552 kB Buffers: 73912 kB Cached: 189064 kB SwapCached: 1380 kB Active: 141760 kB Inactive: 124064 kB Active(anon): 4072 kB Inactive(anon): 1664 kB Active(file): 137688 kB Inactive(file): 122400 kB Unevictable: 565660 kB Mlocked: 532956 kB SwapTotal: 67108856 kB SwapFree: 67099636 kB Dirty: 40752 kB Writeback: 0 kB AnonPages: 684332 kB Mapped: 7044 kB Shmem: 0 kB Slab: 572864 kB SReclaimable: 16852 kB SUnreclaim: 556012 kB KernelStack: 1416 kB PageTables: 5000 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 662132 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 149504 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= 71692 MiB End job on node138 at 2016-06-17 01:51:47