| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.07 | 1800.36 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/ hw64/normalized-hw64-vm75p-opt.opb.negationfix.opb |
| MD5SUM | 5d4ca3f7b13848919c451dc03c340a8f |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 48 |
| Best CPU time to get the best result obtained on this benchmark | 1800.17 |
| Has Objective Function | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | |
| Total number of constraints | |
| Number of constraints which are clauses | |
| Number of constraints which are cardinality constraints (but not clauses) | |
| Number of constraints which are nor clauses,nor cardinality constraints | |
| Minimum length of a constraint | |
| Maximum length of a constraint | |
| Number of terms in the objective function | |
| Biggest coefficient in the objective function | |
| Number of bits for the biggest coefficient in the objective function | |
| Sum of the numbers in the objective function | |
| Number of bits of the sum of numbers in the objective function | |
| Biggest number in a constraint | |
| Number of bits of the biggest number in a constraint | |
| Biggest sum of numbers in a constraint | |
| Number of bits of the biggest sum of numbers | |
| Number of products (including duplicates) | |
| Sum of products size (including duplicates) | |
| Number of different products | |
| Sum of products size |
0.00/0.00 c 2016-06-30T11:40:34+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-4119933-1467279634.opb"] 0.00/0.01 c use --random-gen="842763381 2505282850 1212260573 2420691018 3730721451 1962071457 1180718761 71984051 426255188 4041783165 577376777 2348699206 1650573531 3164361183 3174799999 3489925056 3799912683 1626774867 992966073 3573086580 973043663 1330626483 2058888388 167363362 3632184703 1490074669 605078943 3817561689 1857067590 1038627754 3415143615 3836441567 3865081948 4222039604 2169192883 2277884275 1252009261 3465654905 2525103080 3273710096 2631263015 1563550930 1945014856 1017444680 2607673584 1750123202 858675955 2543364570 2894552277 512142298 1052153560 317456124 463879155 3371651363 1714023725 1234819078 1419936732 733657659 225623000 3959336148 1737660873 3927050985 2466818707 1092677901 1371317719 2826762159 4135186765 4038431818 3471654682 1250400698 219599663 744402852 978577963 3225693364 2111654811 3040639285 530563378 2618941281 29715159 4115932293 302480334 805747691 1072915196 3288532433 1519379634 987864430 1718414181 805393253 659838561 3942379178 1734918314 1002335013 605259050 123048630 920463527 1049120587 2562525206 3301646142 2924812114 1139369931 1497104852 1064282269 701340707 2367425535 2092817476 3261306342 3478892425 2515068323 3313590272 2778062425 31001303 638337527 526839865 282412437 2682719989 3784497037 4078668352 3564708095 2057668269 838259921 3215745454 2020416677 768900831 1463127006 2869950926 2737716996 3233588317 4134739195 1873796299 2257490226 3940226711 3200445378 1998251141 1057400697 1642068575 1014381507 2071368448 4198402876 1622311749 2300575413 3132308968 2295861354 4033328060 4039053417 1487264182 1869276704 1510744255 1415203423 460506801 70121121 1133261411 925195400 2634196258 4003725436 4102071507 423315754 798642056 1019405565 1899278597 4010984237 2431031698 3361111422 298152681 2276141133 1102247771 3104471813 2959880127 3266990000 1416360144 1313288007 2638849944 38344446 2998047660 4037628208 3523903357 1341551434 670714394 755317336 2523113541 3231694091 2438122873 649046834 327781642 3097118112 713579309 2759754804 1279118850 3633100599 926742003 1886174226 917845071 3292450225 4115732700 2135685032 3986863271 4103837894 2229261135 1851381531 3197809026 2471080254 381365718 99923113 1897436740 3767515846 3299285992 3651691975 508846372 4045110587 4061187490 1990082087 1191305943 612361311 401670859 3552765454 1464102192 2114539622 2776060045 2063666170 3358955842 2364728272 1759326162 1339834811 3922277081 2613738101 3431247707 1531676430 597188120 1706179435 2206674069 687349747 2726748806 1363284442 902320717 2094682812 698747656 2116764186 1342348290 1822447831 3564372096 2614293300 4055677738 3531522778 4152425852 4284260351 3550074098 524708866 1158399317 55189591 3771653220 66760674 622224907 4233029697 3782136681 2620828260 768396900 2131416704 255 362436" option to reproduce the execution 0.28/0.31 c #vars 35840 0.28/0.31 c #constraints 1248 0.79/0.82 c BCD2: Hardening is enabled. 0.79/0.82 c BCD2: BiasedSearch is enabled. 0.79/0.82 c Solving starts ... 0.79/0.82 c ============================[ Search Statistics ]============================ 0.79/0.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.82 c | | | | Limit GC | Var | Constra 0.79/0.82 c ============================================================================= 0.79/0.85 c 0.0s | 0 | 0 | 0 | 12362 0 | 0 | 0 0.88/0.93 c 0.1s | 0 | 571 | 0 | 12362 0 | 0 | 0 0.88/0.93 c #cpu_time = 0.052s 0.88/0.93 c #wall_clock_time = 0.052s 0.88/0.93 c #decision = 571 0.88/0.93 c #random_decision = 1 0.88/0.93 c #conflict = 0 0.88/0.93 c #restart = 0 0.88/0.93 o 64 0.88/0.93 c BCD2: updating upper bound: 64 -> 63 0.88/0.93 c BCD2: 0 <= obj <= 63 0.88/0.93 c BCD2: #cores=0, #unrelaxed=64, #relaxed=0, #hardened=0 0.88/0.93 c BCD2: #sat=1 #unsat=1 bias=1/2 0.88/0.93 c Solving starts ... 0.88/0.93 c ============================[ Search Statistics ]============================ 0.88/0.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.88/0.93 c | | | | Limit GC | Var | Constra 0.88/0.93 c ============================================================================= 0.88/0.93 c 0.0s | 0 | 0 | 0 | 12362 0 | 0 | 0 0.88/0.95 c 0.0s | 0 | 17 | 0 | 12362 0 | 0 | 0 0.88/0.95 c #cpu_time = 0.022s 0.88/0.95 c #wall_clock_time = 0.022s 0.88/0.95 c #decision = 17 0.88/0.95 c #random_decision = 0 0.88/0.95 c #conflict = 0 0.88/0.95 c #restart = 0 0.88/0.95 c BCD2: found a new core of size 18: cost of the new core is >=1 0.88/0.95 c lower bound updated to 1 0.88/0.95 c BCD2: 1 <= obj <= 63 0.88/0.95 c BCD2: #cores=1, #unrelaxed=46, #relaxed=18, #hardened=0 0.88/0.95 c BCD2: #sat=1 #unsat=2 bias=2/3 0.88/0.98 c Solving starts ... 0.88/0.98 c ============================[ Search Statistics ]============================ 0.88/0.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.88/0.98 c | | | | Limit GC | Var | Constra 0.88/0.98 c ============================================================================= 0.88/0.98 c 0.0s | 0 | 0 | 0 | 12362 0 | 0 | 0 0.98/1.00 c 0.0s | 0 | 15 | 1 | 12362 0 | 0 | 0 0.98/1.00 c #cpu_time = 0.022s 0.98/1.00 c #wall_clock_time = 0.022s 0.98/1.00 c #decision = 15 0.98/1.00 c #random_decision = 0 0.98/1.00 c #conflict = 1 0.98/1.00 c #restart = 0 0.98/1.00 c BCD2: relaxing 14 and merging with 1 cores into a new core of size 32: cost of the new core is >=2 0.98/1.00 c lower bound updated to 2 0.98/1.00 c BCD2: 2 <= obj <= 63 0.98/1.00 c BCD2: #cores=1, #unrelaxed=32, #relaxed=32, #hardened=0 0.98/1.00 c BCD2: #sat=1 #unsat=3 bias=3/4 0.98/1.00 c Solving starts ... 0.98/1.00 c ============================[ Search Statistics ]============================ 0.98/1.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.98/1.00 c | | | | Limit GC | Var | Constra 0.98/1.00 c ============================================================================= 0.98/1.00 c 0.0s | 0 | 0 | 0 | 12362 0 | 1 | 0 0.98/1.02 c 0.0s | 0 | 17 | 1 | 12362 0 | 1 | 1 0.98/1.02 c #cpu_time = 0.022s 0.98/1.02 c #wall_clock_time = 0.022s 0.98/1.02 c #decision = 17 0.98/1.02 c #random_decision = 0 0.98/1.02 c #conflict = 1 0.98/1.02 c #restart = 0 0.98/1.02 c BCD2: relaxing 16 and merging with 1 cores into a new core of size 48: cost of the new core is >=3 0.98/1.02 c lower bound updated to 3 0.98/1.02 c BCD2: 3 <= obj <= 63 0.98/1.02 c BCD2: #cores=1, #unrelaxed=16, #relaxed=48, #hardened=0 0.98/1.02 c BCD2: #sat=1 #unsat=4 bias=4/5 0.98/1.02 c Solving starts ... 0.98/1.02 c ============================[ Search Statistics ]============================ 0.98/1.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.98/1.02 c | | | | Limit GC | Var | Constra 0.98/1.02 c ============================================================================= 0.98/1.03 c 0.0s | 0 | 0 | 0 | 12362 0 | 2 | 1 0.98/1.05 c 0.0s | 0 | 17 | 1 | 12362 0 | 2 | 2 0.98/1.05 c #cpu_time = 0.024s 0.98/1.05 c #wall_clock_time = 0.024s 0.98/1.05 c #decision = 17 0.98/1.05 c #random_decision = 0 0.98/1.05 c #conflict = 1 0.98/1.05 c #restart = 0 0.98/1.05 c BCD2: relaxing 16 and merging with 1 cores into a new core of size 64: cost of the new core is >=4 0.98/1.05 c lower bound updated to 4 0.98/1.05 c BCD2: 4 <= obj <= 63 0.98/1.05 c BCD2: #cores=1, #unrelaxed=0, #relaxed=64, #hardened=0 0.98/1.05 c BCD2: #sat=1 #unsat=5 bias=5/6 0.98/1.05 c Solving starts ... 0.98/1.05 c ============================[ Search Statistics ]============================ 0.98/1.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.98/1.05 c | | | | Limit GC | Var | Constra 0.98/1.05 c ============================================================================= 0.98/1.05 c 0.0s | 0 | 0 | 0 | 12362 0 | 3 | 2 1.19/1.28 c 0.2s | 1 | 16854 | 100 | 13599 0 | 3 | 3 1.59/1.69 c 0.6s | 2 | 33799 | 250 | 14959 0 | 3 | 3 2.19/2.27 c 1.2s | 3 | 51685 | 475 | 16455 0 | 3 | 3 4.18/4.25 c 3.2s | 4 | 67973 | 813 | 18101 0 | 3 | 3 6.18/6.29 c 5.2s | 4 | 89183 | 1113 | 18101 0 | 3 | 3 7.88/7.96 c 6.9s | 5 | 89410 | 1320 | 19912 0 | 3 | 3 9.78/9.87 c 8.8s | 5 | 101131 | 1524 | 19912 0 | 3 | 3 9.78/9.87 c #cpu_time = 8.769s 9.78/9.87 c #wall_clock_time = 8.792s 9.78/9.87 c #decision = 101131 9.78/9.87 c #random_decision = 294 9.78/9.87 c #conflict = 1524 9.78/9.87 c #restart = 5 9.78/9.87 o 54 9.78/9.87 c BCD2: updating upper bound: 63 -> 53 9.78/9.87 c BCD2: 4 <= obj <= 53 9.78/9.87 c BCD2: #cores=1, #unrelaxed=0, #relaxed=64, #hardened=0 9.78/9.87 c BCD2: #sat=2 #unsat=5 bias=5/7 9.78/9.87 c Solving starts ... 9.78/9.87 c ============================[ Search Statistics ]============================ 9.78/9.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 9.78/9.87 c | | | | Limit GC | Var | Constra 9.78/9.87 c ============================================================================= 9.78/9.87 c 0.0s | 0 | 0 | 0 | 19912 0 | 3 | 5 10.18/10.22 c 0.3s | 1 | 3368 | 100 | 19912 0 | 3 | 5 10.38/10.44 c 0.6s | 2 | 3564 | 250 | 19912 0 | 3 | 5 10.78/10.82 c 0.9s | 3 | 3834 | 475 | 19912 0 | 3 | 5 11.18/11.23 c 1.4s | 4 | 4213 | 813 | 21904 0 | 3 | 5 11.79/11.83 c 2.0s | 5 | 4767 | 1320 | 21904 0 | 3 | 5 12.69/12.77 c 2.9s | 6 | 5572 | 2081 | 24095 0 | 3 | 5 13.99/14.06 c 4.2s | 7 | 6763 | 3223 | 24095 0 | 3 | 5 15.98/16.02 c 6.1s | 8 | 8523 | 4936 | 26505 0 | 3 | 5 17.98/18.05 c 8.2s | 8 | 10577 | 6936 | 29156 0 | 3 | 5 18.58/18.61 c 8.7s | 9 | 11148 | 7506 | 29156 0 | 3 | 5 20.58/20.69 c 10.8s | 9 | 12692 | 9006 | 29156 0 | 3 | 5 22.68/22.70 c 12.8s | 9 | 14541 | 10806 | 32072 0 | 3 | 5 23.28/23.36 c 13.5s | 10 | 15101 | 11361 | 32072 0 | 3 | 5 25.39/25.42 c 15.5s | 10 | 16964 | 13161 | 32072 0 | 3 | 5 27.38/27.47 c 17.6s | 10 | 19075 | 15261 | 32072 0 | 3 | 5 29.38/29.47 c 19.6s | 10 | 20686 | 16861 | 35280 0 | 3 | 5 29.79/29.87 c 20.0s | 11 | 20970 | 17144 | 35280 0 | 3 | 5 31.78/31.90 c 22.0s | 11 | 22020 | 18144 | 35280 0 | 3 | 5 33.88/33.97 c 24.1s | 11 | 23524 | 19644 | 35280 0 | 3 | 5 35.98/36.06 c 26.2s | 11 | 24732 | 20844 | 35280 0 | 3 | 5 38.08/38.17 c 28.3s | 11 | 25839 | 21944 | 35280 0 | 3 | 5 40.28/40.32 c 30.4s | 11 | 27051 | 23144 | 35280 0 | 3 | 5 42.38/42.41 c 32.5s | 11 | 28585 | 24644 | 38808 0 | 3 | 5 44.18/44.23 c 34.4s | 12 | 29781 | 25819 | 38808 0 | 3 | 5 46.18/46.24 c 36.4s | 12 | 30632 | 26619 | 38808 0 | 3 | 5 48.28/48.32 c 38.4s | 12 | 31842 | 27819 | 38808 0 | 3 | 5 50.38/50.40 c 40.5s | 12 | 33044 | 29019 | 38808 0 | 3 | 5 52.58/52.62 c 42.7s | 12 | 34060 | 30019 | 38808 0 | 3 | 5 54.68/54.78 c 44.9s | 12 | 35074 | 31019 | 38808 0 | 3 | 5 56.77/56.86 c 47.0s | 12 | 36777 | 32619 | 38808 0 | 3 | 5 58.87/58.92 c 49.0s | 12 | 38000 | 33819 | 38808 0 | 3 | 5 60.97/61.09 c 51.2s | 12 | 39108 | 34919 | 38808 0 | 3 | 5 63.27/63.30 c 53.4s | 12 | 40006 | 35819 | 38808 0 | 3 | 5 65.37/65.43 c 55.6s | 12 | 40910 | 36719 | 38808 0 | 3 | 5 67.47/67.50 c 57.6s | 12 | 41926 | 37719 | 42689 0 | 3 | 5 69.47/69.52 c 59.6s | 12 | 42935 | 38719 | 42689 0 | 3 | 5 69.67/69.73 c 59.9s | 13 | 43053 | 38832 | 42689 0 | 3 | 5 71.77/71.83 c 62.0s | 13 | 44160 | 39832 | 42689 0 | 3 | 5 73.87/73.91 c 64.0s | 13 | 45284 | 40932 | 42689 0 | 3 | 5 75.88/75.92 c 66.0s | 13 | 46208 | 41832 | 42689 0 | 3 | 5 77.97/78.10 c 68.2s | 13 | 47312 | 42932 | 42689 0 | 3 | 5 80.07/80.15 c 70.3s | 13 | 48211 | 43832 | 42689 0 | 3 | 5 82.27/82.35 c 72.5s | 13 | 49117 | 44732 | 42689 0 | 3 | 5 85.98/86.07 c 76.2s | 13 | 49915 | 45532 | 42689 1 | 3 | 5 88.08/88.18 c 78.3s | 13 | 51422 | 47032 | 42689 1 | 3 | 5 90.28/90.35 c 80.5s | 13 | 52829 | 48432 | 42689 1 | 3 | 5 92.38/92.43 c 82.6s | 13 | 53532 | 49132 | 42689 1 | 3 | 5 94.37/94.46 c 84.6s | 13 | 55036 | 50632 | 42689 1 | 3 | 5 96.57/96.60 c 86.7s | 13 | 56551 | 52132 | 42689 1 | 3 | 5 98.57/98.62 c 88.7s | 13 | 58157 | 53732 | 42689 1 | 3 | 5 100.67/100.72 c 90.8s | 13 | 59569 | 55132 | 42689 1 | 3 | 5 102.67/102.76 c 92.9s | 13 | 60774 | 56332 | 42689 1 | 3 | 5 104.77/104.88 c 95.0s | 13 | 61978 | 57532 | 46958 1 | 3 | 5 106.47/106.54 c 96.7s | 14 | 62800 | 58352 | 46958 1 | 3 | 5 110.17/110.25 c 100s | 14 | 63447 | 58952 | 46958 1 | 3 | 5 112.28/112.37 c 102s | 14 | 64351 | 59852 | 46958 1 | 3 | 5 114.27/114.39 c 104s | 14 | 65155 | 60652 | 46958 1 | 3 | 5 116.47/116.50 c 106s | 14 | 65760 | 61252 | 46958 1 | 3 | 5 118.67/118.79 c 108s | 14 | 66570 | 62052 | 46958 1 | 3 | 5 120.77/120.83 c 110s | 14 | 67474 | 62952 | 46958 1 | 3 | 5 122.97/123.06 c 113s | 14 | 68279 | 63752 | 46958 1 | 3 | 5 125.17/125.27 c 115s | 14 | 68983 | 64452 | 46958 1 | 3 | 5 127.46/127.55 c 117s | 14 | 69787 | 65252 | 46958 1 | 3 | 5 129.56/129.62 c 119s | 14 | 70491 | 65952 | 46958 1 | 3 | 5 131.76/131.82 c 121s | 14 | 71396 | 66852 | 46958 1 | 3 | 5 133.96/134.07 c 124s | 14 | 72301 | 67752 | 46958 1 | 3 | 5 136.16/136.20 c 126s | 14 | 73000 | 68452 | 46958 1 | 3 | 5 138.16/138.23 c 128s | 14 | 73607 | 69052 | 46958 1 | 3 | 5 140.26/140.33 c 130s | 14 | 74203 | 69652 | 46958 1 | 3 | 5 142.56/142.63 c 132s | 14 | 74916 | 70352 | 46958 1 | 3 | 5 150.26/150.33 c 140s | 14 | 75422 | 70852 | 46958 2 | 3 | 5 152.26/152.33 c 142s | 14 | 76729 | 72152 | 46958 2 | 3 | 5 154.26/154.36 c 144s | 14 | 78141 | 73552 | 46958 2 | 3 | 5 156.46/156.50 c 146s | 14 | 79244 | 74652 | 46958 2 | 3 | 5 159.17/159.23 c 149s | 14 | 80155 | 75552 | 46958 2 | 3 | 5 161.17/161.25 c 151s | 14 | 80755 | 76152 | 46958 2 | 3 | 5 163.37/163.41 c 153s | 14 | 81459 | 76852 | 46958 2 | 3 | 5 165.37/165.48 c 155s | 14 | 82267 | 77652 | 46958 2 | 3 | 5 167.67/167.75 c 157s | 14 | 83378 | 78752 | 46958 2 | 3 | 5 169.67/169.79 c 159s | 14 | 84379 | 79752 | 46958 2 | 3 | 5 171.96/172.00 c 162s | 14 | 85279 | 80652 | 46958 2 | 3 | 5 174.06/174.14 c 164s | 14 | 85985 | 81352 | 46958 2 | 3 | 5 176.26/176.35 c 166s | 14 | 86691 | 82052 | 46958 2 | 3 | 5 178.76/178.87 c 168s | 14 | 87393 | 82752 | 46958 2 | 3 | 5 181.06/181.17 c 171s | 14 | 87905 | 83252 | 46958 2 | 3 | 5 183.26/183.32 c 173s | 14 | 88503 | 83852 | 46958 2 | 3 | 5 185.46/185.52 c 175s | 14 | 89008 | 84352 | 46958 2 | 3 | 5 187.56/187.65 c 177s | 14 | 89799 | 85152 | 46958 2 | 3 | 5 189.86/189.91 c 180s | 14 | 90906 | 86252 | 51654 2 | 3 | 5 192.06/192.16 c 182s | 14 | 91510 | 86852 | 51654 2 | 3 | 5 194.16/194.29 c 184s | 14 | 92203 | 87552 | 51654 2 | 3 | 5 194.46/194.58 c 184s | 15 | 92285 | 87632 | 51654 2 | 3 | 5 196.56/196.63 c 186s | 15 | 92927 | 88232 | 51654 2 | 3 | 5 198.56/198.69 c 188s | 15 | 93531 | 88832 | 51654 2 | 3 | 5 200.66/200.73 c 190s | 15 | 94337 | 89632 | 51654 2 | 3 | 5 202.86/202.92 c 193s | 15 | 95039 | 90332 | 51654 2 | 3 | 5 204.86/204.96 c 195s | 15 | 95861 | 91132 | 51654 2 | 3 | 5 206.87/206.97 c 197s | 15 | 96360 | 91632 | 51654 2 | 3 | 5 208.97/209.08 c 199s | 15 | 97070 | 92332 | 51654 2 | 3 | 5 211.17/211.22 c 201s | 15 | 97667 | 92932 | 51654 2 | 3 | 5 213.26/213.30 c 203s | 15 | 98270 | 93532 | 51654 2 | 3 | 5 215.46/215.51 c 205s | 15 | 98873 | 94132 | 51654 2 | 3 | 5 217.56/217.65 c 207s | 15 | 99777 | 95032 | 51654 2 | 3 | 5 219.56/219.66 c 209s | 15 | 100776 | 96032 | 51654 2 | 3 | 5 221.66/221.74 c 211s | 15 | 101778 | 97032 | 51654 2 | 3 | 5 223.66/223.75 c 213s | 15 | 102579 | 97832 | 51654 2 | 3 | 5 225.66/225.79 c 215s | 15 | 103278 | 98532 | 51654 2 | 3 | 5 227.86/227.93 c 218s | 15 | 104183 | 99432 | 51654 2 | 3 | 5 230.06/230.11 c 220s | 15 | 104987 | 100232 | 51654 2 | 3 | 5 232.55/232.68 c 222s | 15 | 105186 | 100432 | 51654 3 | 3 | 5 235.15/235.25 c 225s | 15 | 106091 | 101332 | 51654 3 | 3 | 5 237.25/237.37 c 227s | 15 | 107186 | 102432 | 51654 3 | 3 | 5 252.05/252.14 c 242s | 15 | 107698 | 102932 | 51654 3 | 3 | 5 254.16/254.27 c 244s | 15 | 108805 | 104032 | 51654 3 | 3 | 5 256.26/256.35 c 246s | 15 | 110011 | 105232 | 51654 3 | 3 | 5 258.35/258.41 c 248s | 15 | 111412 | 106632 | 51654 3 | 3 | 5 260.45/260.53 c 250s | 15 | 112921 | 108132 | 51654 3 | 3 | 5 262.65/262.71 c 252s | 15 | 114121 | 109332 | 51654 3 | 3 | 5 264.75/264.83 c 254s | 15 | 115230 | 110432 | 51654 3 | 3 | 5 266.95/267.05 c 257s | 15 | 116131 | 111332 | 51654 3 | 3 | 5 269.05/269.16 c 259s | 15 | 116930 | 112132 | 51654 3 | 3 | 5 271.25/271.32 c 261s | 15 | 118236 | 113432 | 51654 3 | 3 | 5 273.25/273.33 c 263s | 15 | 119335 | 114532 | 51654 3 | 3 | 5 275.45/275.55 c 265s | 15 | 120347 | 115532 | 51654 3 | 3 | 5 277.55/277.60 c 267s | 15 | 121347 | 116532 | 51654 3 | 3 | 5 279.55/279.67 c 269s | 15 | 122352 | 117532 | 51654 3 | 3 | 5 281.75/281.80 c 271s | 15 | 123159 | 118332 | 51654 3 | 3 | 5 283.94/284.00 c 274s | 15 | 123959 | 119132 | 51654 3 | 3 | 5 286.14/286.24 c 276s | 15 | 124869 | 120032 | 51654 3 | 3 | 5 288.44/288.57 c 278s | 15 | 125571 | 120732 | 51654 3 | 3 | 5 290.64/290.71 c 280s | 15 | 126174 | 121332 | 51654 3 | 3 | 5 293.04/293.17 c 283s | 15 | 126785 | 121932 | 51654 3 | 3 | 5 295.14/295.21 c 285s | 15 | 127484 | 122632 | 51654 3 | 3 | 5 297.24/297.39 c 287s | 15 | 128387 | 123532 | 51654 3 | 3 | 5 299.34/299.42 c 289s | 15 | 129285 | 124432 | 51654 3 | 3 | 5 301.64/301.70 c 291s | 15 | 130092 | 125232 | 51654 3 | 3 | 5 303.84/303.94 c 294s | 15 | 130790 | 125932 | 51654 3 | 3 | 5 305.94/306.00 c 296s | 15 | 131596 | 126732 | 51654 3 | 3 | 5 309.54/309.62 c 299s | 15 | 132199 | 127332 | 51654 4 | 3 | 5 311.74/311.81 c 301s | 15 | 132900 | 128032 | 51654 4 | 3 | 5 318.34/318.47 c 308s | 15 | 133908 | 129032 | 51654 4 | 3 | 5 320.44/320.54 c 310s | 15 | 135011 | 130132 | 56820 4 | 3 | 5 322.64/322.70 c 312s | 15 | 136219 | 131332 | 56820 4 | 3 | 5 322.94/323.08 c 313s | 16 | 136438 | 131552 | 56820 4 | 3 | 5 325.04/325.14 c 315s | 16 | 137389 | 132452 | 56820 4 | 3 | 5 327.24/327.30 c 317s | 16 | 138689 | 133752 | 56820 4 | 3 | 5 329.34/329.41 c 319s | 16 | 139591 | 134652 | 56820 4 | 3 | 5 331.34/331.48 c 321s | 16 | 140489 | 135552 | 56820 4 | 3 | 5 333.54/333.62 c 323s | 16 | 141502 | 136552 | 56820 4 | 3 | 5 335.54/335.65 c 325s | 16 | 142298 | 137352 | 56820 4 | 3 | 5 337.64/337.79 c 327s | 16 | 143001 | 138052 | 56820 4 | 3 | 5 339.73/339.85 c 329s | 16 | 143701 | 138752 | 56820 4 | 3 | 5 341.93/342.08 c 332s | 16 | 144307 | 139352 | 56820 4 | 3 | 5 344.13/344.26 c 334s | 16 | 145214 | 140252 | 56820 4 | 3 | 5 346.23/346.33 c 336s | 16 | 146119 | 141152 | 56820 4 | 3 | 5 348.53/348.64 c 338s | 16 | 146819 | 141852 | 56820 4 | 3 | 5 350.73/350.89 c 341s | 16 | 147724 | 142752 | 56820 4 | 3 | 5 352.83/352.95 c 343s | 16 | 148725 | 143752 | 56820 4 | 3 | 5 354.93/355.01 c 345s | 16 | 149726 | 144752 | 56820 4 | 3 | 5 357.13/357.22 c 347s | 16 | 150629 | 145652 | 56820 4 | 3 | 5 359.33/359.43 c 349s | 16 | 151430 | 146452 | 56820 4 | 3 | 5 361.43/361.57 c 351s | 16 | 152233 | 147252 | 56820 4 | 3 | 5 363.53/363.70 c 353s | 16 | 153042 | 148052 | 56820 4 | 3 | 5 365.63/365.72 c 355s | 16 | 153642 | 148652 | 56820 4 | 3 | 5 367.93/368.01 c 358s | 16 | 154445 | 149452 | 56820 4 | 3 | 5 369.93/370.06 c 360s | 16 | 155250 | 150252 | 56820 4 | 3 | 5 372.13/372.22 c 362s | 16 | 156149 | 151152 | 56820 4 | 3 | 5 374.13/374.30 c 364s | 16 | 156958 | 151952 | 56820 4 | 3 | 5 376.33/376.41 c 366s | 16 | 157560 | 152552 | 56820 4 | 3 | 5 378.53/378.62 c 368s | 16 | 158162 | 153152 | 56820 4 | 3 | 5 380.73/380.80 c 370s | 16 | 158670 | 153652 | 56820 4 | 3 | 5 383.13/383.27 c 373s | 16 | 159264 | 154252 | 56820 4 | 3 | 5 385.23/385.37 c 375s | 16 | 159865 | 154852 | 56820 4 | 3 | 5 391.53/391.66 c 381s | 16 | 160177 | 155152 | 56820 4 | 3 | 5 393.63/393.78 c 383s | 16 | 160778 | 155752 | 56820 4 | 3 | 5 395.83/396.00 c 386s | 16 | 161374 | 156352 | 56820 4 | 3 | 5 398.03/398.14 c 388s | 16 | 161978 | 156952 | 56820 4 | 3 | 5 400.33/400.43 c 390s | 16 | 162481 | 157452 | 56820 4 | 3 | 5 402.33/402.45 c 392s | 16 | 163082 | 158052 | 56820 4 | 3 | 5 404.52/404.64 c 394s | 16 | 163885 | 158852 | 56820 4 | 3 | 5 406.82/406.91 c 397s | 16 | 164786 | 159752 | 56820 4 | 3 | 5 409.02/409.15 c 399s | 16 | 165688 | 160652 | 56820 4 | 3 | 5 411.22/411.34 c 401s | 16 | 166389 | 161352 | 56820 4 | 3 | 5 414.53/414.69 c 404s | 16 | 166493 | 161452 | 56820 5 | 3 | 5 416.63/416.78 c 406s | 16 | 167490 | 162452 | 56820 5 | 3 | 5 418.73/418.86 c 408s | 16 | 168501 | 163452 | 56820 5 | 3 | 5 420.83/420.98 c 411s | 16 | 169812 | 164752 | 56820 5 | 3 | 5 422.92/423.03 c 413s | 16 | 171215 | 166152 | 56820 5 | 3 | 5 424.92/425.06 c 415s | 16 | 172420 | 167352 | 56820 5 | 3 | 5 427.12/427.21 c 417s | 16 | 173624 | 168552 | 56820 5 | 3 | 5 429.22/429.34 c 419s | 16 | 174931 | 169852 | 56820 5 | 3 | 5 431.32/431.46 c 421s | 16 | 176232 | 171152 | 56820 5 | 3 | 5 433.33/433.47 c 423s | 16 | 177345 | 172252 | 56820 5 | 3 | 5 435.53/435.63 c 425s | 16 | 178556 | 173452 | 56820 5 | 3 | 5 437.52/437.68 c 427s | 16 | 179560 | 174452 | 56820 5 | 3 | 5 439.52/439.69 c 429s | 16 | 180359 | 175252 | 56820 5 | 3 | 5 441.62/441.78 c 431s | 16 | 181366 | 176252 | 56820 5 | 3 | 5 443.62/443.78 c 433s | 16 | 181970 | 176852 | 56820 5 | 3 | 5 445.72/445.84 c 435s | 16 | 182573 | 177452 | 56820 5 | 3 | 5 447.82/447.98 c 438s | 16 | 183470 | 178352 | 56820 5 | 3 | 5 449.93/450.06 c 440s | 16 | 184474 | 179352 | 56820 5 | 3 | 5 452.13/452.25 c 442s | 16 | 185272 | 180152 | 56820 5 | 3 | 5 454.12/454.26 c 444s | 16 | 186081 | 180952 | 56820 5 | 3 | 5 456.12/456.29 c 446s | 16 | 186985 | 181852 | 56820 5 | 3 | 5 458.32/458.43 c 448s | 16 | 187892 | 182752 | 56820 5 | 3 | 5 460.42/460.60 c 450s | 16 | 188800 | 183652 | 56820 5 | 3 | 5 462.62/462.79 c 452s | 16 | 189499 | 184352 | 56820 5 | 3 | 5 464.72/464.82 c 454s | 16 | 190301 | 185152 | 56820 5 | 3 | 5 466.82/466.98 c 457s | 16 | 191205 | 186052 | 56820 5 | 3 | 5 468.92/469.00 c 459s | 16 | 192010 | 186852 | 56820 5 | 3 | 5 470.92/471.00 c 461s | 16 | 192709 | 187552 | 56820 5 | 3 | 5 473.02/473.16 c 463s | 16 | 193517 | 188352 | 56820 5 | 3 | 5 475.02/475.16 c 465s | 16 | 194121 | 188952 | 56820 5 | 3 | 5 477.42/477.53 c 467s | 16 | 194724 | 189552 | 56820 5 | 3 | 5 479.62/479.78 c 469s | 16 | 195126 | 189952 | 56820 5 | 3 | 5 481.72/481.88 c 472s | 16 | 195824 | 190652 | 56820 5 | 3 | 5 485.41/485.57 c 475s | 16 | 195931 | 190752 | 56820 6 | 3 | 5 487.51/487.63 c 477s | 16 | 197036 | 191852 | 56820 6 | 3 | 5 489.71/489.82 c 479s | 16 | 198240 | 193052 | 56820 6 | 3 | 5 491.81/491.92 c 482s | 16 | 199243 | 194052 | 56820 6 | 3 | 5 495.71/495.82 c 485s | 16 | 200055 | 194852 | 62503 6 | 3 | 5 497.71/497.89 c 488s | 16 | 201159 | 195952 | 62503 6 | 3 | 5 499.91/500.00 c 490s | 16 | 202460 | 197252 | 62503 6 | 3 | 5 500.21/500.35 c 490s | 17 | 202642 | 197432 | 62503 6 | 3 | 5 502.41/502.58 c 492s | 17 | 202983 | 197732 | 62503 6 | 3 | 5 504.61/504.73 c 494s | 17 | 203587 | 198332 | 62503 6 | 3 | 5 506.91/507.01 c 497s | 17 | 204390 | 199132 | 62503 6 | 3 | 5 509.01/509.11 c 499s | 17 | 204889 | 199632 | 62503 6 | 3 | 5 511.11/511.29 c 501s | 17 | 205587 | 200332 | 62503 6 | 3 | 5 513.31/513.48 c 503s | 17 | 206298 | 201032 | 62503 6 | 3 | 5 515.31/515.48 c 505s | 17 | 206998 | 201732 | 62503 6 | 3 | 5 517.71/517.80 c 507s | 17 | 207799 | 202532 | 62503 6 | 3 | 5 520.01/520.15 c 510s | 17 | 208510 | 203232 | 62503 6 | 3 | 5 522.01/522.18 c 512s | 17 | 208999 | 203732 | 62503 6 | 3 | 5 524.31/524.43 c 514s | 17 | 209710 | 204432 | 62503 6 | 3 | 5 526.41/526.53 c 516s | 17 | 210211 | 204932 | 62503 6 | 3 | 5 528.61/528.72 c 518s | 17 | 210807 | 205532 | 62503 6 | 3 | 5 530.70/530.87 c 520s | 17 | 211513 | 206232 | 62503 6 | 3 | 5 532.90/533.03 c 523s | 17 | 212222 | 206932 | 62503 6 | 3 | 5 535.20/535.37 c 525s | 17 | 212922 | 207632 | 62503 6 | 3 | 5 537.50/537.60 c 527s | 17 | 213523 | 208232 | 62503 6 | 3 | 5 539.70/539.87 c 529s | 17 | 214127 | 208832 | 62503 6 | 3 | 5 542.00/542.19 c 532s | 17 | 214725 | 209432 | 62503 6 | 3 | 5 544.30/544.49 c 534s | 17 | 215327 | 210032 | 62503 6 | 3 | 5 546.71/546.83 c 536s | 17 | 215831 | 210532 | 62503 6 | 3 | 5 549.00/549.15 c 539s | 17 | 216327 | 211032 | 62503 6 | 3 | 5 551.40/551.53 c 541s | 17 | 216933 | 211632 | 62503 6 | 3 | 5 553.50/553.63 c 543s | 17 | 217432 | 212132 | 62503 6 | 3 | 5 555.70/555.81 c 545s | 17 | 217839 | 212532 | 62503 6 | 3 | 5 558.10/558.22 c 548s | 17 | 218440 | 213132 | 62503 6 | 3 | 5 560.20/560.32 c 550s | 17 | 218944 | 213632 | 62503 6 | 3 | 5 562.50/562.66 c 552s | 17 | 219444 | 214132 | 62503 6 | 3 | 5 564.70/564.83 c 554s | 17 | 219941 | 214632 | 62503 6 | 3 | 5 567.10/567.24 c 557s | 17 | 220546 | 215232 | 62503 6 | 3 | 5 569.40/569.54 c 559s | 17 | 221248 | 215932 | 62503 6 | 3 | 5 571.60/571.78 c 561s | 17 | 221849 | 216532 | 62503 6 | 3 | 5 573.70/573.84 c 563s | 17 | 222346 | 217032 | 62503 6 | 3 | 5 575.90/576.08 c 566s | 17 | 222953 | 217632 | 62503 6 | 3 | 5 578.00/578.18 c 568s | 17 | 223457 | 218132 | 62503 6 | 3 | 5 580.30/580.46 c 570s | 17 | 223960 | 218632 | 62503 6 | 3 | 5 582.40/582.51 c 572s | 17 | 224466 | 219132 | 62503 6 | 3 | 5 584.60/584.72 c 574s | 17 | 225063 | 219732 | 62503 6 | 3 | 5 586.69/586.82 c 576s | 17 | 225664 | 220332 | 62503 6 | 3 | 5 588.89/589.04 c 579s | 17 | 226171 | 220832 | 62503 6 | 3 | 5 591.09/591.25 c 581s | 17 | 226869 | 221532 | 62503 6 | 3 | 5 593.39/593.54 c 583s | 17 | 227574 | 222232 | 62503 6 | 3 | 5 595.49/595.64 c 585s | 17 | 228073 | 222732 | 62503 6 | 3 | 5 597.59/597.70 c 587s | 17 | 228775 | 223432 | 62503 6 | 3 | 5 599.69/599.81 c 589s | 17 | 229374 | 224032 | 62503 6 | 3 | 5 601.79/601.92 c 592s | 17 | 229879 | 224532 | 62503 6 | 3 | 5 603.80/603.93 c 594s | 17 | 230283 | 224932 | 62503 6 | 3 | 5 611.10/611.28 c 601s | 17 | 230478 | 225132 | 62503 7 | 3 | 5 623.89/624.07 c 614s | 17 | 230581 | 225232 | 62503 7 | 3 | 5 626.29/626.47 c 616s | 17 | 230990 | 225632 | 62503 7 | 3 | 5 628.39/628.50 c 618s | 17 | 231892 | 226532 | 62503 7 | 3 | 5 630.39/630.59 c 620s | 17 | 232896 | 227532 | 62503 7 | 3 | 5 632.59/632.70 c 622s | 17 | 233896 | 228532 | 62503 7 | 3 | 5 634.59/634.75 c 624s | 17 | 234799 | 229432 | 62503 7 | 3 | 5 636.69/636.88 c 627s | 17 | 235909 | 230532 | 62503 7 | 3 | 5 638.89/639.09 c 629s | 17 | 237211 | 231832 | 62503 7 | 3 | 5 640.99/641.19 c 631s | 17 | 238218 | 232832 | 62503 7 | 3 | 5 643.29/643.41 c 633s | 17 | 239426 | 234032 | 62503 7 | 3 | 5 645.28/645.50 c 635s | 17 | 240525 | 235132 | 62503 7 | 3 | 5 647.38/647.56 c 637s | 17 | 241631 | 236232 | 62503 7 | 3 | 5 649.39/649.57 c 639s | 17 | 242739 | 237332 | 62503 7 | 3 | 5 651.48/651.62 c 641s | 17 | 243946 | 238532 | 62503 7 | 3 | 5 653.99/654.15 c 644s | 17 | 244648 | 239232 | 62503 7 | 3 | 5 656.19/656.34 c 646s | 17 | 245355 | 239932 | 62503 7 | 3 | 5 658.29/658.41 c 648s | 17 | 246256 | 240832 | 62503 7 | 3 | 5 660.39/660.56 c 650s | 17 | 247057 | 241632 | 62503 7 | 3 | 5 662.49/662.69 c 652s | 17 | 247953 | 242532 | 62503 7 | 3 | 5 664.79/664.98 c 655s | 17 | 248659 | 243232 | 62503 7 | 3 | 5 666.99/667.13 c 657s | 17 | 249360 | 243932 | 62503 7 | 3 | 5 669.19/669.32 c 659s | 17 | 250365 | 244932 | 62503 7 | 3 | 5 671.19/671.39 c 661s | 17 | 251166 | 245732 | 62503 7 | 3 | 5 673.49/673.65 c 663s | 17 | 251971 | 246532 | 62503 7 | 3 | 5 675.59/675.74 c 665s | 17 | 252673 | 247232 | 62503 7 | 3 | 5 677.60/677.74 c 667s | 17 | 253378 | 247932 | 62503 7 | 3 | 5 679.70/679.89 c 670s | 17 | 254083 | 248632 | 62503 7 | 3 | 5 681.90/682.08 c 672s | 17 | 254887 | 249432 | 62503 7 | 3 | 5 684.20/684.32 c 674s | 17 | 255488 | 250032 | 62503 7 | 3 | 5 686.39/686.59 c 676s | 17 | 256294 | 250832 | 62503 7 | 3 | 5 688.79/688.92 c 679s | 17 | 256995 | 251532 | 62503 7 | 3 | 5 690.89/691.10 c 681s | 17 | 257702 | 252232 | 62503 7 | 3 | 5 692.99/693.11 c 683s | 17 | 258407 | 252932 | 62503 7 | 3 | 5 695.19/695.34 c 685s | 17 | 259112 | 253632 | 62503 7 | 3 | 5 697.19/697.35 c 687s | 17 | 259808 | 254332 | 62503 7 | 3 | 5 699.19/699.38 c 689s | 17 | 260512 | 255032 | 62503 7 | 3 | 5 701.29/701.41 c 691s | 17 | 261017 | 255532 | 62503 7 | 3 | 5 703.39/703.52 c 693s | 17 | 261716 | 256232 | 62503 7 | 3 | 5 705.48/705.64 c 695s | 17 | 262522 | 257032 | 62503 7 | 3 | 5 707.68/707.80 c 697s | 17 | 263421 | 257932 | 62503 7 | 3 | 5 709.88/710.01 c 700s | 17 | 264424 | 258932 | 62503 7 | 3 | 5 714.99/715.18 c 705s | 17 | 264937 | 259432 | 62503 8 | 3 | 5 717.19/717.31 c 707s | 17 | 265834 | 260332 | 62503 8 | 3 | 5 719.39/719.59 c 709s | 17 | 266836 | 261332 | 62503 8 | 3 | 5 721.49/721.63 c 711s | 17 | 267641 | 262132 | 62503 8 | 3 | 5 723.69/723.85 c 713s | 17 | 268542 | 263032 | 62503 8 | 3 | 5 725.78/725.91 c 716s | 17 | 269345 | 263832 | 62503 8 | 3 | 5 727.78/727.96 c 718s | 17 | 270250 | 264732 | 62503 8 | 3 | 5 729.98/730.12 c 720s | 17 | 271260 | 265732 | 62503 8 | 3 | 5 731.98/732.16 c 722s | 17 | 272259 | 266732 | 62503 8 | 3 | 5 733.98/734.17 c 724s | 17 | 273165 | 267632 | 62503 8 | 3 | 5 736.08/736.27 c 726s | 17 | 273969 | 268432 | 62503 8 | 3 | 5 738.38/738.50 c 728s | 17 | 274971 | 269432 | 62503 8 | 3 | 5 740.38/740.56 c 730s | 17 | 275675 | 270132 | 62503 8 | 3 | 5 804.76/804.90 c 795s | 17 | 275790 | 270232 | 62503 8 | 3 | 5 806.96/807.16 c 797s | 17 | 276488 | 270932 | 62503 8 | 3 | 5 809.06/809.23 c 799s | 17 | 277186 | 271632 | 62503 8 | 3 | 5 811.26/811.41 c 801s | 17 | 277985 | 272432 | 62503 8 | 3 | 5 813.36/813.50 c 803s | 17 | 278693 | 273132 | 62503 8 | 3 | 5 815.56/815.73 c 805s | 17 | 279592 | 274032 | 62503 8 | 3 | 5 817.86/818.01 c 808s | 17 | 280402 | 274832 | 62503 8 | 3 | 5 819.96/820.13 c 810s | 17 | 281302 | 275732 | 62503 8 | 3 | 5 822.06/822.28 c 812s | 17 | 282202 | 276632 | 62503 8 | 3 | 5 824.06/824.29 c 814s | 17 | 283011 | 277432 | 62503 8 | 3 | 5 826.26/826.46 c 816s | 17 | 283712 | 278132 | 62503 8 | 3 | 5 828.26/828.48 c 818s | 17 | 284513 | 278932 | 62503 8 | 3 | 5 830.36/830.57 c 820s | 17 | 285321 | 279732 | 62503 8 | 3 | 5 832.46/832.61 c 822s | 17 | 285921 | 280332 | 62503 8 | 3 | 5 834.56/834.77 c 824s | 17 | 286519 | 280932 | 62503 8 | 3 | 5 836.76/836.98 c 827s | 17 | 287131 | 281532 | 62503 8 | 3 | 5 838.86/839.01 c 829s | 17 | 287724 | 282132 | 62503 8 | 3 | 5 840.96/841.14 c 831s | 17 | 288329 | 282732 | 62503 8 | 3 | 5 843.05/843.20 c 833s | 17 | 289037 | 283432 | 62503 8 | 3 | 5 845.25/845.48 c 835s | 17 | 289736 | 284132 | 62503 8 | 3 | 5 847.55/847.72 c 837s | 17 | 290436 | 284832 | 62503 8 | 3 | 5 849.95/850.13 c 840s | 17 | 291033 | 285432 | 62503 8 | 3 | 5 851.95/852.14 c 842s | 17 | 291531 | 285932 | 62503 8 | 3 | 5 854.25/854.49 c 844s | 17 | 292134 | 286532 | 62503 8 | 3 | 5 856.95/857.10 c 847s | 17 | 292640 | 287032 | 62503 8 | 3 | 5 858.96/859.18 c 849s | 17 | 293038 | 287432 | 62503 8 | 3 | 5 861.16/861.36 c 851s | 17 | 293434 | 287832 | 62503 8 | 3 | 5 863.36/863.57 c 853s | 17 | 293935 | 288332 | 62503 8 | 3 | 5 865.85/866.02 c 856s | 17 | 294446 | 288832 | 62503 8 | 3 | 5 868.15/868.37 c 858s | 17 | 294945 | 289332 | 62503 8 | 3 | 5 870.65/870.80 c 860s | 17 | 295550 | 289932 | 62503 8 | 3 | 5 872.95/873.10 c 863s | 17 | 296050 | 290432 | 62503 8 | 3 | 5 875.25/875.43 c 865s | 17 | 296757 | 291132 | 62503 8 | 3 | 5 877.55/877.78 c 867s | 17 | 297460 | 291832 | 62503 8 | 3 | 5 881.46/881.60 c 871s | 17 | 297758 | 292132 | 62503 9 | 3 | 5 883.56/883.71 c 873s | 17 | 298462 | 292832 | 68754 9 | 3 | 5 885.66/885.81 c 875s | 17 | 299867 | 294232 | 68754 9 | 3 | 5 887.86/888.01 c 878s | 17 | 300967 | 295332 | 68754 9 | 3 | 5 889.86/890.03 c 880s | 18 | 301895 | 296252 | 68754 9 | 3 | 5 891.85/892.04 c 882s | 18 | 302739 | 297052 | 68754 9 | 3 | 5 893.95/894.13 c 884s | 18 | 303544 | 297852 | 68754 9 | 3 | 5 896.05/896.20 c 886s | 18 | 304543 | 298852 | 68754 9 | 3 | 5 921.45/921.68 c 911s | 18 | 304852 | 299152 | 68754 9 | 3 | 5 923.65/923.81 c 913s | 18 | 305652 | 299952 | 68754 9 | 3 | 5 925.75/925.99 c 916s | 18 | 306454 | 300752 | 68754 9 | 3 | 5 927.85/928.03 c 918s | 18 | 307254 | 301552 | 68754 9 | 3 | 5 929.94/930.16 c 920s | 18 | 308263 | 302552 | 68754 9 | 3 | 5 932.04/932.24 c 922s | 18 | 309371 | 303652 | 68754 9 | 3 | 5 934.15/934.32 c 924s | 18 | 310677 | 304952 | 68754 9 | 3 | 5 936.34/936.51 c 926s | 18 | 311876 | 306152 | 68754 9 | 3 | 5 938.44/938.69 c 928s | 18 | 312781 | 307052 | 68754 9 | 3 | 5 940.64/940.82 c 930s | 18 | 313786 | 308052 | 68754 9 | 3 | 5 942.84/943.08 c 933s | 18 | 314686 | 308952 | 68754 9 | 3 | 5 944.85/945.09 c 935s | 18 | 315386 | 309652 | 68754 9 | 3 | 5 947.14/947.39 c 937s | 18 | 316090 | 310352 | 68754 9 | 3 | 5 949.34/949.50 c 939s | 18 | 316794 | 311052 | 68754 9 | 3 | 5 951.45/951.65 c 941s | 18 | 317492 | 311752 | 68754 9 | 3 | 5 953.55/953.76 c 943s | 18 | 318298 | 312552 | 68754 9 | 3 | 5 955.64/955.85 c 945s | 18 | 318999 | 313252 | 68754 9 | 3 | 5 957.84/958.02 c 948s | 18 | 319801 | 314052 | 68754 9 | 3 | 5 960.15/960.34 c 950s | 18 | 320502 | 314752 | 68754 9 | 3 | 5 962.24/962.44 c 952s | 18 | 321107 | 315352 | 68754 9 | 3 | 5 964.24/964.46 c 954s | 18 | 321714 | 315952 | 68754 9 | 3 | 5 966.54/966.72 c 956s | 18 | 322317 | 316552 | 68754 9 | 3 | 5 968.84/969.04 c 959s | 18 | 323016 | 317252 | 68754 9 | 3 | 5 970.94/971.19 c 961s | 18 | 323722 | 317952 | 68754 9 | 3 | 5 973.14/973.37 c 963s | 18 | 324529 | 318752 | 68754 9 | 3 | 5 975.24/975.40 c 965s | 18 | 325128 | 319352 | 68754 9 | 3 | 5 977.34/977.55 c 967s | 18 | 326129 | 320352 | 68754 9 | 3 | 5 979.44/979.65 c 969s | 18 | 326933 | 321152 | 68754 9 | 3 | 5 981.54/981.73 c 971s | 18 | 327836 | 322052 | 68754 9 | 3 | 5 983.64/983.87 c 973s | 18 | 328744 | 322952 | 68754 9 | 3 | 5 985.84/986.04 c 976s | 18 | 329447 | 323652 | 68754 9 | 3 | 5 988.34/988.51 c 978s | 18 | 330147 | 324352 | 68754 9 | 3 | 5 990.34/990.53 c 980s | 18 | 330648 | 324852 | 68754 9 | 3 | 5 992.34/992.54 c 982s | 18 | 331357 | 325552 | 68754 9 | 3 | 5 994.63/994.82 c 984s | 18 | 332167 | 326352 | 68754 9 | 3 | 5 996.83/997.08 c 987s | 18 | 332765 | 326952 | 68754 9 | 3 | 5 999.43/999.61 c 989s | 18 | 333365 | 327552 | 68754 9 | 3 | 5 1001.53/1001.76 c 991s | 18 | 333970 | 328152 | 68754 9 | 3 | 5 1003.73/1003.93 c 994s | 18 | 334473 | 328652 | 68754 9 | 3 | 5 1005.93/1006.13 c 996s | 18 | 335076 | 329252 | 68754 9 | 3 | 5 1007.93/1008.19 c 998s | 18 | 335678 | 329852 | 68754 9 | 3 | 5 1012.23/1012.46 c 1002s | 18 | 336382 | 330552 | 68754 10 | 3 | 5 1014.33/1014.54 c 1004s | 18 | 336981 | 331152 | 68754 10 | 3 | 5 1016.53/1016.71 c 1006s | 18 | 338282 | 332452 | 68754 10 | 3 | 5 1018.54/1018.75 c 1008s | 18 | 339290 | 333452 | 68754 10 | 3 | 5 1020.74/1020.91 c 1011s | 18 | 340491 | 334652 | 68754 10 | 3 | 5 1022.73/1022.94 c 1013s | 18 | 341295 | 335452 | 68754 10 | 3 | 5 1024.73/1024.96 c 1015s | 18 | 342101 | 336252 | 68754 10 | 3 | 5 1026.73/1026.99 c 1017s | 18 | 342998 | 337152 | 68754 10 | 3 | 5 1028.83/1029.00 c 1019s | 18 | 343804 | 337952 | 68754 10 | 3 | 5 1030.83/1031.08 c 1021s | 18 | 345116 | 339252 | 68754 10 | 3 | 5 1033.03/1033.20 c 1023s | 18 | 346417 | 340552 | 68754 10 | 3 | 5 1035.03/1035.27 c 1025s | 18 | 347717 | 341852 | 68754 10 | 3 | 5 1037.23/1037.47 c 1027s | 18 | 348921 | 343052 | 68754 10 | 3 | 5 1039.43/1039.67 c 1029s | 18 | 349829 | 343952 | 68754 10 | 3 | 5 1041.42/1041.69 c 1031s | 18 | 350937 | 345052 | 68754 10 | 3 | 5 1043.52/1043.74 c 1033s | 18 | 352040 | 346152 | 68754 10 | 3 | 5 1045.82/1046.00 c 1036s | 18 | 352842 | 346952 | 68754 10 | 3 | 5 1047.82/1048.08 c 1038s | 18 | 353549 | 347652 | 68754 10 | 3 | 5 1049.92/1050.10 c 1040s | 18 | 354551 | 348652 | 68754 10 | 3 | 5 1052.12/1052.33 c 1042s | 18 | 355555 | 349652 | 68754 10 | 3 | 5 1054.22/1054.42 c 1044s | 18 | 356457 | 350552 | 68754 10 | 3 | 5 1056.22/1056.47 c 1046s | 18 | 357158 | 351252 | 68754 10 | 3 | 5 1058.32/1058.52 c 1048s | 18 | 357762 | 351852 | 68754 10 | 3 | 5 1060.33/1060.56 c 1050s | 18 | 358362 | 352452 | 68754 10 | 3 | 5 1062.43/1062.63 c 1052s | 18 | 359065 | 353152 | 68754 10 | 3 | 5 1064.52/1064.71 c 1054s | 18 | 360075 | 354152 | 68754 10 | 3 | 5 1066.52/1066.76 c 1056s | 18 | 361083 | 355152 | 68754 10 | 3 | 5 1068.72/1068.93 c 1059s | 18 | 361781 | 355852 | 68754 10 | 3 | 5 1070.83/1071.05 c 1061s | 18 | 362580 | 356652 | 68754 10 | 3 | 5 1072.83/1073.08 c 1063s | 18 | 363387 | 357452 | 68754 10 | 3 | 5 1074.93/1075.12 c 1065s | 18 | 363989 | 358052 | 68754 10 | 3 | 5 1100.32/1100.56 c 1090s | 18 | 364199 | 358252 | 68754 10 | 3 | 5 1102.32/1102.58 c 1092s | 18 | 364696 | 358752 | 68754 10 | 3 | 5 1104.92/1105.15 c 1095s | 18 | 365403 | 359452 | 68754 10 | 3 | 5 1107.02/1107.27 c 1097s | 18 | 365895 | 359952 | 68754 10 | 3 | 5 1109.02/1109.28 c 1099s | 18 | 366599 | 360652 | 68754 10 | 3 | 5 1111.12/1111.32 c 1101s | 18 | 367402 | 361452 | 68754 10 | 3 | 5 1113.32/1113.55 c 1103s | 18 | 368001 | 362052 | 68754 10 | 3 | 5 1115.62/1115.86 c 1105s | 18 | 368605 | 362652 | 68754 10 | 3 | 5 1117.82/1118.05 c 1108s | 18 | 369204 | 363252 | 68754 10 | 3 | 5 1119.92/1120.12 c 1110s | 18 | 369711 | 363752 | 68754 10 | 3 | 5 1122.02/1122.24 c 1112s | 18 | 370311 | 364352 | 68754 10 | 3 | 5 1124.13/1124.33 c 1114s | 18 | 370914 | 364952 | 68754 10 | 3 | 5 1126.22/1126.41 c 1116s | 18 | 371516 | 365552 | 68754 10 | 3 | 5 1128.32/1128.59 c 1118s | 18 | 372118 | 366152 | 68754 10 | 3 | 5 1132.62/1132.89 c 1123s | 18 | 372219 | 366252 | 68754 11 | 3 | 5 1134.71/1134.91 c 1125s | 18 | 372327 | 366352 | 68754 11 | 3 | 5 1136.71/1136.97 c 1127s | 18 | 373224 | 367252 | 68754 11 | 3 | 5 1139.71/1139.92 c 1130s | 18 | 374128 | 368152 | 68754 11 | 3 | 5 1141.81/1142.07 c 1132s | 18 | 375234 | 369252 | 68754 11 | 3 | 5 1144.11/1144.33 c 1134s | 18 | 376244 | 370252 | 68754 11 | 3 | 5 1146.52/1146.71 c 1136s | 18 | 376647 | 370652 | 68754 11 | 3 | 5 1148.52/1148.77 c 1138s | 18 | 377540 | 371552 | 68754 11 | 3 | 5 1150.62/1150.82 c 1140s | 18 | 378450 | 372452 | 68754 11 | 3 | 5 1152.72/1152.92 c 1143s | 18 | 379866 | 373852 | 68754 11 | 3 | 5 1154.82/1155.02 c 1145s | 18 | 381067 | 375052 | 68754 11 | 3 | 5 1156.91/1157.12 c 1147s | 18 | 382174 | 376152 | 68754 11 | 3 | 5 1158.91/1159.16 c 1149s | 18 | 383476 | 377452 | 68754 11 | 3 | 5 1161.01/1161.25 c 1151s | 18 | 384381 | 378352 | 68754 11 | 3 | 5 1163.21/1163.41 c 1153s | 18 | 385182 | 379152 | 68754 11 | 3 | 5 1165.31/1165.50 c 1155s | 18 | 386192 | 380152 | 68754 11 | 3 | 5 1167.41/1167.64 c 1157s | 18 | 387191 | 381152 | 68754 11 | 3 | 5 1169.41/1169.66 c 1159s | 18 | 388600 | 382552 | 68754 11 | 3 | 5 1171.51/1171.73 c 1161s | 18 | 389709 | 383652 | 68754 11 | 3 | 5 1173.71/1173.90 c 1164s | 18 | 390808 | 384752 | 68754 11 | 3 | 5 1175.72/1175.90 c 1166s | 18 | 391709 | 385652 | 68754 11 | 3 | 5 1177.71/1177.92 c 1168s | 18 | 392417 | 386352 | 68754 11 | 3 | 5 1179.71/1179.98 c 1170s | 18 | 393221 | 387152 | 68754 11 | 3 | 5 1181.91/1182.14 c 1172s | 18 | 394118 | 388052 | 68754 11 | 3 | 5 1184.01/1184.23 c 1174s | 18 | 395118 | 389052 | 68754 11 | 3 | 5 1186.21/1186.49 c 1176s | 18 | 395827 | 389752 | 68754 11 | 3 | 5 1188.41/1188.66 c 1178s | 18 | 396527 | 390452 | 68754 11 | 3 | 5 1190.51/1190.79 c 1180s | 18 | 397532 | 391452 | 68754 11 | 3 | 5 1192.61/1192.89 c 1183s | 18 | 398433 | 392352 | 68754 11 | 3 | 5 1194.91/1195.12 c 1185s | 18 | 399237 | 393152 | 68754 11 | 3 | 5 1197.01/1197.21 c 1187s | 18 | 399940 | 393852 | 68754 11 | 3 | 5 1199.01/1199.24 c 1189s | 18 | 400546 | 394452 | 68754 11 | 3 | 5 1201.12/1201.33 c 1191s | 18 | 401149 | 395052 | 68754 11 | 3 | 5 1203.32/1203.51 c 1193s | 18 | 401945 | 395852 | 68754 11 | 3 | 5 1205.31/1205.54 c 1195s | 18 | 402952 | 396852 | 68754 11 | 3 | 5 1207.51/1207.74 c 1197s | 18 | 403959 | 397852 | 68754 11 | 3 | 5 1209.71/1209.95 c 1200s | 18 | 404659 | 398552 | 68754 11 | 3 | 5 1212.01/1212.24 c 1202s | 18 | 405572 | 399452 | 68754 11 | 3 | 5 1214.11/1214.37 c 1204s | 18 | 406173 | 400052 | 68754 11 | 3 | 5 1216.21/1216.48 c 1206s | 18 | 406771 | 400652 | 68754 11 | 3 | 5 1229.20/1229.40 c 1219s | 18 | 406982 | 400852 | 68754 12 | 3 | 5 1231.20/1231.45 c 1221s | 18 | 407586 | 401452 | 68754 12 | 3 | 5 1233.30/1233.58 c 1223s | 18 | 408481 | 402352 | 68754 12 | 3 | 5 1235.50/1235.73 c 1225s | 18 | 409688 | 403552 | 68754 12 | 3 | 5 1237.50/1237.73 c 1227s | 18 | 410996 | 404852 | 68754 12 | 3 | 5 1239.60/1239.84 c 1229s | 18 | 412100 | 405952 | 68754 12 | 3 | 5 1241.60/1241.87 c 1231s | 18 | 413103 | 406952 | 68754 12 | 3 | 5 1243.80/1244.05 c 1234s | 18 | 414103 | 407952 | 68754 12 | 3 | 5 1245.99/1246.26 c 1236s | 18 | 415011 | 408852 | 68754 12 | 3 | 5 1248.09/1248.34 c 1238s | 18 | 415815 | 409652 | 68754 12 | 3 | 5 1250.20/1250.49 c 1240s | 18 | 416619 | 410452 | 68754 12 | 3 | 5 1252.40/1252.66 c 1242s | 18 | 417623 | 411452 | 68754 12 | 3 | 5 1254.50/1254.74 c 1244s | 18 | 418924 | 412752 | 68754 12 | 3 | 5 1256.60/1256.83 c 1246s | 18 | 420136 | 413952 | 68754 12 | 3 | 5 1258.70/1258.92 c 1249s | 18 | 421145 | 414952 | 68754 12 | 3 | 5 1260.90/1261.13 c 1251s | 18 | 422146 | 415952 | 68754 12 | 3 | 5 1262.99/1263.24 c 1253s | 18 | 422846 | 416652 | 68754 12 | 3 | 5 1264.99/1265.27 c 1255s | 18 | 423652 | 417452 | 68754 12 | 3 | 5 1267.10/1267.34 c 1257s | 18 | 424649 | 418452 | 68754 12 | 3 | 5 1269.09/1269.38 c 1259s | 18 | 425551 | 419352 | 68754 12 | 3 | 5 1271.19/1271.45 c 1261s | 18 | 426259 | 420052 | 68754 12 | 3 | 5 1273.19/1273.48 c 1263s | 18 | 427064 | 420852 | 68754 12 | 3 | 5 1275.29/1275.52 c 1265s | 18 | 428072 | 421852 | 68754 12 | 3 | 5 1277.39/1277.65 c 1267s | 18 | 428872 | 422652 | 68754 12 | 3 | 5 1279.49/1279.75 c 1269s | 18 | 429773 | 423552 | 68754 12 | 3 | 5 1281.89/1282.11 c 1272s | 18 | 430578 | 424352 | 68754 12 | 3 | 5 1284.09/1284.31 c 1274s | 18 | 431180 | 424952 | 68754 12 | 3 | 5 1286.29/1286.59 c 1276s | 18 | 431774 | 425552 | 68754 12 | 3 | 5 1288.39/1288.61 c 1278s | 18 | 432684 | 426452 | 68754 12 | 3 | 5 1290.39/1290.64 c 1280s | 18 | 433686 | 427452 | 68754 12 | 3 | 5 1292.59/1292.85 c 1282s | 18 | 434591 | 428352 | 68754 12 | 3 | 5 1294.79/1295.00 c 1285s | 18 | 435188 | 428952 | 68754 12 | 3 | 5 1296.79/1297.01 c 1287s | 18 | 435992 | 429752 | 68754 12 | 3 | 5 1298.89/1299.19 c 1289s | 18 | 436592 | 430352 | 68754 12 | 3 | 5 1300.99/1301.23 c 1291s | 18 | 437193 | 430952 | 68754 12 | 3 | 5 1303.29/1303.54 c 1293s | 18 | 437704 | 431452 | 68754 12 | 3 | 5 1305.29/1305.58 c 1295s | 18 | 438303 | 432052 | 68754 12 | 3 | 5 1307.49/1307.71 c 1297s | 18 | 439108 | 432852 | 68754 12 | 3 | 5 1309.49/1309.73 c 1299s | 18 | 439919 | 433652 | 68754 12 | 3 | 5 1311.59/1311.85 c 1301s | 18 | 440721 | 434452 | 68754 12 | 3 | 5 1313.59/1313.88 c 1304s | 18 | 441423 | 435152 | 68754 12 | 3 | 5 1315.79/1316.08 c 1306s | 18 | 442030 | 435752 | 68754 12 | 3 | 5 1317.98/1318.25 c 1308s | 18 | 442733 | 436452 | 68754 12 | 3 | 5 1320.18/1320.46 c 1310s | 18 | 443434 | 437152 | 68754 12 | 3 | 5 1323.88/1324.13 c 1314s | 18 | 443739 | 437452 | 68754 13 | 3 | 5 1326.50/1326.75 c 1316s | 18 | 444042 | 437752 | 68754 13 | 3 | 5 1328.60/1328.90 c 1319s | 18 | 444931 | 438652 | 68754 13 | 3 | 5 1330.69/1330.99 c 1321s | 18 | 446036 | 439752 | 68754 13 | 3 | 5 1332.89/1333.13 c 1323s | 18 | 447345 | 441052 | 75630 13 | 3 | 5 1334.99/1335.20 c 1325s | 18 | 448552 | 442252 | 75630 13 | 3 | 5 1337.09/1337.34 c 1327s | 18 | 449254 | 442952 | 75630 13 | 3 | 5 1339.09/1339.34 c 1329s | 18 | 450559 | 444252 | 75630 13 | 3 | 5 1339.39/1339.63 c 1329s | 19 | 450786 | 444482 | 75630 13 | 3 | 5 1341.39/1341.69 c 1331s | 19 | 451931 | 445582 | 75630 13 | 3 | 5 1413.08/1413.33 c 1403s | 19 | 452338 | 445982 | 75630 13 | 3 | 5 1415.27/1415.54 c 1405s | 19 | 453133 | 446782 | 75630 13 | 3 | 5 1417.27/1417.58 c 1407s | 19 | 454037 | 447682 | 75630 13 | 3 | 5 1419.57/1419.81 c 1409s | 19 | 455148 | 448782 | 75630 13 | 3 | 5 1421.67/1421.92 c 1412s | 19 | 455856 | 449482 | 75630 13 | 3 | 5 1423.67/1423.98 c 1414s | 19 | 456557 | 450182 | 75630 13 | 3 | 5 1425.67/1425.98 c 1416s | 19 | 457252 | 450882 | 75630 13 | 3 | 5 1427.77/1428.00 c 1418s | 19 | 458060 | 451682 | 75630 13 | 3 | 5 1429.78/1430.07 c 1420s | 19 | 459079 | 452682 | 75630 13 | 3 | 5 1431.87/1432.20 c 1422s | 19 | 460080 | 453682 | 75630 13 | 3 | 5 1434.07/1434.30 c 1424s | 19 | 460883 | 454482 | 75630 13 | 3 | 5 1436.07/1436.35 c 1426s | 19 | 461580 | 455182 | 75630 13 | 3 | 5 1438.27/1438.51 c 1428s | 19 | 462386 | 455982 | 75630 13 | 3 | 5 1440.27/1440.58 c 1430s | 19 | 462984 | 456582 | 75630 13 | 3 | 5 1442.47/1442.70 c 1432s | 19 | 463579 | 457182 | 75630 13 | 3 | 5 1444.67/1444.92 c 1435s | 19 | 464187 | 457782 | 75630 13 | 3 | 5 1446.87/1447.14 c 1437s | 19 | 464887 | 458482 | 75630 13 | 3 | 5 1448.97/1449.25 c 1439s | 19 | 465588 | 459182 | 75630 13 | 3 | 5 1451.37/1451.61 c 1441s | 19 | 466298 | 459882 | 75630 13 | 3 | 5 1453.47/1453.75 c 1443s | 19 | 466900 | 460482 | 75630 13 | 3 | 5 1455.67/1455.91 c 1446s | 19 | 467699 | 461282 | 75630 13 | 3 | 5 1457.77/1458.07 c 1448s | 19 | 468509 | 462082 | 75630 13 | 3 | 5 1459.87/1460.16 c 1450s | 19 | 469411 | 462982 | 75630 13 | 3 | 5 1462.07/1462.30 c 1452s | 19 | 470315 | 463882 | 75630 13 | 3 | 5 1464.17/1464.41 c 1454s | 19 | 471116 | 464682 | 75630 13 | 3 | 5 1466.37/1466.68 c 1456s | 19 | 471917 | 465482 | 75630 13 | 3 | 5 1468.67/1468.93 c 1459s | 19 | 472621 | 466182 | 75630 13 | 3 | 5 1470.87/1471.13 c 1461s | 19 | 473425 | 466982 | 75630 13 | 3 | 5 1472.97/1473.20 c 1463s | 19 | 474126 | 467682 | 75630 13 | 3 | 5 1475.16/1475.47 c 1465s | 19 | 474826 | 468382 | 75630 13 | 3 | 5 1477.46/1477.71 c 1467s | 19 | 475428 | 468982 | 75630 13 | 3 | 5 1479.56/1479.83 c 1469s | 19 | 475927 | 469482 | 75630 13 | 3 | 5 1481.86/1482.11 c 1472s | 19 | 476638 | 470182 | 75630 13 | 3 | 5 1483.86/1484.18 c 1474s | 19 | 477334 | 470882 | 75630 13 | 3 | 5 1485.97/1486.22 c 1476s | 19 | 477939 | 471482 | 75630 13 | 3 | 5 1488.17/1488.45 c 1478s | 19 | 478544 | 472082 | 75630 13 | 3 | 5 1490.37/1490.64 c 1480s | 19 | 479244 | 472782 | 75630 13 | 3 | 5 1492.76/1493.03 c 1483s | 19 | 479950 | 473482 | 75630 13 | 3 | 5 1494.96/1495.29 c 1485s | 19 | 480448 | 473982 | 75630 13 | 3 | 5 1497.46/1497.72 c 1487s | 19 | 480947 | 474482 | 75630 13 | 3 | 5 1499.66/1499.95 c 1490s | 19 | 481547 | 475082 | 75630 13 | 3 | 5 1501.96/1502.24 c 1492s | 19 | 482250 | 475782 | 75630 13 | 3 | 5 1504.06/1504.34 c 1494s | 19 | 482858 | 476382 | 75630 13 | 3 | 5 1506.06/1506.37 c 1496s | 19 | 483561 | 477082 | 75630 13 | 3 | 5 1508.26/1508.51 c 1498s | 19 | 484059 | 477582 | 75630 13 | 3 | 5 1510.46/1510.78 c 1500s | 19 | 484667 | 478182 | 75630 13 | 3 | 5 1513.06/1513.32 c 1503s | 19 | 485261 | 478782 | 75630 13 | 3 | 5 1515.26/1515.50 c 1505s | 19 | 485771 | 479282 | 75630 13 | 3 | 5 1517.46/1517.70 c 1507s | 19 | 486272 | 479782 | 75630 13 | 3 | 5 1519.66/1519.97 c 1510s | 19 | 486865 | 480382 | 75630 13 | 3 | 5 1525.05/1525.31 c 1515s | 19 | 487175 | 480682 | 75630 14 | 3 | 5 1527.25/1527.57 c 1517s | 19 | 487977 | 481482 | 75630 14 | 3 | 5 1529.55/1529.82 c 1519s | 19 | 488679 | 482182 | 75630 14 | 3 | 5 1531.55/1531.83 c 1521s | 19 | 489284 | 482782 | 75630 14 | 3 | 5 1534.76/1535.08 c 1525s | 19 | 489784 | 483282 | 75630 14 | 3 | 5 1536.96/1537.23 c 1527s | 19 | 490285 | 483782 | 75630 14 | 3 | 5 1539.46/1539.71 c 1529s | 19 | 490980 | 484482 | 75630 14 | 3 | 5 1541.66/1541.92 c 1532s | 19 | 491896 | 485382 | 75630 14 | 3 | 5 1543.86/1544.12 c 1534s | 19 | 492694 | 486182 | 75630 14 | 3 | 5 1545.96/1546.22 c 1536s | 19 | 493394 | 486882 | 75630 14 | 3 | 5 1547.96/1548.27 c 1538s | 19 | 494096 | 487582 | 75630 14 | 3 | 5 1550.16/1550.49 c 1540s | 19 | 494795 | 488282 | 75630 14 | 3 | 5 1552.36/1552.67 c 1542s | 19 | 495495 | 488982 | 75630 14 | 3 | 5 1554.66/1554.92 c 1545s | 19 | 496296 | 489782 | 75630 14 | 3 | 5 1556.76/1557.07 c 1547s | 19 | 496902 | 490382 | 75630 14 | 3 | 5 1559.16/1559.48 c 1549s | 19 | 497505 | 490982 | 75630 14 | 3 | 5 1561.35/1561.63 c 1551s | 19 | 498108 | 491582 | 75630 14 | 3 | 5 1563.55/1563.84 c 1553s | 19 | 498708 | 492182 | 75630 14 | 3 | 5 1580.85/1581.18 c 1571s | 19 | 499225 | 492682 | 75630 14 | 3 | 5 1583.25/1583.58 c 1573s | 19 | 499827 | 493282 | 75630 14 | 3 | 5 1585.35/1585.63 c 1575s | 19 | 500341 | 493782 | 75630 14 | 3 | 5 1587.45/1587.74 c 1577s | 19 | 500845 | 494282 | 75630 14 | 3 | 5 1589.75/1590.06 c 1580s | 19 | 501365 | 494782 | 75630 14 | 3 | 5 1591.85/1592.12 c 1582s | 19 | 501990 | 495382 | 75630 14 | 3 | 5 1594.05/1594.31 c 1584s | 19 | 502706 | 496082 | 75630 14 | 3 | 5 1596.15/1596.42 c 1586s | 19 | 503211 | 496582 | 75630 14 | 3 | 5 1598.45/1598.80 c 1588s | 19 | 503911 | 497282 | 75630 14 | 3 | 5 1600.75/1601.02 c 1591s | 19 | 504619 | 497982 | 75630 14 | 3 | 5 1602.95/1603.27 c 1593s | 19 | 505515 | 498882 | 75630 14 | 3 | 5 1605.15/1605.48 c 1595s | 19 | 506118 | 499482 | 75630 14 | 3 | 5 1607.65/1607.99 c 1598s | 19 | 506720 | 500082 | 75630 14 | 3 | 5 1609.75/1610.01 c 1600s | 19 | 507323 | 500682 | 75630 14 | 3 | 5 1611.75/1612.06 c 1602s | 19 | 507828 | 501182 | 75630 14 | 3 | 5 1614.15/1614.48 c 1604s | 19 | 508530 | 501882 | 75630 14 | 3 | 5 1616.75/1617.03 c 1607s | 19 | 508938 | 502282 | 75630 14 | 3 | 5 1619.15/1619.47 c 1609s | 19 | 509335 | 502682 | 75630 14 | 3 | 5 1621.45/1621.75 c 1611s | 19 | 510138 | 503482 | 75630 14 | 3 | 5 1623.75/1624.07 c 1614s | 19 | 510646 | 503982 | 75630 14 | 3 | 5 1625.84/1626.18 c 1616s | 19 | 511151 | 504482 | 75630 14 | 3 | 5 1628.24/1628.50 c 1618s | 19 | 511652 | 504982 | 75630 14 | 3 | 5 1630.54/1630.84 c 1620s | 19 | 512155 | 505482 | 75630 14 | 3 | 5 1632.64/1632.96 c 1623s | 19 | 512958 | 506282 | 75630 14 | 3 | 5 1634.84/1635.10 c 1625s | 19 | 513958 | 507282 | 75630 14 | 3 | 5 1636.94/1637.21 c 1627s | 19 | 514860 | 508182 | 75630 14 | 3 | 5 1639.04/1639.32 c 1629s | 19 | 515762 | 509082 | 75630 14 | 3 | 5 1641.14/1641.47 c 1631s | 19 | 516666 | 509982 | 75630 14 | 3 | 5 1643.34/1643.70 c 1633s | 19 | 517373 | 510682 | 75630 14 | 3 | 5 1645.54/1645.86 c 1635s | 19 | 518077 | 511382 | 75630 14 | 3 | 5 1647.55/1647.89 c 1638s | 19 | 518577 | 511882 | 75630 14 | 3 | 5 1649.64/1649.98 c 1640s | 19 | 519285 | 512582 | 75630 14 | 3 | 5 1651.74/1652.09 c 1642s | 19 | 519989 | 513282 | 75630 14 | 3 | 5 1653.84/1654.10 c 1644s | 19 | 520892 | 514182 | 75630 14 | 3 | 5 1655.94/1656.26 c 1646s | 19 | 521390 | 514682 | 75630 14 | 3 | 5 1658.34/1658.66 c 1648s | 19 | 521993 | 515282 | 75630 14 | 3 | 5 1660.44/1660.73 c 1650s | 19 | 522497 | 515782 | 75630 14 | 3 | 5 1662.74/1663.00 c 1653s | 19 | 523199 | 516482 | 75630 14 | 3 | 5 1665.24/1665.52 c 1655s | 19 | 523804 | 517082 | 75630 14 | 3 | 5 1667.44/1667.73 c 1657s | 19 | 524502 | 517782 | 75630 14 | 3 | 5 1669.74/1670.06 c 1660s | 19 | 525107 | 518382 | 75630 14 | 3 | 5 1672.14/1672.42 c 1662s | 19 | 525808 | 519082 | 75630 14 | 3 | 5 1674.24/1674.58 c 1664s | 19 | 526514 | 519782 | 75630 14 | 3 | 5 1686.53/1686.87 c 1676s | 19 | 526615 | 519882 | 75630 15 | 3 | 5 1688.93/1689.27 c 1679s | 19 | 527219 | 520482 | 75630 15 | 3 | 5 1694.13/1694.45 c 1684s | 19 | 528026 | 521282 | 75630 15 | 3 | 5 1696.23/1696.52 c 1686s | 19 | 528728 | 521982 | 75630 15 | 3 | 5 1698.24/1698.58 c 1688s | 19 | 529732 | 522982 | 75630 15 | 3 | 5 1700.34/1700.69 c 1690s | 19 | 530635 | 523882 | 75630 15 | 3 | 5 1702.54/1702.83 c 1692s | 19 | 531637 | 524882 | 75630 15 | 3 | 5 1704.84/1705.16 c 1695s | 19 | 532545 | 525782 | 75630 15 | 3 | 5 1706.94/1707.22 c 1697s | 19 | 533247 | 526482 | 75630 15 | 3 | 5 1708.93/1709.24 c 1699s | 19 | 534050 | 527282 | 75630 15 | 3 | 5 1711.03/1711.35 c 1701s | 19 | 534850 | 528082 | 75630 15 | 3 | 5 1713.13/1713.41 c 1703s | 19 | 535761 | 528982 | 75630 15 | 3 | 5 1715.33/1715.63 c 1705s | 19 | 536666 | 529882 | 75630 15 | 3 | 5 1717.33/1717.64 c 1707s | 19 | 537373 | 530582 | 75630 15 | 3 | 5 1719.43/1719.72 c 1709s | 19 | 538170 | 531382 | 75630 15 | 3 | 5 1721.53/1721.89 c 1712s | 19 | 538873 | 532082 | 75630 15 | 3 | 5 1723.63/1723.92 c 1714s | 19 | 539380 | 532582 | 75630 15 | 3 | 5 1725.83/1726.14 c 1716s | 19 | 540082 | 533282 | 75630 15 | 3 | 5 1727.84/1728.14 c 1718s | 19 | 540886 | 534082 | 75630 15 | 3 | 5 1730.04/1730.39 c 1720s | 19 | 541789 | 534982 | 75630 15 | 3 | 5 1732.33/1732.63 c 1722s | 19 | 542594 | 535782 | 75630 15 | 3 | 5 1734.63/1734.94 c 1725s | 19 | 543292 | 536482 | 75630 15 | 3 | 5 1736.73/1737.02 c 1727s | 19 | 543894 | 537082 | 75630 15 | 3 | 5 1739.02/1739.33 c 1729s | 19 | 544298 | 537482 | 75630 15 | 3 | 5 1741.03/1741.35 c 1731s | 19 | 544698 | 537882 | 75630 15 | 3 | 5 1743.33/1743.62 c 1733s | 19 | 545197 | 538382 | 75630 15 | 3 | 5 1745.43/1745.79 c 1735s | 19 | 545703 | 538882 | 75630 15 | 3 | 5 1747.73/1748.06 c 1738s | 19 | 546307 | 539482 | 75630 15 | 3 | 5 1749.83/1750.18 c 1740s | 19 | 546907 | 540082 | 75630 15 | 3 | 5 1752.03/1752.31 c 1742s | 19 | 547508 | 540682 | 75630 15 | 3 | 5 1754.22/1754.58 c 1744s | 19 | 548110 | 541282 | 75630 15 | 3 | 5 1756.62/1756.93 c 1747s | 19 | 548710 | 541882 | 75630 15 | 3 | 5 1758.82/1759.16 c 1749s | 19 | 549210 | 542382 | 75630 15 | 3 | 5 1761.12/1761.44 c 1751s | 19 | 549816 | 542982 | 75630 15 | 3 | 5 1763.32/1763.60 c 1753s | 19 | 550316 | 543482 | 75630 15 | 3 | 5 1765.42/1765.70 c 1755s | 19 | 550817 | 543982 | 75630 15 | 3 | 5 1767.92/1768.26 c 1758s | 19 | 551319 | 544482 | 75630 15 | 3 | 5 1770.12/1770.47 c 1760s | 19 | 551821 | 544982 | 75630 15 | 3 | 5 1772.21/1772.59 c 1762s | 19 | 552324 | 545482 | 75630 15 | 3 | 5 1774.51/1774.82 c 1764s | 19 | 553033 | 546182 | 75630 15 | 3 | 5 1777.01/1777.34 c 1767s | 19 | 553634 | 546782 | 75630 15 | 3 | 5 1779.31/1779.60 c 1769s | 19 | 554243 | 547382 | 75630 15 | 3 | 5 1781.41/1781.76 c 1771s | 19 | 554740 | 547882 | 75630 15 | 3 | 5 1783.61/1783.91 c 1774s | 19 | 555149 | 548282 | 75630 15 | 3 | 5 1785.91/1786.24 c 1776s | 19 | 555549 | 548682 | 75630 15 | 3 | 5 1788.21/1788.52 c 1778s | 19 | 556046 | 549182 | 75630 15 | 3 | 5 1790.21/1790.53 c 1780s | 19 | 556547 | 549682 | 75630 15 | 3 | 5 1792.31/1792.67 c 1782s | 19 | 557252 | 550382 | 75630 15 | 3 | 5 1794.51/1794.85 c 1784s | 19 | 557952 | 551082 | 75630 15 | 3 | 5 1796.81/1797.18 c 1787s | 19 | 558651 | 551782 | 75630 15 | 3 | 5 1799.01/1799.34 c 1789s | 19 | 559158 | 552282 | 75630 15 | 3 | 5
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-4119933-1467279634/watcher-4119933-1467279634 -o /tmp/evaluation-result-4119933-1467279634/solver-4119933-1467279634 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467274001-17324 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119933-1467279634.opb pid=18054 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.24 2.32 2.27 3/182 18057 /proc/meminfo: memFree=29449020/32872528 swapFree=1484408/1662236 [pid=18057] ppid=18054 vsize=701884 CPUtime=0 cores=0,2,4,6 /proc/18057/stat : 18057 (toysat) R 18054 18057 15921 0 -1 4202496 2616 0 0 0 0 0 0 0 20 0 4 0 8915908 718729216 2976 33554432000 4194304 16246674 140736387929008 140736387928432 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18057/statm: 176239 2985 441 2943 0 173133 0 [pid=18057/tid=18058] ppid=18054 vsize=719292 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18058/stat : 18058 (toysat) S 18054 18057 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8915908 736555008 3045 33554432000 4194304 16246674 140736387929008 140182068112624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18057/tid=18059] ppid=18054 vsize=723388 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18059/stat : 18059 (toysat) S 18054 18057 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8915908 740749312 3061 33554432000 4194304 16246674 140736387929008 140182057622768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18057/tid=18060] ppid=18054 vsize=728508 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18060/stat : 18060 (toysat) S 18054 18057 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8915908 745992192 3078 33554432000 4194304 16246674 140736387929008 140182047149232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100169 s] /proc/loadavg: 2.24 2.32 2.27 3/182 18057 /proc/meminfo: memFree=29449020/32872528 swapFree=1484408/1662236 [pid=18057] ppid=18054 vsize=1302084 CPUtime=0.08 cores=0,2,4,6 /proc/18057/stat : 18057 (toysat) R 18054 18057 15921 0 -1 4202496 28901 0 0 0 5 3 0 0 20 0 4 0 8915908 1333334016 29200 33554432000 4194304 16246674 140736387929008 140736387928320 7371468 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18057/statm: 325521 29214 800 2943 0 322415 0 [pid=18057/tid=18058] ppid=18054 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18058/stat : 18058 (toysat) S 18054 18057 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8915908 1333334016 29226 33554432000 4194304 16246674 140736387929008 140182068112624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18057/tid=18059] ppid=18054 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18059/stat : 18059 (toysat) S 18054 18057 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8915908 1333334016 29236 33554432000 4194304 16246674 140736387929008 140182057622768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18057/tid=18060] ppid=18054 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18060/stat : 18060 (toysat) S 18054 18057 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8915908 1333334016 29248 33554432000 4194304 16246674 140736387929008 140182047149232 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) 1302084 [startup+0.200549 s] /proc/loadavg: 2.24 2.32 2.27 3/182 18057 /proc/meminfo: memFree=29449020/32872528 swapFree=1484408/1662236 [pid=18057] ppid=18054 vsize=1312324 CPUtime=0.18 cores=0,2,4,6 /proc/18057/stat : 18057 (toysat) R 18054 18057 15921 0 -1 4202496 46233 0 0 0 13 5 0 0 20 0 4 0 8915908 1343819776 47042 33554432000 4194304 16246674 140736387929008 140736387928320 7369013 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18057/statm: 328081 47042 800 2943 0 324975 0 [pid=18057/tid=18058] ppid=18054 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18058/stat : 18058 (toysat) S 18054 18057 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8915908 1343819776 47042 33554432000 4194304 16246674 140736387929008 140182068112624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18057/tid=18059] ppid=18054 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18059/stat : 18059 (toysat) S 18054 18057 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8915908 1343819776 47042 33554432000 4194304 16246674 140736387929008 140182057622768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18057/tid=18060] ppid=18054 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18060/stat : 18060 (toysat) S 18054 18057 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8915908 1343819776 47042 33554432000 4194304 16246674 140736387929008 140182047149232 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) 1312324 [startup+0.300539 s] /proc/loadavg: 2.24 2.32 2.27 3/182 18057 /proc/meminfo: memFree=29449020/32872528 swapFree=1484408/1662236 [pid=18057] ppid=18054 vsize=1312324 CPUtime=0.28 cores=0,2,4,6 /proc/18057/stat : 18057 (toysat) R 18054 18057 15921 0 -1 4202496 55090 0 0 0 22 6 0 0 20 0 4 0 8915908 1343819776 55899 33554432000 4194304 16246674 140736387929008 140736387928320 4206664 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18057/statm: 328081 55899 800 2943 0 324975 0 [pid=18057/tid=18058] ppid=18054 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18058/stat : 18058 (toysat) S 18054 18057 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8915908 1343819776 55899 33554432000 4194304 16246674 140736387929008 140182068112624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18057/tid=18059] ppid=18054 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18059/stat : 18059 (toysat) S 18054 18057 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8915908 1343819776 55899 33554432000 4194304 16246674 140736387929008 140182057622768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18057/tid=18060] ppid=18054 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18060/stat : 18060 (toysat) S 18054 18057 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8915908 1343819776 55899 33554432000 4194304 16246674 140736387929008 140182047149232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1312324 [startup+0.700478 s] /proc/loadavg: 2.24 2.32 2.27 3/182 18057 /proc/meminfo: memFree=29449020/32872528 swapFree=1484408/1662236 [pid=18057] ppid=18054 vsize=1324612 CPUtime=0.69 cores=0,2,4,6 /proc/18057/stat : 18057 (toysat) R 18054 18057 15921 0 -1 4202496 58213 0 0 0 62 7 0 0 20 0 4 0 8915908 1356402688 59022 33554432000 4194304 16246674 140736387929008 140736387910912 5584188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18057/statm: 331153 59022 843 2943 0 328047 0 [pid=18057/tid=18058] ppid=18054 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18058/stat : 18058 (toysat) S 18054 18057 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8915908 1356402688 59022 33554432000 4194304 16246674 140736387929008 140182068112624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18057/tid=18059] ppid=18054 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18059/stat : 18059 (toysat) S 18054 18057 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8915908 1356402688 59022 33554432000 4194304 16246674 140736387929008 140182057622768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18057/tid=18060] ppid=18054 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18060/stat : 18060 (toysat) S 18054 18057 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8915908 1356402688 59022 33554432000 4194304 16246674 140736387929008 140182047149232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1324612 [startup+1.5004 s] /proc/loadavg: 2.24 2.32 2.27 3/186 18061 /proc/meminfo: memFree=29116524/32872528 swapFree=1484408/1662236 [pid=18057] ppid=18054 vsize=1324612 CPUtime=1.49 cores=0,2,4,6 /proc/18057/stat : 18057 (toysat) R 18054 18057 15921 0 -1 4202496 98630 0 0 0 137 12 0 0 20 0 4 0 8915908 1356402688 99439 33554432000 4194304 16246674 140736387929008 140736387910912 13780640 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18057/statm: 331153 99439 913 2943 0 328047 0 [pid=18057/tid=18058] ppid=18054 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18058/stat : 18058 (toysat) S 18054 18057 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8915908 1356402688 99439 33554432000 4194304 16246674 140736387929008 140182068112624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18057/tid=18059] ppid=18054 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18059/stat : 18059 (toysat) S 18054 18057 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8915908 1356402688 99439 33554432000 4194304 16246674 140736387929008 140182057622768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18057/tid=18060] ppid=18054 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18060/stat : 18060 (toysat) S 18054 18057 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8915908 1356402688 99439 33554432000 4194304 16246674 140736387929008 140182047149232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1324612 [startup+3.10041 s] /proc/loadavg: 2.24 2.32 2.27 3/186 18061 /proc/meminfo: memFree=29052044/32872528 swapFree=1484408/1662236 [pid=18057] ppid=18054 vsize=1324612 CPUtime=3.09 cores=0,2,4,6 /proc/18057/stat : 18057 (toysat) R 18054 18057 15921 0 -1 4202496 98630 0 0 0 297 12 0 0 20 0 4 0 8915908 1356402688 99439 33554432000 4194304 16246674 140736387929008 140736387910912 5712619 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18057/statm: 331153 99439 913 2943 0 328047 0 [pid=18057/tid=18058] ppid=18054 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18058/stat : 18058 (toysat) S 18054 18057 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8915908 1356402688 99439 33554432000 4194304 16246674 140736387929008 140182068112624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18057/tid=18059] ppid=18054 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18059/stat : 18059 (toysat) S 18054 18057 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8915908 1356402688 99439 33554432000 4194304 16246674 140736387929008 140182057622768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18057/tid=18060] ppid=18054 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18060/stat : 18060 (toysat) S 18054 18057 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8915908 1356402688 99439 33554432000 4194304 16246674 140736387929008 140182047149232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1324612 [startup+6.3004 s] /proc/loadavg: 2.22 2.31 2.27 4/186 18061 /proc/meminfo: memFree=29052104/32872528 swapFree=1484408/1662236 [pid=18057] ppid=18054 vsize=1324612 CPUtime=6.28 cores=0,2,4,6 /proc/18057/stat : 18057 (toysat) R 18054 18057 15921 0 -1 4202496 98630 0 0 0 616 12 0 0 20 0 4 0 8915908 1356402688 99439 33554432000 4194304 16246674 140736387929008 140736387910912 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18057/statm: 331153 99439 913 2943 0 328047 0 [pid=18057/tid=18058] ppid=18054 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18058/stat : 18058 (toysat) S 18054 18057 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8915908 1356402688 99439 33554432000 4194304 16246674 140736387929008 140182068112624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18057/tid=18059] ppid=18054 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18059/stat : 18059 (toysat) S 18054 18057 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8915908 1356402688 99439 33554432000 4194304 16246674 140736387929008 140182057622768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18057/tid=18060] ppid=18054 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18060/stat : 18060 (toysat) S 18054 18057 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8915908 1356402688 99439 33554432000 4194304 16246674 140736387929008 140182047149232 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) 1324612 [startup+12.7005 s] /proc/loadavg: 2.28 2.32 2.27 3/186 18061 /proc/meminfo: memFree=29011440/32872528 swapFree=1484408/1662236 [pid=18057] ppid=18054 vsize=1324612 CPUtime=12.69 cores=0,2,4,6 /proc/18057/stat : 18057 (toysat) R 18054 18057 15921 0 -1 4202496 144608 0 0 0 1250 19 0 0 20 0 4 0 8915908 1356402688 145417 33554432000 4194304 16246674 140736387929008 140736387910912 5600539 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18057/statm: 331153 145420 919 2943 0 328047 0 [pid=18057/tid=18058] ppid=18054 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18058/stat : 18058 (toysat) S 18054 18057 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8915908 1356402688 145424 33554432000 4194304 16246674 140736387929008 140182068112624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18057/tid=18059] ppid=18054 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18059/stat : 18059 (toysat) S 18054 18057 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8915908 1356402688 145428 33554432000 4194304 16246674 140736387929008 140182057622768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18057/tid=18060] ppid=18054 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18060/stat : 18060 (toysat) S 18054 18057 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8915908 1356402688 145429 33554432000 4194304 16246674 140736387929008 140182047149232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1324612 [startup+25.5005 s] /proc/loadavg: 2.29 2.32 2.27 4/186 18061 /proc/meminfo: memFree=28360396/32872528 swapFree=1484408/1662236 [pid=18057] ppid=18054 vsize=1324612 CPUtime=25.48 cores=0,2,4,6 /proc/18057/stat : 18057 (toysat) R 18054 18057 15921 0 -1 4202496 271861 0 0 0 2512 36 0 0 20 0 4 0 8915908 1356402688 272670 33554432000 4194304 16246674 140736387929008 140736387910912 5661119 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18057/statm: 331153 272670 919 2943 0 328047 0 [pid=18057/tid=18058] ppid=18054 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18058/stat : 18058 (toysat) S 18054 18057 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8915908 1356402688 272670 33554432000 4194304 16246674 140736387929008 140182068112624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18057/tid=18059] ppid=18054 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18059/stat : 18059 (toysat) S 18054 18057 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8915908 1356402688 272670 33554432000 4194304 16246674 140736387929008 140182057622768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18057/tid=18060] ppid=18054 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18060/stat : 18060 (toysat) S 18054 18057 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8915908 1356402688 272670 33554432000 4194304 16246674 140736387929008 140182047149232 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) 1324612 [startup+51.1005 s] /proc/loadavg: 2.31 2.33 2.27 4/185 18061 /proc/meminfo: memFree=27906320/32872528 swapFree=1484408/1662236 [pid=18057] ppid=18054 vsize=1324612 CPUtime=51.08 cores=0,2,4,6 /proc/18057/stat : 18057 (toysat) R 18054 18057 15921 0 -1 4202496 271861 0 0 0 5072 36 0 0 20 0 4 0 8915908 1356402688 272670 33554432000 4194304 16246674 140736387929008 140736387910912 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18057/statm: 331153 272670 919 2943 0 328047 0 [pid=18057/tid=18058] ppid=18054 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18058/stat : 18058 (toysat) S 18054 18057 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8915908 1356402688 272670 33554432000 4194304 16246674 140736387929008 140182068112624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18057/tid=18059] ppid=18054 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18059/stat : 18059 (toysat) S 18054 18057 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8915908 1356402688 272670 33554432000 4194304 16246674 140736387929008 140182057622768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18057/tid=18060] ppid=18054 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18060/stat : 18060 (toysat) S 18054 18057 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8915908 1356402688 272670 33554432000 4194304 16246674 140736387929008 140182047149232 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) 1324612 [startup+102.3 s] /proc/loadavg: 2.29 2.32 2.27 3/185 18063 /proc/meminfo: memFree=27878292/32872528 swapFree=1484408/1662236 [pid=18057] ppid=18054 vsize=1352260 CPUtime=102.28 cores=0,2,4,6 /proc/18057/stat : 18057 (toysat) R 18054 18057 15921 0 -1 4202496 278774 0 0 0 10190 38 0 0 20 0 4 0 8915908 1384714240 279583 33554432000 4194304 16246674 140736387929008 140736387910912 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18057/statm: 338065 279583 920 2943 0 334959 0 [pid=18057/tid=18058] ppid=18054 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18058/stat : 18058 (toysat) S 18054 18057 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8915908 1384714240 279583 33554432000 4194304 16246674 140736387929008 140182068112624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18057/tid=18059] ppid=18054 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18059/stat : 18059 (toysat) S 18054 18057 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8915908 1384714240 279583 33554432000 4194304 16246674 140736387929008 140182057622768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18057/tid=18060] ppid=18054 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18060/stat : 18060 (toysat) S 18054 18057 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8915908 1384714240 279583 33554432000 4194304 16246674 140736387929008 140182047149232 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) 1352260 ################ # More data... # ################ /proc/18057/task/18060/stat : 18060 (toysat) S 18054 18057 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8915908 1451823104 295967 33554432000 4194304 16246674 140736387929008 140182047149232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 1417796 [startup+1362.3 s] /proc/loadavg: 2.37 2.28 2.25 3/185 18118 /proc/meminfo: memFree=27510688/32872528 swapFree=1484408/1662236 [pid=18057] ppid=18054 vsize=1417796 CPUtime=1362.08 cores=0,2,4,6 /proc/18057/stat : 18057 (toysat) R 18054 18057 15921 0 -1 4202496 295158 0 0 0 136143 65 0 0 20 0 4 0 8915908 1451823104 295967 33554432000 4194304 16246674 140736387929008 140736387926912 4220495 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18057/statm: 354449 295967 920 2943 0 351343 0 [pid=18057/tid=18058] ppid=18054 vsize=1417796 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18058/stat : 18058 (toysat) S 18054 18057 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8915908 1451823104 295967 33554432000 4194304 16246674 140736387929008 140182068112624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18057/tid=18059] ppid=18054 vsize=1417796 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18059/stat : 18059 (toysat) S 18054 18057 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8915908 1451823104 295967 33554432000 4194304 16246674 140736387929008 140182057622768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18057/tid=18060] ppid=18054 vsize=1417796 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18060/stat : 18060 (toysat) S 18054 18057 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8915908 1451823104 295967 33554432000 4194304 16246674 140736387929008 140182047149232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 1417796 [startup+1422.3 s] /proc/loadavg: 2.19 2.24 2.24 3/185 18119 /proc/meminfo: memFree=27342760/32872528 swapFree=1484408/1662236 [pid=18057] ppid=18054 vsize=1417796 CPUtime=1422.08 cores=0,2,4,6 /proc/18057/stat : 18057 (toysat) R 18054 18057 15921 0 -1 4202496 295158 0 0 0 142139 69 0 0 20 0 4 0 8915908 1451823104 295967 33554432000 4194304 16246674 140736387929008 140736387910912 5598185 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18057/statm: 354449 295967 920 2943 0 351343 0 [pid=18057/tid=18058] ppid=18054 vsize=1417796 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18058/stat : 18058 (toysat) S 18054 18057 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8915908 1451823104 295967 33554432000 4194304 16246674 140736387929008 140182068112624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18057/tid=18059] ppid=18054 vsize=1417796 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18059/stat : 18059 (toysat) S 18054 18057 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8915908 1451823104 295967 33554432000 4194304 16246674 140736387929008 140182057622768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18057/tid=18060] ppid=18054 vsize=1417796 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18060/stat : 18060 (toysat) S 18054 18057 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8915908 1451823104 295967 33554432000 4194304 16246674 140736387929008 140182047149232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1422.08 Current children cumulated vsize (KiB) 1417796 [startup+1482.3 s] /proc/loadavg: 2.28 2.26 2.25 3/185 18120 /proc/meminfo: memFree=27339432/32872528 swapFree=1484408/1662236 [pid=18057] ppid=18054 vsize=1417796 CPUtime=1482.06 cores=0,2,4,6 /proc/18057/stat : 18057 (toysat) R 18054 18057 15921 0 -1 4202496 295158 0 0 0 148137 69 0 0 20 0 4 0 8915908 1451823104 295967 33554432000 4194304 16246674 140736387929008 140736387910912 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18057/statm: 354449 295967 920 2943 0 351343 0 [pid=18057/tid=18058] ppid=18054 vsize=1417796 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18058/stat : 18058 (toysat) S 18054 18057 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8915908 1451823104 295967 33554432000 4194304 16246674 140736387929008 140182068112624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18057/tid=18059] ppid=18054 vsize=1417796 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18059/stat : 18059 (toysat) S 18054 18057 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8915908 1451823104 295967 33554432000 4194304 16246674 140736387929008 140182057622768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18057/tid=18060] ppid=18054 vsize=1417796 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18060/stat : 18060 (toysat) S 18054 18057 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8915908 1451823104 295967 33554432000 4194304 16246674 140736387929008 140182047149232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 1417796 [startup+1542.31 s] /proc/loadavg: 2.26 2.25 2.24 3/185 18121 /proc/meminfo: memFree=27338280/32872528 swapFree=1484408/1662236 [pid=18057] ppid=18054 vsize=1417796 CPUtime=1542.07 cores=0,2,4,6 /proc/18057/stat : 18057 (toysat) R 18054 18057 15921 0 -1 4202496 295158 0 0 0 154137 70 0 0 20 0 4 0 8915908 1451823104 295967 33554432000 4194304 16246674 140736387929008 140736387928104 5662840 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18057/statm: 354449 295967 920 2943 0 351343 0 [pid=18057/tid=18058] ppid=18054 vsize=1417796 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18058/stat : 18058 (toysat) S 18054 18057 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8915908 1451823104 295967 33554432000 4194304 16246674 140736387929008 140182068112624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18057/tid=18059] ppid=18054 vsize=1417796 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18059/stat : 18059 (toysat) S 18054 18057 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8915908 1451823104 295967 33554432000 4194304 16246674 140736387929008 140182057622768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18057/tid=18060] ppid=18054 vsize=1417796 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18060/stat : 18060 (toysat) S 18054 18057 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8915908 1451823104 295967 33554432000 4194304 16246674 140736387929008 140182047149232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1542.07 Current children cumulated vsize (KiB) 1417796 [startup+1602.3 s] /proc/loadavg: 2.23 2.24 2.24 3/185 18123 /proc/meminfo: memFree=27337696/32872528 swapFree=1484408/1662236 [pid=18057] ppid=18054 vsize=1417796 CPUtime=1602.05 cores=0,2,4,6 /proc/18057/stat : 18057 (toysat) R 18054 18057 15921 0 -1 4202496 295158 0 0 0 160133 72 0 0 20 0 4 0 8915908 1451823104 295967 33554432000 4194304 16246674 140736387929008 140736387910912 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18057/statm: 354449 295967 920 2943 0 351343 0 [pid=18057/tid=18058] ppid=18054 vsize=1417796 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18058/stat : 18058 (toysat) S 18054 18057 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8915908 1451823104 295967 33554432000 4194304 16246674 140736387929008 140182068112624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18057/tid=18059] ppid=18054 vsize=1417796 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18059/stat : 18059 (toysat) S 18054 18057 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8915908 1451823104 295967 33554432000 4194304 16246674 140736387929008 140182057622768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18057/tid=18060] ppid=18054 vsize=1417796 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18060/stat : 18060 (toysat) S 18054 18057 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8915908 1451823104 295967 33554432000 4194304 16246674 140736387929008 140182047149232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1602.05 Current children cumulated vsize (KiB) 1417796 [startup+1662.3 s] /proc/loadavg: 2.29 2.25 2.24 3/185 18124 /proc/meminfo: memFree=27182936/32872528 swapFree=1484408/1662236 [pid=18057] ppid=18054 vsize=1417796 CPUtime=1662.04 cores=0,2,4,6 /proc/18057/stat : 18057 (toysat) R 18054 18057 15921 0 -1 4202496 295159 0 0 0 166132 72 0 0 20 0 4 0 8915908 1451823104 295970 33554432000 4194304 16246674 140736387929008 140736387910912 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18057/statm: 354449 295970 920 2943 0 351343 0 [pid=18057/tid=18058] ppid=18054 vsize=1417796 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18058/stat : 18058 (toysat) S 18054 18057 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8915908 1451823104 295970 33554432000 4194304 16246674 140736387929008 140182068112624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18057/tid=18059] ppid=18054 vsize=1417796 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18059/stat : 18059 (toysat) S 18054 18057 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8915908 1451823104 295970 33554432000 4194304 16246674 140736387929008 140182057622768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18057/tid=18060] ppid=18054 vsize=1417796 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18060/stat : 18060 (toysat) S 18054 18057 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8915908 1451823104 295970 33554432000 4194304 16246674 140736387929008 140182047149232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1662.04 Current children cumulated vsize (KiB) 1417796 [startup+1722.3 s] /proc/loadavg: 1.73 2.11 2.19 2/175 18155 /proc/meminfo: memFree=28833360/32872528 swapFree=1484408/1662236 [pid=18057] ppid=18054 vsize=1417796 CPUtime=1722.03 cores=0,2,4,6 /proc/18057/stat : 18057 (toysat) R 18054 18057 15921 0 -1 4202496 295172 0 0 0 172129 74 0 0 20 0 4 0 8915908 1451823104 295970 33554432000 4194304 16246674 140736387929008 140736387910912 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18057/statm: 354449 295970 920 2943 0 351343 0 [pid=18057/tid=18058] ppid=18054 vsize=1417796 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18058/stat : 18058 (toysat) S 18054 18057 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8915908 1451823104 295970 33554432000 4194304 16246674 140736387929008 140182068112624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18057/tid=18059] ppid=18054 vsize=1417796 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18059/stat : 18059 (toysat) S 18054 18057 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8915908 1451823104 295970 33554432000 4194304 16246674 140736387929008 140182057622768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18057/tid=18060] ppid=18054 vsize=1417796 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18060/stat : 18060 (toysat) S 18054 18057 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8915908 1451823104 295970 33554432000 4194304 16246674 140736387929008 140182047149232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1722.03 Current children cumulated vsize (KiB) 1417796 [startup+1782.3 s] /proc/loadavg: 1.40 1.94 2.13 2/176 18166 /proc/meminfo: memFree=28831012/32872528 swapFree=1484408/1662236 [pid=18057] ppid=18054 vsize=1417796 CPUtime=1782.01 cores=0,2,4,6 /proc/18057/stat : 18057 (toysat) R 18054 18057 15921 0 -1 4202496 295183 0 0 0 178127 74 0 0 20 0 4 0 8915908 1451823104 295970 33554432000 4194304 16246674 140736387929008 140736387910912 5673315 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18057/statm: 354449 295970 920 2943 0 351343 0 [pid=18057/tid=18058] ppid=18054 vsize=1417796 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18058/stat : 18058 (toysat) S 18054 18057 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8915908 1451823104 295970 33554432000 4194304 16246674 140736387929008 140182068112624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18057/tid=18059] ppid=18054 vsize=1417796 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18059/stat : 18059 (toysat) S 18054 18057 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8915908 1451823104 295970 33554432000 4194304 16246674 140736387929008 140182057622768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18057/tid=18060] ppid=18054 vsize=1417796 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18060/stat : 18060 (toysat) S 18054 18057 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8915908 1451823104 295970 33554432000 4194304 16246674 140736387929008 140182047149232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 1417796 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 1.29 1.87 2.10 2/176 18166 /proc/meminfo: memFree=28831104/32872528 swapFree=1484408/1662236 [pid=18057] ppid=18054 vsize=1417796 CPUtime=1800.01 cores=0,2,4,6 /proc/18057/stat : 18057 (toysat) R 18054 18057 15921 0 -1 4202496 295189 0 0 0 179927 74 0 0 20 0 4 0 8915908 1451823104 295970 33554432000 4194304 16246674 140736387929008 140736387910912 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18057/statm: 354449 295970 920 2943 0 351343 0 [pid=18057/tid=18058] ppid=18054 vsize=1417796 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18058/stat : 18058 (toysat) S 18054 18057 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8915908 1451823104 295970 33554432000 4194304 16246674 140736387929008 140182068112624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18057/tid=18059] ppid=18054 vsize=1417796 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18059/stat : 18059 (toysat) S 18054 18057 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8915908 1451823104 295970 33554432000 4194304 16246674 140736387929008 140182057622768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18057/tid=18060] ppid=18054 vsize=1417796 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18060/stat : 18060 (toysat) S 18054 18057 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8915908 1451823104 295970 33554432000 4194304 16246674 140736387929008 140182047149232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1417796 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 18057 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.3 s] /proc/loadavg: 1.29 1.87 2.10 2/176 18166 /proc/meminfo: memFree=28831104/32872528 swapFree=1484408/1662236 [pid=18057] ppid=18054 vsize=1417796 CPUtime=1800.01 cores=0,2,4,6 /proc/18057/stat : 18057 (toysat) R 18054 18057 15921 0 -1 4202496 295189 0 0 0 179927 74 0 0 20 0 4 0 8915908 1451823104 295970 33554432000 4194304 16246674 140736387929008 140736387910912 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18057/statm: 354449 295970 920 2943 0 351343 0 [pid=18057/tid=18058] ppid=18054 vsize=1417796 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18058/stat : 18058 (toysat) S 18054 18057 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8915908 1451823104 295970 33554432000 4194304 16246674 140736387929008 140182068112624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18057/tid=18059] ppid=18054 vsize=1417796 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18059/stat : 18059 (toysat) S 18054 18057 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8915908 1451823104 295970 33554432000 4194304 16246674 140736387929008 140182057622768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18057/tid=18060] ppid=18054 vsize=1417796 CPUtime=0 cores=0,2,4,6 /proc/18057/task/18060/stat : 18060 (toysat) S 18054 18057 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8915908 1451823104 295970 33554432000 4194304 16246674 140736387929008 140182047149232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1417796 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.36 CPU time (s): 1800.07 CPU user time (s): 1799.28 CPU system time (s): 0.792879 CPU usage (%): 99.9839 Max. virtual memory (cumulated for all children) (KiB): 1417796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.28 system time used= 0.792879 maximum resident set size= 1183880 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 295189 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= 47 involuntary context switches= 1853 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.951 second user time and 15.9516 second system time The end
Begin job on node134 at 2016-06-30 11:40:34 IDJOB=4119933 IDBENCH=111822 IDSOLVER=2542 FILE ID=node134/4119933-1467279634 RUNJOBID= node134-1467274001-17324 PBS_JOBID= 20004500 Free space on /tmp= 71688 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm75p-opt.opb.negationfix.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119933-1467279634/watcher-4119933-1467279634 -o /tmp/evaluation-result-4119933-1467279634/solver-4119933-1467279634 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467274001-17324 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119933-1467279634.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5d4ca3f7b13848919c451dc03c340a8f RANDOM SEED=824973896 node134.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.738 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.738 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 : 7358.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.738 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.738 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.738 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.738 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.738 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.738 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29449292 kB Buffers: 151236 kB Cached: 300016 kB SwapCached: 0 kB Active: 713924 kB Inactive: 302712 kB Active(anon): 561436 kB Inactive(anon): 6428 kB Active(file): 152488 kB Inactive(file): 296284 kB Unevictable: 1662236 kB Mlocked: 1484408 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 17952 kB Writeback: 0 kB AnonPages: 2227232 kB Mapped: 16908 kB Shmem: 216 kB Slab: 609148 kB SReclaimable: 53212 kB SUnreclaim: 555936 kB KernelStack: 1480 kB PageTables: 9140 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2904484 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 186368 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= 71692 MiB End job on node134 at 2016-06-30 12:10:34