Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.41 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/ EmployeeScheduling/normalized-may6.5.opb |
| MD5SUM | 4d0ab0e21e33b4b293402220cb1f9594 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 430 |
| Best CPU time to get the best result obtained on this benchmark | 15.4546 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9632 |
| Total number of constraints | 29620 |
| Number of constraints which are clauses | 27575 |
| Number of constraints which are cardinality constraints (but not clauses) | 225 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1820 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 248 |
| Number of terms in the objective function | 26 |
| Biggest coefficient in the objective function | 200 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 2110 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 200 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 2110 |
| Number of bits of the biggest sum of numbers | 12 |
| 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-29T16:35:18+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-4117375-1467210918.opb"] 0.00/0.01 c use --random-gen="1296758863 2281244485 518986883 667072013 1412804588 938977528 773013093 1796536098 94019893 1479270504 2147653896 3453823613 3678779279 4062655428 2012341324 3014170851 2801771496 991304886 4035373880 1005166363 2569737124 3290898853 1588680100 948782903 1175295743 3194825348 438447424 2052424417 3187861829 1950119524 3133287182 239949682 405625399 121552411 321121265 1568198005 2910819348 4227483666 2913220108 3695932888 2361730974 585143199 29398053 3230895101 2347501155 4214229718 3757953122 4020461069 1415450985 3825269640 675422214 3602171964 282779502 3503398881 687221005 124610149 417947556 1250117977 3580164266 4742953 2494325363 3811488615 304445320 40691386 896738569 2890893210 3710354558 3877041679 192424841 2367930975 961905576 1319460056 2374475491 4259744532 3397580596 3684788352 753245574 4217093152 3468571791 2840222184 4264651544 480265088 3591575933 1785546438 1148262028 1849686593 2248526628 2144725927 362848640 592144814 473451777 1908359770 1936194345 2701008095 1078861253 63903462 4234684310 3554790600 3080648441 4016190727 1936995130 479084744 2534739668 1820069441 225291048 4246942157 391910958 1556441142 1639313744 337405756 54493113 1249396214 1054484295 3945000105 3889467460 978229172 586388549 3362331897 530452835 3190272822 1178633700 3292445151 1422685146 2980360028 1756962189 457197960 2743603740 1205587515 1512337020 552686793 2492707374 1755283669 3486398351 3060855835 3750299448 652475838 3713545110 2932296680 2193892016 3906587813 2698384029 845750882 1618659210 3433062213 1561151623 3277991091 2865425112 1512855507 3489513477 2154336697 2335476951 1016433284 1824759080 3957070000 3507023292 2748307696 1118021081 1032039213 2275343252 47210001 879189343 840734129 2099834200 224041671 421947401 3261188402 3361719103 1176165933 3073683323 360040337 1667362996 618224424 270692014 3123836488 812764866 578397948 3429529838 3507387829 1307786396 350162675 2127077150 3890533463 3791568240 3092530437 622522426 3906611137 1378348124 3086755188 2497227287 1446878065 2408657481 3803008452 2881104492 3345110150 2874430891 1284252452 4075414698 2944218718 2642081822 2107467055 2178840281 2678779402 404106443 2520014382 2405749271 439421025 3460478603 1484614768 2129364325 3776028747 3006303718 734839257 3479937301 639699147 1898123760 3150160528 667124576 3429523719 4136594019 1277347975 1335744534 460504051 1033739805 1420875265 4201074490 3952586459 288716859 3240169448 2465869146 2195184606 2527417397 3151408192 494233763 3951020017 4234310984 1683605909 2085702002 1759978924 2785746975 4202194676 3563939133 134508527 2295108924 2802163292 3296084910 163842366 580655942 719858183 533166677 4222205220 3445646162 25498893 45202640 3233724020 3452477183 1875405878 255 362436" option to reproduce the execution 0.19/0.23 c #vars 9632 0.19/0.23 c #constraints 29620 0.59/0.66 c BCD2: Hardening is enabled. 0.59/0.66 c BCD2: BiasedSearch is enabled. 0.59/0.66 c Solving starts ... 0.59/0.66 c ============================[ Search Statistics ]============================ 0.59/0.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.66 c | | | | Limit GC | Var | Constra 0.59/0.66 c ============================================================================= 0.59/0.66 c 0.0s | 0 | 0 | 0 | 13084 0 | 0 | 0 0.79/0.82 c 0.2s | 1 | 11596 | 100 | 13084 0 | 0 | 0 0.99/1.07 c 0.4s | 2 | 31589 | 250 | 14393 0 | 0 | 0 1.10/1.17 c 0.5s | 3 | 35910 | 475 | 15833 0 | 0 | 0 1.49/1.55 c 0.9s | 4 | 63762 | 813 | 17417 0 | 0 | 0 1.89/1.91 c 1.3s | 5 | 80333 | 1320 | 19159 0 | 0 | 0 2.19/2.24 c 1.6s | 6 | 105377 | 2081 | 23183 0 | 0 | 0 2.69/2.72 c 2.1s | 6 | 156452 | 2213 | 23183 0 | 0 | 0 2.69/2.72 c #cpu_time = 2.051s 2.69/2.72 c #wall_clock_time = 2.051s 2.69/2.72 c #decision = 156452 2.69/2.72 c #random_decision = 470 2.69/2.72 c #conflict = 2213 2.69/2.72 c #restart = 6 2.69/2.72 o 2110 2.69/2.72 c BCD2: refineUB: 2109 -> 2090 2.69/2.72 c BCD2: updating upper bound: 2110 -> 2090 2.69/2.72 c BCD2: 0 <= obj <= 2090 2.69/2.72 c BCD2: #cores=0, #unrelaxed=26, #relaxed=0, #hardened=0 2.69/2.72 c BCD2: #sat=1 #unsat=1 bias=1/2 2.69/2.72 c Solving starts ... 2.69/2.72 c ============================[ Search Statistics ]============================ 2.69/2.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.69/2.72 c | | | | Limit GC | Var | Constra 2.69/2.72 c ============================================================================= 2.69/2.72 c 0.0s | 0 | 0 | 0 | 23183 0 | 0 | 0 2.69/2.77 c 0.1s | 1 | 544 | 100 | 23183 0 | 0 | 0 2.79/2.83 c 0.1s | 2 | 758 | 250 | 23183 0 | 0 | 0 2.89/2.91 c 0.2s | 3 | 1030 | 475 | 23183 0 | 0 | 0 2.99/3.08 c 0.4s | 4 | 1441 | 813 | 23183 0 | 0 | 0 3.19/3.27 c 0.5s | 5 | 2030 | 1320 | 25502 0 | 0 | 0 3.49/3.57 c 0.9s | 6 | 2870 | 2081 | 25502 0 | 0 | 0 3.89/3.90 c 1.2s | 7 | 4178 | 3223 | 28053 0 | 0 | 0 4.49/4.57 c 1.9s | 8 | 5999 | 4936 | 28053 0 | 0 | 0 5.79/5.84 c 3.1s | 9 | 8796 | 7506 | 30859 0 | 0 | 0 7.79/7.85 c 5.1s | 9 | 12790 | 11206 | 33945 0 | 0 | 0 7.89/7.95 c 5.2s | 10 | 12952 | 11361 | 33945 0 | 0 | 0 9.89/9.97 c 7.3s | 10 | 16521 | 14661 | 33945 0 | 0 | 0 11.59/11.64 c 8.9s | 11 | 19160 | 17144 | 37340 0 | 0 | 0 13.58/13.65 c 10.9s | 11 | 21630 | 19444 | 37340 0 | 0 | 0 15.58/15.66 c 12.9s | 11 | 24412 | 22044 | 37340 0 | 0 | 0 17.69/17.74 c 15.0s | 11 | 27019 | 24444 | 41074 0 | 0 | 0 19.18/19.22 c 16.5s | 12 | 28465 | 25819 | 41074 0 | 0 | 0 21.28/21.30 c 18.6s | 12 | 30514 | 27719 | 41074 0 | 0 | 0 23.28/23.35 c 20.6s | 12 | 32371 | 29419 | 41074 0 | 0 | 0 25.29/25.37 c 22.7s | 12 | 34313 | 31219 | 41074 0 | 0 | 0 27.38/27.42 c 24.7s | 12 | 36260 | 33019 | 41074 0 | 0 | 0 29.48/29.50 c 26.8s | 12 | 38201 | 34819 | 41074 0 | 0 | 0 31.58/31.60 c 28.9s | 12 | 40349 | 36819 | 45182 0 | 0 | 0 33.58/33.66 c 30.9s | 12 | 42099 | 38419 | 45182 0 | 0 | 0 34.09/34.16 c 31.4s | 13 | 42556 | 38832 | 45182 0 | 0 | 0 36.18/36.24 c 33.5s | 13 | 44001 | 40132 | 45182 0 | 0 | 0 37.18/37.20 c 34.5s | 13 | 44686 | 40767 | 45182 0 | 0 | 0 37.18/37.20 c #cpu_time = 34.480s 37.18/37.20 c #wall_clock_time = 34.481s 37.18/37.20 c #decision = 44686 37.18/37.20 c #random_decision = 143 37.18/37.20 c #conflict = 40767 37.18/37.20 c #restart = 13 37.18/37.20 c BCD2: found a new core of size 13: cost of the new core is >=20 37.18/37.20 c lower bound updated to 20 37.18/37.20 c BCD2: refineUB: 2109 -> 2090 37.18/37.20 c BCD2: 20 <= obj <= 2090 37.18/37.20 c BCD2: #cores=1, #unrelaxed=13, #relaxed=13, #hardened=0 37.18/37.20 c BCD2: #sat=1 #unsat=2 bias=2/3 37.18/37.20 c Solving starts ... 37.18/37.20 c ============================[ Search Statistics ]============================ 37.18/37.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 37.18/37.20 c | | | | Limit GC | Var | Constra 37.18/37.20 c ============================================================================= 37.18/37.20 c 0.0s | 0 | 0 | 0 | 45182 0 | 0 | 0 37.28/37.37 c 0.2s | 0 | 13 | 0 | 45182 0 | 0 | 0 37.28/37.37 c #cpu_time = 0.172s 37.28/37.37 c #wall_clock_time = 0.172s 37.28/37.37 c #decision = 13 37.28/37.37 c #random_decision = 0 37.28/37.37 c #conflict = 0 37.28/37.37 c #restart = 0 37.28/37.37 c BCD2: found a new core of size 13: cost of the new core is >=50 37.28/37.37 c lower bound updated to 70 37.28/37.37 c BCD2: refineUB: 2109 -> 2090 37.28/37.37 c BCD2: 70 <= obj <= 2090 37.28/37.37 c BCD2: #cores=2, #unrelaxed=0, #relaxed=26, #hardened=0 37.28/37.37 c BCD2: #sat=1 #unsat=3 bias=3/4 37.28/37.37 c Solving starts ... 37.28/37.37 c ============================[ Search Statistics ]============================ 37.28/37.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 37.28/37.37 c | | | | Limit GC | Var | Constra 37.28/37.37 c ============================================================================= 37.28/37.37 c 0.0s | 0 | 0 | 0 | 45182 0 | 0 | 0 37.68/37.75 c 0.4s | 1 | 2711 | 100 | 45182 0 | 0 | 0 38.18/38.24 c 0.9s | 1 | 45794 | 225 | 45182 0 | 0 | 0 38.18/38.24 c #cpu_time = 0.859s 38.18/38.24 c #wall_clock_time = 0.859s 38.18/38.24 c #decision = 45794 38.18/38.24 c #random_decision = 151 38.18/38.24 c #conflict = 225 38.18/38.24 c #restart = 1 38.18/38.24 o 1550 38.18/38.24 c BCD2: refineUB: 1549 -> 1540 38.18/38.24 c BCD2: updating upper bound: 2090 -> 1540 38.18/38.24 c BCD2: 70 <= obj <= 1540 38.18/38.24 c BCD2: #cores=2, #unrelaxed=0, #relaxed=26, #hardened=0 38.18/38.24 c BCD2: #sat=2 #unsat=3 bias=3/5 38.18/38.24 c Solving starts ... 38.18/38.24 c ============================[ Search Statistics ]============================ 38.18/38.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 38.18/38.24 c | | | | Limit GC | Var | Constra 38.18/38.24 c ============================================================================= 38.18/38.24 c 0.0s | 0 | 0 | 0 | 45182 0 | 0 | 0 38.49/38.59 c 0.4s | 0 | 15745 | 31 | 45182 0 | 0 | 0 38.49/38.59 c #cpu_time = 0.345s 38.49/38.59 c #wall_clock_time = 0.345s 38.49/38.59 c #decision = 15745 38.49/38.59 c #random_decision = 50 38.49/38.59 c #conflict = 31 38.49/38.59 c #restart = 0 38.49/38.59 o 870 38.49/38.59 c BCD2: refineUB: 869 -> 860 38.49/38.59 c BCD2: updating upper bound: 1540 -> 860 38.49/38.59 c BCD2: 70 <= obj <= 860 38.49/38.59 c BCD2: #cores=2, #unrelaxed=0, #relaxed=26, #hardened=0 38.49/38.59 c BCD2: #sat=3 #unsat=3 bias=3/6 38.49/38.60 c Solving starts ... 38.49/38.60 c ============================[ Search Statistics ]============================ 38.49/38.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 38.49/38.60 c | | | | Limit GC | Var | Constra 38.49/38.60 c ============================================================================= 38.49/38.60 c 0.0s | 0 | 0 | 0 | 45182 0 | 0 | 1 38.78/38.88 c 0.3s | 1 | 1890 | 100 | 45182 0 | 0 | 1 39.59/39.63 c 1.0s | 2 | 2095 | 250 | 45182 0 | 0 | 1 40.38/40.45 c 1.8s | 3 | 2396 | 475 | 45182 0 | 0 | 1 41.98/42.09 c 3.5s | 4 | 2772 | 813 | 45182 0 | 0 | 1 43.68/43.74 c 5.1s | 5 | 3338 | 1320 | 45182 0 | 0 | 1 46.08/46.10 c 7.5s | 5 | 4061 | 1920 | 45182 0 | 0 | 1 46.58/46.62 c 8.0s | 6 | 4237 | 2081 | 45182 0 | 0 | 1 55.09/55.11 c 16.5s | 6 | 4379 | 2181 | 45182 1 | 0 | 1 57.08/57.10 c 18.5s | 7 | 5465 | 3223 | 45182 1 | 0 | 1 59.08/59.19 c 20.6s | 7 | 6487 | 4123 | 45182 1 | 0 | 1 60.28/60.33 c 21.7s | 8 | 7361 | 4936 | 45182 1 | 0 | 1 62.48/62.52 c 23.9s | 8 | 8640 | 5936 | 45182 1 | 0 | 1 64.48/64.58 c 26.0s | 8 | 9819 | 6936 | 45182 1 | 0 | 1 65.48/65.50 c 26.9s | 9 | 10429 | 7506 | 45182 1 | 0 | 1 67.58/67.66 c 29.1s | 9 | 12272 | 8906 | 45182 1 | 0 | 1 69.68/69.79 c 31.2s | 9 | 13914 | 10406 | 45182 1 | 0 | 1 70.68/70.79 c 32.2s | 10 | 14937 | 11361 | 45182 1 | 0 | 1 72.88/72.92 c 34.3s | 10 | 15968 | 12161 | 45182 1 | 0 | 1 75.08/75.11 c 36.5s | 10 | 17121 | 13161 | 45182 1 | 0 | 1 77.18/77.28 c 38.7s | 10 | 18319 | 14161 | 45182 1 | 0 | 1 79.28/79.36 c 40.8s | 10 | 19326 | 15061 | 49701 1 | 0 | 1 81.48/81.50 c 42.9s | 10 | 20275 | 15961 | 49701 1 | 0 | 1 83.58/83.67 c 45.1s | 11 | 21520 | 17144 | 49701 1 | 0 | 1 85.78/85.86 c 47.3s | 11 | 22477 | 17944 | 49701 1 | 0 | 1 88.08/88.10 c 49.5s | 11 | 23429 | 18844 | 49701 1 | 0 | 1 90.07/90.19 c 51.6s | 11 | 24485 | 19844 | 49701 1 | 0 | 1 92.17/92.21 c 53.6s | 11 | 25423 | 20744 | 49701 1 | 0 | 1 94.17/94.23 c 55.6s | 11 | 26259 | 21544 | 49701 1 | 0 | 1 96.37/96.42 c 57.8s | 11 | 27320 | 22544 | 49701 1 | 0 | 1 98.57/98.65 c 60.1s | 11 | 28279 | 23444 | 49701 1 | 0 | 1 100.87/100.90 c 62.3s | 11 | 29178 | 24344 | 49701 1 | 0 | 1 102.87/102.96 c 64.4s | 11 | 30094 | 25244 | 49701 1 | 0 | 1 104.17/104.25 c 65.7s | 12 | 30700 | 25819 | 49701 1 | 0 | 1 106.47/106.59 c 68.0s | 12 | 31259 | 26319 | 49701 1 | 0 | 1 108.67/108.75 c 70.2s | 12 | 31836 | 26819 | 49701 1 | 0 | 1 110.87/110.96 c 72.4s | 12 | 32583 | 27419 | 49701 1 | 0 | 1 113.07/113.13 c 74.5s | 12 | 33131 | 27919 | 49701 1 | 0 | 1 115.27/115.36 c 76.8s | 12 | 33802 | 28519 | 49701 1 | 0 | 1 117.37/117.46 c 78.9s | 12 | 34537 | 29219 | 49701 1 | 0 | 1 120.46/120.55 c 82.0s | 12 | 35313 | 29919 | 49701 2 | 0 | 1 123.06/123.20 c 84.6s | 12 | 35653 | 30219 | 49701 2 | 0 | 1 126.66/126.74 c 88.1s | 12 | 36222 | 30719 | 49701 2 | 0 | 1 128.77/128.80 c 90.2s | 12 | 37482 | 31819 | 49701 2 | 0 | 1 130.87/131.00 c 92.4s | 12 | 38870 | 33019 | 49701 2 | 0 | 1 133.06/133.14 c 94.5s | 12 | 39915 | 33819 | 49701 2 | 0 | 1 135.16/135.27 c 96.7s | 12 | 41215 | 34719 | 49701 2 | 0 | 1 137.46/137.54 c 98.9s | 12 | 42058 | 35419 | 49701 2 | 0 | 1 139.46/139.55 c 100s | 12 | 42731 | 36019 | 49701 2 | 0 | 1 141.56/141.63 c 103s | 12 | 44238 | 37419 | 49701 2 | 0 | 1 143.16/143.28 c 104s | 13 | 45691 | 38832 | 49701 2 | 0 | 1 145.56/145.61 c 107s | 13 | 46144 | 39132 | 49701 2 | 0 | 1 147.86/147.93 c 109s | 13 | 46546 | 39432 | 49701 2 | 0 | 1 150.06/150.14 c 111s | 13 | 47425 | 40232 | 49701 2 | 0 | 1 152.36/152.40 c 113s | 13 | 48470 | 41132 | 49701 2 | 0 | 1 154.56/154.68 c 116s | 13 | 49344 | 41932 | 49701 2 | 0 | 1 156.96/157.01 c 118s | 13 | 50220 | 42732 | 49701 2 | 0 | 1 159.06/159.18 c 120s | 13 | 51006 | 43432 | 49701 2 | 0 | 1 161.16/161.29 c 122s | 13 | 51739 | 44032 | 54672 2 | 0 | 1 163.46/163.58 c 124s | 13 | 52565 | 44732 | 54672 2 | 0 | 1 165.55/165.66 c 127s | 13 | 53278 | 45432 | 54672 2 | 0 | 1 167.55/167.68 c 129s | 13 | 53978 | 46032 | 54672 2 | 0 | 1 169.75/169.81 c 131s | 13 | 54709 | 46732 | 54672 2 | 0 | 1 171.75/171.82 c 133s | 13 | 55363 | 47332 | 54672 2 | 0 | 1 173.95/174.01 c 135s | 13 | 56218 | 48132 | 54672 2 | 0 | 1 175.96/176.08 c 137s | 13 | 56862 | 48732 | 54672 2 | 0 | 1 178.35/178.42 c 139s | 13 | 57629 | 49432 | 54672 2 | 0 | 1 180.55/180.66 c 142s | 13 | 58455 | 50132 | 54672 2 | 0 | 1 182.75/182.85 c 144s | 13 | 59097 | 50732 | 54672 2 | 0 | 1 185.05/185.11 c 146s | 13 | 59665 | 51232 | 54672 2 | 0 | 1 187.25/187.32 c 148s | 13 | 60492 | 51832 | 54672 2 | 0 | 1 189.35/189.48 c 150s | 13 | 61329 | 52632 | 54672 2 | 0 | 1 191.55/191.60 c 153s | 13 | 62377 | 53632 | 54672 2 | 0 | 1 193.66/193.71 c 155s | 13 | 63323 | 54532 | 54672 2 | 0 | 1 195.65/195.80 c 157s | 13 | 63943 | 55132 | 54672 2 | 0 | 1 197.85/197.95 c 159s | 13 | 64658 | 55832 | 54672 2 | 0 | 1 200.16/200.23 c 161s | 13 | 65404 | 56532 | 54672 2 | 0 | 1 202.15/202.24 c 163s | 13 | 66195 | 57232 | 54672 2 | 0 | 1 204.25/204.34 c 165s | 13 | 66998 | 57932 | 54672 2 | 0 | 1 205.35/205.41 c 166s | 14 | 67493 | 58352 | 54672 2 | 0 | 1 207.55/207.66 c 169s | 14 | 68088 | 58852 | 54672 2 | 0 | 1 209.55/209.68 c 171s | 14 | 68596 | 59352 | 54672 2 | 0 | 1 211.84/211.92 c 173s | 14 | 69243 | 59952 | 54672 3 | 0 | 1 214.04/214.19 c 175s | 14 | 69445 | 60152 | 54672 3 | 0 | 1 217.34/217.47 c 178s | 14 | 69666 | 60352 | 54672 3 | 0 | 1 219.44/219.60 c 180s | 14 | 70178 | 60852 | 54672 3 | 0 | 1 221.64/221.72 c 183s | 14 | 71001 | 61652 | 54672 3 | 0 | 1 223.74/223.85 c 185s | 14 | 71704 | 62352 | 54672 3 | 0 | 1 225.84/225.96 c 187s | 14 | 72402 | 63052 | 54672 3 | 0 | 1 227.94/228.02 c 189s | 14 | 73120 | 63752 | 54672 3 | 0 | 1 229.95/230.07 c 191s | 14 | 73944 | 64552 | 54672 3 | 0 | 1 232.14/232.30 c 193s | 14 | 74750 | 65352 | 54672 3 | 0 | 1 234.24/234.35 c 195s | 14 | 75562 | 66152 | 54672 3 | 0 | 1 236.34/236.40 c 197s | 14 | 76378 | 66952 | 54672 3 | 0 | 1 238.64/238.71 c 200s | 14 | 77097 | 67652 | 54672 3 | 0 | 1 240.64/240.75 c 202s | 14 | 77938 | 68452 | 54672 3 | 0 | 1 242.64/242.79 c 204s | 14 | 78884 | 69352 | 54672 3 | 0 | 1 244.84/244.94 c 206s | 14 | 79926 | 70352 | 54672 3 | 0 | 1 247.04/247.14 c 208s | 14 | 81214 | 71552 | 54672 3 | 0 | 1 249.33/249.43 c 210s | 14 | 81735 | 72052 | 54672 3 | 0 | 1 251.43/251.55 c 212s | 14 | 82749 | 72952 | 54672 3 | 0 | 1 253.53/253.64 c 215s | 14 | 83744 | 73852 | 54672 3 | 0 | 1 255.73/255.83 c 217s | 14 | 84779 | 74752 | 54672 3 | 0 | 1 257.73/257.85 c 219s | 14 | 85932 | 75852 | 54672 3 | 0 | 1 259.73/259.88 c 221s | 14 | 86964 | 76852 | 54672 3 | 0 | 1 261.93/262.05 c 223s | 14 | 88001 | 77852 | 54672 3 | 0 | 1 263.93/264.07 c 225s | 14 | 88836 | 78652 | 54672 3 | 0 | 1 266.13/266.24 c 227s | 14 | 89656 | 79452 | 54672 3 | 0 | 1 268.33/268.43 c 229s | 14 | 90478 | 80252 | 54672 3 | 0 | 1 270.53/270.70 c 232s | 14 | 91325 | 81052 | 54672 3 | 0 | 1 272.62/272.76 c 234s | 14 | 92112 | 81752 | 54672 3 | 0 | 1 274.82/274.95 c 236s | 14 | 93200 | 82752 | 54672 3 | 0 | 1 276.82/276.97 c 238s | 14 | 94161 | 83652 | 54672 3 | 0 | 1 279.02/279.11 c 240s | 14 | 95139 | 84552 | 54672 3 | 0 | 1 281.32/281.43 c 242s | 14 | 95801 | 85152 | 54672 3 | 0 | 1 283.32/283.46 c 244s | 14 | 96519 | 85852 | 54672 3 | 0 | 1 285.62/285.72 c 247s | 14 | 97214 | 86552 | 54672 3 | 0 | 1 288.23/288.33 c 249s | 14 | 97939 | 87252 | 54672 4 | 0 | 1 299.62/299.79 c 261s | 15 | 98349 | 87632 | 60140 4 | 0 | 1 312.71/312.89 c 274s | 15 | 98506 | 87732 | 60140 4 | 0 | 1 314.81/314.93 c 276s | 15 | 99565 | 88732 | 60140 4 | 0 | 1 316.81/316.94 c 278s | 15 | 101174 | 90232 | 60140 4 | 0 | 1 318.91/319.00 c 280s | 15 | 102738 | 91732 | 60140 4 | 0 | 1 321.01/321.15 c 282s | 15 | 104046 | 93032 | 60140 4 | 0 | 1 323.00/323.15 c 284s | 15 | 105157 | 94132 | 60140 4 | 0 | 1 325.10/325.23 c 286s | 15 | 106565 | 95532 | 60140 4 | 0 | 1 327.10/327.29 c 288s | 15 | 108074 | 97032 | 60140 4 | 0 | 1 329.30/329.42 c 290s | 15 | 109493 | 98432 | 60140 4 | 0 | 1 333.11/333.22 c 294s | 15 | 110099 | 99032 | 60140 4 | 0 | 1 335.21/335.34 c 296s | 15 | 110968 | 99832 | 60140 4 | 0 | 1 337.21/337.35 c 298s | 15 | 111725 | 100532 | 60140 4 | 0 | 1 339.51/339.66 c 301s | 15 | 112616 | 101332 | 60140 4 | 0 | 1 341.71/341.85 c 303s | 15 | 113762 | 102432 | 60140 4 | 0 | 1 343.90/344.03 c 305s | 15 | 114918 | 103532 | 60140 4 | 0 | 1 346.00/346.19 c 307s | 15 | 116106 | 104632 | 60140 4 | 0 | 1 348.20/348.33 c 309s | 15 | 117247 | 105632 | 60140 4 | 0 | 1 350.30/350.46 c 311s | 15 | 118138 | 106432 | 60140 4 | 0 | 1 352.40/352.56 c 313s | 15 | 119456 | 107632 | 60140 4 | 0 | 1 354.50/354.65 c 316s | 15 | 120224 | 108332 | 60140 4 | 0 | 1 356.70/356.80 c 318s | 15 | 121251 | 109332 | 60140 4 | 0 | 1 358.70/358.81 c 320s | 15 | 122211 | 110232 | 60140 4 | 0 | 1 360.71/360.87 c 322s | 15 | 123115 | 111032 | 60140 4 | 0 | 1 362.91/363.10 c 324s | 15 | 124156 | 112032 | 60140 4 | 0 | 1 365.00/365.19 c 326s | 15 | 125116 | 112832 | 60140 4 | 0 | 1 367.20/367.36 c 328s | 15 | 126030 | 113732 | 60140 4 | 0 | 1 369.20/369.39 c 330s | 15 | 126776 | 114432 | 60140 4 | 0 | 1 371.30/371.46 c 332s | 15 | 127603 | 115232 | 60140 4 | 0 | 1 373.40/373.52 c 334s | 15 | 128468 | 116032 | 60140 4 | 0 | 1 375.40/375.53 c 336s | 15 | 129089 | 116632 | 60140 4 | 0 | 1 377.40/377.53 c 338s | 15 | 129912 | 117432 | 60140 4 | 0 | 1 379.70/379.82 c 341s | 15 | 130645 | 118132 | 60140 4 | 0 | 1 381.70/381.88 c 343s | 15 | 131378 | 118832 | 60140 4 | 0 | 1 383.69/383.89 c 345s | 15 | 132034 | 119432 | 60140 4 | 0 | 1 385.89/386.06 c 347s | 15 | 132747 | 120132 | 60140 4 | 0 | 1 387.99/388.10 c 349s | 15 | 133449 | 120832 | 60140 4 | 0 | 1 426.89/427.04 c 388s | 15 | 133774 | 121132 | 60140 5 | 0 | 1 428.89/429.04 c 390s | 15 | 133874 | 121232 | 60140 5 | 0 | 1 445.18/445.35 c 406s | 15 | 133973 | 121332 | 60140 5 | 0 | 1 447.38/447.54 c 408s | 15 | 134492 | 121832 | 60140 5 | 0 | 1 449.79/449.99 c 411s | 15 | 135107 | 122432 | 60140 5 | 0 | 1 451.88/452.03 c 413s | 15 | 135624 | 122932 | 60140 5 | 0 | 1 453.88/454.07 c 415s | 15 | 136351 | 123632 | 60140 5 | 0 | 1 456.18/456.31 c 417s | 15 | 137019 | 124232 | 60140 5 | 0 | 1 458.28/458.48 c 419s | 15 | 137641 | 124832 | 60140 5 | 0 | 1 460.58/460.73 c 422s | 15 | 138518 | 125632 | 60140 5 | 0 | 1 462.58/462.79 c 424s | 15 | 139269 | 126332 | 60140 5 | 0 | 1 464.88/465.01 c 426s | 15 | 139998 | 127032 | 60140 5 | 0 | 1 466.88/467.05 c 428s | 15 | 140711 | 127732 | 60140 5 | 0 | 1 469.08/469.26 c 430s | 15 | 141409 | 128432 | 60140 5 | 0 | 1 471.27/471.47 c 432s | 15 | 142038 | 129032 | 60140 5 | 0 | 1 473.57/473.75 c 435s | 15 | 142770 | 129732 | 60140 5 | 0 | 1 475.97/476.12 c 437s | 15 | 143291 | 130232 | 60140 5 | 0 | 1 477.97/478.15 c 439s | 15 | 143926 | 130832 | 60140 5 | 0 | 1 480.07/480.28 c 441s | 15 | 144645 | 131532 | 60140 5 | 0 | 1 480.17/480.34 c 441s | 16 | 144665 | 131552 | 60140 5 | 0 | 1 482.47/482.69 c 444s | 16 | 145122 | 131952 | 60140 5 | 0 | 1 484.67/484.88 c 446s | 16 | 145631 | 132452 | 60140 5 | 0 | 1 487.27/487.43 c 448s | 16 | 146060 | 132852 | 60140 5 | 0 | 1 489.57/489.74 c 451s | 16 | 146501 | 133252 | 60140 5 | 0 | 1 492.27/492.40 c 453s | 16 | 146960 | 133652 | 60140 5 | 0 | 1 494.47/494.69 c 456s | 16 | 147366 | 134052 | 60140 5 | 0 | 1 496.57/496.72 c 458s | 16 | 147662 | 134352 | 60140 5 | 0 | 1 499.17/499.39 c 460s | 16 | 147989 | 134652 | 60140 5 | 0 | 1 501.57/501.79 c 463s | 16 | 148409 | 135052 | 60140 5 | 0 | 1 504.06/504.27 c 465s | 16 | 148839 | 135452 | 60140 5 | 0 | 1 506.46/506.65 c 468s | 16 | 149504 | 136052 | 60140 5 | 0 | 1 508.86/509.09 c 470s | 16 | 149908 | 136452 | 60140 5 | 0 | 1 511.06/511.26 c 472s | 16 | 150336 | 136852 | 60140 5 | 0 | 1 513.26/513.48 c 474s | 16 | 150921 | 137352 | 60140 5 | 0 | 1 515.26/515.49 c 476s | 16 | 151345 | 137752 | 60140 5 | 0 | 1 517.56/517.78 c 479s | 16 | 151805 | 138152 | 60140 5 | 0 | 1 520.16/520.36 c 481s | 16 | 152104 | 138452 | 60140 5 | 0 | 1 522.76/522.91 c 484s | 16 | 152544 | 138852 | 60140 5 | 0 | 1 525.16/525.32 c 486s | 16 | 152940 | 139252 | 60140 5 | 0 | 1 527.66/527.84 c 489s | 16 | 153386 | 139652 | 60140 5 | 0 | 1 529.65/529.89 c 491s | 16 | 153679 | 139952 | 60140 5 | 0 | 1 531.75/531.96 c 493s | 16 | 153999 | 140252 | 60140 5 | 0 | 1 534.15/534.37 c 495s | 16 | 154537 | 140752 | 60140 5 | 0 | 1 536.25/536.42 c 497s | 16 | 154937 | 141152 | 60140 5 | 0 | 1 538.36/538.50 c 499s | 16 | 155444 | 141652 | 60140 5 | 0 | 1 540.75/540.96 c 502s | 16 | 155950 | 142152 | 60140 5 | 0 | 1 542.95/543.14 c 504s | 16 | 156474 | 142652 | 60140 5 | 0 | 1 545.25/545.41 c 506s | 16 | 157081 | 143152 | 60140 5 | 0 | 1 547.66/547.88 c 509s | 16 | 157515 | 143552 | 60140 5 | 0 | 1 550.25/550.40 c 511s | 16 | 157936 | 143952 | 60140 5 | 0 | 1 552.45/552.64 c 514s | 16 | 158348 | 144352 | 60140 5 | 0 | 1 554.55/554.70 c 516s | 16 | 158740 | 144752 | 60140 5 | 0 | 1 556.85/557.03 c 518s | 16 | 159157 | 145152 | 60140 5 | 0 | 1 559.15/559.38 c 520s | 16 | 159577 | 145552 | 60140 5 | 0 | 1 561.65/561.81 c 523s | 16 | 159997 | 145952 | 60140 5 | 0 | 1 564.05/564.23 c 525s | 16 | 160552 | 146452 | 60140 5 | 0 | 1 566.24/566.41 c 527s | 16 | 161167 | 146952 | 60140 5 | 0 | 1 568.34/568.58 c 529s | 16 | 161641 | 147352 | 60140 5 | 0 | 1 570.44/570.61 c 532s | 16 | 162094 | 147752 | 60140 5 | 0 | 1 572.44/572.62 c 534s | 16 | 162428 | 148052 | 60140 5 | 0 | 1 574.64/574.83 c 536s | 16 | 162864 | 148452 | 60140 5 | 0 | 1 576.94/577.19 c 538s | 16 | 163304 | 148852 | 60140 5 | 0 | 1 579.14/579.36 c 540s | 16 | 163633 | 149152 | 60140 5 | 0 | 1 581.44/581.60 c 543s | 16 | 164100 | 149552 | 60140 5 | 0 | 1 583.44/583.61 c 545s | 16 | 164406 | 149852 | 60140 5 | 0 | 1 586.04/586.23 c 547s | 16 | 164842 | 150252 | 60140 5 | 0 | 1 588.14/588.39 c 549s | 16 | 165269 | 150652 | 60140 5 | 0 | 1 590.64/590.83 c 552s | 16 | 165778 | 151152 | 60140 5 | 0 | 1 595.53/595.79 c 557s | 16 | 165985 | 151352 | 60140 6 | 0 | 1 603.63/603.85 c 565s | 16 | 166195 | 151552 | 60140 6 | 0 | 1 605.83/606.02 c 567s | 16 | 166901 | 152152 | 60140 6 | 0 | 1 607.83/608.04 c 569s | 16 | 167553 | 152752 | 60140 6 | 0 | 1 609.93/610.11 c 571s | 16 | 168601 | 153752 | 66154 6 | 0 | 1 612.23/612.47 c 573s | 16 | 169544 | 154652 | 66154 6 | 0 | 1 614.32/614.53 c 575s | 16 | 170383 | 155452 | 66154 6 | 0 | 1 616.52/616.73 c 578s | 16 | 171231 | 156252 | 66154 6 | 0 | 1 618.62/618.82 c 580s | 16 | 172086 | 157052 | 66154 6 | 0 | 1 620.92/621.19 c 582s | 16 | 172764 | 157652 | 66154 6 | 0 | 1 623.02/623.22 c 584s | 16 | 173584 | 158452 | 66154 6 | 0 | 1 626.82/627.10 c 588s | 16 | 174048 | 158852 | 66154 6 | 0 | 1 629.22/629.47 c 590s | 16 | 174549 | 159352 | 66154 6 | 0 | 1 631.52/631.72 c 593s | 16 | 175274 | 160052 | 66154 6 | 0 | 1 633.71/633.91 c 595s | 16 | 176048 | 160752 | 66154 6 | 0 | 1 636.11/636.33 c 597s | 16 | 176668 | 161352 | 66154 6 | 0 | 1 638.41/638.60 c 600s | 16 | 177179 | 161852 | 66154 6 | 0 | 1 640.51/640.72 c 602s | 16 | 177578 | 162252 | 66154 6 | 0 | 1 642.81/643.03 c 604s | 16 | 178083 | 162752 | 66154 6 | 0 | 1 645.01/645.23 c 606s | 16 | 178697 | 163252 | 66154 6 | 0 | 1 647.11/647.32 c 608s | 16 | 179526 | 164052 | 66154 6 | 0 | 1 649.50/649.76 c 611s | 16 | 180160 | 164652 | 66154 6 | 0 | 1 651.90/652.10 c 613s | 16 | 180710 | 165152 | 66154 6 | 0 | 1 654.00/654.23 c 615s | 16 | 181225 | 165652 | 66154 6 | 0 | 1 656.40/656.70 c 618s | 16 | 181825 | 166252 | 66154 6 | 0 | 1 658.50/658.76 c 620s | 16 | 182312 | 166652 | 66154 6 | 0 | 1 660.60/660.85 c 622s | 16 | 182883 | 167152 | 66154 6 | 0 | 1 662.60/662.87 c 624s | 16 | 183424 | 167652 | 66154 6 | 0 | 1 664.70/664.93 c 626s | 16 | 183858 | 168052 | 66154 6 | 0 | 1 666.90/667.14 c 628s | 16 | 184520 | 168652 | 66154 6 | 0 | 1 669.10/669.36 c 630s | 16 | 185251 | 169252 | 66154 6 | 0 | 1 671.49/671.74 c 633s | 16 | 185790 | 169752 | 66154 6 | 0 | 1 673.59/673.88 c 635s | 16 | 186342 | 170252 | 66154 6 | 0 | 1 675.69/675.94 c 637s | 16 | 186894 | 170752 | 66154 6 | 0 | 1 678.19/678.43 c 639s | 16 | 187472 | 171252 | 66154 6 | 0 | 1 680.38/680.68 c 642s | 16 | 188040 | 171752 | 66154 6 | 0 | 1 682.68/682.98 c 644s | 16 | 188672 | 172352 | 66154 6 | 0 | 1 685.09/685.35 c 646s | 16 | 189341 | 172952 | 66154 6 | 0 | 1 687.29/687.57 c 648s | 16 | 189741 | 173352 | 66154 6 | 0 | 1 689.78/690.04 c 651s | 16 | 190142 | 173752 | 66154 6 | 0 | 1 692.18/692.48 c 653s | 16 | 190667 | 174252 | 66154 6 | 0 | 1 694.38/694.61 c 656s | 16 | 191253 | 174752 | 66154 6 | 0 | 1 696.38/696.65 c 658s | 16 | 192027 | 175452 | 66154 6 | 0 | 1 698.78/699.07 c 660s | 16 | 192800 | 176152 | 66154 6 | 0 | 1 701.08/701.40 c 662s | 16 | 193196 | 176552 | 66154 6 | 0 | 1 703.58/703.85 c 665s | 16 | 193599 | 176952 | 66154 6 | 0 | 1 705.57/705.88 c 667s | 16 | 194069 | 177352 | 66154 6 | 0 | 1 708.07/708.40 c 669s | 16 | 194485 | 177752 | 66154 6 | 0 | 1 710.27/710.55 c 671s | 16 | 194902 | 178152 | 66154 6 | 0 | 1 712.68/712.97 c 674s | 16 | 195450 | 178652 | 66154 6 | 0 | 1 715.27/715.52 c 676s | 16 | 195968 | 179152 | 66154 6 | 0 | 1 717.37/717.61 c 679s | 16 | 196389 | 179552 | 66154 6 | 0 | 1 719.77/720.04 c 681s | 16 | 197061 | 180052 | 66154 6 | 0 | 1 721.87/722.17 c 683s | 16 | 197510 | 180452 | 66154 6 | 0 | 1 724.37/724.65 c 686s | 16 | 198182 | 180952 | 66154 6 | 0 | 1 726.47/726.73 c 688s | 16 | 198641 | 181352 | 66154 6 | 0 | 1 728.47/728.74 c 690s | 16 | 199068 | 181752 | 66154 6 | 0 | 1 730.86/731.10 c 692s | 16 | 199597 | 182252 | 66154 6 | 0 | 1 732.96/733.23 c 694s | 16 | 200048 | 182652 | 66154 6 | 0 | 1 735.56/735.84 c 697s | 16 | 200581 | 183152 | 66154 6 | 0 | 1 738.06/738.30 c 699s | 16 | 201107 | 183652 | 66154 6 | 0 | 1 740.17/740.47 c 701s | 16 | 201572 | 184052 | 66154 6 | 0 | 1 742.46/742.78 c 704s | 16 | 201999 | 184452 | 66154 6 | 0 | 1 744.86/745.11 c 706s | 16 | 202566 | 184952 | 66154 6 | 0 | 1 746.97/747.25 c 708s | 16 | 202970 | 185352 | 66154 6 | 0 | 1 748.98/749.29 c 710s | 16 | 203396 | 185752 | 66154 6 | 0 | 1 751.27/751.57 c 712s | 16 | 203969 | 186252 | 66154 6 | 0 | 1 753.47/753.75 c 715s | 16 | 204406 | 186652 | 66154 6 | 0 | 1 755.57/755.82 c 717s | 16 | 204825 | 187052 | 66154 6 | 0 | 1 757.57/757.86 c 719s | 16 | 205247 | 187452 | 66154 6 | 0 | 1 760.27/760.57 c 721s | 16 | 205558 | 187752 | 66154 7 | 0 | 1 762.37/762.64 c 724s | 16 | 205984 | 188152 | 66154 7 | 0 | 1 764.37/764.69 c 726s | 16 | 206837 | 188952 | 66154 7 | 0 | 1 769.46/769.79 c 731s | 16 | 207478 | 189552 | 66154 7 | 0 | 1 771.56/771.83 c 733s | 16 | 208246 | 190152 | 66154 7 | 0 | 1 773.56/773.87 c 735s | 16 | 208987 | 190852 | 66154 7 | 0 | 1 775.66/775.96 c 737s | 16 | 209712 | 191552 | 66154 7 | 0 | 1 777.96/778.26 c 739s | 16 | 210344 | 192152 | 66154 7 | 0 | 1 780.36/780.67 c 742s | 16 | 210989 | 192752 | 66154 7 | 0 | 1 782.66/782.91 c 744s | 16 | 211653 | 193352 | 66154 7 | 0 | 1 784.66/784.96 c 746s | 16 | 212313 | 193952 | 66154 7 | 0 | 1 787.06/787.30 c 748s | 16 | 213143 | 194752 | 66154 7 | 0 | 1 789.36/789.66 c 751s | 16 | 213775 | 195352 | 66154 7 | 0 | 1 791.77/792.01 c 753s | 16 | 214438 | 195952 | 66154 7 | 0 | 1 794.16/794.40 c 755s | 16 | 215085 | 196552 | 66154 7 | 0 | 1 796.36/796.69 c 758s | 16 | 215708 | 197152 | 66154 7 | 0 | 1 797.56/797.81 c 759s | 17 | 216012 | 197432 | 66154 7 | 0 | 1 810.56/810.88 c 772s | 17 | 216174 | 197532 | 66154 7 | 0 | 1 812.76/813.02 c 774s | 17 | 216830 | 198132 | 66154 7 | 0 | 1 814.96/815.22 c 776s | 17 | 217376 | 198632 | 66154 7 | 0 | 1 817.16/817.49 c 778s | 17 | 218315 | 199232 | 66154 7 | 0 | 1 819.26/819.57 c 780s | 17 | 219161 | 199932 | 66154 7 | 0 | 1 821.56/821.90 c 783s | 17 | 219922 | 200632 | 66154 7 | 0 | 1 823.86/824.11 c 785s | 17 | 220467 | 201132 | 66154 7 | 0 | 1 825.96/826.26 c 787s | 17 | 221050 | 201632 | 66154 7 | 0 | 1 828.36/828.65 c 790s | 17 | 221762 | 202232 | 66154 7 | 0 | 1 830.65/830.95 c 792s | 17 | 222928 | 202932 | 66154 7 | 0 | 1 832.75/833.07 c 794s | 17 | 223962 | 203732 | 66154 7 | 0 | 1 834.95/835.20 c 796s | 17 | 224922 | 204632 | 66154 7 | 0 | 1 836.96/837.23 c 798s | 17 | 226233 | 205832 | 66154 7 | 0 | 1 839.16/839.45 c 800s | 17 | 227422 | 206932 | 66154 7 | 0 | 1 841.26/841.57 c 802s | 17 | 228236 | 207632 | 66154 7 | 0 | 1 843.35/843.63 c 805s | 17 | 229365 | 208532 | 66154 7 | 0 | 1 845.35/845.66 c 807s | 17 | 229823 | 208932 | 66154 7 | 0 | 1 847.65/847.94 c 809s | 17 | 230547 | 209432 | 66154 7 | 0 | 1 849.75/850.08 c 811s | 17 | 230863 | 209732 | 66154 7 | 0 | 1 851.95/852.24 c 813s | 17 | 231767 | 210432 | 66154 7 | 0 | 1 853.95/854.26 c 815s | 17 | 232861 | 211332 | 66154 7 | 0 | 1 856.05/856.33 c 817s | 17 | 233962 | 212232 | 66154 7 | 0 | 1 858.05/858.34 c 819s | 17 | 235222 | 213132 | 66154 7 | 0 | 1 860.15/860.41 c 821s | 17 | 236294 | 214032 | 66154 7 | 0 | 1 862.16/862.50 c 823s | 17 | 237396 | 214932 | 66154 7 | 0 | 1 864.25/864.55 c 825s | 17 | 238413 | 215832 | 66154 7 | 0 | 1 866.35/866.65 c 828s | 17 | 239418 | 216732 | 66154 7 | 0 | 1 868.55/868.80 c 830s | 17 | 240633 | 217832 | 66154 7 | 0 | 1 870.65/870.93 c 832s | 17 | 241700 | 218832 | 66154 7 | 0 | 1 872.85/873.11 c 834s | 17 | 242728 | 219732 | 66154 7 | 0 | 1 874.85/875.15 c 836s | 17 | 244268 | 221132 | 66154 7 | 0 | 1 877.44/877.79 c 839s | 17 | 245119 | 221832 | 66154 8 | 0 | 1 880.14/880.45 c 841s | 17 | 246090 | 222632 | 66154 8 | 0 | 1 885.74/886.09 c 847s | 17 | 246440 | 222932 | 66154 8 | 0 | 1 889.04/889.30 c 850s | 17 | 247828 | 224232 | 66154 8 | 0 | 1 891.04/891.35 c 852s | 17 | 250161 | 226132 | 66154 8 | 0 | 1 893.05/893.36 c 854s | 17 | 252150 | 227932 | 66154 8 | 0 | 1 895.15/895.42 c 856s | 17 | 253888 | 229432 | 66154 8 | 0 | 1 897.14/897.49 c 858s | 17 | 255654 | 230932 | 66154 8 | 0 | 1 899.24/899.52 c 860s | 17 | 257908 | 232832 | 66154 8 | 0 | 1 901.34/901.60 c 863s | 17 | 259299 | 234032 | 66154 8 | 0 | 1 903.34/903.69 c 865s | 17 | 260867 | 235432 | 66154 8 | 0 | 1 905.44/905.70 c 867s | 17 | 262751 | 237032 | 66154 8 | 0 | 1 907.64/907.91 c 869s | 17 | 264382 | 238432 | 66154 8 | 0 | 1 909.74/910.05 c 871s | 17 | 265584 | 239532 | 66154 8 | 0 | 1 911.84/912.11 c 873s | 17 | 267309 | 241032 | 66154 8 | 0 | 1 913.84/914.16 c 875s | 17 | 269081 | 242532 | 66154 8 | 0 | 1 916.04/916.33 c 877s | 17 | 270634 | 243832 | 66154 8 | 0 | 1 918.04/918.39 c 879s | 17 | 271289 | 244432 | 66154 8 | 0 | 1 920.34/920.64 c 882s | 17 | 272605 | 245532 | 66154 8 | 0 | 1 922.43/922.74 c 884s | 17 | 273287 | 246132 | 66154 8 | 0 | 1 924.53/924.81 c 886s | 17 | 274456 | 247132 | 66154 8 | 0 | 1 926.53/926.82 c 888s | 17 | 275083 | 247632 | 66154 8 | 0 | 1 928.63/928.96 c 890s | 17 | 276290 | 248632 | 66154 8 | 0 | 1 930.73/931.07 c 892s | 17 | 277067 | 249232 | 66154 8 | 0 | 1 932.93/933.26 c 894s | 17 | 278365 | 250332 | 66154 8 | 0 | 1 935.03/935.30 c 896s | 17 | 279354 | 251132 | 72770 8 | 0 | 1 937.04/937.31 c 898s | 17 | 280019 | 251732 | 72770 8 | 0 | 1 939.43/939.78 c 901s | 17 | 281014 | 252532 | 72770 8 | 0 | 1 941.53/941.86 c 903s | 17 | 281699 | 253132 | 72770 8 | 0 | 1 943.64/943.96 c 905s | 17 | 282767 | 254032 | 72770 8 | 0 | 1 945.93/946.28 c 907s | 17 | 283471 | 254632 | 72770 8 | 0 | 1 947.94/948.29 c 909s | 17 | 284113 | 255232 | 72770 8 | 0 | 1 950.03/950.34 c 911s | 17 | 285133 | 256132 | 72770 8 | 0 | 1 952.23/952.50 c 913s | 17 | 286235 | 257132 | 72770 8 | 0 | 1 954.43/954.70 c 916s | 17 | 287556 | 258232 | 72770 8 | 0 | 1 956.53/956.80 c 918s | 17 | 288715 | 259232 | 72770 8 | 0 | 1 958.63/958.90 c 920s | 17 | 290003 | 260332 | 72770 8 | 0 | 1 963.74/964.02 c 925s | 17 | 291068 | 261232 | 72770 9 | 0 | 1 1010.33/1010.65 c 972s | 17 | 291296 | 261432 | 72770 9 | 0 | 1 1012.43/1012.75 c 974s | 17 | 292181 | 262232 | 72770 9 | 0 | 1 1014.43/1014.79 c 976s | 17 | 293273 | 263232 | 72770 9 | 0 | 1 1016.63/1016.93 c 978s | 17 | 295088 | 264832 | 72770 9 | 0 | 1 1018.73/1019.00 c 980s | 17 | 296824 | 266332 | 72770 9 | 0 | 1 1020.82/1021.12 c 982s | 17 | 298668 | 267932 | 72770 9 | 0 | 1 1023.32/1023.62 c 985s | 17 | 299882 | 269032 | 72770 9 | 0 | 1 1025.42/1025.72 c 987s | 17 | 300392 | 269532 | 72770 9 | 0 | 1 1027.52/1027.80 c 989s | 17 | 300908 | 270032 | 72770 9 | 0 | 1 1029.72/1030.05 c 991s | 17 | 301614 | 270632 | 72770 9 | 0 | 1 1032.12/1032.49 c 993s | 17 | 302132 | 271132 | 72770 9 | 0 | 1 1034.93/1035.24 c 996s | 17 | 302454 | 271432 | 72770 9 | 0 | 1 1037.13/1037.46 c 998s | 17 | 302758 | 271732 | 72770 9 | 0 | 1 1039.42/1039.77 c 1001s | 17 | 303195 | 272132 | 72770 9 | 0 | 1 1041.62/1041.92 c 1003s | 17 | 303549 | 272432 | 72770 9 | 0 | 1 1044.02/1044.37 c 1005s | 17 | 303866 | 272732 | 72770 9 | 0 | 1 1046.62/1046.97 c 1008s | 17 | 304307 | 273132 | 72770 9 | 0 | 1 1049.23/1049.53 c 1010s | 17 | 304659 | 273432 | 72770 9 | 0 | 1 1051.52/1051.89 c 1013s | 17 | 305126 | 273732 | 72770 9 | 0 | 1 1054.02/1054.34 c 1015s | 17 | 305433 | 274032 | 72770 9 | 0 | 1 1056.83/1057.15 c 1018s | 17 | 305864 | 274432 | 72770 9 | 0 | 1 1058.92/1059.23 c 1020s | 17 | 306063 | 274632 | 72770 9 | 0 | 1 1061.42/1061.76 c 1023s | 17 | 306390 | 274932 | 72770 9 | 0 | 1 1064.02/1064.34 c 1025s | 17 | 306721 | 275232 | 72770 9 | 0 | 1 1066.02/1066.38 c 1027s | 17 | 307067 | 275532 | 72770 9 | 0 | 1 1068.72/1069.08 c 1030s | 17 | 307607 | 275932 | 72770 9 | 0 | 1 1071.22/1071.59 c 1032s | 17 | 307952 | 276232 | 72770 9 | 0 | 1 1073.51/1073.87 c 1035s | 17 | 308253 | 276532 | 72770 9 | 0 | 1 1075.81/1076.11 c 1037s | 17 | 308660 | 276932 | 72770 9 | 0 | 1 1077.91/1078.27 c 1039s | 17 | 309089 | 277332 | 72770 9 | 0 | 1 1080.02/1080.31 c 1041s | 17 | 310168 | 278332 | 72770 9 | 0 | 1 1082.01/1082.35 c 1043s | 17 | 311009 | 279132 | 72770 9 | 0 | 1 1084.01/1084.38 c 1045s | 17 | 312280 | 280332 | 72770 9 | 0 | 1 1086.11/1086.42 c 1047s | 17 | 313706 | 281632 | 72770 9 | 0 | 1 1088.11/1088.45 c 1049s | 17 | 315083 | 282832 | 72770 9 | 0 | 1 1090.21/1090.52 c 1051s | 17 | 315890 | 283532 | 72770 9 | 0 | 1 1092.41/1092.76 c 1054s | 17 | 316488 | 284032 | 72770 9 | 0 | 1 1094.41/1094.78 c 1056s | 17 | 317579 | 284932 | 72770 9 | 0 | 1 1096.42/1096.79 c 1058s | 17 | 318626 | 285732 | 72770 9 | 0 | 1 1098.62/1098.98 c 1060s | 17 | 319742 | 286532 | 72770 9 | 0 | 1 1100.82/1101.11 c 1062s | 17 | 320621 | 287132 | 72770 9 | 0 | 1 1102.91/1103.24 c 1064s | 17 | 321609 | 287832 | 72770 9 | 0 | 1 1105.01/1105.33 c 1066s | 17 | 322781 | 288832 | 72770 9 | 0 | 1 1107.11/1107.45 c 1068s | 17 | 324076 | 289832 | 72770 9 | 0 | 1 1109.11/1109.45 c 1070s | 17 | 325127 | 290732 | 72770 9 | 0 | 1 1111.21/1111.50 c 1072s | 17 | 325974 | 291432 | 72770 9 | 0 | 1 1113.21/1113.51 c 1074s | 17 | 326634 | 292032 | 72770 9 | 0 | 1 1115.31/1115.65 c 1077s | 17 | 327331 | 292632 | 72770 9 | 0 | 1 1117.51/1117.83 c 1079s | 17 | 328231 | 293332 | 72770 9 | 0 | 1 1119.81/1120.13 c 1081s | 17 | 329414 | 294032 | 72770 9 | 0 | 1 1122.11/1122.44 c 1083s | 17 | 330663 | 295132 | 72770 9 | 0 | 1 1124.31/1124.60 c 1086s | 17 | 331799 | 296132 | 72770 9 | 0 | 1 1124.51/1124.84 c 1086s | 18 | 331933 | 296252 | 72770 9 | 0 | 1 1126.81/1127.19 c 1088s | 18 | 332410 | 296652 | 72770 9 | 0 | 1 1129.00/1129.32 c 1090s | 18 | 333154 | 297352 | 72770 9 | 0 | 1 1131.21/1131.50 c 1092s | 18 | 333559 | 297752 | 72770 10 | 0 | 1 1376.27/1376.60 c 1338s | 18 | 333670 | 297852 | 72770 10 | 0 | 1 1378.37/1378.77 c 1340s | 18 | 334641 | 298752 | 72770 10 | 0 | 1 1380.57/1380.96 c 1342s | 18 | 336018 | 300052 | 72770 10 | 0 | 1 1382.67/1383.07 c 1344s | 18 | 337366 | 301352 | 72770 10 | 0 | 1 1384.77/1385.17 c 1346s | 18 | 338099 | 302052 | 72770 10 | 0 | 1 1386.88/1387.24 c 1348s | 18 | 338957 | 302852 | 72770 10 | 0 | 1 1388.87/1389.26 c 1350s | 18 | 339911 | 303752 | 72770 10 | 0 | 1 1390.97/1391.32 c 1352s | 18 | 340621 | 304452 | 72770 10 | 0 | 1 1392.97/1393.39 c 1354s | 18 | 341565 | 305252 | 72770 10 | 0 | 1 1395.27/1395.68 c 1357s | 18 | 342635 | 306252 | 72770 10 | 0 | 1 1397.47/1397.88 c 1359s | 18 | 343273 | 306852 | 72770 10 | 0 | 1 1399.57/1399.96 c 1361s | 18 | 344374 | 307852 | 72770 10 | 0 | 1 1401.67/1402.09 c 1363s | 18 | 345594 | 309052 | 72770 10 | 0 | 1 1403.77/1404.13 c 1365s | 18 | 346527 | 309952 | 72770 10 | 0 | 1 1406.07/1406.43 c 1367s | 18 | 347137 | 310552 | 72770 10 | 0 | 1 1408.17/1408.50 c 1369s | 18 | 348017 | 311352 | 72770 10 | 0 | 1 1410.26/1410.66 c 1372s | 18 | 348852 | 312152 | 72770 10 | 0 | 1 1412.36/1412.71 c 1374s | 18 | 349902 | 313152 | 72770 10 | 0 | 1 1414.76/1415.11 c 1376s | 18 | 350568 | 313752 | 72770 10 | 0 | 1 1417.06/1417.48 c 1378s | 18 | 351082 | 314252 | 72770 10 | 0 | 1 1419.26/1419.61 c 1381s | 18 | 351908 | 315052 | 72770 10 | 0 | 1 1421.56/1421.90 c 1383s | 18 | 352665 | 315752 | 72770 10 | 0 | 1 1423.66/1424.05 c 1385s | 18 | 353306 | 316352 | 72770 10 | 0 | 1 1425.86/1426.29 c 1387s | 18 | 353984 | 316952 | 72770 10 | 0 | 1 1428.06/1428.46 c 1389s | 18 | 354520 | 317452 | 72770 10 | 0 | 1 1430.26/1430.61 c 1392s | 18 | 355309 | 318052 | 72770 10 | 0 | 1 1432.36/1432.70 c 1394s | 18 | 355873 | 318552 | 72770 10 | 0 | 1 1434.56/1434.97 c 1396s | 18 | 356634 | 319152 | 72770 10 | 0 | 1 1436.76/1437.12 c 1398s | 18 | 357304 | 319752 | 72770 10 | 0 | 1 1438.86/1439.21 c 1400s | 18 | 358018 | 320252 | 72770 10 | 0 | 1 1440.96/1441.39 c 1402s | 18 | 358588 | 320752 | 72770 10 | 0 | 1 1443.36/1443.71 c 1405s | 18 | 359242 | 321352 | 72770 10 | 0 | 1 1445.36/1445.72 c 1407s | 18 | 359978 | 322052 | 72770 10 | 0 | 1 1447.46/1447.84 c 1409s | 18 | 361030 | 323052 | 72770 10 | 0 | 1 1449.46/1449.88 c 1411s | 18 | 361879 | 323852 | 72770 10 | 0 | 1 1451.56/1451.96 c 1413s | 18 | 362805 | 324752 | 72770 10 | 0 | 1 1453.66/1454.02 c 1415s | 18 | 363943 | 325852 | 72770 10 | 0 | 1 1455.66/1456.03 c 1417s | 18 | 364690 | 326552 | 72770 10 | 0 | 1 1458.06/1458.42 c 1419s | 18 | 365527 | 327352 | 72770 10 | 0 | 1 1460.06/1460.47 c 1421s | 18 | 366454 | 328252 | 72770 10 | 0 | 1 1462.36/1462.79 c 1424s | 18 | 367272 | 328952 | 72770 10 | 0 | 1 1464.56/1464.90 c 1426s | 18 | 368216 | 329852 | 72770 10 | 0 | 1 1466.66/1467.00 c 1428s | 18 | 368984 | 330552 | 72770 10 | 0 | 1 1468.65/1469.08 c 1430s | 18 | 369766 | 331252 | 72770 10 | 0 | 1 1471.05/1471.44 c 1432s | 18 | 370390 | 331852 | 72770 10 | 0 | 1 1473.15/1473.58 c 1434s | 18 | 371118 | 332452 | 72770 10 | 0 | 1 1475.35/1475.75 c 1437s | 18 | 372027 | 333252 | 72770 10 | 0 | 1 1477.55/1477.94 c 1439s | 18 | 372640 | 333852 | 72770 10 | 0 | 1 1479.75/1480.10 c 1441s | 18 | 373457 | 334652 | 72770 10 | 0 | 1 1481.95/1482.34 c 1443s | 18 | 374217 | 335352 | 72770 10 | 0 | 1 1484.45/1484.85 c 1446s | 18 | 374422 | 335552 | 72770 11 | 0 | 1 1487.56/1487.94 c 1449s | 18 | 374521 | 335652 | 72770 11 | 0 | 1 1489.56/1489.95 c 1451s | 18 | 375563 | 336652 | 72770 11 | 0 | 1 1497.55/1497.96 c 1459s | 18 | 375896 | 336952 | 72770 11 | 0 | 1 1499.65/1500.00 c 1461s | 18 | 376675 | 337652 | 72770 11 | 0 | 1 1501.95/1502.30 c 1463s | 18 | 377414 | 338352 | 72770 11 | 0 | 1 1504.05/1504.46 c 1465s | 18 | 378034 | 338952 | 72770 11 | 0 | 1 1506.15/1506.56 c 1467s | 18 | 378674 | 339552 | 72770 11 | 0 | 1 1508.35/1508.79 c 1470s | 18 | 379551 | 340352 | 72770 11 | 0 | 1 1510.45/1510.83 c 1472s | 18 | 380335 | 341052 | 72770 11 | 0 | 1 1512.45/1512.86 c 1474s | 18 | 381160 | 341852 | 72770 11 | 0 | 1 1514.75/1515.11 c 1476s | 18 | 381784 | 342452 | 72770 11 | 0 | 1 1517.05/1517.41 c 1478s | 18 | 382534 | 343152 | 72770 11 | 0 | 1 1519.05/1519.50 c 1480s | 18 | 383168 | 343752 | 72770 11 | 0 | 1 1521.35/1521.70 c 1483s | 18 | 383698 | 344252 | 72770 11 | 0 | 1 1523.55/1523.93 c 1485s | 18 | 384207 | 344752 | 72770 11 | 0 | 1 1525.55/1525.97 c 1487s | 18 | 384811 | 345352 | 72770 11 | 0 | 1 1527.75/1528.16 c 1489s | 18 | 385562 | 346052 | 72770 11 | 0 | 1 1529.86/1530.22 c 1491s | 18 | 386085 | 346552 | 72770 11 | 0 | 1 1531.85/1532.28 c 1493s | 18 | 386601 | 347052 | 72770 11 | 0 | 1 1534.35/1534.78 c 1496s | 18 | 387131 | 347552 | 72770 11 | 0 | 1 1536.46/1536.82 c 1498s | 18 | 387641 | 348052 | 72770 11 | 0 | 1 1538.75/1539.13 c 1500s | 18 | 388170 | 348552 | 72770 11 | 0 | 1 1540.86/1541.23 c 1502s | 18 | 388694 | 349052 | 72770 11 | 0 | 1 1543.06/1543.42 c 1504s | 18 | 389646 | 349952 | 72770 11 | 0 | 1 1545.35/1545.70 c 1507s | 18 | 390271 | 350552 | 72770 11 | 0 | 1 1547.45/1547.85 c 1509s | 18 | 390791 | 351052 | 72770 11 | 0 | 1 1549.65/1550.06 c 1511s | 18 | 391420 | 351652 | 72770 11 | 0 | 1 1552.05/1552.40 c 1513s | 18 | 392323 | 352552 | 72770 11 | 0 | 1 1554.05/1554.42 c 1515s | 18 | 393035 | 353252 | 72770 11 | 0 | 1 1556.05/1556.42 c 1517s | 18 | 393650 | 353852 | 72770 11 | 0 | 1 1558.04/1558.49 c 1519s | 18 | 394477 | 354652 | 72770 11 | 0 | 1 1560.24/1560.63 c 1522s | 18 | 395199 | 355352 | 72770 11 | 0 | 1 1562.34/1562.76 c 1524s | 18 | 395816 | 355952 | 72770 11 | 0 | 1 1564.64/1565.02 c 1526s | 18 | 396545 | 356652 | 72770 11 | 0 | 1 1566.64/1567.09 c 1528s | 18 | 397333 | 357352 | 72770 11 | 0 | 1 1568.84/1569.27 c 1530s | 18 | 398052 | 358052 | 72770 11 | 0 | 1 1571.14/1571.56 c 1532s | 18 | 398652 | 358552 | 72770 11 | 0 | 1 1573.54/1573.95 c 1535s | 18 | 399135 | 358952 | 72770 11 | 0 | 1 1576.14/1576.56 c 1537s | 18 | 399785 | 359452 | 72770 11 | 0 | 1 1578.34/1578.73 c 1540s | 18 | 400334 | 359852 | 72770 11 | 0 | 1 1580.54/1580.96 c 1542s | 18 | 400830 | 360252 | 72770 11 | 0 | 1 1582.84/1583.26 c 1544s | 18 | 401447 | 360752 | 72770 11 | 0 | 1 1584.94/1585.31 c 1546s | 18 | 402128 | 361252 | 72770 11 | 0 | 1 1586.95/1587.32 c 1548s | 18 | 402633 | 361652 | 72770 11 | 0 | 1 1589.15/1589.57 c 1550s | 18 | 403128 | 362052 | 72770 11 | 0 | 1 1591.14/1591.60 c 1553s | 18 | 403648 | 362452 | 72770 11 | 0 | 1 1593.24/1593.64 c 1555s | 18 | 404110 | 362852 | 72770 11 | 0 | 1 1595.64/1596.01 c 1557s | 18 | 404732 | 363352 | 72770 11 | 0 | 1 1597.64/1598.04 c 1559s | 18 | 405151 | 363752 | 72770 11 | 0 | 1 1600.04/1600.47 c 1561s | 18 | 405882 | 364352 | 72770 11 | 0 | 1 1602.14/1602.57 c 1563s | 18 | 406418 | 364852 | 72770 11 | 0 | 1 1604.64/1605.01 c 1566s | 18 | 407218 | 365552 | 72770 11 | 0 | 1 1606.64/1607.05 c 1568s | 18 | 407882 | 366152 | 72770 11 | 0 | 1 1608.84/1609.27 c 1570s | 18 | 408568 | 366752 | 72770 11 | 0 | 1 1610.94/1611.33 c 1572s | 18 | 408982 | 367152 | 72770 11 | 0 | 1 1613.44/1613.83 c 1575s | 18 | 409499 | 367652 | 72770 11 | 0 | 1 1615.64/1616.02 c 1577s | 18 | 409917 | 368052 | 72770 11 | 0 | 1 1617.63/1618.06 c 1579s | 18 | 410339 | 368452 | 72770 11 | 0 | 1 1619.63/1620.10 c 1581s | 18 | 410750 | 368852 | 72770 11 | 0 | 1 1621.93/1622.37 c 1583s | 18 | 411188 | 369252 | 72770 11 | 0 | 1 1624.23/1624.63 c 1586s | 18 | 411715 | 369752 | 72770 11 | 0 | 1 1626.33/1626.72 c 1588s | 18 | 412135 | 370152 | 72770 11 | 0 | 1 1628.63/1629.02 c 1590s | 18 | 412677 | 370652 | 72770 11 | 0 | 1 1630.83/1631.30 c 1592s | 18 | 413350 | 371152 | 72770 11 | 0 | 1 1634.63/1635.01 c 1596s | 18 | 413660 | 371452 | 72770 12 | 0 | 1 1636.73/1637.10 c 1598s | 18 | 413874 | 371652 | 72770 12 | 0 | 1 1638.83/1639.27 c 1600s | 18 | 414621 | 372352 | 72770 12 | 0 | 1 1641.03/1641.46 c 1602s | 18 | 415251 | 372952 | 72770 12 | 0 | 1 1643.33/1643.70 c 1605s | 18 | 415893 | 373552 | 72770 12 | 0 | 1 1645.33/1645.77 c 1607s | 18 | 416655 | 374252 | 72770 12 | 0 | 1 1647.63/1648.04 c 1609s | 18 | 417375 | 374952 | 72770 12 | 0 | 1 1651.33/1651.71 c 1613s | 18 | 417921 | 375452 | 72770 12 | 0 | 1 1677.33/1677.78 c 1639s | 18 | 418021 | 375552 | 72770 12 | 0 | 1 1716.32/1716.73 c 1678s | 18 | 418121 | 375652 | 72770 12 | 0 | 1 1718.32/1718.76 c 1680s | 18 | 418632 | 376152 | 72770 12 | 0 | 1 1720.42/1720.86 c 1682s | 18 | 419240 | 376752 | 72770 12 | 0 | 1 1722.52/1722.98 c 1684s | 18 | 419911 | 377352 | 72770 12 | 0 | 1 1724.82/1725.26 c 1686s | 18 | 420770 | 378052 | 72770 12 | 0 | 1 1727.12/1727.59 c 1688s | 18 | 421445 | 378652 | 72770 12 | 0 | 1 1729.32/1729.78 c 1691s | 18 | 422154 | 379252 | 72770 12 | 0 | 1 1731.42/1731.89 c 1693s | 18 | 422947 | 379952 | 72770 12 | 0 | 1 1733.52/1733.95 c 1695s | 18 | 423645 | 380552 | 72770 12 | 0 | 1 1735.72/1736.12 c 1697s | 18 | 424238 | 381052 | 72770 12 | 0 | 1 1737.91/1738.36 c 1699s | 18 | 424911 | 381652 | 72770 12 | 0 | 1 1740.11/1740.52 c 1701s | 18 | 425632 | 382252 | 72770 12 | 0 | 1 1742.21/1742.69 c 1704s | 18 | 426623 | 383052 | 72770 12 | 0 | 1 1744.51/1744.92 c 1706s | 18 | 427402 | 383652 | 72770 12 | 0 | 1 1746.81/1747.20 c 1708s | 18 | 428286 | 384352 | 72770 12 | 0 | 1 1748.81/1749.24 c 1710s | 18 | 428990 | 384952 | 72770 12 | 0 | 1 1751.21/1751.66 c 1713s | 18 | 429712 | 385652 | 72770 12 | 0 | 1 1753.31/1753.71 c 1715s | 18 | 430245 | 386152 | 72770 12 | 0 | 1 1755.61/1756.00 c 1717s | 18 | 430953 | 386752 | 72770 12 | 0 | 1 1757.81/1758.23 c 1719s | 18 | 431523 | 387252 | 72770 12 | 0 | 1 1760.01/1760.47 c 1721s | 18 | 432199 | 387752 | 72770 12 | 0 | 1 1762.41/1762.89 c 1724s | 18 | 432938 | 388352 | 72770 12 | 0 | 1 1764.81/1765.21 c 1726s | 18 | 433601 | 388952 | 72770 12 | 0 | 1 1766.81/1767.24 c 1728s | 18 | 434278 | 389552 | 72770 12 | 0 | 1 1769.11/1769.55 c 1730s | 18 | 434815 | 390052 | 72770 12 | 0 | 1 1771.21/1771.65 c 1733s | 18 | 435491 | 390652 | 72770 12 | 0 | 1 1773.41/1773.83 c 1735s | 18 | 436191 | 391252 | 72770 12 | 0 | 1 1775.51/1775.90 c 1737s | 18 | 436723 | 391752 | 72770 12 | 0 | 1 1777.81/1778.21 c 1739s | 18 | 437451 | 392452 | 72770 12 | 0 | 1 1780.01/1780.40 c 1741s | 18 | 438178 | 393152 | 72770 12 | 0 | 1 1782.31/1782.70 c 1744s | 18 | 438860 | 393752 | 72770 12 | 0 | 1 1784.71/1785.15 c 1746s | 18 | 439182 | 394052 | 72770 12 | 0 | 1 1787.11/1787.60 c 1749s | 18 | 439612 | 394452 | 72770 12 | 0 | 1 1789.71/1790.11 c 1751s | 18 | 440040 | 394852 | 72770 12 | 0 | 1 1792.21/1792.62 c 1754s | 18 | 440442 | 395252 | 72770 12 | 0 | 1 1794.21/1794.65 c 1756s | 18 | 440865 | 395652 | 72770 12 | 0 | 1 1796.21/1796.68 c 1758s | 18 | 441589 | 396352 | 72770 12 | 0 | 1 1798.80/1799.26 c 1760s | 18 | 442307 | 397052 | 72770 12 | 0 | 1
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-4117375-1467210918/watcher-4117375-1467210918 -o /tmp/evaluation-result-4117375-1467210918/solver-4117375-1467210918 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467209087-5469 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117375-1467210918.opb pid=5623 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.02 1.88 2/171 5626 /proc/meminfo: memFree=30416252/32872528 swapFree=7620/7620 [pid=5626] ppid=5623 vsize=734652 CPUtime=0 cores=0,2,4,6 /proc/5626/stat : 5626 (toysat) R 5623 5626 5453 0 -1 4202496 2743 0 0 0 0 0 0 0 20 0 4 0 1987896 752283648 3614 33554432000 4194304 16246674 140733276223200 140733276222624 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5626/statm: 184431 3623 441 2943 0 181325 0 [pid=5626/tid=5627] ppid=5623 vsize=753084 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5627/stat : 5627 (toysat) S 5623 5626 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1987896 771158016 3685 33554432000 4194304 16246674 140733276223200 140023980600560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5626/tid=5628] ppid=5623 vsize=757180 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5628/stat : 5628 (toysat) S 5623 5626 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1987896 775352320 3703 33554432000 4194304 16246674 140733276223200 140023970110704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5626/tid=5629] ppid=5623 vsize=762300 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5629/stat : 5629 (toysat) S 5623 5626 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1987897 780595200 3720 33554432000 4194304 16246674 140733276223200 140023852690608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100156 s] /proc/loadavg: 2.00 2.02 1.88 2/171 5626 /proc/meminfo: memFree=30416252/32872528 swapFree=7620/7620 [pid=5626] ppid=5623 vsize=1302084 CPUtime=0.08 cores=0,2,4,6 /proc/5626/stat : 5626 (toysat) R 5623 5626 5453 0 -1 4202496 28946 0 0 0 5 3 0 0 20 0 4 0 1987896 1333334016 29756 33554432000 4194304 16246674 140733276223200 140733276222512 12752373 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5626/statm: 325521 29769 801 2943 0 322415 0 [pid=5626/tid=5627] ppid=5623 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5627/stat : 5627 (toysat) S 5623 5626 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1987896 1333334016 29780 33554432000 4194304 16246674 140733276223200 140023980600560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5626/tid=5628] ppid=5623 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5628/stat : 5628 (toysat) S 5623 5626 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1987896 1333334016 29792 33554432000 4194304 16246674 140733276223200 140023970110704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5626/tid=5629] ppid=5623 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5629/stat : 5629 (toysat) S 5623 5626 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1987897 1333334016 29803 33554432000 4194304 16246674 140733276223200 140023852690608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1302084 [startup+0.2005 s] /proc/loadavg: 2.00 2.02 1.88 2/171 5626 /proc/meminfo: memFree=30416252/32872528 swapFree=7620/7620 [pid=5626] ppid=5623 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/5626/stat : 5626 (toysat) R 5623 5626 5453 0 -1 4202496 47392 0 0 0 13 6 0 0 20 0 4 0 1987896 1344868352 48712 33554432000 4194304 16246674 140733276223200 140733276222512 13962600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5626/statm: 328337 48712 801 2943 0 325231 0 [pid=5626/tid=5627] ppid=5623 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5627/stat : 5627 (toysat) S 5623 5626 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1987896 1344868352 48712 33554432000 4194304 16246674 140733276223200 140023980600560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5626/tid=5628] ppid=5623 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5628/stat : 5628 (toysat) S 5623 5626 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1987896 1344868352 48712 33554432000 4194304 16246674 140733276223200 140023970110704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5626/tid=5629] ppid=5623 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5629/stat : 5629 (toysat) S 5623 5626 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1987897 1344868352 48712 33554432000 4194304 16246674 140733276223200 140023852690608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.30049 s] /proc/loadavg: 2.00 2.02 1.88 2/171 5626 /proc/meminfo: memFree=30416252/32872528 swapFree=7620/7620 [pid=5626] ppid=5623 vsize=1313348 CPUtime=0.28 cores=0,2,4,6 /proc/5626/stat : 5626 (toysat) R 5623 5626 5453 0 -1 4202496 50932 0 0 0 22 6 0 0 20 0 4 0 1987896 1344868352 52252 33554432000 4194304 16246674 140733276223200 140733276222512 13008209 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5626/statm: 328337 52252 843 2943 0 325231 0 [pid=5626/tid=5627] ppid=5623 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5627/stat : 5627 (toysat) S 5623 5626 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1987896 1344868352 52252 33554432000 4194304 16246674 140733276223200 140023980600560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5626/tid=5628] ppid=5623 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5628/stat : 5628 (toysat) S 5623 5626 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1987896 1344868352 52252 33554432000 4194304 16246674 140733276223200 140023970110704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5626/tid=5629] ppid=5623 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5629/stat : 5629 (toysat) S 5623 5626 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1987897 1344868352 52252 33554432000 4194304 16246674 140733276223200 140023852690608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1313348 [startup+0.700402 s] /proc/loadavg: 2.00 2.02 1.88 2/171 5626 /proc/meminfo: memFree=30416252/32872528 swapFree=7620/7620 [pid=5626] ppid=5623 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/5626/stat : 5626 (toysat) R 5623 5626 5453 0 -1 4202496 112425 0 0 0 53 16 0 0 20 0 4 0 1987896 1344868352 113745 33554432000 4194304 16246674 140733276223200 140733276222512 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5626/statm: 328337 113753 889 2943 0 325231 0 [pid=5626/tid=5627] ppid=5623 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5627/stat : 5627 (toysat) S 5623 5626 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1987896 1344868352 113756 33554432000 4194304 16246674 140733276223200 140023980600560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5626/tid=5628] ppid=5623 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5628/stat : 5628 (toysat) S 5623 5626 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1987896 1344868352 113759 33554432000 4194304 16246674 140733276223200 140023970110704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5626/tid=5629] ppid=5623 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5629/stat : 5629 (toysat) S 5623 5626 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1987897 1344868352 113761 33554432000 4194304 16246674 140733276223200 140023852690608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.5004 s] /proc/loadavg: 1.92 2.00 1.88 3/182 5644 /proc/meminfo: memFree=29107588/32872528 swapFree=7620/7620 [pid=5626] ppid=5623 vsize=1313348 CPUtime=1.49 cores=0,2,4,6 /proc/5626/stat : 5626 (toysat) R 5623 5626 5453 0 -1 4202496 221354 0 0 0 120 29 0 0 20 0 4 0 1987896 1344868352 222674 33554432000 4194304 16246674 140733276223200 140733276205120 5523634 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5626/statm: 328337 222678 889 2943 0 325231 0 [pid=5626/tid=5627] ppid=5623 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5627/stat : 5627 (toysat) S 5623 5626 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1987896 1344868352 222682 33554432000 4194304 16246674 140733276223200 140023980600560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5626/tid=5628] ppid=5623 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5628/stat : 5628 (toysat) S 5623 5626 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1987896 1344868352 222685 33554432000 4194304 16246674 140733276223200 140023970110704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5626/tid=5629] ppid=5623 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5629/stat : 5629 (toysat) S 5623 5626 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1987897 1344868352 222687 33554432000 4194304 16246674 140733276223200 140023852690608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.1004 s] /proc/loadavg: 1.92 2.00 1.88 3/183 5645 /proc/meminfo: memFree=28230908/32872528 swapFree=7620/7620 [pid=5626] ppid=5623 vsize=1318468 CPUtime=3.09 cores=0,2,4,6 /proc/5626/stat : 5626 (toysat) R 5623 5626 5453 0 -1 4202496 270307 0 0 0 273 36 0 0 20 0 4 0 1987896 1350111232 271627 33554432000 4194304 16246674 140733276223200 140733276222512 5991596 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5626/statm: 329617 271627 906 2943 0 326511 0 [pid=5626/tid=5627] ppid=5623 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5627/stat : 5627 (toysat) S 5623 5626 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1987896 1350111232 271627 33554432000 4194304 16246674 140733276223200 140023980600560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5626/tid=5628] ppid=5623 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5628/stat : 5628 (toysat) S 5623 5626 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1987896 1350111232 271627 33554432000 4194304 16246674 140733276223200 140023970110704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5626/tid=5629] ppid=5623 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5629/stat : 5629 (toysat) S 5623 5626 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1987897 1350111232 271627 33554432000 4194304 16246674 140733276223200 140023852690608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1318468 [startup+6.30041 s] /proc/loadavg: 2.17 2.05 1.89 3/183 5645 /proc/meminfo: memFree=28229192/32872528 swapFree=7620/7620 [pid=5626] ppid=5623 vsize=1318468 CPUtime=6.29 cores=0,2,4,6 /proc/5626/stat : 5626 (toysat) R 5623 5626 5453 0 -1 4202496 270307 0 0 0 593 36 0 0 20 0 4 0 1987896 1350111232 271627 33554432000 4194304 16246674 140733276223200 140733276205120 5822704 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5626/statm: 329617 271627 906 2943 0 326511 0 [pid=5626/tid=5627] ppid=5623 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5627/stat : 5627 (toysat) S 5623 5626 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1987896 1350111232 271627 33554432000 4194304 16246674 140733276223200 140023980600560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5626/tid=5628] ppid=5623 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5628/stat : 5628 (toysat) S 5623 5626 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1987896 1350111232 271627 33554432000 4194304 16246674 140733276223200 140023970110704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5626/tid=5629] ppid=5623 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5629/stat : 5629 (toysat) S 5623 5626 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1987897 1350111232 271627 33554432000 4194304 16246674 140733276223200 140023852690608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1318468 [startup+12.7004 s] /proc/loadavg: 2.15 2.05 1.89 3/183 5645 /proc/meminfo: memFree=28229244/32872528 swapFree=7620/7620 [pid=5626] ppid=5623 vsize=1318468 CPUtime=12.69 cores=0,2,4,6 /proc/5626/stat : 5626 (toysat) R 5623 5626 5453 0 -1 4202496 270307 0 0 0 1233 36 0 0 20 0 4 0 1987896 1350111232 271627 33554432000 4194304 16246674 140733276223200 140733276205120 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5626/statm: 329617 271627 906 2943 0 326511 0 [pid=5626/tid=5627] ppid=5623 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5627/stat : 5627 (toysat) S 5623 5626 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1987896 1350111232 271627 33554432000 4194304 16246674 140733276223200 140023980600560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5626/tid=5628] ppid=5623 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5628/stat : 5628 (toysat) S 5623 5626 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1987896 1350111232 271627 33554432000 4194304 16246674 140733276223200 140023970110704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5626/tid=5629] ppid=5623 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5629/stat : 5629 (toysat) S 5623 5626 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1987897 1350111232 271627 33554432000 4194304 16246674 140733276223200 140023852690608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1318468 [startup+25.5005 s] /proc/loadavg: 2.12 2.05 1.90 3/183 5645 /proc/meminfo: memFree=28229688/32872528 swapFree=7620/7620 [pid=5626] ppid=5623 vsize=1318468 CPUtime=25.48 cores=0,2,4,6 /proc/5626/stat : 5626 (toysat) R 5623 5626 5453 0 -1 4202496 270308 0 0 0 2512 36 0 0 20 0 4 0 1987896 1350111232 271628 33554432000 4194304 16246674 140733276223200 140733276205120 5523515 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5626/statm: 329617 271628 906 2943 0 326511 0 [pid=5626/tid=5627] ppid=5623 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5627/stat : 5627 (toysat) S 5623 5626 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1987896 1350111232 271628 33554432000 4194304 16246674 140733276223200 140023980600560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5626/tid=5628] ppid=5623 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5628/stat : 5628 (toysat) S 5623 5626 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1987896 1350111232 271628 33554432000 4194304 16246674 140733276223200 140023970110704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5626/tid=5629] ppid=5623 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5629/stat : 5629 (toysat) S 5623 5626 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1987897 1350111232 271628 33554432000 4194304 16246674 140733276223200 140023852690608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1318468 [startup+51.1005 s] /proc/loadavg: 2.15 2.06 1.90 3/183 5645 /proc/meminfo: memFree=28225256/32872528 swapFree=7620/7620 [pid=5626] ppid=5623 vsize=1322564 CPUtime=51.08 cores=0,2,4,6 /proc/5626/stat : 5626 (toysat) R 5623 5626 5453 0 -1 4202496 271356 0 0 0 5072 36 0 0 20 0 4 0 1987896 1354305536 272670 33554432000 4194304 16246674 140733276223200 140733276221056 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5626/statm: 330641 272670 921 2943 0 327535 0 [pid=5626/tid=5627] ppid=5623 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5627/stat : 5627 (toysat) S 5623 5626 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1987896 1354305536 272670 33554432000 4194304 16246674 140733276223200 140023980600560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5626/tid=5628] ppid=5623 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5628/stat : 5628 (toysat) S 5623 5626 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1987896 1354305536 272670 33554432000 4194304 16246674 140733276223200 140023970110704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5626/tid=5629] ppid=5623 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5629/stat : 5629 (toysat) S 5623 5626 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1987897 1354305536 272670 33554432000 4194304 16246674 140733276223200 140023852690608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1322564 [startup+102.3 s] /proc/loadavg: 2.14 2.07 1.91 3/183 5646 /proc/meminfo: memFree=28128516/32872528 swapFree=7620/7620 [pid=5626] ppid=5623 vsize=1326660 CPUtime=102.28 cores=0,2,4,6 /proc/5626/stat : 5626 (toysat) R 5623 5626 5453 0 -1 4202496 272385 0 0 0 10191 37 0 0 20 0 4 0 1987896 1358499840 273694 33554432000 4194304 16246674 140733276223200 140733276205120 5822556 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5626/statm: 331665 273694 921 2943 0 328559 0 [pid=5626/tid=5627] ppid=5623 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5627/stat : 5627 (toysat) S 5623 5626 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1987896 1358499840 273694 33554432000 4194304 16246674 140733276223200 140023980600560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5626/tid=5628] ppid=5623 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5628/stat : 5628 (toysat) S 5623 5626 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1987896 1358499840 273694 33554432000 4194304 16246674 140733276223200 140023970110704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5626/tid=5629] ppid=5623 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5629/stat : 5629 (toysat) S 5623 5626 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1987897 1358499840 273694 33554432000 4194304 16246674 140733276223200 140023852690608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1326660 ################ # More data... # ################ /proc/5626/task/5629/stat : 5629 (toysat) S 5623 5626 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1987897 1427705856 290590 33554432000 4194304 16246674 140733276223200 140023852690608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 1394244 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 1.97 3/183 5676 /proc/meminfo: memFree=28057524/32872528 swapFree=7620/7620 [pid=5626] ppid=5623 vsize=1394244 CPUtime=1301.98 cores=0,2,4,6 /proc/5626/stat : 5626 (toysat) R 5623 5626 5453 0 -1 4202496 289485 0 0 0 130126 72 0 0 20 0 4 0 1987896 1427705856 290590 33554432000 4194304 16246674 140733276223200 140733276222376 4206924 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5626/statm: 348561 290590 921 2943 0 345455 0 [pid=5626/tid=5627] ppid=5623 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5627/stat : 5627 (toysat) S 5623 5626 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1987896 1427705856 290590 33554432000 4194304 16246674 140733276223200 140023980600560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5626/tid=5628] ppid=5623 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5628/stat : 5628 (toysat) S 5623 5626 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1987896 1427705856 290590 33554432000 4194304 16246674 140733276223200 140023970110704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5626/tid=5629] ppid=5623 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5629/stat : 5629 (toysat) S 5623 5626 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1987897 1427705856 290590 33554432000 4194304 16246674 140733276223200 140023852690608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 1394244 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 1.97 3/183 5677 /proc/meminfo: memFree=28057192/32872528 swapFree=7620/7620 [pid=5626] ppid=5623 vsize=1394244 CPUtime=1361.97 cores=0,2,4,6 /proc/5626/stat : 5626 (toysat) R 5623 5626 5453 0 -1 4202496 289485 0 0 0 136119 78 0 0 20 0 4 0 1987896 1427705856 290590 33554432000 4194304 16246674 140733276223200 140733276222296 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5626/statm: 348561 290590 921 2943 0 345455 0 [pid=5626/tid=5627] ppid=5623 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5627/stat : 5627 (toysat) S 5623 5626 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1987896 1427705856 290590 33554432000 4194304 16246674 140733276223200 140023980600560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5626/tid=5628] ppid=5623 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5628/stat : 5628 (toysat) S 5623 5626 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1987896 1427705856 290590 33554432000 4194304 16246674 140733276223200 140023970110704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5626/tid=5629] ppid=5623 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5629/stat : 5629 (toysat) S 5623 5626 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1987897 1427705856 290590 33554432000 4194304 16246674 140733276223200 140023852690608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 1394244 [startup+1422.3 s] /proc/loadavg: 2.00 2.01 1.97 3/183 5678 /proc/meminfo: memFree=28057912/32872528 swapFree=7620/7620 [pid=5626] ppid=5623 vsize=1394244 CPUtime=1421.97 cores=0,2,4,6 /proc/5626/stat : 5626 (toysat) R 5623 5626 5453 0 -1 4202496 289485 0 0 0 142118 79 0 0 20 0 4 0 1987896 1427705856 290590 33554432000 4194304 16246674 140733276223200 140733276205120 5823254 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5626/statm: 348561 290590 921 2943 0 345455 0 [pid=5626/tid=5627] ppid=5623 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5627/stat : 5627 (toysat) S 5623 5626 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1987896 1427705856 290590 33554432000 4194304 16246674 140733276223200 140023980600560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5626/tid=5628] ppid=5623 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5628/stat : 5628 (toysat) S 5623 5626 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1987896 1427705856 290590 33554432000 4194304 16246674 140733276223200 140023970110704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5626/tid=5629] ppid=5623 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5629/stat : 5629 (toysat) S 5623 5626 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1987897 1427705856 290590 33554432000 4194304 16246674 140733276223200 140023852690608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 1394244 [startup+1482.3 s] /proc/loadavg: 2.06 2.02 1.98 3/183 5679 /proc/meminfo: memFree=28057840/32872528 swapFree=7620/7620 [pid=5626] ppid=5623 vsize=1394244 CPUtime=1481.95 cores=0,2,4,6 /proc/5626/stat : 5626 (toysat) R 5623 5626 5453 0 -1 4202496 289485 0 0 0 148116 79 0 0 20 0 4 0 1987896 1427705856 290590 33554432000 4194304 16246674 140733276223200 140733276205120 5546473 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5626/statm: 348561 290590 921 2943 0 345455 0 [pid=5626/tid=5627] ppid=5623 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5627/stat : 5627 (toysat) S 5623 5626 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1987896 1427705856 290590 33554432000 4194304 16246674 140733276223200 140023980600560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5626/tid=5628] ppid=5623 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5628/stat : 5628 (toysat) S 5623 5626 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1987896 1427705856 290590 33554432000 4194304 16246674 140733276223200 140023970110704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5626/tid=5629] ppid=5623 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5629/stat : 5629 (toysat) S 5623 5626 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1987897 1427705856 290590 33554432000 4194304 16246674 140733276223200 140023852690608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 1394244 [startup+1542.31 s] /proc/loadavg: 2.02 2.02 1.98 3/184 5684 /proc/meminfo: memFree=28057820/32872528 swapFree=7620/7620 [pid=5626] ppid=5623 vsize=1394244 CPUtime=1541.96 cores=0,2,4,6 /proc/5626/stat : 5626 (toysat) R 5623 5626 5453 0 -1 4202496 289486 0 0 0 154115 81 0 0 20 0 4 0 1987896 1427705856 290593 33554432000 4194304 16246674 140733276223200 140733276205120 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5626/statm: 348561 290593 921 2943 0 345455 0 [pid=5626/tid=5627] ppid=5623 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5627/stat : 5627 (toysat) S 5623 5626 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1987896 1427705856 290593 33554432000 4194304 16246674 140733276223200 140023980600560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5626/tid=5628] ppid=5623 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5628/stat : 5628 (toysat) S 5623 5626 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1987896 1427705856 290593 33554432000 4194304 16246674 140733276223200 140023970110704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5626/tid=5629] ppid=5623 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5629/stat : 5629 (toysat) S 5623 5626 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1987897 1427705856 290593 33554432000 4194304 16246674 140733276223200 140023852690608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.96 Current children cumulated vsize (KiB) 1394244 [startup+1602.3 s] /proc/loadavg: 2.01 2.01 1.98 3/184 5708 /proc/meminfo: memFree=28058672/32872528 swapFree=7620/7620 [pid=5626] ppid=5623 vsize=1394244 CPUtime=1601.94 cores=0,2,4,6 /proc/5626/stat : 5626 (toysat) R 5623 5626 5453 0 -1 4202496 289486 0 0 0 160113 81 0 0 20 0 4 0 1987896 1427705856 290593 33554432000 4194304 16246674 140733276223200 140733276206200 5823709 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5626/statm: 348561 290593 921 2943 0 345455 0 [pid=5626/tid=5627] ppid=5623 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5627/stat : 5627 (toysat) S 5623 5626 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1987896 1427705856 290593 33554432000 4194304 16246674 140733276223200 140023980600560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5626/tid=5628] ppid=5623 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5628/stat : 5628 (toysat) S 5623 5626 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1987896 1427705856 290593 33554432000 4194304 16246674 140733276223200 140023970110704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5626/tid=5629] ppid=5623 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5629/stat : 5629 (toysat) S 5623 5626 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1987897 1427705856 290593 33554432000 4194304 16246674 140733276223200 140023852690608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.94 Current children cumulated vsize (KiB) 1394244 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 1.98 3/183 5709 /proc/meminfo: memFree=28058436/32872528 swapFree=7620/7620 [pid=5626] ppid=5623 vsize=1394244 CPUtime=1661.93 cores=0,2,4,6 /proc/5626/stat : 5626 (toysat) R 5623 5626 5453 0 -1 4202496 289486 0 0 0 166110 83 0 0 20 0 4 0 1987896 1427705856 290593 33554432000 4194304 16246674 140733276223200 140733276222296 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5626/statm: 348561 290593 921 2943 0 345455 0 [pid=5626/tid=5627] ppid=5623 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5627/stat : 5627 (toysat) S 5623 5626 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1987896 1427705856 290593 33554432000 4194304 16246674 140733276223200 140023980600560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5626/tid=5628] ppid=5623 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5628/stat : 5628 (toysat) S 5623 5626 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1987896 1427705856 290593 33554432000 4194304 16246674 140733276223200 140023970110704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5626/tid=5629] ppid=5623 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5629/stat : 5629 (toysat) S 5623 5626 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1987897 1427705856 290593 33554432000 4194304 16246674 140733276223200 140023852690608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.93 Current children cumulated vsize (KiB) 1394244 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.98 3/183 5710 /proc/meminfo: memFree=28058428/32872528 swapFree=7620/7620 [pid=5626] ppid=5623 vsize=1394244 CPUtime=1721.92 cores=0,2,4,6 /proc/5626/stat : 5626 (toysat) R 5623 5626 5453 0 -1 4202496 289486 0 0 0 172104 88 0 0 20 0 4 0 1987896 1427705856 290593 33554432000 4194304 16246674 140733276223200 140733276205120 5675115 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5626/statm: 348561 290593 921 2943 0 345455 0 [pid=5626/tid=5627] ppid=5623 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5627/stat : 5627 (toysat) S 5623 5626 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1987896 1427705856 290593 33554432000 4194304 16246674 140733276223200 140023980600560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5626/tid=5628] ppid=5623 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5628/stat : 5628 (toysat) S 5623 5626 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1987896 1427705856 290593 33554432000 4194304 16246674 140733276223200 140023970110704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5626/tid=5629] ppid=5623 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5629/stat : 5629 (toysat) S 5623 5626 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1987897 1427705856 290593 33554432000 4194304 16246674 140733276223200 140023852690608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.92 Current children cumulated vsize (KiB) 1394244 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.98 3/184 5712 /proc/meminfo: memFree=28057800/32872528 swapFree=7620/7620 [pid=5626] ppid=5623 vsize=1394244 CPUtime=1781.91 cores=0,2,4,6 /proc/5626/stat : 5626 (toysat) R 5623 5626 5453 0 -1 4202496 289486 0 0 0 178103 88 0 0 20 0 4 0 1987896 1427705856 290593 33554432000 4194304 16246674 140733276223200 140733276205120 5672743 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5626/statm: 348561 290593 921 2943 0 345455 0 [pid=5626/tid=5627] ppid=5623 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5627/stat : 5627 (toysat) S 5623 5626 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1987896 1427705856 290593 33554432000 4194304 16246674 140733276223200 140023980600560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5626/tid=5628] ppid=5623 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5628/stat : 5628 (toysat) S 5623 5626 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1987896 1427705856 290593 33554432000 4194304 16246674 140733276223200 140023970110704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5626/tid=5629] ppid=5623 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5629/stat : 5629 (toysat) S 5623 5626 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1987897 1427705856 290593 33554432000 4194304 16246674 140733276223200 140023852690608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 1394244 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.00 2.00 1.98 3/184 5712 /proc/meminfo: memFree=28057804/32872528 swapFree=7620/7620 [pid=5626] ppid=5623 vsize=1394244 CPUtime=1800 cores=0,2,4,6 /proc/5626/stat : 5626 (toysat) R 5623 5626 5453 0 -1 4202496 289486 0 0 0 179912 88 0 0 20 0 4 0 1987896 1427705856 290593 33554432000 4194304 16246674 140733276223200 140733276205120 6024784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5626/statm: 348561 290593 921 2943 0 345455 0 [pid=5626/tid=5627] ppid=5623 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5627/stat : 5627 (toysat) S 5623 5626 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1987896 1427705856 290593 33554432000 4194304 16246674 140733276223200 140023980600560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5626/tid=5628] ppid=5623 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5628/stat : 5628 (toysat) S 5623 5626 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1987896 1427705856 290593 33554432000 4194304 16246674 140733276223200 140023970110704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5626/tid=5629] ppid=5623 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/5626/task/5629/stat : 5629 (toysat) S 5623 5626 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1987897 1427705856 290593 33554432000 4194304 16246674 140733276223200 140023852690608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1394244 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 5626 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.41 CPU time (s): 1800.02 CPU user time (s): 1799.13 CPU system time (s): 0.886865 CPU usage (%): 99.9785 Max. virtual memory (cumulated for all children) (KiB): 1394244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.13 system time used= 0.886865 maximum resident set size= 1162372 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 289486 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= 230 involuntary context switches= 1913 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.38818 second user time and 8.36973 second system time The end
Begin job on node106 at 2016-06-29 16:35:18 IDJOB=4117375 IDBENCH=111568 IDSOLVER=2542 FILE ID=node106/4117375-1467210918 RUNJOBID= node106-1467209087-5469 PBS_JOBID= 19997588 Free space on /tmp= 71748 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-may6.5.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4117375-1467210918/watcher-4117375-1467210918 -o /tmp/evaluation-result-4117375-1467210918/solver-4117375-1467210918 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467209087-5469 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117375-1467210918.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4d0ab0e21e33b4b293402220cb1f9594 RANDOM SEED=406864846 node106.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.495 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.99 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.495 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.495 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.495 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.495 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.56 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.495 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.495 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.495 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: 30418004 kB Buffers: 95224 kB Cached: 1578916 kB SwapCached: 0 kB Active: 1129336 kB Inactive: 560964 kB Active(anon): 18496 kB Inactive(anon): 0 kB Active(file): 1110840 kB Inactive(file): 560964 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 17576 kB Writeback: 0 kB AnonPages: 23532 kB Mapped: 15088 kB Shmem: 204 kB Slab: 626028 kB SReclaimable: 68888 kB SUnreclaim: 557140 kB KernelStack: 1384 kB PageTables: 3432 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 108584 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 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 node106 at 2016-06-29 17:05:18