Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.08 | 1800.61 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-misc07.opb |
| MD5SUM | f36b59f1fcf0c7e8fce521b6b9823495 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 262858 |
| Best CPU time to get the best result obtained on this benchmark | 140.83 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 262858 |
| Optimality of the best value was proved | YES |
| Number of variables | 290 |
| Total number of constraints | 212 |
| Number of constraints which are clauses | 127 |
| Number of constraints which are cardinality constraints (but not clauses) | 13 |
| Number of constraints which are nor clauses,nor cardinality constraints | 72 |
| Minimum length of a constraint | 8 |
| Maximum length of a constraint | 263 |
| Number of terms in the objective function | 31 |
| Biggest coefficient in the objective function | 262145 |
| Number of bits for the biggest coefficient in the objective function | 19 |
| Sum of the numbers in the objective function | 524318 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262145 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 524422 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T06:36:17+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-4101593-1466224576.opb"] 0.00/0.01 c use --random-gen="3363101869 2743684448 901794234 2253290312 3289858329 1684639266 1113784891 4111244564 603144234 3519785083 411187208 501900420 1705386639 966801849 3083147894 3318369448 2045976474 1495493347 516439179 1740173963 94085123 492623648 4190667572 2360374965 2845096570 131931546 3027818202 126778957 144026839 3978793105 3514512219 1707359649 1000635120 2405701602 3022587941 2667266627 578312015 3160641365 880891331 3267734622 2731523679 839098655 3094960084 1051780943 2722278180 152892918 3702877559 1583865374 3587611268 1259841426 1948411412 4097114955 521161216 3775007997 1479714588 1983260552 1194372365 449783778 396688441 3775670982 1444317801 144070496 1210765398 2176534673 2282362762 3199938955 3932609892 93410026 190150191 2998739105 2278502769 507934799 343766843 3157620356 3434595570 3917800996 1890655958 249087516 289225532 2794474575 1902088046 2932515615 1914457786 2777286500 3321270622 180570230 4216637431 4036805942 4094176472 3372297037 3184291746 716922327 2059886814 96434304 1923592727 3774866481 2258000230 142513374 3356305086 4226865713 37980644 2300330228 2323448404 3983625090 2602644490 3697601225 1275363329 3862592508 1828950102 358717223 2816818973 1669417099 2183971025 3575850154 3695787263 3412586808 1444566198 1068841664 4071867164 3183225163 4133556224 1597553632 2009861661 241489076 1875978937 1495728719 903138399 3019102280 1011420585 1291219263 1920913598 1897892291 3547547182 3080839975 3001655928 4079641556 370917888 1161566345 3707868563 336413539 1598657975 3291064159 504397366 2199807860 2855543853 2649175888 2196196984 106037226 896119581 180391152 465635904 456663988 3678322009 2277566210 3320125068 3956833418 2068217765 2939134696 2968321940 2249851066 1164195303 3393460592 3142761357 2987227387 1683442077 1516097239 4165620277 1880052441 1279308755 2512129616 658364628 1133334478 3284741655 764327159 1760980846 3041167500 1040806743 2753654244 1041352481 2130035993 4026001068 2267436229 2258187543 3834424376 1513987403 4098789507 1699816931 1440279326 3519887481 2710346133 2047133862 907683199 1824649204 1208686713 384339173 3176733145 597434995 2528760728 3316234824 2576606541 3906184594 3757105532 2976853903 2970264546 843434510 2010102300 1082294027 2908054382 1975292871 3093237519 2898519535 3418325896 2320138742 3569915191 568726959 601258795 2257599702 2926454321 3913720163 733441511 3277816561 572020646 877995754 2655768952 2072092736 1199635889 309552844 2553585593 2930289359 732086601 3667258460 3588307236 2073953963 3695549787 153466034 3558213815 203535436 1136010752 3726047358 952068645 2721879568 516202823 3492005029 1499658997 1804923992 1258897205 3689473979 3012185952 778372094 2181205932 2060429187 805704090 811862118 594394447 1172765281 1577392474 255 362436" option to reproduce the execution 0.00/0.03 c #vars 290 0.00/0.03 c #constraints 212 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 | 179 0 | 0 | 0 0.00/0.07 c 0.0s | 0 | 178 | 72 | 179 0 | 1 | 0 0.00/0.07 c #cpu_time = 0.018s 0.00/0.07 c #wall_clock_time = 0.019s 0.00/0.07 c #decision = 178 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 72 0.00/0.07 c #restart = 0 0.00/0.07 o 263130 0.09/0.14 c BCD2: updating upper bound: 524318 -> 263129 0.19/0.21 c BCD2: 0 <= obj <= 263129 0.19/0.21 c BCD2: #cores=0, #unrelaxed=31, #relaxed=0, #hardened=0 0.19/0.21 c BCD2: #sat=1 #unsat=1 bias=1/2 0.19/0.21 c Solving starts ... 0.19/0.21 c ============================[ Search Statistics ]============================ 0.19/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.21 c | | | | Limit GC | Var | Constra 0.19/0.21 c ============================================================================= 0.19/0.21 c 0.0s | 0 | 0 | 0 | 179 0 | 1 | 0 0.19/0.21 c 0.0s | 0 | 1 | 1 | 179 0 | 10 | 0 0.19/0.21 c #cpu_time = 0.004s 0.19/0.21 c #wall_clock_time = 0.004s 0.19/0.21 c #decision = 1 0.19/0.21 c #random_decision = 0 0.19/0.21 c #conflict = 1 0.19/0.21 c #restart = 0 0.19/0.21 c BCD2: found a new core of size 1: cost of the new core is >=262145 0.19/0.21 c lower bound updated to 262145 0.19/0.28 c BCD2: hardening fixes 8 literals 0.19/0.28 c BCD2: 262145 <= obj <= 263129 0.19/0.28 c BCD2: #cores=1, #unrelaxed=22, #relaxed=1, #hardened=8 0.19/0.28 c BCD2: #sat=1 #unsat=2 bias=2/3 0.19/0.28 c Solving starts ... 0.19/0.28 c ============================[ Search Statistics ]============================ 0.19/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.28 c | | | | Limit GC | Var | Constra 0.19/0.28 c ============================================================================= 0.19/0.28 c 0.0s | 0 | 0 | 0 | 179 0 | 10 | 0 0.19/0.28 c 0.0s | 0 | 7 | 1 | 179 0 | 10 | 0 0.19/0.28 c #cpu_time = 0.003s 0.19/0.28 c #wall_clock_time = 0.003s 0.19/0.28 c #decision = 7 0.19/0.28 c #random_decision = 0 0.19/0.28 c #conflict = 1 0.19/0.28 c #restart = 0 0.19/0.28 c BCD2: found a new core of size 6: cost of the new core is >=17 0.19/0.28 c lower bound updated to 262162 0.29/0.35 c BCD2: 262162 <= obj <= 263129 0.29/0.35 c BCD2: #cores=2, #unrelaxed=16, #relaxed=7, #hardened=8 0.29/0.35 c BCD2: #sat=1 #unsat=3 bias=3/4 0.29/0.35 c Solving starts ... 0.29/0.35 c ============================[ Search Statistics ]============================ 0.29/0.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.35 c | | | | Limit GC | Var | Constra 0.29/0.35 c ============================================================================= 0.29/0.35 c 0.0s | 0 | 0 | 0 | 179 0 | 10 | 0 0.29/0.37 c 0.0s | 1 | 319 | 100 | 197 0 | 10 | 0 0.39/0.40 c 0.1s | 2 | 720 | 250 | 217 1 | 10 | 0 0.39/0.47 c 0.1s | 3 | 1126 | 475 | 239 1 | 10 | 0 0.59/0.60 c 0.3s | 4 | 1708 | 813 | 263 3 | 10 | 0 0.78/0.81 c 0.5s | 5 | 2450 | 1320 | 290 5 | 10 | 0 0.99/1.10 c 0.8s | 6 | 3690 | 2081 | 319 9 | 10 | 0 1.39/1.46 c 1.1s | 7 | 5430 | 3223 | 351 13 | 10 | 0 1.79/1.87 c 1.5s | 8 | 8097 | 4936 | 387 19 | 10 | 0 2.49/2.54 c 2.2s | 9 | 11953 | 7506 | 426 29 | 10 | 0 3.40/3.48 c 3.1s | 10 | 17238 | 11361 | 469 42 | 10 | 0 4.89/4.95 c 4.6s | 11 | 25446 | 17144 | 516 59 | 10 | 0 6.79/6.81 c 6.5s | 12 | 38094 | 25819 | 568 83 | 10 | 0 8.80/8.81 c 8.5s | 12 | 50237 | 34319 | 568 106 | 10 | 0 9.79/9.83 c 9.5s | 13 | 57130 | 38832 | 625 118 | 10 | 0 11.79/11.84 c 11.5s | 13 | 68377 | 46632 | 625 138 | 10 | 0 13.79/13.86 c 13.5s | 13 | 79670 | 54632 | 625 158 | 10 | 0 14.79/14.80 c 14.5s | 14 | 84660 | 58352 | 688 167 | 10 | 0 16.79/16.82 c 16.5s | 14 | 97249 | 66852 | 688 187 | 10 | 0 18.79/18.83 c 18.5s | 14 | 109315 | 74752 | 688 205 | 10 | 0 20.78/20.83 c 20.5s | 14 | 119958 | 82152 | 688 223 | 10 | 0 22.28/22.31 c 22.0s | 15 | 127729 | 87632 | 757 236 | 10 | 0 24.29/24.33 c 24.0s | 15 | 139495 | 95632 | 757 253 | 10 | 0 26.28/26.35 c 26.0s | 15 | 150304 | 103132 | 757 269 | 10 | 0 28.28/28.37 c 28.0s | 15 | 162259 | 110932 | 757 286 | 10 | 0 30.28/30.37 c 30.0s | 15 | 172690 | 118232 | 757 301 | 10 | 0 32.28/32.37 c 32.0s | 15 | 184479 | 125732 | 757 318 | 10 | 0 33.88/33.93 c 33.6s | 16 | 192354 | 131552 | 833 330 | 10 | 0 35.88/35.94 c 35.6s | 16 | 203469 | 139352 | 833 346 | 10 | 0 37.88/37.95 c 37.6s | 16 | 214017 | 146752 | 833 361 | 10 | 0 39.88/39.96 c 39.6s | 16 | 225669 | 154652 | 833 376 | 10 | 0 41.89/41.99 c 41.6s | 16 | 239049 | 162452 | 833 392 | 10 | 0 43.88/43.99 c 43.6s | 16 | 251566 | 169352 | 833 407 | 10 | 0 45.98/46.00 c 45.7s | 16 | 262158 | 176952 | 833 422 | 10 | 0 47.98/48.01 c 47.7s | 16 | 274492 | 185252 | 833 439 | 10 | 0 49.98/50.02 c 49.7s | 16 | 286021 | 192852 | 833 454 | 10 | 0 50.98/51.09 c 50.7s | 17 | 292761 | 197432 | 917 463 | 10 | 0 53.08/53.11 c 52.8s | 17 | 305046 | 205732 | 917 479 | 10 | 0 55.08/55.12 c 54.8s | 17 | 315960 | 213632 | 917 494 | 10 | 0 57.08/57.12 c 56.8s | 17 | 328187 | 221832 | 917 509 | 10 | 0 59.08/59.13 c 58.8s | 17 | 339880 | 229732 | 917 523 | 10 | 0 61.08/61.14 c 60.8s | 17 | 350610 | 237432 | 917 538 | 10 | 0 63.08/63.15 c 62.8s | 17 | 362765 | 245432 | 917 553 | 10 | 0 65.08/65.16 c 64.8s | 17 | 374821 | 253232 | 917 568 | 10 | 0 67.08/67.16 c 66.8s | 17 | 386211 | 261332 | 917 583 | 10 | 0 69.07/69.16 c 68.8s | 17 | 398492 | 269832 | 917 598 | 10 | 0 71.08/71.18 c 70.8s | 17 | 410284 | 277732 | 917 613 | 10 | 0 73.08/73.19 c 72.8s | 17 | 421929 | 285732 | 917 629 | 10 | 0 75.08/75.19 c 74.8s | 17 | 432225 | 293132 | 917 643 | 10 | 0 75.89/75.92 c 75.6s | 18 | 437040 | 296252 | 1009 648 | 10 | 0 77.88/77.93 c 77.6s | 18 | 447875 | 304052 | 1009 662 | 10 | 0 79.88/79.96 c 79.6s | 18 | 460425 | 312352 | 1009 676 | 10 | 0 81.88/81.98 c 81.6s | 18 | 472889 | 320052 | 1009 689 | 10 | 0 83.88/83.98 c 83.6s | 18 | 483767 | 328052 | 1009 702 | 10 | 0 85.88/85.99 c 85.6s | 18 | 494313 | 335852 | 1009 715 | 10 | 0 87.88/87.99 c 87.6s | 18 | 505214 | 343352 | 1009 728 | 10 | 0 89.98/90.00 c 89.7s | 18 | 515684 | 351052 | 1009 741 | 10 | 0 91.98/92.02 c 91.7s | 18 | 526547 | 359152 | 1009 755 | 10 | 0 93.98/94.03 c 93.7s | 18 | 536699 | 366852 | 1009 768 | 10 | 0 95.98/96.04 c 95.7s | 18 | 547903 | 374652 | 1009 781 | 10 | 0 97.98/98.05 c 97.7s | 18 | 559282 | 382452 | 1009 794 | 10 | 0 99.97/100.07 c 99.7s | 18 | 569933 | 390152 | 1009 807 | 10 | 0 102.07/102.10 c 101s | 18 | 581235 | 398052 | 1009 820 | 10 | 0 104.07/104.11 c 103s | 18 | 593176 | 405952 | 1009 834 | 10 | 0 106.07/106.11 c 105s | 18 | 604780 | 413952 | 1009 847 | 10 | 0 108.07/108.12 c 107s | 18 | 617532 | 422052 | 1009 861 | 10 | 0 110.08/110.12 c 109s | 18 | 628986 | 430052 | 1009 874 | 10 | 0 112.07/112.12 c 111s | 18 | 641455 | 437952 | 1009 888 | 10 | 0 113.77/113.82 c 113s | 19 | 650100 | 444482 | 1110 899 | 10 | 0 115.77/115.84 c 115s | 19 | 662491 | 452582 | 1110 912 | 10 | 0 117.77/117.86 c 117s | 19 | 674054 | 460382 | 1110 924 | 10 | 0 119.77/119.87 c 119s | 19 | 685568 | 468082 | 1110 936 | 10 | 0 121.77/121.88 c 121s | 19 | 696657 | 475582 | 1110 948 | 10 | 0 123.87/123.90 c 123s | 19 | 707940 | 483582 | 1110 961 | 10 | 0 125.87/125.92 c 125s | 19 | 719222 | 491582 | 1110 973 | 10 | 0 127.87/127.93 c 127s | 19 | 731276 | 499182 | 1110 986 | 10 | 0 129.88/129.93 c 129s | 19 | 742701 | 506882 | 1110 998 | 10 | 0 131.87/131.96 c 131s | 19 | 753541 | 514182 | 1110 1009 | 10 | 0 133.87/133.97 c 133s | 19 | 764975 | 521782 | 1110 1021 | 10 | 0 135.87/135.99 c 135s | 19 | 778015 | 529482 | 1110 1033 | 10 | 0 137.97/138.01 c 137s | 19 | 790371 | 536982 | 1110 1045 | 10 | 0 139.97/140.01 c 139s | 19 | 802022 | 544682 | 1110 1057 | 10 | 0 141.98/142.03 c 141s | 19 | 813637 | 552682 | 1110 1070 | 10 | 0 143.97/144.05 c 143s | 19 | 825999 | 560782 | 1110 1083 | 10 | 0 145.97/146.05 c 145s | 19 | 838230 | 568482 | 1110 1095 | 10 | 0 147.97/148.07 c 147s | 19 | 850038 | 576182 | 1110 1107 | 10 | 0 149.97/150.08 c 149s | 19 | 861221 | 583582 | 1110 1119 | 10 | 0 152.07/152.10 c 151s | 19 | 871401 | 590482 | 1110 1130 | 10 | 0 154.08/154.11 c 153s | 19 | 881383 | 597382 | 1110 1141 | 10 | 0 156.07/156.11 c 155s | 19 | 891808 | 604482 | 1110 1153 | 10 | 0 158.07/158.12 c 157s | 19 | 903002 | 611782 | 1110 1164 | 10 | 0 160.07/160.15 c 159s | 19 | 914983 | 619382 | 1110 1176 | 10 | 0 162.07/162.17 c 161s | 19 | 925509 | 626682 | 1110 1188 | 10 | 0 164.07/164.19 c 163s | 19 | 937459 | 633982 | 1110 1200 | 10 | 0 166.07/166.20 c 165s | 19 | 949210 | 641382 | 1110 1212 | 10 | 0 168.17/168.21 c 167s | 19 | 961343 | 649082 | 1110 1225 | 10 | 0 170.17/170.21 c 169s | 19 | 973211 | 656482 | 1110 1237 | 10 | 0 172.17/172.21 c 171s | 19 | 985122 | 664182 | 1221 1249 | 10 | 0 172.77/172.90 c 172s | 20 | 988925 | 666827 | 1221 1253 | 10 | 0 174.87/174.92 c 174s | 20 | 999335 | 674127 | 1221 1263 | 10 | 0 176.87/176.92 c 176s | 20 | 1009988 | 681327 | 1221 1274 | 10 | 0 178.86/178.94 c 178s | 20 | 1022375 | 689327 | 1221 1286 | 10 | 0 180.86/180.94 c 180s | 20 | 1033716 | 696827 | 1221 1296 | 10 | 0 182.86/182.95 c 182s | 20 | 1045186 | 704427 | 1221 1308 | 10 | 0 184.87/184.97 c 184s | 20 | 1057199 | 712127 | 1221 1319 | 10 | 0 186.86/186.97 c 186s | 20 | 1068059 | 719627 | 1221 1330 | 10 | 0 188.86/189.00 c 188s | 20 | 1078324 | 726727 | 1221 1341 | 10 | 0 190.96/191.01 c 190s | 20 | 1088750 | 733527 | 1221 1351 | 10 | 0 192.96/193.02 c 192s | 20 | 1099637 | 740627 | 1221 1362 | 10 | 0 194.96/195.05 c 194s | 20 | 1110501 | 747927 | 1221 1373 | 10 | 0 196.97/197.07 c 196s | 20 | 1121377 | 755127 | 1221 1383 | 10 | 0 198.96/199.10 c 198s | 20 | 1131934 | 761827 | 1221 1393 | 10 | 0 201.06/201.13 c 200s | 20 | 1141830 | 768627 | 1221 1404 | 10 | 0 203.06/203.13 c 202s | 20 | 1151808 | 775627 | 1221 1414 | 10 | 0 205.06/205.14 c 204s | 20 | 1162431 | 782827 | 1221 1425 | 10 | 0 207.06/207.15 c 206s | 20 | 1172608 | 790027 | 1221 1436 | 10 | 0 209.07/209.16 c 208s | 20 | 1182520 | 796827 | 1221 1446 | 10 | 0 211.06/211.17 c 210s | 20 | 1194021 | 804427 | 1221 1457 | 10 | 0 213.06/213.19 c 212s | 20 | 1205821 | 812127 | 1221 1468 | 10 | 0 215.16/215.21 c 214s | 20 | 1218362 | 820327 | 1221 1480 | 10 | 0 217.16/217.21 c 216s | 20 | 1231140 | 828327 | 1221 1492 | 10 | 0 219.15/219.21 c 218s | 20 | 1243845 | 836027 | 1221 1503 | 10 | 0 221.16/221.23 c 220s | 20 | 1255305 | 843927 | 1221 1515 | 10 | 0 223.15/223.24 c 222s | 20 | 1268230 | 851827 | 1221 1526 | 10 | 0 225.15/225.25 c 224s | 20 | 1281567 | 859827 | 1221 1538 | 10 | 0 227.15/227.26 c 226s | 20 | 1293847 | 867827 | 1221 1550 | 10 | 0 229.15/229.28 c 228s | 20 | 1303680 | 874927 | 1221 1560 | 10 | 0 231.15/231.29 c 230s | 20 | 1313927 | 882427 | 1221 1571 | 10 | 0 233.26/233.31 c 232s | 20 | 1323451 | 889427 | 1221 1581 | 10 | 0 235.25/235.34 c 234s | 20 | 1335220 | 896427 | 1221 1592 | 10 | 0 237.25/237.37 c 237s | 20 | 1347550 | 903227 | 1221 1602 | 10 | 0 239.25/239.38 c 239s | 20 | 1359561 | 910427 | 1221 1612 | 10 | 0 241.25/241.39 c 241s | 20 | 1372459 | 918027 | 1221 1623 | 10 | 0 243.35/243.41 c 243s | 20 | 1384419 | 925227 | 1221 1634 | 10 | 0 245.35/245.43 c 245s | 20 | 1396668 | 932627 | 1221 1645 | 10 | 0 247.36/247.45 c 247s | 20 | 1408679 | 940127 | 1221 1656 | 10 | 0 249.36/249.47 c 249s | 20 | 1420769 | 947727 | 1221 1667 | 10 | 0 251.35/251.49 c 251s | 20 | 1431337 | 955327 | 1221 1678 | 10 | 0 253.45/253.50 c 253s | 20 | 1441714 | 963027 | 1221 1689 | 10 | 0 255.45/255.51 c 255s | 20 | 1452244 | 970527 | 1221 1700 | 10 | 0 257.46/257.51 c 257s | 20 | 1462545 | 977927 | 1221 1711 | 10 | 0 259.45/259.53 c 259s | 20 | 1473643 | 985427 | 1221 1722 | 10 | 0 261.45/261.54 c 261s | 20 | 1485006 | 992927 | 1221 1733 | 10 | 0 263.45/263.56 c 263s | 20 | 1495979 | 1000227 | 1344 1743 | 10 | 0 263.45/263.59 c 263s | 21 | 1496139 | 1000345 | 1344 1743 | 10 | 0 265.45/265.60 c 265s | 21 | 1506455 | 1007445 | 1344 1752 | 10 | 0 267.55/267.60 c 267s | 21 | 1518475 | 1014645 | 1344 1762 | 10 | 0 269.56/269.62 c 269s | 21 | 1528681 | 1021845 | 1344 1772 | 10 | 0 271.55/271.65 c 271s | 21 | 1539165 | 1029045 | 1344 1781 | 10 | 0 273.55/273.67 c 273s | 21 | 1549941 | 1036845 | 1344 1791 | 10 | 0 275.55/275.68 c 275s | 21 | 1561245 | 1044545 | 1344 1802 | 10 | 0 277.55/277.69 c 277s | 21 | 1572140 | 1052045 | 1344 1812 | 10 | 0 279.65/279.71 c 279s | 21 | 1583794 | 1059245 | 1344 1821 | 10 | 0 281.66/281.73 c 281s | 21 | 1595610 | 1066645 | 1344 1831 | 10 | 0 283.65/283.74 c 283s | 21 | 1606535 | 1073845 | 1344 1841 | 10 | 0 285.65/285.76 c 285s | 21 | 1617719 | 1080945 | 1344 1851 | 10 | 0 287.65/287.79 c 287s | 21 | 1628423 | 1088145 | 1344 1861 | 10 | 0 289.75/289.80 c 289s | 21 | 1639418 | 1095345 | 1344 1870 | 10 | 0 291.75/291.80 c 291s | 21 | 1650522 | 1102645 | 1344 1880 | 10 | 0 293.75/293.80 c 293s | 21 | 1661072 | 1109745 | 1344 1890 | 10 | 0 295.75/295.83 c 295s | 21 | 1671776 | 1117045 | 1344 1899 | 10 | 0 297.74/297.84 c 297s | 21 | 1682129 | 1124145 | 1344 1909 | 10 | 0 299.74/299.85 c 299s | 21 | 1692053 | 1130645 | 1344 1918 | 10 | 0 301.74/301.87 c 301s | 21 | 1701683 | 1137445 | 1344 1927 | 10 | 0 303.74/303.89 c 303s | 21 | 1710986 | 1144145 | 1344 1936 | 10 | 0 305.85/305.91 c 305s | 21 | 1721955 | 1150945 | 1344 1945 | 10 | 0 307.84/307.93 c 307s | 21 | 1732569 | 1158145 | 1344 1955 | 10 | 0 309.84/309.93 c 309s | 21 | 1744143 | 1165145 | 1344 1965 | 10 | 0 311.84/311.95 c 311s | 21 | 1754818 | 1172145 | 1344 1974 | 10 | 0 313.84/313.97 c 313s | 21 | 1765328 | 1179145 | 1344 1984 | 10 | 0 315.84/315.99 c 315s | 21 | 1774730 | 1185745 | 1344 1993 | 10 | 0 317.95/318.02 c 317s | 21 | 1784003 | 1192345 | 1344 2002 | 10 | 0 319.94/320.03 c 319s | 21 | 1793731 | 1199145 | 1344 2011 | 10 | 0 321.94/322.03 c 321s | 21 | 1803662 | 1206045 | 1344 2020 | 10 | 0 323.94/324.05 c 323s | 21 | 1813797 | 1213645 | 1344 2030 | 10 | 0 325.94/326.06 c 325s | 21 | 1824684 | 1221245 | 1344 2040 | 10 | 0 327.94/328.07 c 327s | 21 | 1834562 | 1228545 | 1344 2050 | 10 | 0 329.94/330.09 c 329s | 21 | 1845155 | 1236145 | 1344 2060 | 10 | 0 332.04/332.11 c 331s | 21 | 1855407 | 1243345 | 1344 2070 | 10 | 0 334.03/334.11 c 333s | 21 | 1866887 | 1251145 | 1344 2080 | 10 | 0 336.03/336.13 c 335s | 21 | 1875930 | 1257845 | 1344 2089 | 10 | 0 338.04/338.14 c 337s | 21 | 1887277 | 1265445 | 1344 2100 | 10 | 0 340.04/340.16 c 339s | 21 | 1899861 | 1273545 | 1344 2111 | 10 | 0 342.05/342.17 c 341s | 21 | 1911140 | 1281245 | 1344 2121 | 10 | 0 344.04/344.17 c 343s | 21 | 1921758 | 1288545 | 1344 2131 | 10 | 0 346.04/346.18 c 345s | 21 | 1933144 | 1296145 | 1344 2141 | 10 | 0 348.04/348.18 c 347s | 21 | 1944946 | 1303745 | 1344 2151 | 10 | 0 350.04/350.19 c 349s | 21 | 1955848 | 1310945 | 1344 2160 | 10 | 0 352.14/352.22 c 351s | 21 | 1966901 | 1318345 | 1344 2170 | 10 | 0 354.14/354.22 c 353s | 21 | 1977182 | 1325545 | 1344 2180 | 10 | 0 356.14/356.25 c 355s | 21 | 1986939 | 1332845 | 1344 2189 | 10 | 0 358.14/358.25 c 357s | 21 | 1997144 | 1339945 | 1344 2199 | 10 | 0 360.14/360.26 c 359s | 21 | 2006711 | 1346745 | 1344 2208 | 10 | 0 362.14/362.27 c 361s | 21 | 2019826 | 1353745 | 1344 2218 | 10 | 0 364.14/364.29 c 363s | 21 | 2033525 | 1361145 | 1344 2228 | 10 | 0 366.24/366.30 c 365s | 21 | 2044637 | 1368845 | 1344 2238 | 10 | 0 368.24/368.32 c 367s | 21 | 2054896 | 1376145 | 1344 2247 | 10 | 0 370.23/370.32 c 369s | 21 | 2065511 | 1383345 | 1344 2257 | 10 | 0 372.23/372.34 c 371s | 21 | 2076773 | 1391245 | 1344 2268 | 10 | 0 374.23/374.35 c 374s | 21 | 2087285 | 1398545 | 1344 2277 | 10 | 0 376.24/376.37 c 376s | 21 | 2098313 | 1405845 | 1344 2287 | 10 | 0 378.23/378.38 c 378s | 21 | 2108911 | 1413145 | 1344 2297 | 10 | 0 380.23/380.39 c 380s | 21 | 2118825 | 1420045 | 1344 2307 | 10 | 0 382.33/382.41 c 382s | 21 | 2127173 | 1426245 | 1344 2315 | 10 | 0 384.33/384.43 c 384s | 21 | 2138185 | 1433345 | 1344 2325 | 10 | 0 386.33/386.44 c 386s | 21 | 2150844 | 1440145 | 1344 2334 | 10 | 0 388.34/388.44 c 388s | 21 | 2162508 | 1446845 | 1344 2343 | 10 | 0 390.33/390.46 c 390s | 21 | 2174131 | 1453645 | 1344 2352 | 10 | 0 392.33/392.48 c 392s | 21 | 2183932 | 1460545 | 1344 2361 | 10 | 0 394.33/394.49 c 394s | 21 | 2194891 | 1468045 | 1344 2372 | 10 | 0 396.43/396.50 c 396s | 21 | 2206736 | 1474845 | 1344 2381 | 10 | 0 398.43/398.52 c 398s | 21 | 2217527 | 1481845 | 1344 2390 | 10 | 0 400.43/400.54 c 400s | 21 | 2227194 | 1488645 | 1344 2400 | 10 | 0 402.42/402.57 c 402s | 21 | 2237784 | 1495745 | 1479 2409 | 10 | 0 403.92/404.02 c 403s | 22 | 2244886 | 1500622 | 1479 2415 | 10 | 0 405.93/406.04 c 405s | 22 | 2255325 | 1508022 | 1479 2424 | 10 | 0 407.92/408.06 c 407s | 22 | 2264872 | 1515022 | 1479 2432 | 10 | 0 409.92/410.07 c 409s | 22 | 2275441 | 1522122 | 1479 2441 | 10 | 0 411.93/412.08 c 411s | 22 | 2285573 | 1529122 | 1479 2449 | 10 | 0 414.03/414.11 c 413s | 22 | 2297072 | 1536722 | 1479 2459 | 10 | 0 416.03/416.11 c 415s | 22 | 2307943 | 1543722 | 1479 2467 | 10 | 0 418.03/418.14 c 417s | 22 | 2318188 | 1550722 | 1479 2476 | 10 | 0 420.03/420.15 c 419s | 22 | 2330126 | 1558222 | 1479 2485 | 10 | 0 422.03/422.16 c 421s | 22 | 2342114 | 1566122 | 1479 2495 | 10 | 0 424.03/424.17 c 423s | 22 | 2351336 | 1572722 | 1479 2503 | 10 | 0 426.13/426.20 c 425s | 22 | 2360150 | 1579522 | 1479 2511 | 10 | 0 428.13/428.21 c 427s | 22 | 2371323 | 1586822 | 1479 2521 | 10 | 0 430.13/430.22 c 429s | 22 | 2382571 | 1594322 | 1479 2530 | 10 | 0 432.12/432.23 c 431s | 22 | 2392829 | 1601522 | 1479 2539 | 10 | 0 434.12/434.24 c 433s | 22 | 2402235 | 1608322 | 1479 2547 | 10 | 0 436.12/436.27 c 435s | 22 | 2411920 | 1615122 | 1479 2555 | 10 | 0 438.22/438.30 c 437s | 22 | 2421068 | 1621422 | 1479 2563 | 10 | 0 440.22/440.33 c 439s | 22 | 2429590 | 1627622 | 1479 2571 | 10 | 0 442.23/442.34 c 441s | 22 | 2439923 | 1634822 | 1479 2580 | 10 | 0 444.22/444.36 c 444s | 22 | 2452390 | 1641922 | 1479 2588 | 10 | 0 446.22/446.36 c 446s | 22 | 2463796 | 1648722 | 1479 2597 | 10 | 0 448.22/448.36 c 448s | 22 | 2475237 | 1655922 | 1479 2606 | 10 | 0 450.22/450.37 c 450s | 22 | 2486364 | 1663222 | 1479 2615 | 10 | 0 452.22/452.37 c 452s | 22 | 2495908 | 1669522 | 1479 2623 | 10 | 0 454.23/454.39 c 454s | 22 | 2505278 | 1676222 | 1479 2631 | 10 | 0 456.32/456.40 c 456s | 22 | 2516308 | 1683622 | 1479 2640 | 10 | 0 458.32/458.43 c 458s | 22 | 2525741 | 1690322 | 1479 2649 | 10 | 0 460.32/460.44 c 460s | 22 | 2535739 | 1697222 | 1479 2657 | 10 | 0 462.32/462.46 c 462s | 22 | 2546970 | 1704422 | 1479 2666 | 10 | 0 464.32/464.46 c 464s | 22 | 2557719 | 1711322 | 1479 2675 | 10 | 0 466.32/466.48 c 466s | 22 | 2568437 | 1718322 | 1479 2683 | 10 | 0 468.32/468.49 c 468s | 22 | 2578736 | 1725122 | 1479 2692 | 10 | 0 470.42/470.52 c 470s | 22 | 2588746 | 1732122 | 1479 2701 | 10 | 0 472.42/472.52 c 472s | 22 | 2598122 | 1738822 | 1479 2709 | 10 | 0 474.41/474.55 c 474s | 22 | 2608573 | 1746122 | 1479 2718 | 10 | 0 476.41/476.57 c 476s | 22 | 2617916 | 1753022 | 1479 2727 | 10 | 0 478.42/478.59 c 478s | 22 | 2629162 | 1760322 | 1479 2736 | 10 | 0 480.51/480.61 c 480s | 22 | 2639683 | 1767522 | 1479 2745 | 10 | 0 482.51/482.63 c 482s | 22 | 2650104 | 1774322 | 1479 2753 | 10 | 0 484.51/484.64 c 484s | 22 | 2659688 | 1780822 | 1479 2761 | 10 | 0 486.51/486.65 c 486s | 22 | 2670612 | 1788122 | 1479 2770 | 10 | 0 488.51/488.66 c 488s | 22 | 2680350 | 1795222 | 1479 2779 | 10 | 0 490.52/490.67 c 490s | 22 | 2689853 | 1802022 | 1479 2787 | 10 | 0 492.51/492.69 c 492s | 22 | 2699000 | 1808822 | 1479 2796 | 10 | 0 494.61/494.70 c 494s | 22 | 2708308 | 1815622 | 1479 2804 | 10 | 0 496.61/496.73 c 496s | 22 | 2717251 | 1822322 | 1479 2812 | 10 | 0 498.61/498.76 c 498s | 22 | 2724455 | 1828222 | 1479 2820 | 10 | 0 500.61/500.76 c 500s | 22 | 2734055 | 1835222 | 1479 2828 | 10 | 0 502.62/502.77 c 502s | 22 | 2743416 | 1841922 | 1479 2836 | 10 | 0 504.61/504.78 c 504s | 22 | 2753774 | 1849022 | 1479 2845 | 10 | 0 506.71/506.80 c 506s | 22 | 2764503 | 1856022 | 1479 2853 | 10 | 0 508.71/508.81 c 508s | 22 | 2776573 | 1863122 | 1479 2862 | 10 | 0 510.71/510.82 c 510s | 22 | 2787232 | 1870522 | 1479 2871 | 10 | 0 512.71/512.83 c 512s | 22 | 2797433 | 1877522 | 1479 2880 | 10 | 0 514.71/514.83 c 514s | 22 | 2808455 | 1884622 | 1479 2889 | 10 | 0 516.71/516.86 c 516s | 22 | 2818999 | 1892522 | 1479 2898 | 10 | 0 518.71/518.88 c 518s | 22 | 2830117 | 1900222 | 1479 2908 | 10 | 0 520.71/520.89 c 520s | 22 | 2839495 | 1907222 | 1479 2916 | 10 | 0 522.81/522.90 c 522s | 22 | 2850097 | 1914622 | 1479 2925 | 10 | 0 524.81/524.92 c 524s | 22 | 2860813 | 1922122 | 1479 2934 | 10 | 0 526.81/526.93 c 526s | 22 | 2869776 | 1929022 | 1479 2943 | 10 | 0 528.81/528.95 c 528s | 22 | 2879475 | 1935922 | 1479 2951 | 10 | 0 530.81/530.96 c 530s | 22 | 2889641 | 1943222 | 1479 2960 | 10 | 0 532.81/532.98 c 532s | 22 | 2898560 | 1950022 | 1479 2968 | 10 | 0 534.81/534.99 c 534s | 22 | 2908121 | 1957222 | 1479 2977 | 10 | 0 536.82/537.00 c 536s | 22 | 2918188 | 1964522 | 1479 2986 | 10 | 0 538.92/539.02 c 538s | 22 | 2928369 | 1971622 | 1479 2995 | 10 | 0 540.91/541.03 c 540s | 22 | 2938390 | 1978622 | 1479 3004 | 10 | 0 542.91/543.06 c 542s | 22 | 2948869 | 1985922 | 1479 3013 | 10 | 0 544.91/545.09 c 544s | 22 | 2958162 | 1992822 | 1479 3021 | 10 | 0 546.91/547.09 c 546s | 22 | 2967968 | 1999822 | 1479 3030 | 10 | 0 549.01/549.12 c 548s | 22 | 2977567 | 2006822 | 1479 3038 | 10 | 0 551.02/551.14 c 550s | 22 | 2988344 | 2014222 | 1479 3048 | 10 | 0 553.01/553.16 c 552s | 22 | 2998613 | 2021122 | 1479 3056 | 10 | 0 555.01/555.17 c 554s | 22 | 3010585 | 2028522 | 1479 3065 | 10 | 0 557.01/557.19 c 556s | 22 | 3022193 | 2035822 | 1479 3074 | 10 | 0 559.11/559.21 c 558s | 22 | 3032680 | 2042622 | 1479 3083 | 10 | 0 561.11/561.23 c 560s | 22 | 3043153 | 2049722 | 1479 3092 | 10 | 0 563.11/563.26 c 562s | 22 | 3054442 | 2056522 | 1479 3101 | 10 | 0 565.11/565.27 c 564s | 22 | 3065937 | 2063422 | 1479 3109 | 10 | 0 567.10/567.27 c 566s | 22 | 3076291 | 2070222 | 1479 3118 | 10 | 0 569.20/569.30 c 568s | 22 | 3086262 | 2077022 | 1479 3126 | 10 | 0 571.20/571.32 c 570s | 22 | 3097718 | 2084422 | 1479 3136 | 10 | 0 573.20/573.32 c 572s | 22 | 3108339 | 2091422 | 1479 3144 | 10 | 0 575.21/575.35 c 574s | 22 | 3119416 | 2098722 | 1479 3153 | 10 | 0 577.20/577.37 c 577s | 22 | 3129865 | 2105922 | 1479 3162 | 10 | 0 579.20/579.38 c 579s | 22 | 3141305 | 2113322 | 1479 3172 | 10 | 0 581.20/581.39 c 581s | 22 | 3151655 | 2120522 | 1479 3181 | 10 | 0 583.30/583.43 c 583s | 22 | 3162558 | 2127422 | 1479 3189 | 10 | 0 585.30/585.43 c 585s | 22 | 3173004 | 2134222 | 1479 3198 | 10 | 0 587.30/587.45 c 587s | 22 | 3182304 | 2141022 | 1479 3206 | 10 | 0 589.30/589.45 c 589s | 22 | 3191085 | 2147722 | 1479 3214 | 10 | 0 591.30/591.46 c 591s | 22 | 3200742 | 2154422 | 1479 3223 | 10 | 0 593.30/593.47 c 593s | 22 | 3211649 | 2161222 | 1479 3231 | 10 | 0 595.30/595.48 c 595s | 22 | 3222619 | 2168022 | 1479 3240 | 10 | 0 597.30/597.48 c 597s | 22 | 3233973 | 2175022 | 1479 3249 | 10 | 0 599.40/599.50 c 599s | 22 | 3245617 | 2182022 | 1479 3258 | 10 | 0 601.40/601.50 c 601s | 22 | 3256367 | 2188722 | 1479 3267 | 10 | 0 603.40/603.53 c 603s | 22 | 3267248 | 2195322 | 1479 3275 | 10 | 0 605.40/605.54 c 605s | 22 | 3277893 | 2201722 | 1479 3284 | 10 | 0 607.39/607.56 c 607s | 22 | 3287423 | 2208022 | 1479 3292 | 10 | 0 609.40/609.58 c 609s | 22 | 3296544 | 2214222 | 1479 3300 | 10 | 0 611.39/611.58 c 611s | 22 | 3304562 | 2219822 | 1479 3307 | 10 | 0 613.39/613.59 c 613s | 22 | 3317403 | 2226122 | 1479 3316 | 10 | 0 615.49/615.61 c 615s | 22 | 3332037 | 2232422 | 1479 3324 | 10 | 0 617.49/617.63 c 617s | 22 | 3345783 | 2238822 | 1627 3331 | 10 | 0 619.49/619.63 c 619s | 22 | 3357491 | 2244622 | 1627 3338 | 10 | 0 621.50/621.65 c 621s | 22 | 3369408 | 2251022 | 1627 3346 | 10 | 0 621.50/621.66 c 621s | 23 | 3369430 | 2251038 | 1627 3346 | 10 | 0 623.49/623.68 c 623s | 23 | 3380092 | 2258138 | 1627 3354 | 10 | 0 625.49/625.68 c 625s | 23 | 3389561 | 2265138 | 1627 3362 | 10 | 0 627.49/627.69 c 627s | 23 | 3399766 | 2272138 | 1627 3369 | 10 | 0 629.59/629.70 c 629s | 23 | 3409533 | 2278938 | 1627 3377 | 10 | 0 631.59/631.72 c 631s | 23 | 3419558 | 2285838 | 1627 3385 | 10 | 0 633.60/633.72 c 633s | 23 | 3429487 | 2292638 | 1627 3393 | 10 | 0 635.60/635.73 c 635s | 23 | 3439754 | 2299538 | 1627 3400 | 10 | 0 637.60/637.73 c 637s | 23 | 3449827 | 2306338 | 1627 3408 | 10 | 0 639.60/639.75 c 639s | 23 | 3459849 | 2313338 | 1627 3416 | 10 | 0 641.60/641.76 c 641s | 23 | 3469656 | 2320238 | 1627 3424 | 10 | 0 643.60/643.78 c 643s | 23 | 3479458 | 2327038 | 1627 3432 | 10 | 0 645.70/645.81 c 645s | 23 | 3489168 | 2333738 | 1627 3439 | 10 | 0 647.69/647.81 c 647s | 23 | 3498777 | 2340138 | 1627 3447 | 10 | 0 649.69/649.84 c 649s | 23 | 3508869 | 2346938 | 1627 3454 | 10 | 0 651.69/651.85 c 651s | 23 | 3519716 | 2353938 | 1627 3462 | 10 | 0 653.69/653.85 c 653s | 23 | 3529946 | 2360738 | 1627 3470 | 10 | 0 655.69/655.85 c 655s | 23 | 3539200 | 2367438 | 1627 3478 | 10 | 0 657.70/657.85 c 657s | 23 | 3548515 | 2374038 | 1627 3486 | 10 | 0 659.69/659.87 c 659s | 23 | 3559207 | 2380938 | 1627 3493 | 10 | 0 661.79/661.90 c 661s | 23 | 3569962 | 2387438 | 1627 3501 | 10 | 0 663.79/663.90 c 663s | 23 | 3580248 | 2394138 | 1627 3508 | 10 | 0 665.79/665.94 c 665s | 23 | 3589420 | 2400538 | 1627 3516 | 10 | 0 667.79/667.97 c 667s | 23 | 3599426 | 2407438 | 1627 3523 | 10 | 0 669.80/669.98 c 669s | 23 | 3607957 | 2413838 | 1627 3531 | 10 | 0 671.89/672.02 c 671s | 23 | 3616437 | 2420238 | 1627 3538 | 10 | 0 673.89/674.03 c 673s | 23 | 3625794 | 2426938 | 1627 3546 | 10 | 0 675.89/676.03 c 675s | 23 | 3635367 | 2433638 | 1627 3553 | 10 | 0 677.89/678.05 c 677s | 23 | 3644267 | 2440238 | 1627 3561 | 10 | 0 679.89/680.06 c 679s | 23 | 3653357 | 2446738 | 1627 3568 | 10 | 0 681.89/682.08 c 681s | 23 | 3661402 | 2452938 | 1627 3575 | 10 | 0 683.99/684.10 c 683s | 23 | 3669982 | 2459538 | 1627 3582 | 10 | 0 685.99/686.12 c 685s | 23 | 3678030 | 2465638 | 1627 3589 | 10 | 0 687.99/688.13 c 687s | 23 | 3686429 | 2471938 | 1627 3596 | 10 | 0 689.99/690.15 c 689s | 23 | 3695265 | 2478338 | 1627 3604 | 10 | 0 691.98/692.16 c 691s | 23 | 3704261 | 2484838 | 1627 3611 | 10 | 0 693.99/694.17 c 693s | 23 | 3712961 | 2491538 | 1627 3619 | 10 | 0 696.08/696.20 c 695s | 23 | 3723396 | 2498638 | 1627 3627 | 10 | 0 698.08/698.23 c 697s | 23 | 3732289 | 2505538 | 1627 3634 | 10 | 0 700.08/700.23 c 699s | 23 | 3742589 | 2512338 | 1627 3642 | 10 | 0 702.08/702.26 c 701s | 23 | 3752123 | 2519238 | 1627 3650 | 10 | 0 704.08/704.27 c 703s | 23 | 3762400 | 2525838 | 1627 3658 | 10 | 0 706.09/706.28 c 705s | 23 | 3771869 | 2532638 | 1627 3665 | 10 | 0 708.08/708.29 c 707s | 23 | 3780890 | 2539238 | 1627 3673 | 10 | 0 710.18/710.31 c 709s | 23 | 3791093 | 2546038 | 1627 3681 | 10 | 0 712.18/712.32 c 711s | 23 | 3801857 | 2552738 | 1627 3688 | 10 | 0 714.18/714.33 c 713s | 23 | 3811555 | 2559638 | 1627 3696 | 10 | 0 716.18/716.34 c 715s | 23 | 3820647 | 2566238 | 1627 3704 | 10 | 0 718.18/718.36 c 718s | 23 | 3830083 | 2572938 | 1627 3712 | 10 | 0 720.18/720.37 c 720s | 23 | 3840443 | 2579838 | 1627 3720 | 10 | 0 722.18/722.39 c 722s | 23 | 3849929 | 2586638 | 1627 3727 | 10 | 0 724.18/724.39 c 724s | 23 | 3859731 | 2593338 | 1627 3735 | 10 | 0 726.28/726.40 c 726s | 23 | 3869105 | 2600138 | 1627 3743 | 10 | 0 728.27/728.41 c 728s | 23 | 3878740 | 2607138 | 1627 3751 | 10 | 0 730.28/730.43 c 730s | 23 | 3887309 | 2613738 | 1627 3758 | 10 | 0 732.27/732.44 c 732s | 23 | 3895423 | 2620038 | 1627 3765 | 10 | 0 734.27/734.46 c 734s | 23 | 3904859 | 2626838 | 1627 3773 | 10 | 0 736.27/736.48 c 736s | 23 | 3913880 | 2633438 | 1627 3781 | 10 | 0 738.37/738.51 c 738s | 23 | 3922813 | 2640038 | 1627 3788 | 10 | 0 740.37/740.51 c 740s | 23 | 3932319 | 2646638 | 1627 3796 | 10 | 0 742.38/742.52 c 742s | 23 | 3942268 | 2653338 | 1627 3803 | 10 | 0 744.37/744.55 c 744s | 23 | 3951768 | 2659638 | 1627 3810 | 10 | 0 746.37/746.56 c 746s | 23 | 3961119 | 2665838 | 1627 3818 | 10 | 0 748.36/748.56 c 748s | 23 | 3970084 | 2672138 | 1627 3825 | 10 | 0 750.36/750.58 c 750s | 23 | 3979361 | 2678738 | 1627 3832 | 10 | 0 752.37/752.59 c 752s | 23 | 3988613 | 2685438 | 1627 3840 | 10 | 0 754.47/754.61 c 754s | 23 | 3998515 | 2692438 | 1627 3848 | 10 | 0 756.46/756.64 c 756s | 23 | 4008590 | 2699638 | 1627 3856 | 10 | 0 758.46/758.65 c 758s | 23 | 4017830 | 2706338 | 1627 3864 | 10 | 0 760.46/760.68 c 760s | 23 | 4028094 | 2713338 | 1627 3872 | 10 | 0 762.56/762.71 c 762s | 23 | 4037584 | 2720138 | 1627 3880 | 10 | 0 764.56/764.73 c 764s | 23 | 4047312 | 2726138 | 1627 3887 | 10 | 0 766.57/766.76 c 766s | 23 | 4057282 | 2733138 | 1627 3895 | 10 | 0 768.56/768.76 c 768s | 23 | 4066797 | 2739938 | 1627 3903 | 10 | 0 770.56/770.78 c 770s | 23 | 4076796 | 2747038 | 1627 3911 | 10 | 0 772.56/772.79 c 772s | 23 | 4085258 | 2753538 | 1627 3918 | 10 | 0 774.66/774.81 c 774s | 23 | 4093291 | 2759638 | 1627 3925 | 10 | 0 776.66/776.81 c 776s | 23 | 4103557 | 2766838 | 1627 3933 | 10 | 0 778.66/778.84 c 778s | 23 | 4113399 | 2773538 | 1627 3941 | 10 | 0 780.65/780.86 c 780s | 23 | 4122799 | 2780238 | 1627 3949 | 10 | 0 782.65/782.87 c 782s | 23 | 4132273 | 2786938 | 1627 3957 | 10 | 0 784.65/784.88 c 784s | 23 | 4142102 | 2793538 | 1627 3964 | 10 | 0 786.75/786.90 c 786s | 23 | 4152099 | 2800038 | 1627 3972 | 10 | 0 788.75/788.91 c 788s | 23 | 4160859 | 2805938 | 1627 3978 | 10 | 0 790.76/790.93 c 790s | 23 | 4169965 | 2811438 | 1627 3985 | 10 | 0 792.75/792.94 c 792s | 23 | 4178589 | 2817438 | 1627 3992 | 10 | 0 794.75/794.96 c 794s | 23 | 4186800 | 2823738 | 1627 3999 | 10 | 0 796.85/797.00 c 796s | 23 | 4196363 | 2830538 | 1627 4007 | 10 | 0 798.85/799.01 c 798s | 23 | 4206819 | 2837638 | 1627 4015 | 10 | 0 800.85/801.01 c 800s | 23 | 4215752 | 2844138 | 1627 4022 | 10 | 0 802.85/803.05 c 802s | 23 | 4224287 | 2850238 | 1627 4029 | 10 | 0 804.84/805.08 c 804s | 23 | 4233276 | 2856438 | 1627 4036 | 10 | 0 806.94/807.11 c 806s | 23 | 4241757 | 2862738 | 1627 4044 | 10 | 0 808.94/809.12 c 808s | 23 | 4251085 | 2869138 | 1627 4051 | 10 | 0 810.94/811.12 c 810s | 23 | 4260226 | 2875538 | 1627 4058 | 10 | 0 812.94/813.14 c 812s | 23 | 4268442 | 2881438 | 1627 4065 | 10 | 0 814.94/815.14 c 814s | 23 | 4277244 | 2887938 | 1627 4073 | 10 | 0 816.93/817.14 c 816s | 23 | 4286150 | 2894438 | 1627 4080 | 10 | 0 818.93/819.16 c 818s | 23 | 4295831 | 2901238 | 1627 4088 | 10 | 0 820.93/821.17 c 820s | 23 | 4305728 | 2908238 | 1627 4096 | 10 | 0 822.93/823.18 c 822s | 23 | 4314918 | 2914938 | 1627 4104 | 10 | 0 824.94/825.19 c 824s | 23 | 4324521 | 2921638 | 1627 4111 | 10 | 0 827.03/827.21 c 826s | 23 | 4333208 | 2928038 | 1627 4119 | 10 | 0 829.02/829.21 c 828s | 23 | 4342447 | 2934638 | 1627 4126 | 10 | 0 831.02/831.24 c 830s | 23 | 4351488 | 2940938 | 1627 4134 | 10 | 0 833.02/833.26 c 832s | 23 | 4359922 | 2946938 | 1627 4141 | 10 | 0 835.02/835.28 c 834s | 23 | 4369107 | 2953138 | 1627 4148 | 10 | 0 837.12/837.30 c 836s | 23 | 4378235 | 2959738 | 1627 4155 | 10 | 0 839.12/839.33 c 838s | 23 | 4387353 | 2966138 | 1627 4163 | 10 | 0 841.12/841.35 c 841s | 23 | 4396769 | 2972738 | 1627 4171 | 10 | 0 843.12/843.37 c 843s | 23 | 4404702 | 2978738 | 1627 4178 | 10 | 0 845.13/845.38 c 845s | 23 | 4413845 | 2985038 | 1627 4185 | 10 | 0 847.12/847.39 c 847s | 23 | 4423482 | 2991238 | 1627 4192 | 10 | 0 849.22/849.40 c 849s | 23 | 4434759 | 2998238 | 1627 4200 | 10 | 0 851.23/851.42 c 851s | 23 | 4445736 | 3005238 | 1627 4208 | 10 | 0 853.22/853.43 c 853s | 23 | 4456044 | 3012338 | 1627 4216 | 10 | 0 855.22/855.44 c 855s | 23 | 4466118 | 3019438 | 1627 4225 | 10 | 0 857.21/857.48 c 857s | 23 | 4475087 | 3025438 | 1627 4232 | 10 | 0 859.31/859.50 c 859s | 23 | 4483851 | 3031738 | 1627 4239 | 10 | 0 861.31/861.50 c 861s | 23 | 4492316 | 3037838 | 1627 4246 | 10 | 0 863.32/863.50 c 863s | 23 | 4500313 | 3043738 | 1627 4253 | 10 | 0 865.31/865.53 c 865s | 23 | 4509266 | 3050038 | 1627 4260 | 10 | 0 867.31/867.53 c 867s | 23 | 4518439 | 3056538 | 1627 4268 | 10 | 0 869.31/869.55 c 869s | 23 | 4526798 | 3062838 | 1627 4275 | 10 | 0 871.30/871.57 c 871s | 23 | 4536468 | 3069538 | 1627 4283 | 10 | 0 873.31/873.58 c 873s | 23 | 4545791 | 3076338 | 1627 4291 | 10 | 0 875.30/875.59 c 875s | 23 | 4553733 | 3082138 | 1627 4297 | 10 | 0 877.39/877.61 c 877s | 23 | 4561493 | 3088138 | 1627 4304 | 10 | 0 879.39/879.65 c 879s | 23 | 4570255 | 3094638 | 1627 4312 | 10 | 0 881.39/881.68 c 881s | 23 | 4579796 | 3101538 | 1627 4319 | 10 | 0 883.39/883.69 c 883s | 23 | 4588149 | 3107838 | 1627 4327 | 10 | 0 885.49/885.70 c 885s | 23 | 4595821 | 3113738 | 1627 4333 | 10 | 0 887.50/887.72 c 887s | 23 | 4606203 | 3120538 | 1627 4341 | 10 | 0 889.49/889.74 c 889s | 23 | 4615308 | 3127038 | 1627 4349 | 10 | 0 891.49/891.76 c 891s | 23 | 4624196 | 3133638 | 1627 4356 | 10 | 0 893.49/893.78 c 893s | 23 | 4633843 | 3140238 | 1627 4364 | 10 | 0 895.49/895.79 c 895s | 23 | 4643366 | 3147138 | 1627 4372 | 10 | 0 897.58/897.82 c 897s | 23 | 4652881 | 3153938 | 1627 4380 | 10 | 0 899.59/899.82 c 899s | 23 | 4661503 | 3160238 | 1627 4387 | 10 | 0 901.58/901.82 c 901s | 23 | 4670739 | 3166738 | 1627 4395 | 10 | 0 903.58/903.85 c 903s | 23 | 4680646 | 3173538 | 1627 4403 | 10 | 0 905.58/905.87 c 905s | 23 | 4690806 | 3179538 | 1627 4410 | 10 | 0 907.67/907.91 c 907s | 23 | 4700666 | 3186438 | 1627 4418 | 10 | 0 909.67/909.93 c 909s | 23 | 4710427 | 3193138 | 1627 4425 | 10 | 0 911.68/911.96 c 911s | 23 | 4719090 | 3199538 | 1627 4433 | 10 | 0 913.67/913.97 c 913s | 23 | 4726680 | 3205338 | 1627 4440 | 10 | 0 915.67/915.98 c 915s | 23 | 4733670 | 3210938 | 1627 4446 | 10 | 0 917.67/917.99 c 917s | 23 | 4742257 | 3217238 | 1627 4453 | 10 | 0 919.77/920.01 c 919s | 23 | 4751556 | 3223938 | 1627 4461 | 10 | 0 921.77/922.04 c 921s | 23 | 4761167 | 3230738 | 1627 4469 | 10 | 0 923.77/924.07 c 923s | 23 | 4769233 | 3236938 | 1627 4476 | 10 | 0 925.77/926.09 c 925s | 23 | 4777036 | 3242938 | 1627 4483 | 10 | 0 927.86/928.10 c 927s | 23 | 4785883 | 3249238 | 1627 4490 | 10 | 0 929.86/930.11 c 929s | 23 | 4796291 | 3255638 | 1627 4498 | 10 | 0 931.86/932.12 c 931s | 23 | 4807471 | 3262538 | 1627 4506 | 10 | 0 933.86/934.13 c 933s | 23 | 4816641 | 3268738 | 1627 4513 | 10 | 0 935.87/936.17 c 935s | 23 | 4825546 | 3275038 | 1627 4521 | 10 | 0 937.85/938.18 c 937s | 23 | 4835061 | 3281538 | 1627 4528 | 10 | 0 939.96/940.22 c 939s | 23 | 4843906 | 3287838 | 1627 4536 | 10 | 0 941.96/942.24 c 941s | 23 | 4852976 | 3294138 | 1627 4543 | 10 | 0 943.96/944.24 c 943s | 23 | 4862434 | 3300638 | 1627 4551 | 10 | 0 945.96/946.25 c 945s | 23 | 4872180 | 3307238 | 1627 4558 | 10 | 0 947.96/948.27 c 947s | 23 | 4881878 | 3313338 | 1627 4565 | 10 | 0 949.96/950.27 c 949s | 23 | 4890892 | 3319238 | 1627 4572 | 10 | 0 952.06/952.31 c 951s | 23 | 4899511 | 3324838 | 1627 4579 | 10 | 0 954.06/954.33 c 953s | 23 | 4908034 | 3330838 | 1627 4586 | 10 | 0 956.06/956.34 c 955s | 23 | 4917936 | 3337638 | 1627 4594 | 10 | 0 958.05/958.35 c 957s | 23 | 4927534 | 3344438 | 1627 4601 | 10 | 0 960.06/960.37 c 960s | 23 | 4937767 | 3351538 | 1627 4610 | 10 | 0 962.05/962.39 c 962s | 23 | 4948538 | 3358038 | 1790 4617 | 10 | 0 964.15/964.41 c 964s | 23 | 4958691 | 3363938 | 1790 4623 | 10 | 0 966.15/966.42 c 966s | 23 | 4967496 | 3369238 | 1790 4629 | 10 | 0 968.15/968.45 c 968s | 23 | 4977249 | 3375038 | 1790 4635 | 10 | 0 968.75/969.07 c 968s | 24 | 4980021 | 3376662 | 1790 4637 | 10 | 0 970.75/971.07 c 970s | 24 | 4989342 | 3382862 | 1790 4643 | 10 | 0 972.75/973.07 c 972s | 24 | 4997520 | 3388862 | 1790 4650 | 10 | 0 974.74/975.09 c 974s | 24 | 5006323 | 3395062 | 1790 4656 | 10 | 0 976.84/977.12 c 976s | 24 | 5014039 | 3400562 | 1790 4662 | 10 | 0 978.85/979.13 c 978s | 24 | 5021454 | 3406162 | 1790 4668 | 10 | 0 980.84/981.16 c 980s | 24 | 5029473 | 3412062 | 1790 4674 | 10 | 0 982.84/983.19 c 982s | 24 | 5038255 | 3417762 | 1790 4680 | 10 | 0 984.94/985.22 c 984s | 24 | 5046310 | 3422862 | 1790 4686 | 10 | 0 986.93/987.26 c 986s | 24 | 5054913 | 3428362 | 1790 4692 | 10 | 0 988.93/989.26 c 988s | 24 | 5063659 | 3434462 | 1790 4698 | 10 | 0 990.94/991.27 c 990s | 24 | 5073593 | 3440862 | 1790 4705 | 10 | 0 992.93/993.29 c 992s | 24 | 5083817 | 3447662 | 1790 4712 | 10 | 0 994.93/995.30 c 994s | 24 | 5092917 | 3453862 | 1790 4719 | 10 | 0 997.02/997.30 c 996s | 24 | 5101313 | 3459662 | 1790 4725 | 10 | 0 999.02/999.32 c 998s | 24 | 5110671 | 3466062 | 1790 4732 | 10 | 0 1001.02/1001.34 c 1000s | 24 | 5119436 | 3472162 | 1790 4738 | 10 | 0 1003.03/1003.35 c 1003s | 24 | 5127490 | 3478162 | 1790 4745 | 10 | 0 1005.02/1005.37 c 1005s | 24 | 5135834 | 3484262 | 1790 4751 | 10 | 0 1007.02/1007.38 c 1007s | 24 | 5145823 | 3490762 | 1790 4758 | 10 | 0 1009.02/1009.39 c 1009s | 24 | 5155526 | 3497162 | 1790 4765 | 10 | 0 1011.12/1011.41 c 1011s | 24 | 5163780 | 3503162 | 1790 4771 | 10 | 0 1013.12/1013.44 c 1013s | 24 | 5172505 | 3509262 | 1790 4778 | 10 | 0 1015.12/1015.45 c 1015s | 24 | 5182066 | 3515662 | 1790 4784 | 10 | 0 1017.11/1017.46 c 1017s | 24 | 5190186 | 3521662 | 1790 4791 | 10 | 0 1019.11/1019.49 c 1019s | 24 | 5198163 | 3527662 | 1790 4797 | 10 | 0 1021.11/1021.49 c 1021s | 24 | 5206329 | 3533562 | 1790 4803 | 10 | 0 1023.21/1023.52 c 1023s | 24 | 5213746 | 3539062 | 1790 4809 | 10 | 0 1025.21/1025.53 c 1025s | 24 | 5221597 | 3544862 | 1790 4815 | 10 | 0 1027.21/1027.55 c 1027s | 24 | 5229618 | 3550862 | 1790 4821 | 10 | 0 1029.21/1029.57 c 1029s | 24 | 5238819 | 3556962 | 1790 4828 | 10 | 0 1031.21/1031.58 c 1031s | 24 | 5247605 | 3563162 | 1790 4834 | 10 | 0 1033.21/1033.58 c 1033s | 24 | 5256758 | 3569362 | 1790 4841 | 10 | 0 1035.21/1035.60 c 1035s | 24 | 5265206 | 3575362 | 1790 4847 | 10 | 0 1037.30/1037.61 c 1037s | 24 | 5273534 | 3581062 | 1790 4853 | 10 | 0 1039.31/1039.64 c 1039s | 24 | 5281137 | 3586562 | 1790 4859 | 10 | 0 1041.30/1041.66 c 1041s | 24 | 5288478 | 3592062 | 1790 4865 | 10 | 0 1043.30/1043.67 c 1043s | 24 | 5296358 | 3597862 | 1790 4871 | 10 | 0 1045.30/1045.69 c 1045s | 24 | 5305151 | 3604362 | 1790 4878 | 10 | 0 1047.40/1047.72 c 1047s | 24 | 5312988 | 3610262 | 1790 4884 | 10 | 0 1049.40/1049.75 c 1049s | 24 | 5321061 | 3615762 | 1790 4890 | 10 | 0 1051.40/1051.77 c 1051s | 24 | 5328959 | 3621162 | 1790 4896 | 10 | 0 1053.40/1053.79 c 1053s | 24 | 5335983 | 3626162 | 1790 4901 | 10 | 0 1055.50/1055.80 c 1055s | 24 | 5343103 | 3631162 | 1790 4906 | 10 | 0 1057.49/1057.83 c 1057s | 24 | 5350059 | 3636262 | 1790 4912 | 10 | 0 1059.49/1059.84 c 1059s | 24 | 5358084 | 3641762 | 1790 4918 | 10 | 0 1061.49/1061.84 c 1061s | 24 | 5366505 | 3647462 | 1790 4924 | 10 | 0 1063.50/1063.87 c 1063s | 24 | 5375269 | 3653262 | 1790 4930 | 10 | 0 1065.49/1065.90 c 1065s | 24 | 5384689 | 3659362 | 1790 4937 | 10 | 0 1067.59/1067.92 c 1067s | 24 | 5392464 | 3664562 | 1790 4942 | 10 | 0 1069.59/1069.94 c 1069s | 24 | 5400750 | 3670262 | 1790 4948 | 10 | 0 1071.59/1071.97 c 1071s | 24 | 5408813 | 3675662 | 1790 4954 | 10 | 0 1073.59/1073.97 c 1073s | 24 | 5416138 | 3680762 | 1790 4960 | 10 | 0 1075.59/1075.99 c 1075s | 24 | 5424350 | 3686262 | 1790 4966 | 10 | 0 1077.69/1078.01 c 1077s | 24 | 5431649 | 3691462 | 1790 4972 | 10 | 0 1079.68/1080.02 c 1079s | 24 | 5439770 | 3697062 | 1790 4978 | 10 | 0 1081.68/1082.06 c 1081s | 24 | 5446342 | 3702062 | 1790 4983 | 10 | 0 1083.68/1084.06 c 1083s | 24 | 5454875 | 3708062 | 1790 4989 | 10 | 0 1085.68/1086.09 c 1085s | 24 | 5462451 | 3713962 | 1790 4996 | 10 | 0 1087.77/1088.11 c 1087s | 24 | 5471209 | 3720262 | 1790 5002 | 10 | 0 1089.78/1090.15 c 1089s | 24 | 5480164 | 3726462 | 1790 5009 | 10 | 0 1091.77/1092.18 c 1091s | 24 | 5488319 | 3732062 | 1790 5015 | 10 | 0 1093.77/1094.19 c 1093s | 24 | 5496756 | 3737862 | 1790 5021 | 10 | 0 1095.77/1096.19 c 1095s | 24 | 5504896 | 3743662 | 1790 5028 | 10 | 0 1097.87/1098.22 c 1097s | 24 | 5513844 | 3749862 | 1790 5034 | 10 | 0 1099.87/1100.24 c 1099s | 24 | 5521291 | 3755362 | 1790 5041 | 10 | 0 1101.87/1102.24 c 1101s | 24 | 5528194 | 3760262 | 1790 5046 | 10 | 0 1103.87/1104.27 c 1103s | 24 | 5534393 | 3764662 | 1790 5051 | 10 | 0 1105.87/1106.28 c 1105s | 24 | 5541765 | 3769862 | 1790 5056 | 10 | 0 1107.96/1108.31 c 1107s | 24 | 5550225 | 3775462 | 1790 5062 | 10 | 0 1109.96/1110.33 c 1109s | 24 | 5558539 | 3781162 | 1790 5069 | 10 | 0 1111.96/1112.35 c 1111s | 24 | 5567191 | 3787062 | 1790 5075 | 10 | 0 1113.97/1114.37 c 1114s | 24 | 5573875 | 3792262 | 1790 5081 | 10 | 0 1115.96/1116.38 c 1116s | 24 | 5584039 | 3798862 | 1790 5088 | 10 | 0 1118.06/1118.40 c 1118s | 24 | 5592352 | 3805062 | 1790 5094 | 10 | 0 1120.06/1120.40 c 1120s | 24 | 5600561 | 3810962 | 1790 5101 | 10 | 0 1122.06/1122.43 c 1122s | 24 | 5608266 | 3816762 | 1790 5107 | 10 | 0 1124.06/1124.44 c 1124s | 24 | 5617059 | 3823262 | 1790 5113 | 10 | 0 1126.06/1126.46 c 1126s | 24 | 5626420 | 3829662 | 1790 5120 | 10 | 0 1128.06/1128.46 c 1128s | 24 | 5635710 | 3835662 | 1790 5127 | 10 | 0 1130.06/1130.48 c 1130s | 24 | 5644820 | 3842162 | 1790 5133 | 10 | 0 1132.16/1132.50 c 1132s | 24 | 5653631 | 3848962 | 1790 5140 | 10 | 0 1134.16/1134.50 c 1134s | 24 | 5662172 | 3855262 | 1790 5147 | 10 | 0 1136.16/1136.52 c 1136s | 24 | 5671002 | 3861762 | 1790 5154 | 10 | 0 1138.16/1138.54 c 1138s | 24 | 5679360 | 3868162 | 1790 5161 | 10 | 0 1140.15/1140.56 c 1140s | 24 | 5688462 | 3874762 | 1790 5168 | 10 | 0 1142.15/1142.59 c 1142s | 24 | 5698058 | 3881362 | 1790 5175 | 10 | 0 1144.15/1144.60 c 1144s | 24 | 5706424 | 3887562 | 1790 5181 | 10 | 0 1146.25/1146.62 c 1146s | 24 | 5714870 | 3893962 | 1790 5188 | 10 | 0 1148.25/1148.65 c 1148s | 24 | 5723369 | 3900262 | 1790 5195 | 10 | 0 1150.25/1150.69 c 1150s | 24 | 5733224 | 3906862 | 1790 5202 | 10 | 0 1152.35/1152.70 c 1152s | 24 | 5743137 | 3913462 | 1790 5209 | 10 | 0 1154.35/1154.72 c 1154s | 24 | 5752565 | 3919962 | 1790 5215 | 10 | 0 1156.35/1156.73 c 1156s | 24 | 5759755 | 3925762 | 1790 5221 | 10 | 0 1158.34/1158.76 c 1158s | 24 | 5767348 | 3931662 | 1790 5228 | 10 | 0 1160.34/1160.78 c 1160s | 24 | 5776029 | 3937462 | 1790 5234 | 10 | 0 1162.35/1162.79 c 1162s | 24 | 5784720 | 3943862 | 1790 5241 | 10 | 0 1164.44/1164.82 c 1164s | 24 | 5793290 | 3950162 | 1790 5247 | 10 | 0 1166.44/1166.83 c 1166s | 24 | 5801686 | 3956662 | 1790 5254 | 10 | 0 1168.43/1168.87 c 1168s | 24 | 5810940 | 3963162 | 1790 5261 | 10 | 0 1170.43/1170.88 c 1170s | 24 | 5820014 | 3969362 | 1790 5267 | 10 | 0 1172.43/1172.89 c 1172s | 24 | 5828773 | 3975662 | 1790 5274 | 10 | 0 1174.54/1174.91 c 1174s | 24 | 5837519 | 3982062 | 1790 5281 | 10 | 0 1176.53/1176.92 c 1176s | 24 | 5846151 | 3988662 | 1790 5288 | 10 | 0 1178.53/1178.93 c 1178s | 24 | 5854208 | 3994962 | 1790 5295 | 10 | 0 1180.53/1180.94 c 1180s | 24 | 5863134 | 4001062 | 1790 5301 | 10 | 0 1182.53/1182.94 c 1182s | 24 | 5871587 | 4007262 | 1790 5307 | 10 | 0 1184.53/1184.96 c 1184s | 24 | 5879358 | 4013062 | 1790 5314 | 10 | 0 1186.53/1187.00 c 1186s | 24 | 5888570 | 4019762 | 1790 5321 | 10 | 0 1188.62/1189.01 c 1188s | 24 | 5897535 | 4026162 | 1790 5327 | 10 | 0 1190.62/1191.02 c 1190s | 24 | 5905737 | 4031962 | 1790 5334 | 10 | 0 1192.62/1193.04 c 1192s | 24 | 5914512 | 4038062 | 1790 5340 | 10 | 0 1194.62/1195.07 c 1194s | 24 | 5923379 | 4044362 | 1790 5347 | 10 | 0 1196.62/1197.08 c 1196s | 24 | 5931750 | 4050162 | 1790 5353 | 10 | 0 1198.72/1199.11 c 1198s | 24 | 5939932 | 4056062 | 1790 5359 | 10 | 0 1200.72/1201.13 c 1200s | 24 | 5949039 | 4062462 | 1790 5366 | 10 | 0 1202.72/1203.16 c 1202s | 24 | 5957688 | 4068862 | 1790 5373 | 10 | 0 1204.71/1205.17 c 1204s | 24 | 5966217 | 4074862 | 1790 5379 | 10 | 0 1206.81/1207.20 c 1206s | 24 | 5975305 | 4080962 | 1790 5385 | 10 | 0 1208.81/1209.22 c 1208s | 24 | 5983389 | 4086962 | 1790 5392 | 10 | 0 1210.81/1211.24 c 1210s | 24 | 5992042 | 4092962 | 1790 5398 | 10 | 0 1212.82/1213.26 c 1212s | 24 | 5999532 | 4098662 | 1790 5404 | 10 | 0 1214.82/1215.26 c 1214s | 24 | 6007873 | 4104762 | 1790 5411 | 10 | 0 1216.82/1217.28 c 1216s | 24 | 6016412 | 4111062 | 1790 5417 | 10 | 0 1218.91/1219.31 c 1218s | 24 | 6025236 | 4117262 | 1790 5424 | 10 | 0 1220.91/1221.31 c 1220s | 24 | 6033552 | 4123262 | 1790 5430 | 10 | 0 1222.92/1223.33 c 1222s | 24 | 6041657 | 4129362 | 1790 5437 | 10 | 0 1224.91/1225.33 c 1224s | 24 | 6050350 | 4135462 | 1790 5443 | 10 | 0 1226.90/1227.34 c 1226s | 24 | 6057495 | 4141062 | 1790 5449 | 10 | 0 1228.90/1229.36 c 1229s | 24 | 6066009 | 4147162 | 1790 5456 | 10 | 0 1230.90/1231.39 c 1231s | 24 | 6073955 | 4152962 | 1790 5462 | 10 | 0 1233.00/1233.40 c 1233s | 24 | 6081548 | 4158562 | 1790 5468 | 10 | 0 1234.91/1235.40 c 1235s | 24 | 6090596 | 4164362 | 1790 5474 | 10 | 0 1237.00/1237.40 c 1237s | 24 | 6098134 | 4169662 | 1790 5480 | 10 | 0 1239.00/1239.41 c 1239s | 24 | 6105169 | 4174962 | 1790 5485 | 10 | 0 1241.00/1241.41 c 1241s | 24 | 6114709 | 4181462 | 1790 5492 | 10 | 0 1243.00/1243.44 c 1243s | 24 | 6124757 | 4187862 | 1790 5499 | 10 | 0 1245.00/1245.45 c 1245s | 24 | 6133431 | 4193862 | 1790 5506 | 10 | 0 1247.00/1247.46 c 1247s | 24 | 6142702 | 4200162 | 1790 5512 | 10 | 0 1248.99/1249.47 c 1249s | 24 | 6151592 | 4206362 | 1790 5519 | 10 | 0 1250.99/1251.47 c 1251s | 24 | 6159106 | 4211862 | 1790 5525 | 10 | 0 1252.99/1253.48 c 1253s | 24 | 6167435 | 4217862 | 1790 5531 | 10 | 0 1255.09/1255.51 c 1255s | 24 | 6175318 | 4223962 | 1790 5538 | 10 | 0 1257.09/1257.54 c 1257s | 24 | 6184060 | 4230162 | 1790 5545 | 10 | 0 1259.09/1259.54 c 1259s | 24 | 6191398 | 4235762 | 1790 5551 | 10 | 0 1261.09/1261.57 c 1261s | 24 | 6198988 | 4241362 | 1790 5556 | 10 | 0 1263.09/1263.59 c 1263s | 24 | 6208970 | 4247862 | 1790 5563 | 10 | 0 1265.18/1265.61 c 1265s | 24 | 6218354 | 4254262 | 1790 5570 | 10 | 0 1267.18/1267.62 c 1267s | 24 | 6227676 | 4260462 | 1790 5577 | 10 | 0 1269.18/1269.62 c 1269s | 24 | 6234488 | 4265562 | 1790 5582 | 10 | 0 1271.18/1271.62 c 1271s | 24 | 6242824 | 4271562 | 1790 5589 | 10 | 0 1273.18/1273.62 c 1273s | 24 | 6250934 | 4277462 | 1790 5595 | 10 | 0 1275.18/1275.62 c 1275s | 24 | 6259700 | 4283762 | 1790 5602 | 10 | 0 1277.17/1277.64 c 1277s | 24 | 6267192 | 4289362 | 1790 5608 | 10 | 0 1279.17/1279.66 c 1279s | 24 | 6276045 | 4295662 | 1790 5615 | 10 | 0 1281.18/1281.67 c 1281s | 24 | 6283891 | 4301362 | 1790 5621 | 10 | 0 1283.17/1283.69 c 1283s | 24 | 6291758 | 4307062 | 1790 5627 | 10 | 0 1285.17/1285.69 c 1285s | 24 | 6300416 | 4312962 | 1790 5633 | 10 | 0 1287.27/1287.71 c 1287s | 24 | 6309327 | 4319062 | 1790 5640 | 10 | 0 1289.27/1289.71 c 1289s | 24 | 6317894 | 4324962 | 1790 5646 | 10 | 0 1291.27/1291.74 c 1291s | 24 | 6326795 | 4331162 | 1790 5653 | 10 | 0 1293.28/1293.78 c 1293s | 24 | 6333934 | 4336562 | 1790 5659 | 10 | 0 1295.27/1295.78 c 1295s | 24 | 6341148 | 4342062 | 1790 5665 | 10 | 0 1297.27/1297.79 c 1297s | 24 | 6348048 | 4347162 | 1790 5670 | 10 | 0 1299.37/1299.80 c 1299s | 24 | 6355675 | 4352962 | 1790 5677 | 10 | 0 1301.37/1301.83 c 1301s | 24 | 6363209 | 4358662 | 1790 5683 | 10 | 0 1303.37/1303.86 c 1303s | 24 | 6370439 | 4363962 | 1790 5689 | 10 | 0 1305.47/1305.90 c 1305s | 24 | 6377851 | 4369362 | 1790 5695 | 10 | 0 1307.47/1307.92 c 1307s | 24 | 6385364 | 4375162 | 1790 5701 | 10 | 0 1309.46/1309.94 c 1309s | 24 | 6393597 | 4381162 | 1790 5707 | 10 | 0 1311.46/1311.95 c 1311s | 24 | 6401492 | 4386862 | 1790 5714 | 10 | 0 1313.46/1313.95 c 1313s | 24 | 6409072 | 4392562 | 1790 5720 | 10 | 0 1315.46/1315.97 c 1315s | 24 | 6417117 | 4398362 | 1790 5726 | 10 | 0 1317.46/1317.97 c 1317s | 24 | 6424416 | 4403662 | 1790 5732 | 10 | 0 1319.46/1319.98 c 1319s | 24 | 6432272 | 4409562 | 1790 5739 | 10 | 0 1321.46/1322.00 c 1321s | 24 | 6440832 | 4415462 | 1790 5745 | 10 | 0 1323.56/1324.02 c 1323s | 24 | 6448869 | 4421262 | 1790 5751 | 10 | 0 1325.56/1326.05 c 1325s | 24 | 6457392 | 4427162 | 1790 5758 | 10 | 0 1327.55/1328.09 c 1327s | 24 | 6466430 | 4433562 | 1790 5765 | 10 | 0 1329.65/1330.11 c 1329s | 24 | 6476249 | 4440062 | 1790 5771 | 10 | 0 1331.55/1332.02 c 1331s | 24 | 6483707 | 4445421 | 1790 5777 | 10 | 0 1331.55/1332.02 c #cpu_time = 1327.914s 1331.55/1332.02 c #wall_clock_time = 1331.670s 1331.55/1332.02 c #decision = 6483707 1331.55/1332.02 c #random_decision = 17739 1331.55/1332.02 c #conflict = 4445421 1331.55/1332.02 c #restart = 24 1331.55/1332.02 c BCD2: relaxing 16 and merging with 1 cores into a new core of size 22: cost of the new core is >=18 1331.55/1332.02 c lower bound updated to 262163 1331.55/1332.08 c BCD2: 262163 <= obj <= 263129 1331.55/1332.08 c BCD2: #cores=2, #unrelaxed=0, #relaxed=23, #hardened=8 1331.55/1332.08 c BCD2: #sat=1 #unsat=4 bias=4/5 1331.55/1332.08 c Solving starts ... 1331.55/1332.08 c ============================[ Search Statistics ]============================ 1331.55/1332.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1331.55/1332.08 c | | | | Limit GC | Var | Constra 1331.55/1332.08 c ============================================================================= 1331.55/1332.08 c 0.0s | 0 | 0 | 0 | 1790 0 | 11 | 0 1331.66/1332.11 c 0.0s | 1 | 163 | 100 | 1790 0 | 11 | 1 1331.66/1332.16 c 0.1s | 2 | 394 | 250 | 1790 0 | 11 | 1 1331.76/1332.22 c 0.1s | 3 | 720 | 475 | 1790 0 | 11 | 1 1331.85/1332.32 c 0.2s | 4 | 1188 | 813 | 1790 1 | 11 | 1 1331.95/1332.43 c 0.4s | 5 | 2153 | 1320 | 1790 1 | 11 | 1 1332.15/1332.62 c 0.5s | 6 | 3535 | 2081 | 1790 2 | 11 | 1 1332.45/1332.94 c 0.9s | 7 | 5267 | 3223 | 1790 3 | 11 | 1 1332.86/1333.36 c 1.3s | 8 | 7836 | 4936 | 1790 5 | 11 | 1 1333.55/1334.04 c 2.0s | 9 | 10972 | 7506 | 1790 8 | 11 | 1 1333.55/1334.06 c 2.0s | 9 | 11072 | 7574 | 1790 8 | 11 | 1 1333.55/1334.06 c #cpu_time = 1.980s 1333.55/1334.06 c #wall_clock_time = 1.986s 1333.55/1334.06 c #decision = 11072 1333.55/1334.06 c #random_decision = 17 1333.55/1334.06 c #conflict = 7574 1333.55/1334.06 c #restart = 9 1333.55/1334.06 o 262936 1333.65/1334.12 c BCD2: updating upper bound: 263129 -> 262935 1333.65/1334.12 c BCD2: 262163 <= obj <= 262935 1333.65/1334.12 c BCD2: #cores=2, #unrelaxed=0, #relaxed=23, #hardened=8 1333.65/1334.12 c BCD2: #sat=2 #unsat=4 bias=4/6 1333.65/1334.12 c Solving starts ... 1333.65/1334.12 c ============================[ Search Statistics ]============================ 1333.65/1334.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1333.65/1334.12 c | | | | Limit GC | Var | Constra 1333.65/1334.12 c ============================================================================= 1333.65/1334.12 c 0.0s | 0 | 0 | 0 | 1790 0 | 11 | 2 1333.65/1334.15 c 0.0s | 1 | 166 | 100 | 1790 0 | 11 | 2 1333.75/1334.21 c 0.1s | 2 | 399 | 250 | 1790 0 | 11 | 2 1333.75/1334.27 c 0.1s | 3 | 842 | 475 | 1790 0 | 11 | 2 1333.86/1334.37 c 0.2s | 4 | 1446 | 813 | 1790 1 | 11 | 2 1334.05/1334.54 c 0.4s | 5 | 2368 | 1320 | 1790 1 | 11 | 2 1334.25/1334.75 c 0.6s | 6 | 3745 | 2081 | 1790 2 | 11 | 2 1334.55/1335.08 c 1.0s | 7 | 5502 | 3223 | 1790 3 | 11 | 2 1335.15/1335.61 c 1.5s | 8 | 8486 | 4936 | 1790 5 | 11 | 2 1335.75/1336.27 c 2.1s | 9 | 12930 | 7506 | 1790 8 | 11 | 2 1336.75/1337.25 c 3.1s | 10 | 20847 | 11361 | 1790 12 | 11 | 2 1338.35/1338.87 c 4.8s | 11 | 30057 | 17144 | 1790 18 | 11 | 2 1340.35/1340.88 c 6.8s | 11 | 43888 | 25144 | 1790 26 | 11 | 2 1340.55/1341.05 c 6.9s | 12 | 44979 | 25819 | 1790 27 | 11 | 2 1342.55/1343.06 c 8.9s | 12 | 57804 | 33619 | 1790 35 | 11 | 2 1343.95/1344.41 c 10.3s | 13 | 66974 | 38832 | 1790 40 | 11 | 2 1345.95/1346.43 c 12.3s | 13 | 78813 | 45932 | 1790 48 | 11 | 2 1347.94/1348.43 c 14.3s | 13 | 94842 | 53732 | 1790 56 | 11 | 2 1349.14/1349.63 c 15.5s | 14 | 103331 | 58352 | 1790 61 | 11 | 2 1351.14/1351.63 c 17.5s | 14 | 117453 | 66152 | 1790 69 | 11 | 2 1353.14/1353.64 c 19.5s | 14 | 132243 | 74052 | 1790 77 | 11 | 2 1355.14/1355.66 c 21.5s | 14 | 145563 | 81452 | 1790 85 | 11 | 2 1356.84/1357.32 c 23.2s | 15 | 155517 | 87632 | 1790 91 | 11 | 2 1358.84/1359.34 c 25.2s | 15 | 168506 | 95032 | 1790 99 | 11 | 2 1360.84/1361.36 c 27.2s | 15 | 181685 | 102532 | 1790 107 | 11 | 2 1362.83/1363.36 c 29.2s | 15 | 194893 | 110132 | 1790 115 | 11 | 2 1364.83/1365.37 c 31.2s | 15 | 207835 | 117532 | 1790 122 | 11 | 2 1366.84/1367.38 c 33.3s | 15 | 219176 | 124432 | 1790 130 | 11 | 2 1368.83/1369.38 c 35.3s | 15 | 231306 | 131232 | 1790 137 | 11 | 2 1368.93/1369.47 c 35.3s | 16 | 231831 | 131552 | 1790 137 | 11 | 2 1370.93/1371.47 c 37.3s | 16 | 243541 | 138752 | 1790 145 | 11 | 2 1372.93/1373.47 c 39.4s | 16 | 255100 | 145652 | 1790 152 | 11 | 2 1375.03/1375.50 c 41.4s | 16 | 267431 | 152752 | 1790 159 | 11 | 2 1377.03/1377.51 c 43.4s | 16 | 283016 | 160452 | 1790 167 | 11 | 2 1379.03/1379.54 c 45.4s | 16 | 296510 | 167652 | 1790 175 | 11 | 2 1381.03/1381.55 c 47.4s | 16 | 310594 | 174852 | 1790 182 | 11 | 2 1383.03/1383.55 c 49.4s | 16 | 323420 | 181852 | 1790 190 | 11 | 2 1385.03/1385.56 c 51.4s | 16 | 336697 | 189052 | 1790 198 | 11 | 2 1387.03/1387.59 c 53.5s | 16 | 352010 | 196752 | 1790 206 | 11 | 2 1387.23/1387.79 c 53.7s | 17 | 353121 | 197432 | 1790 207 | 11 | 2 1389.33/1389.80 c 55.7s | 17 | 367301 | 205332 | 1790 215 | 11 | 2 1391.33/1391.80 c 57.7s | 17 | 380426 | 212632 | 1790 222 | 11 | 2 1393.33/1393.81 c 59.7s | 17 | 393292 | 220132 | 1790 230 | 11 | 2 1395.32/1395.81 c 61.7s | 17 | 404552 | 227132 | 1790 238 | 11 | 2 1397.32/1397.82 c 63.7s | 17 | 418548 | 234832 | 1790 245 | 11 | 2 1399.32/1399.83 c 65.7s | 17 | 431861 | 242232 | 1790 253 | 11 | 2 1401.32/1401.85 c 67.7s | 17 | 445914 | 249832 | 1790 261 | 11 | 2 1403.32/1403.87 c 69.7s | 17 | 461853 | 257332 | 1790 269 | 11 | 2 1405.33/1405.88 c 71.8s | 17 | 475671 | 264432 | 1790 277 | 11 | 2 1407.32/1407.88 c 73.8s | 17 | 489692 | 271632 | 1790 284 | 11 | 2 1409.42/1409.91 c 75.8s | 17 | 503497 | 278732 | 1790 292 | 11 | 2 1411.42/1411.92 c 77.8s | 17 | 517928 | 286232 | 1790 300 | 11 | 2 1413.42/1413.92 c 79.8s | 17 | 532770 | 293832 | 1790 308 | 11 | 2 1414.13/1414.62 c 80.5s | 18 | 537144 | 296252 | 1790 310 | 11 | 2 1416.12/1416.64 c 82.5s | 18 | 550910 | 303752 | 1790 318 | 11 | 2 1418.12/1418.64 c 84.5s | 18 | 563574 | 311052 | 1790 326 | 11 | 2 1420.12/1420.64 c 86.5s | 18 | 576971 | 318652 | 1790 334 | 11 | 2 1422.12/1422.66 c 88.5s | 18 | 592017 | 326352 | 1790 342 | 11 | 2 1424.13/1424.68 c 90.6s | 18 | 606514 | 333952 | 1790 350 | 11 | 2 1426.12/1426.70 c 92.6s | 18 | 620507 | 341552 | 1790 358 | 11 | 2 1428.22/1428.73 c 94.6s | 18 | 634886 | 349352 | 1790 366 | 11 | 2 1430.22/1430.74 c 96.6s | 18 | 648096 | 356752 | 1790 374 | 11 | 2 1432.22/1432.76 c 98.6s | 18 | 660934 | 363852 | 1790 381 | 11 | 2 1434.22/1434.77 c 100s | 18 | 674270 | 371152 | 1790 389 | 11 | 2 1436.22/1436.77 c 102s | 18 | 687692 | 378652 | 1790 397 | 11 | 2 1438.21/1438.78 c 104s | 18 | 702441 | 385952 | 1790 405 | 11 | 2 1440.31/1440.80 c 106s | 18 | 714979 | 392952 | 1790 412 | 11 | 2 1442.31/1442.81 c 108s | 18 | 729975 | 399552 | 1790 419 | 11 | 2 1444.31/1444.82 c 110s | 18 | 743266 | 406352 | 1790 427 | 11 | 2 1446.31/1446.83 c 112s | 18 | 756247 | 413252 | 1790 434 | 11 | 2 1448.32/1448.84 c 114s | 18 | 769249 | 420352 | 1790 442 | 11 | 2 1450.31/1450.86 c 116s | 18 | 783223 | 427752 | 1790 450 | 11 | 2 1452.31/1452.87 c 118s | 18 | 796619 | 435152 | 1790 457 | 11 | 2 1454.41/1454.90 c 120s | 18 | 808534 | 442152 | 1790 464 | 11 | 2 1455.01/1455.50 c 121s | 19 | 812851 | 444482 | 1790 467 | 11 | 2 1457.02/1457.52 c 123s | 19 | 825641 | 452082 | 1790 475 | 11 | 2 1459.01/1459.55 c 125s | 19 | 837753 | 459382 | 1790 482 | 11 | 2 1461.01/1461.58 c 127s | 19 | 849451 | 466482 | 1790 490 | 11 | 2 1463.11/1463.60 c 129s | 19 | 860901 | 473582 | 1790 497 | 11 | 2 1465.11/1465.63 c 131s | 19 | 871740 | 480582 | 1790 505 | 11 | 2 1467.11/1467.66 c 133s | 19 | 882924 | 487582 | 1790 512 | 11 | 2 1469.12/1469.68 c 135s | 19 | 894330 | 494182 | 1790 519 | 11 | 2 1471.11/1471.69 c 137s | 19 | 905928 | 500682 | 1790 525 | 11 | 2 1473.21/1473.71 c 139s | 19 | 916105 | 507382 | 1790 532 | 11 | 2 1475.21/1475.72 c 141s | 19 | 926357 | 514182 | 1790 539 | 11 | 2 1477.21/1477.73 c 143s | 19 | 939392 | 521382 | 1790 547 | 11 | 2 1479.21/1479.74 c 145s | 19 | 951099 | 528382 | 1790 554 | 11 | 2 1481.21/1481.75 c 147s | 19 | 962248 | 535082 | 1790 561 | 11 | 2 1483.21/1483.76 c 149s | 19 | 975901 | 542482 | 1790 569 | 11 | 2 1485.21/1485.76 c 151s | 19 | 988895 | 549582 | 1790 576 | 11 | 2 1487.21/1487.79 c 153s | 19 | 1001610 | 556782 | 1790 584 | 11 | 2 1489.31/1489.81 c 155s | 19 | 1015073 | 563882 | 1790 592 | 11 | 2 1491.31/1491.81 c 157s | 19 | 1025976 | 570582 | 1790 599 | 11 | 2 1493.31/1493.82 c 159s | 19 | 1037455 | 577382 | 1970 605 | 11 | 2 1495.30/1495.83 c 161s | 19 | 1049504 | 584282 | 1970 612 | 11 | 2 1497.30/1497.83 c 163s | 19 | 1058724 | 590182 | 1970 618 | 11 | 2 1499.30/1499.86 c 165s | 19 | 1068985 | 596782 | 1970 624 | 11 | 2 1501.30/1501.86 c 167s | 19 | 1078337 | 602882 | 1970 630 | 11 | 2 1503.31/1503.87 c 169s | 19 | 1088644 | 609382 | 1970 636 | 11 | 2 1505.30/1505.88 c 171s | 19 | 1098278 | 615682 | 1970 642 | 11 | 2 1507.30/1507.89 c 173s | 19 | 1107756 | 621982 | 1970 648 | 11 | 2 1509.40/1509.91 c 175s | 19 | 1119366 | 628782 | 1970 655 | 11 | 2 1511.40/1511.92 c 177s | 19 | 1133529 | 635982 | 1970 662 | 11 | 2 1513.40/1513.93 c 179s | 19 | 1146395 | 642982 | 1970 669 | 11 | 2 1515.41/1515.95 c 181s | 19 | 1158147 | 649982 | 1970 675 | 11 | 2 1517.40/1517.97 c 183s | 19 | 1171627 | 657082 | 1970 682 | 11 | 2 1519.40/1519.99 c 185s | 19 | 1185114 | 664282 | 1970 689 | 11 | 2 1520.20/1520.73 c 186s | 20 | 1189652 | 666827 | 1970 692 | 11 | 2 1522.20/1522.74 c 188s | 20 | 1202357 | 674027 | 1970 699 | 11 | 2 1524.22/1524.74 c 190s | 20 | 1213230 | 680727 | 1970 705 | 11 | 2 1526.21/1526.77 c 192s | 20 | 1223733 | 687127 | 1970 711 | 11 | 2 1528.21/1528.78 c 194s | 20 | 1233154 | 692927 | 1970 717 | 11 | 2 1530.21/1530.78 c 196s | 20 | 1243062 | 699427 | 1970 723 | 11 | 2 1532.21/1532.78 c 198s | 20 | 1254213 | 705927 | 1970 729 | 11 | 2 1534.31/1534.80 c 200s | 20 | 1266674 | 712727 | 1970 736 | 11 | 2 1536.21/1536.80 c 202s | 20 | 1277893 | 719227 | 1970 742 | 11 | 2 1538.31/1538.82 c 204s | 20 | 1290689 | 726227 | 1970 749 | 11 | 2 1540.31/1540.83 c 206s | 20 | 1303671 | 733227 | 1970 755 | 11 | 2 1542.31/1542.86 c 208s | 20 | 1316966 | 740227 | 1970 762 | 11 | 2 1544.31/1544.89 c 210s | 20 | 1328994 | 746827 | 1970 769 | 11 | 2 1546.40/1546.92 c 212s | 20 | 1342109 | 753527 | 1970 775 | 11 | 2 1548.41/1548.94 c 214s | 20 | 1355122 | 760327 | 1970 782 | 11 | 2 1550.40/1550.97 c 216s | 20 | 1369108 | 767527 | 1970 789 | 11 | 2 1552.50/1553.00 c 218s | 20 | 1383375 | 774727 | 1970 796 | 11 | 2 1554.50/1555.03 c 220s | 20 | 1396464 | 781927 | 1970 802 | 11 | 2 1556.50/1557.04 c 222s | 20 | 1408017 | 788627 | 1970 809 | 11 | 2 1558.50/1559.07 c 224s | 20 | 1420828 | 795327 | 1970 816 | 11 | 2 1560.51/1561.09 c 226s | 20 | 1431987 | 801627 | 1970 822 | 11 | 2 1562.61/1563.11 c 228s | 20 | 1443786 | 808227 | 1970 828 | 11 | 2 1564.60/1565.12 c 230s | 20 | 1454711 | 814527 | 1970 834 | 11 | 2 1566.60/1567.15 c 233s | 20 | 1466043 | 821427 | 1970 841 | 11 | 2 1568.60/1569.17 c 235s | 20 | 1476359 | 827927 | 1970 847 | 11 | 2 1570.60/1571.17 c 237s | 20 | 1486171 | 834027 | 1970 853 | 11 | 2 1572.70/1573.20 c 239s | 20 | 1495112 | 839927 | 1970 858 | 11 | 2 1574.71/1575.21 c 241s | 20 | 1503486 | 845427 | 1970 864 | 11 | 2 1576.70/1577.22 c 243s | 20 | 1512066 | 851227 | 1970 869 | 11 | 2 1578.70/1579.22 c 245s | 20 | 1521305 | 857127 | 1970 875 | 11 | 2 1580.70/1581.23 c 247s | 20 | 1530968 | 863127 | 1970 881 | 11 | 2 1582.70/1583.25 c 249s | 20 | 1543113 | 870227 | 1970 887 | 11 | 2 1584.71/1585.26 c 251s | 20 | 1553887 | 876927 | 1970 894 | 11 | 2 1586.70/1587.28 c 253s | 20 | 1565370 | 883827 | 1970 900 | 11 | 2 1588.80/1589.30 c 255s | 20 | 1576362 | 890427 | 1970 907 | 11 | 2 1589.00/1589.58 c 255s | 20 | 1578428 | 891436 | 1970 908 | 12 | 4 1589.00/1589.58 c #cpu_time = 254.765s 1589.00/1589.58 c #wall_clock_time = 255.451s 1589.00/1589.58 c #decision = 1578428 1589.00/1589.58 c #random_decision = 5155 1589.00/1589.58 c #conflict = 891436 1589.00/1589.58 c #restart = 20 1589.00/1589.58 c BCD2: updating lower bound of a core 1589.00/1589.58 c lower bound updated to 262679 1589.10/1589.64 c BCD2: 262679 <= obj <= 262935 1589.10/1589.64 c BCD2: #cores=2, #unrelaxed=0, #relaxed=23, #hardened=8 1589.10/1589.64 c BCD2: #sat=2 #unsat=5 bias=5/7 1589.10/1589.64 c Solving starts ... 1589.10/1589.64 c ============================[ Search Statistics ]============================ 1589.10/1589.64 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1589.10/1589.64 c | | | | Limit GC | Var | Constra 1589.10/1589.64 c ============================================================================= 1589.10/1589.64 c 0.0s | 0 | 0 | 0 | 1970 0 | 13 | 4 1589.10/1589.67 c 0.0s | 1 | 215 | 100 | 1970 0 | 13 | 6 1589.20/1589.71 c 0.1s | 2 | 503 | 250 | 1970 0 | 13 | 6 1589.20/1589.77 c 0.1s | 3 | 813 | 475 | 1970 0 | 13 | 6 1589.30/1589.89 c 0.3s | 4 | 1308 | 813 | 1970 1 | 13 | 6 1589.50/1590.05 c 0.4s | 5 | 2037 | 1320 | 1970 1 | 13 | 6 1589.70/1590.29 c 0.7s | 6 | 3159 | 2081 | 1970 2 | 13 | 6 1590.00/1590.59 c 0.9s | 7 | 4835 | 3223 | 1970 3 | 13 | 6 1590.50/1591.06 c 1.4s | 8 | 7218 | 4936 | 1970 4 | 13 | 6 1591.40/1591.95 c 2.3s | 9 | 10643 | 7506 | 1970 7 | 13 | 6 1592.60/1593.11 c 3.5s | 10 | 16178 | 11361 | 1970 10 | 13 | 6 1594.20/1594.76 c 5.1s | 11 | 25040 | 17144 | 1970 16 | 13 | 6 1596.20/1596.79 c 7.1s | 11 | 34982 | 24344 | 1970 23 | 13 | 6 1596.60/1597.18 c 7.5s | 12 | 36969 | 25819 | 1970 24 | 13 | 6 1598.60/1599.19 c 9.5s | 12 | 49775 | 33819 | 1970 31 | 13 | 6 1600.00/1600.57 c 10.9s | 13 | 59251 | 38832 | 1970 36 | 13 | 6 1601.99/1602.59 c 12.9s | 13 | 70710 | 46132 | 1970 43 | 13 | 6 1604.09/1604.61 c 15.0s | 13 | 81077 | 53132 | 1970 49 | 13 | 6 1605.39/1605.92 c 16.3s | 14 | 88668 | 58352 | 1970 54 | 13 | 6 1607.39/1607.95 c 18.3s | 14 | 100142 | 65952 | 1970 62 | 13 | 6 1609.39/1609.96 c 20.3s | 14 | 110573 | 73352 | 1970 68 | 13 | 6 1611.39/1611.96 c 22.3s | 14 | 120820 | 80552 | 1970 75 | 13 | 6 1613.39/1613.96 c 24.3s | 15 | 130344 | 87632 | 1970 82 | 13 | 6 1615.40/1615.99 c 26.4s | 15 | 141062 | 94832 | 1970 89 | 13 | 6 1617.39/1617.99 c 28.4s | 15 | 152352 | 101932 | 1970 95 | 13 | 6 1619.39/1620.00 c 30.4s | 15 | 162475 | 108532 | 1970 102 | 13 | 6 1621.49/1622.02 c 32.4s | 15 | 171680 | 114732 | 1970 108 | 13 | 6 1623.49/1624.03 c 34.4s | 15 | 183160 | 122132 | 1970 115 | 13 | 6 1625.49/1626.06 c 36.4s | 15 | 193548 | 129032 | 1970 121 | 13 | 6 1626.19/1626.78 c 37.1s | 16 | 196784 | 131552 | 1970 124 | 13 | 6 1628.29/1628.80 c 39.2s | 16 | 206934 | 138652 | 1970 130 | 13 | 6 1630.29/1630.81 c 41.2s | 16 | 217212 | 146152 | 1970 137 | 13 | 6 1632.29/1632.83 c 43.2s | 16 | 227237 | 153052 | 1970 144 | 13 | 6 1634.29/1634.84 c 45.2s | 16 | 237513 | 160152 | 1970 150 | 13 | 6 1636.29/1636.84 c 47.2s | 16 | 246515 | 166952 | 1970 157 | 13 | 6 1638.29/1638.86 c 49.2s | 16 | 255584 | 173552 | 1970 163 | 13 | 6 1640.29/1640.89 c 51.2s | 16 | 264658 | 180352 | 1970 169 | 13 | 6 1642.29/1642.89 c 53.3s | 16 | 273758 | 187252 | 1970 176 | 13 | 6 1644.39/1644.92 c 55.3s | 16 | 283941 | 194452 | 1970 183 | 13 | 6 1645.28/1645.82 c 56.2s | 17 | 288311 | 197432 | 1970 185 | 13 | 6 1647.29/1647.82 c 58.2s | 17 | 298333 | 204632 | 1970 192 | 13 | 6 1649.28/1649.82 c 60.2s | 17 | 307539 | 211032 | 1970 198 | 13 | 6 1651.28/1651.83 c 62.2s | 17 | 316639 | 218032 | 1970 205 | 13 | 6 1653.28/1653.84 c 64.2s | 17 | 325982 | 225132 | 1970 211 | 13 | 6 1655.28/1655.86 c 66.2s | 17 | 335698 | 232232 | 1970 218 | 13 | 6 1657.29/1657.88 c 68.2s | 17 | 345687 | 239332 | 1970 224 | 13 | 6 1659.28/1659.90 c 70.3s | 17 | 354473 | 246032 | 1970 231 | 13 | 6 1661.38/1661.92 c 72.3s | 17 | 363038 | 252532 | 1970 237 | 13 | 6 1662.18/1662.78 c 73.1s | 17 | 366573 | 255296 | 1970 239 | 13 | 6 1662.18/1662.78 c #cpu_time = 72.952s 1662.18/1662.78 c #wall_clock_time = 73.143s 1662.18/1662.78 c #decision = 366573 1662.18/1662.78 c #random_decision = 909 1662.18/1662.78 c #conflict = 255296 1662.18/1662.78 c #restart = 17 1662.18/1662.78 o 262862 1662.18/1662.79 c BCD2: updating upper bound: 262935 -> 262861 1662.18/1662.79 c BCD2: 262679 <= obj <= 262861 1662.18/1662.79 c BCD2: #cores=2, #unrelaxed=0, #relaxed=23, #hardened=8 1662.18/1662.79 c BCD2: #sat=3 #unsat=5 bias=5/8 1662.18/1662.79 c Solving starts ... 1662.18/1662.79 c ============================[ Search Statistics ]============================ 1662.18/1662.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1662.18/1662.79 c | | | | Limit GC | Var | Constra 1662.18/1662.79 c ============================================================================= 1662.18/1662.79 c 0.0s | 0 | 0 | 0 | 1970 0 | 14 | 7 1662.28/1662.84 c 0.0s | 1 | 130 | 100 | 1970 1 | 14 | 9 1662.28/1662.88 c 0.1s | 2 | 397 | 250 | 1970 1 | 14 | 9 1662.38/1662.93 c 0.1s | 3 | 852 | 475 | 1970 1 | 14 | 9 1662.48/1663.04 c 0.2s | 4 | 1374 | 813 | 1970 1 | 14 | 9 1662.58/1663.19 c 0.4s | 5 | 2145 | 1320 | 1970 2 | 14 | 9 1662.88/1663.41 c 0.6s | 6 | 3351 | 2081 | 1970 2 | 14 | 9 1663.18/1663.73 c 0.9s | 7 | 5214 | 3223 | 1970 4 | 14 | 9 1663.68/1664.20 c 1.4s | 8 | 7891 | 4936 | 1970 5 | 14 | 9 1664.28/1664.80 c 2.0s | 9 | 12018 | 7506 | 1970 7 | 14 | 9 1665.18/1665.79 c 3.0s | 10 | 18432 | 11361 | 1970 11 | 14 | 9 1666.78/1667.39 c 4.6s | 11 | 27348 | 17144 | 1970 16 | 14 | 9 1668.78/1669.39 c 6.6s | 11 | 38887 | 24444 | 1970 23 | 14 | 9 1669.18/1669.80 c 7.0s | 12 | 40873 | 25819 | 1970 25 | 14 | 9 1671.28/1671.81 c 9.0s | 12 | 51372 | 32819 | 1970 31 | 14 | 9 1673.18/1673.72 c 10.9s | 13 | 60372 | 38832 | 1970 37 | 14 | 9 1675.18/1675.73 c 12.9s | 13 | 71270 | 45532 | 1970 43 | 14 | 9 1677.18/1677.74 c 14.9s | 13 | 81918 | 52332 | 1970 49 | 14 | 9 1678.88/1679.46 c 16.7s | 14 | 91411 | 58352 | 1970 55 | 14 | 9 1680.88/1681.46 c 18.7s | 14 | 103741 | 65552 | 1970 62 | 14 | 9 1682.88/1683.48 c 20.7s | 14 | 117070 | 73052 | 1970 69 | 14 | 9 1684.97/1685.52 c 22.7s | 14 | 130890 | 80852 | 1970 77 | 14 | 9 1686.77/1687.40 c 24.6s | 15 | 141645 | 87632 | 1970 83 | 14 | 9 1688.87/1689.41 c 26.6s | 15 | 152454 | 94432 | 1970 89 | 14 | 9 1690.87/1691.42 c 28.6s | 15 | 164316 | 101232 | 1970 96 | 14 | 9 1692.88/1693.43 c 30.6s | 15 | 175900 | 107832 | 1970 102 | 14 | 9 1694.88/1695.43 c 32.6s | 15 | 186890 | 114632 | 1970 109 | 14 | 9 1696.89/1697.45 c 34.7s | 15 | 199784 | 121632 | 1970 115 | 14 | 9 1698.88/1699.45 c 36.7s | 15 | 211981 | 128632 | 1970 122 | 14 | 9 1699.78/1700.35 c 37.6s | 16 | 216346 | 131552 | 1970 125 | 14 | 9 1701.78/1702.36 c 39.6s | 16 | 228390 | 139152 | 1970 132 | 14 | 9 1703.78/1704.36 c 41.6s | 16 | 239749 | 146552 | 1970 139 | 14 | 9 1705.78/1706.38 c 43.6s | 16 | 251768 | 153552 | 1970 146 | 14 | 9 1707.79/1708.38 c 45.6s | 16 | 263036 | 160652 | 1970 153 | 14 | 9 1709.78/1710.39 c 47.6s | 16 | 274122 | 167652 | 1970 159 | 14 | 9 1711.88/1712.41 c 49.6s | 16 | 284129 | 174152 | 1970 165 | 14 | 9 1713.88/1714.41 c 51.6s | 16 | 296274 | 181352 | 1970 172 | 14 | 9 1715.88/1716.42 c 53.6s | 16 | 307841 | 188052 | 1970 179 | 14 | 9 1717.88/1718.42 c 55.6s | 16 | 320254 | 194552 | 1970 185 | 14 | 9 1718.68/1719.24 c 56.5s | 17 | 325010 | 197432 | 1970 188 | 14 | 9 1720.68/1721.27 c 58.5s | 17 | 336972 | 204532 | 1970 194 | 14 | 9 1722.68/1723.29 c 60.5s | 17 | 347675 | 211332 | 1970 201 | 14 | 9 1724.77/1725.32 c 62.5s | 17 | 360799 | 219032 | 1970 208 | 14 | 9 1726.77/1727.32 c 64.5s | 17 | 373669 | 226932 | 1970 215 | 14 | 9 1728.78/1729.35 c 66.6s | 17 | 384113 | 233732 | 1970 222 | 14 | 9 1730.77/1731.35 c 68.6s | 17 | 394595 | 240732 | 1970 228 | 14 | 9 1732.77/1733.38 c 70.6s | 17 | 405272 | 247732 | 1970 235 | 14 | 9 1734.87/1735.40 c 72.6s | 17 | 415213 | 254632 | 1970 241 | 14 | 9 1736.87/1737.41 c 74.6s | 17 | 426159 | 261832 | 1970 248 | 14 | 9 1738.87/1739.43 c 76.6s | 17 | 436405 | 268932 | 1970 255 | 14 | 9 1740.88/1741.44 c 78.6s | 17 | 447614 | 275932 | 1970 261 | 14 | 9 1742.87/1743.45 c 80.7s | 17 | 457565 | 282432 | 1970 267 | 14 | 9 1744.87/1745.45 c 82.7s | 17 | 469985 | 289732 | 1970 274 | 14 | 9 1746.67/1747.30 c 84.5s | 18 | 481197 | 296252 | 1970 280 | 14 | 9 1748.77/1749.31 c 86.5s | 18 | 492904 | 303652 | 1970 287 | 14 | 9 1750.78/1751.33 c 88.5s | 18 | 504054 | 310752 | 1970 294 | 14 | 9 1752.77/1753.34 c 90.5s | 18 | 515440 | 318152 | 1970 301 | 14 | 9 1754.77/1755.34 c 92.5s | 18 | 524668 | 324452 | 1970 307 | 14 | 9 1756.77/1757.34 c 94.6s | 18 | 535771 | 331452 | 1970 313 | 14 | 9 1758.77/1759.35 c 96.6s | 18 | 548062 | 338652 | 1970 320 | 14 | 9 1760.77/1761.35 c 98.6s | 18 | 559577 | 345852 | 1970 327 | 14 | 9 1762.77/1763.37 c 100s | 18 | 569285 | 352252 | 1970 333 | 14 | 9 1764.77/1765.38 c 102s | 18 | 579479 | 358452 | 1970 339 | 14 | 9 1766.87/1767.41 c 104s | 18 | 588994 | 364552 | 1970 345 | 14 | 9 1768.87/1769.42 c 106s | 18 | 598317 | 370752 | 1970 351 | 14 | 9 1770.86/1771.45 c 108s | 18 | 608299 | 377452 | 1970 357 | 14 | 9 1772.86/1773.45 c 110s | 18 | 618706 | 384452 | 1970 364 | 14 | 9 1774.87/1775.47 c 112s | 18 | 629544 | 391652 | 1970 370 | 14 | 9 1776.96/1777.50 c 114s | 18 | 640706 | 399152 | 1970 377 | 14 | 9 1778.96/1779.54 c 116s | 18 | 654951 | 406852 | 1970 385 | 14 | 9 1780.96/1781.55 c 118s | 18 | 667599 | 414252 | 1970 391 | 14 | 9 1782.96/1783.56 c 120s | 18 | 677408 | 421152 | 1970 398 | 14 | 9 1784.96/1785.58 c 122s | 18 | 688099 | 428352 | 1970 405 | 14 | 9 1786.97/1787.59 c 124s | 18 | 699741 | 435752 | 1970 412 | 14 | 9 1789.06/1789.60 c 126s | 18 | 709595 | 442652 | 1970 418 | 14 | 9 1789.56/1790.17 c 127s | 19 | 712065 | 444482 | 1970 420 | 14 | 9 1791.56/1792.18 c 129s | 19 | 724709 | 452282 | 1970 427 | 14 | 9 1793.56/1794.19 c 131s | 19 | 737779 | 460282 | 1970 435 | 14 | 9 1795.67/1796.21 c 133s | 19 | 749251 | 467682 | 1970 442 | 14 | 9 1797.67/1798.24 c 135s | 19 | 760747 | 474882 | 1970 449 | 14 | 9 1799.67/1800.25 c 137s | 19 | 772772 | 482282 | 1970 457 | 14 | 9
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-4101593-1466224576/watcher-4101593-1466224576 -o /tmp/evaluation-result-4101593-1466224576/solver-4101593-1466224576 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-595 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101593-1466224576.opb pid=3609 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.41 2.33 2.28 3/179 3612 /proc/meminfo: memFree=28940808/32872528 swapFree=17888/1798212 [pid=3612] ppid=3609 vsize=758204 CPUtime=0 cores=0,2,4,6 /proc/3612/stat : 3612 (toysat) R 3609 3612 579 0 -1 4202496 2835 0 0 0 0 0 0 0 20 0 4 0 24504783 776400896 2685 33554432000 4194304 16246674 140733784308000 140733784307424 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3612/statm: 190063 2695 441 2943 0 186957 0 [pid=3612/tid=3613] ppid=3609 vsize=775612 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3613/stat : 3613 (toysat) S 3609 3612 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24504783 794226688 2755 33554432000 4194304 16246674 140733784308000 139851214073072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3612/tid=3614] ppid=3609 vsize=780732 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3614/stat : 3614 (toysat) S 3609 3612 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24504783 799469568 2773 33554432000 4194304 16246674 140733784308000 139851203583216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3612/tid=3615] ppid=3609 vsize=784828 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3615/stat : 3615 (toysat) S 3609 3612 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24504783 803663872 2788 33554432000 4194304 16246674 140733784308000 139851193109680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100171 s] /proc/loadavg: 2.41 2.33 2.28 3/179 3612 /proc/meminfo: memFree=28940808/32872528 swapFree=17888/1798212 [pid=3612] ppid=3609 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/3612/stat : 3612 (toysat) R 3609 3612 579 0 -1 4202496 31613 0 0 0 5 4 0 0 20 0 4 0 24504783 1247350784 31451 33554432000 4194304 16246674 140733784308000 140733784307424 12449399 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3612/statm: 304529 31461 761 2943 0 301423 0 [pid=3612/tid=3613] ppid=3609 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3613/stat : 3613 (toysat) S 3609 3612 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24504783 1247350784 31470 33554432000 4194304 16246674 140733784308000 139851214073072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3612/tid=3614] ppid=3609 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3614/stat : 3614 (toysat) S 3609 3612 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24504783 1247350784 31479 33554432000 4194304 16246674 140733784308000 139851203583216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3612/tid=3615] ppid=3609 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3615/stat : 3615 (toysat) S 3609 3612 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24504783 1247350784 31487 33554432000 4194304 16246674 140733784308000 139851193109680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200468 s] /proc/loadavg: 2.41 2.33 2.28 3/179 3612 /proc/meminfo: memFree=28940808/32872528 swapFree=17888/1798212 [pid=3612] ppid=3609 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/3612/stat : 3612 (toysat) R 3609 3612 579 0 -1 4202496 55853 0 0 0 12 7 0 0 20 0 4 0 24504783 1247350784 55690 33554432000 4194304 16246674 140733784308000 140733784307424 12652961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3612/statm: 304529 55698 765 2943 0 301423 0 [pid=3612/tid=3613] ppid=3609 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3613/stat : 3613 (toysat) S 3609 3612 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24504783 1247350784 55704 33554432000 4194304 16246674 140733784308000 139851214073072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3612/tid=3614] ppid=3609 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3614/stat : 3614 (toysat) S 3609 3612 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24504783 1247350784 55710 33554432000 4194304 16246674 140733784308000 139851203583216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3612/tid=3615] ppid=3609 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3615/stat : 3615 (toysat) S 3609 3612 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24504783 1247350784 55715 33554432000 4194304 16246674 140733784308000 139851193109680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300491 s] /proc/loadavg: 2.41 2.33 2.28 3/179 3612 /proc/meminfo: memFree=28940808/32872528 swapFree=17888/1798212 [pid=3612] ppid=3609 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/3612/stat : 3612 (toysat) R 3609 3612 579 0 -1 4202496 79980 0 0 0 19 10 0 0 20 0 4 0 24504783 1247350784 79817 33554432000 4194304 16246674 140733784308000 140733784307424 6958465 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3612/statm: 304529 79830 785 2943 0 301423 0 [pid=3612/tid=3613] ppid=3609 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3613/stat : 3613 (toysat) S 3609 3612 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24504783 1247350784 79838 33554432000 4194304 16246674 140733784308000 139851214073072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3612/tid=3614] ppid=3609 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3614/stat : 3614 (toysat) S 3609 3612 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24504783 1247350784 79846 33554432000 4194304 16246674 140733784308000 139851203583216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3612/tid=3615] ppid=3609 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3615/stat : 3615 (toysat) S 3609 3612 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24504783 1247350784 79855 33554432000 4194304 16246674 140733784308000 139851193109680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.70039 s] /proc/loadavg: 2.41 2.33 2.28 3/179 3612 /proc/meminfo: memFree=28940808/32872528 swapFree=17888/1798212 [pid=3612] ppid=3609 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/3612/stat : 3612 (toysat) R 3609 3612 579 0 -1 4202496 144344 0 0 0 52 17 0 0 20 0 4 0 24504783 1247350784 144181 33554432000 4194304 16246674 140733784308000 140733784307424 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3612/statm: 304529 144185 790 2943 0 301423 0 [pid=3612/tid=3613] ppid=3609 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3613/stat : 3613 (toysat) S 3609 3612 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24504783 1247350784 144193 33554432000 4194304 16246674 140733784308000 139851214073072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3612/tid=3614] ppid=3609 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3614/stat : 3614 (toysat) S 3609 3612 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24504783 1247350784 144200 33554432000 4194304 16246674 140733784308000 139851203583216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3612/tid=3615] ppid=3609 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3615/stat : 3615 (toysat) S 3609 3612 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24504783 1247350784 144209 33554432000 4194304 16246674 140733784308000 139851193109680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50042 s] /proc/loadavg: 2.41 2.33 2.28 3/183 3616 /proc/meminfo: memFree=28125236/32872528 swapFree=17888/1798212 [pid=3612] ppid=3609 vsize=1220164 CPUtime=1.49 cores=0,2,4,6 /proc/3612/stat : 3612 (toysat) R 3609 3612 579 0 -1 4202496 245916 0 0 0 119 30 0 0 20 0 4 0 24504783 1249447936 245731 33554432000 4194304 16246674 140733784308000 140733784307312 5711301 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3612/statm: 305041 245731 851 2943 0 301935 0 [pid=3612/tid=3613] ppid=3609 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3613/stat : 3613 (toysat) S 3609 3612 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24504783 1249447936 245731 33554432000 4194304 16246674 140733784308000 139851214073072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3612/tid=3614] ppid=3609 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3614/stat : 3614 (toysat) S 3609 3612 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24504783 1249447936 245731 33554432000 4194304 16246674 140733784308000 139851203583216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3612/tid=3615] ppid=3609 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3615/stat : 3615 (toysat) S 3609 3612 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24504783 1249447936 245731 33554432000 4194304 16246674 140733784308000 139851193109680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1220164 [startup+3.10042 s] /proc/loadavg: 2.38 2.33 2.28 3/183 3616 /proc/meminfo: memFree=27958580/32872528 swapFree=17888/1798212 [pid=3612] ppid=3609 vsize=1304132 CPUtime=3.09 cores=0,2,4,6 /proc/3612/stat : 3612 (toysat) R 3609 3612 579 0 -1 4202496 267049 0 0 0 275 34 0 0 20 0 4 0 24504783 1335431168 266864 33554432000 4194304 16246674 140733784308000 140733784289920 5712536 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3612/statm: 326033 266864 853 2943 0 322927 0 [pid=3612/tid=3613] ppid=3609 vsize=1304132 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3613/stat : 3613 (toysat) S 3609 3612 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24504783 1335431168 266864 33554432000 4194304 16246674 140733784308000 139851214073072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3612/tid=3614] ppid=3609 vsize=1304132 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3614/stat : 3614 (toysat) S 3609 3612 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24504783 1335431168 266864 33554432000 4194304 16246674 140733784308000 139851203583216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3612/tid=3615] ppid=3609 vsize=1304132 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3615/stat : 3615 (toysat) S 3609 3612 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24504783 1335431168 266864 33554432000 4194304 16246674 140733784308000 139851193109680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1304132 [startup+6.30042 s] /proc/loadavg: 2.38 2.33 2.28 3/183 3616 /proc/meminfo: memFree=27871996/32872528 swapFree=17888/1798212 [pid=3612] ppid=3609 vsize=1306180 CPUtime=6.29 cores=0,2,4,6 /proc/3612/stat : 3612 (toysat) R 3609 3612 579 0 -1 4202496 267536 0 0 0 595 34 0 0 20 0 4 0 24504783 1337528320 267351 33554432000 4194304 16246674 140733784308000 140733784289920 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3612/statm: 326545 267351 853 2943 0 323439 0 [pid=3612/tid=3613] ppid=3609 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3613/stat : 3613 (toysat) S 3609 3612 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24504783 1337528320 267351 33554432000 4194304 16246674 140733784308000 139851214073072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3612/tid=3614] ppid=3609 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3614/stat : 3614 (toysat) S 3609 3612 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24504783 1337528320 267351 33554432000 4194304 16246674 140733784308000 139851203583216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3612/tid=3615] ppid=3609 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3615/stat : 3615 (toysat) S 3609 3612 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24504783 1337528320 267351 33554432000 4194304 16246674 140733784308000 139851193109680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.32 2.32 2.27 4/183 3616 /proc/meminfo: memFree=27872280/32872528 swapFree=17888/1798212 [pid=3612] ppid=3609 vsize=1306180 CPUtime=12.69 cores=0,2,4,6 /proc/3612/stat : 3612 (toysat) R 3609 3612 579 0 -1 4202496 267608 0 0 0 1235 34 0 0 20 0 4 0 24504783 1337528320 267423 33554432000 4194304 16246674 140733784308000 140733784291000 12478547 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3612/statm: 326545 267423 853 2943 0 323439 0 [pid=3612/tid=3613] ppid=3609 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3613/stat : 3613 (toysat) S 3609 3612 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24504783 1337528320 267423 33554432000 4194304 16246674 140733784308000 139851214073072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3612/tid=3614] ppid=3609 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3614/stat : 3614 (toysat) S 3609 3612 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24504783 1337528320 267423 33554432000 4194304 16246674 140733784308000 139851203583216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3612/tid=3615] ppid=3609 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3615/stat : 3615 (toysat) S 3609 3612 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24504783 1337528320 267423 33554432000 4194304 16246674 140733784308000 139851193109680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1306180 [startup+25.5004 s] /proc/loadavg: 2.34 2.32 2.28 3/183 3616 /proc/meminfo: memFree=27872560/32872528 swapFree=17888/1798212 [pid=3612] ppid=3609 vsize=1307204 CPUtime=25.48 cores=0,2,4,6 /proc/3612/stat : 3612 (toysat) R 3609 3612 579 0 -1 4202496 267679 0 0 0 2514 34 0 0 20 0 4 0 24504783 1338576896 267494 33554432000 4194304 16246674 140733784308000 140733784291000 5724624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3612/statm: 326801 267494 853 2943 0 323695 0 [pid=3612/tid=3613] ppid=3609 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3613/stat : 3613 (toysat) S 3609 3612 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24504783 1338576896 267494 33554432000 4194304 16246674 140733784308000 139851214073072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3612/tid=3614] ppid=3609 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3614/stat : 3614 (toysat) S 3609 3612 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24504783 1338576896 267494 33554432000 4194304 16246674 140733784308000 139851203583216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3612/tid=3615] ppid=3609 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3615/stat : 3615 (toysat) S 3609 3612 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24504783 1338576896 267494 33554432000 4194304 16246674 140733784308000 139851193109680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1307204 [startup+51.1005 s] /proc/loadavg: 2.36 2.33 2.28 3/183 3616 /proc/meminfo: memFree=27872260/32872528 swapFree=17888/1798212 [pid=3612] ppid=3609 vsize=1307204 CPUtime=51.08 cores=0,2,4,6 /proc/3612/stat : 3612 (toysat) R 3609 3612 579 0 -1 4202496 267693 0 0 0 5074 34 0 0 20 0 4 0 24504783 1338576896 267508 33554432000 4194304 16246674 140733784308000 140733784289920 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3612/statm: 326801 267508 853 2943 0 323695 0 [pid=3612/tid=3613] ppid=3609 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3613/stat : 3613 (toysat) S 3609 3612 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24504783 1338576896 267508 33554432000 4194304 16246674 140733784308000 139851214073072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3612/tid=3614] ppid=3609 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3614/stat : 3614 (toysat) S 3609 3612 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24504783 1338576896 267508 33554432000 4194304 16246674 140733784308000 139851203583216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3612/tid=3615] ppid=3609 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3615/stat : 3615 (toysat) S 3609 3612 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24504783 1338576896 267508 33554432000 4194304 16246674 140733784308000 139851193109680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1307204 [startup+102.301 s] /proc/loadavg: 2.20 2.29 2.26 3/183 3617 /proc/meminfo: memFree=27871184/32872528 swapFree=17888/1798212 [pid=3612] ppid=3609 vsize=1307204 CPUtime=102.28 cores=0,2,4,6 /proc/3612/stat : 3612 (toysat) R 3609 3612 579 0 -1 4202496 267839 0 0 0 10193 35 0 0 20 0 4 0 24504783 1338576896 267654 33554432000 4194304 16246674 140733784308000 140733784289920 12477850 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3612/statm: 326801 267654 853 2943 0 323695 0 [pid=3612/tid=3613] ppid=3609 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3613/stat : 3613 (toysat) S 3609 3612 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24504783 1338576896 267654 33554432000 4194304 16246674 140733784308000 139851214073072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3612/tid=3614] ppid=3609 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3614/stat : 3614 (toysat) S 3609 3612 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24504783 1338576896 267654 33554432000 4194304 16246674 140733784308000 139851203583216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3612/tid=3615] ppid=3609 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3615/stat : 3615 (toysat) S 3609 3612 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24504783 1338576896 267654 33554432000 4194304 16246674 140733784308000 139851193109680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1307204 ################ # More data... # ################ /proc/3612/task/3615/stat : 3615 (toysat) S 3609 3612 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24504783 1341722624 268611 33554432000 4194304 16246674 140733784308000 139851193109680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 1310276 [startup+1302.3 s] /proc/loadavg: 2.18 2.23 2.25 3/183 3648 /proc/meminfo: memFree=27861364/32872528 swapFree=17888/1798212 [pid=3612] ppid=3609 vsize=1310276 CPUtime=1301.87 cores=0,2,4,6 /proc/3612/stat : 3612 (toysat) R 3609 3612 579 0 -1 4202496 268917 0 0 0 130140 47 0 0 20 0 4 0 24504783 1341722624 268611 33554432000 4194304 16246674 140733784308000 140733784289920 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3612/statm: 327569 268611 855 2943 0 324463 0 [pid=3612/tid=3613] ppid=3609 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3613/stat : 3613 (toysat) S 3609 3612 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24504783 1341722624 268611 33554432000 4194304 16246674 140733784308000 139851214073072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3612/tid=3614] ppid=3609 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3614/stat : 3614 (toysat) S 3609 3612 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24504783 1341722624 268611 33554432000 4194304 16246674 140733784308000 139851203583216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3612/tid=3615] ppid=3609 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3615/stat : 3615 (toysat) S 3609 3612 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24504783 1341722624 268611 33554432000 4194304 16246674 140733784308000 139851193109680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1310276 [startup+1362.3 s] /proc/loadavg: 2.26 2.24 2.25 4/183 3649 /proc/meminfo: memFree=27861064/32872528 swapFree=17888/1798212 [pid=3612] ppid=3609 vsize=1310276 CPUtime=1361.84 cores=0,2,4,6 /proc/3612/stat : 3612 (toysat) R 3609 3612 579 0 -1 4202496 269089 0 0 0 136137 47 0 0 20 0 4 0 24504783 1341722624 268741 33554432000 4194304 16246674 140733784308000 140733784289920 13195697 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3612/statm: 327569 268741 855 2943 0 324463 0 [pid=3612/tid=3613] ppid=3609 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3613/stat : 3613 (toysat) S 3609 3612 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24504783 1341722624 268741 33554432000 4194304 16246674 140733784308000 139851214073072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3612/tid=3614] ppid=3609 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3614/stat : 3614 (toysat) S 3609 3612 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24504783 1341722624 268741 33554432000 4194304 16246674 140733784308000 139851203583216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3612/tid=3615] ppid=3609 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3615/stat : 3615 (toysat) S 3609 3612 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24504783 1341722624 268741 33554432000 4194304 16246674 140733784308000 139851193109680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1310276 [startup+1422.3 s] /proc/loadavg: 2.25 2.24 2.25 3/183 3651 /proc/meminfo: memFree=27861496/32872528 swapFree=17888/1798212 [pid=3612] ppid=3609 vsize=1310276 CPUtime=1421.83 cores=0,2,4,6 /proc/3612/stat : 3612 (toysat) R 3609 3612 579 0 -1 4202496 269096 0 0 0 142136 47 0 0 20 0 4 0 24504783 1341722624 268741 33554432000 4194304 16246674 140733784308000 140733784289920 5661428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3612/statm: 327569 268741 855 2943 0 324463 0 [pid=3612/tid=3613] ppid=3609 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3613/stat : 3613 (toysat) S 3609 3612 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24504783 1341722624 268741 33554432000 4194304 16246674 140733784308000 139851214073072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3612/tid=3614] ppid=3609 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3614/stat : 3614 (toysat) S 3609 3612 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24504783 1341722624 268741 33554432000 4194304 16246674 140733784308000 139851203583216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3612/tid=3615] ppid=3609 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3615/stat : 3615 (toysat) S 3609 3612 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24504783 1341722624 268741 33554432000 4194304 16246674 140733784308000 139851193109680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1310276 [startup+1482.3 s] /proc/loadavg: 2.36 2.27 2.26 3/184 3704 /proc/meminfo: memFree=28094740/32872528 swapFree=17888/1798212 [pid=3612] ppid=3609 vsize=1310276 CPUtime=1481.81 cores=0,2,4,6 /proc/3612/stat : 3612 (toysat) R 3609 3612 579 0 -1 4202496 269096 0 0 0 148134 47 0 0 20 0 4 0 24504783 1341722624 268741 33554432000 4194304 16246674 140733784308000 140733784289920 5829736 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3612/statm: 327569 268741 855 2943 0 324463 0 [pid=3612/tid=3613] ppid=3609 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3613/stat : 3613 (toysat) S 3609 3612 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24504783 1341722624 268741 33554432000 4194304 16246674 140733784308000 139851214073072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3612/tid=3614] ppid=3609 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3614/stat : 3614 (toysat) S 3609 3612 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24504783 1341722624 268741 33554432000 4194304 16246674 140733784308000 139851203583216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3612/tid=3615] ppid=3609 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3615/stat : 3615 (toysat) S 3609 3612 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24504783 1341722624 268741 33554432000 4194304 16246674 140733784308000 139851193109680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 1310276 [startup+1542.31 s] /proc/loadavg: 2.42 2.31 2.27 3/184 3727 /proc/meminfo: memFree=27874132/32872528 swapFree=17888/1798212 [pid=3612] ppid=3609 vsize=1310276 CPUtime=1541.81 cores=0,2,4,6 /proc/3612/stat : 3612 (toysat) R 3609 3612 579 0 -1 4202496 269096 0 0 0 154133 48 0 0 20 0 4 0 24504783 1341722624 268741 33554432000 4194304 16246674 140733784308000 140733784289920 5721984 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3612/statm: 327569 268741 855 2943 0 324463 0 [pid=3612/tid=3613] ppid=3609 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3613/stat : 3613 (toysat) S 3609 3612 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24504783 1341722624 268741 33554432000 4194304 16246674 140733784308000 139851214073072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3612/tid=3614] ppid=3609 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3614/stat : 3614 (toysat) S 3609 3612 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24504783 1341722624 268741 33554432000 4194304 16246674 140733784308000 139851203583216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3612/tid=3615] ppid=3609 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3615/stat : 3615 (toysat) S 3609 3612 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24504783 1341722624 268741 33554432000 4194304 16246674 140733784308000 139851193109680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 1310276 [startup+1602.3 s] /proc/loadavg: 2.34 2.31 2.27 3/183 3728 /proc/meminfo: memFree=27874328/32872528 swapFree=17888/1798212 [pid=3612] ppid=3609 vsize=1310276 CPUtime=1601.79 cores=0,2,4,6 /proc/3612/stat : 3612 (toysat) R 3609 3612 579 0 -1 4202496 269096 0 0 0 160131 48 0 0 20 0 4 0 24504783 1341722624 268741 33554432000 4194304 16246674 140733784308000 140733784289920 6013156 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3612/statm: 327569 268741 855 2943 0 324463 0 [pid=3612/tid=3613] ppid=3609 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3613/stat : 3613 (toysat) S 3609 3612 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24504783 1341722624 268741 33554432000 4194304 16246674 140733784308000 139851214073072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3612/tid=3614] ppid=3609 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3614/stat : 3614 (toysat) S 3609 3612 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24504783 1341722624 268741 33554432000 4194304 16246674 140733784308000 139851203583216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3612/tid=3615] ppid=3609 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3615/stat : 3615 (toysat) S 3609 3612 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24504783 1341722624 268741 33554432000 4194304 16246674 140733784308000 139851193109680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 1310276 [startup+1662.3 s] /proc/loadavg: 2.28 2.31 2.27 3/183 3729 /proc/meminfo: memFree=27874268/32872528 swapFree=17888/1798212 [pid=3612] ppid=3609 vsize=1310276 CPUtime=1661.78 cores=0,2,4,6 /proc/3612/stat : 3612 (toysat) R 3609 3612 579 0 -1 4202496 269096 0 0 0 166130 48 0 0 20 0 4 0 24504783 1341722624 268741 33554432000 4194304 16246674 140733784308000 140733784289920 12483222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3612/statm: 327569 268741 855 2943 0 324463 0 [pid=3612/tid=3613] ppid=3609 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3613/stat : 3613 (toysat) S 3609 3612 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24504783 1341722624 268741 33554432000 4194304 16246674 140733784308000 139851214073072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3612/tid=3614] ppid=3609 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3614/stat : 3614 (toysat) S 3609 3612 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24504783 1341722624 268741 33554432000 4194304 16246674 140733784308000 139851203583216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3612/tid=3615] ppid=3609 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3615/stat : 3615 (toysat) S 3609 3612 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24504783 1341722624 268741 33554432000 4194304 16246674 140733784308000 139851193109680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 1310276 [startup+1722.3 s] /proc/loadavg: 2.33 2.31 2.27 3/183 3731 /proc/meminfo: memFree=27873148/32872528 swapFree=17888/1798212 [pid=3612] ppid=3609 vsize=1312324 CPUtime=1721.78 cores=0,2,4,6 /proc/3612/stat : 3612 (toysat) R 3609 3612 579 0 -1 4202496 269360 0 0 0 172129 49 0 0 20 0 4 0 24504783 1343819776 269005 33554432000 4194304 16246674 140733784308000 140733784289920 5545758 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3612/statm: 328081 269005 855 2943 0 324975 0 [pid=3612/tid=3613] ppid=3609 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3613/stat : 3613 (toysat) S 3609 3612 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24504783 1343819776 269005 33554432000 4194304 16246674 140733784308000 139851214073072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3612/tid=3614] ppid=3609 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3614/stat : 3614 (toysat) S 3609 3612 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24504783 1343819776 269005 33554432000 4194304 16246674 140733784308000 139851203583216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3612/tid=3615] ppid=3609 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3615/stat : 3615 (toysat) S 3609 3612 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24504783 1343819776 269005 33554432000 4194304 16246674 140733784308000 139851193109680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 1312324 [startup+1782.3 s] /proc/loadavg: 2.27 2.30 2.27 3/183 3732 /proc/meminfo: memFree=27872036/32872528 swapFree=17888/1798212 [pid=3612] ppid=3609 vsize=1312324 CPUtime=1781.76 cores=0,2,4,6 /proc/3612/stat : 3612 (toysat) R 3609 3612 579 0 -1 4202496 269608 0 0 0 178127 49 0 0 20 0 4 0 24504783 1343819776 269253 33554432000 4194304 16246674 140733784308000 140733784289920 5722160 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3612/statm: 328081 269253 855 2943 0 324975 0 [pid=3612/tid=3613] ppid=3609 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3613/stat : 3613 (toysat) S 3609 3612 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24504783 1343819776 269253 33554432000 4194304 16246674 140733784308000 139851214073072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3612/tid=3614] ppid=3609 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3614/stat : 3614 (toysat) S 3609 3612 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24504783 1343819776 269253 33554432000 4194304 16246674 140733784308000 139851203583216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3612/tid=3615] ppid=3609 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3615/stat : 3615 (toysat) S 3609 3612 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24504783 1343819776 269253 33554432000 4194304 16246674 140733784308000 139851193109680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 1312324 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.21 2.28 2.26 3/183 3732 /proc/meminfo: memFree=27872416/32872528 swapFree=17888/1798212 [pid=3612] ppid=3609 vsize=1312324 CPUtime=1800.07 cores=0,2,4,6 /proc/3612/stat : 3612 (toysat) R 3609 3612 579 0 -1 4202496 269608 0 0 0 179957 50 0 0 20 0 4 0 24504783 1343819776 269253 33554432000 4194304 16246674 140733784308000 140733784289920 12483303 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3612/statm: 328081 269253 855 2943 0 324975 0 [pid=3612/tid=3613] ppid=3609 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3613/stat : 3613 (toysat) S 3609 3612 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24504783 1343819776 269253 33554432000 4194304 16246674 140733784308000 139851214073072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3612/tid=3614] ppid=3609 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3614/stat : 3614 (toysat) S 3609 3612 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24504783 1343819776 269253 33554432000 4194304 16246674 140733784308000 139851203583216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3612/tid=3615] ppid=3609 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/3612/task/3615/stat : 3615 (toysat) S 3609 3612 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24504783 1343819776 269253 33554432000 4194304 16246674 140733784308000 139851193109680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1312324 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 3612 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.08 CPU user time (s): 1799.58 CPU system time (s): 0.500923 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 1312324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.58 system time used= 0.500923 maximum resident set size= 1077012 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 269608 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= 440 involuntary context switches= 3039 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.8742 second user time and 12.995 second system time The end
Begin job on node123 at 2016-06-18 06:36:16 IDJOB=4101593 IDBENCH=1770 IDSOLVER=2542 FILE ID=node123/4101593-1466224576 RUNJOBID= node123-1466206081-595 PBS_JOBID= 19918154 Free space on /tmp= 71620 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-misc07.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101593-1466224576/watcher-4101593-1466224576 -o /tmp/evaluation-result-4101593-1466224576/solver-4101593-1466224576 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-595 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101593-1466224576.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f36b59f1fcf0c7e8fce521b6b9823495 RANDOM SEED=337766490 node123.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.791 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.58 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.791 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.791 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.56 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.791 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.57 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.791 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.56 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.791 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 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.791 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: 28941452 kB Buffers: 117760 kB Cached: 173360 kB SwapCached: 1648 kB Active: 1196224 kB Inactive: 195000 kB Active(anon): 1101232 kB Inactive(anon): 1152 kB Active(file): 94992 kB Inactive(file): 193848 kB Unevictable: 1798212 kB Mlocked: 17888 kB SwapTotal: 67108856 kB SwapFree: 67099316 kB Dirty: 16332 kB Writeback: 8 kB AnonPages: 2897776 kB Mapped: 10448 kB Shmem: 0 kB Slab: 602780 kB SReclaimable: 46640 kB SUnreclaim: 556140 kB KernelStack: 1456 kB PageTables: 9612 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3039684 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1787904 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= 71604 MiB End job on node123 at 2016-06-18 07:06:17