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.04 | 1800.41 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/ EmployeeScheduling/normalized-jun6.5.opb |
| MD5SUM | ee482ad52a229e6d084bd579d92cf8a7 |
| 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 | 670 |
| Best CPU time to get the best result obtained on this benchmark | 34.4468 |
| 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 | 9324 |
| Total number of constraints | 28660 |
| Number of constraints which are clauses | 26659 |
| Number of constraints which are cardinality constraints (but not clauses) | 237 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1764 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 240 |
| 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:55:10+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-4117411-1467212110.opb"] 0.00/0.01 c use --random-gen="1249250723 1642308739 3845490056 889234740 170560831 1013058428 77161708 4167446613 1187434361 1823214123 197262032 683410720 1165900894 1120807204 3096918147 3693927597 2871322783 3451204699 4183640812 102241566 3645542933 1356481567 3236237174 2506293821 906646231 2406119811 2374889347 1808587941 1137338550 2941833352 1000855431 2291690707 2854999157 1377677376 577965787 2539961406 134944985 3312467634 1852526860 45477780 3684352263 2132178251 882567144 1042791242 983861183 3656411365 588285402 2581059867 351071423 3900430441 3664860313 2088485552 3264455598 1505744299 1208733246 3119540689 1452691101 2715850728 1738590730 920101026 714239725 4291433098 3804686591 1832077656 243166843 1579880926 904811279 1079230798 2709384930 4256641282 4231910902 3184314473 4204711637 78796312 3787137714 2127909884 832571525 877559129 2873052836 3119071139 3929227478 1007793199 749361431 916820382 1097203302 1275212420 2218849814 1139864850 2434560058 3956307070 3166277580 1267750889 555116153 2400550049 3456012639 337108835 1473337009 1549877166 2791619007 42646227 1491836997 3042585365 1736775920 1519567460 2173691650 932878557 3775939470 548499790 306146074 4268446086 1240518473 2585636663 613421866 1733616709 2274603892 2469895821 3405496954 1447791374 1490049095 4283642053 3020729042 1148111617 2331914686 1663078754 2270124627 3915381944 888143526 1160913228 1905718497 1644465772 1581961633 2380110824 1802930276 1310661144 3337015099 1556041963 2684745135 1519606355 3817240061 3825807923 1475295807 1242674087 1735525573 317449473 3075860505 389592816 3457151145 4056689754 2312808761 4240295406 781298172 2002688426 1156999895 2980250317 299344797 3054573786 1845818935 885130484 3348403522 3983968649 1624275297 1864848285 3112272043 2357272872 3705165682 4167334044 1971362921 960471093 678465154 1355202522 1813703929 1881877895 2053225431 3663992269 3509612888 4026229961 44124433 3914496188 2890778907 975869043 1115298306 3071554117 1090084855 2748089380 3817165633 4203327355 3426318913 3067145055 3878046844 3772541499 830983091 1964003263 2805617276 3445130366 910093982 2860447952 3192869101 119841705 2608966100 3078970941 1633357702 44004671 2724976631 4150352157 1472168407 1332208440 1387541075 4161583801 4202020647 2362764622 3217916880 2465461475 393910842 713195382 1762516788 1402526746 647021173 857745898 1101764875 4288378332 1316537190 4200367728 1729791917 2834551697 301388566 1351914345 1495085710 1986362730 2738451178 1424344623 3435222220 154769510 3880507186 1007333669 4027252209 1123453789 1892559687 2822380209 1794525799 2635295866 2271626306 4277011517 3123171835 2478229046 2557563206 3620018599 97766831 2115751367 730697909 3771221886 536958134 3672378146 611592898 844668706 594636370 172600923 255 362436" option to reproduce the execution 0.19/0.22 c #vars 9324 0.19/0.22 c #constraints 28660 0.59/0.64 c BCD2: Hardening is enabled. 0.59/0.64 c BCD2: BiasedSearch is enabled. 0.59/0.64 c Solving starts ... 0.59/0.64 c ============================[ Search Statistics ]============================ 0.59/0.64 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.64 c | | | | Limit GC | Var | Constra 0.59/0.64 c ============================================================================= 0.59/0.64 c 0.0s | 0 | 0 | 0 | 12661 0 | 0 | 0 0.69/0.72 c 0.1s | 1 | 1349 | 100 | 12661 0 | 0 | 0 0.69/0.79 c 0.2s | 2 | 3608 | 250 | 13928 0 | 0 | 0 1.09/1.12 c 0.5s | 3 | 31223 | 475 | 15321 0 | 0 | 0 1.19/1.23 c 0.6s | 4 | 33441 | 813 | 16854 0 | 0 | 0 1.49/1.50 c 0.9s | 5 | 49072 | 1320 | 18540 0 | 0 | 0 1.69/1.71 c 1.1s | 6 | 54403 | 2081 | 22434 0 | 0 | 0 1.99/2.06 c 1.4s | 7 | 64799 | 3223 | 24678 0 | 0 | 0 2.39/2.45 c 1.8s | 8 | 79671 | 4936 | 27146 0 | 0 | 0 2.89/2.94 c 2.3s | 9 | 85391 | 7506 | 29861 0 | 0 | 0 3.99/4.08 c 3.4s | 9 | 190482 | 8428 | 29861 0 | 0 | 0 3.99/4.08 c #cpu_time = 3.428s 3.99/4.08 c #wall_clock_time = 3.437s 3.99/4.08 c #decision = 190482 3.99/4.08 c #random_decision = 635 3.99/4.08 c #conflict = 8428 3.99/4.08 c #restart = 9 3.99/4.08 o 2110 3.99/4.08 c BCD2: refineUB: 2109 -> 2090 3.99/4.08 c BCD2: updating upper bound: 2110 -> 2090 3.99/4.08 c BCD2: 0 <= obj <= 2090 3.99/4.08 c BCD2: #cores=0, #unrelaxed=26, #relaxed=0, #hardened=0 3.99/4.08 c BCD2: #sat=1 #unsat=1 bias=1/2 3.99/4.08 c Solving starts ... 3.99/4.08 c ============================[ Search Statistics ]============================ 3.99/4.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.99/4.08 c | | | | Limit GC | Var | Constra 3.99/4.08 c ============================================================================= 3.99/4.08 c 0.0s | 0 | 0 | 0 | 29861 0 | 0 | 0 4.09/4.14 c 0.1s | 1 | 261 | 100 | 29861 0 | 0 | 0 4.19/4.23 c 0.2s | 2 | 441 | 250 | 29861 0 | 0 | 0 4.29/4.33 c 0.3s | 3 | 705 | 475 | 29861 0 | 0 | 0 4.50/4.55 c 0.4s | 4 | 1072 | 813 | 29861 0 | 0 | 0 4.59/4.65 c 0.6s | 5 | 1638 | 1320 | 29861 0 | 0 | 0 4.89/4.90 c 0.8s | 6 | 2486 | 2081 | 29861 0 | 0 | 0 5.29/5.31 c 1.2s | 7 | 3767 | 3223 | 32848 0 | 0 | 0 5.89/5.90 c 1.8s | 8 | 5646 | 4936 | 32848 0 | 0 | 0 6.89/6.97 c 2.9s | 9 | 8427 | 7506 | 32848 0 | 0 | 0 7.09/7.12 c 3.0s | 9 | 8676 | 7716 | 32848 0 | 0 | 0 7.09/7.12 c #cpu_time = 3.029s 7.09/7.12 c #wall_clock_time = 3.037s 7.09/7.12 c #decision = 8676 7.09/7.12 c #random_decision = 31 7.09/7.12 c #conflict = 7716 7.09/7.12 c #restart = 9 7.09/7.12 c BCD2: found a new core of size 13: cost of the new core is >=20 7.09/7.12 c lower bound updated to 20 7.09/7.12 c BCD2: refineUB: 2109 -> 2090 7.09/7.12 c BCD2: 20 <= obj <= 2090 7.09/7.12 c BCD2: #cores=1, #unrelaxed=13, #relaxed=13, #hardened=0 7.09/7.12 c BCD2: #sat=1 #unsat=2 bias=2/3 7.09/7.12 c Solving starts ... 7.09/7.12 c ============================[ Search Statistics ]============================ 7.09/7.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.09/7.12 c | | | | Limit GC | Var | Constra 7.09/7.12 c ============================================================================= 7.09/7.12 c 0.0s | 0 | 0 | 0 | 32848 0 | 0 | 0 7.09/7.19 c 0.1s | 0 | 13 | 0 | 32848 0 | 0 | 0 7.09/7.19 c #cpu_time = 0.071s 7.09/7.19 c #wall_clock_time = 0.071s 7.09/7.19 c #decision = 13 7.09/7.19 c #random_decision = 0 7.09/7.19 c #conflict = 0 7.09/7.19 c #restart = 0 7.09/7.19 c BCD2: found a new core of size 13: cost of the new core is >=50 7.09/7.19 c lower bound updated to 70 7.09/7.19 c BCD2: refineUB: 2109 -> 2090 7.09/7.19 c BCD2: 70 <= obj <= 2090 7.09/7.19 c BCD2: #cores=2, #unrelaxed=0, #relaxed=26, #hardened=0 7.09/7.19 c BCD2: #sat=1 #unsat=3 bias=3/4 7.09/7.19 c Solving starts ... 7.09/7.19 c ============================[ Search Statistics ]============================ 7.09/7.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.09/7.19 c | | | | Limit GC | Var | Constra 7.09/7.19 c ============================================================================= 7.09/7.19 c 0.0s | 0 | 0 | 0 | 32848 0 | 0 | 0 7.29/7.30 c 0.1s | 1 | 181 | 100 | 32848 0 | 0 | 0 7.39/7.49 c 0.3s | 2 | 8877 | 250 | 32848 0 | 0 | 0 7.80/7.87 c 0.7s | 2 | 42436 | 307 | 32848 0 | 0 | 0 7.80/7.87 c #cpu_time = 0.669s 7.80/7.87 c #wall_clock_time = 0.671s 7.80/7.87 c #decision = 42436 7.80/7.87 c #random_decision = 128 7.80/7.87 c #conflict = 307 7.80/7.87 c #restart = 2 7.80/7.87 o 1550 7.80/7.87 c BCD2: refineUB: 1549 -> 1540 7.80/7.87 c BCD2: updating upper bound: 2090 -> 1540 7.80/7.87 c BCD2: 70 <= obj <= 1540 7.80/7.87 c BCD2: #cores=2, #unrelaxed=0, #relaxed=26, #hardened=0 7.80/7.87 c BCD2: #sat=2 #unsat=3 bias=3/5 7.80/7.87 c Solving starts ... 7.80/7.87 c ============================[ Search Statistics ]============================ 7.80/7.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.80/7.87 c | | | | Limit GC | Var | Constra 7.80/7.87 c ============================================================================= 7.80/7.87 c 0.0s | 0 | 0 | 0 | 32848 0 | 0 | 0 7.99/8.00 c 0.1s | 1 | 402 | 100 | 32848 0 | 0 | 0 8.39/8.44 c 0.6s | 2 | 32385 | 250 | 32848 0 | 0 | 0 8.90/8.91 c 1.0s | 2 | 63574 | 320 | 32848 0 | 0 | 0 8.90/8.91 c #cpu_time = 1.024s 8.90/8.91 c #wall_clock_time = 1.027s 8.90/8.91 c #decision = 63574 8.90/8.91 c #random_decision = 176 8.90/8.91 c #conflict = 320 8.90/8.91 c #restart = 2 8.90/8.91 o 870 8.90/8.91 c BCD2: refineUB: 869 -> 860 8.90/8.91 c BCD2: updating upper bound: 1540 -> 860 8.90/8.91 c BCD2: 70 <= obj <= 860 8.90/8.91 c BCD2: #cores=2, #unrelaxed=0, #relaxed=26, #hardened=0 8.90/8.91 c BCD2: #sat=3 #unsat=3 bias=3/6 8.90/8.91 c Solving starts ... 8.90/8.91 c ============================[ Search Statistics ]============================ 8.90/8.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 8.90/8.91 c | | | | Limit GC | Var | Constra 8.90/8.91 c ============================================================================= 8.90/8.91 c 0.0s | 0 | 0 | 0 | 32848 0 | 0 | 1 8.99/9.00 c 0.1s | 1 | 556 | 100 | 32848 0 | 0 | 1 9.09/9.15 c 0.2s | 2 | 2879 | 250 | 32848 0 | 0 | 1 9.19/9.27 c 0.4s | 3 | 3619 | 475 | 36133 0 | 0 | 1 9.39/9.46 c 0.5s | 4 | 6559 | 813 | 36133 0 | 0 | 1 10.00/10.06 c 1.1s | 5 | 7223 | 1320 | 36133 0 | 0 | 1 10.89/11.00 c 2.1s | 6 | 8186 | 2081 | 36133 0 | 0 | 1 12.79/12.87 c 4.0s | 7 | 9419 | 3223 | 36133 0 | 0 | 1 14.89/14.93 c 6.0s | 7 | 10652 | 4323 | 36133 0 | 0 | 1 15.69/15.74 c 6.8s | 8 | 11529 | 4936 | 36133 0 | 0 | 1 17.89/17.92 c 9.0s | 8 | 13243 | 6236 | 36133 0 | 0 | 1 19.99/20.09 c 11.2s | 8 | 14287 | 7236 | 36133 0 | 0 | 1 20.59/20.68 c 11.8s | 9 | 14564 | 7506 | 36133 0 | 0 | 1 22.69/22.70 c 13.8s | 9 | 15893 | 8706 | 36133 0 | 0 | 1 24.69/24.71 c 15.8s | 9 | 17213 | 9906 | 39747 0 | 0 | 1 26.49/26.56 c 17.7s | 10 | 18856 | 11361 | 39747 0 | 0 | 1 28.69/28.74 c 19.8s | 10 | 20633 | 12361 | 39747 0 | 0 | 1 30.79/30.80 c 21.9s | 10 | 21449 | 13161 | 39747 0 | 0 | 1 32.99/33.04 c 24.1s | 10 | 22484 | 14161 | 39747 0 | 0 | 1 35.29/35.40 c 26.5s | 10 | 23584 | 15261 | 39747 0 | 0 | 1 37.49/37.56 c 28.6s | 10 | 24741 | 16361 | 39747 0 | 0 | 1 38.68/38.70 c 29.8s | 11 | 25547 | 17144 | 39747 0 | 0 | 1 40.79/40.89 c 32.0s | 11 | 26211 | 17744 | 39747 0 | 0 | 1 42.99/43.07 c 34.2s | 11 | 27130 | 18644 | 39747 0 | 0 | 1 44.98/45.09 c 36.2s | 11 | 28071 | 19544 | 39747 0 | 0 | 1 47.18/47.23 c 38.3s | 11 | 29216 | 20644 | 39747 0 | 0 | 1 49.28/49.35 c 40.4s | 11 | 30263 | 21644 | 39747 0 | 0 | 1 51.38/51.43 c 42.5s | 11 | 31518 | 22844 | 43722 0 | 0 | 1 53.58/53.60 c 44.7s | 11 | 32776 | 24044 | 43722 0 | 0 | 1 55.68/55.76 c 46.8s | 11 | 33918 | 25144 | 43722 0 | 0 | 1 57.19/57.24 c 48.3s | 12 | 34626 | 25819 | 43722 0 | 0 | 1 59.18/59.26 c 50.4s | 12 | 35066 | 26219 | 43722 0 | 0 | 1 61.48/61.51 c 52.6s | 12 | 35684 | 26819 | 43722 0 | 0 | 1 63.58/63.68 c 54.8s | 12 | 36313 | 27419 | 43722 1 | 0 | 1 65.68/65.74 c 56.8s | 12 | 37010 | 28119 | 43722 1 | 0 | 1 67.78/67.87 c 59.0s | 12 | 37832 | 28919 | 43722 1 | 0 | 1 69.98/70.00 c 61.1s | 12 | 38757 | 29819 | 43722 1 | 0 | 1 71.98/72.03 c 63.1s | 12 | 39684 | 30719 | 43722 1 | 0 | 1 74.08/74.14 c 65.2s | 12 | 40419 | 31419 | 43722 1 | 0 | 1 76.08/76.17 c 67.3s | 12 | 41229 | 32219 | 43722 1 | 0 | 1 78.08/78.19 c 69.3s | 12 | 42020 | 33019 | 43722 1 | 0 | 1 80.28/80.36 c 71.5s | 12 | 42856 | 33819 | 43722 1 | 0 | 1 82.37/82.42 c 73.5s | 12 | 43980 | 34919 | 43722 1 | 0 | 1 84.47/84.56 c 75.7s | 12 | 45043 | 35919 | 43722 1 | 0 | 1 86.56/86.63 c 77.7s | 12 | 46087 | 36919 | 43722 1 | 0 | 1 88.66/88.75 c 79.8s | 12 | 46961 | 37719 | 43722 1 | 0 | 1 90.76/90.88 c 82.0s | 12 | 47844 | 38519 | 43722 1 | 0 | 1 91.66/91.75 c 82.8s | 13 | 48161 | 38832 | 43722 1 | 0 | 1 93.86/93.90 c 85.0s | 13 | 48831 | 39432 | 43722 1 | 0 | 1 95.96/96.02 c 87.1s | 13 | 49677 | 40232 | 43722 1 | 0 | 1 98.16/98.20 c 89.3s | 13 | 50305 | 40832 | 43722 1 | 0 | 1 100.26/100.35 c 91.4s | 13 | 51234 | 41732 | 48095 1 | 0 | 1 102.37/102.46 c 93.5s | 13 | 52085 | 42532 | 48095 1 | 0 | 1 104.47/104.56 c 95.7s | 13 | 52931 | 43332 | 48095 1 | 0 | 1 106.46/106.59 c 97.7s | 13 | 53682 | 44032 | 48095 1 | 0 | 1 108.56/108.61 c 99.7s | 13 | 54385 | 44732 | 48095 1 | 0 | 1 110.76/110.81 c 101s | 13 | 55221 | 45532 | 48095 1 | 0 | 1 112.96/113.07 c 104s | 13 | 56067 | 46332 | 48095 1 | 0 | 1 115.06/115.10 c 106s | 13 | 56984 | 47232 | 48095 1 | 0 | 1 117.15/117.28 c 108s | 13 | 57864 | 48032 | 48095 1 | 0 | 1 119.45/119.50 c 110s | 13 | 58864 | 48932 | 48095 1 | 0 | 1 121.65/121.76 c 112s | 13 | 59759 | 49732 | 48095 1 | 0 | 1 123.76/123.84 c 114s | 13 | 60679 | 50632 | 48095 1 | 0 | 1 125.96/126.09 c 117s | 13 | 61481 | 51432 | 48095 1 | 0 | 1 128.16/128.24 c 119s | 13 | 62093 | 52032 | 48095 1 | 0 | 1 130.26/130.37 c 121s | 13 | 62807 | 52732 | 48095 1 | 0 | 1 132.66/132.74 c 123s | 13 | 63757 | 53632 | 48095 2 | 0 | 1 135.36/135.49 c 126s | 13 | 64068 | 53932 | 48095 2 | 0 | 1 140.15/140.21 c 131s | 13 | 64170 | 54032 | 48095 2 | 0 | 1 142.15/142.23 c 133s | 13 | 64675 | 54532 | 48095 2 | 0 | 1 144.16/144.29 c 135s | 13 | 65407 | 55232 | 48095 2 | 0 | 1 146.26/146.40 c 137s | 13 | 66864 | 56632 | 48095 2 | 0 | 1 148.35/148.42 c 139s | 13 | 68321 | 58032 | 48095 2 | 0 | 1 148.75/148.87 c 139s | 14 | 68644 | 58352 | 48095 2 | 0 | 1 153.85/153.94 c 145s | 14 | 69318 | 58952 | 48095 2 | 0 | 1 155.95/156.06 c 147s | 14 | 70351 | 59952 | 48095 2 | 0 | 1 158.05/158.15 c 149s | 14 | 71208 | 60752 | 48095 2 | 0 | 1 160.24/160.33 c 151s | 14 | 72019 | 61552 | 48095 2 | 0 | 1 162.34/162.41 c 153s | 14 | 72953 | 62452 | 48095 2 | 0 | 1 164.34/164.48 c 155s | 14 | 73902 | 63352 | 48095 2 | 0 | 1 166.44/166.56 c 157s | 14 | 74839 | 64252 | 48095 2 | 0 | 1 168.54/168.64 c 159s | 14 | 75694 | 65052 | 48095 2 | 0 | 1 170.64/170.75 c 161s | 14 | 76779 | 66052 | 48095 2 | 0 | 1 172.84/172.99 c 164s | 14 | 77777 | 66952 | 48095 2 | 0 | 1 174.85/174.99 c 166s | 14 | 78585 | 67752 | 48095 2 | 0 | 1 176.94/177.04 c 168s | 14 | 79512 | 68652 | 48095 2 | 0 | 1 178.94/179.04 c 170s | 14 | 80569 | 69652 | 48095 2 | 0 | 1 181.04/181.17 c 172s | 14 | 81520 | 70552 | 52905 2 | 0 | 1 183.14/183.26 c 174s | 14 | 82502 | 71452 | 52905 2 | 0 | 1 185.54/185.60 c 176s | 14 | 83599 | 72452 | 52905 2 | 0 | 1 187.84/187.90 c 178s | 14 | 84531 | 73352 | 52905 2 | 0 | 1 189.84/189.93 c 181s | 14 | 85351 | 74152 | 52905 2 | 0 | 1 191.94/192.02 c 183s | 14 | 86369 | 75052 | 52905 2 | 0 | 1 194.04/194.11 c 185s | 14 | 87437 | 76052 | 52905 2 | 0 | 1 196.34/196.40 c 187s | 14 | 88360 | 76952 | 52905 2 | 0 | 1 198.33/198.43 c 189s | 14 | 89211 | 77752 | 52905 2 | 0 | 1 200.43/200.57 c 191s | 14 | 90059 | 78552 | 52905 2 | 0 | 1 202.63/202.71 c 193s | 14 | 91003 | 79452 | 52905 2 | 0 | 1 204.73/204.83 c 195s | 14 | 91773 | 80152 | 52905 2 | 0 | 1 206.84/206.97 c 198s | 14 | 92501 | 80852 | 52905 2 | 0 | 1 209.04/209.10 c 200s | 14 | 93393 | 81652 | 52905 2 | 0 | 1 211.03/211.13 c 202s | 14 | 94246 | 82452 | 52905 2 | 0 | 1 213.03/213.15 c 204s | 14 | 95348 | 83452 | 52905 2 | 0 | 1 216.64/216.74 c 207s | 14 | 95881 | 83952 | 52905 3 | 0 | 1 219.13/219.29 c 210s | 14 | 96534 | 84552 | 52905 3 | 0 | 1 232.13/232.27 c 223s | 14 | 96890 | 84852 | 52905 3 | 0 | 1 234.13/234.30 c 225s | 14 | 97718 | 85652 | 52905 3 | 0 | 1 236.33/236.46 c 227s | 14 | 98768 | 86652 | 52905 3 | 0 | 1 238.53/238.67 c 229s | 14 | 99482 | 87352 | 52905 3 | 0 | 1 239.23/239.33 c 230s | 15 | 99783 | 87632 | 52905 3 | 0 | 1 241.33/241.42 c 232s | 15 | 100997 | 88632 | 52905 3 | 0 | 1 243.33/243.43 c 234s | 15 | 101947 | 89532 | 52905 3 | 0 | 1 245.42/245.53 c 236s | 15 | 103053 | 90632 | 52905 3 | 0 | 1 247.62/247.79 c 238s | 15 | 104276 | 91732 | 52905 3 | 0 | 1 249.82/249.94 c 241s | 15 | 105783 | 93132 | 52905 3 | 0 | 1 251.93/252.03 c 243s | 15 | 107032 | 94232 | 52905 3 | 0 | 1 254.03/254.15 c 245s | 15 | 108590 | 95632 | 52905 3 | 0 | 1 256.12/256.28 c 247s | 15 | 109984 | 96932 | 52905 3 | 0 | 1 258.22/258.31 c 249s | 15 | 111182 | 98032 | 52905 3 | 0 | 1 260.52/260.62 c 251s | 15 | 112378 | 99132 | 52905 3 | 0 | 1 262.83/262.94 c 254s | 15 | 113035 | 99732 | 52905 3 | 0 | 1 264.82/264.97 c 256s | 15 | 113334 | 100032 | 52905 3 | 0 | 1 267.42/267.54 c 258s | 15 | 113732 | 100432 | 52905 3 | 0 | 1 269.43/269.58 c 260s | 15 | 114041 | 100732 | 52905 3 | 0 | 1 271.73/271.84 c 262s | 15 | 114464 | 101132 | 52905 3 | 0 | 1 273.72/273.85 c 264s | 15 | 115176 | 101832 | 52905 3 | 0 | 1 275.92/276.03 c 267s | 15 | 116151 | 102732 | 52905 3 | 0 | 1 278.02/278.16 c 269s | 15 | 116877 | 103432 | 52905 3 | 0 | 1 280.53/280.60 c 271s | 15 | 117509 | 104032 | 52905 3 | 0 | 1 282.73/282.83 c 273s | 15 | 118132 | 104632 | 52905 3 | 0 | 1 284.92/285.04 c 276s | 15 | 118729 | 105232 | 52905 3 | 0 | 1 286.92/287.08 c 278s | 15 | 119340 | 105832 | 52905 3 | 0 | 1 289.12/289.28 c 280s | 15 | 119948 | 106432 | 52905 3 | 0 | 1 291.12/291.29 c 282s | 15 | 120463 | 106932 | 52905 3 | 0 | 1 293.42/293.53 c 284s | 15 | 120961 | 107432 | 52905 3 | 0 | 1 295.82/295.93 c 287s | 15 | 121566 | 108032 | 52905 3 | 0 | 1 298.21/298.31 c 289s | 15 | 122178 | 108632 | 52905 3 | 0 | 1 300.32/300.41 c 291s | 15 | 122682 | 109132 | 52905 3 | 0 | 1 302.31/302.44 c 293s | 15 | 123197 | 109632 | 52905 3 | 0 | 1 307.02/307.14 c 298s | 15 | 123603 | 110032 | 52905 4 | 0 | 1 312.92/313.02 c 304s | 15 | 123703 | 110132 | 52905 4 | 0 | 1 315.02/315.10 c 306s | 15 | 124614 | 111032 | 52905 4 | 0 | 1 317.02/317.19 c 308s | 15 | 125532 | 111932 | 52905 4 | 0 | 1 319.12/319.24 c 310s | 15 | 126351 | 112732 | 52905 4 | 0 | 1 321.22/321.34 c 312s | 15 | 127168 | 113532 | 52905 4 | 0 | 1 323.42/323.56 c 314s | 15 | 128111 | 114432 | 58196 4 | 0 | 1 325.62/325.70 c 316s | 15 | 128934 | 115232 | 58196 4 | 0 | 1 327.82/327.95 c 319s | 15 | 129845 | 116132 | 58196 4 | 0 | 1 330.02/330.12 c 321s | 15 | 130567 | 116832 | 58196 4 | 0 | 1 332.22/332.39 c 323s | 15 | 131593 | 117832 | 58196 4 | 0 | 1 334.32/334.43 c 325s | 15 | 132206 | 118432 | 58196 4 | 0 | 1 336.71/336.87 c 327s | 15 | 133039 | 119232 | 58196 4 | 0 | 1 338.91/339.09 c 330s | 15 | 133763 | 119932 | 58196 4 | 0 | 1 341.31/341.42 c 332s | 15 | 134590 | 120732 | 58196 4 | 0 | 1 343.51/343.64 c 334s | 15 | 135306 | 121432 | 58196 4 | 0 | 1 345.51/345.69 c 336s | 15 | 135923 | 122032 | 58196 4 | 0 | 1 347.61/347.79 c 338s | 15 | 136533 | 122632 | 58196 4 | 0 | 1 349.91/350.02 c 341s | 15 | 137251 | 123332 | 58196 4 | 0 | 1 352.21/352.32 c 343s | 15 | 137969 | 124032 | 58196 4 | 0 | 1 354.21/354.38 c 345s | 15 | 138591 | 124632 | 58196 4 | 0 | 1 356.50/356.64 c 347s | 15 | 139307 | 125332 | 58196 4 | 0 | 1 445.39/445.57 c 436s | 15 | 139740 | 125732 | 58196 4 | 0 | 1 447.69/447.88 c 438s | 15 | 140143 | 126132 | 58196 4 | 0 | 1 449.79/449.93 c 441s | 15 | 140783 | 126732 | 58196 4 | 0 | 1 451.78/451.98 c 443s | 15 | 141533 | 127432 | 58196 4 | 0 | 1 453.88/454.07 c 445s | 15 | 142368 | 128232 | 58196 4 | 0 | 1 456.28/456.44 c 447s | 15 | 143109 | 128932 | 58196 4 | 0 | 1 458.59/458.75 c 449s | 15 | 143850 | 129632 | 58196 4 | 0 | 1 460.68/460.88 c 451s | 15 | 144355 | 130132 | 58196 4 | 0 | 1 462.88/463.09 c 454s | 15 | 144880 | 130632 | 58196 4 | 0 | 1 465.08/465.25 c 456s | 15 | 145518 | 131232 | 58196 4 | 0 | 1 466.08/466.20 c 457s | 16 | 145832 | 131552 | 58196 4 | 0 | 1 468.38/468.55 c 459s | 16 | 146379 | 132052 | 58196 4 | 0 | 1 470.48/470.67 c 461s | 16 | 147027 | 132652 | 58196 4 | 0 | 1 472.68/472.88 c 463s | 16 | 147802 | 133352 | 58196 4 | 0 | 1 474.98/475.12 c 466s | 16 | 148316 | 133852 | 58196 4 | 0 | 1 477.07/477.29 c 468s | 16 | 148968 | 134452 | 58196 4 | 0 | 1 479.37/479.57 c 470s | 16 | 149538 | 134952 | 58196 4 | 0 | 1 481.47/481.60 c 472s | 16 | 150177 | 135552 | 58196 4 | 0 | 1 483.67/483.85 c 474s | 16 | 150866 | 136152 | 58196 4 | 0 | 1 485.97/486.15 c 477s | 16 | 151598 | 136652 | 58196 4 | 0 | 1 488.17/488.31 c 479s | 16 | 152198 | 137052 | 58196 4 | 0 | 1 490.37/490.55 c 481s | 16 | 152731 | 137452 | 58196 4 | 0 | 1 492.77/492.95 c 484s | 16 | 153678 | 137952 | 58196 4 | 0 | 1 495.47/495.61 c 486s | 16 | 154177 | 138452 | 58196 4 | 0 | 1 497.66/497.88 c 488s | 16 | 154570 | 138852 | 58196 4 | 0 | 1 499.76/499.95 c 491s | 16 | 155075 | 139252 | 58196 4 | 0 | 1 501.76/501.97 c 493s | 16 | 155396 | 139552 | 58196 4 | 0 | 1 503.96/504.18 c 495s | 16 | 156099 | 140152 | 58196 4 | 0 | 1 506.56/506.70 c 497s | 16 | 156706 | 140652 | 58196 4 | 0 | 1 508.56/508.75 c 499s | 16 | 157135 | 141052 | 58196 4 | 0 | 1 512.57/512.73 c 503s | 16 | 157786 | 141652 | 58196 5 | 0 | 1 515.86/516.08 c 507s | 16 | 157956 | 141752 | 58196 5 | 0 | 1 518.66/518.84 c 509s | 16 | 158163 | 141852 | 58196 5 | 0 | 1 520.75/520.94 c 512s | 16 | 159487 | 142652 | 58196 5 | 0 | 1 549.96/550.19 c 541s | 16 | 159798 | 142852 | 58196 5 | 0 | 1 552.16/552.32 c 543s | 16 | 161415 | 143952 | 58196 5 | 0 | 1 554.36/554.50 c 545s | 16 | 163119 | 144752 | 58196 5 | 0 | 1 556.46/556.68 c 547s | 16 | 164597 | 145552 | 58196 5 | 0 | 1 558.65/558.82 c 549s | 16 | 165352 | 146052 | 58196 5 | 0 | 1 560.95/561.16 c 552s | 16 | 166183 | 146552 | 58196 5 | 0 | 1 563.15/563.35 c 554s | 16 | 167352 | 147052 | 58196 5 | 0 | 1 565.54/565.78 c 556s | 16 | 167768 | 147452 | 58196 5 | 0 | 1 567.74/567.92 c 559s | 16 | 168264 | 147952 | 58196 5 | 0 | 1 569.84/570.00 c 561s | 16 | 168915 | 148552 | 58196 5 | 0 | 1 572.24/572.44 c 563s | 16 | 169470 | 149052 | 58196 5 | 0 | 1 574.24/574.45 c 565s | 16 | 170090 | 149652 | 58196 5 | 0 | 1 576.25/576.47 c 567s | 16 | 171211 | 150452 | 58196 5 | 0 | 1 578.34/578.50 c 569s | 16 | 172882 | 151452 | 58196 5 | 0 | 1 586.53/586.75 c 577s | 16 | 174536 | 152352 | 58196 5 | 0 | 1 588.63/588.82 c 579s | 16 | 176252 | 153452 | 58196 5 | 0 | 1 591.03/591.21 c 582s | 16 | 177008 | 154052 | 58196 5 | 0 | 1 593.13/593.38 c 584s | 16 | 177664 | 154552 | 58196 5 | 0 | 1 595.23/595.45 c 586s | 16 | 178835 | 155152 | 58196 5 | 0 | 1 597.32/597.51 c 588s | 16 | 180359 | 155852 | 58196 5 | 0 | 1 599.62/599.80 c 590s | 16 | 181938 | 156552 | 58196 5 | 0 | 1 601.72/601.99 c 593s | 16 | 183470 | 157252 | 58196 5 | 0 | 1 604.02/604.22 c 595s | 16 | 184834 | 157952 | 58196 5 | 0 | 1 606.12/606.34 c 597s | 16 | 185971 | 158552 | 58196 5 | 0 | 1 608.42/608.60 c 599s | 16 | 187255 | 159252 | 58196 5 | 0 | 1 610.43/610.70 c 601s | 16 | 188675 | 159852 | 58196 5 | 0 | 1 612.63/612.82 c 603s | 16 | 189599 | 160352 | 58196 5 | 0 | 1 615.02/615.29 c 606s | 16 | 190130 | 160852 | 58196 5 | 0 | 1 617.42/617.60 c 608s | 16 | 190531 | 161252 | 58196 5 | 0 | 1 619.42/619.67 c 610s | 16 | 190961 | 161652 | 58196 5 | 0 | 1 621.92/622.14 c 613s | 16 | 192562 | 162952 | 58196 5 | 0 | 1 624.22/624.42 c 615s | 16 | 193859 | 163552 | 58196 5 | 0 | 1 626.32/626.59 c 617s | 16 | 195168 | 164152 | 58196 5 | 0 | 1 628.51/628.75 c 619s | 16 | 196700 | 165152 | 58196 5 | 0 | 1 630.61/630.87 c 621s | 16 | 197970 | 166352 | 58196 5 | 0 | 1 632.81/633.03 c 624s | 16 | 199075 | 167352 | 58196 5 | 0 | 1 634.81/635.05 c 626s | 16 | 200091 | 168152 | 58196 5 | 0 | 1 636.91/637.16 c 628s | 16 | 200974 | 168952 | 58196 5 | 0 | 1 638.92/639.17 c 630s | 16 | 201748 | 169552 | 58196 5 | 0 | 1 640.91/641.18 c 632s | 16 | 202600 | 170352 | 58196 5 | 0 | 1 643.01/643.23 c 634s | 16 | 203449 | 171152 | 58196 5 | 0 | 1 657.72/657.91 c 648s | 16 | 203609 | 171252 | 58196 6 | 0 | 1 659.92/660.14 c 651s | 16 | 204362 | 171752 | 58196 6 | 0 | 1 662.21/662.47 c 653s | 16 | 205005 | 172252 | 58196 6 | 0 | 1 664.71/664.92 c 656s | 16 | 205867 | 172752 | 58196 6 | 0 | 1 667.30/667.50 c 658s | 16 | 206524 | 173252 | 58196 6 | 0 | 1 669.50/669.78 c 660s | 16 | 207433 | 173752 | 58196 6 | 0 | 1 671.80/672.02 c 663s | 16 | 207855 | 174152 | 58196 6 | 0 | 1 673.90/674.17 c 665s | 16 | 208426 | 174652 | 58196 6 | 0 | 1 676.20/676.45 c 667s | 16 | 209647 | 175552 | 58196 6 | 0 | 1 678.51/678.71 c 669s | 16 | 210993 | 176352 | 58196 6 | 0 | 1 680.50/680.72 c 671s | 16 | 212219 | 177152 | 58196 6 | 0 | 1 735.29/735.51 c 726s | 16 | 212912 | 177652 | 58196 6 | 0 | 1 737.39/737.66 c 728s | 16 | 213537 | 178252 | 58196 6 | 0 | 1 739.69/739.91 c 730s | 16 | 214652 | 179152 | 58196 6 | 0 | 1 741.79/742.00 c 733s | 16 | 216175 | 180352 | 64016 6 | 0 | 1 743.79/744.01 c 735s | 16 | 217852 | 181752 | 64016 6 | 0 | 1 745.79/746.08 c 737s | 16 | 219311 | 183052 | 64016 6 | 0 | 1 747.89/748.13 c 739s | 16 | 220905 | 184352 | 64016 6 | 0 | 1 749.99/750.20 c 741s | 16 | 222357 | 185552 | 64016 6 | 0 | 1 751.98/752.22 c 743s | 16 | 223668 | 186752 | 64016 6 | 0 | 1 754.08/754.34 c 745s | 16 | 224946 | 187852 | 64016 6 | 0 | 1 756.18/756.43 c 747s | 16 | 226505 | 188952 | 64016 6 | 0 | 1 758.68/758.93 c 750s | 16 | 227503 | 189552 | 64016 6 | 0 | 1 760.99/761.28 c 752s | 16 | 228166 | 189852 | 64016 6 | 0 | 1 763.38/763.62 c 754s | 16 | 228776 | 190252 | 64016 6 | 0 | 1 765.98/766.25 c 757s | 16 | 229322 | 190652 | 64016 6 | 0 | 1 767.98/768.27 c 759s | 16 | 229687 | 190952 | 64016 6 | 0 | 1 770.38/770.60 c 761s | 16 | 230137 | 191352 | 64016 6 | 0 | 1 772.48/772.75 c 763s | 16 | 230825 | 191852 | 64016 6 | 0 | 1 774.88/775.13 c 766s | 16 | 231856 | 192752 | 64016 6 | 0 | 1 777.08/777.30 c 768s | 16 | 233416 | 193452 | 64016 6 | 0 | 1 779.08/779.36 c 770s | 16 | 234792 | 194252 | 64016 6 | 0 | 1 781.18/781.42 c 772s | 16 | 236487 | 195352 | 64016 6 | 0 | 1 784.38/784.63 c 775s | 16 | 237615 | 195952 | 64016 6 | 0 | 1 786.48/786.77 c 777s | 16 | 238089 | 196252 | 64016 6 | 0 | 1 788.49/788.78 c 779s | 16 | 238418 | 196552 | 64016 6 | 0 | 1 790.88/791.15 c 782s | 16 | 238848 | 196952 | 64016 6 | 0 | 1 793.48/793.77 c 784s | 16 | 239249 | 197352 | 64016 6 | 0 | 1 794.09/794.35 c 785s | 17 | 239331 | 197432 | 64016 6 | 0 | 1 796.29/796.58 c 787s | 17 | 240338 | 198332 | 64016 6 | 0 | 1 798.38/798.69 c 789s | 17 | 241043 | 199032 | 64016 6 | 0 | 1 800.48/800.76 c 791s | 17 | 241971 | 199932 | 64016 6 | 0 | 1 802.88/803.13 c 794s | 17 | 242821 | 200732 | 64016 6 | 0 | 1 805.18/805.48 c 796s | 17 | 243481 | 201332 | 64016 6 | 0 | 1 807.28/807.56 c 798s | 17 | 244207 | 202032 | 64016 6 | 0 | 1 809.38/809.68 c 800s | 17 | 245262 | 203032 | 64016 6 | 0 | 1 811.58/811.84 c 802s | 17 | 246419 | 204132 | 64016 6 | 0 | 1 813.58/813.85 c 804s | 17 | 247141 | 204832 | 64016 6 | 0 | 1 815.78/816.05 c 807s | 17 | 247951 | 205632 | 64016 6 | 0 | 1 818.07/818.36 c 809s | 17 | 248902 | 206532 | 64016 6 | 0 | 1 820.38/820.66 c 811s | 17 | 249730 | 207332 | 64016 6 | 0 | 1 823.69/824.00 c 815s | 17 | 250153 | 207732 | 64016 7 | 0 | 1 825.89/826.16 c 817s | 17 | 251609 | 209132 | 64016 7 | 0 | 1 827.88/828.17 c 819s | 17 | 252634 | 210132 | 64016 7 | 0 | 1 829.98/830.20 c 821s | 17 | 253994 | 211432 | 64016 7 | 0 | 1 832.67/832.97 c 824s | 17 | 255257 | 212632 | 64016 7 | 0 | 1 834.87/835.13 c 826s | 17 | 256405 | 213732 | 64016 7 | 0 | 1 836.88/837.17 c 828s | 17 | 257557 | 214832 | 64016 7 | 0 | 1 896.46/896.70 c 887s | 17 | 258411 | 215632 | 64016 7 | 0 | 1 898.47/898.79 c 889s | 17 | 259576 | 216732 | 64016 7 | 0 | 1 900.86/901.10 c 892s | 17 | 260134 | 217232 | 64016 7 | 0 | 1 903.06/903.37 c 894s | 17 | 260764 | 217832 | 64016 7 | 0 | 1 905.26/905.59 c 896s | 17 | 261589 | 218632 | 64016 7 | 0 | 1 907.56/907.83 c 898s | 17 | 262461 | 219432 | 64016 7 | 0 | 1 909.86/910.10 c 901s | 17 | 263298 | 220232 | 64016 7 | 0 | 1 911.96/912.21 c 903s | 17 | 264029 | 220932 | 64016 7 | 0 | 1 913.97/914.28 c 905s | 17 | 264903 | 221732 | 64016 7 | 0 | 1 916.07/916.33 c 907s | 17 | 265650 | 222432 | 64016 7 | 0 | 1 918.27/918.57 c 909s | 17 | 266537 | 223232 | 64016 7 | 0 | 1 920.36/920.66 c 911s | 17 | 267774 | 224432 | 64016 7 | 0 | 1 922.46/922.75 c 913s | 17 | 268838 | 225432 | 64016 7 | 0 | 1 924.56/924.85 c 915s | 17 | 269903 | 226432 | 64016 7 | 0 | 1 926.76/927.02 c 918s | 17 | 270851 | 227332 | 64016 7 | 0 | 1 928.76/929.06 c 920s | 17 | 271671 | 228132 | 64016 7 | 0 | 1 930.76/931.09 c 922s | 17 | 272908 | 229332 | 64016 7 | 0 | 1 933.06/933.35 c 924s | 17 | 273765 | 230132 | 64016 7 | 0 | 1 935.46/935.75 c 926s | 17 | 274093 | 230432 | 64016 7 | 0 | 1 937.46/937.79 c 928s | 17 | 274305 | 230632 | 64016 7 | 0 | 1 939.56/939.89 c 930s | 17 | 274521 | 230832 | 64016 7 | 0 | 1 941.85/942.13 c 933s | 17 | 275039 | 231332 | 64016 7 | 0 | 1 943.85/944.14 c 935s | 17 | 275341 | 231632 | 64016 7 | 0 | 1 946.15/946.41 c 937s | 17 | 276045 | 232332 | 64016 7 | 0 | 1 948.35/948.67 c 939s | 17 | 276859 | 233132 | 64016 7 | 0 | 1 950.55/950.83 c 941s | 17 | 277476 | 233732 | 64016 7 | 0 | 1 953.05/953.36 c 944s | 17 | 277993 | 234232 | 64016 7 | 0 | 1 955.15/955.48 c 946s | 17 | 278421 | 234632 | 64016 7 | 0 | 1 957.25/957.53 c 948s | 17 | 279027 | 235232 | 64016 7 | 0 | 1 959.65/959.90 c 950s | 17 | 279853 | 236032 | 64016 7 | 0 | 1 961.85/962.16 c 953s | 17 | 280693 | 236832 | 64016 7 | 0 | 1 964.46/964.78 c 955s | 17 | 281193 | 237332 | 64016 7 | 0 | 1 966.45/966.79 c 957s | 17 | 281909 | 238032 | 64016 7 | 0 | 1 968.65/968.97 c 960s | 17 | 282534 | 238632 | 64016 7 | 0 | 1 980.95/981.29 c 972s | 17 | 283041 | 239132 | 64016 8 | 0 | 1 983.16/983.44 c 974s | 17 | 283804 | 239832 | 64016 8 | 0 | 1 985.15/985.45 c 976s | 17 | 284837 | 240832 | 64016 8 | 0 | 1 1046.34/1046.60 c 1037s | 17 | 286007 | 241932 | 64016 8 | 0 | 1 1048.54/1048.82 c 1039s | 17 | 286434 | 242332 | 64016 8 | 0 | 1 1050.64/1050.90 c 1041s | 17 | 287069 | 242932 | 64016 8 | 0 | 1 1052.74/1053.02 c 1044s | 17 | 287804 | 243632 | 64016 8 | 0 | 1 1054.94/1055.24 c 1046s | 17 | 288398 | 244132 | 64016 8 | 0 | 1 1057.04/1057.33 c 1048s | 17 | 289013 | 244732 | 64016 8 | 0 | 1 1059.44/1059.78 c 1050s | 17 | 289642 | 245332 | 64016 8 | 0 | 1 1061.93/1062.20 c 1053s | 17 | 290271 | 245932 | 64016 8 | 0 | 1 1064.23/1064.59 c 1055s | 17 | 290907 | 246532 | 64016 8 | 0 | 1 1066.33/1066.65 c 1057s | 17 | 291530 | 247132 | 64016 8 | 0 | 1 1068.63/1068.96 c 1060s | 17 | 292150 | 247732 | 64016 8 | 0 | 1 1071.24/1071.54 c 1062s | 17 | 292594 | 248132 | 64016 8 | 0 | 1 1073.34/1073.68 c 1064s | 17 | 293099 | 248632 | 64016 8 | 0 | 1 1075.64/1075.97 c 1067s | 17 | 293719 | 249232 | 64016 8 | 0 | 1 1077.93/1078.28 c 1069s | 17 | 294443 | 249932 | 64016 8 | 0 | 1 1080.33/1080.65 c 1071s | 17 | 295169 | 250632 | 64016 8 | 0 | 1 1082.63/1082.91 c 1073s | 17 | 295916 | 251332 | 64016 8 | 0 | 1 1085.33/1085.69 c 1076s | 17 | 296554 | 251932 | 64016 8 | 0 | 1 1087.93/1088.28 c 1079s | 17 | 296856 | 252232 | 64016 8 | 0 | 1 1090.23/1090.51 c 1081s | 17 | 297252 | 252632 | 64016 8 | 0 | 1 1092.33/1092.64 c 1083s | 17 | 297758 | 253132 | 64016 8 | 0 | 1 1094.63/1094.93 c 1086s | 17 | 298160 | 253532 | 64016 8 | 0 | 1 1096.83/1097.10 c 1088s | 17 | 298883 | 254232 | 64016 8 | 0 | 1 1098.93/1099.22 c 1090s | 17 | 299408 | 254732 | 64016 8 | 0 | 1 1101.33/1101.61 c 1092s | 17 | 299819 | 255132 | 64016 8 | 0 | 1 1103.33/1103.65 c 1094s | 17 | 300339 | 255632 | 64016 8 | 0 | 1 1105.43/1105.70 c 1096s | 17 | 301273 | 256532 | 64016 8 | 0 | 1 1107.63/1107.90 c 1098s | 17 | 302209 | 257432 | 64016 8 | 0 | 1 1109.93/1110.21 c 1101s | 17 | 303022 | 258232 | 64016 8 | 0 | 1 1112.03/1112.38 c 1103s | 17 | 304048 | 259232 | 64016 8 | 0 | 1 1114.23/1114.51 c 1105s | 17 | 304674 | 259832 | 64016 8 | 0 | 1 1116.23/1116.58 c 1107s | 17 | 305382 | 260532 | 64016 8 | 0 | 1 1118.33/1118.63 c 1109s | 17 | 306307 | 261432 | 64016 8 | 0 | 1 1120.53/1120.83 c 1111s | 17 | 306928 | 262032 | 64016 8 | 0 | 1 1122.53/1122.85 c 1113s | 17 | 307344 | 262432 | 64016 8 | 0 | 1 1124.73/1125.08 c 1116s | 17 | 308362 | 263432 | 64016 8 | 0 | 1 1127.23/1127.50 c 1118s | 17 | 309191 | 264232 | 64016 8 | 0 | 1 1129.43/1129.71 c 1120s | 17 | 309717 | 264732 | 64016 8 | 0 | 1 1131.92/1132.21 c 1123s | 17 | 310334 | 265332 | 64016 8 | 0 | 1 1134.02/1134.38 c 1125s | 17 | 310863 | 265832 | 64016 8 | 0 | 1 1136.32/1136.69 c 1127s | 17 | 311585 | 266532 | 64016 8 | 0 | 1 1138.42/1138.79 c 1129s | 17 | 312303 | 267232 | 64016 8 | 0 | 1 1140.43/1140.79 c 1131s | 17 | 312940 | 267832 | 64016 8 | 0 | 1 1142.73/1143.02 c 1134s | 17 | 313337 | 268232 | 64016 8 | 0 | 1 1144.93/1145.22 c 1136s | 17 | 313945 | 268832 | 64016 8 | 0 | 1 1147.13/1147.45 c 1138s | 17 | 314760 | 269632 | 64016 8 | 0 | 1 1149.23/1149.56 c 1140s | 17 | 315581 | 270432 | 64016 8 | 0 | 1 1152.33/1152.61 c 1143s | 17 | 316019 | 270832 | 64016 8 | 0 | 1 1154.53/1154.87 c 1145s | 17 | 316320 | 271132 | 64016 8 | 0 | 1 1178.32/1178.66 c 1169s | 17 | 316423 | 271232 | 64016 9 | 0 | 1 1180.42/1180.72 c 1171s | 17 | 316941 | 271732 | 64016 9 | 0 | 1 1182.72/1183.08 c 1174s | 17 | 317571 | 272332 | 64016 9 | 0 | 1 1185.32/1185.62 c 1176s | 17 | 318285 | 273032 | 64016 9 | 0 | 1 1187.52/1187.88 c 1178s | 17 | 319014 | 273732 | 64016 9 | 0 | 1 1189.62/1189.90 c 1180s | 17 | 319753 | 274432 | 64016 9 | 0 | 1 1191.82/1192.17 c 1183s | 17 | 320894 | 275532 | 64016 9 | 0 | 1 1194.02/1194.31 c 1185s | 17 | 321900 | 276532 | 64016 9 | 0 | 1 1196.02/1196.36 c 1187s | 17 | 322925 | 277532 | 70418 9 | 0 | 1 1198.12/1198.48 c 1189s | 17 | 323847 | 278432 | 70418 9 | 0 | 1 1200.52/1200.87 c 1191s | 17 | 324986 | 279532 | 70418 9 | 0 | 1 1202.52/1202.88 c 1193s | 17 | 325805 | 280332 | 70418 9 | 0 | 1 1204.72/1205.00 c 1196s | 17 | 326863 | 281332 | 70418 9 | 0 | 1 1206.82/1207.11 c 1198s | 17 | 327769 | 282232 | 70418 9 | 0 | 1 1208.92/1209.20 c 1200s | 17 | 328794 | 283232 | 70418 9 | 0 | 1 1211.02/1211.37 c 1202s | 17 | 329933 | 284332 | 70418 9 | 0 | 1 1213.13/1213.46 c 1204s | 17 | 330646 | 285032 | 70418 9 | 0 | 1 1215.23/1215.58 c 1206s | 17 | 331150 | 285532 | 70418 9 | 0 | 1 1217.53/1217.85 c 1208s | 17 | 332066 | 286432 | 70418 9 | 0 | 1 1219.72/1220.08 c 1211s | 17 | 332889 | 287232 | 70418 9 | 0 | 1 1222.02/1222.35 c 1213s | 17 | 333725 | 288032 | 70418 9 | 0 | 1 1234.71/1235.01 c 1226s | 17 | 334283 | 288532 | 70418 9 | 0 | 1 1237.41/1237.77 c 1228s | 17 | 334695 | 288932 | 70418 9 | 0 | 1 1239.61/1239.95 c 1231s | 17 | 335011 | 289232 | 70418 9 | 0 | 1 1241.72/1242.07 c 1233s | 17 | 335334 | 289532 | 70418 9 | 0 | 1 1244.01/1244.38 c 1235s | 17 | 335749 | 289932 | 70418 9 | 0 | 1 1246.41/1246.70 c 1237s | 17 | 336366 | 290532 | 70418 9 | 0 | 1 1248.71/1249.03 c 1240s | 17 | 336907 | 291032 | 70418 9 | 0 | 1 1251.11/1251.50 c 1242s | 17 | 337369 | 291432 | 70418 9 | 0 | 1 1253.21/1253.59 c 1244s | 17 | 337808 | 291732 | 70418 9 | 0 | 1 1255.41/1255.74 c 1246s | 17 | 338228 | 292132 | 70418 9 | 0 | 1 1257.51/1257.84 c 1248s | 17 | 338669 | 292532 | 70418 9 | 0 | 1 1259.51/1259.86 c 1250s | 17 | 339186 | 292932 | 70418 9 | 0 | 1 1261.71/1262.08 c 1253s | 17 | 339721 | 293432 | 70418 9 | 0 | 1 1263.81/1264.10 c 1255s | 17 | 340249 | 293932 | 70418 9 | 0 | 1 1266.21/1266.54 c 1257s | 17 | 340696 | 294332 | 70418 9 | 0 | 1 1268.41/1268.72 c 1259s | 17 | 341447 | 295032 | 70418 9 | 0 | 1 1270.41/1270.76 c 1261s | 17 | 342396 | 295932 | 70418 9 | 0 | 1 1272.11/1272.44 c 1263s | 18 | 342734 | 296252 | 70418 9 | 0 | 1 1274.21/1274.57 c 1265s | 18 | 343095 | 296552 | 70418 9 | 0 | 1 1276.31/1276.64 c 1267s | 18 | 344701 | 297952 | 70418 9 | 0 | 1 1278.51/1278.83 c 1269s | 18 | 345975 | 299052 | 70418 9 | 0 | 1 1280.51/1280.88 c 1271s | 18 | 346804 | 299752 | 70418 9 | 0 | 1 1282.61/1282.90 c 1273s | 18 | 347848 | 300752 | 70418 9 | 0 | 1 1284.61/1284.98 c 1276s | 18 | 348461 | 301352 | 70418 9 | 0 | 1 1286.71/1287.04 c 1278s | 18 | 349087 | 301952 | 70418 9 | 0 | 1 1288.71/1289.06 c 1280s | 18 | 350266 | 302952 | 70418 9 | 0 | 1 1290.81/1291.13 c 1282s | 18 | 351767 | 304152 | 70418 9 | 0 | 1 1292.81/1293.17 c 1284s | 18 | 353311 | 305352 | 70418 9 | 0 | 1 1294.91/1295.20 c 1286s | 18 | 354317 | 306152 | 70418 9 | 0 | 1 1296.90/1297.24 c 1288s | 18 | 355466 | 307052 | 70418 9 | 0 | 1 1299.10/1299.46 c 1290s | 18 | 356926 | 308152 | 70418 9 | 0 | 1 1301.20/1301.51 c 1292s | 18 | 358124 | 309152 | 70418 9 | 0 | 1 1303.31/1303.63 c 1294s | 18 | 359367 | 310152 | 70418 9 | 0 | 1 1305.51/1305.89 c 1296s | 18 | 360378 | 310952 | 70418 9 | 0 | 1 1310.40/1310.70 c 1301s | 18 | 361408 | 311852 | 70418 10 | 0 | 1 1313.00/1313.34 c 1304s | 18 | 362113 | 312452 | 70418 10 | 0 | 1 1322.60/1322.96 c 1314s | 18 | 362820 | 313052 | 70418 10 | 0 | 1 1332.50/1332.83 c 1323s | 18 | 363674 | 313752 | 70418 10 | 0 | 1 1334.60/1334.99 c 1326s | 18 | 364357 | 314352 | 70418 10 | 0 | 1 1337.20/1337.58 c 1328s | 18 | 364894 | 314852 | 70418 10 | 0 | 1 1339.40/1339.76 c 1330s | 18 | 365452 | 315352 | 70418 10 | 0 | 1 1341.50/1341.87 c 1332s | 18 | 366302 | 316152 | 70418 10 | 0 | 1 1343.70/1344.08 c 1335s | 18 | 367347 | 317052 | 70418 10 | 0 | 1 1345.80/1346.17 c 1337s | 18 | 368185 | 317752 | 70418 10 | 0 | 1 1348.00/1348.36 c 1339s | 18 | 369107 | 318552 | 70418 10 | 0 | 1 1349.99/1350.38 c 1341s | 18 | 369773 | 319152 | 70418 10 | 0 | 1 1352.29/1352.63 c 1343s | 18 | 370816 | 320052 | 70418 10 | 0 | 1 1367.30/1367.64 c 1358s | 18 | 371832 | 320752 | 70418 10 | 0 | 1 1369.30/1369.66 c 1360s | 18 | 372701 | 321552 | 70418 10 | 0 | 1 1371.40/1371.78 c 1362s | 18 | 373224 | 322052 | 70418 10 | 0 | 1 1373.39/1373.79 c 1364s | 18 | 373794 | 322552 | 70418 10 | 0 | 1 1375.59/1375.93 c 1367s | 18 | 375064 | 323452 | 70418 10 | 0 | 1 1377.69/1378.00 c 1369s | 18 | 376401 | 324552 | 70418 10 | 0 | 1 1379.69/1380.02 c 1371s | 18 | 377754 | 325752 | 70418 10 | 0 | 1 1381.69/1382.05 c 1373s | 18 | 379027 | 326752 | 70418 10 | 0 | 1 1383.69/1384.07 c 1375s | 18 | 380239 | 327752 | 70418 10 | 0 | 1 1385.80/1386.18 c 1377s | 18 | 381511 | 328852 | 70418 10 | 0 | 1 1387.90/1388.23 c 1379s | 18 | 382739 | 329952 | 70418 10 | 0 | 1 1389.99/1390.36 c 1381s | 18 | 383923 | 330952 | 70418 10 | 0 | 1 1392.09/1392.41 c 1383s | 18 | 385459 | 332252 | 70418 10 | 0 | 1 1394.09/1394.42 c 1385s | 18 | 386729 | 333352 | 70418 10 | 0 | 1 1396.19/1396.50 c 1387s | 18 | 387704 | 334152 | 70418 10 | 0 | 1 1398.19/1398.55 c 1389s | 18 | 388987 | 335252 | 70418 10 | 0 | 1 1400.29/1400.63 c 1391s | 18 | 390287 | 336452 | 70418 10 | 0 | 1 1402.49/1402.82 c 1393s | 18 | 391862 | 337852 | 70418 10 | 0 | 1 1404.69/1405.01 c 1396s | 18 | 392565 | 338452 | 70418 10 | 0 | 1 1406.79/1407.14 c 1398s | 18 | 393680 | 339452 | 70418 10 | 0 | 1 1408.99/1409.37 c 1400s | 18 | 394691 | 340252 | 70418 10 | 0 | 1 1411.19/1411.53 c 1402s | 18 | 395721 | 341152 | 70418 10 | 0 | 1 1413.59/1413.90 c 1404s | 18 | 396696 | 342052 | 70418 10 | 0 | 1 1415.59/1415.99 c 1407s | 18 | 397872 | 343052 | 70418 10 | 0 | 1 1417.79/1418.19 c 1409s | 18 | 399024 | 344052 | 70418 10 | 0 | 1 1420.59/1420.97 c 1412s | 18 | 399970 | 344852 | 70418 10 | 0 | 1 1422.69/1423.01 c 1414s | 18 | 400492 | 345352 | 70418 10 | 0 | 1 1424.79/1425.10 c 1416s | 18 | 401189 | 345952 | 70418 10 | 0 | 1 1445.09/1445.49 c 1436s | 18 | 401436 | 346152 | 70418 11 | 0 | 1 1447.18/1447.51 c 1438s | 18 | 402173 | 346752 | 70418 11 | 0 | 1 1449.88/1450.25 c 1441s | 18 | 403138 | 347552 | 70418 11 | 0 | 1 1451.98/1452.35 c 1443s | 18 | 404735 | 348952 | 70418 11 | 0 | 1 1454.18/1454.50 c 1445s | 18 | 405949 | 350052 | 70418 11 | 0 | 1 1456.28/1456.67 c 1447s | 18 | 407087 | 351052 | 70418 11 | 0 | 1 1458.38/1458.77 c 1449s | 18 | 408229 | 352052 | 70418 11 | 0 | 1 1466.78/1467.17 c 1458s | 18 | 408690 | 352452 | 70418 11 | 0 | 1 1468.88/1469.28 c 1460s | 18 | 409749 | 353352 | 70418 11 | 0 | 1 1470.98/1471.36 c 1462s | 18 | 410914 | 354352 | 70418 11 | 0 | 1 1473.08/1473.48 c 1464s | 18 | 411912 | 355252 | 70418 11 | 0 | 1 1475.17/1475.54 c 1466s | 18 | 413017 | 356252 | 70418 11 | 0 | 1 1477.17/1477.57 c 1468s | 18 | 414144 | 357252 | 70418 11 | 0 | 1 1479.28/1479.68 c 1470s | 18 | 415417 | 358352 | 70418 11 | 0 | 1 1481.38/1481.77 c 1472s | 18 | 416556 | 359352 | 70418 11 | 0 | 1 1483.47/1483.84 c 1474s | 18 | 417690 | 360352 | 70418 11 | 0 | 1 1485.57/1485.91 c 1477s | 18 | 418623 | 361152 | 70418 11 | 0 | 1 1487.77/1488.17 c 1479s | 18 | 419544 | 361952 | 70418 11 | 0 | 1 1490.07/1490.40 c 1481s | 18 | 420643 | 362852 | 70418 11 | 0 | 1 1492.17/1492.50 c 1483s | 18 | 421535 | 363652 | 70418 11 | 0 | 1 1494.17/1494.53 c 1485s | 18 | 422413 | 364452 | 70418 11 | 0 | 1 1496.37/1496.70 c 1487s | 18 | 423517 | 365452 | 70418 11 | 0 | 1 1498.37/1498.78 c 1489s | 18 | 424654 | 366452 | 70418 11 | 0 | 1 1500.67/1501.01 c 1492s | 18 | 425819 | 367452 | 70418 11 | 0 | 1 1502.67/1503.05 c 1494s | 18 | 426746 | 368252 | 70418 11 | 0 | 1 1504.77/1505.16 c 1496s | 18 | 427659 | 369052 | 70418 11 | 0 | 1 1506.97/1507.33 c 1498s | 18 | 428456 | 369752 | 70418 11 | 0 | 1 1509.07/1509.47 c 1500s | 18 | 429148 | 370352 | 70418 11 | 0 | 1 1511.27/1511.62 c 1502s | 18 | 429816 | 370952 | 70418 11 | 0 | 1 1513.27/1513.70 c 1504s | 18 | 430975 | 371952 | 70418 11 | 0 | 1 1515.37/1515.79 c 1506s | 18 | 432024 | 372852 | 70418 11 | 0 | 1 1517.47/1517.82 c 1508s | 18 | 432976 | 373652 | 70418 11 | 0 | 1 1519.57/1519.90 c 1510s | 18 | 433898 | 374452 | 70418 11 | 0 | 1 1521.57/1521.99 c 1513s | 18 | 434707 | 375152 | 70418 11 | 0 | 1 1523.77/1524.14 c 1515s | 18 | 435504 | 375852 | 70418 11 | 0 | 1 1525.87/1526.30 c 1517s | 18 | 436310 | 376552 | 70418 11 | 0 | 1 1528.27/1528.60 c 1519s | 18 | 437091 | 377252 | 70418 11 | 0 | 1 1530.37/1530.78 c 1521s | 18 | 437926 | 377952 | 70418 11 | 0 | 1 1532.57/1532.93 c 1524s | 18 | 438513 | 378452 | 70418 11 | 0 | 1 1534.76/1535.17 c 1526s | 18 | 439296 | 379152 | 70418 11 | 0 | 1 1536.86/1537.20 c 1528s | 18 | 440073 | 379852 | 70418 11 | 0 | 1 1538.86/1539.21 c 1530s | 18 | 440868 | 380552 | 70418 11 | 0 | 1 1540.96/1541.31 c 1532s | 18 | 441664 | 381252 | 70418 11 | 0 | 1 1550.27/1550.61 c 1541s | 18 | 442469 | 381952 | 70418 12 | 0 | 1 1556.46/1556.80 c 1547s | 18 | 442572 | 382052 | 70418 12 | 0 | 1 1558.47/1558.89 c 1549s | 18 | 444383 | 383652 | 70418 12 | 0 | 1 1560.57/1560.93 c 1552s | 18 | 445969 | 385052 | 70418 12 | 0 | 1 1647.35/1647.72 c 1638s | 18 | 447143 | 386052 | 70418 12 | 0 | 1 1649.35/1649.77 c 1640s | 18 | 448261 | 387052 | 70418 12 | 0 | 1 1651.45/1651.86 c 1642s | 18 | 449370 | 388052 | 70418 12 | 0 | 1 1653.55/1653.99 c 1645s | 18 | 450880 | 389352 | 70418 12 | 0 | 1 1655.65/1656.04 c 1647s | 18 | 452268 | 390552 | 70418 12 | 0 | 1 1657.85/1658.20 c 1649s | 18 | 453412 | 391552 | 70418 12 | 0 | 1 1659.85/1660.21 c 1651s | 18 | 454555 | 392552 | 70418 12 | 0 | 1 1661.95/1662.34 c 1653s | 18 | 455187 | 393152 | 70418 12 | 0 | 1 1664.06/1664.44 c 1655s | 18 | 456437 | 394252 | 70418 12 | 0 | 1 1666.05/1666.48 c 1657s | 18 | 457723 | 395352 | 70418 12 | 0 | 1 1668.25/1668.64 c 1659s | 18 | 458880 | 396352 | 70418 12 | 0 | 1 1670.45/1670.87 c 1661s | 18 | 459785 | 397152 | 70418 12 | 0 | 1 1672.45/1672.89 c 1663s | 18 | 460637 | 397852 | 70418 12 | 0 | 1 1674.45/1674.89 c 1665s | 18 | 461440 | 398552 | 70418 12 | 0 | 1 1676.95/1677.31 c 1668s | 18 | 462149 | 399152 | 70418 12 | 0 | 1 1679.05/1679.48 c 1670s | 18 | 463400 | 400252 | 70418 12 | 0 | 1 1681.15/1681.55 c 1672s | 18 | 464387 | 401052 | 70418 12 | 0 | 1 1683.25/1683.68 c 1674s | 18 | 465667 | 402152 | 70418 12 | 0 | 1 1685.54/1685.90 c 1676s | 18 | 466915 | 403252 | 70418 12 | 0 | 1 1687.64/1688.07 c 1679s | 18 | 468084 | 404252 | 70418 12 | 0 | 1 1689.74/1690.18 c 1681s | 18 | 469245 | 405252 | 70418 12 | 0 | 1 1691.84/1692.23 c 1683s | 18 | 469822 | 405752 | 70418 12 | 0 | 1 1693.94/1694.34 c 1685s | 18 | 470478 | 406352 | 70418 12 | 0 | 1 1695.95/1696.35 c 1687s | 18 | 471415 | 407152 | 70418 12 | 0 | 1 1698.05/1698.48 c 1689s | 18 | 472448 | 408052 | 70418 12 | 0 | 1 1700.14/1700.58 c 1691s | 18 | 473381 | 408852 | 70418 12 | 0 | 1 1702.55/1702.96 c 1694s | 18 | 474303 | 409652 | 70418 12 | 0 | 1 1704.94/1705.37 c 1696s | 18 | 475144 | 410352 | 70418 12 | 0 | 1 1707.24/1707.69 c 1698s | 18 | 475950 | 411052 | 70418 12 | 0 | 1 1709.34/1709.73 c 1700s | 18 | 476650 | 411652 | 70418 12 | 0 | 1 1711.44/1711.89 c 1702s | 18 | 477129 | 412052 | 70418 12 | 0 | 1 1713.64/1714.09 c 1705s | 18 | 477724 | 412552 | 70418 12 | 0 | 1 1715.94/1716.30 c 1707s | 18 | 478612 | 413352 | 70418 12 | 0 | 1 1718.54/1718.93 c 1710s | 18 | 479374 | 414052 | 70418 12 | 0 | 1 1720.64/1721.09 c 1712s | 18 | 480249 | 414852 | 70418 12 | 0 | 1 1722.84/1723.22 c 1714s | 18 | 481153 | 415652 | 70418 12 | 0 | 1 1724.94/1725.34 c 1716s | 18 | 482133 | 416452 | 70418 12 | 0 | 1 1733.44/1733.85 c 1724s | 18 | 482849 | 417052 | 70418 13 | 0 | 1 1740.64/1741.00 c 1732s | 18 | 482958 | 417152 | 70418 13 | 0 | 1 1742.64/1743.08 c 1734s | 18 | 484668 | 418652 | 70418 13 | 0 | 1 1744.74/1745.11 c 1736s | 18 | 486469 | 420152 | 70418 13 | 0 | 1 1746.84/1747.20 c 1738s | 18 | 488305 | 421752 | 70418 13 | 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-4117411-1467212110/watcher-4117411-1467212110 -o /tmp/evaluation-result-4117411-1467212110/solver-4117411-1467212110 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467210309-2000 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117411-1467212110.opb pid=2154 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.35 2.30 1.97 4/169 2157 /proc/meminfo: memFree=28668972/32872528 swapFree=1553660/1717180 [pid=2157] ppid=2154 vsize=744892 CPUtime=0 cores=0,2,4,6 /proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 2784 0 0 0 0 0 0 0 20 0 4 0 238636 762769408 2633 33554432000 4194304 16246674 140734819967856 140734819967280 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2157/statm: 186735 2644 441 2943 0 183629 0 [pid=2157/tid=2158] ppid=2154 vsize=762300 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 780595200 2703 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2157/tid=2159] ppid=2154 vsize=767420 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 785838080 2721 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2157/tid=2160] ppid=2154 vsize=770492 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 238636 788983808 2736 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100221 s] /proc/loadavg: 2.35 2.30 1.97 4/169 2157 /proc/meminfo: memFree=28668972/32872528 swapFree=1553660/1717180 [pid=2157] ppid=2154 vsize=1301060 CPUtime=0.09 cores=0,2,4,6 /proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 28779 0 0 0 5 4 0 0 20 0 4 0 238636 1332285440 28567 33554432000 4194304 16246674 140734819967856 140734819967168 12752373 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2157/statm: 325265 28583 800 2943 0 322159 0 [pid=2157/tid=2158] ppid=2154 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1332285440 28594 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2157/tid=2159] ppid=2154 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1332285440 28605 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2157/tid=2160] ppid=2154 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1332285440 28616 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1301060 [startup+0.200511 s] /proc/loadavg: 2.35 2.30 1.97 4/169 2157 /proc/meminfo: memFree=28668972/32872528 swapFree=1553660/1717180 [pid=2157] ppid=2154 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 50337 0 0 0 12 7 0 0 20 0 4 0 238636 1344868352 50635 33554432000 4194304 16246674 140734819967856 140734819967168 7371484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2157/statm: 328337 50635 800 2943 0 325231 0 [pid=2157/tid=2158] ppid=2154 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1344868352 50635 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2157/tid=2159] ppid=2154 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1344868352 50635 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2157/tid=2160] ppid=2154 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1344868352 50635 33554432000 4194304 16246674 140734819967856 139833289723056 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.300495 s] /proc/loadavg: 2.35 2.30 1.97 4/169 2157 /proc/meminfo: memFree=28668972/32872528 swapFree=1553660/1717180 [pid=2157] ppid=2154 vsize=1313348 CPUtime=0.29 cores=0,2,4,6 /proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 50576 0 0 0 22 7 0 0 20 0 4 0 238636 1344868352 50874 33554432000 4194304 16246674 140734819967856 140734819967168 12457868 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2157/statm: 328337 50874 842 2943 0 325231 0 [pid=2157/tid=2158] ppid=2154 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1344868352 50874 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2157/tid=2159] ppid=2154 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1344868352 50874 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2157/tid=2160] ppid=2154 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1344868352 50874 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.70039 s] /proc/loadavg: 2.35 2.30 1.97 4/169 2157 /proc/meminfo: memFree=28668972/32872528 swapFree=1553660/1717180 [pid=2157] ppid=2154 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 111429 0 0 0 54 15 0 0 20 0 4 0 238636 1344868352 111728 33554432000 4194304 16246674 140734819967856 140734819949760 5831697 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2157/statm: 328337 111733 890 2943 0 325231 0 [pid=2157/tid=2158] ppid=2154 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1344868352 111737 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2157/tid=2159] ppid=2154 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1344868352 111740 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2157/tid=2160] ppid=2154 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1344868352 111743 33554432000 4194304 16246674 140734819967856 139833289723056 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.50039 s] /proc/loadavg: 2.35 2.30 1.97 4/182 2174 /proc/meminfo: memFree=27325748/32872528 swapFree=1553660/1717180 [pid=2157] ppid=2154 vsize=1313348 CPUtime=1.49 cores=0,2,4,6 /proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 221032 0 0 0 119 30 0 0 20 0 4 0 238636 1344868352 221330 33554432000 4194304 16246674 140734819967856 140734819949760 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2157/statm: 328337 221335 890 2943 0 325231 0 [pid=2157/tid=2158] ppid=2154 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1344868352 221337 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2157/tid=2159] ppid=2154 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1344868352 221340 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2157/tid=2160] ppid=2154 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1344868352 221347 33554432000 4194304 16246674 140734819967856 139833289723056 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.10041 s] /proc/loadavg: 2.35 2.30 1.97 4/182 2174 /proc/meminfo: memFree=26499056/32872528 swapFree=1553660/1717180 [pid=2157] ppid=2154 vsize=1328708 CPUtime=3.09 cores=0,2,4,6 /proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 272860 0 0 0 271 38 0 0 20 0 4 0 238636 1360596992 273158 33554432000 4194304 16246674 140734819967856 140734819967168 5712465 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2157/statm: 332177 273158 896 2943 0 329071 0 [pid=2157/tid=2158] ppid=2154 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1360596992 273158 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2157/tid=2159] ppid=2154 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1360596992 273158 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2157/tid=2160] ppid=2154 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1360596992 273158 33554432000 4194304 16246674 140734819967856 139833289723056 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) 1328708 [startup+6.30041 s] /proc/loadavg: 2.33 2.30 1.97 3/183 2175 /proc/meminfo: memFree=26498356/32872528 swapFree=1553660/1717180 [pid=2157] ppid=2154 vsize=1328708 CPUtime=6.29 cores=0,2,4,6 /proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 272870 0 0 0 591 38 0 0 20 0 4 0 238636 1360596992 273168 33554432000 4194304 16246674 140734819967856 140734819949760 6011200 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2157/statm: 332177 273168 906 2943 0 329071 0 [pid=2157/tid=2158] ppid=2154 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1360596992 273168 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2157/tid=2159] ppid=2154 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1360596992 273168 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2157/tid=2160] ppid=2154 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1360596992 273168 33554432000 4194304 16246674 140734819967856 139833289723056 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) 1328708 [startup+12.7004 s] /proc/loadavg: 2.38 2.31 1.97 3/183 2175 /proc/meminfo: memFree=26497804/32872528 swapFree=1553660/1717180 [pid=2157] ppid=2154 vsize=1328708 CPUtime=12.69 cores=0,2,4,6 /proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 272881 0 0 0 1231 38 0 0 20 0 4 0 238636 1360596992 273179 33554432000 4194304 16246674 140734819967856 140734819949760 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2157/statm: 332177 273179 917 2943 0 329071 0 [pid=2157/tid=2158] ppid=2154 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1360596992 273179 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2157/tid=2159] ppid=2154 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1360596992 273179 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2157/tid=2160] ppid=2154 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1360596992 273179 33554432000 4194304 16246674 140734819967856 139833289723056 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) 1328708 [startup+25.5005 s] /proc/loadavg: 2.37 2.31 1.98 4/183 2175 /proc/meminfo: memFree=26499012/32872528 swapFree=1553660/1717180 [pid=2157] ppid=2154 vsize=1328708 CPUtime=25.49 cores=0,2,4,6 /proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 272881 0 0 0 2511 38 0 0 20 0 4 0 238636 1360596992 273179 33554432000 4194304 16246674 140734819967856 140734819949760 6021672 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2157/statm: 332177 273179 917 2943 0 329071 0 [pid=2157/tid=2158] ppid=2154 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1360596992 273179 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2157/tid=2159] ppid=2154 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1360596992 273179 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2157/tid=2160] ppid=2154 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1360596992 273179 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1328708 [startup+51.1005 s] /proc/loadavg: 2.44 2.33 2.00 3/183 2175 /proc/meminfo: memFree=26418940/32872528 swapFree=1553660/1717180 [pid=2157] ppid=2154 vsize=1328708 CPUtime=51.08 cores=0,2,4,6 /proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 272888 0 0 0 5070 38 0 0 20 0 4 0 238636 1360596992 273181 33554432000 4194304 16246674 140734819967856 140734819949760 12415665 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2157/statm: 332177 273181 918 2943 0 329071 0 [pid=2157/tid=2158] ppid=2154 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1360596992 273181 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2157/tid=2159] ppid=2154 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1360596992 273181 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2157/tid=2160] ppid=2154 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1360596992 273181 33554432000 4194304 16246674 140734819967856 139833289723056 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) 1328708 [startup+102.3 s] /proc/loadavg: 2.38 2.33 2.01 3/183 2176 /proc/meminfo: memFree=26404308/32872528 swapFree=1553660/1717180 [pid=2157] ppid=2154 vsize=1343044 CPUtime=102.27 cores=0,2,4,6 /proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 276497 0 0 0 10188 39 0 0 20 0 4 0 238636 1375277056 276770 33554432000 4194304 16246674 140734819967856 140734819949760 5674851 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2157/statm: 335761 276770 920 2943 0 332655 0 [pid=2157/tid=2158] ppid=2154 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1375277056 276770 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2157/tid=2159] ppid=2154 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1375277056 276770 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2157/tid=2160] ppid=2154 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1375277056 276770 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1343044 ################ # More data... # ################ /proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1242.01 Current children cumulated vsize (KiB) 1367620 [startup+1302.3 s] /proc/loadavg: 2.20 2.29 2.18 3/183 2229 /proc/meminfo: memFree=26378104/32872528 swapFree=1553660/1717180 [pid=2157] ppid=2154 vsize=1367620 CPUtime=1302 cores=0,2,4,6 /proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 282799 0 0 0 130125 75 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 140734819949760 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2157/statm: 341905 282914 920 2943 0 338799 0 [pid=2157/tid=2158] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2157/tid=2159] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2157/tid=2160] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302 Current children cumulated vsize (KiB) 1367620 [startup+1362.3 s] /proc/loadavg: 2.18 2.26 2.18 4/183 2230 /proc/meminfo: memFree=26378260/32872528 swapFree=1553660/1717180 [pid=2157] ppid=2154 vsize=1367620 CPUtime=1361.99 cores=0,2,4,6 /proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 282799 0 0 0 136122 77 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 140734819965632 4221019 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2157/statm: 341905 282914 920 2943 0 338799 0 [pid=2157/tid=2158] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2157/tid=2159] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2157/tid=2160] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.99 Current children cumulated vsize (KiB) 1367620 [startup+1422.3 s] /proc/loadavg: 2.25 2.27 2.18 3/183 2231 /proc/meminfo: memFree=26378360/32872528 swapFree=1553660/1717180 [pid=2157] ppid=2154 vsize=1367620 CPUtime=1421.99 cores=0,2,4,6 /proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 282799 0 0 0 142121 78 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 140734819949760 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2157/statm: 341905 282914 920 2943 0 338799 0 [pid=2157/tid=2158] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2157/tid=2159] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2157/tid=2160] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.99 Current children cumulated vsize (KiB) 1367620 [startup+1482.3 s] /proc/loadavg: 2.34 2.28 2.19 4/183 2232 /proc/meminfo: memFree=26378208/32872528 swapFree=1553660/1717180 [pid=2157] ppid=2154 vsize=1367620 CPUtime=1481.97 cores=0,2,4,6 /proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 282799 0 0 0 148116 81 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 140734819949760 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2157/statm: 341905 282914 920 2943 0 338799 0 [pid=2157/tid=2158] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2157/tid=2159] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2157/tid=2160] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.97 Current children cumulated vsize (KiB) 1367620 [startup+1542.31 s] /proc/loadavg: 2.44 2.32 2.21 3/184 2237 /proc/meminfo: memFree=26378196/32872528 swapFree=1553660/1717180 [pid=2157] ppid=2154 vsize=1367620 CPUtime=1541.97 cores=0,2,4,6 /proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 282799 0 0 0 154116 81 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 140734819949760 5823262 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2157/statm: 341905 282914 920 2943 0 338799 0 [pid=2157/tid=2158] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2157/tid=2159] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2157/tid=2160] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.97 Current children cumulated vsize (KiB) 1367620 [startup+1602.3 s] /proc/loadavg: 2.33 2.30 2.20 3/183 2238 /proc/meminfo: memFree=26378076/32872528 swapFree=1553660/1717180 [pid=2157] ppid=2154 vsize=1367620 CPUtime=1601.95 cores=0,2,4,6 /proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 282799 0 0 0 160110 85 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 140734819967032 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2157/statm: 341905 282914 920 2943 0 338799 0 [pid=2157/tid=2158] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2157/tid=2159] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2157/tid=2160] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.95 Current children cumulated vsize (KiB) 1367620 [startup+1662.3 s] /proc/loadavg: 2.42 2.32 2.21 4/183 2239 /proc/meminfo: memFree=26378200/32872528 swapFree=1553660/1717180 [pid=2157] ppid=2154 vsize=1367620 CPUtime=1661.95 cores=0,2,4,6 /proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 282799 0 0 0 166106 89 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 140734819949760 5523504 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2157/statm: 341905 282914 920 2943 0 338799 0 [pid=2157/tid=2158] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2157/tid=2159] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2157/tid=2160] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.95 Current children cumulated vsize (KiB) 1367620 [startup+1722.3 s] /proc/loadavg: 2.39 2.32 2.22 3/183 2240 /proc/meminfo: memFree=26378076/32872528 swapFree=1553660/1717180 [pid=2157] ppid=2154 vsize=1367620 CPUtime=1721.94 cores=0,2,4,6 /proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 282799 0 0 0 172105 89 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 140734819949760 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2157/statm: 341905 282914 920 2943 0 338799 0 [pid=2157/tid=2158] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2157/tid=2159] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2157/tid=2160] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.94 Current children cumulated vsize (KiB) 1367620 [startup+1782.3 s] /proc/loadavg: 2.20 2.28 2.20 3/183 2241 /proc/meminfo: memFree=26377336/32872528 swapFree=1553660/1717180 [pid=2157] ppid=2154 vsize=1367620 CPUtime=1781.93 cores=0,2,4,6 /proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 282799 0 0 0 178100 93 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 140734819966952 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2157/statm: 341905 282914 920 2943 0 338799 0 [pid=2157/tid=2158] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2157/tid=2159] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2157/tid=2160] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.93 Current children cumulated vsize (KiB) 1367620 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.21 2.28 2.20 3/183 2241 /proc/meminfo: memFree=26378084/32872528 swapFree=1553660/1717180 [pid=2157] ppid=2154 vsize=1367620 CPUtime=1800.03 cores=0,2,4,6 /proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 282799 0 0 0 179908 95 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 140734819966952 4207736 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2157/statm: 341905 282914 920 2943 0 338799 0 [pid=2157/tid=2158] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2157/tid=2159] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2157/tid=2160] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6 /proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1367620 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 2157 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.04 CPU user time (s): 1799.09 CPU system time (s): 0.950855 CPU usage (%): 99.9796 Max. virtual memory (cumulated for all children) (KiB): 1367620 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.09 system time used= 0.950855 maximum resident set size= 1131656 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 282799 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= 198 involuntary context switches= 1842 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.57031 second user time and 6.92095 second system time The end
Begin job on node117 at 2016-06-29 16:55:10 IDJOB=4117411 IDBENCH=111572 IDSOLVER=2542 FILE ID=node117/4117411-1467212110 RUNJOBID= node117-1467210309-2000 PBS_JOBID= 19997597 Free space on /tmp= 71624 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-jun6.5.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4117411-1467212110/watcher-4117411-1467212110 -o /tmp/evaluation-result-4117411-1467212110/solver-4117411-1467212110 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467210309-2000 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117411-1467212110.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ee482ad52a229e6d084bd579d92cf8a7 RANDOM SEED=113726435 node117.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.714 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.42 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.714 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.714 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.45 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.714 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.714 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.714 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.714 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.714 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: 28669392 kB Buffers: 34352 kB Cached: 1724888 kB SwapCached: 0 kB Active: 116212 kB Inactive: 1655712 kB Active(anon): 16276 kB Inactive(anon): 4 kB Active(file): 99936 kB Inactive(file): 1655708 kB Unevictable: 1717180 kB Mlocked: 1553660 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 34980 kB Writeback: 0 kB AnonPages: 1730480 kB Mapped: 13852 kB Shmem: 204 kB Slab: 579676 kB SReclaimable: 24220 kB SUnreclaim: 555456 kB KernelStack: 1456 kB PageTables: 7180 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1816104 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 165888 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= 71592 MiB End job on node117 at 2016-06-29 17:25:11