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.05 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_10_30.r.opb |
| MD5SUM | 80d844acb755df30f8eb4d34a1c5fb81 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 8 |
| Best CPU time to get the best result obtained on this benchmark | 7.18391 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 8 |
| Optimality of the best value was proved | YES |
| Number of variables | 100 |
| Total number of constraints | 100 |
| Number of constraints which are clauses | 100 |
| 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 | 10 |
| Maximum length of a constraint | 30 |
| Number of terms in the objective function | 100 |
| 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 | 100 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 100 |
| Number of bits of the biggest sum of numbers | 7 |
| 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-06T21:52:43+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-4079707-1465242763.opb"] 0.00/0.01 c use --random-gen="1999042067 238022452 2080050364 1615659408 229317562 1881175659 4047697734 1271235769 3485654301 507093622 3857872347 3536478220 2699592134 1532768724 2477209233 196869270 2983163477 2720675637 578731798 2396998624 986582968 4254032873 1823863248 1100633954 2241452942 2097194233 207208446 3386604824 3962629621 1066112577 113763673 3023822588 130713740 1542720534 132423094 1812078677 2125432831 4104443391 71264534 771827407 4110330393 1523605691 2299746619 643789875 538826741 1082744871 26716901 443689627 748637816 1509866262 3482337409 3275531639 1351307716 976273404 559696209 863726568 2466397479 1704830447 3837268495 3819529082 2319347340 3007673121 4026382301 2915710767 2634805800 3247085685 2994594015 1959844946 1780309200 4241090487 914953580 3620882304 805277240 610627424 2346229689 1692649687 710721543 1467352621 2712710887 1026233294 232121619 212571191 1871377505 3114122387 1131169459 2492266498 2621105284 3349193932 3649051394 1249963019 2206369317 66297202 192011215 2405441411 773090057 65293937 3842734439 1792158973 3571825314 3465834683 1907978246 87660276 1189607727 46812062 150738962 1280363056 3177482218 3755969780 607047993 3519541174 261836395 1377224957 4097046706 1917986315 2386094227 2500872462 3963701163 343714633 1788644770 2007303453 2906279552 4064758443 2015821412 2260606914 567827605 434762252 3274645173 2458406443 3738791580 1156495632 3174454138 509104456 2632964441 4206079094 3709610932 3198152456 1106079130 2369660034 3333677460 2450209517 568478075 2910956188 2151730991 1078470137 44352276 904165485 1631532932 3419010941 263730042 3234550326 705838197 3492449482 177067585 3489915548 178672948 955688588 358613082 367092319 795311517 2709524074 1881383239 1707806192 762326270 495934451 1190955440 2552685451 4065282099 2847503793 2167391869 2599036644 3078816469 2586336428 1513636504 4043548123 134973301 2422603787 4011679286 4141789518 431633801 522349874 1291454070 4054069154 3095416740 4240548726 470572631 2686364739 2480449707 287626905 2824283920 401077957 3104796158 3631437275 1931779702 527792226 208120596 721689714 3936896398 3187944164 2810954766 3923919632 556387971 2330655830 1485606425 3325903055 4245984353 116711097 252309277 1472225468 3995637752 1584360404 755194058 3827191782 867934256 1599017658 1781538984 2080469660 2486736272 286533573 1865820762 143898058 637967562 1342254509 1088771364 582816105 921091318 597978251 382073759 683813674 142617623 1922364579 3680393217 1978319478 1210389630 219836600 3426352812 3943472013 2528995725 3633968966 3310246037 4236811670 17911204 812433822 667611555 2914088446 1360291850 4218663626 3348966693 2778810473 1931622326 1363049233 123965559 696966157 2404142707 3973876900 3150546300 411510199 255 362436" option to reproduce the execution 0.00/0.02 c #vars 100 0.00/0.02 c #constraints 100 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 66 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 100 | 0 | 66 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.001s 0.00/0.02 c #wall_clock_time = 0.001s 0.00/0.02 c #decision = 100 0.00/0.02 c #random_decision = 2 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 o 100 0.00/0.02 c BCD2: updating upper bound: 100 -> 99 0.00/0.02 c BCD2: 0 <= obj <= 99 0.00/0.02 c BCD2: #cores=0, #unrelaxed=100, #relaxed=0, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 66 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 76 | 0 | 66 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 76 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.02 c lower bound updated to 1 0.00/0.02 c BCD2: 1 <= obj <= 99 0.00/0.02 c BCD2: #cores=1, #unrelaxed=90, #relaxed=10, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 66 0 | 0 | 1 0.00/0.03 c 0.0s | 0 | 73 | 0 | 66 0 | 0 | 1 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 73 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 12: cost of the new core is >=1 0.00/0.03 c lower bound updated to 2 0.00/0.03 c BCD2: 2 <= obj <= 99 0.00/0.03 c BCD2: #cores=2, #unrelaxed=78, #relaxed=22, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 66 0 | 0 | 2 0.00/0.03 c 0.0s | 0 | 64 | 0 | 66 0 | 0 | 2 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 64 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 12: cost of the new core is >=1 0.00/0.03 c lower bound updated to 3 0.00/0.03 c BCD2: 3 <= obj <= 99 0.00/0.03 c BCD2: #cores=3, #unrelaxed=66, #relaxed=34, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 66 0 | 0 | 3 0.00/0.03 c 0.0s | 0 | 68 | 0 | 66 0 | 0 | 3 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 68 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 13: cost of the new core is >=1 0.00/0.03 c lower bound updated to 4 0.00/0.03 c BCD2: 4 <= obj <= 99 0.00/0.03 c BCD2: #cores=4, #unrelaxed=53, #relaxed=47, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=5 bias=5/6 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 66 0 | 0 | 4 0.00/0.03 c 0.0s | 0 | 101 | 0 | 66 0 | 0 | 4 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 101 0.00/0.03 c #random_decision = 1 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 o 13 0.00/0.03 c BCD2: updating upper bound: 99 -> 12 0.00/0.03 c BCD2: 4 <= obj <= 12 0.00/0.03 c BCD2: #cores=4, #unrelaxed=53, #relaxed=47, #hardened=0 0.00/0.03 c BCD2: #sat=2 #unsat=5 bias=5/7 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 66 0 | 0 | 5 0.00/0.04 c 0.0s | 1 | 179 | 100 | 66 0 | 0 | 5 0.00/0.06 c 0.0s | 1 | 408 | 236 | 73 2 | 0 | 5 0.00/0.06 c #cpu_time = 0.034s 0.00/0.06 c #wall_clock_time = 0.034s 0.00/0.06 c #decision = 408 0.00/0.06 c #random_decision = 3 0.00/0.06 c #conflict = 236 0.00/0.06 c #restart = 1 0.00/0.06 c BCD2: relaxing 53 and merging with 4 cores into a new core of size 100: cost of the new core is >=5 0.00/0.06 c lower bound updated to 5 0.00/0.06 c BCD2: 5 <= obj <= 12 0.00/0.06 c BCD2: #cores=1, #unrelaxed=0, #relaxed=100, #hardened=0 0.00/0.06 c BCD2: #sat=2 #unsat=6 bias=6/8 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 73 0 | 11 | 5 0.00/0.08 c 0.0s | 1 | 224 | 100 | 81 0 | 11 | 23 0.08/0.10 c 0.0s | 2 | 755 | 250 | 90 3 | 11 | 23 0.08/0.13 c 0.1s | 3 | 1333 | 475 | 90 7 | 11 | 23 0.08/0.17 c 0.1s | 4 | 2301 | 813 | 100 12 | 11 | 23 0.18/0.24 c 0.2s | 5 | 3633 | 1320 | 111 20 | 11 | 23 0.28/0.35 c 0.3s | 6 | 5728 | 2081 | 123 30 | 11 | 23 0.48/0.50 c 0.4s | 7 | 8567 | 3223 | 136 45 | 11 | 23 0.68/0.72 c 0.7s | 8 | 13218 | 4936 | 150 67 | 11 | 23 0.98/1.04 c 1.0s | 9 | 20039 | 7506 | 165 98 | 11 | 23 1.48/1.52 c 1.5s | 10 | 29463 | 11361 | 182 139 | 11 | 23 2.08/2.11 c 2.0s | 11 | 42848 | 17144 | 201 197 | 11 | 23 2.98/3.00 c 2.9s | 12 | 65465 | 25819 | 222 276 | 11 | 23 4.18/4.29 c 4.2s | 13 | 98503 | 38832 | 245 384 | 11 | 23 4.88/4.91 c 4.8s | 13 | 113780 | 45073 | 245 430 | 11 | 23 4.88/4.91 c #cpu_time = 4.848s 4.88/4.91 c #wall_clock_time = 4.848s 4.88/4.91 c #decision = 113780 4.88/4.91 c #random_decision = 530 4.88/4.91 c #conflict = 45073 4.88/4.91 c #restart = 13 4.88/4.91 o 11 4.88/4.91 c BCD2: updating upper bound: 12 -> 10 4.88/4.91 c BCD2: 5 <= obj <= 10 4.88/4.91 c BCD2: #cores=1, #unrelaxed=0, #relaxed=100, #hardened=0 4.88/4.91 c BCD2: #sat=3 #unsat=6 bias=6/9 4.88/4.92 c Solving starts ... 4.88/4.92 c ============================[ Search Statistics ]============================ 4.88/4.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.88/4.92 c | | | | Limit GC | Var | Constra 4.88/4.92 c ============================================================================= 4.88/4.92 c 0.0s | 0 | 0 | 0 | 245 0 | 11 | 25 4.88/4.92 c 0.0s | 1 | 263 | 100 | 245 1 | 11 | 25 4.88/4.94 c 0.0s | 2 | 710 | 250 | 245 2 | 11 | 25 4.88/4.96 c 0.0s | 3 | 1351 | 475 | 245 4 | 11 | 25 4.98/5.00 c 0.1s | 4 | 2235 | 813 | 245 7 | 11 | 25 4.98/5.04 c 0.1s | 5 | 3464 | 1320 | 245 10 | 11 | 25 5.08/5.12 c 0.2s | 6 | 5339 | 2081 | 245 16 | 11 | 25 5.18/5.23 c 0.3s | 7 | 7858 | 3223 | 245 25 | 11 | 25 5.38/5.40 c 0.5s | 8 | 11648 | 4936 | 245 38 | 11 | 25 5.59/5.66 c 0.7s | 9 | 17760 | 7506 | 245 57 | 11 | 25 5.98/6.01 c 1.1s | 10 | 27673 | 11361 | 245 87 | 11 | 25 6.48/6.56 c 1.6s | 11 | 42712 | 17144 | 270 128 | 11 | 25 7.28/7.35 c 2.4s | 12 | 63353 | 25819 | 270 188 | 11 | 25 8.48/8.56 c 3.6s | 13 | 95959 | 38832 | 270 279 | 11 | 25 10.29/10.38 c 5.5s | 14 | 146301 | 58352 | 297 406 | 11 | 25 12.28/12.39 c 7.5s | 14 | 202612 | 80352 | 297 549 | 11 | 25 12.99/13.07 c 8.2s | 15 | 219664 | 87632 | 327 595 | 11 | 25 14.98/15.08 c 10.2s | 15 | 268926 | 108532 | 327 717 | 11 | 25 16.98/17.09 c 12.2s | 15 | 317106 | 129832 | 327 844 | 11 | 25 17.18/17.25 c 12.3s | 16 | 321336 | 131552 | 327 854 | 11 | 25 19.18/19.26 c 14.3s | 16 | 372892 | 153152 | 360 979 | 11 | 25 21.18/21.27 c 16.4s | 16 | 427072 | 175052 | 360 1097 | 11 | 25 23.18/23.27 c 18.4s | 16 | 478890 | 196852 | 360 1214 | 11 | 25 23.29/23.33 c 18.4s | 17 | 480228 | 197432 | 360 1218 | 11 | 25 25.29/25.33 c 20.4s | 17 | 535310 | 218832 | 360 1332 | 11 | 25 27.28/27.34 c 22.4s | 17 | 590803 | 240932 | 360 1452 | 11 | 25 29.28/29.34 c 24.4s | 17 | 643703 | 261532 | 397 1556 | 11 | 25 31.28/31.34 c 26.4s | 17 | 695480 | 281932 | 397 1656 | 11 | 25 32.58/32.67 c 27.8s | 18 | 731155 | 296252 | 397 1727 | 11 | 25 34.58/34.68 c 29.8s | 18 | 786541 | 317652 | 397 1832 | 11 | 25 36.58/36.68 c 31.8s | 18 | 841380 | 338752 | 397 1935 | 11 | 25 38.58/38.69 c 33.8s | 18 | 895114 | 359952 | 397 2040 | 11 | 25 40.58/40.69 c 35.8s | 18 | 947394 | 381152 | 397 2144 | 11 | 25 42.68/42.70 c 37.8s | 18 | 996283 | 402052 | 437 2245 | 11 | 25 44.68/44.70 c 39.8s | 18 | 1050829 | 423452 | 437 2341 | 11 | 25 46.57/46.66 c 41.7s | 19 | 1103351 | 444482 | 437 2435 | 11 | 25 48.58/48.67 c 43.8s | 19 | 1157530 | 464982 | 437 2526 | 11 | 25 50.59/50.68 c 45.8s | 19 | 1209912 | 485382 | 437 2618 | 11 | 25 52.58/52.68 c 47.8s | 19 | 1262030 | 505882 | 437 2709 | 11 | 25 54.57/54.69 c 49.8s | 19 | 1315074 | 526782 | 437 2803 | 11 | 25 56.58/56.69 c 51.8s | 19 | 1367203 | 546982 | 437 2893 | 11 | 25 58.58/58.69 c 53.8s | 19 | 1415679 | 566482 | 437 2980 | 11 | 25 60.67/60.70 c 55.8s | 19 | 1468514 | 587382 | 437 3074 | 11 | 25 62.58/62.70 c 57.8s | 19 | 1519741 | 607982 | 437 3165 | 11 | 25 64.68/64.70 c 59.8s | 19 | 1569886 | 628182 | 481 3251 | 11 | 25 66.68/66.71 c 61.8s | 19 | 1620489 | 648682 | 481 3335 | 11 | 25 68.48/68.50 c 63.6s | 20 | 1664069 | 666827 | 481 3409 | 11 | 25 70.48/70.50 c 65.6s | 20 | 1714948 | 686727 | 481 3489 | 11 | 25 72.48/72.51 c 67.6s | 20 | 1764712 | 707427 | 481 3574 | 11 | 25 74.47/74.52 c 69.6s | 20 | 1817584 | 727227 | 481 3654 | 11 | 25 76.47/76.52 c 71.6s | 20 | 1868846 | 747827 | 481 3738 | 11 | 25 78.47/78.53 c 73.6s | 20 | 1917059 | 767727 | 481 3819 | 11 | 25 80.47/80.54 c 75.6s | 20 | 1967445 | 787927 | 481 3902 | 11 | 25 82.47/82.54 c 77.6s | 20 | 2016465 | 808027 | 481 3983 | 11 | 25 84.47/84.54 c 79.6s | 20 | 2068226 | 828927 | 481 4069 | 11 | 25 86.08/86.13 c 81.2s | 20 | 2108106 | 845222 | 481 4135 | 11 | 25 86.08/86.13 c #cpu_time = 81.216s 86.08/86.13 c #wall_clock_time = 81.214s 86.08/86.13 c #decision = 2108106 86.08/86.13 c #random_decision = 10367 86.08/86.13 c #conflict = 845222 86.08/86.13 c #restart = 20 86.08/86.13 o 9 86.08/86.13 c BCD2: updating upper bound: 10 -> 8 86.08/86.13 c BCD2: 5 <= obj <= 8 86.08/86.13 c BCD2: #cores=1, #unrelaxed=0, #relaxed=100, #hardened=0 86.08/86.13 c BCD2: #sat=4 #unsat=6 bias=6/10 86.08/86.13 c Solving starts ... 86.08/86.13 c ============================[ Search Statistics ]============================ 86.08/86.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 86.08/86.13 c | | | | Limit GC | Var | Constra 86.08/86.13 c ============================================================================= 86.08/86.13 c 0.0s | 0 | 0 | 0 | 481 0 | 11 | 27 86.08/86.14 c 0.0s | 1 | 244 | 100 | 481 0 | 11 | 27 86.08/86.16 c 0.0s | 2 | 678 | 250 | 481 1 | 11 | 27 86.08/86.18 c 0.0s | 3 | 1156 | 475 | 481 2 | 11 | 27 86.18/86.21 c 0.1s | 4 | 1922 | 813 | 481 3 | 11 | 27 86.18/86.26 c 0.1s | 5 | 3395 | 1320 | 481 5 | 11 | 27 86.28/86.34 c 0.2s | 6 | 5401 | 2081 | 481 8 | 11 | 27 86.38/86.45 c 0.3s | 7 | 8454 | 3223 | 481 13 | 11 | 27 86.58/86.61 c 0.5s | 8 | 12538 | 4936 | 481 20 | 11 | 27 86.77/86.85 c 0.7s | 9 | 18331 | 7506 | 481 30 | 11 | 27 87.17/87.20 c 1.1s | 10 | 28099 | 11361 | 481 46 | 11 | 27 87.67/87.72 c 1.6s | 11 | 42887 | 17144 | 481 69 | 11 | 27 88.37/88.49 c 2.4s | 12 | 64937 | 25819 | 481 104 | 11 | 27 89.57/89.60 c 3.5s | 13 | 97131 | 38832 | 481 157 | 11 | 27 91.28/91.35 c 5.2s | 14 | 145445 | 58352 | 481 236 | 11 | 27 93.27/93.35 c 7.2s | 14 | 200735 | 81452 | 481 330 | 11 | 27 93.87/93.91 c 7.8s | 15 | 215409 | 87632 | 481 355 | 11 | 27 95.87/95.92 c 9.8s | 15 | 271952 | 110032 | 530 443 | 11 | 27 97.77/97.85 c 11.7s | 16 | 326240 | 131552 | 530 523 | 11 | 27 99.77/99.86 c 13.7s | 16 | 382834 | 153452 | 530 604 | 11 | 27 101.77/101.86 c 15.7s | 16 | 444137 | 176752 | 530 690 | 11 | 27 103.57/103.61 c 17.5s | 17 | 496373 | 197432 | 530 767 | 11 | 27 105.58/105.62 c 19.5s | 17 | 547552 | 218332 | 530 844 | 11 | 27 107.56/107.62 c 21.5s | 17 | 600866 | 239832 | 530 923 | 11 | 27 109.57/109.63 c 23.5s | 17 | 654484 | 261432 | 530 1003 | 11 | 27 111.57/111.64 c 25.5s | 17 | 708175 | 282832 | 530 1082 | 11 | 27 112.77/112.87 c 26.7s | 18 | 743133 | 296252 | 530 1132 | 11 | 27 114.76/114.87 c 28.7s | 18 | 793497 | 317152 | 530 1209 | 11 | 27 116.77/116.88 c 30.7s | 18 | 845287 | 338352 | 530 1288 | 11 | 27 118.77/118.88 c 32.8s | 18 | 898423 | 359752 | 530 1367 | 11 | 27 120.76/120.89 c 34.8s | 18 | 951950 | 381152 | 530 1446 | 11 | 27 122.76/122.90 c 36.8s | 18 | 1001361 | 402352 | 530 1525 | 11 | 27 124.86/124.90 c 38.8s | 18 | 1053553 | 424252 | 530 1606 | 11 | 27 126.76/126.80 c 40.7s | 19 | 1101511 | 444482 | 530 1682 | 11 | 27 128.78/128.81 c 42.7s | 19 | 1155650 | 466282 | 530 1762 | 11 | 27 130.77/130.81 c 44.7s | 19 | 1210423 | 488482 | 530 1844 | 11 | 27 132.77/132.81 c 46.7s | 19 | 1264343 | 509982 | 530 1924 | 11 | 27 134.77/134.82 c 48.7s | 19 | 1317797 | 531782 | 530 2004 | 11 | 27 136.77/136.82 c 50.7s | 19 | 1366773 | 553082 | 530 2083 | 11 | 27 138.77/138.83 c 52.7s | 19 | 1418824 | 574382 | 530 2162 | 11 | 27 140.77/140.83 c 54.7s | 19 | 1473456 | 596282 | 530 2243 | 11 | 27 142.76/142.84 c 56.7s | 19 | 1525064 | 618082 | 583 2318 | 11 | 27 144.77/144.84 c 58.7s | 19 | 1578751 | 640082 | 583 2393 | 11 | 27 146.76/146.85 c 60.7s | 19 | 1629098 | 661882 | 583 2467 | 11 | 27 147.26/147.31 c 61.2s | 20 | 1640947 | 666827 | 583 2484 | 11 | 27 149.26/149.31 c 63.2s | 20 | 1692195 | 688027 | 583 2555 | 11 | 27 151.26/151.32 c 65.2s | 20 | 1744357 | 709327 | 583 2627 | 11 | 27 153.26/153.33 c 67.2s | 20 | 1796431 | 730627 | 583 2699 | 11 | 27 155.26/155.33 c 69.2s | 20 | 1847705 | 751827 | 583 2771 | 11 | 27 157.26/157.34 c 71.2s | 20 | 1896811 | 772527 | 583 2840 | 11 | 27 159.26/159.35 c 73.2s | 20 | 1948040 | 793927 | 583 2913 | 11 | 27 161.26/161.36 c 75.2s | 20 | 1998744 | 815527 | 583 2986 | 11 | 27 163.26/163.36 c 77.2s | 20 | 2050279 | 837327 | 583 3060 | 11 | 27 165.26/165.37 c 79.2s | 20 | 2104458 | 859627 | 583 3136 | 11 | 27 167.27/167.37 c 81.2s | 20 | 2157861 | 882027 | 583 3212 | 11 | 27 169.26/169.37 c 83.2s | 20 | 2207203 | 903927 | 583 3287 | 11 | 27 171.26/171.38 c 85.3s | 20 | 2257236 | 925927 | 583 3362 | 11 | 27 173.26/173.39 c 87.3s | 20 | 2306809 | 948027 | 583 3438 | 11 | 27 175.26/175.39 c 89.3s | 20 | 2357672 | 969427 | 583 3511 | 11 | 27 177.26/177.39 c 91.3s | 20 | 2406794 | 989827 | 583 3580 | 11 | 27 178.36/178.43 c 92.3s | 21 | 2431843 | 1000345 | 583 3615 | 11 | 27 180.36/180.43 c 94.3s | 21 | 2479168 | 1020445 | 583 3683 | 11 | 27 182.36/182.43 c 96.3s | 21 | 2529409 | 1040745 | 583 3751 | 11 | 27 184.36/184.43 c 98.3s | 21 | 2581945 | 1061845 | 583 3822 | 11 | 27 186.36/186.44 c 100s | 21 | 2633299 | 1083145 | 583 3894 | 11 | 27 188.35/188.44 c 102s | 21 | 2687332 | 1104345 | 583 3966 | 11 | 27 190.36/190.45 c 104s | 21 | 2739671 | 1125445 | 583 4037 | 11 | 27 192.35/192.45 c 106s | 21 | 2791099 | 1147045 | 583 4111 | 11 | 27 194.35/194.46 c 108s | 21 | 2842908 | 1168145 | 583 4183 | 11 | 27 196.35/196.46 c 110s | 21 | 2892100 | 1189045 | 583 4253 | 11 | 27 198.35/198.47 c 112s | 21 | 2942478 | 1210245 | 583 4326 | 11 | 27 200.35/200.48 c 114s | 21 | 2992812 | 1231445 | 583 4398 | 11 | 27 202.36/202.48 c 116s | 21 | 3043068 | 1252445 | 583 4469 | 11 | 27 204.36/204.48 c 118s | 21 | 3093048 | 1273445 | 583 4541 | 11 | 27 206.36/206.49 c 120s | 21 | 3142561 | 1295145 | 583 4615 | 11 | 27 208.35/208.49 c 122s | 21 | 3191445 | 1316545 | 583 4688 | 11 | 27 210.45/210.50 c 124s | 21 | 3240080 | 1338245 | 583 4763 | 11 | 27 212.45/212.51 c 126s | 21 | 3288659 | 1359645 | 642 4832 | 11 | 27 214.46/214.51 c 128s | 21 | 3337094 | 1379545 | 642 4893 | 11 | 27 216.45/216.51 c 130s | 21 | 3386162 | 1400145 | 642 4956 | 11 | 27 218.45/218.52 c 132s | 21 | 3434380 | 1419245 | 642 5014 | 11 | 27 220.45/220.52 c 134s | 21 | 3481263 | 1438645 | 642 5074 | 11 | 27 222.45/222.52 c 136s | 21 | 3526864 | 1457845 | 642 5133 | 11 | 27 224.45/224.52 c 138s | 21 | 3574358 | 1477345 | 642 5193 | 11 | 27 226.45/226.52 c 140s | 21 | 3620746 | 1496845 | 642 5253 | 11 | 27 226.85/226.92 c 140s | 22 | 3630150 | 1500622 | 642 5264 | 11 | 27 228.85/228.92 c 142s | 22 | 3679717 | 1520722 | 642 5326 | 11 | 27 230.85/230.93 c 144s | 22 | 3725018 | 1540422 | 642 5386 | 11 | 27 232.85/232.93 c 146s | 22 | 3774806 | 1560922 | 642 5449 | 11 | 27 234.85/234.93 c 148s | 22 | 3830621 | 1582222 | 642 5514 | 11 | 27 236.85/236.93 c 150s | 22 | 3884048 | 1603622 | 642 5580 | 11 | 27 238.85/238.94 c 152s | 22 | 3935989 | 1625322 | 642 5647 | 11 | 27 240.86/240.95 c 154s | 22 | 3988069 | 1646422 | 642 5712 | 11 | 27 242.85/242.96 c 156s | 22 | 4042211 | 1668222 | 642 5779 | 11 | 27 244.84/244.96 c 158s | 22 | 4095503 | 1689422 | 642 5844 | 11 | 27 246.84/246.96 c 160s | 22 | 4147675 | 1710722 | 642 5910 | 11 | 27 248.84/248.96 c 162s | 22 | 4202428 | 1732122 | 642 5975 | 11 | 27 250.85/250.97 c 164s | 22 | 4254410 | 1753222 | 642 6041 | 11 | 27 252.84/252.98 c 166s | 22 | 4305973 | 1774122 | 642 6105 | 11 | 27 254.85/254.98 c 168s | 22 | 4357092 | 1795322 | 642 6171 | 11 | 27 256.85/256.99 c 170s | 22 | 4410497 | 1816922 | 642 6238 | 11 | 27 258.84/258.99 c 172s | 22 | 4459840 | 1837222 | 642 6300 | 11 | 27 260.84/260.99 c 174s | 22 | 4513063 | 1858522 | 642 6365 | 11 | 27 262.85/263.00 c 176s | 22 | 4564627 | 1879622 | 642 6430 | 11 | 27 264.95/265.00 c 178s | 22 | 4615906 | 1900622 | 642 6495 | 11 | 27 266.94/267.01 c 180s | 22 | 4666798 | 1921522 | 642 6559 | 11 | 27 268.94/269.01 c 182s | 22 | 4718705 | 1942222 | 642 6623 | 11 | 27 270.94/271.01 c 184s | 22 | 4773016 | 1963722 | 642 6689 | 11 | 27 272.94/273.01 c 186s | 22 | 4824158 | 1984822 | 642 6754 | 11 | 27 274.95/275.02 c 188s | 22 | 4873329 | 2005222 | 642 6817 | 11 | 27 276.94/277.02 c 190s | 22 | 4922126 | 2026522 | 642 6883 | 11 | 27 278.94/279.02 c 192s | 22 | 4973260 | 2047622 | 642 6948 | 11 | 27 280.94/281.02 c 194s | 22 | 5022135 | 2068822 | 642 7014 | 11 | 27 282.94/283.03 c 196s | 22 | 5073013 | 2090322 | 642 7081 | 11 | 27 284.94/285.04 c 198s | 22 | 5123681 | 2110622 | 642 7143 | 11 | 27 286.95/287.04 c 200s | 22 | 5175150 | 2132322 | 642 7210 | 11 | 27 288.94/289.05 c 202s | 22 | 5226688 | 2153822 | 642 7276 | 11 | 27 290.94/291.05 c 204s | 22 | 5276940 | 2174922 | 642 7341 | 11 | 27 292.94/293.05 c 206s | 22 | 5329574 | 2196622 | 642 7407 | 11 | 27 294.94/295.06 c 208s | 22 | 5378620 | 2218322 | 642 7474 | 11 | 27 296.95/297.06 c 210s | 22 | 5430527 | 2240322 | 642 7543 | 11 | 27 297.94/298.04 c 211s | 23 | 5455292 | 2251038 | 642 7576 | 11 | 27 299.94/300.04 c 213s | 23 | 5504276 | 2271338 | 642 7638 | 11 | 27 301.94/302.04 c 215s | 23 | 5556227 | 2292338 | 642 7702 | 11 | 27 303.94/304.05 c 217s | 23 | 5608738 | 2313738 | 642 7768 | 11 | 27 305.94/306.05 c 219s | 23 | 5659075 | 2335138 | 642 7834 | 11 | 27 307.94/308.05 c 221s | 23 | 5710434 | 2356038 | 642 7898 | 11 | 27 309.93/310.05 c 223s | 23 | 5764624 | 2377638 | 642 7964 | 11 | 27 311.93/312.06 c 225s | 23 | 5816216 | 2399238 | 642 8031 | 11 | 27 313.93/314.07 c 227s | 23 | 5871253 | 2420838 | 642 8098 | 11 | 27 315.93/316.08 c 229s | 23 | 5920860 | 2442038 | 642 8164 | 11 | 27 317.94/318.09 c 231s | 23 | 5972821 | 2463838 | 707 8230 | 11 | 27 319.94/320.09 c 233s | 23 | 6024228 | 2485538 | 707 8291 | 11 | 27 321.94/322.09 c 235s | 23 | 6077477 | 2507838 | 707 8355 | 11 | 27 323.94/324.09 c 237s | 23 | 6125333 | 2528738 | 707 8414 | 11 | 27 326.04/326.10 c 239s | 23 | 6170887 | 2549438 | 707 8472 | 11 | 27 328.04/328.10 c 241s | 23 | 6220852 | 2570138 | 707 8530 | 11 | 27 329.94/330.10 c 243s | 23 | 6273688 | 2591638 | 707 8590 | 11 | 27 332.04/332.11 c 245s | 23 | 6322102 | 2611538 | 707 8646 | 11 | 27 334.04/334.11 c 247s | 23 | 6370507 | 2631338 | 707 8701 | 11 | 27 336.03/336.12 c 249s | 23 | 6419132 | 2651738 | 707 8758 | 11 | 27 338.03/338.12 c 251s | 23 | 6467517 | 2672238 | 707 8815 | 11 | 27 340.03/340.12 c 253s | 23 | 6518310 | 2693438 | 707 8875 | 11 | 27 342.04/342.12 c 255s | 23 | 6567191 | 2714038 | 707 8932 | 11 | 27 344.03/344.13 c 257s | 23 | 6616947 | 2734838 | 707 8991 | 11 | 27 346.03/346.13 c 259s | 23 | 6668332 | 2755938 | 707 9050 | 11 | 27 348.03/348.13 c 262s | 23 | 6716666 | 2776538 | 707 9108 | 11 | 27 350.03/350.14 c 264s | 23 | 6765188 | 2797838 | 707 9168 | 11 | 27 352.04/352.14 c 266s | 23 | 6814099 | 2818638 | 707 9226 | 11 | 27 354.03/354.14 c 268s | 23 | 6864047 | 2839738 | 707 9286 | 11 | 27 356.03/356.15 c 270s | 23 | 6910914 | 2859938 | 707 9343 | 11 | 27 358.03/358.16 c 272s | 23 | 6960950 | 2879838 | 707 9398 | 11 | 27 360.03/360.16 c 274s | 23 | 7008185 | 2899538 | 707 9453 | 11 | 27 362.03/362.17 c 276s | 23 | 7054813 | 2919838 | 707 9510 | 11 | 27 364.03/364.17 c 278s | 23 | 7103353 | 2939738 | 707 9566 | 11 | 27 366.02/366.18 c 280s | 23 | 7151424 | 2959738 | 707 9622 | 11 | 27 368.02/368.19 c 282s | 23 | 7200092 | 2979838 | 707 9678 | 11 | 27 370.02/370.19 c 284s | 23 | 7249468 | 3000438 | 707 9736 | 11 | 27 372.13/372.20 c 286s | 23 | 7298029 | 3020638 | 707 9793 | 11 | 27 374.13/374.21 c 288s | 23 | 7343992 | 3040938 | 707 9849 | 11 | 27 376.14/376.21 c 290s | 23 | 7390906 | 3061238 | 707 9906 | 11 | 27 378.13/378.22 c 292s | 23 | 7434437 | 3081138 | 707 9962 | 11 | 27 380.13/380.22 c 294s | 23 | 7482498 | 3101738 | 707 10021 | 11 | 27 382.13/382.23 c 296s | 23 | 7529540 | 3122438 | 707 10079 | 11 | 27 384.13/384.23 c 298s | 23 | 7573294 | 3142438 | 707 10136 | 11 | 27 386.13/386.24 c 300s | 23 | 7624612 | 3162238 | 707 10191 | 11 | 27 388.13/388.25 c 302s | 23 | 7674627 | 3182738 | 707 10249 | 11 | 27 390.12/390.26 c 304s | 23 | 7726474 | 3203438 | 707 10307 | 11 | 27 392.12/392.26 c 306s | 23 | 7780899 | 3224838 | 707 10367 | 11 | 27 394.12/394.27 c 308s | 23 | 7832181 | 3245938 | 707 10426 | 11 | 27 396.12/396.27 c 310s | 23 | 7882608 | 3266538 | 707 10484 | 11 | 27 398.13/398.28 c 312s | 23 | 7931978 | 3287038 | 707 10541 | 11 | 27 400.12/400.29 c 314s | 23 | 7981689 | 3307938 | 707 10600 | 11 | 27 402.12/402.29 c 316s | 23 | 8029370 | 3328438 | 707 10658 | 11 | 27 404.22/404.30 c 318s | 23 | 8078147 | 3349638 | 707 10718 | 11 | 27 406.22/406.30 c 320s | 23 | 8130088 | 3370738 | 707 10777 | 11 | 27 406.73/406.88 c 320s | 24 | 8144182 | 3376662 | 707 10794 | 11 | 27 408.73/408.89 c 322s | 24 | 8195445 | 3397462 | 707 10852 | 11 | 27 410.73/410.89 c 324s | 24 | 8246237 | 3417662 | 707 10908 | 11 | 27 412.82/412.90 c 326s | 24 | 8297641 | 3438062 | 707 10965 | 11 | 27 414.82/414.91 c 328s | 24 | 8348924 | 3459262 | 707 11024 | 11 | 27 416.83/416.91 c 330s | 24 | 8399982 | 3479762 | 707 11081 | 11 | 27 418.82/418.91 c 332s | 24 | 8451233 | 3500662 | 707 11140 | 11 | 27 420.82/420.92 c 334s | 24 | 8497430 | 3520262 | 707 11194 | 11 | 27 422.82/422.92 c 336s | 24 | 8546620 | 3541062 | 707 11252 | 11 | 27 424.82/424.92 c 338s | 24 | 8597624 | 3562262 | 707 11312 | 11 | 27 426.83/426.93 c 340s | 24 | 8651290 | 3584362 | 707 11374 | 11 | 27 428.82/428.93 c 342s | 24 | 8704053 | 3606162 | 707 11435 | 11 | 27 430.82/430.94 c 344s | 24 | 8755775 | 3628062 | 707 11497 | 11 | 27 432.82/432.94 c 346s | 24 | 8806755 | 3649662 | 707 11558 | 11 | 27 434.82/434.95 c 348s | 24 | 8855788 | 3670262 | 707 11616 | 11 | 27 436.82/436.96 c 350s | 24 | 8905032 | 3690762 | 707 11673 | 11 | 27 438.82/438.97 c 352s | 24 | 8953812 | 3711262 | 707 11730 | 11 | 27 440.81/440.98 c 354s | 24 | 9007695 | 3732562 | 707 11790 | 11 | 27 442.81/442.99 c 356s | 24 | 9059411 | 3752962 | 707 11846 | 11 | 27 444.81/444.99 c 358s | 24 | 9110940 | 3774362 | 707 11906 | 11 | 27 446.82/446.99 c 360s | 24 | 9161499 | 3794662 | 707 11963 | 11 | 27 448.83/448.99 c 362s | 24 | 9211883 | 3815462 | 707 12022 | 11 | 27 450.82/451.00 c 364s | 24 | 9261855 | 3836162 | 707 12080 | 11 | 27 452.92/453.00 c 366s | 24 | 9315484 | 3856962 | 707 12138 | 11 | 27 454.92/455.00 c 368s | 24 | 9369888 | 3878562 | 707 12199 | 11 | 27 456.92/457.01 c 370s | 24 | 9420365 | 3898662 | 707 12255 | 11 | 27 458.92/459.01 c 372s | 24 | 9469505 | 3919262 | 707 12313 | 11 | 27 460.92/461.02 c 374s | 24 | 9520422 | 3940062 | 707 12372 | 11 | 27 462.92/463.02 c 376s | 24 | 9567136 | 3959862 | 707 12427 | 11 | 27 464.92/465.03 c 378s | 24 | 9616676 | 3980462 | 707 12486 | 11 | 27 466.91/467.03 c 380s | 24 | 9665031 | 4000762 | 707 12543 | 11 | 27 468.91/469.04 c 382s | 24 | 9713051 | 4021162 | 707 12601 | 11 | 27 470.91/471.05 c 384s | 24 | 9761744 | 4041462 | 707 12657 | 11 | 27 472.92/473.05 c 386s | 24 | 9815869 | 4062762 | 707 12717 | 11 | 27 474.91/475.05 c 388s | 24 | 9867056 | 4084062 | 707 12776 | 11 | 27 476.91/477.06 c 390s | 24 | 9919602 | 4105562 | 707 12837 | 11 | 27 478.91/479.06 c 392s | 24 | 9970742 | 4126862 | 707 12896 | 11 | 27 480.91/481.07 c 394s | 24 | 10023971 | 4148562 | 778 12954 | 11 | 27 482.92/483.07 c 396s | 24 | 10073156 | 4169162 | 778 13007 | 11 | 27 484.91/485.07 c 398s | 24 | 10123022 | 4190462 | 778 13061 | 11 | 27 486.91/487.08 c 400s | 24 | 10171912 | 4210862 | 778 13113 | 11 | 27 488.91/489.08 c 402s | 24 | 10224804 | 4232062 | 778 13168 | 11 | 27 490.91/491.09 c 404s | 24 | 10275450 | 4253362 | 778 13222 | 11 | 27 493.01/493.10 c 406s | 24 | 10323679 | 4273662 | 778 13274 | 11 | 27 494.92/495.10 c 408s | 24 | 10376663 | 4294562 | 778 13327 | 11 | 27 497.01/497.10 c 410s | 24 | 10428038 | 4314462 | 778 13378 | 11 | 27 499.01/499.10 c 412s | 24 | 10480068 | 4335062 | 778 13430 | 11 | 27 501.01/501.11 c 414s | 24 | 10529967 | 4355962 | 778 13484 | 11 | 27 503.00/503.11 c 416s | 24 | 10580284 | 4375662 | 778 13534 | 11 | 27 505.01/505.12 c 418s | 24 | 10633220 | 4396762 | 778 13587 | 11 | 27 507.01/507.12 c 420s | 24 | 10684382 | 4417762 | 778 13641 | 11 | 27 509.01/509.13 c 422s | 24 | 10734200 | 4437962 | 778 13693 | 11 | 27 511.01/511.13 c 425s | 24 | 10784094 | 4458862 | 778 13746 | 11 | 27 513.00/513.13 c 427s | 24 | 10834343 | 4479362 | 778 13799 | 11 | 27 515.01/515.14 c 429s | 24 | 10881267 | 4499562 | 778 13850 | 11 | 27 517.02/517.14 c 431s | 24 | 10929863 | 4519662 | 778 13902 | 11 | 27 519.00/519.15 c 433s | 24 | 10977815 | 4539662 | 778 13953 | 11 | 27 521.00/521.15 c 435s | 24 | 11026496 | 4560062 | 778 14005 | 11 | 27 523.00/523.15 c 437s | 24 | 11072612 | 4580162 | 778 14056 | 11 | 27 525.01/525.16 c 439s | 24 | 11121134 | 4600362 | 778 14107 | 11 | 27 527.01/527.16 c 441s | 24 | 11171578 | 4620862 | 778 14160 | 11 | 27 529.01/529.17 c 443s | 24 | 11221858 | 4641362 | 778 14212 | 11 | 27 531.00/531.18 c 445s | 24 | 11271922 | 4661962 | 778 14265 | 11 | 27 533.00/533.19 c 447s | 24 | 11318455 | 4681862 | 778 14316 | 11 | 27 535.01/535.19 c 449s | 24 | 11365804 | 4701762 | 778 14367 | 11 | 27 537.00/537.19 c 451s | 24 | 11412357 | 4722362 | 778 14420 | 11 | 27 539.11/539.20 c 453s | 24 | 11458870 | 4743462 | 778 14474 | 11 | 27 541.11/541.20 c 455s | 24 | 11509703 | 4764562 | 778 14527 | 11 | 27 543.10/543.21 c 457s | 24 | 11563527 | 4786062 | 778 14582 | 11 | 27 545.10/545.22 c 459s | 24 | 11615546 | 4807162 | 778 14636 | 11 | 27 547.10/547.22 c 461s | 24 | 11666603 | 4828662 | 778 14691 | 11 | 27 549.10/549.23 c 463s | 24 | 11716520 | 4849862 | 778 14746 | 11 | 27 551.11/551.24 c 465s | 24 | 11766949 | 4870862 | 778 14799 | 11 | 27 553.10/553.25 c 467s | 24 | 11816522 | 4891862 | 778 14853 | 11 | 27 555.10/555.26 c 469s | 24 | 11866284 | 4913062 | 778 14908 | 11 | 27 557.10/557.26 c 471s | 24 | 11915704 | 4933462 | 778 14960 | 11 | 27 559.10/559.27 c 473s | 24 | 11965492 | 4954862 | 778 15015 | 11 | 27 561.10/561.27 c 475s | 24 | 12013417 | 4974662 | 778 15066 | 11 | 27 563.10/563.28 c 477s | 24 | 12062631 | 4995362 | 778 15119 | 11 | 27 565.10/565.29 c 479s | 24 | 12108689 | 5015562 | 778 15170 | 11 | 27 567.09/567.29 c 481s | 24 | 12154304 | 5035462 | 778 15221 | 11 | 27 569.20/569.30 c 483s | 24 | 12202067 | 5055862 | 778 15273 | 11 | 27 570.10/570.23 c 484s | 25 | 12222710 | 5065098 | 778 15297 | 11 | 27 572.09/572.23 c 486s | 25 | 12266764 | 5084398 | 778 15346 | 11 | 27 574.10/574.23 c 488s | 25 | 12314498 | 5104298 | 778 15397 | 11 | 27 576.10/576.23 c 490s | 25 | 12362174 | 5124498 | 778 15448 | 11 | 27 578.10/578.24 c 492s | 25 | 12408033 | 5144798 | 778 15500 | 11 | 27 580.09/580.24 c 494s | 25 | 12453363 | 5164598 | 778 15550 | 11 | 27 582.09/582.25 c 496s | 25 | 12498712 | 5184498 | 778 15602 | 11 | 27 584.10/584.25 c 498s | 25 | 12547515 | 5205598 | 778 15655 | 11 | 27 586.10/586.26 c 500s | 25 | 12599396 | 5225998 | 778 15707 | 11 | 27 588.10/588.26 c 502s | 25 | 12651903 | 5246898 | 778 15760 | 11 | 27 590.10/590.26 c 504s | 25 | 12703487 | 5267498 | 778 15813 | 11 | 27 592.09/592.26 c 506s | 25 | 12754984 | 5287998 | 778 15865 | 11 | 27 594.09/594.27 c 508s | 25 | 12807180 | 5308698 | 778 15917 | 11 | 27 596.10/596.28 c 510s | 25 | 12857788 | 5329498 | 778 15970 | 11 | 27 598.09/598.28 c 512s | 25 | 12910683 | 5350698 | 778 16024 | 11 | 27 600.09/600.28 c 514s | 25 | 12963487 | 5372198 | 778 16079 | 11 | 27 602.09/602.28 c 516s | 25 | 13015896 | 5394098 | 778 16135 | 11 | 27 604.09/604.29 c 518s | 25 | 13065669 | 5415498 | 778 16190 | 11 | 27 606.19/606.30 c 520s | 25 | 13115729 | 5435998 | 778 16243 | 11 | 27 608.20/608.31 c 522s | 25 | 13166647 | 5456398 | 778 16295 | 11 | 27 610.19/610.31 c 524s | 25 | 13216592 | 5476998 | 778 16347 | 11 | 27 612.19/612.31 c 526s | 25 | 13268217 | 5498098 | 778 16401 | 11 | 27 614.19/614.31 c 528s | 25 | 13318882 | 5519098 | 778 16454 | 11 | 27 616.19/616.32 c 530s | 25 | 13368765 | 5539798 | 778 16507 | 11 | 27 618.19/618.33 c 532s | 25 | 13415829 | 5558898 | 778 16556 | 11 | 27 620.19/620.33 c 534s | 25 | 13464841 | 5579298 | 778 16608 | 11 | 27 622.19/622.33 c 536s | 25 | 13514892 | 5600398 | 778 16662 | 11 | 27 624.18/624.33 c 538s | 25 | 13566469 | 5621598 | 778 16716 | 11 | 27 626.18/626.34 c 540s | 25 | 13616226 | 5642698 | 778 16770 | 11 | 27 628.18/628.34 c 542s | 25 | 13669422 | 5664598 | 778 16826 | 11 | 27 630.20/630.35 c 544s | 25 | 13717922 | 5685498 | 778 16880 | 11 | 27 632.19/632.36 c 546s | 25 | 13764784 | 5705998 | 778 16932 | 11 | 27 634.19/634.36 c 548s | 25 | 13815824 | 5726498 | 778 16984 | 11 | 27 636.19/636.37 c 550s | 25 | 13866780 | 5747398 | 778 17037 | 11 | 27 638.19/638.37 c 552s | 25 | 13915274 | 5767998 | 778 17089 | 11 | 27 640.19/640.37 c 554s | 25 | 13964297 | 5787998 | 778 17140 | 11 | 27 642.18/642.38 c 556s | 25 | 14013048 | 5808398 | 778 17192 | 11 | 27 644.18/644.39 c 558s | 25 | 14065977 | 5829898 | 778 17247 | 11 | 27 646.19/646.39 c 560s | 25 | 14116993 | 5851298 | 778 17302 | 11 | 27 648.28/648.40 c 562s | 25 | 14165055 | 5871298 | 778 17353 | 11 | 27 650.28/650.40 c 564s | 25 | 14211891 | 5890898 | 778 17403 | 11 | 27 652.28/652.41 c 566s | 25 | 14256661 | 5909798 | 778 17451 | 11 | 27 654.28/654.42 c 568s | 25 | 14300644 | 5928298 | 778 17498 | 11 | 27 656.27/656.42 c 570s | 25 | 14348847 | 5947598 | 778 17547 | 11 | 27 658.27/658.43 c 572s | 25 | 14395024 | 5966898 | 778 17596 | 11 | 27 660.28/660.44 c 574s | 25 | 14438855 | 5985798 | 778 17644 | 11 | 27 662.28/662.44 c 576s | 25 | 14483221 | 6004798 | 778 17693 | 11 | 27 664.28/664.45 c 578s | 25 | 14527730 | 6024098 | 778 17742 | 11 | 27 666.28/666.45 c 580s | 25 | 14572267 | 6043398 | 778 17792 | 11 | 27 668.28/668.46 c 582s | 25 | 14615055 | 6062698 | 778 17842 | 11 | 27 670.28/670.46 c 584s | 25 | 14662700 | 6082598 | 778 17892 | 11 | 27 672.27/672.46 c 586s | 25 | 14711456 | 6103298 | 778 17945 | 11 | 27 674.28/674.47 c 588s | 25 | 14762420 | 6123998 | 778 17998 | 11 | 27 676.27/676.47 c 590s | 25 | 14814981 | 6144598 | 778 18050 | 11 | 27 678.27/678.48 c 592s | 25 | 14866701 | 6165598 | 778 18104 | 11 | 27 680.27/680.48 c 594s | 25 | 14916432 | 6186798 | 778 18158 | 11 | 27 682.27/682.48 c 596s | 25 | 14966634 | 6207898 | 778 18212 | 11 | 27 684.27/684.48 c 598s | 25 | 15016513 | 6228998 | 778 18267 | 11 | 27 686.28/686.49 c 600s | 25 | 15064645 | 6249298 | 778 18319 | 11 | 27 688.27/688.49 c 602s | 25 | 15112844 | 6269598 | 778 18370 | 11 | 27 690.37/690.50 c 604s | 25 | 15162399 | 6290098 | 778 18423 | 11 | 27 692.36/692.51 c 606s | 25 | 15211367 | 6310398 | 778 18474 | 11 | 27 694.37/694.51 c 608s | 25 | 15261522 | 6331098 | 778 18527 | 11 | 27 696.37/696.52 c 610s | 25 | 15312463 | 6352498 | 778 18582 | 11 | 27 698.37/698.52 c 612s | 25 | 15361171 | 6373398 | 778 18636 | 11 | 27 700.36/700.52 c 614s | 25 | 15410432 | 6394298 | 778 18690 | 11 | 27 702.36/702.53 c 616s | 25 | 15459392 | 6415598 | 778 18745 | 11 | 27 704.36/704.53 c 618s | 25 | 15507298 | 6435998 | 778 18797 | 11 | 27 706.36/706.53 c 620s | 25 | 15558048 | 6456698 | 778 18850 | 11 | 27 708.37/708.54 c 622s | 25 | 15605518 | 6476598 | 778 18901 | 11 | 27 710.36/710.55 c 624s | 25 | 15655329 | 6497198 | 778 18953 | 11 | 27 712.36/712.56 c 626s | 25 | 15702742 | 6517398 | 778 19005 | 11 | 27 714.35/714.56 c 628s | 25 | 15751015 | 6537798 | 778 19058 | 11 | 27 716.36/716.56 c 630s | 25 | 15799506 | 6558698 | 778 19111 | 11 | 27 718.36/718.56 c 632s | 25 | 15846843 | 6579298 | 778 19164 | 11 | 27 720.36/720.57 c 634s | 25 | 15897584 | 6600198 | 778 19218 | 11 | 27 722.35/722.57 c 636s | 25 | 15951872 | 6621598 | 778 19272 | 11 | 27 724.35/724.57 c 638s | 25 | 16001490 | 6642598 | 778 19326 | 11 | 27 726.35/726.58 c 640s | 25 | 16052169 | 6664198 | 856 19379 | 11 | 27 728.35/728.59 c 642s | 25 | 16101697 | 6684998 | 856 19427 | 11 | 27 730.35/730.59 c 644s | 25 | 16151672 | 6705498 | 856 19475 | 11 | 27 732.36/732.60 c 646s | 25 | 16201926 | 6726298 | 856 19523 | 11 | 27 734.46/734.60 c 648s | 25 | 16250394 | 6747498 | 856 19573 | 11 | 27 736.46/736.61 c 650s | 25 | 16300403 | 6768798 | 856 19623 | 11 | 27 738.45/738.61 c 652s | 25 | 16350159 | 6790298 | 856 19673 | 11 | 27 740.45/740.61 c 654s | 25 | 16399619 | 6811398 | 856 19723 | 11 | 27 742.46/742.62 c 656s | 25 | 16452223 | 6832798 | 856 19772 | 11 | 27 744.45/744.62 c 658s | 25 | 16503499 | 6854098 | 856 19822 | 11 | 27 746.45/746.63 c 660s | 25 | 16553515 | 6875398 | 856 19872 | 11 | 27 748.45/748.64 c 662s | 25 | 16603516 | 6896398 | 856 19921 | 11 | 27 750.45/750.64 c 664s | 25 | 16651939 | 6917498 | 856 19970 | 11 | 27 752.44/752.65 c 666s | 25 | 16700861 | 6938598 | 856 20020 | 11 | 27 754.45/754.65 c 668s | 25 | 16746858 | 6959098 | 856 20067 | 11 | 27 756.44/756.66 c 670s | 25 | 16796580 | 6979998 | 856 20116 | 11 | 27 758.45/758.66 c 672s | 25 | 16845988 | 7001098 | 856 20166 | 11 | 27 760.45/760.67 c 674s | 25 | 16891459 | 7021498 | 856 20213 | 11 | 27 762.45/762.67 c 676s | 25 | 16938948 | 7042898 | 856 20263 | 11 | 27 764.45/764.67 c 678s | 25 | 16988097 | 7063898 | 856 20312 | 11 | 27 766.45/766.68 c 680s | 25 | 17037271 | 7084998 | 856 20362 | 11 | 27 768.45/768.68 c 682s | 25 | 17089263 | 7106798 | 856 20413 | 11 | 27 770.44/770.69 c 684s | 25 | 17135759 | 7127398 | 856 20461 | 11 | 27 772.54/772.70 c 686s | 25 | 17182740 | 7147998 | 856 20509 | 11 | 27 774.54/774.70 c 688s | 25 | 17229676 | 7169198 | 856 20559 | 11 | 27 776.45/776.70 c 690s | 25 | 17277850 | 7190498 | 856 20609 | 11 | 27 778.54/778.70 c 692s | 25 | 17328094 | 7212098 | 856 20660 | 11 | 27 780.54/780.71 c 694s | 25 | 17376452 | 7233698 | 856 20711 | 11 | 27 782.54/782.72 c 696s | 25 | 17425396 | 7254998 | 856 20761 | 11 | 27 784.54/784.72 c 698s | 25 | 17471632 | 7275698 | 856 20809 | 11 | 27 786.54/786.72 c 700s | 25 | 17520165 | 7297098 | 856 20860 | 11 | 27 788.54/788.73 c 702s | 25 | 17569541 | 7319098 | 856 20911 | 11 | 27 790.53/790.74 c 704s | 25 | 17618591 | 7340698 | 856 20962 | 11 | 27 792.53/792.74 c 706s | 25 | 17666560 | 7361598 | 856 21011 | 11 | 27 794.53/794.75 c 708s | 25 | 17719902 | 7382198 | 856 21059 | 11 | 27 796.53/796.75 c 710s | 25 | 17770250 | 7402398 | 856 21105 | 11 | 27 798.54/798.75 c 712s | 25 | 17821948 | 7423198 | 856 21153 | 11 | 27 800.53/800.75 c 714s | 25 | 17875323 | 7444398 | 856 21202 | 11 | 27 802.52/802.76 c 716s | 25 | 17930411 | 7466098 | 856 21253 | 11 | 27 804.52/804.76 c 718s | 25 | 17979818 | 7486498 | 856 21300 | 11 | 27 806.52/806.77 c 720s | 25 | 18030730 | 7507698 | 856 21349 | 11 | 27 808.52/808.78 c 722s | 25 | 18082661 | 7528698 | 856 21397 | 11 | 27 810.53/810.78 c 724s | 25 | 18135091 | 7549998 | 856 21447 | 11 | 27 812.52/812.79 c 726s | 25 | 18184542 | 7571098 | 856 21496 | 11 | 27 814.52/814.80 c 728s | 25 | 18235861 | 7592298 | 856 21545 | 11 | 27 815.12/815.34 c 729s | 26 | 18248604 | 7597752 | 856 21558 | 11 | 27 817.13/817.34 c 731s | 26 | 18295535 | 7618052 | 856 21604 | 11 | 27 819.12/819.35 c 733s | 26 | 18345599 | 7638252 | 856 21651 | 11 | 27 821.12/821.35 c 735s | 26 | 18392591 | 7657652 | 856 21695 | 11 | 27 823.12/823.35 c 737s | 26 | 18439279 | 7677452 | 856 21741 | 11 | 27 825.12/825.35 c 739s | 26 | 18487630 | 7697352 | 856 21787 | 11 | 27 827.12/827.36 c 741s | 26 | 18537775 | 7717452 | 856 21833 | 11 | 27 829.12/829.37 c 743s | 26 | 18585537 | 7737952 | 856 21881 | 11 | 27 831.11/831.37 c 745s | 26 | 18635393 | 7758352 | 856 21928 | 11 | 27 833.11/833.38 c 747s | 26 | 18684132 | 7778552 | 856 21975 | 11 | 27 835.11/835.38 c 749s | 26 | 18731708 | 7798852 | 856 22022 | 11 | 27 837.11/837.39 c 751s | 26 | 18781231 | 7819752 | 856 22071 | 11 | 27 839.12/839.40 c 753s | 26 | 18829072 | 7840352 | 856 22119 | 11 | 27 841.20/841.40 c 755s | 26 | 18874554 | 7861152 | 856 22167 | 11 | 27 843.20/843.41 c 757s | 26 | 18924123 | 7881352 | 856 22214 | 11 | 27 845.20/845.42 c 759s | 26 | 18974789 | 7902252 | 856 22262 | 11 | 27 847.20/847.42 c 761s | 26 | 19025479 | 7922852 | 856 22310 | 11 | 27 849.20/849.42 c 763s | 26 | 19076619 | 7943052 | 856 22357 | 11 | 27 851.20/851.44 c 765s | 26 | 19127270 | 7963752 | 856 22404 | 11 | 27 853.20/853.44 c 767s | 26 | 19178192 | 7984252 | 856 22452 | 11 | 27 855.20/855.44 c 769s | 26 | 19230759 | 8004752 | 856 22499 | 11 | 27 857.20/857.45 c 771s | 26 | 19279726 | 8025152 | 856 22546 | 11 | 27 859.19/859.45 c 773s | 26 | 19332953 | 8046152 | 856 22595 | 11 | 27 861.19/861.45 c 775s | 26 | 19385867 | 8067452 | 856 22645 | 11 | 27 863.20/863.46 c 777s | 26 | 19438275 | 8088252 | 856 22693 | 11 | 27 865.20/865.46 c 779s | 26 | 19489555 | 8109052 | 856 22742 | 11 | 27 867.20/867.47 c 781s | 26 | 19535794 | 8129152 | 856 22788 | 11 | 27 869.20/869.48 c 783s | 26 | 19583140 | 8148852 | 856 22834 | 11 | 27 871.19/871.48 c 785s | 26 | 19632418 | 8168652 | 856 22880 | 11 | 27 873.20/873.49 c 787s | 26 | 19684078 | 8189652 | 856 22929 | 11 | 27 875.19/875.49 c 789s | 26 | 19734271 | 8210052 | 856 22976 | 11 | 27 877.19/877.49 c 791s | 26 | 19785555 | 8230752 | 856 23024 | 11 | 27 879.29/879.50 c 793s | 26 | 19834529 | 8250952 | 856 23070 | 11 | 27 881.29/881.50 c 795s | 26 | 19883784 | 8271452 | 856 23118 | 11 | 27 883.28/883.51 c 797s | 26 | 19932111 | 8292152 | 856 23166 | 11 | 27 885.29/885.52 c 799s | 26 | 19979899 | 8312852 | 856 23214 | 11 | 27 887.28/887.53 c 801s | 26 | 20028513 | 8333752 | 856 23263 | 11 | 27 889.29/889.53 c 803s | 26 | 20080437 | 8354352 | 856 23310 | 11 | 27 891.29/891.54 c 805s | 26 | 20130250 | 8374252 | 856 23356 | 11 | 27 893.29/893.54 c 807s | 26 | 20180874 | 8394652 | 856 23403 | 11 | 27 895.29/895.55 c 809s | 26 | 20229510 | 8415252 | 856 23451 | 11 | 27 897.28/897.55 c 811s | 26 | 20279581 | 8436352 | 856 23500 | 11 | 27 899.28/899.56 c 813s | 26 | 20327876 | 8457552 | 856 23549 | 11 | 27 901.28/901.56 c 815s | 26 | 20373117 | 8477852 | 856 23596 | 11 | 27 903.28/903.57 c 817s | 26 | 20420213 | 8498652 | 856 23645 | 11 | 27 905.28/905.58 c 819s | 26 | 20470349 | 8520052 | 856 23694 | 11 | 27 907.29/907.58 c 821s | 26 | 20521056 | 8540852 | 856 23742 | 11 | 27 909.28/909.59 c 823s | 26 | 20572356 | 8562052 | 856 23791 | 11 | 27 911.28/911.59 c 825s | 26 | 20622663 | 8582752 | 856 23839 | 11 | 27 913.28/913.59 c 827s | 26 | 20670381 | 8603552 | 856 23887 | 11 | 27 915.38/915.60 c 829s | 26 | 20719979 | 8624752 | 856 23937 | 11 | 27 917.37/917.61 c 831s | 26 | 20769190 | 8645452 | 856 23985 | 11 | 27 919.38/919.61 c 833s | 26 | 20817972 | 8666652 | 856 24034 | 11 | 27 921.37/921.62 c 835s | 26 | 20868957 | 8686952 | 856 24081 | 11 | 27 923.37/923.62 c 837s | 26 | 20917016 | 8707552 | 856 24129 | 11 | 27 925.37/925.63 c 839s | 26 | 20966614 | 8728452 | 856 24178 | 11 | 27 927.37/927.63 c 841s | 26 | 21017959 | 8749652 | 856 24227 | 11 | 27 929.37/929.64 c 843s | 26 | 21067422 | 8770152 | 856 24274 | 11 | 27 931.36/931.64 c 845s | 26 | 21116859 | 8791252 | 856 24323 | 11 | 27 933.36/933.64 c 847s | 26 | 21166801 | 8812452 | 856 24373 | 11 | 27 935.36/935.65 c 849s | 26 | 21215595 | 8833452 | 856 24422 | 11 | 27 937.36/937.66 c 851s | 26 | 21264941 | 8854552 | 856 24471 | 11 | 27 939.36/939.66 c 853s | 26 | 21312678 | 8875852 | 856 24521 | 11 | 27 941.36/941.67 c 855s | 26 | 21359090 | 8897252 | 856 24571 | 11 | 27 943.36/943.68 c 857s | 26 | 21404178 | 8917152 | 856 24617 | 11 | 27 945.36/945.69 c 859s | 26 | 21450818 | 8936552 | 856 24662 | 11 | 27 947.36/947.69 c 861s | 26 | 21496431 | 8956452 | 856 24708 | 11 | 27 949.36/949.69 c 863s | 26 | 21542945 | 8976652 | 856 24755 | 11 | 27 951.36/951.69 c 865s | 26 | 21587801 | 8996252 | 856 24801 | 11 | 27 953.35/953.70 c 867s | 26 | 21631339 | 9016152 | 856 24847 | 11 | 27 955.46/955.70 c 869s | 26 | 21676975 | 9035752 | 856 24892 | 11 | 27 957.46/957.70 c 871s | 26 | 21724670 | 9055752 | 856 24939 | 11 | 27 959.46/959.70 c 873s | 26 | 21773722 | 9076552 | 856 24987 | 11 | 27 961.46/961.71 c 875s | 26 | 21822341 | 9096752 | 856 25034 | 11 | 27 963.46/963.72 c 877s | 26 | 21868410 | 9117052 | 856 25081 | 11 | 27 965.46/965.72 c 879s | 26 | 21917069 | 9137752 | 856 25129 | 11 | 27 967.46/967.72 c 881s | 26 | 21965094 | 9158452 | 856 25177 | 11 | 27 969.45/969.73 c 883s | 26 | 22014205 | 9179552 | 856 25226 | 11 | 27 971.45/971.73 c 885s | 26 | 22059796 | 9199852 | 856 25274 | 11 | 27 973.45/973.73 c 887s | 26 | 22106049 | 9220452 | 856 25322 | 11 | 27 975.46/975.74 c 889s | 26 | 22154559 | 9241052 | 856 25369 | 11 | 27 977.45/977.74 c 891s | 26 | 22200954 | 9261352 | 856 25417 | 11 | 27 979.45/979.75 c 893s | 26 | 22251112 | 9282152 | 856 25465 | 11 | 27 981.45/981.76 c 895s | 26 | 22298722 | 9302552 | 856 25513 | 11 | 27 983.45/983.76 c 897s | 26 | 22346763 | 9323352 | 856 25561 | 11 | 27 985.45/985.76 c 899s | 26 | 22393431 | 9343852 | 856 25609 | 11 | 27 987.45/987.77 c 901s | 26 | 22442834 | 9364752 | 856 25658 | 11 | 27 989.44/989.78 c 903s | 26 | 22491192 | 9385052 | 856 25705 | 11 | 27 991.44/991.78 c 905s | 26 | 22536896 | 9404952 | 856 25751 | 11 | 27 993.44/993.79 c 907s | 26 | 22583993 | 9425352 | 856 25799 | 11 | 27 995.44/995.79 c 909s | 26 | 22628885 | 9445552 | 856 25846 | 11 | 27 997.55/997.80 c 911s | 26 | 22676399 | 9466152 | 856 25894 | 11 | 27 999.54/999.81 c 913s | 26 | 22725792 | 9487552 | 856 25944 | 11 | 27 1001.54/1001.81 c 915s | 26 | 22773722 | 9508352 | 856 25993 | 11 | 27 1003.54/1003.82 c 917s | 26 | 22820838 | 9529152 | 856 26042 | 11 | 27 1005.54/1005.83 c 919s | 26 | 22866618 | 9549352 | 856 26089 | 11 | 27 1007.54/1007.83 c 921s | 26 | 22912476 | 9569352 | 856 26135 | 11 | 27 1009.54/1009.84 c 923s | 26 | 22959002 | 9589752 | 856 26183 | 11 | 27 1011.54/1011.84 c 925s | 26 | 23005643 | 9610252 | 856 26231 | 11 | 27 1013.53/1013.84 c 927s | 26 | 23049175 | 9630452 | 856 26278 | 11 | 27 1015.53/1015.84 c 929s | 26 | 23094586 | 9650252 | 856 26324 | 11 | 27 1017.53/1017.85 c 931s | 26 | 23142687 | 9669852 | 856 26369 | 11 | 27 1019.54/1019.86 c 933s | 26 | 23190968 | 9689552 | 856 26415 | 11 | 27 1021.53/1021.87 c 935s | 26 | 23241248 | 9709452 | 856 26460 | 11 | 27 1023.53/1023.88 c 937s | 26 | 23291644 | 9729752 | 856 26507 | 11 | 27 1025.53/1025.88 c 939s | 26 | 23341301 | 9750252 | 856 26555 | 11 | 27 1027.53/1027.89 c 941s | 26 | 23392304 | 9769552 | 856 26599 | 11 | 27 1029.53/1029.89 c 943s | 26 | 23439352 | 9788752 | 856 26644 | 11 | 27 1031.53/1031.90 c 945s | 26 | 23490857 | 9808852 | 856 26690 | 11 | 27 1033.63/1033.91 c 947s | 26 | 23538339 | 9828752 | 856 26736 | 11 | 27 1035.62/1035.91 c 949s | 26 | 23583603 | 9848152 | 856 26781 | 11 | 27 1037.62/1037.92 c 951s | 26 | 23629045 | 9868252 | 856 26828 | 11 | 27 1039.62/1039.93 c 953s | 26 | 23674147 | 9888552 | 856 26875 | 11 | 27 1041.62/1041.93 c 955s | 26 | 23720713 | 9908452 | 856 26921 | 11 | 27 1043.63/1043.93 c 957s | 26 | 23770451 | 9928152 | 856 26966 | 11 | 27 1045.62/1045.94 c 959s | 26 | 23817696 | 9948652 | 856 27014 | 11 | 27 1047.62/1047.95 c 961s | 26 | 23861808 | 9967952 | 856 27058 | 11 | 27 1049.62/1049.95 c 963s | 26 | 23907538 | 9987652 | 856 27104 | 11 | 27 1051.62/1051.96 c 965s | 26 | 23955437 | 10007652 | 856 27150 | 11 | 27 1053.62/1053.96 c 967s | 26 | 24004633 | 10028452 | 856 27198 | 11 | 27 1055.61/1055.97 c 969s | 26 | 24052404 | 10048652 | 856 27245 | 11 | 27 1057.61/1057.97 c 971s | 26 | 24099874 | 10068452 | 856 27290 | 11 | 27 1059.61/1059.97 c 973s | 26 | 24145625 | 10087952 | 856 27336 | 11 | 27 1061.61/1061.98 c 975s | 26 | 24189241 | 10107252 | 856 27381 | 11 | 27 1063.61/1063.98 c 977s | 26 | 24233111 | 10126352 | 856 27425 | 11 | 27 1065.62/1065.99 c 979s | 26 | 24278678 | 10146052 | 856 27471 | 11 | 27 1067.61/1067.99 c 981s | 26 | 24323690 | 10165152 | 856 27514 | 11 | 27 1069.71/1070.00 c 983s | 26 | 24367248 | 10183252 | 856 27556 | 11 | 27 1071.71/1072.00 c 985s | 26 | 24412905 | 10201952 | 856 27599 | 11 | 27 1073.71/1074.01 c 987s | 26 | 24457696 | 10220552 | 856 27642 | 11 | 27 1075.71/1076.01 c 989s | 26 | 24503952 | 10239852 | 856 27687 | 11 | 27 1077.72/1078.01 c 991s | 26 | 24549386 | 10258952 | 856 27731 | 11 | 27 1079.71/1080.02 c 993s | 26 | 24594628 | 10278452 | 856 27776 | 11 | 27 1081.71/1082.02 c 995s | 26 | 24643939 | 10298252 | 856 27822 | 11 | 27 1083.71/1084.03 c 997s | 26 | 24692489 | 10318452 | 856 27869 | 11 | 27 1085.71/1086.03 c 999s | 26 | 24739032 | 10337952 | 856 27914 | 11 | 27 1087.71/1088.03 c 1001s | 26 | 24789388 | 10357952 | 856 27960 | 11 | 27 1089.70/1090.04 c 1003s | 26 | 24842587 | 10378652 | 856 28008 | 11 | 27 1091.70/1092.05 c 1005s | 26 | 24894697 | 10398952 | 856 28055 | 11 | 27 1093.70/1094.05 c 1007s | 26 | 24943778 | 10418252 | 856 28099 | 11 | 27 1095.70/1096.06 c 1009s | 26 | 24993219 | 10437852 | 942 28142 | 11 | 27 1097.70/1098.07 c 1011s | 26 | 25037252 | 10457152 | 942 28182 | 11 | 27 1099.70/1100.08 c 1013s | 26 | 25085781 | 10476452 | 942 28223 | 11 | 27 1101.69/1102.08 c 1015s | 26 | 25136344 | 10496252 | 942 28265 | 11 | 27 1103.69/1104.09 c 1017s | 26 | 25184141 | 10515552 | 942 28305 | 11 | 27 1105.69/1106.09 c 1019s | 26 | 25232045 | 10535252 | 942 28347 | 11 | 27 1107.79/1108.10 c 1021s | 26 | 25278226 | 10554852 | 942 28388 | 11 | 27 1109.78/1110.10 c 1023s | 26 | 25324961 | 10574952 | 942 28430 | 11 | 27 1111.79/1112.11 c 1025s | 26 | 25374520 | 10595452 | 942 28474 | 11 | 27 1113.78/1114.11 c 1027s | 26 | 25423300 | 10616052 | 942 28517 | 11 | 27 1115.78/1116.12 c 1029s | 26 | 25468800 | 10636752 | 942 28561 | 11 | 27 1117.79/1118.12 c 1031s | 26 | 25514923 | 10656152 | 942 28602 | 11 | 27 1119.79/1120.13 c 1034s | 26 | 25561428 | 10675452 | 942 28643 | 11 | 27 1121.79/1122.14 c 1036s | 26 | 25606342 | 10694152 | 942 28682 | 11 | 27 1123.78/1124.14 c 1038s | 26 | 25651205 | 10712952 | 942 28722 | 11 | 27 1125.78/1126.15 c 1040s | 26 | 25696758 | 10731952 | 942 28762 | 11 | 27 1127.78/1128.16 c 1042s | 26 | 25739976 | 10750652 | 942 28801 | 11 | 27 1129.78/1130.17 c 1044s | 26 | 25785277 | 10769752 | 942 28841 | 11 | 27 1131.78/1132.17 c 1046s | 26 | 25828974 | 10788452 | 942 28881 | 11 | 27 1133.78/1134.17 c 1048s | 26 | 25874558 | 10807952 | 942 28922 | 11 | 27 1135.78/1136.17 c 1050s | 26 | 25921776 | 10827552 | 942 28964 | 11 | 27 1137.77/1138.18 c 1052s | 26 | 25970639 | 10847352 | 942 29005 | 11 | 27 1139.77/1140.18 c 1054s | 26 | 26020039 | 10867152 | 942 29047 | 11 | 27 1141.78/1142.19 c 1056s | 26 | 26066568 | 10886752 | 942 29089 | 11 | 27 1143.78/1144.19 c 1058s | 26 | 26112749 | 10906752 | 942 29131 | 11 | 27 1145.77/1146.19 c 1060s | 26 | 26161308 | 10927352 | 942 29174 | 11 | 27 1147.87/1148.20 c 1062s | 26 | 26207829 | 10947452 | 942 29217 | 11 | 27 1149.87/1150.20 c 1064s | 26 | 26254441 | 10967552 | 942 29259 | 11 | 27 1151.87/1152.20 c 1066s | 26 | 26301374 | 10987652 | 942 29302 | 11 | 27 1153.87/1154.21 c 1068s | 26 | 26346866 | 11007952 | 942 29345 | 11 | 27 1155.88/1156.22 c 1070s | 26 | 26391662 | 11028352 | 942 29388 | 11 | 27 1157.86/1158.22 c 1072s | 26 | 26438193 | 11048952 | 942 29431 | 11 | 27 1159.87/1160.23 c 1074s | 26 | 26484762 | 11068752 | 942 29473 | 11 | 27 1161.86/1162.23 c 1076s | 26 | 26530151 | 11087452 | 942 29513 | 11 | 27 1163.86/1164.24 c 1078s | 26 | 26574865 | 11106352 | 942 29553 | 11 | 27 1165.86/1166.24 c 1080s | 26 | 26620033 | 11125352 | 942 29593 | 11 | 27 1167.87/1168.25 c 1082s | 26 | 26667725 | 11145252 | 942 29635 | 11 | 27 1169.86/1170.26 c 1084s | 26 | 26715429 | 11165352 | 942 29677 | 11 | 27 1171.86/1172.26 c 1086s | 26 | 26761045 | 11184652 | 942 29718 | 11 | 27 1173.86/1174.26 c 1088s | 26 | 26807265 | 11204952 | 942 29761 | 11 | 27 1175.86/1176.27 c 1090s | 26 | 26851661 | 11224852 | 942 29803 | 11 | 27 1177.87/1178.28 c 1092s | 26 | 26897109 | 11244752 | 942 29845 | 11 | 27 1179.85/1180.29 c 1094s | 26 | 26942232 | 11264052 | 942 29886 | 11 | 27 1181.85/1182.29 c 1096s | 26 | 26988009 | 11283952 | 942 29928 | 11 | 27 1183.95/1184.30 c 1098s | 26 | 27030876 | 11303052 | 942 29969 | 11 | 27 1185.95/1186.31 c 1100s | 26 | 27072541 | 11321952 | 942 30009 | 11 | 27 1187.95/1188.31 c 1102s | 26 | 27117682 | 11341652 | 942 30050 | 11 | 27 1189.95/1190.31 c 1104s | 26 | 27162861 | 11361752 | 942 30093 | 11 | 27 1191.95/1192.32 c 1106s | 26 | 27207999 | 11382252 | 942 30136 | 11 | 27 1193.45/1193.88 c 1107s | 27 | 27240409 | 11396733 | 942 30167 | 11 | 27 1195.45/1195.89 c 1109s | 27 | 27282961 | 11414433 | 942 30204 | 11 | 27 1197.44/1197.89 c 1111s | 27 | 27325102 | 11432433 | 942 30241 | 11 | 27 1199.54/1199.90 c 1113s | 27 | 27368966 | 11450833 | 942 30280 | 11 | 27 1201.55/1201.91 c 1115s | 27 | 27410616 | 11468533 | 942 30317 | 11 | 27 1203.55/1203.91 c 1117s | 27 | 27453510 | 11486533 | 942 30355 | 11 | 27 1205.55/1205.91 c 1119s | 27 | 27498277 | 11505133 | 942 30394 | 11 | 27 1207.55/1207.92 c 1121s | 27 | 27540044 | 11523433 | 942 30432 | 11 | 27 1209.55/1209.93 c 1123s | 27 | 27582200 | 11541433 | 942 30470 | 11 | 27 1211.55/1211.94 c 1125s | 27 | 27625766 | 11559633 | 942 30508 | 11 | 27 1213.54/1213.94 c 1127s | 27 | 27666397 | 11577333 | 942 30546 | 11 | 27 1215.54/1215.94 c 1129s | 27 | 27708713 | 11595033 | 942 30583 | 11 | 27 1217.54/1217.95 c 1131s | 27 | 27747844 | 11613333 | 942 30622 | 11 | 27 1219.54/1219.96 c 1133s | 27 | 27791912 | 11632033 | 942 30661 | 11 | 27 1221.54/1221.96 c 1135s | 27 | 27831741 | 11649933 | 942 30699 | 11 | 27 1223.54/1223.96 c 1137s | 27 | 27871999 | 11667933 | 942 30737 | 11 | 27 1225.54/1225.97 c 1139s | 27 | 27914022 | 11685733 | 942 30774 | 11 | 27 1227.54/1227.98 c 1141s | 27 | 27956573 | 11703733 | 942 30812 | 11 | 27 1229.54/1229.99 c 1143s | 27 | 28000773 | 11722233 | 942 30851 | 11 | 27 1231.53/1231.99 c 1145s | 27 | 28046752 | 11740633 | 942 30889 | 11 | 27 1233.63/1234.00 c 1147s | 27 | 28092131 | 11759833 | 942 30930 | 11 | 27 1235.63/1236.01 c 1149s | 27 | 28136717 | 11778633 | 942 30969 | 11 | 27 1237.63/1238.01 c 1151s | 27 | 28184861 | 11798333 | 942 31011 | 11 | 27 1239.63/1240.02 c 1153s | 27 | 28229912 | 11817433 | 942 31051 | 11 | 27 1241.63/1242.03 c 1155s | 27 | 28275364 | 11837133 | 942 31093 | 11 | 27 1243.63/1244.03 c 1157s | 27 | 28317609 | 11855833 | 942 31132 | 11 | 27 1245.63/1246.04 c 1159s | 27 | 28360821 | 11874733 | 942 31172 | 11 | 27 1247.63/1248.04 c 1161s | 27 | 28406509 | 11892533 | 942 31210 | 11 | 27 1249.62/1250.05 c 1163s | 27 | 28449576 | 11910433 | 942 31247 | 11 | 27 1251.62/1252.06 c 1165s | 27 | 28493386 | 11928033 | 942 31284 | 11 | 27 1253.63/1254.07 c 1167s | 27 | 28538057 | 11946333 | 942 31323 | 11 | 27 1255.62/1256.07 c 1169s | 27 | 28580526 | 11964233 | 942 31360 | 11 | 27 1257.62/1258.08 c 1171s | 27 | 28622847 | 11982133 | 942 31398 | 11 | 27 1259.62/1260.09 c 1173s | 27 | 28665410 | 12000333 | 942 31436 | 11 | 27 1261.62/1262.09 c 1175s | 27 | 28707969 | 12018333 | 942 31474 | 11 | 27 1263.72/1264.10 c 1177s | 27 | 28753909 | 12037033 | 942 31513 | 11 | 27 1265.72/1266.11 c 1179s | 27 | 28799940 | 12055633 | 942 31552 | 11 | 27 1267.71/1268.11 c 1181s | 27 | 28846030 | 12074033 | 942 31591 | 11 | 27 1269.71/1270.12 c 1183s | 27 | 28888556 | 12091033 | 942 31627 | 11 | 27 1271.71/1272.12 c 1185s | 27 | 28930696 | 12108033 | 942 31663 | 11 | 27 1273.71/1274.13 c 1187s | 27 | 28971093 | 12125233 | 942 31699 | 11 | 27 1275.72/1276.14 c 1190s | 27 | 29011676 | 12142033 | 942 31734 | 11 | 27 1277.71/1278.14 c 1192s | 27 | 29050927 | 12158633 | 942 31769 | 11 | 27 1279.72/1280.14 c 1194s | 27 | 29090589 | 12175833 | 942 31805 | 11 | 27 1281.72/1282.15 c 1196s | 27 | 29132115 | 12192733 | 942 31841 | 11 | 27 1283.72/1284.15 c 1198s | 27 | 29169660 | 12209633 | 942 31876 | 11 | 27 1285.72/1286.15 c 1200s | 27 | 29209350 | 12226733 | 942 31913 | 11 | 27 1287.72/1288.16 c 1202s | 27 | 29248176 | 12243533 | 942 31948 | 11 | 27 1289.72/1290.16 c 1204s | 27 | 29289093 | 12260633 | 942 31984 | 11 | 27 1291.71/1292.16 c 1206s | 27 | 29330525 | 12278133 | 942 32020 | 11 | 27 1293.71/1294.17 c 1208s | 27 | 29369881 | 12295233 | 942 32056 | 11 | 27 1295.71/1296.18 c 1210s | 27 | 29410757 | 12312533 | 942 32093 | 11 | 27 1297.72/1298.18 c 1212s | 27 | 29453684 | 12330133 | 942 32130 | 11 | 27 1299.71/1300.19 c 1214s | 27 | 29499224 | 12348233 | 942 32168 | 11 | 27 1301.71/1302.19 c 1216s | 27 | 29540534 | 12365533 | 942 32205 | 11 | 27 1303.71/1304.19 c 1218s | 27 | 29583101 | 12383133 | 942 32242 | 11 | 27 1305.81/1306.20 c 1220s | 27 | 29622847 | 12400233 | 942 32277 | 11 | 27 1307.81/1308.21 c 1222s | 27 | 29663760 | 12417533 | 942 32314 | 11 | 27 1309.82/1310.22 c 1224s | 27 | 29703672 | 12434633 | 942 32350 | 11 | 27 1311.81/1312.22 c 1226s | 27 | 29742558 | 12451933 | 942 32386 | 11 | 27 1313.81/1314.23 c 1228s | 27 | 29784179 | 12469533 | 942 32423 | 11 | 27 1315.81/1316.23 c 1230s | 27 | 29824561 | 12486733 | 942 32459 | 11 | 27 1317.81/1318.24 c 1232s | 27 | 29865128 | 12504133 | 942 32496 | 11 | 27 1319.81/1320.25 c 1234s | 27 | 29905969 | 12521233 | 942 32532 | 11 | 27 1321.81/1322.26 c 1236s | 27 | 29946081 | 12538433 | 942 32568 | 11 | 27 1323.80/1324.26 c 1238s | 27 | 29985780 | 12555433 | 942 32604 | 11 | 27 1325.80/1326.27 c 1240s | 27 | 30026229 | 12572433 | 942 32640 | 11 | 27 1327.80/1328.27 c 1242s | 27 | 30065203 | 12589133 | 942 32675 | 11 | 27 1329.80/1330.28 c 1244s | 27 | 30103588 | 12606033 | 942 32711 | 11 | 27 1331.81/1332.29 c 1246s | 27 | 30144876 | 12623533 | 942 32748 | 11 | 27 1333.81/1334.29 c 1248s | 27 | 30184560 | 12640833 | 942 32784 | 11 | 27 1335.90/1336.30 c 1250s | 27 | 30225018 | 12657933 | 942 32821 | 11 | 27 1337.91/1338.30 c 1252s | 27 | 30268146 | 12675633 | 942 32858 | 11 | 27 1339.91/1340.30 c 1254s | 27 | 30308535 | 12693233 | 942 32895 | 11 | 27 1341.90/1342.31 c 1256s | 27 | 30349963 | 12710833 | 942 32932 | 11 | 27 1343.91/1344.31 c 1258s | 27 | 30390658 | 12728333 | 942 32969 | 11 | 27 1345.90/1346.32 c 1260s | 27 | 30430988 | 12745933 | 942 33006 | 11 | 27 1347.90/1348.32 c 1262s | 27 | 30472575 | 12763533 | 942 33043 | 11 | 27 1349.90/1350.32 c 1264s | 27 | 30511537 | 12780933 | 942 33080 | 11 | 27 1351.90/1352.33 c 1266s | 27 | 30555395 | 12799033 | 942 33118 | 11 | 27 1353.90/1354.34 c 1268s | 27 | 30597305 | 12817133 | 942 33156 | 11 | 27 1355.91/1356.34 c 1270s | 27 | 30638440 | 12834933 | 942 33194 | 11 | 27 1357.90/1358.35 c 1272s | 27 | 30680353 | 12852933 | 942 33232 | 11 | 27 1359.90/1360.35 c 1274s | 27 | 30720506 | 12870433 | 942 33269 | 11 | 27 1361.90/1362.36 c 1276s | 27 | 30763054 | 12888133 | 942 33306 | 11 | 27 1363.90/1364.37 c 1278s | 27 | 30803056 | 12905833 | 942 33344 | 11 | 27 1365.90/1366.38 c 1280s | 27 | 30844070 | 12923433 | 942 33381 | 11 | 27 1367.90/1368.39 c 1282s | 27 | 30884300 | 12940933 | 942 33418 | 11 | 27 1370.00/1370.40 c 1284s | 27 | 30927525 | 12959033 | 942 33456 | 11 | 27 1372.00/1372.40 c 1286s | 27 | 30977397 | 12978633 | 942 33498 | 11 | 27 1374.00/1374.41 c 1288s | 27 | 31021984 | 12997233 | 942 33537 | 11 | 27 1376.00/1376.42 c 1290s | 27 | 31068543 | 13015933 | 942 33576 | 11 | 27 1378.01/1378.43 c 1292s | 27 | 31117120 | 13035233 | 942 33617 | 11 | 27 1380.00/1380.43 c 1294s | 27 | 31161503 | 13054033 | 942 33657 | 11 | 27 1382.00/1382.43 c 1296s | 27 | 31206085 | 13072333 | 942 33695 | 11 | 27 1384.00/1384.43 c 1298s | 27 | 31255057 | 13091633 | 942 33736 | 11 | 27 1386.00/1386.43 c 1300s | 27 | 31303796 | 13110933 | 942 33776 | 11 | 27 1387.99/1388.44 c 1302s | 27 | 31350900 | 13130733 | 942 33817 | 11 | 27 1390.00/1390.45 c 1304s | 27 | 31396070 | 13149833 | 942 33858 | 11 | 27 1391.99/1392.46 c 1306s | 27 | 31445752 | 13169933 | 942 33900 | 11 | 27 1393.99/1394.47 c 1308s | 27 | 31493986 | 13189433 | 942 33941 | 11 | 27 1396.00/1396.47 c 1310s | 27 | 31546501 | 13209833 | 942 33984 | 11 | 27 1398.00/1398.47 c 1312s | 27 | 31593666 | 13228933 | 942 34024 | 11 | 27 1400.00/1400.48 c 1314s | 27 | 31638707 | 13247933 | 942 34063 | 11 | 27 1402.00/1402.48 c 1316s | 27 | 31686342 | 13267033 | 942 34103 | 11 | 27 1404.00/1404.49 c 1318s | 27 | 31734940 | 13286133 | 942 34143 | 11 | 27 1406.10/1406.50 c 1320s | 27 | 31782394 | 13305533 | 942 34184 | 11 | 27 1408.10/1408.50 c 1322s | 27 | 31831547 | 13325133 | 942 34225 | 11 | 27 1410.10/1410.51 c 1324s | 27 | 31879042 | 13344533 | 942 34266 | 11 | 27 1412.10/1412.52 c 1326s | 27 | 31927506 | 13364333 | 942 34308 | 11 | 27 1414.09/1414.52 c 1328s | 27 | 31973915 | 13384033 | 942 34349 | 11 | 27 1416.09/1416.52 c 1330s | 27 | 32019091 | 13402833 | 942 34389 | 11 | 27 1418.09/1418.52 c 1332s | 27 | 32068684 | 13422233 | 942 34430 | 11 | 27 1420.09/1420.53 c 1334s | 27 | 32113287 | 13440333 | 942 34468 | 11 | 27 1422.09/1422.54 c 1336s | 27 | 32158508 | 13458833 | 942 34506 | 11 | 27 1424.10/1424.54 c 1338s | 27 | 32204779 | 13477533 | 942 34545 | 11 | 27 1426.09/1426.55 c 1340s | 27 | 32248164 | 13496033 | 942 34584 | 11 | 27 1428.09/1428.55 c 1342s | 27 | 32294834 | 13515033 | 942 34624 | 11 | 27 1430.09/1430.55 c 1344s | 27 | 32341782 | 13534233 | 942 34665 | 11 | 27 1432.09/1432.55 c 1346s | 27 | 32387592 | 13553433 | 942 34705 | 11 | 27 1434.09/1434.55 c 1348s | 27 | 32430129 | 13571533 | 942 34744 | 11 | 27 1436.09/1436.56 c 1350s | 27 | 32475246 | 13590333 | 942 34783 | 11 | 27 1438.09/1438.56 c 1352s | 27 | 32521704 | 13609633 | 942 34823 | 11 | 27 1440.09/1440.57 c 1354s | 27 | 32568413 | 13628633 | 942 34863 | 11 | 27 1442.09/1442.58 c 1356s | 27 | 32613939 | 13647633 | 942 34903 | 11 | 27 1444.09/1444.58 c 1358s | 27 | 32662538 | 13666933 | 942 34944 | 11 | 27 1446.10/1446.59 c 1360s | 27 | 32706702 | 13685633 | 942 34983 | 11 | 27 1448.19/1448.60 c 1362s | 27 | 32754328 | 13705233 | 942 35025 | 11 | 27 1450.19/1450.61 c 1364s | 27 | 32798693 | 13724333 | 942 35065 | 11 | 27 1452.19/1452.61 c 1366s | 27 | 32848118 | 13743333 | 942 35105 | 11 | 27 1454.19/1454.62 c 1368s | 27 | 32895386 | 13762633 | 942 35145 | 11 | 27 1456.19/1456.62 c 1370s | 27 | 32943743 | 13781833 | 942 35186 | 11 | 27 1458.19/1458.62 c 1372s | 27 | 32990710 | 13800833 | 942 35226 | 11 | 27 1460.19/1460.63 c 1374s | 27 | 33036239 | 13820033 | 942 35266 | 11 | 27 1462.18/1462.63 c 1376s | 27 | 33084315 | 13839333 | 942 35307 | 11 | 27 1464.18/1464.64 c 1378s | 27 | 33133709 | 13859033 | 942 35348 | 11 | 27 1466.18/1466.64 c 1380s | 27 | 33182002 | 13879033 | 942 35390 | 11 | 27 1468.19/1468.65 c 1382s | 27 | 33228735 | 13898333 | 942 35431 | 11 | 27 1470.18/1470.66 c 1384s | 27 | 33275162 | 13917533 | 942 35471 | 11 | 27 1472.18/1472.67 c 1386s | 27 | 33322942 | 13937433 | 942 35513 | 11 | 27 1474.19/1474.69 c 1388s | 27 | 33367076 | 13956633 | 942 35554 | 11 | 27 1476.19/1476.69 c 1390s | 27 | 33414233 | 13976233 | 942 35595 | 11 | 27 1478.19/1478.70 c 1392s | 27 | 33459550 | 13995033 | 942 35634 | 11 | 27 1480.29/1480.70 c 1394s | 27 | 33508505 | 14014733 | 942 35676 | 11 | 27 1482.29/1482.71 c 1396s | 27 | 33555414 | 14034233 | 942 35717 | 11 | 27 1484.29/1484.72 c 1398s | 27 | 33601816 | 14054133 | 942 35759 | 11 | 27 1486.29/1486.73 c 1400s | 27 | 33650890 | 14074233 | 942 35802 | 11 | 27 1488.29/1488.73 c 1402s | 27 | 33697793 | 14093933 | 942 35843 | 11 | 27 1490.29/1490.73 c 1404s | 27 | 33744688 | 14114233 | 942 35886 | 11 | 27 1492.29/1492.74 c 1406s | 27 | 33792144 | 14134333 | 942 35929 | 11 | 27 1494.28/1494.75 c 1408s | 27 | 33837375 | 14153333 | 942 35969 | 11 | 27 1496.28/1496.76 c 1410s | 27 | 33884029 | 14173233 | 942 36011 | 11 | 27 1498.28/1498.76 c 1412s | 27 | 33931606 | 14192933 | 942 36052 | 11 | 27 1500.28/1500.77 c 1414s | 27 | 33980843 | 14213033 | 942 36095 | 11 | 27 1502.29/1502.77 c 1416s | 27 | 34027172 | 14232733 | 942 36136 | 11 | 27 1504.28/1504.78 c 1418s | 27 | 34073911 | 14252233 | 942 36177 | 11 | 27 1506.28/1506.78 c 1420s | 27 | 34121219 | 14272033 | 942 36219 | 11 | 27 1508.28/1508.79 c 1422s | 27 | 34169019 | 14291633 | 942 36261 | 11 | 27 1510.38/1510.80 c 1424s | 27 | 34213282 | 14310833 | 942 36301 | 11 | 27 1512.38/1512.80 c 1426s | 27 | 34258075 | 14330133 | 942 36342 | 11 | 27 1514.39/1514.80 c 1428s | 27 | 34304430 | 14349733 | 942 36384 | 11 | 27 1516.38/1516.81 c 1430s | 27 | 34348976 | 14369133 | 942 36425 | 11 | 27 1518.38/1518.82 c 1432s | 27 | 34391507 | 14387733 | 942 36464 | 11 | 27 1520.37/1520.83 c 1434s | 27 | 34432448 | 14405833 | 942 36502 | 11 | 27 1522.38/1522.84 c 1436s | 27 | 34477875 | 14424833 | 942 36542 | 11 | 27 1524.37/1524.84 c 1438s | 27 | 34521834 | 14443833 | 942 36583 | 11 | 27 1526.38/1526.84 c 1440s | 27 | 34565722 | 14462833 | 942 36623 | 11 | 27 1528.37/1528.84 c 1442s | 27 | 34612775 | 14482333 | 942 36664 | 11 | 27 1530.38/1530.85 c 1444s | 27 | 34656932 | 14501633 | 942 36705 | 11 | 27 1532.38/1532.85 c 1446s | 27 | 34706348 | 14520233 | 942 36744 | 11 | 27 1534.37/1534.86 c 1448s | 27 | 34754184 | 14539433 | 942 36784 | 11 | 27 1536.38/1536.86 c 1450s | 27 | 34798010 | 14557833 | 942 36823 | 11 | 27 1538.37/1538.86 c 1452s | 27 | 34848163 | 14577133 | 942 36863 | 11 | 27 1540.37/1540.86 c 1454s | 27 | 34893497 | 14595333 | 942 36901 | 11 | 27 1542.37/1542.87 c 1456s | 27 | 34940102 | 14614333 | 942 36941 | 11 | 27 1544.37/1544.87 c 1458s | 27 | 34987209 | 14633433 | 942 36981 | 11 | 27 1546.37/1546.88 c 1460s | 27 | 35033349 | 14652733 | 942 37022 | 11 | 27 1548.37/1548.89 c 1462s | 27 | 35079954 | 14672233 | 942 37063 | 11 | 27 1550.37/1550.89 c 1464s | 27 | 35127153 | 14690633 | 942 37101 | 11 | 27 1552.47/1552.90 c 1466s | 27 | 35174758 | 14709633 | 942 37141 | 11 | 27 1554.47/1554.91 c 1468s | 27 | 35219677 | 14728233 | 942 37180 | 11 | 27 1556.47/1556.91 c 1470s | 27 | 35264725 | 14746533 | 942 37218 | 11 | 27 1558.47/1558.91 c 1472s | 27 | 35311965 | 14765533 | 942 37258 | 11 | 27 1560.48/1560.92 c 1474s | 27 | 35357901 | 14784633 | 942 37298 | 11 | 27 1562.48/1562.92 c 1476s | 27 | 35404367 | 14803633 | 942 37338 | 11 | 27 1564.47/1564.92 c 1478s | 27 | 35451448 | 14823333 | 942 37379 | 11 | 27 1566.47/1566.93 c 1480s | 27 | 35500725 | 14843233 | 942 37421 | 11 | 27 1568.47/1568.93 c 1482s | 27 | 35548138 | 14861833 | 942 37460 | 11 | 27 1570.48/1570.94 c 1484s | 27 | 35595698 | 14881133 | 942 37501 | 11 | 27 1572.47/1572.94 c 1486s | 27 | 35641881 | 14900933 | 942 37543 | 11 | 27 1574.47/1574.94 c 1488s | 27 | 35693623 | 14920733 | 942 37584 | 11 | 27 1576.47/1576.95 c 1490s | 27 | 35741211 | 14940333 | 942 37625 | 11 | 27 1578.47/1578.95 c 1492s | 27 | 35789835 | 14959733 | 942 37666 | 11 | 27 1580.47/1580.95 c 1494s | 27 | 35837934 | 14979333 | 942 37707 | 11 | 27 1582.48/1582.96 c 1496s | 27 | 35884323 | 14998533 | 942 37748 | 11 | 27 1584.47/1584.97 c 1498s | 27 | 35929047 | 15017133 | 942 37787 | 11 | 27 1586.47/1586.98 c 1500s | 27 | 35975348 | 15036033 | 942 37826 | 11 | 27 1588.46/1588.99 c 1502s | 27 | 36021144 | 15054633 | 942 37865 | 11 | 27 1590.56/1591.00 c 1504s | 27 | 36065263 | 15073333 | 942 37904 | 11 | 27 1592.56/1593.01 c 1506s | 27 | 36109797 | 15092133 | 942 37944 | 11 | 27 1594.57/1595.01 c 1508s | 27 | 36157688 | 15111333 | 942 37984 | 11 | 27 1596.56/1597.01 c 1510s | 27 | 36200081 | 15129133 | 942 38022 | 11 | 27 1598.57/1599.01 c 1512s | 27 | 36245194 | 15147833 | 942 38061 | 11 | 27 1600.57/1601.02 c 1514s | 27 | 36289267 | 15166433 | 942 38100 | 11 | 27 1602.57/1603.02 c 1516s | 27 | 36336048 | 15185633 | 942 38140 | 11 | 27 1604.57/1605.03 c 1518s | 27 | 36382117 | 15204833 | 942 38180 | 11 | 27 1606.57/1607.03 c 1520s | 27 | 36427829 | 15223933 | 942 38220 | 11 | 27 1608.57/1609.04 c 1522s | 27 | 36471524 | 15242433 | 942 38259 | 11 | 27 1610.57/1611.04 c 1524s | 27 | 36515006 | 15261133 | 942 38299 | 11 | 27 1612.57/1613.05 c 1526s | 27 | 36558458 | 15280133 | 942 38339 | 11 | 27 1614.56/1615.06 c 1528s | 27 | 36603950 | 15299233 | 942 38379 | 11 | 27 1616.57/1617.06 c 1530s | 27 | 36647152 | 15318233 | 942 38419 | 11 | 27 1618.56/1619.07 c 1532s | 27 | 36690653 | 15337033 | 942 38459 | 11 | 27 1620.56/1621.08 c 1534s | 27 | 36734771 | 15355733 | 942 38498 | 11 | 27 1622.56/1623.09 c 1536s | 27 | 36780198 | 15374633 | 942 38538 | 11 | 27 1624.56/1625.09 c 1538s | 27 | 36826496 | 15394233 | 942 38579 | 11 | 27 1626.66/1627.10 c 1540s | 27 | 36872198 | 15413933 | 942 38620 | 11 | 27 1628.56/1629.10 c 1542s | 27 | 36919545 | 15433333 | 942 38661 | 11 | 27 1630.66/1631.10 c 1544s | 27 | 36965926 | 15452533 | 942 38701 | 11 | 27 1632.66/1633.11 c 1546s | 27 | 37014159 | 15472033 | 942 38743 | 11 | 27 1634.66/1635.11 c 1548s | 27 | 37060956 | 15491933 | 942 38785 | 11 | 27 1636.66/1637.11 c 1550s | 27 | 37107607 | 15511033 | 942 38825 | 11 | 27 1638.66/1639.12 c 1552s | 27 | 37151765 | 15530233 | 942 38865 | 11 | 27 1640.66/1641.13 c 1555s | 27 | 37198446 | 15548933 | 942 38905 | 11 | 27 1642.66/1643.13 c 1557s | 27 | 37244866 | 15567633 | 942 38944 | 11 | 27 1644.66/1645.14 c 1559s | 27 | 37293334 | 15586733 | 942 38984 | 11 | 27 1646.65/1647.14 c 1561s | 27 | 37343355 | 15606433 | 942 39026 | 11 | 27 1648.65/1649.15 c 1563s | 27 | 37390244 | 15626833 | 942 39069 | 11 | 27 1650.66/1651.15 c 1565s | 27 | 37437483 | 15647033 | 942 39112 | 11 | 27 1652.65/1653.16 c 1567s | 27 | 37486010 | 15667033 | 942 39154 | 11 | 27 1654.65/1655.16 c 1569s | 27 | 37530358 | 15686233 | 942 39194 | 11 | 27 1656.65/1657.16 c 1571s | 27 | 37573379 | 15705433 | 942 39235 | 11 | 27 1658.66/1659.17 c 1573s | 27 | 37620415 | 15725233 | 942 39277 | 11 | 27 1660.67/1661.17 c 1575s | 27 | 37667610 | 15744633 | 942 39318 | 11 | 27 1662.66/1663.18 c 1577s | 27 | 37712308 | 15764333 | 942 39360 | 11 | 27 1664.66/1665.18 c 1579s | 27 | 37757933 | 15784233 | 942 39402 | 11 | 27 1666.66/1667.19 c 1581s | 27 | 37804819 | 15803633 | 942 39443 | 11 | 27 1668.66/1669.19 c 1583s | 27 | 37851099 | 15822633 | 942 39482 | 11 | 27 1670.66/1671.20 c 1585s | 27 | 37899486 | 15841833 | 942 39522 | 11 | 27 1672.66/1673.20 c 1587s | 27 | 37944936 | 15860633 | 942 39562 | 11 | 27 1674.76/1675.21 c 1589s | 27 | 37990653 | 15879733 | 942 39601 | 11 | 27 1676.76/1677.21 c 1591s | 27 | 38038026 | 15899333 | 942 39642 | 11 | 27 1678.76/1679.22 c 1593s | 27 | 38082805 | 15918533 | 942 39683 | 11 | 27 1680.75/1681.22 c 1595s | 27 | 38127668 | 15938133 | 942 39724 | 11 | 27 1682.75/1683.23 c 1597s | 27 | 38172322 | 15956933 | 942 39763 | 11 | 27 1684.76/1685.23 c 1599s | 27 | 38221577 | 15976333 | 942 39804 | 11 | 27 1686.75/1687.24 c 1601s | 27 | 38270227 | 15995933 | 942 39845 | 11 | 27 1688.75/1689.24 c 1603s | 27 | 38314511 | 16015033 | 942 39885 | 11 | 27 1690.75/1691.25 c 1605s | 27 | 38361269 | 16034833 | 942 39926 | 11 | 27 1692.75/1693.26 c 1607s | 27 | 38407257 | 16054133 | 942 39967 | 11 | 27 1694.76/1695.27 c 1609s | 27 | 38453019 | 16073133 | 942 40006 | 11 | 27 1696.75/1697.27 c 1611s | 27 | 38497921 | 16092733 | 1037 40045 | 11 | 27 1698.75/1699.27 c 1613s | 27 | 38542622 | 16111933 | 1037 40082 | 11 | 27 1700.75/1701.28 c 1615s | 27 | 38583484 | 16129533 | 1037 40116 | 11 | 27 1702.75/1703.29 c 1617s | 27 | 38625681 | 16147433 | 1037 40150 | 11 | 27 1704.75/1705.29 c 1619s | 27 | 38667261 | 16165633 | 1037 40184 | 11 | 27 1706.76/1707.30 c 1621s | 27 | 38711592 | 16184433 | 1037 40220 | 11 | 27 1708.85/1709.30 c 1623s | 27 | 38757229 | 16203233 | 1037 40256 | 11 | 27 1710.85/1711.31 c 1625s | 27 | 38802263 | 16221833 | 1037 40291 | 11 | 27 1712.85/1713.32 c 1627s | 27 | 38844358 | 16239533 | 1037 40325 | 11 | 27 1714.85/1715.33 c 1629s | 27 | 38887512 | 16257433 | 1037 40359 | 11 | 27 1716.85/1717.33 c 1631s | 27 | 38930840 | 16275533 | 1037 40394 | 11 | 27 1718.85/1719.33 c 1633s | 27 | 38974929 | 16294133 | 1037 40429 | 11 | 27 1720.84/1721.34 c 1635s | 27 | 39017473 | 16312533 | 1037 40464 | 11 | 27 1722.84/1723.34 c 1637s | 27 | 39060560 | 16331133 | 1037 40500 | 11 | 27 1724.84/1725.34 c 1639s | 27 | 39105363 | 16349933 | 1037 40536 | 11 | 27 1726.84/1727.34 c 1641s | 27 | 39149925 | 16369033 | 1037 40572 | 11 | 27 1728.85/1729.35 c 1643s | 27 | 39195354 | 16388133 | 1037 40608 | 11 | 27 1730.85/1731.35 c 1645s | 27 | 39240502 | 16407533 | 1037 40645 | 11 | 27 1732.85/1733.35 c 1647s | 27 | 39285014 | 16426433 | 1037 40682 | 11 | 27 1734.85/1735.35 c 1649s | 27 | 39329348 | 16445633 | 1037 40718 | 11 | 27 1736.85/1737.36 c 1651s | 27 | 39372254 | 16463533 | 1037 40752 | 11 | 27 1738.85/1739.37 c 1653s | 27 | 39412584 | 16481633 | 1037 40787 | 11 | 27 1740.85/1741.37 c 1655s | 27 | 39449554 | 16498533 | 1037 40819 | 11 | 27 1742.85/1743.38 c 1657s | 27 | 39487755 | 16515033 | 1037 40850 | 11 | 27 1744.85/1745.38 c 1659s | 27 | 39526886 | 16532233 | 1037 40883 | 11 | 27 1746.85/1747.38 c 1661s | 27 | 39568933 | 16550333 | 1037 40918 | 11 | 27 1748.85/1749.38 c 1663s | 27 | 39612873 | 16569033 | 1037 40953 | 11 | 27 1750.85/1751.39 c 1665s | 27 | 39655627 | 16587233 | 1037 40988 | 11 | 27 1752.84/1753.40 c 1667s | 27 | 39700777 | 16605833 | 1037 41024 | 11 | 27 1754.94/1755.40 c 1669s | 27 | 39746038 | 16625033 | 1037 41060 | 11 | 27 1756.94/1757.41 c 1671s | 27 | 39790065 | 16644433 | 1037 41097 | 11 | 27 1758.94/1759.41 c 1673s | 27 | 39835102 | 16663833 | 1037 41134 | 11 | 27 1760.94/1761.42 c 1675s | 27 | 39878485 | 16682133 | 1037 41169 | 11 | 27 1762.95/1763.43 c 1677s | 27 | 39918340 | 16699733 | 1037 41203 | 11 | 27 1764.94/1765.43 c 1679s | 27 | 39960282 | 16718033 | 1037 41238 | 11 | 27 1766.94/1767.44 c 1681s | 27 | 40005086 | 16736533 | 1037 41273 | 11 | 27 1768.94/1769.44 c 1683s | 27 | 40049002 | 16754833 | 1037 41308 | 11 | 27 1770.94/1771.44 c 1685s | 27 | 40090715 | 16773033 | 1037 41343 | 11 | 27 1772.94/1773.45 c 1687s | 27 | 40134644 | 16791633 | 1037 41379 | 11 | 27 1774.94/1775.46 c 1689s | 27 | 40182979 | 16811233 | 1037 41416 | 11 | 27 1776.94/1777.46 c 1691s | 27 | 40226113 | 16830333 | 1037 41453 | 11 | 27 1778.93/1779.47 c 1693s | 27 | 40271039 | 16849633 | 1037 41490 | 11 | 27 1780.93/1781.47 c 1695s | 27 | 40316546 | 16869333 | 1037 41528 | 11 | 27 1782.93/1783.48 c 1697s | 27 | 40358326 | 16888333 | 1037 41564 | 11 | 27 1784.94/1785.49 c 1699s | 27 | 40404204 | 16907733 | 1037 41601 | 11 | 27 1786.93/1787.49 c 1701s | 27 | 40449679 | 16927433 | 1037 41639 | 11 | 27 1789.04/1789.50 c 1703s | 27 | 40493790 | 16946633 | 1037 41676 | 11 | 27 1791.04/1791.50 c 1705s | 27 | 40536495 | 16965433 | 1037 41712 | 11 | 27 1793.04/1793.50 c 1707s | 27 | 40582135 | 16984633 | 1037 41748 | 11 | 27 1795.04/1795.50 c 1709s | 27 | 40628240 | 17003933 | 1037 41785 | 11 | 27 1797.05/1797.51 c 1711s | 27 | 40674949 | 17023033 | 1037 41821 | 11 | 27 1799.04/1799.51 c 1713s | 27 | 40722372 | 17041733 | 1037 41857 | 11 | 27
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-4079707-1465242763/watcher-4079707-1465242763 -o /tmp/evaluation-result-4079707-1465242763/solver-4079707-1465242763 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8445 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079707-1465242763.opb pid=11540 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.04 2.01 3/179 11543 /proc/meminfo: memFree=30517076/32872528 swapFree=11196/354588 [pid=11543] ppid=11540 vsize=241084 CPUtime=0 cores=0,2,4,6 /proc/11543/stat : 11543 (toysat) R 11540 11543 8429 0 -1 4202496 579 0 0 0 0 0 0 0 20 0 4 0 106209755 246870016 441 33554432000 4194304 16246674 140735525922176 140735525921600 12193452 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11543/statm: 60271 450 361 2943 0 57165 0 [pid=11543/tid=11544] ppid=11540 vsize=241084 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11544/stat : 11544 (toysat) S 11540 11543 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106209755 246870016 492 33554432000 4194304 16246674 140735525922176 139900346150128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=11543/tid=11545] ppid=11540 vsize=241084 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11545/stat : 11545 (toysat) S 11540 11543 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106209755 246870016 505 33554432000 4194304 16246674 140735525922176 139900335660272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=11543/tid=11546] ppid=11540 vsize=241084 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11546/stat : 11546 (toysat) S 11540 11543 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106209755 246870016 517 33554432000 4194304 16246674 140735525922176 139900325186736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100183 s] /proc/loadavg: 2.09 2.04 2.01 3/179 11543 /proc/meminfo: memFree=30517076/32872528 swapFree=11196/354588 [pid=11543] ppid=11540 vsize=1218116 CPUtime=0.08 cores=0,2,4,6 /proc/11543/stat : 11543 (toysat) R 11540 11543 8429 0 -1 4202496 24831 0 0 0 5 3 0 0 20 0 4 0 106209755 1247350784 24668 33554432000 4194304 16246674 140735525922176 140735525921600 5589685 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11543/statm: 304529 24677 784 2943 0 301423 0 [pid=11543/tid=11544] ppid=11540 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11544/stat : 11544 (toysat) S 11540 11543 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106209755 1247350784 24686 33554432000 4194304 16246674 140735525922176 139900346150128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=11543/tid=11545] ppid=11540 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11545/stat : 11545 (toysat) S 11540 11543 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106209755 1247350784 24694 33554432000 4194304 16246674 140735525922176 139900335660272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=11543/tid=11546] ppid=11540 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11546/stat : 11546 (toysat) S 11540 11543 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106209755 1247350784 24701 33554432000 4194304 16246674 140735525922176 139900325186736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200558 s] /proc/loadavg: 2.09 2.04 2.01 3/179 11543 /proc/meminfo: memFree=30517076/32872528 swapFree=11196/354588 [pid=11543] ppid=11540 vsize=1218116 CPUtime=0.18 cores=0,2,4,6 /proc/11543/stat : 11543 (toysat) R 11540 11543 8429 0 -1 4202496 41778 0 0 0 12 6 0 0 20 0 4 0 106209755 1247350784 41615 33554432000 4194304 16246674 140735525922176 140735525904064 5662594 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11543/statm: 304529 41623 784 2943 0 301423 0 [pid=11543/tid=11544] ppid=11540 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11544/stat : 11544 (toysat) S 11540 11543 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106209755 1247350784 41631 33554432000 4194304 16246674 140735525922176 139900346150128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=11543/tid=11545] ppid=11540 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11545/stat : 11545 (toysat) S 11540 11543 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106209755 1247350784 41636 33554432000 4194304 16246674 140735525922176 139900335660272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=11543/tid=11546] ppid=11540 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11546/stat : 11546 (toysat) S 11540 11543 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106209755 1247350784 41639 33554432000 4194304 16246674 140735525922176 139900325186736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1218116 [startup+0.300517 s] /proc/loadavg: 2.09 2.04 2.01 3/179 11543 /proc/meminfo: memFree=30517076/32872528 swapFree=11196/354588 [pid=11543] ppid=11540 vsize=1218116 CPUtime=0.28 cores=0,2,4,6 /proc/11543/stat : 11543 (toysat) R 11540 11543 8429 0 -1 4202496 58948 0 0 0 20 8 0 0 20 0 4 0 106209755 1247350784 58785 33554432000 4194304 16246674 140735525922176 140735525904064 6844325 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11543/statm: 304529 58791 785 2943 0 301423 0 [pid=11543/tid=11544] ppid=11540 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11544/stat : 11544 (toysat) S 11540 11543 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106209755 1247350784 58798 33554432000 4194304 16246674 140735525922176 139900346150128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=11543/tid=11545] ppid=11540 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11545/stat : 11545 (toysat) S 11540 11543 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106209755 1247350784 58805 33554432000 4194304 16246674 140735525922176 139900335660272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=11543/tid=11546] ppid=11540 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11546/stat : 11546 (toysat) S 11540 11543 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106209755 1247350784 58811 33554432000 4194304 16246674 140735525922176 139900325186736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1218116 [startup+0.700419 s] /proc/loadavg: 2.09 2.04 2.01 3/179 11543 /proc/meminfo: memFree=30517076/32872528 swapFree=11196/354588 [pid=11543] ppid=11540 vsize=1218116 CPUtime=0.68 cores=0,2,4,6 /proc/11543/stat : 11543 (toysat) R 11540 11543 8429 0 -1 4202496 127675 0 0 0 51 17 0 0 20 0 4 0 106209755 1247350784 127512 33554432000 4194304 16246674 140735525922176 140735525904064 5677541 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11543/statm: 304529 127518 785 2943 0 301423 0 [pid=11543/tid=11544] ppid=11540 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11544/stat : 11544 (toysat) S 11540 11543 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106209755 1247350784 127523 33554432000 4194304 16246674 140735525922176 139900346150128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=11543/tid=11545] ppid=11540 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11545/stat : 11545 (toysat) S 11540 11543 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106209755 1247350784 127529 33554432000 4194304 16246674 140735525922176 139900335660272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=11543/tid=11546] ppid=11540 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11546/stat : 11546 (toysat) S 11540 11543 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106209755 1247350784 127534 33554432000 4194304 16246674 140735525922176 139900325186736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1218116 [startup+1.50042 s] /proc/loadavg: 2.09 2.04 2.01 3/183 11547 /proc/meminfo: memFree=29734348/32872528 swapFree=11196/354588 [pid=11543] ppid=11540 vsize=1219140 CPUtime=1.48 cores=0,2,4,6 /proc/11543/stat : 11543 (toysat) R 11540 11543 8429 0 -1 4202496 245677 0 0 0 114 34 0 0 20 0 4 0 106209755 1248399360 245492 33554432000 4194304 16246674 140735525922176 140735525921488 5712536 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11543/statm: 304785 245492 843 2943 0 301679 0 [pid=11543/tid=11544] ppid=11540 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11544/stat : 11544 (toysat) S 11540 11543 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106209755 1248399360 245492 33554432000 4194304 16246674 140735525922176 139900346150128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=11543/tid=11545] ppid=11540 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11545/stat : 11545 (toysat) S 11540 11543 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106209755 1248399360 245492 33554432000 4194304 16246674 140735525922176 139900335660272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=11543/tid=11546] ppid=11540 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11546/stat : 11546 (toysat) S 11540 11543 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106209755 1248399360 245492 33554432000 4194304 16246674 140735525922176 139900325186736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1219140 [startup+3.10043 s] /proc/loadavg: 2.09 2.04 2.01 3/183 11547 /proc/meminfo: memFree=29536568/32872528 swapFree=11196/354588 [pid=11543] ppid=11540 vsize=1305156 CPUtime=3.08 cores=0,2,4,6 /proc/11543/stat : 11543 (toysat) R 11540 11543 8429 0 -1 4202496 267362 0 0 0 270 38 0 0 20 0 4 0 106209755 1336479744 267177 33554432000 4194304 16246674 140735525922176 140735525905176 13192744 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11543/statm: 326289 267177 843 2943 0 323183 0 [pid=11543/tid=11544] ppid=11540 vsize=1305156 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11544/stat : 11544 (toysat) S 11540 11543 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106209755 1336479744 267177 33554432000 4194304 16246674 140735525922176 139900346150128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=11543/tid=11545] ppid=11540 vsize=1305156 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11545/stat : 11545 (toysat) S 11540 11543 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106209755 1336479744 267177 33554432000 4194304 16246674 140735525922176 139900335660272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=11543/tid=11546] ppid=11540 vsize=1305156 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11546/stat : 11546 (toysat) S 11540 11543 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106209755 1336479744 267177 33554432000 4194304 16246674 140735525922176 139900325186736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1305156 [startup+6.30043 s] /proc/loadavg: 2.08 2.04 2.00 3/183 11547 /proc/meminfo: memFree=29449540/32872528 swapFree=11196/354588 [pid=11543] ppid=11540 vsize=1306180 CPUtime=6.28 cores=0,2,4,6 /proc/11543/stat : 11543 (toysat) R 11540 11543 8429 0 -1 4202496 267513 0 0 0 590 38 0 0 20 0 4 0 106209755 1337528320 267328 33554432000 4194304 16246674 140735525922176 140735525904064 13963936 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11543/statm: 326545 267328 843 2943 0 323439 0 [pid=11543/tid=11544] ppid=11540 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11544/stat : 11544 (toysat) S 11540 11543 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106209755 1337528320 267328 33554432000 4194304 16246674 140735525922176 139900346150128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=11543/tid=11545] ppid=11540 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11545/stat : 11545 (toysat) S 11540 11543 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106209755 1337528320 267328 33554432000 4194304 16246674 140735525922176 139900335660272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=11543/tid=11546] ppid=11540 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11546/stat : 11546 (toysat) S 11540 11543 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106209755 1337528320 267328 33554432000 4194304 16246674 140735525922176 139900325186736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.08 2.04 2.00 3/183 11547 /proc/meminfo: memFree=29449540/32872528 swapFree=11196/354588 [pid=11543] ppid=11540 vsize=1306180 CPUtime=12.68 cores=0,2,4,6 /proc/11543/stat : 11543 (toysat) R 11540 11543 8429 0 -1 4202496 267513 0 0 0 1229 39 0 0 20 0 4 0 106209755 1337528320 267328 33554432000 4194304 16246674 140735525922176 140735525904064 13927305 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11543/statm: 326545 267328 843 2943 0 323439 0 [pid=11543/tid=11544] ppid=11540 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11544/stat : 11544 (toysat) S 11540 11543 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106209755 1337528320 267328 33554432000 4194304 16246674 140735525922176 139900346150128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=11543/tid=11545] ppid=11540 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11545/stat : 11545 (toysat) S 11540 11543 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106209755 1337528320 267328 33554432000 4194304 16246674 140735525922176 139900335660272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=11543/tid=11546] ppid=11540 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11546/stat : 11546 (toysat) S 11540 11543 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106209755 1337528320 267328 33554432000 4194304 16246674 140735525922176 139900325186736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1306180 [startup+25.5006 s] /proc/loadavg: 2.06 2.04 2.00 3/183 11547 /proc/meminfo: memFree=29449660/32872528 swapFree=11196/354588 [pid=11543] ppid=11540 vsize=1306180 CPUtime=25.48 cores=0,2,4,6 /proc/11543/stat : 11543 (toysat) R 11540 11543 8429 0 -1 4202496 267558 0 0 0 2503 45 0 0 20 0 4 0 106209755 1337528320 267373 33554432000 4194304 16246674 140735525922176 140735525904064 6022252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11543/statm: 326545 267373 843 2943 0 323439 0 [pid=11543/tid=11544] ppid=11540 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11544/stat : 11544 (toysat) S 11540 11543 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106209755 1337528320 267373 33554432000 4194304 16246674 140735525922176 139900346150128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=11543/tid=11545] ppid=11540 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11545/stat : 11545 (toysat) S 11540 11543 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106209755 1337528320 267373 33554432000 4194304 16246674 140735525922176 139900335660272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=11543/tid=11546] ppid=11540 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11546/stat : 11546 (toysat) S 11540 11543 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106209755 1337528320 267373 33554432000 4194304 16246674 140735525922176 139900325186736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1306180 [startup+51.1006 s] /proc/loadavg: 2.04 2.03 2.00 3/183 11547 /proc/meminfo: memFree=29449492/32872528 swapFree=11196/354588 [pid=11543] ppid=11540 vsize=1306180 CPUtime=51.08 cores=0,2,4,6 /proc/11543/stat : 11543 (toysat) R 11540 11543 8429 0 -1 4202496 267596 0 0 0 5054 54 0 0 20 0 4 0 106209755 1337528320 267411 33554432000 4194304 16246674 140735525922176 140735525904064 5711338 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11543/statm: 326545 267411 847 2943 0 323439 0 [pid=11543/tid=11544] ppid=11540 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11544/stat : 11544 (toysat) S 11540 11543 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106209755 1337528320 267411 33554432000 4194304 16246674 140735525922176 139900346150128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=11543/tid=11545] ppid=11540 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11545/stat : 11545 (toysat) S 11540 11543 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106209755 1337528320 267411 33554432000 4194304 16246674 140735525922176 139900335660272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=11543/tid=11546] ppid=11540 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11546/stat : 11546 (toysat) S 11540 11543 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106209755 1337528320 267411 33554432000 4194304 16246674 140735525922176 139900325186736 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) 1306180 [startup+102.301 s] /proc/loadavg: 2.06 2.04 2.00 3/183 11548 /proc/meminfo: memFree=29449412/32872528 swapFree=11196/354588 [pid=11543] ppid=11540 vsize=1306180 CPUtime=102.27 cores=0,2,4,6 /proc/11543/stat : 11543 (toysat) R 11540 11543 8429 0 -1 4202496 267598 0 0 0 10161 66 0 0 20 0 4 0 106209755 1337528320 267413 33554432000 4194304 16246674 140735525922176 140735525904064 5523139 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11543/statm: 326545 267413 848 2943 0 323439 0 [pid=11543/tid=11544] ppid=11540 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11544/stat : 11544 (toysat) S 11540 11543 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106209755 1337528320 267413 33554432000 4194304 16246674 140735525922176 139900346150128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=11543/tid=11545] ppid=11540 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11545/stat : 11545 (toysat) S 11540 11543 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106209755 1337528320 267413 33554432000 4194304 16246674 140735525922176 139900335660272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=11543/tid=11546] ppid=11540 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11546/stat : 11546 (toysat) S 11540 11543 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106209755 1337528320 267413 33554432000 4194304 16246674 140735525922176 139900325186736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1306180 ################ # More data... # ################ /proc/11543/task/11546/stat : 11546 (toysat) S 11540 11543 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 139900325186736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1311300 [startup+1362.3 s] /proc/loadavg: 2.02 2.04 2.00 3/183 11650 /proc/meminfo: memFree=29492988/32872528 swapFree=11196/354588 [pid=11543] ppid=11540 vsize=1311300 CPUtime=1361.9 cores=0,2,4,6 /proc/11543/stat : 11543 (toysat) R 11540 11543 8429 0 -1 4202496 269240 0 0 0 135978 212 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 140735525904064 13193344 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11543/statm: 327825 268991 848 2943 0 324719 0 [pid=11543/tid=11544] ppid=11540 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11544/stat : 11544 (toysat) S 11540 11543 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 139900346150128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=11543/tid=11545] ppid=11540 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11545/stat : 11545 (toysat) S 11540 11543 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 139900335660272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=11543/tid=11546] ppid=11540 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11546/stat : 11546 (toysat) S 11540 11543 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 139900325186736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1311300 [startup+1422.3 s] /proc/loadavg: 2.04 2.05 2.00 3/183 11652 /proc/meminfo: memFree=29493016/32872528 swapFree=11196/354588 [pid=11543] ppid=11540 vsize=1311300 CPUtime=1421.9 cores=0,2,4,6 /proc/11543/stat : 11543 (toysat) R 11540 11543 8429 0 -1 4202496 269240 0 0 0 141976 214 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 140735525905176 6842249 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11543/statm: 327825 268991 848 2943 0 324719 0 [pid=11543/tid=11544] ppid=11540 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11544/stat : 11544 (toysat) S 11540 11543 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 139900346150128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=11543/tid=11545] ppid=11540 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11545/stat : 11545 (toysat) S 11540 11543 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 139900335660272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=11543/tid=11546] ppid=11540 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11546/stat : 11546 (toysat) S 11540 11543 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 139900325186736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1311300 [startup+1482.3 s] /proc/loadavg: 2.08 2.05 2.00 3/183 11653 /proc/meminfo: memFree=29492800/32872528 swapFree=11196/354588 [pid=11543] ppid=11540 vsize=1311300 CPUtime=1481.89 cores=0,2,4,6 /proc/11543/stat : 11543 (toysat) R 11540 11543 8429 0 -1 4202496 269240 0 0 0 147973 216 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 140735525904064 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11543/statm: 327825 268991 848 2943 0 324719 0 [pid=11543/tid=11544] ppid=11540 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11544/stat : 11544 (toysat) S 11540 11543 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 139900346150128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=11543/tid=11545] ppid=11540 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11545/stat : 11545 (toysat) S 11540 11543 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 139900335660272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=11543/tid=11546] ppid=11540 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11546/stat : 11546 (toysat) S 11540 11543 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 139900325186736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1311300 [startup+1542.31 s] /proc/loadavg: 2.09 2.06 2.00 3/183 11654 /proc/meminfo: memFree=29492568/32872528 swapFree=11196/354588 [pid=11543] ppid=11540 vsize=1311300 CPUtime=1541.88 cores=0,2,4,6 /proc/11543/stat : 11543 (toysat) R 11540 11543 8429 0 -1 4202496 269240 0 0 0 153964 224 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 140735525905176 13943600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11543/statm: 327825 268991 848 2943 0 324719 0 [pid=11543/tid=11544] ppid=11540 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11544/stat : 11544 (toysat) S 11540 11543 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 139900346150128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=11543/tid=11545] ppid=11540 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11545/stat : 11545 (toysat) S 11540 11543 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 139900335660272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=11543/tid=11546] ppid=11540 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11546/stat : 11546 (toysat) S 11540 11543 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 139900325186736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1311300 [startup+1602.3 s] /proc/loadavg: 2.08 2.06 2.00 3/183 11655 /proc/meminfo: memFree=29490984/32872528 swapFree=11196/354588 [pid=11543] ppid=11540 vsize=1311300 CPUtime=1601.87 cores=0,2,4,6 /proc/11543/stat : 11543 (toysat) R 11540 11543 8429 0 -1 4202496 269240 0 0 0 159961 226 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 140735525904064 5712270 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11543/statm: 327825 268991 848 2943 0 324719 0 [pid=11543/tid=11544] ppid=11540 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11544/stat : 11544 (toysat) S 11540 11543 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 139900346150128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=11543/tid=11545] ppid=11540 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11545/stat : 11545 (toysat) S 11540 11543 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 139900335660272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=11543/tid=11546] ppid=11540 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11546/stat : 11546 (toysat) S 11540 11543 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 139900325186736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1311300 [startup+1662.3 s] /proc/loadavg: 2.12 2.08 2.01 3/184 11659 /proc/meminfo: memFree=29491420/32872528 swapFree=11196/354588 [pid=11543] ppid=11540 vsize=1311300 CPUtime=1661.86 cores=0,2,4,6 /proc/11543/stat : 11543 (toysat) R 11540 11543 8429 0 -1 4202496 269240 0 0 0 165959 227 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 140735525905176 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11543/statm: 327825 268991 848 2943 0 324719 0 [pid=11543/tid=11544] ppid=11540 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11544/stat : 11544 (toysat) S 11540 11543 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 139900346150128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=11543/tid=11545] ppid=11540 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11545/stat : 11545 (toysat) S 11540 11543 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 139900335660272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=11543/tid=11546] ppid=11540 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11546/stat : 11546 (toysat) S 11540 11543 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 139900325186736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1311300 [startup+1722.3 s] /proc/loadavg: 2.16 2.10 2.02 3/183 11661 /proc/meminfo: memFree=29491212/32872528 swapFree=11196/354588 [pid=11543] ppid=11540 vsize=1311300 CPUtime=1721.84 cores=0,2,4,6 /proc/11543/stat : 11543 (toysat) R 11540 11543 8429 0 -1 4202496 269240 0 0 0 171956 228 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 140735525904064 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11543/statm: 327825 268991 848 2943 0 324719 0 [pid=11543/tid=11544] ppid=11540 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11544/stat : 11544 (toysat) S 11540 11543 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 139900346150128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=11543/tid=11545] ppid=11540 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11545/stat : 11545 (toysat) S 11540 11543 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 139900335660272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=11543/tid=11546] ppid=11540 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11546/stat : 11546 (toysat) S 11540 11543 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 139900325186736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1311300 [startup+1782.3 s] /proc/loadavg: 2.14 2.11 2.02 3/183 11662 /proc/meminfo: memFree=29490248/32872528 swapFree=11196/354588 [pid=11543] ppid=11540 vsize=1311300 CPUtime=1781.83 cores=0,2,4,6 /proc/11543/stat : 11543 (toysat) R 11540 11543 8429 0 -1 4202496 269240 0 0 0 177954 229 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 140735525905176 5545907 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11543/statm: 327825 268991 848 2943 0 324719 0 [pid=11543/tid=11544] ppid=11540 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11544/stat : 11544 (toysat) S 11540 11543 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 139900346150128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=11543/tid=11545] ppid=11540 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11545/stat : 11545 (toysat) S 11540 11543 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 139900335660272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=11543/tid=11546] ppid=11540 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11546/stat : 11546 (toysat) S 11540 11543 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 139900325186736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1311300 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.18 2.12 2.03 3/183 11662 /proc/meminfo: memFree=29490368/32872528 swapFree=11196/354588 [pid=11543] ppid=11540 vsize=1311300 CPUtime=1800.04 cores=0,2,4,6 /proc/11543/stat : 11543 (toysat) R 11540 11543 8429 0 -1 4202496 269240 0 0 0 179774 230 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 140735525904064 6021076 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11543/statm: 327825 268991 848 2943 0 324719 0 [pid=11543/tid=11544] ppid=11540 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11544/stat : 11544 (toysat) S 11540 11543 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 139900346150128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=11543/tid=11545] ppid=11540 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11545/stat : 11545 (toysat) S 11540 11543 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 139900335660272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=11543/tid=11546] ppid=11540 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11546/stat : 11546 (toysat) S 11540 11543 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 139900325186736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1311300 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 11543 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.18 2.12 2.03 3/183 11662 /proc/meminfo: memFree=29490368/32872528 swapFree=11196/354588 [pid=11543] ppid=11540 vsize=1311300 CPUtime=1800.04 cores=0,2,4,6 /proc/11543/stat : 11543 (toysat) R 11540 11543 8429 0 -1 4202496 269240 0 0 0 179774 230 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 140735525904064 6021076 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11543/statm: 327825 268991 848 2943 0 324719 0 [pid=11543/tid=11544] ppid=11540 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11544/stat : 11544 (toysat) S 11540 11543 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 139900346150128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=11543/tid=11545] ppid=11540 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11545/stat : 11545 (toysat) S 11540 11543 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 139900335660272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=11543/tid=11546] ppid=11540 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/11543/task/11546/stat : 11546 (toysat) S 11540 11543 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106209755 1342771200 268991 33554432000 4194304 16246674 140735525922176 139900325186736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1311300 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.05 CPU user time (s): 1797.75 CPU system time (s): 2.30165 CPU usage (%): 99.9745 Max. virtual memory (cumulated for all children) (KiB): 1311300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.75 system time used= 2.30165 maximum resident set size= 1075964 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 269240 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= 335 involuntary context switches= 1842 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.71368 second user time and 19.2141 second system time The end
Begin job on node126 at 2016-06-06 21:52:43 IDJOB=4079707 IDBENCH=2849 IDSOLVER=2542 FILE ID=node126/4079707-1465242763 RUNJOBID= node126-1465218023-8445 PBS_JOBID= 19843210 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_10_30.r.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079707-1465242763/watcher-4079707-1465242763 -o /tmp/evaluation-result-4079707-1465242763/solver-4079707-1465242763 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8445 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079707-1465242763.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 80d844acb755df30f8eb4d34a1c5fb81 RANDOM SEED=749259948 node126.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.500 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.00 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.500 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.500 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.500 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.500 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.500 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.56 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.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 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: 30517612 kB Buffers: 43072 kB Cached: 126088 kB SwapCached: 2248 kB Active: 1209740 kB Inactive: 89300 kB Active(anon): 1129744 kB Inactive(anon): 2384 kB Active(file): 79996 kB Inactive(file): 86916 kB Unevictable: 354588 kB Mlocked: 11196 kB SwapTotal: 67108856 kB SwapFree: 67098544 kB Dirty: 16324 kB Writeback: 0 kB AnonPages: 1482932 kB Mapped: 10744 kB Shmem: 0 kB Slab: 567456 kB SReclaimable: 11440 kB SUnreclaim: 556016 kB KernelStack: 1520 kB PageTables: 6800 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1628240 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 518144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71708 MiB End job on node126 at 2016-06-06 22:22:44