| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_2.opb |
| MD5SUM | 1eb933a10fcc575d2df25e98511c4b07 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -7 |
| Best CPU time to get the best result obtained on this benchmark | 406.881 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -7 |
| Optimality of the best value was proved | YES |
| Number of variables | 100 |
| Total number of constraints | 151 |
| Number of constraints which are clauses | 50 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 101 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 50 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 50 |
| Number of bits of the sum of numbers in the objective function | 6 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 100 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 2960 |
| Sum of products size (including duplicates) | 5920 |
| Number of different products | 1480 |
| Sum of products size | 2960 |
0.00/0.00 c 2016-06-07T03:11:10+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-4080111-1465261870.opb"] 0.00/0.01 c use --random-gen="1912806563 529177201 2737139140 679588823 1586811394 2625173320 2167810805 2845617082 2575358300 718192167 2140035453 1636683123 3804166360 4022515983 1063756133 711277695 1461707023 835419533 1714244185 3173689159 4240209922 2203221304 922276276 3618649915 2725807163 1784277249 2079958369 3954421420 1962579853 2020822161 4121986682 263422187 3967508842 3412396232 1399583059 3845453804 2919807243 2778449950 1929179191 2556188416 2353718061 1886276119 2702378590 534246460 2145971336 2034849051 965008115 2895494750 1700387643 1393888252 1443533972 3014930687 3730591291 3612256584 3034418157 1724627545 669934542 3565265128 2741597011 2414017404 2334593592 380213271 652672586 483931653 1822130137 327952031 2394466998 984036988 639101521 2869671335 2852492344 611089074 2991633516 1085087334 2231968874 2377695524 3824814791 4162644525 4287441994 19238325 3154999780 3941307230 845542816 4246775712 896160366 896335214 1033587180 2496055339 1823354662 3961349017 4240584577 3705351946 2141171437 1024945946 1598274414 1250740544 1686523489 1059905865 3039072449 3483426716 1293569215 1693468470 3059582746 736099471 3882728600 1770091084 2673645603 1091476627 3355695874 3136292465 1884128559 4006200030 675209586 3477506947 4155397937 925480767 915611319 3603826616 3916518946 552426080 986273633 3616876643 759838599 2529380843 3765492014 1368165521 124381611 2643734557 3513868579 1236748221 425817821 675002655 2133674618 4089104932 2945339252 2788239868 4220919804 3973297459 26308530 1810855834 76746564 2092390192 2005417563 3534915405 827562984 1666829441 2454640786 2134905783 4227571863 365304407 1896347443 1272557274 1083636771 3397057298 822473172 3546044616 2272869880 3893905176 3553221030 3021990661 1230068392 985394992 2629154593 2157155972 809090225 3284175166 3669293991 1506791285 1209638195 3305123009 3368287491 3710068785 2542211903 3344067091 1138257936 367853320 2953890983 1399570136 3183917711 342805845 4194973429 2833707876 2048712519 1903183131 2289800898 2463617351 2054414314 2942713546 2147443467 1503010757 2674702708 1886180651 2759898099 2905930825 1530568747 3953727459 2928239643 1792436964 2609941414 61038371 2249521051 1364079903 1064717150 3919591710 1616771863 4059801768 1164123787 4224441268 103781846 3724945337 3105170353 426269310 271460203 895633723 3685496547 2528221761 1587429910 1457164511 1423863716 2077929389 205545783 3672348680 742928670 4009902047 2714432794 110811389 1200990771 267913873 1893310049 2494348965 1366695650 383465063 2884355645 2511104656 178477767 2386180034 1859126715 3414560604 1131095451 3201691838 3409850927 1611092987 2863041471 1925253357 391512175 1151132185 3570516628 821731564 3556115242 3798560835 4063003492 2023466112 3157849662 2100959340 46863848 16860235 255 362436" option to reproduce the execution 0.00/0.02 c #vars 100 0.00/0.02 c #constraints 151 0.00/0.05 c BCD2: Hardening is enabled. 0.00/0.05 c BCD2: BiasedSearch is enabled. 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 1070 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 53 | 0 | 1070 0 | 0 | 0 0.00/0.06 c #cpu_time = 0.003s 0.00/0.06 c #wall_clock_time = 0.003s 0.00/0.06 c #decision = 53 0.00/0.06 c #random_decision = 1 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 o -4 0.00/0.06 c BCD2: updating upper bound: 50 -> 45 0.00/0.06 c BCD2: 0 <= obj <= 45 0.00/0.06 c BCD2: #cores=0, #unrelaxed=50, #relaxed=0, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 1070 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 26 | 2 | 1070 0 | 0 | 0 0.00/0.06 c #cpu_time = 0.003s 0.00/0.06 c #wall_clock_time = 0.003s 0.00/0.06 c #decision = 26 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 2 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 25: cost of the new core is >=1 0.00/0.06 c lower bound updated to -49 0.00/0.06 c BCD2: 1 <= obj <= 45 0.00/0.06 c BCD2: #cores=1, #unrelaxed=25, #relaxed=25, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 1070 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 26 | 1 | 1070 0 | 0 | 0 0.00/0.06 c #cpu_time = 0.003s 0.00/0.06 c #wall_clock_time = 0.003s 0.00/0.06 c #decision = 26 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 1 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: relaxing 25 and merging with 1 cores into a new core of size 50: cost of the new core is >=2 0.00/0.06 c lower bound updated to -48 0.00/0.06 c BCD2: 2 <= obj <= 45 0.00/0.06 c BCD2: #cores=1, #unrelaxed=0, #relaxed=50, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 1070 0 | 1 | 0 0.00/0.08 c 0.0s | 1 | 693 | 100 | 1177 0 | 1 | 1 0.09/0.12 c 0.1s | 2 | 1135 | 250 | 1295 0 | 1 | 1 0.09/0.18 c 0.1s | 3 | 1871 | 475 | 1425 0 | 1 | 1 0.19/0.27 c 0.2s | 4 | 2659 | 813 | 1568 0 | 1 | 1 0.39/0.40 c 0.3s | 5 | 4051 | 1320 | 1725 0 | 1 | 1 0.59/0.63 c 0.6s | 6 | 5079 | 2081 | 1898 1 | 1 | 1 0.89/0.91 c 0.8s | 7 | 6538 | 3223 | 2088 2 | 1 | 1 1.29/1.33 c 1.3s | 8 | 8686 | 4936 | 2297 3 | 1 | 1 1.78/1.86 c 1.8s | 9 | 16800 | 7506 | 2527 5 | 1 | 1 2.69/2.75 c 2.7s | 10 | 25675 | 11361 | 2780 8 | 1 | 1 3.99/4.07 c 4.0s | 11 | 39063 | 17144 | 3059 12 | 1 | 1 5.99/6.06 c 6.0s | 12 | 59128 | 25819 | 3365 17 | 1 | 1 7.99/8.08 c 8.0s | 12 | 79357 | 34519 | 3365 22 | 1 | 1 8.99/9.08 c 9.0s | 13 | 91418 | 38832 | 3702 25 | 1 | 1 11.10/11.12 c 11.1s | 13 | 106515 | 48332 | 3702 30 | 1 | 1 13.09/13.12 c 13.1s | 13 | 128040 | 57432 | 3702 35 | 1 | 1 13.30/13.30 c 13.2s | 14 | 129446 | 58352 | 4073 35 | 1 | 1 15.29/15.32 c 15.3s | 14 | 149646 | 67052 | 4073 39 | 1 | 1 17.29/17.33 c 17.3s | 14 | 170121 | 75752 | 4073 43 | 1 | 1 19.29/19.34 c 19.3s | 14 | 185737 | 83352 | 4073 47 | 1 | 1 20.29/20.39 c 20.3s | 15 | 196982 | 87632 | 4481 49 | 1 | 1 22.39/22.44 c 22.4s | 15 | 214719 | 95732 | 4481 53 | 1 | 1 24.39/24.47 c 24.4s | 15 | 233913 | 104832 | 4481 57 | 1 | 1 26.39/26.47 c 26.4s | 15 | 241905 | 112232 | 4481 60 | 1 | 1 28.38/28.48 c 28.4s | 15 | 249930 | 119732 | 4481 63 | 1 | 1 30.48/30.51 c 30.4s | 15 | 258519 | 127532 | 4481 66 | 1 | 1 31.48/31.55 c 31.5s | 16 | 263212 | 131552 | 4930 68 | 1 | 1 33.48/33.57 c 33.5s | 16 | 282859 | 138452 | 4930 71 | 1 | 1 35.48/35.59 c 35.5s | 16 | 301296 | 146052 | 4930 74 | 1 | 1 37.58/37.61 c 37.5s | 16 | 322438 | 154152 | 4930 77 | 1 | 1 39.59/39.61 c 39.5s | 16 | 339207 | 160952 | 4930 80 | 1 | 1 41.58/41.63 c 41.6s | 16 | 358091 | 168952 | 4930 83 | 1 | 1 43.58/43.64 c 43.6s | 16 | 376617 | 177052 | 4930 86 | 1 | 1 45.58/45.68 c 45.6s | 16 | 392855 | 185452 | 4930 90 | 1 | 1 47.58/47.68 c 47.6s | 16 | 407884 | 193252 | 4930 93 | 1 | 1 48.58/48.67 c 48.6s | 17 | 415664 | 197432 | 5423 94 | 1 | 1 50.58/50.68 c 50.6s | 17 | 430887 | 204932 | 5423 97 | 1 | 1 52.59/52.69 c 52.6s | 17 | 446946 | 212732 | 5423 100 | 1 | 1 54.69/54.72 c 54.7s | 17 | 460788 | 220232 | 5423 102 | 1 | 1 56.69/56.73 c 56.7s | 17 | 474914 | 227832 | 5423 105 | 1 | 1 58.69/58.75 c 58.7s | 17 | 487948 | 235632 | 5423 108 | 1 | 1 60.68/60.76 c 60.7s | 17 | 504543 | 243332 | 5423 111 | 1 | 1 62.69/62.77 c 62.7s | 17 | 523865 | 251732 | 5423 114 | 1 | 1 64.68/64.79 c 64.7s | 17 | 539996 | 259732 | 5423 117 | 1 | 1 66.68/66.80 c 66.7s | 17 | 557474 | 267832 | 5423 120 | 1 | 1 68.78/68.81 c 68.7s | 17 | 575903 | 276332 | 5423 123 | 1 | 1 70.78/70.81 c 70.7s | 17 | 594264 | 284232 | 5423 126 | 1 | 1 72.78/72.83 c 72.8s | 17 | 610960 | 292432 | 5423 129 | 1 | 1 73.79/73.86 c 73.8s | 18 | 620183 | 296252 | 5966 130 | 1 | 1 75.78/75.89 c 75.8s | 18 | 633436 | 303452 | 5966 132 | 1 | 1 77.88/77.90 c 77.8s | 18 | 650514 | 311352 | 5966 135 | 1 | 1 79.88/79.90 c 79.8s | 18 | 662466 | 318752 | 5966 137 | 1 | 1 81.88/81.91 c 81.8s | 18 | 678781 | 326552 | 5966 140 | 1 | 1 83.88/83.92 c 83.9s | 18 | 692437 | 334452 | 5966 142 | 1 | 1 85.88/85.92 c 85.9s | 18 | 705571 | 341952 | 5966 145 | 1 | 1 87.88/87.93 c 87.9s | 18 | 720304 | 349752 | 5966 148 | 1 | 1 89.88/89.94 c 89.9s | 18 | 737613 | 357852 | 5966 150 | 1 | 1 91.88/91.95 c 91.9s | 18 | 755416 | 365952 | 5966 153 | 1 | 1 93.87/93.97 c 93.9s | 18 | 771993 | 373452 | 5966 155 | 1 | 1 95.87/95.98 c 95.9s | 18 | 786524 | 380252 | 5966 158 | 1 | 1 97.88/97.99 c 97.9s | 18 | 803922 | 388652 | 5966 160 | 1 | 1 99.87/99.99 c 99.9s | 18 | 818001 | 396952 | 5966 163 | 1 | 1 101.97/102.01 c 101s | 18 | 832265 | 404752 | 5966 166 | 1 | 1 103.97/104.03 c 103s | 18 | 847812 | 413052 | 5966 168 | 1 | 1 105.97/106.05 c 105s | 18 | 863776 | 421552 | 5966 171 | 1 | 1 107.97/108.06 c 107s | 18 | 876367 | 429152 | 5966 174 | 1 | 1 109.98/110.07 c 110s | 18 | 888643 | 436652 | 5966 176 | 1 | 1 111.97/112.09 c 112s | 18 | 904410 | 444252 | 6563 178 | 1 | 1 112.07/112.20 c 112s | 19 | 904854 | 444482 | 6563 179 | 1 | 1 114.17/114.20 c 114s | 19 | 916035 | 452082 | 6563 181 | 1 | 1 116.17/116.21 c 116s | 19 | 933089 | 459982 | 6563 183 | 1 | 1 118.17/118.23 c 118s | 19 | 945796 | 468182 | 6563 186 | 1 | 1 120.17/120.24 c 120s | 19 | 961307 | 475082 | 6563 188 | 1 | 1 122.18/122.26 c 122s | 19 | 975244 | 483382 | 6563 190 | 1 | 1 124.17/124.27 c 124s | 19 | 988948 | 490982 | 6563 193 | 1 | 1 126.17/126.27 c 126s | 19 | 1005153 | 498682 | 6563 195 | 1 | 1 128.17/128.27 c 128s | 19 | 1020686 | 506382 | 6563 197 | 1 | 1 130.17/130.28 c 130s | 19 | 1036396 | 513982 | 6563 199 | 1 | 1 132.17/132.29 c 132s | 19 | 1051832 | 522482 | 6563 202 | 1 | 1 134.28/134.31 c 134s | 19 | 1066124 | 529282 | 6563 204 | 1 | 1 136.27/136.32 c 136s | 19 | 1082375 | 536382 | 6563 206 | 1 | 1 138.27/138.34 c 138s | 19 | 1092915 | 544482 | 6563 209 | 1 | 1 140.27/140.39 c 140s | 19 | 1103116 | 551082 | 6563 211 | 1 | 1 142.27/142.39 c 142s | 19 | 1120595 | 558182 | 6563 213 | 1 | 1 144.37/144.42 c 144s | 19 | 1136628 | 565682 | 6563 215 | 1 | 1 146.37/146.44 c 146s | 19 | 1152234 | 573582 | 6563 217 | 1 | 1 148.37/148.46 c 148s | 19 | 1168828 | 581382 | 6563 220 | 1 | 1 150.37/150.47 c 150s | 19 | 1182793 | 589382 | 6563 222 | 1 | 1 152.36/152.48 c 152s | 19 | 1198838 | 596582 | 6563 224 | 1 | 1 154.36/154.49 c 154s | 19 | 1217539 | 604282 | 6563 227 | 1 | 1 156.46/156.51 c 156s | 19 | 1235932 | 612082 | 6563 229 | 1 | 1 158.47/158.53 c 158s | 19 | 1254566 | 620182 | 6563 232 | 1 | 1 160.46/160.53 c 160s | 19 | 1271019 | 628182 | 6563 234 | 1 | 1 162.46/162.54 c 162s | 19 | 1286835 | 635282 | 6563 236 | 1 | 1 164.46/164.55 c 164s | 19 | 1302664 | 642982 | 6563 238 | 1 | 1 166.46/166.56 c 166s | 19 | 1319748 | 650382 | 6563 241 | 1 | 1 168.46/168.58 c 168s | 19 | 1336093 | 658082 | 6563 243 | 1 | 1 170.47/170.58 c 170s | 19 | 1350508 | 665082 | 7220 245 | 1 | 1 170.96/171.08 c 171s | 20 | 1355102 | 666827 | 7220 245 | 1 | 1 172.97/173.09 c 173s | 20 | 1368308 | 672827 | 7220 247 | 1 | 1 175.07/175.11 c 175s | 20 | 1379881 | 678927 | 7220 249 | 1 | 1 177.07/177.13 c 177s | 20 | 1392153 | 685527 | 7220 250 | 1 | 1 179.07/179.16 c 179s | 20 | 1407467 | 693027 | 7220 253 | 1 | 1 181.16/181.20 c 181s | 20 | 1421499 | 700327 | 7220 255 | 1 | 1 183.16/183.20 c 183s | 20 | 1436863 | 707727 | 7220 257 | 1 | 1 185.16/185.26 c 185s | 20 | 1449967 | 714527 | 7220 258 | 1 | 1 187.16/187.26 c 187s | 20 | 1464468 | 721627 | 7220 260 | 1 | 1 189.17/189.28 c 189s | 20 | 1479373 | 728527 | 7220 262 | 1 | 1 191.26/191.30 c 191s | 20 | 1496654 | 735927 | 7220 264 | 1 | 1 193.26/193.30 c 193s | 20 | 1512845 | 743327 | 7220 266 | 1 | 1 195.26/195.32 c 195s | 20 | 1528582 | 751027 | 7220 268 | 1 | 1 197.26/197.34 c 197s | 20 | 1541383 | 757827 | 7220 270 | 1 | 1 199.26/199.35 c 199s | 20 | 1551937 | 765927 | 7220 273 | 1 | 1 201.26/201.36 c 201s | 20 | 1562818 | 772727 | 7220 274 | 1 | 1 203.26/203.36 c 203s | 20 | 1578582 | 779927 | 7220 276 | 1 | 1 205.26/205.37 c 205s | 20 | 1594185 | 787527 | 7220 278 | 1 | 1 207.36/207.44 c 207s | 20 | 1607669 | 795027 | 7220 281 | 1 | 1 209.36/209.49 c 209s | 20 | 1619638 | 802327 | 7220 283 | 1 | 1 211.45/211.53 c 211s | 20 | 1633521 | 809627 | 7220 285 | 1 | 1 213.46/213.55 c 213s | 20 | 1647850 | 816927 | 7220 287 | 1 | 1 215.45/215.55 c 215s | 20 | 1662889 | 823827 | 7220 288 | 1 | 1 217.45/217.58 c 217s | 20 | 1678824 | 831727 | 7220 291 | 1 | 1 219.45/219.58 c 219s | 20 | 1693394 | 838527 | 7220 292 | 1 | 1 221.55/221.62 c 221s | 20 | 1707485 | 845527 | 7220 294 | 1 | 1 223.55/223.68 c 223s | 20 | 1722183 | 853327 | 7220 297 | 1 | 1 225.65/225.71 c 225s | 20 | 1737206 | 860827 | 7220 299 | 1 | 1 227.66/227.71 c 227s | 20 | 1751581 | 867827 | 7220 301 | 1 | 1 229.66/229.72 c 229s | 20 | 1767399 | 875327 | 7220 303 | 1 | 1 231.66/231.78 c 231s | 20 | 1780479 | 882427 | 7220 305 | 1 | 1 233.66/233.79 c 233s | 20 | 1797909 | 889827 | 7220 307 | 1 | 1 235.76/235.83 c 235s | 20 | 1811887 | 897027 | 7220 309 | 1 | 1 237.76/237.84 c 237s | 20 | 1826670 | 904427 | 7220 311 | 1 | 1 239.76/239.87 c 239s | 20 | 1842878 | 911427 | 7220 312 | 1 | 1 241.85/241.96 c 241s | 20 | 1857120 | 918227 | 7220 314 | 1 | 1 243.85/243.97 c 243s | 20 | 1867061 | 926427 | 7220 317 | 1 | 1 245.85/245.98 c 245s | 20 | 1878511 | 932427 | 7220 318 | 1 | 1 247.85/247.99 c 247s | 20 | 1893195 | 939227 | 7220 320 | 1 | 1 249.95/250.00 c 249s | 20 | 1910122 | 946427 | 7220 322 | 1 | 1 251.96/252.02 c 251s | 20 | 1925642 | 954127 | 7220 324 | 1 | 1 253.95/254.03 c 253s | 20 | 1939217 | 961927 | 7220 326 | 1 | 1 255.96/256.05 c 255s | 20 | 1953419 | 969227 | 7220 328 | 1 | 1 256.75/256.80 c 256s | 20 | 1958713 | 971709 | 7220 329 | 2 | 2 256.75/256.80 c #cpu_time = 256.731s 256.75/256.80 c #wall_clock_time = 256.737s 256.75/256.80 c #decision = 1958713 256.75/256.80 c #random_decision = 9673 256.75/256.80 c #conflict = 971709 256.75/256.80 c #restart = 20 256.75/256.80 c BCD2: updating lower bound of a core 256.75/256.80 c lower bound updated to -14 256.75/256.80 c BCD2: 36 <= obj <= 45 256.75/256.80 c BCD2: #cores=1, #unrelaxed=0, #relaxed=50, #hardened=0 256.75/256.80 c BCD2: #sat=1 #unsat=4 bias=4/5 256.75/256.80 c Solving starts ... 256.75/256.80 c ============================[ Search Statistics ]============================ 256.75/256.80 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 256.75/256.80 c | | | | Limit GC | Var | Constra 256.75/256.80 c ============================================================================= 256.75/256.80 c 0.0s | 0 | 0 | 0 | 7220 0 | 2 | 3 256.75/256.87 c 0.1s | 1 | 208 | 100 | 7220 0 | 2 | 3 256.85/256.90 c 0.1s | 2 | 558 | 250 | 7220 0 | 2 | 3 256.95/257.04 c 0.2s | 3 | 1028 | 475 | 7220 0 | 2 | 3 257.05/257.12 c 0.3s | 4 | 1797 | 813 | 7220 0 | 2 | 3 257.15/257.25 c 0.4s | 5 | 2462 | 1320 | 7220 0 | 2 | 3 257.36/257.47 c 0.7s | 6 | 3520 | 2081 | 7220 0 | 2 | 3 257.75/257.82 c 1.0s | 7 | 5167 | 3223 | 7220 0 | 2 | 3 258.25/258.39 c 1.6s | 8 | 7677 | 4936 | 7220 0 | 2 | 3 258.45/258.52 c 1.7s | 8 | 9224 | 5270 | 7220 0 | 2 | 3 258.45/258.52 c #cpu_time = 1.719s 258.45/258.52 c #wall_clock_time = 1.719s 258.45/258.52 c #decision = 9224 258.45/258.52 c #random_decision = 35 258.45/258.52 c #conflict = 5270 258.45/258.52 c #restart = 8 258.45/258.52 o -6 258.45/258.52 c BCD2: updating upper bound: 45 -> 43 258.45/258.52 c BCD2: 36 <= obj <= 43 258.45/258.52 c BCD2: #cores=1, #unrelaxed=0, #relaxed=50, #hardened=0 258.45/258.52 c BCD2: #sat=2 #unsat=4 bias=4/6 258.45/258.52 c Solving starts ... 258.45/258.52 c ============================[ Search Statistics ]============================ 258.45/258.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 258.45/258.52 c | | | | Limit GC | Var | Constra 258.45/258.52 c ============================================================================= 258.45/258.52 c 0.0s | 0 | 0 | 0 | 7220 0 | 2 | 5 258.45/258.57 c 0.0s | 1 | 450 | 100 | 7220 0 | 2 | 5 258.56/258.64 c 0.1s | 2 | 779 | 250 | 7220 0 | 2 | 5 258.65/258.74 c 0.2s | 3 | 1052 | 475 | 7220 0 | 2 | 5 258.75/258.88 c 0.4s | 4 | 1943 | 813 | 7220 0 | 2 | 5 259.15/259.25 c 0.7s | 5 | 2962 | 1320 | 7220 1 | 2 | 5 259.45/259.50 c 1.0s | 6 | 4032 | 2081 | 7220 1 | 2 | 5 259.85/259.93 c 1.4s | 7 | 5831 | 3223 | 7220 1 | 2 | 5 260.75/260.85 c 2.3s | 8 | 8166 | 4936 | 7220 2 | 2 | 5 261.35/261.49 c 3.0s | 9 | 11756 | 7506 | 7220 2 | 2 | 5 262.55/262.67 c 4.1s | 10 | 19439 | 11361 | 7220 3 | 2 | 5 264.25/264.37 c 5.8s | 11 | 27924 | 17144 | 7943 5 | 2 | 5 266.35/266.40 c 7.9s | 11 | 37354 | 23044 | 7943 6 | 2 | 5 267.45/267.53 c 9.0s | 12 | 41513 | 25819 | 7943 7 | 2 | 5 269.46/269.56 c 11.0s | 12 | 52437 | 31919 | 7943 8 | 2 | 5 271.45/271.56 c 13.0s | 12 | 60241 | 37419 | 7943 10 | 2 | 5 271.95/272.07 c 13.5s | 13 | 62085 | 38832 | 7943 10 | 2 | 5 274.05/274.10 c 15.6s | 13 | 73686 | 43832 | 7943 11 | 2 | 5 276.05/276.19 c 17.7s | 13 | 81884 | 48232 | 7943 13 | 2 | 5 278.14/278.21 c 19.7s | 13 | 93376 | 53732 | 7943 14 | 2 | 5 279.94/280.05 c 21.5s | 14 | 101199 | 58352 | 7943 15 | 2 | 5 281.94/282.08 c 23.6s | 14 | 108141 | 62552 | 7943 16 | 2 | 5 284.05/284.15 c 25.6s | 14 | 115149 | 67352 | 7943 17 | 2 | 5 286.05/286.16 c 27.6s | 14 | 123003 | 72352 | 7943 19 | 2 | 5 288.04/288.17 c 29.6s | 14 | 131278 | 76852 | 7943 20 | 2 | 5 290.04/290.20 c 31.7s | 14 | 141395 | 82552 | 7943 21 | 2 | 5 292.04/292.15 c 33.6s | 15 | 150653 | 87632 | 7943 22 | 2 | 5 294.04/294.19 c 35.7s | 15 | 162976 | 92632 | 7943 24 | 2 | 5 296.14/296.20 c 37.7s | 15 | 173816 | 97932 | 7943 25 | 2 | 5 298.24/298.38 c 39.9s | 15 | 181899 | 103532 | 7943 26 | 2 | 5 300.25/300.39 c 41.9s | 15 | 194026 | 108732 | 7943 28 | 2 | 5 302.34/302.41 c 43.9s | 15 | 203145 | 114632 | 7943 29 | 2 | 5 304.33/304.41 c 45.9s | 15 | 209929 | 119432 | 7943 30 | 2 | 5 306.33/306.42 c 47.9s | 15 | 218147 | 125332 | 7943 32 | 2 | 5 308.34/308.47 c 49.9s | 15 | 226352 | 130932 | 7943 33 | 2 | 5 308.64/308.72 c 50.2s | 16 | 227360 | 131552 | 7943 33 | 2 | 5 310.63/310.74 c 52.2s | 16 | 239791 | 137752 | 7943 35 | 2 | 5 312.63/312.76 c 54.2s | 16 | 247160 | 143252 | 7943 36 | 2 | 5 314.64/314.79 c 56.3s | 16 | 255034 | 148452 | 7943 37 | 2 | 5 316.63/316.79 c 58.3s | 16 | 265370 | 154252 | 7943 39 | 2 | 5 318.73/318.83 c 60.3s | 16 | 278406 | 160452 | 7943 40 | 2 | 5 320.73/320.85 c 62.3s | 16 | 290044 | 166052 | 7943 42 | 2 | 5 322.73/322.87 c 64.3s | 16 | 300590 | 171352 | 7943 43 | 2 | 5 324.72/324.89 c 66.4s | 16 | 313418 | 177352 | 7943 45 | 2 | 5 326.73/326.89 c 68.4s | 16 | 323690 | 183552 | 7943 46 | 2 | 5 328.73/328.90 c 70.4s | 16 | 335780 | 189752 | 7943 48 | 2 | 5 330.82/330.91 c 72.4s | 16 | 346469 | 195352 | 7943 49 | 2 | 5 331.53/331.64 c 73.1s | 17 | 351132 | 197432 | 7943 50 | 2 | 5 333.52/333.66 c 75.1s | 17 | 360770 | 203632 | 7943 51 | 2 | 5 335.52/335.68 c 77.2s | 17 | 370789 | 209132 | 7943 53 | 2 | 5 337.63/337.71 c 79.2s | 17 | 378976 | 214032 | 7943 54 | 2 | 5 339.62/339.71 c 81.2s | 17 | 387948 | 219432 | 7943 55 | 2 | 5 341.62/341.75 c 83.2s | 17 | 395216 | 224132 | 7943 56 | 2 | 5 343.61/343.77 c 85.2s | 17 | 402763 | 229032 | 7943 58 | 2 | 5 345.61/345.77 c 87.2s | 17 | 414138 | 235032 | 7943 59 | 2 | 5 347.62/347.79 c 89.3s | 17 | 420834 | 240132 | 7943 60 | 2 | 5 349.72/349.82 c 91.3s | 17 | 430502 | 246032 | 7943 62 | 2 | 5 351.71/351.82 c 93.3s | 17 | 439688 | 251232 | 7943 63 | 2 | 5 353.71/353.86 c 95.3s | 17 | 449500 | 256632 | 7943 64 | 2 | 5 355.72/355.87 c 97.4s | 17 | 458922 | 262032 | 7943 66 | 2 | 5 357.81/357.90 c 99.4s | 17 | 468390 | 268732 | 7943 67 | 2 | 5 359.81/359.92 c 101s | 17 | 478524 | 274432 | 7943 69 | 2 | 5 361.82/361.92 c 103s | 17 | 488249 | 280232 | 7943 70 | 2 | 5 363.81/363.95 c 105s | 17 | 498675 | 284932 | 7943 71 | 2 | 5 365.80/365.98 c 107s | 17 | 509614 | 291032 | 7943 73 | 2 | 5 367.60/367.79 c 109s | 18 | 518154 | 296252 | 7943 74 | 2 | 5 369.71/369.81 c 111s | 18 | 526085 | 301152 | 7943 75 | 2 | 5 371.71/371.85 c 113s | 18 | 538629 | 307252 | 7943 77 | 2 | 5 373.70/373.87 c 115s | 18 | 547983 | 313252 | 7943 79 | 2 | 5 375.70/375.88 c 117s | 18 | 557808 | 318852 | 7943 80 | 2 | 5 377.71/377.90 c 119s | 18 | 566804 | 324952 | 7943 81 | 2 | 5 379.80/379.90 c 121s | 18 | 576453 | 330752 | 7943 83 | 2 | 5 381.80/381.93 c 123s | 18 | 588604 | 336752 | 7943 84 | 2 | 5 383.81/383.95 c 125s | 18 | 598574 | 342752 | 7943 86 | 2 | 5 385.80/385.97 c 127s | 18 | 607819 | 348752 | 7943 87 | 2 | 5 387.80/387.97 c 129s | 18 | 620968 | 355052 | 7943 89 | 2 | 5 389.80/389.99 c 131s | 18 | 633113 | 360852 | 7943 90 | 2 | 5 391.89/392.01 c 133s | 18 | 644199 | 366752 | 7943 92 | 2 | 5 393.89/394.01 c 135s | 18 | 655984 | 372252 | 7943 93 | 2 | 5 395.90/396.05 c 137s | 18 | 667222 | 378052 | 7943 95 | 2 | 5 397.89/398.05 c 139s | 18 | 678906 | 383752 | 7943 96 | 2 | 5 399.90/400.06 c 141s | 18 | 690834 | 390152 | 7943 98 | 2 | 5 401.89/402.06 c 143s | 18 | 701796 | 396452 | 7943 99 | 2 | 5 403.89/404.09 c 145s | 18 | 712373 | 402152 | 7943 101 | 2 | 5 405.99/406.10 c 147s | 18 | 721727 | 408452 | 7943 102 | 2 | 5 408.00/408.12 c 149s | 18 | 733750 | 415152 | 7943 104 | 2 | 5 409.99/410.15 c 151s | 18 | 744250 | 420752 | 7943 105 | 2 | 5 411.98/412.19 c 153s | 18 | 753476 | 425652 | 7943 107 | 2 | 5 414.08/414.21 c 155s | 18 | 766195 | 432152 | 7943 108 | 2 | 5 416.09/416.26 c 157s | 18 | 775743 | 437952 | 7943 110 | 2 | 5 418.09/418.27 c 159s | 18 | 788101 | 444252 | 7943 111 | 2 | 5 418.19/418.34 c 159s | 19 | 788564 | 444482 | 7943 111 | 2 | 5 420.20/420.36 c 161s | 19 | 799607 | 450682 | 7943 113 | 2 | 5 422.18/422.38 c 163s | 19 | 807254 | 455182 | 7943 114 | 2 | 5 424.18/424.38 c 165s | 19 | 817607 | 460882 | 7943 115 | 2 | 5 426.29/426.40 c 167s | 19 | 829989 | 467582 | 7943 117 | 2 | 5 428.28/428.43 c 169s | 19 | 837978 | 472982 | 7943 118 | 2 | 5 430.28/430.43 c 171s | 19 | 846836 | 478882 | 7943 120 | 2 | 5 432.29/432.44 c 173s | 19 | 855444 | 485082 | 7943 121 | 2 | 5 434.28/434.45 c 175s | 19 | 866871 | 491082 | 7943 123 | 2 | 5 436.28/436.47 c 177s | 19 | 877378 | 497282 | 7943 124 | 2 | 5 438.28/438.49 c 179s | 19 | 887372 | 503882 | 7943 126 | 2 | 5 440.38/440.52 c 181s | 19 | 895776 | 509982 | 7943 128 | 2 | 5 442.38/442.57 c 184s | 19 | 904326 | 516082 | 8738 129 | 2 | 5 444.38/444.59 c 186s | 19 | 914755 | 522982 | 8738 130 | 2 | 5 446.49/446.63 c 188s | 19 | 924782 | 529282 | 8738 132 | 2 | 5 448.47/448.65 c 190s | 19 | 935716 | 535782 | 8738 133 | 2 | 5 450.48/450.67 c 192s | 19 | 946510 | 542282 | 8738 135 | 2 | 5 452.47/452.69 c 194s | 19 | 956253 | 547982 | 8738 136 | 2 | 5 454.48/454.69 c 196s | 19 | 964736 | 553082 | 8738 137 | 2 | 5 456.57/456.71 c 198s | 19 | 976991 | 559582 | 8738 139 | 2 | 5 458.57/458.72 c 200s | 19 | 988265 | 565782 | 8738 140 | 2 | 5 460.57/460.73 c 202s | 19 | 999326 | 571982 | 8738 142 | 2 | 5 462.57/462.75 c 204s | 19 | 1009334 | 577982 | 8738 143 | 2 | 5 464.57/464.79 c 206s | 19 | 1021258 | 584582 | 8738 144 | 2 | 5 466.66/466.80 c 208s | 19 | 1032120 | 590482 | 8738 146 | 2 | 5 468.67/468.84 c 210s | 19 | 1041971 | 596182 | 8738 147 | 2 | 5 470.67/470.85 c 212s | 19 | 1051996 | 602082 | 8738 148 | 2 | 5 472.66/472.85 c 214s | 19 | 1062219 | 607882 | 8738 150 | 2 | 5 474.66/474.88 c 216s | 19 | 1073756 | 614482 | 8738 151 | 2 | 5 476.76/476.90 c 218s | 19 | 1083243 | 620582 | 8738 153 | 2 | 5 478.76/478.93 c 220s | 19 | 1092737 | 626782 | 8738 154 | 2 | 5 480.76/480.94 c 222s | 19 | 1100633 | 632082 | 8738 155 | 2 | 5 482.76/482.96 c 224s | 19 | 1108471 | 637982 | 8738 157 | 2 | 5 484.76/484.97 c 226s | 19 | 1121333 | 644382 | 8738 158 | 2 | 5 486.86/487.00 c 228s | 19 | 1134052 | 650982 | 8738 160 | 2 | 5 488.86/489.02 c 230s | 19 | 1147771 | 658082 | 8738 161 | 2 | 5 490.86/491.03 c 232s | 19 | 1157960 | 664482 | 8738 163 | 2 | 5 491.46/491.69 c 233s | 20 | 1163392 | 666827 | 8738 163 | 2 | 5 493.55/493.74 c 235s | 20 | 1175319 | 672927 | 8738 165 | 2 | 5 495.56/495.77 c 237s | 20 | 1184447 | 679127 | 8738 166 | 2 | 5 497.55/497.78 c 239s | 20 | 1194965 | 684927 | 8738 167 | 2 | 5 499.55/499.79 c 241s | 20 | 1207415 | 691227 | 8738 169 | 2 | 5 501.55/501.79 c 243s | 20 | 1216265 | 696827 | 8738 170 | 2 | 5 503.55/503.80 c 245s | 20 | 1228010 | 702327 | 8738 171 | 2 | 5 505.64/505.82 c 247s | 20 | 1238517 | 708027 | 8738 172 | 2 | 5 507.65/507.84 c 249s | 20 | 1246595 | 713327 | 8738 174 | 2 | 5 509.75/509.91 c 251s | 20 | 1253645 | 718127 | 8738 175 | 2 | 5 511.74/511.94 c 253s | 20 | 1264075 | 724127 | 8738 176 | 2 | 5 513.75/513.95 c 255s | 20 | 1271997 | 730027 | 8738 177 | 2 | 5 515.75/515.97 c 257s | 20 | 1282095 | 735427 | 8738 179 | 2 | 5 517.74/517.99 c 259s | 20 | 1292361 | 740627 | 8738 180 | 2 | 5 519.85/520.00 c 261s | 20 | 1302015 | 746627 | 8738 181 | 2 | 5 521.84/522.09 c 263s | 20 | 1311584 | 752427 | 8738 183 | 2 | 5 523.94/524.10 c 265s | 20 | 1321092 | 757827 | 8738 184 | 2 | 5 525.94/526.10 c 267s | 20 | 1331517 | 763727 | 8738 185 | 2 | 5 527.94/528.12 c 269s | 20 | 1341284 | 768827 | 8738 186 | 2 | 5 529.94/530.13 c 271s | 20 | 1349972 | 774227 | 8738 187 | 2 | 5 531.93/532.16 c 273s | 20 | 1359543 | 779527 | 8738 189 | 2 | 5 533.93/534.16 c 275s | 20 | 1369386 | 785027 | 8738 190 | 2 | 5 535.93/536.18 c 277s | 20 | 1379224 | 790527 | 8738 191 | 2 | 5 538.03/538.21 c 279s | 20 | 1387834 | 796027 | 8738 192 | 2 | 5 540.04/540.22 c 281s | 20 | 1396468 | 801527 | 8738 194 | 2 | 5 542.03/542.22 c 283s | 20 | 1405776 | 808327 | 8738 195 | 2 | 5 544.03/544.23 c 285s | 20 | 1415194 | 814727 | 8738 197 | 2 | 5 546.03/546.25 c 287s | 20 | 1425287 | 821727 | 8738 198 | 2 | 5 548.02/548.26 c 289s | 20 | 1434460 | 828227 | 8738 200 | 2 | 5 550.03/550.28 c 291s | 20 | 1447218 | 834227 | 8738 201 | 2 | 5 552.04/552.29 c 293s | 20 | 1458394 | 839827 | 8738 202 | 2 | 5 554.12/554.35 c 295s | 20 | 1467123 | 845227 | 8738 203 | 2 | 5 556.12/556.37 c 297s | 20 | 1474717 | 849727 | 8738 205 | 2 | 5 558.33/558.50 c 299s | 20 | 1485899 | 855027 | 8738 206 | 2 | 5 560.33/560.50 c 301s | 20 | 1498354 | 860627 | 8738 207 | 2 | 5 562.32/562.52 c 304s | 20 | 1506615 | 866727 | 8738 208 | 2 | 5 564.32/564.54 c 306s | 20 | 1513320 | 872027 | 8738 210 | 2 | 5 566.32/566.54 c 308s | 20 | 1519828 | 877227 | 8738 211 | 2 | 5 568.32/568.54 c 310s | 20 | 1526890 | 882827 | 8738 212 | 2 | 5 570.32/570.55 c 312s | 20 | 1537107 | 889727 | 8738 214 | 2 | 5 572.32/572.56 c 314s | 20 | 1546900 | 896227 | 8738 215 | 2 | 5 574.31/574.58 c 316s | 20 | 1558489 | 902427 | 8738 216 | 2 | 5 576.32/576.59 c 318s | 20 | 1571662 | 909327 | 8738 218 | 2 | 5 578.42/578.67 c 320s | 20 | 1583507 | 916027 | 8738 220 | 2 | 5 580.41/580.68 c 322s | 20 | 1595706 | 922727 | 8738 221 | 2 | 5 582.51/582.71 c 324s | 20 | 1606423 | 929127 | 8738 222 | 2 | 5 584.51/584.71 c 326s | 20 | 1618684 | 935727 | 8738 224 | 2 | 5 586.51/586.73 c 328s | 20 | 1628599 | 942227 | 8738 225 | 2 | 5 588.51/588.73 c 330s | 20 | 1640400 | 948627 | 8738 227 | 2 | 5 590.52/590.75 c 332s | 20 | 1651013 | 955227 | 8738 228 | 2 | 5 592.50/592.75 c 334s | 20 | 1661320 | 961627 | 8738 230 | 2 | 5 594.50/594.76 c 336s | 20 | 1674334 | 968627 | 8738 231 | 2 | 5 596.51/596.78 c 338s | 20 | 1685763 | 975127 | 8738 233 | 2 | 5 598.60/598.81 c 340s | 20 | 1698898 | 981527 | 8738 234 | 2 | 5 600.61/600.84 c 342s | 20 | 1710718 | 988427 | 8738 236 | 2 | 5 602.60/602.86 c 344s | 20 | 1720792 | 994927 | 8738 237 | 2 | 5 604.50/604.72 c 346s | 21 | 1730360 | 1000345 | 8738 239 | 2 | 5 606.50/606.74 c 348s | 21 | 1745449 | 1006745 | 8738 240 | 2 | 5 608.49/608.74 c 350s | 21 | 1757021 | 1012645 | 8738 241 | 2 | 5 610.50/610.75 c 352s | 21 | 1766135 | 1017645 | 8738 243 | 2 | 5 612.50/612.76 c 354s | 21 | 1777805 | 1024145 | 8738 244 | 2 | 5 614.49/614.78 c 356s | 21 | 1787569 | 1029845 | 8738 245 | 2 | 5 616.59/616.81 c 358s | 21 | 1794885 | 1035645 | 8738 247 | 2 | 5 618.60/618.82 c 360s | 21 | 1803061 | 1041645 | 8738 248 | 2 | 5 620.59/620.86 c 362s | 21 | 1811977 | 1047545 | 8738 249 | 2 | 5 622.59/622.89 c 364s | 21 | 1819344 | 1052745 | 8738 250 | 2 | 5 624.70/624.91 c 366s | 21 | 1831651 | 1058945 | 8738 252 | 2 | 5 626.68/626.99 c 368s | 21 | 1838664 | 1063545 | 8738 253 | 2 | 5 628.79/629.01 c 370s | 21 | 1848799 | 1068945 | 8738 254 | 2 | 5 630.78/631.06 c 372s | 21 | 1858165 | 1074545 | 8738 255 | 2 | 5 632.78/633.07 c 374s | 21 | 1867142 | 1079745 | 8738 257 | 2 | 5 634.78/635.08 c 376s | 21 | 1873765 | 1084745 | 8738 258 | 2 | 5 636.88/637.11 c 378s | 21 | 1881297 | 1089445 | 8738 259 | 2 | 5 638.89/639.13 c 380s | 21 | 1886741 | 1093445 | 8738 260 | 2 | 5 640.88/641.14 c 382s | 21 | 1895183 | 1098645 | 8738 261 | 2 | 5 642.87/643.17 c 384s | 21 | 1905870 | 1104645 | 8738 262 | 2 | 5 644.97/645.20 c 386s | 21 | 1913925 | 1109945 | 8738 263 | 2 | 5 646.97/647.21 c 388s | 21 | 1928358 | 1115845 | 8738 265 | 2 | 5 648.97/649.21 c 390s | 21 | 1939073 | 1121945 | 8738 266 | 2 | 5 650.98/651.22 c 392s | 21 | 1950315 | 1127645 | 8738 267 | 2 | 5 652.97/653.23 c 394s | 21 | 1957563 | 1132745 | 8738 269 | 2 | 5 654.97/655.23 c 396s | 21 | 1966532 | 1138645 | 8738 270 | 2 | 5 656.97/657.26 c 398s | 21 | 1975061 | 1143945 | 8738 271 | 2 | 5 658.97/659.27 c 400s | 21 | 1983727 | 1149645 | 8738 272 | 2 | 5 660.98/661.27 c 402s | 21 | 1992561 | 1155945 | 8738 274 | 2 | 5 662.96/663.27 c 404s | 21 | 2001561 | 1162345 | 8738 275 | 2 | 5 665.07/665.31 c 406s | 21 | 2010033 | 1168345 | 8738 277 | 2 | 5 667.07/667.32 c 408s | 21 | 2019552 | 1174645 | 8738 278 | 2 | 5 669.07/669.32 c 410s | 21 | 2027911 | 1180845 | 8738 279 | 2 | 5 671.07/671.35 c 412s | 21 | 2036243 | 1186945 | 8738 281 | 2 | 5 673.07/673.37 c 414s | 21 | 2041871 | 1190745 | 8738 282 | 2 | 5 675.07/675.40 c 416s | 21 | 2051421 | 1197745 | 8738 283 | 2 | 5 677.16/677.40 c 418s | 21 | 2058864 | 1203445 | 8738 285 | 2 | 5 679.16/679.42 c 420s | 21 | 2068357 | 1210645 | 8738 286 | 2 | 5 681.16/681.43 c 422s | 21 | 2077722 | 1217345 | 8738 288 | 2 | 5 683.16/683.43 c 424s | 21 | 2091661 | 1224145 | 8738 289 | 2 | 5 685.17/685.45 c 426s | 21 | 2103078 | 1229845 | 8738 291 | 2 | 5 687.15/687.47 c 428s | 21 | 2115927 | 1236345 | 8738 292 | 2 | 5 689.16/689.49 c 430s | 21 | 2127901 | 1242545 | 8738 293 | 2 | 5 691.26/691.53 c 433s | 21 | 2137584 | 1248445 | 8738 295 | 2 | 5 693.26/693.57 c 435s | 21 | 2147552 | 1254545 | 8738 296 | 2 | 5 695.26/695.59 c 437s | 21 | 2160810 | 1261045 | 9612 297 | 2 | 5 697.36/697.62 c 439s | 21 | 2172156 | 1267045 | 9612 299 | 2 | 5 699.36/699.62 c 441s | 21 | 2184341 | 1273245 | 9612 300 | 2 | 5 701.35/701.64 c 443s | 21 | 2195356 | 1278745 | 9612 301 | 2 | 5 703.35/703.66 c 445s | 21 | 2206791 | 1284345 | 9612 302 | 2 | 5 705.35/705.67 c 447s | 21 | 2217343 | 1290245 | 9612 303 | 2 | 5 707.35/707.69 c 449s | 21 | 2227760 | 1295045 | 9612 304 | 2 | 5 709.45/709.70 c 451s | 21 | 2238066 | 1301445 | 9612 306 | 2 | 5 711.45/711.72 c 453s | 21 | 2247047 | 1306145 | 9612 307 | 2 | 5 713.44/713.73 c 455s | 21 | 2256848 | 1311845 | 9612 308 | 2 | 5 715.45/715.74 c 457s | 21 | 2265288 | 1317645 | 9612 309 | 2 | 5 717.45/717.78 c 459s | 21 | 2274785 | 1323445 | 9612 310 | 2 | 5 719.45/719.79 c 461s | 21 | 2287536 | 1330145 | 9612 312 | 2 | 5 721.54/721.80 c 463s | 21 | 2296677 | 1335245 | 9612 313 | 2 | 5 723.55/723.82 c 465s | 21 | 2309672 | 1340845 | 9612 314 | 2 | 5 725.54/725.83 c 467s | 21 | 2322868 | 1347445 | 9612 315 | 2 | 5 727.54/727.83 c 469s | 21 | 2334311 | 1353045 | 9612 316 | 2 | 5 729.54/729.84 c 471s | 21 | 2344839 | 1359345 | 9612 318 | 2 | 5 731.54/731.84 c 473s | 21 | 2355219 | 1365345 | 9612 319 | 2 | 5 733.54/733.87 c 475s | 21 | 2365627 | 1371345 | 9612 320 | 2 | 5 735.54/735.89 c 477s | 21 | 2376165 | 1377045 | 9612 321 | 2 | 5 737.64/737.90 c 479s | 21 | 2387386 | 1382845 | 9612 323 | 2 | 5 739.63/739.93 c 481s | 21 | 2398678 | 1389145 | 9612 324 | 2 | 5 741.64/741.93 c 483s | 21 | 2410454 | 1395245 | 9612 325 | 2 | 5 743.63/743.94 c 485s | 21 | 2421234 | 1401045 | 9612 326 | 2 | 5 745.64/745.95 c 487s | 21 | 2430881 | 1407045 | 9612 328 | 2 | 5 747.63/747.96 c 489s | 21 | 2439716 | 1412245 | 9612 329 | 2 | 5 749.63/749.99 c 491s | 21 | 2450699 | 1417845 | 9612 330 | 2 | 5 751.73/752.00 c 493s | 21 | 2462870 | 1424945 | 9612 331 | 2 | 5 753.72/754.02 c 495s | 21 | 2474002 | 1430645 | 9612 332 | 2 | 5 755.93/756.23 c 497s | 21 | 2483636 | 1436745 | 9612 334 | 2 | 5 757.93/758.26 c 499s | 21 | 2494832 | 1443345 | 9612 335 | 2 | 5 759.93/760.29 c 501s | 21 | 2504810 | 1448945 | 9612 336 | 2 | 5 761.92/762.29 c 503s | 21 | 2515095 | 1453745 | 9612 337 | 2 | 5 764.02/764.30 c 505s | 21 | 2524965 | 1459445 | 9612 338 | 2 | 5 766.02/766.39 c 507s | 21 | 2535631 | 1465145 | 9612 340 | 2 | 5 768.12/768.42 c 509s | 21 | 2546224 | 1471145 | 9612 341 | 2 | 5 770.12/770.43 c 511s | 21 | 2556081 | 1476345 | 9612 342 | 2 | 5 772.11/772.48 c 513s | 21 | 2566341 | 1482045 | 9612 343 | 2 | 5 774.12/774.49 c 515s | 21 | 2577871 | 1487545 | 9612 344 | 2 | 5 776.33/776.66 c 518s | 21 | 2586893 | 1493245 | 9612 345 | 2 | 5 778.32/778.68 c 520s | 21 | 2598290 | 1499345 | 9612 347 | 2 | 5 778.72/779.06 c 520s | 22 | 2600534 | 1500622 | 9612 347 | 2 | 5 780.72/781.08 c 522s | 22 | 2610026 | 1506022 | 9612 348 | 2 | 5 782.81/783.10 c 524s | 22 | 2619352 | 1510622 | 9612 349 | 2 | 5 784.80/785.11 c 526s | 22 | 2628292 | 1515922 | 9612 350 | 2 | 5 786.81/787.13 c 528s | 22 | 2640082 | 1522222 | 9612 351 | 2 | 5 788.80/789.14 c 530s | 22 | 2651061 | 1528722 | 9612 353 | 2 | 5 790.81/791.16 c 532s | 22 | 2661337 | 1534722 | 9612 354 | 2 | 5 792.82/793.18 c 534s | 22 | 2671497 | 1540922 | 9612 355 | 2 | 5 794.81/795.19 c 536s | 22 | 2680747 | 1546422 | 9612 356 | 2 | 5 796.91/797.22 c 538s | 22 | 2689383 | 1552222 | 9612 358 | 2 | 5 798.90/799.22 c 540s | 22 | 2697999 | 1558122 | 9612 359 | 2 | 5 800.90/801.22 c 542s | 22 | 2711581 | 1563922 | 9612 360 | 2 | 5 802.90/803.23 c 544s | 22 | 2721122 | 1569622 | 9612 361 | 2 | 5 804.90/805.24 c 546s | 22 | 2733738 | 1575622 | 9612 362 | 2 | 5 806.89/807.26 c 548s | 22 | 2749063 | 1582622 | 9612 364 | 2 | 5 808.89/809.27 c 550s | 22 | 2759341 | 1589122 | 9612 365 | 2 | 5 810.89/811.28 c 552s | 22 | 2770553 | 1595522 | 9612 367 | 2 | 5 812.89/813.29 c 554s | 22 | 2781405 | 1601722 | 9612 368 | 2 | 5 815.00/815.31 c 556s | 22 | 2793718 | 1608422 | 9612 369 | 2 | 5 817.01/817.33 c 558s | 22 | 2805958 | 1615122 | 9612 371 | 2 | 5 819.00/819.34 c 560s | 22 | 2818054 | 1622222 | 9612 372 | 2 | 5 821.00/821.35 c 562s | 22 | 2829846 | 1628122 | 9612 373 | 2 | 5 823.00/823.36 c 564s | 22 | 2840330 | 1634322 | 9612 375 | 2 | 5 824.99/825.36 c 566s | 22 | 2851804 | 1640222 | 9612 376 | 2 | 5 827.00/827.36 c 568s | 22 | 2864012 | 1646822 | 9612 377 | 2 | 5 828.99/829.39 c 570s | 22 | 2875910 | 1653822 | 9612 379 | 2 | 5 831.09/831.40 c 572s | 22 | 2887872 | 1659822 | 9612 380 | 2 | 5 833.09/833.42 c 574s | 22 | 2899709 | 1666022 | 9612 381 | 2 | 5 835.09/835.43 c 576s | 22 | 2910006 | 1671522 | 9612 382 | 2 | 5 837.09/837.45 c 578s | 22 | 2921814 | 1677622 | 9612 383 | 2 | 5 839.09/839.46 c 580s | 22 | 2931817 | 1683522 | 9612 385 | 2 | 5 841.08/841.48 c 582s | 22 | 2941322 | 1689222 | 9612 386 | 2 | 5 843.18/843.52 c 585s | 22 | 2953804 | 1696222 | 9612 387 | 2 | 5 845.18/845.55 c 587s | 22 | 2964517 | 1701922 | 9612 389 | 2 | 5 847.19/847.56 c 589s | 22 | 2975091 | 1708322 | 9612 390 | 2 | 5 849.18/849.57 c 591s | 22 | 2983381 | 1713222 | 9612 391 | 2 | 5 851.18/851.59 c 593s | 22 | 2992882 | 1718922 | 9612 392 | 2 | 5 853.29/853.61 c 595s | 22 | 3002471 | 1725422 | 9612 393 | 2 | 5 855.28/855.65 c 597s | 22 | 3010844 | 1730822 | 9612 394 | 2 | 5 857.27/857.67 c 599s | 22 | 3018464 | 1736422 | 9612 396 | 2 | 5 859.28/859.67 c 601s | 22 | 3029629 | 1742822 | 9612 397 | 2 | 5 861.27/861.69 c 603s | 22 | 3040251 | 1749022 | 9612 398 | 2 | 5 863.27/863.69 c 605s | 22 | 3049677 | 1754422 | 9612 399 | 2 | 5 865.38/865.71 c 607s | 22 | 3061224 | 1759622 | 9612 400 | 2 | 5 867.37/867.72 c 609s | 22 | 3072721 | 1765822 | 9612 402 | 2 | 5 869.37/869.72 c 611s | 22 | 3082296 | 1772522 | 9612 403 | 2 | 5 871.36/871.72 c 613s | 22 | 3093479 | 1779322 | 9612 404 | 2 | 5 873.37/873.74 c 615s | 22 | 3104113 | 1785522 | 9612 406 | 2 | 5 875.37/875.78 c 617s | 22 | 3115161 | 1792222 | 9612 407 | 2 | 5 877.37/877.79 c 619s | 22 | 3124241 | 1798322 | 9612 408 | 2 | 5 879.46/879.80 c 621s | 22 | 3133812 | 1803822 | 9612 410 | 2 | 5 881.46/881.81 c 623s | 22 | 3143908 | 1809922 | 9612 411 | 2 | 5 883.46/883.83 c 625s | 22 | 3154049 | 1816622 | 9612 412 | 2 | 5 885.46/885.84 c 627s | 22 | 3163643 | 1822622 | 9612 413 | 2 | 5 887.46/887.87 c 629s | 22 | 3173941 | 1828522 | 9612 415 | 2 | 5 889.46/889.90 c 631s | 22 | 3183899 | 1834722 | 9612 416 | 2 | 5 891.56/891.90 c 633s | 22 | 3193548 | 1840522 | 9612 417 | 2 | 5 893.55/893.92 c 635s | 22 | 3203470 | 1846622 | 9612 418 | 2 | 5 895.55/895.93 c 637s | 22 | 3214117 | 1852822 | 9612 420 | 2 | 5 897.55/897.94 c 639s | 22 | 3226556 | 1858722 | 9612 421 | 2 | 5 899.56/899.96 c 641s | 22 | 3236077 | 1864722 | 9612 422 | 2 | 5 901.55/901.98 c 643s | 22 | 3247775 | 1871522 | 9612 424 | 2 | 5 903.65/904.03 c 645s | 22 | 3257800 | 1877422 | 9612 425 | 2 | 5 905.65/906.06 c 647s | 22 | 3267224 | 1883322 | 9612 426 | 2 | 5 907.65/908.08 c 649s | 22 | 3277955 | 1889122 | 9612 427 | 2 | 5 909.74/910.11 c 651s | 22 | 3287433 | 1894822 | 9612 428 | 2 | 5 911.74/912.12 c 653s | 22 | 3298311 | 1901022 | 9612 430 | 2 | 5 913.75/914.13 c 655s | 22 | 3307107 | 1905322 | 9612 431 | 2 | 5 915.74/916.13 c 657s | 22 | 3319292 | 1911322 | 9612 432 | 2 | 5 917.74/918.13 c 659s | 22 | 3327470 | 1917522 | 9612 433 | 2 | 5 919.74/920.17 c 661s | 22 | 3338476 | 1925322 | 9612 435 | 2 | 5 921.74/922.19 c 663s | 22 | 3348408 | 1932922 | 9612 436 | 2 | 5 923.75/924.19 c 665s | 22 | 3357124 | 1938722 | 9612 437 | 2 | 5 925.85/926.21 c 667s | 22 | 3366590 | 1944322 | 9612 438 | 2 | 5 927.84/928.23 c 669s | 22 | 3375853 | 1949422 | 9612 440 | 2 | 5 929.84/930.25 c 671s | 22 | 3390130 | 1955822 | 9612 441 | 2 | 5 931.84/932.27 c 673s | 22 | 3404505 | 1962622 | 9612 442 | 2 | 5 933.94/934.31 c 675s | 22 | 3416015 | 1968722 | 9612 444 | 2 | 5 935.94/936.33 c 677s | 22 | 3428012 | 1975722 | 9612 445 | 2 | 5 937.94/938.36 c 679s | 22 | 3440263 | 1981822 | 9612 446 | 2 | 5 939.93/940.37 c 681s | 22 | 3452203 | 1988022 | 9612 447 | 2 | 5 941.93/942.38 c 683s | 22 | 3465670 | 1994422 | 9612 449 | 2 | 5 943.93/944.39 c 685s | 22 | 3476786 | 1999922 | 9612 450 | 2 | 5 945.93/946.40 c 687s | 22 | 3487710 | 2006222 | 9612 451 | 2 | 5 948.03/948.47 c 689s | 22 | 3499353 | 2012522 | 9612 453 | 2 | 5 950.04/950.49 c 691s | 22 | 3510933 | 2019822 | 9612 454 | 2 | 5 952.13/952.50 c 693s | 22 | 3522402 | 2025422 | 9612 455 | 2 | 5 954.14/954.52 c 695s | 22 | 3535570 | 2032122 | 9612 457 | 2 | 5 956.13/956.59 c 698s | 22 | 3544423 | 2037622 | 9612 458 | 2 | 5 958.23/958.62 c 700s | 22 | 3555497 | 2044822 | 9612 459 | 2 | 5 960.23/960.63 c 702s | 22 | 3567286 | 2050622 | 9612 460 | 2 | 5 962.24/962.64 c 704s | 22 | 3580830 | 2056222 | 9612 461 | 2 | 5 964.23/964.64 c 706s | 22 | 3593236 | 2063122 | 9612 463 | 2 | 5 966.23/966.66 c 708s | 22 | 3603872 | 2069322 | 9612 464 | 2 | 5 968.23/968.67 c 710s | 22 | 3613185 | 2075322 | 9612 465 | 2 | 5 970.23/970.69 c 712s | 22 | 3623722 | 2080722 | 9612 467 | 2 | 5 972.33/972.70 c 714s | 22 | 3634408 | 2086722 | 9612 468 | 2 | 5 974.34/974.72 c 716s | 22 | 3643588 | 2092722 | 9612 469 | 2 | 5 976.33/976.73 c 718s | 22 | 3656213 | 2098822 | 9612 470 | 2 | 5 978.33/978.75 c 720s | 22 | 3667699 | 2104822 | 9612 471 | 2 | 5 980.33/980.76 c 722s | 22 | 3680358 | 2111422 | 9612 473 | 2 | 5 982.33/982.78 c 724s | 22 | 3692213 | 2117822 | 9612 474 | 2 | 5 984.33/984.79 c 726s | 22 | 3702041 | 2123322 | 9612 475 | 2 | 5 986.33/986.79 c 728s | 22 | 3713360 | 2130022 | 9612 477 | 2 | 5 988.33/988.79 c 730s | 22 | 3721739 | 2135822 | 9612 478 | 2 | 5 990.43/990.80 c 732s | 22 | 3735053 | 2142422 | 9612 479 | 2 | 5 992.42/992.80 c 734s | 22 | 3747378 | 2148022 | 9612 480 | 2 | 5 994.42/994.80 c 736s | 22 | 3758504 | 2154322 | 9612 482 | 2 | 5 996.42/996.81 c 738s | 22 | 3770004 | 2160222 | 9612 483 | 2 | 5 998.43/998.83 c 740s | 22 | 3782005 | 2166522 | 9612 484 | 2 | 5 1000.42/1000.87 c 742s | 22 | 3792824 | 2173122 | 9612 486 | 2 | 5 1002.52/1002.91 c 744s | 22 | 3804076 | 2178522 | 9612 487 | 2 | 5 1004.53/1004.92 c 746s | 22 | 3817571 | 2184722 | 9612 488 | 2 | 5 1006.53/1006.94 c 748s | 22 | 3829314 | 2191322 | 9612 489 | 2 | 5 1008.53/1008.95 c 750s | 22 | 3839734 | 2196822 | 9612 490 | 2 | 5 1010.53/1010.97 c 752s | 22 | 3851920 | 2203022 | 9612 492 | 2 | 5 1012.52/1012.99 c 754s | 22 | 3862789 | 2209122 | 9612 493 | 2 | 5 1014.62/1015.00 c 756s | 22 | 3875025 | 2215722 | 9612 494 | 2 | 5 1016.62/1017.01 c 758s | 22 | 3887538 | 2222222 | 9612 496 | 2 | 5 1018.62/1019.03 c 760s | 22 | 3899246 | 2228122 | 9612 497 | 2 | 5 1020.62/1021.06 c 762s | 22 | 3910070 | 2234122 | 9612 498 | 2 | 5 1022.63/1023.07 c 764s | 22 | 3920907 | 2240222 | 9612 499 | 2 | 5 1024.62/1025.08 c 766s | 22 | 3932424 | 2245922 | 9612 500 | 2 | 5 1026.42/1026.88 c 768s | 23 | 3941495 | 2251038 | 9612 501 | 2 | 5 1028.42/1028.89 c 770s | 23 | 3951891 | 2255738 | 9612 502 | 2 | 5 1030.52/1030.90 c 772s | 23 | 3962027 | 2261438 | 9612 504 | 2 | 5 1032.53/1032.92 c 774s | 23 | 3975228 | 2267038 | 9612 505 | 2 | 5 1034.52/1034.93 c 776s | 23 | 3984549 | 2272638 | 9612 506 | 2 | 5 1036.52/1036.94 c 778s | 23 | 3992711 | 2277438 | 9612 507 | 2 | 5 1038.52/1038.94 c 780s | 23 | 3999879 | 2281838 | 9612 508 | 2 | 5 1040.52/1040.94 c 782s | 23 | 4010659 | 2287438 | 9612 509 | 2 | 5 1042.52/1042.97 c 784s | 23 | 4018545 | 2292738 | 9612 510 | 2 | 5 1044.51/1044.97 c 786s | 23 | 4026927 | 2298938 | 9612 511 | 2 | 5 1046.51/1046.98 c 788s | 23 | 4034772 | 2304338 | 9612 512 | 2 | 5 1048.51/1048.99 c 790s | 23 | 4042673 | 2309638 | 9612 514 | 2 | 5 1050.62/1051.02 c 792s | 23 | 4052028 | 2315438 | 9612 515 | 2 | 5 1052.62/1053.05 c 794s | 23 | 4061112 | 2321738 | 9612 516 | 2 | 5 1054.63/1055.06 c 796s | 23 | 4069321 | 2327538 | 9612 517 | 2 | 5 1056.72/1057.14 c 798s | 23 | 4077726 | 2333738 | 9612 519 | 2 | 5 1058.82/1059.20 c 800s | 23 | 4090650 | 2340338 | 9612 520 | 2 | 5 1060.82/1061.21 c 802s | 23 | 4099513 | 2346538 | 9612 521 | 2 | 5 1062.92/1063.36 c 804s | 23 | 4112308 | 2353038 | 9612 523 | 2 | 5 1064.92/1065.37 c 806s | 23 | 4123567 | 2359338 | 9612 524 | 2 | 5 1066.92/1067.39 c 808s | 23 | 4134860 | 2365638 | 9612 525 | 2 | 5 1069.02/1069.40 c 810s | 23 | 4146626 | 2372238 | 9612 526 | 2 | 5 1071.02/1071.40 c 812s | 23 | 4157257 | 2377938 | 10574 527 | 2 | 5 1073.02/1073.42 c 814s | 23 | 4168107 | 2383738 | 10574 529 | 2 | 5 1075.01/1075.42 c 816s | 23 | 4179514 | 2389638 | 10574 530 | 2 | 5 1077.01/1077.46 c 818s | 23 | 4190994 | 2396238 | 10574 531 | 2 | 5 1079.01/1079.46 c 820s | 23 | 4202081 | 2402038 | 10574 532 | 2 | 5 1081.02/1081.47 c 822s | 23 | 4212962 | 2408138 | 10574 533 | 2 | 5 1083.01/1083.49 c 824s | 23 | 4224007 | 2414138 | 10574 534 | 2 | 5 1085.11/1085.51 c 826s | 23 | 4232658 | 2419038 | 10574 535 | 2 | 5 1087.11/1087.53 c 829s | 23 | 4240837 | 2424038 | 10574 536 | 2 | 5 1089.11/1089.56 c 831s | 23 | 4250984 | 2430038 | 10574 537 | 2 | 5 1091.11/1091.58 c 833s | 23 | 4261759 | 2435138 | 10574 538 | 2 | 5 1093.21/1093.61 c 835s | 23 | 4272723 | 2441738 | 10574 539 | 2 | 5 1095.22/1095.63 c 837s | 23 | 4282775 | 2447438 | 10574 541 | 2 | 5 1097.21/1097.64 c 839s | 23 | 4294193 | 2453838 | 10574 542 | 2 | 5 1099.21/1099.66 c 841s | 23 | 4304299 | 2459438 | 10574 543 | 2 | 5 1101.21/1101.67 c 843s | 23 | 4317075 | 2466038 | 10574 544 | 2 | 5 1103.21/1103.68 c 845s | 23 | 4327386 | 2471638 | 10574 545 | 2 | 5 1105.31/1105.71 c 847s | 23 | 4340288 | 2477938 | 10574 546 | 2 | 5 1107.31/1107.72 c 849s | 23 | 4350791 | 2484138 | 10574 547 | 2 | 5 1109.31/1109.73 c 851s | 23 | 4360594 | 2489738 | 10574 548 | 2 | 5 1111.31/1111.73 c 853s | 23 | 4369114 | 2495238 | 10574 549 | 2 | 5 1113.31/1113.74 c 855s | 23 | 4377952 | 2500838 | 10574 551 | 2 | 5 1115.40/1115.82 c 857s | 23 | 4387303 | 2506838 | 10574 552 | 2 | 5 1117.70/1118.11 c 859s | 23 | 4396777 | 2512738 | 10574 553 | 2 | 5 1119.70/1120.13 c 861s | 23 | 4405615 | 2517738 | 10574 554 | 2 | 5 1121.71/1122.18 c 863s | 23 | 4414516 | 2523538 | 10574 555 | 2 | 5 1123.70/1124.20 c 865s | 23 | 4422509 | 2528138 | 10574 556 | 2 | 5 1125.81/1126.21 c 867s | 23 | 4432998 | 2533338 | 10574 557 | 2 | 5 1127.81/1128.21 c 869s | 23 | 4442609 | 2539538 | 10574 558 | 2 | 5 1129.81/1130.25 c 871s | 23 | 4451967 | 2544938 | 10574 559 | 2 | 5 1131.81/1132.27 c 873s | 23 | 4458017 | 2548538 | 10574 559 | 2 | 5 1133.82/1134.29 c 875s | 23 | 4469468 | 2554538 | 10574 561 | 2 | 5 1135.92/1136.31 c 877s | 23 | 4479091 | 2559638 | 10574 562 | 2 | 5 1137.91/1138.35 c 879s | 23 | 4488900 | 2565038 | 10574 563 | 2 | 5 1139.91/1140.37 c 881s | 23 | 4499075 | 2571138 | 10574 564 | 2 | 5 1141.91/1142.39 c 883s | 23 | 4506967 | 2576538 | 10574 565 | 2 | 5 1144.01/1144.40 c 885s | 23 | 4513615 | 2581538 | 10574 566 | 2 | 5 1146.00/1146.45 c 887s | 23 | 4522410 | 2587638 | 10574 567 | 2 | 5 1148.01/1148.46 c 889s | 23 | 4530799 | 2593938 | 10574 568 | 2 | 5 1150.10/1150.53 c 892s | 23 | 4540771 | 2600338 | 10574 569 | 2 | 5 1152.10/1152.54 c 894s | 23 | 4549464 | 2606338 | 10574 570 | 2 | 5 1154.10/1154.56 c 896s | 23 | 4558280 | 2612238 | 10574 571 | 2 | 5 1156.10/1156.57 c 898s | 23 | 4569825 | 2619138 | 10574 573 | 2 | 5 1158.10/1158.57 c 900s | 23 | 4579452 | 2625538 | 10574 574 | 2 | 5 1160.11/1160.59 c 902s | 23 | 4589053 | 2631838 | 10574 575 | 2 | 5 1162.20/1162.62 c 904s | 23 | 4599423 | 2638138 | 10574 576 | 2 | 5 1164.20/1164.65 c 906s | 23 | 4610575 | 2643938 | 10574 577 | 2 | 5 1166.20/1166.66 c 908s | 23 | 4619662 | 2649538 | 10574 578 | 2 | 5 1168.30/1168.71 c 910s | 23 | 4627364 | 2654338 | 10574 579 | 2 | 5 1170.30/1170.72 c 912s | 23 | 4638235 | 2660338 | 10574 580 | 2 | 5 1172.30/1172.73 c 914s | 23 | 4647508 | 2666238 | 10574 582 | 2 | 5 1174.29/1174.75 c 916s | 23 | 4657033 | 2671938 | 10574 583 | 2 | 5 1176.29/1176.76 c 918s | 23 | 4667798 | 2678738 | 10574 584 | 2 | 5 1178.29/1178.77 c 920s | 23 | 4676318 | 2684938 | 10574 585 | 2 | 5 1180.29/1180.79 c 922s | 23 | 4685149 | 2690638 | 10574 586 | 2 | 5 1182.40/1182.81 c 924s | 23 | 4691773 | 2694938 | 10574 587 | 2 | 5 1184.41/1184.81 c 926s | 23 | 4702230 | 2700638 | 10574 588 | 2 | 5 1186.40/1186.83 c 928s | 23 | 4711773 | 2706438 | 10574 589 | 2 | 5 1188.40/1188.85 c 930s | 23 | 4722661 | 2712338 | 10574 590 | 2 | 5 1190.40/1190.86 c 932s | 23 | 4733171 | 2718338 | 10574 591 | 2 | 5 1192.40/1192.87 c 934s | 23 | 4744408 | 2724738 | 10574 593 | 2 | 5 1194.40/1194.89 c 936s | 23 | 4754524 | 2730538 | 10574 594 | 2 | 5 1196.50/1196.92 c 938s | 23 | 4764944 | 2736738 | 10574 595 | 2 | 5 1198.50/1198.94 c 940s | 23 | 4773278 | 2741938 | 10574 596 | 2 | 5 1200.50/1200.96 c 942s | 23 | 4781806 | 2747338 | 10574 597 | 2 | 5 1202.50/1202.97 c 944s | 23 | 4792214 | 2753038 | 10574 598 | 2 | 5 1204.50/1204.98 c 946s | 23 | 4802172 | 2759138 | 10574 599 | 2 | 5 1206.59/1207.03 c 948s | 23 | 4811970 | 2765038 | 10574 600 | 2 | 5 1208.60/1209.06 c 950s | 23 | 4822025 | 2771138 | 10574 601 | 2 | 5 1210.59/1211.09 c 952s | 23 | 4830532 | 2777138 | 10574 602 | 2 | 5 1212.69/1213.11 c 954s | 23 | 4839554 | 2782638 | 10574 603 | 2 | 5 1214.69/1215.14 c 956s | 23 | 4847951 | 2787538 | 10574 604 | 2 | 5 1216.69/1217.16 c 958s | 23 | 4857214 | 2792538 | 10574 605 | 2 | 5 1218.69/1219.17 c 960s | 23 | 4864160 | 2797538 | 10574 606 | 2 | 5 1220.79/1221.20 c 962s | 23 | 4875955 | 2804038 | 10574 607 | 2 | 5 1222.80/1223.25 c 964s | 23 | 4885324 | 2809638 | 10574 609 | 2 | 5 1224.79/1225.26 c 966s | 23 | 4894512 | 2815038 | 10574 610 | 2 | 5 1226.79/1227.26 c 968s | 23 | 4903228 | 2820338 | 10574 611 | 2 | 5 1228.79/1229.27 c 970s | 23 | 4913203 | 2825938 | 10574 612 | 2 | 5 1230.89/1231.30 c 972s | 23 | 4923876 | 2832038 | 10574 613 | 2 | 5 1232.89/1233.33 c 974s | 23 | 4933631 | 2837438 | 10574 614 | 2 | 5 1234.90/1235.34 c 976s | 23 | 4944783 | 2843838 | 10574 615 | 2 | 5 1236.89/1237.36 c 978s | 23 | 4954237 | 2850038 | 10574 616 | 2 | 5 1238.89/1239.38 c 980s | 23 | 4963820 | 2856238 | 10574 617 | 2 | 5 1240.89/1241.39 c 982s | 23 | 4972358 | 2862438 | 10574 618 | 2 | 5 1243.09/1243.51 c 984s | 23 | 4980256 | 2868238 | 10574 620 | 2 | 5 1245.09/1245.52 c 987s | 23 | 4990462 | 2873738 | 10574 621 | 2 | 5 1247.10/1247.55 c 989s | 23 | 4999545 | 2878838 | 10574 622 | 2 | 5 1249.09/1249.57 c 991s | 23 | 5007973 | 2884438 | 10574 623 | 2 | 5 1251.19/1251.63 c 993s | 23 | 5017235 | 2889538 | 10574 624 | 2 | 5 1253.19/1253.65 c 995s | 23 | 5029352 | 2896138 | 10574 625 | 2 | 5 1255.18/1255.67 c 997s | 23 | 5038092 | 2900938 | 10574 626 | 2 | 5 1257.18/1257.67 c 999s | 23 | 5049603 | 2907138 | 10574 627 | 2 | 5 1259.19/1259.69 c 1001s | 23 | 5060225 | 2913238 | 10574 628 | 2 | 5 1261.29/1261.71 c 1003s | 23 | 5071490 | 2920138 | 10574 629 | 2 | 5 1263.28/1263.73 c 1005s | 23 | 5080637 | 2925938 | 10574 630 | 2 | 5 1265.28/1265.74 c 1007s | 23 | 5090171 | 2932038 | 10574 632 | 2 | 5 1267.38/1267.83 c 1009s | 23 | 5098468 | 2937538 | 10574 633 | 2 | 5 1269.38/1269.83 c 1011s | 23 | 5109089 | 2943838 | 10574 634 | 2 | 5 1271.38/1271.85 c 1013s | 23 | 5118927 | 2950138 | 10574 635 | 2 | 5 1273.39/1273.87 c 1015s | 23 | 5126261 | 2954138 | 10574 636 | 2 | 5 1275.38/1275.89 c 1017s | 23 | 5134656 | 2959438 | 10574 637 | 2 | 5 1277.38/1277.89 c 1019s | 23 | 5147577 | 2966038 | 10574 638 | 2 | 5 1279.48/1279.90 c 1021s | 23 | 5156755 | 2971238 | 10574 639 | 2 | 5 1281.48/1281.93 c 1023s | 23 | 5166575 | 2977238 | 10574 640 | 2 | 5 1283.48/1283.93 c 1025s | 23 | 5177478 | 2983138 | 10574 641 | 2 | 5 1285.48/1285.94 c 1027s | 23 | 5188063 | 2989838 | 10574 642 | 2 | 5 1287.48/1287.94 c 1029s | 23 | 5198040 | 2995638 | 10574 643 | 2 | 5 1289.48/1289.97 c 1031s | 23 | 5206910 | 3001038 | 10574 645 | 2 | 5 1291.48/1291.98 c 1033s | 23 | 5216411 | 3006638 | 10574 646 | 2 | 5 1293.48/1293.99 c 1035s | 23 | 5226762 | 3012638 | 10574 647 | 2 | 5 1295.58/1296.02 c 1037s | 23 | 5235905 | 3018538 | 10574 648 | 2 | 5 1297.58/1298.04 c 1039s | 23 | 5245449 | 3024238 | 10574 649 | 2 | 5 1299.58/1300.05 c 1041s | 23 | 5256135 | 3030238 | 10574 650 | 2 | 5 1301.58/1302.08 c 1043s | 23 | 5266967 | 3036838 | 10574 651 | 2 | 5 1303.58/1304.09 c 1045s | 23 | 5276167 | 3043238 | 10574 652 | 2 | 5 1305.68/1306.11 c 1047s | 23 | 5283025 | 3047538 | 10574 653 | 2 | 5 1307.68/1308.15 c 1049s | 23 | 5292881 | 3053938 | 10574 654 | 2 | 5 1309.69/1310.17 c 1051s | 23 | 5302627 | 3059738 | 10574 656 | 2 | 5 1311.68/1312.19 c 1053s | 23 | 5312670 | 3065938 | 10574 657 | 2 | 5 1313.78/1314.20 c 1055s | 23 | 5323900 | 3072338 | 10574 658 | 2 | 5 1315.78/1316.21 c 1057s | 23 | 5333593 | 3078638 | 10574 659 | 2 | 5 1317.78/1318.24 c 1059s | 23 | 5342422 | 3084738 | 10574 660 | 2 | 5 1319.78/1320.24 c 1061s | 23 | 5350894 | 3090338 | 10574 661 | 2 | 5 1321.97/1322.45 c 1063s | 23 | 5358586 | 3095838 | 10574 662 | 2 | 5 1324.37/1324.83 c 1066s | 23 | 5367500 | 3100838 | 10574 663 | 2 | 5 1326.37/1326.85 c 1068s | 23 | 5380132 | 3106938 | 10574 664 | 2 | 5 1328.38/1328.85 c 1070s | 23 | 5388466 | 3112338 | 10574 665 | 2 | 5 1330.37/1330.88 c 1072s | 23 | 5397091 | 3117438 | 10574 666 | 2 | 5 1332.47/1332.91 c 1074s | 23 | 5406654 | 3123338 | 10574 668 | 2 | 5 1334.47/1334.93 c 1076s | 23 | 5416420 | 3129938 | 10574 669 | 2 | 5 1336.48/1336.93 c 1078s | 23 | 5426666 | 3135538 | 10574 670 | 2 | 5 1338.48/1338.96 c 1080s | 23 | 5438096 | 3141538 | 10574 671 | 2 | 5 1340.48/1340.97 c 1082s | 23 | 5448870 | 3147238 | 10574 672 | 2 | 5 1342.48/1342.99 c 1084s | 23 | 5459559 | 3152938 | 10574 673 | 2 | 5 1344.58/1345.01 c 1086s | 23 | 5469278 | 3158938 | 10574 674 | 2 | 5 1346.58/1347.02 c 1088s | 23 | 5480180 | 3164438 | 10574 675 | 2 | 5 1348.58/1349.03 c 1090s | 23 | 5491107 | 3170338 | 10574 676 | 2 | 5 1350.57/1351.03 c 1092s | 23 | 5502385 | 3176338 | 10574 677 | 2 | 5 1352.58/1353.06 c 1094s | 23 | 5510713 | 3180938 | 10574 678 | 2 | 5 1354.67/1355.10 c 1096s | 23 | 5520929 | 3186438 | 10574 679 | 2 | 5 1356.67/1357.11 c 1098s | 23 | 5533123 | 3192438 | 10574 680 | 2 | 5 1358.67/1359.12 c 1100s | 23 | 5542125 | 3198438 | 10574 682 | 2 | 5 1360.77/1361.22 c 1102s | 23 | 5551746 | 3204038 | 10574 683 | 2 | 5 1362.87/1363.34 c 1104s | 23 | 5560412 | 3208738 | 10574 684 | 2 | 5 1364.97/1365.40 c 1106s | 23 | 5571021 | 3214538 | 10574 685 | 2 | 5 1366.97/1367.41 c 1108s | 23 | 5581772 | 3220638 | 10574 686 | 2 | 5 1368.97/1369.42 c 1110s | 23 | 5588746 | 3225038 | 10574 687 | 2 | 5 1370.96/1371.45 c 1112s | 23 | 5596203 | 3229438 | 10574 687 | 2 | 5 1372.97/1373.46 c 1114s | 23 | 5608443 | 3235338 | 10574 689 | 2 | 5 1374.97/1375.49 c 1116s | 23 | 5619637 | 3240538 | 10574 690 | 2 | 5 1377.07/1377.51 c 1118s | 23 | 5628296 | 3246238 | 10574 691 | 2 | 5 1379.08/1379.54 c 1121s | 23 | 5638396 | 3251338 | 10574 692 | 2 | 5 1381.07/1381.57 c 1123s | 23 | 5649173 | 3257138 | 10574 693 | 2 | 5 1383.07/1383.58 c 1125s | 23 | 5663071 | 3263438 | 10574 694 | 2 | 5 1385.07/1385.59 c 1127s | 23 | 5672748 | 3269138 | 10574 695 | 2 | 5 1387.17/1387.64 c 1129s | 23 | 5683376 | 3276038 | 10574 696 | 2 | 5 1389.17/1389.68 c 1131s | 23 | 5691903 | 3281138 | 10574 697 | 2 | 5 1391.27/1391.70 c 1133s | 23 | 5698917 | 3285638 | 10574 698 | 2 | 5 1393.27/1393.72 c 1135s | 23 | 5707852 | 3290338 | 10574 699 | 2 | 5 1395.27/1395.74 c 1137s | 23 | 5719606 | 3296038 | 10574 700 | 2 | 5 1397.27/1397.79 c 1139s | 23 | 5727071 | 3300938 | 10574 701 | 2 | 5 1399.37/1399.80 c 1141s | 23 | 5738513 | 3307038 | 10574 702 | 2 | 5 1401.37/1401.82 c 1143s | 23 | 5748413 | 3312638 | 10574 703 | 2 | 5 1403.36/1403.84 c 1145s | 23 | 5757672 | 3318138 | 10574 704 | 2 | 5 1405.37/1405.86 c 1147s | 23 | 5764554 | 3323538 | 10574 705 | 2 | 5 1407.36/1407.87 c 1149s | 23 | 5772236 | 3329438 | 10574 706 | 2 | 5 1409.46/1409.91 c 1151s | 23 | 5784439 | 3335538 | 10574 707 | 2 | 5 1411.46/1411.91 c 1153s | 23 | 5795574 | 3341238 | 10574 708 | 2 | 5 1413.46/1413.95 c 1155s | 23 | 5807460 | 3346938 | 10574 710 | 2 | 5 1415.46/1415.98 c 1157s | 23 | 5818260 | 3352538 | 10574 711 | 2 | 5 1417.57/1418.01 c 1159s | 23 | 5827212 | 3357438 | 10574 711 | 2 | 5 1419.56/1420.02 c 1161s | 23 | 5834096 | 3361738 | 10574 712 | 2 | 5 1421.56/1422.02 c 1163s | 23 | 5842208 | 3366538 | 10574 713 | 2 | 5 1423.56/1424.06 c 1165s | 23 | 5851915 | 3372438 | 10574 714 | 2 | 5 1425.06/1425.55 c 1167s | 24 | 5858190 | 3376662 | 10574 715 | 2 | 5 1427.16/1427.63 c 1169s | 24 | 5864737 | 3380362 | 10574 716 | 2 | 5 1429.16/1429.63 c 1171s | 24 | 5878385 | 3385962 | 10574 717 | 2 | 5 1431.16/1431.64 c 1173s | 24 | 5889419 | 3391662 | 10574 718 | 2 | 5 1433.16/1433.65 c 1175s | 24 | 5902848 | 3398162 | 10574 719 | 2 | 5 1435.17/1435.66 c 1177s | 24 | 5912809 | 3404262 | 10574 720 | 2 | 5 1437.16/1437.68 c 1179s | 24 | 5921194 | 3409462 | 10574 721 | 2 | 5 1439.26/1439.70 c 1181s | 24 | 5928738 | 3414062 | 10574 722 | 2 | 5 1441.26/1441.72 c 1183s | 24 | 5936634 | 3418962 | 10574 723 | 2 | 5 1443.26/1443.75 c 1185s | 24 | 5951486 | 3425462 | 10574 724 | 2 | 5 1445.26/1445.79 c 1187s | 24 | 5962905 | 3431362 | 10574 725 | 2 | 5 1447.36/1447.80 c 1189s | 24 | 5972094 | 3435962 | 10574 726 | 2 | 5 1449.26/1449.80 c 1191s | 24 | 5979965 | 3440262 | 10574 727 | 2 | 5 1451.36/1451.82 c 1193s | 24 | 5988898 | 3444762 | 10574 728 | 2 | 5 1453.36/1453.82 c 1195s | 24 | 5997408 | 3449762 | 10574 729 | 2 | 5 1455.36/1455.83 c 1197s | 24 | 6008079 | 3455562 | 10574 730 | 2 | 5 1457.36/1457.83 c 1199s | 24 | 6015242 | 3459862 | 10574 731 | 2 | 5 1459.37/1459.85 c 1201s | 24 | 6030114 | 3466062 | 10574 732 | 2 | 5 1461.36/1461.86 c 1203s | 24 | 6038818 | 3471962 | 10574 733 | 2 | 5 1463.36/1463.87 c 1205s | 24 | 6049763 | 3478162 | 10574 734 | 2 | 5 1465.36/1465.89 c 1207s | 24 | 6059075 | 3483662 | 10574 735 | 2 | 5 1467.36/1467.89 c 1209s | 24 | 6067036 | 3488562 | 10574 736 | 2 | 5 1469.45/1469.98 c 1211s | 24 | 6075686 | 3493062 | 10574 737 | 2 | 5 1471.55/1472.00 c 1213s | 24 | 6084820 | 3498962 | 10574 738 | 2 | 5 1473.56/1474.02 c 1215s | 24 | 6093108 | 3504362 | 10574 739 | 2 | 5 1475.55/1476.05 c 1217s | 24 | 6104549 | 3509862 | 10574 740 | 2 | 5 1477.55/1478.07 c 1219s | 24 | 6112559 | 3515362 | 10574 741 | 2 | 5 1479.55/1480.09 c 1221s | 24 | 6119309 | 3520262 | 10574 742 | 2 | 5 1481.65/1482.12 c 1223s | 24 | 6128790 | 3525862 | 10574 743 | 2 | 5 1483.65/1484.13 c 1225s | 24 | 6140747 | 3532362 | 10574 744 | 2 | 5 1485.66/1486.16 c 1227s | 24 | 6152348 | 3538962 | 10574 745 | 2 | 5 1487.65/1488.17 c 1229s | 24 | 6161674 | 3544562 | 10574 747 | 2 | 5 1489.65/1490.18 c 1231s | 24 | 6171028 | 3549862 | 10574 748 | 2 | 5 1491.75/1492.21 c 1233s | 24 | 6179064 | 3554962 | 10574 748 | 2 | 5 1493.85/1494.33 c 1235s | 24 | 6186640 | 3560362 | 10574 750 | 2 | 5 1495.85/1496.37 c 1237s | 24 | 6194795 | 3565762 | 10574 751 | 2 | 5 1497.85/1498.38 c 1239s | 24 | 6202155 | 3570862 | 10574 751 | 2 | 5 1499.96/1500.41 c 1241s | 24 | 6209741 | 3575862 | 10574 752 | 2 | 5 1502.45/1502.92 c 1244s | 24 | 6217394 | 3581362 | 10574 753 | 2 | 5 1504.46/1504.95 c 1246s | 24 | 6230557 | 3587962 | 10574 755 | 2 | 5 1506.56/1507.00 c 1248s | 24 | 6239976 | 3592862 | 10574 756 | 2 | 5 1508.55/1509.01 c 1250s | 24 | 6252280 | 3599462 | 10574 757 | 2 | 5 1510.55/1511.03 c 1252s | 24 | 6263729 | 3605762 | 10574 758 | 2 | 5 1512.55/1513.03 c 1254s | 24 | 6276165 | 3611662 | 10574 759 | 2 | 5 1514.55/1515.04 c 1256s | 24 | 6286591 | 3618162 | 10574 760 | 2 | 5 1516.56/1517.08 c 1258s | 24 | 6296494 | 3624862 | 10574 762 | 2 | 5 1518.55/1519.10 c 1260s | 24 | 6307057 | 3631062 | 10574 763 | 2 | 5 1520.65/1521.10 c 1262s | 24 | 6316319 | 3636262 | 10574 764 | 2 | 5 1522.65/1523.13 c 1264s | 24 | 6325926 | 3641562 | 10574 765 | 2 | 5 1524.64/1525.14 c 1266s | 24 | 6335145 | 3646462 | 10574 766 | 2 | 5 1526.64/1527.15 c 1268s | 24 | 6344191 | 3651562 | 10574 767 | 2 | 5 1528.65/1529.17 c 1270s | 24 | 6356838 | 3657562 | 10574 768 | 2 | 5 1530.64/1531.19 c 1272s | 24 | 6365107 | 3662162 | 10574 769 | 2 | 5 1532.75/1533.22 c 1274s | 24 | 6373859 | 3667162 | 10574 770 | 2 | 5 1534.75/1535.23 c 1276s | 24 | 6385230 | 3673562 | 10574 771 | 2 | 5 1536.75/1537.24 c 1278s | 24 | 6393579 | 3679362 | 10574 772 | 2 | 5 1538.74/1539.26 c 1280s | 24 | 6403104 | 3685762 | 10574 773 | 2 | 5 1540.75/1541.28 c 1282s | 24 | 6413925 | 3691562 | 10574 774 | 2 | 5 1542.85/1543.30 c 1284s | 24 | 6423798 | 3697362 | 10574 775 | 2 | 5 1544.84/1545.30 c 1286s | 24 | 6435525 | 3703362 | 10574 776 | 2 | 5 1546.94/1547.40 c 1288s | 24 | 6445353 | 3709562 | 10574 778 | 2 | 5 1548.94/1549.42 c 1290s | 24 | 6457075 | 3717062 | 10574 779 | 2 | 5 1551.04/1551.55 c 1293s | 24 | 6467207 | 3722562 | 10574 780 | 2 | 5 1553.24/1553.77 c 1295s | 24 | 6478503 | 3728762 | 10574 781 | 2 | 5 1555.24/1555.78 c 1297s | 24 | 6490172 | 3734862 | 10574 782 | 2 | 5 1557.34/1557.80 c 1299s | 24 | 6501052 | 3740962 | 10574 783 | 2 | 5 1559.24/1559.80 c 1301s | 24 | 6512655 | 3747262 | 10574 785 | 2 | 5 1561.34/1561.80 c 1303s | 24 | 6523834 | 3754262 | 10574 786 | 2 | 5 1563.34/1563.81 c 1305s | 24 | 6534105 | 3760962 | 10574 787 | 2 | 5 1565.54/1566.09 c 1307s | 24 | 6542717 | 3766662 | 10574 788 | 2 | 5 1567.64/1568.11 c 1309s | 24 | 6551127 | 3771262 | 10574 789 | 2 | 5 1569.63/1570.15 c 1311s | 24 | 6563820 | 3777862 | 10574 790 | 2 | 5 1571.63/1572.17 c 1313s | 24 | 6572750 | 3783462 | 10574 791 | 2 | 5 1573.64/1574.18 c 1315s | 24 | 6580234 | 3788762 | 10574 792 | 2 | 5 1575.74/1576.20 c 1317s | 24 | 6589076 | 3794662 | 10574 794 | 2 | 5 1577.74/1578.23 c 1319s | 24 | 6598595 | 3800762 | 10574 795 | 2 | 5 1579.74/1580.25 c 1321s | 24 | 6607486 | 3807062 | 10574 796 | 2 | 5 1581.74/1582.27 c 1323s | 24 | 6615534 | 3813062 | 10574 797 | 2 | 5 1583.74/1584.29 c 1325s | 24 | 6624457 | 3819262 | 10574 798 | 2 | 5 1585.85/1586.32 c 1327s | 24 | 6632814 | 3824862 | 10574 799 | 2 | 5 1587.84/1588.35 c 1329s | 24 | 6644635 | 3831262 | 10574 800 | 2 | 5 1589.84/1590.35 c 1331s | 24 | 6653994 | 3836962 | 10574 801 | 2 | 5 1591.84/1592.38 c 1333s | 24 | 6662008 | 3842662 | 10574 802 | 2 | 5 1593.84/1594.38 c 1335s | 24 | 6669482 | 3847762 | 10574 803 | 2 | 5 1595.84/1596.39 c 1337s | 24 | 6680135 | 3853462 | 10574 805 | 2 | 5 1597.84/1598.40 c 1339s | 24 | 6690012 | 3859062 | 10574 806 | 2 | 5 1599.94/1600.40 c 1341s | 24 | 6699044 | 3864762 | 10574 807 | 2 | 5 1601.93/1602.42 c 1343s | 24 | 6709055 | 3870962 | 10574 808 | 2 | 5 1603.93/1604.42 c 1345s | 24 | 6718293 | 3876962 | 10574 809 | 2 | 5 1605.93/1606.43 c 1347s | 24 | 6728387 | 3883262 | 10574 810 | 2 | 5 1608.03/1608.52 c 1349s | 24 | 6738113 | 3888862 | 10574 811 | 2 | 5 1610.04/1610.54 c 1352s | 24 | 6748485 | 3894562 | 10574 812 | 2 | 5 1612.03/1612.54 c 1354s | 24 | 6757133 | 3899962 | 10574 813 | 2 | 5 1614.03/1614.57 c 1356s | 24 | 6766650 | 3905662 | 10574 814 | 2 | 5 1616.03/1616.58 c 1358s | 24 | 6774147 | 3910562 | 10574 815 | 2 | 5 1618.03/1618.59 c 1360s | 24 | 6784462 | 3916862 | 10574 816 | 2 | 5 1620.13/1620.60 c 1362s | 24 | 6793516 | 3922162 | 10574 817 | 2 | 5 1622.14/1622.69 c 1364s | 24 | 6804436 | 3928062 | 10574 819 | 2 | 5 1624.24/1624.71 c 1366s | 24 | 6816125 | 3934662 | 10574 820 | 2 | 5 1626.23/1626.73 c 1368s | 24 | 6827080 | 3941462 | 10574 821 | 2 | 5 1628.23/1628.73 c 1370s | 24 | 6837454 | 3947162 | 10574 822 | 2 | 5 1630.23/1630.75 c 1372s | 24 | 6844740 | 3951562 | 10574 823 | 2 | 5 1632.23/1632.77 c 1374s | 24 | 6856335 | 3957962 | 10574 824 | 2 | 5 1634.24/1634.79 c 1376s | 24 | 6867061 | 3964662 | 10574 825 | 2 | 5 1636.34/1636.81 c 1378s | 24 | 6876874 | 3969962 | 10574 826 | 2 | 5 1638.33/1638.83 c 1380s | 24 | 6886149 | 3975962 | 10574 827 | 2 | 5 1640.33/1640.83 c 1382s | 24 | 6895713 | 3981562 | 10574 829 | 2 | 5 1642.33/1642.85 c 1384s | 24 | 6906460 | 3986962 | 10574 830 | 2 | 5 1644.33/1644.86 c 1386s | 24 | 6917623 | 3992462 | 10574 831 | 2 | 5 1646.33/1646.87 c 1388s | 24 | 6930837 | 3999162 | 10574 832 | 2 | 5 1648.33/1648.88 c 1390s | 24 | 6940497 | 4005362 | 10574 833 | 2 | 5 1650.43/1650.90 c 1392s | 24 | 6950884 | 4011362 | 10574 834 | 2 | 5 1652.43/1652.91 c 1394s | 24 | 6960991 | 4017762 | 10574 835 | 2 | 5 1654.42/1654.97 c 1396s | 24 | 6972766 | 4023962 | 10574 837 | 2 | 5 1656.52/1657.00 c 1398s | 24 | 6982743 | 4030062 | 10574 838 | 2 | 5 1658.52/1659.03 c 1400s | 24 | 6991284 | 4035262 | 10574 839 | 2 | 5 1660.53/1661.04 c 1402s | 24 | 6998844 | 4040062 | 10574 840 | 2 | 5 1662.52/1663.05 c 1404s | 24 | 7007444 | 4045262 | 10574 841 | 2 | 5 1664.63/1665.11 c 1406s | 24 | 7015103 | 4049362 | 10574 841 | 2 | 5 1666.63/1667.15 c 1408s | 24 | 7027743 | 4056262 | 11632 842 | 2 | 5 1668.63/1669.16 c 1410s | 24 | 7037299 | 4061762 | 11632 843 | 2 | 5 1670.63/1671.18 c 1412s | 24 | 7046453 | 4067362 | 11632 844 | 2 | 5 1672.73/1673.20 c 1414s | 24 | 7056881 | 4073062 | 11632 845 | 2 | 5 1674.73/1675.22 c 1416s | 24 | 7064476 | 4078362 | 11632 846 | 2 | 5 1676.73/1677.25 c 1418s | 24 | 7072170 | 4083262 | 11632 847 | 2 | 5 1678.72/1679.26 c 1420s | 24 | 7079481 | 4087462 | 11632 848 | 2 | 5 1680.82/1681.32 c 1422s | 24 | 7088857 | 4092162 | 11632 849 | 2 | 5 1682.82/1683.33 c 1424s | 24 | 7097625 | 4097162 | 11632 849 | 2 | 5 1684.83/1685.36 c 1426s | 24 | 7106630 | 4103262 | 11632 850 | 2 | 5 1686.82/1687.37 c 1428s | 24 | 7114654 | 4108862 | 11632 851 | 2 | 5 1688.82/1689.37 c 1430s | 24 | 7126536 | 4114862 | 11632 852 | 2 | 5 1690.92/1691.40 c 1432s | 24 | 7136567 | 4120162 | 11632 853 | 2 | 5 1692.92/1693.41 c 1434s | 24 | 7145079 | 4125162 | 11632 854 | 2 | 5 1694.92/1695.44 c 1436s | 24 | 7153565 | 4130562 | 11632 855 | 2 | 5 1696.92/1697.45 c 1438s | 24 | 7162750 | 4135762 | 11632 856 | 2 | 5 1698.92/1699.46 c 1440s | 24 | 7171854 | 4140862 | 11632 857 | 2 | 5 1700.92/1701.48 c 1442s | 24 | 7181281 | 4146762 | 11632 858 | 2 | 5 1703.02/1703.50 c 1444s | 24 | 7191720 | 4151562 | 11632 859 | 2 | 5 1705.02/1705.59 c 1447s | 24 | 7203169 | 4156662 | 11632 860 | 2 | 5 1707.02/1707.59 c 1449s | 24 | 7213660 | 4162062 | 11632 860 | 2 | 5 1709.12/1709.60 c 1451s | 24 | 7222335 | 4167162 | 11632 861 | 2 | 5 1711.12/1711.63 c 1453s | 24 | 7234117 | 4172962 | 11632 862 | 2 | 5 1713.12/1713.63 c 1455s | 24 | 7243297 | 4178862 | 11632 863 | 2 | 5 1715.12/1715.66 c 1457s | 24 | 7254417 | 4184662 | 11632 864 | 2 | 5 1717.12/1717.66 c 1459s | 24 | 7264096 | 4189462 | 11632 865 | 2 | 5 1719.12/1719.67 c 1461s | 24 | 7273929 | 4194862 | 11632 866 | 2 | 5 1721.13/1721.68 c 1463s | 24 | 7284196 | 4200162 | 11632 867 | 2 | 5 1723.12/1723.68 c 1465s | 24 | 7296104 | 4206362 | 11632 868 | 2 | 5 1725.22/1725.70 c 1467s | 24 | 7304784 | 4211262 | 11632 869 | 2 | 5 1727.22/1727.71 c 1469s | 24 | 7316005 | 4217562 | 11632 870 | 2 | 5 1729.22/1729.72 c 1471s | 24 | 7326569 | 4223362 | 11632 871 | 2 | 5 1731.22/1731.74 c 1473s | 24 | 7335225 | 4229462 | 11632 872 | 2 | 5 1733.22/1733.76 c 1475s | 24 | 7342112 | 4234162 | 11632 873 | 2 | 5 1735.22/1735.78 c 1477s | 24 | 7354393 | 4240362 | 11632 874 | 2 | 5 1737.32/1737.80 c 1479s | 24 | 7364026 | 4246562 | 11632 875 | 2 | 5 1739.31/1739.82 c 1481s | 24 | 7373611 | 4252362 | 11632 876 | 2 | 5 1741.31/1741.84 c 1483s | 24 | 7381944 | 4258062 | 11632 877 | 2 | 5 1743.31/1743.84 c 1485s | 24 | 7390694 | 4263862 | 11632 878 | 2 | 5 1745.32/1745.85 c 1487s | 24 | 7400049 | 4269662 | 11632 879 | 2 | 5 1747.31/1747.86 c 1489s | 24 | 7408448 | 4274062 | 11632 880 | 2 | 5 1749.31/1749.89 c 1491s | 24 | 7418215 | 4279462 | 11632 880 | 2 | 5 1751.41/1751.93 c 1493s | 24 | 7425067 | 4285462 | 11632 881 | 2 | 5 1753.41/1753.96 c 1495s | 24 | 7432906 | 4290962 | 11632 882 | 2 | 5 1755.41/1755.99 c 1497s | 24 | 7442727 | 4296162 | 11632 883 | 2 | 5 1757.51/1758.00 c 1499s | 24 | 7452284 | 4301762 | 11632 884 | 2 | 5 1759.51/1760.02 c 1501s | 24 | 7462842 | 4307562 | 11632 885 | 2 | 5 1761.51/1762.04 c 1503s | 24 | 7472213 | 4313462 | 11632 886 | 2 | 5 1763.51/1764.06 c 1505s | 24 | 7482436 | 4319662 | 11632 887 | 2 | 5 1765.51/1766.08 c 1507s | 24 | 7490247 | 4324762 | 11632 888 | 2 | 5 1767.61/1768.11 c 1509s | 24 | 7500863 | 4330762 | 11632 889 | 2 | 5 1769.61/1770.14 c 1511s | 24 | 7510567 | 4336062 | 11632 890 | 2 | 5 1771.61/1772.15 c 1513s | 24 | 7520667 | 4342562 | 11632 891 | 2 | 5 1773.60/1774.18 c 1515s | 24 | 7530078 | 4348462 | 11632 892 | 2 | 5 1775.60/1776.18 c 1517s | 24 | 7538855 | 4354562 | 11632 893 | 2 | 5 1777.60/1778.19 c 1519s | 24 | 7549369 | 4360762 | 11632 894 | 2 | 5 1779.60/1780.19 c 1521s | 24 | 7557858 | 4365762 | 11632 895 | 2 | 5 1781.70/1782.22 c 1523s | 24 | 7569884 | 4371862 | 11632 896 | 2 | 5 1783.72/1784.25 c 1525s | 24 | 7579115 | 4377162 | 11632 897 | 2 | 5 1785.71/1786.27 c 1527s | 24 | 7590213 | 4383862 | 11632 898 | 2 | 5 1787.71/1788.28 c 1529s | 24 | 7600562 | 4389262 | 11632 899 | 2 | 5 1789.71/1790.28 c 1531s | 24 | 7611565 | 4395662 | 11632 900 | 2 | 5 1791.71/1792.28 c 1533s | 24 | 7621506 | 4402362 | 11632 901 | 2 | 5 1793.72/1794.30 c 1535s | 24 | 7630997 | 4407762 | 11632 902 | 2 | 5 1795.92/1796.42 c 1537s | 24 | 7640629 | 4414362 | 11632 904 | 2 | 5 1797.91/1798.46 c 1539s | 24 | 7650080 | 4420062 | 11632 904 | 2 | 5 1799.91/1800.48 c 1541s | 24 | 7660828 | 4425862 | 11632 905 | 2 | 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-4080111-1465261870/watcher-4080111-1465261870 -o /tmp/evaluation-result-4080111-1465261870/solver-4080111-1465261870 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5800 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080111-1465261870.opb pid=7219 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.21 2.20 2.18 3/180 7222 /proc/meminfo: memFree=29386936/32872528 swapFree=16252/1391864 [pid=7222] ppid=7219 vsize=731580 CPUtime=0 cores=1,3,5,7 /proc/7222/stat : 7222 (toysat) R 7219 7222 5783 0 -1 4202496 2731 0 0 0 0 0 0 0 20 0 4 0 108120132 749137920 3091 33554432000 4194304 16246674 140737166891392 140737166890816 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7222/statm: 183663 3100 441 2943 0 180557 0 [pid=7222/tid=7223] ppid=7219 vsize=750012 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7223/stat : 7223 (toysat) S 7219 7222 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108120132 768012288 3163 33554432000 4194304 16246674 140737166891392 139695293967600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7222/tid=7224] ppid=7219 vsize=755132 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7224/stat : 7224 (toysat) S 7219 7222 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108120132 773255168 3179 33554432000 4194304 16246674 140737166891392 139695283477744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7222/tid=7225] ppid=7219 vsize=758204 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7225/stat : 7225 (toysat) S 7219 7222 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108120132 776400896 3195 33554432000 4194304 16246674 140737166891392 139695273004208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100177 s] /proc/loadavg: 2.21 2.20 2.18 3/180 7222 /proc/meminfo: memFree=29386936/32872528 swapFree=16252/1391864 [pid=7222] ppid=7219 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/7222/stat : 7222 (toysat) R 7219 7222 5783 0 -1 4202496 25695 0 0 0 6 3 0 0 20 0 4 0 108120132 1247350784 26042 33554432000 4194304 16246674 140737166891392 140737166890816 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7222/statm: 304529 26048 790 2943 0 301423 0 [pid=7222/tid=7223] ppid=7219 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7223/stat : 7223 (toysat) S 7219 7222 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108120132 1247350784 26053 33554432000 4194304 16246674 140737166891392 139695293967600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7222/tid=7224] ppid=7219 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7224/stat : 7224 (toysat) S 7219 7222 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108120132 1247350784 26059 33554432000 4194304 16246674 140737166891392 139695283477744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7222/tid=7225] ppid=7219 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7225/stat : 7225 (toysat) S 7219 7222 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108120132 1247350784 26064 33554432000 4194304 16246674 140737166891392 139695273004208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200542 s] /proc/loadavg: 2.21 2.20 2.18 3/180 7222 /proc/meminfo: memFree=29386936/32872528 swapFree=16252/1391864 [pid=7222] ppid=7219 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/7222/stat : 7222 (toysat) R 7219 7222 5783 0 -1 4202496 50294 0 0 0 14 5 0 0 20 0 4 0 108120132 1247350784 50642 33554432000 4194304 16246674 140737166891392 140737166890816 5723873 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7222/statm: 304529 50654 790 2943 0 301423 0 [pid=7222/tid=7223] ppid=7219 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7223/stat : 7223 (toysat) S 7219 7222 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108120132 1247350784 50658 33554432000 4194304 16246674 140737166891392 139695293967600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7222/tid=7224] ppid=7219 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7224/stat : 7224 (toysat) S 7219 7222 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108120132 1247350784 50661 33554432000 4194304 16246674 140737166891392 139695283477744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7222/tid=7225] ppid=7219 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7225/stat : 7225 (toysat) S 7219 7222 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108120132 1247350784 50666 33554432000 4194304 16246674 140737166891392 139695273004208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300447 s] /proc/loadavg: 2.21 2.20 2.18 3/180 7222 /proc/meminfo: memFree=29386936/32872528 swapFree=16252/1391864 [pid=7222] ppid=7219 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/7222/stat : 7222 (toysat) R 7219 7222 5783 0 -1 4202496 73883 0 0 0 20 9 0 0 20 0 4 0 108120132 1247350784 74231 33554432000 4194304 16246674 140737166891392 140737166890816 12479207 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7222/statm: 304529 74249 790 2943 0 301423 0 [pid=7222/tid=7223] ppid=7219 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7223/stat : 7223 (toysat) S 7219 7222 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108120132 1247350784 74259 33554432000 4194304 16246674 140737166891392 139695293967600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7222/tid=7224] ppid=7219 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7224/stat : 7224 (toysat) S 7219 7222 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108120132 1247350784 74269 33554432000 4194304 16246674 140737166891392 139695283477744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7222/tid=7225] ppid=7219 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7225/stat : 7225 (toysat) S 7219 7222 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108120132 1247350784 74275 33554432000 4194304 16246674 140737166891392 139695273004208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700461 s] /proc/loadavg: 2.21 2.20 2.18 3/180 7222 /proc/meminfo: memFree=29386936/32872528 swapFree=16252/1391864 [pid=7222] ppid=7219 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/7222/stat : 7222 (toysat) R 7219 7222 5783 0 -1 4202496 155627 0 0 0 50 19 0 0 20 0 4 0 108120132 1247350784 155975 33554432000 4194304 16246674 140737166891392 140737166873280 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7222/statm: 304529 155991 790 2943 0 301423 0 [pid=7222/tid=7223] ppid=7219 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7223/stat : 7223 (toysat) S 7219 7222 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108120132 1247350784 155996 33554432000 4194304 16246674 140737166891392 139695293967600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7222/tid=7224] ppid=7219 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7224/stat : 7224 (toysat) S 7219 7222 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108120132 1247350784 155999 33554432000 4194304 16246674 140737166891392 139695283477744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7222/tid=7225] ppid=7219 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7225/stat : 7225 (toysat) S 7219 7222 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108120132 1247350784 156002 33554432000 4194304 16246674 140737166891392 139695273004208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50047 s] /proc/loadavg: 2.21 2.20 2.18 3/184 7226 /proc/meminfo: memFree=28456204/32872528 swapFree=16252/1391864 [pid=7222] ppid=7219 vsize=1306180 CPUtime=1.49 cores=1,3,5,7 /proc/7222/stat : 7222 (toysat) R 7219 7222 5783 0 -1 4202496 267407 0 0 0 115 34 0 0 20 0 4 0 108120132 1337528320 267732 33554432000 4194304 16246674 140737166891392 140737166873280 6845877 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7222/statm: 326545 267732 849 2943 0 323439 0 [pid=7222/tid=7223] ppid=7219 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7223/stat : 7223 (toysat) S 7219 7222 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108120132 1337528320 267732 33554432000 4194304 16246674 140737166891392 139695293967600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7222/tid=7224] ppid=7219 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7224/stat : 7224 (toysat) S 7219 7222 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108120132 1337528320 267732 33554432000 4194304 16246674 140737166891392 139695283477744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7222/tid=7225] ppid=7219 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7225/stat : 7225 (toysat) S 7219 7222 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108120132 1337528320 267732 33554432000 4194304 16246674 140737166891392 139695273004208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1306180 [startup+3.10041 s] /proc/loadavg: 2.21 2.20 2.18 4/184 7226 /proc/meminfo: memFree=28316192/32872528 swapFree=16252/1391864 [pid=7222] ppid=7219 vsize=1307204 CPUtime=3.09 cores=1,3,5,7 /proc/7222/stat : 7222 (toysat) R 7219 7222 5783 0 -1 4202496 267809 0 0 0 274 35 0 0 20 0 4 0 108120132 1338576896 268134 33554432000 4194304 16246674 140737166891392 140737166874392 6012212 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7222/statm: 326801 268134 849 2943 0 323695 0 [pid=7222/tid=7223] ppid=7219 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7223/stat : 7223 (toysat) S 7219 7222 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108120132 1338576896 268134 33554432000 4194304 16246674 140737166891392 139695293967600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7222/tid=7224] ppid=7219 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7224/stat : 7224 (toysat) S 7219 7222 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108120132 1338576896 268134 33554432000 4194304 16246674 140737166891392 139695283477744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7222/tid=7225] ppid=7219 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7225/stat : 7225 (toysat) S 7219 7222 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108120132 1338576896 268134 33554432000 4194304 16246674 140737166891392 139695273004208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1307204 [startup+6.30043 s] /proc/loadavg: 2.27 2.22 2.18 4/184 7226 /proc/meminfo: memFree=28315180/32872528 swapFree=16252/1391864 [pid=7222] ppid=7219 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/7222/stat : 7222 (toysat) R 7219 7222 5783 0 -1 4202496 267891 0 0 0 594 35 0 0 20 0 4 0 108120132 1338576896 268216 33554432000 4194304 16246674 140737166891392 140737166873280 13963936 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7222/statm: 326801 268216 849 2943 0 323695 0 [pid=7222/tid=7223] ppid=7219 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7223/stat : 7223 (toysat) S 7219 7222 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108120132 1338576896 268216 33554432000 4194304 16246674 140737166891392 139695293967600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7222/tid=7224] ppid=7219 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7224/stat : 7224 (toysat) S 7219 7222 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108120132 1338576896 268216 33554432000 4194304 16246674 140737166891392 139695283477744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7222/tid=7225] ppid=7219 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7225/stat : 7225 (toysat) S 7219 7222 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108120132 1338576896 268216 33554432000 4194304 16246674 140737166891392 139695273004208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7005 s] /proc/loadavg: 2.25 2.21 2.18 3/184 7226 /proc/meminfo: memFree=28309140/32872528 swapFree=16252/1391864 [pid=7222] ppid=7219 vsize=1313348 CPUtime=12.69 cores=1,3,5,7 /proc/7222/stat : 7222 (toysat) R 7219 7222 5783 0 -1 4202496 269429 0 0 0 1234 35 0 0 20 0 4 0 108120132 1344868352 269754 33554432000 4194304 16246674 140737166891392 140737166873280 5829844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7222/statm: 328337 269754 851 2943 0 325231 0 [pid=7222/tid=7223] ppid=7219 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7223/stat : 7223 (toysat) S 7219 7222 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108120132 1344868352 269754 33554432000 4194304 16246674 140737166891392 139695293967600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7222/tid=7224] ppid=7219 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7224/stat : 7224 (toysat) S 7219 7222 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108120132 1344868352 269754 33554432000 4194304 16246674 140737166891392 139695283477744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7222/tid=7225] ppid=7219 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7225/stat : 7225 (toysat) S 7219 7222 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108120132 1344868352 269754 33554432000 4194304 16246674 140737166891392 139695273004208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1313348 [startup+25.5005 s] /proc/loadavg: 2.34 2.23 2.19 3/184 7226 /proc/meminfo: memFree=28309588/32872528 swapFree=16252/1391864 [pid=7222] ppid=7219 vsize=1313348 CPUtime=25.49 cores=1,3,5,7 /proc/7222/stat : 7222 (toysat) R 7219 7222 5783 0 -1 4202496 269430 0 0 0 2514 35 0 0 20 0 4 0 108120132 1344868352 269755 33554432000 4194304 16246674 140737166891392 140737166873280 13950232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7222/statm: 328337 269755 852 2943 0 325231 0 [pid=7222/tid=7223] ppid=7219 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7223/stat : 7223 (toysat) S 7219 7222 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108120132 1344868352 269755 33554432000 4194304 16246674 140737166891392 139695293967600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7222/tid=7224] ppid=7219 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7224/stat : 7224 (toysat) S 7219 7222 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108120132 1344868352 269755 33554432000 4194304 16246674 140737166891392 139695283477744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7222/tid=7225] ppid=7219 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7225/stat : 7225 (toysat) S 7219 7222 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108120132 1344868352 269755 33554432000 4194304 16246674 140737166891392 139695273004208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1313348 [startup+51.1005 s] /proc/loadavg: 2.38 2.25 2.19 4/184 7227 /proc/meminfo: memFree=28305960/32872528 swapFree=16252/1391864 [pid=7222] ppid=7219 vsize=1317444 CPUtime=51.08 cores=1,3,5,7 /proc/7222/stat : 7222 (toysat) R 7219 7222 5783 0 -1 4202496 270454 0 0 0 5073 35 0 0 20 0 4 0 108120132 1349062656 270779 33554432000 4194304 16246674 140737166891392 140737166873280 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7222/statm: 329361 270779 852 2943 0 326255 0 [pid=7222/tid=7223] ppid=7219 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7223/stat : 7223 (toysat) S 7219 7222 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108120132 1349062656 270779 33554432000 4194304 16246674 140737166891392 139695293967600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7222/tid=7224] ppid=7219 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7224/stat : 7224 (toysat) S 7219 7222 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108120132 1349062656 270779 33554432000 4194304 16246674 140737166891392 139695283477744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7222/tid=7225] ppid=7219 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7225/stat : 7225 (toysat) S 7219 7222 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108120132 1349062656 270779 33554432000 4194304 16246674 140737166891392 139695273004208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1317444 [startup+102.301 s] /proc/loadavg: 2.29 2.24 2.19 3/184 7228 /proc/meminfo: memFree=28305340/32872528 swapFree=16252/1391864 [pid=7222] ppid=7219 vsize=1317444 CPUtime=102.28 cores=1,3,5,7 /proc/7222/stat : 7222 (toysat) R 7219 7222 5783 0 -1 4202496 270454 0 0 0 10192 36 0 0 20 0 4 0 108120132 1349062656 270779 33554432000 4194304 16246674 140737166891392 140737166873280 12477766 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7222/statm: 329361 270779 852 2943 0 326255 0 [pid=7222/tid=7223] ppid=7219 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7223/stat : 7223 (toysat) S 7219 7222 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108120132 1349062656 270779 33554432000 4194304 16246674 140737166891392 139695293967600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7222/tid=7224] ppid=7219 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7224/stat : 7224 (toysat) S 7219 7222 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108120132 1349062656 270779 33554432000 4194304 16246674 140737166891392 139695283477744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7222/tid=7225] ppid=7219 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7225/stat : 7225 (toysat) S 7219 7222 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108120132 1349062656 270779 33554432000 4194304 16246674 140737166891392 139695273004208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1317444 ################ # More data... # ################ /proc/7222/task/7225/stat : 7225 (toysat) S 7219 7222 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108120132 1364791296 274626 33554432000 4194304 16246674 140737166891392 139695273004208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1332804 [startup+1362.3 s] /proc/loadavg: 2.21 2.19 2.18 3/184 7308 /proc/meminfo: memFree=28362012/32872528 swapFree=16252/1391864 [pid=7222] ppid=7219 vsize=1332804 CPUtime=1361.87 cores=1,3,5,7 /proc/7222/stat : 7222 (toysat) R 7219 7222 5783 0 -1 4202496 274726 0 0 0 135984 203 0 0 20 0 4 0 108120132 1364791296 274626 33554432000 4194304 16246674 140737166891392 140737166873280 5822848 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7222/statm: 333201 274626 853 2943 0 330095 0 [pid=7222/tid=7223] ppid=7219 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7223/stat : 7223 (toysat) S 7219 7222 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108120132 1364791296 274626 33554432000 4194304 16246674 140737166891392 139695293967600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7222/tid=7224] ppid=7219 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7224/stat : 7224 (toysat) S 7219 7222 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108120132 1364791296 274626 33554432000 4194304 16246674 140737166891392 139695283477744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7222/tid=7225] ppid=7219 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7225/stat : 7225 (toysat) S 7219 7222 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108120132 1364791296 274626 33554432000 4194304 16246674 140737166891392 139695273004208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1332804 [startup+1422.3 s] /proc/loadavg: 2.19 2.18 2.18 3/184 7309 /proc/meminfo: memFree=28358276/32872528 swapFree=16252/1391864 [pid=7222] ppid=7219 vsize=1335876 CPUtime=1421.86 cores=1,3,5,7 /proc/7222/stat : 7222 (toysat) R 7219 7222 5783 0 -1 4202496 275494 0 0 0 141982 204 0 0 20 0 4 0 108120132 1367937024 275394 33554432000 4194304 16246674 140737166891392 140737166873280 5522925 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7222/statm: 333969 275394 853 2943 0 330863 0 [pid=7222/tid=7223] ppid=7219 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7223/stat : 7223 (toysat) S 7219 7222 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108120132 1367937024 275394 33554432000 4194304 16246674 140737166891392 139695293967600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7222/tid=7224] ppid=7219 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7224/stat : 7224 (toysat) S 7219 7222 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108120132 1367937024 275394 33554432000 4194304 16246674 140737166891392 139695283477744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7222/tid=7225] ppid=7219 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7225/stat : 7225 (toysat) S 7219 7222 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108120132 1367937024 275394 33554432000 4194304 16246674 140737166891392 139695273004208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1335876 [startup+1482.3 s] /proc/loadavg: 2.14 2.16 2.17 3/184 7310 /proc/meminfo: memFree=28358504/32872528 swapFree=16252/1391864 [pid=7222] ppid=7219 vsize=1335876 CPUtime=1481.85 cores=1,3,5,7 /proc/7222/stat : 7222 (toysat) R 7219 7222 5783 0 -1 4202496 275494 0 0 0 147980 205 0 0 20 0 4 0 108120132 1367937024 275394 33554432000 4194304 16246674 140737166891392 140737166873280 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7222/statm: 333969 275394 853 2943 0 330863 0 [pid=7222/tid=7223] ppid=7219 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7223/stat : 7223 (toysat) S 7219 7222 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108120132 1367937024 275394 33554432000 4194304 16246674 140737166891392 139695293967600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7222/tid=7224] ppid=7219 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7224/stat : 7224 (toysat) S 7219 7222 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108120132 1367937024 275394 33554432000 4194304 16246674 140737166891392 139695283477744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7222/tid=7225] ppid=7219 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7225/stat : 7225 (toysat) S 7219 7222 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108120132 1367937024 275394 33554432000 4194304 16246674 140737166891392 139695273004208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1335876 [startup+1542.31 s] /proc/loadavg: 2.12 2.14 2.16 3/184 7311 /proc/meminfo: memFree=28357940/32872528 swapFree=16252/1391864 [pid=7222] ppid=7219 vsize=1335876 CPUtime=1541.85 cores=1,3,5,7 /proc/7222/stat : 7222 (toysat) R 7219 7222 5783 0 -1 4202496 275494 0 0 0 153978 207 0 0 20 0 4 0 108120132 1367937024 275394 33554432000 4194304 16246674 140737166891392 140737166889216 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7222/statm: 333969 275394 853 2943 0 330863 0 [pid=7222/tid=7223] ppid=7219 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7223/stat : 7223 (toysat) S 7219 7222 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108120132 1367937024 275394 33554432000 4194304 16246674 140737166891392 139695293967600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7222/tid=7224] ppid=7219 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7224/stat : 7224 (toysat) S 7219 7222 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108120132 1367937024 275394 33554432000 4194304 16246674 140737166891392 139695283477744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7222/tid=7225] ppid=7219 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7225/stat : 7225 (toysat) S 7219 7222 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108120132 1367937024 275394 33554432000 4194304 16246674 140737166891392 139695273004208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1335876 [startup+1602.3 s] /proc/loadavg: 2.30 2.18 2.17 3/184 7313 /proc/meminfo: memFree=28358204/32872528 swapFree=16252/1391864 [pid=7222] ppid=7219 vsize=1335876 CPUtime=1601.83 cores=1,3,5,7 /proc/7222/stat : 7222 (toysat) R 7219 7222 5783 0 -1 4202496 275494 0 0 0 159975 208 0 0 20 0 4 0 108120132 1367937024 275394 33554432000 4194304 16246674 140737166891392 140737166890488 12483370 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7222/statm: 333969 275394 853 2943 0 330863 0 [pid=7222/tid=7223] ppid=7219 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7223/stat : 7223 (toysat) S 7219 7222 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108120132 1367937024 275394 33554432000 4194304 16246674 140737166891392 139695293967600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7222/tid=7224] ppid=7219 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7224/stat : 7224 (toysat) S 7219 7222 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108120132 1367937024 275394 33554432000 4194304 16246674 140737166891392 139695283477744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7222/tid=7225] ppid=7219 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7225/stat : 7225 (toysat) S 7219 7222 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108120132 1367937024 275394 33554432000 4194304 16246674 140737166891392 139695273004208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1335876 [startup+1662.3 s] /proc/loadavg: 2.21 2.17 2.17 3/184 7314 /proc/meminfo: memFree=28354544/32872528 swapFree=16252/1391864 [pid=7222] ppid=7219 vsize=1339972 CPUtime=1661.82 cores=1,3,5,7 /proc/7222/stat : 7222 (toysat) R 7219 7222 5783 0 -1 4202496 276518 0 0 0 165973 209 0 0 20 0 4 0 108120132 1372131328 276418 33554432000 4194304 16246674 140737166891392 140737166873280 5823086 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7222/statm: 334993 276418 853 2943 0 331887 0 [pid=7222/tid=7223] ppid=7219 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7223/stat : 7223 (toysat) S 7219 7222 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108120132 1372131328 276418 33554432000 4194304 16246674 140737166891392 139695293967600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7222/tid=7224] ppid=7219 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7224/stat : 7224 (toysat) S 7219 7222 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108120132 1372131328 276418 33554432000 4194304 16246674 140737166891392 139695283477744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7222/tid=7225] ppid=7219 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7225/stat : 7225 (toysat) S 7219 7222 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108120132 1372131328 276418 33554432000 4194304 16246674 140737166891392 139695273004208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1339972 [startup+1722.3 s] /proc/loadavg: 2.34 2.20 2.18 3/184 7315 /proc/meminfo: memFree=28354408/32872528 swapFree=16252/1391864 [pid=7222] ppid=7219 vsize=1339972 CPUtime=1721.82 cores=1,3,5,7 /proc/7222/stat : 7222 (toysat) R 7219 7222 5783 0 -1 4202496 276518 0 0 0 171971 211 0 0 20 0 4 0 108120132 1372131328 276418 33554432000 4194304 16246674 140737166891392 140737166873280 5823234 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7222/statm: 334993 276418 853 2943 0 331887 0 [pid=7222/tid=7223] ppid=7219 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7223/stat : 7223 (toysat) S 7219 7222 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108120132 1372131328 276418 33554432000 4194304 16246674 140737166891392 139695293967600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7222/tid=7224] ppid=7219 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7224/stat : 7224 (toysat) S 7219 7222 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108120132 1372131328 276418 33554432000 4194304 16246674 140737166891392 139695283477744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7222/tid=7225] ppid=7219 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7225/stat : 7225 (toysat) S 7219 7222 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108120132 1372131328 276418 33554432000 4194304 16246674 140737166891392 139695273004208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1339972 [startup+1782.3 s] /proc/loadavg: 2.29 2.21 2.18 3/185 7319 /proc/meminfo: memFree=28352204/32872528 swapFree=16252/1391864 [pid=7222] ppid=7219 vsize=1342020 CPUtime=1781.8 cores=1,3,5,7 /proc/7222/stat : 7222 (toysat) R 7219 7222 5783 0 -1 4202496 277004 0 0 0 177969 211 0 0 20 0 4 0 108120132 1374228480 276904 33554432000 4194304 16246674 140737166891392 140737166873280 13927327 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7222/statm: 335505 276904 853 2943 0 332399 0 [pid=7222/tid=7223] ppid=7219 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7223/stat : 7223 (toysat) S 7219 7222 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108120132 1374228480 276904 33554432000 4194304 16246674 140737166891392 139695293967600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7222/tid=7224] ppid=7219 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7224/stat : 7224 (toysat) S 7219 7222 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108120132 1374228480 276904 33554432000 4194304 16246674 140737166891392 139695283477744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7222/tid=7225] ppid=7219 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7225/stat : 7225 (toysat) S 7219 7222 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108120132 1374228480 276904 33554432000 4194304 16246674 140737166891392 139695273004208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 1342020 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.22 2.20 2.18 3/184 7319 /proc/meminfo: memFree=28351964/32872528 swapFree=16252/1391864 [pid=7222] ppid=7219 vsize=1342020 CPUtime=1800.01 cores=1,3,5,7 /proc/7222/stat : 7222 (toysat) R 7219 7222 5783 0 -1 4202496 277030 0 0 0 179789 212 0 0 20 0 4 0 108120132 1374228480 276930 33554432000 4194304 16246674 140737166891392 140737166873280 6836953 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7222/statm: 335505 276930 853 2943 0 332399 0 [pid=7222/tid=7223] ppid=7219 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7223/stat : 7223 (toysat) S 7219 7222 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108120132 1374228480 276930 33554432000 4194304 16246674 140737166891392 139695293967600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7222/tid=7224] ppid=7219 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7224/stat : 7224 (toysat) S 7219 7222 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108120132 1374228480 276930 33554432000 4194304 16246674 140737166891392 139695283477744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7222/tid=7225] ppid=7219 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7225/stat : 7225 (toysat) S 7219 7222 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108120132 1374228480 276930 33554432000 4194304 16246674 140737166891392 139695273004208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1342020 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 7222 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.22 2.20 2.18 3/184 7319 /proc/meminfo: memFree=28351964/32872528 swapFree=16252/1391864 [pid=7222] ppid=7219 vsize=1342020 CPUtime=1800.01 cores=1,3,5,7 /proc/7222/stat : 7222 (toysat) R 7219 7222 5783 0 -1 4202496 277030 0 0 0 179789 212 0 0 20 0 4 0 108120132 1374228480 276930 33554432000 4194304 16246674 140737166891392 140737166873280 6836953 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7222/statm: 335505 276930 853 2943 0 332399 0 [pid=7222/tid=7223] ppid=7219 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7223/stat : 7223 (toysat) S 7219 7222 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108120132 1374228480 276930 33554432000 4194304 16246674 140737166891392 139695293967600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7222/tid=7224] ppid=7219 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7224/stat : 7224 (toysat) S 7219 7222 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108120132 1374228480 276930 33554432000 4194304 16246674 140737166891392 139695283477744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7222/tid=7225] ppid=7219 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/7222/task/7225/stat : 7225 (toysat) S 7219 7222 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108120132 1374228480 276930 33554432000 4194304 16246674 140737166891392 139695273004208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1342020 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1797.9 CPU system time (s): 2.12268 CPU usage (%): 99.9727 Max. virtual memory (cumulated for all children) (KiB): 1342020 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.9 system time used= 2.12268 maximum resident set size= 1107720 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 277030 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= 441 involuntary context switches= 1842 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.5693 second user time and 7.8868 second system time The end
Begin job on node119 at 2016-06-07 03:11:10 IDJOB=4080111 IDBENCH=48248 IDSOLVER=2542 FILE ID=node119/4080111-1465261870 RUNJOBID= node119-1465252213-5800 PBS_JOBID= 19843259 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_2.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080111-1465261870/watcher-4080111-1465261870 -o /tmp/evaluation-result-4080111-1465261870/solver-4080111-1465261870 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5800 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080111-1465261870.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1eb933a10fcc575d2df25e98511c4b07 RANDOM SEED=257154358 node119.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.410 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 : 5332.82 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.410 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.410 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.410 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.410 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.410 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.410 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.56 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.410 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29387596 kB Buffers: 61872 kB Cached: 153500 kB SwapCached: 856 kB Active: 1285020 kB Inactive: 103736 kB Active(anon): 1173844 kB Inactive(anon): 1640 kB Active(file): 111176 kB Inactive(file): 102096 kB Unevictable: 1391864 kB Mlocked: 16252 kB SwapTotal: 67108856 kB SwapFree: 67100136 kB Dirty: 16368 kB Writeback: 0 kB AnonPages: 2564280 kB Mapped: 10832 kB Shmem: 0 kB Slab: 568736 kB SReclaimable: 12916 kB SUnreclaim: 555820 kB KernelStack: 1488 kB PageTables: 9240 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2705296 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1961984 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71708 MiB End job on node119 at 2016-06-07 03:41:11