| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.08 | 1800.61 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-rgn.opb |
| MD5SUM | e9bdb75d971f85face52b6150a0bc6b1 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 90984 |
| Best CPU time to get the best result obtained on this benchmark | 1800.86 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 13258 |
| Optimality of the best value was proved | NO |
| Number of variables | 1260 |
| Total number of constraints | 104 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 4 |
| Number of constraints which are nor clauses,nor cardinality constraints | 100 |
| Minimum length of a constraint | 12 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 1160 |
| Biggest coefficient in the objective function | 6487 |
| Number of bits for the biggest coefficient in the objective function | 13 |
| Sum of the numbers in the objective function | 525000 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 105486 |
| Number of bits of the biggest number in a constraint | 17 |
| Biggest sum of numbers in a constraint | 525000 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T06:31:20+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-4101545-1466224280.opb"] 0.00/0.01 c use --random-gen="2844446597 2731896389 1016719662 852486181 1953371766 3789204581 1585399987 3709798992 3932311231 483243090 1538917500 1746391197 3465611003 1945316577 3782816194 3023481660 499702594 4036389 288273998 3061439443 2411310226 2683965150 2012369118 3389679964 2994718527 1035495458 1859944463 4282286503 4112891565 1351794760 2928000789 977197141 1964219166 2290191109 194714611 1290259603 4225131179 1867935227 897602341 107423359 753528701 3773683482 4034991846 1068791523 2670868053 2756844262 3860923905 2234402606 3839123656 3428311368 1682951382 3024672337 2363096376 4099795876 3341497084 4075487533 2366540279 3341719924 849903811 674605760 676252285 2750816024 4176103770 3791215462 4213610432 2665980671 2943539872 1698003996 1807187382 3640167034 4235376264 2633532197 527334624 1580922883 765201339 2572171967 4208642614 1958179632 3669796827 2365851603 2595767779 1803208753 1763260373 663394083 3733433743 2997824049 1801719828 1455480579 350689624 3776499824 332667166 763853182 2920934639 887970057 1350849765 2952909352 2238674504 1954709219 3328568949 3272310333 81964629 3206618836 1081711587 553049985 1699206344 2269465787 3448156948 2807154687 1390111623 4112566029 2921791764 439960761 3257979305 4278409232 1781949113 622858687 1449544756 636419650 382663434 1043644334 2468047730 1987671575 4008939355 829713863 3406233870 849434961 986003933 2889078817 1699803121 1359069926 4107396845 3520681196 3057840060 2414489506 2741912527 4139086064 1911543889 3112424711 2014018467 2143582011 672038746 3163806121 1165614159 926759549 3846838958 4109829167 3600401135 4176973373 3626349583 802067219 30352049 721752498 481599524 2639188920 544691391 1041897530 52963312 3592173391 1923838174 3403558103 2356802514 3850682493 2789730833 2910583722 2052854135 2321694250 237166074 773375713 630543363 1044683925 198369897 2614521939 3199541597 104165834 4007173640 2979104593 650482050 1774544816 315596977 1212430231 530377581 4130291205 78720527 3386913577 2510781454 4265878829 2411838546 2196879139 2455339464 2948815863 3664073490 4214192095 680585374 1646868542 1495611018 2517199617 136299545 2128809560 3420416629 4230558282 3239107873 2372812905 185287171 3834443775 2452555163 1126272595 3814401187 319802898 3635311101 1066170560 1615790342 1455676015 1781269649 1603663549 22206158 3140572832 1274842099 2486120961 1742707673 297209372 4072383385 2606758019 508610057 2625145137 780863188 824115717 1964822983 449872312 3577778064 1740343733 574538400 463515397 1080054708 3699630028 2237292986 1520154169 645804772 4110411989 3206144006 4143543354 1267456985 515741073 1137237480 193025671 3499048830 3993820809 1424650966 386791373 3518063394 3194484513 2052038343 3828842755 2680421535 4053286209 890110736 3683914224 255 362436" option to reproduce the execution 0.00/0.02 c #vars 1260 0.00/0.02 c #constraints 104 0.00/0.05 c BCD2: Hardening is enabled. 0.00/0.05 c BCD2: BiasedSearch is enabled. 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 461 0 | 0 | 0 0.09/0.10 c 0.1s | 1 | 288 | 100 | 461 0 | 0 | 0 0.09/0.15 c 0.1s | 2 | 510 | 250 | 508 0 | 0 | 0 0.19/0.22 c 0.2s | 3 | 959 | 475 | 559 0 | 0 | 0 0.29/0.33 c 0.3s | 4 | 1407 | 813 | 615 1 | 0 | 0 0.39/0.43 c 0.4s | 5 | 2118 | 1320 | 677 2 | 0 | 0 0.58/0.69 c 0.6s | 6 | 3455 | 2081 | 820 2 | 0 | 0 1.39/1.41 c 1.4s | 7 | 5266 | 3223 | 903 3 | 0 | 0 1.79/1.86 c 1.8s | 7 | 7720 | 4877 | 903 7 | 0 | 0 1.79/1.86 c #cpu_time = 1.809s 1.79/1.86 c #wall_clock_time = 1.809s 1.79/1.86 c #decision = 7720 1.79/1.86 c #random_decision = 30 1.79/1.86 c #conflict = 4877 1.79/1.86 c #restart = 7 1.79/1.86 o 354507 1.79/1.86 c BCD2: updating upper bound: 525000 -> 354506 1.79/1.86 c BCD2: 0 <= obj <= 354506 1.79/1.86 c BCD2: #cores=0, #unrelaxed=1160, #relaxed=0, #hardened=0 1.79/1.86 c BCD2: #sat=1 #unsat=1 bias=1/2 1.79/1.86 c Solving starts ... 1.79/1.86 c ============================[ Search Statistics ]============================ 1.79/1.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.79/1.86 c | | | | Limit GC | Var | Constra 1.79/1.86 c ============================================================================= 1.79/1.86 c 0.0s | 0 | 0 | 0 | 903 0 | 0 | 0 1.79/1.87 c 0.0s | 0 | 837 | 0 | 903 1 | 0 | 0 1.79/1.87 c #cpu_time = 0.011s 1.79/1.87 c #wall_clock_time = 0.012s 1.79/1.87 c #decision = 837 1.79/1.87 c #random_decision = 0 1.79/1.87 c #conflict = 0 1.79/1.87 c #restart = 0 1.79/1.87 c BCD2: found a new core of size 52: cost of the new core is >=2 1.79/1.87 c lower bound updated to 2 1.79/1.88 c BCD2: 2 <= obj <= 354506 1.79/1.88 c BCD2: #cores=1, #unrelaxed=1108, #relaxed=52, #hardened=0 1.79/1.88 c BCD2: #sat=1 #unsat=2 bias=2/3 1.79/1.88 c Solving starts ... 1.79/1.88 c ============================[ Search Statistics ]============================ 1.79/1.88 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.79/1.88 c | | | | Limit GC | Var | Constra 1.79/1.88 c ============================================================================= 1.79/1.88 c 0.0s | 0 | 0 | 0 | 903 0 | 0 | 0 1.79/1.88 c 0.0s | 0 | 817 | 0 | 903 0 | 0 | 0 1.79/1.88 c #cpu_time = 0.004s 1.79/1.88 c #wall_clock_time = 0.004s 1.79/1.88 c #decision = 817 1.79/1.88 c #random_decision = 0 1.79/1.88 c #conflict = 0 1.79/1.88 c #restart = 0 1.79/1.88 c BCD2: found a new core of size 55: cost of the new core is >=2 1.79/1.88 c lower bound updated to 4 1.79/1.88 c BCD2: 4 <= obj <= 354506 1.79/1.88 c BCD2: #cores=2, #unrelaxed=1053, #relaxed=107, #hardened=0 1.79/1.88 c BCD2: #sat=1 #unsat=3 bias=3/4 1.79/1.88 c Solving starts ... 1.79/1.88 c ============================[ Search Statistics ]============================ 1.79/1.88 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.79/1.88 c | | | | Limit GC | Var | Constra 1.79/1.88 c ============================================================================= 1.79/1.88 c 0.0s | 0 | 0 | 0 | 903 0 | 0 | 0 1.79/1.89 c 0.0s | 0 | 800 | 0 | 903 0 | 0 | 0 1.79/1.89 c #cpu_time = 0.004s 1.79/1.89 c #wall_clock_time = 0.004s 1.79/1.89 c #decision = 800 1.79/1.89 c #random_decision = 0 1.79/1.89 c #conflict = 0 1.79/1.89 c #restart = 0 1.79/1.89 c BCD2: found a new core of size 52: cost of the new core is >=2 1.79/1.89 c lower bound updated to 6 1.89/1.90 c BCD2: 6 <= obj <= 354506 1.89/1.90 c BCD2: #cores=3, #unrelaxed=1001, #relaxed=159, #hardened=0 1.89/1.90 c BCD2: #sat=1 #unsat=4 bias=4/5 1.89/1.90 c Solving starts ... 1.89/1.90 c ============================[ Search Statistics ]============================ 1.89/1.90 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.89/1.90 c | | | | Limit GC | Var | Constra 1.89/1.90 c ============================================================================= 1.89/1.90 c 0.0s | 0 | 0 | 0 | 903 0 | 0 | 0 1.89/1.91 c 0.0s | 0 | 780 | 0 | 903 0 | 0 | 0 1.89/1.91 c #cpu_time = 0.006s 1.89/1.91 c #wall_clock_time = 0.006s 1.89/1.91 c #decision = 780 1.89/1.91 c #random_decision = 0 1.89/1.91 c #conflict = 0 1.89/1.91 c #restart = 0 1.89/1.91 c BCD2: found a new core of size 55: cost of the new core is >=2 1.89/1.91 c lower bound updated to 8 1.89/1.91 c BCD2: 8 <= obj <= 354506 1.89/1.91 c BCD2: #cores=4, #unrelaxed=946, #relaxed=214, #hardened=0 1.89/1.91 c BCD2: #sat=1 #unsat=5 bias=5/6 1.89/1.92 c Solving starts ... 1.89/1.92 c ============================[ Search Statistics ]============================ 1.89/1.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.89/1.92 c | | | | Limit GC | Var | Constra 1.89/1.92 c ============================================================================= 1.89/1.92 c 0.0s | 0 | 0 | 0 | 903 0 | 0 | 0 1.89/1.92 c 0.0s | 0 | 763 | 0 | 903 0 | 0 | 0 1.89/1.92 c #cpu_time = 0.006s 1.89/1.92 c #wall_clock_time = 0.006s 1.89/1.92 c #decision = 763 1.89/1.92 c #random_decision = 0 1.89/1.92 c #conflict = 0 1.89/1.92 c #restart = 0 1.89/1.92 c BCD2: found a new core of size 52: cost of the new core is >=2 1.89/1.92 c lower bound updated to 10 1.89/1.92 c BCD2: 10 <= obj <= 354506 1.89/1.92 c BCD2: #cores=5, #unrelaxed=894, #relaxed=266, #hardened=0 1.89/1.92 c BCD2: #sat=1 #unsat=6 bias=6/7 1.89/1.93 c Solving starts ... 1.89/1.93 c ============================[ Search Statistics ]============================ 1.89/1.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.89/1.93 c | | | | Limit GC | Var | Constra 1.89/1.93 c ============================================================================= 1.89/1.93 c 0.0s | 0 | 0 | 0 | 903 0 | 0 | 0 1.89/1.94 c 0.0s | 0 | 743 | 0 | 903 0 | 0 | 0 1.89/1.94 c #cpu_time = 0.006s 1.89/1.94 c #wall_clock_time = 0.006s 1.89/1.94 c #decision = 743 1.89/1.94 c #random_decision = 0 1.89/1.94 c #conflict = 0 1.89/1.94 c #restart = 0 1.89/1.94 c BCD2: found a new core of size 55: cost of the new core is >=2 1.89/1.94 c lower bound updated to 12 1.89/1.94 c BCD2: 12 <= obj <= 354506 1.89/1.94 c BCD2: #cores=6, #unrelaxed=839, #relaxed=321, #hardened=0 1.89/1.94 c BCD2: #sat=1 #unsat=7 bias=7/8 1.89/1.95 c Solving starts ... 1.89/1.95 c ============================[ Search Statistics ]============================ 1.89/1.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.89/1.95 c | | | | Limit GC | Var | Constra 1.89/1.95 c ============================================================================= 1.89/1.95 c 0.0s | 0 | 0 | 0 | 903 0 | 0 | 0 1.89/1.95 c 0.0s | 0 | 726 | 0 | 903 0 | 0 | 0 1.89/1.95 c #cpu_time = 0.006s 1.89/1.95 c #wall_clock_time = 0.006s 1.89/1.95 c #decision = 726 1.89/1.95 c #random_decision = 0 1.89/1.95 c #conflict = 0 1.89/1.95 c #restart = 0 1.89/1.95 c BCD2: found a new core of size 52: cost of the new core is >=2 1.89/1.95 c lower bound updated to 14 1.89/1.95 c BCD2: 14 <= obj <= 354506 1.89/1.95 c BCD2: #cores=7, #unrelaxed=787, #relaxed=373, #hardened=0 1.89/1.95 c BCD2: #sat=1 #unsat=8 bias=8/9 1.89/1.96 c Solving starts ... 1.89/1.96 c ============================[ Search Statistics ]============================ 1.89/1.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.89/1.96 c | | | | Limit GC | Var | Constra 1.89/1.96 c ============================================================================= 1.89/1.96 c 0.0s | 0 | 0 | 0 | 903 0 | 0 | 0 1.89/1.96 c 0.0s | 0 | 706 | 0 | 903 0 | 0 | 0 1.89/1.96 c #cpu_time = 0.006s 1.89/1.96 c #wall_clock_time = 0.006s 1.89/1.96 c #decision = 706 1.89/1.96 c #random_decision = 0 1.89/1.96 c #conflict = 0 1.89/1.96 c #restart = 0 1.89/1.96 c BCD2: found a new core of size 55: cost of the new core is >=2 1.89/1.96 c lower bound updated to 16 1.89/1.96 c BCD2: 16 <= obj <= 354506 1.89/1.96 c BCD2: #cores=8, #unrelaxed=732, #relaxed=428, #hardened=0 1.89/1.96 c BCD2: #sat=1 #unsat=9 bias=9/10 1.89/1.97 c Solving starts ... 1.89/1.97 c ============================[ Search Statistics ]============================ 1.89/1.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.89/1.97 c | | | | Limit GC | Var | Constra 1.89/1.97 c ============================================================================= 1.89/1.97 c 0.0s | 0 | 0 | 0 | 903 0 | 0 | 0 1.89/1.98 c 0.0s | 0 | 689 | 0 | 903 0 | 0 | 0 1.89/1.98 c #cpu_time = 0.004s 1.89/1.98 c #wall_clock_time = 0.004s 1.89/1.98 c #decision = 689 1.89/1.98 c #random_decision = 0 1.89/1.98 c #conflict = 0 1.89/1.98 c #restart = 0 1.89/1.98 c BCD2: found a new core of size 52: cost of the new core is >=2 1.89/1.98 c lower bound updated to 18 1.89/1.98 c BCD2: 18 <= obj <= 354506 1.89/1.98 c BCD2: #cores=9, #unrelaxed=680, #relaxed=480, #hardened=0 1.89/1.98 c BCD2: #sat=1 #unsat=10 bias=10/11 1.89/1.98 c Solving starts ... 1.89/1.98 c ============================[ Search Statistics ]============================ 1.89/1.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.89/1.98 c | | | | Limit GC | Var | Constra 1.89/1.98 c ============================================================================= 1.89/1.98 c 0.0s | 0 | 0 | 0 | 903 0 | 0 | 0 1.89/1.99 c 0.0s | 0 | 669 | 0 | 903 0 | 0 | 0 1.89/1.99 c #cpu_time = 0.005s 1.89/1.99 c #wall_clock_time = 0.005s 1.89/1.99 c #decision = 669 1.89/1.99 c #random_decision = 0 1.89/1.99 c #conflict = 0 1.89/1.99 c #restart = 0 1.89/1.99 c BCD2: found a new core of size 55: cost of the new core is >=2 1.89/1.99 c lower bound updated to 20 1.89/1.99 c BCD2: 20 <= obj <= 354506 1.89/1.99 c BCD2: #cores=10, #unrelaxed=625, #relaxed=535, #hardened=0 1.89/1.99 c BCD2: #sat=1 #unsat=11 bias=11/12 1.89/1.99 c Solving starts ... 1.89/1.99 c ============================[ Search Statistics ]============================ 1.89/1.99 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.89/1.99 c | | | | Limit GC | Var | Constra 1.89/1.99 c ============================================================================= 1.89/1.99 c 0.0s | 0 | 0 | 0 | 903 0 | 0 | 0 1.98/2.02 c 0.0s | 1 | 896 | 100 | 994 0 | 0 | 0 1.98/2.06 c 0.1s | 2 | 1815 | 250 | 994 0 | 0 | 0 2.08/2.12 c 0.1s | 3 | 2754 | 475 | 994 0 | 0 | 0 2.08/2.19 c 0.2s | 4 | 3781 | 813 | 994 0 | 0 | 0 2.29/2.32 c 0.3s | 5 | 4975 | 1320 | 994 1 | 0 | 0 2.48/2.50 c 0.5s | 6 | 6414 | 2081 | 994 2 | 0 | 0 2.78/2.83 c 0.8s | 7 | 8221 | 3223 | 1094 3 | 0 | 0 3.30/3.38 c 1.4s | 8 | 10602 | 4936 | 1094 5 | 0 | 0 4.19/4.23 c 2.2s | 9 | 13853 | 7506 | 1204 8 | 0 | 0 5.29/5.38 c 3.4s | 10 | 18593 | 11361 | 1204 12 | 0 | 0 7.09/7.11 c 5.1s | 11 | 25701 | 17144 | 1325 17 | 0 | 0 9.09/9.14 c 7.1s | 11 | 34895 | 25144 | 1458 25 | 0 | 0 9.29/9.36 c 7.4s | 12 | 35572 | 25819 | 1458 26 | 0 | 0 11.29/11.37 c 9.4s | 12 | 43655 | 33119 | 1458 32 | 0 | 0 13.19/13.25 c 11.3s | 13 | 49418 | 38832 | 1604 37 | 0 | 0 15.19/15.28 c 13.3s | 13 | 55908 | 44632 | 1604 42 | 0 | 0 17.19/17.29 c 15.3s | 13 | 62037 | 50732 | 1604 48 | 0 | 0 19.19/19.29 c 17.3s | 13 | 67959 | 56632 | 1765 52 | 0 | 0 19.79/19.88 c 17.9s | 14 | 69685 | 58352 | 1765 54 | 0 | 0 21.88/21.91 c 19.9s | 14 | 77549 | 65052 | 1765 59 | 0 | 0 23.88/23.92 c 21.9s | 14 | 84783 | 71852 | 1765 65 | 0 | 0 25.88/25.92 c 23.9s | 14 | 92148 | 78952 | 1765 71 | 0 | 0 27.88/27.93 c 25.9s | 14 | 98365 | 85052 | 1942 75 | 0 | 0 28.48/28.53 c 26.5s | 15 | 102831 | 87632 | 1942 77 | 0 | 0 30.48/30.53 c 28.5s | 15 | 108647 | 92432 | 1942 80 | 0 | 0 32.48/32.56 c 30.6s | 15 | 112968 | 96732 | 1942 83 | 0 | 0 34.48/34.56 c 32.6s | 15 | 117180 | 100932 | 1942 86 | 0 | 0 36.48/36.57 c 34.6s | 15 | 121401 | 105132 | 1942 89 | 0 | 0 38.59/38.61 c 36.6s | 15 | 125614 | 109332 | 1942 92 | 0 | 0 40.58/40.63 c 38.6s | 15 | 131340 | 114632 | 1942 96 | 0 | 0 42.58/42.64 c 40.6s | 15 | 136923 | 119932 | 1942 99 | 0 | 0 44.58/44.65 c 42.7s | 15 | 142304 | 124932 | 1942 102 | 0 | 0 46.58/46.67 c 44.7s | 15 | 147592 | 129932 | 2137 105 | 0 | 0 47.29/47.35 c 45.4s | 16 | 149424 | 131552 | 2137 106 | 0 | 0 49.28/49.37 c 47.4s | 16 | 155857 | 137252 | 2137 110 | 0 | 0 51.28/51.38 c 49.4s | 16 | 160774 | 142152 | 2137 114 | 0 | 0 53.38/53.42 c 51.4s | 16 | 166088 | 147452 | 2137 117 | 0 | 0 55.38/55.43 c 53.4s | 16 | 171302 | 152652 | 2137 121 | 0 | 0 57.38/57.43 c 55.4s | 16 | 176612 | 157952 | 2137 125 | 0 | 0 59.48/59.57 c 57.6s | 16 | 181928 | 163252 | 2137 128 | 0 | 0 61.47/61.59 c 59.6s | 16 | 187157 | 168452 | 2137 132 | 0 | 0 63.57/63.61 c 61.6s | 16 | 192180 | 173452 | 2137 135 | 0 | 0 65.58/65.63 c 63.6s | 16 | 197087 | 178352 | 2137 139 | 0 | 0 67.58/67.63 c 65.6s | 16 | 202313 | 183552 | 2137 142 | 0 | 0 69.58/69.65 c 67.7s | 16 | 207238 | 188452 | 2137 146 | 0 | 0 71.59/71.66 c 69.7s | 16 | 212236 | 193252 | 2351 149 | 0 | 0 73.58/73.61 c 71.6s | 17 | 216432 | 197432 | 2351 152 | 0 | 0 75.58/75.62 c 73.6s | 17 | 221613 | 201932 | 2351 155 | 0 | 0 77.58/77.62 c 75.6s | 17 | 226029 | 206332 | 2351 157 | 0 | 0 79.58/79.63 c 77.6s | 17 | 230438 | 210732 | 2351 160 | 0 | 0 81.58/81.65 c 79.7s | 17 | 234539 | 214832 | 2351 163 | 0 | 0 83.58/83.65 c 81.7s | 17 | 238852 | 219132 | 2351 166 | 0 | 0 85.58/85.68 c 83.7s | 17 | 243062 | 223332 | 2351 169 | 0 | 0 87.58/87.68 c 85.7s | 17 | 247369 | 227632 | 2351 171 | 0 | 0 89.68/89.71 c 87.7s | 17 | 251594 | 231832 | 2351 174 | 0 | 0 91.68/91.72 c 89.7s | 17 | 255897 | 236132 | 2351 177 | 0 | 0 93.67/93.73 c 91.7s | 17 | 260310 | 240532 | 2351 180 | 0 | 0 95.68/95.75 c 93.8s | 17 | 264713 | 244932 | 2351 183 | 0 | 0 97.67/97.77 c 95.8s | 17 | 271578 | 251032 | 2351 187 | 0 | 0 99.67/99.78 c 97.8s | 17 | 278416 | 257432 | 2351 191 | 0 | 0 101.67/101.78 c 99.8s | 17 | 285326 | 263532 | 2351 195 | 0 | 0 103.77/103.80 c 101s | 17 | 290276 | 268232 | 2351 198 | 0 | 0 105.77/105.81 c 103s | 17 | 296394 | 273032 | 2351 201 | 0 | 0 107.78/107.82 c 105s | 17 | 303644 | 277932 | 2351 204 | 0 | 0 109.77/109.82 c 107s | 17 | 310460 | 282832 | 2351 207 | 0 | 0 111.77/111.85 c 109s | 17 | 317871 | 288932 | 2351 211 | 0 | 0 113.77/113.86 c 111s | 17 | 322661 | 293632 | 2587 214 | 0 | 0 114.97/115.06 c 113s | 18 | 325299 | 296252 | 2587 216 | 0 | 0 116.97/117.09 c 115s | 18 | 331372 | 301552 | 2587 219 | 0 | 0 119.07/119.11 c 117s | 18 | 336111 | 306252 | 2587 222 | 0 | 0 121.08/121.12 c 119s | 18 | 341013 | 311052 | 2587 225 | 0 | 0 123.07/123.14 c 121s | 18 | 347657 | 317252 | 2587 228 | 0 | 0 125.07/125.16 c 123s | 18 | 352271 | 321852 | 2587 231 | 0 | 0 127.07/127.19 c 125s | 18 | 356813 | 326352 | 2587 233 | 0 | 0 129.07/129.19 c 127s | 18 | 361353 | 330852 | 2587 236 | 0 | 0 131.07/131.20 c 129s | 18 | 365767 | 335252 | 2587 238 | 0 | 0 133.17/133.22 c 131s | 18 | 370090 | 339552 | 2587 240 | 0 | 0 135.17/135.25 c 133s | 18 | 374841 | 344252 | 2587 243 | 0 | 0 137.17/137.29 c 135s | 18 | 379176 | 348552 | 2587 245 | 0 | 0 139.26/139.32 c 137s | 18 | 383701 | 353052 | 2587 248 | 0 | 0 141.26/141.33 c 139s | 18 | 388142 | 357452 | 2587 250 | 0 | 0 143.26/143.36 c 141s | 18 | 393000 | 362252 | 2587 253 | 0 | 0 145.27/145.39 c 143s | 18 | 398058 | 367152 | 2587 256 | 0 | 0 147.37/147.42 c 145s | 18 | 402986 | 371852 | 2587 258 | 0 | 0 149.36/149.46 c 147s | 18 | 408084 | 376652 | 2587 261 | 0 | 0 151.36/151.46 c 149s | 18 | 412930 | 381452 | 2587 264 | 0 | 0 153.36/153.46 c 151s | 18 | 418551 | 386752 | 2587 266 | 0 | 0 155.47/155.50 c 153s | 18 | 423892 | 391852 | 2587 269 | 0 | 0 157.47/157.53 c 155s | 18 | 428439 | 396352 | 2587 272 | 0 | 0 159.47/159.53 c 157s | 18 | 432953 | 400852 | 2587 274 | 0 | 0 161.47/161.55 c 159s | 18 | 437282 | 405152 | 2587 277 | 0 | 0 163.47/163.59 c 161s | 18 | 441493 | 409352 | 2587 279 | 0 | 0 165.56/165.62 c 163s | 18 | 445919 | 413752 | 2587 281 | 0 | 0 167.56/167.67 c 165s | 18 | 450263 | 418052 | 2587 284 | 0 | 0 169.56/169.68 c 167s | 18 | 454504 | 422252 | 2587 286 | 0 | 0 171.67/171.70 c 169s | 18 | 458603 | 426252 | 2587 288 | 0 | 0 173.66/173.73 c 171s | 18 | 463225 | 430652 | 2587 291 | 0 | 0 175.66/175.75 c 173s | 18 | 467969 | 435352 | 2587 293 | 0 | 0 177.66/177.76 c 175s | 18 | 472310 | 439652 | 2846 295 | 0 | 0 179.76/179.81 c 177s | 18 | 476427 | 443752 | 2846 298 | 0 | 0 180.06/180.15 c 178s | 19 | 477164 | 444482 | 2846 298 | 0 | 0 182.06/182.17 c 180s | 19 | 482948 | 449582 | 2846 301 | 0 | 0 184.16/184.23 c 182s | 19 | 487656 | 454282 | 2846 304 | 0 | 0 186.16/186.27 c 184s | 19 | 492275 | 458882 | 2846 306 | 0 | 0 188.16/188.27 c 186s | 19 | 496905 | 463482 | 2846 309 | 0 | 0 190.16/190.30 c 188s | 19 | 501335 | 467882 | 2846 311 | 0 | 0 192.26/192.33 c 190s | 19 | 506777 | 473282 | 2846 314 | 0 | 0 194.26/194.37 c 192s | 19 | 512014 | 478482 | 2846 317 | 0 | 0 196.25/196.39 c 194s | 19 | 516937 | 483382 | 2846 320 | 0 | 0 198.35/198.40 c 196s | 19 | 521968 | 488382 | 2846 323 | 0 | 0 200.35/200.42 c 198s | 19 | 526986 | 493382 | 2846 325 | 0 | 0 202.36/202.43 c 200s | 19 | 532005 | 498382 | 2846 328 | 0 | 0 204.35/204.44 c 202s | 19 | 537048 | 503382 | 2846 331 | 0 | 0 206.35/206.45 c 204s | 19 | 542163 | 508482 | 2846 334 | 0 | 0 208.35/208.46 c 206s | 19 | 546874 | 513182 | 2846 337 | 0 | 0 210.35/210.49 c 208s | 19 | 551982 | 518282 | 2846 339 | 0 | 0 212.45/212.53 c 210s | 19 | 556810 | 523082 | 2846 342 | 0 | 0 214.47/214.54 c 212s | 19 | 561530 | 527782 | 2846 345 | 0 | 0 216.46/216.56 c 214s | 19 | 566456 | 532682 | 2846 347 | 0 | 0 218.46/218.57 c 216s | 19 | 571603 | 537782 | 2846 350 | 0 | 0 220.46/220.57 c 218s | 19 | 576421 | 542582 | 2846 353 | 0 | 0 222.46/222.57 c 220s | 19 | 581141 | 547282 | 2846 356 | 0 | 0 224.46/224.59 c 222s | 19 | 585860 | 551982 | 2846 358 | 0 | 0 226.56/226.62 c 224s | 19 | 590986 | 557082 | 2846 361 | 0 | 0 228.56/228.66 c 226s | 19 | 595701 | 561782 | 2846 364 | 0 | 0 230.56/230.66 c 228s | 19 | 600522 | 566582 | 2846 366 | 0 | 0 232.66/232.70 c 230s | 19 | 605544 | 571582 | 2846 369 | 0 | 0 234.66/234.71 c 232s | 19 | 610665 | 576682 | 2846 372 | 0 | 0 236.66/236.73 c 234s | 19 | 615643 | 581582 | 2846 375 | 0 | 0 238.66/238.77 c 236s | 19 | 620362 | 586282 | 2846 378 | 0 | 0 240.65/240.78 c 238s | 19 | 625420 | 591282 | 2846 380 | 0 | 0 242.75/242.81 c 240s | 19 | 630137 | 595982 | 2846 383 | 0 | 0 244.75/244.84 c 242s | 19 | 634864 | 600682 | 2846 386 | 0 | 0 246.75/246.84 c 244s | 19 | 639812 | 605582 | 2846 388 | 0 | 0 248.75/248.87 c 246s | 19 | 644728 | 610482 | 2846 391 | 0 | 0 250.86/250.91 c 248s | 19 | 649650 | 615382 | 2846 394 | 0 | 0 252.85/252.91 c 250s | 19 | 654480 | 620182 | 2846 396 | 0 | 0 254.85/254.93 c 252s | 19 | 659298 | 624982 | 2846 399 | 0 | 0 256.85/256.96 c 254s | 19 | 664211 | 629882 | 2846 402 | 0 | 0 258.85/258.98 c 256s | 19 | 668920 | 634582 | 2846 405 | 0 | 0 260.85/260.99 c 258s | 19 | 673742 | 639382 | 2846 407 | 0 | 0 262.95/263.02 c 261s | 19 | 678657 | 644282 | 2846 410 | 0 | 0 264.95/265.04 c 263s | 19 | 683574 | 649182 | 2846 413 | 0 | 0 266.95/267.06 c 265s | 19 | 688280 | 653882 | 2846 415 | 0 | 0 268.95/269.09 c 267s | 19 | 693003 | 658582 | 3131 418 | 0 | 0 271.04/271.13 c 269s | 19 | 697824 | 663382 | 3131 420 | 0 | 0 272.44/272.59 c 270s | 20 | 701302 | 666827 | 3131 422 | 0 | 0 274.54/274.61 c 272s | 20 | 708336 | 672427 | 3131 425 | 0 | 0 276.54/276.62 c 274s | 20 | 712769 | 676827 | 3131 427 | 0 | 0 278.54/278.66 c 276s | 20 | 717295 | 681227 | 3131 429 | 0 | 0 280.55/280.68 c 278s | 20 | 721479 | 685227 | 3131 431 | 0 | 0 282.54/282.70 c 280s | 20 | 725676 | 689227 | 3131 433 | 0 | 0 284.64/284.72 c 282s | 20 | 730069 | 693427 | 3131 435 | 0 | 0 286.64/286.78 c 284s | 20 | 735238 | 698427 | 3131 438 | 0 | 0 288.74/288.80 c 286s | 20 | 740149 | 703327 | 3131 440 | 0 | 0 290.74/290.82 c 288s | 20 | 745088 | 708227 | 3131 442 | 0 | 0 292.74/292.83 c 290s | 20 | 749720 | 712827 | 3131 445 | 0 | 0 294.75/294.84 c 292s | 20 | 754455 | 717527 | 3131 447 | 0 | 0 296.74/296.88 c 294s | 20 | 759070 | 722127 | 3131 449 | 0 | 0 298.84/298.90 c 296s | 20 | 763498 | 726527 | 3131 451 | 0 | 0 300.84/300.92 c 298s | 20 | 768131 | 731127 | 3131 454 | 0 | 0 302.84/302.93 c 300s | 20 | 772849 | 735727 | 3131 456 | 0 | 0 304.84/304.94 c 302s | 20 | 777792 | 740627 | 3131 458 | 0 | 0 306.84/306.99 c 304s | 20 | 782116 | 744927 | 3131 461 | 0 | 0 308.94/309.03 c 307s | 20 | 786754 | 749527 | 3131 463 | 0 | 0 310.94/311.04 c 309s | 20 | 791380 | 754127 | 3131 465 | 0 | 0 312.95/313.07 c 311s | 20 | 796506 | 759227 | 3131 468 | 0 | 0 314.95/315.09 c 313s | 20 | 801735 | 764427 | 3131 470 | 0 | 0 316.94/317.09 c 315s | 20 | 806568 | 769227 | 3131 472 | 0 | 0 319.05/319.14 c 317s | 20 | 811701 | 774327 | 3131 475 | 0 | 0 321.04/321.16 c 319s | 20 | 816116 | 778727 | 3131 477 | 0 | 0 323.04/323.18 c 321s | 20 | 820233 | 782827 | 3131 479 | 0 | 0 325.04/325.19 c 323s | 20 | 824248 | 786827 | 3131 481 | 0 | 0 327.14/327.22 c 325s | 20 | 828865 | 791427 | 3131 483 | 0 | 0 329.14/329.23 c 327s | 20 | 833182 | 795727 | 3131 486 | 0 | 0 331.15/331.24 c 329s | 20 | 837621 | 800127 | 3131 488 | 0 | 0 333.14/333.27 c 331s | 20 | 842753 | 805227 | 3131 490 | 0 | 0 335.14/335.28 c 333s | 20 | 847369 | 809827 | 3131 493 | 0 | 0 337.24/337.32 c 335s | 20 | 852397 | 814827 | 3131 495 | 0 | 0 339.24/339.36 c 337s | 20 | 857116 | 819527 | 3131 497 | 0 | 0 341.24/341.36 c 339s | 20 | 861549 | 823927 | 3131 499 | 0 | 0 343.34/343.42 c 341s | 20 | 865760 | 828127 | 3131 502 | 0 | 0 345.34/345.46 c 343s | 20 | 870585 | 832927 | 3131 504 | 0 | 0 347.34/347.46 c 345s | 20 | 875407 | 837727 | 3131 506 | 0 | 0 349.34/349.50 c 347s | 20 | 880029 | 842327 | 3131 509 | 0 | 0 351.44/351.53 c 349s | 20 | 884349 | 846627 | 3131 511 | 0 | 0 353.44/353.57 c 351s | 20 | 888880 | 851127 | 3131 513 | 0 | 0 355.54/355.60 c 353s | 20 | 894018 | 856227 | 3131 515 | 0 | 0 357.54/357.63 c 355s | 20 | 898645 | 860827 | 3131 518 | 0 | 0 359.54/359.67 c 357s | 20 | 902972 | 865127 | 3131 520 | 0 | 0 361.54/361.68 c 359s | 20 | 907290 | 869427 | 3131 522 | 0 | 0 363.53/363.68 c 361s | 20 | 911406 | 873527 | 3131 524 | 0 | 0 365.53/365.69 c 363s | 20 | 915724 | 877827 | 3131 526 | 0 | 0 367.63/367.73 c 365s | 20 | 920143 | 882227 | 3131 528 | 0 | 0 369.64/369.73 c 367s | 20 | 924372 | 886427 | 3131 530 | 0 | 0 371.63/371.76 c 369s | 20 | 928498 | 890527 | 3131 532 | 0 | 0 373.63/373.78 c 371s | 20 | 933450 | 895427 | 3131 535 | 0 | 0 375.73/375.81 c 373s | 20 | 937660 | 899627 | 3131 537 | 0 | 0 377.73/377.81 c 375s | 20 | 941878 | 903827 | 3131 539 | 0 | 0 379.73/379.85 c 377s | 20 | 946105 | 908027 | 3131 541 | 0 | 0 381.74/381.86 c 379s | 20 | 950322 | 912227 | 3131 543 | 0 | 0 383.73/383.88 c 381s | 20 | 954543 | 916427 | 3131 545 | 0 | 0 385.83/385.91 c 383s | 20 | 958681 | 920527 | 3131 547 | 0 | 0 387.83/387.94 c 385s | 20 | 963610 | 925427 | 3131 550 | 0 | 0 389.83/389.97 c 387s | 20 | 968757 | 930527 | 3131 552 | 0 | 0 391.83/391.99 c 390s | 20 | 973591 | 935327 | 3131 554 | 0 | 0 393.93/394.02 c 392s | 20 | 978282 | 939927 | 3131 557 | 0 | 0 395.93/396.06 c 394s | 20 | 982927 | 944527 | 3131 559 | 0 | 0 397.93/398.08 c 396s | 20 | 987659 | 949127 | 3131 561 | 0 | 0 400.03/400.10 c 398s | 20 | 991987 | 953427 | 3131 563 | 0 | 0 402.02/402.11 c 400s | 20 | 996117 | 957527 | 3131 565 | 0 | 0 404.02/404.12 c 402s | 20 | 1000241 | 961627 | 3131 567 | 0 | 0 406.02/406.12 c 404s | 20 | 1004369 | 965727 | 3131 569 | 0 | 0 408.03/408.14 c 406s | 20 | 1008589 | 969927 | 3131 571 | 0 | 0 410.02/410.17 c 408s | 20 | 1012938 | 974127 | 3131 574 | 0 | 0 412.02/412.19 c 410s | 20 | 1017365 | 978527 | 3131 576 | 0 | 0 414.12/414.20 c 412s | 20 | 1022022 | 983127 | 3131 578 | 0 | 0 416.12/416.21 c 414s | 20 | 1026740 | 987827 | 3131 580 | 0 | 0 418.12/418.26 c 416s | 20 | 1031165 | 992227 | 3445 582 | 0 | 0 420.13/420.28 c 418s | 20 | 1036107 | 997027 | 3445 584 | 0 | 0 421.62/421.74 c 419s | 21 | 1039461 | 1000345 | 3445 586 | 0 | 0 423.62/423.76 c 421s | 21 | 1045480 | 1005645 | 3445 589 | 0 | 0 425.63/425.77 c 423s | 21 | 1050121 | 1010245 | 3445 591 | 0 | 0 427.62/427.77 c 425s | 21 | 1054131 | 1014245 | 3445 593 | 0 | 0 429.62/429.78 c 427s | 21 | 1058873 | 1018945 | 3445 595 | 0 | 0 431.72/431.82 c 429s | 21 | 1063096 | 1023145 | 3445 597 | 0 | 0 433.72/433.83 c 431s | 21 | 1067429 | 1027445 | 3445 599 | 0 | 0 435.72/435.87 c 433s | 21 | 1072157 | 1032145 | 3445 601 | 0 | 0 437.83/437.90 c 435s | 21 | 1076691 | 1036645 | 3445 603 | 0 | 0 439.82/439.91 c 437s | 21 | 1081227 | 1041145 | 3445 605 | 0 | 0 441.82/441.98 c 439s | 21 | 1085660 | 1045545 | 3445 608 | 0 | 0 443.92/444.00 c 442s | 21 | 1090221 | 1050045 | 3445 610 | 0 | 0 445.92/446.02 c 444s | 21 | 1094863 | 1054645 | 3445 612 | 0 | 0 447.92/448.04 c 446s | 21 | 1099438 | 1059145 | 3445 614 | 0 | 0 449.92/450.08 c 448s | 21 | 1103861 | 1063545 | 3445 616 | 0 | 0 451.92/452.09 c 450s | 21 | 1108395 | 1068045 | 3445 618 | 0 | 0 454.02/454.13 c 452s | 21 | 1113222 | 1072845 | 3445 621 | 0 | 0 456.02/456.17 c 454s | 21 | 1117735 | 1077345 | 3445 623 | 0 | 0 458.12/458.23 c 456s | 21 | 1121642 | 1081245 | 3445 625 | 0 | 0 460.12/460.25 c 458s | 21 | 1126086 | 1085645 | 3445 627 | 0 | 0 462.12/462.28 c 460s | 21 | 1130313 | 1089845 | 3445 629 | 0 | 0 464.23/464.32 c 462s | 21 | 1134632 | 1094145 | 3445 631 | 0 | 0 466.33/466.41 c 464s | 21 | 1138586 | 1098045 | 3445 633 | 0 | 0 468.32/468.44 c 466s | 21 | 1142693 | 1102145 | 3445 634 | 0 | 0 470.32/470.48 c 468s | 21 | 1146828 | 1106245 | 3445 636 | 0 | 0 472.42/472.51 c 470s | 21 | 1150853 | 1110245 | 3445 638 | 0 | 0 474.42/474.54 c 472s | 21 | 1154790 | 1114145 | 3445 640 | 0 | 0 476.42/476.55 c 474s | 21 | 1158901 | 1118245 | 3445 642 | 0 | 0 478.43/478.59 c 476s | 21 | 1163113 | 1122445 | 3445 644 | 0 | 0 480.52/480.63 c 478s | 21 | 1167224 | 1126545 | 3445 646 | 0 | 0 482.52/482.67 c 480s | 21 | 1171459 | 1130745 | 3445 648 | 0 | 0 484.52/484.68 c 482s | 21 | 1175763 | 1135045 | 3445 650 | 0 | 0 486.52/486.69 c 484s | 21 | 1179772 | 1139045 | 3445 652 | 0 | 0 488.61/488.72 c 486s | 21 | 1184287 | 1143545 | 3445 654 | 0 | 0 490.62/490.77 c 488s | 21 | 1188201 | 1147445 | 3445 656 | 0 | 0 492.61/492.78 c 490s | 21 | 1192106 | 1151345 | 3445 658 | 0 | 0 494.61/494.79 c 492s | 21 | 1196527 | 1155745 | 3445 660 | 0 | 0 496.61/496.79 c 494s | 21 | 1200643 | 1159845 | 3445 662 | 0 | 0 498.71/498.83 c 496s | 21 | 1205076 | 1164245 | 3445 664 | 0 | 0 500.71/500.83 c 498s | 21 | 1209188 | 1168345 | 3445 666 | 0 | 0 502.72/502.83 c 500s | 21 | 1213298 | 1172445 | 3445 668 | 0 | 0 504.71/504.84 c 502s | 21 | 1217206 | 1176345 | 3445 670 | 0 | 0 506.71/506.86 c 504s | 21 | 1221215 | 1180345 | 3445 672 | 0 | 0 508.71/508.87 c 506s | 21 | 1225320 | 1184445 | 3445 674 | 0 | 0 510.81/510.90 c 508s | 21 | 1229422 | 1188545 | 3445 676 | 0 | 0 512.81/512.93 c 510s | 21 | 1233231 | 1192345 | 3445 677 | 0 | 0 514.81/514.98 c 512s | 21 | 1237151 | 1196245 | 3445 679 | 0 | 0 516.91/517.00 c 515s | 21 | 1241269 | 1200345 | 3445 681 | 0 | 0 518.91/519.03 c 517s | 21 | 1245891 | 1204945 | 3445 683 | 0 | 0 520.90/521.08 c 519s | 21 | 1250329 | 1209345 | 3445 686 | 0 | 0 523.00/523.10 c 521s | 21 | 1254737 | 1213745 | 3445 688 | 0 | 0 525.01/525.12 c 523s | 21 | 1259060 | 1218045 | 3445 690 | 0 | 0 527.01/527.16 c 525s | 21 | 1263159 | 1222145 | 3445 692 | 0 | 0 529.02/529.18 c 527s | 21 | 1267691 | 1226645 | 3445 694 | 0 | 0 531.01/531.18 c 529s | 21 | 1272014 | 1230945 | 3445 696 | 0 | 0 533.11/533.22 c 531s | 21 | 1276782 | 1235645 | 3445 698 | 0 | 0 535.11/535.24 c 533s | 21 | 1281106 | 1239945 | 3445 700 | 0 | 0 537.21/537.32 c 535s | 21 | 1285329 | 1244145 | 3445 702 | 0 | 0 539.21/539.32 c 537s | 21 | 1289645 | 1248445 | 3445 704 | 0 | 0 541.22/541.36 c 539s | 21 | 1293954 | 1252745 | 3445 706 | 0 | 0 543.21/543.40 c 541s | 21 | 1298092 | 1256845 | 3445 708 | 0 | 0 545.31/545.41 c 543s | 21 | 1302632 | 1261345 | 3445 710 | 0 | 0 547.31/547.44 c 545s | 21 | 1306536 | 1265245 | 3445 712 | 0 | 0 549.31/549.44 c 547s | 21 | 1310555 | 1269245 | 3445 714 | 0 | 0 551.31/551.45 c 549s | 21 | 1315351 | 1273845 | 3445 716 | 0 | 0 553.31/553.45 c 551s | 21 | 1319924 | 1278245 | 3445 718 | 0 | 0 555.31/555.49 c 553s | 21 | 1324319 | 1282545 | 3445 720 | 0 | 0 557.41/557.52 c 555s | 21 | 1328728 | 1286845 | 3445 722 | 0 | 0 559.41/559.59 c 557s | 21 | 1333200 | 1291245 | 3445 725 | 0 | 0 561.51/561.60 c 559s | 21 | 1337767 | 1295745 | 3445 727 | 0 | 0 563.51/563.64 c 561s | 21 | 1341888 | 1299845 | 3445 729 | 0 | 0 565.51/565.65 c 563s | 21 | 1345994 | 1303945 | 3445 731 | 0 | 0 567.51/567.67 c 565s | 21 | 1350120 | 1308045 | 3445 733 | 0 | 0 569.71/569.83 c 567s | 21 | 1354242 | 1312145 | 3445 735 | 0 | 0 571.70/571.84 c 569s | 21 | 1358505 | 1316345 | 3445 737 | 0 | 0 573.70/573.85 c 571s | 21 | 1362990 | 1320745 | 3445 739 | 0 | 0 575.70/575.88 c 573s | 21 | 1367336 | 1324945 | 3445 741 | 0 | 0 577.80/577.91 c 575s | 21 | 1371347 | 1328945 | 3445 743 | 0 | 0 579.80/579.93 c 577s | 21 | 1375600 | 1333145 | 3445 745 | 0 | 0 581.81/581.95 c 579s | 21 | 1379772 | 1337245 | 3445 747 | 0 | 0 583.80/583.99 c 581s | 21 | 1383915 | 1341345 | 3445 748 | 0 | 0 585.90/586.08 c 584s | 21 | 1387833 | 1345245 | 3445 750 | 0 | 0 588.00/588.12 c 586s | 21 | 1392096 | 1349445 | 3445 752 | 0 | 0 590.00/590.16 c 588s | 21 | 1396227 | 1353545 | 3445 754 | 0 | 0 592.00/592.16 c 590s | 21 | 1400231 | 1357545 | 3445 756 | 0 | 0 594.10/594.20 c 592s | 21 | 1404354 | 1361645 | 3445 758 | 0 | 0 596.11/596.23 c 594s | 21 | 1408466 | 1365745 | 3445 760 | 0 | 0 598.10/598.29 c 596s | 21 | 1412777 | 1370045 | 3445 762 | 0 | 0 600.20/600.32 c 598s | 21 | 1416889 | 1374145 | 3445 764 | 0 | 0 602.20/602.33 c 600s | 21 | 1420805 | 1378045 | 3445 766 | 0 | 0 604.20/604.37 c 602s | 21 | 1425024 | 1382245 | 3445 768 | 0 | 0 606.30/606.40 c 604s | 21 | 1429352 | 1386545 | 3445 770 | 0 | 0 608.30/608.41 c 606s | 21 | 1433261 | 1390445 | 3445 772 | 0 | 0 610.29/610.45 c 608s | 21 | 1437166 | 1394345 | 3445 774 | 0 | 0 612.29/612.47 c 610s | 21 | 1441087 | 1398245 | 3445 776 | 0 | 0 614.39/614.50 c 612s | 21 | 1445201 | 1402345 | 3445 778 | 0 | 0 616.39/616.53 c 614s | 21 | 1449285 | 1406345 | 3445 779 | 0 | 0 618.39/618.53 c 616s | 21 | 1453559 | 1410545 | 3445 781 | 0 | 0 620.40/620.54 c 618s | 21 | 1457837 | 1414745 | 3445 783 | 0 | 0 622.50/622.60 c 620s | 21 | 1462169 | 1419045 | 3445 786 | 0 | 0 624.49/624.62 c 622s | 21 | 1466204 | 1423045 | 3445 787 | 0 | 0 626.49/626.64 c 624s | 21 | 1470148 | 1426945 | 3445 789 | 0 | 0 628.49/628.65 c 626s | 21 | 1474654 | 1431345 | 3445 791 | 0 | 0 630.49/630.68 c 628s | 21 | 1478992 | 1435645 | 3445 793 | 0 | 0 632.59/632.75 c 630s | 21 | 1483527 | 1439945 | 3445 796 | 0 | 0 634.60/634.79 c 632s | 21 | 1487792 | 1444145 | 3445 798 | 0 | 0 636.69/636.81 c 634s | 21 | 1492078 | 1448345 | 3445 800 | 0 | 0 638.69/638.82 c 636s | 21 | 1496228 | 1452445 | 3445 801 | 0 | 0 640.69/640.87 c 638s | 21 | 1500316 | 1456445 | 3445 803 | 0 | 0 642.79/642.90 c 640s | 21 | 1504547 | 1460645 | 3445 805 | 0 | 0 644.79/644.90 c 642s | 21 | 1508597 | 1464645 | 3445 807 | 0 | 0 646.79/646.91 c 644s | 21 | 1512651 | 1468645 | 3445 809 | 0 | 0 648.79/648.93 c 646s | 21 | 1516676 | 1472545 | 3445 811 | 0 | 0 650.79/650.95 c 648s | 21 | 1520457 | 1476245 | 3445 813 | 0 | 0 652.79/652.96 c 650s | 21 | 1524586 | 1480345 | 3445 815 | 0 | 0 654.79/654.96 c 652s | 21 | 1528424 | 1484145 | 3445 817 | 0 | 0 656.79/656.98 c 654s | 21 | 1532589 | 1488245 | 3790 818 | 0 | 0 658.90/659.01 c 657s | 21 | 1536585 | 1492145 | 3790 820 | 0 | 0 660.89/661.03 c 659s | 21 | 1540901 | 1496345 | 3790 822 | 0 | 0 662.89/663.04 c 661s | 22 | 1545246 | 1500622 | 3790 824 | 0 | 0 664.89/665.08 c 663s | 22 | 1550968 | 1505622 | 3790 826 | 0 | 0 666.89/667.08 c 665s | 22 | 1555479 | 1510122 | 3790 828 | 0 | 0 668.89/669.09 c 667s | 22 | 1560256 | 1514822 | 3790 830 | 0 | 0 671.00/671.12 c 669s | 22 | 1564791 | 1519322 | 3790 832 | 0 | 0 672.99/673.13 c 671s | 22 | 1569322 | 1523822 | 3790 834 | 0 | 0 674.99/675.15 c 673s | 22 | 1573641 | 1528122 | 3790 836 | 0 | 0 676.99/677.16 c 675s | 22 | 1579858 | 1533922 | 3790 838 | 0 | 0 678.99/679.16 c 677s | 22 | 1584752 | 1538722 | 3790 841 | 0 | 0 680.99/681.18 c 679s | 22 | 1589548 | 1543222 | 3790 843 | 0 | 0 683.10/683.22 c 681s | 22 | 1593601 | 1547222 | 3790 844 | 0 | 0 685.20/685.31 c 683s | 22 | 1597384 | 1550922 | 3790 846 | 0 | 0 687.19/687.36 c 685s | 22 | 1601125 | 1554622 | 3790 848 | 0 | 0 689.19/689.36 c 687s | 22 | 1604958 | 1558322 | 3790 849 | 0 | 0 691.18/691.36 c 689s | 22 | 1609395 | 1562622 | 3790 851 | 0 | 0 693.18/693.38 c 691s | 22 | 1615560 | 1568222 | 3790 854 | 0 | 0 695.19/695.39 c 693s | 22 | 1621416 | 1573522 | 3790 856 | 0 | 0 697.18/697.39 c 695s | 22 | 1625904 | 1577922 | 3790 858 | 0 | 0 699.28/699.44 c 697s | 22 | 1630427 | 1582322 | 3790 859 | 0 | 0 701.28/701.49 c 699s | 22 | 1634606 | 1586422 | 3790 861 | 0 | 0 703.38/703.52 c 701s | 22 | 1639036 | 1590722 | 3790 863 | 0 | 0 705.38/705.53 c 703s | 22 | 1643132 | 1594722 | 3790 865 | 0 | 0 707.38/707.56 c 705s | 22 | 1647230 | 1598722 | 3790 866 | 0 | 0 709.39/709.58 c 707s | 22 | 1651116 | 1602522 | 3790 868 | 0 | 0 711.48/711.63 c 709s | 22 | 1655190 | 1606522 | 3790 870 | 0 | 0 713.48/713.67 c 711s | 22 | 1659616 | 1610822 | 3790 871 | 0 | 0 715.58/715.71 c 713s | 22 | 1664215 | 1615222 | 3790 873 | 0 | 0 717.58/717.74 c 715s | 22 | 1668550 | 1619522 | 3790 875 | 0 | 0 719.58/719.77 c 717s | 22 | 1672803 | 1623722 | 3790 877 | 0 | 0 721.59/721.77 c 719s | 22 | 1676523 | 1627422 | 3790 879 | 0 | 0 723.58/723.78 c 721s | 22 | 1680782 | 1631622 | 3790 880 | 0 | 0 725.68/725.80 c 723s | 22 | 1684639 | 1635422 | 3790 882 | 0 | 0 727.68/727.81 c 725s | 22 | 1689756 | 1640122 | 3790 884 | 0 | 0 729.68/729.82 c 727s | 22 | 1693385 | 1643722 | 3790 886 | 0 | 0 731.68/731.87 c 729s | 22 | 1697345 | 1647622 | 3790 887 | 0 | 0 733.68/733.88 c 731s | 22 | 1701070 | 1651322 | 3790 889 | 0 | 0 735.78/735.92 c 733s | 22 | 1704896 | 1655122 | 3790 890 | 0 | 0 737.77/737.95 c 735s | 22 | 1708708 | 1658922 | 3790 892 | 0 | 0 739.87/740.02 c 738s | 22 | 1712441 | 1662622 | 3790 894 | 0 | 0 741.87/742.05 c 740s | 22 | 1716351 | 1666522 | 3790 895 | 0 | 0 743.87/744.08 c 742s | 22 | 1720380 | 1670522 | 3790 897 | 0 | 0 745.97/746.11 c 744s | 22 | 1724000 | 1674122 | 3790 899 | 0 | 0 747.98/748.12 c 746s | 22 | 1727821 | 1677922 | 3790 900 | 0 | 0 749.97/750.13 c 748s | 22 | 1731537 | 1681622 | 3790 902 | 0 | 0 751.97/752.14 c 750s | 22 | 1735258 | 1685322 | 3790 903 | 0 | 0 753.97/754.17 c 752s | 22 | 1738971 | 1689022 | 3790 905 | 0 | 0 756.07/756.21 c 754s | 22 | 1742712 | 1692722 | 3790 907 | 0 | 0 758.07/758.25 c 756s | 22 | 1746628 | 1696622 | 3790 908 | 0 | 0 760.08/760.29 c 758s | 22 | 1750146 | 1700122 | 3790 910 | 0 | 0 762.17/762.33 c 760s | 22 | 1753859 | 1703822 | 3790 911 | 0 | 0 764.18/764.36 c 762s | 22 | 1757678 | 1707622 | 3790 913 | 0 | 0 766.28/766.41 c 764s | 22 | 1761596 | 1711522 | 3790 915 | 0 | 0 768.28/768.42 c 766s | 22 | 1765317 | 1715222 | 3790 916 | 0 | 0 770.27/770.45 c 768s | 22 | 1769037 | 1718922 | 3790 918 | 0 | 0 772.37/772.50 c 770s | 22 | 1772752 | 1722622 | 3790 920 | 0 | 0 774.38/774.54 c 772s | 22 | 1776563 | 1726422 | 3790 921 | 0 | 0 776.37/776.55 c 774s | 22 | 1780284 | 1730122 | 3790 923 | 0 | 0 778.47/778.60 c 776s | 22 | 1784303 | 1734122 | 3790 924 | 0 | 0 780.47/780.62 c 778s | 22 | 1788642 | 1738422 | 3790 926 | 0 | 0 782.47/782.66 c 780s | 22 | 1792964 | 1742722 | 3790 928 | 0 | 0 784.47/784.69 c 782s | 22 | 1797384 | 1747122 | 3790 930 | 0 | 0 786.57/786.73 c 784s | 22 | 1801591 | 1751322 | 3790 932 | 0 | 0 788.58/788.73 c 786s | 22 | 1805713 | 1755422 | 3790 934 | 0 | 0 790.57/790.74 c 788s | 22 | 1809831 | 1759522 | 3790 935 | 0 | 0 792.57/792.74 c 790s | 22 | 1813753 | 1763422 | 3790 937 | 0 | 0 794.57/794.77 c 792s | 22 | 1818070 | 1767722 | 3790 939 | 0 | 0 796.57/796.79 c 794s | 22 | 1822290 | 1771922 | 3790 941 | 0 | 0 798.67/798.82 c 796s | 22 | 1826325 | 1775922 | 3790 942 | 0 | 0 800.67/800.86 c 798s | 22 | 1830449 | 1780022 | 3790 944 | 0 | 0 802.67/802.86 c 800s | 22 | 1834586 | 1784122 | 3790 946 | 0 | 0 804.67/804.89 c 802s | 22 | 1838610 | 1788122 | 3790 948 | 0 | 0 806.77/806.92 c 804s | 22 | 1842735 | 1792222 | 3790 949 | 0 | 0 808.77/808.94 c 806s | 22 | 1846854 | 1796322 | 3790 951 | 0 | 0 810.76/810.99 c 808s | 22 | 1851080 | 1800522 | 3790 953 | 0 | 0 812.87/813.01 c 811s | 22 | 1855311 | 1804722 | 3790 955 | 0 | 0 814.86/815.03 c 813s | 22 | 1859335 | 1808722 | 3790 957 | 0 | 0 816.86/817.08 c 815s | 22 | 1863358 | 1812722 | 3790 958 | 0 | 0 818.96/819.10 c 817s | 22 | 1867577 | 1816922 | 3790 960 | 0 | 0 820.96/821.14 c 819s | 22 | 1871703 | 1821022 | 3790 962 | 0 | 0 822.96/823.17 c 821s | 22 | 1875611 | 1824922 | 3790 964 | 0 | 0 825.06/825.22 c 823s | 22 | 1879924 | 1829222 | 3790 965 | 0 | 0 827.07/827.23 c 825s | 22 | 1884055 | 1833322 | 3790 967 | 0 | 0 829.06/829.26 c 827s | 22 | 1887990 | 1837222 | 3790 969 | 0 | 0 831.16/831.34 c 829s | 22 | 1891869 | 1841022 | 3790 971 | 0 | 0 833.16/833.38 c 831s | 22 | 1896144 | 1845222 | 3790 972 | 0 | 0 835.16/835.39 c 833s | 22 | 1900470 | 1849522 | 3790 974 | 0 | 0 837.26/837.42 c 835s | 22 | 1904789 | 1853822 | 3790 976 | 0 | 0 839.27/839.43 c 837s | 22 | 1908812 | 1857822 | 3790 978 | 0 | 0 841.26/841.47 c 839s | 22 | 1912832 | 1861822 | 3790 979 | 0 | 0 843.26/843.47 c 841s | 22 | 1917618 | 1866422 | 3790 981 | 0 | 0 845.26/845.49 c 843s | 22 | 1922064 | 1870822 | 3790 983 | 0 | 0 847.36/847.52 c 845s | 22 | 1926288 | 1875022 | 3790 985 | 0 | 0 849.36/849.54 c 847s | 22 | 1930613 | 1879322 | 3790 987 | 0 | 0 851.36/851.58 c 849s | 22 | 1935245 | 1883922 | 3790 989 | 0 | 0 853.46/853.61 c 851s | 22 | 1939689 | 1888322 | 3790 991 | 0 | 0 855.46/855.64 c 853s | 22 | 1943612 | 1892222 | 3790 992 | 0 | 0 857.45/857.67 c 855s | 22 | 1947742 | 1896322 | 3790 994 | 0 | 0 859.55/859.72 c 857s | 22 | 1951770 | 1900322 | 3790 996 | 0 | 0 861.55/861.74 c 859s | 22 | 1955837 | 1904322 | 3790 998 | 0 | 0 863.55/863.75 c 861s | 22 | 1959772 | 1908222 | 3790 999 | 0 | 0 865.56/865.77 c 863s | 22 | 1963576 | 1912022 | 3790 1001 | 0 | 0 867.65/867.80 c 865s | 22 | 1967833 | 1916222 | 3790 1003 | 0 | 0 869.65/869.82 c 867s | 22 | 1971949 | 1920322 | 3790 1004 | 0 | 0 871.66/871.83 c 869s | 22 | 1976078 | 1924422 | 3790 1006 | 0 | 0 873.66/873.86 c 871s | 22 | 1980197 | 1928522 | 3790 1008 | 0 | 0 875.76/875.92 c 873s | 22 | 1984332 | 1932622 | 3790 1010 | 0 | 0 877.76/877.97 c 875s | 22 | 1988302 | 1936522 | 3790 1011 | 0 | 0 879.76/879.97 c 877s | 22 | 1992177 | 1940322 | 3790 1013 | 0 | 0 881.86/882.01 c 880s | 22 | 1995950 | 1944022 | 3790 1015 | 0 | 0 883.86/884.03 c 882s | 22 | 1999770 | 1947722 | 3790 1016 | 0 | 0 885.86/886.03 c 884s | 22 | 2003920 | 1951622 | 3790 1018 | 0 | 0 887.96/888.10 c 886s | 22 | 2007819 | 1955422 | 3790 1020 | 0 | 0 889.95/890.12 c 888s | 22 | 2011824 | 1959222 | 3790 1021 | 0 | 0 891.96/892.13 c 890s | 22 | 2015745 | 1963022 | 3790 1023 | 0 | 0 893.95/894.19 c 892s | 22 | 2019909 | 1967022 | 3790 1025 | 0 | 0 896.05/896.24 c 894s | 22 | 2024115 | 1971022 | 3790 1026 | 0 | 0 898.05/898.24 c 896s | 22 | 2027616 | 1974422 | 3790 1028 | 0 | 0 900.05/900.24 c 898s | 22 | 2031281 | 1978022 | 3790 1029 | 0 | 0 902.05/902.29 c 900s | 22 | 2035327 | 1982022 | 3790 1031 | 0 | 0 904.16/904.31 c 902s | 22 | 2039272 | 1985922 | 3790 1033 | 0 | 0 906.15/906.33 c 904s | 22 | 2043011 | 1989622 | 3790 1034 | 0 | 0 908.15/908.34 c 906s | 22 | 2046431 | 1993022 | 3790 1036 | 0 | 0 910.15/910.34 c 908s | 22 | 2050163 | 1996722 | 3790 1037 | 0 | 0 912.15/912.35 c 910s | 22 | 2054161 | 2000622 | 3790 1039 | 0 | 0 914.15/914.37 c 912s | 22 | 2058403 | 2004822 | 3790 1041 | 0 | 0 916.16/916.40 c 914s | 22 | 2062442 | 2008822 | 3790 1042 | 0 | 0 918.25/918.43 c 916s | 22 | 2066179 | 2012522 | 3790 1044 | 0 | 0 920.25/920.45 c 918s | 22 | 2070202 | 2016522 | 3790 1046 | 0 | 0 922.25/922.49 c 920s | 22 | 2074142 | 2020422 | 3790 1047 | 0 | 0 924.35/924.51 c 922s | 22 | 2078364 | 2024622 | 3790 1049 | 0 | 0 926.35/926.51 c 924s | 22 | 2082079 | 2028322 | 3790 1051 | 0 | 0 928.35/928.53 c 926s | 22 | 2086099 | 2032322 | 3790 1053 | 0 | 0 930.35/930.53 c 928s | 22 | 2090321 | 2036522 | 3790 1054 | 0 | 0 932.35/932.56 c 930s | 22 | 2094532 | 2040722 | 3790 1056 | 0 | 0 934.35/934.60 c 932s | 22 | 2098251 | 2044422 | 3790 1058 | 0 | 0 936.45/936.63 c 934s | 22 | 2101684 | 2047822 | 3790 1059 | 0 | 0 938.45/938.64 c 936s | 22 | 2105508 | 2051522 | 3790 1061 | 0 | 0 940.54/940.70 c 938s | 22 | 2109703 | 2055622 | 3790 1063 | 0 | 0 942.55/942.74 c 940s | 22 | 2113934 | 2059622 | 3790 1064 | 0 | 0 944.54/944.78 c 942s | 22 | 2117992 | 2063522 | 3790 1066 | 0 | 0 946.54/946.78 c 944s | 22 | 2121965 | 2067322 | 3790 1068 | 0 | 0 948.64/948.80 c 946s | 22 | 2126073 | 2071322 | 3790 1069 | 0 | 0 950.64/950.83 c 948s | 22 | 2130239 | 2075322 | 3790 1071 | 0 | 0 952.64/952.88 c 950s | 22 | 2134289 | 2079222 | 3790 1073 | 0 | 0 954.75/954.92 c 952s | 22 | 2138434 | 2083222 | 3790 1074 | 0 | 0 956.74/956.94 c 954s | 22 | 2142144 | 2086822 | 3790 1076 | 0 | 0 958.74/958.98 c 956s | 22 | 2146251 | 2090822 | 3790 1078 | 0 | 0 960.84/961.07 c 959s | 22 | 2150111 | 2094622 | 3790 1079 | 0 | 0 962.84/963.08 c 961s | 22 | 2153853 | 2098322 | 3790 1081 | 0 | 0 964.84/965.08 c 963s | 22 | 2157683 | 2102122 | 3790 1082 | 0 | 0 966.94/967.12 c 965s | 22 | 2161528 | 2105922 | 3790 1084 | 0 | 0 968.95/969.17 c 967s | 22 | 2165676 | 2110022 | 3790 1086 | 0 | 0 971.04/971.20 c 969s | 22 | 2169628 | 2113922 | 3790 1088 | 0 | 0 973.04/973.21 c 971s | 22 | 2173597 | 2117722 | 3790 1089 | 0 | 0 975.04/975.23 c 973s | 22 | 2177727 | 2121822 | 3790 1091 | 0 | 0 977.04/977.26 c 975s | 22 | 2182351 | 2126422 | 3790 1093 | 0 | 0 979.04/979.30 c 977s | 22 | 2186882 | 2130922 | 3790 1095 | 0 | 0 981.14/981.33 c 979s | 22 | 2191411 | 2135422 | 3790 1097 | 0 | 0 983.13/983.34 c 981s | 22 | 2195541 | 2139522 | 3790 1099 | 0 | 0 985.13/985.39 c 983s | 22 | 2200181 | 2144122 | 3790 1100 | 0 | 0 987.23/987.40 c 985s | 22 | 2204495 | 2148422 | 3790 1102 | 0 | 0 989.23/989.45 c 987s | 22 | 2209124 | 2153022 | 3790 1104 | 0 | 0 991.23/991.47 c 989s | 22 | 2213596 | 2157422 | 3790 1106 | 0 | 0 993.33/993.51 c 991s | 22 | 2217310 | 2161122 | 3790 1108 | 0 | 0 995.34/995.52 c 993s | 22 | 2221627 | 2165422 | 3790 1110 | 0 | 0 997.33/997.55 c 995s | 22 | 2226054 | 2169822 | 3790 1112 | 0 | 0 999.34/999.55 c 997s | 22 | 2230374 | 2174122 | 3790 1113 | 0 | 0 1001.34/1001.58 c 999s | 22 | 2234776 | 2178422 | 3790 1115 | 0 | 0 1003.44/1003.61 c 1001s | 22 | 2239030 | 2182622 | 3790 1117 | 0 | 0 1005.44/1005.66 c 1003s | 22 | 2242919 | 2186422 | 3790 1119 | 0 | 0 1007.44/1007.66 c 1005s | 22 | 2247008 | 2190422 | 3790 1120 | 0 | 0 1009.54/1009.70 c 1007s | 22 | 2250983 | 2194322 | 3790 1122 | 0 | 0 1011.54/1011.74 c 1009s | 22 | 2254858 | 2198122 | 3790 1124 | 0 | 0 1013.54/1013.76 c 1011s | 22 | 2258799 | 2202022 | 3790 1125 | 0 | 0 1015.63/1015.86 c 1013s | 22 | 2262606 | 2205722 | 3790 1127 | 0 | 0 1017.63/1017.89 c 1015s | 22 | 2266842 | 2209922 | 3790 1129 | 0 | 0 1019.64/1019.89 c 1017s | 22 | 2270762 | 2213822 | 3790 1130 | 0 | 0 1021.74/1021.92 c 1019s | 22 | 2274664 | 2217622 | 3790 1132 | 0 | 0 1023.73/1023.92 c 1021s | 22 | 2278462 | 2221322 | 3790 1134 | 0 | 0 1025.73/1025.95 c 1023s | 22 | 2282420 | 2225222 | 3790 1135 | 0 | 0 1027.73/1027.95 c 1025s | 22 | 2286462 | 2229222 | 3790 1137 | 0 | 0 1029.73/1029.98 c 1027s | 22 | 2290589 | 2233322 | 4169 1139 | 0 | 0 1031.83/1032.02 c 1030s | 22 | 2294418 | 2237122 | 4169 1140 | 0 | 0 1033.84/1034.04 c 1032s | 22 | 2297989 | 2240622 | 4169 1141 | 0 | 0 1035.83/1036.07 c 1034s | 22 | 2301617 | 2244222 | 4169 1143 | 0 | 0 1037.93/1038.14 c 1036s | 22 | 2305501 | 2248022 | 4169 1144 | 0 | 0 1039.53/1039.76 c 1037s | 23 | 2308573 | 2251038 | 4169 1146 | 0 | 0 1041.54/1041.78 c 1039s | 23 | 2315699 | 2256838 | 4169 1148 | 0 | 0 1043.53/1043.79 c 1041s | 23 | 2320711 | 2261738 | 4169 1150 | 0 | 0 1045.53/1045.79 c 1043s | 23 | 2325093 | 2265938 | 4169 1152 | 0 | 0 1047.63/1047.80 c 1045s | 23 | 2330026 | 2270738 | 4169 1154 | 0 | 0 1049.63/1049.82 c 1047s | 23 | 2334450 | 2275138 | 4169 1155 | 0 | 0 1051.63/1051.85 c 1049s | 23 | 2338798 | 2279438 | 4169 1157 | 0 | 0 1053.63/1053.88 c 1051s | 23 | 2343986 | 2284338 | 4169 1159 | 0 | 0 1055.63/1055.89 c 1053s | 23 | 2348299 | 2288538 | 4169 1161 | 0 | 0 1057.73/1057.93 c 1055s | 23 | 2352784 | 2292938 | 4169 1163 | 0 | 0 1059.73/1059.95 c 1057s | 23 | 2357198 | 2297338 | 4169 1164 | 0 | 0 1061.83/1062.00 c 1060s | 23 | 2361422 | 2301538 | 4169 1166 | 0 | 0 1063.83/1064.01 c 1062s | 23 | 2365872 | 2305938 | 4169 1168 | 0 | 0 1065.83/1066.03 c 1064s | 23 | 2370102 | 2310138 | 4169 1170 | 0 | 0 1067.82/1068.05 c 1066s | 23 | 2374238 | 2314238 | 4169 1171 | 0 | 0 1069.82/1070.07 c 1068s | 23 | 2378427 | 2318338 | 4169 1173 | 0 | 0 1071.82/1072.09 c 1070s | 23 | 2382775 | 2322638 | 4169 1175 | 0 | 0 1073.92/1074.12 c 1072s | 23 | 2387177 | 2326938 | 4169 1177 | 0 | 0 1075.92/1076.12 c 1074s | 23 | 2391839 | 2331538 | 4169 1178 | 0 | 0 1077.93/1078.13 c 1076s | 23 | 2396394 | 2336038 | 4169 1180 | 0 | 0 1079.92/1080.16 c 1078s | 23 | 2402769 | 2341338 | 4169 1182 | 0 | 0 1081.92/1082.16 c 1080s | 23 | 2408721 | 2346638 | 4169 1184 | 0 | 0 1084.02/1084.21 c 1082s | 23 | 2412596 | 2350438 | 4169 1186 | 0 | 0 1086.02/1086.23 c 1084s | 23 | 2416335 | 2354138 | 4169 1187 | 0 | 0 1088.02/1088.24 c 1086s | 23 | 2419463 | 2357238 | 4169 1189 | 0 | 0 1090.03/1090.27 c 1088s | 23 | 2423495 | 2361238 | 4169 1190 | 0 | 0 1092.02/1092.30 c 1090s | 23 | 2427239 | 2364938 | 4169 1192 | 0 | 0 1094.12/1094.34 c 1092s | 23 | 2430780 | 2368438 | 4169 1193 | 0 | 0 1096.12/1096.34 c 1094s | 23 | 2434132 | 2371738 | 4169 1195 | 0 | 0 1098.12/1098.37 c 1096s | 23 | 2437790 | 2375338 | 4169 1196 | 0 | 0 1100.12/1100.37 c 1098s | 23 | 2441137 | 2378638 | 4169 1197 | 0 | 0 1102.22/1102.42 c 1100s | 23 | 2444895 | 2382338 | 4169 1199 | 0 | 0 1104.22/1104.48 c 1102s | 23 | 2448821 | 2386238 | 4169 1200 | 0 | 0 1106.32/1106.52 c 1104s | 23 | 2452817 | 2390138 | 4169 1202 | 0 | 0 1108.32/1108.56 c 1106s | 23 | 2456590 | 2393838 | 4169 1203 | 0 | 0 1110.32/1110.59 c 1108s | 23 | 2460137 | 2397338 | 4169 1205 | 0 | 0 1112.41/1112.61 c 1110s | 23 | 2463771 | 2400938 | 4169 1206 | 0 | 0 1114.51/1114.73 c 1112s | 23 | 2467518 | 2404638 | 4169 1208 | 0 | 0 1116.51/1116.78 c 1114s | 23 | 2470935 | 2408038 | 4169 1209 | 0 | 0 1118.52/1118.80 c 1116s | 23 | 2474483 | 2411538 | 4169 1211 | 0 | 0 1120.61/1120.83 c 1118s | 23 | 2478255 | 2415238 | 4169 1212 | 0 | 0 1122.61/1122.84 c 1120s | 23 | 2481797 | 2418738 | 4169 1214 | 0 | 0 1124.61/1124.84 c 1122s | 23 | 2485118 | 2422038 | 4169 1215 | 0 | 0 1126.61/1126.88 c 1124s | 23 | 2488645 | 2425538 | 4169 1216 | 0 | 0 1128.61/1128.89 c 1126s | 23 | 2492172 | 2429038 | 4169 1218 | 0 | 0 1130.72/1130.94 c 1128s | 23 | 2495798 | 2432638 | 4169 1219 | 0 | 0 1132.72/1133.00 c 1131s | 23 | 2499213 | 2436038 | 4169 1221 | 0 | 0 1134.82/1135.01 c 1133s | 23 | 2502752 | 2439538 | 4169 1222 | 0 | 0 1136.82/1137.07 c 1135s | 23 | 2506730 | 2443438 | 4169 1224 | 0 | 0 1138.92/1139.10 c 1137s | 23 | 2510466 | 2447138 | 4169 1225 | 0 | 0 1140.92/1141.13 c 1139s | 23 | 2514106 | 2450738 | 4169 1226 | 0 | 0 1142.92/1143.13 c 1141s | 23 | 2517868 | 2454438 | 4169 1228 | 0 | 0 1144.93/1145.16 c 1143s | 23 | 2521620 | 2458138 | 4169 1229 | 0 | 0 1146.92/1147.19 c 1145s | 23 | 2525281 | 2461738 | 4169 1231 | 0 | 0 1149.02/1149.24 c 1147s | 23 | 2529026 | 2465438 | 4169 1232 | 0 | 0 1151.02/1151.26 c 1149s | 23 | 2532688 | 2469038 | 4169 1234 | 0 | 0 1153.02/1153.27 c 1151s | 23 | 2535939 | 2472238 | 4169 1235 | 0 | 0 1155.02/1155.27 c 1153s | 23 | 2539419 | 2475638 | 4169 1237 | 0 | 0 1157.12/1157.30 c 1155s | 23 | 2542956 | 2479138 | 4169 1238 | 0 | 0 1159.11/1159.34 c 1157s | 23 | 2546598 | 2482738 | 4169 1239 | 0 | 0 1161.21/1161.40 c 1159s | 23 | 2550252 | 2486338 | 4169 1241 | 0 | 0 1163.21/1163.44 c 1161s | 23 | 2553915 | 2489938 | 4169 1242 | 0 | 0 1165.21/1165.46 c 1163s | 23 | 2557076 | 2493038 | 4169 1244 | 0 | 0 1167.21/1167.49 c 1165s | 23 | 2560723 | 2496638 | 4169 1245 | 0 | 0 1169.31/1169.54 c 1167s | 23 | 2563761 | 2499638 | 4169 1246 | 0 | 0 1171.32/1171.57 c 1169s | 23 | 2566806 | 2502638 | 4169 1247 | 0 | 0 1173.41/1173.61 c 1171s | 23 | 2570258 | 2506038 | 4169 1249 | 0 | 0 1175.41/1175.62 c 1173s | 23 | 2573692 | 2509438 | 4169 1250 | 0 | 0 1177.41/1177.65 c 1175s | 23 | 2577053 | 2512738 | 4169 1252 | 0 | 0 1179.41/1179.66 c 1177s | 23 | 2580581 | 2516238 | 4169 1253 | 0 | 0 1181.51/1181.72 c 1179s | 23 | 2583900 | 2519538 | 4169 1254 | 0 | 0 1183.52/1183.75 c 1181s | 23 | 2586920 | 2522538 | 4169 1256 | 0 | 0 1185.51/1185.77 c 1183s | 23 | 2590782 | 2526338 | 4169 1257 | 0 | 0 1187.61/1187.81 c 1185s | 23 | 2594335 | 2529838 | 4169 1258 | 0 | 0 1189.60/1189.82 c 1187s | 23 | 2597635 | 2533138 | 4169 1260 | 0 | 0 1191.60/1191.87 c 1189s | 23 | 2601495 | 2536938 | 4169 1261 | 0 | 0 1193.70/1193.92 c 1191s | 23 | 2605159 | 2540538 | 4169 1263 | 0 | 0 1195.70/1195.93 c 1193s | 23 | 2608502 | 2543838 | 4169 1264 | 0 | 0 1197.71/1197.95 c 1195s | 23 | 2612218 | 2547438 | 4169 1266 | 0 | 0 1199.80/1200.00 c 1198s | 23 | 2615865 | 2551038 | 4169 1267 | 0 | 0 1201.80/1202.01 c 1200s | 23 | 2619112 | 2554238 | 4169 1268 | 0 | 0 1203.80/1204.03 c 1202s | 23 | 2622457 | 2557538 | 4169 1270 | 0 | 0 1205.80/1206.05 c 1204s | 23 | 2626126 | 2561138 | 4169 1271 | 0 | 0 1207.80/1208.07 c 1206s | 23 | 2629357 | 2564338 | 4169 1272 | 0 | 0 1209.89/1210.12 c 1208s | 23 | 2632589 | 2567538 | 4169 1274 | 0 | 0 1211.89/1212.13 c 1210s | 23 | 2635874 | 2570738 | 4169 1275 | 0 | 0 1213.89/1214.14 c 1212s | 23 | 2639113 | 2573938 | 4169 1276 | 0 | 0 1215.89/1216.16 c 1214s | 23 | 2642560 | 2577338 | 4169 1278 | 0 | 0 1217.99/1218.21 c 1216s | 23 | 2645986 | 2580738 | 4169 1279 | 0 | 0 1219.98/1220.23 c 1218s | 23 | 2649109 | 2583838 | 4169 1280 | 0 | 0 1221.99/1222.28 c 1220s | 23 | 2652650 | 2587338 | 4169 1282 | 0 | 0 1224.09/1224.33 c 1222s | 23 | 2656092 | 2590738 | 4169 1283 | 0 | 0 1226.08/1226.34 c 1224s | 23 | 2659325 | 2593938 | 4169 1284 | 0 | 0 1228.08/1228.39 c 1226s | 23 | 2662663 | 2597238 | 4169 1286 | 0 | 0 1230.18/1230.41 c 1228s | 23 | 2666001 | 2600538 | 4169 1287 | 0 | 0 1232.18/1232.45 c 1230s | 23 | 2669438 | 2603938 | 4169 1288 | 0 | 0 1234.18/1234.46 c 1232s | 23 | 2672875 | 2607338 | 4169 1290 | 0 | 0 1236.29/1236.51 c 1234s | 23 | 2676302 | 2610738 | 4169 1291 | 0 | 0 1238.28/1238.56 c 1236s | 23 | 2679233 | 2613638 | 4169 1292 | 0 | 0 1240.38/1240.61 c 1238s | 23 | 2682671 | 2617038 | 4169 1294 | 0 | 0 1242.38/1242.62 c 1240s | 23 | 2686201 | 2620538 | 4169 1295 | 0 | 0 1244.38/1244.64 c 1242s | 23 | 2689641 | 2623938 | 4169 1297 | 0 | 0 1246.38/1246.66 c 1244s | 23 | 2692865 | 2627138 | 4169 1298 | 0 | 0 1248.48/1248.70 c 1246s | 23 | 2696211 | 2630438 | 4169 1299 | 0 | 0 1250.48/1250.77 c 1248s | 23 | 2699330 | 2633538 | 4169 1300 | 0 | 0 1252.57/1252.82 c 1250s | 23 | 2702541 | 2636738 | 4169 1302 | 0 | 0 1254.57/1254.86 c 1252s | 23 | 2706716 | 2640838 | 4169 1303 | 0 | 0 1256.67/1256.90 c 1254s | 23 | 2710793 | 2644838 | 4169 1305 | 0 | 0 1258.67/1258.93 c 1256s | 23 | 2714750 | 2648738 | 4169 1307 | 0 | 0 1260.66/1260.94 c 1258s | 23 | 2719006 | 2652938 | 4169 1308 | 0 | 0 1262.67/1262.99 c 1260s | 23 | 2723061 | 2656938 | 4169 1310 | 0 | 0 1264.77/1265.02 c 1263s | 23 | 2727102 | 2660938 | 4169 1312 | 0 | 0 1266.76/1267.07 c 1265s | 23 | 2730717 | 2664538 | 4169 1313 | 0 | 0 1268.76/1269.07 c 1267s | 23 | 2734456 | 2668238 | 4169 1315 | 0 | 0 1270.85/1271.12 c 1269s | 23 | 2737889 | 2671638 | 4169 1316 | 0 | 0 1272.85/1273.16 c 1271s | 23 | 2741633 | 2675338 | 4169 1317 | 0 | 0 1274.85/1275.16 c 1273s | 23 | 2745782 | 2679438 | 4169 1319 | 0 | 0 1276.86/1277.18 c 1275s | 23 | 2749531 | 2683138 | 4169 1321 | 0 | 0 1278.95/1279.22 c 1277s | 23 | 2753486 | 2687038 | 4169 1322 | 0 | 0 1280.95/1281.26 c 1279s | 23 | 2757448 | 2690938 | 4169 1324 | 0 | 0 1283.05/1283.32 c 1281s | 23 | 2761397 | 2694838 | 4169 1325 | 0 | 0 1285.05/1285.35 c 1283s | 23 | 2765251 | 2698638 | 4169 1327 | 0 | 0 1287.05/1287.36 c 1285s | 23 | 2769037 | 2702338 | 4169 1328 | 0 | 0 1289.06/1289.38 c 1287s | 23 | 2772895 | 2706138 | 4169 1330 | 0 | 0 1291.04/1291.39 c 1289s | 23 | 2776628 | 2709838 | 4169 1331 | 0 | 0 1293.14/1293.40 c 1291s | 23 | 2780397 | 2713438 | 4169 1333 | 0 | 0 1295.14/1295.49 c 1293s | 23 | 2784165 | 2717138 | 4169 1334 | 0 | 0 1297.24/1297.53 c 1295s | 23 | 2787427 | 2720338 | 4169 1336 | 0 | 0 1299.24/1299.53 c 1297s | 23 | 2790841 | 2723738 | 4169 1337 | 0 | 0 1301.24/1301.56 c 1299s | 23 | 2794464 | 2727338 | 4169 1338 | 0 | 0 1303.24/1303.56 c 1301s | 23 | 2798207 | 2731038 | 4169 1340 | 0 | 0 1305.24/1305.57 c 1303s | 23 | 2801653 | 2734438 | 4169 1341 | 0 | 0 1307.34/1307.61 c 1305s | 23 | 2805015 | 2737738 | 4169 1343 | 0 | 0 1309.35/1309.63 c 1307s | 23 | 2808768 | 2741438 | 4169 1344 | 0 | 0 1311.34/1311.65 c 1309s | 23 | 2812345 | 2744938 | 4169 1346 | 0 | 0 1313.44/1313.70 c 1311s | 23 | 2816329 | 2748838 | 4169 1347 | 0 | 0 1315.45/1315.71 c 1313s | 23 | 2819862 | 2752338 | 4169 1349 | 0 | 0 1317.44/1317.76 c 1315s | 23 | 2823131 | 2755538 | 4169 1350 | 0 | 0 1319.44/1319.78 c 1317s | 23 | 2826696 | 2759038 | 4169 1351 | 0 | 0 1321.54/1321.86 c 1319s | 23 | 2829968 | 2762238 | 4169 1353 | 0 | 0 1323.53/1323.89 c 1321s | 23 | 2833603 | 2765838 | 4169 1354 | 0 | 0 1325.63/1325.95 c 1323s | 23 | 2837060 | 2769238 | 4169 1355 | 0 | 0 1327.63/1327.98 c 1325s | 23 | 2840592 | 2772738 | 4169 1357 | 0 | 0 1329.74/1330.00 c 1328s | 23 | 2844147 | 2776238 | 4169 1358 | 0 | 0 1331.73/1332.08 c 1330s | 23 | 2847514 | 2779538 | 4169 1360 | 0 | 0 1333.83/1334.12 c 1332s | 23 | 2851168 | 2783138 | 4169 1361 | 0 | 0 1335.83/1336.13 c 1334s | 23 | 2854940 | 2786838 | 4169 1362 | 0 | 0 1337.83/1338.15 c 1336s | 23 | 2858493 | 2790338 | 4169 1364 | 0 | 0 1339.82/1340.16 c 1338s | 23 | 2861816 | 2793638 | 4169 1365 | 0 | 0 1341.92/1342.21 c 1340s | 23 | 2865466 | 2797238 | 4169 1367 | 0 | 0 1343.93/1344.23 c 1342s | 23 | 2868881 | 2800638 | 4169 1368 | 0 | 0 1345.92/1346.28 c 1344s | 23 | 2872525 | 2804238 | 4169 1370 | 0 | 0 1348.02/1348.30 c 1346s | 23 | 2876305 | 2807938 | 4169 1371 | 0 | 0 1350.02/1350.30 c 1348s | 23 | 2879754 | 2811338 | 4169 1372 | 0 | 0 1352.02/1352.33 c 1350s | 23 | 2883169 | 2814738 | 4169 1374 | 0 | 0 1354.02/1354.36 c 1352s | 23 | 2887228 | 2818738 | 4169 1375 | 0 | 0 1356.02/1356.39 c 1354s | 23 | 2891188 | 2822638 | 4169 1377 | 0 | 0 1358.01/1358.39 c 1356s | 23 | 2894831 | 2826238 | 4169 1378 | 0 | 0 1360.11/1360.44 c 1358s | 23 | 2898465 | 2829838 | 4169 1380 | 0 | 0 1362.11/1362.46 c 1360s | 23 | 2902413 | 2833738 | 4169 1381 | 0 | 0 1364.11/1364.46 c 1362s | 23 | 2905945 | 2837238 | 4169 1383 | 0 | 0 1366.21/1366.51 c 1364s | 23 | 2909377 | 2840638 | 4169 1384 | 0 | 0 1368.21/1368.51 c 1366s | 23 | 2912718 | 2843938 | 4169 1386 | 0 | 0 1370.20/1370.52 c 1368s | 23 | 2916263 | 2847438 | 4169 1387 | 0 | 0 1372.20/1372.55 c 1370s | 23 | 2919486 | 2850638 | 4169 1388 | 0 | 0 1374.20/1374.57 c 1372s | 23 | 2922814 | 2853938 | 4169 1390 | 0 | 0 1376.30/1376.62 c 1374s | 23 | 2926887 | 2857938 | 4169 1391 | 0 | 0 1378.30/1378.65 c 1376s | 23 | 2930446 | 2861438 | 4169 1393 | 0 | 0 1380.30/1380.66 c 1378s | 23 | 2933997 | 2864938 | 4169 1394 | 0 | 0 1382.40/1382.74 c 1380s | 23 | 2937633 | 2868538 | 4169 1396 | 0 | 0 1384.40/1384.77 c 1382s | 23 | 2941504 | 2872338 | 4169 1397 | 0 | 0 1386.50/1386.80 c 1384s | 23 | 2944929 | 2875738 | 4169 1398 | 0 | 0 1388.49/1388.84 c 1386s | 23 | 2948275 | 2879038 | 4169 1400 | 0 | 0 1390.49/1390.86 c 1388s | 23 | 2951916 | 2882638 | 4169 1401 | 0 | 0 1392.49/1392.87 c 1390s | 23 | 2955100 | 2885738 | 4169 1403 | 0 | 0 1394.50/1394.89 c 1392s | 23 | 2958857 | 2889438 | 4169 1404 | 0 | 0 1396.59/1396.90 c 1394s | 23 | 2962406 | 2892938 | 4169 1405 | 0 | 0 1398.59/1398.92 c 1396s | 23 | 2965673 | 2896138 | 4169 1407 | 0 | 0 1400.59/1400.94 c 1398s | 23 | 2969021 | 2899438 | 4169 1408 | 0 | 0 1402.58/1402.96 c 1400s | 23 | 2972365 | 2902738 | 4169 1409 | 0 | 0 1404.58/1404.97 c 1402s | 23 | 2975620 | 2905938 | 4169 1411 | 0 | 0 1406.59/1406.97 c 1404s | 23 | 2979169 | 2909438 | 4169 1412 | 0 | 0 1408.59/1408.97 c 1406s | 23 | 2982521 | 2912738 | 4169 1413 | 0 | 0 1410.69/1411.00 c 1409s | 23 | 2985547 | 2915738 | 4169 1415 | 0 | 0 1412.69/1413.04 c 1411s | 23 | 2988869 | 2919038 | 4169 1416 | 0 | 0 1414.78/1415.10 c 1413s | 23 | 2992098 | 2922238 | 4169 1417 | 0 | 0 1416.78/1417.13 c 1415s | 23 | 2995384 | 2925438 | 4169 1419 | 0 | 0 1418.79/1419.14 c 1417s | 23 | 2999019 | 2929038 | 4169 1420 | 0 | 0 1420.78/1421.18 c 1419s | 23 | 3002549 | 2932538 | 4169 1421 | 0 | 0 1422.88/1423.21 c 1421s | 23 | 3005795 | 2935738 | 4169 1423 | 0 | 0 1424.88/1425.24 c 1423s | 23 | 3009349 | 2939238 | 4169 1424 | 0 | 0 1426.88/1427.29 c 1425s | 23 | 3012708 | 2942538 | 4169 1426 | 0 | 0 1428.98/1429.30 c 1427s | 23 | 3015968 | 2945738 | 4169 1427 | 0 | 0 1430.98/1431.35 c 1429s | 23 | 3019286 | 2949038 | 4169 1428 | 0 | 0 1432.98/1433.39 c 1431s | 23 | 3022535 | 2952238 | 4169 1429 | 0 | 0 1435.08/1435.41 c 1433s | 23 | 3026067 | 2955738 | 4169 1431 | 0 | 0 1437.08/1437.46 c 1435s | 23 | 3029403 | 2959038 | 4169 1432 | 0 | 0 1439.18/1439.54 c 1437s | 23 | 3032848 | 2962438 | 4169 1434 | 0 | 0 1441.17/1441.58 c 1439s | 23 | 3036214 | 2965738 | 4169 1435 | 0 | 0 1443.27/1443.63 c 1441s | 23 | 3039441 | 2968938 | 4169 1436 | 0 | 0 1445.27/1445.66 c 1443s | 23 | 3042870 | 2972338 | 4169 1438 | 0 | 0 1447.28/1447.68 c 1445s | 23 | 3046103 | 2975538 | 4169 1439 | 0 | 0 1449.37/1449.72 c 1447s | 23 | 3049261 | 2978638 | 4169 1440 | 0 | 0 1451.37/1451.72 c 1449s | 23 | 3052494 | 2981838 | 4169 1441 | 0 | 0 1453.37/1453.76 c 1451s | 23 | 3055929 | 2985238 | 4169 1443 | 0 | 0 1455.37/1455.78 c 1453s | 23 | 3059425 | 2988638 | 4169 1444 | 0 | 0 1457.47/1457.83 c 1455s | 23 | 3062677 | 2991838 | 4169 1445 | 0 | 0 1459.47/1459.86 c 1457s | 23 | 3065898 | 2995038 | 4169 1447 | 0 | 0 1461.46/1461.88 c 1459s | 23 | 3069031 | 2998138 | 4169 1448 | 0 | 0 1463.56/1463.90 c 1461s | 23 | 3072170 | 3001238 | 4169 1449 | 0 | 0 1465.56/1465.91 c 1463s | 23 | 3075404 | 3004438 | 4169 1451 | 0 | 0 1467.56/1467.92 c 1465s | 23 | 3078948 | 3007938 | 4169 1452 | 0 | 0 1469.56/1469.95 c 1467s | 23 | 3083357 | 3012238 | 4169 1454 | 0 | 0 1471.66/1472.01 c 1470s | 23 | 3087613 | 3016438 | 4169 1455 | 0 | 0 1473.67/1474.01 c 1472s | 23 | 3091378 | 3020138 | 4169 1457 | 0 | 0 1475.66/1476.06 c 1474s | 23 | 3094605 | 3023338 | 4169 1458 | 0 | 0 1477.66/1478.07 c 1476s | 23 | 3098070 | 3026738 | 4169 1460 | 0 | 0 1479.65/1480.09 c 1478s | 23 | 3101614 | 3030138 | 4169 1461 | 0 | 0 1481.75/1482.17 c 1480s | 23 | 3105454 | 3033938 | 4169 1463 | 0 | 0 1483.75/1484.19 c 1482s | 23 | 3109344 | 3037738 | 4169 1464 | 0 | 0 1485.86/1486.23 c 1484s | 23 | 3113315 | 3041638 | 4169 1466 | 0 | 0 1487.85/1488.27 c 1486s | 23 | 3116568 | 3044838 | 4169 1467 | 0 | 0 1489.95/1490.31 c 1488s | 23 | 3120429 | 3048638 | 4169 1468 | 0 | 0 1491.95/1492.35 c 1490s | 23 | 3124275 | 3052438 | 4169 1470 | 0 | 0 1493.95/1494.39 c 1492s | 23 | 3128031 | 3056138 | 4169 1472 | 0 | 0 1496.05/1496.44 c 1494s | 23 | 3131769 | 3059838 | 4169 1473 | 0 | 0 1498.05/1498.47 c 1496s | 23 | 3135514 | 3063538 | 4169 1475 | 0 | 0 1500.15/1500.51 c 1498s | 23 | 3139456 | 3067438 | 4169 1476 | 0 | 0 1502.14/1502.57 c 1500s | 23 | 3143065 | 3071038 | 4169 1478 | 0 | 0 1504.14/1504.60 c 1502s | 23 | 3147126 | 3075038 | 4169 1479 | 0 | 0 1506.24/1506.61 c 1504s | 23 | 3150899 | 3078738 | 4169 1481 | 0 | 0 1508.24/1508.64 c 1506s | 23 | 3154777 | 3082538 | 4169 1482 | 0 | 0 1510.33/1510.73 c 1508s | 23 | 3158123 | 3085838 | 4169 1484 | 0 | 0 1512.33/1512.74 c 1510s | 23 | 3161435 | 3089138 | 4169 1485 | 0 | 0 1514.34/1514.77 c 1512s | 23 | 3165276 | 3092938 | 4169 1486 | 0 | 0 1516.43/1516.80 c 1514s | 23 | 3169056 | 3096638 | 4169 1488 | 0 | 0 1518.43/1518.85 c 1516s | 23 | 3172524 | 3100038 | 4169 1489 | 0 | 0 1520.42/1520.90 c 1518s | 23 | 3175872 | 3103338 | 4169 1491 | 0 | 0 1522.52/1522.90 c 1520s | 23 | 3179202 | 3106638 | 4169 1492 | 0 | 0 1524.52/1524.95 c 1522s | 23 | 3182833 | 3110238 | 4169 1493 | 0 | 0 1526.53/1526.95 c 1524s | 23 | 3186384 | 3113738 | 4169 1495 | 0 | 0 1528.63/1529.01 c 1527s | 23 | 3189829 | 3117138 | 4169 1496 | 0 | 0 1530.62/1531.07 c 1529s | 23 | 3193152 | 3120438 | 4169 1498 | 0 | 0 1532.62/1533.09 c 1531s | 23 | 3196592 | 3123838 | 4169 1499 | 0 | 0 1534.72/1535.12 c 1533s | 23 | 3200254 | 3127438 | 4169 1500 | 0 | 0 1536.72/1537.14 c 1535s | 23 | 3204132 | 3131238 | 4169 1502 | 0 | 0 1538.82/1539.20 c 1537s | 23 | 3207994 | 3135038 | 4169 1503 | 0 | 0 1540.82/1541.22 c 1539s | 23 | 3211577 | 3138538 | 4169 1505 | 0 | 0 1542.81/1543.26 c 1541s | 23 | 3215039 | 3141938 | 4169 1506 | 0 | 0 1544.91/1545.30 c 1543s | 23 | 3218400 | 3145238 | 4169 1508 | 0 | 0 1546.91/1547.35 c 1545s | 23 | 3222038 | 3148838 | 4169 1509 | 0 | 0 1549.01/1549.45 c 1547s | 23 | 3225580 | 3152338 | 4169 1510 | 0 | 0 1551.01/1551.47 c 1549s | 23 | 3229342 | 3156038 | 4169 1512 | 0 | 0 1553.01/1553.49 c 1551s | 23 | 3232705 | 3159338 | 4169 1513 | 0 | 0 1555.12/1555.55 c 1553s | 23 | 3236044 | 3162638 | 4169 1515 | 0 | 0 1557.11/1557.59 c 1555s | 23 | 3239780 | 3166338 | 4169 1516 | 0 | 0 1559.21/1559.64 c 1557s | 23 | 3243135 | 3169638 | 4169 1517 | 0 | 0 1561.20/1561.66 c 1559s | 23 | 3246483 | 3172938 | 4169 1519 | 0 | 0 1563.20/1563.67 c 1561s | 23 | 3250009 | 3176438 | 4169 1520 | 0 | 0 1565.30/1565.72 c 1563s | 23 | 3253435 | 3179838 | 4169 1522 | 0 | 0 1567.40/1567.81 c 1565s | 23 | 3256987 | 3183338 | 4169 1523 | 0 | 0 1569.41/1569.83 c 1567s | 23 | 3260437 | 3186738 | 4169 1524 | 0 | 0 1571.40/1571.90 c 1569s | 23 | 3263417 | 3189638 | 4169 1526 | 0 | 0 1573.50/1573.93 c 1571s | 23 | 3267694 | 3193838 | 4169 1527 | 0 | 0 1575.50/1575.98 c 1573s | 23 | 3271541 | 3197638 | 4169 1529 | 0 | 0 1577.50/1577.99 c 1575s | 23 | 3275188 | 3201238 | 4169 1530 | 0 | 0 1579.59/1580.03 c 1578s | 23 | 3278535 | 3204538 | 4169 1532 | 0 | 0 1581.59/1582.05 c 1580s | 23 | 3281776 | 3207738 | 4169 1533 | 0 | 0 1583.60/1584.09 c 1582s | 23 | 3285329 | 3211238 | 4169 1534 | 0 | 0 1585.69/1586.12 c 1584s | 23 | 3288899 | 3214738 | 4169 1536 | 0 | 0 1587.69/1588.16 c 1586s | 23 | 3292539 | 3218338 | 4169 1537 | 0 | 0 1589.79/1590.21 c 1588s | 23 | 3295991 | 3221738 | 4169 1539 | 0 | 0 1591.79/1592.21 c 1590s | 23 | 3299524 | 3225238 | 4169 1540 | 0 | 0 1593.79/1594.26 c 1592s | 23 | 3302767 | 3228438 | 4169 1541 | 0 | 0 1595.79/1596.26 c 1594s | 23 | 3306136 | 3231738 | 4169 1543 | 0 | 0 1597.79/1598.28 c 1596s | 23 | 3309771 | 3235338 | 4169 1544 | 0 | 0 1599.78/1600.28 c 1598s | 23 | 3313340 | 3238838 | 4169 1545 | 0 | 0 1601.88/1602.31 c 1600s | 23 | 3316490 | 3241938 | 4169 1547 | 0 | 0 1603.88/1604.33 c 1602s | 23 | 3319922 | 3245338 | 4169 1548 | 0 | 0 1605.88/1606.34 c 1604s | 23 | 3323141 | 3248438 | 4169 1549 | 0 | 0 1607.89/1608.35 c 1606s | 23 | 3326987 | 3252238 | 4169 1551 | 0 | 0 1609.87/1610.35 c 1608s | 23 | 3330640 | 3255838 | 4169 1552 | 0 | 0 1611.87/1612.38 c 1610s | 23 | 3334233 | 3259338 | 4169 1554 | 0 | 0 1613.97/1614.44 c 1612s | 23 | 3338096 | 3263138 | 4169 1555 | 0 | 0 1615.97/1616.49 c 1614s | 23 | 3341648 | 3266638 | 4169 1557 | 0 | 0 1618.07/1618.53 c 1616s | 23 | 3345715 | 3270638 | 4169 1558 | 0 | 0 1620.07/1620.54 c 1618s | 23 | 3349272 | 3274138 | 4169 1560 | 0 | 0 1622.07/1622.58 c 1620s | 23 | 3352834 | 3277638 | 4169 1561 | 0 | 0 1624.17/1624.61 c 1622s | 23 | 3356181 | 3280938 | 4169 1563 | 0 | 0 1626.17/1626.61 c 1624s | 23 | 3359721 | 3284438 | 4169 1564 | 0 | 0 1628.17/1628.63 c 1626s | 23 | 3363350 | 3288038 | 4169 1565 | 0 | 0 1630.16/1630.67 c 1628s | 23 | 3366676 | 3291338 | 4169 1567 | 0 | 0 1632.26/1632.77 c 1630s | 23 | 3370241 | 3294838 | 4169 1568 | 0 | 0 1634.36/1634.80 c 1632s | 23 | 3373803 | 3298338 | 4169 1570 | 0 | 0 1636.37/1636.80 c 1634s | 23 | 3377368 | 3301838 | 4169 1571 | 0 | 0 1638.37/1638.82 c 1636s | 23 | 3380718 | 3305138 | 4169 1572 | 0 | 0 1640.36/1640.87 c 1638s | 23 | 3383859 | 3308238 | 4169 1574 | 0 | 0 1642.46/1642.91 c 1640s | 23 | 3387097 | 3311438 | 4169 1575 | 0 | 0 1644.46/1644.91 c 1642s | 23 | 3390433 | 3314738 | 4169 1576 | 0 | 0 1646.56/1647.01 c 1645s | 23 | 3393676 | 3317938 | 4169 1578 | 0 | 0 1648.56/1649.03 c 1647s | 23 | 3396901 | 3321138 | 4169 1579 | 0 | 0 1650.55/1651.06 c 1649s | 23 | 3400343 | 3324538 | 4169 1580 | 0 | 0 1652.65/1653.13 c 1651s | 23 | 3403605 | 3327738 | 4169 1581 | 0 | 0 1654.65/1655.14 c 1653s | 23 | 3406625 | 3330738 | 4169 1583 | 0 | 0 1656.65/1657.17 c 1655s | 23 | 3409753 | 3333838 | 4169 1584 | 0 | 0 1658.65/1659.18 c 1657s | 23 | 3412700 | 3336738 | 4169 1585 | 0 | 0 1660.74/1661.23 c 1659s | 23 | 3415937 | 3339938 | 4169 1586 | 0 | 0 1662.75/1663.26 c 1661s | 23 | 3419088 | 3343038 | 4169 1588 | 0 | 0 1664.74/1665.27 c 1663s | 23 | 3422244 | 3346138 | 4169 1589 | 0 | 0 1666.74/1667.28 c 1665s | 23 | 3425185 | 3349038 | 4586 1590 | 0 | 0 1668.84/1669.31 c 1667s | 23 | 3428027 | 3351838 | 4586 1591 | 0 | 0 1670.84/1671.33 c 1669s | 23 | 3431063 | 3354838 | 4586 1592 | 0 | 0 1672.83/1673.38 c 1671s | 23 | 3433892 | 3357638 | 4586 1593 | 0 | 0 1674.94/1675.42 c 1673s | 23 | 3437206 | 3360838 | 4586 1594 | 0 | 0 1676.93/1677.46 c 1675s | 23 | 3440630 | 3364238 | 4586 1596 | 0 | 0 1679.03/1679.51 c 1677s | 23 | 3444158 | 3367738 | 4586 1597 | 0 | 0 1681.03/1681.54 c 1679s | 23 | 3447409 | 3370938 | 4586 1598 | 0 | 0 1683.03/1683.57 c 1681s | 23 | 3450779 | 3374238 | 4586 1599 | 0 | 0 1684.53/1685.04 c 1683s | 24 | 3453220 | 3376662 | 4586 1600 | 0 | 0 1686.53/1687.06 c 1685s | 24 | 3458903 | 3381462 | 4586 1602 | 0 | 0 1688.53/1689.07 c 1687s | 24 | 3464144 | 3386162 | 4586 1604 | 0 | 0 1690.72/1691.22 c 1689s | 24 | 3468991 | 3390962 | 4586 1606 | 0 | 0 1692.72/1693.24 c 1691s | 24 | 3473332 | 3395262 | 4586 1607 | 0 | 0 1694.73/1695.27 c 1693s | 24 | 3477472 | 3399362 | 4586 1609 | 0 | 0 1696.72/1697.29 c 1695s | 24 | 3481811 | 3403662 | 4586 1610 | 0 | 0 1698.82/1699.33 c 1697s | 24 | 3485755 | 3407562 | 4586 1612 | 0 | 0 1700.81/1701.36 c 1699s | 24 | 3489881 | 3411662 | 4586 1613 | 0 | 0 1703.01/1703.51 c 1701s | 24 | 3494125 | 3415862 | 4586 1615 | 0 | 0 1705.01/1705.54 c 1703s | 24 | 3498555 | 3420262 | 4586 1616 | 0 | 0 1707.01/1707.55 c 1705s | 24 | 3503030 | 3424662 | 4586 1618 | 0 | 0 1709.02/1709.56 c 1707s | 24 | 3507262 | 3428862 | 4586 1619 | 0 | 0 1711.01/1711.59 c 1709s | 24 | 3511202 | 3432762 | 4586 1621 | 0 | 0 1713.11/1713.64 c 1711s | 24 | 3515423 | 3436962 | 4586 1622 | 0 | 0 1715.11/1715.65 c 1713s | 24 | 3519171 | 3440662 | 4586 1624 | 0 | 0 1717.11/1717.66 c 1715s | 24 | 3524283 | 3445462 | 4586 1625 | 0 | 0 1719.11/1719.67 c 1717s | 24 | 3530021 | 3450262 | 4586 1627 | 0 | 0 1721.11/1721.70 c 1719s | 24 | 3534265 | 3454262 | 4586 1628 | 0 | 0 1723.21/1723.74 c 1721s | 24 | 3538025 | 3457762 | 4586 1630 | 0 | 0 1725.20/1725.74 c 1723s | 24 | 3541772 | 3461462 | 4586 1631 | 0 | 0 1727.20/1727.75 c 1725s | 24 | 3545202 | 3464862 | 4586 1632 | 0 | 0 1729.30/1729.81 c 1727s | 24 | 3548728 | 3468362 | 4586 1633 | 0 | 0 1731.30/1731.85 c 1729s | 24 | 3551669 | 3471262 | 4586 1635 | 0 | 0 1733.40/1733.90 c 1731s | 24 | 3555102 | 3474662 | 4586 1636 | 0 | 0 1735.41/1735.90 c 1733s | 24 | 3558171 | 3477662 | 4586 1637 | 0 | 0 1737.40/1737.91 c 1735s | 24 | 3561738 | 3480962 | 4586 1638 | 0 | 0 1739.40/1739.93 c 1737s | 24 | 3564980 | 3484162 | 4586 1639 | 0 | 0 1741.40/1741.97 c 1739s | 24 | 3567877 | 3486962 | 4586 1640 | 0 | 0 1743.40/1743.98 c 1741s | 24 | 3571134 | 3490162 | 4586 1641 | 0 | 0 1745.40/1745.99 c 1743s | 24 | 3574386 | 3493362 | 4586 1642 | 0 | 0 1747.51/1748.01 c 1746s | 24 | 3577393 | 3496262 | 4586 1643 | 0 | 0 1749.61/1750.14 c 1748s | 24 | 3580465 | 3499262 | 4586 1645 | 0 | 0 1751.60/1752.18 c 1750s | 24 | 3583506 | 3502262 | 4586 1646 | 0 | 0 1753.70/1754.20 c 1752s | 24 | 3586627 | 3505162 | 4586 1647 | 0 | 0 1755.70/1756.24 c 1754s | 24 | 3590663 | 3509062 | 4586 1648 | 0 | 0 1757.70/1758.28 c 1756s | 24 | 3594012 | 3512362 | 4586 1649 | 0 | 0 1759.69/1760.28 c 1758s | 24 | 3597176 | 3515462 | 4586 1650 | 0 | 0 1761.80/1762.32 c 1760s | 24 | 3600770 | 3518962 | 4586 1652 | 0 | 0 1763.79/1764.34 c 1762s | 24 | 3604021 | 3522162 | 4586 1653 | 0 | 0 1765.79/1766.39 c 1764s | 24 | 3607376 | 3525462 | 4586 1654 | 0 | 0 1767.89/1768.43 c 1766s | 24 | 3610328 | 3528362 | 4586 1655 | 0 | 0 1769.89/1770.48 c 1768s | 24 | 3613965 | 3531862 | 4586 1656 | 0 | 0 1771.98/1772.51 c 1770s | 24 | 3617035 | 3534862 | 4586 1657 | 0 | 0 1773.98/1774.57 c 1772s | 24 | 3620332 | 3538062 | 4586 1658 | 0 | 0 1775.99/1776.59 c 1774s | 24 | 3623902 | 3541462 | 4586 1660 | 0 | 0 1778.08/1778.61 c 1776s | 24 | 3627398 | 3544862 | 4586 1661 | 0 | 0 1780.08/1780.66 c 1778s | 24 | 3631024 | 3548362 | 4586 1662 | 0 | 0 1782.18/1782.70 c 1780s | 24 | 3634473 | 3551662 | 4586 1663 | 0 | 0 1784.18/1784.74 c 1782s | 24 | 3637953 | 3554862 | 4586 1664 | 0 | 0 1786.18/1786.76 c 1784s | 24 | 3641684 | 3558462 | 4586 1666 | 0 | 0 1788.28/1788.83 c 1786s | 24 | 3645415 | 3561862 | 4586 1667 | 0 | 0 1790.28/1790.87 c 1788s | 24 | 3648354 | 3564662 | 4586 1668 | 0 | 0 1792.37/1792.93 c 1790s | 24 | 3651014 | 3567262 | 4586 1669 | 0 | 0 1794.37/1794.94 c 1792s | 24 | 3653891 | 3569962 | 4586 1670 | 0 | 0 1796.37/1796.98 c 1794s | 24 | 3656685 | 3572662 | 4586 1671 | 0 | 0 1798.47/1799.04 c 1797s | 24 | 3659359 | 3575262 | 4586 1672 | 0 | 0
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-4101545-1466224280/watcher-4101545-1466224280 -o /tmp/evaluation-result-4101545-1466224280/solver-4101545-1466224280 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-13000 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101545-1466224280.opb pid=15657 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.27 2.29 2.27 4/179 15660 /proc/meminfo: memFree=29385752/32872528 swapFree=1286400/1433568 [pid=15660] ppid=15657 vsize=712124 CPUtime=0 cores=1,3,5,7 /proc/15660/stat : 15660 (toysat) R 15657 15660 12983 0 -1 4202496 2651 0 0 0 0 0 0 0 20 0 4 0 24474797 729214976 3524 33554432000 4194304 16246674 140734964275232 140734964274656 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15660/statm: 178799 3534 441 2943 0 175693 0 [pid=15660/tid=15661] ppid=15657 vsize=729532 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15661/stat : 15661 (toysat) S 15657 15660 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24474797 747040768 3594 33554432000 4194304 16246674 140734964275232 140241105038576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=15660/tid=15662] ppid=15657 vsize=734652 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15662/stat : 15662 (toysat) S 15657 15660 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24474797 752283648 3613 33554432000 4194304 16246674 140734964275232 140241016958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=15660/tid=15663] ppid=15657 vsize=738748 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15663/stat : 15663 (toysat) S 15657 15660 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24474797 756477952 3629 33554432000 4194304 16246674 140734964275232 140241006484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 [startup+0.100156 s] /proc/loadavg: 2.27 2.29 2.27 4/179 15660 /proc/meminfo: memFree=29385752/32872528 swapFree=1286400/1433568 [pid=15660] ppid=15657 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/15660/stat : 15660 (toysat) R 15657 15660 12983 0 -1 4202496 23147 0 0 0 6 3 0 0 20 0 4 0 24474797 1247350784 24007 33554432000 4194304 16246674 140734964275232 140734964274656 5677541 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15660/statm: 304529 24012 748 2943 0 301423 0 [pid=15660/tid=15661] ppid=15657 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15661/stat : 15661 (toysat) S 15657 15660 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24474797 1247350784 24017 33554432000 4194304 16246674 140734964275232 140241105038576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=15660/tid=15662] ppid=15657 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15662/stat : 15662 (toysat) S 15657 15660 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24474797 1247350784 24021 33554432000 4194304 16246674 140734964275232 140241016958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=15660/tid=15663] ppid=15657 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15663/stat : 15663 (toysat) S 15657 15660 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24474797 1247350784 24026 33554432000 4194304 16246674 140734964275232 140241006484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200531 s] /proc/loadavg: 2.27 2.29 2.27 4/179 15660 /proc/meminfo: memFree=29385752/32872528 swapFree=1286400/1433568 [pid=15660] ppid=15657 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/15660/stat : 15660 (toysat) R 15657 15660 12983 0 -1 4202496 37018 0 0 0 14 5 0 0 20 0 4 0 24474797 1247350784 37879 33554432000 4194304 16246674 140734964275232 140734964274656 5712452 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15660/statm: 304529 37887 750 2943 0 301423 0 [pid=15660/tid=15661] ppid=15657 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15661/stat : 15661 (toysat) S 15657 15660 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24474797 1247350784 37895 33554432000 4194304 16246674 140734964275232 140241105038576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=15660/tid=15662] ppid=15657 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15662/stat : 15662 (toysat) S 15657 15660 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24474797 1247350784 37904 33554432000 4194304 16246674 140734964275232 140241016958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=15660/tid=15663] ppid=15657 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15663/stat : 15663 (toysat) S 15657 15660 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24474797 1247350784 37906 33554432000 4194304 16246674 140734964275232 140241006484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300506 s] /proc/loadavg: 2.27 2.29 2.27 4/179 15660 /proc/meminfo: memFree=29385752/32872528 swapFree=1286400/1433568 [pid=15660] ppid=15657 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/15660/stat : 15660 (toysat) R 15657 15660 12983 0 -1 4202496 52227 0 0 0 21 8 0 0 20 0 4 0 24474797 1247350784 53088 33554432000 4194304 16246674 140734964275232 140734964274656 13192029 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15660/statm: 304529 53101 750 2943 0 301423 0 [pid=15660/tid=15661] ppid=15657 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15661/stat : 15661 (toysat) S 15657 15660 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24474797 1247350784 53109 33554432000 4194304 16246674 140734964275232 140241105038576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=15660/tid=15662] ppid=15657 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15662/stat : 15662 (toysat) S 15657 15660 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24474797 1247350784 53116 33554432000 4194304 16246674 140734964275232 140241016958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=15660/tid=15663] ppid=15657 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15663/stat : 15663 (toysat) S 15657 15660 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24474797 1247350784 53125 33554432000 4194304 16246674 140734964275232 140241006484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700416 s] /proc/loadavg: 2.27 2.29 2.27 4/179 15660 /proc/meminfo: memFree=29385752/32872528 swapFree=1286400/1433568 [pid=15660] ppid=15657 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/15660/stat : 15660 (toysat) R 15657 15660 12983 0 -1 4202496 112269 0 0 0 54 15 0 0 20 0 4 0 24474797 1247350784 113130 33554432000 4194304 16246674 140734964275232 140734964274656 5589685 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15660/statm: 304529 113148 757 2943 0 301423 0 [pid=15660/tid=15661] ppid=15657 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15661/stat : 15661 (toysat) S 15657 15660 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24474797 1247350784 113158 33554432000 4194304 16246674 140734964275232 140241105038576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=15660/tid=15662] ppid=15657 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15662/stat : 15662 (toysat) S 15657 15660 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24474797 1247350784 113166 33554432000 4194304 16246674 140734964275232 140241016958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=15660/tid=15663] ppid=15657 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15663/stat : 15663 (toysat) S 15657 15660 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24474797 1247350784 113175 33554432000 4194304 16246674 140734964275232 140241006484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50041 s] /proc/loadavg: 2.25 2.28 2.27 4/183 15664 /proc/meminfo: memFree=28702080/32872528 swapFree=1286400/1433568 [pid=15660] ppid=15657 vsize=1218116 CPUtime=1.49 cores=1,3,5,7 /proc/15660/stat : 15660 (toysat) R 15657 15660 12983 0 -1 4202496 237018 0 0 0 119 30 0 0 20 0 4 0 24474797 1247350784 237879 33554432000 4194304 16246674 140734964275232 140734964257152 5589685 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15660/statm: 304529 237898 757 2943 0 301423 0 [pid=15660/tid=15661] ppid=15657 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15661/stat : 15661 (toysat) S 15657 15660 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24474797 1247350784 237908 33554432000 4194304 16246674 140734964275232 140241105038576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=15660/tid=15662] ppid=15657 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15662/stat : 15662 (toysat) S 15657 15660 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24474797 1247350784 237918 33554432000 4194304 16246674 140734964275232 140241016958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=15660/tid=15663] ppid=15657 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15663/stat : 15663 (toysat) S 15657 15660 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24474797 1247350784 237927 33554432000 4194304 16246674 140734964275232 140241006484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1218116 [startup+3.10042 s] /proc/loadavg: 2.25 2.28 2.27 4/183 15664 /proc/meminfo: memFree=28317184/32872528 swapFree=1286400/1433568 [pid=15660] ppid=15657 vsize=1309252 CPUtime=3.09 cores=1,3,5,7 /proc/15660/stat : 15660 (toysat) R 15657 15660 12983 0 -1 4202496 268237 0 0 0 274 35 0 0 20 0 4 0 24474797 1340674048 269074 33554432000 4194304 16246674 140734964275232 140734964257152 5711697 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15660/statm: 327313 269074 851 2943 0 324207 0 [pid=15660/tid=15661] ppid=15657 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15661/stat : 15661 (toysat) S 15657 15660 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24474797 1340674048 269074 33554432000 4194304 16246674 140734964275232 140241105038576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=15660/tid=15662] ppid=15657 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15662/stat : 15662 (toysat) S 15657 15660 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24474797 1340674048 269074 33554432000 4194304 16246674 140734964275232 140241016958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=15660/tid=15663] ppid=15657 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15663/stat : 15663 (toysat) S 15657 15660 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24474797 1340674048 269074 33554432000 4194304 16246674 140734964275232 140241006484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1309252 [startup+6.30041 s] /proc/loadavg: 2.25 2.28 2.27 4/183 15664 /proc/meminfo: memFree=28308800/32872528 swapFree=1286400/1433568 [pid=15660] ppid=15657 vsize=1309252 CPUtime=6.29 cores=1,3,5,7 /proc/15660/stat : 15660 (toysat) R 15657 15660 12983 0 -1 4202496 268408 0 0 0 594 35 0 0 20 0 4 0 24474797 1340674048 269245 33554432000 4194304 16246674 140734964275232 140734964274328 13760056 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15660/statm: 327313 269245 852 2943 0 324207 0 [pid=15660/tid=15661] ppid=15657 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15661/stat : 15661 (toysat) S 15657 15660 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24474797 1340674048 269245 33554432000 4194304 16246674 140734964275232 140241105038576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=15660/tid=15662] ppid=15657 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15662/stat : 15662 (toysat) S 15657 15660 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24474797 1340674048 269245 33554432000 4194304 16246674 140734964275232 140241016958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=15660/tid=15663] ppid=15657 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15663/stat : 15663 (toysat) S 15657 15660 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24474797 1340674048 269245 33554432000 4194304 16246674 140734964275232 140241006484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1309252 [startup+12.7004 s] /proc/loadavg: 2.21 2.27 2.26 3/183 15664 /proc/meminfo: memFree=28306352/32872528 swapFree=1286400/1433568 [pid=15660] ppid=15657 vsize=1312324 CPUtime=12.69 cores=1,3,5,7 /proc/15660/stat : 15660 (toysat) R 15657 15660 12983 0 -1 4202496 269176 0 0 0 1234 35 0 0 20 0 4 0 24474797 1343819776 270013 33554432000 4194304 16246674 140734964275232 140734964257152 5825223 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15660/statm: 328081 270013 852 2943 0 324975 0 [pid=15660/tid=15661] ppid=15657 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15661/stat : 15661 (toysat) S 15657 15660 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24474797 1343819776 270013 33554432000 4194304 16246674 140734964275232 140241105038576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=15660/tid=15662] ppid=15657 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15662/stat : 15662 (toysat) S 15657 15660 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24474797 1343819776 270013 33554432000 4194304 16246674 140734964275232 140241016958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=15660/tid=15663] ppid=15657 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15663/stat : 15663 (toysat) S 15657 15660 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24474797 1343819776 270013 33554432000 4194304 16246674 140734964275232 140241006484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1312324 [startup+25.5005 s] /proc/loadavg: 2.18 2.27 2.26 3/183 15664 /proc/meminfo: memFree=28305260/32872528 swapFree=1286400/1433568 [pid=15660] ppid=15657 vsize=1313348 CPUtime=25.48 cores=1,3,5,7 /proc/15660/stat : 15660 (toysat) R 15657 15660 12983 0 -1 4202496 269432 0 0 0 2513 35 0 0 20 0 4 0 24474797 1344868352 270269 33554432000 4194304 16246674 140734964275232 140734964257152 6021672 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15660/statm: 328337 270269 852 2943 0 325231 0 [pid=15660/tid=15661] ppid=15657 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15661/stat : 15661 (toysat) S 15657 15660 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24474797 1344868352 270269 33554432000 4194304 16246674 140734964275232 140241105038576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=15660/tid=15662] ppid=15657 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15662/stat : 15662 (toysat) S 15657 15660 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24474797 1344868352 270269 33554432000 4194304 16246674 140734964275232 140241016958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=15660/tid=15663] ppid=15657 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15663/stat : 15663 (toysat) S 15657 15660 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24474797 1344868352 270269 33554432000 4194304 16246674 140734964275232 140241006484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1313348 [startup+51.1005 s] /proc/loadavg: 2.18 2.26 2.26 3/183 15664 /proc/meminfo: memFree=28302292/32872528 swapFree=1286400/1433568 [pid=15660] ppid=15657 vsize=1316420 CPUtime=51.08 cores=1,3,5,7 /proc/15660/stat : 15660 (toysat) R 15657 15660 12983 0 -1 4202496 270200 0 0 0 5073 35 0 0 20 0 4 0 24474797 1348014080 271037 33554432000 4194304 16246674 140734964275232 140734964257152 6013188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15660/statm: 329105 271037 852 2943 0 325999 0 [pid=15660/tid=15661] ppid=15657 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15661/stat : 15661 (toysat) S 15657 15660 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24474797 1348014080 271037 33554432000 4194304 16246674 140734964275232 140241105038576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=15660/tid=15662] ppid=15657 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15662/stat : 15662 (toysat) S 15657 15660 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24474797 1348014080 271037 33554432000 4194304 16246674 140734964275232 140241016958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=15660/tid=15663] ppid=15657 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15663/stat : 15663 (toysat) S 15657 15660 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24474797 1348014080 271037 33554432000 4194304 16246674 140734964275232 140241006484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1316420 [startup+102.301 s] /proc/loadavg: 2.24 2.26 2.26 3/183 15665 /proc/meminfo: memFree=28300524/32872528 swapFree=1286400/1433568 [pid=15660] ppid=15657 vsize=1318468 CPUtime=102.28 cores=1,3,5,7 /proc/15660/stat : 15660 (toysat) R 15657 15660 12983 0 -1 4202496 270712 0 0 0 10192 36 0 0 20 0 4 0 24474797 1350111232 271549 33554432000 4194304 16246674 140734964275232 140734964258232 5546093 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15660/statm: 329617 271549 852 2943 0 326511 0 [pid=15660/tid=15661] ppid=15657 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15661/stat : 15661 (toysat) S 15657 15660 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24474797 1350111232 271549 33554432000 4194304 16246674 140734964275232 140241105038576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=15660/tid=15662] ppid=15657 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15662/stat : 15662 (toysat) S 15657 15660 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24474797 1350111232 271549 33554432000 4194304 16246674 140734964275232 140241016958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=15660/tid=15663] ppid=15657 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15663/stat : 15663 (toysat) S 15657 15660 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24474797 1350111232 271549 33554432000 4194304 16246674 140734964275232 140241006484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1318468 ################ # More data... # ################ /proc/15660/task/15663/stat : 15663 (toysat) S 15657 15660 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140241006484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1242.08 Current children cumulated vsize (KiB) 1328708 [startup+1302.3 s] /proc/loadavg: 2.22 2.22 2.21 3/183 15696 /proc/meminfo: memFree=28286196/32872528 swapFree=1286400/1433568 [pid=15660] ppid=15657 vsize=1328708 CPUtime=1302.04 cores=1,3,5,7 /proc/15660/stat : 15660 (toysat) R 15657 15660 12983 0 -1 4202496 273353 0 0 0 130157 47 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140734964257152 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15660/statm: 332177 274112 852 2943 0 329071 0 [pid=15660/tid=15661] ppid=15657 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15661/stat : 15661 (toysat) S 15657 15660 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140241105038576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=15660/tid=15662] ppid=15657 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15662/stat : 15662 (toysat) S 15657 15660 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140241016958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=15660/tid=15663] ppid=15657 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15663/stat : 15663 (toysat) S 15657 15660 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140241006484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1302.04 Current children cumulated vsize (KiB) 1328708 [startup+1362.3 s] /proc/loadavg: 2.13 2.20 2.20 3/183 15698 /proc/meminfo: memFree=28285976/32872528 swapFree=1286400/1433568 [pid=15660] ppid=15657 vsize=1328708 CPUtime=1362.01 cores=1,3,5,7 /proc/15660/stat : 15660 (toysat) R 15657 15660 12983 0 -1 4202496 273397 0 0 0 136153 48 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140734964257152 12483366 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15660/statm: 332177 274112 852 2943 0 329071 0 [pid=15660/tid=15661] ppid=15657 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15661/stat : 15661 (toysat) S 15657 15660 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140241105038576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=15660/tid=15662] ppid=15657 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15662/stat : 15662 (toysat) S 15657 15660 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140241016958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=15660/tid=15663] ppid=15657 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15663/stat : 15663 (toysat) S 15657 15660 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140241006484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1362.01 Current children cumulated vsize (KiB) 1328708 [startup+1422.3 s] /proc/loadavg: 2.13 2.19 2.19 3/183 15699 /proc/meminfo: memFree=28286036/32872528 swapFree=1286400/1433568 [pid=15660] ppid=15657 vsize=1328708 CPUtime=1421.99 cores=1,3,5,7 /proc/15660/stat : 15660 (toysat) R 15657 15660 12983 0 -1 4202496 273433 0 0 0 142150 49 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140734964257152 5711716 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15660/statm: 332177 274112 852 2943 0 329071 0 [pid=15660/tid=15661] ppid=15657 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15661/stat : 15661 (toysat) S 15657 15660 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140241105038576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=15660/tid=15662] ppid=15657 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15662/stat : 15662 (toysat) S 15657 15660 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140241016958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=15660/tid=15663] ppid=15657 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15663/stat : 15663 (toysat) S 15657 15660 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140241006484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.99 Current children cumulated vsize (KiB) 1328708 [startup+1482.3 s] /proc/loadavg: 2.24 2.21 2.20 4/183 15700 /proc/meminfo: memFree=28285808/32872528 swapFree=1286400/1433568 [pid=15660] ppid=15657 vsize=1328708 CPUtime=1481.95 cores=1,3,5,7 /proc/15660/stat : 15660 (toysat) R 15657 15660 12983 0 -1 4202496 273468 0 0 0 148145 50 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140734964257152 5523307 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15660/statm: 332177 274112 852 2943 0 329071 0 [pid=15660/tid=15661] ppid=15657 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15661/stat : 15661 (toysat) S 15657 15660 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140241105038576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=15660/tid=15662] ppid=15657 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15662/stat : 15662 (toysat) S 15657 15660 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140241016958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=15660/tid=15663] ppid=15657 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15663/stat : 15663 (toysat) S 15657 15660 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140241006484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 1328708 [startup+1542.31 s] /proc/loadavg: 2.16 2.20 2.19 3/183 15701 /proc/meminfo: memFree=28285600/32872528 swapFree=1286400/1433568 [pid=15660] ppid=15657 vsize=1328708 CPUtime=1541.92 cores=1,3,5,7 /proc/15660/stat : 15660 (toysat) R 15657 15660 12983 0 -1 4202496 273513 0 0 0 154142 50 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140734964257152 5830022 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15660/statm: 332177 274112 852 2943 0 329071 0 [pid=15660/tid=15661] ppid=15657 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15661/stat : 15661 (toysat) S 15657 15660 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140241105038576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=15660/tid=15662] ppid=15657 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15662/stat : 15662 (toysat) S 15657 15660 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140241016958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=15660/tid=15663] ppid=15657 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15663/stat : 15663 (toysat) S 15657 15660 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140241006484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1328708 [startup+1602.3 s] /proc/loadavg: 2.16 2.19 2.18 3/183 15702 /proc/meminfo: memFree=28285640/32872528 swapFree=1286400/1433568 [pid=15660] ppid=15657 vsize=1328708 CPUtime=1601.88 cores=1,3,5,7 /proc/15660/stat : 15660 (toysat) R 15657 15660 12983 0 -1 4202496 273558 0 0 0 160138 50 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140734964257152 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15660/statm: 332177 274112 852 2943 0 329071 0 [pid=15660/tid=15661] ppid=15657 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15661/stat : 15661 (toysat) S 15657 15660 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140241105038576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=15660/tid=15662] ppid=15657 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15662/stat : 15662 (toysat) S 15657 15660 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140241016958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=15660/tid=15663] ppid=15657 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15663/stat : 15663 (toysat) S 15657 15660 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140241006484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1328708 [startup+1662.3 s] /proc/loadavg: 2.22 2.20 2.18 3/183 15704 /proc/meminfo: memFree=28285556/32872528 swapFree=1286400/1433568 [pid=15660] ppid=15657 vsize=1328708 CPUtime=1661.84 cores=1,3,5,7 /proc/15660/stat : 15660 (toysat) R 15657 15660 12983 0 -1 4202496 273605 0 0 0 166133 51 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140734964257152 5824045 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15660/statm: 332177 274112 852 2943 0 329071 0 [pid=15660/tid=15661] ppid=15657 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15661/stat : 15661 (toysat) S 15657 15660 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140241105038576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=15660/tid=15662] ppid=15657 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15662/stat : 15662 (toysat) S 15657 15660 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140241016958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=15660/tid=15663] ppid=15657 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15663/stat : 15663 (toysat) S 15657 15660 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140241006484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1328708 [startup+1722.3 s] /proc/loadavg: 2.22 2.19 2.18 3/184 15756 /proc/meminfo: memFree=28295644/32872528 swapFree=1286400/1433568 [pid=15660] ppid=15657 vsize=1328708 CPUtime=1721.8 cores=1,3,5,7 /proc/15660/stat : 15660 (toysat) R 15657 15660 12983 0 -1 4202496 273647 0 0 0 172129 51 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140734964257152 5822756 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15660/statm: 332177 274112 852 2943 0 329071 0 [pid=15660/tid=15661] ppid=15657 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15661/stat : 15661 (toysat) S 15657 15660 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140241105038576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=15660/tid=15662] ppid=15657 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15662/stat : 15662 (toysat) S 15657 15660 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140241016958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=15660/tid=15663] ppid=15657 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15663/stat : 15663 (toysat) S 15657 15660 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140241006484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1328708 [startup+1782.3 s] /proc/loadavg: 2.16 2.18 2.18 3/184 15780 /proc/meminfo: memFree=28290904/32872528 swapFree=1286400/1433568 [pid=15660] ppid=15657 vsize=1328708 CPUtime=1781.78 cores=1,3,5,7 /proc/15660/stat : 15660 (toysat) R 15657 15660 12983 0 -1 4202496 273682 0 0 0 178126 52 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140734964274328 5711342 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15660/statm: 332177 274112 852 2943 0 329071 0 [pid=15660/tid=15661] ppid=15657 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15661/stat : 15661 (toysat) S 15657 15660 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140241105038576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=15660/tid=15662] ppid=15657 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15662/stat : 15662 (toysat) S 15657 15660 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140241016958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=15660/tid=15663] ppid=15657 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15663/stat : 15663 (toysat) S 15657 15660 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140241006484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1328708 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.20 2.19 2.18 3/184 15781 /proc/meminfo: memFree=28292236/32872528 swapFree=1286400/1433568 [pid=15660] ppid=15657 vsize=1328708 CPUtime=1800.07 cores=1,3,5,7 /proc/15660/stat : 15660 (toysat) R 15657 15660 12983 0 -1 4202496 273695 0 0 0 179955 52 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140734964257152 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15660/statm: 332177 274112 852 2943 0 329071 0 [pid=15660/tid=15661] ppid=15657 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15661/stat : 15661 (toysat) S 15657 15660 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140241105038576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=15660/tid=15662] ppid=15657 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15662/stat : 15662 (toysat) S 15657 15660 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140241016958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=15660/tid=15663] ppid=15657 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15660/task/15663/stat : 15663 (toysat) S 15657 15660 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24474797 1360596992 274112 33554432000 4194304 16246674 140734964275232 140241006484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1328708 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 15660 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.61 CPU time (s): 1800.08 CPU user time (s): 1799.56 CPU system time (s): 0.526919 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 1328708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.56 system time used= 0.526919 maximum resident set size= 1096448 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273695 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= 438 involuntary context switches= 1849 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.28304 second user time and 9.14261 second system time The end
Begin job on node130 at 2016-06-18 06:31:20 IDJOB=4101545 IDBENCH=1764 IDSOLVER=2542 FILE ID=node130/4101545-1466224280 RUNJOBID= node130-1466206066-13000 PBS_JOBID= 19918147 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-rgn.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101545-1466224280/watcher-4101545-1466224280 -o /tmp/evaluation-result-4101545-1466224280/solver-4101545-1466224280 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-13000 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101545-1466224280.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e9bdb75d971f85face52b6150a0bc6b1 RANDOM SEED=1396151617 node130.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.365 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.73 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.365 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.365 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.365 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.365 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.365 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.53 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.365 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.56 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.365 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29386008 kB Buffers: 103380 kB Cached: 122740 kB SwapCached: 1804 kB Active: 1183968 kB Inactive: 131308 kB Active(anon): 1089944 kB Inactive(anon): 1604 kB Active(file): 94024 kB Inactive(file): 129704 kB Unevictable: 1433568 kB Mlocked: 1286400 kB SwapTotal: 67108856 kB SwapFree: 67099028 kB Dirty: 16364 kB Writeback: 4 kB AnonPages: 2521964 kB Mapped: 10756 kB Shmem: 0 kB Slab: 602848 kB SReclaimable: 46324 kB SUnreclaim: 556524 kB KernelStack: 1456 kB PageTables: 8988 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2663712 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 151552 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= 71716 MiB End job on node130 at 2016-06-18 07:01:21