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.09 | 1800.44 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_3.opb |
| MD5SUM | 9e4e432c8df29dadb31632f81ac67b02 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 26 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 26 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 200 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 200 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 21 |
| Number of terms in the objective function | 200 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 2488 |
| Sum of products size (including duplicates) | 4976 |
| Number of different products | 2488 |
| Sum of products size | 4976 |
0.00/0.00 c 2016-06-18T20:29:57+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-4106622-1466274597.opb"] 0.00/0.01 c use --random-gen="1710842705 2107467889 2633245333 565850707 1636839601 2324026851 2482885673 762393798 4069950479 468319951 3675826035 678588155 3891221074 1359873638 3037927194 1393024282 2423276101 534230679 2253911217 2049661360 687347665 3235261221 3791128922 1284441442 1888874607 921889410 1317984630 763141611 1389074988 2093337326 2335993674 752131067 959684245 2288180153 516239657 1804527553 218313961 2750329823 3421652061 177326467 3707347525 1338113468 721051953 514250469 1720454087 1663600995 3044155984 1984401502 1460008957 2411618685 1964080187 1371605105 2224993291 749823363 2697105566 1550472689 3414811780 3234742535 645747567 3366654333 2000427891 1427962498 1861056428 3399908846 191441895 1436564540 4117326055 2403298713 4180569722 3068583578 1653008535 2398070523 2539341355 322896161 1538155974 3281705805 1062305887 3044053605 1791774117 3537718169 4274200106 73545971 596526930 3325122212 307219263 2238484555 3516573908 2632887940 1510292733 3989425393 1382076216 3854940802 2082249633 4125592748 3452460948 87194687 1850640691 2086493212 3856497891 2736615598 3835460894 1899532239 3823849457 1915440753 1116001280 687102033 910340337 185689669 755013681 580384853 993373249 567639585 2024060120 2433370745 3997910544 3420133876 210263303 1338405393 3223509640 2708452555 1689538306 3083465449 3056472417 3497368748 2411843855 3051006851 1021642740 1198558498 2178800119 3646264763 2660467786 846173113 1453337488 678063849 3132055231 2123392166 2929074947 4135175925 2250405710 673585295 2102772709 3712531830 178910521 2680224259 2283555771 675002178 4098159161 3506490814 115083302 2225509586 1888971316 1782702549 2366236675 1743103541 2906619306 3138069678 3705276291 2802272203 828049563 2475175742 987876564 1621477747 3841282158 304416049 3055810999 1127543732 3015979363 3328658970 2721805137 2713357525 2001750191 2549695607 3631681047 2471059629 1532027140 3265546930 3966109314 3060508549 4060339423 345742633 1063618436 3354569483 1680420859 3178372957 2148970642 1699075993 800538476 1545996403 795606568 3090827824 1043767043 3537307147 1461613043 4014666672 1237280682 3818465176 1253739791 2699727505 3422092178 1093372418 2560271486 1258096837 2187127018 2552004772 878241811 3216084096 1154792974 3295078335 803189722 914786683 819218998 45111074 2368264718 1882678659 857079194 2540398222 3940756966 2255910150 184705295 1346388018 3792912615 2719377788 3536757533 158207193 1080850912 3183458929 4087208039 2978325806 2051911734 2069008609 1796471981 3187185243 3320678124 1343620768 3149298005 2964899422 3288741429 2125873958 2605184371 2595321107 947872474 1145924171 1642576503 25986953 2079779298 1293490687 973931027 3127600561 119989943 3412093840 4080756294 630368494 3062010121 2250044173 737803885 2040835655 255 362436" option to reproduce the execution 0.00/0.02 c #vars 200 0.00/0.02 c #constraints 200 0.00/0.07 c BCD2: Hardening is enabled. 0.00/0.07 c BCD2: BiasedSearch is enabled. 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 2621 0 | 0 | 0 0.00/0.07 c 0.0s | 0 | 501 | 0 | 2621 0 | 0 | 0 0.00/0.07 c #cpu_time = 0.008s 0.00/0.07 c #wall_clock_time = 0.008s 0.00/0.07 c #decision = 501 0.00/0.07 c #random_decision = 1 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 o 153 0.00/0.08 c BCD2: updating upper bound: 200 -> 152 0.00/0.08 c BCD2: 0 <= obj <= 152 0.00/0.08 c BCD2: #cores=0, #unrelaxed=200, #relaxed=0, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 2621 0 | 0 | 0 0.00/0.08 c 0.0s | 0 | 115 | 0 | 2621 0 | 0 | 0 0.00/0.08 c #cpu_time = 0.005s 0.00/0.08 c #wall_clock_time = 0.005s 0.00/0.08 c #decision = 115 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 0 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: found a new core of size 11: cost of the new core is >=1 0.00/0.08 c lower bound updated to 1 0.00/0.08 c BCD2: 1 <= obj <= 152 0.00/0.08 c BCD2: #cores=1, #unrelaxed=189, #relaxed=11, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 2621 0 | 0 | 0 0.00/0.09 c 0.0s | 0 | 145 | 0 | 2621 0 | 0 | 0 0.00/0.09 c #cpu_time = 0.005s 0.00/0.09 c #wall_clock_time = 0.005s 0.00/0.09 c #decision = 145 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: found a new core of size 14: cost of the new core is >=1 0.00/0.09 c lower bound updated to 2 0.00/0.09 c BCD2: 2 <= obj <= 152 0.00/0.09 c BCD2: #cores=2, #unrelaxed=175, #relaxed=25, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 2621 0 | 0 | 0 0.00/0.09 c 0.0s | 0 | 133 | 0 | 2621 0 | 0 | 0 0.00/0.09 c #cpu_time = 0.005s 0.00/0.09 c #wall_clock_time = 0.005s 0.00/0.09 c #decision = 133 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: found a new core of size 12: cost of the new core is >=1 0.00/0.09 c lower bound updated to 3 0.00/0.09 c BCD2: 3 <= obj <= 152 0.00/0.09 c BCD2: #cores=3, #unrelaxed=163, #relaxed=37, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 2621 0 | 0 | 0 0.09/0.11 c 0.0s | 0 | 131 | 0 | 2621 0 | 0 | 0 0.09/0.11 c #cpu_time = 0.003s 0.09/0.11 c #wall_clock_time = 0.003s 0.09/0.11 c #decision = 131 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 0 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 15: cost of the new core is >=1 0.09/0.11 c lower bound updated to 4 0.09/0.11 c BCD2: 4 <= obj <= 152 0.09/0.11 c BCD2: #cores=4, #unrelaxed=148, #relaxed=52, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=5 bias=5/6 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 2621 0 | 0 | 0 0.09/0.11 c 0.0s | 0 | 127 | 0 | 2621 0 | 0 | 0 0.09/0.11 c #cpu_time = 0.003s 0.09/0.11 c #wall_clock_time = 0.003s 0.09/0.11 c #decision = 127 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 0 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 16: cost of the new core is >=1 0.09/0.11 c lower bound updated to 5 0.09/0.11 c BCD2: 5 <= obj <= 152 0.09/0.11 c BCD2: #cores=5, #unrelaxed=132, #relaxed=68, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=6 bias=6/7 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 2621 0 | 0 | 0 0.09/0.12 c 0.0s | 0 | 134 | 0 | 2621 0 | 0 | 0 0.09/0.12 c #cpu_time = 0.003s 0.09/0.12 c #wall_clock_time = 0.003s 0.09/0.12 c #decision = 134 0.09/0.12 c #random_decision = 0 0.09/0.12 c #conflict = 0 0.09/0.12 c #restart = 0 0.09/0.12 c BCD2: found a new core of size 13: cost of the new core is >=1 0.09/0.12 c lower bound updated to 6 0.09/0.12 c BCD2: 6 <= obj <= 152 0.09/0.12 c BCD2: #cores=6, #unrelaxed=119, #relaxed=81, #hardened=0 0.09/0.12 c BCD2: #sat=1 #unsat=7 bias=7/8 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 2621 0 | 0 | 0 0.09/0.12 c 0.0s | 0 | 528 | 0 | 2621 0 | 0 | 0 0.09/0.12 c #cpu_time = 0.004s 0.09/0.12 c #wall_clock_time = 0.004s 0.09/0.12 c #decision = 528 0.09/0.12 c #random_decision = 1 0.09/0.12 c #conflict = 0 0.09/0.12 c #restart = 0 0.09/0.12 o 42 0.09/0.12 c BCD2: updating upper bound: 152 -> 41 0.09/0.12 c BCD2: 6 <= obj <= 41 0.09/0.12 c BCD2: #cores=6, #unrelaxed=119, #relaxed=81, #hardened=0 0.09/0.12 c BCD2: #sat=2 #unsat=7 bias=7/9 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 2621 0 | 0 | 1 0.09/0.13 c 0.0s | 0 | 448 | 8 | 2621 0 | 0 | 1 0.09/0.13 c #cpu_time = 0.006s 0.09/0.13 c #wall_clock_time = 0.006s 0.09/0.13 c #decision = 448 0.09/0.13 c #random_decision = 2 0.09/0.13 c #conflict = 8 0.09/0.13 c #restart = 0 0.09/0.13 o 32 0.09/0.13 c BCD2: updating upper bound: 41 -> 31 0.09/0.13 c BCD2: 6 <= obj <= 31 0.09/0.13 c BCD2: #cores=6, #unrelaxed=119, #relaxed=81, #hardened=0 0.09/0.13 c BCD2: #sat=3 #unsat=7 bias=7/10 0.09/0.13 c Solving starts ... 0.09/0.13 c ============================[ Search Statistics ]============================ 0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.13 c | | | | Limit GC | Var | Constra 0.09/0.13 c ============================================================================= 0.09/0.13 c 0.0s | 0 | 0 | 0 | 2621 0 | 0 | 2 0.09/0.15 c 0.0s | 0 | 173 | 30 | 2621 0 | 0 | 2 0.09/0.15 c #cpu_time = 0.014s 0.09/0.15 c #wall_clock_time = 0.014s 0.09/0.15 c #decision = 173 0.09/0.15 c #random_decision = 0 0.09/0.15 c #conflict = 30 0.09/0.15 c #restart = 0 0.09/0.15 c BCD2: relaxing 113 and merging with 6 cores into a new core of size 194: cost of the new core is >=7 0.09/0.15 c lower bound updated to 7 0.09/0.15 c BCD2: 7 <= obj <= 31 0.09/0.15 c BCD2: #cores=1, #unrelaxed=6, #relaxed=194, #hardened=0 0.09/0.15 c BCD2: #sat=3 #unsat=8 bias=8/11 0.09/0.15 c Solving starts ... 0.09/0.15 c ============================[ Search Statistics ]============================ 0.09/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.15 c | | | | Limit GC | Var | Constra 0.09/0.15 c ============================================================================= 0.09/0.15 c 0.0s | 0 | 0 | 0 | 2621 0 | 22 | 2 0.19/0.28 c 0.1s | 1 | 733 | 100 | 2884 0 | 22 | 40 0.48/0.50 c 0.4s | 2 | 1560 | 250 | 3173 0 | 22 | 40 0.79/0.83 c 0.7s | 3 | 2362 | 475 | 3491 0 | 22 | 40 1.28/1.38 c 1.2s | 4 | 3835 | 813 | 3841 0 | 22 | 40 1.88/1.99 c 1.8s | 5 | 6030 | 1320 | 4226 0 | 22 | 40 2.88/2.90 c 2.8s | 6 | 8891 | 2081 | 4649 0 | 22 | 40 4.18/4.28 c 4.1s | 7 | 12804 | 3223 | 5114 0 | 22 | 40 6.08/6.17 c 6.0s | 8 | 18312 | 4936 | 5626 0 | 22 | 40 8.18/8.20 c 8.1s | 8 | 22937 | 6636 | 5626 1 | 22 | 40 9.28/9.33 c 9.2s | 9 | 25630 | 7506 | 6189 1 | 22 | 40 11.28/11.39 c 11.2s | 9 | 30986 | 9106 | 6189 1 | 22 | 40 13.38/13.49 c 13.3s | 9 | 37395 | 10706 | 6189 2 | 22 | 40 14.29/14.34 c 14.2s | 10 | 39626 | 11361 | 6808 2 | 22 | 40 16.39/16.44 c 16.3s | 10 | 45265 | 12861 | 6808 2 | 22 | 40 18.49/18.55 c 18.4s | 10 | 51417 | 14361 | 6808 3 | 22 | 40 20.59/20.66 c 20.5s | 10 | 57548 | 15961 | 6808 3 | 22 | 40 22.10/22.19 c 22.0s | 11 | 61806 | 17144 | 7489 3 | 22 | 40 24.20/24.26 c 24.1s | 11 | 67287 | 18644 | 7489 4 | 22 | 40 26.29/26.39 c 26.2s | 11 | 73118 | 20244 | 7489 4 | 22 | 40 28.39/28.48 c 28.3s | 11 | 79008 | 21744 | 7489 4 | 22 | 40 30.49/30.57 c 30.4s | 11 | 84230 | 23244 | 7489 5 | 22 | 40 32.59/32.60 c 32.5s | 11 | 89159 | 24744 | 7489 5 | 22 | 40 34.09/34.13 c 34.0s | 12 | 92470 | 25819 | 8238 5 | 22 | 40 36.19/36.20 c 36.1s | 12 | 97188 | 27219 | 8238 6 | 22 | 40 38.29/38.31 c 38.2s | 12 | 103266 | 28719 | 8238 6 | 22 | 40 40.28/40.35 c 40.2s | 12 | 108332 | 30119 | 8238 6 | 22 | 40 42.28/42.36 c 42.2s | 12 | 113471 | 31519 | 8238 7 | 22 | 40 44.28/44.36 c 44.2s | 12 | 118875 | 32919 | 8238 7 | 22 | 40 46.38/46.44 c 46.3s | 12 | 124251 | 34419 | 8238 7 | 22 | 40 48.39/48.50 c 48.4s | 12 | 129946 | 35919 | 8238 7 | 22 | 40 50.48/50.56 c 50.4s | 12 | 135850 | 37419 | 8238 8 | 22 | 40 52.48/52.51 c 52.4s | 13 | 141188 | 38832 | 9062 8 | 22 | 40 54.58/54.63 c 54.5s | 13 | 145961 | 40132 | 9062 8 | 22 | 40 56.58/56.69 c 56.5s | 13 | 151135 | 41532 | 9062 9 | 22 | 40 58.78/58.80 c 58.7s | 13 | 155987 | 42932 | 9062 9 | 22 | 40 60.78/60.85 c 60.7s | 13 | 161277 | 44332 | 9062 9 | 22 | 40 62.78/62.87 c 62.7s | 13 | 166993 | 45732 | 9062 9 | 22 | 40 64.88/64.98 c 64.8s | 13 | 173155 | 47232 | 9062 10 | 22 | 40 67.08/67.12 c 67.0s | 13 | 178456 | 48732 | 9062 10 | 22 | 40 69.08/69.19 c 69.0s | 13 | 185129 | 50232 | 9062 10 | 22 | 40 71.18/71.29 c 71.1s | 13 | 191269 | 51732 | 9062 11 | 22 | 40 73.38/73.40 c 73.3s | 13 | 196390 | 53232 | 9062 11 | 22 | 40 75.38/75.42 c 75.3s | 13 | 201246 | 54632 | 9062 11 | 22 | 40 77.48/77.53 c 77.4s | 13 | 206223 | 56032 | 9062 12 | 22 | 40 79.47/79.57 c 79.4s | 13 | 211426 | 57432 | 9062 12 | 22 | 40 80.77/80.87 c 80.7s | 14 | 214503 | 58352 | 9969 12 | 22 | 40 82.87/82.90 c 82.8s | 14 | 219713 | 59752 | 9969 12 | 22 | 40 84.87/84.94 c 84.8s | 14 | 224772 | 61152 | 9969 12 | 22 | 40 86.88/86.96 c 86.8s | 14 | 230625 | 62652 | 9969 13 | 22 | 40 88.97/89.09 c 88.9s | 14 | 236842 | 64152 | 9969 13 | 22 | 40 91.07/91.12 c 91.0s | 14 | 241490 | 65552 | 9969 13 | 22 | 40 93.07/93.14 c 93.0s | 14 | 246533 | 66952 | 9969 14 | 22 | 40 95.17/95.27 c 95.1s | 14 | 253067 | 68552 | 9969 14 | 22 | 40 97.27/97.37 c 97.2s | 14 | 258599 | 70152 | 9969 14 | 22 | 40 99.37/99.44 c 99.3s | 14 | 264240 | 71652 | 9969 14 | 22 | 40 101.47/101.53 c 101s | 14 | 270574 | 73152 | 9969 15 | 22 | 40 103.48/103.55 c 103s | 14 | 277053 | 74652 | 9969 15 | 22 | 40 105.58/105.67 c 105s | 14 | 282239 | 75952 | 9969 15 | 22 | 40 107.67/107.77 c 107s | 14 | 287153 | 77152 | 9969 15 | 22 | 40 109.77/109.84 c 109s | 14 | 292942 | 78652 | 9969 16 | 22 | 40 111.77/111.88 c 111s | 14 | 298997 | 80152 | 9969 16 | 22 | 40 113.77/113.89 c 113s | 14 | 304384 | 81652 | 9969 16 | 22 | 40 115.87/115.95 c 115s | 14 | 309316 | 83052 | 9969 17 | 22 | 40 117.97/118.01 c 117s | 14 | 315141 | 84452 | 9969 17 | 22 | 40 120.07/120.17 c 120s | 14 | 320217 | 85952 | 9969 17 | 22 | 40 122.07/122.19 c 122s | 14 | 324754 | 87352 | 10966 17 | 22 | 40 122.57/122.63 c 122s | 15 | 325530 | 87632 | 10966 17 | 22 | 40 124.67/124.80 c 124s | 15 | 329195 | 88932 | 10966 18 | 22 | 40 126.77/126.80 c 126s | 15 | 333220 | 90232 | 10966 18 | 22 | 40 128.77/128.84 c 128s | 15 | 338276 | 91632 | 10966 18 | 22 | 40 130.76/130.86 c 130s | 15 | 343490 | 93032 | 10966 18 | 22 | 40 132.86/132.97 c 132s | 15 | 349272 | 94332 | 10966 18 | 22 | 40 134.86/134.99 c 134s | 15 | 354480 | 95732 | 10966 19 | 22 | 40 136.96/137.09 c 136s | 15 | 359637 | 97132 | 10966 19 | 22 | 40 138.96/139.10 c 138s | 15 | 363665 | 98532 | 10966 19 | 22 | 40 141.16/141.20 c 141s | 15 | 368501 | 99932 | 10966 19 | 22 | 40 143.16/143.20 c 143s | 15 | 372931 | 101332 | 10966 20 | 22 | 40 145.17/145.21 c 145s | 15 | 378122 | 102732 | 10966 20 | 22 | 40 147.26/147.31 c 147s | 15 | 383404 | 104232 | 10966 20 | 22 | 40 149.26/149.35 c 149s | 15 | 388624 | 105732 | 10966 20 | 22 | 40 151.36/151.47 c 151s | 15 | 394484 | 107332 | 10966 21 | 22 | 40 153.36/153.49 c 153s | 15 | 399521 | 108832 | 10966 21 | 22 | 40 155.46/155.59 c 155s | 15 | 404406 | 110332 | 10966 21 | 22 | 40 157.56/157.68 c 157s | 15 | 409259 | 111832 | 10966 21 | 22 | 40 159.66/159.72 c 159s | 15 | 414202 | 113332 | 10966 22 | 22 | 40 161.67/161.80 c 161s | 15 | 419517 | 114932 | 10966 22 | 22 | 40 163.87/163.93 c 163s | 15 | 424874 | 116332 | 10966 22 | 22 | 40 165.86/165.93 c 165s | 15 | 429577 | 117732 | 10966 22 | 22 | 40 167.86/167.93 c 167s | 15 | 434909 | 119132 | 10966 23 | 22 | 40 169.86/169.96 c 169s | 15 | 439472 | 120532 | 10966 23 | 22 | 40 171.86/171.96 c 171s | 15 | 444490 | 121932 | 10966 23 | 22 | 40 173.86/173.98 c 173s | 15 | 449442 | 123332 | 10966 23 | 22 | 40 175.96/176.01 c 175s | 15 | 454623 | 124732 | 10966 24 | 22 | 40 177.96/178.07 c 177s | 15 | 459794 | 126232 | 10966 24 | 22 | 40 180.46/180.54 c 180s | 15 | 463317 | 127532 | 10966 24 | 22 | 40 182.56/182.66 c 182s | 15 | 468940 | 128932 | 10966 24 | 22 | 40 184.66/184.75 c 184s | 15 | 474337 | 130432 | 10966 25 | 22 | 40 185.96/186.09 c 185s | 16 | 477714 | 131552 | 12063 25 | 22 | 40 188.06/188.12 c 187s | 16 | 482319 | 133052 | 12063 25 | 22 | 40 190.06/190.18 c 190s | 16 | 487474 | 134652 | 12063 25 | 22 | 40 192.15/192.29 c 192s | 16 | 492780 | 136352 | 12063 25 | 22 | 40 194.25/194.34 c 194s | 16 | 498030 | 137852 | 12063 26 | 22 | 40 196.35/196.47 c 196s | 16 | 504795 | 139352 | 12063 26 | 22 | 40 198.35/198.47 c 198s | 16 | 509750 | 140752 | 12063 26 | 22 | 40 200.45/200.54 c 200s | 16 | 515030 | 142152 | 12063 26 | 22 | 40 202.46/202.54 c 202s | 16 | 520488 | 143552 | 12063 27 | 22 | 40 204.56/204.66 c 204s | 16 | 527064 | 145152 | 12063 27 | 22 | 40 206.65/206.71 c 206s | 16 | 532481 | 146652 | 12063 27 | 22 | 40 208.65/208.76 c 208s | 16 | 538165 | 147952 | 12063 27 | 22 | 40 210.65/210.79 c 210s | 16 | 543484 | 149352 | 12063 27 | 22 | 40 212.75/212.80 c 212s | 16 | 548338 | 150652 | 12063 28 | 22 | 40 214.76/214.88 c 214s | 16 | 553580 | 152052 | 12063 28 | 22 | 40 216.86/216.91 c 216s | 16 | 559051 | 153452 | 12063 28 | 22 | 40 218.87/218.95 c 218s | 16 | 563953 | 154752 | 12063 28 | 22 | 40 220.96/221.05 c 220s | 16 | 569716 | 156252 | 12063 29 | 22 | 40 222.96/223.08 c 222s | 16 | 575457 | 157752 | 12063 29 | 22 | 40 225.06/225.15 c 225s | 16 | 581795 | 159352 | 12063 29 | 22 | 40 227.16/227.24 c 227s | 16 | 588050 | 160852 | 12063 29 | 22 | 40 229.26/229.31 c 229s | 16 | 592954 | 162252 | 12063 30 | 22 | 40 231.25/231.33 c 231s | 16 | 598734 | 163852 | 12063 30 | 22 | 40 233.35/233.45 c 233s | 16 | 604393 | 165452 | 12063 30 | 22 | 40 235.46/235.52 c 235s | 16 | 609912 | 166952 | 12063 30 | 22 | 40 237.45/237.55 c 237s | 16 | 615633 | 168452 | 12063 30 | 22 | 40 239.55/239.65 c 239s | 16 | 621256 | 170052 | 12063 31 | 22 | 40 241.65/241.76 c 241s | 16 | 627449 | 171652 | 12063 31 | 22 | 40 243.65/243.76 c 243s | 16 | 632323 | 173252 | 12063 31 | 22 | 40 245.75/245.83 c 245s | 16 | 636882 | 174552 | 12063 31 | 22 | 40 247.85/247.96 c 247s | 16 | 641253 | 175852 | 12063 32 | 22 | 40 249.95/250.04 c 249s | 16 | 645068 | 176952 | 12063 32 | 22 | 40 251.96/252.07 c 251s | 16 | 650350 | 178352 | 12063 32 | 22 | 40 254.16/254.24 c 254s | 16 | 655158 | 179652 | 12063 32 | 22 | 40 256.26/256.37 c 256s | 16 | 659486 | 180852 | 12063 32 | 22 | 40 258.35/258.50 c 258s | 16 | 664729 | 182252 | 12063 33 | 22 | 40 260.45/260.51 c 260s | 16 | 669538 | 183552 | 12063 33 | 22 | 40 262.55/262.67 c 262s | 16 | 674587 | 184952 | 12063 33 | 22 | 40 264.65/264.79 c 264s | 16 | 679402 | 186252 | 12063 33 | 22 | 40 266.85/266.96 c 266s | 16 | 684342 | 187652 | 12063 34 | 22 | 40 268.95/269.02 c 268s | 16 | 688923 | 189252 | 12063 34 | 22 | 40 271.05/271.10 c 270s | 16 | 693618 | 190552 | 12063 34 | 22 | 40 273.15/273.23 c 273s | 16 | 699342 | 191952 | 12063 34 | 22 | 40 275.25/275.32 c 275s | 16 | 704749 | 193352 | 12063 34 | 22 | 40 277.25/277.34 c 277s | 16 | 710742 | 194852 | 12063 35 | 22 | 40 279.24/279.39 c 279s | 16 | 717055 | 196552 | 13270 35 | 22 | 40 280.45/280.55 c 280s | 17 | 720288 | 197432 | 13270 35 | 22 | 40 282.44/282.56 c 282s | 17 | 724725 | 198732 | 13270 35 | 22 | 40 284.54/284.63 c 284s | 17 | 730263 | 200132 | 13270 35 | 22 | 40 286.64/286.73 c 286s | 17 | 735983 | 201532 | 13270 35 | 22 | 40 288.74/288.85 c 288s | 17 | 740914 | 203032 | 13270 36 | 22 | 40 290.84/290.97 c 290s | 17 | 746646 | 204532 | 13270 36 | 22 | 40 292.84/292.98 c 292s | 17 | 752719 | 205932 | 13270 36 | 22 | 40 294.94/295.07 c 294s | 17 | 757737 | 207332 | 13270 36 | 22 | 40 297.05/297.17 c 297s | 17 | 762952 | 208632 | 13270 37 | 22 | 40 299.15/299.22 c 299s | 17 | 769294 | 210132 | 13270 37 | 22 | 40 301.24/301.34 c 301s | 17 | 774711 | 211632 | 13270 37 | 22 | 40 303.24/303.35 c 303s | 17 | 780045 | 212832 | 13270 37 | 22 | 40 305.34/305.40 c 305s | 17 | 786110 | 214232 | 13270 37 | 22 | 40 307.44/307.52 c 307s | 17 | 791938 | 215632 | 13270 38 | 22 | 40 309.54/309.64 c 309s | 17 | 797487 | 217032 | 13270 38 | 22 | 40 311.64/311.77 c 311s | 17 | 802560 | 218432 | 13270 38 | 22 | 40 313.74/313.82 c 313s | 17 | 807625 | 219832 | 13270 38 | 22 | 40 315.74/315.86 c 315s | 17 | 811450 | 221032 | 13270 38 | 22 | 40 317.84/317.95 c 317s | 17 | 816218 | 222332 | 13270 38 | 22 | 40 319.94/320.10 c 319s | 17 | 821584 | 223732 | 13270 39 | 22 | 40 322.04/322.18 c 322s | 17 | 826841 | 225232 | 13270 39 | 22 | 40 324.14/324.20 c 324s | 17 | 831867 | 226732 | 13270 39 | 22 | 40 326.24/326.31 c 326s | 17 | 838105 | 228132 | 13270 39 | 22 | 40 328.34/328.40 c 328s | 17 | 842914 | 229432 | 13270 40 | 22 | 40 330.33/330.45 c 330s | 17 | 847683 | 230832 | 13270 40 | 22 | 40 332.33/332.48 c 332s | 17 | 852951 | 232232 | 13270 40 | 22 | 40 334.44/334.52 c 334s | 17 | 857935 | 233632 | 13270 40 | 22 | 40 336.43/336.53 c 336s | 17 | 864012 | 235032 | 13270 40 | 22 | 40 338.53/338.62 c 338s | 17 | 869318 | 236432 | 13270 41 | 22 | 40 340.53/340.64 c 340s | 17 | 874747 | 237932 | 13270 41 | 22 | 40 342.63/342.76 c 342s | 17 | 880544 | 239432 | 13270 41 | 22 | 40 344.73/344.80 c 344s | 17 | 885684 | 240932 | 13270 41 | 22 | 40 346.83/346.94 c 346s | 17 | 891614 | 242432 | 13270 41 | 22 | 40 348.83/348.95 c 348s | 17 | 896274 | 243832 | 13270 42 | 22 | 40 350.94/351.03 c 350s | 17 | 901794 | 245332 | 13270 42 | 22 | 40 352.93/353.10 c 352s | 17 | 907957 | 246832 | 13270 42 | 22 | 40 355.13/355.22 c 355s | 17 | 914280 | 248332 | 13270 42 | 22 | 40 357.23/357.31 c 357s | 17 | 919428 | 249832 | 13270 42 | 22 | 40 359.23/359.33 c 359s | 17 | 925099 | 251232 | 13270 43 | 22 | 40 361.23/361.39 c 361s | 17 | 931469 | 252832 | 13270 43 | 22 | 40 363.43/363.50 c 363s | 17 | 938890 | 254432 | 13270 43 | 22 | 40 365.53/365.62 c 365s | 17 | 942159 | 255332 | 13270 43 | 22 | 40 367.73/367.82 c 367s | 17 | 945768 | 256632 | 13270 43 | 22 | 40 369.83/369.90 c 369s | 17 | 950309 | 257932 | 13270 44 | 22 | 40 371.83/371.92 c 371s | 17 | 955441 | 259332 | 13270 44 | 22 | 40 373.83/373.98 c 373s | 17 | 959858 | 260732 | 13270 44 | 22 | 40 375.93/376.05 c 375s | 17 | 965128 | 262132 | 13270 44 | 22 | 40 377.93/378.07 c 377s | 17 | 970124 | 263532 | 13270 44 | 22 | 40 380.13/380.21 c 380s | 17 | 974947 | 264932 | 13270 45 | 22 | 40 382.12/382.25 c 382s | 17 | 980516 | 266432 | 13270 45 | 22 | 40 384.22/384.33 c 384s | 17 | 985756 | 267832 | 13270 45 | 22 | 40 386.23/386.37 c 386s | 17 | 990839 | 269332 | 13270 45 | 22 | 40 388.34/388.45 c 388s | 17 | 996000 | 270732 | 13270 45 | 22 | 40 390.44/390.54 c 390s | 17 | 1000620 | 272232 | 13270 46 | 22 | 40 392.43/392.59 c 392s | 17 | 1005807 | 273632 | 13270 46 | 22 | 40 394.53/394.65 c 394s | 17 | 1010843 | 275132 | 13270 46 | 22 | 40 396.63/396.71 c 396s | 17 | 1016282 | 276532 | 13270 46 | 22 | 40 398.73/398.87 c 398s | 17 | 1020615 | 277932 | 13270 46 | 22 | 40 400.83/400.90 c 400s | 17 | 1025576 | 279332 | 13270 47 | 22 | 40 402.83/402.90 c 402s | 17 | 1031529 | 280832 | 13270 47 | 22 | 40 404.84/404.97 c 404s | 17 | 1036009 | 282232 | 13270 47 | 22 | 40 407.04/407.11 c 406s | 17 | 1041597 | 283732 | 13270 47 | 22 | 40 409.13/409.29 c 409s | 17 | 1045854 | 284932 | 13270 48 | 22 | 40 411.23/411.38 c 411s | 17 | 1051292 | 286532 | 13270 48 | 22 | 40 413.33/413.45 c 413s | 17 | 1057203 | 288132 | 13270 48 | 22 | 40 415.42/415.58 c 415s | 17 | 1062986 | 289732 | 13270 48 | 22 | 40 417.62/417.72 c 417s | 17 | 1068292 | 291232 | 13270 48 | 22 | 40 419.62/419.74 c 419s | 17 | 1072586 | 292632 | 13270 49 | 22 | 40 421.72/421.81 c 421s | 17 | 1078707 | 294032 | 13270 49 | 22 | 40 423.72/423.85 c 423s | 17 | 1083538 | 295432 | 14598 49 | 22 | 40 424.82/424.96 c 424s | 18 | 1086731 | 296252 | 14598 49 | 22 | 40 426.92/427.07 c 426s | 18 | 1092642 | 297652 | 14598 49 | 22 | 40 429.12/429.22 c 429s | 18 | 1097657 | 298952 | 14598 49 | 22 | 40 431.13/431.30 c 431s | 18 | 1103128 | 300252 | 14598 50 | 22 | 40 433.22/433.31 c 433s | 18 | 1108964 | 301652 | 14598 50 | 22 | 40 435.22/435.36 c 435s | 18 | 1114297 | 302952 | 14598 50 | 22 | 40 437.22/437.38 c 437s | 18 | 1119611 | 304352 | 14598 50 | 22 | 40 439.32/439.41 c 439s | 18 | 1125396 | 305752 | 14598 50 | 22 | 40 441.42/441.56 c 441s | 18 | 1130890 | 307152 | 14598 50 | 22 | 40 443.62/443.70 c 443s | 18 | 1137347 | 308652 | 14598 51 | 22 | 40 445.62/445.79 c 445s | 18 | 1142634 | 310052 | 14598 51 | 22 | 40 447.82/447.93 c 447s | 18 | 1147944 | 311452 | 14598 51 | 22 | 40 449.83/449.99 c 449s | 18 | 1152822 | 312852 | 14598 51 | 22 | 40 451.92/452.08 c 451s | 18 | 1157574 | 314252 | 14598 51 | 22 | 40 454.02/454.12 c 453s | 18 | 1162614 | 315552 | 14598 52 | 22 | 40 456.02/456.18 c 456s | 18 | 1167848 | 316952 | 14598 52 | 22 | 40 458.22/458.31 c 458s | 18 | 1173288 | 318452 | 14598 52 | 22 | 40 460.22/460.36 c 460s | 18 | 1177975 | 319752 | 14598 52 | 22 | 40 462.32/462.46 c 462s | 18 | 1183106 | 321152 | 14598 52 | 22 | 40 464.42/464.59 c 464s | 18 | 1188235 | 322452 | 14598 52 | 22 | 40 466.62/466.72 c 466s | 18 | 1194332 | 323852 | 14598 53 | 22 | 40 468.62/468.77 c 468s | 18 | 1200104 | 325352 | 14598 53 | 22 | 40 470.72/470.81 c 470s | 18 | 1205104 | 326752 | 14598 53 | 22 | 40 472.81/472.97 c 472s | 18 | 1210103 | 328152 | 14598 53 | 22 | 40 474.91/475.09 c 474s | 18 | 1215022 | 329552 | 14598 53 | 22 | 40 477.11/477.22 c 477s | 18 | 1220489 | 330852 | 14598 54 | 22 | 40 479.11/479.27 c 479s | 18 | 1225891 | 332252 | 14598 54 | 22 | 40 481.21/481.37 c 481s | 18 | 1230863 | 333652 | 14598 54 | 22 | 40 483.31/483.43 c 483s | 18 | 1234654 | 334852 | 14598 54 | 22 | 40 485.41/485.57 c 485s | 18 | 1240256 | 336252 | 14598 54 | 22 | 40 487.51/487.64 c 487s | 18 | 1245323 | 337652 | 14598 54 | 22 | 40 489.52/489.64 c 489s | 18 | 1250067 | 338952 | 14598 55 | 22 | 40 491.62/491.75 c 491s | 18 | 1255534 | 340452 | 14598 55 | 22 | 40 493.71/493.80 c 493s | 18 | 1260689 | 341852 | 14598 55 | 22 | 40 495.71/495.85 c 495s | 18 | 1266342 | 343352 | 14598 55 | 22 | 40 497.81/497.99 c 497s | 18 | 1272142 | 344852 | 14598 55 | 22 | 40 499.91/500.09 c 499s | 18 | 1277400 | 346252 | 14598 56 | 22 | 40 502.11/502.23 c 502s | 18 | 1282626 | 347752 | 14598 56 | 22 | 40 504.21/504.36 c 504s | 18 | 1288641 | 349252 | 14598 56 | 22 | 40 506.41/506.51 c 506s | 18 | 1294279 | 350752 | 14598 56 | 22 | 40 508.51/508.62 c 508s | 18 | 1299725 | 352252 | 14598 56 | 22 | 40 510.61/510.72 c 510s | 18 | 1304125 | 353652 | 14598 57 | 22 | 40 512.71/512.83 c 512s | 18 | 1309073 | 355152 | 14598 57 | 22 | 40 514.71/514.90 c 514s | 18 | 1313965 | 356552 | 14598 57 | 22 | 40 516.91/517.05 c 516s | 18 | 1319246 | 357952 | 14598 57 | 22 | 40 519.01/519.11 c 518s | 18 | 1324401 | 359352 | 14598 57 | 22 | 40 521.01/521.13 c 520s | 18 | 1329134 | 360752 | 14598 57 | 22 | 40 523.01/523.14 c 522s | 18 | 1333969 | 362152 | 14598 58 | 22 | 40 525.01/525.16 c 525s | 18 | 1339330 | 363652 | 14598 58 | 22 | 40 527.11/527.21 c 527s | 18 | 1344421 | 365152 | 14598 58 | 22 | 40 529.11/529.28 c 529s | 18 | 1349393 | 366652 | 14598 58 | 22 | 40 531.21/531.32 c 531s | 18 | 1354577 | 368152 | 14598 58 | 22 | 40 533.20/533.38 c 533s | 18 | 1359300 | 369652 | 14598 59 | 22 | 40 535.30/535.48 c 535s | 18 | 1364670 | 371252 | 14598 59 | 22 | 40 537.40/537.57 c 537s | 18 | 1370126 | 372852 | 14598 59 | 22 | 40 539.90/540.08 c 539s | 18 | 1373781 | 373952 | 14598 59 | 22 | 40 542.00/542.17 c 542s | 18 | 1377397 | 374952 | 14598 59 | 22 | 40 544.10/544.28 c 544s | 18 | 1382343 | 376252 | 14598 59 | 22 | 40 546.30/546.42 c 546s | 18 | 1387180 | 377752 | 14598 60 | 22 | 40 548.60/548.77 c 548s | 18 | 1391213 | 379152 | 14598 60 | 22 | 40 550.80/550.93 c 550s | 18 | 1395304 | 380352 | 14598 60 | 22 | 40 552.80/552.96 c 552s | 18 | 1400833 | 381652 | 14598 60 | 22 | 40 554.90/555.03 c 554s | 18 | 1406150 | 383052 | 14598 60 | 22 | 40 557.01/557.12 c 556s | 18 | 1411938 | 384552 | 14598 61 | 22 | 40 559.11/559.20 c 559s | 18 | 1416304 | 385952 | 14598 61 | 22 | 40 561.10/561.26 c 561s | 18 | 1419853 | 387352 | 14598 61 | 22 | 40 563.11/563.30 c 563s | 18 | 1425590 | 388752 | 14598 61 | 22 | 40 565.20/565.36 c 565s | 18 | 1431774 | 390152 | 14598 61 | 22 | 40 567.40/567.57 c 567s | 18 | 1436993 | 391652 | 14598 62 | 22 | 40 569.50/569.60 c 569s | 18 | 1442564 | 392952 | 14598 62 | 22 | 40 571.50/571.61 c 571s | 18 | 1446930 | 394252 | 14598 62 | 22 | 40 573.60/573.70 c 573s | 18 | 1450689 | 395452 | 14598 62 | 22 | 40 575.60/575.73 c 575s | 18 | 1456012 | 396752 | 14598 62 | 22 | 40 577.70/577.81 c 577s | 18 | 1460919 | 398152 | 14598 62 | 22 | 40 579.71/579.82 c 579s | 18 | 1465846 | 399252 | 14598 63 | 22 | 40 581.70/581.83 c 581s | 18 | 1470982 | 400652 | 14598 63 | 22 | 40 583.80/583.90 c 583s | 18 | 1476162 | 401952 | 14598 63 | 22 | 40 585.90/586.01 c 585s | 18 | 1482193 | 403252 | 14598 63 | 22 | 40 587.90/588.03 c 587s | 18 | 1488143 | 404552 | 14598 63 | 22 | 40 589.90/590.07 c 589s | 18 | 1492778 | 405852 | 14598 63 | 22 | 40 592.00/592.11 c 591s | 18 | 1497410 | 407152 | 14598 64 | 22 | 40 594.00/594.16 c 594s | 18 | 1503639 | 408752 | 14598 64 | 22 | 40 596.10/596.25 c 596s | 18 | 1509285 | 410252 | 14598 64 | 22 | 40 598.10/598.25 c 598s | 18 | 1513855 | 411652 | 14598 64 | 22 | 40 600.10/600.27 c 600s | 18 | 1518277 | 412852 | 14598 64 | 22 | 40 602.20/602.30 c 602s | 18 | 1522830 | 414152 | 14598 64 | 22 | 40 604.30/604.42 c 604s | 18 | 1529112 | 415552 | 14598 65 | 22 | 40 606.39/606.50 c 606s | 18 | 1534635 | 416952 | 14598 65 | 22 | 40 608.39/608.52 c 608s | 18 | 1540351 | 418252 | 14598 65 | 22 | 40 610.50/610.60 c 610s | 18 | 1545155 | 419552 | 14598 65 | 22 | 40 612.49/612.70 c 612s | 18 | 1550241 | 420852 | 14598 65 | 22 | 40 614.59/614.70 c 614s | 18 | 1554991 | 422052 | 14598 66 | 22 | 40 616.69/616.80 c 616s | 18 | 1559375 | 423552 | 14598 66 | 22 | 40 618.79/618.92 c 618s | 18 | 1563452 | 424952 | 14598 66 | 22 | 40 620.79/620.93 c 620s | 18 | 1568045 | 426252 | 14598 66 | 22 | 40 622.79/622.97 c 622s | 18 | 1572231 | 427552 | 14598 66 | 22 | 40 624.89/625.09 c 624s | 18 | 1577227 | 428952 | 14598 66 | 22 | 40 627.00/627.12 c 626s | 18 | 1581844 | 430252 | 14598 67 | 22 | 40 628.99/629.16 c 629s | 18 | 1586423 | 431652 | 14598 67 | 22 | 40 631.09/631.27 c 631s | 18 | 1591679 | 433152 | 14598 67 | 22 | 40 633.29/633.42 c 633s | 18 | 1596883 | 434652 | 14598 67 | 22 | 40 635.29/635.42 c 635s | 18 | 1601453 | 436052 | 14598 67 | 22 | 40 637.29/637.49 c 637s | 18 | 1606654 | 437452 | 14598 67 | 22 | 40 639.39/639.51 c 639s | 18 | 1611430 | 438852 | 14598 68 | 22 | 40 641.39/641.56 c 641s | 18 | 1616346 | 440352 | 14598 68 | 22 | 40 643.69/643.85 c 643s | 18 | 1620254 | 441552 | 16058 68 | 22 | 40 645.69/645.87 c 645s | 18 | 1622669 | 442252 | 16058 68 | 22 | 40 647.79/647.96 c 647s | 18 | 1629201 | 443652 | 16058 68 | 22 | 40 648.99/649.13 c 648s | 19 | 1633184 | 444482 | 16058 68 | 22 | 40 651.09/651.24 c 651s | 19 | 1639720 | 445882 | 16058 68 | 22 | 40 653.08/653.24 c 653s | 19 | 1645765 | 447282 | 16058 69 | 22 | 40 655.18/655.34 c 655s | 19 | 1652904 | 448682 | 16058 69 | 22 | 40 657.18/657.36 c 657s | 19 | 1658033 | 449982 | 16058 69 | 22 | 40 659.28/659.46 c 659s | 19 | 1663872 | 451382 | 16058 69 | 22 | 40 661.38/661.54 c 661s | 19 | 1669848 | 452782 | 16058 69 | 22 | 40 663.48/663.63 c 663s | 19 | 1674063 | 453882 | 16058 69 | 22 | 40 665.59/665.79 c 665s | 19 | 1678881 | 455082 | 16058 70 | 22 | 40 667.70/667.85 c 667s | 19 | 1684327 | 456582 | 16058 70 | 22 | 40 669.69/669.85 c 669s | 19 | 1688659 | 457882 | 16058 70 | 22 | 40 671.79/671.94 c 671s | 19 | 1694011 | 459282 | 16058 70 | 22 | 40 673.89/674.07 c 673s | 19 | 1698900 | 460682 | 16058 70 | 22 | 40 675.99/676.12 c 675s | 19 | 1703795 | 462182 | 16058 70 | 22 | 40 677.99/678.19 c 678s | 19 | 1708086 | 463482 | 16058 71 | 22 | 40 680.19/680.32 c 680s | 19 | 1713563 | 464882 | 16058 71 | 22 | 40 682.19/682.35 c 682s | 19 | 1718529 | 466282 | 16058 71 | 22 | 40 684.29/684.49 c 684s | 19 | 1724552 | 467782 | 16058 71 | 22 | 40 686.39/686.57 c 686s | 19 | 1730438 | 469182 | 16058 71 | 22 | 40 688.39/688.60 c 688s | 19 | 1735848 | 470582 | 16058 71 | 22 | 40 690.59/690.73 c 690s | 19 | 1740905 | 471982 | 16058 72 | 22 | 40 692.69/692.85 c 692s | 19 | 1748416 | 473482 | 16058 72 | 22 | 40 694.79/694.93 c 694s | 19 | 1753798 | 474882 | 16058 72 | 22 | 40 696.89/697.06 c 696s | 19 | 1759697 | 476282 | 16058 72 | 22 | 40 698.98/699.18 c 699s | 19 | 1765736 | 477682 | 16058 72 | 22 | 40 701.08/701.23 c 701s | 19 | 1771516 | 479082 | 16058 72 | 22 | 40 703.18/703.30 c 703s | 19 | 1776889 | 480482 | 16058 73 | 22 | 40 705.28/705.40 c 705s | 19 | 1782866 | 481882 | 16058 73 | 22 | 40 707.38/707.59 c 707s | 19 | 1788342 | 483382 | 16058 73 | 22 | 40 709.39/709.59 c 709s | 19 | 1793770 | 484682 | 16058 73 | 22 | 40 711.59/711.73 c 711s | 19 | 1798950 | 486182 | 16058 73 | 22 | 40 713.68/713.84 c 713s | 19 | 1804205 | 487682 | 16058 73 | 22 | 40 715.78/715.93 c 715s | 19 | 1810028 | 489082 | 16058 74 | 22 | 40 717.88/718.00 c 717s | 19 | 1815906 | 490482 | 16058 74 | 22 | 40 719.88/720.01 c 719s | 19 | 1820825 | 491782 | 16058 74 | 22 | 40 721.98/722.11 c 721s | 19 | 1826200 | 493182 | 16058 74 | 22 | 40 723.98/724.19 c 724s | 19 | 1831685 | 494682 | 16058 74 | 22 | 40 726.08/726.20 c 726s | 19 | 1836674 | 496082 | 16058 74 | 22 | 40 728.08/728.28 c 728s | 19 | 1841534 | 497382 | 16058 75 | 22 | 40 730.18/730.30 c 730s | 19 | 1846744 | 498782 | 16058 75 | 22 | 40 732.18/732.30 c 732s | 19 | 1851739 | 500182 | 16058 75 | 22 | 40 734.18/734.30 c 734s | 19 | 1856397 | 501582 | 16058 75 | 22 | 40 736.18/736.35 c 736s | 19 | 1861603 | 502982 | 16058 75 | 22 | 40 738.27/738.41 c 738s | 19 | 1866719 | 504282 | 16058 75 | 22 | 40 740.28/740.46 c 740s | 19 | 1872234 | 505682 | 16058 76 | 22 | 40 742.27/742.50 c 742s | 19 | 1878078 | 507182 | 16058 76 | 22 | 40 744.37/744.51 c 744s | 19 | 1883201 | 508582 | 16058 76 | 22 | 40 746.37/746.51 c 746s | 19 | 1888066 | 509982 | 16058 76 | 22 | 40 748.47/748.65 c 748s | 19 | 1892937 | 511382 | 16058 76 | 22 | 40 750.57/750.75 c 750s | 19 | 1898553 | 512782 | 16058 76 | 22 | 40 752.57/752.75 c 752s | 19 | 1903756 | 514182 | 16058 77 | 22 | 40 754.58/754.78 c 754s | 19 | 1909853 | 515582 | 16058 77 | 22 | 40 756.68/756.86 c 756s | 19 | 1915120 | 516982 | 16058 77 | 22 | 40 758.77/758.98 c 758s | 19 | 1919939 | 518482 | 16058 77 | 22 | 40 760.97/761.12 c 760s | 19 | 1926450 | 519882 | 16058 77 | 22 | 40 762.97/763.19 c 763s | 19 | 1932597 | 521382 | 16058 77 | 22 | 40 765.07/765.24 c 765s | 19 | 1937684 | 522782 | 16058 78 | 22 | 40 767.07/767.29 c 767s | 19 | 1942624 | 524282 | 16058 78 | 22 | 40 769.17/769.31 c 769s | 19 | 1947692 | 525682 | 16058 78 | 22 | 40 771.27/771.45 c 771s | 19 | 1949258 | 526182 | 16058 78 | 22 | 40 773.27/773.49 c 773s | 19 | 1954972 | 527482 | 16058 78 | 22 | 40 775.37/775.60 c 775s | 19 | 1959028 | 528782 | 16058 78 | 22 | 40 777.47/777.64 c 777s | 19 | 1962624 | 529582 | 16058 78 | 22 | 40 779.47/779.65 c 779s | 19 | 1968320 | 530882 | 16058 79 | 22 | 40 781.47/781.68 c 781s | 19 | 1973617 | 532082 | 16058 79 | 22 | 40 783.67/783.83 c 783s | 19 | 1977858 | 533282 | 16058 79 | 22 | 40 785.67/785.86 c 785s | 19 | 1982557 | 534482 | 16058 79 | 22 | 40 787.67/787.87 c 787s | 19 | 1987176 | 535682 | 16058 79 | 22 | 40 789.78/789.92 c 789s | 19 | 1992639 | 536982 | 16058 79 | 22 | 40 791.77/791.98 c 791s | 19 | 1996954 | 538282 | 16058 80 | 22 | 40 793.87/794.01 c 793s | 19 | 2002442 | 539682 | 16058 80 | 22 | 40 795.97/796.10 c 795s | 19 | 2007420 | 541082 | 16058 80 | 22 | 40 797.97/798.15 c 798s | 19 | 2013695 | 542382 | 16058 80 | 22 | 40 800.07/800.28 c 800s | 19 | 2019959 | 543782 | 16058 80 | 22 | 40 802.07/802.28 c 802s | 19 | 2026356 | 545082 | 16058 80 | 22 | 40 804.27/804.49 c 804s | 19 | 2031890 | 546482 | 16058 81 | 22 | 40 806.37/806.55 c 806s | 19 | 2038231 | 547982 | 16058 81 | 22 | 40 808.48/808.63 c 808s | 19 | 2044259 | 549582 | 16058 81 | 22 | 40 810.47/810.69 c 810s | 19 | 2049184 | 550982 | 16058 81 | 22 | 40 812.57/812.70 c 812s | 19 | 2054490 | 552282 | 16058 81 | 22 | 40 814.57/814.74 c 814s | 19 | 2059170 | 553682 | 16058 81 | 22 | 40 816.57/816.78 c 816s | 19 | 2065097 | 554982 | 16058 82 | 22 | 40 818.67/818.88 c 818s | 19 | 2070924 | 556382 | 16058 82 | 22 | 40 820.77/820.96 c 820s | 19 | 2076201 | 557782 | 16058 82 | 22 | 40 822.77/822.98 c 822s | 19 | 2081252 | 559182 | 16058 82 | 22 | 40 824.87/825.08 c 824s | 19 | 2085745 | 560482 | 16058 82 | 22 | 40 826.97/827.16 c 827s | 19 | 2091088 | 561882 | 16058 82 | 22 | 40 829.07/829.20 c 829s | 19 | 2095138 | 563182 | 16058 83 | 22 | 40 831.06/831.27 c 831s | 19 | 2100383 | 564682 | 16058 83 | 22 | 40 833.16/833.35 c 833s | 19 | 2106155 | 566182 | 16058 83 | 22 | 40 835.16/835.37 c 835s | 19 | 2111305 | 567582 | 16058 83 | 22 | 40 837.26/837.46 c 837s | 19 | 2116195 | 568882 | 16058 83 | 22 | 40 839.46/839.65 c 839s | 19 | 2118354 | 569482 | 16058 83 | 22 | 40 841.56/841.75 c 841s | 19 | 2122708 | 570482 | 16058 83 | 22 | 40 843.67/843.85 c 843s | 19 | 2126792 | 571682 | 16058 84 | 22 | 40 845.66/845.87 c 845s | 19 | 2131952 | 573082 | 16058 84 | 22 | 40 847.76/847.94 c 847s | 19 | 2136584 | 574482 | 16058 84 | 22 | 40 849.86/850.08 c 849s | 19 | 2141118 | 575782 | 16058 84 | 22 | 40 851.96/852.15 c 851s | 19 | 2146274 | 577082 | 16058 84 | 22 | 40 853.96/854.16 c 854s | 19 | 2150973 | 578282 | 16058 84 | 22 | 40 856.16/856.30 c 856s | 19 | 2155270 | 579482 | 16058 84 | 22 | 40 858.16/858.31 c 858s | 19 | 2159151 | 580582 | 16058 85 | 22 | 40 860.26/860.45 c 860s | 19 | 2164549 | 581982 | 16058 85 | 22 | 40 862.36/862.51 c 862s | 19 | 2169012 | 583282 | 16058 85 | 22 | 40 864.36/864.56 c 864s | 19 | 2173678 | 584582 | 16058 85 | 22 | 40 866.46/866.69 c 866s | 19 | 2178829 | 586082 | 16058 85 | 22 | 40 868.56/868.75 c 868s | 19 | 2182631 | 587282 | 16058 85 | 22 | 40 870.66/870.89 c 870s | 19 | 2187504 | 588582 | 16058 86 | 22 | 40 872.75/872.95 c 872s | 19 | 2193093 | 589982 | 16058 86 | 22 | 40 874.85/875.07 c 874s | 19 | 2198049 | 591282 | 16058 86 | 22 | 40 876.95/877.18 c 877s | 19 | 2202454 | 592582 | 16058 86 | 22 | 40 879.05/879.21 c 879s | 19 | 2206133 | 593882 | 16058 86 | 22 | 40 881.06/881.27 c 881s | 19 | 2211042 | 595082 | 16058 86 | 22 | 40 883.26/883.43 c 883s | 19 | 2216281 | 596382 | 16058 86 | 22 | 40 885.25/885.44 c 885s | 19 | 2221873 | 597782 | 16058 87 | 22 | 40 887.35/887.58 c 887s | 19 | 2227069 | 599282 | 16058 87 | 22 | 40 889.55/889.70 c 889s | 19 | 2231941 | 600682 | 16058 87 | 22 | 40 891.55/891.73 c 891s | 19 | 2236391 | 602082 | 16058 87 | 22 | 40 893.65/893.86 c 893s | 19 | 2240317 | 603282 | 16058 87 | 22 | 40 895.65/895.87 c 895s | 19 | 2244101 | 604482 | 16058 87 | 22 | 40 897.75/897.93 c 897s | 19 | 2248804 | 605782 | 16058 88 | 22 | 40 899.75/899.95 c 899s | 19 | 2253435 | 607082 | 16058 88 | 22 | 40 901.75/901.98 c 901s | 19 | 2257232 | 608382 | 16058 88 | 22 | 40 903.95/904.11 c 903s | 19 | 2261926 | 609682 | 16058 88 | 22 | 40 906.05/906.28 c 906s | 19 | 2266313 | 611082 | 16058 88 | 22 | 40 908.15/908.38 c 908s | 19 | 2271625 | 612482 | 16058 88 | 22 | 40 910.25/910.44 c 910s | 19 | 2276109 | 613882 | 16058 89 | 22 | 40 912.35/912.56 c 912s | 19 | 2281235 | 615282 | 16058 89 | 22 | 40 914.35/914.58 c 914s | 19 | 2286201 | 616582 | 16058 89 | 22 | 40 916.35/916.60 c 916s | 19 | 2291953 | 617882 | 16058 89 | 22 | 40 918.46/918.66 c 918s | 19 | 2297049 | 619282 | 16058 89 | 22 | 40 920.45/920.68 c 920s | 19 | 2302411 | 620582 | 16058 89 | 22 | 40 922.55/922.74 c 922s | 19 | 2306705 | 621782 | 16058 90 | 22 | 40 924.65/924.84 c 924s | 19 | 2311849 | 623182 | 16058 90 | 22 | 40 926.65/926.88 c 926s | 19 | 2317015 | 624582 | 16058 90 | 22 | 40 928.75/928.94 c 928s | 19 | 2322747 | 625982 | 16058 90 | 22 | 40 930.85/931.08 c 930s | 19 | 2328498 | 627482 | 16058 90 | 22 | 40 933.15/933.36 c 933s | 19 | 2331969 | 628282 | 16058 90 | 22 | 40 935.35/935.57 c 935s | 19 | 2337571 | 629582 | 16058 90 | 22 | 40 937.35/937.58 c 937s | 19 | 2342882 | 630882 | 16058 91 | 22 | 40 939.55/939.76 c 939s | 19 | 2348146 | 632182 | 16058 91 | 22 | 40 941.65/941.84 c 941s | 19 | 2354044 | 633582 | 16058 91 | 22 | 40 943.65/943.87 c 943s | 19 | 2359742 | 634982 | 16058 91 | 22 | 40 945.75/945.99 c 945s | 19 | 2365183 | 636382 | 16058 91 | 22 | 40 947.84/948.02 c 947s | 19 | 2369650 | 637682 | 16058 91 | 22 | 40 949.94/950.15 c 949s | 19 | 2374622 | 638982 | 16058 92 | 22 | 40 952.04/952.22 c 952s | 19 | 2379449 | 640382 | 16058 92 | 22 | 40 954.04/954.25 c 954s | 19 | 2384864 | 641782 | 16058 92 | 22 | 40 956.14/956.38 c 956s | 19 | 2390220 | 643282 | 16058 92 | 22 | 40 958.34/958.53 c 958s | 19 | 2395858 | 644682 | 16058 92 | 22 | 40 960.44/960.66 c 960s | 19 | 2401040 | 646082 | 16058 92 | 22 | 40 962.64/962.81 c 962s | 19 | 2406143 | 647382 | 16058 93 | 22 | 40 964.65/964.84 c 964s | 19 | 2411595 | 648782 | 16058 93 | 22 | 40 966.64/966.85 c 966s | 19 | 2417561 | 650182 | 16058 93 | 22 | 40 968.74/968.93 c 968s | 19 | 2422981 | 651582 | 16058 93 | 22 | 40 970.84/971.04 c 970s | 19 | 2428440 | 652982 | 16058 93 | 22 | 40 972.84/973.06 c 972s | 19 | 2434167 | 654282 | 16058 93 | 22 | 40 974.94/975.14 c 974s | 19 | 2440394 | 655682 | 16058 94 | 22 | 40 976.94/977.16 c 977s | 19 | 2445177 | 656882 | 16058 94 | 22 | 40 978.95/979.17 c 979s | 19 | 2449546 | 658182 | 16058 94 | 22 | 40 980.94/981.19 c 981s | 19 | 2456069 | 659582 | 16058 94 | 22 | 40 983.04/983.29 c 983s | 19 | 2461720 | 661082 | 16058 94 | 22 | 40 985.14/985.36 c 985s | 19 | 2467119 | 662482 | 17664 94 | 22 | 40 987.14/987.38 c 987s | 19 | 2472252 | 663882 | 17664 94 | 22 | 40 989.34/989.54 c 989s | 19 | 2478069 | 665282 | 17664 95 | 22 | 40 991.34/991.56 c 991s | 19 | 2483861 | 666782 | 17664 95 | 22 | 40 991.44/991.63 c 991s | 20 | 2484046 | 666827 | 17664 95 | 22 | 40 993.54/993.76 c 993s | 20 | 2489147 | 668127 | 17664 95 | 22 | 40 995.63/995.85 c 995s | 20 | 2494140 | 669427 | 17664 95 | 22 | 40 997.83/998.01 c 997s | 20 | 2498062 | 670527 | 17664 95 | 22 | 40 999.93/1000.15 c 1000s | 20 | 2503165 | 671827 | 17664 95 | 22 | 40 1002.04/1002.23 c 1002s | 20 | 2507665 | 673227 | 17664 95 | 22 | 40 1004.14/1004.37 c 1004s | 20 | 2512054 | 674627 | 17664 96 | 22 | 40 1006.23/1006.41 c 1006s | 20 | 2516879 | 675827 | 17664 96 | 22 | 40 1008.23/1008.45 c 1008s | 20 | 2522678 | 677127 | 17664 96 | 22 | 40 1010.33/1010.50 c 1010s | 20 | 2527870 | 678527 | 17664 96 | 22 | 40 1012.43/1012.60 c 1012s | 20 | 2532896 | 679927 | 17664 96 | 22 | 40 1014.43/1014.67 c 1014s | 20 | 2536949 | 681227 | 17664 96 | 22 | 40 1016.53/1016.72 c 1016s | 20 | 2541965 | 682527 | 17664 96 | 22 | 40 1018.54/1018.73 c 1018s | 20 | 2547116 | 683927 | 17664 97 | 22 | 40 1020.64/1020.83 c 1020s | 20 | 2551739 | 685427 | 17664 97 | 22 | 40 1022.73/1022.92 c 1022s | 20 | 2557555 | 686727 | 17664 97 | 22 | 40 1024.83/1025.03 c 1024s | 20 | 2562746 | 688027 | 17664 97 | 22 | 40 1026.83/1027.05 c 1026s | 20 | 2568519 | 689327 | 17664 97 | 22 | 40 1028.93/1029.11 c 1028s | 20 | 2573285 | 690527 | 17664 97 | 22 | 40 1030.93/1031.16 c 1031s | 20 | 2578690 | 691827 | 17664 97 | 22 | 40 1033.03/1033.28 c 1033s | 20 | 2583609 | 693227 | 17664 98 | 22 | 40 1035.13/1035.30 c 1035s | 20 | 2587985 | 694427 | 17664 98 | 22 | 40 1037.14/1037.38 c 1037s | 20 | 2593034 | 695827 | 17664 98 | 22 | 40 1039.13/1039.39 c 1039s | 20 | 2597805 | 697127 | 17664 98 | 22 | 40 1041.23/1041.44 c 1041s | 20 | 2602935 | 698427 | 17664 98 | 22 | 40 1043.23/1043.49 c 1043s | 20 | 2608734 | 699827 | 17664 98 | 22 | 40 1045.43/1045.62 c 1045s | 20 | 2614330 | 701127 | 17664 98 | 22 | 40 1047.43/1047.66 c 1047s | 20 | 2619136 | 702427 | 17664 99 | 22 | 40 1049.53/1049.74 c 1049s | 20 | 2624294 | 703827 | 17664 99 | 22 | 40 1051.63/1051.82 c 1051s | 20 | 2629788 | 705327 | 17664 99 | 22 | 40 1053.63/1053.86 c 1053s | 20 | 2635298 | 706727 | 17664 99 | 22 | 40 1055.73/1055.90 c 1055s | 20 | 2640420 | 708127 | 17664 99 | 22 | 40 1057.73/1057.92 c 1057s | 20 | 2644866 | 709427 | 17664 99 | 22 | 40 1059.82/1060.08 c 1059s | 20 | 2648962 | 710727 | 17664 100 | 22 | 40 1061.92/1062.17 c 1062s | 20 | 2654451 | 712127 | 17664 100 | 22 | 40 1064.12/1064.30 c 1064s | 20 | 2659623 | 713627 | 17664 100 | 22 | 40 1066.12/1066.39 c 1066s | 20 | 2665124 | 715227 | 17664 100 | 22 | 40 1068.22/1068.43 c 1068s | 20 | 2670055 | 716627 | 17664 100 | 22 | 40 1070.32/1070.55 c 1070s | 20 | 2674884 | 718027 | 17664 100 | 22 | 40 1072.43/1072.60 c 1072s | 20 | 2680407 | 719327 | 17664 100 | 22 | 40 1074.42/1074.62 c 1074s | 20 | 2685374 | 720627 | 17664 101 | 22 | 40 1076.52/1076.71 c 1076s | 20 | 2691249 | 722127 | 17664 101 | 22 | 40 1078.53/1078.72 c 1078s | 20 | 2696343 | 723527 | 17664 101 | 22 | 40 1080.53/1080.72 c 1080s | 20 | 2701219 | 724927 | 17664 101 | 22 | 40 1082.53/1082.74 c 1082s | 20 | 2706402 | 726327 | 17664 101 | 22 | 40 1084.63/1084.86 c 1084s | 20 | 2711717 | 727827 | 17664 101 | 22 | 40 1086.83/1087.05 c 1086s | 20 | 2716982 | 729227 | 17664 102 | 22 | 40 1088.93/1089.12 c 1088s | 20 | 2722347 | 730727 | 17664 102 | 22 | 40 1091.03/1091.24 c 1091s | 20 | 2726070 | 731627 | 17664 102 | 22 | 40 1093.03/1093.25 c 1093s | 20 | 2731164 | 733027 | 17664 102 | 22 | 40 1095.23/1095.40 c 1095s | 20 | 2735819 | 734227 | 17664 102 | 22 | 40 1097.33/1097.52 c 1097s | 20 | 2739750 | 735327 | 17664 102 | 22 | 40 1099.42/1099.62 c 1099s | 20 | 2744225 | 736527 | 17664 102 | 22 | 40 1101.42/1101.65 c 1101s | 20 | 2749355 | 737827 | 17664 102 | 22 | 40 1103.42/1103.67 c 1103s | 20 | 2754793 | 739227 | 17664 103 | 22 | 40 1105.52/1105.76 c 1105s | 20 | 2760136 | 740527 | 17664 103 | 22 | 40 1107.63/1107.85 c 1107s | 20 | 2765985 | 741927 | 17664 103 | 22 | 40 1109.73/1109.97 c 1109s | 20 | 2771745 | 743427 | 17664 103 | 22 | 40 1111.82/1112.03 c 1111s | 20 | 2776757 | 744727 | 17664 103 | 22 | 40 1113.92/1114.18 c 1114s | 20 | 2781816 | 746127 | 17664 103 | 22 | 40 1116.02/1116.29 c 1116s | 20 | 2786779 | 747427 | 17664 104 | 22 | 40 1118.12/1118.31 c 1118s | 20 | 2792254 | 748927 | 17664 104 | 22 | 40 1120.22/1120.43 c 1120s | 20 | 2797781 | 750327 | 17664 104 | 22 | 40 1122.32/1122.57 c 1122s | 20 | 2804325 | 751827 | 17664 104 | 22 | 40 1124.52/1124.70 c 1124s | 20 | 2809271 | 753327 | 17664 104 | 22 | 40 1126.62/1126.84 c 1126s | 20 | 2815036 | 754827 | 17664 104 | 22 | 40 1128.72/1128.90 c 1128s | 20 | 2820593 | 756327 | 17664 104 | 22 | 40 1130.73/1130.94 c 1130s | 20 | 2825854 | 757627 | 17664 105 | 22 | 40 1132.82/1133.04 c 1132s | 20 | 2831262 | 759027 | 17664 105 | 22 | 40 1134.82/1135.06 c 1134s | 20 | 2836187 | 760327 | 17664 105 | 22 | 40 1136.92/1137.18 c 1137s | 20 | 2841613 | 761727 | 17664 105 | 22 | 40 1139.02/1139.26 c 1139s | 20 | 2846801 | 763027 | 17664 105 | 22 | 40 1141.12/1141.38 c 1141s | 20 | 2852459 | 764427 | 17664 105 | 22 | 40 1143.22/1143.40 c 1143s | 20 | 2857918 | 765727 | 17664 105 | 22 | 40 1145.32/1145.52 c 1145s | 20 | 2863213 | 767227 | 17664 106 | 22 | 40 1147.41/1147.62 c 1147s | 20 | 2868993 | 768727 | 17664 106 | 22 | 40 1149.51/1149.70 c 1149s | 20 | 2874838 | 770127 | 17664 106 | 22 | 40 1151.52/1151.77 c 1151s | 20 | 2880649 | 771527 | 17664 106 | 22 | 40 1153.61/1153.86 c 1153s | 20 | 2886091 | 772927 | 17664 106 | 22 | 40 1155.71/1155.92 c 1155s | 20 | 2891598 | 774327 | 17664 106 | 22 | 40 1157.71/1157.93 c 1157s | 20 | 2897053 | 775627 | 17664 107 | 22 | 40 1159.81/1160.04 c 1159s | 20 | 2902936 | 777027 | 17664 107 | 22 | 40 1161.91/1162.13 c 1161s | 20 | 2909357 | 778527 | 17664 107 | 22 | 40 1164.01/1164.25 c 1164s | 20 | 2914881 | 780027 | 17664 107 | 22 | 40 1166.11/1166.38 c 1166s | 20 | 2920351 | 781427 | 17664 107 | 22 | 40 1168.21/1168.43 c 1168s | 20 | 2925741 | 782727 | 17664 107 | 22 | 40 1170.32/1170.58 c 1170s | 20 | 2930365 | 784127 | 17664 107 | 22 | 40 1172.52/1172.71 c 1172s | 20 | 2935274 | 785327 | 17664 108 | 22 | 40 1174.51/1174.73 c 1174s | 20 | 2939210 | 786227 | 17664 108 | 22 | 40 1176.51/1176.76 c 1176s | 20 | 2944176 | 787627 | 17664 108 | 22 | 40 1178.61/1178.90 c 1178s | 20 | 2948243 | 789027 | 17664 108 | 22 | 40 1180.71/1180.99 c 1180s | 20 | 2952855 | 790127 | 17664 108 | 22 | 40 1182.81/1183.08 c 1182s | 20 | 2959025 | 791527 | 17664 108 | 22 | 40 1184.91/1185.11 c 1184s | 20 | 2964730 | 792927 | 17664 108 | 22 | 40 1187.01/1187.20 c 1187s | 20 | 2968816 | 794127 | 17664 109 | 22 | 40 1189.11/1189.33 c 1189s | 20 | 2973185 | 795527 | 17664 109 | 22 | 40 1191.11/1191.38 c 1191s | 20 | 2978362 | 796827 | 17664 109 | 22 | 40 1193.31/1193.53 c 1193s | 20 | 2983250 | 798127 | 17664 109 | 22 | 40 1195.31/1195.56 c 1195s | 20 | 2988051 | 799427 | 17664 109 | 22 | 40 1197.41/1197.68 c 1197s | 20 | 2993427 | 800727 | 17664 109 | 22 | 40 1199.51/1199.77 c 1199s | 20 | 2999243 | 802127 | 17664 109 | 22 | 40 1201.61/1201.89 c 1201s | 20 | 3004470 | 803427 | 17664 110 | 22 | 40 1203.71/1203.94 c 1203s | 20 | 3009271 | 804827 | 17664 110 | 22 | 40 1205.70/1205.99 c 1205s | 20 | 3015150 | 806127 | 17664 110 | 22 | 40 1207.90/1208.10 c 1207s | 20 | 3020543 | 807527 | 17664 110 | 22 | 40 1209.91/1210.19 c 1210s | 20 | 3025586 | 808927 | 17664 110 | 22 | 40 1212.11/1212.31 c 1212s | 20 | 3030300 | 810227 | 17664 110 | 22 | 40 1214.31/1214.53 c 1214s | 20 | 3035009 | 811527 | 17664 111 | 22 | 40 1216.30/1216.60 c 1216s | 20 | 3040635 | 812927 | 17664 111 | 22 | 40 1218.40/1218.60 c 1218s | 20 | 3046131 | 814427 | 17664 111 | 22 | 40 1220.50/1220.70 c 1220s | 20 | 3051131 | 815927 | 17664 111 | 22 | 40 1222.50/1222.76 c 1222s | 20 | 3056263 | 817327 | 17664 111 | 22 | 40 1224.60/1224.88 c 1224s | 20 | 3062333 | 818727 | 17664 111 | 22 | 40 1226.70/1226.93 c 1226s | 20 | 3067530 | 820127 | 17664 111 | 22 | 40 1228.70/1228.97 c 1228s | 20 | 3072498 | 821527 | 17664 112 | 22 | 40 1230.71/1230.99 c 1230s | 20 | 3077143 | 822827 | 17664 112 | 22 | 40 1232.80/1233.00 c 1232s | 20 | 3081760 | 824127 | 17664 112 | 22 | 40 1234.90/1235.11 c 1234s | 20 | 3086415 | 825427 | 17664 112 | 22 | 40 1237.00/1237.21 c 1237s | 20 | 3091769 | 826827 | 17664 112 | 22 | 40 1239.00/1239.27 c 1239s | 20 | 3096881 | 828227 | 17664 112 | 22 | 40 1241.20/1241.42 c 1241s | 20 | 3101873 | 829627 | 17664 112 | 22 | 40 1243.30/1243.51 c 1243s | 20 | 3107567 | 831027 | 17664 113 | 22 | 40 1245.39/1245.63 c 1245s | 20 | 3111434 | 831927 | 17664 113 | 22 | 40 1247.49/1247.73 c 1247s | 20 | 3116391 | 833127 | 17664 113 | 22 | 40 1249.50/1249.76 c 1249s | 20 | 3121238 | 834327 | 17664 113 | 22 | 40 1251.60/1251.82 c 1251s | 20 | 3126551 | 835727 | 17664 113 | 22 | 40 1253.70/1253.97 c 1253s | 20 | 3131384 | 837027 | 17664 113 | 22 | 40 1255.80/1256.00 c 1255s | 20 | 3136891 | 838227 | 17664 113 | 22 | 40 1257.80/1258.01 c 1257s | 20 | 3141446 | 839427 | 17664 114 | 22 | 40 1259.80/1260.09 c 1259s | 20 | 3146765 | 840827 | 17664 114 | 22 | 40 1261.90/1262.14 c 1261s | 20 | 3152271 | 842227 | 17664 114 | 22 | 40 1264.00/1264.27 c 1264s | 20 | 3157303 | 843627 | 17664 114 | 22 | 40 1266.10/1266.34 c 1266s | 20 | 3161804 | 844927 | 17664 114 | 22 | 40 1268.10/1268.40 c 1268s | 20 | 3166532 | 846127 | 17664 114 | 22 | 40 1270.30/1270.51 c 1270s | 20 | 3172638 | 847527 | 17664 114 | 22 | 40 1272.30/1272.55 c 1272s | 20 | 3177743 | 848827 | 17664 115 | 22 | 40 1274.40/1274.65 c 1274s | 20 | 3184515 | 850327 | 17664 115 | 22 | 40 1276.40/1276.67 c 1276s | 20 | 3190802 | 851827 | 17664 115 | 22 | 40 1278.49/1278.70 c 1278s | 20 | 3195742 | 853127 | 17664 115 | 22 | 40 1280.59/1280.83 c 1280s | 20 | 3202357 | 854527 | 17664 115 | 22 | 40 1282.69/1282.99 c 1282s | 20 | 3206870 | 855827 | 17664 115 | 22 | 40 1284.79/1285.03 c 1284s | 20 | 3212227 | 857027 | 17664 115 | 22 | 40 1286.90/1287.13 c 1286s | 20 | 3217823 | 858427 | 17664 116 | 22 | 40 1289.00/1289.21 c 1289s | 20 | 3222872 | 859727 | 17664 116 | 22 | 40 1291.09/1291.36 c 1291s | 20 | 3228436 | 861027 | 17664 116 | 22 | 40 1293.19/1293.44 c 1293s | 20 | 3234047 | 862427 | 17664 116 | 22 | 40 1295.29/1295.53 c 1295s | 20 | 3239625 | 863827 | 17664 116 | 22 | 40 1297.39/1297.61 c 1297s | 20 | 3244916 | 865127 | 17664 116 | 22 | 40 1299.59/1299.80 c 1299s | 20 | 3251404 | 866527 | 17664 117 | 22 | 40 1301.69/1301.92 c 1301s | 20 | 3256793 | 867927 | 17664 117 | 22 | 40 1303.69/1303.95 c 1303s | 20 | 3262812 | 869327 | 17664 117 | 22 | 40 1305.79/1306.06 c 1305s | 20 | 3267922 | 870727 | 17664 117 | 22 | 40 1307.89/1308.11 c 1307s | 20 | 3272962 | 872127 | 17664 117 | 22 | 40 1309.89/1310.12 c 1309s | 20 | 3278073 | 873527 | 17664 117 | 22 | 40 1311.89/1312.17 c 1312s | 20 | 3283144 | 874827 | 17664 117 | 22 | 40 1313.89/1314.19 c 1314s | 20 | 3288776 | 876127 | 17664 118 | 22 | 40 1316.09/1316.32 c 1316s | 20 | 3294961 | 877627 | 17664 118 | 22 | 40 1318.19/1318.43 c 1318s | 20 | 3300537 | 879027 | 17664 118 | 22 | 40 1320.39/1320.68 c 1320s | 20 | 3304210 | 879927 | 17664 118 | 22 | 40 1322.49/1322.70 c 1322s | 20 | 3308812 | 881127 | 17664 118 | 22 | 40 1324.59/1324.82 c 1324s | 20 | 3313607 | 882627 | 17664 118 | 22 | 40 1326.69/1326.91 c 1326s | 20 | 3317454 | 883727 | 17664 118 | 22 | 40 1328.79/1329.01 c 1328s | 20 | 3321505 | 885027 | 17664 119 | 22 | 40 1330.89/1331.15 c 1331s | 20 | 3325978 | 886427 | 17664 119 | 22 | 40 1332.88/1333.15 c 1333s | 20 | 3330942 | 887727 | 17664 119 | 22 | 40 1334.98/1335.29 c 1335s | 20 | 3337050 | 889127 | 17664 119 | 22 | 40 1337.08/1337.33 c 1337s | 20 | 3342095 | 890427 | 17664 119 | 22 | 40 1339.18/1339.44 c 1339s | 20 | 3347778 | 891827 | 17664 119 | 22 | 40 1341.28/1341.58 c 1341s | 20 | 3353228 | 893227 | 17664 119 | 22 | 40 1343.38/1343.61 c 1343s | 20 | 3357744 | 894427 | 17664 120 | 22 | 40 1345.48/1345.73 c 1345s | 20 | 3362536 | 895727 | 17664 120 | 22 | 40 1347.58/1347.86 c 1347s | 20 | 3368305 | 897127 | 17664 120 | 22 | 40 1349.68/1349.99 c 1349s | 20 | 3373174 | 898527 | 17664 120 | 22 | 40 1351.79/1352.02 c 1351s | 20 | 3377954 | 899827 | 17664 120 | 22 | 40 1353.78/1354.09 c 1353s | 20 | 3382149 | 901127 | 17664 120 | 22 | 40 1355.88/1356.12 c 1355s | 20 | 3387071 | 902227 | 17664 120 | 22 | 40 1357.88/1358.15 c 1357s | 20 | 3391789 | 903427 | 17664 121 | 22 | 40 1359.98/1360.21 c 1360s | 20 | 3397394 | 904827 | 17664 121 | 22 | 40 1361.98/1362.27 c 1362s | 20 | 3402679 | 906227 | 17664 121 | 22 | 40 1364.08/1364.34 c 1364s | 20 | 3407350 | 907527 | 17664 121 | 22 | 40 1366.18/1366.44 c 1366s | 20 | 3412590 | 908927 | 17664 121 | 22 | 40 1368.29/1368.59 c 1368s | 20 | 3418365 | 910327 | 17664 121 | 22 | 40 1370.48/1370.71 c 1370s | 20 | 3424134 | 911627 | 17664 121 | 22 | 40 1372.58/1372.84 c 1372s | 20 | 3429378 | 912927 | 17664 122 | 22 | 40 1374.68/1374.90 c 1374s | 20 | 3434898 | 914327 | 17664 122 | 22 | 40 1376.68/1376.91 c 1376s | 20 | 3440166 | 915727 | 17664 122 | 22 | 40 1378.78/1379.00 c 1378s | 20 | 3445033 | 917027 | 17664 122 | 22 | 40 1380.88/1381.14 c 1380s | 20 | 3450349 | 918427 | 17664 122 | 22 | 40 1382.88/1383.17 c 1383s | 20 | 3455344 | 919627 | 17664 122 | 22 | 40 1385.08/1385.30 c 1385s | 20 | 3460515 | 920927 | 17664 122 | 22 | 40 1387.08/1387.31 c 1387s | 20 | 3465458 | 922227 | 17664 123 | 22 | 40 1389.08/1389.36 c 1389s | 20 | 3470160 | 923427 | 17664 123 | 22 | 40 1391.17/1391.44 c 1391s | 20 | 3474644 | 924527 | 17664 123 | 22 | 40 1393.27/1393.57 c 1393s | 20 | 3479686 | 925927 | 17664 123 | 22 | 40 1395.37/1395.63 c 1395s | 20 | 3485717 | 927327 | 17664 123 | 22 | 40 1397.47/1397.76 c 1397s | 20 | 3491282 | 928827 | 17664 123 | 22 | 40 1399.57/1399.85 c 1399s | 20 | 3496193 | 930327 | 17664 123 | 22 | 40 1401.67/1401.97 c 1401s | 20 | 3501173 | 931727 | 17664 124 | 22 | 40 1403.78/1404.07 c 1403s | 20 | 3505532 | 933027 | 17664 124 | 22 | 40 1405.88/1406.19 c 1406s | 20 | 3511956 | 934327 | 17664 124 | 22 | 40 1408.08/1408.34 c 1408s | 20 | 3517170 | 935527 | 17664 124 | 22 | 40 1410.08/1410.34 c 1410s | 20 | 3523525 | 936827 | 17664 124 | 22 | 40 1412.08/1412.36 c 1412s | 20 | 3528371 | 938127 | 17664 124 | 22 | 40 1414.18/1414.49 c 1414s | 20 | 3534681 | 939527 | 17664 124 | 22 | 40 1416.28/1416.51 c 1416s | 20 | 3540265 | 940927 | 17664 125 | 22 | 40 1418.38/1418.63 c 1418s | 20 | 3547546 | 942527 | 17664 125 | 22 | 40 1420.48/1420.71 c 1420s | 20 | 3553739 | 943927 | 17664 125 | 22 | 40 1422.47/1422.77 c 1422s | 20 | 3559028 | 945227 | 17664 125 | 22 | 40 1424.57/1424.87 c 1424s | 20 | 3564645 | 946627 | 17664 125 | 22 | 40 1426.58/1426.88 c 1426s | 20 | 3569562 | 947927 | 17664 125 | 22 | 40 1428.78/1429.02 c 1428s | 20 | 3574838 | 949227 | 17664 126 | 22 | 40 1430.88/1431.15 c 1431s | 20 | 3580769 | 950727 | 17664 126 | 22 | 40 1432.87/1433.15 c 1433s | 20 | 3586337 | 952127 | 17664 126 | 22 | 40 1434.97/1435.23 c 1435s | 20 | 3591478 | 953527 | 17664 126 | 22 | 40 1437.07/1437.30 c 1437s | 20 | 3596537 | 954827 | 17664 126 | 22 | 40 1439.07/1439.38 c 1439s | 20 | 3601841 | 956127 | 17664 126 | 22 | 40 1441.17/1441.45 c 1441s | 20 | 3606774 | 957427 | 17664 126 | 22 | 40 1443.17/1443.48 c 1443s | 20 | 3611197 | 958727 | 17664 127 | 22 | 40 1445.28/1445.55 c 1445s | 20 | 3615796 | 960127 | 17664 127 | 22 | 40 1447.27/1447.58 c 1447s | 20 | 3620936 | 961427 | 17664 127 | 22 | 40 1449.47/1449.70 c 1449s | 20 | 3626025 | 962827 | 17664 127 | 22 | 40 1451.47/1451.71 c 1451s | 20 | 3630582 | 964127 | 17664 127 | 22 | 40 1453.57/1453.83 c 1453s | 20 | 3635886 | 965527 | 17664 127 | 22 | 40 1455.57/1455.87 c 1455s | 20 | 3640290 | 966727 | 17664 127 | 22 | 40 1457.67/1457.96 c 1457s | 20 | 3644956 | 968027 | 17664 128 | 22 | 40 1459.77/1460.08 c 1459s | 20 | 3650671 | 969427 | 17664 128 | 22 | 40 1461.87/1462.11 c 1461s | 20 | 3655278 | 970727 | 17664 128 | 22 | 40 1463.97/1464.23 c 1464s | 20 | 3660536 | 972227 | 17664 128 | 22 | 40 1466.07/1466.37 c 1466s | 20 | 3665611 | 973627 | 17664 128 | 22 | 40 1468.16/1468.44 c 1468s | 20 | 3670317 | 974927 | 17664 128 | 22 | 40 1470.26/1470.58 c 1470s | 20 | 3675279 | 976327 | 17664 128 | 22 | 40 1472.26/1472.59 c 1472s | 20 | 3680307 | 977627 | 17664 129 | 22 | 40 1474.36/1474.60 c 1474s | 20 | 3685373 | 978927 | 17664 129 | 22 | 40 1476.36/1476.65 c 1476s | 20 | 3691107 | 980327 | 17664 129 | 22 | 40 1478.46/1478.71 c 1478s | 20 | 3696651 | 981727 | 17664 129 | 22 | 40 1480.47/1480.74 c 1480s | 20 | 3701326 | 983027 | 17664 129 | 22 | 40 1482.46/1482.78 c 1482s | 20 | 3706327 | 984327 | 17664 129 | 22 | 40 1484.66/1484.92 c 1484s | 20 | 3711490 | 985627 | 17664 130 | 22 | 40 1486.66/1486.99 c 1486s | 20 | 3717410 | 987027 | 17664 130 | 22 | 40 1488.86/1489.13 c 1488s | 20 | 3722251 | 988527 | 17664 130 | 22 | 40 1490.86/1491.19 c 1491s | 20 | 3728040 | 989927 | 17664 130 | 22 | 40 1492.96/1493.27 c 1493s | 20 | 3732585 | 991327 | 17664 130 | 22 | 40 1494.96/1495.29 c 1495s | 20 | 3737726 | 992627 | 17664 130 | 22 | 40 1497.06/1497.39 c 1497s | 20 | 3742871 | 994027 | 19431 130 | 22 | 40 1499.17/1499.42 c 1499s | 20 | 3747854 | 995327 | 19431 130 | 22 | 40 1501.26/1501.56 c 1501s | 20 | 3752845 | 996727 | 19431 130 | 22 | 40 1503.36/1503.65 c 1503s | 20 | 3758004 | 998227 | 19431 131 | 22 | 40 1505.85/1506.13 c 1505s | 20 | 3759525 | 998627 | 19431 131 | 22 | 40 1507.87/1508.16 c 1508s | 20 | 3763113 | 999527 | 19431 131 | 22 | 40 1509.26/1509.56 c 1509s | 21 | 3766113 | 1000345 | 19431 131 | 22 | 40 1511.36/1511.60 c 1511s | 21 | 3770998 | 1001645 | 19431 131 | 22 | 40 1513.37/1513.65 c 1513s | 21 | 3774990 | 1002845 | 19431 131 | 22 | 40 1515.36/1515.69 c 1515s | 21 | 3779355 | 1004045 | 19431 131 | 22 | 40 1517.56/1517.83 c 1517s | 21 | 3784098 | 1005345 | 19431 131 | 22 | 40 1519.66/1519.90 c 1519s | 21 | 3788417 | 1006545 | 19431 131 | 22 | 40 1521.76/1522.06 c 1521s | 21 | 3792847 | 1007745 | 19431 132 | 22 | 40 1523.86/1524.19 c 1524s | 21 | 3797995 | 1009145 | 19431 132 | 22 | 40 1526.06/1526.33 c 1526s | 21 | 3803404 | 1010545 | 19431 132 | 22 | 40 1528.16/1528.46 c 1528s | 21 | 3807706 | 1011945 | 19431 132 | 22 | 40 1530.26/1530.50 c 1530s | 21 | 3812056 | 1013145 | 19431 132 | 22 | 40 1532.26/1532.57 c 1532s | 21 | 3816284 | 1014345 | 19431 132 | 22 | 40 1534.45/1534.71 c 1534s | 21 | 3820519 | 1015645 | 19431 132 | 22 | 40 1536.56/1536.80 c 1536s | 21 | 3825182 | 1016845 | 19431 133 | 22 | 40 1538.55/1538.83 c 1538s | 21 | 3830419 | 1018145 | 19431 133 | 22 | 40 1540.55/1540.89 c 1540s | 21 | 3836429 | 1019545 | 19431 133 | 22 | 40 1542.65/1542.91 c 1542s | 21 | 3841917 | 1020845 | 19431 133 | 22 | 40 1544.65/1544.97 c 1544s | 21 | 3846190 | 1022145 | 19431 133 | 22 | 40 1546.75/1547.07 c 1546s | 21 | 3851062 | 1023445 | 19431 133 | 22 | 40 1548.85/1549.16 c 1549s | 21 | 3855359 | 1024745 | 19431 133 | 22 | 40 1550.85/1551.16 c 1551s | 21 | 3860145 | 1026045 | 19431 133 | 22 | 40 1552.95/1553.26 c 1553s | 21 | 3864986 | 1027345 | 19431 134 | 22 | 40 1555.05/1555.38 c 1555s | 21 | 3870707 | 1028745 | 19431 134 | 22 | 40 1557.25/1557.51 c 1557s | 21 | 3875924 | 1030145 | 19431 134 | 22 | 40 1559.25/1559.59 c 1559s | 21 | 3880868 | 1031445 | 19431 134 | 22 | 40 1561.45/1561.70 c 1561s | 21 | 3886449 | 1032845 | 19431 134 | 22 | 40 1563.44/1563.75 c 1563s | 21 | 3891679 | 1034145 | 19431 134 | 22 | 40 1565.64/1565.90 c 1565s | 21 | 3896196 | 1035445 | 19431 134 | 22 | 40 1567.64/1567.97 c 1567s | 21 | 3900777 | 1036845 | 19431 135 | 22 | 40 1569.74/1570.00 c 1569s | 21 | 3905578 | 1038245 | 19431 135 | 22 | 40 1571.65/1572.00 c 1571s | 21 | 3911155 | 1039645 | 19431 135 | 22 | 40 1573.85/1574.13 c 1573s | 21 | 3916162 | 1041045 | 19431 135 | 22 | 40 1575.94/1576.21 c 1576s | 21 | 3920822 | 1042345 | 19431 135 | 22 | 40 1577.94/1578.26 c 1578s | 21 | 3925658 | 1043645 | 19431 135 | 22 | 40 1579.94/1580.26 c 1580s | 21 | 3930816 | 1044945 | 19431 135 | 22 | 40 1581.94/1582.30 c 1582s | 21 | 3934351 | 1046045 | 19431 135 | 22 | 40 1584.04/1584.39 c 1584s | 21 | 3938052 | 1047245 | 19431 136 | 22 | 40 1586.53/1586.82 c 1586s | 21 | 3942148 | 1048445 | 19431 136 | 22 | 40 1588.53/1588.84 c 1588s | 21 | 3946046 | 1049345 | 19431 136 | 22 | 40 1590.53/1590.89 c 1590s | 21 | 3950748 | 1050545 | 19431 136 | 22 | 40 1592.64/1592.95 c 1592s | 21 | 3955526 | 1051845 | 19431 136 | 22 | 40 1594.63/1594.97 c 1594s | 21 | 3960554 | 1053145 | 19431 136 | 22 | 40 1596.73/1597.08 c 1596s | 21 | 3965035 | 1054345 | 19431 136 | 22 | 40 1598.83/1599.17 c 1599s | 21 | 3969173 | 1055545 | 19431 136 | 22 | 40 1601.03/1601.33 c 1601s | 21 | 3973748 | 1056745 | 19431 136 | 22 | 40 1603.03/1603.34 c 1603s | 21 | 3978585 | 1057945 | 19431 137 | 22 | 40 1605.03/1605.38 c 1605s | 21 | 3983382 | 1059345 | 19431 137 | 22 | 40 1607.23/1607.51 c 1607s | 21 | 3988253 | 1060745 | 19431 137 | 22 | 40 1609.23/1609.53 c 1609s | 21 | 3992675 | 1061945 | 19431 137 | 22 | 40 1611.33/1611.65 c 1611s | 21 | 3998213 | 1063245 | 19431 137 | 22 | 40 1613.43/1613.75 c 1613s | 21 | 4003011 | 1064545 | 19431 137 | 22 | 40 1615.63/1615.93 c 1615s | 21 | 4007619 | 1065845 | 19431 137 | 22 | 40 1617.72/1618.04 c 1617s | 21 | 4012108 | 1066945 | 19431 138 | 22 | 40 1619.82/1620.14 c 1619s | 21 | 4017085 | 1068345 | 19431 138 | 22 | 40 1621.82/1622.16 c 1622s | 21 | 4021640 | 1069645 | 19431 138 | 22 | 40 1623.82/1624.17 c 1624s | 21 | 4026406 | 1070945 | 19431 138 | 22 | 40 1625.92/1626.21 c 1626s | 21 | 4030655 | 1072245 | 19431 138 | 22 | 40 1628.02/1628.37 c 1628s | 21 | 4035711 | 1073645 | 19431 138 | 22 | 40 1630.02/1630.39 c 1630s | 21 | 4040491 | 1074945 | 19431 138 | 22 | 40 1632.12/1632.44 c 1632s | 21 | 4044338 | 1076245 | 19431 138 | 22 | 40 1634.11/1634.46 c 1634s | 21 | 4048339 | 1077545 | 19431 139 | 22 | 40 1636.21/1636.54 c 1636s | 21 | 4053665 | 1079045 | 19431 139 | 22 | 40 1638.41/1638.74 c 1638s | 21 | 4057285 | 1080245 | 19431 139 | 22 | 40 1640.51/1640.85 c 1640s | 21 | 4062245 | 1081645 | 19431 139 | 22 | 40 1642.61/1642.94 c 1642s | 21 | 4066561 | 1082945 | 19431 139 | 22 | 40 1644.71/1645.08 c 1644s | 21 | 4070715 | 1084045 | 19431 139 | 22 | 40 1646.81/1647.16 c 1647s | 21 | 4075116 | 1085245 | 19431 139 | 22 | 40 1648.91/1649.22 c 1649s | 21 | 4079242 | 1086445 | 19431 139 | 22 | 40 1651.01/1651.33 c 1651s | 21 | 4084208 | 1087745 | 19431 140 | 22 | 40 1653.12/1653.41 c 1653s | 21 | 4089102 | 1089145 | 19431 140 | 22 | 40 1655.11/1655.41 c 1655s | 21 | 4093958 | 1090445 | 19431 140 | 22 | 40 1657.11/1657.43 c 1657s | 21 | 4099145 | 1091745 | 19431 140 | 22 | 40 1659.21/1659.52 c 1659s | 21 | 4103980 | 1093045 | 19431 140 | 22 | 40 1661.31/1661.61 c 1661s | 21 | 4109244 | 1094345 | 19431 140 | 22 | 40 1663.31/1663.64 c 1663s | 21 | 4113385 | 1095545 | 19431 140 | 22 | 40 1665.51/1665.82 c 1665s | 21 | 4118511 | 1096845 | 19431 141 | 22 | 40 1667.61/1667.97 c 1667s | 21 | 4123702 | 1098245 | 19431 141 | 22 | 40 1669.71/1670.07 c 1669s | 21 | 4128611 | 1099645 | 19431 141 | 22 | 40 1671.81/1672.13 c 1671s | 21 | 4133014 | 1101045 | 19431 141 | 22 | 40 1673.80/1674.17 c 1674s | 21 | 4138361 | 1102345 | 19431 141 | 22 | 40 1675.90/1676.28 c 1676s | 21 | 4142534 | 1103645 | 19431 141 | 22 | 40 1678.00/1678.39 c 1678s | 21 | 4146841 | 1104945 | 19431 141 | 22 | 40 1680.10/1680.40 c 1680s | 21 | 4151376 | 1106245 | 19431 141 | 22 | 40 1682.10/1682.43 c 1682s | 21 | 4156946 | 1107545 | 19431 142 | 22 | 40 1684.20/1684.55 c 1684s | 21 | 4162459 | 1108945 | 19431 142 | 22 | 40 1686.30/1686.62 c 1686s | 21 | 4167354 | 1110345 | 19431 142 | 22 | 40 1688.30/1688.62 c 1688s | 21 | 4172782 | 1111745 | 19431 142 | 22 | 40 1690.40/1690.76 c 1690s | 21 | 4178207 | 1113245 | 19431 142 | 22 | 40 1692.60/1692.90 c 1692s | 21 | 4184199 | 1114745 | 19431 142 | 22 | 40 1694.70/1695.07 c 1694s | 21 | 4187489 | 1115645 | 19431 142 | 22 | 40 1696.79/1697.17 c 1697s | 21 | 4191267 | 1116645 | 19431 142 | 22 | 40 1698.89/1699.29 c 1699s | 21 | 4196358 | 1118045 | 19431 143 | 22 | 40 1700.99/1701.38 c 1701s | 21 | 4201133 | 1119345 | 19431 143 | 22 | 40 1703.09/1703.42 c 1703s | 21 | 4205410 | 1120545 | 19431 143 | 22 | 40 1705.09/1705.46 c 1705s | 21 | 4210264 | 1121745 | 19431 143 | 22 | 40 1707.19/1707.56 c 1707s | 21 | 4215015 | 1123045 | 19431 143 | 22 | 40 1709.29/1709.64 c 1709s | 21 | 4219350 | 1124345 | 19431 143 | 22 | 40 1711.29/1711.67 c 1711s | 21 | 4224275 | 1125645 | 19431 143 | 22 | 40 1713.49/1713.89 c 1713s | 21 | 4229443 | 1126945 | 19431 144 | 22 | 40 1715.69/1716.02 c 1715s | 21 | 4234650 | 1128445 | 19431 144 | 22 | 40 1717.68/1718.05 c 1717s | 21 | 4239316 | 1129745 | 19431 144 | 22 | 40 1719.68/1720.08 c 1719s | 21 | 4243867 | 1131145 | 19431 144 | 22 | 40 1721.68/1722.09 c 1721s | 21 | 4247976 | 1132445 | 19431 144 | 22 | 40 1723.78/1724.16 c 1724s | 21 | 4252422 | 1133945 | 19431 144 | 22 | 40 1725.78/1726.18 c 1726s | 21 | 4257677 | 1135345 | 19431 144 | 22 | 40 1727.89/1728.20 c 1728s | 21 | 4261981 | 1136645 | 19431 144 | 22 | 40 1729.99/1730.30 c 1730s | 21 | 4266533 | 1137945 | 19431 145 | 22 | 40 1731.98/1732.33 c 1732s | 21 | 4271444 | 1139345 | 19431 145 | 22 | 40 1733.98/1734.34 c 1734s | 21 | 4276336 | 1140745 | 19431 145 | 22 | 40 1735.98/1736.37 c 1736s | 21 | 4281742 | 1142145 | 19431 145 | 22 | 40 1738.07/1738.40 c 1738s | 21 | 4286769 | 1143545 | 19431 145 | 22 | 40 1740.17/1740.53 c 1740s | 21 | 4292604 | 1145045 | 19431 145 | 22 | 40 1742.18/1742.57 c 1742s | 21 | 4297582 | 1146445 | 19431 145 | 22 | 40 1744.38/1744.72 c 1744s | 21 | 4302765 | 1147845 | 19431 146 | 22 | 40 1746.48/1746.83 c 1746s | 21 | 4306329 | 1148845 | 19431 146 | 22 | 40 1748.57/1748.93 c 1748s | 21 | 4311294 | 1150145 | 19431 146 | 22 | 40 1750.67/1751.06 c 1750s | 21 | 4316971 | 1151645 | 19431 146 | 22 | 40 1752.77/1753.20 c 1753s | 21 | 4321711 | 1152945 | 19431 146 | 22 | 40 1754.97/1755.35 c 1755s | 21 | 4327527 | 1154345 | 19431 146 | 22 | 40 1757.06/1757.47 c 1757s | 21 | 4333408 | 1155745 | 19431 146 | 22 | 40 1759.26/1759.62 c 1759s | 21 | 4338391 | 1157145 | 19431 147 | 22 | 40 1761.36/1761.72 c 1761s | 21 | 4343832 | 1158645 | 19431 147 | 22 | 40 1763.46/1763.87 c 1763s | 21 | 4349026 | 1160045 | 19431 147 | 22 | 40 1765.56/1765.92 c 1765s | 21 | 4353714 | 1161445 | 19431 147 | 22 | 40 1767.66/1768.00 c 1767s | 21 | 4358228 | 1162745 | 19431 147 | 22 | 40 1769.67/1770.01 c 1769s | 21 | 4363161 | 1163945 | 19431 147 | 22 | 40 1771.66/1772.08 c 1771s | 21 | 4367880 | 1165245 | 19431 147 | 22 | 40 1773.75/1774.19 c 1774s | 21 | 4372934 | 1166645 | 19431 147 | 22 | 40 1775.95/1776.30 c 1776s | 21 | 4377080 | 1168045 | 19431 148 | 22 | 40 1777.95/1778.36 c 1778s | 21 | 4382191 | 1169445 | 19431 148 | 22 | 40 1779.95/1780.37 c 1780s | 21 | 4387302 | 1170745 | 19431 148 | 22 | 40 1781.95/1782.40 c 1782s | 21 | 4391640 | 1172045 | 19431 148 | 22 | 40 1784.15/1784.52 c 1784s | 21 | 4396612 | 1173445 | 19431 148 | 22 | 40 1786.16/1786.56 c 1786s | 21 | 4401404 | 1174645 | 19431 148 | 22 | 40 1788.26/1788.64 c 1788s | 21 | 4406535 | 1175945 | 19431 148 | 22 | 40 1790.35/1790.73 c 1790s | 21 | 4411070 | 1177245 | 19431 149 | 22 | 40 1792.45/1792.84 c 1792s | 21 | 4416187 | 1178745 | 19431 149 | 22 | 40 1794.44/1794.89 c 1794s | 21 | 4422770 | 1180245 | 19431 149 | 22 | 40 1796.64/1797.01 c 1796s | 21 | 4428533 | 1181745 | 19431 149 | 22 | 40 1798.74/1799.17 c 1799s | 21 | 4433092 | 1183045 | 19431 149 | 22 | 40
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-4106622-1466274597/watcher-4106622-1466274597 -o /tmp/evaluation-result-4106622-1466274597/solver-4106622-1466274597 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466272784-31328 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106622-1466274597.opb pid=31669 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.19 2.18 2.10 3/179 31672 /proc/meminfo: memFree=29613760/32872528 swapFree=1431120/1543540 [pid=31672] ppid=31669 vsize=519612 CPUtime=0 cores=1,3,5,7 /proc/31672/stat : 31672 (toysat) R 31669 31672 19971 0 -1 4202496 1904 0 0 0 0 0 0 0 20 0 4 0 29508393 532082688 2265 33554432000 4194304 16246674 140735915767776 140735915767200 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31672/statm: 130671 2274 441 2943 0 127565 0 [pid=31672/tid=31673] ppid=31669 vsize=537020 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31673/stat : 31673 (toysat) S 31669 31672 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29508393 549908480 2333 33554432000 4194304 16246674 140735915767776 140286664617200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31672/tid=31674] ppid=31669 vsize=541116 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31674/stat : 31674 (toysat) S 31669 31672 19971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29508393 554102784 2349 33554432000 4194304 16246674 140735915767776 140286583876848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31672/tid=31675] ppid=31669 vsize=546236 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31675/stat : 31675 (toysat) S 31669 31672 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29508393 559345664 2365 33554432000 4194304 16246674 140735915767776 140286573403312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100169 s] /proc/loadavg: 2.19 2.18 2.10 3/179 31672 /proc/meminfo: memFree=29613760/32872528 swapFree=1431120/1543540 [pid=31672] ppid=31669 vsize=1219140 CPUtime=0.09 cores=1,3,5,7 /proc/31672/stat : 31672 (toysat) R 31669 31672 19971 0 -1 4202496 23943 0 0 0 5 4 0 0 20 0 4 0 29508393 1248399360 24270 33554432000 4194304 16246674 140735915767776 140735915767200 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31672/statm: 304785 24275 790 2943 0 301679 0 [pid=31672/tid=31673] ppid=31669 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31673/stat : 31673 (toysat) S 31669 31672 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29508393 1248399360 24278 33554432000 4194304 16246674 140735915767776 140286664617200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31672/tid=31674] ppid=31669 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31674/stat : 31674 (toysat) S 31669 31672 19971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29508393 1248399360 24281 33554432000 4194304 16246674 140735915767776 140286583876848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31672/tid=31675] ppid=31669 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31675/stat : 31675 (toysat) S 31669 31672 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29508393 1248399360 24284 33554432000 4194304 16246674 140735915767776 140286573403312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1219140 [startup+0.200512 s] /proc/loadavg: 2.19 2.18 2.10 3/179 31672 /proc/meminfo: memFree=29613760/32872528 swapFree=1431120/1543540 [pid=31672] ppid=31669 vsize=1222212 CPUtime=0.19 cores=1,3,5,7 /proc/31672/stat : 31672 (toysat) R 31669 31672 19971 0 -1 4202496 30917 0 0 0 13 6 0 0 20 0 4 0 29508393 1251545088 31244 33554432000 4194304 16246674 140735915767776 140735915767088 5523634 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31672/statm: 305553 31258 841 2943 0 302447 0 [pid=31672/tid=31673] ppid=31669 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31673/stat : 31673 (toysat) S 31669 31672 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29508393 1251545088 31263 33554432000 4194304 16246674 140735915767776 140286664617200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31672/tid=31674] ppid=31669 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31674/stat : 31674 (toysat) S 31669 31672 19971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29508393 1251545088 31267 33554432000 4194304 16246674 140735915767776 140286583876848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31672/tid=31675] ppid=31669 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31675/stat : 31675 (toysat) S 31669 31672 19971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29508393 1251545088 31270 33554432000 4194304 16246674 140735915767776 140286573403312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1222212 [startup+0.300504 s] /proc/loadavg: 2.19 2.18 2.10 3/179 31672 /proc/meminfo: memFree=29613760/32872528 swapFree=1431120/1543540 [pid=31672] ppid=31669 vsize=1222212 CPUtime=0.28 cores=1,3,5,7 /proc/31672/stat : 31672 (toysat) R 31669 31672 19971 0 -1 4202496 50238 0 0 0 20 8 0 0 20 0 4 0 29508393 1251545088 50565 33554432000 4194304 16246674 140735915767776 140735915767088 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31672/statm: 305553 50577 841 2943 0 302447 0 [pid=31672/tid=31673] ppid=31669 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31673/stat : 31673 (toysat) S 31669 31672 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29508393 1251545088 50582 33554432000 4194304 16246674 140735915767776 140286664617200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31672/tid=31674] ppid=31669 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31674/stat : 31674 (toysat) S 31669 31672 19971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29508393 1251545088 50586 33554432000 4194304 16246674 140735915767776 140286583876848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31672/tid=31675] ppid=31669 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31675/stat : 31675 (toysat) S 31669 31672 19971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29508393 1251545088 50589 33554432000 4194304 16246674 140735915767776 140286573403312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1222212 [startup+0.700419 s] /proc/loadavg: 2.19 2.18 2.10 3/179 31672 /proc/meminfo: memFree=29613760/32872528 swapFree=1431120/1543540 [pid=31672] ppid=31669 vsize=1222212 CPUtime=0.68 cores=1,3,5,7 /proc/31672/stat : 31672 (toysat) R 31669 31672 19971 0 -1 4202496 131853 0 0 0 48 20 0 0 20 0 4 0 29508393 1251545088 132179 33554432000 4194304 16246674 140735915767776 140735915767088 5661217 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31672/statm: 305553 132184 841 2943 0 302447 0 [pid=31672/tid=31673] ppid=31669 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31673/stat : 31673 (toysat) S 31669 31672 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29508393 1251545088 132186 33554432000 4194304 16246674 140735915767776 140286664617200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31672/tid=31674] ppid=31669 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31674/stat : 31674 (toysat) S 31669 31672 19971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29508393 1251545088 132189 33554432000 4194304 16246674 140735915767776 140286583876848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31672/tid=31675] ppid=31669 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31675/stat : 31675 (toysat) S 31669 31672 19971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29508393 1251545088 132191 33554432000 4194304 16246674 140735915767776 140286573403312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1222212 [startup+1.50042 s] /proc/loadavg: 2.18 2.18 2.10 3/183 31676 /proc/meminfo: memFree=28765240/32872528 swapFree=1431120/1543540 [pid=31672] ppid=31669 vsize=1302084 CPUtime=1.48 cores=1,3,5,7 /proc/31672/stat : 31672 (toysat) R 31669 31672 19971 0 -1 4202496 266378 0 0 0 112 36 0 0 20 0 4 0 29508393 1333334016 266704 33554432000 4194304 16246674 140735915767776 140735915749696 5672056 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31672/statm: 325521 266704 843 2943 0 322415 0 [pid=31672/tid=31673] ppid=31669 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31673/stat : 31673 (toysat) S 31669 31672 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29508393 1333334016 266704 33554432000 4194304 16246674 140735915767776 140286664617200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31672/tid=31674] ppid=31669 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31674/stat : 31674 (toysat) S 31669 31672 19971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29508393 1333334016 266704 33554432000 4194304 16246674 140735915767776 140286583876848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31672/tid=31675] ppid=31669 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31675/stat : 31675 (toysat) S 31669 31672 19971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29508393 1333334016 266704 33554432000 4194304 16246674 140735915767776 140286573403312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1302084 [startup+3.10043 s] /proc/loadavg: 2.18 2.18 2.10 4/183 31676 /proc/meminfo: memFree=28547748/32872528 swapFree=1431120/1543540 [pid=31672] ppid=31669 vsize=1306180 CPUtime=3.08 cores=1,3,5,7 /proc/31672/stat : 31672 (toysat) R 31669 31672 19971 0 -1 4202496 267631 0 0 0 272 36 0 0 20 0 4 0 29508393 1337528320 267957 33554432000 4194304 16246674 140735915767776 140735915749696 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31672/statm: 326545 267957 845 2943 0 323439 0 [pid=31672/tid=31673] ppid=31669 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31673/stat : 31673 (toysat) S 31669 31672 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29508393 1337528320 267957 33554432000 4194304 16246674 140735915767776 140286664617200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31672/tid=31674] ppid=31669 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31674/stat : 31674 (toysat) S 31669 31672 19971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29508393 1337528320 267957 33554432000 4194304 16246674 140735915767776 140286583876848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31672/tid=31675] ppid=31669 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31675/stat : 31675 (toysat) S 31669 31672 19971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29508393 1337528320 267957 33554432000 4194304 16246674 140735915767776 140286573403312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1306180 [startup+6.30043 s] /proc/loadavg: 2.16 2.17 2.10 3/184 31679 /proc/meminfo: memFree=28542772/32872528 swapFree=1431120/1543540 [pid=31672] ppid=31669 vsize=1307204 CPUtime=6.28 cores=1,3,5,7 /proc/31672/stat : 31672 (toysat) R 31669 31672 19971 0 -1 4202496 267643 0 0 0 592 36 0 0 20 0 4 0 29508393 1338576896 267969 33554432000 4194304 16246674 140735915767776 140735915749696 5523400 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31672/statm: 326801 267969 845 2943 0 323695 0 [pid=31672/tid=31673] ppid=31669 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31673/stat : 31673 (toysat) S 31669 31672 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29508393 1338576896 267969 33554432000 4194304 16246674 140735915767776 140286664617200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31672/tid=31674] ppid=31669 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31674/stat : 31674 (toysat) S 31669 31672 19971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29508393 1338576896 267969 33554432000 4194304 16246674 140735915767776 140286583876848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31672/tid=31675] ppid=31669 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31675/stat : 31675 (toysat) S 31669 31672 19971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29508393 1338576896 267969 33554432000 4194304 16246674 140735915767776 140286573403312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.15 2.17 2.10 3/184 31679 /proc/meminfo: memFree=28541696/32872528 swapFree=1431120/1543540 [pid=31672] ppid=31669 vsize=1307204 CPUtime=12.68 cores=1,3,5,7 /proc/31672/stat : 31672 (toysat) R 31669 31672 19971 0 -1 4202496 267891 0 0 0 1232 36 0 0 20 0 4 0 29508393 1338576896 268217 33554432000 4194304 16246674 140735915767776 140735915749696 5827682 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31672/statm: 326801 268217 847 2943 0 323695 0 [pid=31672/tid=31673] ppid=31669 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31673/stat : 31673 (toysat) S 31669 31672 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29508393 1338576896 268217 33554432000 4194304 16246674 140735915767776 140286664617200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31672/tid=31674] ppid=31669 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31674/stat : 31674 (toysat) S 31669 31672 19971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29508393 1338576896 268217 33554432000 4194304 16246674 140735915767776 140286583876848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31672/tid=31675] ppid=31669 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31675/stat : 31675 (toysat) S 31669 31672 19971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29508393 1338576896 268217 33554432000 4194304 16246674 140735915767776 140286573403312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1307204 [startup+25.5005 s] /proc/loadavg: 2.20 2.18 2.10 3/184 31679 /proc/meminfo: memFree=28538524/32872528 swapFree=1431120/1543540 [pid=31672] ppid=31669 vsize=1311300 CPUtime=25.49 cores=1,3,5,7 /proc/31672/stat : 31672 (toysat) R 31669 31672 19971 0 -1 4202496 268916 0 0 0 2512 37 0 0 20 0 4 0 29508393 1342771200 269242 33554432000 4194304 16246674 140735915767776 140735915749696 13821000 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31672/statm: 327825 269242 848 2943 0 324719 0 [pid=31672/tid=31673] ppid=31669 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31673/stat : 31673 (toysat) S 31669 31672 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29508393 1342771200 269242 33554432000 4194304 16246674 140735915767776 140286664617200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31672/tid=31674] ppid=31669 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31674/stat : 31674 (toysat) S 31669 31672 19971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29508393 1342771200 269242 33554432000 4194304 16246674 140735915767776 140286583876848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31672/tid=31675] ppid=31669 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31675/stat : 31675 (toysat) S 31669 31672 19971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29508393 1342771200 269242 33554432000 4194304 16246674 140735915767776 140286573403312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1311300 [startup+51.1005 s] /proc/loadavg: 2.26 2.19 2.11 3/184 31679 /proc/meminfo: memFree=28534996/32872528 swapFree=1431120/1543540 [pid=31672] ppid=31669 vsize=1315396 CPUtime=51.08 cores=1,3,5,7 /proc/31672/stat : 31672 (toysat) R 31669 31672 19971 0 -1 4202496 269802 0 0 0 5071 37 0 0 20 0 4 0 29508393 1346965504 270128 33554432000 4194304 16246674 140735915767776 140735915749696 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31672/statm: 328849 270128 848 2943 0 325743 0 [pid=31672/tid=31673] ppid=31669 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31673/stat : 31673 (toysat) S 31669 31672 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29508393 1346965504 270128 33554432000 4194304 16246674 140735915767776 140286664617200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31672/tid=31674] ppid=31669 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31674/stat : 31674 (toysat) S 31669 31672 19971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29508393 1346965504 270128 33554432000 4194304 16246674 140735915767776 140286583876848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31672/tid=31675] ppid=31669 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31675/stat : 31675 (toysat) S 31669 31672 19971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29508393 1346965504 270128 33554432000 4194304 16246674 140735915767776 140286573403312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1315396 [startup+102.301 s] /proc/loadavg: 2.33 2.22 2.12 3/183 31680 /proc/meminfo: memFree=28534632/32872528 swapFree=1431120/1543540 [pid=31672] ppid=31669 vsize=1315396 CPUtime=102.28 cores=1,3,5,7 /proc/31672/stat : 31672 (toysat) R 31669 31672 19971 0 -1 4202496 269941 0 0 0 10191 37 0 0 20 0 4 0 29508393 1346965504 270267 33554432000 4194304 16246674 140735915767776 140735915749696 5674851 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31672/statm: 328849 270267 849 2943 0 325743 0 [pid=31672/tid=31673] ppid=31669 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31673/stat : 31673 (toysat) S 31669 31672 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29508393 1346965504 270267 33554432000 4194304 16246674 140735915767776 140286664617200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31672/tid=31674] ppid=31669 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31674/stat : 31674 (toysat) S 31669 31672 19971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29508393 1346965504 270267 33554432000 4194304 16246674 140735915767776 140286583876848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31672/tid=31675] ppid=31669 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31675/stat : 31675 (toysat) S 31669 31672 19971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29508393 1346965504 270267 33554432000 4194304 16246674 140735915767776 140286573403312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1315396 ################ # More data... # ################ /proc/31672/task/31675/stat : 31675 (toysat) S 31669 31672 19971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29508393 1363742720 274363 33554432000 4194304 16246674 140735915767776 140286573403312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1242.1 Current children cumulated vsize (KiB) 1331780 [startup+1302.3 s] /proc/loadavg: 2.14 2.17 2.15 4/183 31710 /proc/meminfo: memFree=28124980/32872528 swapFree=1431120/1543540 [pid=31672] ppid=31669 vsize=1331780 CPUtime=1302.09 cores=1,3,5,7 /proc/31672/stat : 31672 (toysat) R 31669 31672 19971 0 -1 4202496 274037 0 0 0 130164 45 0 0 20 0 4 0 29508393 1363742720 274363 33554432000 4194304 16246674 140735915767776 140735915749696 13820888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31672/statm: 332945 274363 849 2943 0 329839 0 [pid=31672/tid=31673] ppid=31669 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31673/stat : 31673 (toysat) S 31669 31672 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29508393 1363742720 274363 33554432000 4194304 16246674 140735915767776 140286664617200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31672/tid=31674] ppid=31669 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31674/stat : 31674 (toysat) S 31669 31672 19971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29508393 1363742720 274363 33554432000 4194304 16246674 140735915767776 140286583876848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31672/tid=31675] ppid=31669 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31675/stat : 31675 (toysat) S 31669 31672 19971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29508393 1363742720 274363 33554432000 4194304 16246674 140735915767776 140286573403312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 1331780 [startup+1362.3 s] /proc/loadavg: 2.17 2.18 2.15 3/183 31711 /proc/meminfo: memFree=28125288/32872528 swapFree=1431120/1543540 [pid=31672] ppid=31669 vsize=1331780 CPUtime=1362.08 cores=1,3,5,7 /proc/31672/stat : 31672 (toysat) R 31669 31672 19971 0 -1 4202496 274037 0 0 0 136163 45 0 0 20 0 4 0 29508393 1363742720 274363 33554432000 4194304 16246674 140735915767776 140735915749696 5823238 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31672/statm: 332945 274363 849 2943 0 329839 0 [pid=31672/tid=31673] ppid=31669 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31673/stat : 31673 (toysat) S 31669 31672 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29508393 1363742720 274363 33554432000 4194304 16246674 140735915767776 140286664617200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31672/tid=31674] ppid=31669 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31674/stat : 31674 (toysat) S 31669 31672 19971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29508393 1363742720 274363 33554432000 4194304 16246674 140735915767776 140286583876848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31672/tid=31675] ppid=31669 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31675/stat : 31675 (toysat) S 31669 31672 19971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29508393 1363742720 274363 33554432000 4194304 16246674 140735915767776 140286573403312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 1331780 [startup+1422.3 s] /proc/loadavg: 2.15 2.18 2.15 3/183 31713 /proc/meminfo: memFree=28125376/32872528 swapFree=1431120/1543540 [pid=31672] ppid=31669 vsize=1331780 CPUtime=1422.08 cores=1,3,5,7 /proc/31672/stat : 31672 (toysat) R 31669 31672 19971 0 -1 4202496 274037 0 0 0 142162 46 0 0 20 0 4 0 29508393 1363742720 274363 33554432000 4194304 16246674 140735915767776 140735915749696 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31672/statm: 332945 274363 849 2943 0 329839 0 [pid=31672/tid=31673] ppid=31669 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31673/stat : 31673 (toysat) S 31669 31672 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29508393 1363742720 274363 33554432000 4194304 16246674 140735915767776 140286664617200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31672/tid=31674] ppid=31669 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31674/stat : 31674 (toysat) S 31669 31672 19971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29508393 1363742720 274363 33554432000 4194304 16246674 140735915767776 140286583876848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31672/tid=31675] ppid=31669 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31675/stat : 31675 (toysat) S 31669 31672 19971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29508393 1363742720 274363 33554432000 4194304 16246674 140735915767776 140286573403312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1422.08 Current children cumulated vsize (KiB) 1331780 [startup+1482.3 s] /proc/loadavg: 2.23 2.19 2.16 3/183 31714 /proc/meminfo: memFree=28125296/32872528 swapFree=1431120/1543540 [pid=31672] ppid=31669 vsize=1331780 CPUtime=1482.06 cores=1,3,5,7 /proc/31672/stat : 31672 (toysat) R 31669 31672 19971 0 -1 4202496 274037 0 0 0 148160 46 0 0 20 0 4 0 29508393 1363742720 274363 33554432000 4194304 16246674 140735915767776 140735915749696 5675785 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31672/statm: 332945 274363 849 2943 0 329839 0 [pid=31672/tid=31673] ppid=31669 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31673/stat : 31673 (toysat) S 31669 31672 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29508393 1363742720 274363 33554432000 4194304 16246674 140735915767776 140286664617200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31672/tid=31674] ppid=31669 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31674/stat : 31674 (toysat) S 31669 31672 19971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29508393 1363742720 274363 33554432000 4194304 16246674 140735915767776 140286583876848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31672/tid=31675] ppid=31669 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31675/stat : 31675 (toysat) S 31669 31672 19971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29508393 1363742720 274363 33554432000 4194304 16246674 140735915767776 140286573403312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 1331780 [startup+1542.31 s] /proc/loadavg: 2.20 2.18 2.16 3/183 31715 /proc/meminfo: memFree=28124496/32872528 swapFree=1431120/1543540 [pid=31672] ppid=31669 vsize=1331780 CPUtime=1542.06 cores=1,3,5,7 /proc/31672/stat : 31672 (toysat) R 31669 31672 19971 0 -1 4202496 274048 0 0 0 154159 47 0 0 20 0 4 0 29508393 1363742720 274619 33554432000 4194304 16246674 140735915767776 140735915749696 13192071 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31672/statm: 332945 274619 849 2943 0 329839 0 [pid=31672/tid=31673] ppid=31669 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31673/stat : 31673 (toysat) S 31669 31672 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29508393 1363742720 274619 33554432000 4194304 16246674 140735915767776 140286664617200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31672/tid=31674] ppid=31669 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31674/stat : 31674 (toysat) S 31669 31672 19971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29508393 1363742720 274619 33554432000 4194304 16246674 140735915767776 140286583876848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31672/tid=31675] ppid=31669 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31675/stat : 31675 (toysat) S 31669 31672 19971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29508393 1363742720 274619 33554432000 4194304 16246674 140735915767776 140286573403312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1542.06 Current children cumulated vsize (KiB) 1331780 [startup+1602.3 s] /proc/loadavg: 2.26 2.19 2.16 4/183 31716 /proc/meminfo: memFree=28121496/32872528 swapFree=1431120/1543540 [pid=31672] ppid=31669 vsize=1334852 CPUtime=1602.03 cores=1,3,5,7 /proc/31672/stat : 31672 (toysat) R 31669 31672 19971 0 -1 4202496 274837 0 0 0 160156 47 0 0 20 0 4 0 29508393 1366888448 275387 33554432000 4194304 16246674 140735915767776 140735915749696 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31672/statm: 333713 275387 849 2943 0 330607 0 [pid=31672/tid=31673] ppid=31669 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31673/stat : 31673 (toysat) S 31669 31672 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29508393 1366888448 275387 33554432000 4194304 16246674 140735915767776 140286664617200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31672/tid=31674] ppid=31669 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31674/stat : 31674 (toysat) S 31669 31672 19971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29508393 1366888448 275387 33554432000 4194304 16246674 140735915767776 140286583876848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31672/tid=31675] ppid=31669 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31675/stat : 31675 (toysat) S 31669 31672 19971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29508393 1366888448 275387 33554432000 4194304 16246674 140735915767776 140286573403312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 1334852 [startup+1662.3 s] /proc/loadavg: 2.34 2.23 2.17 3/183 31717 /proc/meminfo: memFree=28121520/32872528 swapFree=1431120/1543540 [pid=31672] ppid=31669 vsize=1334852 CPUtime=1662.01 cores=1,3,5,7 /proc/31672/stat : 31672 (toysat) R 31669 31672 19971 0 -1 4202496 274875 0 0 0 166153 48 0 0 20 0 4 0 29508393 1366888448 275387 33554432000 4194304 16246674 140735915767776 140735915749696 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31672/statm: 333713 275387 849 2943 0 330607 0 [pid=31672/tid=31673] ppid=31669 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31673/stat : 31673 (toysat) S 31669 31672 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29508393 1366888448 275387 33554432000 4194304 16246674 140735915767776 140286664617200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31672/tid=31674] ppid=31669 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31674/stat : 31674 (toysat) S 31669 31672 19971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29508393 1366888448 275387 33554432000 4194304 16246674 140735915767776 140286583876848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31672/tid=31675] ppid=31669 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31675/stat : 31675 (toysat) S 31669 31672 19971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29508393 1366888448 275387 33554432000 4194304 16246674 140735915767776 140286573403312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1662.01 Current children cumulated vsize (KiB) 1334852 [startup+1722.3 s] /proc/loadavg: 2.24 2.22 2.17 3/183 31719 /proc/meminfo: memFree=28121304/32872528 swapFree=1431120/1543540 [pid=31672] ppid=31669 vsize=1334852 CPUtime=1721.98 cores=1,3,5,7 /proc/31672/stat : 31672 (toysat) R 31669 31672 19971 0 -1 4202496 274905 0 0 0 172150 48 0 0 20 0 4 0 29508393 1366888448 275387 33554432000 4194304 16246674 140735915767776 140735915749696 5674768 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31672/statm: 333713 275387 849 2943 0 330607 0 [pid=31672/tid=31673] ppid=31669 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31673/stat : 31673 (toysat) S 31669 31672 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29508393 1366888448 275387 33554432000 4194304 16246674 140735915767776 140286664617200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31672/tid=31674] ppid=31669 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31674/stat : 31674 (toysat) S 31669 31672 19971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29508393 1366888448 275387 33554432000 4194304 16246674 140735915767776 140286583876848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31672/tid=31675] ppid=31669 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31675/stat : 31675 (toysat) S 31669 31672 19971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29508393 1366888448 275387 33554432000 4194304 16246674 140735915767776 140286573403312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.98 Current children cumulated vsize (KiB) 1334852 [startup+1782.3 s] /proc/loadavg: 2.15 2.19 2.17 3/183 31720 /proc/meminfo: memFree=28120100/32872528 swapFree=1431120/1543540 [pid=31672] ppid=31669 vsize=1334852 CPUtime=1781.95 cores=1,3,5,7 /proc/31672/stat : 31672 (toysat) R 31669 31672 19971 0 -1 4202496 274944 0 0 0 178147 48 0 0 20 0 4 0 29508393 1366888448 275387 33554432000 4194304 16246674 140735915767776 140735915749696 5546200 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31672/statm: 333713 275387 849 2943 0 330607 0 [pid=31672/tid=31673] ppid=31669 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31673/stat : 31673 (toysat) S 31669 31672 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29508393 1366888448 275387 33554432000 4194304 16246674 140735915767776 140286664617200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31672/tid=31674] ppid=31669 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31674/stat : 31674 (toysat) S 31669 31672 19971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29508393 1366888448 275387 33554432000 4194304 16246674 140735915767776 140286583876848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31672/tid=31675] ppid=31669 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31675/stat : 31675 (toysat) S 31669 31672 19971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29508393 1366888448 275387 33554432000 4194304 16246674 140735915767776 140286573403312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.95 Current children cumulated vsize (KiB) 1334852 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.19 2.20 2.17 3/183 31818 /proc/meminfo: memFree=28133260/32872528 swapFree=1431120/1543540 [pid=31672] ppid=31669 vsize=1334852 CPUtime=1800.04 cores=1,3,5,7 /proc/31672/stat : 31672 (toysat) R 31669 31672 19971 0 -1 4202496 274957 0 0 0 179956 48 0 0 20 0 4 0 29508393 1366888448 275387 33554432000 4194304 16246674 140735915767776 140735915766952 13780600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31672/statm: 333713 275387 849 2943 0 330607 0 [pid=31672/tid=31673] ppid=31669 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31673/stat : 31673 (toysat) S 31669 31672 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29508393 1366888448 275387 33554432000 4194304 16246674 140735915767776 140286664617200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31672/tid=31674] ppid=31669 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31674/stat : 31674 (toysat) S 31669 31672 19971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29508393 1366888448 275387 33554432000 4194304 16246674 140735915767776 140286583876848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31672/tid=31675] ppid=31669 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/31672/task/31675/stat : 31675 (toysat) S 31669 31672 19971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29508393 1366888448 275387 33554432000 4194304 16246674 140735915767776 140286573403312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1334852 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 31672 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.44 CPU time (s): 1800.09 CPU user time (s): 1799.57 CPU system time (s): 0.51992 CPU usage (%): 99.9804 Max. virtual memory (cumulated for all children) (KiB): 1334852 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.57 system time used= 0.51992 maximum resident set size= 1101548 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274957 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= 167 involuntary context switches= 1854 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.41833 second user time and 7.09392 second system time The end
Begin job on node116 at 2016-06-18 20:29:57 IDJOB=4106622 IDBENCH=48144 IDSOLVER=2542 FILE ID=node116/4106622-1466274597 RUNJOBID= node116-1466272784-31328 PBS_JOBID= 19918206 Free space on /tmp= 71708 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_3.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106622-1466274597/watcher-4106622-1466274597 -o /tmp/evaluation-result-4106622-1466274597/solver-4106622-1466274597 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466272784-31328 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106622-1466274597.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9e4e432c8df29dadb31632f81ac67b02 RANDOM SEED=709288041 node116.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.781 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.56 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.781 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.781 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 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.781 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.781 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.54 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.781 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.781 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29614024 kB Buffers: 90632 kB Cached: 177236 kB SwapCached: 1936 kB Active: 803192 kB Inactive: 165756 kB Active(anon): 700364 kB Inactive(anon): 3328 kB Active(file): 102828 kB Inactive(file): 162428 kB Unevictable: 1543540 kB Mlocked: 1431120 kB SwapTotal: 67108856 kB SwapFree: 67099604 kB Dirty: 33812 kB Writeback: 0 kB AnonPages: 2243964 kB Mapped: 10764 kB Shmem: 0 kB Slab: 610488 kB SReclaimable: 53876 kB SUnreclaim: 556612 kB KernelStack: 1488 kB PageTables: 9316 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2767048 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 116736 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= 71696 MiB End job on node116 at 2016-06-18 20:59:57