| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.51 |
| Name | /DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K104.opb |
| MD5SUM | a8d55fafa030e5024da65ad802ff80be |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 701.16 |
| 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 | 7072 |
| Total number of constraints | 7282 |
| Number of constraints which are clauses | 7178 |
| Number of constraints which are cardinality constraints (but not clauses) | 104 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 104 |
| 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 | 105 |
| 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:49:54+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-4078925-1465282194.opb"] 0.00/0.01 c use --random-gen="2872488780 211392669 1242453566 767513552 2218650414 2352166561 2349375655 929780790 2782854544 3335464751 2293393000 1645430799 4025666283 3285319437 1226714525 3479395814 2781696003 3036591248 4191338061 3181531614 4245373128 466277851 647186257 2136410860 283174854 3991988446 605174003 3275427853 342314301 2539763604 2335961298 1708807998 800929553 3753890005 3083831716 2917175696 1456567617 2762510794 4128538506 4148822116 3321602555 1616432793 4120287475 3404507400 2499920947 2394235883 2888657120 531835631 4114891151 4248980211 4233173233 1416898500 3635579587 2253832888 1144510938 3329978535 893661612 2095939756 1490942987 1435612943 3799320457 1224688480 2870593577 1601694236 4016579546 2754423252 1055390978 525106811 3605227187 4197577567 4212328031 1337911134 980020947 590141591 3302869204 3797804153 518888988 4071764429 3492429269 265644113 2585479271 1513568503 1483173216 4271210690 4135772101 3311985497 2935739804 1299411890 400985357 639291350 2691720722 2023894552 2944090522 87377143 3947875503 2844169055 3392982489 2965917684 2048041474 1065961669 480717104 1508284350 4039284995 2834283754 3924359151 1996070452 3505811714 1001268861 3933577985 3635658886 1434095792 1868123655 2376620780 869688980 2447196228 2688579602 1819412252 3936571410 1854816976 2787019671 2080499219 2195454869 1760649599 2731054624 3548129370 3177836188 67921270 516466201 2083751302 331596084 2064379033 3863646568 430584713 845780592 2682801477 2189506847 1644488186 1521976603 1329893715 3496030344 3028805018 3197838866 1964236858 4244983215 2155203468 2118033204 3550611111 1181926063 447791453 1456912979 3191236437 3464796963 2560760796 83313829 411364449 1009185379 2067440781 905751858 2937763316 1796096624 4028628255 3012792193 3302962554 3077903825 659505085 1152813135 3292009680 2971609576 1770840941 149296107 918061103 1788409248 2101716314 2328657845 4098197181 3369684864 1300913237 295457506 2209588188 1168848243 3447307919 2667112214 1050650041 3393084961 2372212819 2472005867 443799436 1290808897 1453079309 3360943654 2992153271 1645578401 209927067 4223950434 1294036138 2406275030 3769541375 1585489461 2259293530 2911666942 712887224 3131409079 1541922667 1634876460 3728637906 1090590870 524129786 1805970388 458377543 3320749825 1134284622 3481636189 3209009910 3043122098 1779789949 1278267085 341913321 1012687948 305920696 3581291117 2648878937 607239600 3268352638 3060561366 2954729734 95548233 3937015272 1398862344 4187704003 843311488 2524500978 334107192 366024540 1909963650 2576630510 2970104925 422670869 252788558 3030888530 3245958965 1133431143 3794021138 971623704 2414714864 2711594025 1134135469 672200152 2735591265 3919753645 4257877007 2438486620 763481808 1248672339 1086087808 1105398234 3399446011 255 362436" option to reproduce the execution 0.09/0.13 c #vars 7072 0.09/0.13 c #constraints 7282 0.18/0.26 c Solving starts ... 0.18/0.26 c ============================[ Search Statistics ]============================ 0.18/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.26 c | | | | Limit GC | Var | Constra 0.18/0.26 c ============================================================================= 0.18/0.26 c 0.0s | 0 | 0 | 0 | 4784 0 | 362 | 0 0.38/0.44 c 0.2s | 1 | 6917 | 100 | 4784 0 | 363 | 304 0.49/0.59 c 0.3s | 2 | 10903 | 250 | 5263 0 | 364 | 305 0.78/0.81 c 0.6s | 3 | 14027 | 475 | 5790 0 | 364 | 305 1.28/1.30 c 1.0s | 4 | 19806 | 813 | 6370 0 | 364 | 305 1.99/2.01 c 1.7s | 5 | 35302 | 1320 | 7008 0 | 364 | 305 2.79/2.87 c 2.6s | 6 | 58822 | 2081 | 8480 0 | 364 | 305 4.19/4.23 c 4.0s | 7 | 88176 | 3223 | 9328 0 | 364 | 305 6.19/6.25 c 6.0s | 7 | 109032 | 4623 | 9328 0 | 366 | 307 6.79/6.90 c 6.6s | 8 | 110190 | 4936 | 10261 0 | 366 | 307 8.89/8.99 c 8.7s | 8 | 133529 | 6236 | 10261 0 | 371 | 312 11.09/11.12 c 10.9s | 8 | 141455 | 7236 | 10261 0 | 372 | 313 11.69/11.79 c 11.5s | 9 | 142694 | 7506 | 11288 0 | 372 | 313 13.78/13.81 c 13.6s | 9 | 161799 | 9006 | 11288 0 | 372 | 313 15.88/15.92 c 15.7s | 9 | 193553 | 10706 | 11288 0 | 372 | 313 17.18/17.26 c 17.0s | 10 | 203934 | 11361 | 12417 0 | 373 | 314 19.38/19.44 c 19.2s | 10 | 227662 | 12561 | 12417 0 | 374 | 315 21.68/21.70 c 21.4s | 10 | 257368 | 13961 | 12417 1 | 375 | 316 23.78/23.89 c 23.6s | 10 | 282083 | 15561 | 12417 1 | 377 | 318 25.98/26.03 c 25.8s | 10 | 293016 | 16961 | 12417 1 | 378 | 319 26.28/26.30 c 26.0s | 11 | 296768 | 17144 | 13659 1 | 378 | 319 28.28/28.38 c 28.1s | 11 | 322935 | 18344 | 13659 1 | 378 | 319 30.28/30.38 c 30.1s | 11 | 333467 | 19444 | 13659 1 | 379 | 320 32.38/32.42 c 32.2s | 11 | 356163 | 20744 | 13659 1 | 379 | 320 34.48/34.59 c 34.3s | 11 | 369944 | 22144 | 13659 1 | 379 | 320 36.58/36.61 c 36.4s | 11 | 372435 | 22944 | 13659 1 | 379 | 320 38.68/38.77 c 38.5s | 11 | 379054 | 23844 | 13659 2 | 379 | 320 40.78/40.80 c 40.5s | 11 | 393512 | 25144 | 13659 2 | 379 | 320 41.78/41.90 c 41.6s | 12 | 408005 | 25819 | 15025 2 | 379 | 320 43.98/44.02 c 43.8s | 12 | 436827 | 26919 | 15025 2 | 379 | 320 45.98/46.08 c 45.8s | 12 | 469288 | 28019 | 15025 2 | 380 | 321 48.08/48.19 c 47.9s | 12 | 481684 | 29019 | 15025 2 | 381 | 322 50.18/50.29 c 50.0s | 12 | 501384 | 30019 | 15025 2 | 381 | 322 52.48/52.52 c 52.3s | 12 | 518588 | 30919 | 15025 3 | 381 | 322 54.48/54.57 c 54.3s | 12 | 544607 | 32219 | 15025 3 | 382 | 323 56.68/56.75 c 56.5s | 12 | 557742 | 33219 | 15025 3 | 382 | 323 58.88/58.93 c 58.7s | 12 | 568972 | 34119 | 15025 3 | 382 | 323 60.98/61.07 c 60.8s | 12 | 588863 | 35119 | 15025 3 | 382 | 323 63.18/63.27 c 63.0s | 12 | 604200 | 36019 | 15025 3 | 382 | 323 65.48/65.50 c 65.2s | 12 | 625229 | 37119 | 15025 3 | 383 | 324 67.48/67.51 c 67.2s | 12 | 645907 | 38119 | 15025 3 | 383 | 324 68.88/68.92 c 68.7s | 13 | 653755 | 38832 | 16528 3 | 383 | 324 70.98/71.07 c 70.8s | 13 | 674954 | 39932 | 16528 3 | 383 | 324 73.17/73.24 c 73.0s | 13 | 687882 | 40832 | 16528 4 | 383 | 324 75.17/75.25 c 75.0s | 13 | 703894 | 41932 | 16528 4 | 383 | 324 77.27/77.34 c 77.1s | 13 | 723418 | 43132 | 16528 4 | 383 | 324 79.37/79.49 c 79.2s | 13 | 740709 | 44232 | 16528 4 | 383 | 324 81.48/81.59 c 81.3s | 13 | 763029 | 45532 | 16528 4 | 383 | 324 83.58/83.65 c 83.4s | 13 | 783449 | 46532 | 16528 4 | 383 | 324 85.67/85.74 c 85.5s | 13 | 799656 | 47432 | 16528 4 | 383 | 324 87.87/87.91 c 87.7s | 13 | 809719 | 48532 | 16528 4 | 383 | 324 90.07/90.16 c 89.9s | 13 | 821613 | 49532 | 16528 5 | 383 | 324 92.17/92.27 c 92.0s | 13 | 836169 | 50832 | 16528 5 | 383 | 324 94.27/94.36 c 94.1s | 13 | 855357 | 52132 | 16528 5 | 383 | 324 96.38/96.42 c 96.2s | 13 | 871288 | 53132 | 16528 5 | 383 | 324 98.48/98.56 c 98.3s | 13 | 890933 | 54332 | 16528 5 | 383 | 324 100.67/100.70 c 100s | 13 | 906976 | 55432 | 16528 5 | 383 | 324 102.67/102.72 c 102s | 13 | 918625 | 56432 | 16528 5 | 383 | 324 104.67/104.74 c 104s | 13 | 933971 | 57432 | 16528 5 | 383 | 324 106.97/107.02 c 106s | 13 | 938742 | 58132 | 18181 5 | 383 | 324 108.67/108.73 c 108s | 14 | 939573 | 58352 | 18181 5 | 383 | 324 110.77/110.83 c 110s | 14 | 958860 | 59252 | 18181 5 | 384 | 325 113.38/113.47 c 113s | 14 | 961448 | 59952 | 18181 5 | 384 | 325 115.47/115.53 c 115s | 14 | 964062 | 60352 | 18181 6 | 384 | 325 117.57/117.67 c 117s | 14 | 980237 | 61652 | 18181 6 | 384 | 325 119.77/119.80 c 119s | 14 | 1003684 | 62852 | 18181 6 | 384 | 325 121.87/121.91 c 121s | 14 | 1004780 | 63352 | 18181 6 | 384 | 325 123.97/124.02 c 123s | 14 | 1006968 | 63952 | 18181 6 | 384 | 325 125.97/126.05 c 125s | 14 | 1019068 | 64952 | 18181 6 | 384 | 325 128.17/128.21 c 127s | 14 | 1034711 | 65752 | 18181 6 | 384 | 325 130.17/130.25 c 129s | 14 | 1046573 | 66752 | 18181 6 | 384 | 325 132.16/132.27 c 132s | 14 | 1063411 | 67752 | 18181 6 | 384 | 325 134.27/134.34 c 134s | 14 | 1076634 | 68652 | 18181 6 | 384 | 325 136.66/136.70 c 136s | 14 | 1084584 | 69652 | 18181 6 | 384 | 325 138.76/138.83 c 138s | 14 | 1104398 | 70752 | 18181 7 | 384 | 325 140.96/141.03 c 140s | 14 | 1110049 | 71752 | 18181 7 | 384 | 325 142.97/143.09 c 142s | 14 | 1132120 | 72952 | 18181 7 | 384 | 325 145.17/145.21 c 144s | 14 | 1150221 | 74052 | 18181 7 | 384 | 325 147.16/147.26 c 147s | 14 | 1156039 | 74952 | 18181 7 | 384 | 325 149.26/149.35 c 149s | 14 | 1160993 | 75652 | 18181 7 | 384 | 325 151.26/151.38 c 151s | 14 | 1172681 | 76452 | 18181 7 | 384 | 325 153.57/153.63 c 153s | 14 | 1181336 | 77252 | 18181 7 | 384 | 325 155.57/155.66 c 155s | 14 | 1191983 | 78152 | 18181 7 | 384 | 325 157.67/157.70 c 157s | 14 | 1210869 | 79152 | 18181 7 | 384 | 325 159.67/159.78 c 159s | 14 | 1215287 | 79652 | 18181 7 | 384 | 325 161.86/161.98 c 161s | 14 | 1215968 | 79852 | 18181 7 | 384 | 325 163.97/164.01 c 163s | 14 | 1222959 | 80652 | 18181 7 | 384 | 325 166.17/166.27 c 166s | 14 | 1224999 | 81152 | 18181 7 | 384 | 325 168.37/168.41 c 168s | 14 | 1235278 | 81652 | 18181 8 | 384 | 325 170.47/170.50 c 170s | 14 | 1256611 | 82852 | 18181 8 | 384 | 325 172.56/172.61 c 172s | 14 | 1267336 | 83852 | 18181 8 | 384 | 325 174.66/174.79 c 174s | 14 | 1282711 | 85052 | 18181 8 | 384 | 325 176.86/176.97 c 176s | 14 | 1296070 | 85952 | 18181 8 | 385 | 326 178.96/179.02 c 178s | 14 | 1311730 | 87252 | 20000 8 | 385 | 326 179.56/179.67 c 179s | 15 | 1315942 | 87632 | 20000 8 | 385 | 326 181.76/181.87 c 181s | 15 | 1335186 | 88832 | 20000 8 | 385 | 326 183.96/184.02 c 183s | 15 | 1349596 | 89932 | 20000 8 | 385 | 326 186.06/186.11 c 185s | 15 | 1351812 | 90632 | 20000 8 | 385 | 326 188.16/188.22 c 187s | 15 | 1354732 | 91332 | 20000 8 | 385 | 326 190.16/190.29 c 190s | 15 | 1358803 | 92132 | 20000 8 | 385 | 326 192.26/192.34 c 192s | 15 | 1360807 | 92732 | 20000 8 | 385 | 326 194.66/194.72 c 194s | 15 | 1362593 | 93332 | 20000 8 | 385 | 326 196.86/196.98 c 196s | 15 | 1364207 | 93932 | 20000 8 | 385 | 326 199.16/199.22 c 198s | 15 | 1365600 | 94432 | 20000 8 | 385 | 326 201.26/201.37 c 201s | 15 | 1367216 | 94932 | 20000 8 | 385 | 326 203.65/203.73 c 203s | 15 | 1368409 | 95432 | 20000 8 | 385 | 326 205.76/205.86 c 205s | 15 | 1369488 | 95832 | 20000 8 | 385 | 326 207.96/208.01 c 207s | 15 | 1370271 | 96132 | 20000 9 | 385 | 326 210.56/210.66 c 210s | 15 | 1371409 | 96532 | 20000 9 | 385 | 326 213.05/213.10 c 212s | 15 | 1372401 | 96932 | 20000 9 | 385 | 326 215.56/215.63 c 215s | 15 | 1372966 | 97232 | 20000 9 | 385 | 326 217.65/217.74 c 217s | 15 | 1373732 | 97532 | 20000 9 | 385 | 326 219.85/219.97 c 219s | 15 | 1376871 | 98232 | 20000 9 | 385 | 326 222.05/222.11 c 221s | 15 | 1378344 | 98732 | 20000 9 | 385 | 326 224.36/224.41 c 224s | 15 | 1379805 | 99232 | 20000 9 | 385 | 326 226.85/226.91 c 226s | 15 | 1381233 | 99732 | 20000 9 | 385 | 326 229.26/229.36 c 229s | 15 | 1382060 | 100132 | 20000 9 | 385 | 326 231.35/231.49 c 231s | 15 | 1383849 | 100632 | 20000 9 | 385 | 326 233.65/233.76 c 233s | 15 | 1385845 | 101232 | 20000 9 | 385 | 326 235.85/235.96 c 235s | 15 | 1386849 | 101632 | 20000 9 | 385 | 326 238.55/238.68 c 238s | 15 | 1387867 | 102032 | 20000 9 | 385 | 326 241.35/241.42 c 241s | 15 | 1388368 | 102332 | 20000 9 | 385 | 326 243.85/243.97 c 243s | 15 | 1389133 | 102632 | 20000 9 | 385 | 326 246.55/246.68 c 246s | 15 | 1389768 | 102932 | 20000 9 | 385 | 326 249.15/249.27 c 249s | 15 | 1390698 | 103232 | 20000 9 | 385 | 326 251.44/251.56 c 251s | 15 | 1392831 | 103732 | 20000 9 | 385 | 326 253.75/253.84 c 253s | 15 | 1394546 | 104132 | 20000 9 | 385 | 326 256.26/256.35 c 256s | 15 | 1396284 | 104632 | 20000 9 | 385 | 326 258.25/258.37 c 258s | 15 | 1397013 | 104932 | 20000 9 | 385 | 326 260.35/260.43 c 260s | 15 | 1398157 | 105232 | 20000 9 | 385 | 326 262.55/262.68 c 262s | 15 | 1399013 | 105532 | 20000 9 | 385 | 326 265.05/265.18 c 264s | 15 | 1399749 | 105832 | 20000 9 | 385 | 326 267.84/267.95 c 267s | 15 | 1400387 | 106132 | 20000 9 | 385 | 326 270.44/270.55 c 270s | 15 | 1400919 | 106432 | 20000 9 | 385 | 326 272.95/273.05 c 272s | 15 | 1401424 | 106632 | 20000 9 | 385 | 326 275.35/275.40 c 275s | 15 | 1401804 | 106832 | 20000 9 | 385 | 326 277.35/277.49 c 277s | 15 | 1402423 | 107032 | 20000 9 | 385 | 326 279.84/279.91 c 279s | 15 | 1403859 | 107432 | 20000 9 | 385 | 326 282.24/282.34 c 282s | 15 | 1404553 | 107732 | 20000 9 | 385 | 326 284.54/284.61 c 284s | 15 | 1406777 | 108132 | 20000 9 | 385 | 326 286.74/286.86 c 286s | 15 | 1407456 | 108332 | 20000 10 | 385 | 326 289.45/289.56 c 289s | 15 | 1409612 | 108832 | 20000 10 | 385 | 326 292.14/292.25 c 291s | 15 | 1410675 | 109232 | 20000 10 | 385 | 326 294.54/294.68 c 294s | 15 | 1411315 | 109532 | 20000 10 | 385 | 326 297.24/297.37 c 297s | 15 | 1412041 | 109832 | 20000 10 | 385 | 326 299.35/299.40 c 299s | 15 | 1413026 | 110132 | 20000 10 | 385 | 326 301.64/301.79 c 301s | 15 | 1415337 | 110632 | 20000 10 | 385 | 326 304.14/304.21 c 303s | 15 | 1416621 | 111032 | 20000 10 | 385 | 326 306.94/307.10 c 306s | 15 | 1417463 | 111332 | 20000 10 | 385 | 326 309.64/309.79 c 309s | 15 | 1418061 | 111632 | 20000 10 | 385 | 326 311.94/312.04 c 311s | 15 | 1418879 | 111932 | 20000 10 | 385 | 326 314.04/314.15 c 313s | 15 | 1419493 | 112132 | 20000 10 | 385 | 326 316.44/316.55 c 316s | 15 | 1420195 | 112432 | 20000 10 | 385 | 326 318.95/319.02 c 318s | 15 | 1420933 | 112732 | 20000 10 | 385 | 326 320.93/321.08 c 320s | 15 | 1423634 | 113432 | 20000 10 | 385 | 326 323.23/323.33 c 323s | 15 | 1425233 | 113832 | 20000 10 | 385 | 326 325.55/325.69 c 325s | 15 | 1425728 | 114032 | 20000 10 | 385 | 326 327.75/327.81 c 327s | 15 | 1426071 | 114232 | 20000 10 | 385 | 326 329.94/330.04 c 329s | 15 | 1427472 | 114632 | 20000 10 | 385 | 326 332.03/332.19 c 331s | 15 | 1429082 | 115032 | 20000 10 | 385 | 326 334.44/334.59 c 334s | 15 | 1429902 | 115432 | 20000 10 | 385 | 326 336.54/336.63 c 336s | 15 | 1431068 | 115732 | 20000 10 | 385 | 326 338.75/338.87 c 338s | 15 | 1431476 | 115932 | 20000 10 | 385 | 326 341.24/341.33 c 341s | 15 | 1432683 | 116232 | 20000 10 | 385 | 326 344.03/344.17 c 343s | 15 | 1433311 | 116532 | 20000 10 | 385 | 326 346.24/346.31 c 346s | 15 | 1433857 | 116732 | 20000 10 | 385 | 326 349.03/349.13 c 348s | 15 | 1434544 | 117032 | 20000 10 | 385 | 326 351.73/351.88 c 351s | 15 | 1435277 | 117332 | 20000 10 | 385 | 326 354.44/354.52 c 354s | 15 | 1435664 | 117532 | 20000 10 | 385 | 326 357.33/357.46 c 357s | 15 | 1436534 | 117832 | 20000 10 | 385 | 326 359.64/359.72 c 359s | 15 | 1437105 | 118032 | 20000 10 | 385 | 326 361.74/361.88 c 361s | 15 | 1438049 | 118332 | 20000 10 | 385 | 326 364.14/364.28 c 364s | 15 | 1439552 | 118732 | 20000 10 | 385 | 326 366.33/366.44 c 366s | 15 | 1440316 | 119032 | 20000 10 | 385 | 326 368.73/368.83 c 368s | 15 | 1441046 | 119332 | 20000 10 | 385 | 326 371.53/371.64 c 371s | 15 | 1441803 | 119632 | 20000 10 | 385 | 326 373.73/373.88 c 373s | 15 | 1442525 | 119932 | 20000 10 | 385 | 326 375.83/375.95 c 375s | 15 | 1443007 | 120132 | 20000 10 | 385 | 326 378.02/378.11 c 377s | 15 | 1443960 | 120432 | 20000 10 | 385 | 326 380.92/381.07 c 380s | 15 | 1444397 | 120632 | 20000 11 | 385 | 326 383.23/383.35 c 383s | 15 | 1445078 | 120932 | 20000 11 | 385 | 326 385.63/385.71 c 385s | 15 | 1445669 | 121232 | 20000 11 | 385 | 326 388.23/388.38 c 388s | 15 | 1446254 | 121532 | 20000 11 | 385 | 326 390.32/390.45 c 390s | 15 | 1446677 | 121732 | 20000 11 | 385 | 326 392.64/392.76 c 392s | 15 | 1448359 | 122132 | 20000 11 | 385 | 326 395.23/395.31 c 395s | 15 | 1449818 | 122632 | 20000 11 | 385 | 326 398.03/398.18 c 397s | 15 | 1450769 | 122932 | 20000 11 | 385 | 326 400.93/401.03 c 400s | 15 | 1451813 | 123332 | 20000 11 | 385 | 326 403.43/403.55 c 403s | 15 | 1452756 | 123632 | 20000 11 | 385 | 326 406.02/406.10 c 405s | 15 | 1453770 | 124032 | 20000 11 | 385 | 326 408.22/408.39 c 408s | 15 | 1454674 | 124332 | 20000 11 | 385 | 326 410.92/411.04 c 410s | 15 | 1455174 | 124632 | 20000 11 | 385 | 326 413.53/413.69 c 413s | 15 | 1455705 | 124932 | 20000 11 | 385 | 326 416.32/416.48 c 416s | 15 | 1456377 | 125232 | 20000 11 | 385 | 326 418.43/418.52 c 418s | 15 | 1456718 | 125432 | 20000 11 | 385 | 326 421.33/421.44 c 421s | 15 | 1457448 | 125732 | 20000 11 | 385 | 326 423.53/423.64 c 423s | 15 | 1457761 | 125932 | 20000 11 | 385 | 326 426.52/426.67 c 426s | 15 | 1458511 | 126232 | 20000 11 | 385 | 326 428.82/428.99 c 428s | 15 | 1458834 | 126432 | 20000 11 | 385 | 326 431.62/431.73 c 431s | 15 | 1459401 | 126732 | 20000 11 | 385 | 326 433.92/434.07 c 433s | 15 | 1461084 | 127032 | 20000 11 | 385 | 326 436.12/436.22 c 435s | 15 | 1465509 | 127732 | 20000 11 | 385 | 326 438.42/438.55 c 438s | 15 | 1468484 | 128232 | 20000 11 | 385 | 326 440.52/440.62 c 440s | 15 | 1470482 | 128632 | 20000 11 | 385 | 326 443.12/443.28 c 443s | 15 | 1472024 | 129132 | 20000 11 | 385 | 326 445.32/445.40 c 445s | 15 | 1472975 | 129432 | 20000 11 | 385 | 326 448.11/448.27 c 448s | 15 | 1473830 | 129832 | 20000 11 | 385 | 326 450.82/450.93 c 450s | 15 | 1474422 | 130132 | 20000 11 | 385 | 326 453.52/453.64 c 453s | 15 | 1474964 | 130432 | 20000 11 | 385 | 326 455.71/455.80 c 455s | 15 | 1476073 | 130732 | 22000 11 | 385 | 326 457.91/458.06 c 457s | 15 | 1476635 | 131032 | 22000 11 | 385 | 326 460.02/460.14 c 459s | 15 | 1477185 | 131332 | 22000 11 | 385 | 326 461.72/461.88 c 461s | 16 | 1477640 | 131552 | 22000 11 | 385 | 326 464.02/464.12 c 463s | 16 | 1484459 | 131852 | 22000 12 | 386 | 327 466.02/466.14 c 465s | 16 | 1516335 | 133152 | 22000 12 | 386 | 327 468.02/468.19 c 467s | 16 | 1543061 | 134652 | 22000 12 | 386 | 327 470.12/470.23 c 469s | 16 | 1572546 | 136152 | 22000 12 | 386 | 327 472.22/472.35 c 472s | 16 | 1594004 | 137352 | 22000 12 | 386 | 327 474.22/474.37 c 474s | 16 | 1610522 | 138652 | 22000 12 | 386 | 327 476.32/476.49 c 476s | 16 | 1616091 | 139852 | 22000 12 | 386 | 327 478.52/478.63 c 478s | 16 | 1637757 | 141052 | 22000 12 | 386 | 327 480.51/480.70 c 480s | 16 | 1655117 | 142352 | 22000 12 | 386 | 327 482.71/482.85 c 482s | 16 | 1674365 | 143552 | 22000 12 | 386 | 327 484.81/484.98 c 484s | 16 | 1684879 | 144652 | 22000 13 | 386 | 327 487.01/487.14 c 486s | 16 | 1697060 | 145952 | 22000 13 | 386 | 327 489.01/489.18 c 488s | 16 | 1710327 | 147252 | 22000 13 | 386 | 327 491.21/491.30 c 491s | 16 | 1726388 | 148452 | 22000 13 | 386 | 327 493.41/493.53 c 493s | 16 | 1740948 | 149652 | 22000 13 | 387 | 328 495.41/495.55 c 495s | 16 | 1757410 | 150952 | 22000 13 | 387 | 328 497.51/497.64 c 497s | 16 | 1777354 | 152252 | 22000 13 | 387 | 328 499.71/499.83 c 499s | 16 | 1796425 | 153452 | 22000 13 | 388 | 329 501.91/502.06 c 501s | 16 | 1810032 | 154652 | 22000 13 | 388 | 329 503.91/504.07 c 503s | 16 | 1816577 | 155552 | 22000 13 | 388 | 329 506.01/506.19 c 505s | 16 | 1824873 | 156552 | 22000 14 | 388 | 329 508.12/508.22 c 507s | 16 | 1837229 | 157552 | 22000 14 | 388 | 329 510.11/510.26 c 509s | 16 | 1858958 | 158952 | 22000 14 | 388 | 329 512.11/512.29 c 512s | 16 | 1867394 | 160152 | 22000 14 | 388 | 329 514.21/514.39 c 514s | 16 | 1871393 | 160952 | 22000 14 | 388 | 329 516.31/516.40 c 516s | 16 | 1873018 | 161452 | 22000 14 | 388 | 329 518.61/518.74 c 518s | 16 | 1874639 | 161952 | 22000 14 | 388 | 329 520.81/520.95 c 520s | 16 | 1875026 | 162152 | 22000 14 | 388 | 329 523.41/523.52 c 523s | 16 | 1875575 | 162452 | 22000 14 | 388 | 329 525.41/525.57 c 525s | 16 | 1876199 | 162752 | 22000 14 | 388 | 329 527.70/527.81 c 527s | 16 | 1876732 | 162952 | 22000 14 | 388 | 329 529.70/529.83 c 529s | 16 | 1877667 | 163252 | 22000 14 | 388 | 329 531.80/531.95 c 531s | 16 | 1878369 | 163552 | 22000 14 | 388 | 329 533.91/534.03 c 533s | 16 | 1878884 | 163752 | 22000 14 | 388 | 329 536.51/536.69 c 536s | 16 | 1879303 | 163952 | 22000 14 | 388 | 329 539.01/539.14 c 538s | 16 | 1879878 | 164152 | 22000 14 | 388 | 329 541.50/541.61 c 541s | 16 | 1881173 | 164552 | 22000 14 | 388 | 329 543.90/544.06 c 543s | 16 | 1882879 | 164952 | 22000 14 | 388 | 329 546.00/546.13 c 545s | 16 | 1883815 | 165252 | 22000 14 | 388 | 329 548.50/548.69 c 548s | 16 | 1884782 | 165552 | 22000 14 | 388 | 329 551.20/551.39 c 551s | 16 | 1885115 | 165752 | 22000 14 | 388 | 329 553.40/553.56 c 553s | 16 | 1885536 | 165952 | 22000 14 | 388 | 329 555.51/555.65 c 555s | 16 | 1886286 | 166252 | 22000 14 | 388 | 329 557.90/558.03 c 557s | 16 | 1887082 | 166552 | 22000 14 | 388 | 329 559.91/560.06 c 559s | 16 | 1887599 | 166752 | 22000 14 | 388 | 329 562.11/562.26 c 562s | 16 | 1888117 | 166952 | 22000 14 | 388 | 329 565.31/565.49 c 565s | 16 | 1888461 | 167152 | 22000 14 | 388 | 329 567.90/568.02 c 567s | 16 | 1888895 | 167352 | 22000 14 | 388 | 329 569.90/570.09 c 569s | 16 | 1889326 | 167552 | 22000 14 | 388 | 329 572.90/573.01 c 572s | 16 | 1889683 | 167752 | 22000 14 | 388 | 329 574.90/575.07 c 574s | 16 | 1896491 | 168352 | 22000 14 | 388 | 329 577.10/577.22 c 576s | 16 | 1901529 | 169052 | 22000 14 | 388 | 329 579.70/579.83 c 579s | 16 | 1903496 | 169652 | 22000 14 | 388 | 329 581.99/582.10 c 581s | 16 | 1904285 | 169952 | 22000 14 | 388 | 329 584.01/584.14 c 583s | 16 | 1907136 | 170252 | 22000 15 | 388 | 329 586.40/586.51 c 586s | 16 | 1913858 | 171352 | 22000 15 | 388 | 329 588.40/588.52 c 588s | 16 | 1924220 | 172552 | 22000 15 | 388 | 329 590.40/590.59 c 590s | 16 | 1934259 | 173752 | 22000 15 | 388 | 329 592.50/592.61 c 592s | 16 | 1940709 | 174752 | 22000 15 | 388 | 329 595.00/595.15 c 594s | 16 | 1944148 | 175552 | 22000 15 | 388 | 329 596.99/597.18 c 596s | 16 | 1948572 | 176452 | 22000 15 | 388 | 329 598.99/599.20 c 598s | 16 | 1950547 | 177052 | 22000 15 | 388 | 329 601.09/601.23 c 600s | 16 | 1953064 | 177752 | 22000 15 | 388 | 329 603.09/603.27 c 603s | 16 | 1955180 | 178352 | 22000 15 | 388 | 329 605.40/605.52 c 605s | 16 | 1956438 | 178852 | 22000 15 | 388 | 329 607.50/607.66 c 607s | 16 | 1959561 | 179552 | 22000 15 | 388 | 329 609.60/609.71 c 609s | 16 | 1963478 | 180352 | 22000 15 | 388 | 329 611.60/611.77 c 611s | 16 | 1965995 | 180952 | 22000 15 | 388 | 329 613.70/613.81 c 613s | 16 | 1968702 | 181452 | 22000 15 | 388 | 329 615.79/615.94 c 615s | 16 | 1971700 | 182052 | 22000 15 | 388 | 329 618.10/618.30 c 618s | 16 | 1973849 | 182552 | 22000 16 | 388 | 329 620.40/620.51 c 620s | 16 | 1977916 | 183752 | 22000 16 | 388 | 329 622.50/622.62 c 622s | 16 | 1982749 | 184652 | 22000 16 | 388 | 329 624.89/625.08 c 624s | 16 | 1985674 | 185452 | 22000 16 | 388 | 329 627.19/627.36 c 627s | 16 | 1986461 | 185852 | 22000 16 | 388 | 329 629.39/629.51 c 629s | 16 | 1987242 | 186252 | 22000 16 | 388 | 329 631.90/632.05 c 631s | 16 | 1988251 | 186652 | 22000 16 | 388 | 329 633.99/634.12 c 633s | 16 | 1989479 | 187052 | 22000 16 | 388 | 329 636.39/636.58 c 636s | 16 | 1992290 | 187752 | 22000 16 | 388 | 329 638.49/638.68 c 638s | 16 | 1995830 | 188352 | 22000 16 | 388 | 329 640.59/640.77 c 640s | 16 | 1999028 | 189052 | 22000 16 | 388 | 329 642.99/643.11 c 642s | 16 | 2000630 | 189652 | 22000 16 | 388 | 329 645.09/645.23 c 644s | 16 | 2002666 | 190252 | 22000 16 | 388 | 329 647.29/647.49 c 647s | 16 | 2003946 | 190752 | 22000 16 | 388 | 329 649.58/649.72 c 649s | 16 | 2005392 | 191252 | 22000 16 | 388 | 329 651.69/651.83 c 651s | 16 | 2006330 | 191652 | 22000 16 | 388 | 329 654.29/654.42 c 654s | 16 | 2007555 | 192152 | 22000 16 | 388 | 329 657.09/657.20 c 656s | 16 | 2008287 | 192552 | 22000 16 | 388 | 329 659.09/659.22 c 658s | 16 | 2010342 | 193052 | 22000 16 | 388 | 329 661.19/661.30 c 661s | 16 | 2011703 | 193452 | 22000 16 | 388 | 329 663.58/663.73 c 663s | 16 | 2013557 | 193952 | 22000 16 | 388 | 329 665.69/665.87 c 665s | 16 | 2014182 | 194252 | 22000 16 | 388 | 329 668.38/668.54 c 668s | 16 | 2014668 | 194552 | 22000 16 | 388 | 329 671.29/671.47 c 671s | 16 | 2015381 | 194952 | 22000 16 | 388 | 329 674.99/675.17 c 674s | 16 | 2016221 | 195252 | 22000 17 | 388 | 329 677.19/677.38 c 677s | 16 | 2018697 | 196052 | 22000 17 | 388 | 329 679.49/679.64 c 679s | 16 | 2021198 | 196752 | 24201 17 | 388 | 329 681.39/681.54 c 681s | 17 | 2024762 | 197432 | 24201 17 | 388 | 329 683.59/683.74 c 683s | 17 | 2050671 | 198832 | 24201 17 | 388 | 329 685.68/685.86 c 685s | 17 | 2073440 | 200132 | 24201 17 | 388 | 329 687.78/687.92 c 687s | 17 | 2099035 | 201332 | 24201 17 | 388 | 329 689.78/689.95 c 689s | 17 | 2104622 | 202332 | 24201 17 | 388 | 329 691.79/691.98 c 691s | 17 | 2122580 | 203432 | 24201 17 | 388 | 329 693.88/694.01 c 693s | 17 | 2139236 | 204532 | 24201 17 | 388 | 329 695.98/696.19 c 695s | 17 | 2154216 | 205832 | 24201 17 | 388 | 329 698.18/698.32 c 698s | 17 | 2163887 | 206632 | 24201 17 | 388 | 329 700.18/700.36 c 700s | 17 | 2176690 | 207932 | 24201 17 | 388 | 329 702.28/702.46 c 702s | 17 | 2180161 | 208832 | 24201 17 | 388 | 329 704.38/704.56 c 704s | 17 | 2192719 | 209732 | 24201 18 | 388 | 329 706.58/706.71 c 706s | 17 | 2207076 | 211032 | 24201 18 | 388 | 329 708.58/708.73 c 708s | 17 | 2231126 | 212432 | 24201 18 | 388 | 329 710.68/710.85 c 710s | 17 | 2262004 | 213732 | 24201 18 | 389 | 330 712.78/712.94 c 712s | 17 | 2278386 | 214932 | 24201 18 | 389 | 330 714.98/715.15 c 714s | 17 | 2290523 | 216132 | 24201 18 | 389 | 330 717.08/717.26 c 716s | 17 | 2291957 | 216632 | 24201 18 | 389 | 330 719.28/719.43 c 719s | 17 | 2294193 | 217132 | 24201 18 | 389 | 330 721.38/721.58 c 721s | 17 | 2300705 | 217732 | 24201 18 | 389 | 330 723.48/723.67 c 723s | 17 | 2322484 | 219032 | 24201 18 | 389 | 330 725.58/725.77 c 725s | 17 | 2342534 | 220332 | 24201 18 | 389 | 330 727.78/727.90 c 727s | 17 | 2349544 | 221032 | 24201 19 | 389 | 330 729.88/730.01 c 729s | 17 | 2376755 | 222632 | 24201 19 | 389 | 330 731.98/732.15 c 731s | 17 | 2399501 | 224132 | 24201 19 | 390 | 331 734.18/734.33 c 734s | 17 | 2414928 | 225432 | 24201 19 | 390 | 331 736.38/736.51 c 736s | 17 | 2434852 | 227032 | 24201 19 | 390 | 331 738.38/738.58 c 738s | 17 | 2439296 | 228032 | 24201 19 | 390 | 331 740.48/740.68 c 740s | 17 | 2449771 | 229032 | 24201 19 | 390 | 331 742.68/742.85 c 742s | 17 | 2473540 | 230332 | 24201 19 | 390 | 331 745.08/745.25 c 744s | 17 | 2487124 | 231532 | 24201 19 | 390 | 331 747.18/747.39 c 747s | 17 | 2491252 | 232132 | 24201 19 | 390 | 331 749.28/749.47 c 749s | 17 | 2502765 | 233332 | 24201 19 | 390 | 331 751.98/752.19 c 751s | 17 | 2506823 | 234132 | 24201 20 | 390 | 331 754.08/754.27 c 754s | 17 | 2535586 | 235732 | 24201 20 | 390 | 331 756.18/756.32 c 756s | 17 | 2563643 | 237132 | 24201 20 | 390 | 331 758.27/758.41 c 758s | 17 | 2587942 | 238332 | 24201 20 | 390 | 331 760.27/760.47 c 760s | 17 | 2593092 | 239332 | 24201 20 | 390 | 331 762.57/762.71 c 762s | 17 | 2597457 | 240132 | 24201 20 | 390 | 331 764.67/764.89 c 764s | 17 | 2599276 | 240532 | 24201 20 | 390 | 331 766.77/766.95 c 766s | 17 | 2618184 | 241632 | 24201 20 | 390 | 331 768.88/769.08 c 768s | 17 | 2639442 | 242732 | 24201 20 | 390 | 331 771.08/771.22 c 770s | 17 | 2644054 | 243532 | 24201 20 | 390 | 331 773.07/773.22 c 772s | 17 | 2657798 | 244532 | 24201 20 | 391 | 332 775.07/775.27 c 775s | 17 | 2659170 | 245132 | 24201 20 | 391 | 332 777.17/777.39 c 777s | 17 | 2686010 | 246332 | 24201 20 | 391 | 332 779.47/779.62 c 779s | 17 | 2714467 | 247732 | 24201 21 | 391 | 332 781.47/781.67 c 781s | 17 | 2728412 | 249032 | 24201 21 | 391 | 332 783.57/783.80 c 783s | 17 | 2752539 | 250532 | 24201 21 | 391 | 332 785.67/785.80 c 785s | 17 | 2776224 | 251732 | 24201 21 | 391 | 332 787.67/787.82 c 787s | 17 | 2794863 | 252832 | 24201 21 | 391 | 332 789.78/789.92 c 789s | 17 | 2805982 | 254032 | 24201 21 | 391 | 332 791.77/791.98 c 791s | 17 | 2827517 | 255132 | 24201 21 | 391 | 332 793.87/794.06 c 793s | 17 | 2838394 | 256132 | 24201 21 | 391 | 332 796.97/797.11 c 796s | 17 | 2839449 | 256532 | 24201 21 | 391 | 332 799.57/799.76 c 799s | 17 | 2840458 | 256932 | 24201 21 | 391 | 332 802.17/802.35 c 802s | 17 | 2840949 | 257132 | 24201 21 | 391 | 332 804.66/804.88 c 804s | 17 | 2841511 | 257332 | 24201 21 | 391 | 332 807.86/808.00 c 807s | 17 | 2843837 | 257732 | 24201 21 | 391 | 332 810.06/810.24 c 809s | 17 | 2845002 | 258032 | 24201 21 | 391 | 332 812.46/812.62 c 812s | 17 | 2846325 | 258432 | 24201 21 | 391 | 332 814.66/814.81 c 814s | 17 | 2847998 | 258832 | 24201 21 | 391 | 332 817.46/817.62 c 817s | 17 | 2848864 | 259232 | 24201 21 | 391 | 332 820.06/820.21 c 819s | 17 | 2850312 | 259632 | 24201 21 | 391 | 332 822.96/823.13 c 822s | 17 | 2850936 | 259932 | 24201 21 | 391 | 332 825.16/825.30 c 825s | 17 | 2851936 | 260232 | 24201 21 | 391 | 332 827.56/827.73 c 827s | 17 | 2852814 | 260532 | 24201 21 | 391 | 332 829.76/829.92 c 829s | 17 | 2853855 | 260932 | 24201 21 | 391 | 332 832.26/832.43 c 832s | 17 | 2854804 | 261332 | 24201 21 | 391 | 332 834.26/834.45 c 834s | 17 | 2865505 | 261932 | 24201 22 | 391 | 332 836.36/836.55 c 836s | 17 | 2881066 | 263332 | 24201 22 | 391 | 332 838.46/838.68 c 838s | 17 | 2904782 | 264732 | 24201 22 | 391 | 332 840.56/840.79 c 840s | 17 | 2919142 | 265932 | 24201 22 | 391 | 332 842.66/842.86 c 842s | 17 | 2949642 | 267332 | 24201 22 | 391 | 332 844.77/844.97 c 844s | 17 | 2982410 | 268632 | 24201 22 | 391 | 332 846.97/847.14 c 846s | 17 | 3002458 | 269832 | 24201 22 | 391 | 332 849.17/849.33 c 849s | 17 | 3021162 | 271132 | 24201 22 | 391 | 332 851.27/851.41 c 851s | 17 | 3033048 | 272132 | 24201 22 | 391 | 332 853.26/853.46 c 853s | 17 | 3047180 | 273232 | 24201 23 | 391 | 332 855.36/855.58 c 855s | 17 | 3070196 | 274832 | 24201 23 | 391 | 332 857.55/857.71 c 857s | 17 | 3086160 | 276532 | 24201 23 | 391 | 332 859.55/859.75 c 859s | 17 | 3110619 | 277932 | 24201 23 | 391 | 332 861.65/861.86 c 861s | 17 | 3131375 | 279432 | 24201 23 | 391 | 332 863.85/864.04 c 863s | 17 | 3147939 | 280732 | 24201 23 | 391 | 332 865.85/866.07 c 865s | 17 | 3169270 | 281932 | 24201 23 | 391 | 332 867.95/868.11 c 867s | 17 | 3184055 | 283132 | 24201 23 | 391 | 332 870.06/870.23 c 869s | 17 | 3198959 | 284232 | 24201 23 | 391 | 332 872.16/872.31 c 872s | 17 | 3208124 | 285232 | 24201 23 | 391 | 332 874.26/874.44 c 874s | 17 | 3230469 | 286632 | 24201 24 | 391 | 332 876.76/876.93 c 876s | 17 | 3233589 | 287532 | 24201 24 | 391 | 332 878.76/878.97 c 878s | 17 | 3243061 | 288432 | 24201 24 | 391 | 332 880.86/881.02 c 880s | 17 | 3270025 | 289732 | 24201 24 | 391 | 332 883.05/883.27 c 883s | 17 | 3292543 | 291132 | 24201 24 | 391 | 332 885.15/885.38 c 885s | 17 | 3302069 | 292232 | 24201 24 | 391 | 332 887.25/887.47 c 887s | 17 | 3316464 | 293332 | 24201 24 | 391 | 332 889.45/889.67 c 889s | 17 | 3328081 | 294332 | 26622 24 | 391 | 332 891.55/891.79 c 891s | 17 | 3337849 | 295432 | 26622 24 | 391 | 332 893.65/893.80 c 893s | 17 | 3352013 | 296232 | 26622 24 | 391 | 332 893.65/893.84 c 893s | 18 | 3352059 | 296252 | 26622 24 | 391 | 332 895.65/895.87 c 895s | 18 | 3364630 | 297152 | 26622 24 | 391 | 332 897.65/897.88 c 897s | 18 | 3369243 | 297752 | 26622 24 | 391 | 332 899.76/899.99 c 899s | 18 | 3384431 | 298852 | 26622 25 | 392 | 333 901.86/902.00 c 901s | 18 | 3407817 | 300352 | 26622 25 | 392 | 333 903.85/904.01 c 903s | 18 | 3436949 | 301752 | 26622 25 | 392 | 333 906.05/906.20 c 905s | 18 | 3454087 | 303152 | 26622 25 | 392 | 333 908.25/908.42 c 908s | 18 | 3465561 | 304052 | 26622 25 | 392 | 333 910.34/910.57 c 910s | 18 | 3467147 | 304652 | 26622 25 | 392 | 333 912.55/912.72 c 912s | 18 | 3471496 | 305852 | 26622 25 | 392 | 333 914.65/914.82 c 914s | 18 | 3499393 | 307352 | 26622 25 | 392 | 333 916.75/916.91 c 916s | 18 | 3521051 | 308752 | 26622 25 | 392 | 333 918.85/919.03 c 918s | 18 | 3544520 | 309952 | 26622 25 | 392 | 333 920.85/921.05 c 920s | 18 | 3565306 | 311252 | 26622 26 | 393 | 334 922.86/923.06 c 922s | 18 | 3583438 | 312952 | 26622 26 | 393 | 334 924.85/925.08 c 924s | 18 | 3586363 | 313752 | 26622 26 | 393 | 334 927.25/927.48 c 927s | 18 | 3590137 | 314652 | 26622 26 | 393 | 334 929.35/929.55 c 929s | 18 | 3611330 | 316052 | 26622 26 | 393 | 334 931.45/931.65 c 931s | 18 | 3634000 | 317652 | 26622 26 | 394 | 335 933.55/933.72 c 933s | 18 | 3658476 | 319152 | 26622 26 | 394 | 335 935.64/935.86 c 935s | 18 | 3667882 | 320552 | 26622 26 | 394 | 335 937.94/938.14 c 937s | 18 | 3675464 | 321652 | 26622 26 | 394 | 335 939.94/940.19 c 939s | 18 | 3677486 | 322252 | 26622 26 | 394 | 335 942.04/942.22 c 941s | 18 | 3683864 | 322952 | 26622 26 | 394 | 335 944.14/944.30 c 944s | 18 | 3694239 | 324152 | 26622 27 | 394 | 335 946.24/946.42 c 946s | 18 | 3705128 | 325452 | 26622 27 | 394 | 335 948.34/948.53 c 948s | 18 | 3711551 | 326552 | 26622 27 | 394 | 335 950.44/950.68 c 950s | 18 | 3720603 | 327752 | 26622 27 | 394 | 335 952.55/952.78 c 952s | 18 | 3734933 | 328952 | 26622 27 | 394 | 335 954.75/954.94 c 954s | 18 | 3757338 | 330252 | 26622 27 | 394 | 335 957.04/957.23 c 956s | 18 | 3763513 | 331252 | 26622 27 | 394 | 335 959.15/959.36 c 959s | 18 | 3765619 | 331852 | 26622 27 | 394 | 335 961.25/961.41 c 961s | 18 | 3781191 | 333152 | 26622 27 | 394 | 335 963.34/963.50 c 963s | 18 | 3801338 | 334252 | 26622 27 | 394 | 335 965.34/965.59 c 965s | 18 | 3811510 | 335352 | 26622 28 | 394 | 335 967.54/967.74 c 967s | 18 | 3815382 | 336452 | 26622 28 | 394 | 335 969.64/969.89 c 969s | 18 | 3817662 | 337352 | 26622 28 | 394 | 335 971.94/972.13 c 971s | 18 | 3819161 | 337952 | 26622 28 | 394 | 335 974.24/974.49 c 974s | 18 | 3821056 | 338552 | 26622 28 | 394 | 335 976.44/976.65 c 976s | 18 | 3822140 | 339052 | 26622 28 | 394 | 335 978.74/978.93 c 978s | 18 | 3824098 | 339652 | 26622 28 | 394 | 335 980.74/980.97 c 980s | 18 | 3826099 | 340252 | 26622 28 | 394 | 335 982.94/983.12 c 982s | 18 | 3840544 | 341452 | 26622 28 | 394 | 335 984.94/985.12 c 984s | 18 | 3862020 | 342652 | 26622 28 | 394 | 335 987.04/987.22 c 986s | 18 | 3879070 | 344052 | 26622 28 | 394 | 335 989.04/989.27 c 989s | 18 | 3889606 | 345052 | 26622 29 | 395 | 336 991.14/991.36 c 991s | 18 | 3901355 | 346652 | 26622 29 | 395 | 336 993.14/993.39 c 993s | 18 | 3918734 | 348152 | 26622 29 | 395 | 336 995.34/995.53 c 995s | 18 | 3939079 | 349652 | 26622 29 | 395 | 336 997.43/997.62 c 997s | 18 | 3955842 | 351052 | 26622 29 | 395 | 336 999.53/999.71 c 999s | 18 | 3970160 | 352352 | 26622 29 | 395 | 336 1001.63/1001.89 c 1001s | 18 | 3977902 | 353752 | 26622 29 | 395 | 336 1003.83/1004.01 c 1003s | 18 | 3990188 | 354852 | 26622 30 | 395 | 336 1005.93/1006.10 c 1005s | 18 | 4000933 | 356152 | 26622 30 | 395 | 336 1008.03/1008.21 c 1007s | 18 | 4028333 | 357552 | 26622 30 | 395 | 336 1010.03/1010.27 c 1010s | 18 | 4047695 | 358852 | 26622 30 | 395 | 336 1012.33/1012.54 c 1012s | 18 | 4075227 | 360452 | 26622 30 | 395 | 336 1014.53/1014.78 c 1014s | 18 | 4088027 | 361552 | 26622 30 | 395 | 336 1016.73/1016.90 c 1016s | 18 | 4102904 | 362952 | 26622 30 | 395 | 336 1018.73/1018.95 c 1018s | 18 | 4105976 | 363652 | 26622 30 | 395 | 336 1020.93/1021.15 c 1020s | 18 | 4111157 | 364452 | 26622 30 | 395 | 336 1023.03/1023.26 c 1022s | 18 | 4127783 | 365952 | 26622 31 | 395 | 336 1025.14/1025.33 c 1025s | 18 | 4149372 | 367552 | 26622 31 | 395 | 336 1027.24/1027.40 c 1027s | 18 | 4180673 | 369152 | 26622 31 | 395 | 336 1029.54/1029.72 c 1029s | 18 | 4183327 | 369852 | 26622 31 | 395 | 336 1031.64/1031.81 c 1031s | 18 | 4189751 | 370752 | 26622 31 | 395 | 336 1033.73/1033.91 c 1033s | 18 | 4196558 | 372052 | 26622 31 | 395 | 336 1035.73/1035.98 c 1035s | 18 | 4202687 | 373052 | 26622 31 | 395 | 336 1037.83/1038.01 c 1037s | 18 | 4222208 | 374352 | 26622 32 | 395 | 336 1039.83/1040.03 c 1039s | 18 | 4251692 | 375952 | 26622 32 | 395 | 336 1042.02/1042.22 c 1041s | 18 | 4257256 | 376852 | 26622 32 | 395 | 336 1044.22/1044.45 c 1044s | 18 | 4258907 | 377352 | 26622 32 | 395 | 336 1046.52/1046.74 c 1046s | 18 | 4261062 | 377952 | 26622 32 | 395 | 336 1048.63/1048.80 c 1048s | 18 | 4263656 | 378552 | 26622 32 | 395 | 336 1050.93/1051.17 c 1050s | 18 | 4265928 | 379052 | 26622 32 | 395 | 336 1053.03/1053.27 c 1053s | 18 | 4267935 | 379652 | 26622 32 | 395 | 336 1055.72/1055.93 c 1055s | 18 | 4269076 | 380052 | 26622 32 | 395 | 336 1057.82/1058.02 c 1057s | 18 | 4271412 | 380552 | 26622 32 | 395 | 336 1059.92/1060.17 c 1059s | 18 | 4289954 | 382052 | 26622 32 | 395 | 336 1062.02/1062.27 c 1062s | 18 | 4294313 | 382852 | 26622 32 | 395 | 336 1064.42/1064.62 c 1064s | 18 | 4296593 | 383452 | 26622 32 | 395 | 336 1066.62/1066.80 c 1066s | 18 | 4297896 | 383852 | 26622 32 | 395 | 336 1068.82/1069.09 c 1068s | 18 | 4299330 | 384252 | 26622 32 | 395 | 336 1071.62/1071.85 c 1071s | 18 | 4302732 | 385052 | 26622 33 | 395 | 336 1073.81/1074.09 c 1073s | 18 | 4303179 | 385252 | 26622 33 | 395 | 336 1075.81/1076.09 c 1075s | 18 | 4304863 | 385652 | 26622 33 | 395 | 336 1077.92/1078.17 c 1077s | 18 | 4306368 | 386152 | 26622 33 | 395 | 336 1080.03/1080.22 c 1079s | 18 | 4314223 | 387152 | 26622 33 | 395 | 336 1082.33/1082.52 c 1082s | 18 | 4328323 | 388652 | 26622 33 | 395 | 336 1084.62/1084.86 c 1084s | 18 | 4331183 | 389452 | 26622 33 | 395 | 336 1086.72/1086.98 c 1086s | 18 | 4333151 | 389952 | 26622 33 | 395 | 336 1089.22/1089.42 c 1089s | 18 | 4334988 | 390452 | 26622 33 | 395 | 336 1091.41/1091.67 c 1091s | 18 | 4336580 | 390952 | 26622 33 | 395 | 336 1093.61/1093.83 c 1093s | 18 | 4337702 | 391352 | 26622 33 | 395 | 336 1095.91/1096.10 c 1095s | 18 | 4338814 | 391752 | 26622 33 | 395 | 336 1098.01/1098.28 c 1098s | 18 | 4340534 | 392252 | 26622 33 | 395 | 336 1100.00/1100.28 c 1100s | 18 | 4347099 | 392952 | 26622 33 | 395 | 336 1102.11/1102.33 c 1102s | 18 | 4362726 | 394252 | 26622 34 | 395 | 336 1104.31/1104.53 c 1104s | 18 | 4371193 | 395452 | 26622 34 | 395 | 336 1106.41/1106.67 c 1106s | 18 | 4373680 | 396152 | 26622 34 | 395 | 336 1108.40/1108.69 c 1108s | 18 | 4374910 | 396552 | 26622 34 | 395 | 336 1110.50/1110.72 c 1110s | 18 | 4376570 | 397052 | 26622 34 | 395 | 336 1112.80/1113.07 c 1112s | 18 | 4383952 | 398052 | 26622 34 | 395 | 336 1114.80/1115.09 c 1114s | 18 | 4385718 | 398652 | 26622 34 | 395 | 336 1117.00/1117.22 c 1116s | 18 | 4388297 | 399152 | 26622 34 | 395 | 336 1119.01/1119.26 c 1118s | 18 | 4405666 | 400452 | 26622 34 | 395 | 336 1121.00/1121.26 c 1121s | 18 | 4420916 | 401852 | 26622 35 | 395 | 336 1123.10/1123.33 c 1123s | 18 | 4441686 | 403552 | 26622 35 | 395 | 336 1125.21/1125.42 c 1125s | 18 | 4464341 | 405352 | 26622 35 | 395 | 336 1127.31/1127.52 c 1127s | 18 | 4473516 | 406652 | 26622 35 | 395 | 336 1129.40/1129.67 c 1129s | 18 | 4478363 | 407652 | 26622 35 | 395 | 336 1131.71/1131.98 c 1131s | 18 | 4480833 | 408452 | 26622 35 | 395 | 336 1134.00/1134.22 c 1133s | 18 | 4483280 | 409152 | 26622 35 | 395 | 336 1136.00/1136.23 c 1135s | 18 | 4485259 | 409752 | 26622 35 | 395 | 336 1138.20/1138.50 c 1138s | 18 | 4489172 | 410552 | 26622 35 | 395 | 336 1140.30/1140.50 c 1140s | 18 | 4492498 | 411152 | 26622 35 | 395 | 336 1142.39/1142.60 c 1142s | 18 | 4503240 | 411952 | 26622 36 | 395 | 336 1144.49/1144.70 c 1144s | 18 | 4519148 | 413552 | 26622 36 | 395 | 336 1146.59/1146.81 c 1146s | 18 | 4530921 | 414752 | 26622 36 | 395 | 336 1148.69/1148.91 c 1148s | 18 | 4552767 | 416352 | 26622 36 | 395 | 336 1150.69/1150.92 c 1150s | 18 | 4558267 | 417552 | 26622 36 | 395 | 336 1152.79/1153.06 c 1152s | 18 | 4560360 | 418152 | 26622 36 | 395 | 336 1154.89/1155.11 c 1154s | 18 | 4562841 | 418652 | 26622 36 | 395 | 336 1156.89/1157.18 c 1156s | 18 | 4567405 | 419552 | 26622 36 | 395 | 336 1159.08/1159.31 c 1159s | 18 | 4570362 | 420452 | 26622 36 | 395 | 336 1161.08/1161.35 c 1161s | 18 | 4573881 | 421252 | 26622 37 | 395 | 336 1163.28/1163.54 c 1163s | 18 | 4582680 | 422752 | 26622 37 | 395 | 336 1165.48/1165.76 c 1165s | 18 | 4585530 | 423652 | 26622 37 | 395 | 336 1167.59/1167.88 c 1167s | 18 | 4587928 | 424352 | 26622 37 | 395 | 336 1169.89/1170.16 c 1169s | 18 | 4592698 | 425252 | 26622 37 | 395 | 336 1172.09/1172.34 c 1172s | 18 | 4594583 | 425852 | 26622 37 | 395 | 336 1174.59/1174.82 c 1174s | 18 | 4595962 | 426252 | 26622 37 | 395 | 336 1176.58/1176.85 c 1176s | 18 | 4598396 | 426852 | 26622 37 | 395 | 336 1178.88/1179.12 c 1178s | 18 | 4600088 | 427452 | 26622 37 | 395 | 336 1181.29/1181.51 c 1181s | 18 | 4603765 | 428352 | 26622 37 | 395 | 336 1183.28/1183.54 c 1183s | 18 | 4605394 | 428852 | 26622 37 | 395 | 336 1185.88/1186.11 c 1185s | 18 | 4608983 | 429852 | 26622 38 | 395 | 336 1187.89/1188.17 c 1187s | 18 | 4613857 | 431052 | 26622 38 | 395 | 336 1190.08/1190.32 c 1190s | 18 | 4617490 | 432052 | 26622 38 | 395 | 336 1192.28/1192.57 c 1192s | 18 | 4619785 | 432752 | 26622 38 | 395 | 336 1194.48/1194.79 c 1194s | 18 | 4621235 | 433352 | 26622 38 | 395 | 336 1196.58/1196.82 c 1196s | 18 | 4622939 | 434052 | 26622 38 | 395 | 336 1198.67/1198.94 c 1198s | 18 | 4625602 | 434852 | 26622 38 | 395 | 336 1200.78/1201.09 c 1200s | 18 | 4627120 | 435352 | 26622 38 | 395 | 336 1203.08/1203.33 c 1203s | 18 | 4628238 | 435752 | 26622 38 | 395 | 336 1205.07/1205.36 c 1205s | 18 | 4629443 | 436152 | 26622 38 | 395 | 336 1207.17/1207.45 c 1207s | 18 | 4633312 | 436952 | 26622 38 | 395 | 336 1209.27/1209.58 c 1209s | 18 | 4636429 | 437752 | 26622 38 | 395 | 336 1211.77/1212.02 c 1211s | 18 | 4639436 | 438452 | 26622 38 | 395 | 336 1214.27/1214.53 c 1214s | 18 | 4641189 | 438952 | 26622 38 | 395 | 336 1216.47/1216.74 c 1216s | 18 | 4645055 | 439652 | 26622 39 | 395 | 336 1218.57/1218.89 c 1218s | 18 | 4647835 | 440552 | 26622 39 | 395 | 336 1220.96/1221.24 c 1220s | 18 | 4649973 | 441252 | 26622 39 | 395 | 336 1223.16/1223.41 c 1223s | 18 | 4652821 | 441952 | 29285 39 | 395 | 336 1225.56/1225.81 c 1225s | 18 | 4655121 | 442652 | 29285 39 | 395 | 336 1227.66/1227.95 c 1227s | 18 | 4657677 | 443252 | 29285 39 | 395 | 336 1230.06/1230.31 c 1230s | 18 | 4660193 | 443952 | 29285 39 | 395 | 336 1232.06/1232.34 c 1232s | 18 | 4661304 | 444352 | 29285 39 | 395 | 336 1232.66/1232.96 c 1232s | 19 | 4662013 | 444482 | 29285 39 | 395 | 336 1234.76/1235.00 c 1234s | 19 | 4671453 | 445482 | 29285 39 | 395 | 336 1236.76/1237.09 c 1236s | 19 | 4683361 | 446782 | 29285 39 | 395 | 336 1239.16/1239.41 c 1239s | 19 | 4691952 | 447782 | 29285 40 | 396 | 337 1241.15/1241.48 c 1241s | 19 | 4714736 | 449382 | 29285 40 | 396 | 337 1243.25/1243.51 c 1243s | 19 | 4732069 | 450682 | 29285 40 | 396 | 337 1245.25/1245.54 c 1245s | 19 | 4738806 | 451682 | 29285 40 | 396 | 337 1247.35/1247.68 c 1247s | 19 | 4741762 | 452382 | 29285 40 | 396 | 337 1249.65/1249.93 c 1249s | 19 | 4748882 | 453382 | 29285 40 | 396 | 337 1251.95/1252.28 c 1252s | 19 | 4752122 | 454082 | 29285 40 | 396 | 337 1254.05/1254.38 c 1254s | 19 | 4755043 | 454582 | 29285 40 | 396 | 337 1256.25/1256.57 c 1256s | 19 | 4766772 | 455782 | 29285 40 | 396 | 337 1258.45/1258.72 c 1258s | 19 | 4770957 | 456782 | 29285 40 | 396 | 337 1260.45/1260.79 c 1260s | 19 | 4773483 | 457582 | 29285 40 | 396 | 337 1262.84/1263.12 c 1262s | 19 | 4775237 | 458182 | 29285 40 | 396 | 337 1264.85/1265.17 c 1264s | 19 | 4777696 | 458882 | 29285 41 | 396 | 337 1266.96/1267.29 c 1267s | 19 | 4782314 | 460082 | 29285 41 | 396 | 337 1269.26/1269.59 c 1269s | 19 | 4784376 | 460682 | 29285 41 | 396 | 337 1271.35/1271.70 c 1271s | 19 | 4786290 | 461282 | 29285 41 | 396 | 337 1273.45/1273.72 c 1273s | 19 | 4787421 | 461682 | 29285 41 | 396 | 337 1275.75/1276.08 c 1275s | 19 | 4790209 | 462482 | 29285 41 | 396 | 337 1278.05/1278.39 c 1278s | 19 | 4791431 | 462982 | 29285 41 | 396 | 337 1280.34/1280.63 c 1280s | 19 | 4793914 | 463782 | 29285 41 | 396 | 337 1282.35/1282.69 c 1282s | 19 | 4798207 | 464482 | 29285 41 | 396 | 337 1284.55/1284.90 c 1284s | 19 | 4799574 | 464982 | 29285 41 | 396 | 337 1286.75/1287.10 c 1286s | 19 | 4803221 | 465682 | 29285 41 | 396 | 337 1288.84/1289.11 c 1288s | 19 | 4805667 | 466282 | 29285 41 | 396 | 337 1291.14/1291.43 c 1291s | 19 | 4807026 | 466782 | 29285 41 | 396 | 337 1293.34/1293.66 c 1293s | 19 | 4809209 | 467382 | 29285 41 | 396 | 337 1295.84/1296.18 c 1295s | 19 | 4809985 | 467682 | 29285 41 | 396 | 337 1298.74/1299.01 c 1298s | 19 | 4810703 | 467982 | 29285 41 | 396 | 337 1300.93/1301.30 c 1301s | 19 | 4811298 | 468282 | 29285 41 | 396 | 337 1303.03/1303.35 c 1303s | 19 | 4812304 | 468682 | 29285 41 | 396 | 337 1305.13/1305.43 c 1305s | 19 | 4816559 | 469482 | 29285 42 | 396 | 337 1307.33/1307.60 c 1307s | 19 | 4819134 | 470282 | 29285 42 | 396 | 337 1309.83/1310.11 c 1309s | 19 | 4821657 | 470982 | 29285 42 | 396 | 337 1312.62/1312.99 c 1312s | 19 | 4822920 | 471482 | 29285 42 | 396 | 337 1314.82/1315.13 c 1314s | 19 | 4823988 | 471882 | 29285 42 | 396 | 337 1317.42/1317.73 c 1317s | 19 | 4825406 | 472282 | 29285 42 | 396 | 337 1319.52/1319.84 c 1319s | 19 | 4826926 | 472782 | 29285 42 | 396 | 337 1322.02/1322.35 c 1322s | 19 | 4827954 | 473182 | 29285 42 | 396 | 337 1324.41/1324.71 c 1324s | 19 | 4828686 | 473482 | 29285 42 | 396 | 337 1326.42/1326.75 c 1326s | 19 | 4829730 | 473782 | 29285 42 | 396 | 337 1328.52/1328.82 c 1328s | 19 | 4841124 | 474782 | 29285 42 | 396 | 337 1330.61/1330.90 c 1330s | 19 | 4861458 | 475982 | 29285 43 | 396 | 337 1332.61/1332.98 c 1332s | 19 | 4881467 | 477582 | 29285 43 | 396 | 337 1334.81/1335.19 c 1334s | 19 | 4889342 | 478882 | 29285 43 | 396 | 337 1337.01/1337.34 c 1337s | 19 | 4901987 | 479782 | 29285 43 | 396 | 337 1339.11/1339.44 c 1339s | 19 | 4921026 | 481182 | 29285 43 | 396 | 337 1341.21/1341.52 c 1341s | 19 | 4946166 | 482582 | 29285 44 | 396 | 337 1343.31/1343.62 c 1343s | 19 | 4981570 | 484282 | 29285 44 | 396 | 337 1345.41/1345.76 c 1345s | 19 | 4988307 | 485682 | 29285 44 | 396 | 337 1347.51/1347.88 c 1347s | 19 | 4997532 | 486982 | 29285 44 | 396 | 337 1349.60/1349.90 c 1349s | 19 | 5013275 | 488182 | 29285 44 | 396 | 337 1351.61/1351.94 c 1351s | 19 | 5016764 | 489282 | 29285 44 | 396 | 337 1353.70/1354.05 c 1353s | 19 | 5028500 | 490382 | 29285 45 | 396 | 337 1355.80/1356.15 c 1355s | 19 | 5042524 | 491882 | 29285 45 | 396 | 337 1357.90/1358.28 c 1358s | 19 | 5070982 | 493282 | 29285 45 | 396 | 337 1360.00/1360.33 c 1360s | 19 | 5094409 | 494782 | 29285 45 | 396 | 337 1362.00/1362.37 c 1362s | 19 | 5112301 | 496082 | 29285 45 | 396 | 337 1364.10/1364.48 c 1364s | 19 | 5125914 | 497282 | 29285 46 | 396 | 337 1366.20/1366.59 c 1366s | 19 | 5129625 | 498282 | 29285 46 | 396 | 337 1368.30/1368.61 c 1368s | 19 | 5133518 | 499282 | 29285 46 | 396 | 337 1370.59/1370.97 c 1370s | 19 | 5135799 | 500082 | 29285 46 | 396 | 337 1372.70/1373.04 c 1372s | 19 | 5137820 | 500682 | 29285 46 | 396 | 337 1374.70/1375.07 c 1374s | 19 | 5139893 | 501182 | 29285 46 | 396 | 337 1376.79/1377.15 c 1376s | 19 | 5143843 | 501582 | 29285 46 | 396 | 337 1378.79/1379.17 c 1378s | 19 | 5157181 | 502682 | 29285 47 | 396 | 337 1380.89/1381.24 c 1380s | 19 | 5179493 | 504382 | 29285 47 | 396 | 337 1382.99/1383.37 c 1383s | 19 | 5194612 | 506182 | 29285 47 | 396 | 337 1385.09/1385.43 c 1385s | 19 | 5219006 | 507782 | 29285 48 | 396 | 337 1387.19/1387.52 c 1387s | 19 | 5236151 | 509082 | 29285 48 | 396 | 337 1389.29/1389.69 c 1389s | 19 | 5249216 | 510282 | 29285 48 | 396 | 337 1391.38/1391.75 c 1391s | 19 | 5265256 | 511782 | 29285 48 | 396 | 337 1393.39/1393.75 c 1393s | 19 | 5289382 | 513182 | 29285 49 | 396 | 337 1395.59/1395.97 c 1395s | 19 | 5298263 | 514582 | 29285 49 | 396 | 337 1397.68/1398.01 c 1397s | 19 | 5301194 | 515382 | 29285 49 | 396 | 337 1399.77/1400.15 c 1399s | 19 | 5303320 | 515982 | 29285 49 | 396 | 337 1402.08/1402.43 c 1402s | 19 | 5306951 | 516782 | 29285 49 | 396 | 337 1404.27/1404.70 c 1404s | 19 | 5308588 | 517282 | 29285 49 | 396 | 337 1406.37/1406.72 c 1406s | 19 | 5309663 | 517682 | 29285 49 | 396 | 337 1408.48/1408.89 c 1408s | 19 | 5310189 | 517982 | 29285 49 | 396 | 337 1410.67/1411.04 c 1410s | 19 | 5312709 | 518582 | 29285 49 | 396 | 337 1412.77/1413.10 c 1412s | 19 | 5313476 | 518882 | 29285 49 | 396 | 337 1415.27/1415.64 c 1415s | 19 | 5314183 | 519182 | 29285 49 | 396 | 337 1417.57/1417.91 c 1417s | 19 | 5315216 | 519582 | 29285 49 | 396 | 337 1419.87/1420.23 c 1419s | 19 | 5317228 | 520082 | 29285 49 | 396 | 337 1421.97/1422.35 c 1422s | 19 | 5321443 | 521182 | 29285 50 | 396 | 337 1424.17/1424.52 c 1424s | 19 | 5323779 | 521882 | 29285 50 | 396 | 337 1426.27/1426.69 c 1426s | 19 | 5327194 | 522582 | 29285 50 | 396 | 337 1428.37/1428.79 c 1428s | 19 | 5343690 | 523882 | 29285 50 | 396 | 337 1430.46/1430.88 c 1430s | 19 | 5355063 | 525082 | 29285 51 | 396 | 337 1432.66/1433.04 c 1432s | 19 | 5361101 | 526482 | 29285 51 | 396 | 337 1434.76/1435.16 c 1434s | 19 | 5379186 | 527982 | 29285 51 | 396 | 337 1436.86/1437.22 c 1436s | 19 | 5395608 | 529282 | 29285 51 | 396 | 337 1438.86/1439.22 c 1438s | 19 | 5415717 | 530782 | 29285 52 | 396 | 337 1440.85/1441.27 c 1441s | 19 | 5432628 | 532082 | 29285 52 | 396 | 337 1442.95/1443.34 c 1443s | 19 | 5464428 | 533782 | 29285 52 | 396 | 337 1444.95/1445.34 c 1445s | 19 | 5484578 | 535182 | 29285 53 | 396 | 337 1446.95/1447.36 c 1447s | 19 | 5501600 | 536482 | 29285 53 | 396 | 337 1449.05/1449.47 c 1449s | 19 | 5510077 | 537682 | 29285 53 | 396 | 337 1451.15/1451.57 c 1451s | 19 | 5517591 | 538682 | 29285 54 | 396 | 337 1453.25/1453.66 c 1453s | 19 | 5541377 | 540482 | 29285 54 | 396 | 337 1455.35/1455.79 c 1455s | 19 | 5556655 | 542082 | 29285 54 | 396 | 337 1457.45/1457.81 c 1457s | 19 | 5590790 | 543682 | 29285 55 | 396 | 337 1459.46/1459.81 c 1459s | 19 | 5609223 | 545082 | 29285 55 | 396 | 337 1461.44/1461.86 c 1461s | 19 | 5637310 | 546682 | 29285 56 | 396 | 337 1463.54/1463.90 c 1463s | 19 | 5650681 | 547982 | 29285 56 | 396 | 337 1465.64/1466.07 c 1465s | 19 | 5671973 | 549482 | 29285 57 | 396 | 337 1467.74/1468.15 c 1467s | 19 | 5676720 | 550582 | 29285 57 | 396 | 337 1469.83/1470.21 c 1469s | 19 | 5705695 | 552082 | 29285 58 | 396 | 337 1471.83/1472.25 c 1471s | 19 | 5728450 | 553582 | 29285 58 | 396 | 337 1473.83/1474.30 c 1474s | 19 | 5750881 | 554982 | 29285 58 | 396 | 337 1475.94/1476.37 c 1476s | 19 | 5762508 | 556282 | 29285 59 | 396 | 337 1478.04/1478.50 c 1478s | 19 | 5764595 | 556982 | 29285 59 | 396 | 337 1480.13/1480.56 c 1480s | 19 | 5766356 | 557582 | 29285 59 | 396 | 337 1482.43/1482.84 c 1482s | 19 | 5768357 | 558182 | 29285 59 | 396 | 337 1484.63/1485.01 c 1484s | 19 | 5776350 | 559082 | 29285 60 | 396 | 337 1486.72/1487.20 c 1486s | 19 | 5779949 | 559882 | 29285 60 | 396 | 337 1488.82/1489.28 c 1489s | 19 | 5805479 | 561382 | 29285 60 | 396 | 337 1491.02/1491.42 c 1491s | 19 | 5837576 | 562882 | 29285 61 | 396 | 337 1493.02/1493.44 c 1493s | 19 | 5853931 | 564382 | 29285 61 | 396 | 337 1495.02/1495.44 c 1495s | 19 | 5873787 | 565882 | 29285 62 | 396 | 337 1497.02/1497.47 c 1497s | 19 | 5892928 | 567382 | 29285 63 | 396 | 337 1499.12/1499.58 c 1499s | 19 | 5913735 | 568982 | 29285 63 | 396 | 337 1501.31/1501.72 c 1501s | 19 | 5921184 | 570082 | 29285 63 | 396 | 337 1503.61/1504.01 c 1503s | 19 | 5924596 | 570982 | 29285 63 | 396 | 337 1505.71/1506.19 c 1505s | 19 | 5928326 | 571782 | 29285 63 | 396 | 337 1508.01/1508.40 c 1508s | 19 | 5932641 | 572982 | 29285 64 | 396 | 337 1510.11/1510.52 c 1510s | 19 | 5939467 | 573982 | 29285 64 | 396 | 337 1512.31/1512.73 c 1512s | 19 | 5946493 | 575182 | 29285 64 | 396 | 337 1514.50/1514.97 c 1514s | 19 | 5948870 | 575882 | 29285 64 | 396 | 337 1516.61/1517.05 c 1516s | 19 | 5953904 | 576982 | 29285 65 | 396 | 337 1518.72/1519.16 c 1518s | 19 | 5965401 | 578282 | 29285 66 | 396 | 337 1520.70/1521.17 c 1520s | 19 | 5983926 | 579582 | 29285 66 | 396 | 337 1522.70/1523.19 c 1522s | 19 | 5993118 | 580882 | 29285 67 | 396 | 337 1524.90/1525.34 c 1525s | 19 | 6000214 | 581982 | 29285 67 | 396 | 337 1527.30/1527.70 c 1527s | 19 | 6001863 | 582682 | 29285 67 | 396 | 337 1529.30/1529.74 c 1529s | 19 | 6014840 | 583982 | 29285 68 | 396 | 337 1531.39/1531.85 c 1531s | 19 | 6024165 | 585182 | 29285 68 | 396 | 337 1533.49/1533.96 c 1533s | 19 | 6028744 | 585982 | 29285 68 | 396 | 337 1535.79/1536.27 c 1536s | 19 | 6032923 | 586882 | 29285 68 | 396 | 337 1537.89/1538.33 c 1538s | 19 | 6044136 | 588082 | 29285 69 | 396 | 337 1540.09/1540.56 c 1540s | 19 | 6058204 | 589482 | 29285 70 | 396 | 337 1542.19/1542.62 c 1542s | 19 | 6073850 | 591182 | 29285 70 | 396 | 337 1544.18/1544.66 c 1544s | 19 | 6083942 | 592382 | 29285 71 | 396 | 337 1546.29/1546.78 c 1546s | 19 | 6094918 | 593682 | 29285 71 | 396 | 337 1548.39/1548.85 c 1548s | 19 | 6105941 | 595282 | 29285 72 | 396 | 337 1550.59/1551.00 c 1550s | 19 | 6111158 | 596482 | 29285 72 | 396 | 337 1552.79/1553.26 c 1552s | 19 | 6113994 | 597282 | 29285 72 | 396 | 337 1554.99/1555.45 c 1555s | 19 | 6118004 | 598082 | 29285 73 | 396 | 337 1557.08/1557.53 c 1557s | 19 | 6120844 | 598782 | 29285 73 | 396 | 337 1559.28/1559.70 c 1559s | 19 | 6123749 | 599482 | 29285 73 | 396 | 337 1561.28/1561.79 c 1561s | 19 | 6129579 | 600382 | 29285 74 | 396 | 337 1563.38/1563.89 c 1563s | 19 | 6144798 | 601682 | 29285 74 | 396 | 337 1565.69/1566.11 c 1565s | 19 | 6148004 | 602482 | 29285 74 | 396 | 337 1567.68/1568.19 c 1567s | 19 | 6163291 | 603682 | 29285 75 | 396 | 337 1569.88/1570.37 c 1570s | 19 | 6176718 | 605282 | 29285 76 | 396 | 337 1571.98/1572.42 c 1572s | 19 | 6191393 | 606682 | 29285 77 | 396 | 337 1574.18/1574.63 c 1574s | 19 | 6211814 | 608082 | 29285 78 | 396 | 337 1576.28/1576.70 c 1576s | 19 | 6218605 | 608982 | 29285 78 | 396 | 337 1578.28/1578.73 c 1578s | 19 | 6220391 | 609482 | 29285 78 | 396 | 337 1580.28/1580.77 c 1580s | 19 | 6242252 | 610682 | 29285 80 | 396 | 337 1582.27/1582.77 c 1582s | 19 | 6264362 | 612082 | 29285 82 | 396 | 337 1584.37/1584.85 c 1584s | 19 | 6270759 | 613382 | 29285 82 | 396 | 337 1586.37/1586.88 c 1586s | 19 | 6271765 | 613882 | 29285 82 | 396 | 337 1588.37/1588.89 c 1588s | 19 | 6273393 | 614482 | 29285 82 | 396 | 337 1590.86/1591.30 c 1591s | 19 | 6274892 | 614982 | 29285 83 | 396 | 337 1593.06/1593.51 c 1593s | 19 | 6281604 | 616182 | 29285 83 | 396 | 337 1595.16/1595.69 c 1595s | 19 | 6285182 | 616982 | 29285 93 | 396 | 337 1597.36/1597.80 c 1597s | 19 | 6306959 | 618382 | 29285 101 | 396 | 337 1599.36/1599.80 c 1599s | 19 | 6320688 | 619582 | 29285 102 | 396 | 337 1601.65/1602.14 c 1601s | 19 | 6341716 | 620682 | 29285 139 | 396 | 337 1603.65/1604.15 c 1603s | 19 | 6358862 | 621882 | 29285 143 | 396 | 337 1605.75/1606.24 c 1605s | 19 | 6374443 | 623082 | 29285 145 | 396 | 337 1607.76/1608.29 c 1608s | 19 | 6398985 | 624682 | 29285 149 | 396 | 337 1609.96/1610.48 c 1610s | 19 | 6406358 | 625782 | 29285 150 | 396 | 337 1612.06/1612.50 c 1612s | 19 | 6409408 | 626382 | 29285 150 | 396 | 337 1614.25/1614.70 c 1614s | 19 | 6410220 | 626682 | 29285 150 | 396 | 337 1616.75/1617.29 c 1617s | 19 | 6411625 | 627082 | 29285 150 | 396 | 337 1618.86/1619.36 c 1619s | 19 | 6421842 | 627782 | 29285 151 | 396 | 337 1620.95/1621.45 c 1621s | 19 | 6432711 | 628982 | 29285 152 | 396 | 337 1627.84/1628.35 c 1628s | 19 | 6435802 | 629482 | 29285 413 | 396 | 337 1630.44/1630.91 c 1630s | 19 | 6442870 | 630082 | 29285 498 | 396 | 337 1632.54/1633.03 c 1632s | 19 | 6450817 | 630482 | 29285 568 | 396 | 337 1634.64/1635.12 c 1634s | 19 | 6471076 | 631782 | 29285 583 | 396 | 337 1636.64/1637.17 c 1636s | 19 | 6478962 | 632782 | 29285 585 | 396 | 337 1638.74/1639.26 c 1638s | 19 | 6499759 | 634282 | 29285 589 | 396 | 337 1641.03/1641.57 c 1641s | 19 | 6504584 | 635482 | 29285 589 | 396 | 337 1643.13/1643.69 c 1643s | 19 | 6509189 | 636282 | 29285 590 | 396 | 337 1645.24/1645.73 c 1645s | 19 | 6520932 | 637282 | 29285 612 | 396 | 337 1647.23/1647.75 c 1647s | 19 | 6530579 | 638582 | 29285 613 | 396 | 337 1649.33/1649.83 c 1649s | 19 | 6535370 | 639482 | 29285 614 | 396 | 337 1651.42/1651.93 c 1651s | 19 | 6548978 | 640882 | 29285 615 | 396 | 337 1659.43/1659.91 c 1659s | 19 | 6555707 | 641682 | 29285 916 | 396 | 337 1665.62/1666.10 c 1665s | 19 | 6569411 | 642482 | 29285 1130 | 396 | 337 1667.62/1668.17 c 1667s | 19 | 6582703 | 643882 | 29285 1146 | 396 | 337 1672.63/1673.20 c 1672s | 19 | 6590472 | 644482 | 29285 1311 | 396 | 337 1675.32/1675.88 c 1675s | 19 | 6592748 | 644582 | 29285 1416 | 396 | 337 1683.02/1683.53 c 1683s | 19 | 6595298 | 644682 | 29285 1723 | 396 | 337 1692.81/1693.32 c 1693s | 19 | 6598453 | 644882 | 29285 2115 | 396 | 337 1701.22/1701.75 c 1701s | 19 | 6600890 | 645082 | 29285 2509 | 396 | 337 1703.32/1703.80 c 1703s | 19 | 6602402 | 645182 | 29285 2603 | 396 | 337 1735.11/1735.63 c 1735s | 19 | 6606131 | 645382 | 29285 4030 | 396 | 337 1737.41/1737.90 c 1737s | 19 | 6610114 | 646382 | 29285 4030 | 396 | 337 1740.01/1740.54 c 1740s | 19 | 6612261 | 646482 | 29285 4134 | 396 | 337 1742.11/1742.62 c 1742s | 19 | 6614623 | 646582 | 29285 4219 | 396 | 337 1748.31/1748.88 c 1748s | 19 | 6618457 | 647182 | 29285 4443 | 396 | 337 1777.71/1778.26 c 1777s | 19 | 6627231 | 647882 | 29285 5692 | 396 | 337 1784.81/1785.33 c 1785s | 19 | 6628696 | 647982 | 29285 5997 | 396 | 337 1795.41/1795.90 c 1795s | 19 | 6630936 | 648082 | 29285 6457 | 396 | 337
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-4078925-1465282194/watcher-4078925-1465282194 -o /tmp/evaluation-result-4078925-1465282194/solver-4078925-1465282194 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12854 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078925-1465282194.opb pid=16574 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 2.03 2.00 3/179 16577 /proc/meminfo: memFree=29075208/32872528 swapFree=11196/354588 [pid=16577] ppid=16574 vsize=679356 CPUtime=0 cores=1,3,5,7 /proc/16577/stat : 16577 (toysat) R 16574 16577 12837 0 -1 4202496 2525 0 0 0 0 0 0 0 20 0 4 0 110152846 695660544 2886 33554432000 4194304 16246674 140737210429856 140737210429280 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16577/statm: 170351 2894 441 2943 0 167245 0 [pid=16577/tid=16578] ppid=16574 vsize=696764 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16578/stat : 16578 (toysat) S 16574 16577 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110152847 713486336 2953 33554432000 4194304 16246674 140737210429856 140610471177456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16577/tid=16579] ppid=16574 vsize=701884 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16579/stat : 16579 (toysat) S 16574 16577 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110152847 718729216 2974 33554432000 4194304 16246674 140737210429856 140610384145648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16577/tid=16580] ppid=16574 vsize=705980 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16580/stat : 16580 (toysat) S 16574 16577 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110152847 722923520 2990 33554432000 4194304 16246674 140737210429856 140610373672112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100153 s] /proc/loadavg: 2.04 2.03 2.00 3/179 16577 /proc/meminfo: memFree=29075208/32872528 swapFree=11196/354588 [pid=16577] ppid=16574 vsize=1221188 CPUtime=0.09 cores=1,3,5,7 /proc/16577/stat : 16577 (toysat) R 16574 16577 12837 0 -1 4202496 27944 0 0 0 6 3 0 0 20 0 4 0 110152846 1250496512 28242 33554432000 4194304 16246674 140737210429856 140737210429168 4221105 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16577/statm: 305297 28250 801 2943 0 302191 0 [pid=16577/tid=16578] ppid=16574 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16578/stat : 16578 (toysat) S 16574 16577 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110152847 1250496512 28255 33554432000 4194304 16246674 140737210429856 140610471177456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16577/tid=16579] ppid=16574 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16579/stat : 16579 (toysat) S 16574 16577 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110152847 1250496512 28260 33554432000 4194304 16246674 140737210429856 140610384145648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16577/tid=16580] ppid=16574 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16580/stat : 16580 (toysat) S 16574 16577 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110152847 1250496512 28264 33554432000 4194304 16246674 140737210429856 140610373672112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1221188 [startup+0.200537 s] /proc/loadavg: 2.04 2.03 2.00 3/179 16577 /proc/meminfo: memFree=29075208/32872528 swapFree=11196/354588 [pid=16577] ppid=16574 vsize=1302084 CPUtime=0.18 cores=1,3,5,7 /proc/16577/stat : 16577 (toysat) R 16574 16577 12837 0 -1 4202496 48184 0 0 0 12 6 0 0 20 0 4 0 110152846 1333334016 48482 33554432000 4194304 16246674 140737210429856 140737210412848 5925635 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16577/statm: 325521 48482 833 2943 0 322415 0 [pid=16577/tid=16578] ppid=16574 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16578/stat : 16578 (toysat) S 16574 16577 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110152847 1333334016 48482 33554432000 4194304 16246674 140737210429856 140610471177456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16577/tid=16579] ppid=16574 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16579/stat : 16579 (toysat) S 16574 16577 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110152847 1333334016 48482 33554432000 4194304 16246674 140737210429856 140610384145648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16577/tid=16580] ppid=16574 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16580/stat : 16580 (toysat) S 16574 16577 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110152847 1333334016 48482 33554432000 4194304 16246674 140737210429856 140610373672112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1302084 [startup+0.300469 s] /proc/loadavg: 2.04 2.03 2.00 3/179 16577 /proc/meminfo: memFree=29075208/32872528 swapFree=11196/354588 [pid=16577] ppid=16574 vsize=1302084 CPUtime=0.29 cores=1,3,5,7 /proc/16577/stat : 16577 (toysat) R 16574 16577 12837 0 -1 4202496 59846 0 0 0 21 8 0 0 20 0 4 0 110152846 1333334016 60144 33554432000 4194304 16246674 140737210429856 140737210411776 5675357 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16577/statm: 325521 60151 876 2943 0 322415 0 [pid=16577/tid=16578] ppid=16574 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16578/stat : 16578 (toysat) S 16574 16577 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110152847 1333334016 60156 33554432000 4194304 16246674 140737210429856 140610471177456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16577/tid=16579] ppid=16574 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16579/stat : 16579 (toysat) S 16574 16577 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110152847 1333334016 60160 33554432000 4194304 16246674 140737210429856 140610384145648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16577/tid=16580] ppid=16574 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16580/stat : 16580 (toysat) S 16574 16577 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110152847 1333334016 60165 33554432000 4194304 16246674 140737210429856 140610373672112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1302084 [startup+0.700424 s] /proc/loadavg: 2.04 2.03 2.00 3/179 16577 /proc/meminfo: memFree=29075208/32872528 swapFree=11196/354588 [pid=16577] ppid=16574 vsize=1311300 CPUtime=0.69 cores=1,3,5,7 /proc/16577/stat : 16577 (toysat) R 16574 16577 12837 0 -1 4202496 85191 0 0 0 57 12 0 0 20 0 4 0 110152846 1342771200 85489 33554432000 4194304 16246674 140737210429856 140737210429168 5545885 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16577/statm: 327825 85504 883 2943 0 324719 0 [pid=16577/tid=16578] ppid=16574 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16578/stat : 16578 (toysat) S 16574 16577 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110152847 1342771200 85515 33554432000 4194304 16246674 140737210429856 140610471177456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16577/tid=16579] ppid=16574 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16579/stat : 16579 (toysat) S 16574 16577 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110152847 1342771200 85524 33554432000 4194304 16246674 140737210429856 140610384145648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16577/tid=16580] ppid=16574 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16580/stat : 16580 (toysat) S 16574 16577 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110152847 1342771200 85533 33554432000 4194304 16246674 140737210429856 140610373672112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1311300 [startup+1.50041 s] /proc/loadavg: 2.04 2.03 2.00 3/183 16581 /proc/meminfo: memFree=28357648/32872528 swapFree=11196/354588 [pid=16577] ppid=16574 vsize=1311300 CPUtime=1.49 cores=1,3,5,7 /proc/16577/stat : 16577 (toysat) R 16574 16577 12837 0 -1 4202496 259316 0 0 0 115 34 0 0 20 0 4 0 110152846 1342771200 259614 33554432000 4194304 16246674 140737210429856 140737210411776 5828874 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16577/statm: 327825 259626 883 2943 0 324719 0 [pid=16577/tid=16578] ppid=16574 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16578/stat : 16578 (toysat) S 16574 16577 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110152847 1342771200 259631 33554432000 4194304 16246674 140737210429856 140610471177456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16577/tid=16579] ppid=16574 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16579/stat : 16579 (toysat) S 16574 16577 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110152847 1342771200 259634 33554432000 4194304 16246674 140737210429856 140610384145648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16577/tid=16580] ppid=16574 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16580/stat : 16580 (toysat) S 16574 16577 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110152847 1342771200 259640 33554432000 4194304 16246674 140737210429856 140610373672112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1311300 [startup+3.10043 s] /proc/loadavg: 2.04 2.03 2.00 3/183 16581 /proc/meminfo: memFree=27998428/32872528 swapFree=11196/354588 [pid=16577] ppid=16574 vsize=1311300 CPUtime=3.09 cores=1,3,5,7 /proc/16577/stat : 16577 (toysat) R 16574 16577 12837 0 -1 4202496 269008 0 0 0 274 35 0 0 20 0 4 0 110152846 1342771200 269306 33554432000 4194304 16246674 140737210429856 140737210411776 5546252 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16577/statm: 327825 269306 883 2943 0 324719 0 [pid=16577/tid=16578] ppid=16574 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16578/stat : 16578 (toysat) S 16574 16577 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110152847 1342771200 269306 33554432000 4194304 16246674 140737210429856 140610471177456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16577/tid=16579] ppid=16574 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16579/stat : 16579 (toysat) S 16574 16577 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110152847 1342771200 269306 33554432000 4194304 16246674 140737210429856 140610384145648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16577/tid=16580] ppid=16574 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16580/stat : 16580 (toysat) S 16574 16577 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110152847 1342771200 269306 33554432000 4194304 16246674 140737210429856 140610373672112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1311300 [startup+6.30043 s] /proc/loadavg: 2.04 2.03 2.00 3/183 16581 /proc/meminfo: memFree=27998560/32872528 swapFree=11196/354588 [pid=16577] ppid=16574 vsize=1311300 CPUtime=6.29 cores=1,3,5,7 /proc/16577/stat : 16577 (toysat) R 16574 16577 12837 0 -1 4202496 269008 0 0 0 594 35 0 0 20 0 4 0 110152846 1342771200 269306 33554432000 4194304 16246674 140737210429856 140737210411776 5523460 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16577/statm: 327825 269306 883 2943 0 324719 0 [pid=16577/tid=16578] ppid=16574 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16578/stat : 16578 (toysat) S 16574 16577 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110152847 1342771200 269306 33554432000 4194304 16246674 140737210429856 140610471177456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16577/tid=16579] ppid=16574 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16579/stat : 16579 (toysat) S 16574 16577 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110152847 1342771200 269306 33554432000 4194304 16246674 140737210429856 140610384145648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16577/tid=16580] ppid=16574 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16580/stat : 16580 (toysat) S 16574 16577 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110152847 1342771200 269306 33554432000 4194304 16246674 140737210429856 140610373672112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1311300 [startup+12.7004 s] /proc/loadavg: 2.03 2.03 2.00 3/184 16584 /proc/meminfo: memFree=27997884/32872528 swapFree=11196/354588 [pid=16577] ppid=16574 vsize=1311300 CPUtime=12.69 cores=1,3,5,7 /proc/16577/stat : 16577 (toysat) R 16574 16577 12837 0 -1 4202496 269010 0 0 0 1234 35 0 0 20 0 4 0 110152846 1342771200 269308 33554432000 4194304 16246674 140737210429856 140737210411776 5675441 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16577/statm: 327825 269308 885 2943 0 324719 0 [pid=16577/tid=16578] ppid=16574 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16578/stat : 16578 (toysat) S 16574 16577 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110152847 1342771200 269308 33554432000 4194304 16246674 140737210429856 140610471177456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16577/tid=16579] ppid=16574 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16579/stat : 16579 (toysat) S 16574 16577 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110152847 1342771200 269308 33554432000 4194304 16246674 140737210429856 140610384145648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16577/tid=16580] ppid=16574 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16580/stat : 16580 (toysat) S 16574 16577 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110152847 1342771200 269308 33554432000 4194304 16246674 140737210429856 140610373672112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1311300 [startup+25.5005 s] /proc/loadavg: 2.03 2.03 2.00 3/184 16584 /proc/meminfo: memFree=27998944/32872528 swapFree=11196/354588 [pid=16577] ppid=16574 vsize=1311300 CPUtime=25.48 cores=1,3,5,7 /proc/16577/stat : 16577 (toysat) R 16574 16577 12837 0 -1 4202496 269010 0 0 0 2513 35 0 0 20 0 4 0 110152846 1342771200 269308 33554432000 4194304 16246674 140737210429856 140737210411776 5661428 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16577/statm: 327825 269308 885 2943 0 324719 0 [pid=16577/tid=16578] ppid=16574 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16578/stat : 16578 (toysat) S 16574 16577 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110152847 1342771200 269308 33554432000 4194304 16246674 140737210429856 140610471177456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16577/tid=16579] ppid=16574 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16579/stat : 16579 (toysat) S 16574 16577 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110152847 1342771200 269308 33554432000 4194304 16246674 140737210429856 140610384145648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16577/tid=16580] ppid=16574 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16580/stat : 16580 (toysat) S 16574 16577 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110152847 1342771200 269308 33554432000 4194304 16246674 140737210429856 140610373672112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1311300 [startup+51.1005 s] /proc/loadavg: 2.02 2.03 2.00 3/184 16584 /proc/meminfo: memFree=27968516/32872528 swapFree=11196/354588 [pid=16577] ppid=16574 vsize=1311300 CPUtime=51.08 cores=1,3,5,7 /proc/16577/stat : 16577 (toysat) R 16574 16577 12837 0 -1 4202496 269011 0 0 0 5072 36 0 0 20 0 4 0 110152846 1342771200 269309 33554432000 4194304 16246674 140737210429856 140737210411776 6012036 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16577/statm: 327825 269309 886 2943 0 324719 0 [pid=16577/tid=16578] ppid=16574 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16578/stat : 16578 (toysat) S 16574 16577 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110152847 1342771200 269309 33554432000 4194304 16246674 140737210429856 140610471177456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16577/tid=16579] ppid=16574 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16579/stat : 16579 (toysat) S 16574 16577 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110152847 1342771200 269309 33554432000 4194304 16246674 140737210429856 140610384145648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16577/tid=16580] ppid=16574 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16580/stat : 16580 (toysat) S 16574 16577 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110152847 1342771200 269309 33554432000 4194304 16246674 140737210429856 140610373672112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1311300 [startup+102.301 s] /proc/loadavg: 2.01 2.02 2.00 3/183 16585 /proc/meminfo: memFree=27935048/32872528 swapFree=11196/354588 [pid=16577] ppid=16574 vsize=1311300 CPUtime=102.28 cores=1,3,5,7 /proc/16577/stat : 16577 (toysat) R 16574 16577 12837 0 -1 4202496 269011 0 0 0 10191 37 0 0 20 0 4 0 110152846 1342771200 269309 33554432000 4194304 16246674 140737210429856 140737210411776 13820907 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16577/statm: 327825 269309 886 2943 0 324719 0 [pid=16577/tid=16578] ppid=16574 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16578/stat : 16578 (toysat) S 16574 16577 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110152847 1342771200 269309 33554432000 4194304 16246674 140737210429856 140610471177456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16577/tid=16579] ppid=16574 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16579/stat : 16579 (toysat) S 16574 16577 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110152847 1342771200 269309 33554432000 4194304 16246674 140737210429856 140610384145648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16577/tid=16580] ppid=16574 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16580/stat : 16580 (toysat) S 16574 16577 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110152847 1342771200 269309 33554432000 4194304 16246674 140737210429856 140610373672112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1311300 ################ # More data... # ################ /proc/16577/task/16580/stat : 16580 (toysat) S 16574 16577 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110152847 1346965504 270465 33554432000 4194304 16246674 140737210429856 140610373672112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302.03 Current children cumulated vsize (KiB) 1315396 [startup+1362.3 s] /proc/loadavg: 2.04 2.03 2.00 3/183 16688 /proc/meminfo: memFree=29528160/32872528 swapFree=11196/354588 [pid=16577] ppid=16574 vsize=1315396 CPUtime=1362 cores=1,3,5,7 /proc/16577/stat : 16577 (toysat) R 16574 16577 12837 0 -1 4202496 270052 0 0 0 136092 108 0 0 20 0 4 0 110152846 1346965504 270465 33554432000 4194304 16246674 140737210429856 140737210411776 5661432 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16577/statm: 328849 270465 886 2943 0 325743 0 [pid=16577/tid=16578] ppid=16574 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16578/stat : 16578 (toysat) S 16574 16577 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110152847 1346965504 270465 33554432000 4194304 16246674 140737210429856 140610471177456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16577/tid=16579] ppid=16574 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16579/stat : 16579 (toysat) S 16574 16577 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110152847 1346965504 270465 33554432000 4194304 16246674 140737210429856 140610384145648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16577/tid=16580] ppid=16574 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16580/stat : 16580 (toysat) S 16574 16577 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110152847 1346965504 270465 33554432000 4194304 16246674 140737210429856 140610373672112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1362 Current children cumulated vsize (KiB) 1315396 [startup+1422.3 s] /proc/loadavg: 2.01 2.02 2.00 3/182 16689 /proc/meminfo: memFree=29528252/32872528 swapFree=11196/354588 [pid=16577] ppid=16574 vsize=1315396 CPUtime=1421.97 cores=1,3,5,7 /proc/16577/stat : 16577 (toysat) R 16574 16577 12837 0 -1 4202496 270090 0 0 0 142086 111 0 0 20 0 4 0 110152846 1346965504 270465 33554432000 4194304 16246674 140737210429856 140737210411776 13923831 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16577/statm: 328849 270465 886 2943 0 325743 0 [pid=16577/tid=16578] ppid=16574 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16578/stat : 16578 (toysat) S 16574 16577 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110152847 1346965504 270465 33554432000 4194304 16246674 140737210429856 140610471177456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16577/tid=16579] ppid=16574 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16579/stat : 16579 (toysat) S 16574 16577 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110152847 1346965504 270465 33554432000 4194304 16246674 140737210429856 140610384145648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16577/tid=16580] ppid=16574 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16580/stat : 16580 (toysat) S 16574 16577 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110152847 1346965504 270465 33554432000 4194304 16246674 140737210429856 140610373672112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 1315396 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 16691 /proc/meminfo: memFree=29527776/32872528 swapFree=11196/354588 [pid=16577] ppid=16574 vsize=1315396 CPUtime=1481.93 cores=1,3,5,7 /proc/16577/stat : 16577 (toysat) R 16574 16577 12837 0 -1 4202496 270137 0 0 0 148080 113 0 0 20 0 4 0 110152846 1346965504 270465 33554432000 4194304 16246674 140737210429856 140737210411776 12483212 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16577/statm: 328849 270465 886 2943 0 325743 0 [pid=16577/tid=16578] ppid=16574 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16578/stat : 16578 (toysat) S 16574 16577 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110152847 1346965504 270465 33554432000 4194304 16246674 140737210429856 140610471177456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16577/tid=16579] ppid=16574 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16579/stat : 16579 (toysat) S 16574 16577 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110152847 1346965504 270465 33554432000 4194304 16246674 140737210429856 140610384145648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16577/tid=16580] ppid=16574 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16580/stat : 16580 (toysat) S 16574 16577 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110152847 1346965504 270465 33554432000 4194304 16246674 140737210429856 140610373672112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1315396 [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.00 3/183 16692 /proc/meminfo: memFree=29527804/32872528 swapFree=11196/354588 [pid=16577] ppid=16574 vsize=1315396 CPUtime=1541.89 cores=1,3,5,7 /proc/16577/stat : 16577 (toysat) R 16574 16577 12837 0 -1 4202496 270181 0 0 0 154075 114 0 0 20 0 4 0 110152846 1346965504 270465 33554432000 4194304 16246674 140737210429856 140737210411776 5545704 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16577/statm: 328849 270465 886 2943 0 325743 0 [pid=16577/tid=16578] ppid=16574 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16578/stat : 16578 (toysat) S 16574 16577 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110152847 1346965504 270465 33554432000 4194304 16246674 140737210429856 140610471177456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16577/tid=16579] ppid=16574 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16579/stat : 16579 (toysat) S 16574 16577 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110152847 1346965504 270465 33554432000 4194304 16246674 140737210429856 140610384145648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16577/tid=16580] ppid=16574 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16580/stat : 16580 (toysat) S 16574 16577 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110152847 1346965504 270465 33554432000 4194304 16246674 140737210429856 140610373672112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1315396 [startup+1602.3 s] /proc/loadavg: 2.06 2.02 2.00 3/183 16693 /proc/meminfo: memFree=29527832/32872528 swapFree=11196/354588 [pid=16577] ppid=16574 vsize=1315396 CPUtime=1601.85 cores=1,3,5,7 /proc/16577/stat : 16577 (toysat) R 16574 16577 12837 0 -1 4202496 270226 0 0 0 160070 115 0 0 20 0 4 0 110152846 1346965504 270465 33554432000 4194304 16246674 140737210429856 140737210411776 5828829 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16577/statm: 328849 270465 886 2943 0 325743 0 [pid=16577/tid=16578] ppid=16574 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16578/stat : 16578 (toysat) S 16574 16577 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110152847 1346965504 270465 33554432000 4194304 16246674 140737210429856 140610471177456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16577/tid=16579] ppid=16574 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16579/stat : 16579 (toysat) S 16574 16577 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110152847 1346965504 270465 33554432000 4194304 16246674 140737210429856 140610384145648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16577/tid=16580] ppid=16574 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16580/stat : 16580 (toysat) S 16574 16577 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110152847 1346965504 270465 33554432000 4194304 16246674 140737210429856 140610373672112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1315396 [startup+1662.3 s] /proc/loadavg: 2.02 2.02 2.00 3/183 16694 /proc/meminfo: memFree=29528000/32872528 swapFree=11196/354588 [pid=16577] ppid=16574 vsize=1315396 CPUtime=1661.83 cores=1,3,5,7 /proc/16577/stat : 16577 (toysat) R 16574 16577 12837 0 -1 4202496 270264 0 0 0 166065 118 0 0 20 0 4 0 110152846 1346965504 270465 33554432000 4194304 16246674 140737210429856 140737210411776 12874885 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16577/statm: 328849 270465 886 2943 0 325743 0 [pid=16577/tid=16578] ppid=16574 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16578/stat : 16578 (toysat) S 16574 16577 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110152847 1346965504 270465 33554432000 4194304 16246674 140737210429856 140610471177456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16577/tid=16579] ppid=16574 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16579/stat : 16579 (toysat) S 16574 16577 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110152847 1346965504 270465 33554432000 4194304 16246674 140737210429856 140610384145648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16577/tid=16580] ppid=16574 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16580/stat : 16580 (toysat) S 16574 16577 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110152847 1346965504 270465 33554432000 4194304 16246674 140737210429856 140610373672112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1315396 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 16695 /proc/meminfo: memFree=29526852/32872528 swapFree=11196/354588 [pid=16577] ppid=16574 vsize=1315396 CPUtime=1721.81 cores=1,3,5,7 /proc/16577/stat : 16577 (toysat) R 16574 16577 12837 0 -1 4202496 270264 0 0 0 172060 121 0 0 20 0 4 0 110152846 1346965504 270465 33554432000 4194304 16246674 140737210429856 140737210428952 13818354 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16577/statm: 328849 270465 886 2943 0 325743 0 [pid=16577/tid=16578] ppid=16574 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16578/stat : 16578 (toysat) S 16574 16577 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110152847 1346965504 270465 33554432000 4194304 16246674 140737210429856 140610471177456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16577/tid=16579] ppid=16574 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16579/stat : 16579 (toysat) S 16574 16577 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110152847 1346965504 270465 33554432000 4194304 16246674 140737210429856 140610384145648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16577/tid=16580] ppid=16574 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16580/stat : 16580 (toysat) S 16574 16577 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110152847 1346965504 270465 33554432000 4194304 16246674 140737210429856 140610373672112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1315396 [startup+1782.3 s] /proc/loadavg: 2.05 2.02 2.00 3/183 16697 /proc/meminfo: memFree=29526260/32872528 swapFree=11196/354588 [pid=16577] ppid=16574 vsize=1315396 CPUtime=1781.81 cores=1,3,5,7 /proc/16577/stat : 16577 (toysat) R 16574 16577 12837 0 -1 4202496 270264 0 0 0 178056 125 0 0 20 0 4 0 110152846 1346965504 270465 33554432000 4194304 16246674 140737210429856 140737210411776 13818362 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16577/statm: 328849 270465 886 2943 0 325743 0 [pid=16577/tid=16578] ppid=16574 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16578/stat : 16578 (toysat) S 16574 16577 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110152847 1346965504 270465 33554432000 4194304 16246674 140737210429856 140610471177456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16577/tid=16579] ppid=16574 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16579/stat : 16579 (toysat) S 16574 16577 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110152847 1346965504 270465 33554432000 4194304 16246674 140737210429856 140610384145648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16577/tid=16580] ppid=16574 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16580/stat : 16580 (toysat) S 16574 16577 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110152847 1346965504 270465 33554432000 4194304 16246674 140737210429856 140610373672112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1315396 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.04 2.02 2.00 3/183 16697 /proc/meminfo: memFree=29525872/32872528 swapFree=11196/354588 [pid=16577] ppid=16574 vsize=1315396 CPUtime=1800 cores=1,3,5,7 /proc/16577/stat : 16577 (toysat) R 16574 16577 12837 0 -1 4202496 270264 0 0 0 179874 126 0 0 20 0 4 0 110152846 1346965504 270465 33554432000 4194304 16246674 140737210429856 140737210429032 4220507 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16577/statm: 328849 270465 886 2943 0 325743 0 [pid=16577/tid=16578] ppid=16574 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16578/stat : 16578 (toysat) S 16574 16577 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110152847 1346965504 270465 33554432000 4194304 16246674 140737210429856 140610471177456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16577/tid=16579] ppid=16574 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16579/stat : 16579 (toysat) S 16574 16577 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110152847 1346965504 270465 33554432000 4194304 16246674 140737210429856 140610384145648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16577/tid=16580] ppid=16574 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16580/stat : 16580 (toysat) S 16574 16577 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110152847 1346965504 270465 33554432000 4194304 16246674 140737210429856 140610373672112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 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 16577 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.04 2.02 2.00 3/183 16697 /proc/meminfo: memFree=29525872/32872528 swapFree=11196/354588 [pid=16577] ppid=16574 vsize=1315396 CPUtime=1800 cores=1,3,5,7 /proc/16577/stat : 16577 (toysat) R 16574 16577 12837 0 -1 4202496 270264 0 0 0 179874 126 0 0 20 0 4 0 110152846 1346965504 270465 33554432000 4194304 16246674 140737210429856 140737210429032 4220507 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16577/statm: 328849 270465 886 2943 0 325743 0 [pid=16577/tid=16578] ppid=16574 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16578/stat : 16578 (toysat) S 16574 16577 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110152847 1346965504 270465 33554432000 4194304 16246674 140737210429856 140610471177456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16577/tid=16579] ppid=16574 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16579/stat : 16579 (toysat) S 16574 16577 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110152847 1346965504 270465 33554432000 4194304 16246674 140737210429856 140610384145648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16577/tid=16580] ppid=16574 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/16577/task/16580/stat : 16580 (toysat) S 16574 16577 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110152847 1346965504 270465 33554432000 4194304 16246674 140737210429856 140610373672112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1315396 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1798.75 CPU system time (s): 1.26481 CPU usage (%): 99.9727 Max. virtual memory (cumulated for all children) (KiB): 1315396 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.75 system time used= 1.26481 maximum resident set size= 1081860 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 270264 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= 367 involuntary context switches= 2466 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.45632 second user time and 7.04693 second system time The end
Begin job on node126 at 2016-06-07 08:49:54 IDJOB=4078925 IDBENCH=90117 IDSOLVER=2542 FILE ID=node126/4078925-1465282194 RUNJOBID= node126-1465253620-12854 PBS_JOBID= 19843265 Free space on /tmp= 71676 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K104.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078925-1465282194/watcher-4078925-1465282194 -o /tmp/evaluation-result-4078925-1465282194/solver-4078925-1465282194 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12854 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078925-1465282194.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a8d55fafa030e5024da65ad802ff80be RANDOM SEED=402931240 node126.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29076116 kB Buffers: 16276 kB Cached: 126160 kB SwapCached: 2100 kB Active: 2669512 kB Inactive: 38672 kB Active(anon): 2563144 kB Inactive(anon): 4724 kB Active(file): 106368 kB Inactive(file): 33948 kB Unevictable: 354588 kB Mlocked: 11196 kB SwapTotal: 67108856 kB SwapFree: 67098636 kB Dirty: 16724 kB Writeback: 0 kB AnonPages: 2928832 kB Mapped: 10964 kB Shmem: 0 kB Slab: 596608 kB SReclaimable: 40752 kB SUnreclaim: 555856 kB KernelStack: 1520 kB PageTables: 10048 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3064096 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1626112 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= 71708 MiB End job on node126 at 2016-06-07 09:19:55