| 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_K105.opb |
| MD5SUM | f2bb3fbff44c335cc6fb8854fd262f5a |
| 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 | 538.724 |
| 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 | 7140 |
| Total number of constraints | 7352 |
| Number of constraints which are clauses | 7247 |
| Number of constraints which are cardinality constraints (but not clauses) | 105 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 105 |
| 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 | 106 |
| 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:51:16+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-4078926-1465282276.opb"] 0.00/0.01 c use --random-gen="4183067195 4203026448 2321374408 3795266401 3939650578 3686815489 1711664640 879380180 1071152006 4104681073 1610253141 3876703192 2711441795 254339433 1631694466 2074781945 829313732 3435317972 2765776311 253651863 2966148457 782448408 2324123176 129273734 1321373582 2357587882 342662332 3121068603 2094443342 3142481081 1805490664 1088254361 553844457 2170631095 457293839 2413090546 4222619088 1028865610 4053444711 450792929 1185592440 2953602143 610432317 385937967 2787626919 13348189 397367080 551156415 2146437209 803668847 2716631301 3881709197 565401525 1866158505 3915900635 560855850 3545625019 1277220909 3800153242 3659955863 1445430855 2209546369 1856545946 2296346593 1414832329 3797130814 2877999299 3266505004 1433653183 4143892919 1170082866 1375978297 3532982696 4098748047 2859997635 1248394955 3004678831 3046119454 1339073883 127137722 1507479235 1008651392 469300387 1965369252 734472924 2763660299 2717066980 1838639831 3003244539 2923516200 2183113902 787946674 4175315170 384972127 235600941 2834462977 394513841 3847081339 2108814482 4039210073 2016984368 208110559 238688583 2067852755 1313101306 1271303101 3093668030 1474759808 3374801638 2533756536 660637587 4032912655 1467310622 1078204597 2664554196 2993972707 3918571777 202373243 522915495 1658660637 3821902100 3328390109 2336561133 4134989611 1163353497 426649528 2489795500 1472252518 1718728598 1652417294 2239596059 1594453469 1606678882 788124152 3014099687 3602692127 176420174 652874415 114741675 767413589 1589872435 2161015058 3618361401 2579436278 4189677480 4271009494 2338726321 3456222303 369360605 2074975427 583737622 2510898087 1935159208 1192089876 399116705 2594375381 1514009307 3070061587 18726749 1053407129 3310989830 2768719962 3192346636 4072395007 180065458 2468243727 2641733784 1208052125 1806678760 634147094 1897509512 4154702181 1053078526 2040732410 3068769995 21036318 3083838168 1484186803 1709721026 4264199175 3868542532 1000593248 3805533251 1058475144 4052420698 2066378199 1144997889 3596077454 2579100348 1189338963 1367563601 2181164077 3588203928 2960004028 3695444857 655200758 4200345101 2916900037 3596032260 300447226 532252162 3234912184 1096530600 3118103890 4108500579 1633192278 3499347096 674808301 3381326137 3921972045 2936724306 3530337989 2347605392 2944793091 3165586914 1990516668 1778715546 3027943884 1921998852 2267040437 2885971848 3053992275 3452853588 3677142239 1540205896 4259452185 3918670869 2114588324 2973850767 3429478540 2268536785 285742949 738759051 3020281574 1613193656 241611333 4166688669 1498514240 521776553 2123183432 2125724984 4223014202 3044803280 2095438219 939458313 1427998288 535931819 465799402 1637416892 1014178709 1009846618 695712715 1579517403 193922230 3817291423 3050232005 255 362436" option to reproduce the execution 0.09/0.12 c #vars 7140 0.09/0.12 c #constraints 7352 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 | 4830 0 | 362 | 0 0.39/0.44 c 0.2s | 1 | 5364 | 100 | 4830 0 | 363 | 304 0.58/0.69 c 0.4s | 2 | 11113 | 250 | 5313 0 | 363 | 304 0.69/1.10 c 0.8s | 3 | 17807 | 475 | 5845 0 | 363 | 304 1.39/1.42 c 1.2s | 4 | 23071 | 813 | 6430 0 | 364 | 305 2.08/2.19 c 1.9s | 5 | 28911 | 1320 | 7074 0 | 364 | 305 3.28/3.35 c 3.1s | 6 | 32563 | 2081 | 8561 0 | 364 | 305 4.58/4.65 c 4.4s | 7 | 58160 | 3223 | 9418 0 | 365 | 306 6.68/6.72 c 6.5s | 7 | 88010 | 4623 | 9418 0 | 367 | 308 7.88/7.92 c 7.7s | 8 | 89131 | 4936 | 10360 0 | 367 | 308 9.88/9.95 c 9.7s | 8 | 113489 | 6436 | 10360 0 | 368 | 309 11.39/11.49 c 11.2s | 9 | 138351 | 7506 | 11397 0 | 368 | 309 13.49/13.52 c 13.3s | 9 | 162736 | 8706 | 11397 0 | 371 | 312 15.58/15.62 c 15.4s | 9 | 188333 | 10006 | 11397 0 | 373 | 314 17.58/17.63 c 17.4s | 9 | 210424 | 11306 | 12537 0 | 375 | 316 17.68/17.72 c 17.5s | 10 | 210633 | 11361 | 12537 0 | 375 | 316 19.88/19.90 c 19.6s | 10 | 232535 | 12661 | 12537 0 | 377 | 318 22.18/22.21 c 22.0s | 10 | 262279 | 13961 | 12537 1 | 378 | 319 24.28/24.38 c 24.1s | 10 | 282895 | 15461 | 12537 1 | 378 | 319 26.48/26.50 c 26.2s | 10 | 312672 | 16661 | 12537 1 | 380 | 321 27.18/27.22 c 27.0s | 11 | 320964 | 17144 | 13791 1 | 381 | 322 29.28/29.34 c 29.1s | 11 | 339848 | 18444 | 13791 1 | 381 | 322 31.38/31.45 c 31.2s | 11 | 365253 | 19844 | 13791 1 | 381 | 322 33.48/33.50 c 33.2s | 11 | 373283 | 20844 | 13791 1 | 381 | 322 35.48/35.54 c 35.3s | 11 | 390487 | 22044 | 13791 2 | 381 | 322 37.48/37.58 c 37.3s | 11 | 410299 | 23344 | 13791 2 | 381 | 322 39.68/39.72 c 39.5s | 11 | 433967 | 24544 | 13791 2 | 383 | 324 41.78/41.82 c 41.6s | 11 | 457657 | 25744 | 15171 2 | 384 | 325 41.88/41.93 c 41.7s | 12 | 458793 | 25819 | 15171 2 | 384 | 325 44.08/44.11 c 43.8s | 12 | 464722 | 26819 | 15171 2 | 384 | 325 46.18/46.23 c 46.0s | 12 | 479187 | 27919 | 15171 2 | 384 | 325 48.28/48.32 c 48.1s | 12 | 502453 | 29219 | 15171 2 | 384 | 325 50.48/50.58 c 50.3s | 12 | 510795 | 30119 | 15171 2 | 384 | 325 52.88/52.90 c 52.6s | 12 | 533533 | 31219 | 15171 3 | 384 | 325 54.88/54.91 c 54.7s | 12 | 559907 | 32419 | 15171 3 | 386 | 327 56.88/56.93 c 56.7s | 12 | 586969 | 33619 | 15171 3 | 387 | 328 58.98/59.01 c 58.8s | 12 | 608260 | 34819 | 15171 3 | 388 | 329 61.08/61.11 c 60.9s | 12 | 612284 | 35919 | 15171 3 | 388 | 329 63.09/63.19 c 62.9s | 12 | 627357 | 37119 | 15171 3 | 388 | 329 65.19/65.26 c 65.0s | 12 | 646641 | 38319 | 15171 3 | 388 | 329 66.08/66.18 c 65.9s | 13 | 657377 | 38832 | 16689 3 | 388 | 329 68.28/68.32 c 68.1s | 13 | 672759 | 39932 | 16689 3 | 388 | 329 70.38/70.46 c 70.2s | 13 | 686797 | 41132 | 16689 4 | 388 | 329 72.48/72.50 c 72.2s | 13 | 719744 | 42432 | 16689 4 | 388 | 329 74.48/74.54 c 74.3s | 13 | 744775 | 43732 | 16689 4 | 389 | 330 76.68/76.74 c 76.5s | 13 | 762796 | 45032 | 16689 4 | 389 | 330 78.68/78.75 c 78.5s | 13 | 781622 | 46332 | 16689 4 | 389 | 330 80.88/80.99 c 80.7s | 13 | 800170 | 47532 | 16689 4 | 389 | 330 83.08/83.11 c 82.9s | 13 | 817381 | 48732 | 16689 4 | 389 | 330 85.08/85.19 c 84.9s | 13 | 832665 | 49732 | 16689 4 | 389 | 330 87.18/87.22 c 87.0s | 13 | 858773 | 50832 | 16689 5 | 389 | 330 89.17/89.29 c 89.0s | 13 | 877539 | 52232 | 16689 5 | 389 | 330 91.37/91.41 c 91.2s | 13 | 881039 | 53432 | 16689 5 | 389 | 330 93.37/93.41 c 93.2s | 13 | 882599 | 54032 | 16689 5 | 389 | 330 95.57/95.61 c 95.4s | 13 | 884509 | 54732 | 16689 5 | 389 | 330 97.57/97.65 c 97.4s | 13 | 885652 | 55232 | 16689 5 | 389 | 330 99.67/99.71 c 99.5s | 13 | 900527 | 56232 | 16689 5 | 389 | 330 101.67/101.73 c 101s | 13 | 921844 | 57432 | 16689 5 | 389 | 330 103.97/104.04 c 103s | 13 | 928043 | 58132 | 18358 5 | 389 | 330 104.67/104.79 c 104s | 14 | 928653 | 58352 | 18358 5 | 389 | 330 106.87/106.97 c 106s | 14 | 945435 | 59552 | 18358 5 | 389 | 330 108.97/109.06 c 108s | 14 | 965546 | 60852 | 18358 5 | 389 | 330 111.17/111.21 c 110s | 14 | 984717 | 62052 | 18358 6 | 389 | 330 113.27/113.35 c 113s | 14 | 1002941 | 63252 | 18358 6 | 390 | 331 115.27/115.38 c 115s | 14 | 1028932 | 64552 | 18358 6 | 390 | 331 117.37/117.40 c 117s | 14 | 1050640 | 65652 | 18358 6 | 391 | 332 119.36/119.47 c 119s | 14 | 1054694 | 66452 | 18358 6 | 391 | 332 121.76/121.82 c 121s | 14 | 1056536 | 67052 | 18358 6 | 391 | 332 124.26/124.39 c 124s | 14 | 1057602 | 67452 | 18358 6 | 391 | 332 126.77/126.85 c 126s | 14 | 1058825 | 67852 | 18358 6 | 391 | 332 129.76/129.80 c 129s | 14 | 1059555 | 68152 | 18358 6 | 391 | 332 132.57/132.67 c 132s | 14 | 1060098 | 68452 | 18358 6 | 391 | 332 134.97/135.06 c 134s | 14 | 1060729 | 68752 | 18358 6 | 391 | 332 137.07/137.16 c 136s | 14 | 1061297 | 69052 | 18358 6 | 391 | 332 139.97/140.00 c 139s | 14 | 1061865 | 69352 | 18358 6 | 391 | 332 142.06/142.20 c 141s | 14 | 1063363 | 69752 | 18358 6 | 391 | 332 144.26/144.38 c 144s | 14 | 1064602 | 70052 | 18358 6 | 391 | 332 146.96/147.00 c 146s | 14 | 1065290 | 70352 | 18358 6 | 391 | 332 149.26/149.30 c 149s | 14 | 1066126 | 70652 | 18358 6 | 391 | 332 151.46/151.54 c 151s | 14 | 1066825 | 70952 | 18358 6 | 391 | 332 153.96/154.04 c 153s | 14 | 1067436 | 71252 | 18358 6 | 391 | 332 156.97/157.08 c 156s | 14 | 1067987 | 71552 | 18358 6 | 391 | 332 159.36/159.46 c 159s | 14 | 1068419 | 71752 | 18358 6 | 391 | 332 162.46/162.54 c 162s | 14 | 1068929 | 72052 | 18358 6 | 391 | 332 164.66/164.78 c 164s | 14 | 1069261 | 72252 | 18358 6 | 391 | 332 166.76/166.80 c 166s | 14 | 1069769 | 72452 | 18358 6 | 391 | 332 169.16/169.27 c 169s | 14 | 1070643 | 72752 | 18358 6 | 391 | 332 171.96/172.09 c 171s | 14 | 1071372 | 73052 | 18358 6 | 391 | 332 174.56/174.64 c 174s | 14 | 1071819 | 73252 | 18358 6 | 391 | 332 176.66/176.77 c 176s | 14 | 1072227 | 73452 | 18358 6 | 391 | 332 178.66/178.79 c 178s | 14 | 1072874 | 73652 | 18358 6 | 391 | 332 180.66/180.80 c 180s | 14 | 1073266 | 73852 | 18358 6 | 391 | 332 182.86/182.99 c 182s | 14 | 1073826 | 74052 | 18358 6 | 391 | 332 185.06/185.11 c 184s | 14 | 1074193 | 74252 | 18358 6 | 391 | 332 187.15/187.20 c 186s | 14 | 1074510 | 74452 | 18358 6 | 391 | 332 190.06/190.16 c 189s | 14 | 1074874 | 74652 | 18358 7 | 391 | 332 192.36/192.42 c 192s | 14 | 1075562 | 74952 | 18358 7 | 391 | 332 194.36/194.47 c 194s | 14 | 1075935 | 75152 | 18358 7 | 391 | 332 197.26/197.36 c 197s | 14 | 1076382 | 75352 | 18358 7 | 391 | 332 199.46/199.54 c 199s | 14 | 1076879 | 75552 | 18358 7 | 391 | 332 201.45/201.55 c 201s | 14 | 1077255 | 75752 | 18358 7 | 391 | 332 204.35/204.42 c 204s | 14 | 1077857 | 76052 | 18358 7 | 391 | 332 206.95/207.01 c 206s | 14 | 1078176 | 76252 | 18358 7 | 391 | 332 208.95/209.05 c 208s | 14 | 1078496 | 76452 | 18358 7 | 391 | 332 211.56/211.67 c 211s | 14 | 1078826 | 76652 | 18358 7 | 391 | 332 214.66/214.72 c 214s | 14 | 1079137 | 76852 | 18358 7 | 391 | 332 217.26/217.34 c 217s | 14 | 1079446 | 77052 | 18358 7 | 391 | 332 219.95/220.08 c 219s | 14 | 1079753 | 77252 | 18358 7 | 391 | 332 222.75/222.83 c 222s | 14 | 1081209 | 77652 | 18358 7 | 391 | 332 225.65/225.73 c 225s | 14 | 1082464 | 77952 | 18358 7 | 391 | 332 228.15/228.28 c 228s | 14 | 1083220 | 78252 | 18358 7 | 391 | 332 230.75/230.89 c 230s | 14 | 1083709 | 78552 | 18358 7 | 391 | 332 233.15/233.21 c 232s | 14 | 1084119 | 78752 | 18358 7 | 391 | 332 235.26/235.37 c 235s | 14 | 1084503 | 78952 | 18358 7 | 391 | 332 237.55/237.65 c 237s | 14 | 1084909 | 79152 | 18358 7 | 391 | 332 239.75/239.89 c 239s | 14 | 1085209 | 79352 | 18358 7 | 391 | 332 242.36/242.47 c 242s | 14 | 1085535 | 79552 | 18358 7 | 391 | 332 244.56/244.65 c 244s | 14 | 1086021 | 79752 | 18358 7 | 391 | 332 247.55/247.67 c 247s | 14 | 1087254 | 80052 | 18358 7 | 391 | 332 249.85/249.92 c 249s | 14 | 1088170 | 80252 | 18358 7 | 391 | 332 252.95/253.05 c 252s | 14 | 1088618 | 80452 | 18358 7 | 391 | 332 255.14/255.24 c 254s | 14 | 1089669 | 80652 | 18358 7 | 391 | 332 258.94/259.10 c 258s | 14 | 1090400 | 80852 | 18358 7 | 391 | 332 261.54/261.67 c 261s | 14 | 1090788 | 81052 | 18358 7 | 391 | 332 264.65/264.74 c 264s | 14 | 1091243 | 81252 | 18358 7 | 391 | 332 266.95/267.07 c 266s | 14 | 1091805 | 81452 | 18358 7 | 391 | 332 269.15/269.21 c 268s | 14 | 1092448 | 81652 | 18358 7 | 391 | 332 271.95/272.04 c 271s | 14 | 1092813 | 81852 | 18358 7 | 391 | 332 274.04/274.17 c 273s | 14 | 1093367 | 82052 | 18358 7 | 391 | 332 276.64/276.77 c 276s | 14 | 1093818 | 82252 | 18358 7 | 391 | 332 279.94/280.07 c 279s | 14 | 1094462 | 82552 | 18358 7 | 391 | 332 282.64/282.75 c 282s | 14 | 1094718 | 82752 | 18358 7 | 391 | 332 284.84/284.91 c 284s | 14 | 1095797 | 83052 | 18358 7 | 391 | 332 286.94/287.01 c 286s | 14 | 1099315 | 83452 | 18358 8 | 391 | 332 289.04/289.10 c 288s | 14 | 1122071 | 84552 | 18358 8 | 391 | 332 291.14/291.22 c 290s | 14 | 1142584 | 85652 | 18358 8 | 391 | 332 293.24/293.31 c 293s | 14 | 1171421 | 87152 | 20194 8 | 391 | 332 294.05/294.19 c 293s | 15 | 1175681 | 87632 | 20194 8 | 391 | 332 296.15/296.25 c 295s | 15 | 1197361 | 88932 | 20194 8 | 391 | 332 298.24/298.30 c 298s | 15 | 1213265 | 90232 | 20194 8 | 391 | 332 300.34/300.49 c 300s | 15 | 1224196 | 91432 | 20194 8 | 391 | 332 302.54/302.62 c 302s | 15 | 1230885 | 92432 | 20194 8 | 391 | 332 304.64/304.75 c 304s | 15 | 1237398 | 93332 | 20194 8 | 391 | 332 306.84/306.92 c 306s | 15 | 1241111 | 94032 | 20194 8 | 391 | 332 308.84/308.99 c 308s | 15 | 1242831 | 94532 | 20194 8 | 391 | 332 311.24/311.36 c 311s | 15 | 1243775 | 94932 | 20194 8 | 391 | 332 313.44/313.53 c 313s | 15 | 1245706 | 95432 | 20194 8 | 391 | 332 315.44/315.59 c 315s | 15 | 1248891 | 95832 | 20194 8 | 391 | 332 317.84/317.96 c 317s | 15 | 1254689 | 96632 | 20194 9 | 391 | 332 320.14/320.22 c 319s | 15 | 1260037 | 97432 | 20194 9 | 391 | 332 322.24/322.39 c 322s | 15 | 1263492 | 98032 | 20194 9 | 391 | 332 324.64/324.79 c 324s | 15 | 1264522 | 98432 | 20194 9 | 391 | 332 326.84/326.91 c 326s | 15 | 1266453 | 98832 | 20194 9 | 391 | 332 329.14/329.22 c 328s | 15 | 1268811 | 99332 | 20194 9 | 391 | 332 331.34/331.44 c 331s | 15 | 1269778 | 99632 | 20194 9 | 391 | 332 333.93/334.06 c 333s | 15 | 1270668 | 99932 | 20194 9 | 391 | 332 336.53/336.68 c 336s | 15 | 1271224 | 100132 | 20194 9 | 391 | 332 338.94/339.06 c 338s | 15 | 1271736 | 100332 | 20194 9 | 391 | 332 341.04/341.17 c 340s | 15 | 1276479 | 101032 | 20194 9 | 391 | 332 343.24/343.32 c 343s | 15 | 1283026 | 101832 | 20194 9 | 391 | 332 345.64/345.73 c 345s | 15 | 1288879 | 102632 | 20194 9 | 391 | 332 347.73/347.86 c 347s | 15 | 1295507 | 103332 | 20194 9 | 391 | 332 349.73/349.87 c 349s | 15 | 1298706 | 103832 | 20194 9 | 391 | 332 351.93/352.03 c 351s | 15 | 1304572 | 104432 | 20194 9 | 391 | 332 354.44/354.53 c 354s | 15 | 1305720 | 104832 | 20194 9 | 391 | 332 356.53/356.60 c 356s | 15 | 1306659 | 105132 | 20194 9 | 391 | 332 358.73/358.82 c 358s | 15 | 1309261 | 105632 | 20194 9 | 391 | 332 360.73/360.86 c 360s | 15 | 1313435 | 106232 | 20194 9 | 391 | 332 363.13/363.25 c 362s | 15 | 1315257 | 106632 | 20194 9 | 391 | 332 365.54/365.63 c 365s | 15 | 1316531 | 106932 | 20194 9 | 391 | 332 367.73/367.89 c 367s | 15 | 1318086 | 107332 | 20194 9 | 391 | 332 369.83/369.91 c 369s | 15 | 1320506 | 107832 | 20194 9 | 391 | 332 371.83/371.98 c 371s | 15 | 1322300 | 108332 | 20194 9 | 391 | 332 374.24/374.37 c 374s | 15 | 1325189 | 108832 | 20194 9 | 391 | 332 376.44/376.53 c 376s | 15 | 1326332 | 109132 | 20194 10 | 391 | 332 378.53/378.64 c 378s | 15 | 1328019 | 109732 | 20194 10 | 391 | 332 380.73/380.83 c 380s | 15 | 1330095 | 110232 | 20194 10 | 391 | 332 383.23/383.32 c 383s | 15 | 1330898 | 110632 | 20194 10 | 391 | 332 385.34/385.42 c 385s | 15 | 1331472 | 110932 | 20194 10 | 391 | 332 387.54/387.64 c 387s | 15 | 1333710 | 111332 | 20194 10 | 391 | 332 390.43/390.57 c 390s | 15 | 1334368 | 111632 | 20194 10 | 391 | 332 393.03/393.13 c 392s | 15 | 1334791 | 111832 | 20194 10 | 391 | 332 395.42/395.56 c 395s | 15 | 1335677 | 112132 | 20194 10 | 391 | 332 398.32/398.43 c 398s | 15 | 1336294 | 112432 | 20194 10 | 391 | 332 401.53/401.61 c 401s | 15 | 1336908 | 112732 | 20194 10 | 391 | 332 403.53/403.66 c 403s | 15 | 1337098 | 112832 | 20194 10 | 391 | 332 406.43/406.58 c 406s | 15 | 1337611 | 113032 | 20194 10 | 391 | 332 408.53/408.62 c 408s | 15 | 1338468 | 113232 | 20194 10 | 391 | 332 410.83/410.93 c 410s | 15 | 1339075 | 113432 | 20194 10 | 391 | 332 413.42/413.57 c 413s | 15 | 1339635 | 113632 | 20194 10 | 391 | 332 415.92/416.03 c 415s | 15 | 1340339 | 113832 | 20194 10 | 391 | 332 418.52/418.67 c 418s | 15 | 1340781 | 114032 | 20194 10 | 391 | 332 420.72/420.83 c 420s | 15 | 1341668 | 114232 | 20194 10 | 391 | 332 424.32/424.47 c 424s | 15 | 1342449 | 114532 | 20194 10 | 391 | 332 426.72/426.85 c 426s | 15 | 1343294 | 114732 | 20194 10 | 391 | 332 428.82/428.95 c 428s | 15 | 1343406 | 114832 | 20194 10 | 391 | 332 430.82/430.96 c 430s | 15 | 1343776 | 114932 | 20194 10 | 391 | 332 433.63/433.71 c 433s | 15 | 1344360 | 115132 | 20194 10 | 391 | 332 436.52/436.65 c 436s | 15 | 1344901 | 115332 | 20194 10 | 391 | 332 441.22/441.36 c 441s | 15 | 1345288 | 115532 | 20194 10 | 391 | 332 444.42/444.58 c 444s | 15 | 1345744 | 115732 | 20194 10 | 391 | 332 447.22/447.30 c 447s | 15 | 1346053 | 115932 | 20194 10 | 391 | 332 449.72/449.84 c 449s | 15 | 1346226 | 116032 | 20194 10 | 391 | 332 453.22/453.37 c 453s | 15 | 1346344 | 116132 | 20194 10 | 391 | 332 457.11/457.20 c 456s | 15 | 1346696 | 116332 | 20194 10 | 391 | 332 459.41/459.57 c 459s | 15 | 1346894 | 116432 | 20194 10 | 391 | 332 461.51/461.66 c 461s | 15 | 1347029 | 116532 | 20194 10 | 391 | 332 463.61/463.79 c 463s | 15 | 1347179 | 116632 | 20194 10 | 391 | 332 465.72/465.83 c 465s | 15 | 1351491 | 117232 | 20194 10 | 391 | 332 467.83/467.99 c 467s | 15 | 1353005 | 117632 | 20194 10 | 391 | 332 470.32/470.47 c 470s | 15 | 1354697 | 118032 | 20194 10 | 391 | 332 472.92/473.05 c 472s | 15 | 1355749 | 118332 | 20194 10 | 391 | 332 475.02/475.15 c 474s | 15 | 1359404 | 118832 | 20194 10 | 391 | 332 477.02/477.18 c 476s | 15 | 1362239 | 119332 | 20194 10 | 391 | 332 479.12/479.22 c 478s | 15 | 1363543 | 119632 | 20194 10 | 391 | 332 481.61/481.77 c 481s | 15 | 1363958 | 119832 | 20194 10 | 391 | 332 484.81/484.96 c 484s | 15 | 1368153 | 120432 | 20194 11 | 391 | 332 487.11/487.29 c 487s | 15 | 1369845 | 120932 | 20194 11 | 391 | 332 489.31/489.42 c 489s | 15 | 1370624 | 121232 | 20194 11 | 391 | 332 491.31/491.48 c 491s | 15 | 1371418 | 121532 | 20194 11 | 391 | 332 493.91/494.08 c 493s | 15 | 1372014 | 121732 | 20194 11 | 391 | 332 496.41/496.58 c 496s | 15 | 1372728 | 121932 | 20194 11 | 391 | 332 498.41/498.59 c 498s | 15 | 1373430 | 122132 | 20194 11 | 391 | 332 501.31/501.44 c 501s | 15 | 1374489 | 122432 | 20194 11 | 391 | 332 503.71/503.88 c 503s | 15 | 1375789 | 122732 | 20194 11 | 391 | 332 505.81/505.98 c 505s | 15 | 1381174 | 123332 | 20194 11 | 391 | 332 508.01/508.14 c 507s | 15 | 1384246 | 124032 | 20194 11 | 391 | 332 510.01/510.16 c 509s | 15 | 1385598 | 124532 | 20194 11 | 391 | 332 512.21/512.33 c 512s | 15 | 1387178 | 125032 | 20194 11 | 391 | 332 514.61/514.77 c 514s | 15 | 1390224 | 125532 | 20194 11 | 391 | 332 516.91/517.05 c 516s | 15 | 1391757 | 125932 | 20194 11 | 391 | 332 519.10/519.23 c 518s | 15 | 1392993 | 126332 | 20194 11 | 391 | 332 521.40/521.59 c 521s | 15 | 1394166 | 126732 | 20194 11 | 391 | 332 523.60/523.72 c 523s | 15 | 1395804 | 127132 | 20194 11 | 391 | 332 525.90/526.06 c 525s | 15 | 1396851 | 127432 | 20194 11 | 391 | 332 528.00/528.13 c 527s | 15 | 1398596 | 127832 | 20194 11 | 391 | 332 530.00/530.18 c 529s | 15 | 1400693 | 128232 | 20194 11 | 391 | 332 532.10/532.22 c 531s | 15 | 1401849 | 128532 | 20194 11 | 391 | 332 534.31/534.45 c 534s | 15 | 1404212 | 129232 | 20194 11 | 391 | 332 536.81/536.94 c 536s | 15 | 1406883 | 129832 | 20194 11 | 391 | 332 539.41/539.56 c 539s | 15 | 1407680 | 130132 | 20194 11 | 391 | 332 541.81/541.98 c 541s | 15 | 1409185 | 130532 | 20194 11 | 391 | 332 543.91/544.07 c 543s | 15 | 1411002 | 130932 | 22214 11 | 391 | 332 546.41/546.52 c 546s | 15 | 1412890 | 131332 | 22214 11 | 391 | 332 548.01/548.12 c 547s | 16 | 1413550 | 131552 | 22214 11 | 391 | 332 550.01/550.17 c 549s | 16 | 1430276 | 132252 | 22214 12 | 391 | 332 552.00/552.18 c 551s | 16 | 1449609 | 133652 | 22214 12 | 391 | 332 554.10/554.22 c 553s | 16 | 1464018 | 135052 | 22214 12 | 391 | 332 556.30/556.40 c 556s | 16 | 1466913 | 136052 | 22214 12 | 391 | 332 558.30/558.47 c 558s | 16 | 1468711 | 136652 | 22214 12 | 391 | 332 560.50/560.62 c 560s | 16 | 1470157 | 137252 | 22214 12 | 391 | 332 562.80/562.97 c 562s | 16 | 1471092 | 137752 | 22214 12 | 391 | 332 564.90/565.06 c 564s | 16 | 1472810 | 138252 | 22214 12 | 391 | 332 567.30/567.41 c 567s | 16 | 1474212 | 138752 | 22214 12 | 391 | 332 569.30/569.45 c 569s | 16 | 1481913 | 139652 | 22214 12 | 391 | 332 571.40/571.54 c 571s | 16 | 1496182 | 140652 | 22214 12 | 391 | 332 573.40/573.55 c 573s | 16 | 1515408 | 141652 | 22214 12 | 391 | 332 575.40/575.57 c 575s | 16 | 1541831 | 142752 | 22214 12 | 391 | 332 577.71/577.86 c 577s | 16 | 1547989 | 143452 | 22214 12 | 391 | 332 580.01/580.18 c 579s | 16 | 1549889 | 143852 | 22214 12 | 391 | 332 582.60/582.75 c 582s | 16 | 1551925 | 144352 | 22214 12 | 391 | 332 585.20/585.31 c 585s | 16 | 1552264 | 144452 | 22214 12 | 391 | 332 587.20/587.35 c 587s | 16 | 1554299 | 144952 | 22214 12 | 391 | 332 589.30/589.42 c 589s | 16 | 1556997 | 145552 | 22214 12 | 391 | 332 593.21/593.32 c 593s | 16 | 1557807 | 145852 | 22214 12 | 391 | 332 595.20/595.40 c 595s | 16 | 1558902 | 146152 | 22214 12 | 391 | 332 598.10/598.22 c 597s | 16 | 1560964 | 146452 | 22214 13 | 391 | 332 600.20/600.39 c 600s | 16 | 1563176 | 146852 | 22214 13 | 391 | 332 602.40/602.52 c 602s | 16 | 1576625 | 147752 | 22214 13 | 391 | 332 604.60/604.74 c 604s | 16 | 1591373 | 148752 | 22214 13 | 391 | 332 607.30/607.46 c 607s | 16 | 1593256 | 149152 | 22214 13 | 391 | 332 610.20/610.37 c 610s | 16 | 1594320 | 149552 | 22214 13 | 391 | 332 612.69/612.88 c 612s | 16 | 1597288 | 150252 | 22214 13 | 391 | 332 614.89/615.04 c 614s | 16 | 1598180 | 150652 | 22214 13 | 391 | 332 617.19/617.32 c 617s | 16 | 1599213 | 151052 | 22214 13 | 391 | 332 619.19/619.35 c 619s | 16 | 1607227 | 151852 | 22214 13 | 392 | 333 621.29/621.49 c 621s | 16 | 1632943 | 153352 | 22214 13 | 392 | 333 623.39/623.59 c 623s | 16 | 1659029 | 154652 | 22214 13 | 392 | 333 625.49/625.63 c 625s | 16 | 1679531 | 155952 | 22214 13 | 392 | 333 627.49/627.67 c 627s | 16 | 1699622 | 157052 | 22214 14 | 392 | 333 629.60/629.74 c 629s | 16 | 1716180 | 158152 | 22214 14 | 392 | 333 631.70/631.83 c 631s | 16 | 1744892 | 159652 | 22214 14 | 392 | 333 633.69/633.85 c 633s | 16 | 1765127 | 160952 | 22214 14 | 392 | 333 635.69/635.89 c 635s | 16 | 1792297 | 162152 | 22214 14 | 392 | 333 637.79/638.00 c 637s | 16 | 1800357 | 163052 | 22214 14 | 392 | 333 639.89/640.03 c 639s | 16 | 1819971 | 164152 | 22214 14 | 392 | 333 642.09/642.21 c 641s | 16 | 1842943 | 165252 | 22214 14 | 392 | 333 644.09/644.24 c 643s | 16 | 1863130 | 166452 | 22214 14 | 392 | 333 646.19/646.31 c 646s | 16 | 1876377 | 167552 | 22214 14 | 392 | 333 648.39/648.54 c 648s | 16 | 1888829 | 168352 | 22214 15 | 392 | 333 650.40/650.54 c 650s | 16 | 1915536 | 169852 | 22214 15 | 392 | 333 652.60/652.75 c 652s | 16 | 1928453 | 171152 | 22214 15 | 392 | 333 654.70/654.83 c 654s | 16 | 1939622 | 172052 | 22214 15 | 393 | 334 657.09/657.21 c 656s | 16 | 1942805 | 172852 | 22214 15 | 393 | 334 659.10/659.24 c 658s | 16 | 1948415 | 173552 | 22214 15 | 393 | 334 661.29/661.48 c 661s | 16 | 1950566 | 174452 | 22214 15 | 393 | 334 663.59/663.77 c 663s | 16 | 1952659 | 175252 | 22214 15 | 393 | 334 665.79/665.92 c 665s | 16 | 1973744 | 176452 | 22214 15 | 393 | 334 667.78/667.95 c 667s | 16 | 1984814 | 177452 | 22214 15 | 393 | 334 669.98/670.13 c 669s | 16 | 2005326 | 178652 | 22214 15 | 394 | 335 671.98/672.19 c 671s | 16 | 2020529 | 179552 | 22214 15 | 394 | 335 674.08/674.23 c 673s | 16 | 2031685 | 180552 | 22214 16 | 394 | 335 676.18/676.34 c 676s | 16 | 2064059 | 182152 | 22214 16 | 394 | 335 678.18/678.38 c 678s | 16 | 2081983 | 183652 | 22214 16 | 394 | 335 680.38/680.50 c 680s | 16 | 2104334 | 184952 | 22214 16 | 394 | 335 682.48/682.68 c 682s | 16 | 2123420 | 186252 | 22214 16 | 394 | 335 684.68/684.87 c 684s | 16 | 2132379 | 187352 | 22214 16 | 394 | 335 686.78/686.95 c 686s | 16 | 2151073 | 188552 | 22214 16 | 394 | 335 688.89/689.06 c 688s | 16 | 2169128 | 189952 | 22214 16 | 394 | 335 690.99/691.14 c 690s | 16 | 2181188 | 191052 | 22214 16 | 394 | 335 693.08/693.20 c 692s | 16 | 2199486 | 192352 | 22214 17 | 394 | 335 695.08/695.26 c 695s | 16 | 2213028 | 193652 | 22214 17 | 394 | 335 697.18/697.39 c 697s | 16 | 2218473 | 194652 | 22214 17 | 394 | 335 699.38/699.59 c 699s | 16 | 2233483 | 195652 | 22214 17 | 394 | 335 701.68/701.88 c 701s | 16 | 2239243 | 196852 | 24436 17 | 394 | 335 703.88/704.01 c 703s | 16 | 2240408 | 197352 | 24436 17 | 394 | 335 704.29/704.45 c 704s | 17 | 2240525 | 197432 | 24436 17 | 394 | 335 706.39/706.57 c 706s | 17 | 2275152 | 198832 | 24436 17 | 394 | 335 708.48/708.64 c 708s | 17 | 2294436 | 200132 | 24436 17 | 395 | 336 710.58/710.78 c 710s | 17 | 2321437 | 201532 | 24436 17 | 395 | 336 712.68/712.87 c 712s | 17 | 2338445 | 202832 | 24436 17 | 395 | 336 714.88/715.05 c 714s | 17 | 2357808 | 204132 | 24436 17 | 395 | 336 716.88/717.08 c 716s | 17 | 2379389 | 205132 | 24436 17 | 395 | 336 719.28/719.44 c 719s | 17 | 2380692 | 205832 | 24436 17 | 395 | 336 721.68/721.80 c 721s | 17 | 2382706 | 206532 | 24436 17 | 395 | 336 723.78/723.90 c 723s | 17 | 2411030 | 207832 | 24436 18 | 395 | 336 725.88/726.02 c 725s | 17 | 2442256 | 209532 | 24436 18 | 395 | 336 727.88/728.03 c 727s | 17 | 2472290 | 211032 | 24436 18 | 396 | 337 729.97/730.17 c 729s | 17 | 2483549 | 212732 | 24436 18 | 396 | 337 731.97/732.20 c 731s | 17 | 2489166 | 213732 | 24436 18 | 396 | 337 734.47/734.60 c 734s | 17 | 2499513 | 214832 | 24436 18 | 396 | 337 736.67/736.88 c 736s | 17 | 2501760 | 215532 | 24436 18 | 396 | 337 738.87/739.06 c 738s | 17 | 2508705 | 216432 | 24436 18 | 396 | 337 740.97/741.10 c 740s | 17 | 2516419 | 217632 | 24436 18 | 396 | 337 743.47/743.64 c 743s | 17 | 2520143 | 218632 | 24436 18 | 396 | 337 745.58/745.78 c 745s | 17 | 2524153 | 219332 | 24436 18 | 396 | 337 747.77/747.91 c 747s | 17 | 2526706 | 220032 | 24436 18 | 396 | 337 750.07/750.25 c 749s | 17 | 2527717 | 220432 | 24436 18 | 396 | 337 752.27/752.41 c 752s | 17 | 2529154 | 220832 | 24436 18 | 396 | 337 754.27/754.41 c 754s | 17 | 2531947 | 221532 | 24436 18 | 396 | 337 756.27/756.45 c 756s | 17 | 2536697 | 222432 | 24436 18 | 396 | 337 758.56/758.73 c 758s | 17 | 2539725 | 223232 | 24436 18 | 396 | 337 760.67/760.87 c 760s | 17 | 2540113 | 223432 | 24436 19 | 396 | 337 763.27/763.42 c 763s | 17 | 2541852 | 223932 | 24436 19 | 396 | 337 765.66/765.89 c 765s | 17 | 2543297 | 224432 | 24436 19 | 396 | 337 767.76/767.95 c 767s | 17 | 2544493 | 224832 | 24436 19 | 396 | 337 769.86/770.09 c 769s | 17 | 2545890 | 225232 | 24436 19 | 396 | 337 772.07/772.26 c 772s | 17 | 2546610 | 225532 | 24436 19 | 396 | 337 774.47/774.62 c 774s | 17 | 2546968 | 225732 | 24436 19 | 396 | 337 776.56/776.75 c 776s | 17 | 2547911 | 226032 | 24436 19 | 396 | 337 779.07/779.27 c 779s | 17 | 2549517 | 226432 | 24436 19 | 396 | 337 781.17/781.38 c 781s | 17 | 2559721 | 227532 | 24436 19 | 396 | 337 783.26/783.47 c 783s | 17 | 2563776 | 228332 | 24436 19 | 396 | 337 785.76/785.90 c 785s | 17 | 2570056 | 229332 | 24436 19 | 396 | 337 787.77/787.91 c 787s | 17 | 2576063 | 230232 | 24436 19 | 396 | 337 789.76/789.93 c 789s | 17 | 2580645 | 231132 | 24436 19 | 396 | 337 791.96/792.11 c 791s | 17 | 2585928 | 232032 | 24436 19 | 396 | 337 794.06/794.29 c 794s | 17 | 2594596 | 233032 | 24436 19 | 396 | 337 796.16/796.30 c 796s | 17 | 2596297 | 233532 | 24436 19 | 396 | 337 798.26/798.47 c 798s | 17 | 2597390 | 233932 | 24436 19 | 396 | 337 800.55/800.77 c 800s | 17 | 2600006 | 234532 | 24436 19 | 396 | 337 802.65/802.84 c 802s | 17 | 2609423 | 235532 | 24436 19 | 396 | 337 804.75/804.97 c 804s | 17 | 2616897 | 236532 | 24436 19 | 396 | 337 806.85/807.06 c 806s | 17 | 2620137 | 237232 | 24436 20 | 396 | 337 808.95/809.12 c 808s | 17 | 2626953 | 238232 | 24436 20 | 396 | 337 810.96/811.12 c 810s | 17 | 2630574 | 239132 | 24436 20 | 396 | 337 813.16/813.31 c 813s | 17 | 2639183 | 240532 | 24436 20 | 396 | 337 815.26/815.42 c 815s | 17 | 2644024 | 241432 | 24436 20 | 396 | 337 817.46/817.65 c 817s | 17 | 2649136 | 242432 | 24436 20 | 396 | 337 819.66/819.88 c 819s | 17 | 2651534 | 243132 | 24436 20 | 396 | 337 821.96/822.12 c 821s | 17 | 2653149 | 243632 | 24436 20 | 396 | 337 823.95/824.17 c 823s | 17 | 2654362 | 244132 | 24436 20 | 396 | 337 826.25/826.48 c 826s | 17 | 2655708 | 244632 | 24436 20 | 396 | 337 828.55/828.77 c 828s | 17 | 2657840 | 245132 | 24436 20 | 396 | 337 831.64/831.88 c 831s | 17 | 2659375 | 245632 | 24436 20 | 396 | 337 833.95/834.16 c 833s | 17 | 2660669 | 246032 | 24436 20 | 396 | 337 837.14/837.30 c 837s | 17 | 2662053 | 246432 | 24436 20 | 396 | 337 839.55/839.73 c 839s | 17 | 2662728 | 246632 | 24436 20 | 396 | 337 841.75/841.97 c 841s | 17 | 2663713 | 246832 | 24436 20 | 396 | 337 844.25/844.46 c 844s | 17 | 2665201 | 247232 | 24436 20 | 396 | 337 846.35/846.56 c 846s | 17 | 2668450 | 247832 | 24436 20 | 396 | 337 848.35/848.58 c 848s | 17 | 2670167 | 248332 | 24436 20 | 396 | 337 850.94/851.16 c 850s | 17 | 2671979 | 248832 | 24436 20 | 396 | 337 852.94/853.19 c 852s | 17 | 2673280 | 249232 | 24436 20 | 396 | 337 855.34/855.53 c 855s | 17 | 2674569 | 249632 | 24436 20 | 396 | 337 857.44/857.64 c 857s | 17 | 2675423 | 249932 | 24436 20 | 396 | 337 859.74/859.90 c 859s | 17 | 2676948 | 250432 | 24436 20 | 396 | 337 862.14/862.39 c 862s | 17 | 2677821 | 250832 | 24436 20 | 396 | 337 864.33/864.56 c 864s | 17 | 2678492 | 251132 | 24436 20 | 396 | 337 866.94/867.13 c 866s | 17 | 2679254 | 251432 | 24436 20 | 396 | 337 869.54/869.70 c 869s | 17 | 2680323 | 251832 | 24436 20 | 396 | 337 872.04/872.26 c 872s | 17 | 2680743 | 252032 | 24436 21 | 396 | 337 874.14/874.36 c 874s | 17 | 2682303 | 252432 | 24436 21 | 396 | 337 876.74/876.94 c 876s | 17 | 2683860 | 252932 | 24436 21 | 396 | 337 879.63/879.81 c 879s | 17 | 2685030 | 253332 | 24436 21 | 396 | 337 882.03/882.24 c 881s | 17 | 2686260 | 253632 | 24436 21 | 396 | 337 884.33/884.51 c 884s | 17 | 2689257 | 254432 | 24436 21 | 396 | 337 886.84/887.03 c 886s | 17 | 2690828 | 254932 | 24436 21 | 396 | 337 888.94/889.16 c 888s | 17 | 2691906 | 255332 | 24436 21 | 396 | 337 891.03/891.24 c 890s | 17 | 2694235 | 255832 | 24436 21 | 396 | 337 893.23/893.46 c 893s | 17 | 2695408 | 256232 | 24436 21 | 396 | 337 895.43/895.60 c 895s | 17 | 2696688 | 256632 | 24436 21 | 396 | 337 897.73/897.94 c 897s | 17 | 2697652 | 257032 | 24436 21 | 396 | 337 900.42/900.69 c 900s | 17 | 2699462 | 257532 | 24436 21 | 396 | 337 902.52/902.77 c 902s | 17 | 2700983 | 257832 | 24436 21 | 396 | 337 904.72/904.96 c 904s | 17 | 2702117 | 258232 | 24436 21 | 396 | 337 907.12/907.33 c 907s | 17 | 2703149 | 258532 | 24436 21 | 396 | 337 909.52/909.70 c 909s | 17 | 2703618 | 258732 | 24436 21 | 396 | 337 911.92/912.13 c 911s | 17 | 2704229 | 259032 | 24436 21 | 396 | 337 914.12/914.38 c 914s | 17 | 2704978 | 259332 | 24436 21 | 396 | 337 916.91/917.18 c 916s | 17 | 2705438 | 259532 | 24436 21 | 396 | 337 919.72/919.92 c 919s | 17 | 2706062 | 259732 | 24436 21 | 396 | 337 922.51/922.77 c 922s | 17 | 2706412 | 259932 | 24436 21 | 396 | 337 925.41/925.62 c 925s | 17 | 2706877 | 260132 | 24436 21 | 396 | 337 927.61/927.82 c 927s | 17 | 2707073 | 260232 | 24436 21 | 396 | 337 931.10/931.30 c 931s | 17 | 2707498 | 260432 | 24436 21 | 396 | 337 934.01/934.24 c 933s | 17 | 2708046 | 260632 | 24436 21 | 396 | 337 936.40/936.67 c 936s | 17 | 2708157 | 260732 | 24436 21 | 396 | 337 939.81/940.04 c 939s | 17 | 2708552 | 260932 | 24436 21 | 396 | 337 943.21/943.47 c 943s | 17 | 2709107 | 261132 | 24436 21 | 396 | 337 946.01/946.25 c 945s | 17 | 2709608 | 261332 | 24436 21 | 396 | 337 948.31/948.60 c 948s | 17 | 2709808 | 261432 | 24436 21 | 396 | 337 952.00/952.23 c 951s | 17 | 2710087 | 261632 | 24436 21 | 396 | 337 954.30/954.53 c 954s | 17 | 2712293 | 262132 | 24436 21 | 396 | 337 956.80/957.06 c 956s | 17 | 2713095 | 262532 | 24436 21 | 396 | 337 960.40/960.66 c 960s | 17 | 2713438 | 262732 | 24436 21 | 396 | 337 962.40/962.69 c 962s | 17 | 2714256 | 263032 | 24436 21 | 396 | 337 964.50/964.79 c 964s | 17 | 2715059 | 263232 | 24436 21 | 396 | 337 967.19/967.44 c 967s | 17 | 2716086 | 263532 | 24436 21 | 396 | 337 970.09/970.34 c 970s | 17 | 2716467 | 263732 | 24436 21 | 396 | 337 972.78/973.04 c 972s | 17 | 2717176 | 264032 | 24436 21 | 396 | 337 975.68/975.90 c 975s | 17 | 2717680 | 264332 | 24436 21 | 396 | 337 978.18/978.41 c 978s | 17 | 2718932 | 264632 | 24436 21 | 396 | 337 980.48/980.70 c 980s | 17 | 2719368 | 264832 | 24436 21 | 396 | 337 982.78/983.04 c 982s | 17 | 2719925 | 265032 | 24436 21 | 396 | 337 985.58/985.84 c 985s | 17 | 2720253 | 265232 | 24436 21 | 396 | 337 987.89/988.16 c 987s | 17 | 2721302 | 265532 | 24436 21 | 396 | 337 990.18/990.46 c 990s | 17 | 2722093 | 265732 | 24436 21 | 396 | 337 992.47/992.78 c 992s | 17 | 2722460 | 265932 | 24436 21 | 396 | 337 996.57/996.81 c 996s | 17 | 2722797 | 266132 | 24436 21 | 396 | 337 999.36/999.64 c 999s | 17 | 2722944 | 266232 | 24436 21 | 396 | 337 1001.46/1001.73 c 1001s | 17 | 2723171 | 266332 | 24436 21 | 396 | 337 1004.47/1004.70 c 1004s | 17 | 2723322 | 266432 | 24436 21 | 396 | 337 1007.97/1008.25 c 1007s | 17 | 2723797 | 266632 | 24436 21 | 396 | 337 1012.76/1013.04 c 1012s | 17 | 2724149 | 266832 | 24436 22 | 396 | 337 1015.86/1016.14 c 1015s | 17 | 2724896 | 267132 | 24436 22 | 396 | 337 1018.26/1018.56 c 1018s | 17 | 2725553 | 267332 | 24436 22 | 396 | 337 1020.36/1020.67 c 1020s | 17 | 2727543 | 267732 | 24436 22 | 396 | 337 1022.65/1022.96 c 1022s | 17 | 2728219 | 267932 | 24436 22 | 396 | 337 1025.26/1025.51 c 1025s | 17 | 2729504 | 268232 | 24436 22 | 396 | 337 1027.65/1027.91 c 1027s | 17 | 2730120 | 268432 | 24436 22 | 396 | 337 1029.76/1030.05 c 1029s | 17 | 2730739 | 268632 | 24436 22 | 396 | 337 1032.35/1032.68 c 1032s | 17 | 2731303 | 268832 | 24436 22 | 396 | 337 1036.85/1037.18 c 1036s | 17 | 2731924 | 269032 | 24436 22 | 396 | 337 1039.44/1039.78 c 1039s | 17 | 2732714 | 269332 | 24436 22 | 396 | 337 1041.54/1041.83 c 1041s | 17 | 2733382 | 269632 | 24436 22 | 396 | 337 1044.54/1044.83 c 1044s | 17 | 2734532 | 269932 | 24436 22 | 396 | 337 1047.94/1048.27 c 1048s | 17 | 2735184 | 270232 | 24436 22 | 396 | 337 1050.34/1050.69 c 1050s | 17 | 2736061 | 270632 | 24436 22 | 396 | 337 1052.85/1053.11 c 1052s | 17 | 2736697 | 270932 | 24436 22 | 396 | 337 1055.04/1055.38 c 1055s | 17 | 2737571 | 271232 | 24436 22 | 396 | 337 1057.53/1057.86 c 1057s | 17 | 2738221 | 271532 | 24436 22 | 396 | 337 1060.13/1060.40 c 1060s | 17 | 2739105 | 271832 | 24436 22 | 396 | 337 1062.65/1062.99 c 1062s | 17 | 2739651 | 272032 | 24436 22 | 396 | 337 1065.24/1065.54 c 1065s | 17 | 2740268 | 272232 | 24436 22 | 396 | 337 1068.74/1069.04 c 1068s | 17 | 2740781 | 272432 | 24436 22 | 396 | 337 1071.14/1071.44 c 1071s | 17 | 2741044 | 272532 | 24436 22 | 396 | 337 1073.93/1074.22 c 1073s | 17 | 2741731 | 272732 | 24436 22 | 396 | 337 1077.13/1077.44 c 1077s | 17 | 2742210 | 272932 | 24436 22 | 396 | 337 1080.63/1080.93 c 1080s | 17 | 2742807 | 273132 | 24436 22 | 396 | 337 1083.73/1084.03 c 1083s | 17 | 2743248 | 273332 | 24436 22 | 396 | 337 1086.33/1086.65 c 1086s | 17 | 2743438 | 273432 | 24436 22 | 396 | 337 1089.24/1089.55 c 1089s | 17 | 2743572 | 273532 | 24436 22 | 396 | 337 1091.74/1092.01 c 1091s | 17 | 2743745 | 273632 | 24436 22 | 396 | 337 1094.84/1095.16 c 1094s | 17 | 2743931 | 273732 | 24436 22 | 396 | 337 1097.73/1098.04 c 1097s | 17 | 2744075 | 273832 | 24436 22 | 396 | 337 1099.93/1100.22 c 1099s | 17 | 2744409 | 273932 | 24436 22 | 396 | 337 1102.43/1102.80 c 1102s | 17 | 2744635 | 274032 | 24436 22 | 396 | 337 1104.74/1105.00 c 1104s | 17 | 2745084 | 274232 | 24436 22 | 396 | 337 1106.83/1107.16 c 1106s | 17 | 2745568 | 274432 | 24436 22 | 396 | 337 1109.13/1109.43 c 1109s | 17 | 2746405 | 274732 | 24436 22 | 396 | 337 1111.63/1111.94 c 1111s | 17 | 2746924 | 274932 | 24436 22 | 396 | 337 1115.43/1115.71 c 1115s | 17 | 2747260 | 275132 | 24436 22 | 396 | 337 1117.73/1118.01 c 1117s | 17 | 2747543 | 275232 | 24436 22 | 396 | 337 1119.93/1120.21 c 1119s | 17 | 2748221 | 275432 | 24436 22 | 396 | 337 1122.02/1122.38 c 1122s | 17 | 2748379 | 275532 | 24436 22 | 396 | 337 1124.42/1124.77 c 1124s | 17 | 2748682 | 275732 | 24436 22 | 396 | 337 1127.42/1127.74 c 1127s | 17 | 2749067 | 275932 | 24436 22 | 396 | 337 1129.42/1129.78 c 1129s | 17 | 2750002 | 276232 | 24436 22 | 396 | 337 1132.22/1132.54 c 1132s | 17 | 2750933 | 276632 | 24436 22 | 396 | 337 1135.11/1135.47 c 1135s | 17 | 2751368 | 276832 | 24436 22 | 396 | 337 1137.81/1138.19 c 1137s | 17 | 2751908 | 277032 | 24436 22 | 396 | 337 1140.31/1140.66 c 1140s | 17 | 2752476 | 277232 | 24436 22 | 396 | 337 1142.31/1142.69 c 1142s | 17 | 2753473 | 277532 | 24436 22 | 396 | 337 1144.52/1144.88 c 1144s | 17 | 2754400 | 277832 | 24436 22 | 396 | 337 1147.81/1148.18 c 1147s | 17 | 2755145 | 278132 | 24436 22 | 396 | 337 1151.11/1151.48 c 1151s | 17 | 2755593 | 278332 | 24436 22 | 396 | 337 1153.50/1153.87 c 1153s | 17 | 2755836 | 278432 | 24436 22 | 396 | 337 1156.30/1156.62 c 1156s | 17 | 2756425 | 278632 | 24436 22 | 396 | 337 1158.50/1158.88 c 1158s | 17 | 2756715 | 278732 | 24436 22 | 396 | 337 1160.60/1160.96 c 1160s | 17 | 2756921 | 278832 | 24436 22 | 396 | 337 1163.59/1163.98 c 1163s | 17 | 2757039 | 278932 | 24436 22 | 396 | 337 1166.19/1166.51 c 1166s | 17 | 2757211 | 279032 | 24436 22 | 396 | 337 1168.60/1168.90 c 1168s | 17 | 2757479 | 279132 | 24436 22 | 396 | 337 1170.79/1171.19 c 1170s | 17 | 2757662 | 279232 | 24436 22 | 396 | 337 1173.99/1174.38 c 1174s | 17 | 2757824 | 279332 | 24436 22 | 396 | 337 1177.39/1177.72 c 1177s | 17 | 2758029 | 279432 | 24436 22 | 396 | 337 1181.38/1181.78 c 1181s | 17 | 2758460 | 279632 | 24436 22 | 396 | 337 1184.69/1185.06 c 1184s | 17 | 2759198 | 279832 | 24436 22 | 396 | 337 1187.58/1187.94 c 1187s | 17 | 2759755 | 280032 | 24436 22 | 396 | 337 1191.08/1191.42 c 1191s | 17 | 2760171 | 280232 | 24436 22 | 396 | 337 1195.47/1195.87 c 1195s | 17 | 2760264 | 280332 | 24436 22 | 396 | 337 1198.86/1199.28 c 1199s | 17 | 2761086 | 280632 | 24436 22 | 396 | 337 1204.17/1204.57 c 1204s | 17 | 2761547 | 280832 | 24436 22 | 396 | 337 1206.77/1207.16 c 1206s | 17 | 2761771 | 280932 | 24436 22 | 396 | 337 1209.86/1210.25 c 1209s | 17 | 2762012 | 281032 | 24436 22 | 396 | 337 1212.67/1213.05 c 1212s | 17 | 2762297 | 281132 | 24436 22 | 396 | 337 1215.57/1215.93 c 1215s | 17 | 2762605 | 281232 | 24436 23 | 396 | 337 1217.86/1218.25 c 1217s | 17 | 2764495 | 281732 | 24436 23 | 396 | 337 1220.26/1220.60 c 1220s | 17 | 2766250 | 282132 | 24436 23 | 396 | 337 1222.26/1222.69 c 1222s | 17 | 2767218 | 282432 | 24436 23 | 396 | 337 1224.66/1225.04 c 1224s | 17 | 2767663 | 282632 | 24436 23 | 396 | 337 1227.36/1227.76 c 1227s | 17 | 2768985 | 282932 | 24436 23 | 396 | 337 1229.45/1229.87 c 1229s | 17 | 2770113 | 283132 | 24436 23 | 396 | 337 1232.85/1233.28 c 1233s | 17 | 2770256 | 283232 | 24436 23 | 396 | 337 1235.05/1235.43 c 1235s | 17 | 2770545 | 283332 | 24436 23 | 396 | 337 1239.55/1239.97 c 1239s | 17 | 2770711 | 283432 | 24436 23 | 396 | 337 1241.75/1242.20 c 1241s | 17 | 2772322 | 283632 | 24436 23 | 396 | 337 1244.25/1244.62 c 1244s | 17 | 2772938 | 283832 | 24436 23 | 396 | 337 1246.74/1247.18 c 1246s | 17 | 2774201 | 284232 | 24436 23 | 396 | 337 1248.95/1249.34 c 1249s | 17 | 2774601 | 284432 | 24436 23 | 396 | 337 1251.14/1251.53 c 1251s | 17 | 2775684 | 284732 | 24436 23 | 396 | 337 1254.14/1254.50 c 1254s | 17 | 2776771 | 285132 | 24436 23 | 396 | 337 1256.25/1256.69 c 1256s | 17 | 2777738 | 285432 | 24436 23 | 396 | 337 1258.93/1259.38 c 1259s | 17 | 2778565 | 285732 | 24436 23 | 396 | 337 1261.34/1261.75 c 1261s | 17 | 2779348 | 286032 | 24436 23 | 396 | 337 1263.94/1264.39 c 1264s | 17 | 2779953 | 286332 | 24436 23 | 396 | 337 1266.54/1266.96 c 1266s | 17 | 2780375 | 286532 | 24436 23 | 396 | 337 1268.54/1268.99 c 1268s | 17 | 2780873 | 286732 | 24436 23 | 396 | 337 1270.83/1271.21 c 1270s | 17 | 2781250 | 286932 | 24436 23 | 396 | 337 1273.93/1274.37 c 1274s | 17 | 2781570 | 287132 | 24436 23 | 396 | 337 1276.23/1276.66 c 1276s | 17 | 2782471 | 287432 | 24436 23 | 396 | 337 1278.73/1279.17 c 1278s | 17 | 2784119 | 287832 | 24436 23 | 396 | 337 1281.32/1281.71 c 1281s | 17 | 2784898 | 288132 | 24436 23 | 396 | 337 1283.92/1284.39 c 1284s | 17 | 2785227 | 288332 | 24436 23 | 396 | 337 1286.62/1287.04 c 1286s | 17 | 2786368 | 288732 | 24436 23 | 396 | 337 1289.51/1289.92 c 1289s | 17 | 2787035 | 289032 | 24436 23 | 396 | 337 1291.61/1292.05 c 1291s | 17 | 2788297 | 289232 | 24436 23 | 396 | 337 1293.71/1294.12 c 1293s | 17 | 2788724 | 289432 | 24436 23 | 396 | 337 1295.72/1296.18 c 1295s | 17 | 2789135 | 289632 | 24436 23 | 396 | 337 1298.22/1298.67 c 1298s | 17 | 2789675 | 289832 | 24436 23 | 396 | 337 1300.51/1300.97 c 1300s | 17 | 2790154 | 290032 | 24436 23 | 396 | 337 1302.91/1303.33 c 1303s | 17 | 2790569 | 290232 | 24436 23 | 396 | 337 1304.91/1305.39 c 1305s | 17 | 2793491 | 290632 | 24436 23 | 396 | 337 1307.71/1308.19 c 1307s | 17 | 2794608 | 291032 | 24436 23 | 396 | 337 1310.01/1310.46 c 1310s | 17 | 2795954 | 291432 | 24436 23 | 396 | 337 1312.31/1312.76 c 1312s | 17 | 2797514 | 291832 | 24436 23 | 396 | 337 1314.41/1314.82 c 1314s | 17 | 2798297 | 292132 | 24436 23 | 396 | 337 1316.80/1317.25 c 1316s | 17 | 2800008 | 292532 | 24436 23 | 396 | 337 1318.90/1319.36 c 1319s | 17 | 2801884 | 292932 | 24436 23 | 396 | 337 1321.30/1321.75 c 1321s | 17 | 2802900 | 293232 | 24436 23 | 396 | 337 1323.39/1323.85 c 1323s | 17 | 2803784 | 293532 | 24436 23 | 396 | 337 1325.79/1326.29 c 1326s | 17 | 2804838 | 293832 | 24436 23 | 396 | 337 1328.39/1328.82 c 1328s | 17 | 2805274 | 294032 | 24436 23 | 396 | 337 1331.09/1331.52 c 1331s | 17 | 2806000 | 294332 | 26880 23 | 396 | 337 1333.59/1334.06 c 1333s | 17 | 2806823 | 294632 | 26880 23 | 396 | 337 1336.50/1336.91 c 1336s | 17 | 2807749 | 294932 | 26880 23 | 396 | 337 1338.99/1339.42 c 1339s | 17 | 2809351 | 295232 | 26880 23 | 396 | 337 1341.39/1341.82 c 1341s | 17 | 2809797 | 295432 | 26880 23 | 396 | 337 1343.49/1343.97 c 1343s | 17 | 2810163 | 295632 | 26880 23 | 396 | 337 1345.79/1346.24 c 1345s | 17 | 2810940 | 295932 | 26880 23 | 396 | 337 1347.98/1348.46 c 1348s | 17 | 2811981 | 296232 | 26880 23 | 396 | 337 1348.18/1348.64 c 1348s | 18 | 2812042 | 296252 | 26880 23 | 396 | 337 1350.58/1351.04 c 1350s | 18 | 2814276 | 296352 | 26880 24 | 396 | 337 1352.78/1353.20 c 1352s | 18 | 2831320 | 297752 | 26880 24 | 396 | 337 1354.77/1355.22 c 1354s | 18 | 2853949 | 299052 | 26880 24 | 396 | 337 1356.77/1357.27 c 1357s | 18 | 2869646 | 300852 | 26880 24 | 396 | 337 1358.97/1359.43 c 1359s | 18 | 2884599 | 302252 | 26880 24 | 396 | 337 1361.07/1361.52 c 1361s | 18 | 2899733 | 303452 | 26880 24 | 396 | 337 1363.06/1363.54 c 1363s | 18 | 2915109 | 304552 | 26880 24 | 396 | 337 1365.16/1365.60 c 1365s | 18 | 2933311 | 305552 | 26880 24 | 396 | 337 1367.27/1367.73 c 1367s | 18 | 2949108 | 306752 | 26880 24 | 396 | 337 1369.37/1369.85 c 1369s | 18 | 2962053 | 307852 | 26880 24 | 396 | 337 1371.57/1372.05 c 1371s | 18 | 2977127 | 308852 | 26880 24 | 396 | 337 1373.66/1374.19 c 1373s | 18 | 2988870 | 309652 | 26880 24 | 396 | 337 1375.86/1376.31 c 1376s | 18 | 3001168 | 310952 | 26880 25 | 396 | 337 1377.87/1378.36 c 1378s | 18 | 3013170 | 312452 | 26880 25 | 396 | 337 1379.97/1380.40 c 1380s | 18 | 3027782 | 313752 | 26880 25 | 396 | 337 1381.97/1382.45 c 1382s | 18 | 3039079 | 314752 | 26880 25 | 396 | 337 1384.07/1384.52 c 1384s | 18 | 3047876 | 315952 | 26880 25 | 396 | 337 1386.27/1386.77 c 1386s | 18 | 3062088 | 317052 | 26880 25 | 396 | 337 1388.27/1388.79 c 1388s | 18 | 3075935 | 317852 | 26880 25 | 396 | 337 1390.57/1391.04 c 1390s | 18 | 3087257 | 318852 | 26880 25 | 396 | 337 1392.77/1393.24 c 1392s | 18 | 3107722 | 319952 | 26880 25 | 396 | 337 1394.77/1395.26 c 1395s | 18 | 3110354 | 320752 | 26880 25 | 396 | 337 1396.87/1397.39 c 1397s | 18 | 3113086 | 321352 | 26880 25 | 396 | 337 1399.07/1399.60 c 1399s | 18 | 3113908 | 321652 | 26880 25 | 396 | 337 1401.37/1401.84 c 1401s | 18 | 3121183 | 322352 | 26880 25 | 396 | 337 1403.86/1404.32 c 1404s | 18 | 3130374 | 323252 | 26880 25 | 396 | 337 1405.97/1406.47 c 1406s | 18 | 3142700 | 324152 | 26880 25 | 396 | 337 1408.07/1408.51 c 1408s | 18 | 3151298 | 324852 | 26880 26 | 396 | 337 1410.26/1410.70 c 1410s | 18 | 3162571 | 326152 | 26880 26 | 396 | 337 1412.37/1412.86 c 1412s | 18 | 3165744 | 326952 | 26880 26 | 396 | 337 1414.47/1414.99 c 1414s | 18 | 3175948 | 328152 | 26880 26 | 396 | 337 1416.56/1417.01 c 1416s | 18 | 3196198 | 329552 | 26880 26 | 396 | 337 1418.56/1419.07 c 1418s | 18 | 3214099 | 330952 | 26880 26 | 396 | 337 1420.66/1421.14 c 1420s | 18 | 3219412 | 331852 | 26880 26 | 396 | 337 1422.76/1423.20 c 1422s | 18 | 3228058 | 332752 | 26880 26 | 396 | 337 1424.76/1425.26 c 1425s | 18 | 3241398 | 333852 | 26880 26 | 396 | 337 1427.06/1427.52 c 1427s | 18 | 3244025 | 334752 | 26880 26 | 396 | 337 1429.36/1429.86 c 1429s | 18 | 3245294 | 335252 | 26880 26 | 396 | 337 1431.46/1431.90 c 1431s | 18 | 3248512 | 335752 | 26880 26 | 396 | 337 1433.46/1433.95 c 1433s | 18 | 3258608 | 336752 | 26880 26 | 396 | 337 1435.55/1436.04 c 1435s | 18 | 3263037 | 337752 | 26880 26 | 396 | 337 1437.66/1438.11 c 1437s | 18 | 3264882 | 338352 | 26880 26 | 396 | 337 1439.76/1440.23 c 1439s | 18 | 3266351 | 338852 | 26880 26 | 396 | 337 1442.45/1442.91 c 1442s | 18 | 3268269 | 339352 | 26880 27 | 396 | 337 1444.45/1444.97 c 1444s | 18 | 3271628 | 340152 | 26880 27 | 396 | 337 1446.65/1447.17 c 1446s | 18 | 3276480 | 341352 | 26880 27 | 396 | 337 1448.75/1449.29 c 1449s | 18 | 3279366 | 342252 | 26880 27 | 396 | 337 1450.86/1451.31 c 1451s | 18 | 3291844 | 343552 | 26880 27 | 396 | 337 1453.15/1453.63 c 1453s | 18 | 3301317 | 344552 | 26880 27 | 396 | 337 1455.35/1455.84 c 1455s | 18 | 3308196 | 345552 | 26880 27 | 396 | 337 1457.46/1457.94 c 1457s | 18 | 3317653 | 346652 | 26880 27 | 396 | 337 1459.56/1460.08 c 1459s | 18 | 3323141 | 347752 | 26880 27 | 396 | 337 1461.75/1462.22 c 1461s | 18 | 3325488 | 348452 | 26880 27 | 396 | 337 1463.95/1464.43 c 1464s | 18 | 3330580 | 349152 | 26880 27 | 396 | 337 1466.55/1467.05 c 1466s | 18 | 3332476 | 349752 | 26880 27 | 396 | 337 1468.85/1469.36 c 1469s | 18 | 3334609 | 350352 | 26880 27 | 396 | 337 1470.96/1471.45 c 1471s | 18 | 3336712 | 350952 | 26880 27 | 396 | 337 1473.06/1473.54 c 1473s | 18 | 3339289 | 351552 | 26880 27 | 396 | 337 1475.15/1475.67 c 1475s | 18 | 3341119 | 352052 | 26880 27 | 396 | 337 1477.35/1477.80 c 1477s | 18 | 3342791 | 352452 | 26880 27 | 396 | 337 1479.75/1480.22 c 1479s | 18 | 3345225 | 353052 | 26880 27 | 396 | 337 1481.75/1482.23 c 1481s | 18 | 3346843 | 353452 | 26880 28 | 396 | 337 1483.86/1484.33 c 1484s | 18 | 3362196 | 355052 | 26880 28 | 396 | 337 1485.96/1486.41 c 1486s | 18 | 3375014 | 356352 | 26880 28 | 396 | 337 1487.95/1488.42 c 1488s | 18 | 3386751 | 357652 | 26880 28 | 396 | 337 1490.05/1490.53 c 1490s | 18 | 3391610 | 358452 | 26880 28 | 396 | 337 1492.15/1492.65 c 1492s | 18 | 3405533 | 359652 | 26880 28 | 396 | 337 1494.55/1495.00 c 1494s | 18 | 3407536 | 360352 | 26880 28 | 396 | 337 1496.65/1497.19 c 1496s | 18 | 3408764 | 360752 | 26880 28 | 396 | 337 1498.75/1499.22 c 1498s | 18 | 3415023 | 361552 | 26880 28 | 396 | 337 1500.75/1501.23 c 1500s | 18 | 3425810 | 362452 | 26880 28 | 396 | 337 1502.74/1503.27 c 1503s | 18 | 3440551 | 363552 | 26880 28 | 396 | 337 1504.94/1505.42 c 1505s | 18 | 3451385 | 364352 | 26880 28 | 396 | 337 1507.45/1507.91 c 1507s | 18 | 3462749 | 365252 | 26880 29 | 396 | 337 1509.65/1510.16 c 1509s | 18 | 3481336 | 366752 | 26880 29 | 396 | 337 1511.65/1512.19 c 1511s | 18 | 3495633 | 367852 | 26880 29 | 396 | 337 1513.85/1514.32 c 1514s | 18 | 3511709 | 369152 | 26880 29 | 396 | 337 1515.85/1516.32 c 1516s | 18 | 3522904 | 370452 | 26880 29 | 396 | 337 1517.95/1518.48 c 1518s | 18 | 3533933 | 371552 | 26880 29 | 396 | 337 1519.95/1520.50 c 1520s | 18 | 3541223 | 372552 | 26880 29 | 396 | 337 1522.35/1522.81 c 1522s | 18 | 3544379 | 373252 | 26880 29 | 396 | 337 1524.45/1524.93 c 1524s | 18 | 3547179 | 373852 | 26880 29 | 396 | 337 1526.84/1527.39 c 1527s | 18 | 3548718 | 374352 | 26880 29 | 396 | 337 1529.05/1529.57 c 1529s | 18 | 3549868 | 374752 | 26880 29 | 396 | 337 1531.15/1531.65 c 1531s | 18 | 3551594 | 375152 | 26880 29 | 396 | 337 1533.25/1533.78 c 1533s | 18 | 3552670 | 375552 | 26880 29 | 396 | 337 1535.55/1536.04 c 1535s | 18 | 3553629 | 375952 | 26880 29 | 396 | 337 1538.14/1538.64 c 1538s | 18 | 3554408 | 376352 | 26880 29 | 396 | 337 1540.14/1540.68 c 1540s | 18 | 3557503 | 376752 | 26880 29 | 396 | 337 1542.24/1542.79 c 1542s | 18 | 3569387 | 377852 | 26880 30 | 396 | 337 1544.44/1544.93 c 1544s | 18 | 3581827 | 379152 | 26880 30 | 396 | 337 1546.54/1547.02 c 1546s | 18 | 3584539 | 379952 | 26880 30 | 396 | 337 1548.64/1549.17 c 1548s | 18 | 3586838 | 380552 | 26880 30 | 396 | 337 1550.74/1551.26 c 1551s | 18 | 3588102 | 380952 | 26880 30 | 396 | 337 1553.15/1553.66 c 1553s | 18 | 3590186 | 381552 | 26880 30 | 396 | 337 1555.54/1556.00 c 1555s | 18 | 3590849 | 381852 | 26880 30 | 396 | 337 1557.74/1558.29 c 1558s | 18 | 3591925 | 382252 | 26880 30 | 396 | 337 1560.14/1560.67 c 1560s | 18 | 3593670 | 382752 | 26880 30 | 396 | 337 1562.34/1562.86 c 1562s | 18 | 3595285 | 383252 | 26880 30 | 396 | 337 1564.64/1565.18 c 1564s | 18 | 3597887 | 383852 | 26880 30 | 396 | 337 1567.24/1567.74 c 1567s | 18 | 3598454 | 384152 | 26880 30 | 396 | 337 1569.64/1570.11 c 1569s | 18 | 3600013 | 384552 | 26880 30 | 396 | 337 1571.84/1572.36 c 1572s | 18 | 3601947 | 384952 | 26880 30 | 396 | 337 1574.13/1574.68 c 1574s | 18 | 3605144 | 385552 | 26880 30 | 396 | 337 1576.14/1576.69 c 1576s | 18 | 3612095 | 386452 | 26880 30 | 396 | 337 1578.34/1578.85 c 1578s | 18 | 3621188 | 387552 | 26880 30 | 396 | 337 1580.43/1580.94 c 1580s | 18 | 3627534 | 388852 | 26880 30 | 396 | 337 1582.53/1583.01 c 1582s | 18 | 3639618 | 389852 | 26880 31 | 396 | 337 1584.53/1585.08 c 1584s | 18 | 3647821 | 390952 | 26880 31 | 396 | 337 1586.73/1587.21 c 1586s | 18 | 3650008 | 391752 | 26880 31 | 396 | 337 1588.83/1589.32 c 1589s | 18 | 3651860 | 392452 | 26880 31 | 396 | 337 1590.93/1591.43 c 1591s | 18 | 3659201 | 393252 | 26880 31 | 396 | 337 1592.93/1593.48 c 1593s | 18 | 3665025 | 394152 | 26880 31 | 396 | 337 1595.03/1595.55 c 1595s | 18 | 3667321 | 394752 | 26880 31 | 396 | 337 1597.23/1597.74 c 1597s | 18 | 3668860 | 395252 | 26880 31 | 396 | 337 1599.73/1600.26 c 1600s | 18 | 3670220 | 395752 | 26880 31 | 396 | 337 1602.04/1602.55 c 1602s | 18 | 3671831 | 396152 | 26880 31 | 396 | 337 1604.14/1604.65 c 1604s | 18 | 3672523 | 396452 | 26880 31 | 396 | 337 1606.53/1607.00 c 1606s | 18 | 3673853 | 396852 | 26880 31 | 396 | 337 1608.63/1609.14 c 1608s | 18 | 3674731 | 397152 | 26880 31 | 396 | 337 1611.13/1611.64 c 1611s | 18 | 3675733 | 397552 | 26880 31 | 396 | 337 1613.54/1614.06 c 1613s | 18 | 3677021 | 397952 | 26880 31 | 396 | 337 1615.93/1616.41 c 1616s | 18 | 3678224 | 398352 | 26880 31 | 396 | 337 1618.23/1618.76 c 1618s | 18 | 3679610 | 398752 | 26880 31 | 396 | 337 1620.33/1620.80 c 1620s | 18 | 3680274 | 399052 | 26880 31 | 396 | 337 1622.44/1622.96 c 1622s | 18 | 3684645 | 399552 | 26880 32 | 396 | 337 1624.64/1625.11 c 1624s | 18 | 3701295 | 400952 | 26880 32 | 396 | 337 1626.63/1627.12 c 1626s | 18 | 3723457 | 402352 | 26880 32 | 396 | 337 1628.73/1629.28 c 1629s | 18 | 3739565 | 403652 | 26880 32 | 396 | 337 1630.93/1631.42 c 1631s | 18 | 3747992 | 404652 | 26880 32 | 396 | 337 1633.03/1633.54 c 1633s | 18 | 3761170 | 405752 | 26880 32 | 396 | 337 1635.13/1635.60 c 1635s | 18 | 3773901 | 406652 | 26880 32 | 396 | 337 1637.13/1637.62 c 1637s | 18 | 3786864 | 407652 | 26880 32 | 396 | 337 1639.23/1639.75 c 1639s | 18 | 3797281 | 408652 | 26880 32 | 396 | 337 1641.33/1641.81 c 1641s | 18 | 3800351 | 409252 | 26880 32 | 396 | 337 1643.33/1643.87 c 1643s | 18 | 3803892 | 410052 | 26880 32 | 396 | 337 1645.43/1645.98 c 1645s | 18 | 3810323 | 410752 | 26880 33 | 396 | 337 1647.52/1648.08 c 1647s | 18 | 3813252 | 411452 | 26880 33 | 396 | 337 1649.72/1650.20 c 1649s | 18 | 3814941 | 411852 | 26880 33 | 396 | 337 1652.04/1652.54 c 1652s | 18 | 3818304 | 412452 | 26880 33 | 396 | 337 1654.13/1654.63 c 1654s | 18 | 3824651 | 413052 | 26880 33 | 396 | 337 1656.23/1656.78 c 1656s | 18 | 3840702 | 414352 | 26880 33 | 396 | 337 1658.43/1658.94 c 1658s | 18 | 3854677 | 415652 | 26880 33 | 396 | 337 1660.73/1661.24 c 1660s | 18 | 3860361 | 416552 | 26880 33 | 396 | 337 1662.93/1663.42 c 1663s | 18 | 3864112 | 417352 | 26880 33 | 396 | 337 1665.03/1665.56 c 1665s | 18 | 3873814 | 418152 | 26880 33 | 396 | 337 1667.23/1667.70 c 1667s | 18 | 3888019 | 419252 | 26880 33 | 396 | 337 1669.33/1669.85 c 1669s | 18 | 3900094 | 420252 | 26880 33 | 396 | 337 1671.83/1672.31 c 1672s | 18 | 3909548 | 421352 | 26880 34 | 396 | 337 1673.92/1674.50 c 1674s | 18 | 3920543 | 422652 | 26880 34 | 396 | 337 1676.02/1676.50 c 1676s | 18 | 3927594 | 423952 | 26880 34 | 396 | 337 1678.02/1678.57 c 1678s | 18 | 3933251 | 425052 | 26880 34 | 396 | 337 1680.12/1680.66 c 1680s | 18 | 3938451 | 426252 | 26880 34 | 396 | 337 1682.42/1682.91 c 1682s | 18 | 3940886 | 427152 | 26880 34 | 396 | 337 1684.62/1685.12 c 1684s | 18 | 3944258 | 427952 | 26880 34 | 396 | 337 1686.72/1687.26 c 1687s | 18 | 3945579 | 428452 | 26880 34 | 396 | 337 1689.22/1689.73 c 1689s | 18 | 3946669 | 428852 | 26880 34 | 396 | 337 1691.32/1691.85 c 1691s | 18 | 3949917 | 429752 | 26880 34 | 396 | 337 1693.41/1693.94 c 1693s | 18 | 3952557 | 430352 | 26880 34 | 396 | 337 1695.51/1696.00 c 1695s | 18 | 3955089 | 431052 | 26880 34 | 396 | 337 1697.52/1698.03 c 1697s | 18 | 3958800 | 431852 | 26880 34 | 396 | 337 1699.62/1700.12 c 1699s | 18 | 3962395 | 432552 | 26880 34 | 396 | 337 1701.72/1702.21 c 1701s | 18 | 3969536 | 433752 | 26880 35 | 396 | 337 1703.92/1704.45 c 1704s | 18 | 3973793 | 434652 | 26880 35 | 396 | 337 1705.93/1706.47 c 1706s | 18 | 3975887 | 435252 | 26880 35 | 396 | 337 1708.02/1708.51 c 1708s | 18 | 3977040 | 435652 | 26880 35 | 396 | 337 1710.12/1710.66 c 1710s | 18 | 3980451 | 436352 | 26880 35 | 396 | 337 1712.22/1712.78 c 1712s | 18 | 3985894 | 437352 | 26880 35 | 396 | 337 1714.22/1714.79 c 1714s | 18 | 3992992 | 438452 | 26880 35 | 396 | 337 1716.52/1717.02 c 1716s | 18 | 3995561 | 439252 | 26880 35 | 396 | 337 1718.81/1719.33 c 1719s | 18 | 3996921 | 439752 | 26880 35 | 396 | 337 1721.01/1721.51 c 1721s | 18 | 3999002 | 440352 | 26880 35 | 396 | 337 1723.11/1723.69 c 1723s | 18 | 3999551 | 440652 | 26880 35 | 396 | 337 1725.21/1725.79 c 1725s | 18 | 4001270 | 441152 | 26880 35 | 396 | 337 1727.41/1727.97 c 1727s | 18 | 4002226 | 441552 | 29569 35 | 396 | 337 1729.91/1730.42 c 1730s | 18 | 4003459 | 442052 | 29569 35 | 396 | 337 1731.91/1732.47 c 1732s | 18 | 4005113 | 442552 | 29569 35 | 396 | 337 1734.51/1735.10 c 1734s | 18 | 4006206 | 442952 | 29569 35 | 396 | 337 1737.11/1737.67 c 1737s | 18 | 4007928 | 443452 | 29569 35 | 396 | 337 1739.52/1740.03 c 1739s | 18 | 4008496 | 443752 | 29569 35 | 396 | 337 1742.32/1742.87 c 1742s | 18 | 4009007 | 444052 | 29569 35 | 396 | 337 1745.21/1745.74 c 1745s | 18 | 4009742 | 444352 | 29569 35 | 396 | 337 1746.31/1746.86 c 1746s | 19 | 4010102 | 444482 | 29569 35 | 396 | 337 1748.31/1748.89 c 1748s | 19 | 4028961 | 445282 | 29569 36 | 396 | 337 1750.41/1750.98 c 1750s | 19 | 4037819 | 446282 | 29569 36 | 396 | 337 1752.51/1753.09 c 1752s | 19 | 4041240 | 447282 | 29569 36 | 396 | 337 1754.61/1755.16 c 1754s | 19 | 4043480 | 447882 | 29569 36 | 396 | 337 1756.61/1757.19 c 1756s | 19 | 4060203 | 449182 | 29569 36 | 396 | 337 1758.71/1759.23 c 1758s | 19 | 4064912 | 449982 | 29569 36 | 396 | 337 1760.81/1761.34 c 1761s | 19 | 4072811 | 450982 | 29569 36 | 396 | 337 1762.91/1763.40 c 1763s | 19 | 4074574 | 451582 | 29569 36 | 396 | 337 1764.90/1765.41 c 1765s | 19 | 4076934 | 452282 | 29569 36 | 396 | 337 1766.90/1767.43 c 1767s | 19 | 4078800 | 452882 | 29569 36 | 396 | 337 1769.20/1769.70 c 1769s | 19 | 4080002 | 453382 | 29569 36 | 396 | 337 1771.41/1771.93 c 1771s | 19 | 4081730 | 453982 | 29569 36 | 396 | 337 1773.81/1774.35 c 1774s | 19 | 4083212 | 454482 | 29569 36 | 396 | 337 1776.01/1776.59 c 1776s | 19 | 4083985 | 454882 | 29569 36 | 396 | 337 1778.21/1778.73 c 1778s | 19 | 4085128 | 455282 | 29569 36 | 396 | 337 1780.31/1780.83 c 1780s | 19 | 4100890 | 455882 | 29569 37 | 396 | 337 1782.51/1783.09 c 1782s | 19 | 4110353 | 456882 | 29569 37 | 396 | 337 1784.81/1785.37 c 1785s | 19 | 4112657 | 457482 | 29569 37 | 396 | 337 1786.90/1787.40 c 1787s | 19 | 4119280 | 458182 | 29569 37 | 396 | 337 1788.90/1789.41 c 1789s | 19 | 4145835 | 459582 | 29569 37 | 396 | 337 1791.00/1791.52 c 1791s | 19 | 4169597 | 460882 | 29569 37 | 396 | 337 1793.20/1793.77 c 1793s | 19 | 4182740 | 461982 | 29569 37 | 396 | 337 1795.60/1796.18 c 1795s | 19 | 4196220 | 462882 | 29569 37 | 396 | 337 1797.70/1798.25 c 1797s | 19 | 4205753 | 463482 | 29569 37 | 396 | 337 1799.80/1800.39 c 1800s | 19 | 4223362 | 464482 | 29569 37 | 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-4078926-1465282276/watcher-4078926-1465282276 -o /tmp/evaluation-result-4078926-1465282276/solver-4078926-1465282276 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465259688-5740 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078926-1465282276.opb pid=10097 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.33 2.23 2.19 3/179 10100 /proc/meminfo: memFree=29173916/32872528 swapFree=16384/1696552 [pid=10100] ppid=10097 vsize=335292 CPUtime=0 cores=1,3,5,7 /proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 1182 0 0 0 0 0 0 0 20 0 4 0 110160663 343339008 1542 33554432000 4194304 16246674 140733984578928 140733984578352 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10100/statm: 84335 1552 441 2943 0 81229 0 [pid=10100/tid=10101] ppid=10097 vsize=351676 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 360116224 1606 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10100/tid=10102] ppid=10097 vsize=355772 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 364310528 1623 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10100/tid=10103] ppid=10097 vsize=359868 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110160663 368504832 1640 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.10018 s] /proc/loadavg: 2.33 2.23 2.19 3/179 10100 /proc/meminfo: memFree=29173916/32872528 swapFree=16384/1696552 [pid=10100] ppid=10097 vsize=1301060 CPUtime=0.09 cores=1,3,5,7 /proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 25784 0 0 0 5 4 0 0 20 0 4 0 110160663 1332285440 26082 33554432000 4194304 16246674 140733984578928 140733984578240 8056990 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10100/statm: 325265 26098 801 2943 0 322159 0 [pid=10100/tid=10101] ppid=10097 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1332285440 26109 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10100/tid=10102] ppid=10097 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1332285440 26123 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10100/tid=10103] ppid=10097 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1332285440 26135 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1301060 [startup+0.200493 s] /proc/loadavg: 2.33 2.23 2.19 3/179 10100 /proc/meminfo: memFree=29173916/32872528 swapFree=16384/1696552 [pid=10100] ppid=10097 vsize=1302084 CPUtime=0.18 cores=1,3,5,7 /proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 45381 0 0 0 12 6 0 0 20 0 4 0 110160663 1333334016 45679 33554432000 4194304 16246674 140733984578928 140733984578240 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10100/statm: 325521 45679 833 2943 0 322415 0 [pid=10100/tid=10101] ppid=10097 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1333334016 45679 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10100/tid=10102] ppid=10097 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1333334016 45679 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10100/tid=10103] ppid=10097 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1333334016 45679 33554432000 4194304 16246674 140733984578928 140727948401840 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.300485 s] /proc/loadavg: 2.33 2.23 2.19 3/179 10100 /proc/meminfo: memFree=29173916/32872528 swapFree=16384/1696552 [pid=10100] ppid=10097 vsize=1302084 CPUtime=0.28 cores=1,3,5,7 /proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 60955 0 0 0 20 8 0 0 20 0 4 0 110160663 1333334016 61253 33554432000 4194304 16246674 140733984578928 140733984578240 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10100/statm: 325521 61267 876 2943 0 322415 0 [pid=10100/tid=10101] ppid=10097 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1333334016 61274 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10100/tid=10102] ppid=10097 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1333334016 61282 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10100/tid=10103] ppid=10097 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1333334016 61290 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1302084 [startup+0.700451 s] /proc/loadavg: 2.33 2.23 2.19 3/179 10100 /proc/meminfo: memFree=29173916/32872528 swapFree=16384/1696552 [pid=10100] ppid=10097 vsize=1302084 CPUtime=0.69 cores=1,3,5,7 /proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 138943 0 0 0 51 18 0 0 20 0 4 0 110160663 1333334016 139241 33554432000 4194304 16246674 140733984578928 140733984578240 5532301 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10100/statm: 325521 139248 876 2943 0 322415 0 [pid=10100/tid=10101] ppid=10097 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1333334016 139253 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10100/tid=10102] ppid=10097 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1333334016 139257 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10100/tid=10103] ppid=10097 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1333334016 139260 33554432000 4194304 16246674 140733984578928 140727948401840 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) 1302084 [startup+1.50764 s] /proc/loadavg: 2.33 2.23 2.19 3/183 10104 /proc/meminfo: memFree=28530120/32872528 swapFree=16384/1696552 [pid=10100] ppid=10097 vsize=1311300 CPUtime=1.49 cores=1,3,5,7 /proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 189054 0 0 0 125 24 0 0 20 0 4 0 110160663 1342771200 189353 33554432000 4194304 16246674 140733984578928 140733984560832 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10100/statm: 327825 189373 883 2943 0 324719 0 [pid=10100/tid=10101] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 189386 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10100/tid=10102] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 189399 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10100/tid=10103] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 189408 33554432000 4194304 16246674 140733984578928 140727948401840 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.10048 s] /proc/loadavg: 2.33 2.23 2.19 3/183 10104 /proc/meminfo: memFree=28374180/32872528 swapFree=16384/1696552 [pid=10100] ppid=10097 vsize=1311300 CPUtime=3.08 cores=1,3,5,7 /proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 269008 0 0 0 274 34 0 0 20 0 4 0 110160663 1342771200 269306 33554432000 4194304 16246674 140733984578928 140733984578104 5546252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10100/statm: 327825 269306 883 2943 0 324719 0 [pid=10100/tid=10101] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269306 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10100/tid=10102] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269306 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10100/tid=10103] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269306 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1311300 [startup+6.30047 s] /proc/loadavg: 2.30 2.22 2.19 3/183 10104 /proc/meminfo: memFree=28097412/32872528 swapFree=16384/1696552 [pid=10100] ppid=10097 vsize=1311300 CPUtime=6.28 cores=1,3,5,7 /proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 269010 0 0 0 594 34 0 0 20 0 4 0 110160663 1342771200 269308 33554432000 4194304 16246674 140733984578928 140733984578104 5722804 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10100/statm: 327825 269308 885 2943 0 324719 0 [pid=10100/tid=10101] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269308 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10100/tid=10102] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269308 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10100/tid=10103] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269308 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1311300 [startup+12.7004 s] /proc/loadavg: 2.36 2.24 2.19 4/183 10104 /proc/meminfo: memFree=28099404/32872528 swapFree=16384/1696552 [pid=10100] ppid=10097 vsize=1311300 CPUtime=12.68 cores=1,3,5,7 /proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 269010 0 0 0 1234 34 0 0 20 0 4 0 110160663 1342771200 269308 33554432000 4194304 16246674 140733984578928 140733984560832 6842338 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10100/statm: 327825 269308 885 2943 0 324719 0 [pid=10100/tid=10101] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269308 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10100/tid=10102] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269308 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10100/tid=10103] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269308 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1311300 [startup+25.5004 s] /proc/loadavg: 2.28 2.22 2.19 3/183 10104 /proc/meminfo: memFree=28100272/32872528 swapFree=16384/1696552 [pid=10100] ppid=10097 vsize=1311300 CPUtime=25.48 cores=1,3,5,7 /proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 269010 0 0 0 2514 34 0 0 20 0 4 0 110160663 1342771200 269308 33554432000 4194304 16246674 140733984578928 140733984560832 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10100/statm: 327825 269308 885 2943 0 324719 0 [pid=10100/tid=10101] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269308 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10100/tid=10102] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269308 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10100/tid=10103] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269308 33554432000 4194304 16246674 140733984578928 140727948401840 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.1004 s] /proc/loadavg: 2.25 2.22 2.18 3/183 10104 /proc/meminfo: memFree=28098688/32872528 swapFree=16384/1696552 [pid=10100] ppid=10097 vsize=1311300 CPUtime=51.08 cores=1,3,5,7 /proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 269011 0 0 0 5073 35 0 0 20 0 4 0 110160663 1342771200 269309 33554432000 4194304 16246674 140733984578928 140733984560832 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10100/statm: 327825 269309 886 2943 0 324719 0 [pid=10100/tid=10101] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269309 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10100/tid=10102] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269309 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10100/tid=10103] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269309 33554432000 4194304 16246674 140733984578928 140727948401840 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.3 s] /proc/loadavg: 2.29 2.23 2.19 4/183 10105 /proc/meminfo: memFree=28098320/32872528 swapFree=16384/1696552 [pid=10100] ppid=10097 vsize=1311300 CPUtime=102.27 cores=1,3,5,7 /proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 269011 0 0 0 10192 35 0 0 20 0 4 0 110160663 1342771200 269309 33554432000 4194304 16246674 140733984578928 140733984560832 5721844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10100/statm: 327825 269309 886 2943 0 324719 0 [pid=10100/tid=10101] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269309 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10100/tid=10102] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269309 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10100/tid=10103] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269309 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1311300 ################ # More data... # ################ /proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1344868352 270077 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1313348 [startup+1302.3 s] /proc/loadavg: 2.34 2.36 2.28 3/183 10208 /proc/meminfo: memFree=28092528/32872528 swapFree=16384/1696552 [pid=10100] ppid=10097 vsize=1313348 CPUtime=1301.91 cores=1,3,5,7 /proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 269801 0 0 0 130108 83 0 0 20 0 4 0 110160663 1344868352 270077 33554432000 4194304 16246674 140733984578928 140733984560832 12483362 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10100/statm: 328337 270077 886 2943 0 325231 0 [pid=10100/tid=10101] ppid=10097 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1344868352 270077 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10100/tid=10102] ppid=10097 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1344868352 270077 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10100/tid=10103] ppid=10097 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1344868352 270077 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1313348 [startup+1362.3 s] /proc/loadavg: 2.36 2.35 2.28 3/183 10209 /proc/meminfo: memFree=28087976/32872528 swapFree=16384/1696552 [pid=10100] ppid=10097 vsize=1318468 CPUtime=1361.87 cores=1,3,5,7 /proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 270890 0 0 0 136102 85 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140733984560832 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10100/statm: 329617 271125 886 2943 0 326511 0 [pid=10100/tid=10101] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10100/tid=10102] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10100/tid=10103] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1318468 [startup+1422.3 s] /proc/loadavg: 2.34 2.35 2.28 3/183 10210 /proc/meminfo: memFree=28088416/32872528 swapFree=16384/1696552 [pid=10100] ppid=10097 vsize=1318468 CPUtime=1421.86 cores=1,3,5,7 /proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 270892 0 0 0 142099 87 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140733984560832 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10100/statm: 329617 271125 886 2943 0 326511 0 [pid=10100/tid=10101] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10100/tid=10102] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10100/tid=10103] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1318468 [startup+1482.3 s] /proc/loadavg: 2.31 2.33 2.27 3/183 10212 /proc/meminfo: memFree=28088520/32872528 swapFree=16384/1696552 [pid=10100] ppid=10097 vsize=1318468 CPUtime=1481.85 cores=1,3,5,7 /proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 270892 0 0 0 148097 88 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140733984560832 5722445 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10100/statm: 329617 271125 886 2943 0 326511 0 [pid=10100/tid=10101] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10100/tid=10102] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10100/tid=10103] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1318468 [startup+1542.3 s] /proc/loadavg: 2.28 2.31 2.27 3/183 10213 /proc/meminfo: memFree=28088520/32872528 swapFree=16384/1696552 [pid=10100] ppid=10097 vsize=1318468 CPUtime=1541.84 cores=1,3,5,7 /proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 270892 0 0 0 154094 90 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140733984560832 6021007 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10100/statm: 329617 271125 886 2943 0 326511 0 [pid=10100/tid=10101] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10100/tid=10102] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10100/tid=10103] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1318468 [startup+1602.3 s] /proc/loadavg: 2.28 2.31 2.27 3/183 10214 /proc/meminfo: memFree=28088292/32872528 swapFree=16384/1696552 [pid=10100] ppid=10097 vsize=1318468 CPUtime=1601.84 cores=1,3,5,7 /proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 270892 0 0 0 160092 92 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140733984578104 5717604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10100/statm: 329617 271125 886 2943 0 326511 0 [pid=10100/tid=10101] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10100/tid=10102] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10100/tid=10103] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1318468 [startup+1662.3 s] /proc/loadavg: 2.27 2.30 2.27 4/183 10215 /proc/meminfo: memFree=28087092/32872528 swapFree=16384/1696552 [pid=10100] ppid=10097 vsize=1318468 CPUtime=1661.83 cores=1,3,5,7 /proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 270892 0 0 0 166089 94 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140733984560832 5829044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10100/statm: 329617 271125 886 2943 0 326511 0 [pid=10100/tid=10101] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10100/tid=10102] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10100/tid=10103] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727948401840 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) 1318468 [startup+1722.3 s] /proc/loadavg: 2.29 2.30 2.27 3/183 10216 /proc/meminfo: memFree=28086376/32872528 swapFree=16384/1696552 [pid=10100] ppid=10097 vsize=1318468 CPUtime=1721.81 cores=1,3,5,7 /proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 270892 0 0 0 172086 95 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140733984578104 12483276 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10100/statm: 329617 271125 886 2943 0 326511 0 [pid=10100/tid=10101] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10100/tid=10102] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10100/tid=10103] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727948401840 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) 1318468 [startup+1782.3 s] /proc/loadavg: 2.27 2.29 2.27 4/184 10221 /proc/meminfo: memFree=28085988/32872528 swapFree=16384/1696552 [pid=10100] ppid=10097 vsize=1318468 CPUtime=1781.81 cores=1,3,5,7 /proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 270892 0 0 0 178084 97 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140733984578104 13965544 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10100/statm: 329617 271125 886 2943 0 326511 0 [pid=10100/tid=10101] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10100/tid=10102] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10100/tid=10103] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727948401840 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) 1318468 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.27 2.29 2.27 3/183 10221 /proc/meminfo: memFree=28085956/32872528 swapFree=16384/1696552 [pid=10100] ppid=10097 vsize=1318468 CPUtime=1800 cores=1,3,5,7 /proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 270892 0 0 0 179903 97 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140733984560832 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10100/statm: 329617 271125 886 2943 0 326511 0 [pid=10100/tid=10101] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10100/tid=10102] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10100/tid=10103] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727948401840 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) 1318468 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 10100 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.04 CPU system time (s): 0.973851 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (KiB): 1318468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.04 system time used= 0.973851 maximum resident set size= 1084500 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 270892 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= 336 involuntary context switches= 1842 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.77312 second user time and 7.76082 second system time The end
Begin job on node125 at 2016-06-07 08:51:16 IDJOB=4078926 IDBENCH=90119 IDSOLVER=2542 FILE ID=node125/4078926-1465282276 RUNJOBID= node125-1465259688-5740 PBS_JOBID= 19843289 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K105.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078926-1465282276/watcher-4078926-1465282276 -o /tmp/evaluation-result-4078926-1465282276/solver-4078926-1465282276 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465259688-5740 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078926-1465282276.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f2bb3fbff44c335cc6fb8854fd262f5a RANDOM SEED=1923354644 node125.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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.91 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.456 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.56 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.456 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.456 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.456 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.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.456 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: 29174560 kB Buffers: 27004 kB Cached: 148308 kB SwapCached: 1520 kB Active: 1133588 kB Inactive: 120596 kB Active(anon): 1075568 kB Inactive(anon): 5320 kB Active(file): 58020 kB Inactive(file): 115276 kB Unevictable: 1696552 kB Mlocked: 16384 kB SwapTotal: 67108856 kB SwapFree: 67098580 kB Dirty: 16720 kB Writeback: 0 kB AnonPages: 2866504 kB Mapped: 10700 kB Shmem: 0 kB Slab: 609372 kB SReclaimable: 53256 kB SUnreclaim: 556116 kB KernelStack: 1520 kB PageTables: 9680 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2918824 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1777664 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= 71712 MiB End job on node125 at 2016-06-07 09:21:17