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.11 | 1800.53 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-sao2.b.opb |
| MD5SUM | a91a8cbbe2491e496acc19538dbd623f |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 25 |
| Best CPU time to get the best result obtained on this benchmark | 0.027995 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 25 |
| Optimality of the best value was proved | YES |
| Number of variables | 372 |
| Total number of constraints | 772 |
| Number of constraints which are clauses | 772 |
| 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 | 98 |
| Number of terms in the objective function | 372 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 372 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 372 |
| Number of bits of the biggest sum of numbers | 9 |
| 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-06T18:38:24+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-4079492-1465231104.opb"] 0.00/0.01 c use --random-gen="2881914378 3397217599 1012456958 2412282017 2509729347 925804464 1835939005 720835750 3850038213 2300481046 2913416614 1175608479 1786346195 391355088 1731897699 4109926846 3859969447 3739322697 1774416741 1025913731 3998269408 1239962354 1754343929 975473128 4170875585 3706644372 3149686914 3441323824 3143867430 3480508184 1839276903 1395688049 2519366296 2855836343 2099014101 860380982 13543019 841675407 2125333684 1495822303 74898015 2352641498 3102007745 2860010912 948835111 2348381047 830662979 1003010129 701968613 1767251763 497435262 3136647108 1292256604 1630572785 2280940309 850050172 3230109008 3247211307 1613046059 1110286590 3884707116 569957877 1062273224 1482907055 933228015 2351685441 2398241893 663673340 1840868728 1124129349 3258304166 2679814351 626464674 483888343 44831461 2940144559 3446359322 414514767 293003682 2952742174 637312752 3223529556 943764249 4287130013 3316998683 849658234 1096715800 1774720686 93726660 722524217 2592198310 553559936 942699207 89435284 1798881836 2201126913 1099092582 4238920760 2667638866 3517651700 4068408772 3160656466 2247017683 4061033226 3903041458 3420350262 68394457 1834968853 149989162 3910478235 1533603820 3773301517 227108781 1598059474 1822411631 3944631818 1270903975 1956586942 3324901941 3266106168 586648484 2841071679 3119641651 361325241 2712060186 2902022961 912950373 4108929565 2680180575 3255262602 1679260040 2997804560 2674119231 2867924613 2849204306 3778786524 2682393603 1022196940 553816871 285306272 455504269 3272582273 2033956026 261908145 483352231 573049266 2240163342 609400284 2770880496 1984714330 2234184083 2489585297 2112540943 1110211300 3536088144 1155979740 1788642992 1684631976 925406600 1170968784 2968723348 2458451707 1210752772 3821876123 3503725731 1170321523 2296930578 191608080 329746428 3806964333 2603691865 1408446194 2593223655 68929889 2347111298 1590335212 605695607 2872147258 3173582749 1088542906 1026063276 1713060844 3305532513 2962288559 2330978986 1982352660 1149706965 4259388554 1522977497 328293346 3394792780 3830348110 1007073686 2012521091 2546965022 2382627244 3697003418 727284300 3848396494 1684886533 4213721802 2871878311 524798161 746791797 422644141 2613751806 390235163 148203054 97812072 3508088094 2058549663 3167709817 2184316008 1266266291 2888393421 1662600973 3030798741 1488197792 1588622149 670154179 3554856419 3941591573 3628635043 1484363869 2103258736 1446228371 797916390 494950288 4134134029 517007612 2241823574 3933372772 1687019975 1487384479 3591340548 1378387632 1934666032 832964540 4140424017 2270395508 2278912725 3855094114 852265486 4170830092 2549204835 3807054169 236470545 467677898 534795562 1533695292 4009451440 3233997387 1577592303 2492977875 1511512525 2114009120 255 362436" option to reproduce the execution 0.00/0.04 c #vars 372 0.00/0.04 c #constraints 772 0.00/0.07 c BCD2: Hardening is enabled. 0.00/0.07 c BCD2: BiasedSearch is enabled. 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 338 0 | 5 | 0 0.00/0.08 c 0.0s | 0 | 367 | 0 | 338 0 | 5 | 0 0.00/0.08 c #cpu_time = 0.003s 0.00/0.08 c #wall_clock_time = 0.003s 0.00/0.08 c #decision = 367 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 o 372 0.00/0.08 c BCD2: updating upper bound: 372 -> 371 0.00/0.08 c BCD2: 0 <= obj <= 371 0.00/0.08 c BCD2: #cores=0, #unrelaxed=372, #relaxed=0, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 338 0 | 5 | 0 0.00/0.08 c 0.0s | 0 | 2 | 0 | 338 0 | 5 | 0 0.00/0.08 c #cpu_time = 0.002s 0.00/0.08 c #wall_clock_time = 0.002s 0.00/0.08 c #decision = 2 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 1: cost of the new core is >=1 0.00/0.08 c lower bound updated to 1 0.00/0.08 c BCD2: 1 <= obj <= 371 0.00/0.08 c BCD2: #cores=1, #unrelaxed=371, #relaxed=1, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 338 0 | 5 | 0 0.00/0.08 c 0.0s | 0 | 6 | 0 | 338 0 | 5 | 0 0.00/0.08 c #cpu_time = 0.002s 0.00/0.08 c #wall_clock_time = 0.002s 0.00/0.08 c #decision = 6 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 1: cost of the new core is >=1 0.00/0.08 c lower bound updated to 2 0.00/0.08 c BCD2: 2 <= obj <= 371 0.00/0.08 c BCD2: #cores=2, #unrelaxed=370, #relaxed=2, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=3 bias=3/4 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 | 338 0 | 5 | 0 0.00/0.08 c 0.0s | 0 | 7 | 0 | 338 0 | 5 | 0 0.00/0.08 c #cpu_time = 0.002s 0.00/0.08 c #wall_clock_time = 0.002s 0.00/0.08 c #decision = 7 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 1: cost of the new core is >=1 0.00/0.08 c lower bound updated to 3 0.00/0.08 c BCD2: 3 <= obj <= 371 0.00/0.08 c BCD2: #cores=3, #unrelaxed=369, #relaxed=3, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=4 bias=4/5 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 | 338 0 | 5 | 0 0.00/0.09 c 0.0s | 0 | 50 | 0 | 338 0 | 5 | 0 0.00/0.09 c #cpu_time = 0.002s 0.00/0.09 c #wall_clock_time = 0.002s 0.00/0.09 c #decision = 50 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 1: cost of the new core is >=1 0.00/0.09 c lower bound updated to 4 0.00/0.09 c BCD2: 4 <= obj <= 371 0.00/0.09 c BCD2: #cores=4, #unrelaxed=368, #relaxed=4, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=5 bias=5/6 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 | 338 0 | 5 | 0 0.00/0.09 c 0.0s | 0 | 53 | 0 | 338 0 | 5 | 0 0.00/0.09 c #cpu_time = 0.002s 0.00/0.09 c #wall_clock_time = 0.002s 0.00/0.09 c #decision = 53 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 2: cost of the new core is >=1 0.00/0.09 c lower bound updated to 5 0.00/0.09 c BCD2: 5 <= obj <= 371 0.00/0.09 c BCD2: #cores=5, #unrelaxed=366, #relaxed=6, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=6 bias=6/7 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 | 338 0 | 5 | 2 0.00/0.09 c 0.0s | 0 | 54 | 0 | 338 0 | 5 | 2 0.00/0.09 c #cpu_time = 0.002s 0.00/0.09 c #wall_clock_time = 0.002s 0.00/0.09 c #decision = 54 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 >=1 0.00/0.09 c lower bound updated to 6 0.00/0.09 c BCD2: 6 <= obj <= 371 0.00/0.09 c BCD2: #cores=6, #unrelaxed=361, #relaxed=11, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=7 bias=7/8 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 | 338 0 | 5 | 12 0.00/0.09 c 0.0s | 0 | 61 | 0 | 338 0 | 5 | 12 0.00/0.09 c #cpu_time = 0.002s 0.00/0.09 c #wall_clock_time = 0.002s 0.00/0.09 c #decision = 61 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 2: cost of the new core is >=1 0.00/0.09 c lower bound updated to 7 0.00/0.09 c BCD2: 7 <= obj <= 371 0.00/0.09 c BCD2: #cores=7, #unrelaxed=359, #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 | 338 0 | 5 | 14 0.00/0.10 c 0.0s | 0 | 66 | 0 | 338 0 | 5 | 14 0.00/0.10 c #cpu_time = 0.002s 0.00/0.10 c #wall_clock_time = 0.002s 0.00/0.10 c #decision = 66 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 4: cost of the new core is >=1 0.00/0.10 c lower bound updated to 8 0.00/0.10 c BCD2: 8 <= obj <= 371 0.00/0.10 c BCD2: #cores=8, #unrelaxed=355, #relaxed=17, #hardened=0 0.00/0.10 c BCD2: #sat=1 #unsat=9 bias=9/10 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 | 338 0 | 5 | 16 0.09/0.10 c 0.0s | 0 | 68 | 0 | 338 0 | 5 | 16 0.09/0.10 c #cpu_time = 0.002s 0.09/0.10 c #wall_clock_time = 0.002s 0.09/0.10 c #decision = 68 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 4: cost of the new core is >=1 0.09/0.10 c lower bound updated to 9 0.09/0.10 c BCD2: 9 <= obj <= 371 0.09/0.10 c BCD2: #cores=9, #unrelaxed=351, #relaxed=21, #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 | 338 0 | 5 | 26 0.09/0.10 c 0.0s | 0 | 96 | 0 | 338 0 | 5 | 26 0.09/0.10 c #cpu_time = 0.002s 0.09/0.10 c #wall_clock_time = 0.002s 0.09/0.10 c #decision = 96 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 2: cost of the new core is >=1 0.09/0.10 c lower bound updated to 10 0.09/0.10 c BCD2: 10 <= obj <= 371 0.09/0.10 c BCD2: #cores=10, #unrelaxed=349, #relaxed=23, #hardened=0 0.09/0.10 c BCD2: #sat=1 #unsat=11 bias=11/12 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 | 338 0 | 5 | 53 0.09/0.10 c 0.0s | 0 | 180 | 1 | 338 0 | 5 | 53 0.09/0.10 c #cpu_time = 0.002s 0.09/0.10 c #wall_clock_time = 0.002s 0.09/0.10 c #decision = 180 0.09/0.10 c #random_decision = 0 0.09/0.10 c #conflict = 1 0.09/0.10 c #restart = 0 0.09/0.10 c BCD2: found a new core of size 13: cost of the new core is >=1 0.09/0.10 c lower bound updated to 11 0.09/0.10 c BCD2: 11 <= obj <= 371 0.09/0.10 c BCD2: #cores=11, #unrelaxed=336, #relaxed=36, #hardened=0 0.09/0.10 c BCD2: #sat=1 #unsat=12 bias=12/13 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 | 338 0 | 5 | 53 0.09/0.10 c 0.0s | 0 | 177 | 0 | 338 0 | 5 | 53 0.09/0.10 c #cpu_time = 0.002s 0.09/0.10 c #wall_clock_time = 0.002s 0.09/0.10 c #decision = 177 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 5: cost of the new core is >=1 0.09/0.10 c lower bound updated to 12 0.09/0.11 c BCD2: 12 <= obj <= 371 0.09/0.11 c BCD2: #cores=12, #unrelaxed=331, #relaxed=41, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=13 bias=13/14 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 | 338 0 | 5 | 55 0.09/0.11 c 0.0s | 0 | 223 | 0 | 338 0 | 5 | 55 0.09/0.11 c #cpu_time = 0.002s 0.09/0.11 c #wall_clock_time = 0.002s 0.09/0.11 c #decision = 223 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 1: cost of the new core is >=1 0.09/0.11 c lower bound updated to 13 0.09/0.11 c BCD2: 13 <= obj <= 371 0.09/0.11 c BCD2: #cores=13, #unrelaxed=330, #relaxed=42, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=14 bias=14/15 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 | 338 0 | 5 | 55 0.09/0.11 c 0.0s | 0 | 252 | 0 | 338 0 | 5 | 55 0.09/0.11 c #cpu_time = 0.002s 0.09/0.11 c #wall_clock_time = 0.002s 0.09/0.11 c #decision = 252 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 7: cost of the new core is >=1 0.09/0.11 c lower bound updated to 14 0.09/0.11 c BCD2: 14 <= obj <= 371 0.09/0.11 c BCD2: #cores=14, #unrelaxed=323, #relaxed=49, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=15 bias=15/16 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 | 338 0 | 5 | 58 0.09/0.11 c 0.0s | 0 | 251 | 0 | 338 0 | 5 | 58 0.09/0.11 c #cpu_time = 0.002s 0.09/0.11 c #wall_clock_time = 0.002s 0.09/0.11 c #decision = 251 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 52: cost of the new core is >=1 0.09/0.11 c lower bound updated to 15 0.09/0.11 c BCD2: 15 <= obj <= 371 0.09/0.11 c BCD2: #cores=15, #unrelaxed=271, #relaxed=101, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=16 bias=16/17 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 | 338 0 | 5 | 59 0.09/0.12 c 0.0s | 0 | 213 | 0 | 338 0 | 5 | 59 0.09/0.12 c #cpu_time = 0.002s 0.09/0.12 c #wall_clock_time = 0.002s 0.09/0.12 c #decision = 213 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 5: cost of the new core is >=1 0.09/0.12 c lower bound updated to 16 0.09/0.12 c BCD2: 16 <= obj <= 371 0.09/0.12 c BCD2: #cores=16, #unrelaxed=266, #relaxed=106, #hardened=0 0.09/0.12 c BCD2: #sat=1 #unsat=17 bias=17/18 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 | 338 0 | 5 | 62 0.09/0.12 c 0.0s | 0 | 231 | 0 | 338 0 | 5 | 62 0.09/0.12 c #cpu_time = 0.002s 0.09/0.12 c #wall_clock_time = 0.002s 0.09/0.12 c #decision = 231 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 19: cost of the new core is >=1 0.09/0.12 c lower bound updated to 17 0.09/0.12 c BCD2: 17 <= obj <= 371 0.09/0.12 c BCD2: #cores=17, #unrelaxed=247, #relaxed=125, #hardened=0 0.09/0.12 c BCD2: #sat=1 #unsat=18 bias=18/19 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 | 338 0 | 5 | 63 0.09/0.12 c 0.0s | 0 | 222 | 0 | 338 0 | 5 | 63 0.09/0.12 c #cpu_time = 0.002s 0.09/0.12 c #wall_clock_time = 0.002s 0.09/0.12 c #decision = 222 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 9: cost of the new core is >=1 0.09/0.12 c lower bound updated to 18 0.09/0.12 c BCD2: 18 <= obj <= 371 0.09/0.12 c BCD2: #cores=18, #unrelaxed=238, #relaxed=134, #hardened=0 0.09/0.12 c BCD2: #sat=1 #unsat=19 bias=19/20 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 | 338 0 | 5 | 75 0.09/0.12 c 0.0s | 0 | 235 | 0 | 338 0 | 5 | 75 0.09/0.12 c #cpu_time = 0.002s 0.09/0.12 c #wall_clock_time = 0.002s 0.09/0.12 c #decision = 235 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 18: cost of the new core is >=1 0.09/0.12 c lower bound updated to 19 0.09/0.12 c BCD2: 19 <= obj <= 371 0.09/0.12 c BCD2: #cores=19, #unrelaxed=220, #relaxed=152, #hardened=0 0.09/0.12 c BCD2: #sat=1 #unsat=20 bias=20/21 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 | 338 0 | 5 | 89 0.09/0.13 c 0.0s | 0 | 222 | 0 | 338 0 | 5 | 89 0.09/0.13 c #cpu_time = 0.002s 0.09/0.13 c #wall_clock_time = 0.002s 0.09/0.13 c #decision = 222 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 >=1 0.09/0.13 c lower bound updated to 20 0.09/0.13 c BCD2: 20 <= obj <= 371 0.09/0.13 c BCD2: #cores=20, #unrelaxed=215, #relaxed=157, #hardened=0 0.09/0.13 c BCD2: #sat=1 #unsat=21 bias=21/22 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 | 338 0 | 5 | 100 0.09/0.13 c 0.0s | 0 | 359 | 0 | 338 0 | 5 | 100 0.09/0.13 c #cpu_time = 0.002s 0.09/0.13 c #wall_clock_time = 0.002s 0.09/0.13 c #decision = 359 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 o 38 0.09/0.13 c BCD2: updating upper bound: 371 -> 37 0.09/0.13 c BCD2: 20 <= obj <= 37 0.09/0.13 c BCD2: #cores=20, #unrelaxed=215, #relaxed=157, #hardened=0 0.09/0.13 c BCD2: #sat=2 #unsat=21 bias=21/23 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 | 338 0 | 5 | 101 0.09/0.13 c 0.0s | 0 | 186 | 1 | 338 0 | 5 | 101 0.09/0.13 c #cpu_time = 0.002s 0.09/0.13 c #wall_clock_time = 0.002s 0.09/0.13 c #decision = 186 0.09/0.13 c #random_decision = 0 0.09/0.13 c #conflict = 1 0.09/0.13 c #restart = 0 0.09/0.13 c BCD2: relaxing 53 and merging with 1 cores into a new core of size 66: cost of the new core is >=2 0.09/0.13 c lower bound updated to 21 0.09/0.13 c BCD2: 21 <= obj <= 37 0.09/0.13 c BCD2: #cores=20, #unrelaxed=162, #relaxed=210, #hardened=0 0.09/0.13 c BCD2: #sat=2 #unsat=22 bias=22/24 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 | 338 0 | 7 | 101 0.09/0.15 c 0.0s | 1 | 467 | 100 | 372 0 | 7 | 104 0.09/0.16 c 0.0s | 2 | 1022 | 250 | 410 0 | 7 | 104 0.09/0.19 c 0.1s | 3 | 2222 | 475 | 410 0 | 7 | 104 0.19/0.23 c 0.1s | 4 | 3365 | 813 | 452 1 | 7 | 104 0.19/0.29 c 0.2s | 5 | 5004 | 1320 | 548 3 | 7 | 104 0.29/0.39 c 0.3s | 6 | 8048 | 2081 | 603 5 | 7 | 104 0.49/0.54 c 0.4s | 7 | 11850 | 3223 | 664 7 | 7 | 104 0.49/0.58 c 0.4s | 7 | 13010 | 3510 | 664 8 | 7 | 104 0.49/0.58 c #cpu_time = 0.444s 0.49/0.58 c #wall_clock_time = 0.445s 0.49/0.58 c #decision = 13010 0.49/0.58 c #random_decision = 23 0.49/0.58 c #conflict = 3510 0.49/0.58 c #restart = 7 0.49/0.58 o 31 0.49/0.58 c BCD2: updating upper bound: 37 -> 30 0.49/0.58 c BCD2: 21 <= obj <= 30 0.49/0.58 c BCD2: #cores=20, #unrelaxed=162, #relaxed=210, #hardened=0 0.49/0.58 c BCD2: #sat=3 #unsat=22 bias=22/25 0.49/0.58 c Solving starts ... 0.49/0.58 c ============================[ Search Statistics ]============================ 0.49/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.58 c | | | | Limit GC | Var | Constra 0.49/0.58 c ============================================================================= 0.49/0.58 c 0.0s | 0 | 0 | 0 | 664 0 | 7 | 105 0.59/0.60 c 0.0s | 1 | 582 | 100 | 664 0 | 7 | 105 0.59/0.62 c 0.0s | 2 | 1131 | 250 | 664 1 | 7 | 105 0.59/0.65 c 0.1s | 3 | 2091 | 475 | 664 1 | 7 | 105 0.69/0.70 c 0.1s | 4 | 3446 | 813 | 664 2 | 7 | 105 0.69/0.76 c 0.2s | 5 | 5273 | 1320 | 664 3 | 7 | 105 0.79/0.85 c 0.3s | 6 | 7759 | 2081 | 731 5 | 7 | 105 0.89/0.97 c 0.4s | 7 | 11410 | 3223 | 731 7 | 7 | 105 1.10/1.14 c 0.6s | 8 | 17450 | 4936 | 805 11 | 7 | 105 1.29/1.38 c 0.8s | 9 | 25939 | 7506 | 805 16 | 7 | 105 1.79/1.82 c 1.2s | 10 | 38933 | 11361 | 886 23 | 7 | 105 2.30/2.38 c 1.8s | 10 | 57827 | 17006 | 975 33 | 7 | 105 2.30/2.38 c #cpu_time = 1.794s 2.30/2.38 c #wall_clock_time = 1.799s 2.30/2.38 c #decision = 57827 2.30/2.38 c #random_decision = 128 2.30/2.38 c #conflict = 17006 2.30/2.38 c #restart = 10 2.30/2.38 c BCD2: relaxing 13 and merging with 1 cores into a new core of size 79: cost of the new core is >=3 2.30/2.38 c lower bound updated to 22 2.30/2.38 c BCD2: 22 <= obj <= 30 2.30/2.38 c BCD2: #cores=20, #unrelaxed=149, #relaxed=223, #hardened=0 2.30/2.38 c BCD2: #sat=3 #unsat=23 bias=23/26 2.30/2.38 c Solving starts ... 2.30/2.38 c ============================[ Search Statistics ]============================ 2.30/2.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.30/2.38 c | | | | Limit GC | Var | Constra 2.30/2.38 c ============================================================================= 2.30/2.38 c 0.0s | 0 | 0 | 0 | 975 0 | 9 | 105 2.30/2.40 c 0.0s | 1 | 509 | 100 | 975 0 | 9 | 108 2.40/2.41 c 0.0s | 2 | 1049 | 250 | 975 0 | 9 | 108 2.40/2.43 c 0.1s | 3 | 2158 | 475 | 975 0 | 9 | 108 2.40/2.47 c 0.1s | 4 | 3464 | 813 | 975 0 | 9 | 108 2.49/2.51 c 0.1s | 5 | 4789 | 1320 | 975 1 | 9 | 108 2.49/2.58 c 0.2s | 6 | 7328 | 2081 | 975 2 | 9 | 108 2.59/2.69 c 0.3s | 7 | 10880 | 3223 | 975 4 | 9 | 108 2.79/2.87 c 0.5s | 8 | 15654 | 4936 | 975 7 | 9 | 108 3.09/3.14 c 0.8s | 9 | 25085 | 7506 | 1073 11 | 9 | 108 3.50/3.52 c 1.1s | 10 | 39128 | 11361 | 1073 17 | 9 | 108 3.79/3.87 c 1.5s | 10 | 52043 | 15049 | 1073 23 | 10 | 109 3.79/3.87 c #cpu_time = 1.479s 3.79/3.87 c #wall_clock_time = 1.483s 3.79/3.87 c #decision = 52043 3.79/3.87 c #random_decision = 95 3.79/3.87 c #conflict = 15049 3.79/3.87 c #restart = 10 3.79/3.87 c BCD2: updating lower bound of a core 3.79/3.87 c lower bound updated to 24 3.79/3.87 c BCD2: 24 <= obj <= 30 3.79/3.87 c BCD2: #cores=20, #unrelaxed=149, #relaxed=223, #hardened=0 3.79/3.87 c BCD2: #sat=3 #unsat=24 bias=24/27 3.79/3.87 c Solving starts ... 3.79/3.87 c ============================[ Search Statistics ]============================ 3.79/3.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.79/3.87 c | | | | Limit GC | Var | Constra 3.79/3.87 c ============================================================================= 3.79/3.87 c 0.0s | 0 | 0 | 0 | 1073 0 | 10 | 110 3.79/3.88 c 0.0s | 1 | 613 | 100 | 1073 0 | 10 | 110 3.79/3.89 c 0.0s | 2 | 1135 | 250 | 1073 0 | 10 | 110 3.89/3.91 c 0.0s | 3 | 2142 | 475 | 1073 0 | 10 | 110 3.89/3.95 c 0.1s | 4 | 3227 | 813 | 1073 0 | 10 | 110 3.99/4.00 c 0.1s | 5 | 5018 | 1320 | 1073 1 | 10 | 110 3.99/4.07 c 0.2s | 6 | 6732 | 2081 | 1073 2 | 10 | 110 4.09/4.19 c 0.3s | 7 | 10552 | 3223 | 1181 3 | 10 | 110 4.29/4.37 c 0.5s | 8 | 14923 | 4936 | 1181 6 | 10 | 110 4.60/4.61 c 0.7s | 9 | 22745 | 7506 | 1181 10 | 10 | 110 5.09/5.17 c 1.3s | 10 | 35474 | 11361 | 1181 15 | 10 | 110 5.39/5.40 c 1.5s | 10 | 42141 | 13091 | 1181 18 | 10 | 110 5.39/5.40 c #cpu_time = 1.533s 5.39/5.40 c #wall_clock_time = 1.537s 5.39/5.40 c #decision = 42141 5.39/5.40 c #random_decision = 126 5.39/5.40 c #conflict = 13091 5.39/5.40 c #restart = 10 5.39/5.40 o 27 5.39/5.40 c BCD2: updating upper bound: 30 -> 26 5.39/5.40 c BCD2: 24 <= obj <= 26 5.39/5.40 c BCD2: #cores=20, #unrelaxed=149, #relaxed=223, #hardened=0 5.39/5.40 c BCD2: #sat=4 #unsat=24 bias=24/28 5.39/5.41 c Solving starts ... 5.39/5.41 c ============================[ Search Statistics ]============================ 5.39/5.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.39/5.41 c | | | | Limit GC | Var | Constra 5.39/5.41 c ============================================================================= 5.39/5.41 c 0.0s | 0 | 0 | 0 | 1181 0 | 10 | 111 5.39/5.42 c 0.0s | 1 | 784 | 100 | 1181 0 | 10 | 111 5.39/5.45 c 0.0s | 2 | 1511 | 250 | 1181 0 | 10 | 111 5.39/5.47 c 0.1s | 3 | 2351 | 475 | 1181 1 | 10 | 111 5.49/5.52 c 0.1s | 4 | 3910 | 813 | 1181 1 | 10 | 111 5.49/5.60 c 0.2s | 5 | 5953 | 1320 | 1181 2 | 10 | 111 5.70/5.74 c 0.3s | 6 | 8021 | 2081 | 1181 3 | 10 | 111 5.89/5.90 c 0.5s | 7 | 11493 | 3223 | 1181 5 | 10 | 111 6.09/6.13 c 0.7s | 8 | 17778 | 4936 | 1181 7 | 10 | 111 6.49/6.53 c 1.1s | 9 | 25997 | 7506 | 1181 11 | 10 | 111 7.09/7.11 c 1.7s | 10 | 39133 | 11361 | 1300 16 | 10 | 111 7.80/7.82 c 2.4s | 11 | 57574 | 17144 | 1300 24 | 10 | 111 8.90/8.92 c 3.5s | 12 | 85441 | 25819 | 1300 36 | 10 | 111 10.79/10.82 c 5.4s | 13 | 129041 | 38832 | 1431 53 | 10 | 111 12.79/12.83 c 7.4s | 13 | 175484 | 53332 | 1431 71 | 10 | 111 13.40/13.44 c 8.0s | 14 | 190389 | 58352 | 1431 77 | 10 | 111 15.39/15.45 c 10.0s | 14 | 233117 | 71352 | 1431 93 | 10 | 111 17.39/17.46 c 12.0s | 14 | 278249 | 84852 | 1575 109 | 10 | 111 17.80/17.84 c 12.4s | 15 | 287333 | 87632 | 1575 113 | 10 | 111 19.79/19.86 c 14.5s | 15 | 326785 | 99632 | 1575 126 | 10 | 111 21.78/21.88 c 16.5s | 15 | 365307 | 111332 | 1575 140 | 10 | 111 23.78/23.89 c 18.5s | 15 | 396481 | 121532 | 1575 151 | 10 | 111 25.39/25.44 c 20.0s | 16 | 429023 | 131552 | 1575 163 | 10 | 111 27.38/27.45 c 22.0s | 16 | 461934 | 141652 | 1575 174 | 10 | 111 29.38/29.45 c 24.0s | 16 | 505271 | 154352 | 1733 188 | 10 | 111 30.89/30.92 c 25.5s | 16 | 533830 | 163844 | 1733 198 | 10 | 111 30.89/30.92 c #cpu_time = 25.452s 30.89/30.92 c #wall_clock_time = 25.518s 30.89/30.92 c #decision = 533830 30.89/30.92 c #random_decision = 2117 30.89/30.92 c #conflict = 163844 30.89/30.92 c #restart = 16 30.89/30.92 c BCD2: relaxing 146 and merging with 12 cores into a new core of size 358: cost of the new core is >=17 30.89/30.92 c lower bound updated to 25 30.89/30.93 c BCD2: 25 <= obj <= 26 30.89/30.93 c BCD2: #cores=9, #unrelaxed=3, #relaxed=369, #hardened=0 30.89/30.93 c BCD2: #sat=4 #unsat=25 bias=25/29 30.89/30.93 c Solving starts ... 30.89/30.93 c ============================[ Search Statistics ]============================ 30.89/30.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 30.89/30.93 c | | | | Limit GC | Var | Constra 30.89/30.93 c ============================================================================= 30.89/30.93 c 0.0s | 0 | 0 | 0 | 1733 0 | 38 | 111 30.89/30.96 c 0.0s | 1 | 486 | 100 | 1733 0 | 38 | 155 30.99/31.01 c 0.1s | 2 | 1196 | 250 | 1733 0 | 38 | 155 31.08/31.10 c 0.2s | 3 | 2634 | 475 | 1733 0 | 38 | 155 31.18/31.22 c 0.3s | 4 | 4297 | 813 | 1733 0 | 38 | 155 31.38/31.40 c 0.5s | 5 | 7283 | 1320 | 1733 0 | 38 | 155 31.68/31.71 c 0.8s | 6 | 11629 | 2081 | 1733 1 | 38 | 155 32.09/32.10 c 1.2s | 7 | 17557 | 3223 | 1733 2 | 38 | 155 32.68/32.72 c 1.8s | 8 | 27396 | 4936 | 1733 4 | 38 | 155 33.48/33.58 c 2.7s | 9 | 41542 | 7506 | 1733 7 | 38 | 155 34.78/34.86 c 3.9s | 10 | 60476 | 11361 | 1733 11 | 38 | 155 36.68/36.74 c 5.8s | 11 | 90199 | 17144 | 1733 17 | 38 | 155 38.69/38.74 c 7.8s | 11 | 123283 | 22944 | 1733 24 | 38 | 155 39.58/39.65 c 8.7s | 12 | 137883 | 25819 | 1733 27 | 38 | 155 41.58/41.68 c 10.8s | 12 | 168795 | 32219 | 1733 34 | 38 | 155 43.58/43.69 c 12.8s | 12 | 198608 | 38619 | 1733 41 | 38 | 155 43.68/43.75 c 12.8s | 13 | 199659 | 38832 | 1733 41 | 38 | 155 45.68/45.76 c 14.8s | 13 | 229700 | 45332 | 1733 49 | 38 | 155 47.68/47.77 c 16.8s | 13 | 257519 | 51632 | 1733 56 | 38 | 155 49.69/49.79 c 18.9s | 13 | 289522 | 58032 | 1733 63 | 38 | 155 49.78/49.88 c 19.0s | 14 | 291161 | 58352 | 1733 63 | 38 | 155 51.89/51.91 c 21.0s | 14 | 326578 | 65052 | 1733 70 | 38 | 155 53.88/53.92 c 23.0s | 14 | 360541 | 71852 | 1733 78 | 38 | 155 55.88/55.94 c 25.0s | 14 | 398485 | 78752 | 1733 86 | 38 | 155 57.88/57.94 c 27.0s | 14 | 435097 | 85452 | 1907 92 | 38 | 155 58.48/58.56 c 27.6s | 15 | 444395 | 87632 | 1907 95 | 38 | 155 60.48/60.56 c 29.6s | 15 | 476823 | 93932 | 1907 101 | 38 | 155 62.48/62.57 c 31.6s | 15 | 509841 | 100032 | 1907 107 | 38 | 155 64.48/64.59 c 33.7s | 15 | 542962 | 106932 | 1907 114 | 38 | 155 66.58/66.62 c 35.7s | 15 | 579023 | 113332 | 1907 120 | 38 | 155 68.58/68.62 c 37.7s | 15 | 611880 | 119332 | 1907 127 | 38 | 155 70.59/70.62 c 39.7s | 15 | 644982 | 125332 | 1907 133 | 38 | 155 72.58/72.63 c 41.7s | 15 | 676257 | 131432 | 1907 139 | 38 | 155 72.58/72.67 c 41.7s | 16 | 676807 | 131552 | 1907 139 | 38 | 155 74.58/74.69 c 43.8s | 16 | 709446 | 138052 | 1907 145 | 38 | 155 76.68/76.71 c 45.8s | 16 | 741831 | 144052 | 1907 151 | 38 | 155 78.68/78.74 c 47.8s | 16 | 773878 | 150052 | 1907 158 | 38 | 155 80.68/80.75 c 49.8s | 16 | 804772 | 156052 | 1907 164 | 38 | 155 82.69/82.79 c 51.9s | 16 | 834352 | 161852 | 1907 169 | 38 | 155 84.68/84.79 c 53.9s | 16 | 863430 | 167552 | 1907 175 | 38 | 155 86.78/86.81 c 55.9s | 16 | 895128 | 173652 | 1907 181 | 38 | 155 88.78/88.82 c 57.9s | 16 | 927240 | 179452 | 1907 187 | 38 | 155 90.78/90.84 c 59.9s | 16 | 960333 | 185652 | 1907 193 | 38 | 155 92.78/92.86 c 61.9s | 16 | 993780 | 191252 | 1907 199 | 38 | 155 94.79/94.87 c 63.9s | 16 | 1025726 | 196952 | 1907 205 | 38 | 155 94.98/95.02 c 64.1s | 17 | 1028821 | 197432 | 1907 205 | 38 | 155 96.99/97.04 c 66.1s | 17 | 1058561 | 203032 | 1907 211 | 38 | 155 98.98/99.04 c 68.1s | 17 | 1087675 | 208532 | 1907 216 | 38 | 155 100.97/101.06 c 70.1s | 17 | 1121933 | 214732 | 1907 223 | 38 | 155 102.97/103.06 c 72.1s | 17 | 1160252 | 220432 | 1907 228 | 38 | 155 104.97/105.07 c 74.1s | 17 | 1193625 | 226032 | 1907 234 | 38 | 155 106.97/107.09 c 76.2s | 17 | 1224904 | 231832 | 2098 240 | 38 | 155 109.08/109.12 c 78.2s | 17 | 1253259 | 237332 | 2098 245 | 38 | 155 111.07/111.13 c 80.2s | 17 | 1287992 | 243032 | 2098 250 | 38 | 155 113.07/113.16 c 82.2s | 17 | 1316649 | 248732 | 2098 255 | 38 | 155 115.07/115.17 c 84.2s | 17 | 1349090 | 254732 | 2098 261 | 38 | 155 117.07/117.18 c 86.3s | 17 | 1379125 | 260232 | 2098 266 | 38 | 155 119.17/119.20 c 88.3s | 17 | 1410708 | 265832 | 2098 271 | 38 | 155 121.18/121.23 c 90.3s | 17 | 1443681 | 271532 | 2098 276 | 38 | 155 123.17/123.25 c 92.3s | 17 | 1475286 | 277432 | 2098 281 | 38 | 155 125.17/125.28 c 94.4s | 17 | 1510796 | 283032 | 2098 287 | 38 | 155 127.27/127.31 c 96.4s | 17 | 1542545 | 288732 | 2098 292 | 38 | 155 129.27/129.32 c 98.4s | 17 | 1570571 | 294532 | 2098 297 | 38 | 155 129.77/129.89 c 99.0s | 18 | 1580890 | 296252 | 2098 299 | 38 | 155 131.77/131.90 c 100s | 18 | 1612706 | 301952 | 2098 304 | 38 | 155 133.87/133.91 c 102s | 18 | 1646262 | 307952 | 2098 310 | 38 | 155 135.87/135.93 c 105s | 18 | 1675752 | 313952 | 2098 315 | 38 | 155 137.87/137.93 c 107s | 18 | 1704484 | 319352 | 2098 320 | 38 | 155 139.87/139.94 c 109s | 18 | 1734115 | 325052 | 2098 325 | 38 | 155 141.87/141.98 c 111s | 18 | 1762235 | 330752 | 2098 331 | 38 | 155 143.87/143.98 c 113s | 18 | 1787846 | 336252 | 2098 336 | 38 | 155 145.87/145.99 c 115s | 18 | 1815494 | 341652 | 2098 341 | 38 | 155 147.97/148.01 c 117s | 18 | 1843771 | 347452 | 2098 346 | 38 | 155 149.97/150.02 c 119s | 18 | 1869263 | 352852 | 2098 351 | 38 | 155 151.97/152.03 c 121s | 18 | 1901237 | 358752 | 2098 356 | 38 | 155 153.96/154.05 c 123s | 18 | 1932828 | 364452 | 2098 361 | 38 | 155 155.96/156.06 c 125s | 18 | 1963249 | 370352 | 2098 367 | 38 | 155 157.96/158.09 c 127s | 18 | 1994348 | 376152 | 2098 372 | 38 | 155 160.07/160.10 c 129s | 18 | 2025166 | 382152 | 2098 378 | 38 | 155 162.07/162.12 c 131s | 18 | 2057756 | 388252 | 2098 383 | 38 | 155 164.08/164.14 c 133s | 18 | 2090844 | 394152 | 2098 389 | 38 | 155 166.07/166.17 c 135s | 18 | 2119662 | 399652 | 2098 394 | 38 | 155 168.07/168.18 c 137s | 18 | 2151999 | 405252 | 2098 399 | 38 | 155 170.07/170.19 c 139s | 18 | 2183469 | 410852 | 2098 404 | 38 | 155 172.17/172.24 c 141s | 18 | 2215693 | 416852 | 2098 410 | 38 | 155 174.17/174.27 c 143s | 18 | 2247773 | 422852 | 2098 415 | 38 | 155 176.27/176.31 c 145s | 18 | 2281166 | 428552 | 2098 421 | 38 | 155 178.27/178.31 c 147s | 18 | 2311181 | 434152 | 2098 426 | 38 | 155 180.27/180.33 c 149s | 18 | 2341414 | 439852 | 2098 431 | 38 | 155 181.77/181.85 c 150s | 19 | 2366151 | 444482 | 2098 435 | 38 | 155 183.77/183.88 c 152s | 19 | 2393631 | 450582 | 2308 441 | 38 | 155 185.76/185.89 c 154s | 19 | 2420126 | 456382 | 2308 446 | 38 | 155 187.86/187.90 c 156s | 19 | 2445834 | 462282 | 2308 451 | 38 | 155 189.86/189.92 c 158s | 19 | 2474307 | 467782 | 2308 455 | 38 | 155 191.86/191.94 c 161s | 19 | 2507271 | 473582 | 2308 460 | 38 | 155 193.86/193.97 c 163s | 19 | 2540343 | 479182 | 2308 465 | 38 | 155 195.87/195.97 c 165s | 19 | 2570231 | 484882 | 2308 470 | 38 | 155 197.86/197.99 c 167s | 19 | 2600119 | 490582 | 2308 474 | 38 | 155 199.96/200.01 c 169s | 19 | 2631459 | 496482 | 2308 479 | 38 | 155 201.96/202.04 c 171s | 19 | 2665857 | 501982 | 2308 484 | 38 | 155 203.96/204.05 c 173s | 19 | 2694041 | 507482 | 2308 488 | 38 | 155 205.96/206.06 c 175s | 19 | 2722709 | 512782 | 2308 493 | 38 | 155 207.97/208.07 c 177s | 19 | 2751731 | 518282 | 2308 498 | 38 | 155 209.96/210.09 c 179s | 19 | 2779588 | 523582 | 2308 502 | 38 | 155 212.06/212.10 c 181s | 19 | 2808221 | 529182 | 2308 507 | 38 | 155 214.06/214.13 c 183s | 19 | 2833957 | 534882 | 2308 511 | 38 | 155 216.06/216.15 c 185s | 19 | 2865297 | 540482 | 2308 516 | 38 | 155 218.05/218.17 c 187s | 19 | 2894185 | 546082 | 2308 521 | 38 | 155 220.06/220.17 c 189s | 19 | 2924747 | 551782 | 2308 526 | 38 | 155 222.05/222.19 c 191s | 19 | 2952375 | 557682 | 2308 531 | 38 | 155 224.15/224.22 c 193s | 19 | 2976850 | 563282 | 2308 535 | 38 | 155 226.15/226.25 c 195s | 19 | 3005434 | 568782 | 2308 540 | 38 | 155 228.15/228.26 c 197s | 19 | 3033882 | 574082 | 2308 544 | 38 | 155 230.15/230.27 c 199s | 19 | 3065273 | 579782 | 2308 549 | 38 | 155 232.16/232.30 c 201s | 19 | 3096556 | 585482 | 2308 554 | 38 | 155 234.25/234.32 c 203s | 19 | 3126323 | 590982 | 2308 558 | 38 | 155 236.25/236.35 c 205s | 19 | 3154517 | 596782 | 2308 563 | 38 | 155 238.25/238.37 c 207s | 19 | 3178395 | 601982 | 2308 568 | 38 | 155 240.36/240.40 c 209s | 19 | 3208066 | 607282 | 2308 572 | 38 | 155 242.36/242.44 c 211s | 19 | 3238714 | 613182 | 2308 577 | 38 | 155 244.36/244.48 c 213s | 19 | 3269236 | 618782 | 2308 582 | 38 | 155 246.36/246.49 c 215s | 19 | 3298674 | 624482 | 2308 587 | 38 | 155 248.46/248.52 c 217s | 19 | 3326508 | 629982 | 2308 591 | 38 | 155 250.45/250.53 c 219s | 19 | 3356255 | 635482 | 2308 596 | 38 | 155 252.45/252.55 c 221s | 19 | 3383489 | 640982 | 2308 601 | 38 | 155 254.45/254.56 c 223s | 19 | 3408406 | 646582 | 2308 605 | 38 | 155 256.46/256.59 c 225s | 19 | 3432559 | 651982 | 2308 610 | 38 | 155 258.56/258.61 c 227s | 19 | 3459423 | 657382 | 2308 614 | 38 | 155 260.55/260.63 c 229s | 19 | 3487175 | 662782 | 2308 619 | 38 | 155 262.05/262.15 c 231s | 20 | 3507278 | 666827 | 2308 622 | 38 | 155 264.06/264.18 c 233s | 20 | 3538836 | 672327 | 2308 627 | 38 | 155 266.15/266.20 c 235s | 20 | 3570194 | 677827 | 2308 632 | 38 | 155 268.15/268.24 c 237s | 20 | 3603637 | 683327 | 2308 636 | 38 | 155 270.15/270.26 c 239s | 20 | 3636934 | 689027 | 2308 641 | 38 | 155 272.15/272.28 c 241s | 20 | 3666820 | 694527 | 2308 646 | 38 | 155 274.15/274.28 c 243s | 20 | 3698499 | 700227 | 2308 650 | 38 | 155 276.16/276.29 c 245s | 20 | 3729247 | 705727 | 2308 655 | 38 | 155 278.25/278.32 c 247s | 20 | 3760370 | 711127 | 2308 660 | 38 | 155 280.25/280.34 c 249s | 20 | 3791545 | 717027 | 2308 665 | 38 | 155 282.25/282.35 c 251s | 20 | 3823919 | 722527 | 2308 669 | 38 | 155 284.25/284.38 c 253s | 20 | 3858237 | 728327 | 2308 674 | 38 | 155 286.35/286.41 c 255s | 20 | 3892095 | 734427 | 2308 679 | 38 | 155 288.36/288.42 c 257s | 20 | 3924834 | 740327 | 2308 684 | 38 | 155 290.35/290.43 c 259s | 20 | 3954773 | 746127 | 2308 689 | 38 | 155 292.35/292.45 c 261s | 20 | 3983455 | 752227 | 2308 694 | 38 | 155 294.35/294.45 c 263s | 20 | 4010474 | 758427 | 2308 700 | 38 | 155 296.35/296.47 c 265s | 20 | 4039978 | 763627 | 2308 704 | 38 | 155 298.34/298.49 c 267s | 20 | 4068606 | 769227 | 2308 709 | 38 | 155 300.35/300.50 c 269s | 20 | 4095202 | 774727 | 2308 713 | 38 | 155 302.44/302.51 c 271s | 20 | 4119384 | 780227 | 2308 718 | 38 | 155 304.44/304.52 c 273s | 20 | 4144727 | 785527 | 2539 722 | 38 | 155 306.44/306.56 c 275s | 20 | 4172300 | 791027 | 2539 726 | 38 | 155 308.44/308.58 c 277s | 20 | 4200995 | 796627 | 2539 730 | 38 | 155 310.54/310.60 c 279s | 20 | 4234576 | 802527 | 2539 735 | 38 | 155 312.55/312.62 c 281s | 20 | 4261585 | 808027 | 2539 739 | 38 | 155 314.54/314.62 c 283s | 20 | 4287379 | 813627 | 2539 743 | 38 | 155 316.54/316.65 c 285s | 20 | 4311895 | 819027 | 2539 747 | 38 | 155 318.54/318.66 c 287s | 20 | 4341778 | 824527 | 2539 752 | 38 | 155 320.54/320.67 c 289s | 20 | 4371734 | 830327 | 2539 756 | 38 | 155 322.64/322.70 c 291s | 20 | 4404271 | 836227 | 2539 760 | 38 | 155 324.65/324.71 c 293s | 20 | 4438325 | 842227 | 2539 765 | 38 | 155 326.64/326.72 c 295s | 20 | 4471066 | 848227 | 2539 770 | 38 | 155 328.64/328.75 c 297s | 20 | 4505101 | 854527 | 2539 774 | 38 | 155 330.64/330.76 c 299s | 20 | 4534838 | 860027 | 2539 779 | 38 | 155 332.64/332.76 c 301s | 20 | 4565364 | 865927 | 2539 783 | 38 | 155 334.64/334.77 c 303s | 20 | 4596681 | 871527 | 2539 787 | 38 | 155 336.64/336.77 c 305s | 20 | 4626642 | 877127 | 2539 792 | 38 | 155 338.64/338.79 c 307s | 20 | 4653315 | 882727 | 2539 796 | 38 | 155 340.74/340.82 c 309s | 20 | 4681773 | 888027 | 2539 800 | 38 | 155 342.74/342.84 c 311s | 20 | 4711407 | 893727 | 2539 804 | 38 | 155 344.74/344.86 c 313s | 20 | 4744036 | 899427 | 2539 809 | 38 | 155 346.74/346.86 c 315s | 20 | 4772428 | 905127 | 2539 813 | 38 | 155 348.74/348.89 c 317s | 20 | 4802920 | 911127 | 2539 818 | 38 | 155 350.74/350.89 c 319s | 20 | 4831036 | 916827 | 2539 822 | 38 | 155 352.84/352.91 c 321s | 20 | 4861507 | 922427 | 2539 826 | 38 | 155 354.84/354.93 c 324s | 20 | 4893246 | 928127 | 2539 831 | 38 | 155 356.83/356.94 c 326s | 20 | 4925232 | 933727 | 2539 835 | 38 | 155 358.83/358.95 c 328s | 20 | 4955123 | 939227 | 2539 839 | 38 | 155 360.84/360.98 c 330s | 20 | 4987683 | 945127 | 2539 844 | 38 | 155 362.83/362.98 c 332s | 20 | 5016771 | 950827 | 2539 848 | 38 | 155 364.83/364.99 c 334s | 20 | 5047978 | 956727 | 2539 853 | 38 | 155 366.94/367.02 c 336s | 20 | 5073846 | 962227 | 2539 857 | 38 | 155 368.94/369.03 c 338s | 20 | 5104248 | 968327 | 2539 861 | 38 | 155 370.94/371.05 c 340s | 20 | 5136016 | 974127 | 2539 866 | 38 | 155 372.94/373.07 c 342s | 20 | 5169450 | 980127 | 2539 870 | 38 | 155 375.04/375.10 c 344s | 20 | 5202485 | 985927 | 2539 875 | 38 | 155 377.03/377.12 c 346s | 20 | 5233345 | 991727 | 2539 879 | 38 | 155 379.03/379.14 c 348s | 20 | 5268518 | 997227 | 2539 884 | 38 | 155 380.23/380.33 c 349s | 21 | 5289345 | 1000345 | 2539 886 | 38 | 155 382.23/382.34 c 351s | 21 | 5320548 | 1006145 | 2539 890 | 38 | 155 384.23/384.36 c 353s | 21 | 5355387 | 1011645 | 2539 895 | 38 | 155 386.24/386.36 c 355s | 21 | 5386326 | 1016845 | 2539 899 | 38 | 155 388.23/388.38 c 357s | 21 | 5418166 | 1022545 | 2539 903 | 38 | 155 390.23/390.38 c 359s | 21 | 5449485 | 1027945 | 2539 907 | 38 | 155 392.33/392.40 c 361s | 21 | 5475666 | 1033145 | 2539 911 | 38 | 155 394.33/394.43 c 363s | 21 | 5506255 | 1038445 | 2539 915 | 38 | 155 396.33/396.45 c 365s | 21 | 5531578 | 1043445 | 2539 919 | 38 | 155 398.34/398.47 c 367s | 21 | 5561057 | 1049145 | 2539 923 | 38 | 155 400.44/400.51 c 369s | 21 | 5591614 | 1054645 | 2539 927 | 38 | 155 402.43/402.55 c 371s | 21 | 5619378 | 1060045 | 2539 932 | 38 | 155 404.43/404.59 c 373s | 21 | 5647894 | 1065345 | 2539 936 | 38 | 155 406.53/406.63 c 375s | 21 | 5675684 | 1070645 | 2539 940 | 38 | 155 408.53/408.63 c 377s | 21 | 5707635 | 1075745 | 2539 944 | 38 | 155 410.53/410.64 c 379s | 21 | 5733779 | 1081045 | 2539 948 | 38 | 155 412.53/412.67 c 381s | 21 | 5758801 | 1086645 | 2539 952 | 38 | 155 414.53/414.68 c 383s | 21 | 5787788 | 1091645 | 2539 956 | 38 | 155 416.53/416.69 c 385s | 21 | 5816578 | 1096745 | 2539 960 | 38 | 155 418.63/418.71 c 387s | 21 | 5849660 | 1102045 | 2539 964 | 38 | 155 420.62/420.72 c 389s | 21 | 5874778 | 1107245 | 2539 968 | 38 | 155 422.62/422.76 c 391s | 21 | 5898450 | 1112445 | 2539 972 | 38 | 155 424.63/424.76 c 393s | 21 | 5930587 | 1117845 | 2539 976 | 38 | 155 426.62/426.77 c 395s | 21 | 5962059 | 1123345 | 2539 980 | 38 | 155 428.72/428.81 c 397s | 21 | 5990485 | 1128845 | 2539 984 | 38 | 155 430.72/430.81 c 399s | 21 | 6018719 | 1134045 | 2539 988 | 38 | 155 432.72/432.81 c 401s | 21 | 6049153 | 1139745 | 2539 992 | 38 | 155 434.72/434.81 c 403s | 21 | 6080006 | 1145245 | 2539 997 | 38 | 155 436.73/436.83 c 405s | 21 | 6110444 | 1151045 | 2539 1001 | 38 | 155 438.72/438.84 c 407s | 21 | 6142484 | 1156645 | 2539 1005 | 38 | 155 440.72/440.87 c 409s | 21 | 6170307 | 1162045 | 2539 1009 | 38 | 155 442.82/442.91 c 411s | 21 | 6194158 | 1167045 | 2539 1013 | 38 | 155 444.82/444.93 c 414s | 21 | 6225985 | 1172245 | 2539 1017 | 38 | 155 446.82/446.95 c 416s | 21 | 6253120 | 1177445 | 2539 1021 | 38 | 155 448.83/448.96 c 418s | 21 | 6280953 | 1182745 | 2539 1025 | 38 | 155 450.82/450.99 c 420s | 21 | 6307285 | 1188145 | 2539 1029 | 38 | 155 452.92/453.03 c 422s | 21 | 6334949 | 1193545 | 2539 1033 | 38 | 155 454.92/455.04 c 424s | 21 | 6366477 | 1198945 | 2539 1038 | 38 | 155 456.92/457.05 c 426s | 21 | 6395343 | 1204145 | 2539 1041 | 38 | 155 458.92/459.09 c 428s | 21 | 6427818 | 1209145 | 2539 1045 | 38 | 155 461.02/461.11 c 430s | 21 | 6455878 | 1214145 | 2539 1049 | 38 | 155 463.02/463.12 c 432s | 21 | 6483264 | 1219245 | 2539 1053 | 38 | 155 465.02/465.12 c 434s | 21 | 6513676 | 1224245 | 2539 1057 | 38 | 155 467.02/467.16 c 436s | 21 | 6546468 | 1229645 | 2539 1061 | 38 | 155 469.02/469.19 c 438s | 21 | 6578221 | 1234745 | 2539 1065 | 38 | 155 471.12/471.22 c 440s | 21 | 6610960 | 1240045 | 2539 1069 | 38 | 155 473.12/473.23 c 442s | 21 | 6641615 | 1245045 | 2539 1073 | 38 | 155 475.11/475.24 c 444s | 21 | 6670870 | 1250145 | 2539 1077 | 38 | 155 477.11/477.25 c 446s | 21 | 6701512 | 1255445 | 2539 1081 | 38 | 155 479.11/479.28 c 448s | 21 | 6728673 | 1260745 | 2539 1085 | 38 | 155 481.11/481.30 c 450s | 21 | 6755755 | 1265945 | 2539 1089 | 38 | 155 483.21/483.33 c 452s | 21 | 6789828 | 1271445 | 2539 1093 | 38 | 155 485.23/485.34 c 454s | 21 | 6822077 | 1277145 | 2539 1097 | 38 | 155 487.22/487.37 c 456s | 21 | 6847394 | 1282245 | 2793 1101 | 38 | 155 489.22/489.38 c 458s | 21 | 6878419 | 1287445 | 2793 1104 | 38 | 155 491.22/491.39 c 460s | 21 | 6904848 | 1292545 | 2793 1108 | 38 | 155 493.32/493.42 c 462s | 21 | 6935397 | 1297545 | 2793 1111 | 38 | 155 495.32/495.44 c 464s | 21 | 6967106 | 1302445 | 2793 1115 | 38 | 155 497.33/497.47 c 466s | 21 | 6997400 | 1307545 | 2793 1118 | 38 | 155 499.32/499.48 c 468s | 21 | 7029495 | 1312945 | 2793 1122 | 38 | 155 501.32/501.48 c 470s | 21 | 7054794 | 1318045 | 2793 1126 | 38 | 155 503.42/503.50 c 472s | 21 | 7086467 | 1323045 | 2793 1129 | 38 | 155 505.42/505.52 c 474s | 21 | 7114280 | 1328545 | 2793 1133 | 38 | 155 507.42/507.53 c 476s | 21 | 7147418 | 1333845 | 2793 1137 | 38 | 155 509.42/509.55 c 478s | 21 | 7177614 | 1339145 | 2793 1140 | 38 | 155 511.42/511.58 c 480s | 21 | 7203087 | 1344345 | 2793 1144 | 38 | 155 513.41/513.58 c 482s | 21 | 7229877 | 1349245 | 2793 1147 | 38 | 155 515.41/515.59 c 484s | 21 | 7257367 | 1354245 | 2793 1151 | 38 | 155 517.51/517.61 c 486s | 21 | 7284350 | 1359345 | 2793 1154 | 38 | 155 519.51/519.63 c 488s | 21 | 7314159 | 1364645 | 2793 1158 | 38 | 155 521.52/521.64 c 490s | 21 | 7343064 | 1369845 | 2793 1162 | 38 | 155 523.51/523.68 c 492s | 21 | 7374514 | 1375145 | 2793 1165 | 38 | 155 525.61/525.72 c 494s | 21 | 7408546 | 1380345 | 2793 1169 | 38 | 155 527.61/527.76 c 496s | 21 | 7444670 | 1385645 | 2793 1173 | 38 | 155 529.61/529.78 c 498s | 21 | 7474531 | 1390545 | 2793 1176 | 38 | 155 531.71/531.81 c 500s | 21 | 7502526 | 1395945 | 2793 1180 | 38 | 155 533.71/533.83 c 502s | 21 | 7534658 | 1401145 | 2793 1183 | 38 | 155 535.72/535.84 c 504s | 21 | 7562580 | 1406145 | 2793 1187 | 38 | 155 537.71/537.87 c 506s | 21 | 7591429 | 1411345 | 2793 1190 | 38 | 155 539.71/539.87 c 508s | 21 | 7620890 | 1416645 | 2793 1194 | 38 | 155 541.81/541.91 c 510s | 21 | 7649464 | 1421845 | 2793 1198 | 38 | 155 543.81/543.92 c 512s | 21 | 7681230 | 1426945 | 2793 1201 | 38 | 155 545.81/545.95 c 515s | 21 | 7708976 | 1432145 | 2793 1205 | 38 | 155 547.81/547.96 c 517s | 21 | 7735700 | 1437645 | 2793 1209 | 38 | 155 549.80/549.96 c 519s | 21 | 7762716 | 1442945 | 2793 1212 | 38 | 155 551.80/551.98 c 521s | 21 | 7794582 | 1448845 | 2793 1216 | 38 | 155 553.90/554.00 c 523s | 21 | 7824732 | 1453845 | 2793 1220 | 38 | 155 555.90/556.00 c 525s | 21 | 7856839 | 1459145 | 2793 1224 | 38 | 155 557.90/558.01 c 527s | 21 | 7891010 | 1464645 | 2793 1227 | 38 | 155 559.91/560.04 c 529s | 21 | 7918435 | 1470145 | 2793 1231 | 38 | 155 561.90/562.04 c 531s | 21 | 7949649 | 1475745 | 2793 1235 | 38 | 155 563.90/564.04 c 533s | 21 | 7981576 | 1481345 | 2793 1239 | 38 | 155 565.90/566.07 c 535s | 21 | 8010178 | 1486945 | 2793 1243 | 38 | 155 568.00/568.16 c 537s | 21 | 8038265 | 1492245 | 2793 1247 | 38 | 155 570.00/570.17 c 539s | 21 | 8071120 | 1497745 | 2793 1251 | 38 | 155 571.10/571.22 c 540s | 22 | 8088387 | 1500622 | 2793 1253 | 38 | 155 573.11/573.24 c 542s | 22 | 8116058 | 1506022 | 2793 1256 | 38 | 155 575.10/575.25 c 544s | 22 | 8149841 | 1511622 | 2793 1260 | 38 | 155 577.10/577.26 c 546s | 22 | 8179340 | 1517322 | 2793 1264 | 38 | 155 579.10/579.29 c 548s | 22 | 8211262 | 1523122 | 2793 1268 | 38 | 155 581.20/581.31 c 550s | 22 | 8239621 | 1528622 | 2793 1272 | 38 | 155 583.20/583.33 c 552s | 22 | 8268746 | 1534222 | 2793 1276 | 38 | 155 585.20/585.35 c 554s | 22 | 8298692 | 1539722 | 2793 1280 | 38 | 155 587.20/587.36 c 556s | 22 | 8326750 | 1545122 | 2793 1284 | 38 | 155 589.20/589.37 c 558s | 22 | 8356583 | 1550622 | 2793 1287 | 38 | 155 591.20/591.38 c 560s | 22 | 8385994 | 1556222 | 2793 1291 | 38 | 155 593.30/593.40 c 562s | 22 | 8419442 | 1562122 | 2793 1295 | 38 | 155 595.30/595.40 c 564s | 22 | 8455077 | 1567922 | 2793 1299 | 38 | 155 597.31/597.43 c 566s | 22 | 8486083 | 1573522 | 2793 1303 | 38 | 155 599.30/599.47 c 568s | 22 | 8518325 | 1579322 | 2793 1307 | 38 | 155 601.30/601.47 c 570s | 22 | 8546582 | 1584622 | 2793 1311 | 38 | 155 603.30/603.48 c 572s | 22 | 8574198 | 1590122 | 2793 1315 | 38 | 155 605.40/605.52 c 574s | 22 | 8605486 | 1595622 | 2793 1319 | 38 | 155 607.40/607.53 c 576s | 22 | 8640036 | 1601422 | 2793 1323 | 38 | 155 609.41/609.54 c 578s | 22 | 8670766 | 1607122 | 2793 1327 | 38 | 155 611.40/611.57 c 580s | 22 | 8699729 | 1612822 | 2793 1331 | 38 | 155 613.50/613.60 c 582s | 22 | 8733316 | 1618622 | 2793 1335 | 38 | 155 615.50/615.62 c 584s | 22 | 8764800 | 1624422 | 2793 1339 | 38 | 155 617.50/617.62 c 586s | 22 | 8794744 | 1630022 | 2793 1343 | 38 | 155 619.50/619.63 c 588s | 22 | 8828419 | 1636222 | 2793 1347 | 38 | 155 621.51/621.64 c 590s | 22 | 8860484 | 1642122 | 2793 1351 | 38 | 155 623.50/623.65 c 592s | 22 | 8891500 | 1647722 | 2793 1355 | 38 | 155 625.50/625.69 c 594s | 22 | 8920885 | 1653422 | 2793 1359 | 38 | 155 627.50/627.70 c 596s | 22 | 8947658 | 1658622 | 2793 1363 | 38 | 155 629.60/629.71 c 598s | 22 | 8978170 | 1664622 | 2793 1367 | 38 | 155 631.60/631.72 c 600s | 22 | 9009860 | 1670422 | 2793 1371 | 38 | 155 633.60/633.72 c 602s | 22 | 9042769 | 1676422 | 2793 1375 | 38 | 155 635.60/635.72 c 604s | 22 | 9074006 | 1682322 | 2793 1379 | 38 | 155 637.60/637.74 c 606s | 22 | 9103778 | 1688022 | 2793 1383 | 38 | 155 639.60/639.75 c 608s | 22 | 9133223 | 1693722 | 2793 1387 | 38 | 155 641.60/641.75 c 610s | 22 | 9165871 | 1699222 | 2793 1391 | 38 | 155 643.60/643.78 c 612s | 22 | 9193757 | 1704922 | 2793 1395 | 38 | 155 645.59/645.79 c 614s | 22 | 9223191 | 1710422 | 2793 1399 | 38 | 155 647.69/647.82 c 616s | 22 | 9259324 | 1716322 | 2793 1403 | 38 | 155 649.69/649.84 c 618s | 22 | 9291396 | 1721922 | 2793 1407 | 38 | 155 651.69/651.85 c 620s | 22 | 9320037 | 1727722 | 2793 1411 | 38 | 155 653.69/653.85 c 622s | 22 | 9348683 | 1733422 | 2793 1415 | 38 | 155 655.70/655.87 c 624s | 22 | 9376745 | 1738422 | 2793 1418 | 38 | 155 657.69/657.89 c 626s | 22 | 9405722 | 1744222 | 2793 1422 | 38 | 155 659.79/659.90 c 628s | 22 | 9434306 | 1749322 | 2793 1426 | 38 | 155 661.79/661.91 c 630s | 22 | 9466927 | 1755322 | 2793 1430 | 38 | 155 663.79/663.94 c 633s | 22 | 9501337 | 1761522 | 2793 1434 | 38 | 155 665.79/665.94 c 635s | 22 | 9531156 | 1766822 | 2793 1438 | 38 | 155 667.80/667.94 c 637s | 22 | 9562857 | 1772522 | 2793 1442 | 38 | 155 669.79/669.98 c 639s | 22 | 9595526 | 1778222 | 2793 1446 | 38 | 155 671.79/671.98 c 641s | 22 | 9626041 | 1784022 | 2793 1450 | 38 | 155 673.89/674.01 c 643s | 22 | 9655976 | 1790222 | 2793 1454 | 38 | 155 675.89/676.04 c 645s | 22 | 9687534 | 1796222 | 2793 1459 | 38 | 155 677.89/678.04 c 647s | 22 | 9716329 | 1801522 | 2793 1462 | 38 | 155 679.89/680.05 c 649s | 22 | 9745822 | 1806822 | 2793 1466 | 38 | 155 681.89/682.08 c 651s | 22 | 9779125 | 1812322 | 2793 1470 | 38 | 155 683.89/684.08 c 653s | 22 | 9811442 | 1817922 | 2793 1474 | 38 | 155 685.98/686.12 c 655s | 22 | 9838854 | 1823522 | 2793 1478 | 38 | 155 687.98/688.13 c 657s | 22 | 9873104 | 1829222 | 2793 1482 | 38 | 155 689.98/690.13 c 659s | 22 | 9905018 | 1834922 | 2793 1486 | 38 | 155 691.99/692.16 c 661s | 22 | 9937247 | 1840622 | 2793 1490 | 38 | 155 693.98/694.16 c 663s | 22 | 9966522 | 1846322 | 2793 1494 | 38 | 155 695.98/696.18 c 665s | 22 | 9999438 | 1852022 | 2793 1497 | 38 | 155 697.99/698.18 c 667s | 22 | 10027611 | 1857422 | 2793 1501 | 38 | 155 700.09/700.20 c 669s | 22 | 10060316 | 1862922 | 2793 1505 | 38 | 155 702.09/702.21 c 671s | 22 | 10092337 | 1868622 | 2793 1509 | 38 | 155 704.10/704.22 c 673s | 22 | 10126039 | 1874422 | 2793 1513 | 38 | 155 706.09/706.25 c 675s | 22 | 10152524 | 1879422 | 2793 1517 | 38 | 155 708.09/708.26 c 677s | 22 | 10185372 | 1885222 | 2793 1521 | 38 | 155 710.09/710.29 c 679s | 22 | 10220154 | 1891122 | 2793 1525 | 38 | 155 712.09/712.29 c 681s | 22 | 10254613 | 1896722 | 2793 1529 | 38 | 155 714.19/714.32 c 683s | 22 | 10286176 | 1902622 | 2793 1533 | 38 | 155 716.19/716.34 c 685s | 22 | 10319855 | 1908122 | 2793 1537 | 38 | 155 718.18/718.37 c 687s | 22 | 10350253 | 1913822 | 2793 1541 | 38 | 155 720.28/720.40 c 689s | 22 | 10382852 | 1919522 | 2793 1545 | 38 | 155 722.28/722.41 c 691s | 22 | 10416629 | 1925122 | 2793 1548 | 38 | 155 724.28/724.44 c 693s | 22 | 10448802 | 1930922 | 2793 1552 | 38 | 155 726.28/726.47 c 695s | 22 | 10478542 | 1936522 | 2793 1556 | 38 | 155 728.29/728.48 c 697s | 22 | 10508844 | 1942322 | 2793 1560 | 38 | 155 730.39/730.51 c 699s | 22 | 10540180 | 1947922 | 2793 1564 | 38 | 155 732.38/732.53 c 701s | 22 | 10572436 | 1953622 | 2793 1568 | 38 | 155 734.38/734.55 c 703s | 22 | 10607389 | 1959522 | 2793 1572 | 38 | 155 736.38/736.56 c 705s | 22 | 10639445 | 1965422 | 2793 1577 | 38 | 155 738.38/738.58 c 707s | 22 | 10675655 | 1971422 | 2793 1581 | 38 | 155 740.39/740.59 c 709s | 22 | 10709201 | 1977122 | 2793 1585 | 38 | 155 742.38/742.60 c 711s | 22 | 10740953 | 1982922 | 2793 1589 | 38 | 155 744.48/744.64 c 713s | 22 | 10776868 | 1988622 | 2793 1593 | 38 | 155 746.48/746.66 c 715s | 22 | 10807621 | 1993922 | 2793 1596 | 38 | 155 748.48/748.67 c 717s | 22 | 10837312 | 1999222 | 2793 1600 | 38 | 155 750.48/750.67 c 719s | 22 | 10867328 | 2004722 | 2793 1604 | 38 | 155 752.49/752.68 c 721s | 22 | 10899990 | 2010322 | 2793 1608 | 38 | 155 754.48/754.68 c 723s | 22 | 10936142 | 2016522 | 2793 1612 | 38 | 155 756.48/756.69 c 725s | 22 | 10967805 | 2022522 | 3073 1616 | 38 | 155 758.58/758.70 c 727s | 22 | 10996026 | 2027922 | 3073 1620 | 38 | 155 760.57/760.74 c 729s | 22 | 11030406 | 2033722 | 3073 1623 | 38 | 155 762.57/762.74 c 731s | 22 | 11061685 | 2039222 | 3073 1627 | 38 | 155 764.58/764.76 c 733s | 22 | 11088462 | 2044622 | 3073 1630 | 38 | 155 766.57/766.78 c 735s | 22 | 11122968 | 2050222 | 3073 1634 | 38 | 155 768.67/768.81 c 737s | 22 | 11157360 | 2056122 | 3073 1637 | 38 | 155 770.67/770.83 c 739s | 22 | 11191082 | 2061722 | 3073 1641 | 38 | 155 772.67/772.84 c 741s | 22 | 11219808 | 2066822 | 3073 1644 | 38 | 155 774.67/774.86 c 743s | 22 | 11248936 | 2072122 | 3073 1648 | 38 | 155 776.68/776.86 c 745s | 22 | 11275576 | 2077222 | 3073 1651 | 38 | 155 778.67/778.86 c 747s | 22 | 11309105 | 2082622 | 3073 1654 | 38 | 155 780.67/780.89 c 749s | 22 | 11341126 | 2088222 | 3073 1658 | 38 | 155 782.67/782.90 c 751s | 22 | 11364764 | 2093522 | 3073 1661 | 38 | 155 784.67/784.90 c 753s | 22 | 11389046 | 2098322 | 3073 1664 | 38 | 155 786.77/786.93 c 756s | 22 | 11421033 | 2103722 | 3073 1668 | 38 | 155 788.77/788.95 c 758s | 22 | 11450937 | 2109222 | 3073 1671 | 38 | 155 790.77/790.95 c 760s | 22 | 11479432 | 2114822 | 3073 1675 | 38 | 155 792.77/792.96 c 762s | 22 | 11505689 | 2119722 | 3073 1678 | 38 | 155 794.77/794.98 c 764s | 22 | 11533952 | 2125122 | 3073 1681 | 38 | 155 796.77/796.98 c 766s | 22 | 11565088 | 2130522 | 3073 1685 | 38 | 155 798.87/799.00 c 768s | 22 | 11598308 | 2135922 | 3073 1688 | 38 | 155 800.88/801.01 c 770s | 22 | 11630485 | 2141522 | 3073 1692 | 38 | 155 802.87/803.05 c 772s | 22 | 11662351 | 2146922 | 3073 1695 | 38 | 155 804.87/805.06 c 774s | 22 | 11694585 | 2152222 | 3073 1698 | 38 | 155 806.87/807.09 c 776s | 22 | 11725280 | 2157522 | 3073 1702 | 38 | 155 808.97/809.11 c 778s | 22 | 11755452 | 2162722 | 3073 1705 | 38 | 155 810.97/811.14 c 780s | 22 | 11784413 | 2168322 | 3073 1709 | 38 | 155 812.98/813.18 c 782s | 22 | 11813535 | 2173722 | 3073 1712 | 38 | 155 814.97/815.20 c 784s | 22 | 11843541 | 2178722 | 3073 1715 | 38 | 155 817.07/817.22 c 786s | 22 | 11875165 | 2184222 | 3073 1719 | 38 | 155 819.07/819.24 c 788s | 22 | 11905941 | 2189922 | 3073 1722 | 38 | 155 821.07/821.25 c 790s | 22 | 11936249 | 2195622 | 3073 1726 | 38 | 155 823.06/823.28 c 792s | 22 | 11964810 | 2201122 | 3073 1729 | 38 | 155 825.16/825.30 c 794s | 22 | 11998593 | 2206722 | 3073 1733 | 38 | 155 827.17/827.32 c 796s | 22 | 12027435 | 2212322 | 3073 1737 | 38 | 155 829.16/829.34 c 798s | 22 | 12055885 | 2218122 | 3073 1740 | 38 | 155 831.16/831.36 c 800s | 22 | 12084505 | 2223422 | 3073 1744 | 38 | 155 833.16/833.38 c 802s | 22 | 12114821 | 2229122 | 3073 1747 | 38 | 155 835.26/835.40 c 804s | 22 | 12147519 | 2234722 | 3073 1751 | 38 | 155 837.26/837.43 c 806s | 22 | 12179324 | 2240522 | 3073 1754 | 38 | 155 839.27/839.45 c 808s | 22 | 12210142 | 2245922 | 3073 1758 | 38 | 155 841.16/841.36 c 810s | 23 | 12237233 | 2251038 | 3073 1761 | 38 | 155 843.16/843.36 c 812s | 23 | 12274655 | 2256638 | 3073 1765 | 38 | 155 845.16/845.37 c 814s | 23 | 12307157 | 2262138 | 3073 1768 | 38 | 155 847.16/847.37 c 816s | 23 | 12336232 | 2267838 | 3073 1772 | 38 | 155 849.16/849.39 c 818s | 23 | 12368345 | 2273538 | 3073 1775 | 38 | 155 851.26/851.41 c 820s | 23 | 12399974 | 2279238 | 3073 1779 | 38 | 155 853.26/853.41 c 822s | 23 | 12434678 | 2285138 | 3073 1783 | 38 | 155 855.26/855.44 c 824s | 23 | 12465272 | 2290938 | 3073 1786 | 38 | 155 857.26/857.47 c 826s | 23 | 12499452 | 2296538 | 3073 1790 | 38 | 155 859.26/859.48 c 828s | 23 | 12530770 | 2302038 | 3073 1794 | 38 | 155 861.27/861.49 c 830s | 23 | 12560273 | 2307538 | 3073 1797 | 38 | 155 863.36/863.50 c 832s | 23 | 12588526 | 2312938 | 3073 1800 | 38 | 155 865.36/865.51 c 834s | 23 | 12619293 | 2319038 | 3073 1804 | 38 | 155 867.36/867.53 c 836s | 23 | 12650798 | 2324638 | 3073 1808 | 38 | 155 869.36/869.58 c 838s | 23 | 12684053 | 2330438 | 3073 1812 | 38 | 155 871.36/871.58 c 840s | 23 | 12711808 | 2335938 | 3073 1815 | 38 | 155 873.37/873.59 c 842s | 23 | 12740946 | 2341338 | 3073 1818 | 38 | 155 875.46/875.60 c 844s | 23 | 12770592 | 2346538 | 3073 1822 | 38 | 155 877.46/877.60 c 846s | 23 | 12801318 | 2352338 | 3073 1825 | 38 | 155 879.46/879.63 c 848s | 23 | 12829294 | 2358038 | 3073 1829 | 38 | 155 881.46/881.63 c 850s | 23 | 12859600 | 2363838 | 3073 1833 | 38 | 155 883.46/883.65 c 852s | 23 | 12891773 | 2369838 | 3073 1836 | 38 | 155 885.47/885.65 c 854s | 23 | 12922745 | 2375738 | 3073 1840 | 38 | 155 887.46/887.69 c 856s | 23 | 12950168 | 2381238 | 3073 1844 | 38 | 155 889.56/889.71 c 858s | 23 | 12985066 | 2387338 | 3073 1848 | 38 | 155 891.56/891.72 c 860s | 23 | 13017995 | 2393338 | 3073 1851 | 38 | 155 893.56/893.73 c 862s | 23 | 13048204 | 2399138 | 3073 1855 | 38 | 155 895.56/895.75 c 864s | 23 | 13080428 | 2404738 | 3073 1859 | 38 | 155 897.56/897.76 c 866s | 23 | 13113757 | 2410838 | 3073 1862 | 38 | 155 899.66/899.81 c 868s | 23 | 13144895 | 2416638 | 3073 1866 | 38 | 155 901.66/901.81 c 870s | 23 | 13175818 | 2422438 | 3073 1870 | 38 | 155 903.66/903.84 c 872s | 23 | 13206585 | 2428238 | 3073 1874 | 38 | 155 905.66/905.86 c 874s | 23 | 13232439 | 2433838 | 3073 1877 | 38 | 155 907.66/907.86 c 876s | 23 | 13259451 | 2439038 | 3073 1880 | 38 | 155 909.66/909.88 c 878s | 23 | 13288531 | 2444638 | 3073 1884 | 38 | 155 911.75/911.91 c 880s | 23 | 13316265 | 2450338 | 3073 1888 | 38 | 155 913.75/913.92 c 882s | 23 | 13340866 | 2455438 | 3073 1891 | 38 | 155 915.75/915.94 c 885s | 23 | 13368746 | 2460538 | 3073 1894 | 38 | 155 917.75/917.97 c 887s | 23 | 13399438 | 2466038 | 3073 1898 | 38 | 155 919.85/920.00 c 889s | 23 | 13431123 | 2471638 | 3073 1901 | 38 | 155 921.86/922.01 c 891s | 23 | 13462950 | 2477238 | 3073 1905 | 38 | 155 923.85/924.03 c 893s | 23 | 13495660 | 2482838 | 3073 1908 | 38 | 155 925.85/926.04 c 895s | 23 | 13528452 | 2488438 | 3073 1912 | 38 | 155 927.85/928.06 c 897s | 23 | 13555188 | 2494138 | 3073 1915 | 38 | 155 929.85/930.07 c 899s | 23 | 13586643 | 2499838 | 3073 1919 | 38 | 155 931.85/932.07 c 901s | 23 | 13617046 | 2505238 | 3073 1922 | 38 | 155 933.85/934.09 c 903s | 23 | 13646672 | 2510938 | 3073 1926 | 38 | 155 935.95/936.11 c 905s | 23 | 13671598 | 2516038 | 3073 1929 | 38 | 155 937.95/938.12 c 907s | 23 | 13698894 | 2521438 | 3073 1933 | 38 | 155 939.95/940.13 c 909s | 23 | 13726853 | 2526538 | 3073 1936 | 38 | 155 941.94/942.16 c 911s | 23 | 13757208 | 2531838 | 3073 1939 | 38 | 155 944.04/944.21 c 913s | 23 | 13789172 | 2537838 | 3073 1943 | 38 | 155 946.05/946.24 c 915s | 23 | 13821769 | 2543738 | 3073 1947 | 38 | 155 948.04/948.25 c 917s | 23 | 13850566 | 2549238 | 3073 1950 | 38 | 155 950.04/950.26 c 919s | 23 | 13883030 | 2554838 | 3073 1954 | 38 | 155 952.04/952.28 c 921s | 23 | 13914831 | 2560338 | 3073 1957 | 38 | 155 954.04/954.29 c 923s | 23 | 13946653 | 2565638 | 3073 1961 | 38 | 155 956.14/956.32 c 925s | 23 | 13977573 | 2571338 | 3073 1964 | 38 | 155 958.16/958.35 c 927s | 23 | 14003686 | 2576738 | 3073 1968 | 38 | 155 960.15/960.38 c 929s | 23 | 14032132 | 2582138 | 3073 1971 | 38 | 155 962.15/962.39 c 931s | 23 | 14063129 | 2587438 | 3073 1975 | 38 | 155 964.15/964.39 c 933s | 23 | 14097411 | 2593338 | 3073 1978 | 38 | 155 966.25/966.40 c 935s | 23 | 14130586 | 2599438 | 3073 1982 | 38 | 155 968.25/968.41 c 937s | 23 | 14160665 | 2604938 | 3073 1986 | 38 | 155 970.25/970.42 c 939s | 23 | 14195817 | 2610638 | 3073 1989 | 38 | 155 972.25/972.45 c 941s | 23 | 14227951 | 2616238 | 3073 1993 | 38 | 155 974.25/974.48 c 943s | 23 | 14262842 | 2622038 | 3073 1996 | 38 | 155 976.25/976.48 c 945s | 23 | 14295582 | 2627338 | 3073 2000 | 38 | 155 978.35/978.50 c 947s | 23 | 14326653 | 2632938 | 3073 2003 | 38 | 155 980.34/980.53 c 949s | 23 | 14357293 | 2638438 | 3073 2007 | 38 | 155 982.35/982.56 c 951s | 23 | 14388033 | 2644138 | 3073 2010 | 38 | 155 984.34/984.57 c 953s | 23 | 14416363 | 2649938 | 3073 2014 | 38 | 155 986.34/986.58 c 955s | 23 | 14445001 | 2655738 | 3073 2018 | 38 | 155 988.34/988.59 c 957s | 23 | 14472511 | 2661138 | 3073 2021 | 38 | 155 990.44/990.62 c 959s | 23 | 14502040 | 2666638 | 3073 2025 | 38 | 155 992.44/992.64 c 961s | 23 | 14530285 | 2672338 | 3073 2028 | 38 | 155 994.45/994.66 c 963s | 23 | 14559981 | 2678038 | 3073 2032 | 38 | 155 996.44/996.68 c 965s | 23 | 14590506 | 2683538 | 3073 2036 | 38 | 155 998.44/998.68 c 967s | 23 | 14620873 | 2688938 | 3073 2039 | 38 | 155 1000.44/1000.68 c 969s | 23 | 14645888 | 2694438 | 3073 2042 | 38 | 155 1002.54/1002.70 c 971s | 23 | 14671037 | 2699438 | 3073 2046 | 38 | 155 1004.54/1004.70 c 973s | 23 | 14703142 | 2704438 | 3073 2049 | 38 | 155 1006.55/1006.74 c 975s | 23 | 14735433 | 2709638 | 3073 2052 | 38 | 155 1008.54/1008.77 c 977s | 23 | 14766917 | 2714838 | 3073 2055 | 38 | 155 1010.54/1010.78 c 979s | 23 | 14795978 | 2719838 | 3073 2059 | 38 | 155 1012.64/1012.80 c 981s | 23 | 14827445 | 2725038 | 3073 2062 | 38 | 155 1014.64/1014.81 c 983s | 23 | 14861119 | 2730638 | 3073 2065 | 38 | 155 1016.64/1016.83 c 985s | 23 | 14894390 | 2736038 | 3073 2069 | 38 | 155 1018.64/1018.85 c 987s | 23 | 14925427 | 2742238 | 3073 2073 | 38 | 155 1020.64/1020.85 c 989s | 23 | 14956265 | 2747638 | 3073 2076 | 38 | 155 1022.64/1022.88 c 991s | 23 | 14987158 | 2753238 | 3073 2080 | 38 | 155 1024.64/1024.90 c 993s | 23 | 15015562 | 2758138 | 3073 2083 | 38 | 155 1026.73/1026.91 c 995s | 23 | 15045998 | 2763338 | 3073 2086 | 38 | 155 1028.73/1028.95 c 998s | 23 | 15074017 | 2768638 | 3073 2090 | 38 | 155 1030.74/1030.95 c 1000s | 23 | 15101327 | 2773338 | 3073 2093 | 38 | 155 1032.73/1032.96 c 1002s | 23 | 15128762 | 2778538 | 3073 2096 | 38 | 155 1034.83/1035.00 c 1004s | 23 | 15158118 | 2784238 | 3073 2099 | 38 | 155 1036.83/1037.04 c 1006s | 23 | 15188433 | 2790138 | 3073 2103 | 38 | 155 1038.83/1039.04 c 1008s | 23 | 15216329 | 2795938 | 3073 2107 | 38 | 155 1040.83/1041.05 c 1010s | 23 | 15245675 | 2801238 | 3073 2110 | 38 | 155 1042.84/1043.07 c 1012s | 23 | 15276382 | 2807138 | 3073 2114 | 38 | 155 1044.83/1045.09 c 1014s | 23 | 15305505 | 2813638 | 3073 2118 | 38 | 155 1046.93/1047.10 c 1016s | 23 | 15334828 | 2819838 | 3073 2122 | 38 | 155 1048.93/1049.13 c 1018s | 23 | 15366202 | 2826138 | 3073 2126 | 38 | 155 1050.93/1051.14 c 1020s | 23 | 15395352 | 2831738 | 3073 2130 | 38 | 155 1052.93/1053.17 c 1022s | 23 | 15424179 | 2837738 | 3073 2133 | 38 | 155 1055.03/1055.24 c 1024s | 23 | 15453230 | 2843638 | 3073 2137 | 38 | 155 1057.03/1057.26 c 1026s | 23 | 15482079 | 2848738 | 3073 2140 | 38 | 155 1059.03/1059.26 c 1028s | 23 | 15510201 | 2853738 | 3073 2144 | 38 | 155 1061.13/1061.30 c 1030s | 23 | 15535362 | 2858538 | 3073 2147 | 38 | 155 1063.13/1063.30 c 1032s | 23 | 15565333 | 2863838 | 3073 2150 | 38 | 155 1065.13/1065.33 c 1034s | 23 | 15599648 | 2869538 | 3073 2154 | 38 | 155 1067.12/1067.34 c 1036s | 23 | 15629871 | 2875038 | 3073 2157 | 38 | 155 1069.13/1069.37 c 1038s | 23 | 15660937 | 2880138 | 3073 2160 | 38 | 155 1071.12/1071.38 c 1040s | 23 | 15691188 | 2885638 | 3073 2164 | 38 | 155 1073.22/1073.40 c 1042s | 23 | 15722994 | 2891338 | 3073 2168 | 38 | 155 1075.23/1075.42 c 1044s | 23 | 15752558 | 2896638 | 3073 2171 | 38 | 155 1077.23/1077.43 c 1046s | 23 | 15783791 | 2902038 | 3073 2174 | 38 | 155 1079.23/1079.46 c 1048s | 23 | 15814787 | 2907538 | 3073 2178 | 38 | 155 1081.24/1081.48 c 1050s | 23 | 15843132 | 2912738 | 3073 2181 | 38 | 155 1083.23/1083.48 c 1052s | 23 | 15870239 | 2918038 | 3073 2185 | 38 | 155 1085.23/1085.48 c 1054s | 23 | 15896852 | 2922938 | 3073 2188 | 38 | 155 1087.33/1087.50 c 1056s | 23 | 15923792 | 2927938 | 3073 2191 | 38 | 155 1089.33/1089.52 c 1058s | 23 | 15948241 | 2932938 | 3073 2194 | 38 | 155 1091.33/1091.54 c 1060s | 23 | 15977724 | 2938438 | 3073 2197 | 38 | 155 1093.34/1093.56 c 1062s | 23 | 16007507 | 2943838 | 3073 2201 | 38 | 155 1095.33/1095.57 c 1064s | 23 | 16039157 | 2949538 | 3073 2205 | 38 | 155 1097.33/1097.59 c 1066s | 23 | 16066810 | 2954538 | 3073 2208 | 38 | 155 1099.43/1099.61 c 1068s | 23 | 16097853 | 2960138 | 3073 2211 | 38 | 155 1101.43/1101.63 c 1070s | 23 | 16129462 | 2965438 | 3073 2215 | 38 | 155 1103.43/1103.67 c 1072s | 23 | 16161925 | 2971038 | 3073 2218 | 38 | 155 1105.53/1105.72 c 1074s | 23 | 16187804 | 2976238 | 3073 2221 | 38 | 155 1107.53/1107.73 c 1076s | 23 | 16215323 | 2981438 | 3073 2225 | 38 | 155 1109.53/1109.73 c 1078s | 23 | 16241214 | 2986738 | 3073 2228 | 38 | 155 1111.53/1111.74 c 1080s | 23 | 16267021 | 2991838 | 3073 2231 | 38 | 155 1113.52/1113.76 c 1082s | 23 | 16297014 | 2997338 | 3073 2235 | 38 | 155 1115.52/1115.79 c 1084s | 23 | 16329657 | 3003138 | 3073 2239 | 38 | 155 1117.53/1117.80 c 1086s | 23 | 16358135 | 3008438 | 3073 2242 | 38 | 155 1119.62/1119.82 c 1088s | 23 | 16384697 | 3013538 | 3073 2245 | 38 | 155 1121.62/1121.83 c 1090s | 23 | 16411366 | 3018938 | 3073 2249 | 38 | 155 1123.62/1123.84 c 1092s | 23 | 16440073 | 3024438 | 3073 2252 | 38 | 155 1125.62/1125.89 c 1094s | 23 | 16463247 | 3029938 | 3073 2256 | 38 | 155 1127.72/1127.91 c 1096s | 23 | 16489158 | 3034738 | 3073 2259 | 38 | 155 1129.73/1129.93 c 1099s | 23 | 16519932 | 3040438 | 3073 2262 | 38 | 155 1131.72/1131.94 c 1101s | 23 | 16550999 | 3045838 | 3073 2266 | 38 | 155 1133.72/1133.95 c 1103s | 23 | 16585199 | 3051138 | 3073 2269 | 38 | 155 1135.72/1135.95 c 1105s | 23 | 16618022 | 3056638 | 3073 2272 | 38 | 155 1137.72/1137.98 c 1107s | 23 | 16652172 | 3062038 | 3073 2276 | 38 | 155 1139.82/1140.00 c 1109s | 23 | 16687007 | 3067338 | 3073 2279 | 38 | 155 1141.82/1142.02 c 1111s | 23 | 16719740 | 3073038 | 3073 2283 | 38 | 155 1143.82/1144.06 c 1113s | 23 | 16753315 | 3078738 | 3073 2287 | 38 | 155 1145.82/1146.06 c 1115s | 23 | 16786614 | 3084238 | 3073 2290 | 38 | 155 1147.82/1148.09 c 1117s | 23 | 16815356 | 3090238 | 3073 2294 | 38 | 155 1149.92/1150.10 c 1119s | 23 | 16846041 | 3095738 | 3073 2297 | 38 | 155 1151.92/1152.14 c 1121s | 23 | 16880411 | 3101538 | 3073 2301 | 38 | 155 1153.92/1154.16 c 1123s | 23 | 16909697 | 3107138 | 3073 2304 | 38 | 155 1155.91/1156.17 c 1125s | 23 | 16938030 | 3112438 | 3073 2308 | 38 | 155 1158.01/1158.21 c 1127s | 23 | 16967797 | 3117938 | 3073 2311 | 38 | 155 1160.01/1160.24 c 1129s | 23 | 17000924 | 3123738 | 3073 2315 | 38 | 155 1162.01/1162.26 c 1131s | 23 | 17034281 | 3129238 | 3073 2319 | 38 | 155 1164.01/1164.28 c 1133s | 23 | 17069097 | 3135038 | 3073 2322 | 38 | 155 1166.02/1166.29 c 1135s | 23 | 17098676 | 3140838 | 3381 2326 | 38 | 155 1168.12/1168.32 c 1137s | 23 | 17127370 | 3146038 | 3381 2329 | 38 | 155 1170.11/1170.32 c 1139s | 23 | 17151362 | 3151338 | 3381 2332 | 38 | 155 1172.11/1172.34 c 1141s | 23 | 17180997 | 3156838 | 3381 2335 | 38 | 155 1174.11/1174.34 c 1143s | 23 | 17211208 | 3162238 | 3381 2338 | 38 | 155 1176.11/1176.35 c 1145s | 23 | 17242328 | 3167938 | 3381 2341 | 38 | 155 1178.12/1178.38 c 1147s | 23 | 17272550 | 3173638 | 3381 2345 | 38 | 155 1180.22/1180.43 c 1149s | 23 | 17298276 | 3178538 | 3381 2347 | 38 | 155 1182.21/1182.43 c 1151s | 23 | 17333457 | 3184338 | 3381 2351 | 38 | 155 1184.21/1184.46 c 1153s | 23 | 17369186 | 3190238 | 3381 2354 | 38 | 155 1186.21/1186.49 c 1155s | 23 | 17401169 | 3196038 | 3381 2358 | 38 | 155 1188.31/1188.52 c 1157s | 23 | 17427717 | 3201538 | 3381 2361 | 38 | 155 1190.31/1190.53 c 1159s | 23 | 17458669 | 3206938 | 3381 2364 | 38 | 155 1192.32/1192.57 c 1161s | 23 | 17487966 | 3212238 | 3381 2367 | 38 | 155 1194.31/1194.59 c 1163s | 23 | 17515489 | 3217738 | 3381 2370 | 38 | 155 1196.41/1196.64 c 1165s | 23 | 17543900 | 3223538 | 3381 2374 | 38 | 155 1198.41/1198.64 c 1167s | 23 | 17573210 | 3229138 | 3381 2377 | 38 | 155 1200.41/1200.65 c 1169s | 23 | 17601596 | 3234838 | 3381 2380 | 38 | 155 1202.41/1202.68 c 1171s | 23 | 17629906 | 3240738 | 3381 2384 | 38 | 155 1204.41/1204.69 c 1173s | 23 | 17654682 | 3246138 | 3381 2387 | 38 | 155 1206.51/1206.72 c 1175s | 23 | 17685586 | 3252038 | 3381 2390 | 38 | 155 1208.51/1208.74 c 1177s | 23 | 17715050 | 3257338 | 3381 2393 | 38 | 155 1210.51/1210.77 c 1179s | 23 | 17745076 | 3263438 | 3381 2397 | 38 | 155 1212.51/1212.78 c 1181s | 23 | 17770999 | 3269238 | 3381 2400 | 38 | 155 1214.51/1214.79 c 1183s | 23 | 17798342 | 3274738 | 3381 2403 | 38 | 155 1216.61/1216.82 c 1185s | 23 | 17824727 | 3279938 | 3381 2406 | 38 | 155 1218.60/1218.84 c 1187s | 23 | 17851123 | 3285038 | 3381 2409 | 38 | 155 1220.60/1220.87 c 1189s | 23 | 17883494 | 3290638 | 3381 2412 | 38 | 155 1222.60/1222.89 c 1191s | 23 | 17915174 | 3296438 | 3381 2416 | 38 | 155 1224.70/1224.92 c 1193s | 23 | 17943558 | 3301638 | 3381 2419 | 38 | 155 1226.70/1226.94 c 1196s | 23 | 17972827 | 3306938 | 3381 2422 | 38 | 155 1228.71/1228.96 c 1198s | 23 | 18000186 | 3311838 | 3381 2425 | 38 | 155 1230.70/1230.99 c 1200s | 23 | 18033398 | 3317138 | 3381 2428 | 38 | 155 1232.70/1233.00 c 1202s | 23 | 18063157 | 3322838 | 3381 2431 | 38 | 155 1234.80/1235.01 c 1204s | 23 | 18093047 | 3327938 | 3381 2434 | 38 | 155 1236.80/1237.05 c 1206s | 23 | 18121337 | 3333238 | 3381 2437 | 38 | 155 1238.80/1239.08 c 1208s | 23 | 18153756 | 3338738 | 3381 2440 | 38 | 155 1240.90/1241.10 c 1210s | 23 | 18188141 | 3344138 | 3381 2443 | 38 | 155 1242.91/1243.12 c 1212s | 23 | 18216880 | 3349238 | 3381 2446 | 38 | 155 1244.90/1245.16 c 1214s | 23 | 18246528 | 3354338 | 3381 2449 | 38 | 155 1246.90/1247.17 c 1216s | 23 | 18275346 | 3359738 | 3381 2452 | 38 | 155 1249.00/1249.21 c 1218s | 23 | 18302998 | 3364838 | 3381 2455 | 38 | 155 1251.00/1251.23 c 1220s | 23 | 18331630 | 3370338 | 3381 2459 | 38 | 155 1253.00/1253.24 c 1222s | 23 | 18360026 | 3376038 | 3381 2462 | 38 | 155 1253.20/1253.43 c 1222s | 24 | 18362358 | 3376662 | 3381 2462 | 38 | 155 1255.20/1255.46 c 1224s | 24 | 18387292 | 3381662 | 3381 2465 | 38 | 155 1257.20/1257.48 c 1226s | 24 | 18418915 | 3387262 | 3381 2468 | 38 | 155 1259.30/1259.56 c 1228s | 24 | 18445431 | 3392762 | 3381 2472 | 38 | 155 1261.30/1261.56 c 1230s | 24 | 18474532 | 3398462 | 3381 2475 | 38 | 155 1263.30/1263.59 c 1232s | 24 | 18502236 | 3404262 | 3381 2478 | 38 | 155 1265.39/1265.62 c 1234s | 24 | 18527271 | 3409762 | 3381 2481 | 38 | 155 1267.39/1267.66 c 1236s | 24 | 18555664 | 3415562 | 3381 2485 | 38 | 155 1269.40/1269.67 c 1238s | 24 | 18581106 | 3420662 | 3381 2488 | 38 | 155 1271.39/1271.68 c 1240s | 24 | 18610267 | 3425962 | 3381 2491 | 38 | 155 1273.50/1273.70 c 1242s | 24 | 18639176 | 3431462 | 3381 2494 | 38 | 155 1275.50/1275.72 c 1244s | 24 | 18669652 | 3436962 | 3381 2497 | 38 | 155 1277.50/1277.74 c 1246s | 24 | 18698890 | 3442662 | 3381 2500 | 38 | 155 1279.50/1279.76 c 1248s | 24 | 18725704 | 3447962 | 3381 2503 | 38 | 155 1281.51/1281.77 c 1250s | 24 | 18751989 | 3452862 | 3381 2506 | 38 | 155 1283.50/1283.79 c 1252s | 24 | 18782986 | 3458162 | 3381 2509 | 38 | 155 1285.60/1285.81 c 1254s | 24 | 18814094 | 3463562 | 3381 2512 | 38 | 155 1287.60/1287.83 c 1256s | 24 | 18841033 | 3468162 | 3381 2515 | 38 | 155 1289.60/1289.86 c 1258s | 24 | 18867696 | 3473062 | 3381 2518 | 38 | 155 1291.60/1291.89 c 1260s | 24 | 18895146 | 3478062 | 3381 2521 | 38 | 155 1293.70/1293.92 c 1262s | 24 | 18921982 | 3483262 | 3381 2524 | 38 | 155 1295.71/1295.94 c 1265s | 24 | 18950402 | 3488762 | 3381 2527 | 38 | 155 1297.70/1297.94 c 1267s | 24 | 18977474 | 3494062 | 3381 2530 | 38 | 155 1299.70/1299.96 c 1269s | 24 | 19007661 | 3499262 | 3381 2533 | 38 | 155 1301.70/1301.98 c 1271s | 24 | 19037074 | 3504662 | 3381 2536 | 38 | 155 1303.80/1304.03 c 1273s | 24 | 19065559 | 3510562 | 3381 2539 | 38 | 155 1305.80/1306.04 c 1275s | 24 | 19098971 | 3516162 | 3381 2543 | 38 | 155 1307.80/1308.05 c 1277s | 24 | 19128664 | 3521662 | 3381 2546 | 38 | 155 1309.79/1310.05 c 1279s | 24 | 19161009 | 3527062 | 3381 2549 | 38 | 155 1311.89/1312.10 c 1281s | 24 | 19190007 | 3533462 | 3381 2553 | 38 | 155 1313.89/1314.14 c 1283s | 24 | 19218677 | 3538862 | 3381 2556 | 38 | 155 1315.89/1316.15 c 1285s | 24 | 19246915 | 3544262 | 3381 2559 | 38 | 155 1317.89/1318.17 c 1287s | 24 | 19275448 | 3549962 | 3381 2562 | 38 | 155 1319.90/1320.20 c 1289s | 24 | 19302314 | 3555162 | 3381 2565 | 38 | 155 1321.99/1322.22 c 1291s | 24 | 19329405 | 3560562 | 3381 2568 | 38 | 155 1323.99/1324.22 c 1293s | 24 | 19356194 | 3566362 | 3381 2572 | 38 | 155 1325.99/1326.27 c 1295s | 24 | 19382876 | 3572162 | 3381 2575 | 38 | 155 1327.99/1328.27 c 1297s | 24 | 19405942 | 3576862 | 3381 2578 | 38 | 155 1329.99/1330.29 c 1299s | 24 | 19436860 | 3582062 | 3381 2581 | 38 | 155 1331.99/1332.29 c 1301s | 24 | 19464278 | 3587662 | 3381 2584 | 38 | 155 1334.08/1334.32 c 1303s | 24 | 19495366 | 3593362 | 3381 2587 | 38 | 155 1336.08/1336.32 c 1305s | 24 | 19526435 | 3599162 | 3381 2591 | 38 | 155 1338.08/1338.34 c 1307s | 24 | 19553428 | 3604362 | 3381 2594 | 38 | 155 1340.08/1340.35 c 1309s | 24 | 19583346 | 3610162 | 3381 2597 | 38 | 155 1342.08/1342.35 c 1311s | 24 | 19612271 | 3615862 | 3381 2600 | 38 | 155 1344.19/1344.45 c 1313s | 24 | 19638409 | 3621362 | 3381 2604 | 38 | 155 1346.18/1346.45 c 1315s | 24 | 19669596 | 3627262 | 3381 2607 | 38 | 155 1348.18/1348.46 c 1317s | 24 | 19699233 | 3633062 | 3381 2610 | 38 | 155 1350.28/1350.50 c 1319s | 24 | 19728753 | 3638862 | 3381 2614 | 38 | 155 1352.28/1352.54 c 1321s | 24 | 19752087 | 3643862 | 3381 2617 | 38 | 155 1354.28/1354.55 c 1323s | 24 | 19778492 | 3649462 | 3381 2620 | 38 | 155 1356.29/1356.56 c 1325s | 24 | 19806505 | 3655362 | 3381 2623 | 38 | 155 1358.28/1358.56 c 1327s | 24 | 19831405 | 3660762 | 3381 2626 | 38 | 155 1360.28/1360.56 c 1329s | 24 | 19856646 | 3665662 | 3381 2629 | 38 | 155 1362.28/1362.59 c 1331s | 24 | 19884563 | 3671362 | 3381 2632 | 38 | 155 1364.38/1364.62 c 1333s | 24 | 19912845 | 3676762 | 3381 2636 | 38 | 155 1366.38/1366.64 c 1335s | 24 | 19941627 | 3682662 | 3381 2639 | 38 | 155 1368.39/1368.65 c 1337s | 24 | 19967238 | 3688162 | 3381 2642 | 38 | 155 1370.48/1370.70 c 1339s | 24 | 19990300 | 3693262 | 3381 2645 | 38 | 155 1372.48/1372.73 c 1341s | 24 | 20015720 | 3698662 | 3381 2648 | 38 | 155 1374.48/1374.75 c 1343s | 24 | 20042310 | 3704062 | 3381 2651 | 38 | 155 1376.48/1376.78 c 1345s | 24 | 20068836 | 3709962 | 3381 2655 | 38 | 155 1378.58/1378.80 c 1347s | 24 | 20092184 | 3715762 | 3381 2658 | 38 | 155 1380.58/1380.80 c 1349s | 24 | 20118488 | 3720962 | 3381 2661 | 38 | 155 1382.59/1382.83 c 1351s | 24 | 20147743 | 3726862 | 3381 2665 | 38 | 155 1384.58/1384.83 c 1353s | 24 | 20175367 | 3732262 | 3381 2668 | 38 | 155 1386.58/1386.84 c 1355s | 24 | 20208915 | 3738162 | 3381 2671 | 38 | 155 1388.58/1388.84 c 1357s | 24 | 20242442 | 3744062 | 3381 2675 | 38 | 155 1390.58/1390.84 c 1359s | 24 | 20274818 | 3749562 | 3381 2678 | 38 | 155 1392.59/1392.85 c 1361s | 24 | 20305573 | 3754662 | 3381 2681 | 38 | 155 1394.58/1394.87 c 1363s | 24 | 20338986 | 3760362 | 3381 2684 | 38 | 155 1396.58/1396.88 c 1365s | 24 | 20370018 | 3765762 | 3381 2687 | 38 | 155 1398.68/1398.90 c 1367s | 24 | 20397670 | 3771062 | 3381 2690 | 38 | 155 1400.68/1400.91 c 1369s | 24 | 20428171 | 3776562 | 3381 2693 | 38 | 155 1402.68/1402.95 c 1372s | 24 | 20462205 | 3782062 | 3381 2696 | 38 | 155 1404.68/1404.96 c 1374s | 24 | 20493592 | 3787562 | 3381 2700 | 38 | 155 1406.67/1406.96 c 1376s | 24 | 20524404 | 3792762 | 3381 2703 | 38 | 155 1408.67/1408.99 c 1378s | 24 | 20552772 | 3798062 | 3381 2706 | 38 | 155 1410.77/1411.01 c 1380s | 24 | 20579386 | 3803262 | 3381 2709 | 38 | 155 1412.77/1413.04 c 1382s | 24 | 20610774 | 3808462 | 3381 2712 | 38 | 155 1414.77/1415.06 c 1384s | 24 | 20638583 | 3813762 | 3381 2715 | 38 | 155 1416.78/1417.06 c 1386s | 24 | 20670007 | 3819062 | 3381 2718 | 38 | 155 1418.77/1419.08 c 1388s | 24 | 20702477 | 3824562 | 3381 2721 | 38 | 155 1420.77/1421.09 c 1390s | 24 | 20733597 | 3830062 | 3381 2724 | 38 | 155 1422.87/1423.10 c 1392s | 24 | 20766117 | 3835462 | 3381 2727 | 38 | 155 1424.87/1425.14 c 1394s | 24 | 20798323 | 3840662 | 3381 2730 | 38 | 155 1426.87/1427.15 c 1396s | 24 | 20827468 | 3846062 | 3381 2733 | 38 | 155 1428.88/1429.18 c 1398s | 24 | 20855947 | 3851562 | 3381 2736 | 38 | 155 1430.98/1431.26 c 1400s | 24 | 20884271 | 3857162 | 3381 2740 | 38 | 155 1432.97/1433.29 c 1402s | 24 | 20916413 | 3862562 | 3381 2743 | 38 | 155 1435.07/1435.31 c 1404s | 24 | 20947990 | 3867862 | 3381 2746 | 38 | 155 1437.06/1437.31 c 1406s | 24 | 20977811 | 3872862 | 3381 2749 | 38 | 155 1439.06/1439.31 c 1408s | 24 | 21006667 | 3878662 | 3381 2752 | 38 | 155 1441.06/1441.32 c 1410s | 24 | 21036194 | 3884062 | 3381 2755 | 38 | 155 1443.07/1443.35 c 1412s | 24 | 21065932 | 3889662 | 3381 2758 | 38 | 155 1445.06/1445.36 c 1414s | 24 | 21092625 | 3895162 | 3381 2762 | 38 | 155 1447.06/1447.36 c 1416s | 24 | 21116936 | 3899862 | 3381 2764 | 38 | 155 1449.06/1449.36 c 1418s | 24 | 21143517 | 3905462 | 3381 2768 | 38 | 155 1451.06/1451.38 c 1420s | 24 | 21173085 | 3910862 | 3381 2771 | 38 | 155 1453.06/1453.39 c 1422s | 24 | 21203716 | 3916662 | 3381 2774 | 38 | 155 1455.16/1455.42 c 1424s | 24 | 21233498 | 3922262 | 3381 2777 | 38 | 155 1457.15/1457.49 c 1426s | 24 | 21262428 | 3928062 | 3381 2781 | 38 | 155 1459.25/1459.52 c 1428s | 24 | 21291332 | 3932962 | 3381 2783 | 38 | 155 1461.25/1461.53 c 1430s | 24 | 21319606 | 3938162 | 3381 2786 | 38 | 155 1463.25/1463.54 c 1432s | 24 | 21350880 | 3943762 | 3381 2790 | 38 | 155 1465.25/1465.57 c 1434s | 24 | 21382167 | 3949162 | 3381 2793 | 38 | 155 1467.35/1467.62 c 1436s | 24 | 21409826 | 3954462 | 3381 2796 | 38 | 155 1469.34/1469.64 c 1438s | 24 | 21439952 | 3960062 | 3381 2799 | 38 | 155 1471.34/1471.64 c 1440s | 24 | 21470276 | 3965662 | 3381 2802 | 38 | 155 1473.34/1473.65 c 1442s | 24 | 21499412 | 3971362 | 3381 2806 | 38 | 155 1475.34/1475.68 c 1444s | 24 | 21527196 | 3977162 | 3381 2809 | 38 | 155 1477.44/1477.70 c 1446s | 24 | 21553718 | 3982562 | 3381 2812 | 38 | 155 1479.45/1479.72 c 1448s | 24 | 21582102 | 3987562 | 3381 2815 | 38 | 155 1481.44/1481.72 c 1450s | 24 | 21608742 | 3993162 | 3381 2818 | 38 | 155 1483.44/1483.72 c 1452s | 24 | 21636686 | 3998862 | 3381 2822 | 38 | 155 1485.44/1485.73 c 1454s | 24 | 21665879 | 4003762 | 3381 2824 | 38 | 155 1487.43/1487.77 c 1456s | 24 | 21690906 | 4009062 | 3381 2827 | 38 | 155 1489.53/1489.80 c 1458s | 24 | 21717158 | 4014362 | 3381 2830 | 38 | 155 1491.54/1491.83 c 1460s | 24 | 21744636 | 4019662 | 3381 2834 | 38 | 155 1493.53/1493.83 c 1462s | 24 | 21769642 | 4025062 | 3381 2837 | 38 | 155 1495.53/1495.87 c 1464s | 24 | 21797871 | 4030562 | 3381 2840 | 38 | 155 1497.63/1497.93 c 1467s | 24 | 21823102 | 4035262 | 3381 2843 | 38 | 155 1499.63/1499.96 c 1469s | 24 | 21851224 | 4040662 | 3381 2846 | 38 | 155 1501.63/1501.98 c 1471s | 24 | 21877646 | 4045862 | 3381 2849 | 38 | 155 1503.73/1504.00 c 1473s | 24 | 21903026 | 4051062 | 3381 2852 | 38 | 155 1505.73/1506.02 c 1475s | 24 | 21932953 | 4056362 | 3381 2855 | 38 | 155 1507.72/1508.05 c 1477s | 24 | 21962031 | 4062062 | 3381 2858 | 38 | 155 1509.72/1510.06 c 1479s | 24 | 21986350 | 4066762 | 3381 2861 | 38 | 155 1511.72/1512.08 c 1481s | 24 | 22010869 | 4071962 | 3381 2864 | 38 | 155 1513.73/1514.09 c 1483s | 24 | 22042229 | 4077662 | 3381 2867 | 38 | 155 1515.83/1516.12 c 1485s | 24 | 22073378 | 4083162 | 3381 2870 | 38 | 155 1517.83/1518.15 c 1487s | 24 | 22100186 | 4088762 | 3381 2874 | 38 | 155 1519.83/1520.16 c 1489s | 24 | 22123647 | 4094162 | 3381 2877 | 38 | 155 1521.83/1522.19 c 1491s | 24 | 22150748 | 4099362 | 3381 2880 | 38 | 155 1523.92/1524.20 c 1493s | 24 | 22185460 | 4104662 | 3381 2883 | 38 | 155 1525.92/1526.22 c 1495s | 24 | 22212806 | 4110062 | 3381 2886 | 38 | 155 1527.92/1528.24 c 1497s | 24 | 22236258 | 4115662 | 3381 2889 | 38 | 155 1529.93/1530.27 c 1499s | 24 | 22262765 | 4121062 | 3381 2892 | 38 | 155 1531.92/1532.28 c 1501s | 24 | 22285159 | 4125462 | 3381 2895 | 38 | 155 1533.92/1534.28 c 1503s | 24 | 22315088 | 4131162 | 3381 2898 | 38 | 155 1536.01/1536.30 c 1505s | 24 | 22344811 | 4136562 | 3381 2901 | 38 | 155 1538.01/1538.33 c 1507s | 24 | 22374074 | 4142162 | 3381 2904 | 38 | 155 1540.01/1540.34 c 1509s | 24 | 22402834 | 4147962 | 3381 2908 | 38 | 155 1542.02/1542.38 c 1511s | 24 | 22427021 | 4152862 | 3381 2911 | 38 | 155 1544.11/1544.40 c 1513s | 24 | 22458682 | 4158462 | 3381 2914 | 38 | 155 1546.11/1546.43 c 1515s | 24 | 22488509 | 4163862 | 3381 2917 | 38 | 155 1548.11/1548.45 c 1517s | 24 | 22519618 | 4169562 | 3381 2920 | 38 | 155 1550.11/1550.46 c 1519s | 24 | 22543819 | 4174862 | 3381 2923 | 38 | 155 1552.11/1552.46 c 1521s | 24 | 22569292 | 4179662 | 3381 2926 | 38 | 155 1554.11/1554.48 c 1523s | 24 | 22598528 | 4184962 | 3381 2929 | 38 | 155 1556.20/1556.50 c 1525s | 24 | 22625627 | 4190262 | 3381 2932 | 38 | 155 1558.20/1558.54 c 1527s | 24 | 22653203 | 4195962 | 3381 2936 | 38 | 155 1560.20/1560.56 c 1529s | 24 | 22682237 | 4201862 | 3381 2939 | 38 | 155 1562.30/1562.61 c 1531s | 24 | 22704359 | 4207062 | 3381 2942 | 38 | 155 1564.30/1564.63 c 1533s | 24 | 22730308 | 4212162 | 3381 2945 | 38 | 155 1566.30/1566.63 c 1535s | 24 | 22758131 | 4217662 | 3381 2948 | 38 | 155 1568.29/1568.64 c 1537s | 24 | 22786100 | 4223262 | 3381 2951 | 38 | 155 1570.29/1570.65 c 1539s | 24 | 22807188 | 4228162 | 3381 2954 | 38 | 155 1572.29/1572.67 c 1541s | 24 | 22836755 | 4233562 | 3381 2957 | 38 | 155 1574.29/1574.68 c 1543s | 24 | 22867836 | 4239262 | 3381 2961 | 38 | 155 1576.29/1576.69 c 1545s | 24 | 22894508 | 4244862 | 3381 2964 | 38 | 155 1578.39/1578.73 c 1547s | 24 | 22921855 | 4249562 | 3381 2967 | 38 | 155 1580.39/1580.76 c 1549s | 24 | 22949671 | 4254762 | 3381 2970 | 38 | 155 1582.39/1582.78 c 1551s | 24 | 22978536 | 4260062 | 3381 2973 | 38 | 155 1584.39/1584.79 c 1553s | 24 | 23007580 | 4265462 | 3381 2976 | 38 | 155 1586.48/1586.82 c 1555s | 24 | 23037509 | 4270862 | 3381 2979 | 38 | 155 1588.48/1588.85 c 1557s | 24 | 23061715 | 4275962 | 3381 2982 | 38 | 155 1590.49/1590.87 c 1559s | 24 | 23087843 | 4280962 | 3381 2985 | 38 | 155 1592.48/1592.90 c 1561s | 24 | 23110063 | 4285762 | 3381 2988 | 38 | 155 1594.58/1594.93 c 1564s | 24 | 23138794 | 4291162 | 3381 2991 | 38 | 155 1596.58/1596.96 c 1566s | 24 | 23165159 | 4296662 | 3381 2994 | 38 | 155 1598.58/1598.96 c 1568s | 24 | 23191137 | 4301562 | 3381 2997 | 38 | 155 1600.58/1600.97 c 1570s | 24 | 23218180 | 4305962 | 3381 2999 | 38 | 155 1602.58/1602.99 c 1572s | 24 | 23249283 | 4311462 | 3381 3002 | 38 | 155 1604.69/1605.00 c 1574s | 24 | 23277514 | 4316862 | 3381 3006 | 38 | 155 1606.68/1607.02 c 1576s | 24 | 23302753 | 4322062 | 3381 3009 | 38 | 155 1608.68/1609.08 c 1578s | 24 | 23325086 | 4326962 | 3381 3011 | 38 | 155 1610.78/1611.12 c 1580s | 24 | 23354603 | 4332662 | 3381 3015 | 38 | 155 1612.78/1613.14 c 1582s | 24 | 23384405 | 4337862 | 3381 3018 | 38 | 155 1614.78/1615.17 c 1584s | 24 | 23411377 | 4342762 | 3381 3021 | 38 | 155 1616.78/1617.18 c 1586s | 24 | 23435499 | 4347562 | 3381 3023 | 38 | 155 1618.87/1619.20 c 1588s | 24 | 23464865 | 4352162 | 3381 3026 | 38 | 155 1620.87/1621.26 c 1590s | 24 | 23492458 | 4357762 | 3381 3029 | 38 | 155 1622.87/1623.26 c 1592s | 24 | 23521738 | 4363062 | 3381 3032 | 38 | 155 1624.87/1625.29 c 1594s | 24 | 23550502 | 4368562 | 3381 3035 | 38 | 155 1626.96/1627.30 c 1596s | 24 | 23575061 | 4373762 | 3381 3039 | 38 | 155 1628.87/1629.30 c 1598s | 24 | 23603856 | 4379162 | 3381 3042 | 38 | 155 1630.96/1631.33 c 1600s | 24 | 23628815 | 4384662 | 3381 3045 | 38 | 155 1633.06/1633.40 c 1602s | 24 | 23651095 | 4389362 | 3381 3048 | 38 | 155 1635.06/1635.41 c 1604s | 24 | 23682394 | 4395262 | 3381 3051 | 38 | 155 1637.06/1637.42 c 1606s | 24 | 23709068 | 4400762 | 3381 3054 | 38 | 155 1639.06/1639.47 c 1608s | 24 | 23740672 | 4406562 | 3381 3058 | 38 | 155 1641.16/1641.50 c 1610s | 24 | 23768946 | 4411762 | 3381 3061 | 38 | 155 1643.16/1643.54 c 1612s | 24 | 23795865 | 4416862 | 3381 3064 | 38 | 155 1645.16/1645.58 c 1614s | 24 | 23819950 | 4422062 | 3381 3067 | 38 | 155 1647.16/1647.59 c 1616s | 24 | 23843979 | 4426962 | 3381 3069 | 38 | 155 1649.16/1649.60 c 1618s | 24 | 23869731 | 4432262 | 3381 3072 | 38 | 155 1651.26/1651.62 c 1620s | 24 | 23900583 | 4437862 | 3381 3076 | 38 | 155 1653.26/1653.65 c 1622s | 24 | 23931029 | 4443262 | 3381 3079 | 38 | 155 1655.27/1655.68 c 1624s | 24 | 23961257 | 4448962 | 3381 3082 | 38 | 155 1657.26/1657.69 c 1626s | 24 | 23991941 | 4454862 | 3381 3086 | 38 | 155 1659.36/1659.71 c 1628s | 24 | 24018133 | 4460062 | 3381 3089 | 38 | 155 1661.36/1661.74 c 1630s | 24 | 24046267 | 4465562 | 3381 3092 | 38 | 155 1663.36/1663.76 c 1632s | 24 | 24073274 | 4470662 | 3381 3095 | 38 | 155 1665.36/1665.79 c 1634s | 24 | 24096662 | 4475662 | 3381 3098 | 38 | 155 1667.46/1667.82 c 1636s | 24 | 24121472 | 4481062 | 3381 3101 | 38 | 155 1669.45/1669.84 c 1638s | 24 | 24148881 | 4486362 | 3381 3104 | 38 | 155 1671.45/1671.88 c 1640s | 24 | 24175011 | 4491962 | 3381 3107 | 38 | 155 1673.45/1673.89 c 1642s | 24 | 24195416 | 4497062 | 3381 3110 | 38 | 155 1675.55/1675.92 c 1644s | 24 | 24222311 | 4502162 | 3381 3113 | 38 | 155 1677.55/1677.96 c 1647s | 24 | 24252876 | 4507662 | 3381 3116 | 38 | 155 1679.55/1679.98 c 1649s | 24 | 24282913 | 4513162 | 3381 3119 | 38 | 155 1681.54/1681.98 c 1651s | 24 | 24309198 | 4518762 | 3381 3123 | 38 | 155 1683.54/1683.99 c 1653s | 24 | 24336207 | 4523962 | 3381 3126 | 38 | 155 1685.64/1686.03 c 1655s | 24 | 24363183 | 4529462 | 3381 3129 | 38 | 155 1687.64/1688.06 c 1657s | 24 | 24391535 | 4534562 | 3381 3132 | 38 | 155 1689.64/1690.08 c 1659s | 24 | 24417840 | 4539962 | 3381 3135 | 38 | 155 1691.74/1692.10 c 1661s | 24 | 24442546 | 4544962 | 3381 3138 | 38 | 155 1693.74/1694.12 c 1663s | 24 | 24468636 | 4550462 | 3381 3141 | 38 | 155 1695.74/1696.13 c 1665s | 24 | 24491732 | 4554862 | 3381 3144 | 38 | 155 1697.73/1698.16 c 1667s | 24 | 24515462 | 4559262 | 3381 3146 | 38 | 155 1699.73/1700.18 c 1669s | 24 | 24543576 | 4564262 | 3381 3149 | 38 | 155 1701.83/1702.20 c 1671s | 24 | 24571332 | 4569962 | 3381 3152 | 38 | 155 1703.83/1704.23 c 1673s | 24 | 24596266 | 4575062 | 3381 3155 | 38 | 155 1705.84/1706.27 c 1675s | 24 | 24623285 | 4579962 | 3381 3158 | 38 | 155 1707.82/1708.29 c 1677s | 24 | 24649039 | 4585162 | 3381 3161 | 38 | 155 1709.92/1710.31 c 1679s | 24 | 24673458 | 4590362 | 3381 3164 | 38 | 155 1711.92/1712.32 c 1681s | 24 | 24697429 | 4595262 | 3381 3167 | 38 | 155 1713.93/1714.33 c 1683s | 24 | 24721915 | 4600462 | 3381 3170 | 38 | 155 1715.92/1716.36 c 1685s | 24 | 24744630 | 4605562 | 3381 3173 | 38 | 155 1717.93/1718.40 c 1687s | 24 | 24767649 | 4610762 | 3381 3176 | 38 | 155 1720.02/1720.42 c 1689s | 24 | 24792756 | 4615962 | 3381 3179 | 38 | 155 1722.02/1722.43 c 1691s | 24 | 24817257 | 4620662 | 3381 3182 | 38 | 155 1724.22/1724.62 c 1693s | 24 | 24836785 | 4624562 | 3381 3184 | 38 | 155 1726.22/1726.63 c 1695s | 24 | 24868108 | 4629562 | 3381 3187 | 38 | 155 1728.22/1728.67 c 1697s | 24 | 24897834 | 4635062 | 3381 3190 | 38 | 155 1730.22/1730.67 c 1699s | 24 | 24923002 | 4640062 | 3381 3193 | 38 | 155 1732.22/1732.69 c 1701s | 24 | 24949868 | 4645362 | 3381 3196 | 38 | 155 1734.32/1734.72 c 1703s | 24 | 24975953 | 4650462 | 3381 3199 | 38 | 155 1736.31/1736.75 c 1705s | 24 | 25004802 | 4656162 | 3381 3202 | 38 | 155 1738.31/1738.75 c 1707s | 24 | 25035899 | 4662162 | 3381 3206 | 38 | 155 1740.31/1740.76 c 1709s | 24 | 25060913 | 4667062 | 3381 3209 | 38 | 155 1742.31/1742.79 c 1711s | 24 | 25092231 | 4672662 | 3381 3212 | 38 | 155 1744.32/1744.80 c 1713s | 24 | 25121100 | 4678362 | 3381 3215 | 38 | 155 1746.41/1746.81 c 1715s | 24 | 25150976 | 4683962 | 3381 3219 | 38 | 155 1748.41/1748.82 c 1717s | 24 | 25180451 | 4689662 | 3381 3222 | 38 | 155 1750.50/1750.91 c 1719s | 24 | 25204450 | 4694862 | 3381 3225 | 38 | 155 1752.50/1752.94 c 1722s | 24 | 25231358 | 4700362 | 3381 3228 | 38 | 155 1754.50/1754.96 c 1724s | 24 | 25259845 | 4706062 | 3381 3231 | 38 | 155 1756.60/1757.00 c 1726s | 24 | 25285834 | 4711662 | 3381 3235 | 38 | 155 1758.61/1759.01 c 1728s | 24 | 25309534 | 4716262 | 3381 3237 | 38 | 155 1760.60/1761.03 c 1730s | 24 | 25339431 | 4721362 | 3381 3240 | 38 | 155 1762.60/1763.05 c 1732s | 24 | 25369105 | 4727062 | 3381 3243 | 38 | 155 1764.60/1765.07 c 1734s | 24 | 25398773 | 4732762 | 3381 3247 | 38 | 155 1766.59/1767.08 c 1736s | 24 | 25424279 | 4738362 | 3381 3250 | 38 | 155 1768.60/1769.09 c 1738s | 24 | 25449064 | 4743462 | 3381 3253 | 38 | 155 1770.70/1771.12 c 1740s | 24 | 25475788 | 4748862 | 3381 3256 | 38 | 155 1772.69/1773.13 c 1742s | 24 | 25503578 | 4754162 | 3381 3259 | 38 | 155 1774.69/1775.16 c 1744s | 24 | 25534266 | 4759662 | 3381 3262 | 38 | 155 1776.79/1777.20 c 1746s | 24 | 25559806 | 4765062 | 3381 3265 | 38 | 155 1778.79/1779.21 c 1748s | 24 | 25585765 | 4769662 | 3381 3268 | 38 | 155 1780.79/1781.23 c 1750s | 24 | 25615827 | 4774962 | 3381 3271 | 38 | 155 1782.79/1783.26 c 1752s | 24 | 25645779 | 4780262 | 3381 3274 | 38 | 155 1784.78/1785.29 c 1754s | 24 | 25672339 | 4785662 | 3381 3277 | 38 | 155 1786.88/1787.30 c 1756s | 24 | 25695836 | 4790862 | 3381 3280 | 38 | 155 1788.88/1789.30 c 1758s | 24 | 25723376 | 4795662 | 3381 3283 | 38 | 155 1790.88/1791.32 c 1760s | 24 | 25749253 | 4800962 | 3381 3286 | 38 | 155 1792.88/1793.32 c 1762s | 24 | 25774968 | 4806062 | 3381 3289 | 38 | 155 1794.89/1795.36 c 1764s | 24 | 25798497 | 4810762 | 3381 3292 | 38 | 155 1796.87/1797.38 c 1766s | 24 | 25824689 | 4815762 | 3381 3295 | 38 | 155 1798.97/1799.41 c 1768s | 24 | 25855450 | 4821262 | 3720 3297 | 38 | 155
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-4079492-1465231104/watcher-4079492-1465231104 -o /tmp/evaluation-result-4079492-1465231104/solver-4079492-1465231104 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465227498-31672 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079492-1465231104.opb pid=32253 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.31 2.24 2.19 3/179 32256 /proc/meminfo: memFree=29965808/32872528 swapFree=17892/1720544 [pid=32256] ppid=32253 vsize=728508 CPUtime=0 cores=1,3,5,7 /proc/32256/stat : 32256 (toysat) R 32253 32256 31655 0 -1 4202496 2715 0 0 0 0 0 0 0 20 0 4 0 105043556 745992192 3076 33554432000 4194304 16246674 140733799542064 140733799541488 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32256/statm: 182639 3085 441 2943 0 179533 0 [pid=32256/tid=32257] ppid=32253 vsize=745916 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32257/stat : 32257 (toysat) S 32253 32256 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105043556 763817984 3146 33554432000 4194304 16246674 140733799542064 140095980023024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=32256/tid=32258] ppid=32253 vsize=750012 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32258/stat : 32258 (toysat) S 32253 32256 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043556 768012288 3163 33554432000 4194304 16246674 140733799542064 140095969533168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=32256/tid=32259] ppid=32253 vsize=755132 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32259/stat : 32259 (toysat) S 32253 32256 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105043556 773255168 3181 33554432000 4194304 16246674 140733799542064 140095959059632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100162 s] /proc/loadavg: 2.31 2.24 2.19 3/179 32256 /proc/meminfo: memFree=29965808/32872528 swapFree=17892/1720544 [pid=32256] ppid=32253 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/32256/stat : 32256 (toysat) R 32253 32256 31655 0 -1 4202496 31878 0 0 0 4 5 0 0 20 0 4 0 105043556 1247350784 32227 33554432000 4194304 16246674 140733799542064 140733799541488 12414459 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32256/statm: 304529 32234 754 2943 0 301423 0 [pid=32256/tid=32257] ppid=32253 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32257/stat : 32257 (toysat) S 32253 32256 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105043556 1247350784 32238 33554432000 4194304 16246674 140733799542064 140095980023024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=32256/tid=32258] ppid=32253 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32258/stat : 32258 (toysat) S 32253 32256 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043556 1247350784 32243 33554432000 4194304 16246674 140733799542064 140095969533168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=32256/tid=32259] ppid=32253 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32259/stat : 32259 (toysat) S 32253 32256 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105043556 1247350784 32248 33554432000 4194304 16246674 140733799542064 140095959059632 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.200504 s] /proc/loadavg: 2.31 2.24 2.19 3/179 32256 /proc/meminfo: memFree=29965808/32872528 swapFree=17892/1720544 [pid=32256] ppid=32253 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/32256/stat : 32256 (toysat) R 32253 32256 31655 0 -1 4202496 54202 0 0 0 10 9 0 0 20 0 4 0 105043556 1247350784 54551 33554432000 4194304 16246674 140733799542064 140733799525056 13198569 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32256/statm: 304529 54568 785 2943 0 301423 0 [pid=32256/tid=32257] ppid=32253 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32257/stat : 32257 (toysat) S 32253 32256 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105043556 1247350784 54577 33554432000 4194304 16246674 140733799542064 140095980023024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=32256/tid=32258] ppid=32253 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32258/stat : 32258 (toysat) S 32253 32256 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043556 1247350784 54586 33554432000 4194304 16246674 140733799542064 140095969533168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=32256/tid=32259] ppid=32253 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32259/stat : 32259 (toysat) S 32253 32256 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105043556 1247350784 54596 33554432000 4194304 16246674 140733799542064 140095959059632 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.300473 s] /proc/loadavg: 2.31 2.24 2.19 3/179 32256 /proc/meminfo: memFree=29965808/32872528 swapFree=17892/1720544 [pid=32256] ppid=32253 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/32256/stat : 32256 (toysat) R 32253 32256 31655 0 -1 4202496 71835 0 0 0 17 12 0 0 20 0 4 0 105043556 1247350784 72183 33554432000 4194304 16246674 140733799542064 140733799525056 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32256/statm: 304529 72191 785 2943 0 301423 0 [pid=32256/tid=32257] ppid=32253 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32257/stat : 32257 (toysat) S 32253 32256 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105043556 1247350784 72196 33554432000 4194304 16246674 140733799542064 140095980023024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=32256/tid=32258] ppid=32253 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32258/stat : 32258 (toysat) S 32253 32256 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043556 1247350784 72199 33554432000 4194304 16246674 140733799542064 140095969533168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=32256/tid=32259] ppid=32253 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32259/stat : 32259 (toysat) S 32253 32256 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105043556 1247350784 72204 33554432000 4194304 16246674 140733799542064 140095959059632 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.700411 s] /proc/loadavg: 2.31 2.24 2.19 3/179 32256 /proc/meminfo: memFree=29965808/32872528 swapFree=17892/1720544 [pid=32256] ppid=32253 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/32256/stat : 32256 (toysat) R 32253 32256 31655 0 -1 4202496 140573 0 0 0 47 22 0 0 20 0 4 0 105043556 1247350784 140921 33554432000 4194304 16246674 140733799542064 140733799525056 5661217 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32256/statm: 304529 140932 786 2943 0 301423 0 [pid=32256/tid=32257] ppid=32253 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32257/stat : 32257 (toysat) S 32253 32256 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105043556 1247350784 140936 33554432000 4194304 16246674 140733799542064 140095980023024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=32256/tid=32258] ppid=32253 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32258/stat : 32258 (toysat) S 32253 32256 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043556 1247350784 140944 33554432000 4194304 16246674 140733799542064 140095969533168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=32256/tid=32259] ppid=32253 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32259/stat : 32259 (toysat) S 32253 32256 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105043556 1247350784 140948 33554432000 4194304 16246674 140733799542064 140095959059632 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.50032 s] /proc/loadavg: 2.31 2.24 2.19 3/183 32260 /proc/meminfo: memFree=28737252/32872528 swapFree=17892/1720544 [pid=32256] ppid=32253 vsize=1221188 CPUtime=1.49 cores=1,3,5,7 /proc/32256/stat : 32256 (toysat) R 32253 32256 31655 0 -1 4202496 174763 0 0 0 123 26 0 0 20 0 4 0 105043556 1250496512 175089 33554432000 4194304 16246674 140733799542064 140733799525064 5663418 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32256/statm: 305297 175089 844 2943 0 302191 0 [pid=32256/tid=32257] ppid=32253 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32257/stat : 32257 (toysat) S 32253 32256 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105043556 1250496512 175089 33554432000 4194304 16246674 140733799542064 140095980023024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=32256/tid=32258] ppid=32253 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32258/stat : 32258 (toysat) S 32253 32256 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043556 1250496512 175089 33554432000 4194304 16246674 140733799542064 140095969533168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=32256/tid=32259] ppid=32253 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32259/stat : 32259 (toysat) S 32253 32256 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043556 1250496512 175089 33554432000 4194304 16246674 140733799542064 140095959059632 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) 1221188 [startup+3.10041 s] /proc/loadavg: 2.31 2.24 2.19 3/183 32260 /proc/meminfo: memFree=28331288/32872528 swapFree=17892/1720544 [pid=32256] ppid=32253 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/32256/stat : 32256 (toysat) R 32253 32256 31655 0 -1 4202496 239272 0 0 0 276 33 0 0 20 0 4 0 105043556 1337528320 239598 33554432000 4194304 16246674 140733799542064 140733799525064 13780596 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32256/statm: 326545 239598 844 2943 0 323439 0 [pid=32256/tid=32257] ppid=32253 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32257/stat : 32257 (toysat) S 32253 32256 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105043556 1337528320 239598 33554432000 4194304 16246674 140733799542064 140095980023024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=32256/tid=32258] ppid=32253 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32258/stat : 32258 (toysat) S 32253 32256 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043556 1337528320 239598 33554432000 4194304 16246674 140733799542064 140095969533168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=32256/tid=32259] ppid=32253 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32259/stat : 32259 (toysat) S 32253 32256 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043556 1337528320 239598 33554432000 4194304 16246674 140733799542064 140095959059632 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) 1306180 [startup+6.30041 s] /proc/loadavg: 2.28 2.24 2.19 3/183 32260 /proc/meminfo: memFree=28181512/32872528 swapFree=17892/1720544 [pid=32256] ppid=32253 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/32256/stat : 32256 (toysat) R 32253 32256 31655 0 -1 4202496 267720 0 0 0 592 37 0 0 20 0 4 0 105043556 1338576896 268046 33554432000 4194304 16246674 140733799542064 140733799525064 5999597 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32256/statm: 326801 268046 844 2943 0 323695 0 [pid=32256/tid=32257] ppid=32253 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32257/stat : 32257 (toysat) S 32253 32256 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105043556 1338576896 268046 33554432000 4194304 16246674 140733799542064 140095980023024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=32256/tid=32258] ppid=32253 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32258/stat : 32258 (toysat) S 32253 32256 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043556 1338576896 268046 33554432000 4194304 16246674 140733799542064 140095969533168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=32256/tid=32259] ppid=32253 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32259/stat : 32259 (toysat) S 32253 32256 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043556 1338576896 268046 33554432000 4194304 16246674 140733799542064 140095959059632 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.26 2.23 2.19 3/183 32260 /proc/meminfo: memFree=28177892/32872528 swapFree=17892/1720544 [pid=32256] ppid=32253 vsize=1311300 CPUtime=12.69 cores=1,3,5,7 /proc/32256/stat : 32256 (toysat) R 32253 32256 31655 0 -1 4202496 268800 0 0 0 1232 37 0 0 20 0 4 0 105043556 1342771200 269126 33554432000 4194304 16246674 140733799542064 140733799525064 13927278 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32256/statm: 327825 269126 845 2943 0 324719 0 [pid=32256/tid=32257] ppid=32253 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32257/stat : 32257 (toysat) S 32253 32256 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105043556 1342771200 269126 33554432000 4194304 16246674 140733799542064 140095980023024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=32256/tid=32258] ppid=32253 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32258/stat : 32258 (toysat) S 32253 32256 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043556 1342771200 269126 33554432000 4194304 16246674 140733799542064 140095969533168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=32256/tid=32259] ppid=32253 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32259/stat : 32259 (toysat) S 32253 32256 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043556 1342771200 269126 33554432000 4194304 16246674 140733799542064 140095959059632 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) 1311300 [startup+25.5074 s] /proc/loadavg: 2.27 2.24 2.19 3/183 32260 /proc/meminfo: memFree=28172060/32872528 swapFree=17892/1720544 [pid=32256] ppid=32253 vsize=1317444 CPUtime=25.49 cores=1,3,5,7 /proc/32256/stat : 32256 (toysat) R 32253 32256 31655 0 -1 4202496 270448 0 0 0 2512 37 0 0 20 0 4 0 105043556 1349062656 270774 33554432000 4194304 16246674 140733799542064 140733799523968 6021324 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32256/statm: 329361 270774 845 2943 0 326255 0 [pid=32256/tid=32257] ppid=32253 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32257/stat : 32257 (toysat) S 32253 32256 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105043556 1349062656 270774 33554432000 4194304 16246674 140733799542064 140095980023024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=32256/tid=32258] ppid=32253 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32258/stat : 32258 (toysat) S 32253 32256 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043556 1349062656 270774 33554432000 4194304 16246674 140733799542064 140095969533168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=32256/tid=32259] ppid=32253 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32259/stat : 32259 (toysat) S 32253 32256 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043556 1349062656 270774 33554432000 4194304 16246674 140733799542064 140095959059632 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) 1317444 [startup+51.1004 s] /proc/loadavg: 2.31 2.25 2.19 3/183 32260 /proc/meminfo: memFree=28170004/32872528 swapFree=17892/1720544 [pid=32256] ppid=32253 vsize=1317444 CPUtime=51.08 cores=1,3,5,7 /proc/32256/stat : 32256 (toysat) R 32253 32256 31655 0 -1 4202496 270448 0 0 0 5071 37 0 0 20 0 4 0 105043556 1349062656 270774 33554432000 4194304 16246674 140733799542064 140733799523968 5523356 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32256/statm: 329361 270774 845 2943 0 326255 0 [pid=32256/tid=32257] ppid=32253 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32257/stat : 32257 (toysat) S 32253 32256 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105043556 1349062656 270774 33554432000 4194304 16246674 140733799542064 140095980023024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=32256/tid=32258] ppid=32253 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32258/stat : 32258 (toysat) S 32253 32256 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043556 1349062656 270774 33554432000 4194304 16246674 140733799542064 140095969533168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=32256/tid=32259] ppid=32253 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32259/stat : 32259 (toysat) S 32253 32256 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043556 1349062656 270774 33554432000 4194304 16246674 140733799542064 140095959059632 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) 1317444 [startup+102.3 s] /proc/loadavg: 2.24 2.24 2.19 3/184 32264 /proc/meminfo: memFree=28164696/32872528 swapFree=17892/1720544 [pid=32256] ppid=32253 vsize=1317444 CPUtime=102.27 cores=1,3,5,7 /proc/32256/stat : 32256 (toysat) R 32253 32256 31655 0 -1 4202496 270450 0 0 0 10189 38 0 0 20 0 4 0 105043556 1349062656 270776 33554432000 4194304 16246674 140733799542064 140733799523968 6012046 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32256/statm: 329361 270776 847 2943 0 326255 0 [pid=32256/tid=32257] ppid=32253 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32257/stat : 32257 (toysat) S 32253 32256 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105043556 1349062656 270776 33554432000 4194304 16246674 140733799542064 140095980023024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=32256/tid=32258] ppid=32253 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32258/stat : 32258 (toysat) S 32253 32256 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043556 1349062656 270776 33554432000 4194304 16246674 140733799542064 140095969533168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=32256/tid=32259] ppid=32253 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32259/stat : 32259 (toysat) S 32253 32256 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043556 1349062656 270776 33554432000 4194304 16246674 140733799542064 140095959059632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1317444 ################ # More data... # ################ /proc/32256/task/32259/stat : 32259 (toysat) S 32253 32256 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043556 1372131328 276410 33554432000 4194304 16246674 140733799542064 140095959059632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1242.1 Current children cumulated vsize (KiB) 1339972 [startup+1302.3 s] /proc/loadavg: 2.10 2.16 2.17 4/184 32294 /proc/meminfo: memFree=28131732/32872528 swapFree=17892/1720544 [pid=32256] ppid=32253 vsize=1339972 CPUtime=1302.1 cores=1,3,5,7 /proc/32256/stat : 32256 (toysat) R 32253 32256 31655 0 -1 4202496 276084 0 0 0 130161 49 0 0 20 0 4 0 105043556 1372131328 276410 33554432000 4194304 16246674 140733799542064 140733799525064 5522890 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32256/statm: 334993 276410 849 2943 0 331887 0 [pid=32256/tid=32257] ppid=32253 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32257/stat : 32257 (toysat) S 32253 32256 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105043556 1372131328 276410 33554432000 4194304 16246674 140733799542064 140095980023024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=32256/tid=32258] ppid=32253 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32258/stat : 32258 (toysat) S 32253 32256 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043556 1372131328 276410 33554432000 4194304 16246674 140733799542064 140095969533168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=32256/tid=32259] ppid=32253 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32259/stat : 32259 (toysat) S 32253 32256 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043556 1372131328 276410 33554432000 4194304 16246674 140733799542064 140095959059632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302.1 Current children cumulated vsize (KiB) 1339972 [startup+1362.3 s] /proc/loadavg: 2.24 2.19 2.18 3/184 32318 /proc/meminfo: memFree=28121836/32872528 swapFree=17892/1720544 [pid=32256] ppid=32253 vsize=1349188 CPUtime=1362.08 cores=1,3,5,7 /proc/32256/stat : 32256 (toysat) R 32253 32256 31655 0 -1 4202496 278388 0 0 0 136159 49 0 0 20 0 4 0 105043556 1381568512 278714 33554432000 4194304 16246674 140733799542064 140733799523968 5662371 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32256/statm: 337297 278714 849 2943 0 334191 0 [pid=32256/tid=32257] ppid=32253 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32257/stat : 32257 (toysat) S 32253 32256 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105043556 1381568512 278714 33554432000 4194304 16246674 140733799542064 140095980023024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=32256/tid=32258] ppid=32253 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32258/stat : 32258 (toysat) S 32253 32256 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043556 1381568512 278714 33554432000 4194304 16246674 140733799542064 140095969533168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=32256/tid=32259] ppid=32253 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32259/stat : 32259 (toysat) S 32253 32256 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043556 1381568512 278714 33554432000 4194304 16246674 140733799542064 140095959059632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 1349188 [startup+1422.3 s] /proc/loadavg: 2.25 2.20 2.18 3/183 32320 /proc/meminfo: memFree=28122280/32872528 swapFree=17892/1720544 [pid=32256] ppid=32253 vsize=1349188 CPUtime=1422.07 cores=1,3,5,7 /proc/32256/stat : 32256 (toysat) R 32253 32256 31655 0 -1 4202496 278399 0 0 0 142157 50 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140733799523968 6836488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32256/statm: 337297 278717 849 2943 0 334191 0 [pid=32256/tid=32257] ppid=32253 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32257/stat : 32257 (toysat) S 32253 32256 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140095980023024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=32256/tid=32258] ppid=32253 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32258/stat : 32258 (toysat) S 32253 32256 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140095969533168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=32256/tid=32259] ppid=32253 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32259/stat : 32259 (toysat) S 32253 32256 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140095959059632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 1349188 [startup+1482.3 s] /proc/loadavg: 2.23 2.20 2.18 4/183 32321 /proc/meminfo: memFree=28122468/32872528 swapFree=17892/1720544 [pid=32256] ppid=32253 vsize=1349188 CPUtime=1482.04 cores=1,3,5,7 /proc/32256/stat : 32256 (toysat) R 32253 32256 31655 0 -1 4202496 278435 0 0 0 148153 51 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140733799523968 6022628 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32256/statm: 337297 278717 849 2943 0 334191 0 [pid=32256/tid=32257] ppid=32253 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32257/stat : 32257 (toysat) S 32253 32256 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140095980023024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=32256/tid=32258] ppid=32253 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32258/stat : 32258 (toysat) S 32253 32256 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140095969533168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=32256/tid=32259] ppid=32253 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32259/stat : 32259 (toysat) S 32253 32256 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140095959059632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 1349188 [startup+1542.3 s] /proc/loadavg: 2.18 2.19 2.18 3/183 32322 /proc/meminfo: memFree=28122452/32872528 swapFree=17892/1720544 [pid=32256] ppid=32253 vsize=1349188 CPUtime=1542.02 cores=1,3,5,7 /proc/32256/stat : 32256 (toysat) R 32253 32256 31655 0 -1 4202496 278469 0 0 0 154150 52 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140733799523968 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32256/statm: 337297 278717 849 2943 0 334191 0 [pid=32256/tid=32257] ppid=32253 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32257/stat : 32257 (toysat) S 32253 32256 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140095980023024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=32256/tid=32258] ppid=32253 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32258/stat : 32258 (toysat) S 32253 32256 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140095969533168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=32256/tid=32259] ppid=32253 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32259/stat : 32259 (toysat) S 32253 32256 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140095959059632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1542.02 Current children cumulated vsize (KiB) 1349188 [startup+1602.3 s] /proc/loadavg: 2.20 2.20 2.18 3/183 32323 /proc/meminfo: memFree=28122764/32872528 swapFree=17892/1720544 [pid=32256] ppid=32253 vsize=1349188 CPUtime=1601.98 cores=1,3,5,7 /proc/32256/stat : 32256 (toysat) R 32253 32256 31655 0 -1 4202496 278507 0 0 0 160146 52 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140733799523968 5711697 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32256/statm: 337297 278717 849 2943 0 334191 0 [pid=32256/tid=32257] ppid=32253 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32257/stat : 32257 (toysat) S 32253 32256 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140095980023024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=32256/tid=32258] ppid=32253 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32258/stat : 32258 (toysat) S 32253 32256 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140095969533168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=32256/tid=32259] ppid=32253 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32259/stat : 32259 (toysat) S 32253 32256 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140095959059632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.98 Current children cumulated vsize (KiB) 1349188 [startup+1662.31 s] /proc/loadavg: 2.24 2.22 2.18 4/183 32324 /proc/meminfo: memFree=28122796/32872528 swapFree=17892/1720544 [pid=32256] ppid=32253 vsize=1349188 CPUtime=1661.96 cores=1,3,5,7 /proc/32256/stat : 32256 (toysat) R 32253 32256 31655 0 -1 4202496 278541 0 0 0 166142 54 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140733799523968 13780656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32256/statm: 337297 278717 849 2943 0 334191 0 [pid=32256/tid=32257] ppid=32253 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32257/stat : 32257 (toysat) S 32253 32256 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140095980023024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=32256/tid=32258] ppid=32253 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32258/stat : 32258 (toysat) S 32253 32256 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140095969533168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=32256/tid=32259] ppid=32253 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32259/stat : 32259 (toysat) S 32253 32256 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140095959059632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.96 Current children cumulated vsize (KiB) 1349188 [startup+1722.3 s] /proc/loadavg: 2.33 2.24 2.19 3/183 32326 /proc/meminfo: memFree=28122104/32872528 swapFree=17892/1720544 [pid=32256] ppid=32253 vsize=1349188 CPUtime=1721.92 cores=1,3,5,7 /proc/32256/stat : 32256 (toysat) R 32253 32256 31655 0 -1 4202496 278585 0 0 0 172137 55 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140733799539904 5523192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32256/statm: 337297 278717 849 2943 0 334191 0 [pid=32256/tid=32257] ppid=32253 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32257/stat : 32257 (toysat) S 32253 32256 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140095980023024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=32256/tid=32258] ppid=32253 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32258/stat : 32258 (toysat) S 32253 32256 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140095969533168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=32256/tid=32259] ppid=32253 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32259/stat : 32259 (toysat) S 32253 32256 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140095959059632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.92 Current children cumulated vsize (KiB) 1349188 [startup+1782.3 s] /proc/loadavg: 2.16 2.21 2.18 3/183 32327 /proc/meminfo: memFree=28121800/32872528 swapFree=17892/1720544 [pid=32256] ppid=32253 vsize=1349188 CPUtime=1781.89 cores=1,3,5,7 /proc/32256/stat : 32256 (toysat) R 32253 32256 31655 0 -1 4202496 278623 0 0 0 178134 55 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140733799525064 5712056 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32256/statm: 337297 278717 849 2943 0 334191 0 [pid=32256/tid=32257] ppid=32253 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32257/stat : 32257 (toysat) S 32253 32256 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140095980023024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=32256/tid=32258] ppid=32253 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32258/stat : 32258 (toysat) S 32253 32256 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140095969533168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=32256/tid=32259] ppid=32253 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32259/stat : 32259 (toysat) S 32253 32256 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140095959059632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.89 Current children cumulated vsize (KiB) 1349188 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.12 2.20 2.18 4/183 32425 /proc/meminfo: memFree=29099416/32872528 swapFree=17892/1720544 [pid=32256] ppid=32253 vsize=1349188 CPUtime=1800.07 cores=1,3,5,7 /proc/32256/stat : 32256 (toysat) R 32253 32256 31655 0 -1 4202496 278635 0 0 0 179952 55 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140733799523968 12483464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32256/statm: 337297 278717 849 2943 0 334191 0 [pid=32256/tid=32257] ppid=32253 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32257/stat : 32257 (toysat) S 32253 32256 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140095980023024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=32256/tid=32258] ppid=32253 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32258/stat : 32258 (toysat) S 32253 32256 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140095969533168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=32256/tid=32259] ppid=32253 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/32256/task/32259/stat : 32259 (toysat) S 32253 32256 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043556 1381568512 278717 33554432000 4194304 16246674 140733799542064 140095959059632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1349188 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 32256 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.53 CPU time (s): 1800.11 CPU user time (s): 1799.53 CPU system time (s): 0.579911 CPU usage (%): 99.9767 Max. virtual memory (cumulated for all children) (KiB): 1349188 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.53 system time used= 0.579911 maximum resident set size= 1114868 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 278635 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= 260 involuntary context switches= 1865 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.40633 second user time and 7.12792 second system time The end
Begin job on node117 at 2016-06-06 18:38:24 IDJOB=4079492 IDBENCH=2040 IDSOLVER=2542 FILE ID=node117/4079492-1465231104 RUNJOBID= node117-1465227498-31672 PBS_JOBID= 19843241 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-sao2.b.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079492-1465231104/watcher-4079492-1465231104 -o /tmp/evaluation-result-4079492-1465231104/solver-4079492-1465231104 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465227498-31672 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079492-1465231104.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a91a8cbbe2491e496acc19538dbd623f RANDOM SEED=573828642 node117.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 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 : 5334.17 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 : 2667.088 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 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 : 2667.088 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.56 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 : 2667.088 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.54 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 : 2667.088 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 : 2667.088 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.53 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 : 2667.088 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: 29975188 kB Buffers: 20844 kB Cached: 96632 kB SwapCached: 1404 kB Active: 431788 kB Inactive: 41328 kB Active(anon): 356120 kB Inactive(anon): 2180 kB Active(file): 75668 kB Inactive(file): 39148 kB Unevictable: 1720544 kB Mlocked: 17892 kB SwapTotal: 67108856 kB SwapFree: 67098972 kB Dirty: 33496 kB Writeback: 0 kB AnonPages: 2073880 kB Mapped: 10536 kB Shmem: 0 kB Slab: 569160 kB SReclaimable: 12328 kB SUnreclaim: 556832 kB KernelStack: 1512 kB PageTables: 9760 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2939240 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1708032 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= 71708 MiB End job on node117 at 2016-06-06 19:08:25