Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.04 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/ submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.opb |
| MD5SUM | aa73e48897f9c10e5003e2188d9e7ab9 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 24890 |
| Best CPU time to get the best result obtained on this benchmark | 0.085986 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 24890 |
| Optimality of the best value was proved | YES |
| Number of variables | 644 |
| Total number of constraints | 1034 |
| Number of constraints which are clauses | 1034 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 31 |
| Number of terms in the objective function | 353 |
| Biggest coefficient in the objective function | 2034 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 561307 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 2034 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 561307 |
| 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-07T00:28:50+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-4079827-1465252129.opb"] 0.00/0.01 c use --random-gen="2229895972 765666073 1014141705 508848474 3633058801 3772418018 2694460339 342211486 2703356103 1666988605 2729270614 3403848552 939181386 1941809743 1752155398 1444969978 1837287021 3157397317 2018462978 3720800113 2207257727 2921660045 3181170749 1686545798 267941188 950064690 918167740 480621807 2156971522 1847913911 3176606946 3476741961 2866458550 1592120084 2844645439 4038355392 1815604428 1777564622 1734596284 4262856643 941484367 2400294487 233006461 1003249587 3109899180 881612138 2739330409 3700976339 1565531984 2157844074 2560969644 65269529 2352010138 309953409 2658148483 2092871800 967575469 424076895 4075364274 323276163 929050847 1589155801 2001453873 4078994903 1486525019 1680982278 4246095494 1946195976 979628400 58053588 2812542269 2471132835 4097192330 919956261 1077301806 44041000 1894847767 2502740638 1593711882 1045230212 2580107198 4247675533 3060047592 2551636476 2945418989 662395847 4105679219 3001717019 3904573011 912054222 1117955846 704124007 2047977008 3811740696 169046180 3693570001 2660424382 1589410434 4239546538 690126022 1437094370 3025049100 3294193399 1539930523 1870225456 1633598388 3802369875 421273305 1206560485 3573062045 405570790 4141071193 383580318 2144587650 1180505199 1303918544 2625500691 3061608730 2511888060 2424077488 467156692 1872781552 3915996684 478459521 1848936417 2568035607 1672850676 1858123677 4194784804 2379524339 157664550 2139721116 768542287 1673623760 211803526 2687419698 1029026809 2537440876 1530094895 2422737299 3998670346 736054501 370092602 4101754127 608240174 3783889253 3876587951 3191076500 878269497 3338017444 1427921992 1185659716 373442143 1992016388 1416972434 914799058 751731711 952904107 3965567636 4216037064 2252101175 1722985766 3898472432 3716023062 1691617066 1500802228 3550642171 1980950058 1643619079 3825507681 3047539824 1621445860 1581868815 3973680344 3023747290 4220162558 315274154 3715105256 3489396685 1856830780 2427665773 1790101526 4125826465 774559670 3916160069 362302484 193707917 466290279 2718511011 750315402 3010014003 285597123 1955075089 2143548792 957656884 1531967419 1674456074 3663404155 1698095005 3667275194 3012091190 1218227459 2975017987 4245609992 2402115164 131659339 3141326794 413189481 2406304275 2756989523 342351405 2204648142 4162026307 3005003145 2977955683 4204772318 2792454441 3205566848 645174660 198977405 4168749754 2624521 1626492671 2501277416 3420987860 3701296206 1624101561 2187502383 3409775664 3339531604 2803640561 3421648674 687777357 1251312863 3838185429 3127877086 3799234830 2967835685 3952290520 2512261693 3703800022 3071972548 2238905244 150883817 2378812515 4030333909 2115776626 2642867881 4278590054 676315419 1921716526 3784384920 2565898207 3474790610 1742954549 3922458882 255 362436" option to reproduce the execution 0.00/0.02 c #vars 644 0.00/0.02 c #constraints 1034 0.00/0.03 c BCD2: Hardening is enabled. 0.00/0.03 c BCD2: BiasedSearch is enabled. 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 558 0 | 4 | 0 0.00/0.03 c 0.0s | 0 | 372 | 0 | 558 0 | 4 | 0 0.00/0.03 c #cpu_time = 0.002s 0.00/0.03 c #wall_clock_time = 0.002s 0.00/0.03 c #decision = 372 0.00/0.03 c #random_decision = 2 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 o 561307 0.00/0.04 c BCD2: refineUB: 561306 -> 560175 0.00/0.04 c BCD2: updating upper bound: 561307 -> 560175 0.00/0.04 c BCD2: 0 <= obj <= 560175 0.00/0.04 c BCD2: #cores=0, #unrelaxed=353, #relaxed=0, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 558 0 | 4 | 0 0.00/0.04 c 0.0s | 0 | 1 | 0 | 558 0 | 4 | 0 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 1 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1340 0.00/0.04 c lower bound updated to 1340 0.00/0.05 c BCD2: refineUB: 561306 -> 560175 0.00/0.05 c BCD2: 1340 <= obj <= 560175 0.00/0.05 c BCD2: #cores=1, #unrelaxed=351, #relaxed=2, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=2 bias=2/3 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 | 558 0 | 4 | 1 0.00/0.05 c 0.0s | 0 | 1 | 0 | 558 0 | 4 | 1 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 1 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 1: cost of the new core is >=1314 0.00/0.05 c lower bound updated to 2654 0.00/0.05 c BCD2: refineUB: 561306 -> 560175 0.00/0.05 c BCD2: 2654 <= obj <= 560175 0.00/0.05 c BCD2: #cores=2, #unrelaxed=350, #relaxed=3, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=3 bias=3/4 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 | 558 0 | 4 | 1 0.00/0.05 c 0.0s | 0 | 2 | 0 | 558 0 | 4 | 1 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 2 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 1: cost of the new core is >=1531 0.00/0.05 c lower bound updated to 4185 0.00/0.06 c BCD2: refineUB: 561306 -> 560175 0.00/0.06 c BCD2: 4185 <= obj <= 560175 0.00/0.06 c BCD2: #cores=3, #unrelaxed=349, #relaxed=4, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 558 0 | 4 | 1 0.00/0.06 c 0.0s | 0 | 3 | 0 | 558 0 | 4 | 1 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 3 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 1: cost of the new core is >=1288 0.00/0.06 c lower bound updated to 5473 0.00/0.07 c BCD2: refineUB: 561306 -> 560175 0.00/0.07 c BCD2: 5473 <= obj <= 560175 0.00/0.07 c BCD2: #cores=4, #unrelaxed=348, #relaxed=5, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=5 bias=5/6 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 558 0 | 4 | 1 0.00/0.07 c 0.0s | 0 | 18 | 0 | 558 0 | 4 | 1 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 18 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 1: cost of the new core is >=1540 0.00/0.07 c lower bound updated to 7013 0.00/0.07 c BCD2: refineUB: 561306 -> 560175 0.00/0.07 c BCD2: 7013 <= obj <= 560175 0.00/0.07 c BCD2: #cores=5, #unrelaxed=347, #relaxed=6, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=6 bias=6/7 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 558 0 | 4 | 1 0.00/0.07 c 0.0s | 0 | 24 | 0 | 558 0 | 4 | 1 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 24 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 5: cost of the new core is >=1262 0.00/0.07 c lower bound updated to 8275 0.00/0.08 c BCD2: refineUB: 561306 -> 560175 0.00/0.08 c BCD2: 8275 <= obj <= 560175 0.00/0.08 c BCD2: #cores=6, #unrelaxed=342, #relaxed=11, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=7 bias=7/8 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 558 0 | 4 | 1 0.00/0.08 c 0.0s | 0 | 22 | 0 | 558 0 | 4 | 1 0.00/0.08 c #cpu_time = 0.001s 0.00/0.08 c #wall_clock_time = 0.001s 0.00/0.08 c #decision = 22 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 0 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: found a new core of size 2: cost of the new core is >=1340 0.00/0.08 c lower bound updated to 9615 0.00/0.09 c BCD2: refineUB: 561306 -> 560175 0.00/0.09 c BCD2: 9615 <= obj <= 560175 0.00/0.09 c BCD2: #cores=7, #unrelaxed=340, #relaxed=13, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=8 bias=8/9 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 558 0 | 4 | 1 0.00/0.09 c 0.0s | 0 | 26 | 0 | 558 0 | 4 | 1 0.00/0.09 c #cpu_time = 0.001s 0.00/0.09 c #wall_clock_time = 0.001s 0.00/0.09 c #decision = 26 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: found a new core of size 5: cost of the new core is >=1340 0.00/0.09 c lower bound updated to 10955 0.00/0.09 c BCD2: refineUB: 561306 -> 560175 0.00/0.09 c BCD2: 10955 <= obj <= 560175 0.00/0.09 c BCD2: #cores=8, #unrelaxed=335, #relaxed=18, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=9 bias=9/10 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 558 0 | 4 | 1 0.00/0.10 c 0.0s | 0 | 37 | 0 | 558 0 | 4 | 1 0.00/0.10 c #cpu_time = 0.001s 0.00/0.10 c #wall_clock_time = 0.001s 0.00/0.10 c #decision = 37 0.00/0.10 c #random_decision = 0 0.00/0.10 c #conflict = 0 0.00/0.10 c #restart = 0 0.00/0.10 c BCD2: found a new core of size 5: cost of the new core is >=1236 0.00/0.10 c lower bound updated to 12191 0.09/0.10 c BCD2: refineUB: 561306 -> 560175 0.09/0.10 c BCD2: 12191 <= obj <= 560175 0.09/0.10 c BCD2: #cores=9, #unrelaxed=330, #relaxed=23, #hardened=0 0.09/0.10 c BCD2: #sat=1 #unsat=10 bias=10/11 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 558 0 | 4 | 1 0.09/0.10 c 0.0s | 0 | 39 | 0 | 558 0 | 4 | 1 0.09/0.10 c #cpu_time = 0.001s 0.09/0.10 c #wall_clock_time = 0.001s 0.09/0.10 c #decision = 39 0.09/0.10 c #random_decision = 0 0.09/0.10 c #conflict = 0 0.09/0.10 c #restart = 0 0.09/0.10 c BCD2: found a new core of size 3: cost of the new core is >=1314 0.09/0.10 c lower bound updated to 13505 0.09/0.11 c BCD2: refineUB: 561306 -> 560175 0.09/0.11 c BCD2: 13505 <= obj <= 560175 0.09/0.11 c BCD2: #cores=10, #unrelaxed=327, #relaxed=26, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=11 bias=11/12 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 558 0 | 4 | 1 0.09/0.11 c 0.0s | 0 | 59 | 0 | 558 0 | 4 | 1 0.09/0.11 c #cpu_time = 0.001s 0.09/0.11 c #wall_clock_time = 0.001s 0.09/0.11 c #decision = 59 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 0 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 28: cost of the new core is >=1340 0.09/0.11 c lower bound updated to 14845 0.09/0.11 c BCD2: refineUB: 561306 -> 560175 0.09/0.11 c BCD2: 14845 <= obj <= 560175 0.09/0.11 c BCD2: #cores=11, #unrelaxed=299, #relaxed=54, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=12 bias=12/13 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 558 0 | 4 | 1 0.09/0.12 c 0.0s | 0 | 61 | 0 | 558 0 | 4 | 1 0.09/0.12 c #cpu_time = 0.001s 0.09/0.12 c #wall_clock_time = 0.001s 0.09/0.12 c #decision = 61 0.09/0.12 c #random_decision = 0 0.09/0.12 c #conflict = 0 0.09/0.12 c #restart = 0 0.09/0.12 c BCD2: found a new core of size 31: cost of the new core is >=1314 0.09/0.12 c lower bound updated to 16159 0.09/0.12 c BCD2: refineUB: 561306 -> 560175 0.09/0.12 c BCD2: 16159 <= obj <= 560175 0.09/0.12 c BCD2: #cores=12, #unrelaxed=268, #relaxed=85, #hardened=0 0.09/0.12 c BCD2: #sat=1 #unsat=13 bias=13/14 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 558 0 | 4 | 1 0.09/0.13 c 0.0s | 0 | 52 | 0 | 558 0 | 4 | 1 0.09/0.13 c #cpu_time = 0.001s 0.09/0.13 c #wall_clock_time = 0.001s 0.09/0.13 c #decision = 52 0.09/0.13 c #random_decision = 0 0.09/0.13 c #conflict = 0 0.09/0.13 c #restart = 0 0.09/0.13 c BCD2: found a new core of size 5: cost of the new core is >=1210 0.09/0.13 c lower bound updated to 17369 0.09/0.13 c BCD2: refineUB: 561306 -> 560175 0.09/0.13 c BCD2: 17369 <= obj <= 560175 0.09/0.13 c BCD2: #cores=13, #unrelaxed=263, #relaxed=90, #hardened=0 0.09/0.13 c BCD2: #sat=1 #unsat=14 bias=14/15 0.09/0.13 c Solving starts ... 0.09/0.13 c ============================[ Search Statistics ]============================ 0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.13 c | | | | Limit GC | Var | Constra 0.09/0.13 c ============================================================================= 0.09/0.13 c 0.0s | 0 | 0 | 0 | 558 0 | 4 | 1 0.09/0.13 c 0.0s | 0 | 65 | 0 | 558 0 | 4 | 1 0.09/0.13 c #cpu_time = 0.001s 0.09/0.13 c #wall_clock_time = 0.001s 0.09/0.13 c #decision = 65 0.09/0.13 c #random_decision = 0 0.09/0.13 c #conflict = 0 0.09/0.13 c #restart = 0 0.09/0.13 c BCD2: found a new core of size 13: cost of the new core is >=1340 0.09/0.13 c lower bound updated to 18709 0.09/0.14 c BCD2: refineUB: 561306 -> 560175 0.09/0.14 c BCD2: 18709 <= obj <= 560175 0.09/0.14 c BCD2: #cores=14, #unrelaxed=250, #relaxed=103, #hardened=0 0.09/0.14 c BCD2: #sat=1 #unsat=15 bias=15/16 0.09/0.14 c Solving starts ... 0.09/0.14 c ============================[ Search Statistics ]============================ 0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.14 c | | | | Limit GC | Var | Constra 0.09/0.14 c ============================================================================= 0.09/0.14 c 0.0s | 0 | 0 | 0 | 558 0 | 4 | 1 0.09/0.14 c 0.0s | 0 | 147 | 0 | 558 0 | 4 | 1 0.09/0.14 c #cpu_time = 0.002s 0.09/0.14 c #wall_clock_time = 0.002s 0.09/0.14 c #decision = 147 0.09/0.14 c #random_decision = 0 0.09/0.14 c #conflict = 0 0.09/0.14 c #restart = 0 0.09/0.14 c BCD2: found a new core of size 19: cost of the new core is >=1262 0.09/0.14 c lower bound updated to 19971 0.09/0.15 c BCD2: refineUB: 561306 -> 560175 0.09/0.15 c BCD2: 19971 <= obj <= 560175 0.09/0.15 c BCD2: #cores=15, #unrelaxed=231, #relaxed=122, #hardened=0 0.09/0.15 c BCD2: #sat=1 #unsat=16 bias=16/17 0.09/0.15 c Solving starts ... 0.09/0.15 c ============================[ Search Statistics ]============================ 0.09/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.15 c | | | | Limit GC | Var | Constra 0.09/0.15 c ============================================================================= 0.09/0.15 c 0.0s | 0 | 0 | 0 | 558 0 | 4 | 1 0.09/0.15 c 0.0s | 0 | 182 | 0 | 558 0 | 4 | 1 0.09/0.15 c #cpu_time = 0.002s 0.09/0.15 c #wall_clock_time = 0.002s 0.09/0.15 c #decision = 182 0.09/0.15 c #random_decision = 0 0.09/0.15 c #conflict = 0 0.09/0.15 c #restart = 0 0.09/0.15 c BCD2: found a new core of size 90: cost of the new core is >=1184 0.09/0.15 c lower bound updated to 21155 0.09/0.16 c BCD2: refineUB: 561306 -> 560175 0.09/0.16 c BCD2: 21155 <= obj <= 560175 0.09/0.16 c BCD2: #cores=16, #unrelaxed=141, #relaxed=212, #hardened=0 0.09/0.16 c BCD2: #sat=1 #unsat=17 bias=17/18 0.09/0.16 c Solving starts ... 0.09/0.16 c ============================[ Search Statistics ]============================ 0.09/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.16 c | | | | Limit GC | Var | Constra 0.09/0.16 c ============================================================================= 0.09/0.16 c 0.0s | 0 | 0 | 0 | 558 0 | 4 | 1 0.09/0.16 c 0.0s | 0 | 138 | 0 | 558 0 | 4 | 1 0.09/0.16 c #cpu_time = 0.002s 0.09/0.16 c #wall_clock_time = 0.002s 0.09/0.16 c #decision = 138 0.09/0.16 c #random_decision = 0 0.09/0.16 c #conflict = 0 0.09/0.16 c #restart = 0 0.09/0.16 c BCD2: found a new core of size 11: cost of the new core is >=1364 0.09/0.16 c lower bound updated to 22519 0.09/0.17 c BCD2: refineUB: 561306 -> 560175 0.09/0.17 c BCD2: 22519 <= obj <= 560175 0.09/0.17 c BCD2: #cores=17, #unrelaxed=130, #relaxed=223, #hardened=0 0.09/0.17 c BCD2: #sat=1 #unsat=18 bias=18/19 0.09/0.17 c Solving starts ... 0.09/0.17 c ============================[ Search Statistics ]============================ 0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.17 c | | | | Limit GC | Var | Constra 0.09/0.17 c ============================================================================= 0.09/0.17 c 0.0s | 0 | 0 | 0 | 558 0 | 4 | 1 0.09/0.18 c 0.0s | 0 | 402 | 0 | 558 0 | 4 | 1 0.09/0.18 c #cpu_time = 0.003s 0.09/0.18 c #wall_clock_time = 0.003s 0.09/0.18 c #decision = 402 0.09/0.18 c #random_decision = 1 0.09/0.18 c #conflict = 0 0.09/0.18 c #restart = 0 0.09/0.18 o 33822 0.09/0.18 c BCD2: updating upper bound: 560175 -> 33821 0.09/0.18 c BCD2: 22519 <= obj <= 33821 0.09/0.18 c BCD2: #cores=17, #unrelaxed=130, #relaxed=223, #hardened=0 0.09/0.18 c BCD2: #sat=2 #unsat=18 bias=18/20 0.69/0.78 c Solving starts ... 0.69/0.78 c ============================[ Search Statistics ]============================ 0.69/0.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.78 c | | | | Limit GC | Var | Constra 0.69/0.78 c ============================================================================= 0.69/0.78 c 0.0s | 0 | 0 | 0 | 558 0 | 4 | 1 0.69/0.79 c 0.0s | 0 | 345 | 5 | 558 0 | 4 | 1 0.69/0.79 c #cpu_time = 0.004s 0.69/0.79 c #wall_clock_time = 0.004s 0.69/0.79 c #decision = 345 0.69/0.79 c #random_decision = 0 0.69/0.79 c #conflict = 5 0.69/0.79 c #restart = 0 0.69/0.79 o 27261 0.69/0.79 c BCD2: updating upper bound: 33821 -> 27260 0.69/0.79 c BCD2: 22519 <= obj <= 27260 0.69/0.79 c BCD2: #cores=17, #unrelaxed=130, #relaxed=223, #hardened=0 0.69/0.79 c BCD2: #sat=3 #unsat=18 bias=18/21 0.69/0.79 c Solving starts ... 0.69/0.79 c ============================[ Search Statistics ]============================ 0.69/0.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.79 c | | | | Limit GC | Var | Constra 0.69/0.79 c ============================================================================= 0.69/0.79 c 0.0s | 0 | 0 | 0 | 558 0 | 4 | 2 0.69/0.80 c 0.0s | 0 | 38 | 0 | 558 0 | 4 | 2 0.69/0.80 c #cpu_time = 0.002s 0.79/0.80 c #wall_clock_time = 0.002s 0.79/0.80 c #decision = 38 0.79/0.80 c #random_decision = 0 0.79/0.80 c #conflict = 0 0.79/0.80 c #restart = 0 0.79/0.80 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 6: cost of the new core is >=1262 0.79/0.80 c BCD2: refineLB: 1255 -> 1262 0.79/0.80 c lower bound updated to 22571 0.79/0.80 c BCD2: 22571 <= obj <= 27260 0.79/0.80 c BCD2: #cores=17, #unrelaxed=129, #relaxed=224, #hardened=0 0.79/0.80 c BCD2: #sat=3 #unsat=19 bias=19/22 0.79/0.85 c Solving starts ... 0.79/0.85 c ============================[ Search Statistics ]============================ 0.79/0.85 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.85 c | | | | Limit GC | Var | Constra 0.79/0.85 c ============================================================================= 0.79/0.85 c 0.0s | 0 | 0 | 0 | 558 0 | 11 | 2 0.79/0.85 c 0.0s | 0 | 87 | 0 | 558 0 | 11 | 15 0.79/0.85 c #cpu_time = 0.003s 0.79/0.85 c #wall_clock_time = 0.003s 0.79/0.85 c #decision = 87 0.79/0.85 c #random_decision = 0 0.79/0.85 c #conflict = 0 0.79/0.85 c #restart = 0 0.79/0.85 c BCD2: relaxing 13 and merging with 3 cores into a new core of size 114: cost of the new core is >=3709 0.79/0.85 c lower bound updated to 22572 0.79/0.85 c BCD2: 22572 <= obj <= 27260 0.79/0.85 c BCD2: #cores=15, #unrelaxed=116, #relaxed=237, #hardened=0 0.79/0.85 c BCD2: #sat=3 #unsat=20 bias=20/23 0.89/0.90 c Solving starts ... 0.89/0.90 c ============================[ Search Statistics ]============================ 0.89/0.90 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.90 c | | | | Limit GC | Var | Constra 0.89/0.90 c ============================================================================= 0.89/0.90 c 0.0s | 0 | 0 | 0 | 558 0 | 32 | 15 0.89/0.90 c 0.0s | 0 | 112 | 0 | 558 0 | 32 | 56 0.89/0.90 c #cpu_time = 0.002s 0.89/0.90 c #wall_clock_time = 0.002s 0.89/0.90 c #decision = 112 0.89/0.90 c #random_decision = 0 0.89/0.90 c #conflict = 0 0.89/0.90 c #restart = 0 0.89/0.90 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 13: cost of the new core is >=1442 0.89/0.90 c BCD2: refineLB: 1432 -> 1442 0.89/0.90 c lower bound updated to 22650 0.89/0.90 c BCD2: 22650 <= obj <= 27260 0.89/0.90 c BCD2: #cores=15, #unrelaxed=114, #relaxed=239, #hardened=0 0.89/0.90 c BCD2: #sat=3 #unsat=21 bias=21/24 0.89/0.93 c Solving starts ... 0.89/0.93 c ============================[ Search Statistics ]============================ 0.89/0.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.93 c | | | | Limit GC | Var | Constra 0.89/0.93 c ============================================================================= 0.89/0.93 c 0.0s | 0 | 0 | 0 | 558 0 | 36 | 56 0.89/0.93 c 0.0s | 0 | 475 | 6 | 558 0 | 36 | 64 0.89/0.93 c #cpu_time = 0.004s 0.89/0.93 c #wall_clock_time = 0.004s 0.89/0.93 c #decision = 475 0.89/0.93 c #random_decision = 1 0.89/0.93 c #conflict = 6 0.89/0.93 c #restart = 0 0.89/0.93 c BCD2: relaxing 4 and merging with 2 cores into a new core of size 45: cost of the new core is >=2884 0.89/0.93 c lower bound updated to 22854 0.89/0.93 c BCD2: 22854 <= obj <= 27260 0.89/0.93 c BCD2: #cores=14, #unrelaxed=110, #relaxed=243, #hardened=0 0.89/0.93 c BCD2: #sat=3 #unsat=22 bias=22/25 0.89/0.94 c Solving starts ... 0.89/0.94 c ============================[ Search Statistics ]============================ 0.89/0.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.94 c | | | | Limit GC | Var | Constra 0.89/0.94 c ============================================================================= 0.89/0.94 c 0.0s | 0 | 0 | 0 | 558 0 | 57 | 64 0.89/0.95 c 0.0s | 0 | 243 | 22 | 558 0 | 57 | 110 0.89/0.95 c #cpu_time = 0.011s 0.89/0.95 c #wall_clock_time = 0.011s 0.89/0.95 c #decision = 243 0.89/0.95 c #random_decision = 1 0.89/0.95 c #conflict = 22 0.89/0.95 c #restart = 0 0.89/0.95 o 26222 0.89/0.95 c BCD2: updating upper bound: 27260 -> 26221 0.89/0.95 c BCD2: 22854 <= obj <= 26221 0.89/0.95 c BCD2: #cores=14, #unrelaxed=110, #relaxed=243, #hardened=0 0.89/0.95 c BCD2: #sat=4 #unsat=22 bias=22/26 0.89/0.97 c Solving starts ... 0.89/0.97 c ============================[ Search Statistics ]============================ 0.89/0.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.97 c | | | | Limit GC | Var | Constra 0.89/0.97 c ============================================================================= 0.89/0.97 c 0.0s | 0 | 0 | 0 | 558 0 | 57 | 111 0.89/0.97 c 0.0s | 0 | 17 | 0 | 558 0 | 57 | 111 0.89/0.97 c #cpu_time = 0.001s 0.89/0.97 c #wall_clock_time = 0.001s 0.89/0.97 c #decision = 17 0.89/0.97 c #random_decision = 0 0.89/0.97 c #conflict = 0 0.89/0.97 c #restart = 0 0.89/0.97 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 33: cost of the new core is >=1366 0.89/0.97 c BCD2: refineLB: 1359 -> 1366 0.89/0.97 c lower bound updated to 22906 0.89/0.98 c BCD2: 22906 <= obj <= 26221 0.89/0.98 c BCD2: #cores=14, #unrelaxed=108, #relaxed=245, #hardened=0 0.89/0.98 c BCD2: #sat=4 #unsat=23 bias=23/27 0.89/0.99 c Solving starts ... 0.89/0.99 c ============================[ Search Statistics ]============================ 0.89/0.99 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.99 c | | | | Limit GC | Var | Constra 0.89/0.99 c ============================================================================= 0.89/0.99 c 0.0s | 0 | 0 | 0 | 558 0 | 68 | 111 0.89/0.99 c 0.0s | 0 | 44 | 0 | 558 0 | 68 | 134 0.89/0.99 c #cpu_time = 0.001s 0.89/0.99 c #wall_clock_time = 0.001s 0.89/0.99 c #decision = 44 0.89/0.99 c #random_decision = 0 0.89/0.99 c #conflict = 0 0.89/0.99 c #restart = 0 0.89/0.99 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 22: cost of the new core is >=1468 0.89/0.99 c BCD2: refineLB: 1438 -> 1468 0.89/0.99 c lower bound updated to 23112 0.89/0.99 c BCD2: 23112 <= obj <= 26221 0.89/0.99 c BCD2: #cores=14, #unrelaxed=105, #relaxed=248, #hardened=0 0.89/0.99 c BCD2: #sat=4 #unsat=24 bias=24/28 0.99/1.03 c Solving starts ... 0.99/1.03 c ============================[ Search Statistics ]============================ 0.99/1.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.03 c | | | | Limit GC | Var | Constra 0.99/1.03 c ============================================================================= 0.99/1.03 c 0.0s | 0 | 0 | 0 | 558 0 | 79 | 134 0.99/1.03 c 0.0s | 0 | 247 | 14 | 558 0 | 79 | 160 0.99/1.03 c #cpu_time = 0.003s 0.99/1.03 c #wall_clock_time = 0.003s 0.99/1.03 c #decision = 247 0.99/1.03 c #random_decision = 0 0.99/1.03 c #conflict = 14 0.99/1.03 c #restart = 0 0.99/1.03 c BCD2: relaxing 59 and merging with 4 cores into a new core of size 233: cost of the new core is >=7780 0.99/1.03 c lower bound updated to 23113 0.99/1.03 c BCD2: 23113 <= obj <= 26221 0.99/1.03 c BCD2: #cores=11, #unrelaxed=46, #relaxed=307, #hardened=0 0.99/1.03 c BCD2: #sat=4 #unsat=25 bias=25/29 0.99/1.03 c Solving starts ... 0.99/1.03 c ============================[ Search Statistics ]============================ 0.99/1.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.03 c | | | | Limit GC | Var | Constra 0.99/1.03 c ============================================================================= 0.99/1.03 c 0.0s | 0 | 0 | 0 | 558 0 | 105 | 160 0.99/1.08 c 0.0s | 1 | 1342 | 100 | 614 0 | 105 | 216 1.10/1.16 c 0.1s | 2 | 3164 | 250 | 676 0 | 105 | 216 1.20/1.28 c 0.2s | 3 | 6104 | 475 | 744 0 | 105 | 216 1.39/1.43 c 0.4s | 4 | 9971 | 813 | 819 0 | 105 | 216 1.59/1.61 c 0.6s | 5 | 11526 | 1320 | 901 1 | 105 | 216 1.99/2.09 c 1.1s | 6 | 20976 | 2081 | 992 2 | 105 | 216 2.69/2.74 c 1.7s | 7 | 32877 | 3223 | 1092 3 | 105 | 216 3.49/3.56 c 2.5s | 8 | 45357 | 4936 | 1202 6 | 105 | 216 4.69/4.80 c 3.8s | 9 | 65507 | 7506 | 1323 9 | 105 | 216 6.60/6.67 c 5.6s | 10 | 95122 | 11361 | 1456 13 | 105 | 216 8.59/8.68 c 7.6s | 10 | 125603 | 15861 | 1456 18 | 105 | 216 9.29/9.37 c 8.3s | 11 | 136159 | 17144 | 1602 20 | 105 | 216 11.39/11.40 c 10.4s | 11 | 164560 | 21444 | 1602 24 | 105 | 216 13.39/13.40 c 12.4s | 11 | 196232 | 25444 | 1602 28 | 105 | 216 13.59/13.60 c 12.6s | 12 | 199600 | 25819 | 1763 28 | 105 | 216 15.59/15.62 c 14.6s | 12 | 224720 | 30219 | 1763 33 | 105 | 216 17.59/17.67 c 16.6s | 12 | 254811 | 34319 | 1763 37 | 105 | 216 19.69/19.72 c 18.7s | 12 | 288767 | 38319 | 1763 40 | 105 | 216 19.89/19.98 c 18.9s | 13 | 292776 | 38832 | 1940 41 | 105 | 216 21.99/22.01 c 21.0s | 13 | 325530 | 43032 | 1940 44 | 105 | 216 23.99/24.01 c 23.0s | 13 | 360159 | 46532 | 1940 47 | 105 | 216 25.99/26.05 c 25.0s | 13 | 394566 | 50532 | 1940 51 | 105 | 216 27.99/28.06 c 27.0s | 13 | 428899 | 54332 | 1940 54 | 105 | 216 29.99/30.07 c 29.0s | 13 | 458575 | 58332 | 2134 57 | 105 | 216 29.99/30.08 c 29.0s | 14 | 458622 | 58352 | 2134 57 | 105 | 216 32.09/32.12 c 31.1s | 14 | 487224 | 62352 | 2134 61 | 105 | 216 34.09/34.16 c 33.1s | 14 | 516691 | 66552 | 2134 64 | 105 | 216 36.08/36.19 c 35.2s | 14 | 546225 | 70552 | 2134 67 | 105 | 216 38.18/38.20 c 37.2s | 14 | 575421 | 74452 | 2134 70 | 105 | 216 40.18/40.23 c 39.2s | 14 | 605840 | 78652 | 2134 74 | 105 | 216 42.18/42.24 c 41.2s | 14 | 634968 | 82552 | 2134 77 | 105 | 216 44.18/44.29 c 43.3s | 14 | 658789 | 86452 | 2134 80 | 105 | 216 44.88/44.95 c 43.9s | 15 | 666107 | 87632 | 2348 81 | 105 | 216 46.98/47.00 c 46.0s | 15 | 692775 | 91632 | 2348 84 | 105 | 216 47.48/47.51 c 46.5s | 15 | 700081 | 92512 | 2348 84 | 105 | 216 47.48/47.51 c #cpu_time = 46.479s 47.48/47.51 c #wall_clock_time = 46.480s 47.48/47.51 c #decision = 700081 47.48/47.51 c #random_decision = 2051 47.48/47.51 c #conflict = 92512 47.48/47.51 c #restart = 15 47.48/47.51 c BCD2: relaxing 42 and merging with 7 cores into a new core of size 345: cost of the new core is >=17441 47.48/47.51 c lower bound updated to 23114 47.48/47.52 c BCD2: 23114 <= obj <= 26221 47.48/47.52 c BCD2: #cores=5, #unrelaxed=4, #relaxed=349, #hardened=0 47.48/47.52 c BCD2: #sat=4 #unsat=26 bias=26/30 47.48/47.52 c Solving starts ... 47.48/47.52 c ============================[ Search Statistics ]============================ 47.48/47.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 47.48/47.52 c | | | | Limit GC | Var | Constra 47.48/47.52 c ============================================================================= 47.48/47.52 c 0.0s | 0 | 0 | 0 | 2348 0 | 168 | 216 47.48/47.57 c 0.0s | 1 | 381 | 100 | 2348 0 | 168 | 340 47.58/47.64 c 0.1s | 2 | 1219 | 250 | 2348 0 | 168 | 340 47.68/47.74 c 0.2s | 3 | 1766 | 475 | 2348 0 | 168 | 340 47.88/47.90 c 0.4s | 4 | 2654 | 813 | 2348 0 | 168 | 340 48.08/48.12 c 0.6s | 5 | 4289 | 1320 | 2348 0 | 168 | 340 48.39/48.46 c 0.9s | 6 | 6816 | 2081 | 2348 0 | 168 | 340 48.98/49.01 c 1.5s | 7 | 11541 | 3223 | 2348 1 | 168 | 340 49.78/49.81 c 2.3s | 8 | 17807 | 4936 | 2348 2 | 168 | 340 50.98/51.09 c 3.6s | 9 | 29554 | 7506 | 2348 4 | 168 | 340 53.08/53.10 c 5.6s | 10 | 46919 | 11361 | 2348 7 | 168 | 340 55.09/55.15 c 7.6s | 10 | 65459 | 15261 | 2348 10 | 168 | 340 56.09/56.20 c 8.7s | 11 | 75150 | 17144 | 2348 12 | 168 | 340 58.18/58.24 c 10.7s | 11 | 94912 | 20844 | 2348 15 | 168 | 340 60.18/60.26 c 12.7s | 11 | 114024 | 24444 | 2348 17 | 168 | 340 60.98/61.01 c 13.5s | 12 | 121357 | 25819 | 2348 18 | 168 | 340 62.98/63.06 c 15.5s | 12 | 140875 | 29719 | 2348 21 | 168 | 340 64.99/65.08 c 17.6s | 12 | 158551 | 33319 | 2348 24 | 168 | 340 66.98/67.10 c 19.6s | 12 | 177553 | 37219 | 2348 27 | 168 | 340 67.88/68.00 c 20.5s | 13 | 185857 | 38832 | 2583 28 | 168 | 340 69.98/70.02 c 22.5s | 13 | 205021 | 42532 | 2583 31 | 168 | 340 71.98/72.03 c 24.5s | 13 | 220330 | 46032 | 2583 33 | 168 | 340 73.98/74.07 c 26.6s | 13 | 239135 | 49832 | 2583 36 | 168 | 340 75.98/76.09 c 28.6s | 13 | 255012 | 53332 | 2583 39 | 168 | 340 78.08/78.11 c 30.6s | 13 | 271132 | 56932 | 2583 41 | 168 | 340 78.88/78.91 c 31.4s | 14 | 277507 | 58352 | 2583 42 | 168 | 340 80.87/80.95 c 33.4s | 14 | 294807 | 62152 | 2583 45 | 168 | 340 82.87/82.97 c 35.5s | 14 | 315433 | 65952 | 2583 48 | 168 | 340 84.87/84.98 c 37.5s | 14 | 334673 | 69652 | 2583 50 | 168 | 340 86.98/87.04 c 39.5s | 14 | 352838 | 73452 | 2583 53 | 168 | 340 88.97/89.05 c 41.5s | 14 | 373232 | 77052 | 2583 55 | 168 | 340 90.97/91.07 c 43.6s | 14 | 390507 | 80552 | 2583 58 | 168 | 340 93.07/93.10 c 45.6s | 14 | 408789 | 84352 | 2583 60 | 168 | 340 94.77/94.86 c 47.3s | 15 | 424182 | 87632 | 2583 63 | 168 | 340 96.88/96.92 c 49.4s | 15 | 443040 | 91232 | 2583 65 | 168 | 340 98.87/98.95 c 51.4s | 15 | 460874 | 94932 | 2583 68 | 168 | 340 100.97/101.00 c 53.5s | 15 | 479100 | 98632 | 2583 71 | 168 | 340 102.97/103.06 c 55.5s | 15 | 498287 | 102332 | 2583 73 | 168 | 340 104.97/105.10 c 57.6s | 15 | 518084 | 105932 | 2842 75 | 168 | 340 107.07/107.13 c 59.6s | 15 | 535727 | 109532 | 2842 78 | 168 | 340 109.07/109.14 c 61.6s | 15 | 552896 | 113232 | 2842 80 | 168 | 340 111.08/111.17 c 63.7s | 15 | 571169 | 116932 | 2842 82 | 168 | 340 113.17/113.21 c 65.7s | 15 | 585824 | 120532 | 2842 85 | 168 | 340 115.17/115.24 c 67.7s | 15 | 604770 | 124132 | 2842 87 | 168 | 340 117.17/117.27 c 69.8s | 15 | 624199 | 127732 | 2842 89 | 168 | 340 119.27/119.30 c 71.8s | 15 | 640063 | 131132 | 2842 92 | 168 | 340 119.47/119.51 c 72.0s | 16 | 641522 | 131552 | 2842 92 | 168 | 340 121.47/121.56 c 74.0s | 16 | 659887 | 135252 | 2842 94 | 168 | 340 123.57/123.60 c 76.1s | 16 | 676759 | 138952 | 2842 97 | 168 | 340 125.57/125.60 c 78.1s | 16 | 696912 | 142652 | 2842 99 | 168 | 340 127.57/127.61 c 80.1s | 16 | 717423 | 146152 | 2842 101 | 168 | 340 129.58/129.64 c 82.1s | 16 | 736989 | 149652 | 2842 104 | 168 | 340 131.58/131.68 c 84.2s | 16 | 756900 | 153252 | 2842 106 | 168 | 340 133.67/133.70 c 86.2s | 16 | 774012 | 156752 | 2842 108 | 168 | 340 135.67/135.75 c 88.2s | 16 | 792831 | 160252 | 2842 111 | 168 | 340 137.77/137.81 c 90.3s | 16 | 811355 | 163852 | 2842 113 | 168 | 340 139.78/139.86 c 92.3s | 16 | 829169 | 167452 | 2842 115 | 168 | 340 141.77/141.88 c 94.4s | 16 | 845010 | 170852 | 2842 117 | 168 | 340 143.87/143.91 c 96.4s | 16 | 862842 | 174652 | 2842 120 | 168 | 340 145.87/145.96 c 98.4s | 16 | 880226 | 178452 | 2842 122 | 168 | 340 147.97/148.02 c 100s | 16 | 898632 | 181952 | 2842 125 | 168 | 340 149.97/150.04 c 102s | 16 | 916831 | 185552 | 2842 127 | 168 | 340 151.97/152.06 c 104s | 16 | 934297 | 189152 | 2842 129 | 168 | 340 153.98/154.07 c 106s | 16 | 948760 | 192952 | 2842 132 | 168 | 340 156.07/156.12 c 108s | 16 | 969548 | 196652 | 2842 134 | 168 | 340 156.57/156.63 c 109s | 17 | 973604 | 197432 | 2842 135 | 168 | 340 158.57/158.64 c 111s | 17 | 991562 | 201032 | 2842 137 | 168 | 340 160.58/160.67 c 113s | 17 | 1008961 | 204632 | 3127 139 | 168 | 340 162.57/162.69 c 115s | 17 | 1027136 | 208232 | 3127 141 | 168 | 340 164.67/164.71 c 117s | 17 | 1046665 | 211632 | 3127 143 | 168 | 340 166.67/166.74 c 119s | 17 | 1064942 | 215232 | 3127 145 | 168 | 340 168.67/168.76 c 121s | 17 | 1083475 | 218832 | 3127 147 | 168 | 340 170.67/170.76 c 123s | 17 | 1101770 | 222332 | 3127 150 | 168 | 340 172.67/172.78 c 125s | 17 | 1121107 | 225732 | 3127 152 | 168 | 340 174.77/174.81 c 127s | 17 | 1140502 | 229132 | 3127 154 | 168 | 340 176.77/176.84 c 129s | 17 | 1158411 | 232632 | 3127 156 | 168 | 340 178.77/178.89 c 131s | 17 | 1178088 | 236232 | 3127 158 | 168 | 340 180.87/180.93 c 133s | 17 | 1198701 | 239832 | 3127 160 | 168 | 340 182.87/182.98 c 135s | 17 | 1216174 | 243332 | 3127 162 | 168 | 340 184.87/184.99 c 137s | 17 | 1232535 | 246732 | 3127 164 | 168 | 340 186.97/187.03 c 139s | 17 | 1252425 | 250132 | 3127 166 | 168 | 340 188.97/189.06 c 141s | 17 | 1271525 | 253732 | 3127 168 | 168 | 340 190.97/191.07 c 143s | 17 | 1287283 | 257332 | 3127 170 | 168 | 340 192.96/193.09 c 145s | 17 | 1304948 | 260932 | 3127 172 | 168 | 340 195.06/195.13 c 147s | 17 | 1323999 | 264632 | 3127 175 | 168 | 340 197.06/197.19 c 149s | 17 | 1343155 | 268432 | 3127 177 | 168 | 340 199.17/199.24 c 151s | 17 | 1362401 | 272032 | 3127 179 | 168 | 340 201.16/201.26 c 153s | 17 | 1377728 | 275032 | 3127 181 | 168 | 340 203.16/203.28 c 155s | 17 | 1396058 | 278632 | 3127 183 | 168 | 340 205.26/205.30 c 157s | 17 | 1412841 | 282132 | 3127 185 | 168 | 340 207.26/207.33 c 159s | 17 | 1431880 | 285532 | 3127 187 | 168 | 340 209.26/209.34 c 161s | 17 | 1448294 | 289032 | 3127 189 | 168 | 340 211.27/211.38 c 163s | 17 | 1466509 | 292732 | 3127 191 | 168 | 340 213.37/213.46 c 165s | 17 | 1483300 | 296232 | 3127 193 | 168 | 340 213.37/213.48 c 165s | 18 | 1483382 | 296252 | 3127 193 | 168 | 340 215.46/215.50 c 167s | 18 | 1503039 | 299752 | 3127 195 | 168 | 340 217.46/217.54 c 170s | 18 | 1520504 | 303252 | 3127 197 | 168 | 340 219.46/219.56 c 172s | 18 | 1540433 | 306952 | 3127 200 | 168 | 340 221.46/221.59 c 174s | 18 | 1558271 | 310552 | 3127 202 | 168 | 340 223.56/223.60 c 176s | 18 | 1574268 | 313852 | 3127 204 | 168 | 340 225.57/225.64 c 178s | 18 | 1592057 | 317452 | 3127 206 | 168 | 340 227.56/227.66 c 180s | 18 | 1609666 | 321052 | 3127 208 | 168 | 340 229.66/229.70 c 182s | 18 | 1628459 | 324652 | 3127 210 | 168 | 340 231.66/231.72 c 184s | 18 | 1645697 | 328052 | 3127 212 | 168 | 340 233.66/233.76 c 186s | 18 | 1662829 | 331652 | 3127 214 | 168 | 340 235.66/235.77 c 188s | 18 | 1680353 | 335152 | 3127 216 | 168 | 340 237.76/237.82 c 190s | 18 | 1698840 | 338652 | 3127 218 | 168 | 340 239.76/239.84 c 192s | 18 | 1717414 | 342052 | 3127 221 | 168 | 340 241.76/241.84 c 194s | 18 | 1734423 | 345752 | 3127 223 | 168 | 340 243.76/243.85 c 196s | 18 | 1752498 | 349352 | 3440 225 | 168 | 340 245.76/245.89 c 198s | 18 | 1771792 | 352752 | 3440 227 | 168 | 340 247.86/247.91 c 200s | 18 | 1790494 | 356152 | 3440 228 | 168 | 340 249.86/249.93 c 202s | 18 | 1807649 | 359552 | 3440 230 | 168 | 340 251.86/251.93 c 204s | 18 | 1824084 | 363052 | 3440 232 | 168 | 340 253.86/253.94 c 206s | 18 | 1839802 | 366252 | 3440 234 | 168 | 340 255.86/255.97 c 208s | 18 | 1857028 | 369752 | 3440 236 | 168 | 340 257.85/257.99 c 210s | 18 | 1871984 | 373052 | 3440 238 | 168 | 340 259.95/260.03 c 212s | 18 | 1887989 | 376552 | 3440 239 | 168 | 340 261.95/262.05 c 214s | 18 | 1905291 | 380052 | 3440 241 | 168 | 340 263.96/264.05 c 216s | 18 | 1922402 | 383552 | 3440 243 | 168 | 340 265.95/266.08 c 218s | 18 | 1941056 | 387152 | 3440 245 | 168 | 340 268.05/268.12 c 220s | 18 | 1956756 | 390752 | 3440 247 | 168 | 340 270.05/270.17 c 222s | 18 | 1972689 | 394252 | 3440 249 | 168 | 340 272.15/272.22 c 224s | 18 | 1989722 | 397652 | 3440 251 | 168 | 340 274.15/274.27 c 226s | 18 | 2006610 | 401152 | 3440 253 | 168 | 340 276.25/276.31 c 228s | 18 | 2020816 | 404552 | 3440 255 | 168 | 340 278.26/278.36 c 230s | 18 | 2037080 | 408152 | 3440 257 | 168 | 340 280.35/280.40 c 232s | 18 | 2056309 | 411752 | 3440 259 | 168 | 340 282.35/282.45 c 234s | 18 | 2074488 | 415252 | 3440 261 | 168 | 340 284.35/284.48 c 236s | 18 | 2091561 | 418752 | 3440 262 | 168 | 340 286.45/286.54 c 239s | 18 | 2110386 | 422552 | 3440 264 | 168 | 340 288.55/288.61 c 241s | 18 | 2128883 | 426052 | 3440 266 | 168 | 340 290.55/290.64 c 243s | 18 | 2148056 | 429652 | 3440 268 | 168 | 340 292.55/292.66 c 245s | 18 | 2164128 | 433052 | 3440 270 | 168 | 340 294.65/294.70 c 247s | 18 | 2181085 | 436652 | 3440 272 | 168 | 340 296.65/296.71 c 249s | 18 | 2197795 | 439952 | 3440 274 | 168 | 340 298.65/298.76 c 251s | 18 | 2211480 | 443352 | 3440 276 | 168 | 340 299.35/299.43 c 251s | 19 | 2218182 | 444482 | 3440 276 | 168 | 340 301.35/301.49 c 253s | 19 | 2235368 | 447782 | 3440 278 | 168 | 340 303.44/303.51 c 255s | 19 | 2253263 | 451282 | 3440 280 | 168 | 340 305.44/305.52 c 258s | 19 | 2270065 | 454782 | 3440 282 | 168 | 340 307.44/307.55 c 260s | 19 | 2287127 | 458382 | 3440 284 | 168 | 340 309.54/309.60 c 262s | 19 | 2302947 | 461982 | 3440 286 | 168 | 340 311.54/311.66 c 264s | 19 | 2320914 | 465482 | 3440 288 | 168 | 340 313.55/313.67 c 266s | 19 | 2342470 | 469382 | 3440 290 | 168 | 340 315.54/315.68 c 268s | 19 | 2361094 | 473082 | 3440 292 | 168 | 340 317.64/317.70 c 270s | 19 | 2380545 | 476582 | 3440 294 | 168 | 340 319.64/319.73 c 272s | 19 | 2401687 | 480282 | 3440 296 | 168 | 340 321.64/321.75 c 274s | 19 | 2420826 | 483682 | 3440 298 | 168 | 340 323.64/323.77 c 276s | 19 | 2441314 | 487382 | 3440 300 | 168 | 340 325.65/325.79 c 278s | 19 | 2460693 | 491182 | 3440 302 | 168 | 340 327.75/327.82 c 280s | 19 | 2478275 | 494682 | 3440 304 | 168 | 340 329.74/329.85 c 282s | 19 | 2498024 | 498482 | 3440 306 | 168 | 340 331.74/331.86 c 284s | 19 | 2515885 | 502082 | 3440 308 | 168 | 340 333.84/333.90 c 286s | 19 | 2532331 | 505682 | 3440 310 | 168 | 340 335.84/335.93 c 288s | 19 | 2547547 | 509082 | 3440 311 | 168 | 340 337.84/337.95 c 290s | 19 | 2562842 | 512382 | 3440 313 | 168 | 340 339.85/339.95 c 292s | 19 | 2579154 | 515682 | 3440 315 | 168 | 340 341.84/341.99 c 294s | 19 | 2596587 | 519282 | 3440 317 | 168 | 340 343.94/344.03 c 296s | 19 | 2615078 | 522882 | 3440 319 | 168 | 340 345.94/346.09 c 298s | 19 | 2632237 | 526482 | 3440 321 | 168 | 340 347.94/348.09 c 300s | 19 | 2650484 | 529882 | 3440 323 | 168 | 340 349.94/350.09 c 302s | 19 | 2666664 | 533282 | 3440 325 | 168 | 340 352.04/352.11 c 304s | 19 | 2684462 | 536682 | 3440 326 | 168 | 340 354.04/354.12 c 306s | 19 | 2701294 | 540082 | 3440 328 | 168 | 340 356.04/356.17 c 308s | 19 | 2720945 | 543582 | 3440 330 | 168 | 340 358.14/358.22 c 310s | 19 | 2735817 | 547082 | 3440 332 | 168 | 340 360.14/360.24 c 312s | 19 | 2753193 | 550482 | 3440 334 | 168 | 340 362.14/362.26 c 314s | 19 | 2769943 | 553982 | 3440 336 | 168 | 340 364.23/364.32 c 316s | 19 | 2791801 | 557382 | 3440 338 | 168 | 340 366.24/366.34 c 318s | 19 | 2810449 | 560782 | 3440 339 | 168 | 340 368.23/368.34 c 320s | 19 | 2829491 | 564482 | 3440 341 | 168 | 340 370.23/370.37 c 322s | 19 | 2846799 | 567982 | 3440 343 | 168 | 340 372.23/372.39 c 324s | 19 | 2865552 | 571382 | 3785 345 | 168 | 340 374.33/374.42 c 326s | 19 | 2881982 | 574682 | 3785 347 | 168 | 340 376.33/376.43 c 328s | 19 | 2899848 | 577982 | 3785 348 | 168 | 340 378.34/378.44 c 330s | 19 | 2917847 | 581382 | 3785 350 | 168 | 340 380.33/380.49 c 332s | 19 | 2934687 | 584682 | 3785 352 | 168 | 340 382.43/382.53 c 335s | 19 | 2950211 | 587882 | 3785 353 | 168 | 340 384.43/384.54 c 337s | 19 | 2966056 | 591282 | 3785 355 | 168 | 340 386.43/386.55 c 339s | 19 | 2981221 | 594382 | 3785 356 | 168 | 340 388.43/388.55 c 341s | 19 | 2998748 | 597682 | 3785 358 | 168 | 340 390.43/390.59 c 343s | 19 | 3016139 | 601082 | 3785 360 | 168 | 340 392.53/392.60 c 345s | 19 | 3033347 | 604182 | 3785 361 | 168 | 340 394.53/394.60 c 347s | 19 | 3053964 | 607582 | 3785 363 | 168 | 340 396.53/396.64 c 349s | 19 | 3075468 | 611082 | 3785 365 | 168 | 340 398.63/398.73 c 351s | 19 | 3097966 | 614682 | 3785 366 | 168 | 340 400.63/400.77 c 353s | 19 | 3116498 | 618782 | 3785 368 | 168 | 340 402.63/402.79 c 355s | 19 | 3134427 | 622282 | 3785 370 | 168 | 340 404.74/404.84 c 357s | 19 | 3151378 | 625782 | 3785 372 | 168 | 340 406.73/406.86 c 359s | 19 | 3167571 | 629282 | 3785 374 | 168 | 340 408.83/408.91 c 361s | 19 | 3184262 | 632882 | 3785 375 | 168 | 340 410.83/410.94 c 363s | 19 | 3198922 | 636482 | 3785 377 | 168 | 340 412.83/412.98 c 365s | 19 | 3217026 | 639982 | 3785 379 | 168 | 340 414.93/415.02 c 367s | 19 | 3235469 | 643582 | 3785 381 | 168 | 340 416.94/417.04 c 369s | 19 | 3253867 | 647182 | 3785 383 | 168 | 340 418.93/419.07 c 371s | 19 | 3271748 | 650682 | 3785 384 | 168 | 340 421.03/421.12 c 373s | 19 | 3289293 | 654382 | 3785 386 | 168 | 340 423.03/423.17 c 375s | 19 | 3308264 | 657982 | 3785 388 | 168 | 340 425.03/425.19 c 377s | 19 | 3328958 | 661482 | 3785 390 | 168 | 340 427.13/427.23 c 379s | 19 | 3346325 | 664782 | 3785 391 | 168 | 340 428.23/428.39 c 380s | 20 | 3358022 | 666827 | 3785 392 | 168 | 340 430.33/430.41 c 382s | 20 | 3376824 | 670227 | 3785 394 | 168 | 340 432.33/432.43 c 384s | 20 | 3397393 | 673627 | 3785 396 | 168 | 340 434.33/434.43 c 386s | 20 | 3414924 | 677127 | 3785 397 | 168 | 340 436.32/436.47 c 388s | 20 | 3431967 | 680627 | 3785 399 | 168 | 340 438.32/438.48 c 390s | 20 | 3449857 | 684127 | 3785 401 | 168 | 340 440.42/440.52 c 393s | 20 | 3469710 | 687527 | 3785 403 | 168 | 340 442.42/442.56 c 395s | 20 | 3488376 | 690927 | 3785 404 | 168 | 340 444.52/444.60 c 397s | 20 | 3504766 | 694027 | 3785 406 | 168 | 340 446.53/446.64 c 399s | 20 | 3523017 | 697827 | 3785 408 | 168 | 340 448.52/448.68 c 401s | 20 | 3544807 | 701427 | 3785 410 | 168 | 340 450.62/450.71 c 403s | 20 | 3564241 | 704927 | 3785 411 | 168 | 340 452.62/452.73 c 405s | 20 | 3584514 | 708327 | 3785 413 | 168 | 340 454.62/454.74 c 407s | 20 | 3604598 | 711827 | 3785 415 | 168 | 340 456.62/456.78 c 409s | 20 | 3620937 | 715227 | 3785 416 | 168 | 340 458.73/458.83 c 411s | 20 | 3637923 | 718727 | 3785 418 | 168 | 340 460.72/460.86 c 413s | 20 | 3653541 | 721527 | 3785 420 | 168 | 340 462.72/462.89 c 415s | 20 | 3671782 | 724927 | 3785 421 | 168 | 340 464.82/464.93 c 417s | 20 | 3688487 | 728427 | 3785 423 | 168 | 340 466.82/466.97 c 419s | 20 | 3706503 | 731827 | 3785 425 | 168 | 340 468.92/469.00 c 421s | 20 | 3723172 | 735127 | 3785 426 | 168 | 340 470.92/471.05 c 423s | 20 | 3743264 | 738627 | 3785 428 | 168 | 340 472.92/473.10 c 425s | 20 | 3762244 | 742027 | 3785 430 | 168 | 340 475.01/475.11 c 427s | 20 | 3777510 | 745427 | 3785 431 | 168 | 340 477.01/477.13 c 429s | 20 | 3793359 | 748727 | 3785 433 | 168 | 340 479.01/479.13 c 431s | 20 | 3810978 | 752027 | 3785 435 | 168 | 340 481.01/481.18 c 433s | 20 | 3826514 | 755327 | 3785 436 | 168 | 340 483.11/483.24 c 435s | 20 | 3841937 | 758727 | 3785 438 | 168 | 340 485.12/485.27 c 437s | 20 | 3862762 | 762227 | 3785 440 | 168 | 340 487.11/487.28 c 439s | 20 | 3882212 | 765827 | 3785 442 | 168 | 340 489.21/489.31 c 441s | 20 | 3899896 | 769427 | 3785 443 | 168 | 340 491.21/491.31 c 443s | 20 | 3918968 | 773127 | 3785 445 | 168 | 340 493.21/493.34 c 445s | 20 | 3936627 | 776827 | 3785 447 | 168 | 340 495.21/495.37 c 447s | 20 | 3955070 | 780427 | 3785 449 | 168 | 340 497.31/497.43 c 449s | 20 | 3971484 | 783827 | 3785 450 | 168 | 340 499.32/499.46 c 451s | 20 | 3991528 | 787427 | 3785 452 | 168 | 340 501.31/501.48 c 453s | 20 | 4011791 | 791127 | 3785 454 | 168 | 340 503.31/503.49 c 455s | 20 | 4029952 | 794527 | 3785 456 | 168 | 340 505.41/505.53 c 458s | 20 | 4048109 | 798027 | 3785 457 | 168 | 340 507.41/507.58 c 460s | 20 | 4066149 | 801527 | 3785 459 | 168 | 340 509.52/509.60 c 462s | 20 | 4085202 | 804927 | 3785 461 | 168 | 340 511.62/511.70 c 464s | 20 | 4104844 | 808527 | 3785 463 | 168 | 340 513.62/513.73 c 466s | 20 | 4125919 | 812027 | 3785 464 | 168 | 340 515.62/515.74 c 468s | 20 | 4144846 | 815527 | 3785 466 | 168 | 340 517.62/517.75 c 470s | 20 | 4162829 | 818927 | 3785 468 | 168 | 340 519.62/519.78 c 472s | 20 | 4183571 | 822327 | 3785 470 | 168 | 340 521.72/521.81 c 474s | 20 | 4203681 | 825727 | 3785 471 | 168 | 340 523.72/523.84 c 476s | 20 | 4221108 | 829127 | 3785 473 | 168 | 340 525.72/525.85 c 478s | 20 | 4240221 | 832627 | 3785 475 | 168 | 340 527.71/527.88 c 480s | 20 | 4258196 | 836227 | 3785 476 | 168 | 340 529.81/529.90 c 482s | 20 | 4275524 | 839727 | 3785 478 | 168 | 340 531.81/531.92 c 484s | 20 | 4291712 | 842927 | 3785 480 | 168 | 340 533.81/533.96 c 486s | 20 | 4310638 | 846327 | 3785 481 | 168 | 340 535.91/536.00 c 488s | 20 | 4327858 | 849727 | 3785 483 | 168 | 340 537.82/538.00 c 490s | 20 | 4344126 | 853127 | 3785 485 | 168 | 340 539.91/540.00 c 492s | 20 | 4360401 | 856327 | 3785 486 | 168 | 340 542.01/542.10 c 494s | 20 | 4377502 | 859727 | 3785 488 | 168 | 340 544.01/544.12 c 496s | 20 | 4393887 | 863327 | 3785 490 | 168 | 340 546.01/546.13 c 498s | 20 | 4411214 | 866627 | 3785 492 | 168 | 340 548.01/548.18 c 500s | 20 | 4427726 | 870027 | 3785 493 | 168 | 340 550.02/550.19 c 502s | 20 | 4444562 | 873227 | 3785 495 | 168 | 340 552.01/552.20 c 504s | 20 | 4463447 | 876627 | 3785 497 | 168 | 340 554.11/554.23 c 506s | 20 | 4479320 | 880127 | 3785 498 | 168 | 340 556.11/556.23 c 508s | 20 | 4496160 | 883227 | 3785 500 | 168 | 340 558.11/558.26 c 510s | 20 | 4514680 | 886727 | 3785 502 | 168 | 340 560.11/560.26 c 512s | 20 | 4532065 | 890327 | 3785 503 | 168 | 340 562.21/562.32 c 514s | 20 | 4550460 | 893727 | 3785 505 | 168 | 340 564.21/564.35 c 516s | 20 | 4569664 | 897127 | 3785 507 | 168 | 340 566.21/566.38 c 518s | 20 | 4587711 | 900527 | 3785 508 | 168 | 340 568.31/568.40 c 520s | 20 | 4603402 | 904027 | 4164 510 | 168 | 340 570.30/570.45 c 522s | 20 | 4621646 | 907327 | 4164 511 | 168 | 340 572.40/572.51 c 524s | 20 | 4642278 | 910727 | 4164 513 | 168 | 340 574.40/574.54 c 527s | 20 | 4658304 | 913927 | 4164 514 | 168 | 340 576.41/576.57 c 529s | 20 | 4675718 | 917127 | 4164 516 | 168 | 340 578.51/578.61 c 531s | 20 | 4692638 | 920427 | 4164 517 | 168 | 340 580.50/580.68 c 533s | 20 | 4711116 | 923827 | 4164 519 | 168 | 340 582.60/582.75 c 535s | 20 | 4729657 | 927227 | 4164 521 | 168 | 340 584.60/584.75 c 537s | 20 | 4744351 | 930227 | 4164 522 | 168 | 340 586.60/586.76 c 539s | 20 | 4760144 | 933427 | 4164 523 | 168 | 340 588.70/588.81 c 541s | 20 | 4774522 | 936527 | 4164 525 | 168 | 340 590.71/590.86 c 543s | 20 | 4791770 | 939927 | 4164 526 | 168 | 340 592.70/592.87 c 545s | 20 | 4808903 | 943327 | 4164 528 | 168 | 340 594.70/594.89 c 547s | 20 | 4826003 | 946727 | 4164 529 | 168 | 340 596.80/596.93 c 549s | 20 | 4843084 | 950127 | 4164 531 | 168 | 340 598.80/598.93 c 551s | 20 | 4859530 | 953327 | 4164 532 | 168 | 340 600.80/600.97 c 553s | 20 | 4876358 | 956727 | 4164 534 | 168 | 340 602.90/603.02 c 555s | 20 | 4893575 | 959927 | 4164 535 | 168 | 340 604.91/605.03 c 557s | 20 | 4909860 | 963127 | 4164 537 | 168 | 340 606.90/607.03 c 559s | 20 | 4928109 | 966527 | 4164 538 | 168 | 340 608.90/609.06 c 561s | 20 | 4946717 | 970027 | 4164 540 | 168 | 340 610.90/611.07 c 563s | 20 | 4963808 | 973527 | 4164 542 | 168 | 340 613.00/613.10 c 565s | 20 | 4980757 | 977027 | 4164 543 | 168 | 340 615.00/615.12 c 567s | 20 | 4999174 | 980527 | 4164 545 | 168 | 340 617.00/617.12 c 569s | 20 | 5016454 | 983827 | 4164 546 | 168 | 340 618.99/619.13 c 571s | 20 | 5034491 | 987227 | 4164 548 | 168 | 340 620.99/621.18 c 573s | 20 | 5053688 | 990627 | 4164 549 | 168 | 340 623.09/623.22 c 575s | 20 | 5070920 | 994027 | 4164 551 | 168 | 340 625.09/625.25 c 577s | 20 | 5088132 | 997427 | 4164 552 | 168 | 340 626.79/626.94 c 579s | 21 | 5105245 | 1000345 | 4164 554 | 168 | 340 628.79/628.99 c 581s | 21 | 5122800 | 1003845 | 4164 555 | 168 | 340 630.89/631.01 c 583s | 21 | 5143017 | 1007445 | 4164 557 | 168 | 340 632.89/633.01 c 585s | 21 | 5163332 | 1010945 | 4164 559 | 168 | 340 634.89/635.03 c 587s | 21 | 5182355 | 1014445 | 4164 560 | 168 | 340 636.90/637.08 c 589s | 21 | 5204779 | 1018145 | 4164 562 | 168 | 340 639.00/639.12 c 591s | 21 | 5225575 | 1021745 | 4164 563 | 168 | 340 640.98/641.15 c 593s | 21 | 5242580 | 1025145 | 4164 565 | 168 | 340 642.98/643.17 c 595s | 21 | 5262194 | 1028645 | 4164 567 | 168 | 340 644.98/645.17 c 597s | 21 | 5278474 | 1032145 | 4164 568 | 168 | 340 647.08/647.20 c 599s | 21 | 5295596 | 1035545 | 4164 570 | 168 | 340 649.08/649.24 c 601s | 21 | 5314566 | 1039245 | 4164 571 | 168 | 340 651.10/651.29 c 603s | 21 | 5331660 | 1042745 | 4164 573 | 168 | 340 653.19/653.30 c 605s | 21 | 5349711 | 1046045 | 4164 574 | 168 | 340 655.19/655.32 c 607s | 21 | 5369018 | 1049445 | 4164 576 | 168 | 340 657.19/657.33 c 609s | 21 | 5385503 | 1052845 | 4164 578 | 168 | 340 659.19/659.37 c 611s | 21 | 5402086 | 1056245 | 4164 579 | 168 | 340 661.19/661.38 c 613s | 21 | 5418986 | 1059745 | 4164 581 | 168 | 340 663.19/663.39 c 615s | 21 | 5437195 | 1063345 | 4164 582 | 168 | 340 665.29/665.40 c 617s | 21 | 5455923 | 1066945 | 4164 584 | 168 | 340 667.28/667.44 c 619s | 21 | 5474373 | 1070445 | 4164 585 | 168 | 340 669.28/669.44 c 621s | 21 | 5491705 | 1074045 | 4164 587 | 168 | 340 671.28/671.48 c 623s | 21 | 5510133 | 1077545 | 4164 589 | 168 | 340 673.28/673.49 c 625s | 21 | 5527607 | 1080945 | 4164 590 | 168 | 340 675.39/675.54 c 628s | 21 | 5545059 | 1084445 | 4164 592 | 168 | 340 677.38/677.57 c 630s | 21 | 5562906 | 1087745 | 4164 593 | 168 | 340 679.38/679.57 c 632s | 21 | 5580654 | 1090945 | 4164 595 | 168 | 340 681.48/681.61 c 634s | 21 | 5598253 | 1094345 | 4164 596 | 168 | 340 683.48/683.63 c 636s | 21 | 5616838 | 1097945 | 4164 598 | 168 | 340 685.48/685.68 c 638s | 21 | 5633628 | 1101545 | 4164 600 | 168 | 340 687.57/687.71 c 640s | 21 | 5651480 | 1104945 | 4164 601 | 168 | 340 689.58/689.72 c 642s | 21 | 5671177 | 1108445 | 4164 603 | 168 | 340 691.57/691.74 c 644s | 21 | 5688858 | 1111845 | 4164 604 | 168 | 340 693.57/693.77 c 646s | 21 | 5706360 | 1115245 | 4164 606 | 168 | 340 695.67/695.83 c 648s | 21 | 5727276 | 1118645 | 4164 607 | 168 | 340 697.67/697.85 c 650s | 21 | 5743935 | 1122145 | 4164 609 | 168 | 340 699.67/699.88 c 652s | 21 | 5763504 | 1125545 | 4164 610 | 168 | 340 701.78/701.92 c 654s | 21 | 5780471 | 1128945 | 4164 612 | 168 | 340 703.77/703.93 c 656s | 21 | 5798538 | 1132545 | 4164 614 | 168 | 340 705.77/705.97 c 658s | 21 | 5815825 | 1136045 | 4164 615 | 168 | 340 707.77/707.98 c 660s | 21 | 5833150 | 1139345 | 4164 617 | 168 | 340 709.77/709.99 c 662s | 21 | 5849264 | 1142645 | 4164 618 | 168 | 340 711.87/712.01 c 664s | 21 | 5864249 | 1145945 | 4164 620 | 168 | 340 713.87/714.05 c 666s | 21 | 5881322 | 1149545 | 4164 621 | 168 | 340 715.87/716.09 c 668s | 21 | 5903505 | 1153045 | 4164 623 | 168 | 340 717.97/718.13 c 670s | 21 | 5921843 | 1156345 | 4164 624 | 168 | 340 719.97/720.19 c 672s | 21 | 5941919 | 1159945 | 4164 626 | 168 | 340 722.07/722.24 c 674s | 21 | 5959543 | 1163345 | 4164 628 | 168 | 340 724.07/724.27 c 676s | 21 | 5979385 | 1166645 | 4164 629 | 168 | 340 726.17/726.31 c 678s | 21 | 6002978 | 1169445 | 4164 630 | 168 | 340 728.18/728.32 c 680s | 21 | 6025630 | 1171945 | 4164 632 | 168 | 340 730.17/730.37 c 682s | 21 | 6041661 | 1174745 | 4164 633 | 168 | 340 732.27/732.40 c 684s | 21 | 6062115 | 1177245 | 4164 634 | 168 | 340 734.27/734.45 c 686s | 21 | 6087050 | 1179845 | 4164 635 | 168 | 340 736.27/736.47 c 688s | 21 | 6104919 | 1183045 | 4164 637 | 168 | 340 738.27/738.47 c 690s | 21 | 6120814 | 1186145 | 4164 638 | 168 | 340 740.36/740.52 c 693s | 21 | 6136410 | 1189445 | 4164 639 | 168 | 340 742.37/742.55 c 695s | 21 | 6153407 | 1192845 | 4164 641 | 168 | 340 744.46/744.64 c 697s | 21 | 6170160 | 1196145 | 4164 642 | 168 | 340 746.46/746.68 c 699s | 21 | 6186618 | 1199245 | 4164 644 | 168 | 340 748.56/748.70 c 701s | 21 | 6203538 | 1202645 | 4164 645 | 168 | 340 750.56/750.74 c 703s | 21 | 6224984 | 1205545 | 4164 647 | 168 | 340 752.66/752.82 c 705s | 21 | 6249190 | 1208545 | 4164 648 | 168 | 340 754.66/754.83 c 707s | 21 | 6272988 | 1211445 | 4164 649 | 168 | 340 756.66/756.85 c 709s | 21 | 6290140 | 1214445 | 4164 651 | 168 | 340 758.66/758.87 c 711s | 21 | 6312003 | 1217145 | 4164 652 | 168 | 340 760.76/760.90 c 713s | 21 | 6333205 | 1220645 | 4164 654 | 168 | 340 762.76/762.90 c 715s | 21 | 6353450 | 1223945 | 4164 655 | 168 | 340 764.75/764.93 c 717s | 21 | 6371005 | 1227245 | 4164 657 | 168 | 340 766.75/766.98 c 719s | 21 | 6392956 | 1230145 | 4164 658 | 168 | 340 768.86/769.04 c 721s | 21 | 6417315 | 1232845 | 4164 659 | 168 | 340 770.85/771.05 c 723s | 21 | 6441429 | 1235745 | 4164 660 | 168 | 340 772.95/773.10 c 725s | 21 | 6465091 | 1238745 | 4164 662 | 168 | 340 774.95/775.11 c 727s | 21 | 6488498 | 1241845 | 4164 663 | 168 | 340 776.95/777.15 c 729s | 21 | 6513736 | 1244645 | 4164 664 | 168 | 340 779.05/779.20 c 731s | 21 | 6533547 | 1247645 | 4164 666 | 168 | 340 781.04/781.25 c 733s | 21 | 6554715 | 1250645 | 4164 667 | 168 | 340 783.05/783.26 c 735s | 21 | 6573381 | 1253245 | 4164 668 | 168 | 340 785.04/785.29 c 737s | 21 | 6593071 | 1255745 | 4164 669 | 168 | 340 787.14/787.34 c 739s | 21 | 6614953 | 1258445 | 4164 671 | 168 | 340 789.24/789.41 c 741s | 21 | 6636103 | 1261645 | 4164 672 | 168 | 340 791.24/791.43 c 743s | 21 | 6653994 | 1264845 | 4164 674 | 168 | 340 793.24/793.47 c 745s | 21 | 6668556 | 1268145 | 4164 675 | 168 | 340 795.25/795.48 c 747s | 21 | 6692282 | 1271045 | 4164 676 | 168 | 340 797.34/797.52 c 750s | 21 | 6716195 | 1274245 | 4164 678 | 168 | 340 799.34/799.53 c 752s | 21 | 6731379 | 1276545 | 4164 679 | 168 | 340 801.33/801.54 c 754s | 21 | 6748024 | 1278945 | 4164 680 | 168 | 340 803.33/803.57 c 756s | 21 | 6767092 | 1282145 | 4164 681 | 168 | 340 805.33/805.57 c 758s | 21 | 6786002 | 1285545 | 4164 683 | 168 | 340 807.43/807.62 c 760s | 21 | 6805844 | 1288745 | 4164 684 | 168 | 340 809.44/809.64 c 762s | 21 | 6827464 | 1291745 | 4164 686 | 168 | 340 811.43/811.67 c 764s | 21 | 6843783 | 1294845 | 4164 687 | 168 | 340 813.53/813.71 c 766s | 21 | 6859255 | 1298045 | 4164 689 | 168 | 340 815.53/815.74 c 768s | 21 | 6876804 | 1301345 | 4164 690 | 168 | 340 817.53/817.79 c 770s | 21 | 6901607 | 1304345 | 4164 692 | 168 | 340 819.63/819.81 c 772s | 21 | 6919514 | 1307545 | 4164 693 | 168 | 340 821.64/821.82 c 774s | 21 | 6938572 | 1310845 | 4164 694 | 168 | 340 823.63/823.85 c 776s | 21 | 6958061 | 1314245 | 4164 696 | 168 | 340 825.73/825.91 c 778s | 21 | 6975728 | 1317545 | 4164 698 | 168 | 340 827.73/827.92 c 780s | 21 | 6995202 | 1320845 | 4164 699 | 168 | 340 829.72/829.95 c 782s | 21 | 7015190 | 1323545 | 4164 700 | 168 | 340 831.82/832.01 c 784s | 21 | 7036475 | 1326545 | 4164 702 | 168 | 340 833.82/834.03 c 786s | 21 | 7057400 | 1329745 | 4164 703 | 168 | 340 835.83/836.05 c 788s | 21 | 7074615 | 1332945 | 4164 705 | 168 | 340 837.82/838.07 c 790s | 21 | 7096254 | 1336145 | 4164 706 | 168 | 340 839.92/840.12 c 792s | 21 | 7117982 | 1338945 | 4164 707 | 168 | 340 841.92/842.16 c 794s | 21 | 7134496 | 1342245 | 4164 709 | 168 | 340 843.92/844.16 c 796s | 21 | 7156340 | 1345345 | 4164 710 | 168 | 340 846.02/846.20 c 798s | 21 | 7175478 | 1348745 | 4164 712 | 168 | 340 848.03/848.22 c 800s | 21 | 7192402 | 1352145 | 4164 713 | 168 | 340 850.01/850.26 c 802s | 21 | 7219386 | 1355045 | 4164 715 | 168 | 340 852.11/852.34 c 804s | 21 | 7238740 | 1358345 | 4164 716 | 168 | 340 854.11/854.36 c 806s | 21 | 7263476 | 1360945 | 4164 717 | 168 | 340 856.21/856.42 c 808s | 21 | 7283722 | 1363845 | 4164 719 | 168 | 340 858.21/858.43 c 810s | 21 | 7304123 | 1366445 | 4164 720 | 168 | 340 860.21/860.44 c 812s | 21 | 7327358 | 1369245 | 4164 721 | 168 | 340 862.21/862.44 c 814s | 21 | 7350918 | 1371945 | 4164 722 | 168 | 340 864.31/864.50 c 816s | 21 | 7368254 | 1374345 | 4164 723 | 168 | 340 866.41/866.60 c 819s | 21 | 7390622 | 1376845 | 4164 724 | 168 | 340 868.41/868.69 c 821s | 21 | 7414663 | 1379345 | 4164 726 | 168 | 340 870.50/870.73 c 823s | 21 | 7433687 | 1382045 | 4164 727 | 168 | 340 872.50/872.74 c 825s | 21 | 7452016 | 1385445 | 4164 728 | 168 | 340 874.60/874.85 c 827s | 21 | 7470038 | 1388845 | 4164 730 | 168 | 340 876.70/876.90 c 829s | 21 | 7488737 | 1392045 | 4164 731 | 168 | 340 878.71/878.91 c 831s | 21 | 7504406 | 1395445 | 4164 733 | 168 | 340 880.70/880.93 c 833s | 21 | 7525857 | 1398845 | 4581 734 | 168 | 340 882.70/882.98 c 835s | 21 | 7549856 | 1401745 | 4581 735 | 168 | 340 884.80/885.03 c 837s | 21 | 7567608 | 1404645 | 4581 737 | 168 | 340 886.80/887.05 c 839s | 21 | 7585216 | 1407845 | 4581 738 | 168 | 340 888.79/889.08 c 841s | 21 | 7599323 | 1411045 | 4581 739 | 168 | 340 890.90/891.11 c 843s | 21 | 7615405 | 1414245 | 4581 741 | 168 | 340 892.89/893.12 c 845s | 21 | 7633104 | 1417545 | 4581 742 | 168 | 340 894.89/895.14 c 847s | 21 | 7653575 | 1421145 | 4581 743 | 168 | 340 896.99/897.22 c 849s | 21 | 7671476 | 1424645 | 4581 745 | 168 | 340 898.99/899.29 c 851s | 21 | 7689212 | 1427845 | 4581 746 | 168 | 340 901.08/901.30 c 853s | 21 | 7711327 | 1431045 | 4581 748 | 168 | 340 903.08/903.39 c 855s | 21 | 7736828 | 1433945 | 4581 749 | 168 | 340 905.19/905.46 c 857s | 21 | 7762012 | 1436745 | 4581 750 | 168 | 340 907.29/907.50 c 859s | 21 | 7786072 | 1439145 | 4581 751 | 168 | 340 909.28/909.54 c 862s | 21 | 7807367 | 1441845 | 4581 752 | 168 | 340 911.28/911.56 c 864s | 21 | 7824802 | 1445345 | 4581 753 | 168 | 340 913.28/913.57 c 866s | 21 | 7848972 | 1448345 | 4581 755 | 168 | 340 915.28/915.58 c 868s | 21 | 7866667 | 1451745 | 4581 756 | 168 | 340 917.38/917.62 c 870s | 21 | 7885330 | 1455045 | 4581 757 | 168 | 340 919.39/919.67 c 872s | 21 | 7906015 | 1458145 | 4581 759 | 168 | 340 921.47/921.72 c 874s | 21 | 7923943 | 1461545 | 4581 760 | 168 | 340 923.47/923.72 c 876s | 21 | 7952252 | 1464245 | 4581 761 | 168 | 340 925.57/925.81 c 878s | 21 | 7973469 | 1466945 | 4581 762 | 168 | 340 927.57/927.82 c 880s | 21 | 7996002 | 1469445 | 4581 763 | 168 | 340 929.57/929.82 c 882s | 21 | 8020364 | 1472045 | 4581 764 | 168 | 340 931.57/931.83 c 884s | 21 | 8041481 | 1474545 | 4581 766 | 168 | 340 933.57/933.88 c 886s | 21 | 8062735 | 1477645 | 4581 767 | 168 | 340 935.67/935.91 c 888s | 21 | 8086479 | 1480445 | 4581 768 | 168 | 340 937.67/937.94 c 890s | 21 | 8105886 | 1483345 | 4581 769 | 168 | 340 939.67/939.96 c 892s | 21 | 8122851 | 1486545 | 4581 770 | 168 | 340 941.66/941.98 c 894s | 21 | 8139703 | 1489945 | 4581 772 | 168 | 340 943.76/944.02 c 896s | 21 | 8155168 | 1493245 | 4581 773 | 168 | 340 945.78/946.07 c 898s | 21 | 8173271 | 1496545 | 4581 775 | 168 | 340 947.87/948.10 c 900s | 21 | 8193383 | 1499545 | 4581 776 | 168 | 340 948.67/948.93 c 901s | 22 | 8200431 | 1500622 | 4581 776 | 168 | 340 950.67/950.97 c 903s | 22 | 8216796 | 1503922 | 4581 778 | 168 | 340 952.77/953.00 c 905s | 22 | 8238073 | 1507122 | 4581 779 | 168 | 340 954.77/955.00 c 907s | 22 | 8257880 | 1510422 | 4581 780 | 168 | 340 956.78/957.01 c 909s | 22 | 8279786 | 1513722 | 4581 782 | 168 | 340 958.77/959.05 c 911s | 22 | 8295911 | 1517122 | 4581 783 | 168 | 340 960.77/961.08 c 913s | 22 | 8314599 | 1520422 | 4581 785 | 168 | 340 962.86/963.11 c 915s | 22 | 8333052 | 1523722 | 4581 786 | 168 | 340 964.86/965.13 c 917s | 22 | 8353069 | 1527122 | 4581 787 | 168 | 340 966.86/967.13 c 919s | 22 | 8369313 | 1530422 | 4581 789 | 168 | 340 968.87/969.17 c 921s | 22 | 8386637 | 1533922 | 4581 790 | 168 | 340 970.96/971.22 c 923s | 22 | 8403715 | 1537422 | 4581 792 | 168 | 340 972.96/973.24 c 925s | 22 | 8421434 | 1540622 | 4581 793 | 168 | 340 974.96/975.25 c 927s | 22 | 8436948 | 1543822 | 4581 794 | 168 | 340 977.06/977.32 c 929s | 22 | 8454219 | 1547322 | 4581 796 | 168 | 340 979.06/979.37 c 931s | 22 | 8474688 | 1550122 | 4581 797 | 168 | 340 981.16/981.44 c 933s | 22 | 8489626 | 1553322 | 4581 798 | 168 | 340 983.16/983.46 c 935s | 22 | 8517545 | 1556122 | 4581 799 | 168 | 340 985.16/985.49 c 937s | 22 | 8534393 | 1559122 | 4581 801 | 168 | 340 987.26/987.56 c 940s | 22 | 8552367 | 1562422 | 4581 802 | 168 | 340 989.36/989.64 c 942s | 22 | 8572020 | 1565322 | 4581 803 | 168 | 340 991.35/991.69 c 944s | 22 | 8590407 | 1568122 | 4581 804 | 168 | 340 993.45/993.71 c 946s | 22 | 8611488 | 1570822 | 4581 805 | 168 | 340 995.45/995.75 c 948s | 22 | 8636744 | 1573922 | 4581 807 | 168 | 340 997.46/997.77 c 950s | 22 | 8659997 | 1576722 | 4581 808 | 168 | 340 999.45/999.77 c 952s | 22 | 8686426 | 1579522 | 4581 809 | 168 | 340 1001.55/1001.83 c 954s | 22 | 8707706 | 1582122 | 4581 810 | 168 | 340 1003.55/1003.84 c 956s | 22 | 8729747 | 1585022 | 4581 811 | 168 | 340 1005.55/1005.86 c 958s | 22 | 8748578 | 1587622 | 4581 812 | 168 | 340 1007.55/1007.88 c 960s | 22 | 8762258 | 1590622 | 4581 814 | 168 | 340 1009.65/1009.93 c 962s | 22 | 8781706 | 1593622 | 4581 815 | 168 | 340 1011.64/1012.00 c 964s | 22 | 8804564 | 1596322 | 4581 816 | 168 | 340 1013.74/1014.02 c 966s | 22 | 8820745 | 1599022 | 4581 817 | 168 | 340 1015.74/1016.03 c 968s | 22 | 8836264 | 1601922 | 4581 818 | 168 | 340 1017.74/1018.08 c 970s | 22 | 8854013 | 1605122 | 4581 820 | 168 | 340 1019.84/1020.10 c 972s | 22 | 8872039 | 1608322 | 4581 821 | 168 | 340 1021.84/1022.15 c 974s | 22 | 8888788 | 1611622 | 4581 822 | 168 | 340 1023.84/1024.18 c 976s | 22 | 8904526 | 1614922 | 4581 824 | 168 | 340 1025.93/1026.24 c 978s | 22 | 8926577 | 1618022 | 4581 825 | 168 | 340 1027.93/1028.27 c 980s | 22 | 8945791 | 1621522 | 4581 826 | 168 | 340 1030.03/1030.31 c 982s | 22 | 8964220 | 1624522 | 4581 828 | 168 | 340 1032.03/1032.36 c 984s | 22 | 8983158 | 1627822 | 4581 829 | 168 | 340 1034.03/1034.36 c 986s | 22 | 9002887 | 1630522 | 4581 830 | 168 | 340 1036.13/1036.42 c 988s | 22 | 9021583 | 1633422 | 4581 831 | 168 | 340 1038.14/1038.48 c 990s | 22 | 9041076 | 1636522 | 4581 833 | 168 | 340 1040.12/1040.48 c 992s | 22 | 9060415 | 1639722 | 4581 834 | 168 | 340 1042.12/1042.48 c 994s | 22 | 9078159 | 1643022 | 4581 835 | 168 | 340 1044.12/1044.50 c 996s | 22 | 9099150 | 1646322 | 4581 837 | 168 | 340 1046.22/1046.50 c 998s | 22 | 9126219 | 1649122 | 4581 838 | 168 | 340 1048.22/1048.53 c 1001s | 22 | 9150914 | 1651622 | 4581 839 | 168 | 340 1050.23/1050.56 c 1003s | 22 | 9173701 | 1654422 | 4581 840 | 168 | 340 1052.22/1052.57 c 1005s | 22 | 9195319 | 1656722 | 4581 841 | 168 | 340 1054.32/1054.60 c 1007s | 22 | 9217483 | 1659122 | 4581 842 | 168 | 340 1056.32/1056.64 c 1009s | 22 | 9240889 | 1661922 | 4581 843 | 168 | 340 1058.42/1058.70 c 1011s | 22 | 9261313 | 1664422 | 4581 844 | 168 | 340 1060.41/1060.72 c 1013s | 22 | 9278499 | 1667322 | 4581 845 | 168 | 340 1062.42/1062.77 c 1015s | 22 | 9308766 | 1670222 | 4581 847 | 168 | 340 1064.41/1064.77 c 1017s | 22 | 9326036 | 1673222 | 4581 848 | 168 | 340 1066.41/1066.79 c 1019s | 22 | 9341287 | 1676722 | 4581 849 | 168 | 340 1068.41/1068.79 c 1021s | 22 | 9357673 | 1679622 | 4581 850 | 168 | 340 1070.51/1070.85 c 1023s | 22 | 9377035 | 1682722 | 4581 852 | 168 | 340 1072.61/1072.91 c 1025s | 22 | 9397391 | 1685322 | 4581 853 | 168 | 340 1074.61/1074.92 c 1027s | 22 | 9412014 | 1688122 | 4581 854 | 168 | 340 1076.61/1076.96 c 1029s | 22 | 9427887 | 1691322 | 4581 855 | 168 | 340 1078.71/1079.00 c 1031s | 22 | 9443469 | 1694422 | 4581 857 | 168 | 340 1080.70/1081.01 c 1033s | 22 | 9467808 | 1697122 | 4581 858 | 168 | 340 1082.70/1083.04 c 1035s | 22 | 9484322 | 1700222 | 4581 859 | 168 | 340 1084.70/1085.09 c 1037s | 22 | 9501483 | 1703522 | 4581 860 | 168 | 340 1086.80/1087.13 c 1039s | 22 | 9521235 | 1707022 | 4581 862 | 168 | 340 1088.81/1089.15 c 1041s | 22 | 9539118 | 1710222 | 4581 863 | 168 | 340 1090.80/1091.16 c 1043s | 22 | 9557529 | 1713422 | 4581 864 | 168 | 340 1092.80/1093.16 c 1045s | 22 | 9571851 | 1716722 | 4581 866 | 168 | 340 1094.90/1095.21 c 1047s | 22 | 9589373 | 1720322 | 4581 867 | 168 | 340 1096.90/1097.22 c 1049s | 22 | 9613608 | 1723422 | 4581 869 | 168 | 340 1098.90/1099.27 c 1051s | 22 | 9636741 | 1726422 | 4581 870 | 168 | 340 1100.99/1101.35 c 1053s | 22 | 9664158 | 1729122 | 4581 871 | 168 | 340 1103.00/1103.40 c 1055s | 22 | 9691237 | 1731722 | 4581 872 | 168 | 340 1105.09/1105.43 c 1057s | 22 | 9712884 | 1734522 | 4581 873 | 168 | 340 1107.09/1107.46 c 1059s | 22 | 9731776 | 1737522 | 4581 874 | 168 | 340 1109.19/1109.53 c 1062s | 22 | 9756391 | 1740222 | 4581 876 | 168 | 340 1111.19/1111.56 c 1064s | 22 | 9775070 | 1742722 | 4581 877 | 168 | 340 1113.19/1113.57 c 1066s | 22 | 9792769 | 1745722 | 4581 878 | 168 | 340 1115.29/1115.64 c 1068s | 22 | 9814749 | 1748322 | 4581 879 | 168 | 340 1117.29/1117.65 c 1070s | 22 | 9830035 | 1751522 | 4581 880 | 168 | 340 1119.29/1119.66 c 1072s | 22 | 9850805 | 1754522 | 4581 881 | 168 | 340 1121.28/1121.67 c 1074s | 22 | 9866443 | 1757722 | 4581 883 | 168 | 340 1123.28/1123.69 c 1076s | 22 | 9882897 | 1760922 | 4581 884 | 168 | 340 1125.38/1125.75 c 1078s | 22 | 9897575 | 1764022 | 4581 885 | 168 | 340 1127.38/1127.76 c 1080s | 22 | 9913190 | 1767122 | 4581 887 | 168 | 340 1129.38/1129.79 c 1082s | 22 | 9931431 | 1770422 | 4581 888 | 168 | 340 1131.47/1131.83 c 1084s | 22 | 9949041 | 1773722 | 4581 889 | 168 | 340 1133.47/1133.85 c 1086s | 22 | 9967250 | 1777122 | 4581 891 | 168 | 340 1135.47/1135.89 c 1088s | 22 | 9983136 | 1780422 | 4581 892 | 168 | 340 1137.58/1137.97 c 1090s | 22 | 9999992 | 1783722 | 4581 894 | 168 | 340 1139.68/1140.00 c 1092s | 22 | 10015471 | 1786822 | 4581 895 | 168 | 340 1141.68/1142.01 c 1094s | 22 | 10032140 | 1789922 | 4581 896 | 168 | 340 1143.68/1144.06 c 1096s | 22 | 10053884 | 1793022 | 4581 897 | 168 | 340 1145.78/1146.11 c 1098s | 22 | 10071158 | 1796122 | 4581 899 | 168 | 340 1147.78/1148.14 c 1100s | 22 | 10088806 | 1799222 | 4581 900 | 168 | 340 1149.87/1150.20 c 1102s | 22 | 10105607 | 1802422 | 4581 901 | 168 | 340 1151.87/1152.25 c 1104s | 22 | 10121094 | 1805222 | 4581 902 | 168 | 340 1153.87/1154.25 c 1106s | 22 | 10137370 | 1808422 | 4581 904 | 168 | 340 1155.88/1156.28 c 1108s | 22 | 10153828 | 1811522 | 4581 905 | 168 | 340 1157.87/1158.29 c 1110s | 22 | 10167338 | 1814622 | 4581 906 | 168 | 340 1159.96/1160.34 c 1112s | 22 | 10181933 | 1818122 | 4581 908 | 168 | 340 1162.06/1162.42 c 1114s | 22 | 10199829 | 1820822 | 4581 909 | 168 | 340 1164.06/1164.46 c 1116s | 22 | 10218306 | 1823222 | 4581 910 | 168 | 340 1166.06/1166.49 c 1118s | 22 | 10235755 | 1825922 | 4581 911 | 168 | 340 1168.16/1168.54 c 1121s | 22 | 10258677 | 1828422 | 4581 912 | 168 | 340 1170.26/1170.64 c 1123s | 22 | 10275418 | 1830822 | 4581 913 | 168 | 340 1172.27/1172.68 c 1125s | 22 | 10294839 | 1833222 | 4581 914 | 168 | 340 1174.26/1174.69 c 1127s | 22 | 10308917 | 1835622 | 4581 915 | 168 | 340 1176.36/1176.74 c 1129s | 22 | 10328029 | 1838322 | 4581 916 | 168 | 340 1178.36/1178.77 c 1131s | 22 | 10343228 | 1841122 | 4581 917 | 168 | 340 1180.46/1180.81 c 1133s | 22 | 10360679 | 1843722 | 4581 918 | 168 | 340 1182.46/1182.86 c 1135s | 22 | 10375607 | 1846222 | 4581 919 | 168 | 340 1184.46/1184.87 c 1137s | 22 | 10393623 | 1848522 | 4581 920 | 168 | 340 1186.56/1186.91 c 1139s | 22 | 10410367 | 1851222 | 4581 921 | 168 | 340 1188.56/1188.98 c 1141s | 22 | 10427367 | 1853622 | 4581 922 | 168 | 340 1190.65/1191.04 c 1143s | 22 | 10446148 | 1856022 | 4581 923 | 168 | 340 1192.75/1193.13 c 1145s | 22 | 10462303 | 1858522 | 4581 925 | 168 | 340 1194.75/1195.18 c 1147s | 22 | 10477021 | 1861222 | 4581 926 | 168 | 340 1196.85/1197.25 c 1149s | 22 | 10495582 | 1863722 | 4581 927 | 168 | 340 1198.85/1199.29 c 1151s | 22 | 10512524 | 1866522 | 4581 928 | 168 | 340 1200.95/1201.30 c 1153s | 22 | 10526224 | 1869522 | 4581 929 | 168 | 340 1202.95/1203.35 c 1155s | 22 | 10543260 | 1872022 | 4581 930 | 168 | 340 1204.95/1205.39 c 1157s | 22 | 10561723 | 1875022 | 4581 931 | 168 | 340 1207.05/1207.41 c 1159s | 22 | 10582262 | 1877822 | 4581 932 | 168 | 340 1209.15/1209.50 c 1161s | 22 | 10599235 | 1880822 | 4581 934 | 168 | 340 1211.14/1211.56 c 1164s | 22 | 10617901 | 1883722 | 4581 935 | 168 | 340 1213.14/1213.58 c 1166s | 22 | 10634856 | 1886922 | 4581 936 | 168 | 340 1215.25/1215.64 c 1168s | 22 | 10650189 | 1890022 | 4581 937 | 168 | 340 1217.24/1217.64 c 1170s | 22 | 10667123 | 1893022 | 4581 939 | 168 | 340 1219.24/1219.67 c 1172s | 22 | 10683582 | 1896222 | 4581 940 | 168 | 340 1221.34/1221.73 c 1174s | 22 | 10699853 | 1899422 | 4581 941 | 168 | 340 1223.34/1223.78 c 1176s | 22 | 10716241 | 1902622 | 4581 943 | 168 | 340 1225.44/1225.83 c 1178s | 22 | 10732716 | 1905622 | 4581 944 | 168 | 340 1227.44/1227.86 c 1180s | 22 | 10748588 | 1908722 | 4581 945 | 168 | 340 1229.44/1229.88 c 1182s | 22 | 10764576 | 1912122 | 4581 947 | 168 | 340 1231.53/1231.92 c 1184s | 22 | 10780223 | 1915422 | 4581 948 | 168 | 340 1233.53/1233.97 c 1186s | 22 | 10802418 | 1918122 | 4581 949 | 168 | 340 1235.63/1236.05 c 1188s | 22 | 10822611 | 1920522 | 4581 950 | 168 | 340 1237.63/1238.09 c 1190s | 22 | 10842098 | 1922822 | 4581 951 | 168 | 340 1239.73/1240.18 c 1192s | 22 | 10861733 | 1925122 | 4581 952 | 168 | 340 1241.83/1242.24 c 1194s | 22 | 10884178 | 1927622 | 4581 953 | 168 | 340 1243.93/1244.30 c 1196s | 22 | 10909425 | 1930322 | 4581 954 | 168 | 340 1245.93/1246.31 c 1198s | 22 | 10932380 | 1932522 | 4581 955 | 168 | 340 1247.93/1248.38 c 1200s | 22 | 10950596 | 1934822 | 4581 956 | 168 | 340 1249.92/1250.39 c 1202s | 22 | 10970068 | 1937122 | 4581 957 | 168 | 340 1252.02/1252.41 c 1204s | 22 | 10987248 | 1939222 | 4581 958 | 168 | 340 1254.02/1254.49 c 1206s | 22 | 11011304 | 1941522 | 4581 959 | 168 | 340 1256.12/1256.52 c 1209s | 22 | 11026365 | 1943822 | 4581 960 | 168 | 340 1258.13/1258.58 c 1211s | 22 | 11050360 | 1946522 | 4581 961 | 168 | 340 1260.22/1260.61 c 1213s | 22 | 11072151 | 1949022 | 4581 962 | 168 | 340 1262.21/1262.69 c 1215s | 22 | 11091157 | 1951622 | 4581 963 | 168 | 340 1264.31/1264.72 c 1217s | 22 | 11108888 | 1953822 | 4581 964 | 168 | 340 1266.31/1266.78 c 1219s | 22 | 11127528 | 1956322 | 4581 965 | 168 | 340 1268.41/1268.80 c 1221s | 22 | 11145988 | 1958522 | 4581 966 | 168 | 340 1270.41/1270.84 c 1223s | 22 | 11164091 | 1960922 | 4581 967 | 168 | 340 1272.51/1272.92 c 1225s | 22 | 11182113 | 1962922 | 4581 968 | 168 | 340 1274.52/1275.00 c 1227s | 22 | 11196671 | 1965422 | 4581 969 | 168 | 340 1276.61/1277.06 c 1229s | 22 | 11214091 | 1967822 | 4581 970 | 168 | 340 1278.61/1279.07 c 1231s | 22 | 11229153 | 1970422 | 4581 971 | 168 | 340 1280.61/1281.09 c 1233s | 22 | 11245037 | 1973322 | 4581 972 | 168 | 340 1282.71/1283.11 c 1235s | 22 | 11262033 | 1976322 | 4581 973 | 168 | 340 1284.71/1285.17 c 1237s | 22 | 11277458 | 1979222 | 4581 974 | 168 | 340 1286.81/1287.21 c 1239s | 22 | 11298986 | 1982122 | 4581 976 | 168 | 340 1288.81/1289.23 c 1241s | 22 | 11313311 | 1985222 | 4581 977 | 168 | 340 1290.90/1291.30 c 1243s | 22 | 11332309 | 1988022 | 4581 978 | 168 | 340 1292.90/1293.34 c 1245s | 22 | 11347746 | 1991122 | 4581 979 | 168 | 340 1294.90/1295.35 c 1247s | 22 | 11361357 | 1994022 | 4581 981 | 168 | 340 1297.00/1297.41 c 1249s | 22 | 11376476 | 1996922 | 4581 982 | 168 | 340 1299.00/1299.45 c 1251s | 22 | 11390309 | 1999822 | 4581 983 | 168 | 340 1301.10/1301.50 c 1253s | 22 | 11409606 | 2002422 | 4581 984 | 168 | 340 1303.11/1303.56 c 1256s | 22 | 11436405 | 2005022 | 4581 985 | 168 | 340 1305.10/1305.57 c 1258s | 22 | 11454205 | 2007322 | 4581 986 | 168 | 340 1307.20/1307.62 c 1260s | 22 | 11468667 | 2010022 | 4581 987 | 168 | 340 1309.20/1309.65 c 1262s | 22 | 11483934 | 2013022 | 4581 988 | 168 | 340 1311.30/1311.73 c 1264s | 22 | 11499534 | 2015722 | 4581 990 | 168 | 340 1313.30/1313.78 c 1266s | 22 | 11518815 | 2018222 | 4581 991 | 168 | 340 1315.31/1315.80 c 1268s | 22 | 11536634 | 2020522 | 4581 991 | 168 | 340 1317.30/1317.80 c 1270s | 22 | 11555215 | 2023022 | 4581 993 | 168 | 340 1319.40/1319.85 c 1272s | 22 | 11571097 | 2025222 | 4581 993 | 168 | 340 1321.40/1321.89 c 1274s | 22 | 11586224 | 2027722 | 4581 994 | 168 | 340 1323.50/1323.92 c 1276s | 22 | 11602016 | 2030822 | 4581 996 | 168 | 340 1325.50/1325.93 c 1278s | 22 | 11620132 | 2033622 | 4581 997 | 168 | 340 1327.50/1327.94 c 1280s | 22 | 11641542 | 2036022 | 4581 998 | 168 | 340 1329.50/1329.95 c 1282s | 22 | 11662708 | 2038422 | 4581 999 | 168 | 340 1331.59/1332.00 c 1284s | 22 | 11678844 | 2040722 | 4581 1000 | 168 | 340 1333.59/1334.07 c 1286s | 22 | 11696461 | 2043222 | 4581 1001 | 168 | 340 1335.69/1336.11 c 1288s | 22 | 11710604 | 2045522 | 4581 1002 | 168 | 340 1337.69/1338.16 c 1290s | 22 | 11728251 | 2047822 | 4581 1003 | 168 | 340 1339.79/1340.22 c 1292s | 22 | 11743882 | 2049822 | 4581 1004 | 168 | 340 1341.79/1342.27 c 1294s | 22 | 11764568 | 2052122 | 4581 1005 | 168 | 340 1343.90/1344.37 c 1296s | 22 | 11785318 | 2054522 | 4581 1006 | 168 | 340 1346.00/1346.40 c 1298s | 22 | 11803124 | 2056522 | 4581 1006 | 168 | 340 1347.99/1348.49 c 1300s | 22 | 11826572 | 2058822 | 4581 1007 | 168 | 340 1350.09/1350.56 c 1303s | 22 | 11845504 | 2061122 | 4581 1008 | 168 | 340 1352.19/1352.63 c 1305s | 22 | 11861199 | 2063322 | 4581 1009 | 168 | 340 1354.19/1354.68 c 1307s | 22 | 11877582 | 2065422 | 4581 1010 | 168 | 340 1356.29/1356.71 c 1309s | 22 | 11895291 | 2067722 | 4581 1011 | 168 | 340 1358.29/1358.72 c 1311s | 22 | 11916191 | 2070222 | 4581 1012 | 168 | 340 1360.30/1360.73 c 1313s | 22 | 11931052 | 2072322 | 4581 1013 | 168 | 340 1362.29/1362.77 c 1315s | 22 | 11951865 | 2074722 | 4581 1014 | 168 | 340 1364.39/1364.81 c 1317s | 22 | 11967824 | 2077022 | 4581 1015 | 168 | 340 1366.39/1366.81 c 1319s | 22 | 11984787 | 2079222 | 4581 1016 | 168 | 340 1368.39/1368.87 c 1321s | 22 | 11997293 | 2081422 | 4581 1017 | 168 | 340 1370.49/1370.91 c 1323s | 22 | 12011367 | 2083422 | 4581 1017 | 168 | 340 1372.50/1372.99 c 1325s | 22 | 12025379 | 2085622 | 4581 1018 | 168 | 340 1374.60/1375.05 c 1327s | 22 | 12042146 | 2087922 | 4581 1019 | 168 | 340 1376.69/1377.11 c 1329s | 22 | 12061428 | 2090322 | 4581 1020 | 168 | 340 1378.69/1379.14 c 1331s | 22 | 12080734 | 2092522 | 4581 1021 | 168 | 340 1380.79/1381.24 c 1333s | 22 | 12101989 | 2094822 | 4581 1022 | 168 | 340 1382.79/1383.26 c 1335s | 22 | 12119869 | 2097022 | 4581 1023 | 168 | 340 1384.89/1385.31 c 1337s | 22 | 12135490 | 2099122 | 4581 1024 | 168 | 340 1386.89/1387.38 c 1339s | 22 | 12156594 | 2101222 | 4581 1025 | 168 | 340 1388.99/1389.46 c 1341s | 22 | 12175273 | 2103422 | 4581 1026 | 168 | 340 1390.98/1391.48 c 1343s | 22 | 12191570 | 2105622 | 4581 1027 | 168 | 340 1393.08/1393.57 c 1346s | 22 | 12207844 | 2108022 | 4581 1028 | 168 | 340 1395.08/1395.60 c 1348s | 22 | 12224217 | 2110222 | 4581 1028 | 168 | 340 1397.08/1397.60 c 1350s | 22 | 12236400 | 2112422 | 4581 1029 | 168 | 340 1399.18/1399.65 c 1352s | 22 | 12255439 | 2114722 | 4581 1030 | 168 | 340 1401.28/1401.73 c 1354s | 22 | 12270610 | 2116822 | 4581 1031 | 168 | 340 1403.38/1403.80 c 1356s | 22 | 12284564 | 2119522 | 4581 1032 | 168 | 340 1405.39/1405.85 c 1358s | 22 | 12303108 | 2122122 | 4581 1033 | 168 | 340 1407.48/1407.92 c 1360s | 22 | 12318857 | 2124222 | 4581 1034 | 168 | 340 1409.48/1409.99 c 1362s | 22 | 12338765 | 2126722 | 4581 1035 | 168 | 340 1411.58/1412.08 c 1364s | 22 | 12355070 | 2128722 | 4581 1036 | 168 | 340 1413.68/1414.11 c 1366s | 22 | 12369986 | 2131322 | 4581 1037 | 168 | 340 1415.68/1416.15 c 1368s | 22 | 12384506 | 2133922 | 4581 1038 | 168 | 340 1417.68/1418.16 c 1370s | 22 | 12397868 | 2136622 | 4581 1039 | 168 | 340 1419.69/1420.19 c 1372s | 22 | 12414401 | 2139522 | 4581 1041 | 168 | 340 1421.78/1422.25 c 1374s | 22 | 12432642 | 2142522 | 5040 1042 | 168 | 340 1423.88/1424.32 c 1376s | 22 | 12450052 | 2145122 | 5040 1043 | 168 | 340 1425.88/1426.37 c 1378s | 22 | 12473686 | 2147522 | 5040 1044 | 168 | 340 1427.98/1428.42 c 1380s | 22 | 12493005 | 2149822 | 5040 1044 | 168 | 340 1429.98/1430.46 c 1382s | 22 | 12509910 | 2152022 | 5040 1045 | 168 | 340 1431.98/1432.48 c 1384s | 22 | 12524800 | 2154222 | 5040 1046 | 168 | 340 1433.98/1434.49 c 1386s | 22 | 12540857 | 2156322 | 5040 1047 | 168 | 340 1436.08/1436.54 c 1389s | 22 | 12558592 | 2158422 | 5040 1048 | 168 | 340 1438.18/1438.69 c 1391s | 22 | 12574593 | 2160422 | 5040 1048 | 168 | 340 1440.29/1440.77 c 1393s | 22 | 12592415 | 2162522 | 5040 1049 | 168 | 340 1442.28/1442.78 c 1395s | 22 | 12608073 | 2164522 | 5040 1050 | 168 | 340 1444.38/1444.82 c 1397s | 22 | 12626033 | 2166722 | 5040 1051 | 168 | 340 1446.38/1446.84 c 1399s | 22 | 12639912 | 2168722 | 5040 1052 | 168 | 340 1448.48/1448.90 c 1401s | 22 | 12659990 | 2171122 | 5040 1052 | 168 | 340 1450.49/1450.96 c 1403s | 22 | 12676460 | 2173522 | 5040 1053 | 168 | 340 1452.48/1452.98 c 1405s | 22 | 12690590 | 2176022 | 5040 1054 | 168 | 340 1454.58/1455.02 c 1407s | 22 | 12705867 | 2178622 | 5040 1055 | 168 | 340 1456.68/1457.10 c 1409s | 22 | 12724552 | 2180822 | 5040 1056 | 168 | 340 1458.68/1459.11 c 1411s | 22 | 12741409 | 2183122 | 5040 1057 | 168 | 340 1460.68/1461.14 c 1413s | 22 | 12757340 | 2185322 | 5040 1058 | 168 | 340 1462.78/1463.20 c 1415s | 22 | 12775733 | 2187522 | 5040 1059 | 168 | 340 1464.79/1465.26 c 1417s | 22 | 12794743 | 2189822 | 5040 1060 | 168 | 340 1466.88/1467.38 c 1419s | 22 | 12813606 | 2192022 | 5040 1060 | 168 | 340 1468.88/1469.40 c 1421s | 22 | 12831639 | 2194222 | 5040 1061 | 168 | 340 1470.98/1471.45 c 1423s | 22 | 12847692 | 2196522 | 5040 1062 | 168 | 340 1473.08/1473.52 c 1426s | 22 | 12863825 | 2198622 | 5040 1063 | 168 | 340 1475.08/1475.55 c 1428s | 22 | 12878628 | 2201122 | 5040 1064 | 168 | 340 1477.18/1477.68 c 1430s | 22 | 12891504 | 2203522 | 5040 1065 | 168 | 340 1479.28/1479.76 c 1432s | 22 | 12907821 | 2206522 | 5040 1066 | 168 | 340 1481.38/1481.81 c 1434s | 22 | 12922904 | 2209522 | 5040 1067 | 168 | 340 1483.38/1483.87 c 1436s | 22 | 12937295 | 2212222 | 5040 1068 | 168 | 340 1485.38/1485.89 c 1438s | 22 | 12955975 | 2214822 | 5040 1069 | 168 | 340 1487.48/1487.95 c 1440s | 22 | 12983263 | 2217222 | 5040 1070 | 168 | 340 1489.48/1489.97 c 1442s | 22 | 12998129 | 2219722 | 5040 1071 | 168 | 340 1491.58/1492.02 c 1444s | 22 | 13013567 | 2222522 | 5040 1072 | 168 | 340 1493.58/1494.02 c 1446s | 22 | 13041532 | 2224822 | 5040 1073 | 168 | 340 1495.58/1496.07 c 1448s | 22 | 13062360 | 2227322 | 5040 1074 | 168 | 340 1497.57/1498.07 c 1450s | 22 | 13083120 | 2229822 | 5040 1075 | 168 | 340 1499.67/1500.14 c 1452s | 22 | 13099422 | 2232522 | 5040 1076 | 168 | 340 1501.77/1502.21 c 1454s | 22 | 13121092 | 2234922 | 5040 1077 | 168 | 340 1503.77/1504.26 c 1456s | 22 | 13140405 | 2237322 | 5040 1078 | 168 | 340 1505.87/1506.32 c 1458s | 22 | 13158408 | 2239522 | 5040 1078 | 168 | 340 1507.87/1508.38 c 1460s | 22 | 13176942 | 2241822 | 5040 1079 | 168 | 340 1509.98/1510.44 c 1462s | 22 | 13199045 | 2244122 | 5040 1080 | 168 | 340 1511.97/1512.50 c 1464s | 22 | 13216859 | 2246022 | 5040 1081 | 168 | 340 1514.07/1514.54 c 1467s | 22 | 13236844 | 2248222 | 5040 1082 | 168 | 340 1516.17/1516.60 c 1469s | 22 | 13254749 | 2250422 | 5040 1082 | 168 | 340 1516.77/1517.23 c 1469s | 23 | 13259899 | 2251038 | 5040 1083 | 168 | 340 1518.87/1519.32 c 1471s | 23 | 13278200 | 2253038 | 5040 1083 | 168 | 340 1520.88/1521.37 c 1473s | 23 | 13290249 | 2256038 | 5040 1085 | 168 | 340 1522.97/1523.41 c 1475s | 23 | 13306979 | 2258538 | 5040 1086 | 168 | 340 1524.97/1525.49 c 1477s | 23 | 13328053 | 2261438 | 5040 1087 | 168 | 340 1527.07/1527.53 c 1480s | 23 | 13346376 | 2264138 | 5040 1088 | 168 | 340 1529.07/1529.58 c 1482s | 23 | 13363576 | 2266838 | 5040 1089 | 168 | 340 1531.17/1531.61 c 1484s | 23 | 13383592 | 2269638 | 5040 1090 | 168 | 340 1533.17/1533.62 c 1486s | 23 | 13401217 | 2272138 | 5040 1091 | 168 | 340 1535.17/1535.65 c 1488s | 23 | 13420247 | 2274538 | 5040 1092 | 168 | 340 1537.27/1537.70 c 1490s | 23 | 13439870 | 2277038 | 5040 1093 | 168 | 340 1539.27/1539.70 c 1492s | 23 | 13455498 | 2279338 | 5040 1093 | 168 | 340 1541.26/1541.72 c 1494s | 23 | 13469566 | 2281738 | 5040 1094 | 168 | 340 1543.26/1543.79 c 1496s | 23 | 13485789 | 2284138 | 5040 1095 | 168 | 340 1545.36/1545.82 c 1498s | 23 | 13503067 | 2286538 | 5040 1096 | 168 | 340 1547.37/1547.82 c 1500s | 23 | 13521867 | 2288838 | 5040 1097 | 168 | 340 1549.36/1549.85 c 1502s | 23 | 13542432 | 2291438 | 5040 1098 | 168 | 340 1551.36/1551.89 c 1504s | 23 | 13564955 | 2293838 | 5040 1099 | 168 | 340 1553.46/1553.94 c 1506s | 23 | 13587363 | 2296638 | 5040 1100 | 168 | 340 1555.46/1555.96 c 1508s | 23 | 13609578 | 2299138 | 5040 1101 | 168 | 340 1557.56/1558.08 c 1510s | 23 | 13627195 | 2301738 | 5040 1102 | 168 | 340 1559.66/1560.11 c 1512s | 23 | 13645026 | 2304438 | 5040 1103 | 168 | 340 1561.67/1562.15 c 1514s | 23 | 13662111 | 2307238 | 5040 1104 | 168 | 340 1563.66/1564.17 c 1516s | 23 | 13679271 | 2309938 | 5040 1105 | 168 | 340 1565.66/1566.19 c 1518s | 23 | 13698836 | 2312638 | 5040 1106 | 168 | 340 1567.76/1568.21 c 1520s | 23 | 13716297 | 2315038 | 5040 1107 | 168 | 340 1569.76/1570.24 c 1522s | 23 | 13737576 | 2317738 | 5040 1108 | 168 | 340 1571.76/1572.24 c 1524s | 23 | 13756349 | 2319938 | 5040 1109 | 168 | 340 1573.77/1574.26 c 1526s | 23 | 13772325 | 2322438 | 5040 1110 | 168 | 340 1575.87/1576.31 c 1528s | 23 | 13793900 | 2324938 | 5040 1111 | 168 | 340 1577.86/1578.35 c 1530s | 23 | 13813025 | 2327138 | 5040 1111 | 168 | 340 1579.96/1580.42 c 1532s | 23 | 13830380 | 2329338 | 5040 1112 | 168 | 340 1582.06/1582.51 c 1534s | 23 | 13847411 | 2331738 | 5040 1113 | 168 | 340 1584.06/1584.57 c 1537s | 23 | 13866330 | 2334138 | 5040 1114 | 168 | 340 1586.06/1586.59 c 1539s | 23 | 13884055 | 2336338 | 5040 1115 | 168 | 340 1588.16/1588.63 c 1541s | 23 | 13902826 | 2338538 | 5040 1116 | 168 | 340 1590.16/1590.64 c 1543s | 23 | 13918522 | 2340938 | 5040 1117 | 168 | 340 1592.26/1592.71 c 1545s | 23 | 13939572 | 2343338 | 5040 1118 | 168 | 340 1594.26/1594.75 c 1547s | 23 | 13954799 | 2345638 | 5040 1118 | 168 | 340 1596.26/1596.78 c 1549s | 23 | 13970960 | 2347538 | 5040 1119 | 168 | 340 1598.35/1598.87 c 1551s | 23 | 13989374 | 2349938 | 5040 1120 | 168 | 340 1600.35/1600.89 c 1553s | 23 | 14005913 | 2352638 | 5040 1121 | 168 | 340 1602.45/1602.96 c 1555s | 23 | 14022544 | 2355438 | 5040 1122 | 168 | 340 1604.46/1604.99 c 1557s | 23 | 14043397 | 2357938 | 5040 1123 | 168 | 340 1606.55/1607.03 c 1559s | 23 | 14059557 | 2360138 | 5040 1124 | 168 | 340 1608.65/1609.13 c 1561s | 23 | 14078664 | 2362538 | 5040 1125 | 168 | 340 1610.65/1611.18 c 1563s | 23 | 14095897 | 2365138 | 5040 1126 | 168 | 340 1612.75/1613.22 c 1565s | 23 | 14115829 | 2367638 | 5040 1127 | 168 | 340 1614.75/1615.24 c 1567s | 23 | 14136426 | 2369938 | 5040 1128 | 168 | 340 1616.75/1617.28 c 1569s | 23 | 14158949 | 2372438 | 5040 1128 | 168 | 340 1618.86/1619.30 c 1571s | 23 | 14175835 | 2374838 | 5040 1129 | 168 | 340 1620.85/1621.37 c 1573s | 23 | 14194735 | 2377338 | 5040 1130 | 168 | 340 1622.95/1623.40 c 1575s | 23 | 14212045 | 2379638 | 5040 1131 | 168 | 340 1624.95/1625.45 c 1577s | 23 | 14231391 | 2382038 | 5040 1132 | 168 | 340 1626.95/1627.49 c 1579s | 23 | 14254929 | 2384338 | 5040 1133 | 168 | 340 1629.05/1629.50 c 1581s | 23 | 14273503 | 2386738 | 5040 1134 | 168 | 340 1631.05/1631.57 c 1584s | 23 | 14294448 | 2388938 | 5040 1135 | 168 | 340 1633.15/1633.63 c 1586s | 23 | 14312676 | 2391138 | 5040 1136 | 168 | 340 1635.15/1635.70 c 1588s | 23 | 14331392 | 2393838 | 5040 1137 | 168 | 340 1637.25/1637.76 c 1590s | 23 | 14352274 | 2396238 | 5040 1137 | 168 | 340 1639.35/1639.83 c 1592s | 23 | 14366535 | 2399038 | 5040 1139 | 168 | 340 1641.35/1641.84 c 1594s | 23 | 14388047 | 2401338 | 5040 1139 | 168 | 340 1643.35/1643.88 c 1596s | 23 | 14402208 | 2403938 | 5040 1140 | 168 | 340 1645.35/1645.89 c 1598s | 23 | 14420090 | 2406438 | 5040 1141 | 168 | 340 1647.46/1647.95 c 1600s | 23 | 14440145 | 2408838 | 5040 1142 | 168 | 340 1649.45/1649.98 c 1602s | 23 | 14456268 | 2410938 | 5040 1143 | 168 | 340 1651.55/1652.00 c 1604s | 23 | 14474061 | 2413238 | 5040 1144 | 168 | 340 1653.55/1654.07 c 1606s | 23 | 14490872 | 2415938 | 5040 1145 | 168 | 340 1655.65/1656.16 c 1608s | 23 | 14509256 | 2418238 | 5040 1146 | 168 | 340 1657.65/1658.18 c 1610s | 23 | 14528131 | 2420538 | 5040 1147 | 168 | 340 1659.75/1660.23 c 1612s | 23 | 14545435 | 2423038 | 5040 1148 | 168 | 340 1661.76/1662.24 c 1614s | 23 | 14563164 | 2425238 | 5040 1148 | 168 | 340 1663.75/1664.29 c 1616s | 23 | 14577179 | 2427538 | 5040 1149 | 168 | 340 1665.85/1666.32 c 1618s | 23 | 14590285 | 2430438 | 5040 1150 | 168 | 340 1667.95/1668.41 c 1620s | 23 | 14610278 | 2433138 | 5040 1151 | 168 | 340 1669.95/1670.43 c 1622s | 23 | 14627954 | 2435538 | 5040 1152 | 168 | 340 1671.95/1672.47 c 1624s | 23 | 14647231 | 2437938 | 5040 1153 | 168 | 340 1674.05/1674.56 c 1627s | 23 | 14666813 | 2440238 | 5040 1154 | 168 | 340 1676.06/1676.57 c 1629s | 23 | 14688094 | 2442438 | 5040 1155 | 168 | 340 1678.05/1678.58 c 1631s | 23 | 14708427 | 2444338 | 5040 1156 | 168 | 340 1680.05/1680.59 c 1633s | 23 | 14730635 | 2446738 | 5040 1156 | 168 | 340 1682.15/1682.63 c 1635s | 23 | 14747111 | 2449238 | 5040 1157 | 168 | 340 1684.25/1684.72 c 1637s | 23 | 14766319 | 2451638 | 5040 1158 | 168 | 340 1686.25/1686.73 c 1639s | 23 | 14785573 | 2453738 | 5040 1159 | 168 | 340 1688.35/1688.80 c 1641s | 23 | 14804891 | 2456138 | 5040 1160 | 168 | 340 1690.35/1690.85 c 1643s | 23 | 14822887 | 2458438 | 5040 1161 | 168 | 340 1692.45/1692.93 c 1645s | 23 | 14842158 | 2460738 | 5040 1162 | 168 | 340 1694.45/1694.99 c 1647s | 23 | 14862780 | 2463238 | 5040 1163 | 168 | 340 1696.55/1697.04 c 1649s | 23 | 14882046 | 2465638 | 5040 1164 | 168 | 340 1698.64/1699.10 c 1651s | 23 | 14898994 | 2468138 | 5040 1165 | 168 | 340 1700.74/1701.21 c 1653s | 23 | 14915134 | 2470538 | 5040 1166 | 168 | 340 1702.74/1703.25 c 1655s | 23 | 14931195 | 2472938 | 5040 1166 | 168 | 340 1704.74/1705.27 c 1657s | 23 | 14949456 | 2475238 | 5040 1167 | 168 | 340 1706.85/1707.35 c 1659s | 23 | 14967582 | 2477538 | 5040 1168 | 168 | 340 1708.84/1709.40 c 1661s | 23 | 14988982 | 2480038 | 5040 1169 | 168 | 340 1710.94/1711.48 c 1663s | 23 | 15007400 | 2482438 | 5040 1170 | 168 | 340 1712.94/1713.48 c 1665s | 23 | 15023845 | 2484838 | 5040 1171 | 168 | 340 1715.04/1715.55 c 1668s | 23 | 15044800 | 2487538 | 5040 1172 | 168 | 340 1717.14/1717.60 c 1670s | 23 | 15061002 | 2490038 | 5040 1173 | 168 | 340 1719.14/1719.68 c 1672s | 23 | 15077334 | 2492438 | 5040 1174 | 168 | 340 1721.24/1721.71 c 1674s | 23 | 15092927 | 2494638 | 5040 1175 | 168 | 340 1723.25/1723.73 c 1676s | 23 | 15113408 | 2497038 | 5040 1175 | 168 | 340 1725.34/1725.80 c 1678s | 23 | 15129985 | 2499338 | 5040 1176 | 168 | 340 1727.34/1727.84 c 1680s | 23 | 15148073 | 2501838 | 5040 1177 | 168 | 340 1729.34/1729.86 c 1682s | 23 | 15161902 | 2504238 | 5040 1178 | 168 | 340 1731.44/1731.91 c 1684s | 23 | 15176790 | 2507438 | 5040 1179 | 168 | 340 1733.44/1733.97 c 1686s | 23 | 15194216 | 2510838 | 5040 1181 | 168 | 340 1735.54/1736.03 c 1688s | 23 | 15213856 | 2513238 | 5040 1182 | 168 | 340 1737.54/1738.09 c 1690s | 23 | 15231168 | 2516038 | 5040 1183 | 168 | 340 1739.63/1740.17 c 1692s | 23 | 15251360 | 2518538 | 5040 1184 | 168 | 340 1741.73/1742.20 c 1694s | 23 | 15269745 | 2521038 | 5040 1184 | 168 | 340 1743.73/1744.22 c 1696s | 23 | 15289782 | 2523338 | 5040 1185 | 168 | 340 1745.73/1746.24 c 1698s | 23 | 15304986 | 2525738 | 5040 1186 | 168 | 340 1747.73/1748.28 c 1700s | 23 | 15322465 | 2528038 | 5040 1187 | 168 | 340 1749.83/1750.30 c 1702s | 23 | 15342944 | 2530638 | 5040 1188 | 168 | 340 1751.84/1752.36 c 1704s | 23 | 15361110 | 2533238 | 5040 1189 | 168 | 340 1753.93/1754.41 c 1706s | 23 | 15377946 | 2536238 | 5040 1190 | 168 | 340 1755.93/1756.41 c 1708s | 23 | 15397128 | 2538638 | 5040 1191 | 168 | 340 1757.93/1758.42 c 1710s | 23 | 15412018 | 2541038 | 5040 1192 | 168 | 340 1759.93/1760.49 c 1712s | 23 | 15430850 | 2543338 | 5040 1193 | 168 | 340 1762.03/1762.54 c 1715s | 23 | 15445693 | 2545538 | 5040 1194 | 168 | 340 1764.03/1764.58 c 1717s | 23 | 15461407 | 2547738 | 5040 1195 | 168 | 340 1766.13/1766.65 c 1719s | 23 | 15479691 | 2549938 | 5040 1195 | 168 | 340 1768.23/1768.72 c 1721s | 23 | 15492632 | 2552238 | 5040 1196 | 168 | 340 1770.23/1770.73 c 1723s | 23 | 15510968 | 2554638 | 5040 1197 | 168 | 340 1772.23/1772.77 c 1725s | 23 | 15527722 | 2557138 | 5040 1198 | 168 | 340 1774.33/1774.81 c 1727s | 23 | 15544960 | 2559538 | 5040 1199 | 168 | 340 1776.33/1776.86 c 1729s | 23 | 15563055 | 2561738 | 5040 1200 | 168 | 340 1778.33/1778.88 c 1731s | 23 | 15580770 | 2564038 | 5040 1201 | 168 | 340 1780.43/1780.94 c 1733s | 23 | 15597543 | 2566438 | 5040 1202 | 168 | 340 1782.42/1782.95 c 1735s | 23 | 15615727 | 2568638 | 5040 1202 | 168 | 340 1784.42/1784.99 c 1737s | 23 | 15633816 | 2570738 | 5040 1203 | 168 | 340 1786.52/1787.01 c 1739s | 23 | 15651707 | 2572938 | 5040 1204 | 168 | 340 1788.52/1789.09 c 1741s | 23 | 15671461 | 2575338 | 5040 1205 | 168 | 340 1790.53/1791.09 c 1743s | 23 | 15686004 | 2577538 | 5040 1206 | 168 | 340 1792.64/1793.16 c 1745s | 23 | 15701218 | 2579638 | 5040 1207 | 168 | 340 1794.63/1795.19 c 1747s | 23 | 15717757 | 2582038 | 5040 1207 | 168 | 340 1796.73/1797.26 c 1749s | 23 | 15736641 | 2584338 | 5040 1208 | 168 | 340 1798.73/1799.27 c 1751s | 23 | 15754280 | 2586838 | 5040 1209 | 168 | 340
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-4079827-1465252129/watcher-4079827-1465252129 -o /tmp/evaluation-result-4079827-1465252129/solver-4079827-1465252129 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1183 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079827-1465252129.opb pid=4975 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.17 2.20 2.18 3/179 4978 /proc/meminfo: memFree=29150124/32872528 swapFree=16384/1696552 [pid=4978] ppid=4975 vsize=741820 CPUtime=0 cores=1,3,5,7 /proc/4978/stat : 4978 (toysat) R 4975 4978 1166 0 -1 4202496 2769 0 0 0 0 0 0 0 20 0 4 0 107146008 759623680 3641 33554432000 4194304 16246674 140734995501360 140734995500784 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4978/statm: 186223 3650 441 2943 0 183117 0 [pid=4978/tid=4979] ppid=4975 vsize=760252 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4979/stat : 4979 (toysat) S 4975 4978 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107146008 778498048 3713 33554432000 4194304 16246674 140734995501360 140498444463344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4978/tid=4980] ppid=4975 vsize=764348 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4980/stat : 4980 (toysat) S 4975 4978 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107146008 782692352 3729 33554432000 4194304 16246674 140734995501360 140498433973488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4978/tid=4981] ppid=4975 vsize=769468 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4981/stat : 4981 (toysat) S 4975 4978 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107146008 787935232 3747 33554432000 4194304 16246674 140734995501360 140498312359088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100158 s] /proc/loadavg: 2.17 2.20 2.18 3/179 4978 /proc/meminfo: memFree=29150124/32872528 swapFree=16384/1696552 [pid=4978] ppid=4975 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/4978/stat : 4978 (toysat) R 4975 4978 1166 0 -1 4202496 29728 0 0 0 5 4 0 0 20 0 4 0 107146008 1247350784 30586 33554432000 4194304 16246674 140734995501360 140734995500784 12449399 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4978/statm: 304529 30600 765 2943 0 301423 0 [pid=4978/tid=4979] ppid=4975 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4979/stat : 4979 (toysat) S 4975 4978 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107146008 1247350784 30610 33554432000 4194304 16246674 140734995501360 140498444463344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4978/tid=4980] ppid=4975 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4980/stat : 4980 (toysat) S 4975 4978 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107146008 1247350784 30620 33554432000 4194304 16246674 140734995501360 140498433973488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4978/tid=4981] ppid=4975 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4981/stat : 4981 (toysat) S 4975 4978 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107146008 1247350784 30630 33554432000 4194304 16246674 140734995501360 140498312359088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200467 s] /proc/loadavg: 2.17 2.20 2.18 3/179 4978 /proc/meminfo: memFree=29150124/32872528 swapFree=16384/1696552 [pid=4978] ppid=4975 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/4978/stat : 4978 (toysat) R 4975 4978 1166 0 -1 4202496 58848 0 0 0 11 8 0 0 20 0 4 0 107146008 1247350784 59706 33554432000 4194304 16246674 140734995501360 140734995500784 6958849 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4978/statm: 304529 59723 776 2943 0 301423 0 [pid=4978/tid=4979] ppid=4975 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4979/stat : 4979 (toysat) S 4975 4978 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107146008 1247350784 59733 33554432000 4194304 16246674 140734995501360 140498444463344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4978/tid=4980] ppid=4975 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4980/stat : 4980 (toysat) S 4975 4978 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107146008 1247350784 59744 33554432000 4194304 16246674 140734995501360 140498433973488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4978/tid=4981] ppid=4975 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4981/stat : 4981 (toysat) S 4975 4978 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107146008 1247350784 59754 33554432000 4194304 16246674 140734995501360 140498312359088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300494 s] /proc/loadavg: 2.17 2.20 2.18 3/179 4978 /proc/meminfo: memFree=29150124/32872528 swapFree=16384/1696552 [pid=4978] ppid=4975 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/4978/stat : 4978 (toysat) R 4975 4978 1166 0 -1 4202496 84621 0 0 0 18 11 0 0 20 0 4 0 107146008 1247350784 85480 33554432000 4194304 16246674 140734995501360 140734995500784 12449273 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4978/statm: 304529 85496 776 2943 0 301423 0 [pid=4978/tid=4979] ppid=4975 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4979/stat : 4979 (toysat) S 4975 4978 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107146008 1247350784 85505 33554432000 4194304 16246674 140734995501360 140498444463344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4978/tid=4980] ppid=4975 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4980/stat : 4980 (toysat) S 4975 4978 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107146008 1247350784 85514 33554432000 4194304 16246674 140734995501360 140498433973488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4978/tid=4981] ppid=4975 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4981/stat : 4981 (toysat) S 4975 4978 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107146008 1247350784 85523 33554432000 4194304 16246674 140734995501360 140498312359088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.17 2.20 2.18 3/179 4978 /proc/meminfo: memFree=29150124/32872528 swapFree=16384/1696552 [pid=4978] ppid=4975 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/4978/stat : 4978 (toysat) R 4975 4978 1166 0 -1 4202496 177057 0 0 0 44 25 0 0 20 0 4 0 107146008 1247350784 177915 33554432000 4194304 16246674 140734995501360 140734995483264 12429797 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4978/statm: 304529 177920 776 2943 0 301423 0 [pid=4978/tid=4979] ppid=4975 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4979/stat : 4979 (toysat) S 4975 4978 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107146008 1247350784 177923 33554432000 4194304 16246674 140734995501360 140498444463344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4978/tid=4980] ppid=4975 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4980/stat : 4980 (toysat) S 4975 4978 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107146008 1247350784 177926 33554432000 4194304 16246674 140734995501360 140498433973488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4978/tid=4981] ppid=4975 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4981/stat : 4981 (toysat) S 4975 4978 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107146008 1247350784 177929 33554432000 4194304 16246674 140734995501360 140498312359088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.5004 s] /proc/loadavg: 2.17 2.20 2.18 3/183 4982 /proc/meminfo: memFree=28161676/32872528 swapFree=16384/1696552 [pid=4978] ppid=4975 vsize=1222212 CPUtime=1.49 cores=1,3,5,7 /proc/4978/stat : 4978 (toysat) R 4975 4978 1166 0 -1 4202496 246480 0 0 0 115 34 0 0 20 0 4 0 107146008 1251545088 247316 33554432000 4194304 16246674 140734995501360 140734995500672 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4978/statm: 305553 247316 841 2943 0 302447 0 [pid=4978/tid=4979] ppid=4975 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4979/stat : 4979 (toysat) S 4975 4978 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107146008 1251545088 247316 33554432000 4194304 16246674 140734995501360 140498444463344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4978/tid=4980] ppid=4975 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4980/stat : 4980 (toysat) S 4975 4978 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107146008 1251545088 247316 33554432000 4194304 16246674 140734995501360 140498433973488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4978/tid=4981] ppid=4975 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4981/stat : 4981 (toysat) S 4975 4978 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107146008 1251545088 247316 33554432000 4194304 16246674 140734995501360 140498312359088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1222212 [startup+3.10042 s] /proc/loadavg: 2.17 2.20 2.18 3/183 4982 /proc/meminfo: memFree=28161288/32872528 swapFree=16384/1696552 [pid=4978] ppid=4975 vsize=1303108 CPUtime=3.09 cores=1,3,5,7 /proc/4978/stat : 4978 (toysat) R 4975 4978 1166 0 -1 4202496 266734 0 0 0 272 37 0 0 20 0 4 0 107146008 1334382592 267570 33554432000 4194304 16246674 140734995501360 140734995483264 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4978/statm: 325777 267570 843 2943 0 322671 0 [pid=4978/tid=4979] ppid=4975 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4979/stat : 4979 (toysat) S 4975 4978 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107146008 1334382592 267570 33554432000 4194304 16246674 140734995501360 140498444463344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4978/tid=4980] ppid=4975 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4980/stat : 4980 (toysat) S 4975 4978 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107146008 1334382592 267570 33554432000 4194304 16246674 140734995501360 140498433973488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4978/tid=4981] ppid=4975 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4981/stat : 4981 (toysat) S 4975 4978 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107146008 1334382592 267570 33554432000 4194304 16246674 140734995501360 140498312359088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1303108 [startup+6.30042 s] /proc/loadavg: 2.24 2.22 2.18 3/183 4982 /proc/meminfo: memFree=28077008/32872528 swapFree=16384/1696552 [pid=4978] ppid=4975 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/4978/stat : 4978 (toysat) R 4975 4978 1166 0 -1 4202496 267665 0 0 0 592 37 0 0 20 0 4 0 107146008 1338576896 268501 33554432000 4194304 16246674 140734995501360 140734995483264 5828013 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4978/statm: 326801 268501 848 2943 0 323695 0 [pid=4978/tid=4979] ppid=4975 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4979/stat : 4979 (toysat) S 4975 4978 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107146008 1338576896 268501 33554432000 4194304 16246674 140734995501360 140498444463344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4978/tid=4980] ppid=4975 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4980/stat : 4980 (toysat) S 4975 4978 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107146008 1338576896 268501 33554432000 4194304 16246674 140734995501360 140498433973488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4978/tid=4981] ppid=4975 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4981/stat : 4981 (toysat) S 4975 4978 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107146008 1338576896 268501 33554432000 4194304 16246674 140734995501360 140498312359088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.22 2.21 2.18 4/183 4982 /proc/meminfo: memFree=28076400/32872528 swapFree=16384/1696552 [pid=4978] ppid=4975 vsize=1307204 CPUtime=12.69 cores=1,3,5,7 /proc/4978/stat : 4978 (toysat) R 4975 4978 1166 0 -1 4202496 267665 0 0 0 1232 37 0 0 20 0 4 0 107146008 1338576896 268501 33554432000 4194304 16246674 140734995501360 140734995500536 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4978/statm: 326801 268501 848 2943 0 323695 0 [pid=4978/tid=4979] ppid=4975 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4979/stat : 4979 (toysat) S 4975 4978 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107146008 1338576896 268501 33554432000 4194304 16246674 140734995501360 140498444463344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4978/tid=4980] ppid=4975 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4980/stat : 4980 (toysat) S 4975 4978 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107146008 1338576896 268501 33554432000 4194304 16246674 140734995501360 140498433973488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4978/tid=4981] ppid=4975 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4981/stat : 4981 (toysat) S 4975 4978 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107146008 1338576896 268501 33554432000 4194304 16246674 140734995501360 140498312359088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1307204 [startup+25.5005 s] /proc/loadavg: 2.24 2.22 2.18 3/183 4982 /proc/meminfo: memFree=28075488/32872528 swapFree=16384/1696552 [pid=4978] ppid=4975 vsize=1308228 CPUtime=25.49 cores=1,3,5,7 /proc/4978/stat : 4978 (toysat) R 4975 4978 1166 0 -1 4202496 268077 0 0 0 2512 37 0 0 20 0 4 0 107146008 1339625472 268913 33554432000 4194304 16246674 140734995501360 140734995483264 5822298 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4978/statm: 327057 268913 848 2943 0 323951 0 [pid=4978/tid=4979] ppid=4975 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4979/stat : 4979 (toysat) S 4975 4978 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107146008 1339625472 268913 33554432000 4194304 16246674 140734995501360 140498444463344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4978/tid=4980] ppid=4975 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4980/stat : 4980 (toysat) S 4975 4978 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107146008 1339625472 268913 33554432000 4194304 16246674 140734995501360 140498433973488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4978/tid=4981] ppid=4975 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4981/stat : 4981 (toysat) S 4975 4978 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107146008 1339625472 268913 33554432000 4194304 16246674 140734995501360 140498312359088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1308228 [startup+51.1005 s] /proc/loadavg: 2.16 2.20 2.18 3/183 4982 /proc/meminfo: memFree=28067632/32872528 swapFree=16384/1696552 [pid=4978] ppid=4975 vsize=1316420 CPUtime=51.08 cores=1,3,5,7 /proc/4978/stat : 4978 (toysat) R 4975 4978 1166 0 -1 4202496 270042 0 0 0 5071 37 0 0 20 0 4 0 107146008 1348014080 270878 33554432000 4194304 16246674 140734995501360 140734995500536 5711697 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4978/statm: 329105 270878 848 2943 0 325999 0 [pid=4978/tid=4979] ppid=4975 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4979/stat : 4979 (toysat) S 4975 4978 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107146008 1348014080 270878 33554432000 4194304 16246674 140734995501360 140498444463344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4978/tid=4980] ppid=4975 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4980/stat : 4980 (toysat) S 4975 4978 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107146008 1348014080 270878 33554432000 4194304 16246674 140734995501360 140498433973488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4978/tid=4981] ppid=4975 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4981/stat : 4981 (toysat) S 4975 4978 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107146008 1348014080 270878 33554432000 4194304 16246674 140734995501360 140498312359088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1316420 [startup+102.3 s] /proc/loadavg: 2.11 2.18 2.17 3/184 4986 /proc/meminfo: memFree=28060744/32872528 swapFree=16384/1696552 [pid=4978] ppid=4975 vsize=1323588 CPUtime=102.28 cores=1,3,5,7 /proc/4978/stat : 4978 (toysat) R 4975 4978 1166 0 -1 4202496 271780 0 0 0 10191 37 0 0 20 0 4 0 107146008 1355354112 272616 33554432000 4194304 16246674 140734995501360 140734995484360 6020832 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4978/statm: 330897 272616 848 2943 0 327791 0 [pid=4978/tid=4979] ppid=4975 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4979/stat : 4979 (toysat) S 4975 4978 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107146008 1355354112 272616 33554432000 4194304 16246674 140734995501360 140498444463344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4978/tid=4980] ppid=4975 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4980/stat : 4980 (toysat) S 4975 4978 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107146008 1355354112 272616 33554432000 4194304 16246674 140734995501360 140498433973488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4978/tid=4981] ppid=4975 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4981/stat : 4981 (toysat) S 4975 4978 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107146008 1355354112 272616 33554432000 4194304 16246674 140734995501360 140498312359088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1323588 ################ # More data... # ################ /proc/4978/task/4981/stat : 4981 (toysat) S 4975 4978 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140498312359088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1324612 [startup+1362.3 s] /proc/loadavg: 2.17 2.20 2.18 3/183 5018 /proc/meminfo: memFree=28056728/32872528 swapFree=16384/1696552 [pid=4978] ppid=4975 vsize=1324612 CPUtime=1361.89 cores=1,3,5,7 /proc/4978/stat : 4978 (toysat) R 4975 4978 1166 0 -1 4202496 272584 0 0 0 136145 44 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140734995483264 5723568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4978/statm: 331153 273086 851 2943 0 328047 0 [pid=4978/tid=4979] ppid=4975 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4979/stat : 4979 (toysat) S 4975 4978 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140498444463344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4978/tid=4980] ppid=4975 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4980/stat : 4980 (toysat) S 4975 4978 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140498433973488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4978/tid=4981] ppid=4975 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4981/stat : 4981 (toysat) S 4975 4978 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140498312359088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1324612 [startup+1422.3 s] /proc/loadavg: 2.24 2.20 2.18 3/183 5020 /proc/meminfo: memFree=28056356/32872528 swapFree=16384/1696552 [pid=4978] ppid=4975 vsize=1324612 CPUtime=1421.89 cores=1,3,5,7 /proc/4978/stat : 4978 (toysat) R 4975 4978 1166 0 -1 4202496 272584 0 0 0 142145 44 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140734995483264 5545872 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4978/statm: 331153 273086 851 2943 0 328047 0 [pid=4978/tid=4979] ppid=4975 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4979/stat : 4979 (toysat) S 4975 4978 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140498444463344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4978/tid=4980] ppid=4975 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4980/stat : 4980 (toysat) S 4975 4978 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140498433973488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4978/tid=4981] ppid=4975 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4981/stat : 4981 (toysat) S 4975 4978 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140498312359088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 1324612 [startup+1482.3 s] /proc/loadavg: 2.26 2.21 2.18 3/183 5118 /proc/meminfo: memFree=28091828/32872528 swapFree=16384/1696552 [pid=4978] ppid=4975 vsize=1324612 CPUtime=1481.88 cores=1,3,5,7 /proc/4978/stat : 4978 (toysat) R 4975 4978 1166 0 -1 4202496 272584 0 0 0 148143 45 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140734995484360 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4978/statm: 331153 273086 851 2943 0 328047 0 [pid=4978/tid=4979] ppid=4975 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4979/stat : 4979 (toysat) S 4975 4978 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140498444463344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4978/tid=4980] ppid=4975 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4980/stat : 4980 (toysat) S 4975 4978 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140498433973488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4978/tid=4981] ppid=4975 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4981/stat : 4981 (toysat) S 4975 4978 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140498312359088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1324612 [startup+1542.31 s] /proc/loadavg: 2.20 2.20 2.18 3/183 5119 /proc/meminfo: memFree=28083396/32872528 swapFree=16384/1696552 [pid=4978] ppid=4975 vsize=1324612 CPUtime=1541.87 cores=1,3,5,7 /proc/4978/stat : 4978 (toysat) R 4975 4978 1166 0 -1 4202496 272584 0 0 0 154142 45 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140734995484360 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4978/statm: 331153 273086 851 2943 0 328047 0 [pid=4978/tid=4979] ppid=4975 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4979/stat : 4979 (toysat) S 4975 4978 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140498444463344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4978/tid=4980] ppid=4975 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4980/stat : 4980 (toysat) S 4975 4978 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140498433973488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4978/tid=4981] ppid=4975 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4981/stat : 4981 (toysat) S 4975 4978 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140498312359088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1324612 [startup+1602.3 s] /proc/loadavg: 2.22 2.21 2.18 3/183 5120 /proc/meminfo: memFree=28083388/32872528 swapFree=16384/1696552 [pid=4978] ppid=4975 vsize=1324612 CPUtime=1601.85 cores=1,3,5,7 /proc/4978/stat : 4978 (toysat) R 4975 4978 1166 0 -1 4202496 272584 0 0 0 160140 45 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140734995483264 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4978/statm: 331153 273086 851 2943 0 328047 0 [pid=4978/tid=4979] ppid=4975 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4979/stat : 4979 (toysat) S 4975 4978 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140498444463344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4978/tid=4980] ppid=4975 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4980/stat : 4980 (toysat) S 4975 4978 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140498433973488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4978/tid=4981] ppid=4975 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4981/stat : 4981 (toysat) S 4975 4978 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140498312359088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1324612 [startup+1662.3 s] /proc/loadavg: 2.20 2.20 2.18 3/183 5121 /proc/meminfo: memFree=28081032/32872528 swapFree=16384/1696552 [pid=4978] ppid=4975 vsize=1324612 CPUtime=1661.85 cores=1,3,5,7 /proc/4978/stat : 4978 (toysat) R 4975 4978 1166 0 -1 4202496 272584 0 0 0 166139 46 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140734995483264 5677678 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4978/statm: 331153 273086 851 2943 0 328047 0 [pid=4978/tid=4979] ppid=4975 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4979/stat : 4979 (toysat) S 4975 4978 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140498444463344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4978/tid=4980] ppid=4975 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4980/stat : 4980 (toysat) S 4975 4978 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140498433973488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4978/tid=4981] ppid=4975 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4981/stat : 4981 (toysat) S 4975 4978 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140498312359088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1324612 [startup+1722.3 s] /proc/loadavg: 2.16 2.19 2.18 3/183 5123 /proc/meminfo: memFree=28081032/32872528 swapFree=16384/1696552 [pid=4978] ppid=4975 vsize=1324612 CPUtime=1721.84 cores=1,3,5,7 /proc/4978/stat : 4978 (toysat) R 4975 4978 1166 0 -1 4202496 272584 0 0 0 172138 46 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140734995483264 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4978/statm: 331153 273086 851 2943 0 328047 0 [pid=4978/tid=4979] ppid=4975 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4979/stat : 4979 (toysat) S 4975 4978 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140498444463344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4978/tid=4980] ppid=4975 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4980/stat : 4980 (toysat) S 4975 4978 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140498433973488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4978/tid=4981] ppid=4975 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4981/stat : 4981 (toysat) S 4975 4978 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140498312359088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1324612 [startup+1782.3 s] /proc/loadavg: 2.20 2.20 2.18 3/183 5124 /proc/meminfo: memFree=28079792/32872528 swapFree=16384/1696552 [pid=4978] ppid=4975 vsize=1324612 CPUtime=1781.82 cores=1,3,5,7 /proc/4978/stat : 4978 (toysat) R 4975 4978 1166 0 -1 4202496 272584 0 0 0 178136 46 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140734995483264 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4978/statm: 331153 273086 851 2943 0 328047 0 [pid=4978/tid=4979] ppid=4975 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4979/stat : 4979 (toysat) S 4975 4978 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140498444463344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4978/tid=4980] ppid=4975 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4980/stat : 4980 (toysat) S 4975 4978 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140498433973488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4978/tid=4981] ppid=4975 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4981/stat : 4981 (toysat) S 4975 4978 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140498312359088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1324612 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.28 2.21 2.19 3/183 5124 /proc/meminfo: memFree=28079676/32872528 swapFree=16384/1696552 [pid=4978] ppid=4975 vsize=1324612 CPUtime=1800.03 cores=1,3,5,7 /proc/4978/stat : 4978 (toysat) R 4975 4978 1166 0 -1 4202496 272584 0 0 0 179956 47 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140734995483264 5545919 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4978/statm: 331153 273086 851 2943 0 328047 0 [pid=4978/tid=4979] ppid=4975 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4979/stat : 4979 (toysat) S 4975 4978 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140498444463344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4978/tid=4980] ppid=4975 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4980/stat : 4980 (toysat) S 4975 4978 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140498433973488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4978/tid=4981] ppid=4975 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4981/stat : 4981 (toysat) S 4975 4978 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140498312359088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1324612 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 4978 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.28 2.21 2.19 3/183 5124 /proc/meminfo: memFree=28079676/32872528 swapFree=16384/1696552 [pid=4978] ppid=4975 vsize=1324612 CPUtime=1800.03 cores=1,3,5,7 /proc/4978/stat : 4978 (toysat) R 4975 4978 1166 0 -1 4202496 272584 0 0 0 179956 47 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140734995483264 5545919 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4978/statm: 331153 273086 851 2943 0 328047 0 [pid=4978/tid=4979] ppid=4975 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4979/stat : 4979 (toysat) S 4975 4978 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140498444463344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4978/tid=4980] ppid=4975 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4980/stat : 4980 (toysat) S 4975 4978 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140498433973488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4978/tid=4981] ppid=4975 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/4978/task/4981/stat : 4981 (toysat) S 4975 4978 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107146008 1356402688 273086 33554432000 4194304 16246674 140734995501360 140498312359088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1324612 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.04 CPU user time (s): 1799.57 CPU system time (s): 0.470928 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 1324612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.57 system time used= 0.470928 maximum resident set size= 1092344 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 272584 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= 349 involuntary context switches= 1960 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.53301 second user time and 9.56455 second system time The end
Begin job on node125 at 2016-06-07 00:28:49 IDJOB=4079827 IDBENCH=25022 IDSOLVER=2542 FILE ID=node125/4079827-1465252129 RUNJOBID= node125-1465224138-1183 PBS_JOBID= 19843237 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079827-1465252129/watcher-4079827-1465252129 -o /tmp/evaluation-result-4079827-1465252129/solver-4079827-1465252129 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1183 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079827-1465252129.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= aa73e48897f9c10e5003e2188d9e7ab9 RANDOM SEED=2030538161 node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29150660 kB Buffers: 58552 kB Cached: 146540 kB SwapCached: 2016 kB Active: 1222752 kB Inactive: 94032 kB Active(anon): 1112568 kB Inactive(anon): 1380 kB Active(file): 110184 kB Inactive(file): 92652 kB Unevictable: 1696552 kB Mlocked: 16384 kB SwapTotal: 67108856 kB SwapFree: 67098492 kB Dirty: 16372 kB Writeback: 0 kB AnonPages: 2809200 kB Mapped: 10688 kB Shmem: 0 kB Slab: 569436 kB SReclaimable: 13260 kB SUnreclaim: 556176 kB KernelStack: 1456 kB PageTables: 9216 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2955056 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1802240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71712 MiB End job on node125 at 2016-06-07 00:58:50