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.01 | 1800.41 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir05_area_delay.opb |
| MD5SUM | b0c7ff7d1fa11c8e15b9d528879223a9 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 14 |
| Best CPU time to get the best result obtained on this benchmark | 0.064989 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 14 |
| Optimality of the best value was proved | YES |
| Number of variables | 3659 |
| Total number of constraints | 9385 |
| Number of constraints which are clauses | 9385 |
| 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 | 127 |
| Number of terms in the objective function | 1787 |
| 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 | 1787 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 1787 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-07T00:02:33+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-4079791-1465250553.opb"] 0.00/0.01 c use --random-gen="1628823162 4174909999 2272836383 163588063 3516162891 3533071475 385405623 4179617064 2737282374 2739390283 1240980337 2061448328 2995944820 3986098338 1845370669 442278983 79310660 2266029996 2412029702 1084021557 485124035 2105030145 942797197 4002926714 3122399717 2911484594 652280653 55114992 199202208 3414063500 1034450729 4088625626 1837146809 305498845 2294295657 2309574400 3005431237 3855403730 315481461 1004473441 2373597991 2133759138 2644347942 2327494172 412773397 418792138 2753740563 1813095789 750415714 3813854554 2492014386 793404926 2141741385 3775018038 248686350 2995402794 4264094139 417678632 1428423677 685002719 2876546308 1447300964 3023764778 1523519083 2981873488 40795122 3191373839 2344020225 3402799645 1768382677 2505113758 3196262006 2137897133 1730988480 211875569 378008606 2244671378 1156404326 1240401677 3685401546 4140784456 145131617 2290452173 2488634264 3662656943 1105754938 1914855546 1202265663 1259552617 3364307634 3311284186 332819917 2354137748 3085318909 3389072495 4292117166 1016763002 260949403 609340042 1158908484 2543387982 3219457479 916221 706519170 2742876974 1123510437 3745974082 3134465042 3800164014 4107064594 488834606 3528114420 4166552422 2893930920 1917711470 139479946 2546506277 2279161621 3948826253 3523336217 530753946 591175881 1852155407 3332659063 224533017 3266058125 405679408 4091360451 121815769 21464759 3415736477 1733932656 777393205 119429958 527406178 3115317585 653007438 3373738440 2864939186 2454497236 966264342 3010295447 4145240053 3538127073 2408815165 238604599 3418408634 3100061848 1356187051 3291686814 1984925191 1634280156 2326191911 1671104433 169617586 159884795 3199844779 566620417 2238888485 457977254 1518848589 2819562078 1704460186 3096171934 1001092059 2573632331 628337339 3416965988 2137615320 522104173 2918902170 2523920042 822426767 1900276303 4047027280 4053348076 471834962 782631696 2448167636 4136026180 2159967935 1992034248 1221914522 3484580703 1146599957 629859383 3659799635 2324786037 3168830769 3672079946 2901537619 2362860941 2814979788 2836809579 2924599847 3438478568 2561390155 1174744862 3862524054 1491726855 1584870914 3552183486 2769971786 1279574361 879277213 2867592782 3111432697 2505551578 2601113432 638371160 3487003386 1920476906 3527696261 4183299961 481074831 1210155394 2684941507 2708682565 1402706087 3851988757 2753868959 2889521612 2327461243 1204426145 3339433429 2095669629 3454792325 278816263 834393214 452616989 2491079054 1576409117 2803668473 2540842753 1622100147 3683124987 1417125643 3250703286 3023461808 650149814 65137454 4016655032 1850551603 4274754638 3090819620 2194657894 2003401456 1165737245 3646251346 1986347166 958101908 193069914 4092514677 2398021947 2338548571 1186924947 255 362436" option to reproduce the execution 0.00/0.07 c #vars 3659 0.00/0.07 c #constraints 9385 0.09/0.19 c BCD2: Hardening is enabled. 0.09/0.19 c BCD2: BiasedSearch is enabled. 0.09/0.19 c Solving starts ... 0.09/0.19 c ============================[ Search Statistics ]============================ 0.09/0.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.19 c | | | | Limit GC | Var | Constra 0.09/0.19 c ============================================================================= 0.09/0.19 c 0.0s | 0 | 0 | 0 | 4146 0 | 202 | 0 0.19/0.21 c 0.0s | 0 | 1680 | 0 | 4146 0 | 202 | 347 0.19/0.21 c #cpu_time = 0.016s 0.19/0.21 c #wall_clock_time = 0.017s 0.19/0.21 c #decision = 1680 0.19/0.21 c #random_decision = 4 0.19/0.21 c #conflict = 0 0.19/0.21 c #restart = 0 0.19/0.21 o 1629 0.19/0.21 c BCD2: updating upper bound: 1787 -> 1628 0.19/0.23 c BCD2: 0 <= obj <= 1628 0.19/0.23 c BCD2: #cores=0, #unrelaxed=1787, #relaxed=0, #hardened=0 0.19/0.23 c BCD2: #sat=1 #unsat=1 bias=1/2 0.19/0.24 c Solving starts ... 0.19/0.24 c ============================[ Search Statistics ]============================ 0.19/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.24 c | | | | Limit GC | Var | Constra 0.19/0.24 c ============================================================================= 0.19/0.24 c 0.0s | 0 | 0 | 0 | 4146 0 | 202 | 347 0.19/0.24 c 0.0s | 0 | 591 | 0 | 4146 0 | 202 | 347 0.19/0.24 c #cpu_time = 0.006s 0.19/0.24 c #wall_clock_time = 0.006s 0.19/0.24 c #decision = 591 0.19/0.24 c #random_decision = 0 0.19/0.24 c #conflict = 0 0.19/0.24 c #restart = 0 0.19/0.24 c BCD2: found a new core of size 1: cost of the new core is >=1 0.19/0.24 c lower bound updated to 1 0.19/0.24 c BCD2: 1 <= obj <= 1628 0.19/0.24 c BCD2: #cores=1, #unrelaxed=1786, #relaxed=1, #hardened=0 0.19/0.24 c BCD2: #sat=1 #unsat=2 bias=2/3 0.19/0.24 c Solving starts ... 0.19/0.24 c ============================[ Search Statistics ]============================ 0.19/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.24 c | | | | Limit GC | Var | Constra 0.19/0.24 c ============================================================================= 0.19/0.24 c 0.0s | 0 | 0 | 0 | 4146 0 | 202 | 347 0.19/0.25 c 0.0s | 0 | 673 | 0 | 4146 0 | 202 | 347 0.19/0.25 c #cpu_time = 0.006s 0.19/0.25 c #wall_clock_time = 0.006s 0.19/0.25 c #decision = 673 0.19/0.25 c #random_decision = 0 0.19/0.25 c #conflict = 0 0.19/0.25 c #restart = 0 0.19/0.25 c BCD2: found a new core of size 2: cost of the new core is >=1 0.19/0.25 c lower bound updated to 2 0.19/0.25 c BCD2: 2 <= obj <= 1628 0.19/0.25 c BCD2: #cores=2, #unrelaxed=1784, #relaxed=3, #hardened=0 0.19/0.25 c BCD2: #sat=1 #unsat=3 bias=3/4 0.19/0.25 c Solving starts ... 0.19/0.25 c ============================[ Search Statistics ]============================ 0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.25 c | | | | Limit GC | Var | Constra 0.19/0.25 c ============================================================================= 0.19/0.25 c 0.0s | 0 | 0 | 0 | 4146 0 | 202 | 350 0.19/0.26 c 0.0s | 0 | 673 | 0 | 4146 0 | 202 | 350 0.19/0.26 c #cpu_time = 0.006s 0.19/0.26 c #wall_clock_time = 0.006s 0.19/0.26 c #decision = 673 0.19/0.26 c #random_decision = 0 0.19/0.26 c #conflict = 0 0.19/0.26 c #restart = 0 0.19/0.26 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 5: cost of the new core is >=2 0.19/0.26 c lower bound updated to 3 0.19/0.26 c BCD2: 3 <= obj <= 1628 0.19/0.26 c BCD2: #cores=2, #unrelaxed=1781, #relaxed=6, #hardened=0 0.19/0.26 c BCD2: #sat=1 #unsat=4 bias=4/5 0.19/0.26 c Solving starts ... 0.19/0.26 c ============================[ Search Statistics ]============================ 0.19/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.26 c | | | | Limit GC | Var | Constra 0.19/0.26 c ============================================================================= 0.19/0.26 c 0.0s | 0 | 0 | 0 | 4146 0 | 203 | 350 0.19/0.27 c 0.0s | 0 | 677 | 0 | 4146 0 | 203 | 351 0.19/0.27 c #cpu_time = 0.006s 0.19/0.27 c #wall_clock_time = 0.006s 0.19/0.27 c #decision = 677 0.19/0.27 c #random_decision = 0 0.19/0.27 c #conflict = 0 0.19/0.27 c #restart = 0 0.19/0.27 c BCD2: found a new core of size 7: cost of the new core is >=1 0.19/0.27 c lower bound updated to 4 0.19/0.28 c BCD2: 4 <= obj <= 1628 0.19/0.28 c BCD2: #cores=3, #unrelaxed=1774, #relaxed=13, #hardened=0 0.19/0.28 c BCD2: #sat=1 #unsat=5 bias=5/6 0.19/0.28 c Solving starts ... 0.19/0.28 c ============================[ Search Statistics ]============================ 0.19/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.28 c | | | | Limit GC | Var | Constra 0.19/0.28 c ============================================================================= 0.19/0.28 c 0.0s | 0 | 0 | 0 | 4146 0 | 203 | 351 0.19/0.28 c 0.0s | 0 | 792 | 0 | 4146 0 | 203 | 351 0.19/0.28 c #cpu_time = 0.005s 0.19/0.28 c #wall_clock_time = 0.005s 0.19/0.28 c #decision = 792 0.19/0.28 c #random_decision = 0 0.19/0.28 c #conflict = 0 0.19/0.28 c #restart = 0 0.19/0.28 c BCD2: found a new core of size 15: cost of the new core is >=1 0.19/0.28 c lower bound updated to 5 0.19/0.28 c BCD2: 5 <= obj <= 1628 0.19/0.28 c BCD2: #cores=4, #unrelaxed=1759, #relaxed=28, #hardened=0 0.19/0.28 c BCD2: #sat=1 #unsat=6 bias=6/7 0.19/0.28 c Solving starts ... 0.19/0.28 c ============================[ Search Statistics ]============================ 0.19/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.28 c | | | | Limit GC | Var | Constra 0.19/0.28 c ============================================================================= 0.19/0.28 c 0.0s | 0 | 0 | 0 | 4146 0 | 203 | 351 0.19/0.29 c 0.0s | 0 | 818 | 0 | 4146 0 | 203 | 351 0.19/0.29 c #cpu_time = 0.005s 0.19/0.29 c #wall_clock_time = 0.005s 0.19/0.29 c #decision = 818 0.19/0.29 c #random_decision = 0 0.19/0.29 c #conflict = 0 0.19/0.29 c #restart = 0 0.19/0.29 c BCD2: found a new core of size 30: cost of the new core is >=1 0.19/0.29 c lower bound updated to 6 0.19/0.29 c BCD2: 6 <= obj <= 1628 0.19/0.29 c BCD2: #cores=5, #unrelaxed=1729, #relaxed=58, #hardened=0 0.19/0.29 c BCD2: #sat=1 #unsat=7 bias=7/8 0.19/0.29 c Solving starts ... 0.19/0.29 c ============================[ Search Statistics ]============================ 0.19/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.29 c | | | | Limit GC | Var | Constra 0.19/0.29 c ============================================================================= 0.19/0.29 c 0.0s | 0 | 0 | 0 | 4146 0 | 203 | 351 0.19/0.29 c 0.0s | 0 | 860 | 0 | 4146 0 | 203 | 351 0.19/0.30 c #cpu_time = 0.005s 0.19/0.30 c #wall_clock_time = 0.005s 0.19/0.30 c #decision = 860 0.19/0.30 c #random_decision = 0 0.19/0.30 c #conflict = 0 0.19/0.30 c #restart = 0 0.19/0.30 c BCD2: found a new core of size 3: cost of the new core is >=1 0.19/0.30 c lower bound updated to 7 0.19/0.30 c BCD2: 7 <= obj <= 1628 0.19/0.30 c BCD2: #cores=6, #unrelaxed=1726, #relaxed=61, #hardened=0 0.19/0.30 c BCD2: #sat=1 #unsat=8 bias=8/9 0.19/0.30 c Solving starts ... 0.29/0.30 c ============================[ Search Statistics ]============================ 0.29/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.30 c | | | | Limit GC | Var | Constra 0.29/0.30 c ============================================================================= 0.29/0.30 c 0.0s | 0 | 0 | 0 | 4146 0 | 203 | 351 0.29/0.30 c 0.0s | 0 | 942 | 1 | 4146 0 | 203 | 351 0.29/0.30 c #cpu_time = 0.005s 0.29/0.30 c #wall_clock_time = 0.005s 0.29/0.30 c #decision = 942 0.29/0.30 c #random_decision = 0 0.29/0.30 c #conflict = 1 0.29/0.30 c #restart = 0 0.29/0.30 c BCD2: relaxing 27 and merging with 1 cores into a new core of size 34: cost of the new core is >=2 0.29/0.30 c lower bound updated to 8 0.29/0.30 c BCD2: 8 <= obj <= 1628 0.29/0.30 c BCD2: #cores=6, #unrelaxed=1699, #relaxed=88, #hardened=0 0.29/0.30 c BCD2: #sat=1 #unsat=9 bias=9/10 0.29/0.30 c Solving starts ... 0.29/0.30 c ============================[ Search Statistics ]============================ 0.29/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.30 c | | | | Limit GC | Var | Constra 0.29/0.30 c ============================================================================= 0.29/0.30 c 0.0s | 0 | 0 | 0 | 4146 0 | 204 | 351 0.29/0.31 c 0.0s | 0 | 1108 | 0 | 4146 0 | 204 | 352 0.29/0.31 c #cpu_time = 0.007s 0.29/0.31 c #wall_clock_time = 0.007s 0.29/0.31 c #decision = 1108 0.29/0.31 c #random_decision = 0 0.29/0.31 c #conflict = 0 0.29/0.31 c #restart = 0 0.29/0.31 c BCD2: found a new core of size 15: cost of the new core is >=1 0.29/0.31 c lower bound updated to 9 0.29/0.31 c BCD2: 9 <= obj <= 1628 0.29/0.31 c BCD2: #cores=7, #unrelaxed=1684, #relaxed=103, #hardened=0 0.29/0.31 c BCD2: #sat=1 #unsat=10 bias=10/11 0.29/0.31 c Solving starts ... 0.29/0.31 c ============================[ Search Statistics ]============================ 0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.31 c | | | | Limit GC | Var | Constra 0.29/0.31 c ============================================================================= 0.29/0.31 c 0.0s | 0 | 0 | 0 | 4146 0 | 204 | 352 0.29/0.32 c 0.0s | 0 | 1590 | 0 | 4146 0 | 204 | 352 0.29/0.32 c #cpu_time = 0.009s 0.29/0.32 c #wall_clock_time = 0.009s 0.29/0.32 c #decision = 1590 0.29/0.32 c #random_decision = 0 0.29/0.32 c #conflict = 0 0.29/0.32 c #restart = 0 0.29/0.32 c BCD2: found a new core of size 81: cost of the new core is >=1 0.29/0.32 c lower bound updated to 10 0.29/0.33 c BCD2: 10 <= obj <= 1628 0.29/0.33 c BCD2: #cores=8, #unrelaxed=1603, #relaxed=184, #hardened=0 0.29/0.33 c BCD2: #sat=1 #unsat=11 bias=11/12 0.29/0.33 c Solving starts ... 0.29/0.33 c ============================[ Search Statistics ]============================ 0.29/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.33 c | | | | Limit GC | Var | Constra 0.29/0.33 c ============================================================================= 0.29/0.33 c 0.0s | 0 | 0 | 0 | 4146 0 | 204 | 352 0.29/0.34 c 0.0s | 0 | 1664 | 0 | 4146 0 | 204 | 352 0.29/0.34 c #cpu_time = 0.007s 0.29/0.34 c #wall_clock_time = 0.007s 0.29/0.34 c #decision = 1664 0.29/0.34 c #random_decision = 0 0.29/0.34 c #conflict = 0 0.29/0.34 c #restart = 0 0.29/0.34 o 42 0.29/0.34 c BCD2: updating upper bound: 1628 -> 41 0.29/0.35 c BCD2: 10 <= obj <= 41 0.29/0.35 c BCD2: #cores=8, #unrelaxed=1603, #relaxed=184, #hardened=0 0.29/0.35 c BCD2: #sat=2 #unsat=11 bias=11/13 0.29/0.35 c Solving starts ... 0.29/0.35 c ============================[ Search Statistics ]============================ 0.29/0.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.35 c | | | | Limit GC | Var | Constra 0.29/0.35 c ============================================================================= 0.29/0.35 c 0.0s | 0 | 0 | 0 | 4146 0 | 204 | 353 0.29/0.36 c 0.0s | 0 | 1658 | 5 | 4146 0 | 204 | 353 0.29/0.36 c #cpu_time = 0.008s 0.29/0.36 c #wall_clock_time = 0.008s 0.29/0.36 c #decision = 1658 0.29/0.36 c #random_decision = 0 0.29/0.36 c #conflict = 5 0.29/0.36 c #restart = 0 0.29/0.36 o 34 0.29/0.36 c BCD2: updating upper bound: 41 -> 33 0.29/0.36 c BCD2: 10 <= obj <= 33 0.29/0.36 c BCD2: #cores=8, #unrelaxed=1603, #relaxed=184, #hardened=0 0.29/0.36 c BCD2: #sat=3 #unsat=11 bias=11/14 0.29/0.36 c Solving starts ... 0.29/0.36 c ============================[ Search Statistics ]============================ 0.29/0.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.36 c | | | | Limit GC | Var | Constra 0.29/0.36 c ============================================================================= 0.29/0.37 c 0.0s | 0 | 0 | 0 | 4146 0 | 204 | 354 0.29/0.38 c 0.0s | 0 | 1572 | 3 | 4146 0 | 204 | 354 0.29/0.38 c #cpu_time = 0.008s 0.29/0.38 c #wall_clock_time = 0.008s 0.29/0.38 c #decision = 1572 0.29/0.38 c #random_decision = 0 0.29/0.38 c #conflict = 3 0.29/0.38 c #restart = 0 0.29/0.38 o 26 0.29/0.38 c BCD2: updating upper bound: 33 -> 25 0.29/0.38 c BCD2: 10 <= obj <= 25 0.29/0.38 c BCD2: #cores=8, #unrelaxed=1603, #relaxed=184, #hardened=0 0.29/0.38 c BCD2: #sat=4 #unsat=11 bias=11/15 0.29/0.38 c Solving starts ... 0.29/0.38 c ============================[ Search Statistics ]============================ 0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.38 c | | | | Limit GC | Var | Constra 0.29/0.38 c ============================================================================= 0.29/0.38 c 0.0s | 0 | 0 | 0 | 4146 0 | 204 | 355 0.29/0.39 c 0.0s | 0 | 1585 | 5 | 4146 0 | 204 | 355 0.29/0.39 c #cpu_time = 0.009s 0.29/0.39 c #wall_clock_time = 0.009s 0.29/0.39 c #decision = 1585 0.29/0.39 c #random_decision = 0 0.29/0.39 c #conflict = 5 0.29/0.39 c #restart = 0 0.29/0.39 o 19 0.29/0.39 c BCD2: updating upper bound: 25 -> 18 0.39/0.40 c BCD2: 10 <= obj <= 18 0.39/0.40 c BCD2: #cores=8, #unrelaxed=1603, #relaxed=184, #hardened=0 0.39/0.40 c BCD2: #sat=5 #unsat=11 bias=11/16 0.39/0.40 c Solving starts ... 0.39/0.40 c ============================[ Search Statistics ]============================ 0.39/0.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.40 c | | | | Limit GC | Var | Constra 0.39/0.40 c ============================================================================= 0.39/0.40 c 0.0s | 0 | 0 | 0 | 4146 0 | 204 | 356 0.39/0.43 c 0.0s | 1 | 2136 | 100 | 4561 0 | 204 | 356 0.39/0.47 c 0.1s | 1 | 4119 | 201 | 4561 0 | 204 | 356 0.39/0.47 c #cpu_time = 0.072s 0.39/0.47 c #wall_clock_time = 0.072s 0.39/0.47 c #decision = 4119 0.39/0.47 c #random_decision = 0 0.39/0.47 c #conflict = 201 0.39/0.47 c #restart = 1 0.39/0.47 o 15 0.39/0.48 c BCD2: updating upper bound: 18 -> 14 0.39/0.48 c BCD2: 10 <= obj <= 14 0.39/0.48 c BCD2: #cores=8, #unrelaxed=1603, #relaxed=184, #hardened=0 0.39/0.48 c BCD2: #sat=6 #unsat=11 bias=11/17 0.39/0.48 c Solving starts ... 0.39/0.48 c ============================[ Search Statistics ]============================ 0.39/0.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.48 c | | | | Limit GC | Var | Constra 0.39/0.48 c ============================================================================= 0.39/0.48 c 0.0s | 0 | 0 | 0 | 4561 0 | 204 | 357 0.49/0.51 c 0.0s | 1 | 2810 | 100 | 5018 0 | 204 | 357 0.49/0.56 c 0.1s | 2 | 5488 | 250 | 5018 0 | 204 | 357 0.59/0.61 c 0.1s | 3 | 7757 | 475 | 5520 0 | 204 | 357 0.59/0.63 c 0.2s | 3 | 9333 | 523 | 5520 0 | 204 | 357 0.59/0.63 c #cpu_time = 0.150s 0.59/0.63 c #wall_clock_time = 0.150s 0.59/0.63 c #decision = 9333 0.59/0.63 c #random_decision = 1 0.59/0.63 c #conflict = 523 0.59/0.63 c #restart = 3 0.59/0.63 c BCD2: relaxing 59 and merging with 5 cores into a new core of size 234: cost of the new core is >=7 0.59/0.63 c lower bound updated to 11 0.59/0.63 c BCD2: 11 <= obj <= 14 0.59/0.63 c BCD2: #cores=4, #unrelaxed=1544, #relaxed=243, #hardened=0 0.59/0.63 c BCD2: #sat=6 #unsat=12 bias=12/18 0.59/0.63 c Solving starts ... 0.59/0.63 c ============================[ Search Statistics ]============================ 0.59/0.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.63 c | | | | Limit GC | Var | Constra 0.59/0.63 c ============================================================================= 0.59/0.63 c 0.0s | 0 | 0 | 0 | 5520 0 | 234 | 357 0.59/0.68 c 0.0s | 1 | 1926 | 100 | 6073 0 | 234 | 412 0.69/0.73 c 0.1s | 2 | 4270 | 250 | 6073 0 | 234 | 412 0.69/0.79 c 0.2s | 3 | 6439 | 475 | 6073 0 | 234 | 412 0.89/0.92 c 0.3s | 4 | 9188 | 813 | 6681 0 | 234 | 412 1.10/1.11 c 0.5s | 5 | 11877 | 1320 | 6681 0 | 234 | 412 1.39/1.41 c 0.8s | 6 | 15667 | 2081 | 7350 0 | 234 | 412 1.89/1.92 c 1.3s | 7 | 21745 | 3223 | 8086 0 | 234 | 412 2.49/2.54 c 1.9s | 8 | 29699 | 4936 | 8895 0 | 234 | 412 3.30/3.39 c 2.8s | 9 | 42450 | 7506 | 9785 0 | 234 | 412 5.09/5.12 c 4.5s | 10 | 59198 | 11361 | 10764 0 | 234 | 412 7.09/7.15 c 6.5s | 10 | 75599 | 15161 | 10764 1 | 234 | 412 8.29/8.36 c 7.7s | 11 | 84887 | 17144 | 11841 1 | 234 | 412 10.39/10.41 c 9.8s | 11 | 97065 | 19444 | 11841 1 | 234 | 412 12.39/12.43 c 11.8s | 11 | 107694 | 21944 | 11841 2 | 234 | 412 14.39/14.44 c 13.8s | 11 | 122128 | 25344 | 13026 2 | 234 | 412 14.69/14.72 c 14.1s | 12 | 124072 | 25819 | 13026 2 | 234 | 412 16.69/16.73 c 16.1s | 12 | 140380 | 29019 | 13026 2 | 234 | 412 18.70/18.79 c 18.2s | 12 | 156937 | 32519 | 13026 3 | 234 | 412 20.79/20.82 c 20.2s | 12 | 172977 | 35919 | 13026 3 | 234 | 412 22.10/22.15 c 21.5s | 13 | 183119 | 38832 | 14329 4 | 234 | 412 24.20/24.21 c 23.6s | 13 | 197105 | 41732 | 14329 4 | 234 | 412 26.19/26.27 c 25.6s | 13 | 213210 | 45132 | 14329 4 | 234 | 412 28.29/28.30 c 27.7s | 13 | 227491 | 48332 | 14329 5 | 234 | 412 30.29/30.31 c 29.7s | 13 | 241851 | 51732 | 14329 5 | 234 | 412 32.29/32.36 c 31.7s | 13 | 255683 | 55032 | 14329 5 | 234 | 412 34.29/34.38 c 33.7s | 13 | 268212 | 57832 | 15762 6 | 234 | 412 34.59/34.69 c 34.1s | 14 | 270788 | 58352 | 15762 6 | 234 | 412 36.69/36.70 c 36.1s | 14 | 285653 | 61952 | 15762 6 | 234 | 412 38.69/38.75 c 38.1s | 14 | 302359 | 65252 | 15762 6 | 234 | 412 41.18/41.27 c 40.6s | 14 | 312581 | 67452 | 15762 7 | 234 | 412 43.28/43.32 c 42.7s | 14 | 329466 | 71252 | 15762 7 | 234 | 412 45.28/45.35 c 44.7s | 14 | 346473 | 74852 | 15762 7 | 234 | 412 47.29/47.37 c 46.7s | 14 | 364695 | 78652 | 15762 8 | 234 | 412 49.38/49.41 c 48.8s | 14 | 384763 | 82252 | 15762 8 | 235 | 439 51.38/51.41 c 50.8s | 14 | 400734 | 86252 | 15762 9 | 235 | 439 52.08/52.19 c 51.6s | 15 | 407191 | 87632 | 17339 9 | 235 | 439 54.28/54.31 c 53.7s | 15 | 420565 | 90132 | 17339 9 | 235 | 439 56.99/57.09 c 56.5s | 15 | 433052 | 92932 | 17339 9 | 235 | 439 59.09/59.11 c 58.5s | 15 | 447374 | 96532 | 17339 10 | 235 | 439 61.08/61.18 c 60.5s | 15 | 461986 | 99932 | 17339 10 | 235 | 439 63.18/63.21 c 62.6s | 15 | 476312 | 103732 | 17339 10 | 235 | 439 65.18/65.22 c 64.6s | 15 | 493319 | 107132 | 17339 11 | 235 | 439 67.19/67.24 c 66.6s | 15 | 509909 | 111232 | 17339 11 | 235 | 439 69.18/69.27 c 68.6s | 15 | 523445 | 115332 | 17339 11 | 235 | 439 71.28/71.30 c 70.7s | 15 | 529269 | 117132 | 17339 12 | 235 | 439 73.28/73.37 c 72.7s | 15 | 535747 | 118932 | 17339 12 | 235 | 439 75.28/75.37 c 74.7s | 15 | 548414 | 121432 | 17339 12 | 235 | 439 77.38/77.40 c 76.8s | 15 | 561398 | 124032 | 17339 12 | 235 | 439 79.38/79.41 c 78.8s | 15 | 573300 | 126532 | 17339 12 | 235 | 439 81.38/81.44 c 80.8s | 15 | 589042 | 130032 | 19073 13 | 235 | 439 82.28/82.30 c 81.7s | 16 | 595844 | 131552 | 19073 13 | 235 | 439 84.28/84.33 c 83.7s | 16 | 609188 | 134752 | 19073 13 | 235 | 439 86.27/86.39 c 85.8s | 16 | 620852 | 137252 | 19073 13 | 235 | 439 88.37/88.45 c 87.8s | 16 | 636339 | 140452 | 19073 14 | 235 | 439 90.47/90.50 c 89.9s | 16 | 650948 | 143452 | 19073 14 | 235 | 439 92.48/92.52 c 91.9s | 16 | 666221 | 147052 | 19073 14 | 235 | 439 94.47/94.53 c 93.9s | 16 | 677217 | 149752 | 19073 14 | 235 | 439 96.47/96.55 c 95.9s | 16 | 691214 | 153752 | 19073 15 | 235 | 439 98.47/98.59 c 98.0s | 16 | 708669 | 157352 | 19073 15 | 235 | 439 100.57/100.60 c 100.0s | 16 | 715517 | 159352 | 19073 15 | 235 | 439 102.78/102.88 c 102s | 16 | 725793 | 161652 | 19073 16 | 235 | 439 104.88/104.93 c 104s | 16 | 739020 | 165252 | 19073 16 | 235 | 439 106.88/106.94 c 106s | 16 | 753089 | 169052 | 19073 16 | 235 | 439 108.88/108.97 c 108s | 16 | 769357 | 172952 | 19073 17 | 235 | 439 110.98/111.04 c 110s | 16 | 785049 | 176952 | 19073 17 | 235 | 439 112.97/113.05 c 112s | 16 | 792869 | 179252 | 19073 17 | 235 | 439 114.97/115.07 c 114s | 16 | 804106 | 182652 | 19073 17 | 235 | 439 117.07/117.10 c 116s | 16 | 818443 | 186452 | 19073 18 | 235 | 439 119.07/119.11 c 118s | 16 | 831172 | 189752 | 19073 18 | 235 | 439 121.08/121.12 c 120s | 16 | 849343 | 193152 | 19073 18 | 235 | 439 123.07/123.13 c 122s | 16 | 867102 | 197052 | 20981 19 | 235 | 439 123.28/123.32 c 122s | 17 | 868871 | 197432 | 20981 19 | 235 | 439 125.27/125.37 c 124s | 17 | 881086 | 199932 | 20981 19 | 235 | 439 127.37/127.43 c 126s | 17 | 895152 | 203732 | 20981 19 | 235 | 439 129.37/129.46 c 128s | 17 | 910279 | 207332 | 20981 19 | 235 | 439 131.37/131.47 c 130s | 17 | 923333 | 210432 | 20981 20 | 235 | 439 133.47/133.52 c 132s | 17 | 936743 | 213832 | 20981 20 | 235 | 439 135.47/135.57 c 134s | 17 | 949013 | 216832 | 20981 20 | 235 | 439 137.47/137.58 c 136s | 17 | 960046 | 219132 | 20981 20 | 235 | 439 139.47/139.58 c 138s | 17 | 975838 | 222432 | 20981 21 | 235 | 439 141.57/141.61 c 140s | 17 | 990396 | 225432 | 20981 21 | 235 | 439 143.57/143.63 c 142s | 17 | 1007718 | 228832 | 20981 21 | 235 | 439 145.57/145.69 c 145s | 17 | 1022928 | 232132 | 20981 22 | 235 | 439 148.36/148.48 c 147s | 17 | 1036202 | 236432 | 20981 22 | 235 | 439 150.36/150.49 c 149s | 17 | 1044697 | 238632 | 20981 22 | 235 | 439 152.36/152.49 c 151s | 17 | 1056554 | 241632 | 20981 22 | 235 | 439 154.36/154.49 c 153s | 17 | 1072845 | 246132 | 20981 23 | 235 | 439 156.47/156.54 c 155s | 17 | 1083732 | 248532 | 20981 23 | 235 | 439 158.48/158.59 c 157s | 17 | 1096608 | 251732 | 20981 23 | 235 | 439 160.58/160.63 c 159s | 17 | 1102128 | 253132 | 20981 23 | 235 | 439 162.57/162.65 c 162s | 17 | 1115828 | 255732 | 20981 23 | 235 | 439 164.67/164.74 c 164s | 17 | 1128549 | 258132 | 20981 24 | 235 | 439 166.67/166.77 c 166s | 17 | 1146074 | 261332 | 20981 24 | 235 | 439 168.77/168.82 c 168s | 17 | 1160758 | 264932 | 20981 24 | 235 | 439 170.77/170.86 c 170s | 17 | 1173068 | 267832 | 20981 24 | 235 | 439 172.87/172.91 c 172s | 17 | 1184079 | 270732 | 20981 25 | 235 | 439 174.87/174.96 c 174s | 17 | 1199623 | 274632 | 20981 25 | 235 | 439 176.87/176.99 c 176s | 17 | 1210826 | 277632 | 20981 25 | 235 | 439 178.97/179.04 c 178s | 17 | 1225532 | 280532 | 20981 25 | 235 | 439 180.97/181.06 c 180s | 17 | 1241610 | 283832 | 20981 26 | 235 | 439 182.97/183.07 c 182s | 17 | 1257000 | 287232 | 20981 26 | 235 | 439 185.06/185.10 c 184s | 17 | 1270615 | 290232 | 20981 26 | 235 | 439 188.17/188.27 c 187s | 17 | 1275360 | 291032 | 20981 27 | 236 | 467 190.27/190.31 c 189s | 17 | 1280716 | 292432 | 20981 27 | 236 | 467 192.27/192.36 c 191s | 17 | 1295569 | 295732 | 23080 27 | 236 | 467 192.47/192.60 c 191s | 18 | 1297555 | 296252 | 23080 27 | 236 | 467 194.56/194.65 c 194s | 18 | 1311949 | 299152 | 23080 27 | 236 | 467 196.56/196.69 c 196s | 18 | 1324207 | 302352 | 23080 27 | 236 | 467 198.66/198.70 c 198s | 18 | 1337625 | 305952 | 23080 28 | 236 | 467 200.66/200.79 c 200s | 18 | 1350473 | 310052 | 23080 28 | 236 | 467 202.76/202.83 c 202s | 18 | 1360690 | 313152 | 23080 28 | 236 | 467 204.76/204.88 c 204s | 18 | 1371524 | 316252 | 23080 28 | 236 | 467 207.46/207.56 c 206s | 18 | 1383069 | 319652 | 23080 29 | 236 | 467 209.45/209.58 c 208s | 18 | 1397904 | 323452 | 23080 29 | 236 | 467 211.45/211.59 c 210s | 18 | 1412618 | 327052 | 23080 29 | 236 | 467 213.55/213.64 c 213s | 18 | 1426686 | 330152 | 23080 29 | 236 | 467 215.56/215.68 c 215s | 18 | 1438278 | 333452 | 23080 30 | 236 | 467 217.55/217.69 c 217s | 18 | 1452542 | 337652 | 23080 30 | 236 | 467 219.65/219.71 c 219s | 18 | 1467138 | 341852 | 23080 30 | 236 | 467 221.65/221.74 c 221s | 18 | 1479258 | 345152 | 23080 30 | 236 | 467 223.65/223.75 c 223s | 18 | 1492105 | 348752 | 23080 31 | 236 | 467 225.64/225.76 c 225s | 18 | 1508885 | 352452 | 23080 31 | 236 | 467 227.75/227.81 c 227s | 18 | 1522654 | 356052 | 23080 31 | 236 | 467 229.74/229.81 c 229s | 18 | 1535621 | 359252 | 23080 32 | 236 | 467 231.74/231.83 c 231s | 18 | 1545351 | 361652 | 23080 32 | 236 | 467 233.74/233.83 c 233s | 18 | 1558999 | 365652 | 23080 32 | 236 | 467 235.74/235.87 c 235s | 18 | 1573937 | 369552 | 23080 32 | 236 | 467 239.85/239.92 c 239s | 18 | 1578863 | 370852 | 23080 32 | 236 | 467 242.05/242.13 c 241s | 18 | 1596667 | 374752 | 23080 33 | 236 | 467 246.14/246.24 c 245s | 18 | 1610188 | 377752 | 23080 33 | 236 | 467 248.14/248.24 c 247s | 18 | 1627779 | 382252 | 23080 33 | 236 | 467 250.14/250.28 c 249s | 18 | 1642110 | 385752 | 23080 34 | 236 | 467 252.24/252.37 c 251s | 18 | 1657253 | 389352 | 23080 34 | 236 | 467 254.44/254.58 c 253s | 18 | 1665058 | 391352 | 23080 34 | 236 | 467 256.54/256.60 c 255s | 18 | 1673524 | 393252 | 23080 34 | 236 | 467 258.45/258.60 c 257s | 18 | 1686578 | 395852 | 23080 34 | 236 | 467 260.54/260.66 c 260s | 18 | 1696232 | 398152 | 23080 35 | 236 | 467 262.54/262.69 c 262s | 18 | 1712158 | 401752 | 23080 35 | 236 | 467 264.64/264.71 c 264s | 18 | 1725506 | 405552 | 23080 35 | 236 | 467 266.64/266.74 c 266s | 18 | 1732326 | 407052 | 23080 35 | 236 | 467 268.64/268.75 c 268s | 18 | 1747242 | 409852 | 23080 35 | 236 | 467 270.84/270.99 c 270s | 18 | 1762744 | 413452 | 23080 36 | 236 | 467 272.93/273.00 c 272s | 18 | 1776744 | 416852 | 23080 36 | 236 | 467 274.94/275.01 c 274s | 18 | 1787415 | 419852 | 23080 36 | 236 | 467 276.93/277.03 c 276s | 18 | 1797551 | 422752 | 23080 36 | 236 | 467 278.93/279.05 c 278s | 18 | 1808858 | 425852 | 23080 37 | 236 | 467 280.93/281.08 c 280s | 18 | 1824800 | 429852 | 23080 37 | 236 | 467 283.03/283.10 c 282s | 18 | 1839338 | 433152 | 23080 37 | 236 | 467 285.03/285.16 c 284s | 18 | 1852274 | 436152 | 23080 37 | 236 | 467 287.03/287.19 c 286s | 18 | 1866659 | 439252 | 23080 38 | 236 | 467 289.13/289.22 c 288s | 18 | 1881264 | 442652 | 25389 38 | 236 | 467 290.33/290.42 c 289s | 19 | 1889536 | 444482 | 25389 38 | 236 | 467 292.32/292.43 c 291s | 19 | 1897016 | 445982 | 25389 38 | 236 | 467 294.33/294.47 c 293s | 19 | 1907254 | 448582 | 25389 38 | 236 | 467 296.33/296.47 c 295s | 19 | 1920843 | 451782 | 25389 38 | 236 | 467 298.33/298.47 c 297s | 19 | 1929777 | 454182 | 25389 39 | 236 | 467 300.34/300.49 c 299s | 19 | 1942081 | 457682 | 25389 39 | 236 | 467 302.44/302.51 c 301s | 19 | 1955965 | 461182 | 25389 39 | 236 | 467 304.43/304.56 c 303s | 19 | 1972071 | 464382 | 25389 39 | 236 | 467 306.93/307.06 c 306s | 19 | 1979836 | 466282 | 25389 39 | 236 | 467 309.32/309.40 c 308s | 19 | 1990831 | 469182 | 25389 40 | 236 | 467 311.33/311.42 c 310s | 19 | 1999510 | 471482 | 25389 40 | 236 | 467 313.32/313.44 c 312s | 19 | 2015869 | 475282 | 25389 40 | 236 | 467 315.32/315.46 c 314s | 19 | 2029400 | 478282 | 25389 40 | 236 | 467 317.42/317.55 c 316s | 19 | 2041363 | 481082 | 25389 40 | 236 | 467 319.42/319.59 c 318s | 19 | 2052263 | 483582 | 25389 41 | 236 | 467 321.52/321.64 c 321s | 19 | 2069389 | 487182 | 25389 41 | 237 | 521 323.52/323.64 c 323s | 19 | 2083004 | 490282 | 25389 41 | 237 | 521 325.62/325.72 c 325s | 19 | 2095766 | 493382 | 25389 41 | 237 | 521 327.61/327.75 c 327s | 19 | 2108058 | 496882 | 25389 42 | 237 | 521 329.61/329.79 c 329s | 19 | 2124618 | 500582 | 25389 42 | 237 | 521 331.71/331.81 c 331s | 19 | 2137621 | 503782 | 25389 42 | 237 | 521 335.11/335.20 c 334s | 19 | 2151650 | 506982 | 25389 42 | 237 | 521 337.11/337.27 c 336s | 19 | 2161948 | 508982 | 25389 42 | 237 | 521 339.11/339.29 c 338s | 19 | 2173997 | 511482 | 25389 43 | 237 | 521 341.21/341.33 c 340s | 19 | 2191710 | 514582 | 25389 43 | 237 | 521 343.22/343.35 c 342s | 19 | 2205354 | 517482 | 25389 43 | 237 | 521 345.20/345.39 c 344s | 19 | 2221639 | 520582 | 25389 43 | 237 | 521 347.30/347.44 c 346s | 19 | 2235848 | 523482 | 25389 43 | 237 | 521 349.30/349.46 c 348s | 19 | 2252258 | 526582 | 25389 44 | 237 | 521 351.30/351.46 c 350s | 19 | 2266926 | 529882 | 25389 44 | 237 | 521 353.80/353.98 c 353s | 19 | 2278126 | 533082 | 25389 44 | 237 | 521 355.80/355.98 c 355s | 19 | 2280492 | 533882 | 25389 44 | 237 | 521 357.90/358.00 c 357s | 19 | 2291511 | 537182 | 25389 44 | 237 | 521 360.20/360.30 c 359s | 19 | 2302520 | 540382 | 25389 45 | 237 | 521 362.20/362.34 c 361s | 19 | 2318280 | 544082 | 25389 45 | 237 | 521 364.20/364.35 c 363s | 19 | 2335126 | 547582 | 25389 45 | 237 | 521 366.20/366.36 c 365s | 19 | 2348810 | 550382 | 25389 45 | 238 | 576 368.30/368.49 c 367s | 19 | 2361295 | 553282 | 25389 46 | 238 | 576 370.40/370.55 c 369s | 19 | 2376728 | 556282 | 25389 46 | 238 | 576 372.50/372.62 c 371s | 19 | 2390860 | 559482 | 25389 46 | 238 | 576 374.49/374.68 c 374s | 19 | 2406794 | 562882 | 25389 46 | 238 | 576 376.59/376.73 c 376s | 19 | 2422762 | 566282 | 25389 46 | 238 | 576 378.59/378.77 c 378s | 19 | 2435482 | 569282 | 25389 47 | 238 | 576 380.69/380.80 c 380s | 19 | 2452396 | 573382 | 25389 47 | 238 | 576 382.80/382.94 c 382s | 19 | 2455297 | 574282 | 25389 47 | 238 | 576 386.00/386.20 c 385s | 19 | 2456120 | 574582 | 25389 47 | 238 | 576 388.09/388.25 c 387s | 19 | 2465129 | 576382 | 25389 47 | 238 | 576 390.19/390.32 c 389s | 19 | 2475048 | 578582 | 25389 47 | 238 | 576 392.19/392.38 c 391s | 19 | 2486949 | 581282 | 25389 47 | 238 | 576 394.59/394.70 c 394s | 19 | 2493207 | 582882 | 25389 48 | 238 | 576 396.58/396.74 c 396s | 19 | 2506038 | 585782 | 25389 48 | 238 | 576 398.58/398.76 c 398s | 19 | 2520808 | 589382 | 25389 48 | 238 | 576 400.59/400.77 c 400s | 19 | 2532679 | 592282 | 25389 48 | 238 | 576 402.60/402.79 c 402s | 19 | 2546580 | 595682 | 25389 48 | 238 | 576 404.69/404.83 c 404s | 19 | 2556860 | 598382 | 25389 49 | 238 | 576 406.69/406.90 c 406s | 19 | 2571215 | 602182 | 25389 49 | 238 | 576 408.78/408.91 c 408s | 19 | 2581595 | 604882 | 25389 49 | 238 | 576 410.78/410.97 c 410s | 19 | 2594254 | 607782 | 25389 49 | 238 | 576 412.88/413.00 c 412s | 19 | 2605967 | 610482 | 25389 49 | 238 | 576 414.88/415.02 c 414s | 19 | 2616013 | 612582 | 25389 50 | 238 | 576 416.89/417.09 c 416s | 19 | 2627680 | 616182 | 25389 50 | 238 | 576 418.99/419.15 c 418s | 19 | 2642499 | 619382 | 25389 50 | 238 | 576 420.98/421.17 c 420s | 19 | 2653986 | 622182 | 25389 50 | 238 | 576 422.98/423.19 c 422s | 19 | 2663620 | 624782 | 25389 50 | 238 | 576 425.08/425.24 c 424s | 19 | 2680130 | 628082 | 25389 51 | 238 | 576 427.08/427.29 c 426s | 19 | 2693377 | 630882 | 25389 51 | 238 | 576 429.17/429.31 c 428s | 19 | 2703805 | 633082 | 25389 51 | 238 | 576 431.18/431.33 c 430s | 19 | 2718323 | 635682 | 25389 51 | 238 | 576 433.17/433.34 c 432s | 19 | 2729601 | 638182 | 25389 51 | 238 | 576 435.17/435.36 c 434s | 19 | 2744324 | 641282 | 25389 52 | 238 | 576 437.27/437.40 c 436s | 19 | 2759735 | 644282 | 25389 52 | 238 | 576 439.27/439.46 c 438s | 19 | 2770612 | 646582 | 25389 52 | 238 | 576 441.37/441.58 c 440s | 19 | 2781051 | 648982 | 25389 52 | 238 | 576 443.37/443.58 c 442s | 19 | 2790989 | 651682 | 25389 52 | 238 | 576 445.47/445.70 c 445s | 19 | 2802979 | 654282 | 25389 53 | 238 | 576 447.57/447.70 c 447s | 19 | 2817758 | 657682 | 25389 53 | 238 | 576 449.56/449.72 c 449s | 19 | 2833567 | 661182 | 25389 53 | 238 | 576 451.56/451.76 c 451s | 19 | 2847562 | 664382 | 27928 53 | 238 | 576 453.17/453.39 c 452s | 20 | 2858843 | 666827 | 27928 53 | 238 | 576 457.86/458.03 c 457s | 20 | 2867662 | 668327 | 27928 53 | 238 | 576 459.86/460.09 c 459s | 20 | 2872625 | 669527 | 27928 53 | 238 | 576 461.97/462.13 c 461s | 20 | 2879642 | 670827 | 27928 54 | 238 | 576 463.96/464.18 c 463s | 20 | 2889491 | 673427 | 27928 54 | 238 | 576 465.96/466.18 c 465s | 20 | 2903605 | 676927 | 27928 54 | 238 | 576 468.06/468.22 c 467s | 20 | 2917509 | 680427 | 27928 54 | 238 | 576 470.06/470.29 c 469s | 20 | 2926261 | 682527 | 27928 54 | 238 | 576 472.16/472.32 c 471s | 20 | 2936084 | 684927 | 27928 54 | 238 | 576 474.16/474.33 c 473s | 20 | 2946744 | 687427 | 27928 55 | 238 | 576 476.16/476.34 c 475s | 20 | 2959738 | 691127 | 27928 55 | 238 | 576 478.16/478.34 c 477s | 20 | 2970569 | 694227 | 27928 55 | 238 | 576 480.16/480.38 c 479s | 20 | 2983902 | 697227 | 27928 55 | 238 | 576 482.26/482.41 c 481s | 20 | 2996919 | 700227 | 27928 55 | 238 | 576 484.55/484.73 c 484s | 20 | 3007636 | 702027 | 27928 56 | 238 | 576 487.75/487.94 c 487s | 20 | 3015227 | 703627 | 27928 56 | 238 | 576 489.85/490.01 c 489s | 20 | 3030641 | 706927 | 27928 56 | 238 | 576 491.85/492.06 c 491s | 20 | 3044287 | 709827 | 27928 56 | 238 | 576 493.95/494.12 c 493s | 20 | 3056654 | 713027 | 27928 56 | 238 | 576 495.96/496.19 c 495s | 20 | 3066321 | 715227 | 27928 56 | 238 | 576 498.05/498.23 c 497s | 20 | 3077819 | 717827 | 27928 57 | 238 | 576 500.05/500.26 c 499s | 20 | 3088392 | 720127 | 27928 57 | 238 | 576 502.05/502.28 c 501s | 20 | 3103267 | 723227 | 27928 57 | 238 | 576 504.15/504.31 c 503s | 20 | 3117047 | 726227 | 27928 57 | 238 | 576 506.15/506.31 c 505s | 20 | 3129245 | 728927 | 27928 57 | 238 | 576 508.15/508.37 c 507s | 20 | 3141010 | 731927 | 27928 57 | 238 | 576 510.55/510.71 c 510s | 20 | 3153101 | 734927 | 27928 58 | 238 | 576 512.55/512.78 c 512s | 20 | 3160239 | 737027 | 27928 58 | 238 | 576 514.54/514.79 c 514s | 20 | 3170641 | 739927 | 27928 58 | 238 | 576 516.64/516.82 c 516s | 20 | 3181589 | 742327 | 27928 58 | 238 | 576 518.64/518.83 c 518s | 20 | 3195280 | 745327 | 27928 58 | 238 | 576 520.64/520.86 c 520s | 20 | 3206065 | 747727 | 27928 58 | 238 | 576 522.64/522.87 c 522s | 20 | 3216873 | 750527 | 27928 59 | 238 | 576 524.74/524.90 c 524s | 20 | 3228488 | 753427 | 27928 59 | 238 | 576 526.75/526.95 c 526s | 20 | 3241666 | 757027 | 27928 59 | 238 | 576 528.74/528.98 c 528s | 20 | 3254006 | 760227 | 27928 59 | 238 | 576 530.74/530.99 c 530s | 20 | 3262869 | 763027 | 27928 59 | 238 | 576 532.84/533.02 c 532s | 20 | 3275392 | 766227 | 27928 60 | 238 | 576 534.84/535.06 c 534s | 20 | 3286317 | 769027 | 27928 60 | 238 | 576 536.84/537.08 c 536s | 20 | 3298957 | 771927 | 27928 60 | 238 | 576 538.85/539.09 c 538s | 20 | 3310057 | 775127 | 27928 60 | 238 | 576 541.74/541.98 c 541s | 20 | 3313924 | 776027 | 27928 60 | 238 | 576 544.64/544.83 c 544s | 20 | 3315155 | 776327 | 27928 60 | 238 | 576 546.64/546.88 c 546s | 20 | 3321009 | 777827 | 27928 60 | 238 | 576 548.63/548.89 c 548s | 20 | 3332656 | 781027 | 27928 61 | 238 | 576 550.73/550.96 c 550s | 20 | 3346474 | 784427 | 27928 61 | 238 | 576 552.73/552.98 c 552s | 20 | 3357669 | 787527 | 27928 61 | 238 | 576 554.83/555.00 c 554s | 20 | 3369207 | 790227 | 27928 61 | 238 | 576 556.83/557.04 c 556s | 20 | 3384450 | 793527 | 27928 61 | 238 | 576 558.83/559.06 c 558s | 20 | 3397586 | 796227 | 27928 62 | 238 | 576 560.84/561.07 c 560s | 20 | 3414536 | 800027 | 27928 62 | 238 | 576 562.93/563.15 c 562s | 20 | 3427318 | 803027 | 27928 62 | 238 | 576 570.53/570.71 c 570s | 20 | 3430293 | 804027 | 27928 62 | 238 | 576 572.53/572.79 c 572s | 20 | 3440480 | 806727 | 27928 62 | 238 | 576 574.73/574.91 c 574s | 20 | 3450158 | 809127 | 27928 62 | 238 | 576 576.73/576.95 c 576s | 20 | 3459783 | 811527 | 27928 63 | 238 | 576 578.73/578.97 c 578s | 20 | 3465807 | 813127 | 27928 63 | 238 | 576 580.74/580.99 c 580s | 20 | 3476129 | 815627 | 27928 63 | 238 | 576 582.73/583.00 c 582s | 20 | 3485366 | 818427 | 27928 63 | 238 | 576 584.83/585.04 c 584s | 20 | 3495300 | 820727 | 27928 63 | 238 | 576 586.93/587.11 c 586s | 20 | 3507934 | 823427 | 27928 63 | 238 | 576 588.92/589.16 c 588s | 20 | 3516810 | 825727 | 27928 63 | 238 | 576 590.92/591.17 c 590s | 20 | 3528581 | 828627 | 27928 64 | 238 | 576 593.02/593.21 c 592s | 20 | 3540880 | 831827 | 27928 64 | 238 | 576 595.03/595.23 c 594s | 20 | 3550265 | 833727 | 27928 64 | 238 | 576 597.12/597.31 c 596s | 20 | 3561770 | 836227 | 27928 64 | 238 | 576 599.12/599.37 c 598s | 20 | 3571855 | 838527 | 27928 64 | 238 | 576 601.12/601.38 c 600s | 20 | 3585131 | 841427 | 27928 64 | 238 | 576 603.22/603.43 c 602s | 20 | 3599347 | 845027 | 27928 65 | 238 | 576 605.21/605.47 c 604s | 20 | 3618438 | 848327 | 27928 65 | 238 | 576 607.51/607.73 c 607s | 20 | 3629628 | 850827 | 27928 65 | 238 | 576 609.52/609.79 c 609s | 20 | 3643074 | 853527 | 27928 65 | 238 | 576 611.62/611.84 c 611s | 20 | 3659478 | 856827 | 27928 65 | 238 | 576 613.63/613.88 c 613s | 20 | 3673978 | 860127 | 27928 66 | 238 | 576 615.72/615.91 c 615s | 20 | 3685423 | 862927 | 27928 66 | 238 | 576 617.71/617.94 c 617s | 20 | 3694606 | 865427 | 27928 66 | 238 | 576 619.71/619.95 c 619s | 20 | 3704797 | 867727 | 27928 66 | 238 | 576 621.71/621.97 c 621s | 20 | 3715341 | 870327 | 27928 66 | 238 | 576 623.81/624.03 c 623s | 20 | 3726165 | 872827 | 27928 67 | 238 | 576 625.82/626.07 c 625s | 20 | 3734668 | 874827 | 27928 67 | 238 | 576 627.81/628.08 c 627s | 20 | 3748382 | 877927 | 27928 67 | 238 | 576 629.81/630.09 c 629s | 20 | 3761712 | 880827 | 27928 67 | 238 | 576 631.91/632.18 c 631s | 20 | 3775400 | 884527 | 27928 67 | 238 | 576 633.91/634.18 c 633s | 20 | 3785069 | 887127 | 27928 67 | 238 | 576 636.01/636.20 c 635s | 20 | 3796237 | 889727 | 27928 68 | 238 | 576 638.01/638.22 c 637s | 20 | 3807090 | 892527 | 27928 68 | 238 | 576 640.01/640.24 c 639s | 20 | 3816294 | 895427 | 27928 68 | 238 | 576 642.01/642.29 c 641s | 20 | 3829195 | 898227 | 27928 68 | 238 | 576 644.20/644.42 c 643s | 20 | 3838120 | 900827 | 27928 68 | 238 | 576 646.20/646.45 c 645s | 20 | 3849582 | 903327 | 27928 68 | 238 | 576 648.30/648.52 c 647s | 20 | 3865345 | 906427 | 27928 69 | 238 | 576 650.30/650.55 c 649s | 20 | 3876370 | 909027 | 27928 69 | 238 | 576 652.90/653.14 c 652s | 20 | 3883769 | 911527 | 27928 69 | 238 | 576 654.90/655.18 c 654s | 20 | 3895190 | 914427 | 27928 69 | 238 | 576 657.00/657.20 c 656s | 20 | 3905934 | 917327 | 27928 69 | 238 | 576 659.00/659.29 c 658s | 20 | 3915058 | 919527 | 27928 70 | 238 | 576 661.10/661.33 c 660s | 20 | 3930219 | 923127 | 27928 70 | 238 | 576 663.10/663.35 c 662s | 20 | 3944130 | 926327 | 27928 70 | 238 | 576 665.09/665.37 c 664s | 20 | 3958151 | 929227 | 27928 70 | 238 | 576 667.19/667.41 c 666s | 20 | 3972142 | 932827 | 27928 70 | 238 | 576 669.19/669.46 c 668s | 20 | 3982000 | 935427 | 27928 71 | 238 | 576 671.60/671.87 c 671s | 20 | 3989215 | 937327 | 27928 71 | 238 | 576 673.70/673.91 c 673s | 20 | 3999016 | 940027 | 27928 71 | 238 | 576 675.70/675.91 c 675s | 20 | 4011362 | 942727 | 27928 71 | 238 | 576 678.10/678.30 c 677s | 20 | 4021790 | 945527 | 27928 71 | 238 | 576 680.10/680.31 c 679s | 20 | 4030246 | 947827 | 27928 71 | 238 | 576 682.10/682.35 c 681s | 20 | 4040113 | 950327 | 27928 71 | 238 | 576 684.10/684.37 c 683s | 20 | 4050270 | 952627 | 27928 72 | 238 | 576 686.20/686.40 c 685s | 20 | 4064512 | 956027 | 27928 72 | 238 | 576 688.19/688.43 c 687s | 20 | 4078226 | 959527 | 27928 72 | 238 | 576 690.19/690.47 c 689s | 20 | 4093367 | 963227 | 27928 72 | 238 | 576 692.29/692.52 c 691s | 20 | 4104879 | 966027 | 27928 72 | 238 | 576 694.49/694.74 c 694s | 20 | 4116955 | 968527 | 27928 73 | 238 | 576 696.49/696.78 c 696s | 20 | 4128497 | 971227 | 27928 73 | 238 | 576 698.58/698.82 c 698s | 20 | 4140472 | 974327 | 27928 73 | 238 | 576 700.59/700.83 c 700s | 20 | 4154456 | 977327 | 27928 73 | 238 | 576 702.58/702.88 c 702s | 20 | 4167031 | 980227 | 27928 73 | 238 | 576 704.68/704.93 c 704s | 20 | 4181453 | 983827 | 27928 74 | 238 | 576 706.68/706.94 c 706s | 20 | 4191244 | 986527 | 27928 74 | 238 | 576 708.68/708.99 c 708s | 20 | 4200061 | 989127 | 27928 74 | 238 | 576 710.78/711.02 c 710s | 20 | 4210403 | 992027 | 27928 74 | 238 | 576 712.78/713.06 c 712s | 20 | 4220761 | 994627 | 30721 74 | 238 | 576 714.78/715.08 c 714s | 20 | 4231751 | 997527 | 30721 74 | 238 | 576 717.68/717.91 c 717s | 20 | 4235497 | 998627 | 30721 74 | 238 | 576 721.18/721.41 c 720s | 20 | 4236427 | 998827 | 30721 74 | 238 | 576 723.18/723.47 c 722s | 20 | 4238980 | 999527 | 30721 74 | 238 | 576 724.58/724.82 c 724s | 21 | 4242133 | 1000345 | 30721 75 | 238 | 576 726.57/726.88 c 726s | 21 | 4255480 | 1002545 | 30721 75 | 238 | 576 729.77/730.06 c 729s | 21 | 4265483 | 1005145 | 30721 75 | 238 | 576 731.87/732.10 c 731s | 21 | 4280615 | 1008445 | 30721 75 | 238 | 576 734.38/734.68 c 734s | 21 | 4290574 | 1010845 | 30721 75 | 238 | 576 736.48/736.70 c 736s | 21 | 4302356 | 1013545 | 30721 75 | 238 | 576 738.48/738.78 c 738s | 21 | 4312559 | 1015945 | 30721 75 | 238 | 576 740.58/740.82 c 740s | 21 | 4324240 | 1018345 | 30721 76 | 238 | 576 742.58/742.87 c 742s | 21 | 4340214 | 1021645 | 30721 76 | 238 | 576 744.68/744.90 c 744s | 21 | 4356713 | 1025345 | 30721 76 | 238 | 576 746.68/746.92 c 746s | 21 | 4372429 | 1028845 | 30721 76 | 238 | 576 752.77/753.08 c 752s | 21 | 4378717 | 1030345 | 30721 76 | 238 | 576 754.77/755.10 c 754s | 21 | 4387745 | 1032845 | 30721 76 | 238 | 576 756.87/757.13 c 756s | 21 | 4397248 | 1035345 | 30721 77 | 238 | 576 758.88/759.17 c 758s | 21 | 4413561 | 1039745 | 30721 77 | 238 | 576 760.87/761.17 c 760s | 21 | 4423076 | 1041745 | 30721 77 | 238 | 576 762.87/763.19 c 762s | 21 | 4440127 | 1045045 | 30721 77 | 238 | 576 764.97/765.25 c 764s | 21 | 4452651 | 1047545 | 30721 77 | 238 | 576 767.07/767.31 c 766s | 21 | 4466088 | 1050545 | 30721 77 | 238 | 576 769.07/769.39 c 768s | 21 | 4478191 | 1053245 | 30721 78 | 238 | 576 771.17/771.41 c 770s | 21 | 4494988 | 1056845 | 30721 78 | 238 | 576 773.18/773.45 c 772s | 21 | 4509401 | 1060245 | 30721 78 | 238 | 576 775.17/775.50 c 774s | 21 | 4521237 | 1062845 | 30721 78 | 238 | 576 777.27/777.56 c 776s | 21 | 4531209 | 1065945 | 30721 78 | 238 | 576 779.26/779.57 c 778s | 21 | 4541155 | 1069045 | 30721 79 | 238 | 576 781.36/781.65 c 781s | 21 | 4549623 | 1071945 | 30721 79 | 238 | 576 783.76/784.03 c 783s | 21 | 4560993 | 1075045 | 30721 79 | 238 | 576 785.76/786.08 c 785s | 21 | 4569874 | 1077945 | 30721 79 | 238 | 576 787.86/788.12 c 787s | 21 | 4584886 | 1081345 | 30721 79 | 238 | 576 789.86/790.16 c 789s | 21 | 4597648 | 1084645 | 30721 79 | 238 | 576 791.96/792.22 c 791s | 21 | 4609382 | 1088145 | 30721 80 | 238 | 576 793.97/794.26 c 793s | 21 | 4618150 | 1090645 | 30721 80 | 238 | 576 795.96/796.27 c 795s | 21 | 4628621 | 1093945 | 30721 80 | 238 | 576 798.06/798.34 c 797s | 21 | 4638268 | 1096845 | 30721 80 | 238 | 576 800.16/800.43 c 799s | 21 | 4650341 | 1100145 | 30721 80 | 238 | 576 803.45/803.78 c 803s | 21 | 4656953 | 1101745 | 30721 80 | 238 | 576 806.16/806.49 c 805s | 21 | 4667041 | 1103745 | 30721 81 | 238 | 576 811.66/811.93 c 811s | 21 | 4673739 | 1105445 | 30721 81 | 238 | 576 813.66/813.96 c 813s | 21 | 4686876 | 1108545 | 30721 81 | 238 | 576 815.66/815.99 c 815s | 21 | 4693800 | 1110245 | 30721 81 | 238 | 576 817.75/818.01 c 817s | 21 | 4705459 | 1113345 | 30721 81 | 238 | 576 819.75/820.06 c 819s | 21 | 4719784 | 1116445 | 30721 81 | 238 | 576 821.85/822.11 c 821s | 21 | 4730435 | 1119145 | 30721 82 | 238 | 576 823.85/824.16 c 823s | 21 | 4742666 | 1122045 | 30721 82 | 238 | 576 825.86/826.20 c 825s | 21 | 4754968 | 1125145 | 30721 82 | 238 | 576 827.95/828.28 c 827s | 21 | 4766363 | 1127945 | 30721 82 | 238 | 576 829.95/830.29 c 829s | 21 | 4775639 | 1130045 | 30721 82 | 238 | 576 832.05/832.34 c 831s | 21 | 4784550 | 1132245 | 30721 82 | 238 | 576 834.15/834.42 c 833s | 21 | 4794022 | 1134345 | 30721 82 | 238 | 576 836.15/836.43 c 835s | 21 | 4806873 | 1136745 | 30721 83 | 238 | 576 838.15/838.44 c 837s | 21 | 4821758 | 1140145 | 30721 83 | 238 | 576 840.15/840.45 c 839s | 21 | 4836511 | 1143545 | 30721 83 | 238 | 576 842.15/842.46 c 841s | 21 | 4852628 | 1147345 | 30721 83 | 238 | 576 844.14/844.47 c 843s | 21 | 4869039 | 1150845 | 30721 83 | 238 | 576 846.14/846.48 c 845s | 21 | 4884025 | 1154145 | 30721 84 | 238 | 576 848.14/848.49 c 847s | 21 | 4904126 | 1158045 | 30721 84 | 238 | 576 851.94/852.27 c 851s | 21 | 4918706 | 1160945 | 30721 84 | 238 | 576 853.94/854.27 c 853s | 21 | 4925154 | 1162245 | 30721 84 | 238 | 576 856.04/856.34 c 855s | 21 | 4932958 | 1163945 | 30721 84 | 238 | 576 858.04/858.38 c 857s | 21 | 4946186 | 1166345 | 30721 84 | 238 | 576 860.14/860.42 c 859s | 21 | 4959712 | 1169345 | 30721 84 | 238 | 576 862.15/862.47 c 861s | 21 | 4970001 | 1171845 | 30721 85 | 238 | 576 865.74/866.04 c 865s | 21 | 4979062 | 1173845 | 30721 85 | 238 | 576 867.75/868.04 c 867s | 21 | 4989161 | 1176445 | 30721 85 | 238 | 576 869.74/870.07 c 869s | 21 | 5003487 | 1179145 | 30721 85 | 238 | 576 871.74/872.08 c 871s | 21 | 5016033 | 1181845 | 30721 85 | 238 | 576 873.84/874.13 c 873s | 21 | 5028825 | 1184645 | 30721 85 | 238 | 576 875.94/876.26 c 875s | 21 | 5038684 | 1186945 | 30721 86 | 238 | 576 877.94/878.29 c 877s | 21 | 5042125 | 1187745 | 30721 86 | 238 | 576 880.03/880.38 c 879s | 21 | 5048052 | 1189445 | 30721 86 | 238 | 576 882.04/882.38 c 881s | 21 | 5059546 | 1192545 | 30721 86 | 238 | 576 884.03/884.40 c 883s | 21 | 5071373 | 1195545 | 30721 86 | 238 | 576 886.13/886.47 c 885s | 21 | 5082869 | 1197845 | 30721 86 | 238 | 576 888.13/888.48 c 887s | 21 | 5093126 | 1200045 | 30721 86 | 238 | 576 890.23/890.51 c 889s | 21 | 5105971 | 1202245 | 30721 86 | 238 | 576 892.23/892.56 c 891s | 21 | 5116880 | 1204945 | 30721 87 | 238 | 576 894.33/894.60 c 893s | 21 | 5128525 | 1207445 | 30721 87 | 238 | 576 896.34/896.64 c 896s | 21 | 5139246 | 1209845 | 30721 87 | 238 | 576 898.44/898.72 c 898s | 21 | 5156369 | 1212245 | 30721 87 | 238 | 576 900.53/900.81 c 900s | 21 | 5178270 | 1214845 | 30721 87 | 238 | 576 902.53/902.87 c 902s | 21 | 5197776 | 1217345 | 30721 87 | 238 | 576 904.53/904.89 c 904s | 21 | 5210239 | 1219845 | 30721 87 | 238 | 576 906.63/906.91 c 906s | 21 | 5218480 | 1221945 | 30721 88 | 238 | 576 908.63/908.95 c 908s | 21 | 5228194 | 1224345 | 30721 88 | 238 | 576 910.63/910.97 c 910s | 21 | 5237043 | 1226645 | 30721 88 | 238 | 576 912.73/913.04 c 912s | 21 | 5249521 | 1229345 | 30721 88 | 238 | 576 914.83/915.10 c 914s | 21 | 5260503 | 1231745 | 30721 88 | 238 | 576 916.84/917.15 c 916s | 21 | 5270171 | 1234145 | 30721 88 | 238 | 576 918.94/919.21 c 918s | 21 | 5280415 | 1236745 | 30721 88 | 238 | 576 920.94/921.22 c 920s | 21 | 5293452 | 1239545 | 30721 89 | 238 | 576 923.23/923.53 c 922s | 21 | 5305409 | 1242145 | 30721 89 | 238 | 576 925.33/925.63 c 924s | 21 | 5314369 | 1244045 | 30721 89 | 238 | 576 927.33/927.69 c 927s | 21 | 5324838 | 1246345 | 30721 89 | 238 | 576 929.43/929.75 c 929s | 21 | 5335065 | 1248945 | 30721 89 | 238 | 576 931.44/931.78 c 931s | 21 | 5346012 | 1251245 | 30721 89 | 238 | 576 933.53/933.82 c 933s | 21 | 5358977 | 1254045 | 30721 89 | 238 | 576 936.23/936.51 c 935s | 21 | 5367345 | 1255845 | 30721 90 | 238 | 576 938.23/938.51 c 937s | 21 | 5383398 | 1259445 | 30721 90 | 238 | 576 940.24/940.56 c 939s | 21 | 5399915 | 1262945 | 30721 90 | 238 | 576 942.23/942.57 c 941s | 21 | 5415424 | 1266245 | 30721 90 | 238 | 576 944.33/944.62 c 943s | 21 | 5427818 | 1268845 | 30721 90 | 238 | 576 946.33/946.68 c 946s | 21 | 5441072 | 1271545 | 30721 90 | 238 | 576 948.33/948.69 c 948s | 21 | 5453172 | 1274145 | 30721 91 | 238 | 576 950.43/950.76 c 950s | 21 | 5466080 | 1277445 | 30721 91 | 238 | 576 952.43/952.78 c 952s | 21 | 5474646 | 1279745 | 30721 91 | 238 | 576 954.53/954.82 c 954s | 21 | 5485583 | 1282145 | 30721 91 | 238 | 576 956.62/956.92 c 956s | 21 | 5497241 | 1284845 | 30721 91 | 238 | 576 958.72/959.00 c 958s | 21 | 5506591 | 1286845 | 30721 91 | 238 | 576 960.72/961.06 c 960s | 21 | 5518391 | 1289345 | 30721 92 | 238 | 576 962.72/963.09 c 962s | 21 | 5531650 | 1292245 | 30721 92 | 238 | 576 964.82/965.15 c 964s | 21 | 5542941 | 1294545 | 30721 92 | 238 | 576 966.82/967.18 c 966s | 21 | 5556162 | 1297445 | 30721 92 | 238 | 576 968.93/969.21 c 968s | 21 | 5567169 | 1300245 | 30721 92 | 238 | 576 973.13/973.47 c 972s | 21 | 5573212 | 1301545 | 30721 92 | 238 | 576 975.22/975.53 c 974s | 21 | 5577487 | 1302445 | 30721 92 | 238 | 576 978.32/978.66 c 978s | 21 | 5583476 | 1303745 | 30721 92 | 238 | 576 980.42/980.75 c 980s | 21 | 5588339 | 1305045 | 30721 92 | 238 | 576 982.62/982.94 c 982s | 21 | 5599336 | 1306645 | 30721 93 | 238 | 576 984.72/985.02 c 984s | 21 | 5609874 | 1309045 | 30721 93 | 238 | 576 986.72/987.07 c 986s | 21 | 5621447 | 1311245 | 30721 93 | 238 | 576 988.82/989.18 c 988s | 21 | 5628669 | 1312945 | 30721 93 | 238 | 576 995.01/995.37 c 994s | 21 | 5638054 | 1315045 | 30721 93 | 238 | 576 997.11/997.47 c 996s | 21 | 5645114 | 1317145 | 30721 93 | 238 | 576 999.21/999.52 c 998s | 21 | 5654541 | 1319445 | 30721 93 | 238 | 576 1001.21/1001.53 c 1000s | 21 | 5663668 | 1321745 | 30721 93 | 238 | 576 1003.21/1003.56 c 1002s | 21 | 5674735 | 1324945 | 30721 94 | 238 | 576 1006.82/1007.18 c 1006s | 21 | 5682179 | 1326445 | 30721 94 | 238 | 576 1008.92/1009.26 c 1008s | 21 | 5699246 | 1329945 | 30721 94 | 238 | 576 1011.02/1011.31 c 1010s | 21 | 5706128 | 1331745 | 30721 94 | 238 | 576 1013.02/1013.32 c 1012s | 21 | 5717633 | 1334545 | 30721 94 | 238 | 576 1015.02/1015.32 c 1014s | 21 | 5727576 | 1336945 | 30721 94 | 238 | 576 1017.22/1017.56 c 1016s | 21 | 5736581 | 1339745 | 30721 95 | 238 | 576 1019.31/1019.65 c 1019s | 21 | 5742989 | 1340845 | 30721 95 | 238 | 576 1021.41/1021.72 c 1021s | 21 | 5754765 | 1342945 | 30721 95 | 238 | 576 1023.41/1023.75 c 1023s | 21 | 5766143 | 1345245 | 30721 95 | 238 | 576 1025.41/1025.77 c 1025s | 21 | 5779075 | 1347845 | 30721 95 | 238 | 576 1027.41/1027.78 c 1027s | 21 | 5790606 | 1350445 | 30721 95 | 238 | 576 1029.51/1029.83 c 1029s | 21 | 5807324 | 1353445 | 30721 95 | 238 | 576 1031.62/1031.91 c 1031s | 21 | 5819852 | 1356045 | 30721 95 | 238 | 576 1033.61/1033.92 c 1033s | 21 | 5832841 | 1358945 | 30721 96 | 238 | 576 1035.61/1035.93 c 1035s | 21 | 5850627 | 1362445 | 30721 96 | 238 | 576 1037.61/1037.94 c 1037s | 21 | 5864297 | 1365345 | 30721 96 | 238 | 576 1039.61/1039.95 c 1039s | 21 | 5882774 | 1368345 | 30721 96 | 238 | 576 1041.71/1042.02 c 1041s | 21 | 5895963 | 1371145 | 30721 96 | 238 | 576 1043.72/1044.05 c 1043s | 21 | 5906098 | 1373245 | 30721 96 | 238 | 576 1045.72/1046.07 c 1045s | 21 | 5920178 | 1376445 | 30721 97 | 238 | 576 1047.81/1048.12 c 1047s | 21 | 5935958 | 1379645 | 30721 97 | 238 | 576 1050.11/1050.47 c 1049s | 21 | 5941048 | 1380645 | 30721 97 | 238 | 576 1052.21/1052.51 c 1051s | 21 | 5951604 | 1382845 | 30721 97 | 238 | 576 1054.31/1054.60 c 1053s | 21 | 5961396 | 1384645 | 30721 97 | 238 | 576 1056.31/1056.68 c 1056s | 21 | 5971192 | 1387045 | 30721 97 | 238 | 576 1058.41/1058.70 c 1058s | 21 | 5982664 | 1389345 | 30721 97 | 238 | 576 1060.41/1060.70 c 1060s | 21 | 5996770 | 1392045 | 30721 98 | 238 | 576 1062.91/1063.28 c 1062s | 21 | 6005162 | 1393845 | 30721 98 | 238 | 576 1065.01/1065.30 c 1064s | 21 | 6014696 | 1396545 | 30721 98 | 238 | 576 1067.00/1067.39 c 1066s | 21 | 6025459 | 1399145 | 30721 98 | 238 | 576 1069.10/1069.47 c 1068s | 21 | 6036605 | 1401545 | 30721 98 | 238 | 576 1071.21/1071.51 c 1070s | 21 | 6047139 | 1403945 | 30721 98 | 238 | 576 1073.20/1073.57 c 1072s | 21 | 6057018 | 1406045 | 30721 98 | 238 | 576 1075.30/1075.68 c 1075s | 21 | 6070992 | 1408145 | 30721 99 | 238 | 576 1077.40/1077.70 c 1077s | 21 | 6085466 | 1410945 | 30721 99 | 238 | 576 1079.40/1079.78 c 1079s | 21 | 6098071 | 1413745 | 30721 99 | 238 | 576 1083.41/1083.72 c 1083s | 21 | 6107332 | 1415745 | 30721 99 | 238 | 576 1085.42/1085.77 c 1085s | 21 | 6118458 | 1417845 | 30721 99 | 238 | 576 1087.41/1087.78 c 1087s | 21 | 6122981 | 1418645 | 30721 99 | 238 | 576 1089.51/1089.87 c 1089s | 21 | 6132493 | 1420845 | 30721 99 | 238 | 576 1091.61/1091.97 c 1091s | 21 | 6142509 | 1423045 | 30721 99 | 238 | 576 1093.71/1094.05 c 1093s | 21 | 6151512 | 1424845 | 30721 100 | 238 | 576 1096.80/1097.18 c 1096s | 21 | 6162742 | 1427545 | 30721 100 | 238 | 576 1098.90/1099.21 c 1098s | 21 | 6171680 | 1429545 | 30721 100 | 238 | 576 1100.91/1101.24 c 1100s | 21 | 6182789 | 1433045 | 30721 100 | 238 | 576 1102.90/1103.25 c 1102s | 21 | 6194831 | 1435845 | 30721 100 | 238 | 576 1104.90/1105.28 c 1104s | 21 | 6206124 | 1438245 | 30721 100 | 238 | 576 1107.20/1107.51 c 1106s | 21 | 6215312 | 1440345 | 30721 100 | 238 | 576 1109.50/1109.83 c 1109s | 21 | 6221573 | 1441645 | 30721 101 | 238 | 576 1111.50/1111.87 c 1111s | 21 | 6237085 | 1445645 | 30721 101 | 238 | 576 1113.51/1113.89 c 1113s | 21 | 6250830 | 1448645 | 30721 101 | 238 | 576 1115.61/1115.96 c 1115s | 21 | 6264724 | 1451445 | 30721 101 | 238 | 576 1117.71/1118.02 c 1117s | 21 | 6275992 | 1454045 | 30721 101 | 238 | 576 1119.70/1120.09 c 1119s | 21 | 6288999 | 1456545 | 30721 101 | 238 | 576 1121.81/1122.14 c 1121s | 21 | 6305406 | 1459645 | 30721 102 | 238 | 576 1123.80/1124.17 c 1123s | 21 | 6314415 | 1462045 | 30721 102 | 238 | 576 1125.80/1126.19 c 1125s | 21 | 6327108 | 1465345 | 30721 102 | 238 | 576 1127.90/1128.24 c 1127s | 21 | 6337468 | 1468045 | 30721 102 | 238 | 576 1129.90/1130.24 c 1129s | 21 | 6351377 | 1471245 | 30721 102 | 238 | 576 1131.90/1132.27 c 1131s | 21 | 6365345 | 1474145 | 30721 102 | 238 | 576 1134.00/1134.32 c 1133s | 21 | 6379039 | 1476845 | 30721 103 | 238 | 576 1136.01/1136.35 c 1135s | 21 | 6391944 | 1480145 | 30721 103 | 238 | 576 1138.10/1138.43 c 1137s | 21 | 6399433 | 1482345 | 30721 103 | 238 | 576 1140.10/1140.43 c 1139s | 21 | 6407296 | 1484645 | 30721 103 | 238 | 576 1142.20/1142.50 c 1141s | 21 | 6417019 | 1487445 | 30721 103 | 238 | 576 1144.20/1144.51 c 1143s | 21 | 6427170 | 1489745 | 33794 103 | 238 | 576 1146.30/1146.61 c 1145s | 21 | 6437333 | 1492045 | 33794 103 | 238 | 576 1148.30/1148.65 c 1148s | 21 | 6447618 | 1494245 | 33794 103 | 238 | 576 1151.10/1151.45 c 1150s | 21 | 6455273 | 1496745 | 33794 104 | 238 | 576 1153.20/1153.50 c 1152s | 21 | 6459976 | 1498145 | 33794 104 | 238 | 576 1155.00/1155.35 c 1154s | 22 | 6472018 | 1500622 | 33794 104 | 238 | 576 1157.20/1157.53 c 1156s | 22 | 6487026 | 1503422 | 33794 104 | 238 | 576 1159.20/1159.55 c 1158s | 22 | 6492377 | 1504822 | 33794 104 | 238 | 576 1161.30/1161.64 c 1161s | 22 | 6503628 | 1507522 | 33794 104 | 238 | 576 1163.29/1163.68 c 1163s | 22 | 6514482 | 1510122 | 33794 104 | 238 | 576 1165.39/1165.71 c 1165s | 22 | 6526642 | 1513622 | 33794 104 | 238 | 576 1167.79/1168.13 c 1167s | 22 | 6528924 | 1514122 | 33794 105 | 238 | 576 1169.79/1170.18 c 1169s | 22 | 6540673 | 1517022 | 33794 105 | 238 | 576 1171.90/1172.20 c 1171s | 22 | 6547948 | 1518722 | 33794 105 | 238 | 576 1173.90/1174.22 c 1173s | 22 | 6559978 | 1521822 | 33794 105 | 238 | 576 1175.90/1176.27 c 1175s | 22 | 6573134 | 1525022 | 33794 105 | 238 | 576 1181.59/1181.93 c 1181s | 22 | 6581441 | 1526922 | 33794 105 | 238 | 576 1183.59/1183.93 c 1183s | 22 | 6587701 | 1529222 | 33794 105 | 238 | 576 1185.69/1186.00 c 1185s | 22 | 6594033 | 1531422 | 33794 105 | 238 | 576 1187.70/1188.02 c 1187s | 22 | 6600135 | 1533522 | 33794 106 | 238 | 576 1189.69/1190.03 c 1189s | 22 | 6611968 | 1536622 | 33794 106 | 238 | 576 1191.69/1192.07 c 1191s | 22 | 6627016 | 1540422 | 33794 106 | 238 | 576 1193.79/1194.13 c 1193s | 22 | 6638246 | 1543822 | 33794 106 | 238 | 576 1195.79/1196.15 c 1195s | 22 | 6648144 | 1546922 | 33794 106 | 238 | 576 1197.79/1198.19 c 1197s | 22 | 6661750 | 1550122 | 33794 106 | 238 | 576 1199.79/1200.20 c 1199s | 22 | 6673647 | 1552822 | 33794 107 | 238 | 576 1201.89/1202.20 c 1201s | 22 | 6686173 | 1555722 | 33794 107 | 238 | 576 1203.89/1204.26 c 1203s | 22 | 6703452 | 1559722 | 33794 107 | 238 | 576 1205.89/1206.28 c 1205s | 22 | 6714444 | 1562922 | 33794 107 | 238 | 576 1207.89/1208.28 c 1207s | 22 | 6727846 | 1566222 | 33794 107 | 238 | 576 1209.99/1210.30 c 1209s | 22 | 6739137 | 1569422 | 33794 107 | 238 | 576 1212.08/1212.40 c 1211s | 22 | 6752637 | 1572922 | 33794 108 | 238 | 576 1214.09/1214.48 c 1213s | 22 | 6759185 | 1574422 | 33794 108 | 238 | 576 1216.18/1216.56 c 1215s | 22 | 6770059 | 1577022 | 33794 108 | 238 | 576 1218.28/1218.60 c 1217s | 22 | 6781179 | 1579622 | 33794 108 | 238 | 576 1220.28/1220.67 c 1220s | 22 | 6791695 | 1582022 | 33794 108 | 238 | 576 1222.38/1222.74 c 1222s | 22 | 6803654 | 1584922 | 33794 108 | 238 | 576 1224.38/1224.78 c 1224s | 22 | 6813103 | 1587622 | 33794 108 | 238 | 576 1226.48/1226.85 c 1226s | 22 | 6822399 | 1590122 | 33794 109 | 238 | 576 1228.49/1228.89 c 1228s | 22 | 6837226 | 1593422 | 33794 109 | 238 | 576 1230.59/1230.91 c 1230s | 22 | 6850930 | 1596722 | 33794 109 | 238 | 576 1232.58/1232.96 c 1232s | 22 | 6861375 | 1599322 | 33794 109 | 238 | 576 1234.58/1234.99 c 1234s | 22 | 6872104 | 1601722 | 33794 109 | 238 | 576 1237.19/1237.53 c 1236s | 22 | 6873791 | 1602122 | 33794 109 | 238 | 576 1239.28/1239.60 c 1238s | 22 | 6879426 | 1603222 | 33794 109 | 238 | 576 1241.28/1241.61 c 1240s | 22 | 6887459 | 1605422 | 33794 109 | 238 | 576 1243.48/1243.86 c 1243s | 22 | 6896260 | 1607322 | 33794 110 | 238 | 576 1245.48/1245.87 c 1245s | 22 | 6900114 | 1608522 | 33794 110 | 238 | 576 1247.58/1247.91 c 1247s | 22 | 6912325 | 1611522 | 33794 110 | 238 | 576 1249.58/1249.93 c 1249s | 22 | 6924037 | 1614722 | 33794 110 | 238 | 576 1251.59/1251.98 c 1251s | 22 | 6937667 | 1618022 | 33794 110 | 238 | 576 1254.08/1254.40 c 1253s | 22 | 6945373 | 1620022 | 33794 110 | 238 | 576 1256.18/1256.55 c 1255s | 22 | 6945785 | 1620122 | 33794 110 | 238 | 576 1260.78/1261.18 c 1260s | 22 | 6953357 | 1621822 | 33794 110 | 238 | 576 1262.88/1263.23 c 1262s | 22 | 6963018 | 1624422 | 33794 110 | 238 | 576 1264.88/1265.28 c 1264s | 22 | 6972224 | 1626522 | 33794 111 | 238 | 576 1267.68/1268.02 c 1267s | 22 | 6984286 | 1629722 | 33794 111 | 238 | 576 1269.68/1270.07 c 1269s | 22 | 6997962 | 1633522 | 33794 111 | 238 | 576 1271.78/1272.10 c 1271s | 22 | 7012785 | 1637722 | 33794 111 | 238 | 576 1273.78/1274.11 c 1273s | 22 | 7027162 | 1641722 | 33794 111 | 238 | 576 1275.78/1276.12 c 1275s | 22 | 7035014 | 1644022 | 33794 112 | 238 | 576 1277.77/1278.17 c 1277s | 22 | 7048303 | 1647422 | 33794 112 | 238 | 576 1279.77/1280.19 c 1279s | 22 | 7061769 | 1651122 | 33794 112 | 238 | 576 1281.87/1282.20 c 1281s | 22 | 7071114 | 1653522 | 33794 112 | 238 | 576 1283.87/1284.21 c 1283s | 22 | 7080079 | 1655822 | 33794 112 | 238 | 576 1285.97/1286.31 c 1285s | 22 | 7091482 | 1658722 | 33794 112 | 238 | 576 1287.97/1288.36 c 1287s | 22 | 7102817 | 1661722 | 33794 112 | 238 | 576 1289.98/1290.38 c 1289s | 22 | 7115615 | 1664422 | 33794 113 | 238 | 576 1292.07/1292.45 c 1291s | 22 | 7124987 | 1666522 | 33794 113 | 238 | 576 1294.07/1294.49 c 1293s | 22 | 7133947 | 1669222 | 33794 113 | 238 | 576 1296.17/1296.51 c 1295s | 22 | 7142232 | 1671622 | 33794 113 | 238 | 576 1298.17/1298.56 c 1297s | 22 | 7152994 | 1674622 | 33794 113 | 238 | 576 1300.27/1300.63 c 1299s | 22 | 7160989 | 1677022 | 33794 113 | 238 | 576 1302.27/1302.64 c 1302s | 22 | 7169919 | 1679722 | 33794 113 | 238 | 576 1304.28/1304.67 c 1304s | 22 | 7176698 | 1681722 | 33794 114 | 238 | 576 1306.27/1306.67 c 1306s | 22 | 7187648 | 1684622 | 33794 114 | 238 | 576 1308.37/1308.72 c 1308s | 22 | 7195337 | 1686322 | 33794 114 | 238 | 576 1310.57/1310.99 c 1310s | 22 | 7200173 | 1687622 | 33794 114 | 238 | 576 1312.67/1313.03 c 1312s | 22 | 7213885 | 1691122 | 33794 114 | 238 | 576 1314.67/1315.06 c 1314s | 22 | 7225600 | 1694122 | 33794 114 | 238 | 576 1316.67/1317.06 c 1316s | 22 | 7236714 | 1696922 | 33794 114 | 238 | 576 1320.07/1320.41 c 1319s | 22 | 7244823 | 1698722 | 33794 114 | 238 | 576 1322.07/1322.42 c 1321s | 22 | 7248813 | 1699722 | 33794 115 | 238 | 576 1324.08/1324.44 c 1323s | 22 | 7261688 | 1702722 | 33794 115 | 238 | 576 1326.07/1326.49 c 1325s | 22 | 7272695 | 1705322 | 33794 115 | 238 | 576 1328.67/1329.03 c 1328s | 22 | 7279600 | 1707022 | 33794 115 | 238 | 576 1331.06/1331.42 c 1330s | 22 | 7293356 | 1710522 | 33794 115 | 238 | 576 1333.16/1333.54 c 1332s | 22 | 7304214 | 1713022 | 33794 115 | 238 | 576 1335.26/1335.60 c 1334s | 22 | 7313913 | 1715122 | 33794 115 | 238 | 576 1337.27/1337.65 c 1337s | 22 | 7324236 | 1717522 | 33794 115 | 238 | 576 1339.26/1339.69 c 1339s | 22 | 7339422 | 1720422 | 33794 116 | 238 | 576 1341.36/1341.74 c 1341s | 22 | 7352824 | 1723522 | 33794 116 | 238 | 576 1344.37/1344.75 c 1344s | 22 | 7364079 | 1726422 | 33794 116 | 238 | 576 1346.37/1346.78 c 1346s | 22 | 7372031 | 1728922 | 33794 116 | 238 | 576 1348.47/1348.80 c 1348s | 22 | 7383467 | 1732022 | 33794 116 | 238 | 576 1350.48/1350.81 c 1350s | 22 | 7396100 | 1735422 | 33794 116 | 238 | 576 1352.47/1352.84 c 1352s | 22 | 7408288 | 1738822 | 33794 117 | 238 | 576 1354.57/1354.96 c 1354s | 22 | 7417532 | 1741422 | 33794 117 | 238 | 576 1356.67/1357.03 c 1356s | 22 | 7428394 | 1744322 | 33794 117 | 238 | 576 1358.67/1359.08 c 1358s | 22 | 7436265 | 1746322 | 33794 117 | 238 | 576 1360.77/1361.11 c 1360s | 22 | 7445218 | 1749122 | 33794 117 | 238 | 576 1362.76/1363.12 c 1362s | 22 | 7457800 | 1752122 | 33794 117 | 238 | 576 1364.77/1365.19 c 1364s | 22 | 7466299 | 1754622 | 33794 117 | 238 | 576 1366.86/1367.22 c 1366s | 22 | 7474916 | 1757222 | 33794 118 | 238 | 576 1368.86/1369.23 c 1368s | 22 | 7481648 | 1759022 | 33794 118 | 238 | 576 1370.86/1371.25 c 1370s | 22 | 7489973 | 1761222 | 33794 118 | 238 | 576 1372.96/1373.35 c 1372s | 22 | 7499948 | 1763822 | 33794 118 | 238 | 576 1375.06/1375.41 c 1374s | 22 | 7508296 | 1766222 | 33794 118 | 238 | 576 1377.06/1377.48 c 1376s | 22 | 7518967 | 1768822 | 33794 118 | 238 | 576 1379.17/1379.53 c 1378s | 22 | 7530029 | 1771922 | 33794 118 | 238 | 576 1381.56/1381.91 c 1381s | 22 | 7536709 | 1773622 | 33794 119 | 238 | 576 1383.66/1384.04 c 1383s | 22 | 7548922 | 1776422 | 33794 119 | 238 | 576 1385.67/1386.07 c 1385s | 22 | 7559827 | 1779022 | 33794 119 | 238 | 576 1387.76/1388.11 c 1387s | 22 | 7572058 | 1781722 | 33794 119 | 238 | 576 1389.76/1390.17 c 1389s | 22 | 7583773 | 1784622 | 33794 119 | 238 | 576 1391.86/1392.22 c 1391s | 22 | 7596458 | 1787422 | 33794 119 | 238 | 576 1393.86/1394.29 c 1393s | 22 | 7607116 | 1789722 | 33794 119 | 238 | 576 1395.96/1396.30 c 1395s | 22 | 7615980 | 1792222 | 33794 120 | 238 | 576 1397.96/1398.33 c 1397s | 22 | 7631322 | 1795422 | 33794 120 | 238 | 576 1400.06/1400.43 c 1399s | 22 | 7645805 | 1798422 | 33794 120 | 238 | 576 1402.05/1402.50 c 1401s | 22 | 7657086 | 1800922 | 33794 120 | 238 | 576 1404.15/1404.54 c 1403s | 22 | 7667867 | 1803622 | 33794 120 | 238 | 576 1406.15/1406.59 c 1405s | 22 | 7678452 | 1806222 | 33794 120 | 238 | 576 1408.25/1408.63 c 1408s | 22 | 7688982 | 1808522 | 33794 120 | 238 | 576 1410.55/1410.99 c 1410s | 22 | 7698647 | 1810722 | 33794 121 | 238 | 576 1412.65/1413.02 c 1412s | 22 | 7713635 | 1814022 | 33794 121 | 238 | 576 1414.65/1415.05 c 1414s | 22 | 7725793 | 1816622 | 33794 121 | 238 | 576 1416.65/1417.07 c 1416s | 22 | 7735944 | 1819222 | 33794 121 | 238 | 576 1418.76/1419.13 c 1418s | 22 | 7748968 | 1822422 | 33794 121 | 238 | 576 1420.75/1421.16 c 1420s | 22 | 7761149 | 1825322 | 33794 121 | 238 | 576 1422.75/1423.16 c 1422s | 22 | 7771446 | 1827622 | 33794 121 | 238 | 576 1425.06/1425.50 c 1424s | 22 | 7782147 | 1830222 | 33794 122 | 238 | 576 1427.16/1427.55 c 1426s | 22 | 7793337 | 1833322 | 33794 122 | 238 | 576 1429.16/1429.57 c 1428s | 22 | 7805712 | 1836622 | 33794 122 | 238 | 576 1431.16/1431.59 c 1430s | 22 | 7816847 | 1839322 | 33794 122 | 238 | 576 1436.15/1436.60 c 1435s | 22 | 7822513 | 1840922 | 33794 122 | 238 | 576 1438.65/1439.09 c 1438s | 22 | 7827304 | 1841822 | 33794 122 | 238 | 576 1441.05/1441.41 c 1440s | 22 | 7832741 | 1843122 | 33794 122 | 238 | 576 1443.15/1443.51 c 1442s | 22 | 7839023 | 1844722 | 33794 122 | 238 | 576 1445.16/1445.54 c 1444s | 22 | 7845879 | 1846122 | 33794 122 | 238 | 576 1447.85/1448.22 c 1447s | 22 | 7851775 | 1847422 | 33794 122 | 238 | 576 1450.56/1450.94 c 1450s | 22 | 7853172 | 1847822 | 33794 123 | 238 | 576 1452.55/1452.95 c 1452s | 22 | 7862084 | 1850122 | 33794 123 | 238 | 576 1454.65/1455.00 c 1454s | 22 | 7875714 | 1853222 | 33794 123 | 238 | 576 1456.65/1457.05 c 1456s | 22 | 7889304 | 1856322 | 33794 123 | 238 | 576 1458.75/1459.12 c 1458s | 22 | 7902511 | 1859322 | 33794 123 | 238 | 576 1460.75/1461.17 c 1460s | 22 | 7915789 | 1862522 | 33794 123 | 238 | 576 1462.85/1463.21 c 1462s | 22 | 7928024 | 1865222 | 33794 123 | 238 | 576 1465.05/1465.46 c 1464s | 22 | 7937456 | 1867222 | 33794 124 | 238 | 576 1467.25/1467.63 c 1467s | 22 | 7943196 | 1868422 | 33794 124 | 238 | 576 1469.75/1470.17 c 1469s | 22 | 7948579 | 1870122 | 33794 124 | 238 | 576 1471.85/1472.21 c 1471s | 22 | 7958216 | 1872922 | 33794 124 | 238 | 576 1473.85/1474.24 c 1473s | 22 | 7969036 | 1875822 | 33794 124 | 238 | 576 1475.86/1476.24 c 1475s | 22 | 7978699 | 1878422 | 33794 124 | 238 | 576 1477.85/1478.28 c 1477s | 22 | 7991074 | 1881522 | 33794 124 | 238 | 576 1479.95/1480.32 c 1479s | 22 | 8000926 | 1884322 | 33794 124 | 238 | 576 1482.15/1482.53 c 1481s | 22 | 8011629 | 1887222 | 33794 125 | 238 | 576 1484.25/1484.60 c 1483s | 22 | 8024661 | 1890622 | 33794 125 | 238 | 576 1486.25/1486.65 c 1486s | 22 | 8034082 | 1893222 | 33794 125 | 238 | 576 1488.25/1488.69 c 1488s | 22 | 8046560 | 1896322 | 33794 125 | 238 | 576 1490.35/1490.72 c 1490s | 22 | 8059686 | 1899522 | 33794 125 | 238 | 576 1492.35/1492.76 c 1492s | 22 | 8071173 | 1902322 | 33794 125 | 238 | 576 1494.35/1494.79 c 1494s | 22 | 8079074 | 1904722 | 33794 126 | 238 | 576 1498.54/1498.94 c 1498s | 22 | 8085431 | 1906522 | 33794 126 | 238 | 576 1504.34/1504.76 c 1504s | 22 | 8092873 | 1908522 | 33794 126 | 238 | 576 1506.34/1506.77 c 1506s | 22 | 8105715 | 1911722 | 33794 126 | 238 | 576 1508.44/1508.83 c 1508s | 22 | 8117632 | 1915122 | 33794 126 | 238 | 576 1513.14/1513.55 c 1512s | 22 | 8119932 | 1915922 | 33794 126 | 238 | 576 1515.14/1515.55 c 1514s | 22 | 8130033 | 1918922 | 33794 126 | 238 | 576 1517.14/1517.58 c 1516s | 22 | 8138786 | 1921522 | 33794 126 | 238 | 576 1519.24/1519.61 c 1518s | 22 | 8147025 | 1924122 | 33794 127 | 238 | 576 1521.24/1521.64 c 1521s | 22 | 8157974 | 1927622 | 33794 127 | 238 | 576 1523.25/1523.66 c 1523s | 22 | 8168462 | 1931022 | 33794 127 | 238 | 576 1525.35/1525.71 c 1525s | 22 | 8178756 | 1934122 | 33794 127 | 238 | 576 1527.34/1527.72 c 1527s | 22 | 8188510 | 1937022 | 33794 127 | 238 | 576 1530.34/1530.76 c 1530s | 22 | 8197899 | 1939522 | 33794 127 | 238 | 576 1532.53/1532.94 c 1532s | 22 | 8206246 | 1941622 | 33794 128 | 238 | 576 1534.64/1535.00 c 1534s | 22 | 8220212 | 1945422 | 33794 128 | 238 | 576 1537.14/1537.50 c 1536s | 22 | 8222803 | 1946222 | 33794 128 | 238 | 576 1539.14/1539.54 c 1538s | 22 | 8234246 | 1949622 | 33794 128 | 238 | 576 1541.14/1541.57 c 1540s | 22 | 8244047 | 1952822 | 33794 128 | 238 | 576 1543.24/1543.63 c 1542s | 22 | 8254216 | 1955322 | 33794 128 | 238 | 576 1545.25/1545.65 c 1545s | 22 | 8265367 | 1958022 | 33794 128 | 238 | 576 1547.34/1547.72 c 1547s | 22 | 8274138 | 1960222 | 33794 129 | 238 | 576 1549.33/1549.75 c 1549s | 22 | 8286999 | 1963222 | 33794 129 | 238 | 576 1551.43/1551.82 c 1551s | 22 | 8298423 | 1966222 | 33794 129 | 238 | 576 1553.43/1553.88 c 1553s | 22 | 8308810 | 1969022 | 33794 129 | 238 | 576 1555.53/1555.93 c 1555s | 22 | 8322909 | 1972122 | 33794 129 | 238 | 576 1557.53/1557.97 c 1557s | 22 | 8337810 | 1975322 | 33794 129 | 238 | 576 1559.63/1560.01 c 1559s | 22 | 8348469 | 1978022 | 33794 130 | 238 | 576 1561.64/1562.04 c 1561s | 22 | 8360282 | 1980822 | 33794 130 | 238 | 576 1563.73/1564.10 c 1563s | 22 | 8369753 | 1983322 | 33794 130 | 238 | 576 1565.73/1566.14 c 1565s | 22 | 8379447 | 1985522 | 33794 130 | 238 | 576 1567.73/1568.15 c 1567s | 22 | 8388750 | 1987722 | 33794 130 | 238 | 576 1569.83/1570.20 c 1569s | 22 | 8397772 | 1989622 | 33794 130 | 238 | 576 1571.83/1572.23 c 1571s | 22 | 8407564 | 1991922 | 33794 130 | 238 | 576 1573.84/1574.25 c 1573s | 22 | 8416610 | 1993922 | 33794 130 | 238 | 576 1575.83/1576.27 c 1575s | 22 | 8426276 | 1995922 | 33794 131 | 238 | 576 1577.83/1578.28 c 1577s | 22 | 8439942 | 1999222 | 33794 131 | 238 | 576 1579.93/1580.39 c 1579s | 22 | 8453506 | 2002422 | 33794 131 | 238 | 576 1582.03/1582.46 c 1581s | 22 | 8462235 | 2004822 | 33794 131 | 238 | 576 1584.03/1584.47 c 1583s | 22 | 8475451 | 2007922 | 33794 131 | 238 | 576 1586.13/1586.51 c 1585s | 22 | 8488317 | 2011322 | 33794 131 | 238 | 576 1588.14/1588.53 c 1587s | 22 | 8500263 | 2014322 | 33794 132 | 238 | 576 1590.13/1590.55 c 1589s | 22 | 8515229 | 2017922 | 33794 132 | 238 | 576 1597.43/1597.83 c 1597s | 22 | 8516115 | 2018222 | 33794 132 | 238 | 576 1599.42/1599.85 c 1599s | 22 | 8524899 | 2020922 | 33794 132 | 238 | 576 1601.52/1601.95 c 1601s | 22 | 8533959 | 2023522 | 33794 132 | 238 | 576 1603.53/1603.95 c 1603s | 22 | 8545283 | 2026322 | 33794 132 | 238 | 576 1605.52/1605.99 c 1605s | 22 | 8559900 | 2029722 | 33794 132 | 238 | 576 1607.62/1608.00 c 1607s | 22 | 8570754 | 2032522 | 33794 132 | 238 | 576 1609.72/1610.17 c 1609s | 22 | 8573827 | 2033422 | 33794 133 | 238 | 576 1611.82/1612.20 c 1611s | 22 | 8583933 | 2035722 | 33794 133 | 238 | 576 1613.82/1614.24 c 1613s | 22 | 8595711 | 2038622 | 33794 133 | 238 | 576 1615.92/1616.32 c 1615s | 22 | 8607891 | 2041822 | 33794 133 | 238 | 576 1617.92/1618.37 c 1617s | 22 | 8622859 | 2045622 | 33794 133 | 238 | 576 1620.12/1620.59 c 1619s | 22 | 8632548 | 2048422 | 33794 133 | 238 | 576 1622.23/1622.62 c 1621s | 22 | 8639072 | 2050122 | 33794 133 | 238 | 576 1624.43/1624.86 c 1624s | 22 | 8644042 | 2051422 | 33794 134 | 238 | 576 1626.53/1626.91 c 1626s | 22 | 8652253 | 2053722 | 33794 134 | 238 | 576 1628.52/1628.98 c 1628s | 22 | 8662976 | 2056222 | 33794 134 | 238 | 576 1630.62/1631.01 c 1630s | 22 | 8668433 | 2057922 | 33794 134 | 238 | 576 1632.62/1633.02 c 1632s | 22 | 8677906 | 2060422 | 33794 134 | 238 | 576 1634.62/1635.08 c 1634s | 22 | 8689366 | 2063422 | 33794 134 | 238 | 576 1636.72/1637.11 c 1636s | 22 | 8700095 | 2066122 | 33794 134 | 238 | 576 1638.82/1639.23 c 1638s | 22 | 8707365 | 2068322 | 33794 134 | 238 | 576 1640.92/1641.31 c 1640s | 22 | 8714344 | 2069922 | 33794 135 | 238 | 576 1642.92/1643.35 c 1642s | 22 | 8724256 | 2072522 | 33794 135 | 238 | 576 1645.03/1645.41 c 1644s | 22 | 8733835 | 2075122 | 33794 135 | 238 | 576 1647.02/1647.45 c 1646s | 22 | 8743601 | 2077222 | 33794 135 | 238 | 576 1649.02/1649.46 c 1648s | 22 | 8754988 | 2080222 | 33794 135 | 238 | 576 1651.12/1651.54 c 1650s | 22 | 8767962 | 2083222 | 33794 135 | 238 | 576 1653.12/1653.55 c 1652s | 22 | 8777233 | 2085722 | 33794 135 | 238 | 576 1655.23/1655.62 c 1654s | 22 | 8786899 | 2088122 | 33794 135 | 238 | 576 1657.22/1657.64 c 1657s | 22 | 8798953 | 2091422 | 33794 136 | 238 | 576 1660.73/1661.16 c 1660s | 22 | 8808809 | 2093722 | 33794 136 | 238 | 576 1663.52/1663.94 c 1663s | 22 | 8809234 | 2093822 | 33794 136 | 238 | 576 1667.22/1667.69 c 1667s | 22 | 8814826 | 2095222 | 33794 136 | 238 | 576 1670.72/1671.16 c 1670s | 22 | 8817904 | 2096022 | 33794 136 | 238 | 576 1673.22/1673.64 c 1673s | 22 | 8830362 | 2099222 | 33794 136 | 238 | 576 1675.22/1675.69 c 1675s | 22 | 8841186 | 2102022 | 33794 136 | 238 | 576 1677.32/1677.71 c 1677s | 22 | 8850389 | 2104322 | 33794 136 | 238 | 576 1679.52/1679.93 c 1679s | 22 | 8859724 | 2106922 | 33794 137 | 238 | 576 1681.52/1681.94 c 1681s | 22 | 8868691 | 2109422 | 33794 137 | 238 | 576 1683.52/1683.99 c 1683s | 22 | 8881765 | 2112222 | 33794 137 | 238 | 576 1685.61/1686.03 c 1685s | 22 | 8893566 | 2114522 | 33794 137 | 238 | 576 1687.61/1688.04 c 1687s | 22 | 8906834 | 2117322 | 33794 137 | 238 | 576 1689.61/1690.09 c 1689s | 22 | 8918956 | 2120222 | 33794 137 | 238 | 576 1691.71/1692.12 c 1691s | 22 | 8931924 | 2123422 | 33794 137 | 238 | 576 1693.81/1694.23 c 1693s | 22 | 8936604 | 2124422 | 33794 137 | 238 | 576 1695.82/1696.28 c 1695s | 22 | 8948979 | 2127322 | 33794 138 | 238 | 576 1697.81/1698.29 c 1697s | 22 | 8959784 | 2130122 | 33794 138 | 238 | 576 1699.91/1700.33 c 1699s | 22 | 8968692 | 2132322 | 33794 138 | 238 | 576 1701.91/1702.39 c 1701s | 22 | 8978316 | 2135022 | 33794 138 | 238 | 576 1704.01/1704.43 c 1703s | 22 | 8988867 | 2137722 | 33794 138 | 238 | 576 1706.01/1706.47 c 1705s | 22 | 9000799 | 2140422 | 33794 138 | 238 | 576 1708.11/1708.55 c 1707s | 22 | 9009533 | 2142622 | 33794 138 | 238 | 576 1710.11/1710.59 c 1709s | 22 | 9016977 | 2144522 | 33794 139 | 238 | 576 1712.21/1712.61 c 1711s | 22 | 9027916 | 2147022 | 33794 139 | 238 | 576 1714.21/1714.63 c 1714s | 22 | 9040997 | 2150622 | 33794 139 | 238 | 576 1716.21/1716.65 c 1716s | 22 | 9051976 | 2153422 | 33794 139 | 238 | 576 1718.21/1718.67 c 1718s | 22 | 9063597 | 2156322 | 33794 139 | 238 | 576 1720.31/1720.71 c 1720s | 22 | 9074612 | 2159222 | 33794 139 | 238 | 576 1722.41/1722.82 c 1722s | 22 | 9087908 | 2162522 | 33794 140 | 238 | 576 1724.42/1724.85 c 1724s | 22 | 9094674 | 2164222 | 33794 140 | 238 | 576 1726.41/1726.89 c 1726s | 22 | 9108957 | 2167622 | 33794 140 | 238 | 576 1728.51/1728.90 c 1728s | 22 | 9118526 | 2170022 | 33794 140 | 238 | 576 1730.51/1730.95 c 1730s | 22 | 9130201 | 2172722 | 33794 140 | 238 | 576 1732.61/1733.06 c 1732s | 22 | 9141118 | 2175122 | 33794 140 | 238 | 576 1734.71/1735.15 c 1734s | 22 | 9150820 | 2177322 | 33794 140 | 238 | 576 1736.71/1737.15 c 1736s | 22 | 9161073 | 2179922 | 33794 140 | 238 | 576 1738.81/1739.27 c 1738s | 22 | 9164734 | 2181022 | 33794 141 | 238 | 576 1741.21/1741.61 c 1740s | 22 | 9166145 | 2181522 | 33794 141 | 238 | 576 1745.90/1746.32 c 1745s | 22 | 9169435 | 2182422 | 33794 141 | 238 | 576 1747.90/1748.34 c 1747s | 22 | 9184413 | 2186822 | 33794 141 | 238 | 576 1749.91/1750.35 c 1749s | 22 | 9196433 | 2190422 | 33794 141 | 238 | 576 1753.01/1753.42 c 1752s | 22 | 9201078 | 2191522 | 33794 141 | 238 | 576 1755.00/1755.45 c 1754s | 22 | 9211197 | 2194022 | 33794 141 | 238 | 576 1757.00/1757.47 c 1756s | 22 | 9227450 | 2198122 | 33794 141 | 238 | 576 1759.00/1759.48 c 1758s | 22 | 9238014 | 2200722 | 33794 142 | 238 | 576 1761.10/1761.52 c 1760s | 22 | 9252441 | 2204622 | 33794 142 | 238 | 576 1765.21/1765.64 c 1765s | 22 | 9259602 | 2206622 | 33794 142 | 238 | 576 1767.20/1767.69 c 1767s | 22 | 9270754 | 2209522 | 33794 142 | 238 | 576 1769.31/1769.71 c 1769s | 22 | 9279933 | 2212322 | 33794 142 | 238 | 576 1771.31/1771.73 c 1771s | 22 | 9289189 | 2214822 | 33794 142 | 238 | 576 1773.31/1773.76 c 1773s | 22 | 9299235 | 2217722 | 33794 142 | 238 | 576 1775.31/1775.77 c 1775s | 22 | 9311040 | 2221222 | 33794 143 | 238 | 576 1777.31/1777.79 c 1777s | 22 | 9316939 | 2223022 | 33794 143 | 238 | 576 1779.30/1779.80 c 1779s | 22 | 9327200 | 2226522 | 33794 143 | 238 | 576 1781.40/1781.84 c 1781s | 22 | 9339523 | 2229522 | 33794 143 | 238 | 576 1783.40/1783.85 c 1783s | 22 | 9349968 | 2232322 | 33794 143 | 238 | 576 1785.50/1785.92 c 1785s | 22 | 9362561 | 2235522 | 37174 143 | 238 | 576 1787.50/1787.93 c 1787s | 22 | 9369536 | 2237322 | 37174 143 | 238 | 576 1789.60/1790.00 c 1789s | 22 | 9379568 | 2240022 | 37174 144 | 238 | 576 1791.61/1792.01 c 1791s | 22 | 9389902 | 2243122 | 37174 144 | 238 | 576 1793.60/1794.02 c 1793s | 22 | 9402543 | 2246522 | 37174 144 | 238 | 576 1795.60/1796.06 c 1795s | 22 | 9414855 | 2250022 | 37174 144 | 238 | 576 1796.20/1796.64 c 1796s | 23 | 9418304 | 2251038 | 37174 144 | 238 | 576 1799.31/1799.77 c 1799s | 23 | 9422529 | 2251938 | 37174 144 | 238 | 576
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-4079791-1465250553/watcher-4079791-1465250553 -o /tmp/evaluation-result-4079791-1465250553/solver-4079791-1465250553 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9911 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079791-1465250553.opb pid=10830 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.09 2.13 2.13 3/179 10833 /proc/meminfo: memFree=29572540/32872528 swapFree=12208/1156848 [pid=10833] ppid=10830 vsize=768444 CPUtime=0 cores=0,2,4,6 /proc/10833/stat : 10833 (toysat) R 10830 10833 9895 0 -1 4202496 2879 0 0 0 0 0 0 0 20 0 4 0 106989848 786886656 2728 33554432000 4194304 16246674 140733595038784 140733595038208 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10833/statm: 192879 2738 441 2943 0 189773 0 [pid=10833/tid=10834] ppid=10830 vsize=786876 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10834/stat : 10834 (toysat) S 10830 10833 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106989848 805761024 2797 33554432000 4194304 16246674 140733595038784 140250547465456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10833/tid=10835] ppid=10830 vsize=790972 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10835/stat : 10835 (toysat) S 10830 10833 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106989848 809955328 2816 33554432000 4194304 16246674 140733595038784 140250536975600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10833/tid=10836] ppid=10830 vsize=795068 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10836/stat : 10836 (toysat) S 10830 10833 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106989848 814149632 2832 33554432000 4194304 16246674 140733595038784 140250526502064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.10016 s] /proc/loadavg: 2.09 2.13 2.13 3/179 10833 /proc/meminfo: memFree=29572540/32872528 swapFree=12208/1156848 [pid=10833] ppid=10830 vsize=1221188 CPUtime=0.09 cores=0,2,4,6 /proc/10833/stat : 10833 (toysat) R 10830 10833 9895 0 -1 4202496 24451 0 0 0 5 4 0 0 20 0 4 0 106989848 1250496512 24238 33554432000 4194304 16246674 140733595038784 140733595038096 7203057 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10833/statm: 305297 24247 831 2943 0 302191 0 [pid=10833/tid=10834] ppid=10830 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10834/stat : 10834 (toysat) S 10830 10833 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106989848 1250496512 24255 33554432000 4194304 16246674 140733595038784 140250547465456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10833/tid=10835] ppid=10830 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10835/stat : 10835 (toysat) S 10830 10833 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106989848 1250496512 24260 33554432000 4194304 16246674 140733595038784 140250536975600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10833/tid=10836] ppid=10830 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10836/stat : 10836 (toysat) S 10830 10833 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106989848 1250496512 24265 33554432000 4194304 16246674 140733595038784 140250526502064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1221188 [startup+0.200504 s] /proc/loadavg: 2.09 2.13 2.13 3/179 10833 /proc/meminfo: memFree=29572540/32872528 swapFree=12208/1156848 [pid=10833] ppid=10830 vsize=1221188 CPUtime=0.19 cores=0,2,4,6 /proc/10833/stat : 10833 (toysat) R 10830 10833 9895 0 -1 4202496 42186 0 0 0 12 7 0 0 20 0 4 0 106989848 1250496512 41974 33554432000 4194304 16246674 140733595038784 140733595038096 5531957 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10833/statm: 305297 41981 867 2943 0 302191 0 [pid=10833/tid=10834] ppid=10830 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10834/stat : 10834 (toysat) S 10830 10833 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106989848 1250496512 41985 33554432000 4194304 16246674 140733595038784 140250547465456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10833/tid=10835] ppid=10830 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10835/stat : 10835 (toysat) S 10830 10833 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106989848 1250496512 41990 33554432000 4194304 16246674 140733595038784 140250536975600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10833/tid=10836] ppid=10830 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10836/stat : 10836 (toysat) S 10830 10833 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106989848 1250496512 41995 33554432000 4194304 16246674 140733595038784 140250526502064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1221188 [startup+0.300401 s] /proc/loadavg: 2.09 2.13 2.13 3/179 10833 /proc/meminfo: memFree=29572540/32872528 swapFree=12208/1156848 [pid=10833] ppid=10830 vsize=1306180 CPUtime=0.29 cores=0,2,4,6 /proc/10833/stat : 10833 (toysat) R 10830 10833 9895 0 -1 4202496 55500 0 0 0 20 9 0 0 20 0 4 0 106989848 1337528320 55287 33554432000 4194304 16246674 140733595038784 140733595038096 14073233 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10833/statm: 326545 55287 895 2943 0 323439 0 [pid=10833/tid=10834] ppid=10830 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10834/stat : 10834 (toysat) S 10830 10833 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106989848 1337528320 55287 33554432000 4194304 16246674 140733595038784 140250547465456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10833/tid=10835] ppid=10830 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10835/stat : 10835 (toysat) S 10830 10833 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106989848 1337528320 55287 33554432000 4194304 16246674 140733595038784 140250536975600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10833/tid=10836] ppid=10830 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10836/stat : 10836 (toysat) S 10830 10833 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106989848 1337528320 55287 33554432000 4194304 16246674 140733595038784 140250526502064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1306180 [startup+0.7004 s] /proc/loadavg: 2.09 2.13 2.13 3/179 10833 /proc/meminfo: memFree=29572540/32872528 swapFree=12208/1156848 [pid=10833] ppid=10830 vsize=1307204 CPUtime=0.69 cores=0,2,4,6 /proc/10833/stat : 10833 (toysat) R 10830 10833 9895 0 -1 4202496 67161 0 0 0 59 10 0 0 20 0 4 0 106989848 1338576896 66948 33554432000 4194304 16246674 140733595038784 140733595038096 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10833/statm: 326801 66948 905 2943 0 323695 0 [pid=10833/tid=10834] ppid=10830 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10834/stat : 10834 (toysat) S 10830 10833 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106989848 1338576896 66948 33554432000 4194304 16246674 140733595038784 140250547465456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10833/tid=10835] ppid=10830 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10835/stat : 10835 (toysat) S 10830 10833 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106989848 1338576896 66948 33554432000 4194304 16246674 140733595038784 140250536975600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10833/tid=10836] ppid=10830 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10836/stat : 10836 (toysat) S 10830 10833 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106989848 1338576896 66948 33554432000 4194304 16246674 140733595038784 140250526502064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1307204 [startup+1.50038 s] /proc/loadavg: 2.08 2.13 2.13 3/183 10837 /proc/meminfo: memFree=29128952/32872528 swapFree=12208/1156848 [pid=10833] ppid=10830 vsize=1307204 CPUtime=1.49 cores=0,2,4,6 /proc/10833/stat : 10833 (toysat) R 10830 10833 9895 0 -1 4202496 163104 0 0 0 125 24 0 0 20 0 4 0 106989848 1338576896 162891 33554432000 4194304 16246674 140733595038784 140733595021784 5600539 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10833/statm: 326801 162897 905 2943 0 323695 0 [pid=10833/tid=10834] ppid=10830 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10834/stat : 10834 (toysat) S 10830 10833 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106989848 1338576896 162901 33554432000 4194304 16246674 140733595038784 140250547465456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10833/tid=10835] ppid=10830 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10835/stat : 10835 (toysat) S 10830 10833 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106989848 1338576896 162903 33554432000 4194304 16246674 140733595038784 140250536975600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10833/tid=10836] ppid=10830 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10836/stat : 10836 (toysat) S 10830 10833 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106989848 1338576896 162905 33554432000 4194304 16246674 140733595038784 140250526502064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1307204 [startup+3.10039 s] /proc/loadavg: 2.08 2.13 2.13 3/183 10837 /proc/meminfo: memFree=28537488/32872528 swapFree=12208/1156848 [pid=10833] ppid=10830 vsize=1308228 CPUtime=3.09 cores=0,2,4,6 /proc/10833/stat : 10833 (toysat) R 10830 10833 9895 0 -1 4202496 268224 0 0 0 269 40 0 0 20 0 4 0 106989848 1339625472 268011 33554432000 4194304 16246674 140733595038784 140733595020672 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10833/statm: 327057 268011 907 2943 0 323951 0 [pid=10833/tid=10834] ppid=10830 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10834/stat : 10834 (toysat) S 10830 10833 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106989848 1339625472 268011 33554432000 4194304 16246674 140733595038784 140250547465456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10833/tid=10835] ppid=10830 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10835/stat : 10835 (toysat) S 10830 10833 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106989848 1339625472 268011 33554432000 4194304 16246674 140733595038784 140250536975600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10833/tid=10836] ppid=10830 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10836/stat : 10836 (toysat) S 10830 10833 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106989848 1339625472 268011 33554432000 4194304 16246674 140733595038784 140250526502064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1308228 [startup+6.3004 s] /proc/loadavg: 2.15 2.15 2.13 3/183 10837 /proc/meminfo: memFree=28501260/32872528 swapFree=12208/1156848 [pid=10833] ppid=10830 vsize=1310276 CPUtime=6.29 cores=0,2,4,6 /proc/10833/stat : 10833 (toysat) R 10830 10833 9895 0 -1 4202496 268779 0 0 0 589 40 0 0 20 0 4 0 106989848 1341722624 268566 33554432000 4194304 16246674 140733595038784 140733595021784 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10833/statm: 327569 268566 913 2943 0 324463 0 [pid=10833/tid=10834] ppid=10830 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10834/stat : 10834 (toysat) S 10830 10833 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106989848 1341722624 268566 33554432000 4194304 16246674 140733595038784 140250547465456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10833/tid=10835] ppid=10830 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10835/stat : 10835 (toysat) S 10830 10833 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106989848 1341722624 268566 33554432000 4194304 16246674 140733595038784 140250536975600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10833/tid=10836] ppid=10830 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10836/stat : 10836 (toysat) S 10830 10833 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106989848 1341722624 268566 33554432000 4194304 16246674 140733595038784 140250526502064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1310276 [startup+12.7004 s] /proc/loadavg: 2.14 2.14 2.13 3/183 10837 /proc/meminfo: memFree=28495080/32872528 swapFree=12208/1156848 [pid=10833] ppid=10830 vsize=1314372 CPUtime=12.69 cores=0,2,4,6 /proc/10833/stat : 10833 (toysat) R 10830 10833 9895 0 -1 4202496 269803 0 0 0 1229 40 0 0 20 0 4 0 106989848 1345916928 269590 33554432000 4194304 16246674 140733595038784 140733595021784 12477804 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10833/statm: 328593 269590 913 2943 0 325487 0 [pid=10833/tid=10834] ppid=10830 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10834/stat : 10834 (toysat) S 10830 10833 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106989848 1345916928 269590 33554432000 4194304 16246674 140733595038784 140250547465456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10833/tid=10835] ppid=10830 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10835/stat : 10835 (toysat) S 10830 10833 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106989848 1345916928 269590 33554432000 4194304 16246674 140733595038784 140250536975600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10833/tid=10836] ppid=10830 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10836/stat : 10836 (toysat) S 10830 10833 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106989848 1345916928 269590 33554432000 4194304 16246674 140733595038784 140250526502064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1314372 [startup+25.5005 s] /proc/loadavg: 2.12 2.14 2.13 3/183 10837 /proc/meminfo: memFree=28482088/32872528 swapFree=12208/1156848 [pid=10833] ppid=10830 vsize=1327684 CPUtime=25.49 cores=0,2,4,6 /proc/10833/stat : 10833 (toysat) R 10830 10833 9895 0 -1 4202496 273131 0 0 0 2508 41 0 0 20 0 4 0 106989848 1359548416 272918 33554432000 4194304 16246674 140733595038784 140733595020672 13943600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10833/statm: 331921 272918 913 2943 0 328815 0 [pid=10833/tid=10834] ppid=10830 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10834/stat : 10834 (toysat) S 10830 10833 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106989848 1359548416 272918 33554432000 4194304 16246674 140733595038784 140250547465456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10833/tid=10835] ppid=10830 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10835/stat : 10835 (toysat) S 10830 10833 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106989848 1359548416 272918 33554432000 4194304 16246674 140733595038784 140250536975600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10833/tid=10836] ppid=10830 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10836/stat : 10836 (toysat) S 10830 10833 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106989848 1359548416 272918 33554432000 4194304 16246674 140733595038784 140250526502064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1327684 [startup+51.1005 s] /proc/loadavg: 2.07 2.12 2.12 3/183 10837 /proc/meminfo: memFree=28469044/32872528 swapFree=12208/1156848 [pid=10833] ppid=10830 vsize=1340996 CPUtime=51.08 cores=0,2,4,6 /proc/10833/stat : 10833 (toysat) R 10830 10833 9895 0 -1 4202496 276459 0 0 0 5067 41 0 0 20 0 4 0 106989848 1373179904 276246 33554432000 4194304 16246674 140733595038784 140733595020672 5676095 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10833/statm: 335249 276246 913 2943 0 332143 0 [pid=10833/tid=10834] ppid=10830 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10834/stat : 10834 (toysat) S 10830 10833 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106989848 1373179904 276246 33554432000 4194304 16246674 140733595038784 140250547465456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10833/tid=10835] ppid=10830 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10835/stat : 10835 (toysat) S 10830 10833 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106989848 1373179904 276246 33554432000 4194304 16246674 140733595038784 140250536975600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10833/tid=10836] ppid=10830 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10836/stat : 10836 (toysat) S 10830 10833 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106989848 1373179904 276246 33554432000 4194304 16246674 140733595038784 140250526502064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1340996 [startup+102.3 s] /proc/loadavg: 2.18 2.15 2.13 3/183 10838 /proc/meminfo: memFree=28457744/32872528 swapFree=12208/1156848 [pid=10833] ppid=10830 vsize=1352260 CPUtime=102.29 cores=0,2,4,6 /proc/10833/stat : 10833 (toysat) R 10830 10833 9895 0 -1 4202496 279276 0 0 0 10186 43 0 0 20 0 4 0 106989848 1384714240 279063 33554432000 4194304 16246674 140733595038784 140733595037880 5677667 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10833/statm: 338065 279063 914 2943 0 334959 0 [pid=10833/tid=10834] ppid=10830 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10834/stat : 10834 (toysat) S 10830 10833 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106989848 1384714240 279063 33554432000 4194304 16246674 140733595038784 140250547465456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10833/tid=10835] ppid=10830 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10835/stat : 10835 (toysat) S 10830 10833 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106989848 1384714240 279063 33554432000 4194304 16246674 140733595038784 140250536975600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10833/tid=10836] ppid=10830 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10836/stat : 10836 (toysat) S 10830 10833 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106989848 1384714240 279063 33554432000 4194304 16246674 140733595038784 140250526502064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 1352260 ################ # More data... # ################ /proc/10833/task/10836/stat : 10836 (toysat) S 10830 10833 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140250526502064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 1398340 [startup+1302.3 s] /proc/loadavg: 2.30 2.21 2.16 4/183 10917 /proc/meminfo: memFree=28485268/32872528 swapFree=12208/1156848 [pid=10833] ppid=10830 vsize=1398340 CPUtime=1301.97 cores=0,2,4,6 /proc/10833/stat : 10833 (toysat) R 10830 10833 9895 0 -1 4202496 291024 0 0 0 130128 69 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140733595021784 5823751 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10833/statm: 349585 290844 914 2943 0 346479 0 [pid=10833/tid=10834] ppid=10830 vsize=1398340 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10834/stat : 10834 (toysat) S 10830 10833 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140250547465456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10833/tid=10835] ppid=10830 vsize=1398340 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10835/stat : 10835 (toysat) S 10830 10833 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140250536975600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10833/tid=10836] ppid=10830 vsize=1398340 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10836/stat : 10836 (toysat) S 10830 10833 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140250526502064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1398340 [startup+1362.3 s] /proc/loadavg: 2.17 2.19 2.16 3/183 10918 /proc/meminfo: memFree=28485204/32872528 swapFree=12208/1156848 [pid=10833] ppid=10830 vsize=1398340 CPUtime=1361.97 cores=0,2,4,6 /proc/10833/stat : 10833 (toysat) R 10830 10833 9895 0 -1 4202496 291024 0 0 0 136126 71 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140733595020672 5712204 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10833/statm: 349585 290844 914 2943 0 346479 0 [pid=10833/tid=10834] ppid=10830 vsize=1398340 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10834/stat : 10834 (toysat) S 10830 10833 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140250547465456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10833/tid=10835] ppid=10830 vsize=1398340 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10835/stat : 10835 (toysat) S 10830 10833 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140250536975600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10833/tid=10836] ppid=10830 vsize=1398340 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10836/stat : 10836 (toysat) S 10830 10833 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140250526502064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 1398340 [startup+1422.3 s] /proc/loadavg: 2.17 2.18 2.16 3/183 10919 /proc/meminfo: memFree=28482972/32872528 swapFree=12208/1156848 [pid=10833] ppid=10830 vsize=1398340 CPUtime=1421.96 cores=0,2,4,6 /proc/10833/stat : 10833 (toysat) R 10830 10833 9895 0 -1 4202496 291024 0 0 0 142125 71 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140733595020672 5822432 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10833/statm: 349585 290844 914 2943 0 346479 0 [pid=10833/tid=10834] ppid=10830 vsize=1398340 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10834/stat : 10834 (toysat) S 10830 10833 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140250547465456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10833/tid=10835] ppid=10830 vsize=1398340 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10835/stat : 10835 (toysat) S 10830 10833 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140250536975600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10833/tid=10836] ppid=10830 vsize=1398340 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10836/stat : 10836 (toysat) S 10830 10833 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140250526502064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 1398340 [startup+1482.3 s] /proc/loadavg: 2.22 2.19 2.16 4/183 10920 /proc/meminfo: memFree=28483128/32872528 swapFree=12208/1156848 [pid=10833] ppid=10830 vsize=1398340 CPUtime=1481.95 cores=0,2,4,6 /proc/10833/stat : 10833 (toysat) R 10830 10833 9895 0 -1 4202496 291024 0 0 0 148121 74 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140733595020672 4221129 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10833/statm: 349585 290844 914 2943 0 346479 0 [pid=10833/tid=10834] ppid=10830 vsize=1398340 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10834/stat : 10834 (toysat) S 10830 10833 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140250547465456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10833/tid=10835] ppid=10830 vsize=1398340 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10835/stat : 10835 (toysat) S 10830 10833 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140250536975600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10833/tid=10836] ppid=10830 vsize=1398340 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10836/stat : 10836 (toysat) S 10830 10833 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140250526502064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 1398340 [startup+1542.31 s] /proc/loadavg: 2.14 2.17 2.15 3/183 10922 /proc/meminfo: memFree=28482836/32872528 swapFree=12208/1156848 [pid=10833] ppid=10830 vsize=1398340 CPUtime=1541.95 cores=0,2,4,6 /proc/10833/stat : 10833 (toysat) R 10830 10833 9895 0 -1 4202496 291024 0 0 0 154119 76 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140733595020672 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10833/statm: 349585 290844 914 2943 0 346479 0 [pid=10833/tid=10834] ppid=10830 vsize=1398340 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10834/stat : 10834 (toysat) S 10830 10833 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140250547465456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10833/tid=10835] ppid=10830 vsize=1398340 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10835/stat : 10835 (toysat) S 10830 10833 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140250536975600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10833/tid=10836] ppid=10830 vsize=1398340 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10836/stat : 10836 (toysat) S 10830 10833 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140250526502064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 1398340 [startup+1602.3 s] /proc/loadavg: 2.21 2.18 2.16 3/183 10923 /proc/meminfo: memFree=28483100/32872528 swapFree=12208/1156848 [pid=10833] ppid=10830 vsize=1398340 CPUtime=1601.92 cores=0,2,4,6 /proc/10833/stat : 10833 (toysat) R 10830 10833 9895 0 -1 4202496 291024 0 0 0 160115 77 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140733595020672 5677716 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10833/statm: 349585 290844 914 2943 0 346479 0 [pid=10833/tid=10834] ppid=10830 vsize=1398340 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10834/stat : 10834 (toysat) S 10830 10833 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140250547465456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10833/tid=10835] ppid=10830 vsize=1398340 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10835/stat : 10835 (toysat) S 10830 10833 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140250536975600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10833/tid=10836] ppid=10830 vsize=1398340 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10836/stat : 10836 (toysat) S 10830 10833 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140250526502064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 1398340 [startup+1662.3 s] /proc/loadavg: 2.27 2.19 2.16 4/184 10927 /proc/meminfo: memFree=28482964/32872528 swapFree=12208/1156848 [pid=10833] ppid=10830 vsize=1398340 CPUtime=1661.92 cores=0,2,4,6 /proc/10833/stat : 10833 (toysat) R 10830 10833 9895 0 -1 4202496 291024 0 0 0 166114 78 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140733595037960 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10833/statm: 349585 290844 914 2943 0 346479 0 [pid=10833/tid=10834] ppid=10830 vsize=1398340 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10834/stat : 10834 (toysat) S 10830 10833 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140250547465456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10833/tid=10835] ppid=10830 vsize=1398340 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10835/stat : 10835 (toysat) S 10830 10833 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140250536975600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10833/tid=10836] ppid=10830 vsize=1398340 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10836/stat : 10836 (toysat) S 10830 10833 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140250526502064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 1398340 [startup+1722.3 s] /proc/loadavg: 2.21 2.18 2.16 3/183 10928 /proc/meminfo: memFree=28483008/32872528 swapFree=12208/1156848 [pid=10833] ppid=10830 vsize=1398340 CPUtime=1721.91 cores=0,2,4,6 /proc/10833/stat : 10833 (toysat) R 10830 10833 9895 0 -1 4202496 291024 0 0 0 172111 80 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140733595020672 5546160 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10833/statm: 349585 290844 914 2943 0 346479 0 [pid=10833/tid=10834] ppid=10830 vsize=1398340 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10834/stat : 10834 (toysat) S 10830 10833 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140250547465456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10833/tid=10835] ppid=10830 vsize=1398340 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10835/stat : 10835 (toysat) S 10830 10833 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140250536975600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10833/tid=10836] ppid=10830 vsize=1398340 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10836/stat : 10836 (toysat) S 10830 10833 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140250526502064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 1398340 [startup+1782.3 s] /proc/loadavg: 2.16 2.18 2.16 3/183 10929 /proc/meminfo: memFree=28482764/32872528 swapFree=12208/1156848 [pid=10833] ppid=10830 vsize=1398340 CPUtime=1781.9 cores=0,2,4,6 /proc/10833/stat : 10833 (toysat) R 10830 10833 9895 0 -1 4202496 291024 0 0 0 178108 82 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140733595020672 5677667 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10833/statm: 349585 290844 914 2943 0 346479 0 [pid=10833/tid=10834] ppid=10830 vsize=1398340 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10834/stat : 10834 (toysat) S 10830 10833 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140250547465456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10833/tid=10835] ppid=10830 vsize=1398340 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10835/stat : 10835 (toysat) S 10830 10833 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140250536975600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10833/tid=10836] ppid=10830 vsize=1398340 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10836/stat : 10836 (toysat) S 10830 10833 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140250526502064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 1398340 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.21 2.18 2.16 3/183 10929 /proc/meminfo: memFree=28482932/32872528 swapFree=12208/1156848 [pid=10833] ppid=10830 vsize=1398340 CPUtime=1800 cores=0,2,4,6 /proc/10833/stat : 10833 (toysat) R 10830 10833 9895 0 -1 4202496 291024 0 0 0 179918 82 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140733595020672 13906976 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10833/statm: 349585 290844 914 2943 0 346479 0 [pid=10833/tid=10834] ppid=10830 vsize=1398340 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10834/stat : 10834 (toysat) S 10830 10833 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140250547465456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10833/tid=10835] ppid=10830 vsize=1398340 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10835/stat : 10835 (toysat) S 10830 10833 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140250536975600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10833/tid=10836] ppid=10830 vsize=1398340 CPUtime=0 cores=0,2,4,6 /proc/10833/task/10836/stat : 10836 (toysat) S 10830 10833 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106989848 1431900160 290844 33554432000 4194304 16246674 140733595038784 140250526502064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1398340 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 10833 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.41 CPU time (s): 1800.01 CPU user time (s): 1799.19 CPU system time (s): 0.823874 CPU usage (%): 99.978 Max. virtual memory (cumulated for all children) (KiB): 1398340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.19 system time used= 0.823874 maximum resident set size= 1163376 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 291024 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= 244 involuntary context switches= 1835 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.82627 second user time and 6.68698 second system time The end
Begin job on node114 at 2016-06-07 00:02:33 IDJOB=4079791 IDBENCH=25007 IDSOLVER=2542 FILE ID=node114/4079791-1465250553 RUNJOBID= node114-1465241547-9911 PBS_JOBID= 19843245 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir05_area_delay.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079791-1465250553/watcher-4079791-1465250553 -o /tmp/evaluation-result-4079791-1465250553/solver-4079791-1465250553 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9911 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079791-1465250553.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b0c7ff7d1fa11c8e15b9d528879223a9 RANDOM SEED=1350512646 node114.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 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: 29573432 kB Buffers: 51504 kB Cached: 211960 kB SwapCached: 1724 kB Active: 1293252 kB Inactive: 144936 kB Active(anon): 1175932 kB Inactive(anon): 1200 kB Active(file): 117320 kB Inactive(file): 143736 kB Unevictable: 1156848 kB Mlocked: 12208 kB SwapTotal: 67108856 kB SwapFree: 67096600 kB Dirty: 16708 kB Writeback: 0 kB AnonPages: 2449884 kB Mapped: 10904 kB Shmem: 0 kB Slab: 569436 kB SReclaimable: 13724 kB SUnreclaim: 555712 kB KernelStack: 1520 kB PageTables: 8444 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2476488 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2174976 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= 71704 MiB End job on node114 at 2016-06-07 00:32:33