| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.01 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_5.opb |
| MD5SUM | 75c62437256ecfefd1c4252ede4b185e |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -6 |
| Best CPU time to get the best result obtained on this benchmark | 767.29 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -6 |
| Optimality of the best value was proved | YES |
| Number of variables | 100 |
| Total number of constraints | 151 |
| Number of constraints which are clauses | 50 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 101 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 50 |
| 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 | 50 |
| Number of bits of the sum of numbers in the objective function | 6 |
| 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) | 2928 |
| Sum of products size (including duplicates) | 5856 |
| Number of different products | 1464 |
| Sum of products size | 2928 |
0.00/0.00 c 2016-06-18T21:11:51+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-4106751-1466277111.opb"] 0.00/0.01 c use --random-gen="3361557126 2290866080 3295445252 3398434724 1038011493 2204006794 1442376557 4243582856 1904515965 1053630708 3374797937 1468914667 2968263858 1121586192 2981716408 2999572613 75992952 4031172382 1900455561 1679017344 730752293 324909479 2445315981 2122721951 4269437372 3304162614 2660511173 2617157358 321431364 4258135802 3549686352 4113082864 3107840272 4286348146 3856845021 2772466360 345605843 661606160 2103167113 3846216981 793153562 2075366954 870424114 583262700 4282921690 1078127147 1291065337 1644854362 1084818745 3758585017 2293493519 1688753740 2959014467 2889042869 469935405 175542135 2438523850 66459650 2408729321 956714477 93786530 1875267034 575686099 1483917614 649839049 1574880228 2246984803 4018142827 466640381 2018217610 4241904221 840377259 477884302 1447470986 3183761616 3001142250 3002416985 1768691880 1241665116 151793448 185081887 2371300395 2834909704 1742845237 1991946669 1001239995 337694451 3245248151 1002083968 421433925 2965826232 1625921021 3521065725 754829855 2275582745 3613647461 2180666061 1581545032 3950939422 2729516364 1313003862 1334103840 1516321132 2359097023 784539967 1133714498 4035843285 254283643 3686559694 944770198 227434549 469533080 1076243634 2690739207 4124365682 1177195685 3116696379 1294946470 1685926587 3705286057 2541168085 1640561779 3832228503 3033991197 2676403499 590233522 3178549816 1069485726 1546853485 3262701510 2005953093 1327350017 2334948837 217888293 2218350746 3917055464 2977606687 3191411153 2830984001 2310915313 2140630131 3426617517 1157568781 3964181961 3817960148 1416955741 3555687801 4038779552 415601595 1299011155 1233272213 2011583531 2734852730 1281145473 52765620 1862819960 2801576298 2595694725 3407806843 256413982 4189300979 176557786 3119058623 1011148022 2597167605 3742396456 1776964046 1602581324 760462500 356739066 908183752 2874584755 4189608854 3396755990 2584673793 208503244 3064366192 2936119490 2862934262 2070009826 262059861 264241294 1297644562 1403357476 3901448543 4008536836 650641985 2803841131 4010322012 2972841783 2062891264 3833915466 3976465453 2116843725 3542964962 2623573855 2501357985 1403276543 191874622 959988774 463839396 1247486155 1184703407 2993380343 502044683 3015722675 1702778217 1635986465 3589183755 1362298082 892732063 1290939247 1878989489 2497667049 2769805616 658951744 496402502 593056281 1209598346 3374716453 2697465894 2776432998 1737986080 454087611 3118240514 2992150453 1947021840 3513872761 1156010285 2338986821 984847690 3003958465 226127530 4281003953 338707086 1164500418 1289876975 2965684711 1411141038 4290060790 3739303844 4234911883 2313262713 472004234 3524326408 1490947904 786527661 846825127 3075622657 1627160043 2926619361 730283849 1670492799 4129844782 363832667 1581297193 255 362436" option to reproduce the execution 0.00/0.02 c #vars 100 0.00/0.02 c #constraints 151 0.00/0.06 c BCD2: Hardening is enabled. 0.00/0.06 c BCD2: BiasedSearch is enabled. 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 1060 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 58 | 1 | 1060 0 | 0 | 0 0.00/0.06 c #cpu_time = 0.004s 0.00/0.06 c #wall_clock_time = 0.004s 0.00/0.06 c #decision = 58 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 1 0.00/0.06 c #restart = 0 0.00/0.06 o -3 0.00/0.06 c BCD2: updating upper bound: 50 -> 46 0.00/0.06 c BCD2: 0 <= obj <= 46 0.00/0.06 c BCD2: #cores=0, #unrelaxed=50, #relaxed=0, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 1060 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 25 | 1 | 1060 0 | 0 | 0 0.00/0.06 c #cpu_time = 0.003s 0.00/0.06 c #wall_clock_time = 0.003s 0.00/0.06 c #decision = 25 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 1 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 25: cost of the new core is >=1 0.00/0.06 c lower bound updated to -49 0.00/0.06 c BCD2: 1 <= obj <= 46 0.00/0.06 c BCD2: #cores=1, #unrelaxed=25, #relaxed=25, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 1060 0 | 0 | 0 0.00/0.07 c 0.0s | 0 | 26 | 1 | 1060 0 | 0 | 0 0.00/0.07 c #cpu_time = 0.003s 0.00/0.07 c #wall_clock_time = 0.003s 0.00/0.07 c #decision = 26 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 1 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: relaxing 25 and merging with 1 cores into a new core of size 50: cost of the new core is >=2 0.00/0.07 c lower bound updated to -48 0.00/0.07 c BCD2: 2 <= obj <= 46 0.00/0.07 c BCD2: #cores=1, #unrelaxed=0, #relaxed=50, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 1060 0 | 1 | 0 0.00/0.09 c 0.0s | 1 | 913 | 100 | 1166 0 | 1 | 1 0.08/0.12 c 0.1s | 2 | 1604 | 250 | 1283 0 | 1 | 1 0.08/0.19 c 0.1s | 3 | 2929 | 475 | 1412 0 | 1 | 1 0.18/0.28 c 0.2s | 4 | 4471 | 813 | 1554 0 | 1 | 1 0.38/0.42 c 0.4s | 5 | 5414 | 1320 | 1710 0 | 1 | 1 0.58/0.61 c 0.5s | 6 | 6497 | 2081 | 1882 1 | 1 | 1 0.79/0.84 c 0.8s | 7 | 8958 | 3223 | 2071 2 | 1 | 1 1.19/1.27 c 1.2s | 8 | 13135 | 4936 | 2279 3 | 1 | 1 1.78/1.83 c 1.8s | 9 | 18631 | 7506 | 2507 5 | 1 | 1 2.68/2.73 c 2.7s | 10 | 23326 | 11361 | 2758 8 | 1 | 1 3.78/3.89 c 3.8s | 11 | 31836 | 17144 | 3034 12 | 1 | 1 5.49/5.59 c 5.5s | 12 | 43403 | 25819 | 3338 17 | 1 | 1 7.48/7.59 c 7.5s | 12 | 72535 | 34019 | 3338 22 | 1 | 1 8.58/8.68 c 8.6s | 13 | 87036 | 38832 | 3672 25 | 1 | 1 10.58/10.69 c 10.6s | 13 | 106971 | 46632 | 3672 29 | 1 | 1 12.68/12.70 c 12.6s | 13 | 124290 | 54932 | 3672 33 | 1 | 1 13.48/13.51 c 13.4s | 14 | 129089 | 58352 | 4040 35 | 1 | 1 15.49/15.52 c 15.5s | 14 | 149109 | 66852 | 4040 39 | 1 | 1 17.49/17.53 c 17.5s | 14 | 170273 | 75552 | 4040 44 | 1 | 1 19.49/19.53 c 19.5s | 14 | 190550 | 83852 | 4040 48 | 1 | 1 20.48/20.52 c 20.4s | 15 | 200760 | 87632 | 4444 49 | 1 | 1 22.48/22.54 c 22.5s | 15 | 219119 | 95632 | 4444 53 | 1 | 1 24.48/24.55 c 24.5s | 15 | 242203 | 104232 | 4444 57 | 1 | 1 26.49/26.55 c 26.5s | 15 | 264570 | 113132 | 4444 61 | 1 | 1 28.48/28.56 c 28.5s | 15 | 284680 | 121832 | 4444 65 | 1 | 1 30.48/30.57 c 30.5s | 15 | 304805 | 130232 | 4444 68 | 1 | 1 30.89/30.94 c 30.9s | 16 | 307848 | 131552 | 4889 69 | 1 | 1 32.88/32.96 c 32.9s | 16 | 324695 | 138252 | 4889 71 | 1 | 1 34.88/34.97 c 34.9s | 16 | 337650 | 146452 | 4889 75 | 1 | 1 36.98/37.00 c 36.9s | 16 | 354538 | 153852 | 4889 78 | 1 | 1 38.98/39.02 c 38.9s | 16 | 368109 | 162152 | 4889 81 | 1 | 1 40.98/41.02 c 41.0s | 16 | 384148 | 171052 | 4889 84 | 1 | 1 42.98/43.03 c 43.0s | 16 | 399910 | 180052 | 4889 88 | 1 | 1 44.98/45.04 c 45.0s | 16 | 418783 | 188652 | 4889 92 | 1 | 1 46.98/47.06 c 47.0s | 16 | 439149 | 196652 | 5378 95 | 1 | 1 47.18/47.22 c 47.2s | 17 | 440741 | 197432 | 5378 95 | 1 | 1 49.18/49.25 c 49.2s | 17 | 456643 | 204232 | 5378 97 | 1 | 1 51.18/51.26 c 51.2s | 17 | 473273 | 211332 | 5378 100 | 1 | 1 53.18/53.26 c 53.2s | 17 | 486969 | 218032 | 5378 102 | 1 | 1 55.28/55.30 c 55.2s | 17 | 502413 | 226732 | 5378 106 | 1 | 1 57.28/57.32 c 57.3s | 17 | 521396 | 234632 | 5378 108 | 1 | 1 59.28/59.34 c 59.3s | 17 | 538492 | 242832 | 5378 111 | 1 | 1 61.27/61.37 c 61.3s | 17 | 554743 | 251132 | 5378 114 | 1 | 1 63.37/63.43 c 63.4s | 17 | 568430 | 258232 | 5378 117 | 1 | 1 65.37/65.45 c 65.4s | 17 | 580632 | 266632 | 5378 120 | 1 | 1 67.37/67.47 c 67.4s | 17 | 592011 | 274732 | 5378 123 | 1 | 1 69.38/69.48 c 69.4s | 17 | 608133 | 283132 | 5378 126 | 1 | 1 71.37/71.49 c 71.4s | 17 | 625171 | 291732 | 5378 129 | 1 | 1 72.47/72.57 c 72.5s | 18 | 634286 | 296252 | 5916 131 | 1 | 1 74.47/74.59 c 74.5s | 18 | 650262 | 304252 | 5916 133 | 1 | 1 76.57/76.62 c 76.5s | 18 | 665924 | 312552 | 5916 136 | 1 | 1 78.57/78.63 c 78.6s | 18 | 682357 | 319952 | 5916 139 | 1 | 1 80.58/80.65 c 80.6s | 18 | 697970 | 327852 | 5916 141 | 1 | 1 82.58/82.66 c 82.6s | 18 | 715382 | 335752 | 5916 144 | 1 | 1 84.58/84.67 c 84.6s | 18 | 734159 | 343352 | 5916 147 | 1 | 1 86.57/86.68 c 86.6s | 18 | 748449 | 352052 | 5916 149 | 1 | 1 88.67/88.70 c 88.6s | 18 | 769086 | 359352 | 5916 152 | 1 | 1 90.67/90.72 c 90.7s | 18 | 787576 | 367052 | 5916 154 | 1 | 1 92.67/92.74 c 92.7s | 18 | 803531 | 375852 | 5916 157 | 1 | 1 94.68/94.76 c 94.7s | 18 | 821056 | 383452 | 5916 160 | 1 | 1 96.67/96.76 c 96.7s | 18 | 838418 | 391652 | 5916 163 | 1 | 1 98.67/98.77 c 98.7s | 18 | 860013 | 399552 | 5916 165 | 1 | 1 100.67/100.78 c 100s | 18 | 875488 | 408052 | 5916 168 | 1 | 1 102.77/102.80 c 102s | 18 | 891628 | 415552 | 5916 171 | 1 | 1 104.77/104.84 c 104s | 18 | 912471 | 423852 | 5916 174 | 1 | 1 106.87/106.90 c 106s | 18 | 929041 | 431952 | 5916 176 | 1 | 1 108.88/108.92 c 108s | 18 | 946105 | 439552 | 5916 179 | 1 | 1 110.27/110.38 c 110s | 19 | 955191 | 444482 | 6508 180 | 1 | 1 112.28/112.39 c 112s | 19 | 969939 | 450782 | 6508 182 | 1 | 1 114.27/114.40 c 114s | 19 | 983983 | 457582 | 6508 184 | 1 | 1 116.37/116.44 c 116s | 19 | 1000715 | 465282 | 6508 187 | 1 | 1 118.37/118.46 c 118s | 19 | 1014926 | 472482 | 6508 189 | 1 | 1 120.37/120.46 c 120s | 19 | 1031708 | 479582 | 6508 191 | 1 | 1 122.37/122.47 c 122s | 19 | 1047947 | 486382 | 6508 193 | 1 | 1 124.38/124.48 c 124s | 19 | 1058229 | 494382 | 6508 195 | 1 | 1 126.47/126.52 c 126s | 19 | 1066466 | 501482 | 6508 198 | 1 | 1 128.47/128.52 c 128s | 19 | 1075720 | 508582 | 6508 200 | 1 | 1 130.47/130.58 c 130s | 19 | 1087665 | 516082 | 6508 202 | 1 | 1 132.46/132.59 c 132s | 19 | 1100718 | 523882 | 6508 204 | 1 | 1 134.56/134.60 c 134s | 19 | 1114261 | 531182 | 6508 207 | 1 | 1 136.56/136.61 c 136s | 19 | 1130252 | 538882 | 6508 209 | 1 | 1 138.57/138.61 c 138s | 19 | 1145118 | 546382 | 6508 211 | 1 | 1 140.56/140.63 c 140s | 19 | 1158079 | 554482 | 6508 214 | 1 | 1 142.56/142.63 c 142s | 19 | 1173114 | 562282 | 6508 216 | 1 | 1 144.56/144.65 c 144s | 19 | 1183919 | 568882 | 6508 218 | 1 | 1 146.56/146.66 c 146s | 19 | 1198831 | 576582 | 6508 220 | 1 | 1 148.56/148.69 c 148s | 19 | 1211248 | 584582 | 6508 223 | 1 | 1 150.56/150.69 c 150s | 19 | 1220464 | 590882 | 6508 225 | 1 | 1 152.66/152.70 c 152s | 19 | 1235553 | 598482 | 6508 227 | 1 | 1 154.66/154.72 c 154s | 19 | 1250750 | 606482 | 6508 229 | 1 | 1 156.66/156.73 c 156s | 19 | 1265601 | 613882 | 6508 232 | 1 | 1 158.66/158.75 c 158s | 19 | 1278813 | 621782 | 6508 234 | 1 | 1 160.66/160.78 c 160s | 19 | 1292017 | 629082 | 6508 236 | 1 | 1 162.66/162.78 c 162s | 19 | 1308376 | 636082 | 6508 238 | 1 | 1 164.66/164.78 c 164s | 19 | 1323164 | 643382 | 6508 241 | 1 | 1 166.76/166.80 c 166s | 19 | 1339303 | 650282 | 6508 243 | 1 | 1 168.76/168.80 c 168s | 19 | 1356491 | 657582 | 6508 245 | 1 | 1 170.76/170.80 c 170s | 19 | 1373432 | 664982 | 7159 247 | 1 | 1 171.26/171.31 c 171s | 20 | 1377263 | 666827 | 7159 248 | 1 | 1 173.25/173.32 c 173s | 20 | 1391317 | 673127 | 7159 249 | 1 | 1 175.35/175.41 c 175s | 20 | 1406458 | 680327 | 7159 251 | 1 | 1 177.35/177.43 c 177s | 20 | 1420345 | 687427 | 7159 253 | 1 | 1 179.36/179.45 c 179s | 20 | 1433729 | 693827 | 7159 255 | 1 | 1 181.35/181.47 c 181s | 20 | 1446956 | 700127 | 7159 257 | 1 | 1 183.35/183.49 c 183s | 20 | 1459747 | 706427 | 7159 258 | 1 | 1 185.35/185.49 c 185s | 20 | 1471958 | 712327 | 7159 260 | 1 | 1 187.45/187.55 c 187s | 20 | 1482598 | 717827 | 7159 262 | 1 | 1 189.46/189.55 c 189s | 20 | 1493469 | 724727 | 7159 263 | 1 | 1 191.46/191.56 c 191s | 20 | 1505289 | 732127 | 7159 265 | 1 | 1 193.46/193.60 c 193s | 20 | 1516787 | 739527 | 7159 268 | 1 | 1 195.56/195.61 c 195s | 20 | 1531487 | 746727 | 7159 270 | 1 | 1 197.56/197.64 c 197s | 20 | 1544743 | 754027 | 7159 272 | 1 | 1 199.56/199.66 c 199s | 20 | 1562274 | 760727 | 7159 273 | 1 | 1 201.56/201.67 c 201s | 20 | 1576760 | 767427 | 7159 275 | 1 | 1 203.56/203.68 c 203s | 20 | 1594006 | 775027 | 7159 277 | 1 | 1 205.56/205.69 c 205s | 20 | 1614546 | 782227 | 7159 279 | 1 | 1 207.66/207.71 c 207s | 20 | 1630892 | 788827 | 7159 281 | 1 | 1 209.66/209.71 c 209s | 20 | 1647060 | 795827 | 7159 283 | 1 | 1 211.65/211.72 c 211s | 20 | 1662875 | 803127 | 7159 285 | 1 | 1 213.65/213.73 c 213s | 20 | 1676291 | 810427 | 7159 287 | 1 | 1 215.66/215.74 c 215s | 20 | 1694445 | 817727 | 7159 289 | 1 | 1 217.65/217.77 c 217s | 20 | 1710695 | 824227 | 7159 291 | 1 | 1 219.65/219.77 c 219s | 20 | 1725397 | 831827 | 7159 293 | 1 | 1 221.75/221.81 c 221s | 20 | 1739501 | 838427 | 7159 295 | 1 | 1 223.75/223.83 c 223s | 20 | 1750074 | 844327 | 7159 297 | 1 | 1 225.75/225.88 c 225s | 20 | 1758945 | 851627 | 7159 299 | 1 | 1 227.85/227.92 c 227s | 20 | 1771659 | 858227 | 7159 300 | 1 | 1 229.86/229.94 c 229s | 20 | 1788694 | 865427 | 7159 302 | 1 | 1 231.85/231.94 c 231s | 20 | 1806494 | 872527 | 7159 304 | 1 | 1 233.85/233.95 c 233s | 20 | 1821993 | 879227 | 7159 306 | 1 | 1 235.85/235.95 c 235s | 20 | 1839322 | 886827 | 7159 308 | 1 | 1 237.85/237.96 c 237s | 20 | 1858309 | 894627 | 7159 310 | 1 | 1 239.85/239.98 c 239s | 20 | 1876156 | 902427 | 7159 313 | 1 | 1 241.85/241.99 c 241s | 20 | 1891322 | 909927 | 7159 315 | 1 | 1 243.95/244.00 c 243s | 20 | 1904932 | 917027 | 7159 317 | 1 | 1 245.94/246.02 c 245s | 20 | 1923320 | 924927 | 7159 319 | 1 | 1 247.94/248.02 c 247s | 20 | 1938914 | 932327 | 7159 321 | 1 | 1 249.94/250.03 c 249s | 20 | 1955339 | 939727 | 7159 323 | 1 | 1 251.95/252.06 c 251s | 20 | 1970453 | 947327 | 7159 325 | 1 | 1 253.94/254.08 c 254s | 20 | 1986172 | 954427 | 7159 327 | 1 | 1 255.95/256.09 c 256s | 20 | 2003009 | 961827 | 7159 329 | 1 | 1 258.05/258.10 c 258s | 20 | 2020209 | 969327 | 7159 331 | 1 | 1 260.05/260.12 c 260s | 20 | 2035660 | 977027 | 7159 333 | 1 | 1 262.05/262.15 c 262s | 20 | 2051396 | 984127 | 7159 335 | 1 | 1 264.05/264.17 c 264s | 20 | 2065188 | 991627 | 7159 337 | 1 | 1 266.05/266.18 c 266s | 20 | 2076496 | 997827 | 7875 339 | 1 | 1 266.95/267.07 c 267s | 21 | 2082668 | 1000345 | 7875 340 | 1 | 1 268.95/269.09 c 269s | 21 | 2095815 | 1006445 | 7875 341 | 1 | 1 271.05/271.10 c 271s | 21 | 2108619 | 1013245 | 7875 343 | 1 | 1 273.05/273.11 c 273s | 21 | 2125844 | 1020145 | 7875 344 | 1 | 1 275.05/275.11 c 275s | 21 | 2139299 | 1026645 | 7875 346 | 1 | 1 277.04/277.13 c 277s | 21 | 2155078 | 1033245 | 7875 348 | 1 | 1 279.04/279.14 c 279s | 21 | 2166863 | 1039745 | 7875 349 | 1 | 1 281.04/281.14 c 281s | 21 | 2179692 | 1047745 | 7875 351 | 1 | 1 283.04/283.15 c 283s | 21 | 2188931 | 1054445 | 7875 353 | 1 | 1 285.05/285.15 c 285s | 21 | 2200905 | 1059945 | 7875 355 | 1 | 1 287.05/287.17 c 287s | 21 | 2215999 | 1066945 | 7875 356 | 1 | 1 289.05/289.18 c 289s | 21 | 2228337 | 1073145 | 7875 358 | 1 | 1 291.14/291.25 c 291s | 21 | 2242176 | 1079745 | 7875 360 | 1 | 1 293.14/293.27 c 293s | 21 | 2256342 | 1087345 | 7875 361 | 1 | 1 295.14/295.29 c 295s | 21 | 2269445 | 1093945 | 7875 363 | 1 | 1 297.24/297.30 c 297s | 21 | 2282922 | 1100445 | 7875 365 | 1 | 1 299.25/299.31 c 299s | 21 | 2298342 | 1107545 | 7875 367 | 1 | 1 301.24/301.32 c 301s | 21 | 2313263 | 1114545 | 7875 368 | 1 | 1 303.24/303.32 c 303s | 21 | 2327353 | 1122045 | 7875 370 | 1 | 1 305.24/305.33 c 305s | 21 | 2336181 | 1129045 | 7875 372 | 1 | 1 307.24/307.33 c 307s | 21 | 2344187 | 1135245 | 7875 374 | 1 | 1 309.24/309.35 c 309s | 21 | 2354528 | 1141645 | 7875 375 | 1 | 1 311.25/311.37 c 311s | 21 | 2366379 | 1147845 | 7875 377 | 1 | 1 313.24/313.38 c 313s | 21 | 2381101 | 1154845 | 7875 378 | 1 | 1 315.34/315.40 c 315s | 21 | 2396483 | 1162045 | 7875 380 | 1 | 1 317.34/317.42 c 317s | 21 | 2409485 | 1169045 | 7875 382 | 1 | 1 319.34/319.42 c 319s | 21 | 2421471 | 1176045 | 7875 384 | 1 | 1 321.34/321.43 c 321s | 21 | 2432872 | 1182545 | 7875 385 | 1 | 1 323.34/323.45 c 323s | 21 | 2447539 | 1189945 | 7875 387 | 1 | 1 325.33/325.46 c 325s | 21 | 2460131 | 1196245 | 7875 389 | 1 | 1 327.33/327.47 c 327s | 21 | 2473548 | 1203345 | 7875 391 | 1 | 1 329.43/329.51 c 329s | 21 | 2487102 | 1210245 | 7875 392 | 1 | 1 331.43/331.53 c 331s | 21 | 2500759 | 1217445 | 7875 394 | 1 | 1 333.43/333.54 c 333s | 21 | 2511956 | 1224045 | 7875 396 | 1 | 1 335.44/335.55 c 335s | 21 | 2528177 | 1230445 | 7875 397 | 1 | 1 337.43/337.56 c 337s | 21 | 2541466 | 1237645 | 7875 399 | 1 | 1 339.43/339.57 c 339s | 21 | 2554643 | 1243845 | 7875 401 | 1 | 1 341.53/341.62 c 341s | 21 | 2567552 | 1250645 | 7875 403 | 1 | 1 343.53/343.64 c 343s | 21 | 2581155 | 1257345 | 7875 404 | 1 | 1 345.53/345.65 c 345s | 21 | 2596409 | 1264245 | 7875 406 | 1 | 1 347.53/347.68 c 347s | 21 | 2611745 | 1270345 | 7875 407 | 1 | 1 349.53/349.69 c 349s | 21 | 2627965 | 1277245 | 7875 409 | 1 | 1 351.52/351.69 c 351s | 21 | 2640314 | 1283345 | 7875 411 | 1 | 1 353.62/353.72 c 353s | 21 | 2655467 | 1289545 | 7875 412 | 1 | 1 355.62/355.73 c 355s | 21 | 2669445 | 1295245 | 7875 414 | 1 | 1 357.62/357.76 c 357s | 21 | 2681719 | 1301445 | 7875 415 | 1 | 1 359.63/359.76 c 359s | 21 | 2692508 | 1308045 | 7875 417 | 1 | 1 361.62/361.77 c 361s | 21 | 2706841 | 1315345 | 7875 419 | 1 | 1 363.72/363.80 c 363s | 21 | 2721497 | 1322045 | 7875 420 | 1 | 1 365.72/365.81 c 365s | 21 | 2734357 | 1328445 | 7875 422 | 1 | 1 367.72/367.82 c 367s | 21 | 2746633 | 1334445 | 7875 424 | 1 | 1 369.72/369.84 c 369s | 21 | 2760997 | 1340845 | 7875 425 | 1 | 1 371.72/371.86 c 371s | 21 | 2775881 | 1347145 | 7875 427 | 1 | 1 373.72/373.88 c 373s | 21 | 2788709 | 1352945 | 7875 428 | 1 | 1 375.82/375.95 c 375s | 21 | 2800465 | 1358545 | 7875 430 | 1 | 1 377.82/377.96 c 377s | 21 | 2817101 | 1366345 | 7875 431 | 1 | 1 379.82/379.96 c 379s | 21 | 2830445 | 1373145 | 7875 433 | 1 | 1 381.63/381.76 c 381s | 21 | 2842824 | 1378182 | 7875 434 | 2 | 2 381.63/381.76 c #cpu_time = 380.702s 381.63/381.76 c #wall_clock_time = 381.690s 381.63/381.76 c #decision = 2842824 381.63/381.76 c #random_decision = 13983 381.63/381.76 c #conflict = 1378182 381.63/381.76 c #restart = 21 381.63/381.76 c BCD2: updating lower bound of a core 381.63/381.76 c lower bound updated to -14 381.63/381.76 c BCD2: 36 <= obj <= 46 381.63/381.76 c BCD2: #cores=1, #unrelaxed=0, #relaxed=50, #hardened=0 381.63/381.76 c BCD2: #sat=1 #unsat=4 bias=4/5 381.63/381.76 c Solving starts ... 381.63/381.76 c ============================[ Search Statistics ]============================ 381.63/381.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 381.63/381.76 c | | | | Limit GC | Var | Constra 381.63/381.76 c ============================================================================= 381.63/381.76 c 0.0s | 0 | 0 | 0 | 7875 0 | 2 | 3 381.63/381.80 c 0.0s | 1 | 250 | 100 | 7875 0 | 2 | 3 381.73/381.87 c 0.1s | 2 | 1725 | 250 | 7875 0 | 2 | 3 381.82/381.97 c 0.2s | 3 | 3224 | 475 | 7875 0 | 2 | 3 381.92/382.07 c 0.3s | 4 | 4267 | 813 | 7875 0 | 2 | 3 382.12/382.24 c 0.5s | 5 | 4921 | 1320 | 7875 0 | 2 | 3 382.32/382.48 c 0.7s | 6 | 7215 | 2081 | 7875 0 | 2 | 3 382.82/382.93 c 1.2s | 7 | 8894 | 3223 | 7875 0 | 2 | 3 383.42/383.59 c 1.8s | 8 | 11143 | 4936 | 7875 0 | 2 | 3 384.52/384.64 c 2.9s | 9 | 14609 | 7506 | 7875 1 | 2 | 3 385.72/385.87 c 4.1s | 9 | 19280 | 10183 | 7875 2 | 2 | 3 385.72/385.87 c #cpu_time = 4.097s 385.72/385.87 c #wall_clock_time = 4.107s 385.72/385.87 c #decision = 19280 385.72/385.87 c #random_decision = 83 385.72/385.87 c #conflict = 10183 385.72/385.87 c #restart = 9 385.72/385.87 o -6 385.72/385.87 c BCD2: updating upper bound: 46 -> 43 385.72/385.87 c BCD2: 36 <= obj <= 43 385.72/385.87 c BCD2: #cores=1, #unrelaxed=0, #relaxed=50, #hardened=0 385.72/385.87 c BCD2: #sat=2 #unsat=4 bias=4/6 385.72/385.87 c Solving starts ... 385.72/385.87 c ============================[ Search Statistics ]============================ 385.72/385.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 385.72/385.87 c | | | | Limit GC | Var | Constra 385.72/385.87 c ============================================================================= 385.72/385.87 c 0.0s | 0 | 0 | 0 | 7875 0 | 2 | 5 385.82/385.94 c 0.1s | 1 | 443 | 100 | 7875 0 | 2 | 5 385.92/386.00 c 0.1s | 2 | 1306 | 250 | 7875 0 | 2 | 5 385.92/386.07 c 0.2s | 3 | 1701 | 475 | 7875 0 | 2 | 5 386.02/386.19 c 0.3s | 4 | 2224 | 813 | 7875 0 | 2 | 5 386.32/386.42 c 0.6s | 5 | 2881 | 1320 | 7875 0 | 2 | 5 386.52/386.66 c 0.8s | 6 | 3867 | 2081 | 7875 0 | 2 | 5 386.82/386.96 c 1.1s | 7 | 9873 | 3223 | 7875 0 | 2 | 5 387.42/387.52 c 1.7s | 8 | 14549 | 4936 | 7875 1 | 2 | 5 388.12/388.30 c 2.4s | 9 | 21620 | 7506 | 7875 1 | 2 | 5 389.42/389.56 c 3.7s | 10 | 28929 | 11361 | 7875 2 | 2 | 5 391.41/391.58 c 5.7s | 10 | 38348 | 16261 | 7875 4 | 2 | 5 391.71/391.87 c 6.0s | 11 | 39566 | 17144 | 7875 4 | 2 | 5 393.72/393.88 c 8.0s | 11 | 49414 | 22144 | 7875 5 | 2 | 5 395.21/395.38 c 9.5s | 12 | 55598 | 25819 | 7875 6 | 2 | 5 397.31/397.40 c 11.5s | 12 | 63934 | 30719 | 7875 7 | 2 | 5 399.32/399.42 c 13.6s | 12 | 75766 | 36419 | 7875 9 | 2 | 5 400.21/400.32 c 14.5s | 13 | 79781 | 38832 | 7875 9 | 2 | 5 402.21/402.36 c 16.5s | 13 | 89932 | 44132 | 7875 11 | 2 | 5 404.21/404.37 c 18.5s | 13 | 98282 | 49132 | 7875 12 | 2 | 5 406.21/406.39 c 20.5s | 13 | 108548 | 53832 | 7875 13 | 2 | 5 408.01/408.17 c 22.3s | 14 | 117336 | 58352 | 7875 14 | 2 | 5 410.00/410.17 c 24.3s | 14 | 125561 | 63152 | 7875 15 | 2 | 5 412.10/412.20 c 26.3s | 14 | 134658 | 67852 | 7875 17 | 2 | 5 414.10/414.21 c 28.3s | 14 | 143700 | 72752 | 7875 18 | 2 | 5 416.10/416.27 c 30.4s | 14 | 154568 | 79652 | 7875 20 | 2 | 5 418.20/418.30 c 32.4s | 14 | 166198 | 85952 | 7875 21 | 2 | 5 418.70/418.86 c 33.0s | 15 | 169914 | 87632 | 7875 22 | 2 | 5 420.81/420.90 c 35.0s | 15 | 182557 | 93332 | 7875 23 | 2 | 5 422.80/422.91 c 37.0s | 15 | 193096 | 98532 | 7875 24 | 2 | 5 424.80/424.92 c 39.0s | 15 | 204536 | 104632 | 8663 26 | 2 | 5 426.81/426.94 c 41.1s | 15 | 213102 | 109832 | 8663 27 | 2 | 5 428.80/428.97 c 43.1s | 15 | 224682 | 115832 | 8663 28 | 2 | 5 430.90/431.00 c 45.1s | 15 | 235967 | 121132 | 8663 29 | 2 | 5 432.90/433.02 c 47.2s | 15 | 244943 | 127132 | 8663 31 | 2 | 5 434.40/434.56 c 48.7s | 16 | 253387 | 131552 | 8663 32 | 2 | 5 436.40/436.58 c 50.7s | 16 | 262041 | 136752 | 8663 33 | 2 | 5 438.50/438.60 c 52.7s | 16 | 270397 | 141752 | 8663 34 | 2 | 5 440.50/440.65 c 54.8s | 16 | 278618 | 146952 | 8663 35 | 2 | 5 442.49/442.66 c 56.8s | 16 | 288812 | 151752 | 8663 36 | 2 | 5 444.49/444.68 c 58.8s | 16 | 299246 | 156952 | 8663 38 | 2 | 5 446.60/446.71 c 60.8s | 16 | 308508 | 162852 | 8663 39 | 2 | 5 448.70/448.83 c 63.0s | 16 | 322536 | 168752 | 8663 40 | 2 | 5 450.69/450.83 c 65.0s | 16 | 331899 | 174052 | 8663 41 | 2 | 5 452.69/452.86 c 67.0s | 16 | 341929 | 179252 | 8663 43 | 2 | 5 454.69/454.87 c 69.0s | 16 | 352307 | 184452 | 8663 44 | 2 | 5 456.69/456.89 c 71.0s | 16 | 360195 | 189752 | 8663 45 | 2 | 5 458.79/458.93 c 73.1s | 16 | 370853 | 196252 | 8663 47 | 2 | 5 459.19/459.30 c 73.4s | 17 | 372805 | 197432 | 8663 47 | 2 | 5 461.18/461.31 c 75.4s | 17 | 383742 | 204032 | 8663 48 | 2 | 5 463.28/463.43 c 77.6s | 17 | 393978 | 210032 | 8663 50 | 2 | 5 465.29/465.44 c 79.6s | 17 | 405058 | 216432 | 8663 51 | 2 | 5 467.28/467.47 c 81.6s | 17 | 417036 | 222932 | 8663 53 | 2 | 5 469.38/469.52 c 83.7s | 17 | 429172 | 229332 | 8663 54 | 2 | 5 471.38/471.52 c 85.7s | 17 | 440728 | 235632 | 8663 56 | 2 | 5 473.38/473.55 c 87.7s | 17 | 452757 | 241932 | 8663 57 | 2 | 5 475.38/475.56 c 89.7s | 17 | 465367 | 248332 | 8663 58 | 2 | 5 477.38/477.58 c 91.7s | 17 | 477714 | 254632 | 8663 60 | 2 | 5 479.48/479.62 c 93.7s | 17 | 488624 | 261232 | 8663 61 | 2 | 5 481.47/481.64 c 95.8s | 17 | 499606 | 267232 | 8663 63 | 2 | 5 483.47/483.67 c 97.8s | 17 | 510369 | 273632 | 8663 64 | 2 | 5 485.47/485.69 c 99.8s | 17 | 521579 | 279732 | 8663 66 | 2 | 5 487.47/487.69 c 101s | 17 | 531889 | 286532 | 8663 67 | 2 | 5 489.57/489.73 c 103s | 17 | 542548 | 292232 | 8663 69 | 2 | 5 490.87/491.05 c 105s | 18 | 549400 | 296252 | 8663 69 | 2 | 5 492.87/493.09 c 107s | 18 | 557065 | 300952 | 8663 70 | 2 | 5 494.87/495.10 c 109s | 18 | 564953 | 305852 | 8663 72 | 2 | 5 496.97/497.12 c 111s | 18 | 574486 | 311952 | 8663 73 | 2 | 5 498.97/499.13 c 113s | 18 | 583189 | 317452 | 8663 74 | 2 | 5 500.97/501.15 c 115s | 18 | 591578 | 322552 | 8663 75 | 2 | 5 502.96/503.16 c 117s | 18 | 600868 | 328152 | 8663 77 | 2 | 5 504.96/505.18 c 119s | 18 | 612298 | 334252 | 8663 78 | 2 | 5 506.97/507.19 c 121s | 18 | 621004 | 339852 | 8663 79 | 2 | 5 509.06/509.20 c 123s | 18 | 630403 | 345052 | 8663 81 | 2 | 5 511.06/511.23 c 125s | 18 | 640237 | 350652 | 8663 82 | 2 | 5 513.06/513.25 c 127s | 18 | 650299 | 356152 | 8663 83 | 2 | 5 515.06/515.26 c 129s | 18 | 658534 | 361852 | 8663 84 | 2 | 5 517.06/517.29 c 131s | 18 | 665998 | 366752 | 8663 86 | 2 | 5 519.17/519.32 c 133s | 18 | 673846 | 371352 | 8663 87 | 2 | 5 521.16/521.39 c 135s | 18 | 684490 | 377152 | 8663 88 | 2 | 5 523.26/523.42 c 137s | 18 | 692919 | 383052 | 8663 89 | 2 | 5 525.26/525.43 c 139s | 18 | 702238 | 389152 | 8663 91 | 2 | 5 527.26/527.46 c 141s | 18 | 713803 | 394652 | 8663 92 | 2 | 5 529.26/529.47 c 143s | 18 | 721421 | 399052 | 8663 93 | 2 | 5 531.27/531.48 c 145s | 18 | 727946 | 403052 | 8663 94 | 2 | 5 533.26/533.49 c 147s | 18 | 736312 | 408352 | 8663 95 | 2 | 5 535.36/535.51 c 149s | 18 | 746157 | 414152 | 8663 96 | 2 | 5 537.46/537.63 c 151s | 18 | 754568 | 418852 | 8663 97 | 2 | 5 539.46/539.66 c 153s | 18 | 765269 | 425052 | 8663 99 | 2 | 5 541.45/541.68 c 155s | 18 | 774550 | 431052 | 8663 100 | 2 | 5 543.45/543.68 c 157s | 18 | 785332 | 436952 | 8663 102 | 2 | 5 545.56/545.72 c 159s | 18 | 795023 | 442152 | 8663 103 | 2 | 5 546.45/546.68 c 160s | 19 | 799534 | 444482 | 8663 103 | 2 | 5 548.55/548.71 c 162s | 19 | 807157 | 449582 | 8663 104 | 2 | 5 550.55/550.73 c 164s | 19 | 817379 | 455682 | 8663 106 | 2 | 5 552.55/552.73 c 166s | 19 | 826624 | 461282 | 8663 107 | 2 | 5 554.55/554.76 c 168s | 19 | 835408 | 466182 | 8663 108 | 2 | 5 556.55/556.78 c 170s | 19 | 844002 | 471282 | 8663 109 | 2 | 5 558.75/558.98 c 173s | 19 | 852808 | 476182 | 8663 111 | 2 | 5 560.75/560.99 c 175s | 19 | 862016 | 482282 | 8663 112 | 2 | 5 562.84/563.02 c 177s | 19 | 871355 | 489382 | 8663 114 | 2 | 5 564.84/565.05 c 179s | 19 | 881898 | 496082 | 8663 115 | 2 | 5 566.84/567.08 c 181s | 19 | 888350 | 500582 | 8663 116 | 2 | 5 568.84/569.09 c 183s | 19 | 896568 | 506182 | 8663 117 | 2 | 5 570.94/571.10 c 185s | 19 | 906758 | 512082 | 8663 119 | 2 | 5 572.94/573.11 c 187s | 19 | 918786 | 517882 | 8663 120 | 2 | 5 574.93/575.14 c 189s | 19 | 928392 | 523682 | 8663 121 | 2 | 5 576.93/577.14 c 191s | 19 | 939292 | 529082 | 8663 123 | 2 | 5 578.93/579.14 c 193s | 19 | 949274 | 534982 | 8663 124 | 2 | 5 580.93/581.17 c 195s | 19 | 958698 | 541182 | 8663 125 | 2 | 5 582.93/583.17 c 197s | 19 | 967229 | 547682 | 8663 127 | 2 | 5 584.93/585.19 c 199s | 19 | 975572 | 553982 | 8663 128 | 2 | 5 587.03/587.21 c 201s | 19 | 984120 | 560782 | 8663 130 | 2 | 5 589.03/589.23 c 203s | 19 | 992530 | 567182 | 8663 131 | 2 | 5 591.03/591.23 c 205s | 19 | 1004472 | 573782 | 8663 133 | 2 | 5 593.02/593.23 c 207s | 19 | 1014777 | 578982 | 8663 134 | 2 | 5 595.03/595.24 c 209s | 19 | 1026313 | 584782 | 8663 135 | 2 | 5 597.02/597.25 c 211s | 19 | 1037616 | 591382 | 8663 137 | 2 | 5 599.02/599.27 c 213s | 19 | 1047456 | 597482 | 8663 138 | 2 | 5 601.02/601.27 c 215s | 19 | 1058993 | 603882 | 8663 140 | 2 | 5 603.01/603.27 c 217s | 19 | 1069400 | 610282 | 8663 141 | 2 | 5 605.11/605.32 c 219s | 19 | 1079622 | 615982 | 8663 142 | 2 | 5 607.12/607.35 c 221s | 19 | 1089527 | 621482 | 8663 144 | 2 | 5 609.12/609.35 c 223s | 19 | 1100082 | 626582 | 8663 145 | 2 | 5 611.12/611.36 c 225s | 19 | 1109131 | 631482 | 8663 146 | 2 | 5 613.12/613.36 c 227s | 19 | 1119571 | 636982 | 8663 147 | 2 | 5 615.12/615.38 c 229s | 19 | 1128017 | 642582 | 8663 148 | 2 | 5 617.12/617.39 c 231s | 19 | 1137535 | 647882 | 8663 150 | 2 | 5 619.12/619.39 c 233s | 19 | 1145496 | 652582 | 8663 151 | 2 | 5 621.21/621.41 c 235s | 19 | 1153973 | 657582 | 8663 152 | 2 | 5 623.21/623.44 c 237s | 19 | 1161447 | 662182 | 8663 153 | 2 | 5 624.51/624.77 c 238s | 20 | 1169215 | 666827 | 8663 154 | 2 | 5 626.61/626.80 c 240s | 20 | 1177402 | 672927 | 8663 155 | 2 | 5 628.61/628.81 c 242s | 20 | 1186306 | 678227 | 8663 157 | 2 | 5 630.61/630.83 c 244s | 20 | 1194886 | 683627 | 8663 158 | 2 | 5 632.60/632.86 c 246s | 20 | 1202544 | 688627 | 8663 159 | 2 | 5 634.61/634.87 c 248s | 20 | 1211505 | 693927 | 8663 160 | 2 | 5 636.71/636.91 c 251s | 20 | 1219673 | 698927 | 8663 161 | 2 | 5 638.70/638.93 c 253s | 20 | 1224941 | 703227 | 8663 162 | 2 | 5 640.70/640.97 c 255s | 20 | 1233529 | 708027 | 8663 163 | 2 | 5 642.80/643.00 c 257s | 20 | 1241537 | 712527 | 8663 164 | 2 | 5 644.80/645.01 c 259s | 20 | 1250867 | 717527 | 8663 166 | 2 | 5 646.80/647.02 c 261s | 20 | 1261793 | 723827 | 8663 167 | 2 | 5 648.81/649.04 c 263s | 20 | 1272071 | 730027 | 8663 168 | 2 | 5 650.80/651.05 c 265s | 20 | 1281467 | 735127 | 8663 170 | 2 | 5 652.80/653.08 c 267s | 20 | 1291325 | 740427 | 8663 171 | 2 | 5 654.90/655.13 c 269s | 20 | 1300123 | 745427 | 8663 172 | 2 | 5 656.90/657.15 c 271s | 20 | 1310916 | 751727 | 8663 173 | 2 | 5 658.90/659.19 c 273s | 20 | 1323863 | 757627 | 8663 175 | 2 | 5 661.00/661.21 c 275s | 20 | 1334205 | 762927 | 8663 176 | 2 | 5 662.99/663.22 c 277s | 20 | 1344479 | 768627 | 8663 177 | 2 | 5 664.99/665.23 c 279s | 20 | 1355361 | 774927 | 8663 179 | 2 | 5 666.99/667.25 c 281s | 20 | 1365334 | 780227 | 8663 180 | 2 | 5 668.99/669.27 c 283s | 20 | 1377249 | 785527 | 8663 181 | 2 | 5 670.99/671.29 c 285s | 20 | 1389356 | 791327 | 8663 182 | 2 | 5 673.09/673.31 c 287s | 20 | 1400338 | 797327 | 8663 184 | 2 | 5 675.09/675.33 c 289s | 20 | 1409099 | 802427 | 8663 185 | 2 | 5 677.09/677.35 c 291s | 20 | 1419061 | 808627 | 8663 186 | 2 | 5 679.08/679.36 c 293s | 20 | 1429557 | 814427 | 8663 188 | 2 | 5 681.08/681.36 c 295s | 20 | 1439635 | 819427 | 8663 189 | 2 | 5 683.08/683.36 c 297s | 20 | 1448738 | 825027 | 8663 190 | 2 | 5 685.08/685.38 c 299s | 20 | 1457254 | 831427 | 8663 192 | 2 | 5 687.08/687.39 c 301s | 20 | 1466031 | 837727 | 8663 193 | 2 | 5 689.18/689.44 c 303s | 20 | 1477013 | 843727 | 8663 194 | 2 | 5 691.17/691.47 c 305s | 20 | 1488350 | 849527 | 9530 196 | 2 | 5 693.17/693.48 c 307s | 20 | 1497356 | 855127 | 9530 197 | 2 | 5 695.17/695.48 c 309s | 20 | 1506484 | 861627 | 9530 198 | 2 | 5 697.18/697.50 c 311s | 20 | 1516040 | 868327 | 9530 199 | 2 | 5 699.28/699.51 c 313s | 20 | 1527857 | 875027 | 9530 201 | 2 | 5 701.27/701.53 c 315s | 20 | 1540180 | 881327 | 9530 202 | 2 | 5 703.27/703.55 c 317s | 20 | 1553411 | 887827 | 9530 203 | 2 | 5 705.27/705.56 c 319s | 20 | 1565344 | 894327 | 9530 205 | 2 | 5 707.27/707.57 c 321s | 20 | 1577070 | 901027 | 9530 206 | 2 | 5 709.28/709.59 c 323s | 20 | 1588680 | 907227 | 9530 208 | 2 | 5 711.26/711.59 c 325s | 20 | 1599802 | 913627 | 9530 209 | 2 | 5 713.36/713.62 c 327s | 20 | 1611280 | 920427 | 9530 210 | 2 | 5 715.36/715.64 c 329s | 20 | 1620523 | 926027 | 9530 211 | 2 | 5 717.36/717.64 c 331s | 20 | 1632887 | 932827 | 9530 213 | 2 | 5 719.36/719.65 c 333s | 20 | 1643067 | 939127 | 9530 214 | 2 | 5 721.37/721.66 c 335s | 20 | 1653546 | 945227 | 9530 215 | 2 | 5 723.36/723.68 c 337s | 20 | 1664690 | 952027 | 9530 217 | 2 | 5 725.36/725.69 c 339s | 20 | 1675119 | 957827 | 9530 218 | 2 | 5 727.46/727.72 c 341s | 20 | 1686094 | 963527 | 9530 219 | 2 | 5 729.46/729.72 c 343s | 20 | 1697731 | 970027 | 9530 221 | 2 | 5 731.46/731.74 c 345s | 20 | 1708975 | 976727 | 9530 222 | 2 | 5 733.46/733.76 c 347s | 20 | 1720924 | 983027 | 9530 223 | 2 | 5 735.46/735.78 c 349s | 20 | 1729382 | 987627 | 9530 224 | 2 | 5 737.55/737.80 c 351s | 20 | 1738527 | 993727 | 9530 226 | 2 | 5 739.55/739.82 c 353s | 20 | 1747242 | 999027 | 9530 227 | 2 | 5 739.95/740.30 c 354s | 21 | 1750450 | 1000345 | 9530 227 | 2 | 5 742.05/742.30 c 356s | 21 | 1760861 | 1005545 | 9530 228 | 2 | 5 744.05/744.33 c 358s | 21 | 1770201 | 1010545 | 9530 229 | 2 | 5 746.05/746.33 c 360s | 21 | 1780920 | 1015845 | 9530 230 | 2 | 5 748.05/748.35 c 362s | 21 | 1789573 | 1020545 | 9530 231 | 2 | 5 750.05/750.38 c 364s | 21 | 1797961 | 1025245 | 9530 232 | 2 | 5 752.15/752.41 c 366s | 21 | 1807718 | 1030745 | 9530 233 | 2 | 5 754.14/754.44 c 368s | 21 | 1816750 | 1036145 | 9530 234 | 2 | 5 756.14/756.44 c 370s | 21 | 1822505 | 1040445 | 9530 235 | 2 | 5 758.14/758.46 c 372s | 21 | 1832396 | 1046245 | 9530 236 | 2 | 5 760.14/760.47 c 374s | 21 | 1840818 | 1051245 | 9530 237 | 2 | 5 762.24/762.51 c 376s | 21 | 1848946 | 1056145 | 9530 239 | 2 | 5 764.24/764.57 c 378s | 21 | 1858534 | 1061545 | 9530 240 | 2 | 5 766.33/766.62 c 380s | 21 | 1867407 | 1066345 | 9530 241 | 2 | 5 768.33/768.64 c 382s | 21 | 1878600 | 1072745 | 9530 242 | 2 | 5 770.43/770.76 c 384s | 21 | 1889140 | 1078245 | 9530 243 | 2 | 5 772.43/772.77 c 386s | 21 | 1901429 | 1084045 | 9530 244 | 2 | 5 774.43/774.79 c 388s | 21 | 1911977 | 1089845 | 9530 245 | 2 | 5 776.54/776.81 c 390s | 21 | 1921914 | 1094745 | 9530 247 | 2 | 5 778.54/778.82 c 392s | 21 | 1934852 | 1101045 | 9530 248 | 2 | 5 780.64/780.94 c 395s | 21 | 1943784 | 1106245 | 9530 249 | 2 | 5 782.63/782.96 c 397s | 21 | 1956533 | 1112745 | 9530 250 | 2 | 5 784.63/784.97 c 399s | 21 | 1968807 | 1118445 | 9530 251 | 2 | 5 786.63/786.98 c 401s | 21 | 1977218 | 1124545 | 9530 253 | 2 | 5 788.63/788.99 c 403s | 21 | 1990220 | 1130545 | 9530 254 | 2 | 5 790.73/791.02 c 405s | 21 | 2000439 | 1135945 | 9530 255 | 2 | 5 792.73/793.03 c 407s | 21 | 2009716 | 1141145 | 9530 256 | 2 | 5 794.73/795.04 c 409s | 21 | 2019131 | 1146845 | 9530 257 | 2 | 5 796.72/797.05 c 411s | 21 | 2028179 | 1152445 | 9530 259 | 2 | 5 798.72/799.06 c 413s | 21 | 2040744 | 1158745 | 9530 260 | 2 | 5 800.72/801.07 c 415s | 21 | 2052438 | 1165245 | 9530 261 | 2 | 5 802.73/803.09 c 417s | 21 | 2065243 | 1171645 | 9530 263 | 2 | 5 804.82/805.11 c 419s | 21 | 2076766 | 1178045 | 9530 264 | 2 | 5 806.82/807.12 c 421s | 21 | 2088939 | 1184145 | 9530 265 | 2 | 5 808.82/809.16 c 423s | 21 | 2100248 | 1190445 | 9530 266 | 2 | 5 810.81/811.18 c 425s | 21 | 2110814 | 1196545 | 9530 268 | 2 | 5 812.81/813.19 c 427s | 21 | 2121100 | 1202345 | 9530 269 | 2 | 5 814.91/815.21 c 429s | 21 | 2132111 | 1208645 | 9530 270 | 2 | 5 816.91/817.28 c 431s | 21 | 2142761 | 1214645 | 9530 271 | 2 | 5 819.02/819.31 c 433s | 21 | 2153909 | 1220545 | 9530 273 | 2 | 5 821.02/821.35 c 435s | 21 | 2162312 | 1225445 | 9530 274 | 2 | 5 823.01/823.36 c 437s | 21 | 2171644 | 1231045 | 9530 275 | 2 | 5 825.01/825.38 c 439s | 21 | 2182067 | 1237045 | 9530 276 | 2 | 5 827.11/827.40 c 441s | 21 | 2192276 | 1243545 | 9530 277 | 2 | 5 829.01/829.40 c 443s | 21 | 2202413 | 1249545 | 9530 279 | 2 | 5 831.11/831.41 c 445s | 21 | 2212878 | 1255345 | 9530 280 | 2 | 5 833.11/833.42 c 447s | 21 | 2223386 | 1261345 | 9530 281 | 2 | 5 835.11/835.45 c 449s | 21 | 2235772 | 1266645 | 9530 282 | 2 | 5 837.11/837.46 c 451s | 21 | 2250471 | 1272945 | 9530 284 | 2 | 5 839.11/839.48 c 453s | 21 | 2259290 | 1278145 | 9530 285 | 2 | 5 841.11/841.50 c 455s | 21 | 2268364 | 1283945 | 9530 286 | 2 | 5 843.20/843.54 c 457s | 21 | 2280582 | 1290445 | 9530 287 | 2 | 5 845.20/845.56 c 459s | 21 | 2291801 | 1296645 | 9530 289 | 2 | 5 847.20/847.57 c 461s | 21 | 2300476 | 1302145 | 9530 290 | 2 | 5 849.20/849.58 c 463s | 21 | 2312535 | 1307945 | 9530 291 | 2 | 5 851.20/851.58 c 465s | 21 | 2321968 | 1313745 | 9530 292 | 2 | 5 853.19/853.59 c 467s | 21 | 2332330 | 1319645 | 9530 293 | 2 | 5 855.29/855.64 c 469s | 21 | 2342184 | 1325545 | 9530 295 | 2 | 5 857.29/857.64 c 471s | 21 | 2352373 | 1331445 | 9530 296 | 2 | 5 859.29/859.66 c 473s | 21 | 2365071 | 1337845 | 9530 297 | 2 | 5 861.29/861.69 c 475s | 21 | 2374597 | 1343645 | 9530 298 | 2 | 5 863.39/863.72 c 477s | 21 | 2386857 | 1349345 | 9530 299 | 2 | 5 865.39/865.72 c 479s | 21 | 2398068 | 1356045 | 9530 301 | 2 | 5 867.39/867.75 c 481s | 21 | 2409147 | 1361945 | 9530 302 | 2 | 5 869.39/869.77 c 483s | 21 | 2420301 | 1367745 | 9530 303 | 2 | 5 871.38/871.78 c 485s | 21 | 2431315 | 1374445 | 9530 305 | 2 | 5 873.38/873.79 c 487s | 21 | 2442383 | 1380845 | 9530 306 | 2 | 5 875.48/875.80 c 489s | 21 | 2453098 | 1387045 | 9530 307 | 2 | 5 877.48/877.81 c 491s | 21 | 2464274 | 1392945 | 9530 309 | 2 | 5 879.48/879.84 c 493s | 21 | 2476450 | 1399545 | 9530 310 | 2 | 5 881.48/881.85 c 495s | 21 | 2487359 | 1405345 | 9530 311 | 2 | 5 883.47/883.86 c 497s | 21 | 2498375 | 1410845 | 9530 312 | 2 | 5 885.47/885.86 c 499s | 21 | 2509982 | 1417145 | 9530 314 | 2 | 5 887.57/887.93 c 502s | 21 | 2519907 | 1422945 | 9530 315 | 2 | 5 889.58/889.95 c 504s | 21 | 2532023 | 1428545 | 9530 316 | 2 | 5 891.77/892.13 c 506s | 21 | 2541056 | 1434445 | 9530 317 | 2 | 5 893.77/894.15 c 508s | 21 | 2550965 | 1440945 | 9530 319 | 2 | 5 895.77/896.15 c 510s | 21 | 2560656 | 1447245 | 9530 320 | 2 | 5 897.77/898.18 c 512s | 21 | 2570621 | 1452745 | 9530 321 | 2 | 5 899.87/900.22 c 514s | 21 | 2580205 | 1458345 | 9530 322 | 2 | 5 901.86/902.24 c 516s | 21 | 2589176 | 1463545 | 9530 323 | 2 | 5 903.87/904.25 c 518s | 21 | 2599271 | 1469345 | 9530 324 | 2 | 5 905.96/906.39 c 520s | 21 | 2608650 | 1474745 | 9530 326 | 2 | 5 908.06/908.40 c 522s | 21 | 2619793 | 1480945 | 9530 327 | 2 | 5 910.06/910.42 c 524s | 21 | 2628913 | 1486945 | 9530 328 | 2 | 5 912.06/912.42 c 526s | 21 | 2638836 | 1492645 | 9530 329 | 2 | 5 914.06/914.45 c 528s | 21 | 2645741 | 1497645 | 9530 330 | 2 | 5 915.06/915.40 c 529s | 22 | 2649316 | 1500622 | 9530 331 | 2 | 5 917.07/917.41 c 531s | 22 | 2660867 | 1507122 | 9530 332 | 2 | 5 919.06/919.42 c 533s | 22 | 2672806 | 1513822 | 9530 334 | 2 | 5 921.06/921.42 c 535s | 22 | 2684388 | 1519722 | 9530 335 | 2 | 5 923.06/923.44 c 537s | 22 | 2696861 | 1525522 | 9530 336 | 2 | 5 925.06/925.46 c 539s | 22 | 2706975 | 1531122 | 9530 337 | 2 | 5 927.06/927.47 c 541s | 22 | 2717635 | 1537822 | 9530 339 | 2 | 5 929.06/929.48 c 543s | 22 | 2729373 | 1544522 | 9530 340 | 2 | 5 931.16/931.51 c 545s | 22 | 2740933 | 1550222 | 9530 341 | 2 | 5 933.15/933.54 c 547s | 22 | 2752556 | 1555722 | 9530 342 | 2 | 5 935.15/935.54 c 549s | 22 | 2762534 | 1561022 | 9530 344 | 2 | 5 937.15/937.55 c 551s | 22 | 2771687 | 1566722 | 9530 345 | 2 | 5 939.16/939.58 c 553s | 22 | 2782815 | 1572722 | 9530 346 | 2 | 5 941.15/941.58 c 555s | 22 | 2793299 | 1578622 | 9530 347 | 2 | 5 943.24/943.61 c 557s | 22 | 2802814 | 1584322 | 9530 348 | 2 | 5 945.24/945.62 c 559s | 22 | 2813672 | 1590322 | 9530 350 | 2 | 5 947.24/947.65 c 561s | 22 | 2822877 | 1595522 | 9530 351 | 2 | 5 949.24/949.68 c 563s | 22 | 2832878 | 1601422 | 9530 352 | 2 | 5 951.25/951.69 c 565s | 22 | 2842097 | 1606622 | 9530 353 | 2 | 5 953.24/953.70 c 567s | 22 | 2852420 | 1611922 | 9530 354 | 2 | 5 955.34/955.73 c 569s | 22 | 2860784 | 1617622 | 9530 355 | 2 | 5 957.34/957.73 c 571s | 22 | 2870502 | 1624022 | 9530 357 | 2 | 5 959.34/959.76 c 573s | 22 | 2880697 | 1630822 | 9530 358 | 2 | 5 961.33/961.76 c 575s | 22 | 2890106 | 1637222 | 9530 359 | 2 | 5 963.34/963.78 c 577s | 22 | 2899569 | 1644222 | 9530 361 | 2 | 5 965.33/965.79 c 579s | 22 | 2909743 | 1651022 | 9530 362 | 2 | 5 967.43/967.82 c 581s | 22 | 2923122 | 1657122 | 9530 364 | 2 | 5 969.43/969.83 c 583s | 22 | 2934449 | 1662822 | 9530 365 | 2 | 5 971.43/971.85 c 585s | 22 | 2942038 | 1667422 | 9530 366 | 2 | 5 973.43/973.88 c 588s | 22 | 2955383 | 1673722 | 9530 367 | 2 | 5 975.53/975.91 c 590s | 22 | 2965072 | 1679722 | 9530 368 | 2 | 5 977.53/977.92 c 592s | 22 | 2976503 | 1685622 | 9530 369 | 2 | 5 979.53/979.95 c 594s | 22 | 2987021 | 1691722 | 9530 371 | 2 | 5 981.53/981.98 c 596s | 22 | 2997682 | 1697722 | 9530 372 | 2 | 5 983.63/984.00 c 598s | 22 | 3012217 | 1704622 | 9530 373 | 2 | 5 985.63/986.03 c 600s | 22 | 3022830 | 1710322 | 9530 375 | 2 | 5 987.63/988.05 c 602s | 22 | 3035671 | 1716322 | 9530 376 | 2 | 5 989.63/990.06 c 604s | 22 | 3046664 | 1723322 | 9530 377 | 2 | 5 991.62/992.06 c 606s | 22 | 3056478 | 1729222 | 9530 379 | 2 | 5 993.62/994.07 c 608s | 22 | 3068225 | 1735322 | 9530 380 | 2 | 5 995.62/996.09 c 610s | 22 | 3078669 | 1742522 | 9530 381 | 2 | 5 997.72/998.10 c 612s | 22 | 3089176 | 1748822 | 9530 383 | 2 | 5 999.72/1000.12 c 614s | 22 | 3099382 | 1755422 | 9530 384 | 2 | 5 1001.73/1002.12 c 616s | 22 | 3109222 | 1761522 | 9530 385 | 2 | 5 1003.72/1004.13 c 618s | 22 | 3118376 | 1766622 | 9530 386 | 2 | 5 1005.72/1006.15 c 620s | 22 | 3127492 | 1771522 | 9530 387 | 2 | 5 1007.72/1008.17 c 622s | 22 | 3136079 | 1777122 | 9530 389 | 2 | 5 1009.82/1010.29 c 624s | 22 | 3147359 | 1783022 | 9530 390 | 2 | 5 1011.83/1012.29 c 626s | 22 | 3159753 | 1788822 | 9530 391 | 2 | 5 1013.83/1014.30 c 628s | 22 | 3170398 | 1794722 | 9530 392 | 2 | 5 1015.92/1016.30 c 630s | 22 | 3182564 | 1800622 | 9530 393 | 2 | 5 1017.92/1018.31 c 632s | 22 | 3193011 | 1806622 | 9530 395 | 2 | 5 1019.92/1020.33 c 634s | 22 | 3203299 | 1812622 | 9530 396 | 2 | 5 1021.92/1022.35 c 636s | 22 | 3213792 | 1818922 | 9530 397 | 2 | 5 1023.92/1024.36 c 638s | 22 | 3224518 | 1824522 | 9530 398 | 2 | 5 1025.93/1026.39 c 640s | 22 | 3235414 | 1830522 | 9530 400 | 2 | 5 1028.02/1028.45 c 642s | 22 | 3244324 | 1835222 | 9530 401 | 2 | 5 1030.02/1030.45 c 644s | 22 | 3254940 | 1840822 | 9530 402 | 2 | 5 1032.02/1032.46 c 646s | 22 | 3266313 | 1846922 | 9530 403 | 2 | 5 1034.02/1034.48 c 648s | 22 | 3278146 | 1853122 | 9530 404 | 2 | 5 1036.12/1036.50 c 650s | 22 | 3288452 | 1858822 | 9530 406 | 2 | 5 1038.12/1038.51 c 652s | 22 | 3300947 | 1864722 | 9530 407 | 2 | 5 1040.12/1040.52 c 654s | 22 | 3314132 | 1871222 | 9530 408 | 2 | 5 1042.12/1042.54 c 656s | 22 | 3324772 | 1877922 | 9530 409 | 2 | 5 1044.12/1044.56 c 658s | 22 | 3334854 | 1884322 | 9530 411 | 2 | 5 1046.12/1046.58 c 660s | 22 | 3343814 | 1889622 | 9530 412 | 2 | 5 1048.21/1048.60 c 662s | 22 | 3354300 | 1895322 | 9530 413 | 2 | 5 1050.31/1050.70 c 664s | 22 | 3364007 | 1901122 | 9530 414 | 2 | 5 1052.32/1052.72 c 666s | 22 | 3373896 | 1906722 | 9530 415 | 2 | 5 1054.31/1054.73 c 668s | 22 | 3382591 | 1912522 | 9530 417 | 2 | 5 1056.31/1056.75 c 670s | 22 | 3391717 | 1919722 | 9530 418 | 2 | 5 1058.31/1058.78 c 672s | 22 | 3404747 | 1925822 | 9530 419 | 2 | 5 1060.31/1060.78 c 674s | 22 | 3416414 | 1931722 | 9530 421 | 2 | 5 1062.41/1062.80 c 676s | 22 | 3426858 | 1938022 | 9530 422 | 2 | 5 1064.42/1064.81 c 678s | 22 | 3437009 | 1943222 | 9530 423 | 2 | 5 1066.41/1066.84 c 680s | 22 | 3448357 | 1950022 | 9530 424 | 2 | 5 1068.42/1068.85 c 682s | 22 | 3461318 | 1956722 | 9530 426 | 2 | 5 1070.42/1070.89 c 685s | 22 | 3470599 | 1961622 | 9530 427 | 2 | 5 1072.52/1072.91 c 687s | 22 | 3480593 | 1967822 | 10483 428 | 2 | 5 1074.52/1074.94 c 689s | 22 | 3490783 | 1973322 | 10483 429 | 2 | 5 1076.52/1076.94 c 691s | 22 | 3501267 | 1979122 | 10483 430 | 2 | 5 1078.51/1078.96 c 693s | 22 | 3512644 | 1985622 | 10483 431 | 2 | 5 1080.51/1080.99 c 695s | 22 | 3523675 | 1991622 | 10483 432 | 2 | 5 1082.61/1083.05 c 697s | 22 | 3533516 | 1997122 | 10483 434 | 2 | 5 1084.61/1085.07 c 699s | 22 | 3543867 | 2002722 | 10483 435 | 2 | 5 1086.61/1087.08 c 701s | 22 | 3554742 | 2008622 | 10483 436 | 2 | 5 1088.62/1089.08 c 703s | 22 | 3564713 | 2015122 | 10483 437 | 2 | 5 1090.61/1091.09 c 705s | 22 | 3573322 | 2020722 | 10483 438 | 2 | 5 1092.61/1093.09 c 707s | 22 | 3582461 | 2026022 | 10483 439 | 2 | 5 1094.91/1095.32 c 709s | 22 | 3593757 | 2031522 | 10483 440 | 2 | 5 1096.91/1097.32 c 711s | 22 | 3604021 | 2037622 | 10483 441 | 2 | 5 1098.91/1099.34 c 713s | 22 | 3612294 | 2043022 | 10483 442 | 2 | 5 1100.91/1101.35 c 715s | 22 | 3621776 | 2048022 | 10483 443 | 2 | 5 1102.91/1103.37 c 717s | 22 | 3630327 | 2053422 | 10483 444 | 2 | 5 1104.90/1105.37 c 719s | 22 | 3638203 | 2058422 | 10483 445 | 2 | 5 1106.90/1107.38 c 721s | 22 | 3647304 | 2063822 | 10483 446 | 2 | 5 1108.90/1109.38 c 723s | 22 | 3656206 | 2069322 | 10483 447 | 2 | 5 1110.90/1111.39 c 725s | 22 | 3663144 | 2074322 | 10483 448 | 2 | 5 1113.00/1113.41 c 727s | 22 | 3670878 | 2078622 | 10483 449 | 2 | 5 1115.02/1115.42 c 729s | 22 | 3677823 | 2083122 | 10483 450 | 2 | 5 1117.01/1117.43 c 731s | 22 | 3688136 | 2089822 | 10483 451 | 2 | 5 1119.01/1119.46 c 733s | 22 | 3696233 | 2096222 | 10483 452 | 2 | 5 1121.01/1121.47 c 735s | 22 | 3703819 | 2101822 | 10483 453 | 2 | 5 1123.11/1123.50 c 737s | 22 | 3711797 | 2108122 | 10483 454 | 2 | 5 1125.11/1125.51 c 739s | 22 | 3720442 | 2114022 | 10483 456 | 2 | 5 1127.11/1127.54 c 741s | 22 | 3727713 | 2119022 | 10483 457 | 2 | 5 1129.11/1129.55 c 743s | 22 | 3736813 | 2125722 | 10483 458 | 2 | 5 1131.11/1131.57 c 745s | 22 | 3749122 | 2132222 | 10483 459 | 2 | 5 1133.11/1133.58 c 747s | 22 | 3758487 | 2137322 | 10483 460 | 2 | 5 1135.11/1135.58 c 749s | 22 | 3767411 | 2142622 | 10483 461 | 2 | 5 1137.11/1137.59 c 751s | 22 | 3778138 | 2148422 | 10483 462 | 2 | 5 1139.10/1139.60 c 753s | 22 | 3787508 | 2153622 | 10483 463 | 2 | 5 1141.20/1141.62 c 755s | 22 | 3798743 | 2159422 | 10483 464 | 2 | 5 1143.20/1143.64 c 757s | 22 | 3810151 | 2165722 | 10483 465 | 2 | 5 1145.30/1145.71 c 759s | 22 | 3821259 | 2171522 | 10483 467 | 2 | 5 1147.30/1147.74 c 761s | 22 | 3832135 | 2177522 | 10483 468 | 2 | 5 1149.30/1149.75 c 763s | 22 | 3841499 | 2182722 | 10483 469 | 2 | 5 1151.31/1151.76 c 765s | 22 | 3853236 | 2188422 | 10483 470 | 2 | 5 1153.30/1153.78 c 767s | 22 | 3863701 | 2193622 | 10483 471 | 2 | 5 1155.40/1155.82 c 769s | 22 | 3874702 | 2200722 | 10483 472 | 2 | 5 1157.40/1157.82 c 771s | 22 | 3883286 | 2206322 | 10483 473 | 2 | 5 1159.40/1159.83 c 773s | 22 | 3891459 | 2211322 | 10483 474 | 2 | 5 1161.40/1161.84 c 775s | 22 | 3899594 | 2216722 | 10483 475 | 2 | 5 1163.41/1163.86 c 777s | 22 | 3912195 | 2222922 | 10483 476 | 2 | 5 1165.40/1165.86 c 779s | 22 | 3922612 | 2229122 | 10483 477 | 2 | 5 1167.40/1167.87 c 782s | 22 | 3933343 | 2235422 | 10483 479 | 2 | 5 1169.50/1169.91 c 784s | 22 | 3943573 | 2241722 | 10483 480 | 2 | 5 1171.50/1171.91 c 786s | 22 | 3950082 | 2246922 | 10483 481 | 2 | 5 1172.90/1173.39 c 787s | 23 | 3957206 | 2251038 | 10483 482 | 2 | 5 1175.00/1175.41 c 789s | 23 | 3968330 | 2256838 | 10483 483 | 2 | 5 1177.00/1177.41 c 791s | 23 | 3978838 | 2263338 | 10483 484 | 2 | 5 1179.00/1179.42 c 793s | 23 | 3989788 | 2269738 | 10483 485 | 2 | 5 1181.00/1181.44 c 795s | 23 | 3998502 | 2274738 | 10483 486 | 2 | 5 1183.00/1183.47 c 797s | 23 | 4010687 | 2280638 | 10483 487 | 2 | 5 1184.99/1185.49 c 799s | 23 | 4020555 | 2285838 | 10483 488 | 2 | 5 1186.99/1187.49 c 801s | 23 | 4031822 | 2291438 | 10483 489 | 2 | 5 1189.09/1189.55 c 803s | 23 | 4043083 | 2297738 | 10483 490 | 2 | 5 1191.10/1191.55 c 805s | 23 | 4052645 | 2303338 | 10483 491 | 2 | 5 1193.10/1193.59 c 807s | 23 | 4061643 | 2309238 | 10483 493 | 2 | 5 1195.20/1195.60 c 809s | 23 | 4070645 | 2315338 | 10483 494 | 2 | 5 1197.20/1197.64 c 811s | 23 | 4078208 | 2320338 | 10483 495 | 2 | 5 1199.20/1199.66 c 813s | 23 | 4087117 | 2325538 | 10483 496 | 2 | 5 1201.30/1201.79 c 815s | 23 | 4098279 | 2331038 | 10483 497 | 2 | 5 1203.40/1203.80 c 817s | 23 | 4109819 | 2337538 | 10483 498 | 2 | 5 1205.40/1205.83 c 819s | 23 | 4120433 | 2343338 | 10483 499 | 2 | 5 1207.40/1207.85 c 821s | 23 | 4129684 | 2348938 | 10483 500 | 2 | 5 1209.40/1209.86 c 823s | 23 | 4140157 | 2354638 | 10483 501 | 2 | 5 1211.39/1211.87 c 825s | 23 | 4149739 | 2360638 | 10483 502 | 2 | 5 1213.49/1213.90 c 828s | 23 | 4160993 | 2366238 | 10483 503 | 2 | 5 1215.49/1215.92 c 830s | 23 | 4170071 | 2372138 | 10483 504 | 2 | 5 1217.49/1217.95 c 832s | 23 | 4180195 | 2377638 | 10483 506 | 2 | 5 1219.50/1219.97 c 834s | 23 | 4189612 | 2383338 | 10483 507 | 2 | 5 1221.49/1221.98 c 836s | 23 | 4198007 | 2388238 | 10483 508 | 2 | 5 1223.49/1223.99 c 838s | 23 | 4205637 | 2392938 | 10483 508 | 2 | 5 1225.59/1226.00 c 840s | 23 | 4212749 | 2398138 | 10483 509 | 2 | 5 1227.59/1228.02 c 842s | 23 | 4221320 | 2404538 | 10483 511 | 2 | 5 1229.59/1230.04 c 844s | 23 | 4230830 | 2411338 | 10483 512 | 2 | 5 1231.59/1232.06 c 846s | 23 | 4239809 | 2417638 | 10483 513 | 2 | 5 1233.59/1234.09 c 848s | 23 | 4250561 | 2424338 | 10483 514 | 2 | 5 1235.69/1236.10 c 850s | 23 | 4261600 | 2430438 | 10483 515 | 2 | 5 1237.69/1238.13 c 852s | 23 | 4271361 | 2435838 | 10483 517 | 2 | 5 1239.69/1240.15 c 854s | 23 | 4281909 | 2442338 | 10483 518 | 2 | 5 1241.69/1242.16 c 856s | 23 | 4296092 | 2449038 | 10483 519 | 2 | 5 1243.79/1244.24 c 858s | 23 | 4306494 | 2455038 | 10483 520 | 2 | 5 1245.79/1246.24 c 860s | 23 | 4316579 | 2461838 | 10483 521 | 2 | 5 1247.79/1248.29 c 862s | 23 | 4325881 | 2467438 | 10483 523 | 2 | 5 1249.89/1250.39 c 864s | 23 | 4335929 | 2473238 | 10483 524 | 2 | 5 1252.08/1252.58 c 866s | 23 | 4347008 | 2479938 | 10483 525 | 2 | 5 1254.08/1254.59 c 868s | 23 | 4356604 | 2485738 | 10483 526 | 2 | 5 1256.18/1256.62 c 870s | 23 | 4367297 | 2491438 | 10483 527 | 2 | 5 1258.18/1258.64 c 872s | 23 | 4377856 | 2497738 | 10483 528 | 2 | 5 1260.19/1260.64 c 874s | 23 | 4386751 | 2503338 | 10483 529 | 2 | 5 1262.18/1262.68 c 876s | 23 | 4396527 | 2509138 | 10483 530 | 2 | 5 1264.28/1264.70 c 878s | 23 | 4406517 | 2515638 | 10483 532 | 2 | 5 1266.28/1266.71 c 880s | 23 | 4416804 | 2521538 | 10483 533 | 2 | 5 1268.29/1268.72 c 882s | 23 | 4427253 | 2527538 | 10483 534 | 2 | 5 1270.28/1270.75 c 884s | 23 | 4436983 | 2532638 | 10483 535 | 2 | 5 1272.29/1272.78 c 886s | 23 | 4449331 | 2539038 | 10483 536 | 2 | 5 1274.38/1274.85 c 888s | 23 | 4460799 | 2544838 | 10483 537 | 2 | 5 1276.38/1276.88 c 891s | 23 | 4471611 | 2551338 | 10483 538 | 2 | 5 1278.48/1278.90 c 893s | 23 | 4480181 | 2555938 | 10483 539 | 2 | 5 1280.48/1280.91 c 895s | 23 | 4490946 | 2562138 | 10483 540 | 2 | 5 1282.48/1282.94 c 897s | 23 | 4501735 | 2568238 | 10483 542 | 2 | 5 1284.49/1284.95 c 899s | 23 | 4513359 | 2574238 | 10483 543 | 2 | 5 1286.48/1286.97 c 901s | 23 | 4524238 | 2579538 | 10483 544 | 2 | 5 1288.48/1288.98 c 903s | 23 | 4536497 | 2585738 | 10483 545 | 2 | 5 1290.48/1290.99 c 905s | 23 | 4548038 | 2591638 | 10483 546 | 2 | 5 1292.58/1293.01 c 907s | 23 | 4559367 | 2598038 | 10483 547 | 2 | 5 1294.58/1295.01 c 909s | 23 | 4568902 | 2604338 | 10483 548 | 2 | 5 1296.58/1297.02 c 911s | 23 | 4576668 | 2608938 | 10483 549 | 2 | 5 1298.58/1299.02 c 913s | 23 | 4586049 | 2614038 | 10483 550 | 2 | 5 1300.58/1301.03 c 915s | 23 | 4596846 | 2620838 | 10483 552 | 2 | 5 1302.58/1303.03 c 917s | 23 | 4604193 | 2625538 | 10483 552 | 2 | 5 1304.58/1305.04 c 919s | 23 | 4615013 | 2631938 | 10483 554 | 2 | 5 1306.58/1307.05 c 921s | 23 | 4623379 | 2638038 | 10483 555 | 2 | 5 1308.58/1309.06 c 923s | 23 | 4634565 | 2644138 | 10483 556 | 2 | 5 1310.58/1311.07 c 925s | 23 | 4642033 | 2648838 | 10483 557 | 2 | 5 1312.58/1313.08 c 927s | 23 | 4652856 | 2654838 | 10483 558 | 2 | 5 1314.68/1315.10 c 929s | 23 | 4662123 | 2660238 | 10483 559 | 2 | 5 1316.68/1317.12 c 931s | 23 | 4672132 | 2666338 | 10483 560 | 2 | 5 1318.68/1319.14 c 933s | 23 | 4682113 | 2672338 | 10483 561 | 2 | 5 1320.68/1321.14 c 935s | 23 | 4691060 | 2678338 | 10483 562 | 2 | 5 1322.68/1323.17 c 937s | 23 | 4698649 | 2683538 | 10483 563 | 2 | 5 1324.67/1325.17 c 939s | 23 | 4707534 | 2689738 | 10483 565 | 2 | 5 1326.67/1327.20 c 941s | 23 | 4718338 | 2695338 | 10483 566 | 2 | 5 1328.77/1329.20 c 943s | 23 | 4728499 | 2700838 | 10483 567 | 2 | 5 1330.77/1331.20 c 945s | 23 | 4739965 | 2706638 | 10483 568 | 2 | 5 1332.78/1333.22 c 947s | 23 | 4748778 | 2712538 | 10483 569 | 2 | 5 1334.77/1335.23 c 949s | 23 | 4757998 | 2717538 | 10483 570 | 2 | 5 1336.77/1337.25 c 951s | 23 | 4770453 | 2723538 | 10483 571 | 2 | 5 1338.77/1339.28 c 953s | 23 | 4780307 | 2728838 | 10483 572 | 2 | 5 1340.87/1341.31 c 955s | 23 | 4790628 | 2734638 | 10483 573 | 2 | 5 1342.87/1343.32 c 957s | 23 | 4802304 | 2741138 | 10483 574 | 2 | 5 1344.88/1345.33 c 959s | 23 | 4812157 | 2746738 | 10483 575 | 2 | 5 1346.97/1347.41 c 961s | 23 | 4822065 | 2752738 | 10483 577 | 2 | 5 1348.97/1349.43 c 963s | 23 | 4833253 | 2759738 | 10483 578 | 2 | 5 1350.97/1351.46 c 965s | 23 | 4843902 | 2766638 | 10483 579 | 2 | 5 1352.97/1353.49 c 967s | 23 | 4853505 | 2772138 | 10483 580 | 2 | 5 1355.07/1355.50 c 969s | 23 | 4864424 | 2778138 | 10483 581 | 2 | 5 1357.07/1357.51 c 971s | 23 | 4875020 | 2783738 | 10483 582 | 2 | 5 1359.07/1359.52 c 973s | 23 | 4885462 | 2790038 | 10483 584 | 2 | 5 1361.17/1361.66 c 975s | 23 | 4896264 | 2795838 | 10483 585 | 2 | 5 1363.16/1363.67 c 977s | 23 | 4906838 | 2802238 | 10483 586 | 2 | 5 1365.16/1365.69 c 979s | 23 | 4915881 | 2808038 | 10483 587 | 2 | 5 1367.16/1367.69 c 981s | 23 | 4924839 | 2813638 | 10483 588 | 2 | 5 1369.26/1369.71 c 983s | 23 | 4934175 | 2819238 | 10483 589 | 2 | 5 1371.27/1371.72 c 985s | 23 | 4944231 | 2825138 | 10483 590 | 2 | 5 1373.66/1374.19 c 988s | 23 | 4952997 | 2830638 | 10483 591 | 2 | 5 1375.67/1376.19 c 990s | 23 | 4963231 | 2836038 | 10483 592 | 2 | 5 1377.76/1378.26 c 992s | 23 | 4974375 | 2842138 | 10483 593 | 2 | 5 1379.76/1380.27 c 994s | 23 | 4986259 | 2848638 | 10483 595 | 2 | 5 1381.76/1382.29 c 996s | 23 | 4996632 | 2854438 | 10483 596 | 2 | 5 1383.87/1384.32 c 998s | 23 | 5007691 | 2860638 | 10483 597 | 2 | 5 1385.87/1386.34 c 1000s | 23 | 5016691 | 2866338 | 10483 598 | 2 | 5 1387.87/1388.36 c 1002s | 23 | 5024940 | 2871138 | 10483 599 | 2 | 5 1389.87/1390.38 c 1004s | 23 | 5032094 | 2875738 | 10483 600 | 2 | 5 1391.87/1392.39 c 1006s | 23 | 5038797 | 2880238 | 10483 601 | 2 | 5 1393.97/1394.40 c 1008s | 23 | 5049383 | 2886338 | 10483 602 | 2 | 5 1395.96/1396.43 c 1010s | 23 | 5060606 | 2892938 | 10483 603 | 2 | 5 1397.96/1398.44 c 1012s | 23 | 5071373 | 2898838 | 10483 604 | 2 | 5 1399.97/1400.47 c 1014s | 23 | 5082247 | 2904738 | 10483 605 | 2 | 5 1401.96/1402.47 c 1016s | 23 | 5094680 | 2910938 | 10483 606 | 2 | 5 1403.96/1404.49 c 1018s | 23 | 5104092 | 2916238 | 10483 608 | 2 | 5 1406.06/1406.52 c 1020s | 23 | 5115448 | 2922238 | 10483 609 | 2 | 5 1408.06/1408.55 c 1022s | 23 | 5126504 | 2928638 | 10483 610 | 2 | 5 1410.06/1410.58 c 1024s | 23 | 5138391 | 2935438 | 10483 611 | 2 | 5 1412.16/1412.62 c 1026s | 23 | 5147892 | 2941538 | 10483 612 | 2 | 5 1414.17/1414.64 c 1028s | 23 | 5158729 | 2947338 | 10483 613 | 2 | 5 1416.16/1416.66 c 1030s | 23 | 5169159 | 2952938 | 10483 614 | 2 | 5 1418.16/1418.67 c 1032s | 23 | 5178935 | 2958338 | 10483 615 | 2 | 5 1420.16/1420.68 c 1034s | 23 | 5190642 | 2965138 | 10483 617 | 2 | 5 1422.26/1422.70 c 1036s | 23 | 5201177 | 2970938 | 10483 618 | 2 | 5 1424.26/1424.71 c 1038s | 23 | 5210979 | 2976638 | 10483 619 | 2 | 5 1426.26/1426.73 c 1040s | 23 | 5220205 | 2982038 | 10483 620 | 2 | 5 1428.26/1428.74 c 1042s | 23 | 5228105 | 2986738 | 10483 621 | 2 | 5 1430.25/1430.74 c 1044s | 23 | 5235042 | 2991238 | 10483 622 | 2 | 5 1432.26/1432.76 c 1046s | 23 | 5244022 | 2996538 | 10483 623 | 2 | 5 1434.26/1434.76 c 1048s | 23 | 5255237 | 3002538 | 10483 624 | 2 | 5 1436.27/1436.77 c 1050s | 23 | 5264754 | 3009138 | 10483 625 | 2 | 5 1438.26/1438.80 c 1052s | 23 | 5273798 | 3014838 | 10483 626 | 2 | 5 1440.36/1440.82 c 1054s | 23 | 5283217 | 3020438 | 10483 627 | 2 | 5 1442.36/1442.85 c 1056s | 23 | 5293068 | 3026738 | 10483 628 | 2 | 5 1444.35/1444.87 c 1059s | 23 | 5302231 | 3032338 | 10483 630 | 2 | 5 1446.35/1446.89 c 1061s | 23 | 5311916 | 3037738 | 10483 631 | 2 | 5 1448.45/1448.91 c 1063s | 23 | 5321841 | 3044038 | 10483 632 | 2 | 5 1450.46/1450.94 c 1065s | 23 | 5331946 | 3050338 | 10483 633 | 2 | 5 1452.45/1452.96 c 1067s | 23 | 5341878 | 3056338 | 10483 634 | 2 | 5 1454.45/1454.98 c 1069s | 23 | 5351834 | 3062438 | 10483 635 | 2 | 5 1456.45/1456.98 c 1071s | 23 | 5360724 | 3068238 | 10483 636 | 2 | 5 1458.56/1459.00 c 1073s | 23 | 5367965 | 3073838 | 10483 637 | 2 | 5 1460.56/1461.06 c 1075s | 23 | 5375424 | 3079638 | 10483 639 | 2 | 5 1462.75/1463.25 c 1077s | 23 | 5384218 | 3084938 | 10483 640 | 2 | 5 1464.95/1465.41 c 1079s | 23 | 5393651 | 3090838 | 10483 641 | 2 | 5 1466.96/1467.43 c 1081s | 23 | 5404112 | 3097338 | 10483 642 | 2 | 5 1468.95/1469.46 c 1083s | 23 | 5413729 | 3102838 | 10483 643 | 2 | 5 1470.95/1471.48 c 1085s | 23 | 5423588 | 3108738 | 10483 644 | 2 | 5 1473.05/1473.50 c 1087s | 23 | 5433309 | 3115438 | 10483 645 | 2 | 5 1475.05/1475.52 c 1089s | 23 | 5443120 | 3121238 | 10483 646 | 2 | 5 1477.05/1477.56 c 1091s | 23 | 5450960 | 3125938 | 10483 647 | 2 | 5 1479.06/1479.57 c 1093s | 23 | 5460121 | 3131838 | 10483 648 | 2 | 5 1481.05/1481.59 c 1095s | 23 | 5468211 | 3136738 | 10483 649 | 2 | 5 1483.15/1483.64 c 1097s | 23 | 5481413 | 3142838 | 10483 651 | 2 | 5 1485.15/1485.64 c 1099s | 23 | 5491319 | 3149638 | 10483 652 | 2 | 5 1487.15/1487.65 c 1101s | 23 | 5500916 | 3155738 | 10483 653 | 2 | 5 1489.15/1489.67 c 1103s | 23 | 5509694 | 3161338 | 10483 654 | 2 | 5 1491.15/1491.67 c 1105s | 23 | 5517806 | 3165738 | 10483 655 | 2 | 5 1493.15/1493.69 c 1107s | 23 | 5528912 | 3172338 | 10483 656 | 2 | 5 1495.25/1495.70 c 1109s | 23 | 5540339 | 3178538 | 10483 657 | 2 | 5 1497.25/1497.73 c 1111s | 23 | 5551216 | 3184138 | 10483 658 | 2 | 5 1499.25/1499.75 c 1113s | 23 | 5562469 | 3189938 | 10483 659 | 2 | 5 1501.25/1501.76 c 1115s | 23 | 5572613 | 3195838 | 10483 661 | 2 | 5 1503.25/1503.78 c 1117s | 23 | 5585011 | 3201938 | 10483 662 | 2 | 5 1505.24/1505.79 c 1119s | 23 | 5596495 | 3208138 | 10483 663 | 2 | 5 1507.34/1507.81 c 1121s | 23 | 5607641 | 3214738 | 10483 664 | 2 | 5 1509.34/1509.86 c 1123s | 23 | 5619464 | 3220938 | 10483 665 | 2 | 5 1511.34/1511.88 c 1126s | 23 | 5631999 | 3227538 | 10483 666 | 2 | 5 1513.44/1513.91 c 1128s | 23 | 5642210 | 3234238 | 10483 668 | 2 | 5 1515.45/1515.92 c 1130s | 23 | 5651019 | 3239638 | 10483 669 | 2 | 5 1517.44/1517.93 c 1132s | 23 | 5660048 | 3244938 | 10483 670 | 2 | 5 1519.44/1519.95 c 1134s | 23 | 5668940 | 3249838 | 10483 671 | 2 | 5 1521.44/1521.96 c 1136s | 23 | 5677643 | 3254938 | 10483 672 | 2 | 5 1523.44/1523.97 c 1138s | 23 | 5689234 | 3261738 | 10483 673 | 2 | 5 1525.54/1526.00 c 1140s | 23 | 5698516 | 3267238 | 10483 674 | 2 | 5 1527.55/1528.04 c 1142s | 23 | 5708299 | 3272538 | 10483 675 | 2 | 5 1529.55/1530.06 c 1144s | 23 | 5719936 | 3278338 | 10483 676 | 2 | 5 1531.55/1532.09 c 1146s | 23 | 5731172 | 3284638 | 10483 677 | 2 | 5 1533.54/1534.09 c 1148s | 23 | 5742428 | 3290838 | 10483 678 | 2 | 5 1535.54/1536.09 c 1150s | 23 | 5751201 | 3297138 | 10483 680 | 2 | 5 1537.64/1538.11 c 1152s | 23 | 5763478 | 3303538 | 10483 681 | 2 | 5 1539.65/1540.12 c 1154s | 23 | 5774445 | 3310338 | 10483 682 | 2 | 5 1541.64/1542.13 c 1156s | 23 | 5785602 | 3316738 | 10483 683 | 2 | 5 1543.64/1544.16 c 1158s | 23 | 5795832 | 3322638 | 10483 684 | 2 | 5 1545.74/1546.23 c 1160s | 23 | 5807116 | 3328238 | 10483 686 | 2 | 5 1547.74/1548.24 c 1162s | 23 | 5818580 | 3333638 | 10483 687 | 2 | 5 1549.74/1550.26 c 1164s | 23 | 5832862 | 3340838 | 10483 688 | 2 | 5 1551.75/1552.29 c 1166s | 23 | 5842280 | 3346338 | 10483 689 | 2 | 5 1553.84/1554.32 c 1168s | 23 | 5853623 | 3352138 | 10483 690 | 2 | 5 1555.84/1556.36 c 1170s | 23 | 5865350 | 3358838 | 10483 691 | 2 | 5 1557.84/1558.38 c 1172s | 23 | 5875148 | 3364438 | 10483 692 | 2 | 5 1559.94/1560.40 c 1174s | 23 | 5884845 | 3369638 | 10483 693 | 2 | 5 1561.94/1562.43 c 1176s | 23 | 5895797 | 3375938 | 10483 695 | 2 | 5 1562.14/1562.66 c 1176s | 24 | 5897344 | 3376662 | 10483 695 | 2 | 5 1564.24/1564.71 c 1178s | 24 | 5905577 | 3381162 | 10483 696 | 2 | 5 1566.24/1566.71 c 1180s | 24 | 5914696 | 3386862 | 10483 697 | 2 | 5 1568.24/1568.73 c 1182s | 24 | 5924538 | 3392162 | 10483 698 | 2 | 5 1570.24/1570.76 c 1184s | 24 | 5934470 | 3397562 | 10483 699 | 2 | 5 1572.24/1572.77 c 1186s | 24 | 5946360 | 3403262 | 10483 700 | 2 | 5 1574.24/1574.79 c 1188s | 24 | 5957223 | 3409162 | 10483 701 | 2 | 5 1576.34/1576.80 c 1190s | 24 | 5969125 | 3415062 | 10483 702 | 2 | 5 1578.34/1578.82 c 1192s | 24 | 5980570 | 3421262 | 10483 703 | 2 | 5 1580.34/1580.82 c 1194s | 24 | 5991617 | 3426762 | 10483 704 | 2 | 5 1582.33/1582.85 c 1196s | 24 | 6002227 | 3433162 | 10483 705 | 2 | 5 1584.33/1584.87 c 1198s | 24 | 6013735 | 3439462 | 10483 707 | 2 | 5 1586.33/1586.88 c 1201s | 24 | 6024748 | 3446162 | 10483 708 | 2 | 5 1588.43/1588.92 c 1203s | 24 | 6034646 | 3451662 | 10483 709 | 2 | 5 1590.43/1590.95 c 1205s | 24 | 6044445 | 3456962 | 10483 710 | 2 | 5 1592.44/1592.97 c 1207s | 24 | 6054557 | 3462562 | 10483 711 | 2 | 5 1594.43/1594.97 c 1209s | 24 | 6063082 | 3467662 | 10483 712 | 2 | 5 1596.43/1596.99 c 1211s | 24 | 6073897 | 3474262 | 10483 713 | 2 | 5 1598.53/1599.03 c 1213s | 24 | 6085977 | 3480762 | 10483 714 | 2 | 5 1600.53/1601.05 c 1215s | 24 | 6095457 | 3486462 | 10483 715 | 2 | 5 1602.53/1603.06 c 1217s | 24 | 6104950 | 3491862 | 10483 716 | 2 | 5 1604.54/1605.07 c 1219s | 24 | 6116093 | 3498262 | 10483 718 | 2 | 5 1606.53/1607.08 c 1221s | 24 | 6126292 | 3504162 | 10483 719 | 2 | 5 1608.53/1609.09 c 1223s | 24 | 6138192 | 3510462 | 10483 720 | 2 | 5 1610.63/1611.11 c 1225s | 24 | 6149377 | 3516462 | 10483 721 | 2 | 5 1612.63/1613.13 c 1227s | 24 | 6158931 | 3522162 | 10483 722 | 2 | 5 1614.63/1615.14 c 1229s | 24 | 6168852 | 3528162 | 10483 723 | 2 | 5 1616.63/1617.20 c 1231s | 24 | 6179875 | 3534362 | 10483 725 | 2 | 5 1618.73/1619.22 c 1233s | 24 | 6189805 | 3540162 | 10483 726 | 2 | 5 1620.73/1621.22 c 1235s | 24 | 6198888 | 3545462 | 10483 727 | 2 | 5 1622.83/1623.35 c 1237s | 24 | 6208966 | 3550262 | 10483 728 | 2 | 5 1624.83/1625.38 c 1239s | 24 | 6220008 | 3556562 | 10483 729 | 2 | 5 1626.82/1627.39 c 1241s | 24 | 6230506 | 3561862 | 10483 730 | 2 | 5 1628.82/1629.39 c 1243s | 24 | 6243626 | 3568762 | 10483 731 | 2 | 5 1630.93/1631.41 c 1245s | 24 | 6254993 | 3575762 | 10483 732 | 2 | 5 1632.92/1633.44 c 1247s | 24 | 6265223 | 3581762 | 10483 733 | 2 | 5 1634.92/1635.44 c 1249s | 24 | 6274273 | 3587262 | 10483 735 | 2 | 5 1636.92/1637.46 c 1251s | 24 | 6285389 | 3593462 | 10483 736 | 2 | 5 1638.92/1639.48 c 1253s | 24 | 6295900 | 3599362 | 10483 737 | 2 | 5 1641.22/1641.77 c 1255s | 24 | 6306101 | 3605062 | 10483 738 | 2 | 5 1643.22/1643.79 c 1257s | 24 | 6317908 | 3611362 | 10483 739 | 2 | 5 1645.23/1645.79 c 1259s | 24 | 6328556 | 3617562 | 10483 740 | 2 | 5 1647.22/1647.79 c 1261s | 24 | 6337226 | 3623862 | 10483 741 | 2 | 5 1649.22/1649.79 c 1263s | 24 | 6346603 | 3630262 | 10483 743 | 2 | 5 1651.32/1651.80 c 1265s | 24 | 6355746 | 3636162 | 10483 744 | 2 | 5 1653.32/1653.81 c 1267s | 24 | 6366180 | 3642062 | 11532 745 | 2 | 5 1655.32/1655.83 c 1269s | 24 | 6375811 | 3647962 | 11532 746 | 2 | 5 1657.32/1657.85 c 1271s | 24 | 6385685 | 3654362 | 11532 747 | 2 | 5 1659.32/1659.86 c 1273s | 24 | 6397032 | 3660862 | 11532 748 | 2 | 5 1661.52/1662.04 c 1276s | 24 | 6404001 | 3665362 | 11532 749 | 2 | 5 1663.52/1664.05 c 1278s | 24 | 6413414 | 3671662 | 11532 750 | 2 | 5 1665.52/1666.07 c 1280s | 24 | 6422425 | 3677862 | 11532 751 | 2 | 5 1667.52/1668.09 c 1282s | 24 | 6432071 | 3683662 | 11532 752 | 2 | 5 1669.62/1670.11 c 1284s | 24 | 6443618 | 3689862 | 11532 753 | 2 | 5 1671.62/1672.11 c 1286s | 24 | 6453551 | 3696562 | 11532 754 | 2 | 5 1673.62/1674.14 c 1288s | 24 | 6463842 | 3702262 | 11532 755 | 2 | 5 1675.62/1676.17 c 1290s | 24 | 6472268 | 3707062 | 11532 756 | 2 | 5 1677.72/1678.27 c 1292s | 24 | 6480498 | 3711762 | 11532 757 | 2 | 5 1679.72/1680.28 c 1294s | 24 | 6491956 | 3717862 | 11532 758 | 2 | 5 1681.72/1682.29 c 1296s | 24 | 6502420 | 3723262 | 11532 759 | 2 | 5 1683.82/1684.31 c 1298s | 24 | 6513820 | 3728962 | 11532 760 | 2 | 5 1685.82/1686.31 c 1300s | 24 | 6524121 | 3734862 | 11532 761 | 2 | 5 1687.81/1688.34 c 1302s | 24 | 6535198 | 3740662 | 11532 762 | 2 | 5 1689.81/1690.34 c 1304s | 24 | 6544648 | 3746762 | 11532 763 | 2 | 5 1691.81/1692.34 c 1306s | 24 | 6553971 | 3753062 | 11532 764 | 2 | 5 1693.81/1694.36 c 1308s | 24 | 6563251 | 3758562 | 11532 765 | 2 | 5 1696.01/1696.52 c 1310s | 24 | 6572574 | 3763662 | 11532 766 | 2 | 5 1698.03/1698.52 c 1312s | 24 | 6582518 | 3768862 | 11532 767 | 2 | 5 1700.02/1700.54 c 1314s | 24 | 6595730 | 3775762 | 11532 768 | 2 | 5 1702.02/1702.55 c 1316s | 24 | 6606308 | 3781562 | 11532 769 | 2 | 5 1704.02/1704.58 c 1318s | 24 | 6616024 | 3788062 | 11532 770 | 2 | 5 1706.12/1706.61 c 1320s | 24 | 6624335 | 3793162 | 11532 771 | 2 | 5 1708.12/1708.61 c 1322s | 24 | 6631079 | 3799162 | 11532 772 | 2 | 5 1710.12/1710.63 c 1324s | 24 | 6639536 | 3804062 | 11532 773 | 2 | 5 1712.32/1712.89 c 1327s | 24 | 6649582 | 3809562 | 11532 774 | 2 | 5 1714.42/1714.91 c 1329s | 24 | 6660974 | 3815862 | 11532 775 | 2 | 5 1716.41/1716.93 c 1331s | 24 | 6671668 | 3822162 | 11532 776 | 2 | 5 1718.41/1718.93 c 1333s | 24 | 6681913 | 3827962 | 11532 777 | 2 | 5 1720.41/1720.95 c 1335s | 24 | 6691428 | 3833362 | 11532 778 | 2 | 5 1722.41/1722.96 c 1337s | 24 | 6702859 | 3840262 | 11532 779 | 2 | 5 1724.42/1724.98 c 1339s | 24 | 6711348 | 3845362 | 11532 780 | 2 | 5 1726.41/1727.00 c 1341s | 24 | 6721786 | 3851962 | 11532 781 | 2 | 5 1728.51/1729.00 c 1343s | 24 | 6729794 | 3856762 | 11532 782 | 2 | 5 1730.51/1731.03 c 1345s | 24 | 6738648 | 3862262 | 11532 783 | 2 | 5 1732.61/1733.17 c 1347s | 24 | 6747199 | 3867062 | 11532 784 | 2 | 5 1734.61/1735.18 c 1349s | 24 | 6758485 | 3873762 | 11532 785 | 2 | 5 1736.71/1737.29 c 1351s | 24 | 6768497 | 3879762 | 11532 786 | 2 | 5 1738.71/1739.29 c 1353s | 24 | 6778962 | 3886662 | 11532 787 | 2 | 5 1740.81/1741.31 c 1355s | 24 | 6788419 | 3893362 | 11532 788 | 2 | 5 1742.81/1743.33 c 1357s | 24 | 6797701 | 3898762 | 11532 789 | 2 | 5 1744.81/1745.35 c 1359s | 24 | 6805962 | 3903262 | 11532 790 | 2 | 5 1746.81/1747.37 c 1361s | 24 | 6815597 | 3909262 | 11532 791 | 2 | 5 1748.81/1749.37 c 1363s | 24 | 6824985 | 3914962 | 11532 792 | 2 | 5 1750.81/1751.39 c 1365s | 24 | 6835773 | 3921562 | 11532 793 | 2 | 5 1752.80/1753.39 c 1367s | 24 | 6845049 | 3926562 | 11532 794 | 2 | 5 1754.90/1755.40 c 1369s | 24 | 6854234 | 3931562 | 11532 795 | 2 | 5 1756.90/1757.42 c 1371s | 24 | 6865801 | 3937862 | 11532 796 | 2 | 5 1758.90/1759.44 c 1373s | 24 | 6877126 | 3944262 | 11532 797 | 2 | 5 1760.90/1761.46 c 1375s | 24 | 6888066 | 3949562 | 11532 798 | 2 | 5 1762.91/1763.48 c 1377s | 24 | 6898500 | 3955962 | 11532 799 | 2 | 5 1765.30/1765.81 c 1379s | 24 | 6906774 | 3961062 | 11532 800 | 2 | 5 1767.31/1767.85 c 1381s | 24 | 6917706 | 3966762 | 11532 801 | 2 | 5 1769.31/1769.86 c 1383s | 24 | 6927099 | 3973262 | 11532 802 | 2 | 5 1770.62/1771.11 c 1385s | 24 | 6934474 | 3977131 | 11532 803 | 3 | 7 1770.62/1771.11 c #cpu_time = 1381.467s 1770.62/1771.11 c #wall_clock_time = 1385.241s 1770.62/1771.11 c #decision = 6934474 1770.62/1771.11 c #random_decision = 33641 1770.62/1771.11 c #conflict = 3977131 1770.62/1771.11 c #restart = 24 1770.62/1771.11 c BCD2: updating lower bound of a core 1770.62/1771.11 c lower bound updated to -8 1770.62/1771.11 c BCD2: 42 <= obj <= 43 1770.62/1771.11 c BCD2: #cores=1, #unrelaxed=0, #relaxed=50, #hardened=0 1770.62/1771.11 c BCD2: #sat=2 #unsat=5 bias=5/7 1770.62/1771.11 c Solving starts ... 1770.62/1771.11 c ============================[ Search Statistics ]============================ 1770.62/1771.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1770.62/1771.11 c | | | | Limit GC | Var | Constra 1770.62/1771.11 c ============================================================================= 1770.62/1771.11 c 0.0s | 0 | 0 | 0 | 11532 0 | 3 | 8 1771.51/1772.09 c 1.0s | 1 | 265 | 100 | 11532 0 | 3 | 8 1771.81/1772.32 c 1.2s | 2 | 629 | 250 | 11532 0 | 3 | 8 1772.11/1772.65 c 1.5s | 3 | 2062 | 475 | 11532 0 | 3 | 8 1772.21/1772.73 c 1.6s | 4 | 4134 | 813 | 11532 0 | 3 | 8 1772.31/1772.85 c 1.7s | 5 | 4937 | 1320 | 11532 0 | 3 | 8 1772.51/1773.03 c 1.9s | 6 | 5829 | 2081 | 11532 0 | 3 | 8 1772.81/1773.34 c 2.2s | 7 | 13925 | 3223 | 11532 0 | 3 | 8 1773.31/1773.86 c 2.8s | 8 | 16814 | 4936 | 11532 0 | 3 | 8 1774.21/1774.79 c 3.7s | 9 | 20988 | 7506 | 11532 0 | 3 | 8 1775.61/1776.13 c 5.0s | 10 | 28611 | 11361 | 11532 1 | 3 | 8 1777.50/1778.05 c 6.9s | 11 | 37312 | 17144 | 11532 2 | 3 | 8 1779.51/1780.05 c 8.9s | 11 | 47669 | 23544 | 11532 3 | 3 | 8 1780.31/1780.84 c 9.7s | 12 | 56605 | 25819 | 11532 3 | 3 | 8 1782.31/1782.85 c 11.7s | 12 | 66314 | 31519 | 11532 4 | 3 | 8 1784.30/1784.86 c 13.8s | 12 | 76035 | 36919 | 11532 5 | 3 | 8 1785.20/1785.79 c 14.7s | 13 | 78830 | 38832 | 11532 6 | 3 | 8 1787.30/1787.81 c 16.7s | 13 | 85196 | 43432 | 11532 6 | 3 | 8 1789.31/1789.83 c 18.7s | 13 | 91405 | 48332 | 11532 7 | 3 | 8 1791.30/1791.86 c 20.8s | 13 | 99192 | 53932 | 11532 8 | 3 | 8 1793.00/1793.59 c 22.5s | 14 | 111953 | 58352 | 11532 9 | 3 | 8 1795.10/1795.60 c 24.5s | 14 | 123653 | 63952 | 11532 10 | 3 | 8 1797.10/1797.61 c 26.5s | 14 | 132494 | 68952 | 11532 11 | 3 | 8 1799.11/1799.63 c 28.5s | 14 | 138284 | 73552 | 11532 11 | 3 | 8
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-4106751-1466277111/watcher-4106751-1466277111 -o /tmp/evaluation-result-4106751-1466277111/solver-4106751-1466277111 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466277111-10296 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106751-1466277111.opb pid=10313 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: 1.14 1.18 1.47 3/171 10316 /proc/meminfo: memFree=31268912/32872528 swapFree=526336/559040 [pid=10316] ppid=10313 vsize=241084 CPUtime=0 cores=0,2,4,6 /proc/10316/stat : 10316 (toysat) R 10313 10316 10280 0 -1 4202496 503 0 0 0 0 0 0 0 20 0 4 0 29761237 246870016 368 33554432000 4194304 16246674 140735068834320 140735068833744 13032200 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10316/statm: 60272 375 299 2943 0 57166 0 [pid=10316/tid=10317] ppid=10313 vsize=241084 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10317/stat : 10317 (toysat) S 10313 10316 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29761238 246870016 427 33554432000 4194304 16246674 140735068834320 140178074086640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10316/tid=10318] ppid=10313 vsize=241084 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10318/stat : 10318 (toysat) S 10313 10316 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761238 246870016 446 33554432000 4194304 16246674 140735068834320 140178063596784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10316/tid=10319] ppid=10313 vsize=241084 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10319/stat : 10319 (toysat) S 10313 10316 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29761238 246870016 459 33554432000 4194304 16246674 140735068834320 140178053123248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100146 s] /proc/loadavg: 1.14 1.18 1.47 3/171 10316 /proc/meminfo: memFree=31268912/32872528 swapFree=526336/559040 [pid=10316] ppid=10313 vsize=1218116 CPUtime=0.08 cores=0,2,4,6 /proc/10316/stat : 10316 (toysat) R 10313 10316 10280 0 -1 4202496 24419 0 0 0 5 3 0 0 20 0 4 0 29761237 1247350784 24256 33554432000 4194304 16246674 140735068834320 140735068817312 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10316/statm: 304529 24265 790 2943 0 301423 0 [pid=10316/tid=10317] ppid=10313 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10317/stat : 10317 (toysat) S 10313 10316 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29761238 1247350784 24271 33554432000 4194304 16246674 140735068834320 140178074086640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10316/tid=10318] ppid=10313 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10318/stat : 10318 (toysat) S 10313 10316 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761238 1247350784 24277 33554432000 4194304 16246674 140735068834320 140178063596784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10316/tid=10319] ppid=10313 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10319/stat : 10319 (toysat) S 10313 10316 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29761238 1247350784 24282 33554432000 4194304 16246674 140735068834320 140178053123248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200504 s] /proc/loadavg: 1.14 1.18 1.47 3/171 10316 /proc/meminfo: memFree=31268912/32872528 swapFree=526336/559040 [pid=10316] ppid=10313 vsize=1218116 CPUtime=0.18 cores=0,2,4,6 /proc/10316/stat : 10316 (toysat) R 10313 10316 10280 0 -1 4202496 47460 0 0 0 12 6 0 0 20 0 4 0 29761237 1247350784 47297 33554432000 4194304 16246674 140735068834320 140735068817312 6021133 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10316/statm: 304529 47311 790 2943 0 301423 0 [pid=10316/tid=10317] ppid=10313 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10317/stat : 10317 (toysat) S 10313 10316 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29761238 1247350784 47321 33554432000 4194304 16246674 140735068834320 140178074086640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10316/tid=10318] ppid=10313 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10318/stat : 10318 (toysat) S 10313 10316 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761238 1247350784 47331 33554432000 4194304 16246674 140735068834320 140178063596784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10316/tid=10319] ppid=10313 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10319/stat : 10319 (toysat) S 10313 10316 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29761238 1247350784 47338 33554432000 4194304 16246674 140735068834320 140178053123248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1218116 [startup+0.300468 s] /proc/loadavg: 1.14 1.18 1.47 3/171 10316 /proc/meminfo: memFree=31268912/32872528 swapFree=526336/559040 [pid=10316] ppid=10313 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/10316/stat : 10316 (toysat) R 10313 10316 10280 0 -1 4202496 69628 0 0 0 20 9 0 0 20 0 4 0 29761237 1247350784 69466 33554432000 4194304 16246674 140735068834320 140735068817312 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10316/statm: 304529 69473 790 2943 0 301423 0 [pid=10316/tid=10317] ppid=10313 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10317/stat : 10317 (toysat) S 10313 10316 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29761238 1247350784 69480 33554432000 4194304 16246674 140735068834320 140178074086640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10316/tid=10318] ppid=10313 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10318/stat : 10318 (toysat) S 10313 10316 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761238 1247350784 69486 33554432000 4194304 16246674 140735068834320 140178063596784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10316/tid=10319] ppid=10313 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10319/stat : 10319 (toysat) S 10313 10316 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29761238 1247350784 69497 33554432000 4194304 16246674 140735068834320 140178053123248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700404 s] /proc/loadavg: 1.14 1.18 1.47 3/171 10316 /proc/meminfo: memFree=31268912/32872528 swapFree=526336/559040 [pid=10316] ppid=10313 vsize=1218116 CPUtime=0.68 cores=0,2,4,6 /proc/10316/stat : 10316 (toysat) R 10313 10316 10280 0 -1 4202496 149379 0 0 0 48 20 0 0 20 0 4 0 29761237 1247350784 149216 33554432000 4194304 16246674 140735068834320 140735068817320 12474890 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10316/statm: 304529 149226 790 2943 0 301423 0 [pid=10316/tid=10317] ppid=10313 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10317/stat : 10317 (toysat) S 10313 10316 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29761238 1247350784 149229 33554432000 4194304 16246674 140735068834320 140178074086640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10316/tid=10318] ppid=10313 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10318/stat : 10318 (toysat) S 10313 10316 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761238 1247350784 149232 33554432000 4194304 16246674 140735068834320 140178063596784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10316/tid=10319] ppid=10313 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10319/stat : 10319 (toysat) S 10313 10316 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29761238 1247350784 149235 33554432000 4194304 16246674 140735068834320 140178053123248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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: 1.14 1.18 1.47 3/183 10333 /proc/meminfo: memFree=29381128/32872528 swapFree=526336/559040 [pid=10316] ppid=10313 vsize=1222212 CPUtime=1.48 cores=0,2,4,6 /proc/10316/stat : 10316 (toysat) R 10313 10316 10280 0 -1 4202496 246429 0 0 0 115 33 0 0 20 0 4 0 29761237 1251545088 246244 33554432000 4194304 16246674 140735068834320 140735068816192 5545930 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10316/statm: 305553 246244 849 2943 0 302447 0 [pid=10316/tid=10317] ppid=10313 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10317/stat : 10317 (toysat) S 10313 10316 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29761238 1251545088 246244 33554432000 4194304 16246674 140735068834320 140178074086640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10316/tid=10318] ppid=10313 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10318/stat : 10318 (toysat) S 10313 10316 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761238 1251545088 246244 33554432000 4194304 16246674 140735068834320 140178063596784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10316/tid=10319] ppid=10313 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10319/stat : 10319 (toysat) S 10313 10316 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29761238 1251545088 246244 33554432000 4194304 16246674 140735068834320 140178053123248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1222212 [startup+3.10041 s] /proc/loadavg: 1.21 1.19 1.47 3/183 10333 /proc/meminfo: memFree=29124252/32872528 swapFree=526336/559040 [pid=10316] ppid=10313 vsize=1308228 CPUtime=3.08 cores=0,2,4,6 /proc/10316/stat : 10316 (toysat) R 10313 10316 10280 0 -1 4202496 268088 0 0 0 271 37 0 0 20 0 4 0 29761237 1339625472 267903 33554432000 4194304 16246674 140735068834320 140735068816192 5522994 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10316/statm: 327057 267903 853 2943 0 323951 0 [pid=10316/tid=10317] ppid=10313 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10317/stat : 10317 (toysat) S 10313 10316 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29761238 1339625472 267903 33554432000 4194304 16246674 140735068834320 140178074086640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10316/tid=10318] ppid=10313 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10318/stat : 10318 (toysat) S 10313 10316 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761238 1339625472 267903 33554432000 4194304 16246674 140735068834320 140178063596784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10316/tid=10319] ppid=10313 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10319/stat : 10319 (toysat) S 10313 10316 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29761238 1339625472 267903 33554432000 4194304 16246674 140735068834320 140178053123248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1308228 [startup+6.30042 s] /proc/loadavg: 1.21 1.19 1.47 3/183 10333 /proc/meminfo: memFree=29113504/32872528 swapFree=526336/559040 [pid=10316] ppid=10313 vsize=1313348 CPUtime=6.28 cores=0,2,4,6 /proc/10316/stat : 10316 (toysat) R 10313 10316 10280 0 -1 4202496 269360 0 0 0 591 37 0 0 20 0 4 0 29761237 1344868352 269175 33554432000 4194304 16246674 140735068834320 140735068816192 5721456 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10316/statm: 328337 269175 853 2943 0 325231 0 [pid=10316/tid=10317] ppid=10313 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10317/stat : 10317 (toysat) S 10313 10316 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29761238 1344868352 269175 33554432000 4194304 16246674 140735068834320 140178074086640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10316/tid=10318] ppid=10313 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10318/stat : 10318 (toysat) S 10313 10316 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761238 1344868352 269175 33554432000 4194304 16246674 140735068834320 140178063596784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10316/tid=10319] ppid=10313 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10319/stat : 10319 (toysat) S 10313 10316 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29761238 1344868352 269175 33554432000 4194304 16246674 140735068834320 140178053123248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1313348 [startup+12.7004 s] /proc/loadavg: 1.27 1.20 1.48 3/183 10333 /proc/meminfo: memFree=29112412/32872528 swapFree=526336/559040 [pid=10316] ppid=10313 vsize=1313348 CPUtime=12.68 cores=0,2,4,6 /proc/10316/stat : 10316 (toysat) R 10313 10316 10280 0 -1 4202496 269433 0 0 0 1231 37 0 0 20 0 4 0 29761237 1344868352 269248 33554432000 4194304 16246674 140735068834320 140735068816192 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10316/statm: 328337 269248 853 2943 0 325231 0 [pid=10316/tid=10317] ppid=10313 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10317/stat : 10317 (toysat) S 10313 10316 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29761238 1344868352 269248 33554432000 4194304 16246674 140735068834320 140178074086640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10316/tid=10318] ppid=10313 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10318/stat : 10318 (toysat) S 10313 10316 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761238 1344868352 269248 33554432000 4194304 16246674 140735068834320 140178063596784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10316/tid=10319] ppid=10313 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10319/stat : 10319 (toysat) S 10313 10316 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29761238 1344868352 269248 33554432000 4194304 16246674 140735068834320 140178053123248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1313348 [startup+25.5005 s] /proc/loadavg: 1.43 1.24 1.48 3/183 10333 /proc/meminfo: memFree=29108708/32872528 swapFree=526336/559040 [pid=10316] ppid=10313 vsize=1317444 CPUtime=25.48 cores=0,2,4,6 /proc/10316/stat : 10316 (toysat) R 10313 10316 10280 0 -1 4202496 270457 0 0 0 2510 38 0 0 20 0 4 0 29761237 1349062656 270272 33554432000 4194304 16246674 140735068834320 140735068816192 5827824 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10316/statm: 329361 270272 853 2943 0 326255 0 [pid=10316/tid=10317] ppid=10313 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10317/stat : 10317 (toysat) S 10313 10316 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29761238 1349062656 270272 33554432000 4194304 16246674 140735068834320 140178074086640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10316/tid=10318] ppid=10313 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10318/stat : 10318 (toysat) S 10313 10316 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761238 1349062656 270272 33554432000 4194304 16246674 140735068834320 140178063596784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10316/tid=10319] ppid=10313 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10319/stat : 10319 (toysat) S 10313 10316 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29761238 1349062656 270272 33554432000 4194304 16246674 140735068834320 140178053123248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1317444 [startup+51.1005 s] /proc/loadavg: 1.62 1.30 1.50 3/183 10333 /proc/meminfo: memFree=29108096/32872528 swapFree=526336/559040 [pid=10316] ppid=10313 vsize=1317444 CPUtime=51.08 cores=0,2,4,6 /proc/10316/stat : 10316 (toysat) R 10313 10316 10280 0 -1 4202496 270458 0 0 0 5070 38 0 0 20 0 4 0 29761237 1349062656 270273 33554432000 4194304 16246674 140735068834320 140735068816192 5822432 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10316/statm: 329361 270273 854 2943 0 326255 0 [pid=10316/tid=10317] ppid=10313 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10317/stat : 10317 (toysat) S 10313 10316 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29761238 1349062656 270273 33554432000 4194304 16246674 140735068834320 140178074086640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10316/tid=10318] ppid=10313 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10318/stat : 10318 (toysat) S 10313 10316 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761238 1349062656 270273 33554432000 4194304 16246674 140735068834320 140178063596784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10316/tid=10319] ppid=10313 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10319/stat : 10319 (toysat) S 10313 10316 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29761238 1349062656 270273 33554432000 4194304 16246674 140735068834320 140178053123248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1317444 [startup+102.301 s] /proc/loadavg: 1.91 1.43 1.53 3/183 10334 /proc/meminfo: memFree=29099172/32872528 swapFree=526336/559040 [pid=10316] ppid=10313 vsize=1321540 CPUtime=102.28 cores=0,2,4,6 /proc/10316/stat : 10316 (toysat) R 10313 10316 10280 0 -1 4202496 271482 0 0 0 10189 39 0 0 20 0 4 0 29761237 1353256960 271297 33554432000 4194304 16246674 140735068834320 140735068816192 5722952 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10316/statm: 330385 271297 854 2943 0 327279 0 [pid=10316/tid=10317] ppid=10313 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10317/stat : 10317 (toysat) S 10313 10316 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29761238 1353256960 271297 33554432000 4194304 16246674 140735068834320 140178074086640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10316/tid=10318] ppid=10313 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10318/stat : 10318 (toysat) S 10313 10316 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761238 1353256960 271297 33554432000 4194304 16246674 140735068834320 140178063596784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10316/tid=10319] ppid=10313 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10319/stat : 10319 (toysat) S 10313 10316 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29761238 1353256960 271297 33554432000 4194304 16246674 140735068834320 140178053123248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1321540 ################ # More data... # ################ /proc/10316/task/10319/stat : 10319 (toysat) S 10313 10316 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29761238 1375277056 276933 33554432000 4194304 16246674 140735068834320 140178053123248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1343044 [startup+1362.3 s] /proc/loadavg: 2.07 2.15 1.97 3/183 10365 /proc/meminfo: memFree=29017252/32872528 swapFree=526336/559040 [pid=10316] ppid=10313 vsize=1343044 CPUtime=1361.87 cores=0,2,4,6 /proc/10316/stat : 10316 (toysat) R 10313 10316 10280 0 -1 4202496 277286 0 0 0 136129 58 0 0 20 0 4 0 29761237 1375277056 276933 33554432000 4194304 16246674 140735068834320 140735068816192 5553800 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10316/statm: 335761 276933 855 2943 0 332655 0 [pid=10316/tid=10317] ppid=10313 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10317/stat : 10317 (toysat) S 10313 10316 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29761238 1375277056 276933 33554432000 4194304 16246674 140735068834320 140178074086640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10316/tid=10318] ppid=10313 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10318/stat : 10318 (toysat) S 10313 10316 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761238 1375277056 276933 33554432000 4194304 16246674 140735068834320 140178063596784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10316/tid=10319] ppid=10313 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10319/stat : 10319 (toysat) S 10313 10316 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29761238 1375277056 276933 33554432000 4194304 16246674 140735068834320 140178053123248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1343044 [startup+1422.3 s] /proc/loadavg: 2.15 2.15 1.98 3/183 10366 /proc/meminfo: memFree=29017392/32872528 swapFree=526336/559040 [pid=10316] ppid=10313 vsize=1343044 CPUtime=1421.86 cores=0,2,4,6 /proc/10316/stat : 10316 (toysat) R 10313 10316 10280 0 -1 4202496 277286 0 0 0 142127 59 0 0 20 0 4 0 29761237 1375277056 276933 33554432000 4194304 16246674 140735068834320 140735068816192 5823116 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10316/statm: 335761 276933 855 2943 0 332655 0 [pid=10316/tid=10317] ppid=10313 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10317/stat : 10317 (toysat) S 10313 10316 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29761238 1375277056 276933 33554432000 4194304 16246674 140735068834320 140178074086640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10316/tid=10318] ppid=10313 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10318/stat : 10318 (toysat) S 10313 10316 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761238 1375277056 276933 33554432000 4194304 16246674 140735068834320 140178063596784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10316/tid=10319] ppid=10313 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10319/stat : 10319 (toysat) S 10313 10316 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29761238 1375277056 276933 33554432000 4194304 16246674 140735068834320 140178053123248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1343044 [startup+1482.3 s] /proc/loadavg: 2.20 2.17 1.99 4/183 10368 /proc/meminfo: memFree=29017700/32872528 swapFree=526336/559040 [pid=10316] ppid=10313 vsize=1343044 CPUtime=1481.85 cores=0,2,4,6 /proc/10316/stat : 10316 (toysat) R 10313 10316 10280 0 -1 4202496 277286 0 0 0 148124 61 0 0 20 0 4 0 29761237 1375277056 276933 33554432000 4194304 16246674 140735068834320 140735068833416 5754961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10316/statm: 335761 276933 855 2943 0 332655 0 [pid=10316/tid=10317] ppid=10313 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10317/stat : 10317 (toysat) S 10313 10316 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29761238 1375277056 276933 33554432000 4194304 16246674 140735068834320 140178074086640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10316/tid=10318] ppid=10313 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10318/stat : 10318 (toysat) S 10313 10316 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761238 1375277056 276933 33554432000 4194304 16246674 140735068834320 140178063596784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10316/tid=10319] ppid=10313 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10319/stat : 10319 (toysat) S 10313 10316 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29761238 1375277056 276933 33554432000 4194304 16246674 140735068834320 140178053123248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1343044 [startup+1542.31 s] /proc/loadavg: 2.07 2.13 1.99 3/183 10369 /proc/meminfo: memFree=29017096/32872528 swapFree=526336/559040 [pid=10316] ppid=10313 vsize=1343044 CPUtime=1541.85 cores=0,2,4,6 /proc/10316/stat : 10316 (toysat) R 10313 10316 10280 0 -1 4202496 277286 0 0 0 154123 62 0 0 20 0 4 0 29761237 1375277056 276933 33554432000 4194304 16246674 140735068834320 140735068816192 5823275 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10316/statm: 335761 276933 855 2943 0 332655 0 [pid=10316/tid=10317] ppid=10313 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10317/stat : 10317 (toysat) S 10313 10316 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29761238 1375277056 276933 33554432000 4194304 16246674 140735068834320 140178074086640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10316/tid=10318] ppid=10313 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10318/stat : 10318 (toysat) S 10313 10316 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761238 1375277056 276933 33554432000 4194304 16246674 140735068834320 140178063596784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10316/tid=10319] ppid=10313 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10319/stat : 10319 (toysat) S 10313 10316 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29761238 1375277056 276933 33554432000 4194304 16246674 140735068834320 140178053123248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1343044 [startup+1602.3 s] /proc/loadavg: 2.12 2.14 2.00 3/183 10370 /proc/meminfo: memFree=29017088/32872528 swapFree=526336/559040 [pid=10316] ppid=10313 vsize=1343044 CPUtime=1601.83 cores=0,2,4,6 /proc/10316/stat : 10316 (toysat) R 10313 10316 10280 0 -1 4202496 277286 0 0 0 160121 62 0 0 20 0 4 0 29761237 1375277056 276933 33554432000 4194304 16246674 140735068834320 140735068833496 5823611 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10316/statm: 335761 276933 855 2943 0 332655 0 [pid=10316/tid=10317] ppid=10313 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10317/stat : 10317 (toysat) S 10313 10316 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29761238 1375277056 276933 33554432000 4194304 16246674 140735068834320 140178074086640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10316/tid=10318] ppid=10313 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10318/stat : 10318 (toysat) S 10313 10316 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761238 1375277056 276933 33554432000 4194304 16246674 140735068834320 140178063596784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10316/tid=10319] ppid=10313 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10319/stat : 10319 (toysat) S 10313 10316 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29761238 1375277056 276933 33554432000 4194304 16246674 140735068834320 140178053123248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1343044 [startup+1662.3 s] /proc/loadavg: 2.22 2.16 2.01 4/183 10371 /proc/meminfo: memFree=29016540/32872528 swapFree=526336/559040 [pid=10316] ppid=10313 vsize=1343044 CPUtime=1661.82 cores=0,2,4,6 /proc/10316/stat : 10316 (toysat) R 10313 10316 10280 0 -1 4202496 277286 0 0 0 166119 63 0 0 20 0 4 0 29761237 1375277056 276933 33554432000 4194304 16246674 140735068834320 140735068817320 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10316/statm: 335761 276933 855 2943 0 332655 0 [pid=10316/tid=10317] ppid=10313 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10317/stat : 10317 (toysat) S 10313 10316 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29761238 1375277056 276933 33554432000 4194304 16246674 140735068834320 140178074086640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10316/tid=10318] ppid=10313 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10318/stat : 10318 (toysat) S 10313 10316 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761238 1375277056 276933 33554432000 4194304 16246674 140735068834320 140178063596784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10316/tid=10319] ppid=10313 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10319/stat : 10319 (toysat) S 10313 10316 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29761238 1375277056 276933 33554432000 4194304 16246674 140735068834320 140178053123248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1343044 [startup+1722.3 s] /proc/loadavg: 2.19 2.16 2.02 3/184 10375 /proc/meminfo: memFree=29017264/32872528 swapFree=526336/559040 [pid=10316] ppid=10313 vsize=1343044 CPUtime=1721.81 cores=0,2,4,6 /proc/10316/stat : 10316 (toysat) R 10313 10316 10280 0 -1 4202496 277286 0 0 0 172117 64 0 0 20 0 4 0 29761237 1375277056 276933 33554432000 4194304 16246674 140735068834320 140735068816192 5808424 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10316/statm: 335761 276933 855 2943 0 332655 0 [pid=10316/tid=10317] ppid=10313 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10317/stat : 10317 (toysat) S 10313 10316 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29761238 1375277056 276933 33554432000 4194304 16246674 140735068834320 140178074086640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10316/tid=10318] ppid=10313 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10318/stat : 10318 (toysat) S 10313 10316 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761238 1375277056 276933 33554432000 4194304 16246674 140735068834320 140178063596784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10316/tid=10319] ppid=10313 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10319/stat : 10319 (toysat) S 10313 10316 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29761238 1375277056 276933 33554432000 4194304 16246674 140735068834320 140178053123248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1343044 [startup+1782.3 s] /proc/loadavg: 2.17 2.15 2.02 3/183 10377 /proc/meminfo: memFree=29017028/32872528 swapFree=526336/559040 [pid=10316] ppid=10313 vsize=1343044 CPUtime=1781.81 cores=0,2,4,6 /proc/10316/stat : 10316 (toysat) R 10313 10316 10280 0 -1 4202496 277286 0 0 0 178116 65 0 0 20 0 4 0 29761237 1375277056 276933 33554432000 4194304 16246674 140735068834320 140735068833416 5522872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10316/statm: 335761 276933 855 2943 0 332655 0 [pid=10316/tid=10317] ppid=10313 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10317/stat : 10317 (toysat) S 10313 10316 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29761238 1375277056 276933 33554432000 4194304 16246674 140735068834320 140178074086640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10316/tid=10318] ppid=10313 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10318/stat : 10318 (toysat) S 10313 10316 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761238 1375277056 276933 33554432000 4194304 16246674 140735068834320 140178063596784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10316/tid=10319] ppid=10313 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10319/stat : 10319 (toysat) S 10313 10316 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29761238 1375277056 276933 33554432000 4194304 16246674 140735068834320 140178053123248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1343044 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.12 2.14 2.02 3/183 10377 /proc/meminfo: memFree=29017772/32872528 swapFree=526336/559040 [pid=10316] ppid=10313 vsize=1343044 CPUtime=1800 cores=0,2,4,6 /proc/10316/stat : 10316 (toysat) R 10313 10316 10280 0 -1 4202496 277286 0 0 0 179935 65 0 0 20 0 4 0 29761237 1375277056 276933 33554432000 4194304 16246674 140735068834320 140735068816192 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10316/statm: 335761 276933 855 2943 0 332655 0 [pid=10316/tid=10317] ppid=10313 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10317/stat : 10317 (toysat) S 10313 10316 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29761238 1375277056 276933 33554432000 4194304 16246674 140735068834320 140178074086640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10316/tid=10318] ppid=10313 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10318/stat : 10318 (toysat) S 10313 10316 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761238 1375277056 276933 33554432000 4194304 16246674 140735068834320 140178063596784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10316/tid=10319] ppid=10313 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10319/stat : 10319 (toysat) S 10313 10316 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29761238 1375277056 276933 33554432000 4194304 16246674 140735068834320 140178053123248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1343044 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 10316 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.12 2.14 2.02 3/183 10377 /proc/meminfo: memFree=29017772/32872528 swapFree=526336/559040 [pid=10316] ppid=10313 vsize=1343044 CPUtime=1800 cores=0,2,4,6 /proc/10316/stat : 10316 (toysat) R 10313 10316 10280 0 -1 4202496 277286 0 0 0 179935 65 0 0 20 0 4 0 29761237 1375277056 276933 33554432000 4194304 16246674 140735068834320 140735068816192 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10316/statm: 335761 276933 855 2943 0 332655 0 [pid=10316/tid=10317] ppid=10313 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10317/stat : 10317 (toysat) S 10313 10316 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29761238 1375277056 276933 33554432000 4194304 16246674 140735068834320 140178074086640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10316/tid=10318] ppid=10313 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10318/stat : 10318 (toysat) S 10313 10316 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29761238 1375277056 276933 33554432000 4194304 16246674 140735068834320 140178063596784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10316/tid=10319] ppid=10313 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10316/task/10319/stat : 10319 (toysat) S 10313 10316 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29761238 1375277056 276933 33554432000 4194304 16246674 140735068834320 140178053123248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1343044 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.01 CPU user time (s): 1799.36 CPU system time (s): 0.6549 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (KiB): 1343044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.36 system time used= 0.6549 maximum resident set size= 1107732 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 277286 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 438 involuntary context switches= 1948 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 13.454 second user time and 15.9506 second system time The end
Begin job on node106 at 2016-06-18 21:11:51 IDJOB=4106751 IDBENCH=48232 IDSOLVER=2542 FILE ID=node106/4106751-1466277111 RUNJOBID= node106-1466277111-10296 PBS_JOBID= 19918270 Free space on /tmp= 71700 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_5.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106751-1466277111/watcher-4106751-1466277111 -o /tmp/evaluation-result-4106751-1466277111/solver-4106751-1466277111 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466277111-10296 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106751-1466277111.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 75c62437256ecfefd1c4252ede4b185e RANDOM SEED=1263077424 node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.14 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 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 : 2667.073 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 : 2667.073 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.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 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: 31281716 kB Buffers: 100560 kB Cached: 183136 kB SwapCached: 1736 kB Active: 86244 kB Inactive: 200484 kB Active(anon): 2120 kB Inactive(anon): 3048 kB Active(file): 84124 kB Inactive(file): 197436 kB Unevictable: 559040 kB Mlocked: 526336 kB SwapTotal: 67108856 kB SwapFree: 67099160 kB Dirty: 16440 kB Writeback: 0 kB AnonPages: 561356 kB Mapped: 6772 kB Shmem: 0 kB Slab: 612520 kB SReclaimable: 56564 kB SUnreclaim: 555956 kB KernelStack: 1336 kB PageTables: 5088 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 655564 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 32768 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= 71668 MiB End job on node106 at 2016-06-18 21:41:52