| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.08 | 1800.61 |
| Name | /DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K80.opb |
| MD5SUM | a3fcbcd7997dcbab652ff1a098fe5a93 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 5440 |
| Total number of constraints | 5602 |
| Number of constraints which are clauses | 5522 |
| Number of constraints which are cardinality constraints (but not clauses) | 80 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 80 |
| 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 | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 81 |
| 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-07T08:46:24+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-4078931-1465281984.opb"] 0.00/0.01 c use --random-gen="1991532472 3332397232 2899780873 4278308398 1449125353 1355331330 2895087753 3234108676 898189056 3280774447 2462828937 1052592447 809771144 1714162385 1734689014 3814142288 190718478 3433329294 1508914969 1853920216 3245114964 3510815703 1186476667 859505213 4021821645 637584533 1492093496 528589070 1288120781 115562813 130701393 1751861561 2641771826 2379471047 1485554761 3188176882 3697093383 3551227676 3792979451 4225736153 219581745 2726458238 2070659910 1387352353 1387265418 3033694091 4212254018 2425728077 4162738756 3391055665 3631042937 2100718606 297095087 96199696 1901766708 2756227908 1899485771 4125372312 3109554301 1583272461 644921521 2729749536 3516332953 95979144 223422827 3147056870 1973955954 3569081704 3171022166 3549344124 456769693 4201751033 3584830369 3053337944 3531034141 479962084 3114091460 2169141488 1997330234 1725155838 3064568649 1085805519 3621865833 1474095435 1957771164 766320381 1882403682 3128787042 3687138832 2424730296 3455217571 619423798 2576314587 3607962913 2612268684 423404184 576322226 3071070059 856065578 3697800381 3987771052 607781929 1977183396 851732900 853829822 3098300542 1236575168 3009253300 1148287043 1866293456 2040892278 2931628823 720017967 3393744540 722913452 878874900 725602225 4254069767 1781691808 1280188361 535205916 3083769770 3718159411 1046185395 4197708536 2790906274 3166262023 940726770 265762977 206385966 2542446422 3058253256 2133712817 1407508199 1841873692 3900508311 1314269270 1754718336 502236699 3605254182 1643171964 4196396213 1016858611 3583510906 43540167 3364213141 2498934848 1050044815 2737541850 2166616739 2927430329 1662414741 81890585 1701458411 2023435994 2327142093 2274182608 1615004370 997520977 677897855 2207573539 143758958 3714820374 3428842148 3076149339 805415560 2813111197 2289225682 2209619265 1507439375 809153234 898173279 2205540151 1922198871 612009687 2188110298 1782786001 3826389616 3901960296 2355519143 347536920 1825037912 2652461700 357587182 2295151972 166724147 2741866211 3679871669 1417565633 843710249 2999434988 4279265342 2439716622 3808962405 3061525793 2225486366 2391734814 2250142648 2913932853 2675434154 188605292 343551298 4000100338 4040538459 1925115044 3022208249 104473011 2175752403 1299925520 2732339790 439500240 127448023 2232901781 1437071715 1022069504 4165155074 1558835987 3245218653 2793990046 3242087948 950471117 11118483 1760995259 3662268202 3313460539 308292954 3712732899 4054676431 3837588588 1519967880 3443810454 2093146468 1661732028 593772905 161431379 3097108449 1297680873 355361070 4085610976 2619424791 3430469595 4220290314 2241583389 4268483605 2454116503 240022134 3993129192 3065671836 397860066 1821821488 2589439132 392694449 130367606 494101113 3168331189 35229938 255 362436" option to reproduce the execution 0.00/0.09 c #vars 5440 0.00/0.09 c #constraints 5602 0.19/0.21 c Solving starts ... 0.19/0.21 c ============================[ Search Statistics ]============================ 0.19/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.21 c | | | | Limit GC | Var | Constra 0.19/0.21 c ============================================================================= 0.19/0.21 c 0.0s | 0 | 0 | 0 | 3680 0 | 362 | 0 0.29/0.32 c 0.1s | 1 | 3583 | 100 | 3680 0 | 363 | 304 0.49/0.50 c 0.3s | 2 | 5030 | 250 | 4049 0 | 363 | 304 0.69/0.77 c 0.6s | 3 | 7068 | 475 | 4454 0 | 363 | 304 1.20/1.22 c 1.0s | 4 | 12795 | 813 | 4900 0 | 363 | 304 1.69/1.70 c 1.5s | 5 | 17624 | 1320 | 5390 0 | 363 | 304 2.59/2.69 c 2.5s | 6 | 30179 | 2081 | 6524 0 | 368 | 309 3.79/3.83 c 3.6s | 7 | 38901 | 3223 | 7177 0 | 368 | 309 5.79/5.86 c 5.6s | 7 | 61144 | 4723 | 7177 0 | 370 | 311 5.99/6.07 c 5.9s | 8 | 63283 | 4936 | 7895 0 | 370 | 311 8.08/8.11 c 7.9s | 8 | 72050 | 6136 | 7895 0 | 370 | 311 10.38/10.45 c 10.2s | 8 | 87646 | 7436 | 7895 0 | 370 | 311 10.99/11.10 c 10.9s | 9 | 87903 | 7506 | 8685 0 | 370 | 311 13.08/13.14 c 12.9s | 9 | 100886 | 8906 | 8685 0 | 374 | 315 15.18/15.27 c 15.1s | 9 | 107642 | 10406 | 8685 0 | 374 | 315 17.28/17.37 c 17.2s | 9 | 110908 | 11106 | 8685 0 | 374 | 315 17.69/17.76 c 17.6s | 10 | 112372 | 11361 | 9554 0 | 374 | 315 19.79/19.86 c 19.6s | 10 | 127587 | 12861 | 9554 1 | 375 | 316 21.99/22.05 c 21.8s | 10 | 135840 | 14161 | 9554 1 | 376 | 317 24.08/24.15 c 23.9s | 10 | 155190 | 15461 | 9554 1 | 378 | 319 26.18/26.28 c 26.1s | 10 | 170146 | 17061 | 10510 2 | 381 | 322 26.39/26.40 c 26.2s | 11 | 170933 | 17144 | 10510 2 | 381 | 322 28.38/28.47 c 28.3s | 11 | 184447 | 18844 | 10510 2 | 382 | 323 30.48/30.53 c 30.3s | 11 | 202126 | 20444 | 10510 2 | 382 | 323 32.68/32.72 c 32.5s | 11 | 205960 | 21644 | 10510 2 | 382 | 323 34.68/34.79 c 34.6s | 11 | 222893 | 22944 | 10510 3 | 382 | 323 36.78/36.82 c 36.6s | 11 | 241088 | 24344 | 10510 3 | 384 | 325 38.49/38.56 c 38.3s | 12 | 251747 | 25819 | 11562 3 | 384 | 325 40.58/40.67 c 40.5s | 12 | 259437 | 27119 | 11562 3 | 384 | 325 42.78/42.83 c 42.6s | 12 | 271462 | 28519 | 11562 3 | 385 | 326 44.88/44.90 c 44.7s | 12 | 284617 | 29819 | 11562 4 | 385 | 326 46.98/47.01 c 46.8s | 12 | 303144 | 31419 | 11562 4 | 385 | 326 49.08/49.18 c 49.0s | 12 | 310396 | 32319 | 11562 4 | 385 | 326 51.99/52.04 c 51.8s | 12 | 316238 | 33219 | 11562 4 | 385 | 326 54.18/54.29 c 54.1s | 12 | 327686 | 34319 | 11562 4 | 386 | 327 56.38/56.44 c 56.2s | 12 | 331207 | 35119 | 11562 4 | 386 | 327 58.39/58.46 c 58.2s | 12 | 339111 | 35919 | 11562 4 | 386 | 327 60.38/60.50 c 60.3s | 12 | 349088 | 37119 | 11562 4 | 386 | 327 62.48/62.53 c 62.3s | 12 | 355907 | 38319 | 11562 5 | 386 | 327 63.58/63.68 c 63.5s | 13 | 358811 | 38832 | 12719 5 | 386 | 327 65.68/65.77 c 65.6s | 13 | 368381 | 40032 | 12719 5 | 386 | 327 67.68/67.79 c 67.6s | 13 | 381504 | 41532 | 12719 5 | 386 | 327 69.88/69.90 c 69.7s | 13 | 392179 | 42732 | 12719 5 | 386 | 327 71.88/71.92 c 71.7s | 13 | 402859 | 43732 | 12719 5 | 387 | 328 73.88/73.97 c 73.8s | 13 | 417724 | 44932 | 12719 6 | 388 | 329 75.99/76.06 c 75.8s | 13 | 436195 | 46332 | 12719 6 | 388 | 329 78.08/78.20 c 78.0s | 13 | 449617 | 47532 | 12719 6 | 388 | 329 80.38/80.44 c 80.2s | 13 | 455706 | 48332 | 12719 6 | 388 | 329 82.68/82.77 c 82.6s | 13 | 463305 | 49132 | 12719 6 | 388 | 329 84.88/84.99 c 84.8s | 13 | 472380 | 50232 | 12719 6 | 388 | 329 87.68/87.77 c 87.6s | 13 | 473403 | 50632 | 12719 6 | 388 | 329 89.77/89.87 c 89.7s | 13 | 473881 | 50832 | 12719 6 | 388 | 329 92.27/92.32 c 92.1s | 13 | 474377 | 51032 | 12719 6 | 388 | 329 94.27/94.33 c 94.1s | 13 | 476501 | 51532 | 12719 6 | 388 | 329 97.07/97.19 c 97.0s | 13 | 477019 | 51832 | 12719 6 | 388 | 329 99.47/99.56 c 99.4s | 13 | 481751 | 52432 | 12719 7 | 388 | 329 101.47/101.58 c 101s | 13 | 495751 | 53932 | 12719 7 | 388 | 329 104.27/104.31 c 104s | 13 | 497386 | 54332 | 12719 7 | 388 | 329 106.37/106.48 c 106s | 13 | 499608 | 54832 | 12719 7 | 388 | 329 108.37/108.49 c 108s | 13 | 500926 | 55132 | 12719 7 | 388 | 329 110.57/110.63 c 110s | 13 | 510167 | 56232 | 12719 7 | 388 | 329 112.77/112.80 c 112s | 13 | 518170 | 57132 | 12719 7 | 388 | 329 114.87/114.98 c 114s | 13 | 527982 | 58032 | 13991 7 | 388 | 329 115.67/115.76 c 115s | 14 | 529864 | 58352 | 13991 7 | 388 | 329 117.87/117.95 c 117s | 14 | 538691 | 59452 | 13991 7 | 388 | 329 119.98/120.02 c 119s | 14 | 553184 | 60652 | 13991 8 | 388 | 329 122.77/122.89 c 122s | 14 | 556615 | 61352 | 13991 8 | 388 | 329 125.07/125.19 c 124s | 14 | 558254 | 61852 | 13991 8 | 388 | 329 127.27/127.34 c 127s | 14 | 560231 | 62452 | 13991 8 | 388 | 329 129.87/129.98 c 129s | 14 | 562458 | 63152 | 13991 8 | 388 | 329 131.97/132.05 c 131s | 14 | 570813 | 64052 | 13991 8 | 388 | 329 133.97/134.08 c 133s | 14 | 580713 | 65052 | 13991 8 | 388 | 329 136.07/136.19 c 135s | 14 | 585701 | 65752 | 13991 8 | 388 | 329 138.37/138.45 c 138s | 14 | 587640 | 66152 | 13991 8 | 388 | 329 140.66/140.74 c 140s | 14 | 588843 | 66552 | 13991 8 | 388 | 329 142.86/142.98 c 142s | 14 | 593479 | 67152 | 13991 8 | 388 | 329 144.96/145.06 c 144s | 14 | 601044 | 67752 | 13991 9 | 388 | 329 147.16/147.26 c 147s | 14 | 607886 | 69052 | 13991 9 | 388 | 329 149.26/149.37 c 149s | 14 | 610387 | 69852 | 13991 9 | 388 | 329 151.36/151.43 c 151s | 14 | 623785 | 71052 | 13991 9 | 388 | 329 153.36/153.47 c 153s | 14 | 634127 | 72452 | 13991 9 | 388 | 329 155.56/155.65 c 155s | 14 | 637973 | 73352 | 13991 9 | 388 | 329 157.66/157.70 c 157s | 14 | 647138 | 74352 | 13991 9 | 389 | 330 159.86/159.96 c 159s | 14 | 649908 | 74852 | 13991 9 | 389 | 330 162.16/162.20 c 161s | 14 | 657713 | 75652 | 13991 10 | 389 | 330 164.56/164.65 c 164s | 14 | 668876 | 77052 | 13991 10 | 389 | 330 166.56/166.68 c 166s | 14 | 677412 | 78252 | 13991 10 | 389 | 330 168.76/168.86 c 168s | 14 | 682929 | 79352 | 13991 10 | 389 | 330 170.96/171.08 c 170s | 14 | 686768 | 80052 | 13991 10 | 389 | 330 173.26/173.30 c 173s | 14 | 689831 | 80652 | 13991 10 | 389 | 330 175.26/175.37 c 175s | 14 | 693804 | 81652 | 13991 10 | 389 | 330 177.36/177.40 c 177s | 14 | 696755 | 82652 | 13991 10 | 389 | 330 179.47/179.51 c 179s | 14 | 708101 | 83852 | 13991 11 | 389 | 330 181.47/181.52 c 181s | 14 | 728046 | 85352 | 13991 11 | 389 | 330 183.47/183.59 c 183s | 14 | 737978 | 86652 | 13991 11 | 389 | 330 185.37/185.48 c 185s | 15 | 749763 | 87632 | 15391 11 | 389 | 330 187.47/187.58 c 187s | 15 | 761420 | 88732 | 15391 11 | 389 | 330 189.57/189.66 c 189s | 15 | 779397 | 90132 | 15391 11 | 390 | 331 191.66/191.76 c 191s | 15 | 784123 | 91132 | 15391 11 | 390 | 331 193.76/193.80 c 193s | 15 | 790358 | 92132 | 15391 11 | 390 | 331 196.06/196.13 c 195s | 15 | 796955 | 93232 | 15391 12 | 390 | 331 198.16/198.22 c 198s | 15 | 801397 | 94332 | 15391 12 | 390 | 331 200.27/200.31 c 200s | 15 | 802856 | 94932 | 15391 12 | 390 | 331 202.26/202.39 c 202s | 15 | 804606 | 95532 | 15391 12 | 390 | 331 204.57/204.62 c 204s | 15 | 806726 | 96032 | 15391 12 | 390 | 331 206.56/206.64 c 206s | 15 | 817975 | 97332 | 15391 12 | 390 | 331 208.66/208.78 c 208s | 15 | 819739 | 97932 | 15391 12 | 390 | 331 211.16/211.29 c 211s | 15 | 821106 | 98532 | 15391 12 | 390 | 331 213.96/214.01 c 213s | 15 | 824727 | 99132 | 15391 12 | 390 | 331 216.26/216.33 c 216s | 15 | 825123 | 99332 | 15391 12 | 390 | 331 218.26/218.37 c 218s | 15 | 825615 | 99532 | 15391 12 | 390 | 331 220.36/220.45 c 220s | 15 | 829484 | 100132 | 15391 12 | 390 | 331 222.46/222.57 c 222s | 15 | 834034 | 100932 | 15391 13 | 390 | 331 224.66/224.74 c 224s | 15 | 840657 | 102232 | 15391 13 | 390 | 331 226.75/226.81 c 226s | 15 | 844023 | 103132 | 15391 13 | 390 | 331 228.76/228.81 c 228s | 15 | 848998 | 104032 | 15391 13 | 390 | 331 230.85/230.91 c 230s | 15 | 856745 | 105232 | 15391 13 | 390 | 331 232.85/232.92 c 232s | 15 | 860606 | 106132 | 15391 13 | 390 | 331 234.95/235.01 c 234s | 15 | 867284 | 107132 | 15391 13 | 390 | 331 237.05/237.17 c 236s | 15 | 869024 | 107632 | 15391 13 | 390 | 331 239.25/239.35 c 239s | 15 | 872199 | 108232 | 15391 13 | 390 | 331 241.35/241.45 c 241s | 15 | 873099 | 108532 | 15391 13 | 390 | 331 244.26/244.31 c 244s | 15 | 874704 | 108932 | 15391 13 | 390 | 331 246.25/246.38 c 246s | 15 | 875090 | 109132 | 15391 13 | 390 | 331 248.66/248.73 c 248s | 15 | 875673 | 109432 | 15391 13 | 390 | 331 251.05/251.19 c 250s | 15 | 881821 | 110432 | 15391 14 | 390 | 331 253.15/253.22 c 253s | 15 | 888934 | 111732 | 15391 14 | 390 | 331 255.16/255.25 c 255s | 15 | 893476 | 112632 | 15391 14 | 390 | 331 257.46/257.57 c 257s | 15 | 900610 | 113632 | 15391 14 | 390 | 331 259.45/259.59 c 259s | 15 | 913642 | 115032 | 15391 14 | 390 | 331 261.65/261.80 c 261s | 15 | 918115 | 116332 | 15391 14 | 390 | 331 263.75/263.86 c 263s | 15 | 919866 | 116932 | 15391 14 | 390 | 331 265.85/265.91 c 265s | 15 | 923269 | 117632 | 15391 14 | 390 | 331 268.25/268.35 c 268s | 15 | 925448 | 118332 | 15391 14 | 390 | 331 270.55/270.65 c 270s | 15 | 927014 | 118832 | 15391 15 | 390 | 331 272.75/272.85 c 272s | 15 | 928185 | 119332 | 15391 15 | 390 | 331 274.85/274.94 c 274s | 15 | 930726 | 119932 | 15391 15 | 390 | 331 276.94/277.09 c 276s | 15 | 945588 | 121332 | 15391 15 | 391 | 332 279.24/279.33 c 279s | 15 | 950313 | 122332 | 15391 15 | 391 | 332 281.34/281.46 c 281s | 15 | 952229 | 122932 | 15391 15 | 391 | 332 283.85/283.92 c 283s | 15 | 954562 | 123732 | 15391 15 | 391 | 332 285.84/285.93 c 285s | 15 | 957559 | 124532 | 15391 15 | 391 | 332 287.84/287.96 c 287s | 15 | 962137 | 125632 | 15391 15 | 391 | 332 289.94/290.02 c 289s | 15 | 969545 | 126532 | 15391 16 | 391 | 332 292.04/292.13 c 291s | 15 | 981169 | 128232 | 15391 16 | 392 | 333 294.04/294.15 c 293s | 15 | 996304 | 129932 | 15391 16 | 392 | 333 295.95/296.05 c 295s | 16 | 1012536 | 131552 | 16931 16 | 392 | 333 298.15/298.25 c 298s | 16 | 1022314 | 132952 | 16931 16 | 392 | 333 300.14/300.29 c 300s | 16 | 1025555 | 133952 | 16931 16 | 392 | 333 302.24/302.37 c 302s | 16 | 1028829 | 134852 | 16931 16 | 392 | 333 304.44/304.52 c 304s | 16 | 1036075 | 135852 | 16931 16 | 392 | 333 307.14/307.29 c 307s | 16 | 1038130 | 136352 | 16931 16 | 392 | 333 310.44/310.54 c 310s | 16 | 1038969 | 136552 | 16931 16 | 392 | 333 312.54/312.65 c 312s | 16 | 1042640 | 137252 | 16931 17 | 392 | 333 314.65/314.77 c 314s | 16 | 1046461 | 138052 | 16931 17 | 392 | 333 316.85/316.99 c 316s | 16 | 1054663 | 139052 | 16931 17 | 392 | 333 318.95/319.00 c 318s | 16 | 1062930 | 139852 | 16931 17 | 392 | 333 321.04/321.16 c 320s | 16 | 1064573 | 140352 | 16931 17 | 392 | 333 323.14/323.22 c 323s | 16 | 1065063 | 140552 | 16931 17 | 392 | 333 325.34/325.44 c 325s | 16 | 1066171 | 140952 | 16931 17 | 392 | 333 327.44/327.59 c 327s | 16 | 1067308 | 141252 | 16931 17 | 392 | 333 329.64/329.72 c 329s | 16 | 1071301 | 141952 | 16931 17 | 392 | 333 331.74/331.83 c 331s | 16 | 1073554 | 142352 | 16931 17 | 392 | 333 334.45/334.53 c 334s | 16 | 1075716 | 142852 | 16931 17 | 392 | 333 337.24/337.31 c 337s | 16 | 1077253 | 143252 | 16931 17 | 392 | 333 339.44/339.55 c 339s | 16 | 1078740 | 143652 | 16931 17 | 392 | 333 341.64/341.76 c 341s | 16 | 1079805 | 143952 | 16931 17 | 392 | 333 343.84/343.99 c 343s | 16 | 1080359 | 144152 | 16931 17 | 392 | 333 346.04/346.18 c 345s | 16 | 1084044 | 144652 | 16931 17 | 392 | 333 348.84/348.91 c 348s | 16 | 1086793 | 145152 | 16931 17 | 392 | 333 351.04/351.17 c 350s | 16 | 1088729 | 145552 | 16931 17 | 392 | 333 353.54/353.61 c 353s | 16 | 1090197 | 145952 | 16931 17 | 392 | 333 355.54/355.63 c 355s | 16 | 1092436 | 146552 | 16931 18 | 392 | 333 357.64/357.74 c 357s | 16 | 1095805 | 147052 | 16931 18 | 392 | 333 360.04/360.13 c 359s | 16 | 1099727 | 147652 | 16931 18 | 392 | 333 362.24/362.30 c 362s | 16 | 1102335 | 148152 | 16931 18 | 392 | 333 364.54/364.60 c 364s | 16 | 1104356 | 148652 | 16931 18 | 392 | 333 366.64/366.75 c 366s | 16 | 1105383 | 148952 | 16931 18 | 392 | 333 368.94/369.09 c 368s | 16 | 1106903 | 149352 | 16931 18 | 392 | 333 371.84/371.99 c 371s | 16 | 1107775 | 149652 | 16931 18 | 392 | 333 374.84/374.90 c 374s | 16 | 1108676 | 149952 | 16931 18 | 392 | 333 377.13/377.28 c 377s | 16 | 1109289 | 150152 | 16931 18 | 392 | 333 379.93/380.04 c 379s | 16 | 1109794 | 150352 | 16931 18 | 392 | 333 382.74/382.83 c 382s | 16 | 1110230 | 150552 | 16931 18 | 392 | 333 385.33/385.43 c 385s | 16 | 1110653 | 150752 | 16931 18 | 392 | 333 388.73/388.81 c 388s | 16 | 1111066 | 150952 | 16931 18 | 392 | 333 391.13/391.28 c 391s | 16 | 1111890 | 151152 | 16931 18 | 392 | 333 393.63/393.78 c 393s | 16 | 1113299 | 151552 | 16931 18 | 392 | 333 396.33/396.40 c 396s | 16 | 1114756 | 151952 | 16931 18 | 392 | 333 399.03/399.14 c 398s | 16 | 1115757 | 152252 | 16931 18 | 392 | 333 401.03/401.20 c 400s | 16 | 1117013 | 152552 | 16931 18 | 392 | 333 403.23/403.37 c 403s | 16 | 1117450 | 152752 | 16931 18 | 392 | 333 405.84/405.97 c 405s | 16 | 1118254 | 153052 | 16931 18 | 392 | 333 408.33/408.42 c 408s | 16 | 1120911 | 153452 | 16931 18 | 392 | 333 410.63/410.70 c 410s | 16 | 1122490 | 153852 | 16931 18 | 392 | 333 412.93/413.10 c 412s | 16 | 1123955 | 154152 | 16931 18 | 392 | 333 415.03/415.15 c 414s | 16 | 1125628 | 154452 | 16931 18 | 392 | 333 418.43/418.57 c 418s | 16 | 1126425 | 154752 | 16931 18 | 392 | 333 420.53/420.65 c 420s | 16 | 1127171 | 154952 | 16931 18 | 392 | 333 423.43/423.53 c 423s | 16 | 1128149 | 155252 | 16931 18 | 392 | 333 425.63/425.74 c 425s | 16 | 1128697 | 155452 | 16931 18 | 392 | 333 428.62/428.77 c 428s | 16 | 1129745 | 155752 | 16931 18 | 392 | 333 430.92/431.08 c 430s | 16 | 1130733 | 156052 | 16931 18 | 392 | 333 433.12/433.29 c 433s | 16 | 1131542 | 156252 | 16931 18 | 392 | 333 435.22/435.31 c 435s | 16 | 1132156 | 156452 | 16931 18 | 392 | 333 437.42/437.59 c 437s | 16 | 1132581 | 156652 | 16931 18 | 392 | 333 439.82/439.92 c 439s | 16 | 1133191 | 156852 | 16931 18 | 392 | 333 442.32/442.42 c 442s | 16 | 1133502 | 157052 | 16931 18 | 392 | 333 444.72/444.82 c 444s | 16 | 1134036 | 157252 | 16931 19 | 392 | 333 446.82/446.93 c 446s | 16 | 1134786 | 157452 | 16931 19 | 392 | 333 449.22/449.32 c 449s | 16 | 1135232 | 157652 | 16931 19 | 392 | 333 451.52/451.67 c 451s | 16 | 1137823 | 158152 | 16931 19 | 392 | 333 453.82/453.90 c 453s | 16 | 1138879 | 158452 | 16931 19 | 392 | 333 455.82/455.97 c 455s | 16 | 1139391 | 158652 | 16931 19 | 392 | 333 457.82/458.00 c 457s | 16 | 1139882 | 158852 | 16931 19 | 392 | 333 460.32/460.42 c 460s | 16 | 1140387 | 159052 | 16931 19 | 392 | 333 462.32/462.47 c 462s | 16 | 1140970 | 159252 | 16931 19 | 392 | 333 464.42/464.50 c 464s | 16 | 1141624 | 159452 | 16931 19 | 392 | 333 467.02/467.18 c 466s | 16 | 1142579 | 159752 | 16931 19 | 392 | 333 470.12/470.26 c 470s | 16 | 1143729 | 160052 | 16931 19 | 392 | 333 473.42/473.50 c 473s | 16 | 1144298 | 160252 | 16931 19 | 392 | 333 476.82/476.91 c 476s | 16 | 1144729 | 160452 | 16931 19 | 392 | 333 479.02/479.19 c 478s | 16 | 1145479 | 160652 | 16931 19 | 392 | 333 481.92/482.05 c 481s | 16 | 1146716 | 160952 | 16931 19 | 392 | 333 484.92/485.00 c 484s | 16 | 1147405 | 161152 | 16931 19 | 392 | 333 487.11/487.26 c 487s | 16 | 1147920 | 161352 | 16931 19 | 392 | 333 489.61/489.73 c 489s | 16 | 1149779 | 161652 | 16931 19 | 392 | 333 492.11/492.22 c 492s | 16 | 1150261 | 161852 | 16931 19 | 392 | 333 494.61/494.75 c 494s | 16 | 1150928 | 162052 | 16931 19 | 392 | 333 497.41/497.52 c 497s | 16 | 1151991 | 162352 | 16931 19 | 392 | 333 500.11/500.25 c 500s | 16 | 1152553 | 162552 | 16931 19 | 392 | 333 502.62/502.76 c 502s | 16 | 1153169 | 162752 | 16931 19 | 392 | 333 504.71/504.80 c 504s | 16 | 1153438 | 162852 | 16931 19 | 392 | 333 506.71/506.84 c 506s | 16 | 1153621 | 162952 | 16931 19 | 392 | 333 509.91/510.04 c 509s | 16 | 1154201 | 163152 | 16931 19 | 392 | 333 512.11/512.25 c 512s | 16 | 1154451 | 163252 | 16931 19 | 392 | 333 515.92/516.06 c 515s | 16 | 1154902 | 163452 | 16931 19 | 392 | 333 518.12/518.29 c 518s | 16 | 1155479 | 163652 | 16931 19 | 392 | 333 521.01/521.11 c 520s | 16 | 1155888 | 163852 | 16931 19 | 392 | 333 524.01/524.12 c 523s | 16 | 1156605 | 164052 | 16931 19 | 392 | 333 526.21/526.39 c 526s | 16 | 1156819 | 164152 | 16931 19 | 392 | 333 530.81/530.90 c 530s | 16 | 1157336 | 164352 | 16931 19 | 392 | 333 532.91/533.04 c 532s | 16 | 1157614 | 164452 | 16931 19 | 392 | 333 535.01/535.18 c 534s | 16 | 1157802 | 164552 | 16931 19 | 392 | 333 538.31/538.44 c 538s | 16 | 1158319 | 164752 | 16931 19 | 392 | 333 540.51/540.62 c 540s | 16 | 1158989 | 164952 | 16931 19 | 392 | 333 543.31/543.43 c 543s | 16 | 1159557 | 165152 | 16931 19 | 392 | 333 546.61/546.77 c 546s | 16 | 1160399 | 165452 | 16931 19 | 392 | 333 549.10/549.20 c 548s | 16 | 1161088 | 165652 | 16931 19 | 392 | 333 552.21/552.33 c 552s | 16 | 1161462 | 165852 | 16931 19 | 392 | 333 555.41/555.56 c 555s | 16 | 1162059 | 166052 | 16931 20 | 392 | 333 557.50/557.64 c 557s | 16 | 1163885 | 166552 | 16931 20 | 392 | 333 559.50/559.69 c 559s | 16 | 1165299 | 166952 | 16931 20 | 392 | 333 561.80/561.92 c 561s | 16 | 1166832 | 167252 | 16931 20 | 392 | 333 564.70/564.81 c 564s | 16 | 1169575 | 167652 | 16931 20 | 392 | 333 567.41/567.58 c 567s | 16 | 1170882 | 167952 | 16931 20 | 392 | 333 570.51/570.60 c 570s | 16 | 1171702 | 168152 | 16931 20 | 392 | 333 572.51/572.64 c 572s | 16 | 1172339 | 168352 | 16931 20 | 392 | 333 575.31/575.42 c 575s | 16 | 1172874 | 168552 | 16931 20 | 392 | 333 579.01/579.13 c 578s | 16 | 1173283 | 168752 | 16931 20 | 392 | 333 581.40/581.59 c 581s | 16 | 1174357 | 168952 | 16931 20 | 392 | 333 583.60/583.77 c 583s | 16 | 1175633 | 169152 | 16931 20 | 392 | 333 587.20/587.40 c 587s | 16 | 1176290 | 169352 | 16931 20 | 392 | 333 590.80/590.90 c 590s | 16 | 1177076 | 169552 | 16931 20 | 392 | 333 593.80/593.96 c 593s | 16 | 1177238 | 169652 | 16931 20 | 392 | 333 596.80/596.98 c 596s | 16 | 1177415 | 169752 | 16931 20 | 392 | 333 599.00/599.13 c 598s | 16 | 1177690 | 169852 | 16931 20 | 392 | 333 601.71/601.88 c 601s | 16 | 1177889 | 169952 | 16931 20 | 392 | 333 605.01/605.17 c 604s | 16 | 1178495 | 170152 | 16931 20 | 392 | 333 608.70/608.81 c 608s | 16 | 1179325 | 170352 | 16931 20 | 392 | 333 611.70/611.89 c 611s | 16 | 1179603 | 170452 | 16931 20 | 392 | 333 613.89/614.04 c 613s | 16 | 1180633 | 170652 | 16931 20 | 392 | 333 617.10/617.24 c 617s | 16 | 1181741 | 170952 | 16931 20 | 392 | 333 619.20/619.31 c 619s | 16 | 1182600 | 171152 | 16931 20 | 392 | 333 621.99/622.12 c 621s | 16 | 1183027 | 171352 | 16931 20 | 392 | 333 624.19/624.32 c 624s | 16 | 1185075 | 171652 | 16931 20 | 392 | 333 626.79/626.99 c 626s | 16 | 1186795 | 172052 | 16931 20 | 392 | 333 628.99/629.10 c 628s | 16 | 1188323 | 172352 | 16931 20 | 392 | 333 631.59/631.77 c 631s | 16 | 1188945 | 172652 | 16931 20 | 392 | 333 634.79/634.92 c 634s | 16 | 1189674 | 172952 | 16931 20 | 392 | 333 636.99/637.10 c 636s | 16 | 1190473 | 173252 | 16931 20 | 392 | 333 639.69/639.84 c 639s | 16 | 1193188 | 173652 | 16931 20 | 392 | 333 642.19/642.30 c 642s | 16 | 1193882 | 173852 | 16931 20 | 392 | 333 644.50/644.67 c 644s | 16 | 1194802 | 174152 | 16931 20 | 392 | 333 646.89/647.07 c 646s | 16 | 1195262 | 174352 | 16931 20 | 392 | 333 649.19/649.39 c 649s | 16 | 1196418 | 174652 | 16931 20 | 392 | 333 651.49/651.64 c 651s | 16 | 1196994 | 174852 | 16931 20 | 392 | 333 653.69/653.87 c 653s | 16 | 1197644 | 175052 | 16931 21 | 392 | 333 655.79/655.92 c 655s | 16 | 1198436 | 175352 | 16931 21 | 392 | 333 658.39/658.59 c 658s | 16 | 1199656 | 175752 | 16931 21 | 392 | 333 660.89/661.08 c 660s | 16 | 1200081 | 175952 | 16931 21 | 392 | 333 662.89/663.09 c 662s | 16 | 1200514 | 176152 | 16931 21 | 392 | 333 665.19/665.40 c 665s | 16 | 1201105 | 176352 | 16931 21 | 392 | 333 667.69/667.86 c 667s | 16 | 1201507 | 176552 | 16931 21 | 392 | 333 670.09/670.28 c 670s | 16 | 1201915 | 176752 | 16931 21 | 392 | 333 672.19/672.33 c 672s | 16 | 1202992 | 177152 | 16931 21 | 392 | 333 674.39/674.58 c 674s | 16 | 1207573 | 177752 | 16931 21 | 392 | 333 676.89/677.02 c 676s | 16 | 1211281 | 178252 | 16931 21 | 392 | 333 679.08/679.27 c 679s | 16 | 1211929 | 178552 | 16931 21 | 392 | 333 681.99/682.17 c 681s | 16 | 1212615 | 178852 | 16931 21 | 392 | 333 684.98/685.11 c 684s | 16 | 1213413 | 179152 | 16931 21 | 392 | 333 687.49/687.60 c 687s | 16 | 1213688 | 179352 | 16931 21 | 392 | 333 690.08/690.23 c 690s | 16 | 1214457 | 179652 | 16931 21 | 392 | 333 692.18/692.35 c 692s | 16 | 1215168 | 179952 | 16931 21 | 392 | 333 694.68/694.87 c 694s | 16 | 1216166 | 180252 | 16931 21 | 392 | 333 697.18/697.34 c 697s | 16 | 1217140 | 180452 | 16931 21 | 392 | 333 699.88/700.01 c 699s | 16 | 1217534 | 180652 | 16931 21 | 392 | 333 703.38/703.52 c 703s | 16 | 1218091 | 180852 | 16931 21 | 392 | 333 705.88/706.05 c 705s | 16 | 1218465 | 181052 | 16931 21 | 392 | 333 707.88/708.07 c 707s | 16 | 1218868 | 181252 | 16931 21 | 392 | 333 710.88/711.03 c 710s | 16 | 1219754 | 181552 | 16931 21 | 392 | 333 713.38/713.52 c 713s | 16 | 1220444 | 181752 | 16931 21 | 392 | 333 715.98/716.14 c 715s | 16 | 1222697 | 182152 | 16931 21 | 392 | 333 718.47/718.64 c 718s | 16 | 1223211 | 182352 | 16931 21 | 392 | 333 720.97/721.10 c 720s | 16 | 1223759 | 182552 | 16931 21 | 392 | 333 723.78/723.91 c 723s | 16 | 1224162 | 182752 | 16931 21 | 392 | 333 726.37/726.56 c 726s | 16 | 1224548 | 182952 | 16931 21 | 392 | 333 728.77/728.97 c 728s | 16 | 1224889 | 183152 | 16931 21 | 392 | 333 731.27/731.49 c 731s | 16 | 1225797 | 183452 | 16931 21 | 392 | 333 733.38/733.59 c 733s | 16 | 1226221 | 183652 | 16931 21 | 392 | 333 736.08/736.27 c 736s | 16 | 1227034 | 183952 | 16931 21 | 392 | 333 738.48/738.67 c 738s | 16 | 1227538 | 184152 | 16931 21 | 392 | 333 741.28/741.43 c 741s | 16 | 1227905 | 184352 | 16931 21 | 392 | 333 745.38/745.57 c 745s | 16 | 1228265 | 184552 | 16931 21 | 392 | 333 748.38/748.56 c 748s | 16 | 1228692 | 184752 | 16931 21 | 392 | 333 751.08/751.24 c 751s | 16 | 1229442 | 185052 | 16931 21 | 392 | 333 753.78/753.91 c 753s | 16 | 1230257 | 185352 | 16931 22 | 392 | 333 755.97/756.14 c 755s | 16 | 1232520 | 185952 | 16931 22 | 392 | 333 758.07/758.25 c 758s | 16 | 1233809 | 186452 | 16931 22 | 392 | 333 760.47/760.68 c 760s | 16 | 1236834 | 186952 | 16931 22 | 392 | 333 762.97/763.19 c 762s | 16 | 1237310 | 187152 | 16931 22 | 392 | 333 765.27/765.42 c 765s | 16 | 1239319 | 187552 | 16931 22 | 392 | 333 767.67/767.90 c 767s | 16 | 1241576 | 188052 | 16931 22 | 392 | 333 770.16/770.35 c 770s | 16 | 1243398 | 188452 | 16931 22 | 392 | 333 772.36/772.50 c 772s | 16 | 1244306 | 188752 | 16931 22 | 392 | 333 774.76/774.91 c 774s | 16 | 1245039 | 189052 | 16931 22 | 392 | 333 776.86/777.03 c 776s | 16 | 1246194 | 189352 | 16931 22 | 392 | 333 779.16/779.35 c 779s | 16 | 1248446 | 189952 | 16931 22 | 392 | 333 781.76/781.90 c 781s | 16 | 1249884 | 190352 | 16931 22 | 392 | 333 784.46/784.64 c 784s | 16 | 1250896 | 190652 | 16931 22 | 392 | 333 786.96/787.12 c 786s | 16 | 1252670 | 191052 | 16931 22 | 392 | 333 789.26/789.40 c 789s | 16 | 1253570 | 191352 | 16931 22 | 392 | 333 791.55/791.77 c 791s | 16 | 1254498 | 191652 | 16931 22 | 392 | 333 794.25/794.40 c 794s | 16 | 1255305 | 191952 | 16931 22 | 392 | 333 796.65/796.81 c 796s | 16 | 1256062 | 192252 | 16931 22 | 392 | 333 798.75/798.92 c 798s | 16 | 1256698 | 192452 | 16931 22 | 392 | 333 801.25/801.40 c 801s | 16 | 1257838 | 192852 | 16931 22 | 392 | 333 803.25/803.42 c 803s | 16 | 1258323 | 193052 | 16931 22 | 392 | 333 805.45/805.69 c 805s | 16 | 1259392 | 193352 | 16931 22 | 392 | 333 807.85/808.07 c 807s | 16 | 1260210 | 193652 | 16931 22 | 392 | 333 810.34/810.54 c 810s | 16 | 1261128 | 193952 | 16931 22 | 392 | 333 813.14/813.39 c 813s | 16 | 1262289 | 194352 | 16931 22 | 392 | 333 816.05/816.28 c 816s | 16 | 1263088 | 194652 | 16931 22 | 392 | 333 818.94/819.15 c 818s | 16 | 1263696 | 194952 | 16931 22 | 392 | 333 821.55/821.79 c 821s | 16 | 1264814 | 195352 | 16931 23 | 392 | 333 824.24/824.46 c 824s | 16 | 1265235 | 195552 | 16931 23 | 392 | 333 827.05/827.29 c 827s | 16 | 1265783 | 195852 | 16931 23 | 392 | 333 829.64/829.86 c 829s | 16 | 1268835 | 196452 | 18625 23 | 392 | 333 831.74/831.92 c 831s | 16 | 1270148 | 196852 | 18625 23 | 392 | 333 834.44/834.67 c 834s | 16 | 1271509 | 197252 | 18625 23 | 392 | 333 835.95/836.16 c 835s | 17 | 1272068 | 197432 | 18625 23 | 392 | 333 838.84/839.00 c 838s | 17 | 1273512 | 197732 | 18625 23 | 392 | 333 840.94/841.13 c 840s | 17 | 1284117 | 199132 | 18625 23 | 392 | 333 843.14/843.30 c 843s | 17 | 1288447 | 200132 | 18625 23 | 392 | 333 845.14/845.39 c 845s | 17 | 1291319 | 200832 | 18625 23 | 392 | 333 847.24/847.49 c 847s | 17 | 1294263 | 201632 | 18625 23 | 392 | 333 849.34/849.58 c 849s | 17 | 1296804 | 202232 | 18625 23 | 392 | 333 851.63/851.87 c 851s | 17 | 1298264 | 202732 | 18625 23 | 392 | 333 854.03/854.24 c 854s | 17 | 1300571 | 203432 | 18625 23 | 392 | 333 856.43/856.62 c 856s | 17 | 1302502 | 204032 | 18625 23 | 392 | 333 858.53/858.70 c 858s | 17 | 1304995 | 204732 | 18625 23 | 392 | 333 860.63/860.86 c 860s | 17 | 1308310 | 205532 | 18625 23 | 392 | 333 862.63/862.87 c 862s | 17 | 1313846 | 206332 | 18625 24 | 392 | 333 864.63/864.89 c 864s | 17 | 1331311 | 207932 | 18625 24 | 392 | 333 866.63/866.90 c 866s | 17 | 1340352 | 209432 | 18625 24 | 392 | 333 868.73/868.95 c 868s | 17 | 1347679 | 210632 | 18625 24 | 393 | 334 870.82/871.08 c 870s | 17 | 1354563 | 212032 | 18625 24 | 393 | 334 872.92/873.16 c 872s | 17 | 1357712 | 212932 | 18625 24 | 393 | 334 875.03/875.21 c 875s | 17 | 1360074 | 213532 | 18625 24 | 393 | 334 877.23/877.46 c 877s | 17 | 1363331 | 214432 | 18625 24 | 393 | 334 879.52/879.72 c 879s | 17 | 1365790 | 215232 | 18625 24 | 393 | 334 882.13/882.32 c 882s | 17 | 1367624 | 215832 | 18625 24 | 393 | 334 884.33/884.58 c 884s | 17 | 1368825 | 216332 | 18625 24 | 393 | 334 886.52/886.78 c 886s | 17 | 1370709 | 216832 | 18625 24 | 393 | 334 888.91/889.12 c 888s | 17 | 1371783 | 217232 | 18625 24 | 393 | 334 891.22/891.47 c 891s | 17 | 1372567 | 217532 | 18625 24 | 393 | 334 893.72/893.94 c 893s | 17 | 1373695 | 217932 | 18625 25 | 393 | 334 896.02/896.23 c 896s | 17 | 1375132 | 218432 | 18625 25 | 393 | 334 898.42/898.61 c 898s | 17 | 1376326 | 218832 | 18625 25 | 393 | 334 900.51/900.72 c 900s | 17 | 1378662 | 219432 | 18625 25 | 393 | 334 902.81/903.01 c 902s | 17 | 1381035 | 220232 | 18625 25 | 393 | 334 905.12/905.30 c 905s | 17 | 1382465 | 220832 | 18625 25 | 393 | 334 907.21/907.45 c 907s | 17 | 1385697 | 221432 | 18625 25 | 393 | 334 909.21/909.47 c 909s | 17 | 1388206 | 222032 | 18625 25 | 393 | 334 911.51/911.78 c 911s | 17 | 1390408 | 222632 | 18625 25 | 393 | 334 913.61/913.86 c 913s | 17 | 1391793 | 223132 | 18625 25 | 393 | 334 915.70/915.94 c 915s | 17 | 1392550 | 223532 | 18625 25 | 393 | 334 917.90/918.18 c 917s | 17 | 1393713 | 223932 | 18625 25 | 393 | 334 920.21/920.43 c 920s | 17 | 1395495 | 224432 | 18625 25 | 393 | 334 922.51/922.74 c 922s | 17 | 1396437 | 224832 | 18625 25 | 393 | 334 924.61/924.85 c 924s | 17 | 1398086 | 225332 | 18625 25 | 393 | 334 927.00/927.25 c 927s | 17 | 1398922 | 225732 | 18625 25 | 393 | 334 929.20/929.43 c 929s | 17 | 1399649 | 226032 | 18625 25 | 393 | 334 931.30/931.50 c 931s | 17 | 1400355 | 226332 | 18625 25 | 393 | 334 933.89/934.14 c 933s | 17 | 1401186 | 226732 | 18625 25 | 393 | 334 936.09/936.35 c 936s | 17 | 1403446 | 227232 | 18625 26 | 393 | 334 938.30/938.50 c 938s | 17 | 1405780 | 227732 | 18625 26 | 393 | 334 940.40/940.70 c 940s | 17 | 1407807 | 228232 | 18625 26 | 393 | 334 942.79/943.05 c 942s | 17 | 1410574 | 229132 | 18625 26 | 393 | 334 944.79/945.06 c 944s | 17 | 1411425 | 229532 | 18625 26 | 393 | 334 947.19/947.47 c 947s | 17 | 1413139 | 230132 | 18625 26 | 393 | 334 949.58/949.89 c 949s | 17 | 1414219 | 230532 | 18625 26 | 393 | 334 951.78/952.03 c 951s | 17 | 1414824 | 230832 | 18625 26 | 393 | 334 954.29/954.51 c 954s | 17 | 1416395 | 231232 | 18625 26 | 393 | 334 956.39/956.68 c 956s | 17 | 1418441 | 231632 | 18625 26 | 393 | 334 958.59/958.83 c 958s | 17 | 1419901 | 232032 | 18625 26 | 393 | 334 960.68/960.92 c 960s | 17 | 1420867 | 232332 | 18625 26 | 393 | 334 963.08/963.34 c 963s | 17 | 1421728 | 232732 | 18625 26 | 393 | 334 965.17/965.44 c 965s | 17 | 1422315 | 233032 | 18625 26 | 393 | 334 967.47/967.79 c 967s | 17 | 1422908 | 233332 | 18625 26 | 393 | 334 969.67/969.96 c 969s | 17 | 1423564 | 233632 | 18625 26 | 393 | 334 971.67/971.98 c 971s | 17 | 1424572 | 233932 | 18625 26 | 393 | 334 974.48/974.74 c 974s | 17 | 1426240 | 234332 | 18625 26 | 393 | 334 976.97/977.21 c 977s | 17 | 1426789 | 234632 | 18625 26 | 393 | 334 979.47/979.70 c 979s | 17 | 1427446 | 234932 | 18625 26 | 393 | 334 981.67/981.97 c 981s | 17 | 1427994 | 235232 | 18625 26 | 393 | 334 984.27/984.55 c 984s | 17 | 1428566 | 235532 | 18625 26 | 393 | 334 986.76/987.02 c 986s | 17 | 1429014 | 235832 | 18625 26 | 393 | 334 988.86/989.12 c 988s | 17 | 1434899 | 236432 | 18625 26 | 393 | 334 990.96/991.29 c 991s | 17 | 1440118 | 237432 | 18625 26 | 393 | 334 993.16/993.44 c 993s | 17 | 1444294 | 238132 | 18625 27 | 393 | 334 995.26/995.57 c 995s | 17 | 1446879 | 238932 | 18625 27 | 393 | 334 997.36/997.61 c 997s | 17 | 1456297 | 240232 | 18625 27 | 393 | 334 999.35/999.65 c 999s | 17 | 1465493 | 241732 | 18625 27 | 393 | 334 1001.35/1001.66 c 1001s | 17 | 1473630 | 243132 | 18625 27 | 393 | 334 1003.75/1004.00 c 1003s | 17 | 1476275 | 243732 | 18625 27 | 393 | 334 1005.95/1006.22 c 1006s | 17 | 1477102 | 244032 | 18625 27 | 393 | 334 1007.95/1008.27 c 1008s | 17 | 1483261 | 244832 | 18625 27 | 393 | 334 1010.05/1010.37 c 1010s | 17 | 1497509 | 246132 | 18625 27 | 393 | 334 1012.05/1012.38 c 1012s | 17 | 1501160 | 247032 | 18625 27 | 393 | 334 1014.15/1014.46 c 1014s | 17 | 1508323 | 248332 | 18625 28 | 393 | 334 1016.25/1016.54 c 1016s | 17 | 1520628 | 249932 | 18625 28 | 393 | 334 1018.35/1018.61 c 1018s | 17 | 1526690 | 251132 | 18625 28 | 393 | 334 1020.34/1020.69 c 1020s | 17 | 1530503 | 252132 | 18625 28 | 393 | 334 1022.54/1022.83 c 1022s | 17 | 1540340 | 253432 | 18625 28 | 393 | 334 1024.64/1024.91 c 1024s | 17 | 1543710 | 254232 | 18625 28 | 393 | 334 1026.74/1027.00 c 1026s | 17 | 1551778 | 255532 | 18625 28 | 393 | 334 1028.74/1029.02 c 1028s | 17 | 1558710 | 256632 | 18625 28 | 393 | 334 1030.94/1031.20 c 1030s | 17 | 1561908 | 257532 | 18625 28 | 393 | 334 1033.14/1033.44 c 1033s | 17 | 1563814 | 258232 | 18625 28 | 393 | 334 1035.44/1035.79 c 1035s | 17 | 1565457 | 258832 | 18625 28 | 393 | 334 1037.74/1038.02 c 1037s | 17 | 1567846 | 259532 | 18625 29 | 393 | 334 1039.73/1040.03 c 1039s | 17 | 1570526 | 260432 | 18625 29 | 393 | 334 1041.83/1042.18 c 1041s | 17 | 1573700 | 261232 | 18625 29 | 393 | 334 1044.13/1044.45 c 1044s | 17 | 1576231 | 261932 | 18625 29 | 393 | 334 1046.13/1046.48 c 1046s | 17 | 1579209 | 262732 | 18625 29 | 393 | 334 1048.23/1048.59 c 1048s | 17 | 1581788 | 263432 | 18625 29 | 393 | 334 1050.52/1050.84 c 1050s | 17 | 1583504 | 263932 | 18625 29 | 393 | 334 1052.82/1053.14 c 1052s | 17 | 1587063 | 264932 | 18625 29 | 393 | 334 1055.02/1055.37 c 1055s | 17 | 1589128 | 265632 | 18625 29 | 393 | 334 1057.12/1057.42 c 1057s | 17 | 1590277 | 266132 | 18625 29 | 393 | 334 1059.21/1059.56 c 1059s | 17 | 1591502 | 266632 | 18625 29 | 393 | 334 1061.41/1061.71 c 1061s | 17 | 1594531 | 267432 | 18625 29 | 393 | 334 1063.71/1064.05 c 1063s | 17 | 1595527 | 267932 | 18625 29 | 393 | 334 1065.81/1066.13 c 1065s | 17 | 1596502 | 268332 | 18625 29 | 393 | 334 1067.92/1068.23 c 1068s | 17 | 1597479 | 268732 | 18625 29 | 393 | 334 1070.22/1070.51 c 1070s | 17 | 1598286 | 269132 | 18625 29 | 393 | 334 1072.22/1072.57 c 1072s | 17 | 1599383 | 269532 | 18625 29 | 393 | 334 1074.42/1074.78 c 1074s | 17 | 1600607 | 269932 | 18625 29 | 393 | 334 1076.51/1076.89 c 1076s | 17 | 1602107 | 270332 | 18625 30 | 393 | 334 1079.11/1079.45 c 1079s | 17 | 1605058 | 271132 | 18625 30 | 393 | 334 1081.21/1081.53 c 1081s | 17 | 1606997 | 271732 | 18625 30 | 393 | 334 1083.21/1083.55 c 1083s | 17 | 1609484 | 272432 | 18625 30 | 393 | 334 1085.31/1085.64 c 1085s | 17 | 1612379 | 273232 | 18625 30 | 393 | 334 1087.31/1087.65 c 1087s | 17 | 1614993 | 273932 | 18625 30 | 393 | 334 1089.30/1089.69 c 1089s | 17 | 1616713 | 274432 | 18625 30 | 393 | 334 1091.90/1092.27 c 1092s | 17 | 1618619 | 275032 | 18625 30 | 393 | 334 1094.10/1094.40 c 1094s | 17 | 1619818 | 275432 | 18625 30 | 393 | 334 1096.10/1096.48 c 1096s | 17 | 1621450 | 275932 | 18625 30 | 393 | 334 1098.49/1098.89 c 1098s | 17 | 1622279 | 276332 | 18625 30 | 393 | 334 1100.99/1101.36 c 1101s | 17 | 1623339 | 276832 | 18625 30 | 393 | 334 1103.39/1103.70 c 1103s | 17 | 1624942 | 277332 | 18625 30 | 393 | 334 1105.49/1105.84 c 1105s | 17 | 1629698 | 278232 | 18625 30 | 393 | 334 1107.68/1108.00 c 1107s | 17 | 1632424 | 279032 | 18625 30 | 393 | 334 1109.98/1110.37 c 1110s | 17 | 1635352 | 279732 | 18625 31 | 393 | 334 1112.08/1112.44 c 1112s | 17 | 1643908 | 281232 | 18625 31 | 393 | 334 1114.18/1114.55 c 1114s | 17 | 1647552 | 282232 | 18625 31 | 393 | 334 1116.38/1116.77 c 1116s | 17 | 1651203 | 283232 | 18625 31 | 393 | 334 1118.40/1118.79 c 1118s | 17 | 1655343 | 284232 | 18625 31 | 393 | 334 1120.59/1120.98 c 1120s | 17 | 1667641 | 285832 | 18625 31 | 393 | 334 1122.69/1123.03 c 1122s | 17 | 1674300 | 287032 | 18625 31 | 393 | 334 1124.79/1125.14 c 1124s | 17 | 1683151 | 288332 | 18625 31 | 393 | 334 1126.88/1127.20 c 1126s | 17 | 1685337 | 289032 | 18625 31 | 393 | 334 1128.98/1129.35 c 1129s | 17 | 1688489 | 289732 | 18625 31 | 393 | 334 1131.08/1131.45 c 1131s | 17 | 1690695 | 290432 | 18625 31 | 393 | 334 1133.27/1133.69 c 1133s | 17 | 1692869 | 291032 | 18625 32 | 393 | 334 1135.47/1135.85 c 1135s | 17 | 1696143 | 292032 | 18625 32 | 393 | 334 1137.77/1138.18 c 1137s | 17 | 1698265 | 292632 | 18625 32 | 393 | 334 1139.87/1140.24 c 1140s | 17 | 1700227 | 293232 | 18625 32 | 393 | 334 1142.07/1142.48 c 1142s | 17 | 1703391 | 294132 | 18625 32 | 393 | 334 1144.17/1144.53 c 1144s | 17 | 1704937 | 294732 | 20488 32 | 393 | 334 1146.46/1146.84 c 1146s | 17 | 1707035 | 295432 | 20488 32 | 393 | 334 1148.66/1149.09 c 1148s | 17 | 1709356 | 296132 | 20488 32 | 393 | 334 1149.17/1149.56 c 1149s | 18 | 1709846 | 296252 | 20488 32 | 393 | 334 1151.47/1151.86 c 1151s | 18 | 1718234 | 297652 | 20488 32 | 393 | 334 1153.57/1153.95 c 1153s | 18 | 1725498 | 298852 | 20488 32 | 393 | 334 1155.57/1155.96 c 1155s | 18 | 1742700 | 300152 | 20488 32 | 393 | 334 1157.67/1158.00 c 1157s | 18 | 1745820 | 300752 | 20488 32 | 393 | 334 1159.66/1160.05 c 1159s | 18 | 1766040 | 302352 | 20488 33 | 393 | 334 1161.66/1162.08 c 1161s | 18 | 1777871 | 303652 | 20488 33 | 393 | 334 1163.76/1164.12 c 1163s | 18 | 1780351 | 304452 | 20488 33 | 393 | 334 1166.46/1166.82 c 1166s | 18 | 1781159 | 304852 | 20488 33 | 393 | 334 1168.76/1169.14 c 1168s | 18 | 1783276 | 305552 | 20488 33 | 393 | 334 1170.95/1171.34 c 1171s | 18 | 1784771 | 305952 | 20488 33 | 393 | 334 1172.95/1173.36 c 1173s | 18 | 1785580 | 306252 | 20488 33 | 393 | 334 1175.15/1175.57 c 1175s | 18 | 1792053 | 307452 | 20488 33 | 393 | 334 1177.35/1177.70 c 1177s | 18 | 1796486 | 308252 | 20488 33 | 393 | 334 1179.55/1179.95 c 1179s | 18 | 1809254 | 309452 | 20488 33 | 393 | 334 1181.65/1182.06 c 1181s | 18 | 1813574 | 310152 | 20488 33 | 393 | 334 1184.25/1184.60 c 1184s | 18 | 1826075 | 311052 | 20488 33 | 393 | 334 1186.65/1187.09 c 1186s | 18 | 1828437 | 311452 | 20488 33 | 393 | 334 1188.95/1189.34 c 1189s | 18 | 1829143 | 311652 | 20488 33 | 393 | 334 1191.05/1191.45 c 1191s | 18 | 1836330 | 312552 | 20488 34 | 393 | 334 1193.04/1193.49 c 1193s | 18 | 1840977 | 313552 | 20488 34 | 393 | 334 1195.24/1195.62 c 1195s | 18 | 1846407 | 314452 | 20488 34 | 393 | 334 1197.24/1197.68 c 1197s | 18 | 1848701 | 314852 | 20488 34 | 393 | 334 1199.53/1199.97 c 1199s | 18 | 1850462 | 315352 | 20488 34 | 393 | 334 1201.94/1202.32 c 1202s | 18 | 1852564 | 315752 | 20488 34 | 393 | 334 1204.63/1205.04 c 1204s | 18 | 1854379 | 316152 | 20488 34 | 393 | 334 1206.83/1207.25 c 1207s | 18 | 1854827 | 316352 | 20488 34 | 393 | 334 1208.93/1209.33 c 1209s | 18 | 1855473 | 316552 | 20488 34 | 393 | 334 1211.13/1211.58 c 1211s | 18 | 1861506 | 317152 | 20488 34 | 393 | 334 1213.23/1213.69 c 1213s | 18 | 1871457 | 318352 | 20488 34 | 393 | 334 1215.33/1215.75 c 1215s | 18 | 1875657 | 319152 | 20488 34 | 393 | 334 1217.33/1217.79 c 1217s | 18 | 1886216 | 320152 | 20488 34 | 393 | 334 1219.53/1219.94 c 1219s | 18 | 1891150 | 320952 | 20488 34 | 393 | 334 1221.62/1222.10 c 1221s | 18 | 1900744 | 321952 | 20488 34 | 393 | 334 1223.82/1224.21 c 1223s | 18 | 1907409 | 322752 | 20488 34 | 393 | 334 1226.23/1226.60 c 1226s | 18 | 1909094 | 323252 | 20488 34 | 393 | 334 1228.22/1228.68 c 1228s | 18 | 1910727 | 323552 | 20488 35 | 393 | 334 1230.32/1230.74 c 1230s | 18 | 1920516 | 325052 | 20488 35 | 393 | 334 1232.51/1232.99 c 1232s | 18 | 1925178 | 326052 | 20488 35 | 393 | 334 1234.61/1235.05 c 1234s | 18 | 1934287 | 327152 | 20488 35 | 393 | 334 1236.71/1237.11 c 1236s | 18 | 1942886 | 328352 | 20488 35 | 393 | 334 1238.71/1239.17 c 1238s | 18 | 1949046 | 329352 | 20488 35 | 393 | 334 1240.71/1241.19 c 1240s | 18 | 1951001 | 329952 | 20488 35 | 393 | 334 1242.81/1243.26 c 1243s | 18 | 1953373 | 330452 | 20488 35 | 393 | 334 1244.91/1245.34 c 1245s | 18 | 1954675 | 330852 | 20488 35 | 393 | 334 1247.01/1247.49 c 1247s | 18 | 1959450 | 331552 | 20488 35 | 393 | 334 1249.21/1249.64 c 1249s | 18 | 1966261 | 332752 | 20488 35 | 393 | 334 1251.30/1251.77 c 1251s | 18 | 1974345 | 333852 | 20488 35 | 393 | 334 1253.71/1254.19 c 1253s | 18 | 1975236 | 334252 | 20488 35 | 393 | 334 1255.91/1256.39 c 1256s | 18 | 1976033 | 334552 | 20488 35 | 393 | 334 1258.10/1258.54 c 1258s | 18 | 1976662 | 334852 | 20488 35 | 393 | 334 1260.09/1260.55 c 1260s | 18 | 1978899 | 335652 | 20488 36 | 393 | 334 1262.10/1262.59 c 1262s | 18 | 1980798 | 336452 | 20488 36 | 393 | 334 1264.10/1264.59 c 1264s | 18 | 1981416 | 336752 | 20488 36 | 393 | 334 1266.40/1266.84 c 1266s | 18 | 1982448 | 337152 | 20488 36 | 393 | 334 1268.50/1268.95 c 1268s | 18 | 1986366 | 338352 | 20488 36 | 393 | 334 1270.69/1271.10 c 1270s | 18 | 1988754 | 339252 | 20488 36 | 393 | 334 1272.99/1273.40 c 1273s | 18 | 1990126 | 339952 | 20488 36 | 393 | 334 1275.19/1275.67 c 1275s | 18 | 1994057 | 340952 | 20488 36 | 393 | 334 1277.39/1277.85 c 1277s | 18 | 1995672 | 341552 | 20488 36 | 393 | 334 1279.58/1280.09 c 1279s | 18 | 1996687 | 341952 | 20488 36 | 393 | 334 1281.88/1282.36 c 1282s | 18 | 1998523 | 342652 | 20488 36 | 393 | 334 1284.28/1284.74 c 1284s | 18 | 2001228 | 343452 | 20488 36 | 393 | 334 1286.38/1286.89 c 1286s | 18 | 2003887 | 344152 | 20488 36 | 393 | 334 1288.48/1288.98 c 1288s | 18 | 2005517 | 344752 | 20488 36 | 393 | 334 1290.47/1290.99 c 1290s | 18 | 2007932 | 345352 | 20488 37 | 393 | 334 1292.57/1293.07 c 1292s | 18 | 2026250 | 347252 | 20488 37 | 393 | 334 1294.67/1295.15 c 1294s | 18 | 2037003 | 348752 | 20488 37 | 393 | 334 1296.67/1297.16 c 1296s | 18 | 2042434 | 349652 | 20488 37 | 393 | 334 1298.78/1299.27 c 1299s | 18 | 2049413 | 350752 | 20488 37 | 393 | 334 1300.87/1301.36 c 1301s | 18 | 2064836 | 352252 | 20488 37 | 394 | 335 1303.07/1303.52 c 1303s | 18 | 2080881 | 353552 | 20488 37 | 394 | 335 1305.17/1305.66 c 1305s | 18 | 2086262 | 354452 | 20488 37 | 394 | 335 1307.37/1307.81 c 1307s | 18 | 2098472 | 355652 | 20488 38 | 394 | 335 1309.46/1309.91 c 1309s | 18 | 2111886 | 357152 | 20488 38 | 394 | 335 1311.46/1311.97 c 1311s | 18 | 2121605 | 358752 | 20488 38 | 394 | 335 1313.76/1314.23 c 1314s | 18 | 2127659 | 359852 | 20488 38 | 394 | 335 1315.96/1316.49 c 1316s | 18 | 2130249 | 360652 | 20488 38 | 394 | 335 1318.06/1318.52 c 1318s | 18 | 2131922 | 361152 | 20488 38 | 394 | 335 1320.15/1320.67 c 1320s | 18 | 2132499 | 361452 | 20488 38 | 394 | 335 1322.55/1323.09 c 1322s | 18 | 2134212 | 362052 | 20488 38 | 394 | 335 1324.65/1325.16 c 1324s | 18 | 2135194 | 362452 | 20488 38 | 394 | 335 1327.15/1327.60 c 1327s | 18 | 2136403 | 362952 | 20488 38 | 394 | 335 1329.25/1329.75 c 1329s | 18 | 2137489 | 363352 | 20488 38 | 394 | 335 1331.95/1332.40 c 1332s | 18 | 2138632 | 363752 | 20488 38 | 394 | 335 1334.15/1334.62 c 1334s | 18 | 2139372 | 364052 | 20488 38 | 394 | 335 1336.45/1336.90 c 1336s | 18 | 2140647 | 364452 | 20488 38 | 394 | 335 1338.75/1339.28 c 1339s | 18 | 2141673 | 364952 | 20488 38 | 394 | 335 1340.84/1341.35 c 1341s | 18 | 2146926 | 365552 | 20488 39 | 394 | 335 1342.94/1343.45 c 1343s | 18 | 2157096 | 367152 | 20488 39 | 394 | 335 1345.04/1345.54 c 1345s | 18 | 2170846 | 368752 | 20488 39 | 394 | 335 1347.04/1347.55 c 1347s | 18 | 2180213 | 370052 | 20488 39 | 394 | 335 1349.24/1349.80 c 1349s | 18 | 2183516 | 371152 | 20488 39 | 394 | 335 1351.33/1351.88 c 1351s | 18 | 2195008 | 372352 | 20488 39 | 394 | 335 1353.53/1354.06 c 1353s | 18 | 2198637 | 373252 | 20488 39 | 394 | 335 1355.73/1356.27 c 1356s | 18 | 2200331 | 373752 | 20488 39 | 394 | 335 1358.04/1358.60 c 1358s | 18 | 2202144 | 374252 | 20488 39 | 394 | 335 1360.52/1361.03 c 1360s | 18 | 2204889 | 374852 | 20488 39 | 394 | 335 1362.92/1363.49 c 1363s | 18 | 2206301 | 375252 | 20488 39 | 394 | 335 1365.53/1366.04 c 1365s | 18 | 2207513 | 375552 | 20488 39 | 394 | 335 1367.63/1368.11 c 1367s | 18 | 2208918 | 375852 | 20488 39 | 394 | 335 1370.43/1370.92 c 1370s | 18 | 2209722 | 376052 | 20488 39 | 394 | 335 1372.53/1373.04 c 1372s | 18 | 2219446 | 377152 | 20488 40 | 394 | 335 1374.64/1375.11 c 1374s | 18 | 2236504 | 378852 | 20488 40 | 394 | 335 1376.63/1377.13 c 1376s | 18 | 2245481 | 380252 | 20488 40 | 394 | 335 1378.83/1379.33 c 1379s | 18 | 2254060 | 381552 | 20488 40 | 394 | 335 1381.03/1381.50 c 1381s | 18 | 2256389 | 382352 | 20488 40 | 394 | 335 1383.03/1383.56 c 1383s | 18 | 2258782 | 383052 | 20488 40 | 394 | 335 1385.13/1385.67 c 1385s | 18 | 2267864 | 384152 | 20488 40 | 394 | 335 1387.33/1387.87 c 1387s | 18 | 2282028 | 385652 | 20488 41 | 394 | 335 1389.43/1389.95 c 1389s | 18 | 2294861 | 387052 | 20488 41 | 394 | 335 1391.73/1392.26 c 1392s | 18 | 2299282 | 388052 | 20488 41 | 394 | 335 1393.73/1394.29 c 1394s | 18 | 2314243 | 389252 | 20488 41 | 394 | 335 1395.83/1396.33 c 1396s | 18 | 2324186 | 390752 | 20488 41 | 394 | 335 1397.93/1398.42 c 1398s | 18 | 2327505 | 391752 | 20488 41 | 394 | 335 1400.13/1400.64 c 1400s | 18 | 2330835 | 392852 | 20488 41 | 394 | 335 1402.23/1402.70 c 1402s | 18 | 2340718 | 394552 | 20488 42 | 394 | 335 1404.43/1404.97 c 1404s | 18 | 2347811 | 395852 | 20488 42 | 394 | 335 1407.03/1407.50 c 1407s | 18 | 2349479 | 396452 | 20488 42 | 394 | 335 1409.12/1409.63 c 1409s | 18 | 2353250 | 397352 | 20488 42 | 394 | 335 1411.32/1411.80 c 1411s | 18 | 2358091 | 398452 | 20488 42 | 394 | 335 1413.82/1414.34 c 1414s | 18 | 2359913 | 399052 | 20488 42 | 394 | 335 1416.02/1416.51 c 1416s | 18 | 2362044 | 399652 | 20488 42 | 394 | 335 1418.02/1418.56 c 1418s | 18 | 2363979 | 400152 | 20488 42 | 394 | 335 1420.12/1420.63 c 1420s | 18 | 2367163 | 400852 | 20488 42 | 394 | 335 1422.32/1422.84 c 1422s | 18 | 2369280 | 401452 | 20488 42 | 394 | 335 1424.32/1424.88 c 1424s | 18 | 2373073 | 402352 | 20488 43 | 394 | 335 1426.62/1427.16 c 1426s | 18 | 2375700 | 403052 | 20488 43 | 394 | 335 1428.72/1429.29 c 1429s | 18 | 2377992 | 403752 | 20488 43 | 394 | 335 1430.82/1431.32 c 1431s | 18 | 2381341 | 404552 | 20488 43 | 394 | 335 1432.93/1433.43 c 1433s | 18 | 2385659 | 405652 | 20488 43 | 394 | 335 1435.22/1435.71 c 1435s | 18 | 2388734 | 406652 | 20488 43 | 394 | 335 1437.33/1437.82 c 1437s | 18 | 2390688 | 407352 | 20488 43 | 394 | 335 1439.72/1440.21 c 1440s | 18 | 2392988 | 408152 | 20488 43 | 394 | 335 1441.82/1442.38 c 1442s | 18 | 2394249 | 408652 | 20488 43 | 394 | 335 1444.12/1444.67 c 1444s | 18 | 2396321 | 409252 | 20488 43 | 394 | 335 1446.22/1446.77 c 1446s | 18 | 2397937 | 409852 | 20488 43 | 394 | 335 1448.72/1449.21 c 1448s | 18 | 2399255 | 410352 | 20488 43 | 394 | 335 1450.92/1451.48 c 1451s | 18 | 2400408 | 410752 | 20488 43 | 394 | 335 1453.12/1453.61 c 1453s | 18 | 2401831 | 411152 | 20488 44 | 394 | 335 1455.12/1455.65 c 1455s | 18 | 2404314 | 411952 | 20488 44 | 394 | 335 1457.32/1457.82 c 1457s | 18 | 2405860 | 412552 | 20488 44 | 394 | 335 1459.62/1460.16 c 1459s | 18 | 2408182 | 413352 | 20488 44 | 394 | 335 1461.71/1462.28 c 1462s | 18 | 2409879 | 413952 | 20488 44 | 394 | 335 1463.81/1464.34 c 1464s | 18 | 2412199 | 414652 | 20488 44 | 394 | 335 1465.92/1466.45 c 1466s | 18 | 2416797 | 415652 | 20488 44 | 394 | 335 1468.02/1468.53 c 1468s | 18 | 2418356 | 416252 | 20488 44 | 394 | 335 1470.22/1470.73 c 1470s | 18 | 2419421 | 416752 | 20488 44 | 394 | 335 1472.61/1473.13 c 1472s | 18 | 2421807 | 417552 | 20488 44 | 394 | 335 1474.91/1475.40 c 1475s | 18 | 2423147 | 418052 | 20488 44 | 394 | 335 1477.01/1477.55 c 1477s | 18 | 2424674 | 418652 | 20488 44 | 394 | 335 1479.31/1479.87 c 1479s | 18 | 2426859 | 419452 | 20488 45 | 394 | 335 1481.51/1482.01 c 1481s | 18 | 2430898 | 420652 | 20488 45 | 394 | 335 1483.52/1484.03 c 1483s | 18 | 2433990 | 421652 | 20488 45 | 394 | 335 1485.51/1486.10 c 1485s | 18 | 2436515 | 422452 | 20488 45 | 394 | 335 1487.71/1488.20 c 1487s | 18 | 2438368 | 423152 | 20488 45 | 394 | 335 1489.91/1490.49 c 1490s | 18 | 2441358 | 424052 | 20488 45 | 394 | 335 1492.32/1492.88 c 1492s | 18 | 2443171 | 424752 | 20488 45 | 394 | 335 1494.41/1494.91 c 1494s | 18 | 2445148 | 425452 | 20488 45 | 394 | 335 1496.41/1496.96 c 1496s | 18 | 2447337 | 426052 | 20488 45 | 394 | 335 1498.91/1499.48 c 1499s | 18 | 2449380 | 426752 | 20488 45 | 394 | 335 1501.11/1501.63 c 1501s | 18 | 2451225 | 427352 | 20488 45 | 394 | 335 1503.51/1504.07 c 1503s | 18 | 2451957 | 427752 | 20488 45 | 394 | 335 1505.61/1506.13 c 1505s | 18 | 2454301 | 428452 | 20488 46 | 394 | 335 1507.61/1508.20 c 1507s | 18 | 2456826 | 429352 | 20488 46 | 394 | 335 1509.70/1510.28 c 1510s | 18 | 2458800 | 430152 | 20488 46 | 394 | 335 1511.90/1512.50 c 1512s | 18 | 2459745 | 430752 | 20488 46 | 394 | 335 1514.10/1514.64 c 1514s | 18 | 2460847 | 431252 | 20488 46 | 394 | 335 1516.30/1516.88 c 1516s | 18 | 2463183 | 431952 | 20488 46 | 394 | 335 1518.71/1519.22 c 1519s | 18 | 2463940 | 432352 | 20488 46 | 394 | 335 1520.81/1521.32 c 1521s | 18 | 2464748 | 432752 | 20488 46 | 394 | 335 1522.80/1523.33 c 1523s | 18 | 2466498 | 433252 | 20488 46 | 394 | 335 1525.21/1525.75 c 1525s | 18 | 2467057 | 433652 | 20488 46 | 394 | 335 1527.60/1528.15 c 1527s | 18 | 2468110 | 434052 | 20488 46 | 394 | 335 1529.81/1530.32 c 1530s | 18 | 2468716 | 434352 | 20488 46 | 394 | 335 1532.11/1532.64 c 1532s | 18 | 2469865 | 434952 | 20488 46 | 394 | 335 1534.21/1534.75 c 1534s | 18 | 2472363 | 435552 | 20488 46 | 394 | 335 1536.51/1537.04 c 1536s | 18 | 2474551 | 436152 | 20488 46 | 394 | 335 1538.61/1539.12 c 1538s | 18 | 2476747 | 436552 | 20488 47 | 394 | 335 1540.61/1541.19 c 1540s | 18 | 2480690 | 437652 | 20488 47 | 394 | 335 1542.81/1543.34 c 1543s | 18 | 2481399 | 437952 | 20488 47 | 394 | 335 1545.41/1545.94 c 1545s | 18 | 2482018 | 438252 | 20488 47 | 394 | 335 1548.10/1548.63 c 1548s | 18 | 2482776 | 438552 | 20488 47 | 394 | 335 1550.61/1551.16 c 1550s | 18 | 2483130 | 438752 | 20488 47 | 394 | 335 1552.81/1553.37 c 1553s | 18 | 2484032 | 439052 | 20488 47 | 394 | 335 1555.20/1555.76 c 1555s | 18 | 2484517 | 439352 | 20488 47 | 394 | 335 1557.50/1558.07 c 1557s | 18 | 2485089 | 439652 | 20488 47 | 394 | 335 1560.00/1560.59 c 1560s | 18 | 2486333 | 440052 | 20488 47 | 394 | 335 1563.20/1563.72 c 1563s | 18 | 2486687 | 440252 | 20488 47 | 394 | 335 1565.20/1565.76 c 1565s | 18 | 2487500 | 440652 | 20488 47 | 394 | 335 1567.30/1567.85 c 1567s | 18 | 2488188 | 440952 | 20488 47 | 394 | 335 1569.70/1570.26 c 1570s | 18 | 2488673 | 441252 | 20488 47 | 394 | 335 1572.20/1572.76 c 1572s | 18 | 2488984 | 441452 | 22537 47 | 394 | 335 1574.20/1574.77 c 1574s | 18 | 2489726 | 441752 | 22537 47 | 394 | 335 1576.40/1576.90 c 1576s | 18 | 2491676 | 442552 | 22537 47 | 394 | 335 1578.60/1579.12 c 1578s | 18 | 2494116 | 443252 | 22537 47 | 394 | 335 1580.80/1581.30 c 1581s | 18 | 2499196 | 444352 | 22537 47 | 394 | 335 1581.10/1581.69 c 1581s | 19 | 2499687 | 444482 | 22537 47 | 394 | 335 1583.20/1583.78 c 1583s | 19 | 2507236 | 445682 | 22537 48 | 394 | 335 1585.30/1585.80 c 1585s | 19 | 2525913 | 447382 | 22537 48 | 394 | 335 1587.30/1587.81 c 1587s | 19 | 2545198 | 448982 | 22537 48 | 394 | 335 1589.40/1589.99 c 1589s | 19 | 2556671 | 450482 | 22537 48 | 394 | 335 1591.50/1592.00 c 1591s | 19 | 2563666 | 451582 | 22537 48 | 394 | 335 1593.60/1594.13 c 1593s | 19 | 2572107 | 452782 | 22537 48 | 394 | 335 1595.70/1596.27 c 1596s | 19 | 2580678 | 454282 | 22537 48 | 394 | 335 1597.80/1598.31 c 1598s | 19 | 2587268 | 455582 | 22537 49 | 394 | 335 1599.79/1600.33 c 1600s | 19 | 2592165 | 456982 | 22537 49 | 394 | 335 1601.89/1602.41 c 1602s | 19 | 2595986 | 458082 | 22537 49 | 394 | 335 1603.99/1604.51 c 1604s | 19 | 2598760 | 458882 | 22537 49 | 394 | 335 1605.99/1606.52 c 1606s | 19 | 2603005 | 459882 | 22537 49 | 394 | 335 1608.39/1608.90 c 1608s | 19 | 2610819 | 461082 | 22537 49 | 394 | 335 1610.39/1610.95 c 1610s | 19 | 2623278 | 462282 | 22537 49 | 394 | 335 1612.49/1613.08 c 1612s | 19 | 2631027 | 463482 | 22537 49 | 394 | 335 1614.69/1615.21 c 1614s | 19 | 2644282 | 464982 | 22537 50 | 394 | 335 1616.69/1617.22 c 1617s | 19 | 2648538 | 466282 | 22537 50 | 394 | 335 1618.70/1619.26 c 1619s | 19 | 2659116 | 467982 | 22537 50 | 394 | 335 1620.79/1621.34 c 1621s | 19 | 2671468 | 469582 | 22537 50 | 394 | 335 1622.89/1623.42 c 1623s | 19 | 2679612 | 470882 | 22537 50 | 394 | 335 1624.99/1625.50 c 1625s | 19 | 2691983 | 472382 | 22537 51 | 394 | 335 1627.09/1627.64 c 1627s | 19 | 2700711 | 473982 | 22537 51 | 394 | 335 1629.09/1629.66 c 1629s | 19 | 2709404 | 475382 | 22537 51 | 394 | 335 1631.09/1631.68 c 1631s | 19 | 2718148 | 477182 | 22537 51 | 394 | 335 1633.29/1633.81 c 1633s | 19 | 2723647 | 478682 | 22537 51 | 394 | 335 1635.29/1635.84 c 1635s | 19 | 2727176 | 479582 | 22537 52 | 394 | 335 1637.29/1637.89 c 1637s | 19 | 2736590 | 480982 | 22537 52 | 394 | 335 1639.49/1640.00 c 1639s | 19 | 2742899 | 481982 | 22537 52 | 395 | 336 1641.89/1642.44 c 1642s | 19 | 2758158 | 483482 | 22537 52 | 395 | 336 1643.89/1644.46 c 1644s | 19 | 2767172 | 484582 | 22537 52 | 395 | 336 1646.08/1646.60 c 1646s | 19 | 2778538 | 485682 | 22537 52 | 395 | 336 1648.09/1648.64 c 1648s | 19 | 2788601 | 486782 | 22537 52 | 395 | 336 1650.19/1650.78 c 1650s | 19 | 2791135 | 487282 | 22537 52 | 395 | 336 1652.28/1652.80 c 1652s | 19 | 2799158 | 488482 | 22537 53 | 395 | 336 1654.38/1654.91 c 1654s | 19 | 2807559 | 489782 | 22537 53 | 395 | 336 1656.38/1656.96 c 1656s | 19 | 2812929 | 490482 | 22537 53 | 395 | 336 1658.39/1658.99 c 1658s | 19 | 2822005 | 491482 | 22537 53 | 395 | 336 1660.59/1661.17 c 1660s | 19 | 2828238 | 492682 | 22537 53 | 395 | 336 1662.79/1663.31 c 1663s | 19 | 2830793 | 493482 | 22537 53 | 395 | 336 1664.78/1665.33 c 1665s | 19 | 2841168 | 494782 | 22537 54 | 395 | 336 1666.88/1667.40 c 1667s | 19 | 2851221 | 496182 | 22537 54 | 395 | 336 1669.18/1669.74 c 1669s | 19 | 2857985 | 497182 | 22537 54 | 395 | 336 1671.28/1671.89 c 1671s | 19 | 2863643 | 498182 | 22537 54 | 395 | 336 1673.38/1673.95 c 1673s | 19 | 2867654 | 499182 | 22537 54 | 395 | 336 1675.38/1675.99 c 1675s | 19 | 2871324 | 499982 | 22537 54 | 395 | 336 1677.58/1678.14 c 1677s | 19 | 2874120 | 500782 | 22537 54 | 395 | 336 1679.58/1680.16 c 1679s | 19 | 2874671 | 501082 | 22537 54 | 395 | 336 1681.78/1682.35 c 1682s | 19 | 2879702 | 501882 | 22537 55 | 395 | 336 1683.78/1684.39 c 1684s | 19 | 2890157 | 503082 | 22537 55 | 395 | 336 1685.98/1686.55 c 1686s | 19 | 2891851 | 503782 | 22537 55 | 395 | 336 1688.08/1688.69 c 1688s | 19 | 2893403 | 504382 | 22537 55 | 395 | 336 1690.28/1690.84 c 1690s | 19 | 2896066 | 505282 | 22537 55 | 395 | 336 1692.28/1692.87 c 1692s | 19 | 2899538 | 505982 | 22537 55 | 395 | 336 1694.58/1695.14 c 1694s | 19 | 2900682 | 506382 | 22537 55 | 395 | 336 1696.78/1697.39 c 1697s | 19 | 2902590 | 506882 | 22537 55 | 395 | 336 1699.18/1699.79 c 1699s | 19 | 2903795 | 507282 | 22537 55 | 395 | 336 1701.38/1701.96 c 1701s | 19 | 2904850 | 507682 | 22537 55 | 395 | 336 1703.48/1704.04 c 1703s | 19 | 2906152 | 508182 | 22537 55 | 395 | 336 1705.77/1706.35 c 1706s | 19 | 2907322 | 508582 | 22537 55 | 395 | 336 1707.78/1708.39 c 1708s | 19 | 2915675 | 509582 | 22537 56 | 395 | 336 1709.87/1710.45 c 1710s | 19 | 2920712 | 510482 | 22537 56 | 395 | 336 1711.97/1712.59 c 1712s | 19 | 2923426 | 511282 | 22537 56 | 395 | 336 1714.48/1715.02 c 1714s | 19 | 2925555 | 511882 | 22537 56 | 395 | 336 1716.97/1717.58 c 1717s | 19 | 2926972 | 512382 | 22537 56 | 395 | 336 1719.37/1719.98 c 1719s | 19 | 2927956 | 512782 | 22537 56 | 395 | 336 1721.57/1722.19 c 1721s | 19 | 2932131 | 513482 | 22537 56 | 395 | 336 1724.17/1724.75 c 1724s | 19 | 2933229 | 513882 | 22537 56 | 395 | 336 1726.77/1727.36 c 1727s | 19 | 2933642 | 514082 | 22537 56 | 395 | 336 1728.97/1729.56 c 1729s | 19 | 2934698 | 514382 | 22537 56 | 395 | 336 1731.67/1732.20 c 1731s | 19 | 2935425 | 514682 | 22537 56 | 395 | 336 1734.18/1734.71 c 1734s | 19 | 2935856 | 514882 | 22537 56 | 395 | 336 1736.17/1736.78 c 1736s | 19 | 2939475 | 515482 | 22537 57 | 395 | 336 1738.37/1738.94 c 1738s | 19 | 2941536 | 516182 | 22537 57 | 395 | 336 1740.37/1740.95 c 1740s | 19 | 2948580 | 517282 | 22537 57 | 395 | 336 1742.78/1743.30 c 1743s | 19 | 2952816 | 518382 | 22537 57 | 395 | 336 1744.77/1745.30 c 1745s | 19 | 2956485 | 518982 | 22537 57 | 395 | 336 1746.97/1747.52 c 1747s | 19 | 2960831 | 519782 | 22537 57 | 395 | 336 1749.07/1749.68 c 1749s | 19 | 2964416 | 520382 | 22537 57 | 395 | 336 1751.57/1752.12 c 1751s | 19 | 2965533 | 520782 | 22537 57 | 395 | 336 1753.87/1754.44 c 1754s | 19 | 2966346 | 521082 | 22537 57 | 395 | 336 1756.37/1756.95 c 1756s | 19 | 2967283 | 521382 | 22537 57 | 395 | 336 1759.37/1759.91 c 1759s | 19 | 2968221 | 521682 | 22537 57 | 395 | 336 1761.37/1761.91 c 1761s | 19 | 2968615 | 521882 | 22537 57 | 395 | 336 1763.88/1764.41 c 1764s | 19 | 2969136 | 522082 | 22537 57 | 395 | 336 1765.87/1766.45 c 1766s | 19 | 2969648 | 522282 | 22537 57 | 395 | 336 1767.87/1768.47 c 1768s | 19 | 2972422 | 522682 | 22537 58 | 395 | 336 1769.97/1770.51 c 1770s | 19 | 2981150 | 524082 | 22537 58 | 395 | 336 1771.97/1772.58 c 1772s | 19 | 2988233 | 525382 | 22537 58 | 395 | 336 1774.17/1774.72 c 1774s | 19 | 2994088 | 526582 | 22537 58 | 395 | 336 1776.27/1776.85 c 1776s | 19 | 2997972 | 527682 | 22537 58 | 395 | 336 1778.47/1779.02 c 1778s | 19 | 3000409 | 528382 | 22537 58 | 395 | 336 1780.47/1781.06 c 1780s | 19 | 3002172 | 528982 | 22537 59 | 395 | 336 1782.47/1783.08 c 1782s | 19 | 3008748 | 530382 | 22537 59 | 395 | 336 1784.57/1785.12 c 1784s | 19 | 3013719 | 531382 | 22537 59 | 395 | 336 1786.57/1787.17 c 1786s | 19 | 3016609 | 532182 | 22537 59 | 395 | 336 1788.97/1789.59 c 1789s | 19 | 3019404 | 532882 | 22537 59 | 395 | 336 1791.26/1791.84 c 1791s | 19 | 3022675 | 533682 | 22537 59 | 395 | 336 1793.36/1793.94 c 1793s | 19 | 3025677 | 534282 | 22537 59 | 395 | 336 1795.96/1796.59 c 1796s | 19 | 3027539 | 534782 | 22537 59 | 395 | 336 1798.46/1799.10 c 1798s | 19 | 3028370 | 535082 | 22537 59 | 395 | 336
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-4078931-1465281984/watcher-4078931-1465281984 -o /tmp/evaluation-result-4078931-1465281984/solver-4078931-1465281984 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465276339-15587 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078931-1465281984.opb pid=16121 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.28 2.19 2.16 3/179 16124 /proc/meminfo: memFree=29511724/32872528 swapFree=12208/1156848 [pid=16124] ppid=16121 vsize=719292 CPUtime=0 cores=0,2,4,6 /proc/16124/stat : 16124 (toysat) R 16121 16124 15571 0 -1 4202496 2683 0 0 0 0 0 0 0 20 0 4 0 110132963 736555008 3045 33554432000 4194304 16246674 140735666406336 140735666405760 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16124/statm: 180591 3054 441 2943 0 177485 0 [pid=16124/tid=16125] ppid=16121 vsize=737724 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16125/stat : 16125 (toysat) S 16121 16124 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110132963 755429376 3114 33554432000 4194304 16246674 140735666406336 140533211049200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16124/tid=16126] ppid=16121 vsize=741820 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16126/stat : 16126 (toysat) S 16121 16124 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110132963 759623680 3131 33554432000 4194304 16246674 140735666406336 140533200559344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16124/tid=16127] ppid=16121 vsize=745916 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16127/stat : 16127 (toysat) S 16121 16124 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110132963 763817984 3149 33554432000 4194304 16246674 140735666406336 140533190085808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100123 s] /proc/loadavg: 2.28 2.19 2.16 3/179 16124 /proc/meminfo: memFree=29511724/32872528 swapFree=12208/1156848 [pid=16124] ppid=16121 vsize=1302084 CPUtime=0.08 cores=0,2,4,6 /proc/16124/stat : 16124 (toysat) R 16121 16124 15571 0 -1 4202496 28314 0 0 0 5 3 0 0 20 0 4 0 110132963 1333334016 28613 33554432000 4194304 16246674 140735666406336 140735666389328 5703736 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16124/statm: 325521 28627 808 2943 0 322415 0 [pid=16124/tid=16125] ppid=16121 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16125/stat : 16125 (toysat) S 16121 16124 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110132963 1333334016 28638 33554432000 4194304 16246674 140735666406336 140533211049200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16124/tid=16126] ppid=16121 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16126/stat : 16126 (toysat) S 16121 16124 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110132963 1333334016 28649 33554432000 4194304 16246674 140735666406336 140533200559344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16124/tid=16127] ppid=16121 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16127/stat : 16127 (toysat) S 16121 16124 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110132963 1333334016 28661 33554432000 4194304 16246674 140735666406336 140533190085808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1302084 [startup+0.200531 s] /proc/loadavg: 2.28 2.19 2.16 3/179 16124 /proc/meminfo: memFree=29511724/32872528 swapFree=12208/1156848 [pid=16124] ppid=16121 vsize=1302084 CPUtime=0.19 cores=0,2,4,6 /proc/16124/stat : 16124 (toysat) R 16121 16124 15571 0 -1 4202496 47134 0 0 0 12 7 0 0 20 0 4 0 110132963 1333334016 47433 33554432000 4194304 16246674 140735666406336 140735666389328 6779725 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16124/statm: 325521 47433 834 2943 0 322415 0 [pid=16124/tid=16125] ppid=16121 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16125/stat : 16125 (toysat) S 16121 16124 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110132963 1333334016 47433 33554432000 4194304 16246674 140735666406336 140533211049200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16124/tid=16126] ppid=16121 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16126/stat : 16126 (toysat) S 16121 16124 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110132963 1333334016 47433 33554432000 4194304 16246674 140735666406336 140533200559344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16124/tid=16127] ppid=16121 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16127/stat : 16127 (toysat) S 16121 16124 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110132963 1333334016 47433 33554432000 4194304 16246674 140735666406336 140533190085808 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) 1302084 [startup+0.300529 s] /proc/loadavg: 2.28 2.19 2.16 3/179 16124 /proc/meminfo: memFree=29511724/32872528 swapFree=12208/1156848 [pid=16124] ppid=16121 vsize=1302084 CPUtime=0.29 cores=0,2,4,6 /proc/16124/stat : 16124 (toysat) R 16121 16124 15571 0 -1 4202496 53471 0 0 0 21 8 0 0 20 0 4 0 110132963 1333334016 53770 33554432000 4194304 16246674 140735666406336 140735666389328 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16124/statm: 325521 53780 876 2943 0 322415 0 [pid=16124/tid=16125] ppid=16121 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16125/stat : 16125 (toysat) S 16121 16124 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110132963 1333334016 53783 33554432000 4194304 16246674 140735666406336 140533211049200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16124/tid=16126] ppid=16121 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16126/stat : 16126 (toysat) S 16121 16124 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110132963 1333334016 53786 33554432000 4194304 16246674 140735666406336 140533200559344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16124/tid=16127] ppid=16121 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16127/stat : 16127 (toysat) S 16121 16124 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110132963 1333334016 53789 33554432000 4194304 16246674 140735666406336 140533190085808 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) 1302084 [startup+0.700398 s] /proc/loadavg: 2.28 2.19 2.16 3/179 16124 /proc/meminfo: memFree=29511724/32872528 swapFree=12208/1156848 [pid=16124] ppid=16121 vsize=1302084 CPUtime=0.69 cores=0,2,4,6 /proc/16124/stat : 16124 (toysat) R 16121 16124 15571 0 -1 4202496 142792 0 0 0 49 20 0 0 20 0 4 0 110132963 1333334016 143092 33554432000 4194304 16246674 140735666406336 140735666389328 5662594 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16124/statm: 325521 143102 876 2943 0 322415 0 [pid=16124/tid=16125] ppid=16121 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16125/stat : 16125 (toysat) S 16121 16124 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110132963 1333334016 143106 33554432000 4194304 16246674 140735666406336 140533211049200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16124/tid=16126] ppid=16121 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16126/stat : 16126 (toysat) S 16121 16124 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110132963 1333334016 143114 33554432000 4194304 16246674 140735666406336 140533200559344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16124/tid=16127] ppid=16121 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16127/stat : 16127 (toysat) S 16121 16124 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110132963 1333334016 143125 33554432000 4194304 16246674 140735666406336 140533190085808 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) 1302084 [startup+1.50041 s] /proc/loadavg: 2.25 2.19 2.16 3/183 16128 /proc/meminfo: memFree=28557796/32872528 swapFree=12208/1156848 [pid=16124] ppid=16121 vsize=1310276 CPUtime=1.49 cores=0,2,4,6 /proc/16124/stat : 16124 (toysat) R 16121 16124 15571 0 -1 4202496 268490 0 0 0 113 36 0 0 20 0 4 0 110132963 1341722624 268789 33554432000 4194304 16246674 140735666406336 140735666405648 5659314 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16124/statm: 327569 268789 882 2943 0 324463 0 [pid=16124/tid=16125] ppid=16121 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16125/stat : 16125 (toysat) S 16121 16124 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110132963 1341722624 268789 33554432000 4194304 16246674 140735666406336 140533211049200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16124/tid=16126] ppid=16121 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16126/stat : 16126 (toysat) S 16121 16124 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110132963 1341722624 268789 33554432000 4194304 16246674 140735666406336 140533200559344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16124/tid=16127] ppid=16121 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16127/stat : 16127 (toysat) S 16121 16124 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110132963 1341722624 268789 33554432000 4194304 16246674 140735666406336 140533190085808 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) 1310276 [startup+3.10041 s] /proc/loadavg: 2.25 2.19 2.16 3/183 16128 /proc/meminfo: memFree=28436152/32872528 swapFree=12208/1156848 [pid=16124] ppid=16121 vsize=1310276 CPUtime=3.09 cores=0,2,4,6 /proc/16124/stat : 16124 (toysat) R 16121 16124 15571 0 -1 4202496 268751 0 0 0 273 36 0 0 20 0 4 0 110132963 1341722624 269050 33554432000 4194304 16246674 140735666406336 140735666388224 12483204 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16124/statm: 327569 269050 883 2943 0 324463 0 [pid=16124/tid=16125] ppid=16121 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16125/stat : 16125 (toysat) S 16121 16124 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110132963 1341722624 269050 33554432000 4194304 16246674 140735666406336 140533211049200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16124/tid=16126] ppid=16121 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16126/stat : 16126 (toysat) S 16121 16124 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110132963 1341722624 269050 33554432000 4194304 16246674 140735666406336 140533200559344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16124/tid=16127] ppid=16121 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16127/stat : 16127 (toysat) S 16121 16124 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110132963 1341722624 269050 33554432000 4194304 16246674 140735666406336 140533190085808 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) 1310276 [startup+6.30041 s] /proc/loadavg: 2.25 2.19 2.16 3/183 16128 /proc/meminfo: memFree=28436532/32872528 swapFree=12208/1156848 [pid=16124] ppid=16121 vsize=1310276 CPUtime=6.29 cores=0,2,4,6 /proc/16124/stat : 16124 (toysat) R 16121 16124 15571 0 -1 4202496 268751 0 0 0 593 36 0 0 20 0 4 0 110132963 1341722624 269050 33554432000 4194304 16246674 140735666406336 140735666388224 5546036 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16124/statm: 327569 269050 883 2943 0 324463 0 [pid=16124/tid=16125] ppid=16121 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16125/stat : 16125 (toysat) S 16121 16124 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110132963 1341722624 269050 33554432000 4194304 16246674 140735666406336 140533211049200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16124/tid=16126] ppid=16121 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16126/stat : 16126 (toysat) S 16121 16124 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110132963 1341722624 269050 33554432000 4194304 16246674 140735666406336 140533200559344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16124/tid=16127] ppid=16121 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16127/stat : 16127 (toysat) S 16121 16124 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110132963 1341722624 269050 33554432000 4194304 16246674 140735666406336 140533190085808 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) 1310276 [startup+12.7004 s] /proc/loadavg: 2.21 2.18 2.15 3/183 16128 /proc/meminfo: memFree=28436768/32872528 swapFree=12208/1156848 [pid=16124] ppid=16121 vsize=1310276 CPUtime=12.68 cores=0,2,4,6 /proc/16124/stat : 16124 (toysat) R 16121 16124 15571 0 -1 4202496 268753 0 0 0 1232 36 0 0 20 0 4 0 110132963 1341722624 269052 33554432000 4194304 16246674 140735666406336 140735666388224 5722908 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16124/statm: 327569 269052 885 2943 0 324463 0 [pid=16124/tid=16125] ppid=16121 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16125/stat : 16125 (toysat) S 16121 16124 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110132963 1341722624 269052 33554432000 4194304 16246674 140735666406336 140533211049200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16124/tid=16126] ppid=16121 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16126/stat : 16126 (toysat) S 16121 16124 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110132963 1341722624 269052 33554432000 4194304 16246674 140735666406336 140533200559344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16124/tid=16127] ppid=16121 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16127/stat : 16127 (toysat) S 16121 16124 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110132963 1341722624 269052 33554432000 4194304 16246674 140735666406336 140533190085808 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) 1310276 [startup+25.5005 s] /proc/loadavg: 2.25 2.19 2.16 4/183 16128 /proc/meminfo: memFree=28437412/32872528 swapFree=12208/1156848 [pid=16124] ppid=16121 vsize=1310276 CPUtime=25.48 cores=0,2,4,6 /proc/16124/stat : 16124 (toysat) R 16121 16124 15571 0 -1 4202496 268753 0 0 0 2512 36 0 0 20 0 4 0 110132963 1341722624 269052 33554432000 4194304 16246674 140735666406336 140735666388224 5717664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16124/statm: 327569 269052 885 2943 0 324463 0 [pid=16124/tid=16125] ppid=16121 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16125/stat : 16125 (toysat) S 16121 16124 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110132963 1341722624 269052 33554432000 4194304 16246674 140735666406336 140533211049200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16124/tid=16126] ppid=16121 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16126/stat : 16126 (toysat) S 16121 16124 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110132963 1341722624 269052 33554432000 4194304 16246674 140735666406336 140533200559344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16124/tid=16127] ppid=16121 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16127/stat : 16127 (toysat) S 16121 16124 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110132963 1341722624 269052 33554432000 4194304 16246674 140735666406336 140533190085808 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) 1310276 [startup+51.1005 s] /proc/loadavg: 2.22 2.19 2.16 3/183 16128 /proc/meminfo: memFree=28436452/32872528 swapFree=12208/1156848 [pid=16124] ppid=16121 vsize=1310276 CPUtime=51.09 cores=0,2,4,6 /proc/16124/stat : 16124 (toysat) R 16121 16124 15571 0 -1 4202496 268754 0 0 0 5072 37 0 0 20 0 4 0 110132963 1341722624 269053 33554432000 4194304 16246674 140735666406336 140735666388224 5717148 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16124/statm: 327569 269053 886 2943 0 324463 0 [pid=16124/tid=16125] ppid=16121 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16125/stat : 16125 (toysat) S 16121 16124 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110132963 1341722624 269053 33554432000 4194304 16246674 140735666406336 140533211049200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16124/tid=16126] ppid=16121 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16126/stat : 16126 (toysat) S 16121 16124 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110132963 1341722624 269053 33554432000 4194304 16246674 140735666406336 140533200559344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16124/tid=16127] ppid=16121 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16127/stat : 16127 (toysat) S 16121 16124 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110132963 1341722624 269053 33554432000 4194304 16246674 140735666406336 140533190085808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1310276 [startup+102.301 s] /proc/loadavg: 2.26 2.20 2.16 3/183 16129 /proc/meminfo: memFree=28436036/32872528 swapFree=12208/1156848 [pid=16124] ppid=16121 vsize=1310276 CPUtime=102.28 cores=0,2,4,6 /proc/16124/stat : 16124 (toysat) R 16121 16124 15571 0 -1 4202496 268754 0 0 0 10191 37 0 0 20 0 4 0 110132963 1341722624 269053 33554432000 4194304 16246674 140735666406336 140735666388224 12477752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16124/statm: 327569 269053 886 2943 0 324463 0 [pid=16124/tid=16125] ppid=16121 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16125/stat : 16125 (toysat) S 16121 16124 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110132963 1341722624 269053 33554432000 4194304 16246674 140735666406336 140533211049200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16124/tid=16126] ppid=16121 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16126/stat : 16126 (toysat) S 16121 16124 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110132963 1341722624 269053 33554432000 4194304 16246674 140735666406336 140533200559344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16124/tid=16127] ppid=16121 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16127/stat : 16127 (toysat) S 16121 16124 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110132963 1341722624 269053 33554432000 4194304 16246674 140735666406336 140533190085808 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) 1310276 ################ # More data... # ################ /proc/16124/task/16127/stat : 16127 (toysat) S 16121 16124 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110132963 1345916928 269971 33554432000 4194304 16246674 140735666406336 140533190085808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 1314372 [startup+1302.3 s] /proc/loadavg: 2.18 2.23 2.18 4/183 16182 /proc/meminfo: memFree=28427580/32872528 swapFree=12208/1156848 [pid=16124] ppid=16121 vsize=1314372 CPUtime=1301.87 cores=0,2,4,6 /proc/16124/stat : 16124 (toysat) R 16121 16124 15571 0 -1 4202496 270135 0 0 0 130134 53 0 0 20 0 4 0 110132963 1345916928 270080 33554432000 4194304 16246674 140735666406336 140735666388224 5523460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16124/statm: 328593 270080 886 2943 0 325487 0 [pid=16124/tid=16125] ppid=16121 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16125/stat : 16125 (toysat) S 16121 16124 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110132963 1345916928 270080 33554432000 4194304 16246674 140735666406336 140533211049200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16124/tid=16126] ppid=16121 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16126/stat : 16126 (toysat) S 16121 16124 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110132963 1345916928 270080 33554432000 4194304 16246674 140735666406336 140533200559344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16124/tid=16127] ppid=16121 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16127/stat : 16127 (toysat) S 16121 16124 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110132963 1345916928 270080 33554432000 4194304 16246674 140735666406336 140533190085808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1314372 [startup+1362.3 s] /proc/loadavg: 2.22 2.23 2.18 3/183 16183 /proc/meminfo: memFree=28427352/32872528 swapFree=12208/1156848 [pid=16124] ppid=16121 vsize=1315396 CPUtime=1361.82 cores=0,2,4,6 /proc/16124/stat : 16124 (toysat) R 16121 16124 15571 0 -1 4202496 270217 0 0 0 136129 53 0 0 20 0 4 0 110132963 1346965504 270115 33554432000 4194304 16246674 140735666406336 140735666388224 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16124/statm: 328849 270115 886 2943 0 325743 0 [pid=16124/tid=16125] ppid=16121 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16125/stat : 16125 (toysat) S 16121 16124 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110132963 1346965504 270115 33554432000 4194304 16246674 140735666406336 140533211049200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16124/tid=16126] ppid=16121 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16126/stat : 16126 (toysat) S 16121 16124 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110132963 1346965504 270115 33554432000 4194304 16246674 140735666406336 140533200559344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16124/tid=16127] ppid=16121 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16127/stat : 16127 (toysat) S 16121 16124 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110132963 1346965504 270115 33554432000 4194304 16246674 140735666406336 140533190085808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 1315396 [startup+1422.3 s] /proc/loadavg: 2.20 2.22 2.18 4/184 16187 /proc/meminfo: memFree=28427372/32872528 swapFree=12208/1156848 [pid=16124] ppid=16121 vsize=1315396 CPUtime=1421.83 cores=0,2,4,6 /proc/16124/stat : 16124 (toysat) R 16121 16124 15571 0 -1 4202496 270217 0 0 0 142129 54 0 0 20 0 4 0 110132963 1346965504 270115 33554432000 4194304 16246674 140735666406336 140735666388224 5722006 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16124/statm: 328849 270115 886 2943 0 325743 0 [pid=16124/tid=16125] ppid=16121 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16125/stat : 16125 (toysat) S 16121 16124 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110132963 1346965504 270115 33554432000 4194304 16246674 140735666406336 140533211049200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16124/tid=16126] ppid=16121 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16126/stat : 16126 (toysat) S 16121 16124 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110132963 1346965504 270115 33554432000 4194304 16246674 140735666406336 140533200559344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16124/tid=16127] ppid=16121 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16127/stat : 16127 (toysat) S 16121 16124 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110132963 1346965504 270115 33554432000 4194304 16246674 140735666406336 140533190085808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1315396 [startup+1482.3 s] /proc/loadavg: 2.30 2.24 2.19 3/183 16188 /proc/meminfo: memFree=28427116/32872528 swapFree=12208/1156848 [pid=16124] ppid=16121 vsize=1315396 CPUtime=1481.81 cores=0,2,4,6 /proc/16124/stat : 16124 (toysat) R 16121 16124 15571 0 -1 4202496 270438 0 0 0 148127 54 0 0 20 0 4 0 110132963 1346965504 270336 33554432000 4194304 16246674 140735666406336 140735666388224 5667620 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16124/statm: 328849 270336 886 2943 0 325743 0 [pid=16124/tid=16125] ppid=16121 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16125/stat : 16125 (toysat) S 16121 16124 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110132963 1346965504 270336 33554432000 4194304 16246674 140735666406336 140533211049200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16124/tid=16126] ppid=16121 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16126/stat : 16126 (toysat) S 16121 16124 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110132963 1346965504 270336 33554432000 4194304 16246674 140735666406336 140533200559344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16124/tid=16127] ppid=16121 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16127/stat : 16127 (toysat) S 16121 16124 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110132963 1346965504 270336 33554432000 4194304 16246674 140735666406336 140533190085808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 1315396 [startup+1542.31 s] /proc/loadavg: 2.24 2.24 2.19 3/183 16190 /proc/meminfo: memFree=28426608/32872528 swapFree=12208/1156848 [pid=16124] ppid=16121 vsize=1315396 CPUtime=1541.81 cores=0,2,4,6 /proc/16124/stat : 16124 (toysat) R 16121 16124 15571 0 -1 4202496 270438 0 0 0 154126 55 0 0 20 0 4 0 110132963 1346965504 270336 33554432000 4194304 16246674 140735666406336 140735666388224 5721681 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16124/statm: 328849 270336 886 2943 0 325743 0 [pid=16124/tid=16125] ppid=16121 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16125/stat : 16125 (toysat) S 16121 16124 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110132963 1346965504 270336 33554432000 4194304 16246674 140735666406336 140533211049200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16124/tid=16126] ppid=16121 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16126/stat : 16126 (toysat) S 16121 16124 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110132963 1346965504 270336 33554432000 4194304 16246674 140735666406336 140533200559344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16124/tid=16127] ppid=16121 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16127/stat : 16127 (toysat) S 16121 16124 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110132963 1346965504 270336 33554432000 4194304 16246674 140735666406336 140533190085808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 1315396 [startup+1602.3 s] /proc/loadavg: 2.21 2.22 2.18 4/183 16239 /proc/meminfo: memFree=28431236/32872528 swapFree=12208/1156848 [pid=16124] ppid=16121 vsize=1315396 CPUtime=1601.79 cores=0,2,4,6 /proc/16124/stat : 16124 (toysat) R 16121 16124 15571 0 -1 4202496 270438 0 0 0 160124 55 0 0 20 0 4 0 110132963 1346965504 270336 33554432000 4194304 16246674 140735666406336 140735666405512 12483562 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16124/statm: 328849 270336 886 2943 0 325743 0 [pid=16124/tid=16125] ppid=16121 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16125/stat : 16125 (toysat) S 16121 16124 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110132963 1346965504 270336 33554432000 4194304 16246674 140735666406336 140533211049200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16124/tid=16126] ppid=16121 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16126/stat : 16126 (toysat) S 16121 16124 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110132963 1346965504 270336 33554432000 4194304 16246674 140735666406336 140533200559344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16124/tid=16127] ppid=16121 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16127/stat : 16127 (toysat) S 16121 16124 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110132963 1346965504 270336 33554432000 4194304 16246674 140735666406336 140533190085808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 1315396 [startup+1662.3 s] /proc/loadavg: 2.20 2.21 2.18 3/183 16240 /proc/meminfo: memFree=28431116/32872528 swapFree=12208/1156848 [pid=16124] ppid=16121 vsize=1315396 CPUtime=1661.78 cores=0,2,4,6 /proc/16124/stat : 16124 (toysat) R 16121 16124 15571 0 -1 4202496 270438 0 0 0 166123 55 0 0 20 0 4 0 110132963 1346965504 270336 33554432000 4194304 16246674 140735666406336 140735666388224 5723564 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16124/statm: 328849 270336 886 2943 0 325743 0 [pid=16124/tid=16125] ppid=16121 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16125/stat : 16125 (toysat) S 16121 16124 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110132963 1346965504 270336 33554432000 4194304 16246674 140735666406336 140533211049200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16124/tid=16126] ppid=16121 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16126/stat : 16126 (toysat) S 16121 16124 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110132963 1346965504 270336 33554432000 4194304 16246674 140735666406336 140533200559344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16124/tid=16127] ppid=16121 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16127/stat : 16127 (toysat) S 16121 16124 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110132963 1346965504 270336 33554432000 4194304 16246674 140735666406336 140533190085808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 1315396 [startup+1722.3 s] /proc/loadavg: 2.25 2.22 2.18 3/183 16241 /proc/meminfo: memFree=28430992/32872528 swapFree=12208/1156848 [pid=16124] ppid=16121 vsize=1315396 CPUtime=1721.77 cores=0,2,4,6 /proc/16124/stat : 16124 (toysat) R 16121 16124 15571 0 -1 4202496 270438 0 0 0 172122 55 0 0 20 0 4 0 110132963 1346965504 270336 33554432000 4194304 16246674 140735666406336 140735666388224 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16124/statm: 328849 270336 886 2943 0 325743 0 [pid=16124/tid=16125] ppid=16121 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16125/stat : 16125 (toysat) S 16121 16124 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110132963 1346965504 270336 33554432000 4194304 16246674 140735666406336 140533211049200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16124/tid=16126] ppid=16121 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16126/stat : 16126 (toysat) S 16121 16124 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110132963 1346965504 270336 33554432000 4194304 16246674 140735666406336 140533200559344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16124/tid=16127] ppid=16121 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16127/stat : 16127 (toysat) S 16121 16124 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110132963 1346965504 270336 33554432000 4194304 16246674 140735666406336 140533190085808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 1315396 [startup+1782.3 s] /proc/loadavg: 2.27 2.22 2.18 4/183 16242 /proc/meminfo: memFree=28426424/32872528 swapFree=12208/1156848 [pid=16124] ppid=16121 vsize=1315396 CPUtime=1781.77 cores=0,2,4,6 /proc/16124/stat : 16124 (toysat) R 16121 16124 15571 0 -1 4202496 270438 0 0 0 178121 56 0 0 20 0 4 0 110132963 1346965504 270336 33554432000 4194304 16246674 140735666406336 140735666388224 5523416 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16124/statm: 328849 270336 886 2943 0 325743 0 [pid=16124/tid=16125] ppid=16121 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16125/stat : 16125 (toysat) S 16121 16124 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110132963 1346965504 270336 33554432000 4194304 16246674 140735666406336 140533211049200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16124/tid=16126] ppid=16121 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16126/stat : 16126 (toysat) S 16121 16124 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110132963 1346965504 270336 33554432000 4194304 16246674 140735666406336 140533200559344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16124/tid=16127] ppid=16121 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16127/stat : 16127 (toysat) S 16121 16124 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110132963 1346965504 270336 33554432000 4194304 16246674 140735666406336 140533190085808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 1315396 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.21 2.21 2.18 3/183 16242 /proc/meminfo: memFree=28426672/32872528 swapFree=12208/1156848 [pid=16124] ppid=16121 vsize=1315396 CPUtime=1800.06 cores=0,2,4,6 /proc/16124/stat : 16124 (toysat) R 16121 16124 15571 0 -1 4202496 270438 0 0 0 179950 56 0 0 20 0 4 0 110132963 1346965504 270336 33554432000 4194304 16246674 140735666406336 140735666388224 5673965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16124/statm: 328849 270336 886 2943 0 325743 0 [pid=16124/tid=16125] ppid=16121 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16125/stat : 16125 (toysat) S 16121 16124 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110132963 1346965504 270336 33554432000 4194304 16246674 140735666406336 140533211049200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16124/tid=16126] ppid=16121 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16126/stat : 16126 (toysat) S 16121 16124 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110132963 1346965504 270336 33554432000 4194304 16246674 140735666406336 140533200559344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16124/tid=16127] ppid=16121 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/16124/task/16127/stat : 16127 (toysat) S 16121 16124 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110132963 1346965504 270336 33554432000 4194304 16246674 140735666406336 140533190085808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1315396 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 16124 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.08 CPU user time (s): 1799.51 CPU system time (s): 0.563914 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 1315396 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.51 system time used= 0.563914 maximum resident set size= 1081344 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 270438 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= 418 involuntary context switches= 1865 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.939 second user time and 16.0096 second system time The end
Begin job on node114 at 2016-06-07 08:46:24 IDJOB=4078931 IDBENCH=90115 IDSOLVER=2542 FILE ID=node114/4078931-1465281984 RUNJOBID= node114-1465276339-15587 PBS_JOBID= 19843307 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K80.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078931-1465281984/watcher-4078931-1465281984 -o /tmp/evaluation-result-4078931-1465281984/solver-4078931-1465281984 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465276339-15587 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078931-1465281984.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a3fcbcd7997dcbab652ff1a098fe5a93 RANDOM SEED=1042738891 node114.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.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.70 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.852 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.852 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.852 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.852 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.852 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.852 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.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29511988 kB Buffers: 140620 kB Cached: 246836 kB SwapCached: 1696 kB Active: 1224332 kB Inactive: 242184 kB Active(anon): 1079932 kB Inactive(anon): 1252 kB Active(file): 144400 kB Inactive(file): 240932 kB Unevictable: 1156848 kB Mlocked: 12208 kB SwapTotal: 67108856 kB SwapFree: 67096680 kB Dirty: 16708 kB Writeback: 0 kB AnonPages: 2271744 kB Mapped: 10828 kB Shmem: 0 kB Slab: 602480 kB SReclaimable: 46504 kB SUnreclaim: 555976 kB KernelStack: 1520 kB PageTables: 8728 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2378960 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1185792 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= 71704 MiB End job on node114 at 2016-06-07 09:16:25