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.34 | 1800.67 |
| Name | OPT-BIGINT-LIN/graca/ normalized-ped2.G.recomb1-0.20-13.opb |
| MD5SUM | 33fd175b84968779bfb4b5b76f997c8b |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 6430 |
| Best CPU time to get the best result obtained on this benchmark | 91.4781 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 216117 |
| Total number of constraints | 3620088 |
| Number of constraints which are clauses | 3620088 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 579 |
| Number of terms in the objective function | 18980 |
| Biggest coefficient in the objective function | 581 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 10690980 |
| Number of bits of the sum of numbers in the objective function | 24 |
| Biggest number in a constraint | 581 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 10690980 |
| Number of bits of the biggest sum of numbers | 24 |
| 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-08T08:16:32+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-4079013-1465366589.opb"] 0.00/0.01 c use --random-gen="1405422238 1009602854 3246733614 4113898738 1980847372 1646647489 674004310 1700072088 3097626898 3904421625 4246688479 1896766372 1148422792 2834320119 3760675318 746507539 2124795280 2725310661 2439954402 2329053951 980285765 3948755383 4093285227 2202536250 3532797783 3970144422 2362678442 1945771285 2220973462 2037220112 1486126567 4067630229 3129830139 1207370892 3016274088 1126159265 3420706519 1033324172 2990398596 1007556186 3523082228 3580319873 1493770736 1858711753 3731328940 3962486334 145327100 3490892524 4226230274 2552535593 3318199278 1294722290 2142472165 677293301 1103171917 2982387737 1986783801 4002720886 14149384 1760862413 1128943819 29440636 2587769242 3546844386 424376481 396844328 176328071 1160338854 2543563669 1883380321 186654142 241758873 1870244468 2910611904 1188430976 2809649845 4187027071 101128031 237854877 1558025862 574668878 799937614 1905881472 75842809 117115586 22440341 351596035 3216719801 18309569 1365978346 1889743531 4003405290 2775863457 3030142605 2865292260 3215198652 3697371280 3681959057 1182626111 1095451007 4089560309 2349665296 2960875991 3025969250 1094717271 821105043 363892959 450192836 2614276916 1945921306 3309485812 4281727852 691007893 3224006512 786070918 842321356 3650603275 2876646980 393142939 4237151060 3118978898 565278854 1352472211 2164352972 1820253539 4091916602 2435236143 2600901858 2796608664 4126151279 827466650 1811343802 1780071919 3795688896 2702087788 4183239923 303640125 766015695 3484237553 156476155 3311937938 1794757500 375872712 3572419754 1781750860 2715985574 3188469309 2793311930 3539030382 1097319408 1272336292 2506268058 686818655 1333129513 4208068882 3009338033 2621880736 4265218907 3090852219 4072837054 4281328602 47464703 601456493 3110938220 1529558629 149258231 1307346582 1083368655 513996802 1486641261 391715631 350146936 901761122 2070543715 3080227934 557490444 3590981169 1976555275 1551347894 437042809 3046364706 4253667741 618945472 811256800 2623983294 3564865266 233289505 2257477848 3638243326 1488617176 2086670086 3764647485 1408153046 2308335934 288763537 4077037145 2128244408 2493511317 3486312504 176991259 1662724470 4074196257 2571444605 736871320 3341261769 3569880894 2990675623 4036321012 3705924492 3018322664 1058547377 3363278978 2383450493 203869839 3147184102 182685714 2808142215 3873775037 859225841 972574518 294265828 2225446582 1642330523 3764249498 3538476310 2262456305 4232469431 3907239777 2552665091 1581581661 3612134195 814472293 2683331011 639507026 305501169 3313186129 593374367 2662550396 708873652 331412715 5786035 141751471 1943480181 3114919768 248582792 1643817145 449537908 953858537 3099542735 1061931296 431801163 3177197495 2574869216 1445350013 991692682 589088034 255 362436" option to reproduce the execution 20.29/20.38 c #vars 216117 20.29/20.38 c #constraints 3620088 43.99/44.06 c BCD2: Hardening is enabled. 43.99/44.06 c BCD2: BiasedSearch is enabled. 43.99/44.06 c Solving starts ... 43.99/44.06 c ============================[ Search Statistics ]============================ 43.99/44.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 43.99/44.06 c | | | | Limit GC | Var | Constra 43.99/44.06 c ============================================================================= 43.99/44.06 c 0.0s | 0 | 0 | 0 | 525040 0 | 117577 | 0 109.27/109.32 c 65.3s | 0 | 4661562 | 87 | 525040 0 | 117858 | 316090 109.27/109.32 c #cpu_time = 65.021s 109.27/109.32 c #wall_clock_time = 65.188s 109.27/109.32 c #decision = 4661562 109.27/109.32 c #random_decision = 22152 109.27/109.32 c #conflict = 87 109.27/109.32 c #restart = 0 109.27/109.32 o 10690980 109.27/109.36 c BCD2: updating upper bound: 10690980 -> 10690979 109.37/109.41 c BCD2: 0 <= obj <= 10690979 109.37/109.41 c BCD2: #cores=0, #unrelaxed=18980, #relaxed=0, #hardened=0 109.37/109.41 c BCD2: #sat=1 #unsat=1 bias=1/2 109.37/109.41 c Solving starts ... 109.37/109.41 c ============================[ Search Statistics ]============================ 109.37/109.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 109.37/109.41 c | | | | Limit GC | Var | Constra 109.37/109.41 c ============================================================================= 109.37/109.41 c 0.0s | 0 | 0 | 0 | 525040 0 | 117858 | 316090 109.68/109.74 c 0.3s | 0 | 289 | 0 | 525040 0 | 117858 | 316090 109.68/109.74 c #cpu_time = 0.322s 109.68/109.74 c #wall_clock_time = 0.323s 109.68/109.74 c #decision = 289 109.68/109.74 c #random_decision = 0 109.68/109.74 c #conflict = 0 109.68/109.74 c #restart = 0 109.68/109.74 c BCD2: found a new core of size 1: cost of the new core is >=1 109.68/109.74 c lower bound updated to 1 109.68/109.75 c BCD2: 1 <= obj <= 10690979 109.68/109.75 c BCD2: #cores=1, #unrelaxed=18979, #relaxed=1, #hardened=0 109.68/109.75 c BCD2: #sat=1 #unsat=2 bias=2/3 109.68/109.76 c Solving starts ... 109.68/109.76 c ============================[ Search Statistics ]============================ 109.68/109.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 109.68/109.76 c | | | | Limit GC | Var | Constra 109.68/109.76 c ============================================================================= 109.68/109.76 c 0.0s | 0 | 0 | 0 | 525040 0 | 117858 | 316090 109.97/110.08 c 0.3s | 0 | 578 | 0 | 525040 0 | 117858 | 316090 109.97/110.08 c #cpu_time = 0.326s 109.97/110.08 c #wall_clock_time = 0.327s 109.97/110.08 c #decision = 578 109.97/110.08 c #random_decision = 0 109.97/110.08 c #conflict = 0 109.97/110.08 c #restart = 0 109.97/110.08 c BCD2: found a new core of size 1: cost of the new core is >=1 109.97/110.08 c lower bound updated to 2 110.07/110.10 c BCD2: 2 <= obj <= 10690979 110.07/110.10 c BCD2: #cores=2, #unrelaxed=18978, #relaxed=2, #hardened=0 110.07/110.10 c BCD2: #sat=1 #unsat=3 bias=3/4 110.07/110.10 c Solving starts ... 110.07/110.10 c ============================[ Search Statistics ]============================ 110.07/110.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 110.07/110.10 c | | | | Limit GC | Var | Constra 110.07/110.10 c ============================================================================= 110.07/110.10 c 0.0s | 0 | 0 | 0 | 525040 0 | 117858 | 316090 110.37/110.42 c 0.3s | 0 | 579 | 0 | 525040 0 | 117858 | 316090 110.37/110.42 c #cpu_time = 0.321s 110.37/110.42 c #wall_clock_time = 0.322s 110.37/110.42 c #decision = 579 110.37/110.42 c #random_decision = 0 110.37/110.42 c #conflict = 0 110.37/110.42 c #restart = 0 110.37/110.42 c BCD2: found a new core of size 1: cost of the new core is >=1 110.37/110.42 c lower bound updated to 3 110.37/110.43 c BCD2: 3 <= obj <= 10690979 110.37/110.43 c BCD2: #cores=3, #unrelaxed=18977, #relaxed=3, #hardened=0 110.37/110.43 c BCD2: #sat=1 #unsat=4 bias=4/5 110.37/110.43 c Solving starts ... 110.37/110.43 c ============================[ Search Statistics ]============================ 110.37/110.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 110.37/110.43 c | | | | Limit GC | Var | Constra 110.37/110.43 c ============================================================================= 110.37/110.44 c 0.0s | 0 | 0 | 0 | 525040 0 | 117858 | 316090 110.67/110.80 c 0.4s | 0 | 11152 | 0 | 525040 0 | 117858 | 316090 110.67/110.80 c #cpu_time = 0.361s 110.67/110.80 c #wall_clock_time = 0.362s 110.67/110.80 c #decision = 11152 110.67/110.80 c #random_decision = 0 110.67/110.80 c #conflict = 0 110.67/110.80 c #restart = 0 110.67/110.80 c BCD2: found a new core of size 34: cost of the new core is >=581 110.67/110.80 c lower bound updated to 584 110.78/110.82 c BCD2: 584 <= obj <= 10690979 110.78/110.82 c BCD2: #cores=4, #unrelaxed=18943, #relaxed=37, #hardened=0 110.78/110.82 c BCD2: #sat=1 #unsat=5 bias=5/6 110.78/110.82 c Solving starts ... 110.78/110.82 c ============================[ Search Statistics ]============================ 110.78/110.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 110.78/110.82 c | | | | Limit GC | Var | Constra 110.78/110.82 c ============================================================================= 110.78/110.82 c 0.0s | 0 | 0 | 0 | 525040 0 | 117858 | 316090 111.07/111.18 c 0.4s | 0 | 12521 | 0 | 525040 0 | 117858 | 316090 111.07/111.18 c #cpu_time = 0.353s 111.07/111.18 c #wall_clock_time = 0.354s 111.07/111.18 c #decision = 12521 111.07/111.18 c #random_decision = 0 111.07/111.18 c #conflict = 0 111.07/111.18 c #restart = 0 111.07/111.18 c BCD2: found a new core of size 25: cost of the new core is >=581 111.07/111.18 c lower bound updated to 1165 111.07/111.19 c BCD2: 1165 <= obj <= 10690979 111.07/111.19 c BCD2: #cores=5, #unrelaxed=18918, #relaxed=62, #hardened=0 111.07/111.19 c BCD2: #sat=1 #unsat=6 bias=6/7 111.07/111.19 c Solving starts ... 111.07/111.19 c ============================[ Search Statistics ]============================ 111.07/111.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 111.07/111.19 c | | | | Limit GC | Var | Constra 111.07/111.19 c ============================================================================= 111.07/111.19 c 0.0s | 0 | 0 | 0 | 525040 0 | 117858 | 316090 111.57/111.64 c 0.5s | 0 | 19831 | 3 | 525040 0 | 117858 | 316090 111.57/111.64 c #cpu_time = 0.446s 111.57/111.64 c #wall_clock_time = 0.447s 111.57/111.64 c #decision = 19831 111.57/111.64 c #random_decision = 1 111.57/111.64 c #conflict = 3 111.57/111.64 c #restart = 0 111.57/111.64 c BCD2: found a new core of size 24: cost of the new core is >=1 111.57/111.64 c lower bound updated to 1166 111.57/111.66 c BCD2: 1166 <= obj <= 10690979 111.57/111.66 c BCD2: #cores=6, #unrelaxed=18894, #relaxed=86, #hardened=0 111.57/111.66 c BCD2: #sat=1 #unsat=7 bias=7/8 111.57/111.66 c Solving starts ... 111.57/111.66 c ============================[ Search Statistics ]============================ 111.57/111.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 111.57/111.66 c | | | | Limit GC | Var | Constra 111.57/111.66 c ============================================================================= 111.57/111.66 c 0.0s | 0 | 0 | 0 | 525040 0 | 117858 | 316090 113.17/113.20 c 1.5s | 0 | 20833 | 3 | 525040 0 | 117858 | 316090 113.17/113.20 c #cpu_time = 1.537s 113.17/113.20 c #wall_clock_time = 1.541s 113.17/113.20 c #decision = 20833 113.17/113.20 c #random_decision = 2 113.17/113.20 c #conflict = 3 113.17/113.20 c #restart = 0 113.17/113.20 c BCD2: found a new core of size 3: cost of the new core is >=1 113.17/113.20 c lower bound updated to 1167 113.17/113.26 c BCD2: 1167 <= obj <= 10690979 113.17/113.26 c BCD2: #cores=7, #unrelaxed=18891, #relaxed=89, #hardened=0 113.17/113.26 c BCD2: #sat=1 #unsat=8 bias=8/9 113.17/113.27 c Solving starts ... 113.17/113.27 c ============================[ Search Statistics ]============================ 113.17/113.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 113.17/113.27 c | | | | Limit GC | Var | Constra 113.17/113.27 c ============================================================================= 113.17/113.28 c 0.0s | 0 | 0 | 0 | 525040 0 | 117858 | 316090 113.57/113.68 c 0.4s | 0 | 19719 | 5 | 525040 0 | 117858 | 316090 113.57/113.68 c #cpu_time = 0.386s 113.57/113.68 c #wall_clock_time = 0.387s 113.57/113.68 c #decision = 19719 113.57/113.68 c #random_decision = 0 113.57/113.68 c #conflict = 5 113.57/113.68 c #restart = 0 113.57/113.68 c BCD2: found a new core of size 174: cost of the new core is >=1 113.57/113.68 c lower bound updated to 1168 113.67/113.75 c BCD2: 1168 <= obj <= 10690979 113.67/113.75 c BCD2: #cores=8, #unrelaxed=18717, #relaxed=263, #hardened=0 113.67/113.75 c BCD2: #sat=1 #unsat=9 bias=9/10 113.67/113.75 c Solving starts ... 113.67/113.75 c ============================[ Search Statistics ]============================ 113.67/113.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 113.67/113.75 c | | | | Limit GC | Var | Constra 113.67/113.75 c ============================================================================= 113.67/113.75 c 0.0s | 0 | 0 | 0 | 525040 0 | 117858 | 316090 114.57/114.63 c 0.9s | 0 | 55978 | 9 | 577544 0 | 117861 | 316265 114.57/114.63 c #cpu_time = 0.878s 114.57/114.63 c #wall_clock_time = 0.881s 114.57/114.63 c #decision = 55978 114.57/114.63 c #random_decision = 0 114.57/114.63 c #conflict = 9 114.57/114.63 c #restart = 0 114.57/114.63 c BCD2: found a new core of size 2: cost of the new core is >=1 114.57/114.63 c lower bound updated to 1169 114.67/114.70 c BCD2: 1169 <= obj <= 10690979 114.67/114.70 c BCD2: #cores=9, #unrelaxed=18715, #relaxed=265, #hardened=0 114.67/114.70 c BCD2: #sat=1 #unsat=10 bias=10/11 114.67/114.70 c Solving starts ... 114.67/114.70 c ============================[ Search Statistics ]============================ 114.67/114.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 114.67/114.70 c | | | | Limit GC | Var | Constra 114.67/114.70 c ============================================================================= 114.67/114.70 c 0.0s | 0 | 0 | 0 | 577544 0 | 117861 | 316265 115.07/115.10 c 0.4s | 0 | 18726 | 2 | 577544 0 | 117861 | 316265 115.07/115.10 c #cpu_time = 0.397s 115.07/115.10 c #wall_clock_time = 0.398s 115.07/115.10 c #decision = 18726 115.07/115.10 c #random_decision = 0 115.07/115.10 c #conflict = 2 115.07/115.10 c #restart = 0 115.07/115.10 c BCD2: relaxing 32 and merging with 1 cores into a new core of size 34: cost of the new core is >=2 115.07/115.10 c lower bound updated to 1170 115.07/115.13 c BCD2: 1170 <= obj <= 10690979 115.07/115.13 c BCD2: #cores=9, #unrelaxed=18683, #relaxed=297, #hardened=0 115.07/115.13 c BCD2: #sat=1 #unsat=11 bias=11/12 115.07/115.14 c Solving starts ... 115.07/115.14 c ============================[ Search Statistics ]============================ 115.07/115.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 115.07/115.14 c | | | | Limit GC | Var | Constra 115.07/115.14 c ============================================================================= 115.07/115.14 c 0.0s | 0 | 0 | 0 | 577544 0 | 117862 | 316265 115.47/115.55 c 0.4s | 0 | 18740 | 3 | 577544 0 | 117862 | 316266 115.47/115.55 c #cpu_time = 0.407s 115.47/115.55 c #wall_clock_time = 0.408s 115.47/115.55 c #decision = 18740 115.47/115.55 c #random_decision = 0 115.47/115.55 c #conflict = 3 115.47/115.55 c #restart = 0 115.47/115.55 c BCD2: found a new core of size 9: cost of the new core is >=1 115.47/115.55 c lower bound updated to 1171 115.47/115.59 c BCD2: 1171 <= obj <= 10690979 115.47/115.59 c BCD2: #cores=10, #unrelaxed=18674, #relaxed=306, #hardened=0 115.47/115.59 c BCD2: #sat=1 #unsat=12 bias=12/13 115.47/115.59 c Solving starts ... 115.47/115.59 c ============================[ Search Statistics ]============================ 115.47/115.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 115.47/115.59 c | | | | Limit GC | Var | Constra 115.47/115.59 c ============================================================================= 115.47/115.59 c 0.0s | 0 | 0 | 0 | 577544 0 | 117862 | 316266 115.97/116.06 c 0.5s | 0 | 25149 | 14 | 577544 0 | 117862 | 316266 115.97/116.06 c #cpu_time = 0.460s 115.97/116.06 c #wall_clock_time = 0.461s 115.97/116.06 c #decision = 25149 115.97/116.06 c #random_decision = 0 115.97/116.06 c #conflict = 14 115.97/116.06 c #restart = 0 115.97/116.06 c BCD2: found a new core of size 2: cost of the new core is >=1 115.97/116.06 c lower bound updated to 1172 115.97/116.08 c BCD2: 1172 <= obj <= 10690979 115.97/116.08 c BCD2: #cores=11, #unrelaxed=18672, #relaxed=308, #hardened=0 115.97/116.08 c BCD2: #sat=1 #unsat=13 bias=13/14 115.97/116.08 c Solving starts ... 115.97/116.08 c ============================[ Search Statistics ]============================ 115.97/116.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 115.97/116.08 c | | | | Limit GC | Var | Constra 115.97/116.08 c ============================================================================= 115.97/116.08 c 0.0s | 0 | 0 | 0 | 577544 0 | 117862 | 316266 116.57/116.63 c 0.5s | 0 | 23722 | 39 | 577544 0 | 117862 | 316266 116.57/116.63 c #cpu_time = 0.535s 116.57/116.63 c #wall_clock_time = 0.536s 116.57/116.63 c #decision = 23722 116.57/116.63 c #random_decision = 1 116.57/116.63 c #conflict = 39 116.57/116.63 c #restart = 0 116.57/116.63 c BCD2: relaxing 310 and merging with 1 cores into a new core of size 312: cost of the new core is >=2 116.57/116.63 c lower bound updated to 1173 116.57/116.65 c BCD2: 1173 <= obj <= 10690979 116.57/116.65 c BCD2: #cores=11, #unrelaxed=18362, #relaxed=618, #hardened=0 116.57/116.65 c BCD2: #sat=1 #unsat=14 bias=14/15 116.57/116.65 c Solving starts ... 116.57/116.65 c ============================[ Search Statistics ]============================ 116.57/116.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 116.57/116.65 c | | | | Limit GC | Var | Constra 116.57/116.65 c ============================================================================= 116.57/116.65 c 0.0s | 0 | 0 | 0 | 577544 0 | 117863 | 316266 117.38/117.41 c 0.8s | 0 | 103429 | 42 | 577544 0 | 117863 | 316267 117.38/117.41 c #cpu_time = 0.754s 117.38/117.41 c #wall_clock_time = 0.756s 117.38/117.41 c #decision = 103429 117.38/117.41 c #random_decision = 11 117.38/117.41 c #conflict = 42 117.38/117.41 c #restart = 0 117.38/117.41 c BCD2: found a new core of size 53: cost of the new core is >=1 117.38/117.41 c lower bound updated to 1174 117.38/117.43 c BCD2: 1174 <= obj <= 10690979 117.38/117.43 c BCD2: #cores=12, #unrelaxed=18309, #relaxed=671, #hardened=0 117.38/117.43 c BCD2: #sat=1 #unsat=15 bias=15/16 117.38/117.44 c Solving starts ... 117.38/117.44 c ============================[ Search Statistics ]============================ 117.38/117.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 117.38/117.44 c | | | | Limit GC | Var | Constra 117.38/117.44 c ============================================================================= 117.38/117.44 c 0.0s | 0 | 0 | 0 | 577544 0 | 117863 | 316267 117.97/118.07 c 0.6s | 0 | 32795 | 66 | 635299 0 | 117863 | 316267 117.97/118.07 c #cpu_time = 0.618s 117.97/118.07 c #wall_clock_time = 0.620s 117.97/118.07 c #decision = 32795 117.97/118.07 c #random_decision = 0 117.97/118.07 c #conflict = 66 117.97/118.07 c #restart = 0 117.97/118.07 c BCD2: found a new core of size 165: cost of the new core is >=1 117.97/118.07 c lower bound updated to 1175 117.97/118.08 c BCD2: 1175 <= obj <= 10690979 117.97/118.08 c BCD2: #cores=13, #unrelaxed=18144, #relaxed=836, #hardened=0 117.97/118.08 c BCD2: #sat=1 #unsat=16 bias=16/17 117.97/118.09 c Solving starts ... 117.97/118.09 c ============================[ Search Statistics ]============================ 117.97/118.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 117.97/118.09 c | | | | Limit GC | Var | Constra 117.97/118.09 c ============================================================================= 117.97/118.09 c 0.0s | 0 | 0 | 0 | 635299 0 | 117863 | 316267 118.77/118.81 c 0.7s | 0 | 39638 | 37 | 635299 0 | 117863 | 316267 118.77/118.81 c #cpu_time = 0.705s 118.77/118.81 c #wall_clock_time = 0.707s 118.77/118.81 c #decision = 39638 118.77/118.81 c #random_decision = 13 118.77/118.81 c #conflict = 37 118.77/118.81 c #restart = 0 118.77/118.81 c BCD2: found a new core of size 109: cost of the new core is >=1 118.77/118.81 c lower bound updated to 1176 118.77/118.83 c BCD2: 1176 <= obj <= 10690979 118.77/118.83 c BCD2: #cores=14, #unrelaxed=18035, #relaxed=945, #hardened=0 118.77/118.83 c BCD2: #sat=1 #unsat=17 bias=17/18 118.77/118.83 c Solving starts ... 118.77/118.83 c ============================[ Search Statistics ]============================ 118.77/118.83 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 118.77/118.83 c | | | | Limit GC | Var | Constra 118.77/118.83 c ============================================================================= 118.77/118.83 c 0.0s | 0 | 0 | 0 | 635299 0 | 117863 | 316267 119.17/119.26 c 0.4s | 0 | 18162 | 4 | 635299 0 | 117863 | 316267 119.17/119.26 c #cpu_time = 0.424s 119.17/119.26 c #wall_clock_time = 0.425s 119.17/119.26 c #decision = 18162 119.17/119.26 c #random_decision = 0 119.17/119.26 c #conflict = 4 119.17/119.26 c #restart = 0 119.17/119.26 c BCD2: found a new core of size 26: cost of the new core is >=581 119.17/119.26 c lower bound updated to 1757 119.17/119.27 c BCD2: 1757 <= obj <= 10690979 119.17/119.27 c BCD2: #cores=15, #unrelaxed=18009, #relaxed=971, #hardened=0 119.17/119.27 c BCD2: #sat=1 #unsat=18 bias=18/19 119.17/119.28 c Solving starts ... 119.17/119.28 c ============================[ Search Statistics ]============================ 119.17/119.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 119.17/119.28 c | | | | Limit GC | Var | Constra 119.17/119.28 c ============================================================================= 119.17/119.28 c 0.0s | 0 | 0 | 0 | 635299 0 | 117863 | 316267 119.58/119.67 c 0.4s | 0 | 18621 | 5 | 635299 0 | 117863 | 316267 119.58/119.67 c #cpu_time = 0.386s 119.58/119.67 c #wall_clock_time = 0.387s 119.58/119.67 c #decision = 18621 119.58/119.67 c #random_decision = 0 119.58/119.67 c #conflict = 5 119.58/119.67 c #restart = 0 119.58/119.67 c BCD2: found a new core of size 139: cost of the new core is >=1 119.58/119.67 c lower bound updated to 1758 119.58/119.69 c BCD2: 1758 <= obj <= 10690979 119.58/119.69 c BCD2: #cores=16, #unrelaxed=17870, #relaxed=1110, #hardened=0 119.58/119.69 c BCD2: #sat=1 #unsat=19 bias=19/20 119.58/119.69 c Solving starts ... 119.58/119.70 c ============================[ Search Statistics ]============================ 119.58/119.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 119.58/119.70 c | | | | Limit GC | Var | Constra 119.58/119.70 c ============================================================================= 119.58/119.70 c 0.0s | 0 | 0 | 0 | 635299 0 | 117863 | 316267 120.27/120.36 c 0.7s | 0 | 41633 | 31 | 635299 0 | 117863 | 316267 120.27/120.36 c #cpu_time = 0.663s 120.27/120.36 c #wall_clock_time = 0.665s 120.27/120.36 c #decision = 41633 120.27/120.36 c #random_decision = 15 120.27/120.36 c #conflict = 31 120.27/120.36 c #restart = 0 120.27/120.36 c BCD2: found a new core of size 6: cost of the new core is >=1 120.27/120.36 c lower bound updated to 1759 120.27/120.38 c BCD2: 1759 <= obj <= 10690979 120.27/120.38 c BCD2: #cores=17, #unrelaxed=17864, #relaxed=1116, #hardened=0 120.27/120.38 c BCD2: #sat=1 #unsat=20 bias=20/21 120.27/120.38 c Solving starts ... 120.27/120.38 c ============================[ Search Statistics ]============================ 120.27/120.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 120.27/120.38 c | | | | Limit GC | Var | Constra 120.27/120.38 c ============================================================================= 120.27/120.38 c 0.0s | 0 | 0 | 0 | 635299 0 | 117863 | 316267 120.87/120.96 c 0.6s | 0 | 35770 | 44 | 635299 0 | 117863 | 316267 120.87/120.96 c #cpu_time = 0.578s 120.87/120.96 c #wall_clock_time = 0.579s 120.87/120.96 c #decision = 35770 120.87/120.96 c #random_decision = 0 120.87/120.96 c #conflict = 44 120.87/120.96 c #restart = 0 120.87/120.96 c BCD2: found a new core of size 3: cost of the new core is >=1 120.87/120.96 c lower bound updated to 1760 120.87/120.98 c BCD2: 1760 <= obj <= 10690979 120.87/120.98 c BCD2: #cores=18, #unrelaxed=17861, #relaxed=1119, #hardened=0 120.87/120.98 c BCD2: #sat=1 #unsat=21 bias=21/22 120.87/120.98 c Solving starts ... 120.87/120.98 c ============================[ Search Statistics ]============================ 120.87/120.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 120.87/120.98 c | | | | Limit GC | Var | Constra 120.87/120.98 c ============================================================================= 120.87/120.98 c 0.0s | 0 | 0 | 0 | 635299 0 | 117863 | 316267 121.68/121.77 c 0.8s | 0 | 79394 | 30 | 635299 0 | 117863 | 316267 121.68/121.77 c #cpu_time = 0.782s 121.68/121.77 c #wall_clock_time = 0.784s 121.68/121.77 c #decision = 79394 121.68/121.77 c #random_decision = 4 121.68/121.77 c #conflict = 30 121.68/121.77 c #restart = 0 121.68/121.77 c BCD2: found a new core of size 68: cost of the new core is >=1 121.68/121.77 c lower bound updated to 1761 121.68/121.79 c BCD2: 1761 <= obj <= 10690979 121.68/121.79 c BCD2: #cores=19, #unrelaxed=17793, #relaxed=1187, #hardened=0 121.68/121.79 c BCD2: #sat=1 #unsat=22 bias=22/23 121.68/121.79 c Solving starts ... 121.68/121.79 c ============================[ Search Statistics ]============================ 121.68/121.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 121.68/121.79 c | | | | Limit GC | Var | Constra 121.68/121.79 c ============================================================================= 121.68/121.79 c 0.0s | 0 | 0 | 0 | 635299 0 | 117863 | 316267 122.07/122.20 c 0.4s | 0 | 25419 | 4 | 635299 0 | 117863 | 316267 122.07/122.20 c #cpu_time = 0.398s 122.07/122.20 c #wall_clock_time = 0.399s 122.07/122.20 c #decision = 25419 122.07/122.20 c #random_decision = 1 122.07/122.20 c #conflict = 4 122.07/122.20 c #restart = 0 122.07/122.20 c BCD2: found a new core of size 86: cost of the new core is >=1 122.07/122.20 c lower bound updated to 1762 122.17/122.21 c BCD2: 1762 <= obj <= 10690979 122.17/122.21 c BCD2: #cores=20, #unrelaxed=17707, #relaxed=1273, #hardened=0 122.17/122.21 c BCD2: #sat=1 #unsat=23 bias=23/24 122.17/122.22 c Solving starts ... 122.17/122.22 c ============================[ Search Statistics ]============================ 122.17/122.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 122.17/122.22 c | | | | Limit GC | Var | Constra 122.17/122.22 c ============================================================================= 122.17/122.22 c 0.0s | 0 | 0 | 0 | 635299 0 | 117863 | 316267 122.47/122.59 c 0.4s | 0 | 17728 | 2 | 635299 0 | 117863 | 316267 122.47/122.59 c #cpu_time = 0.365s 122.47/122.59 c #wall_clock_time = 0.366s 122.47/122.59 c #decision = 17728 122.47/122.59 c #random_decision = 0 122.47/122.59 c #conflict = 2 122.47/122.59 c #restart = 0 122.47/122.59 c BCD2: found a new core of size 8: cost of the new core is >=581 122.47/122.59 c lower bound updated to 2343 122.57/122.60 c BCD2: 2343 <= obj <= 10690979 122.57/122.60 c BCD2: #cores=21, #unrelaxed=17699, #relaxed=1281, #hardened=0 122.57/122.60 c BCD2: #sat=1 #unsat=24 bias=24/25 122.57/122.61 c Solving starts ... 122.57/122.61 c ============================[ Search Statistics ]============================ 122.57/122.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 122.57/122.61 c | | | | Limit GC | Var | Constra 122.57/122.61 c ============================================================================= 122.57/122.61 c 0.0s | 0 | 0 | 0 | 635299 0 | 117863 | 316267 124.97/125.10 c 2.5s | 0 | 58818 | 40 | 635299 0 | 117876 | 316861 124.97/125.10 c #cpu_time = 2.480s 124.97/125.10 c #wall_clock_time = 2.486s 124.97/125.10 c #decision = 58818 124.97/125.10 c #random_decision = 10 124.97/125.10 c #conflict = 40 124.97/125.10 c #restart = 0 124.97/125.10 c BCD2: found a new core of size 69: cost of the new core is >=581 124.97/125.10 c lower bound updated to 2924 125.08/125.18 c BCD2: 2924 <= obj <= 10690979 125.08/125.18 c BCD2: #cores=22, #unrelaxed=17630, #relaxed=1350, #hardened=0 125.08/125.18 c BCD2: #sat=1 #unsat=25 bias=25/26 125.08/125.18 c Solving starts ... 125.08/125.18 c ============================[ Search Statistics ]============================ 125.08/125.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 125.08/125.18 c | | | | Limit GC | Var | Constra 125.08/125.18 c ============================================================================= 125.08/125.18 c 0.0s | 0 | 0 | 0 | 635299 0 | 117876 | 316861 125.77/125.87 c 0.7s | 0 | 41440 | 6 | 635299 0 | 117876 | 316861 125.77/125.87 c #cpu_time = 0.677s 125.77/125.87 c #wall_clock_time = 0.679s 125.77/125.87 c #decision = 41440 125.77/125.87 c #random_decision = 15 125.77/125.87 c #conflict = 6 125.77/125.87 c #restart = 0 125.77/125.87 c BCD2: found a new core of size 56: cost of the new core is >=581 125.77/125.87 c lower bound updated to 3505 125.87/125.95 c BCD2: 3505 <= obj <= 10690979 125.87/125.95 c BCD2: #cores=23, #unrelaxed=17574, #relaxed=1406, #hardened=0 125.87/125.95 c BCD2: #sat=1 #unsat=26 bias=26/27 125.87/125.95 c Solving starts ... 125.87/125.95 c ============================[ Search Statistics ]============================ 125.87/125.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 125.87/125.95 c | | | | Limit GC | Var | Constra 125.87/125.95 c ============================================================================= 125.87/125.97 c 0.0s | 0 | 0 | 0 | 635299 0 | 117876 | 316861 126.97/127.07 c 1.1s | 0 | 23152 | 3 | 698829 0 | 117926 | 318056 126.97/127.07 c #cpu_time = 1.093s 126.97/127.07 c #wall_clock_time = 1.096s 126.97/127.07 c #decision = 23152 126.97/127.07 c #random_decision = 3 126.97/127.07 c #conflict = 3 126.97/127.07 c #restart = 0 126.97/127.07 c BCD2: found a new core of size 54: cost of the new core is >=581 126.97/127.07 c lower bound updated to 4086 126.97/127.09 c BCD2: 4086 <= obj <= 10690979 126.97/127.09 c BCD2: #cores=24, #unrelaxed=17520, #relaxed=1460, #hardened=0 126.97/127.09 c BCD2: #sat=1 #unsat=27 bias=27/28 127.07/127.10 c Solving starts ... 127.07/127.10 c ============================[ Search Statistics ]============================ 127.07/127.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 127.07/127.10 c | | | | Limit GC | Var | Constra 127.07/127.10 c ============================================================================= 127.07/127.10 c 0.0s | 0 | 0 | 0 | 698829 0 | 117926 | 318056 128.77/128.86 c 1.8s | 0 | 59093 | 35 | 698829 0 | 117928 | 318533 128.77/128.86 c #cpu_time = 1.751s 128.77/128.86 c #wall_clock_time = 1.755s 128.77/128.86 c #decision = 59093 128.77/128.86 c #random_decision = 7 128.77/128.86 c #conflict = 35 128.77/128.86 c #restart = 0 128.77/128.86 c BCD2: found a new core of size 90: cost of the new core is >=1 128.77/128.86 c lower bound updated to 4087 128.87/128.91 c BCD2: 4087 <= obj <= 10690979 128.87/128.91 c BCD2: #cores=25, #unrelaxed=17430, #relaxed=1550, #hardened=0 128.87/128.91 c BCD2: #sat=1 #unsat=28 bias=28/29 128.87/128.91 c Solving starts ... 128.87/128.91 c ============================[ Search Statistics ]============================ 128.87/128.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 128.87/128.91 c | | | | Limit GC | Var | Constra 128.87/128.91 c ============================================================================= 128.87/128.91 c 0.0s | 0 | 0 | 0 | 698829 0 | 117928 | 318533 129.77/129.80 c 0.9s | 0 | 27727 | 77 | 698829 0 | 117928 | 318533 129.77/129.80 c #cpu_time = 0.878s 129.77/129.80 c #wall_clock_time = 0.880s 129.77/129.80 c #decision = 27727 129.77/129.80 c #random_decision = 13 129.77/129.80 c #conflict = 77 129.77/129.80 c #restart = 0 129.77/129.80 c BCD2: found a new core of size 22: cost of the new core is >=581 129.77/129.80 c lower bound updated to 4668 129.77/129.83 c BCD2: 4668 <= obj <= 10690979 129.77/129.83 c BCD2: #cores=26, #unrelaxed=17408, #relaxed=1572, #hardened=0 129.77/129.83 c BCD2: #sat=1 #unsat=29 bias=29/30 129.77/129.84 c Solving starts ... 129.77/129.84 c ============================[ Search Statistics ]============================ 129.77/129.84 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 129.77/129.84 c | | | | Limit GC | Var | Constra 129.77/129.84 c ============================================================================= 129.77/129.84 c 0.0s | 0 | 0 | 0 | 698829 0 | 117928 | 318533 130.68/130.74 c 0.9s | 0 | 25165 | 42 | 698829 0 | 117928 | 318533 130.68/130.74 c #cpu_time = 0.889s 130.68/130.74 c #wall_clock_time = 0.891s 130.68/130.74 c #decision = 25165 130.68/130.74 c #random_decision = 22 130.68/130.74 c #conflict = 42 130.68/130.74 c #restart = 0 130.68/130.74 c BCD2: found a new core of size 193: cost of the new core is >=1 130.68/130.74 c lower bound updated to 4669 130.68/130.77 c BCD2: 4669 <= obj <= 10690979 130.68/130.77 c BCD2: #cores=27, #unrelaxed=17215, #relaxed=1765, #hardened=0 130.68/130.77 c BCD2: #sat=1 #unsat=30 bias=30/31 130.68/130.78 c Solving starts ... 130.68/130.78 c ============================[ Search Statistics ]============================ 130.68/130.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 130.68/130.78 c | | | | Limit GC | Var | Constra 130.68/130.78 c ============================================================================= 130.68/130.78 c 0.0s | 0 | 0 | 0 | 698829 0 | 117928 | 318533 132.67/132.77 c 2.0s | 1 | 58903 | 100 | 698829 0 | 117929 | 318774 133.27/133.35 c 2.6s | 1 | 95802 | 132 | 698829 0 | 117929 | 318774 133.27/133.35 c #cpu_time = 2.561s 133.27/133.35 c #wall_clock_time = 2.568s 133.27/133.35 c #decision = 95802 133.27/133.35 c #random_decision = 33 133.27/133.35 c #conflict = 132 133.27/133.35 c #restart = 1 133.27/133.35 c BCD2: found a new core of size 237: cost of the new core is >=1 133.27/133.35 c lower bound updated to 4670 133.27/133.37 c BCD2: 4670 <= obj <= 10690979 133.27/133.37 c BCD2: #cores=28, #unrelaxed=16978, #relaxed=2002, #hardened=0 133.27/133.37 c BCD2: #sat=1 #unsat=31 bias=31/32 133.27/133.38 c Solving starts ... 133.27/133.38 c ============================[ Search Statistics ]============================ 133.27/133.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 133.27/133.38 c | | | | Limit GC | Var | Constra 133.27/133.38 c ============================================================================= 133.27/133.38 c 0.0s | 0 | 0 | 0 | 698829 0 | 117929 | 318774 134.07/134.11 c 0.7s | 0 | 19363 | 41 | 698829 0 | 117929 | 318774 134.07/134.11 c #cpu_time = 0.727s 134.07/134.11 c #wall_clock_time = 0.729s 134.07/134.11 c #decision = 19363 134.07/134.11 c #random_decision = 16 134.07/134.11 c #conflict = 41 134.07/134.11 c #restart = 0 134.07/134.11 c BCD2: found a new core of size 46: cost of the new core is >=1 134.07/134.11 c lower bound updated to 4671 134.07/134.13 c BCD2: 4671 <= obj <= 10690979 134.07/134.13 c BCD2: #cores=29, #unrelaxed=16932, #relaxed=2048, #hardened=0 134.07/134.13 c BCD2: #sat=1 #unsat=32 bias=32/33 134.07/134.14 c Solving starts ... 134.07/134.14 c ============================[ Search Statistics ]============================ 134.07/134.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 134.07/134.14 c | | | | Limit GC | Var | Constra 134.07/134.14 c ============================================================================= 134.07/134.14 c 0.0s | 0 | 0 | 0 | 698829 0 | 117929 | 318774 135.27/135.34 c 1.2s | 1 | 49627 | 100 | 768712 0 | 117929 | 318774 137.17/137.23 c 3.1s | 1 | 153944 | 245 | 768712 0 | 117929 | 318774 137.17/137.23 c #cpu_time = 3.075s 137.17/137.23 c #wall_clock_time = 3.083s 137.17/137.23 c #decision = 153944 137.17/137.23 c #random_decision = 72 137.17/137.23 c #conflict = 245 137.17/137.23 c #restart = 1 137.17/137.23 c BCD2: found a new core of size 16: cost of the new core is >=1 137.17/137.23 c lower bound updated to 4672 137.17/137.24 c BCD2: 4672 <= obj <= 10690979 137.17/137.24 c BCD2: #cores=30, #unrelaxed=16916, #relaxed=2064, #hardened=0 137.17/137.24 c BCD2: #sat=1 #unsat=33 bias=33/34 137.17/137.25 c Solving starts ... 137.17/137.25 c ============================[ Search Statistics ]============================ 137.17/137.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 137.17/137.25 c | | | | Limit GC | Var | Constra 137.17/137.25 c ============================================================================= 137.17/137.25 c 0.0s | 0 | 0 | 0 | 768712 0 | 117929 | 318774 140.27/140.30 c 3.1s | 0 | 103650 | 100 | 768712 0 | 117931 | 318923 140.27/140.31 c 3.1s | 1 | 103650 | 100 | 768712 0 | 117931 | 318923 141.07/141.17 c 3.9s | 1 | 138007 | 222 | 768712 0 | 117931 | 318923 141.07/141.17 c #cpu_time = 3.898s 141.07/141.17 c #wall_clock_time = 3.908s 141.07/141.17 c #decision = 138007 141.07/141.17 c #random_decision = 13 141.07/141.17 c #conflict = 222 141.07/141.17 c #restart = 1 141.07/141.17 c BCD2: found a new core of size 761: cost of the new core is >=1 141.07/141.17 c lower bound updated to 4673 141.17/141.21 c BCD2: 4673 <= obj <= 10690979 141.17/141.21 c BCD2: #cores=31, #unrelaxed=16155, #relaxed=2825, #hardened=0 141.17/141.21 c BCD2: #sat=1 #unsat=34 bias=34/35 141.17/141.22 c Solving starts ... 141.17/141.22 c ============================[ Search Statistics ]============================ 141.17/141.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 141.17/141.22 c | | | | Limit GC | Var | Constra 141.17/141.22 c ============================================================================= 141.17/141.23 c 0.0s | 0 | 0 | 0 | 768712 0 | 117931 | 318923 142.97/143.02 c 1.8s | 1 | 120247 | 100 | 845584 0 | 117932 | 319163 145.47/145.51 c 4.3s | 2 | 233886 | 250 | 845584 0 | 117936 | 319613 147.77/147.84 c 6.6s | 2 | 302719 | 350 | 845584 0 | 117939 | 319797 149.67/149.73 c 8.5s | 3 | 370985 | 475 | 845584 0 | 117944 | 320240 152.37/152.46 c 11.2s | 3 | 476411 | 775 | 845584 0 | 117978 | 321368 153.27/153.35 c 12.1s | 4 | 496563 | 813 | 930143 0 | 118000 | 321975 155.07/155.18 c 13.9s | 4 | 599061 | 914 | 930143 0 | 118000 | 321975 155.07/155.18 c #cpu_time = 13.911s 155.07/155.18 c #wall_clock_time = 13.947s 155.07/155.18 c #decision = 599061 155.07/155.18 c #random_decision = 122 155.07/155.18 c #conflict = 914 155.07/155.18 c #restart = 4 155.07/155.18 c BCD2: found a new core of size 2: cost of the new core is >=1 155.07/155.18 c lower bound updated to 4674 155.07/155.19 c BCD2: 4674 <= obj <= 10690979 155.07/155.19 c BCD2: #cores=32, #unrelaxed=16153, #relaxed=2827, #hardened=0 155.07/155.19 c BCD2: #sat=1 #unsat=35 bias=35/36 155.17/155.21 c Solving starts ... 155.17/155.21 c ============================[ Search Statistics ]============================ 155.17/155.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 155.17/155.21 c | | | | Limit GC | Var | Constra 155.17/155.21 c ============================================================================= 155.17/155.21 c 0.0s | 0 | 0 | 0 | 930143 0 | 118000 | 321975 155.57/155.69 c 0.5s | 0 | 23300 | 2 | 930143 0 | 118000 | 321975 155.57/155.69 c #cpu_time = 0.477s 155.57/155.69 c #wall_clock_time = 0.478s 155.57/155.69 c #decision = 23300 155.57/155.69 c #random_decision = 0 155.57/155.69 c #conflict = 2 155.57/155.69 c #restart = 0 155.57/155.69 c BCD2: found a new core of size 39: cost of the new core is >=581 155.57/155.69 c lower bound updated to 5255 155.67/155.70 c BCD2: 5255 <= obj <= 10690979 155.67/155.70 c BCD2: #cores=33, #unrelaxed=16114, #relaxed=2866, #hardened=0 155.67/155.70 c BCD2: #sat=1 #unsat=36 bias=36/37 155.67/155.72 c Solving starts ... 155.67/155.72 c ============================[ Search Statistics ]============================ 155.67/155.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 155.67/155.72 c | | | | Limit GC | Var | Constra 155.67/155.72 c ============================================================================= 155.67/155.72 c 0.0s | 0 | 0 | 0 | 930143 0 | 118000 | 321975 156.17/156.20 c 0.5s | 0 | 16174 | 2 | 930143 0 | 118000 | 321975 156.17/156.20 c #cpu_time = 0.472s 156.17/156.20 c #wall_clock_time = 0.474s 156.17/156.20 c #decision = 16174 156.17/156.20 c #random_decision = 0 156.17/156.20 c #conflict = 2 156.17/156.20 c #restart = 0 156.17/156.20 c BCD2: found a new core of size 171: cost of the new core is >=1 156.17/156.20 c lower bound updated to 5256 156.17/156.22 c BCD2: 5256 <= obj <= 10690979 156.17/156.22 c BCD2: #cores=34, #unrelaxed=15943, #relaxed=3037, #hardened=0 156.17/156.22 c BCD2: #sat=1 #unsat=37 bias=37/38 156.17/156.24 c Solving starts ... 156.17/156.24 c ============================[ Search Statistics ]============================ 156.17/156.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 156.17/156.24 c | | | | Limit GC | Var | Constra 156.17/156.24 c ============================================================================= 156.17/156.24 c 0.0s | 0 | 0 | 0 | 930143 0 | 118000 | 321975 157.56/157.68 c 1.4s | 1 | 30297 | 100 | 930143 0 | 118000 | 321975 159.86/159.98 c 3.7s | 1 | 113559 | 200 | 930143 0 | 118000 | 321975 160.27/160.32 c 4.1s | 2 | 143751 | 250 | 930143 0 | 118000 | 321975 162.66/162.79 c 6.6s | 2 | 233017 | 350 | 930143 0 | 118021 | 322694 164.16/164.22 c 8.0s | 3 | 256381 | 475 | 930143 0 | 118021 | 322694 165.26/165.36 c 9.1s | 3 | 302686 | 535 | 930143 0 | 118021 | 322694 165.26/165.36 c #cpu_time = 9.099s 165.26/165.36 c #wall_clock_time = 9.123s 165.26/165.36 c #decision = 302686 165.26/165.36 c #random_decision = 85 165.26/165.36 c #conflict = 535 165.26/165.36 c #restart = 3 165.26/165.36 c BCD2: found a new core of size 87: cost of the new core is >=581 165.26/165.36 c lower bound updated to 5837 165.26/165.39 c BCD2: 5837 <= obj <= 10690979 165.26/165.39 c BCD2: #cores=35, #unrelaxed=15856, #relaxed=3124, #hardened=0 165.26/165.39 c BCD2: #sat=1 #unsat=38 bias=38/39 165.36/165.41 c Solving starts ... 165.36/165.41 c ============================[ Search Statistics ]============================ 165.36/165.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 165.36/165.41 c | | | | Limit GC | Var | Constra 165.36/165.41 c ============================================================================= 165.36/165.42 c 0.0s | 0 | 0 | 0 | 930143 0 | 118021 | 322694 167.26/167.33 c 1.9s | 1 | 43076 | 100 | 930143 0 | 118021 | 322694 168.16/168.25 c 2.8s | 1 | 98617 | 133 | 930143 0 | 118021 | 322694 168.16/168.25 c #cpu_time = 2.816s 168.16/168.25 c #wall_clock_time = 2.823s 168.16/168.25 c #decision = 98617 168.16/168.25 c #random_decision = 15 168.16/168.25 c #conflict = 133 168.16/168.25 c #restart = 1 168.16/168.25 c BCD2: found a new core of size 396: cost of the new core is >=1 168.16/168.25 c lower bound updated to 5838 168.16/168.28 c BCD2: 5838 <= obj <= 10690979 168.16/168.28 c BCD2: #cores=36, #unrelaxed=15460, #relaxed=3520, #hardened=0 168.16/168.28 c BCD2: #sat=1 #unsat=39 bias=39/40 168.26/168.30 c Solving starts ... 168.26/168.30 c ============================[ Search Statistics ]============================ 168.26/168.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 168.26/168.30 c | | | | Limit GC | Var | Constra 168.26/168.30 c ============================================================================= 168.26/168.31 c 0.0s | 0 | 0 | 0 | 930143 0 | 118021 | 322694 170.36/170.47 c 2.2s | 0 | 85105 | 100 | 930143 0 | 118022 | 322729 170.36/170.49 c 2.2s | 1 | 85105 | 100 | 930143 0 | 118022 | 322729 172.38/172.43 c 4.1s | 2 | 184386 | 250 | 930143 0 | 118022 | 322729 174.47/174.59 c 6.3s | 2 | 258008 | 450 | 1023158 0 | 118022 | 322729 174.67/174.73 c 6.4s | 3 | 258320 | 475 | 1023158 0 | 118022 | 322729 177.16/177.22 c 8.9s | 3 | 362108 | 575 | 1023158 0 | 118025 | 322910 178.86/178.96 c 10.7s | 4 | 407962 | 813 | 1023158 0 | 118025 | 322910 182.77/182.86 c 14.6s | 4 | 457257 | 1013 | 1023158 0 | 118031 | 323376 185.17/185.26 c 17.0s | 4 | 539131 | 1313 | 1023158 0 | 118031 | 323376 185.27/185.30 c 17.0s | 5 | 539189 | 1320 | 1023158 0 | 118031 | 323376 187.37/187.40 c 19.1s | 5 | 597628 | 1420 | 1023158 0 | 118031 | 323376 189.97/190.08 c 21.8s | 5 | 694087 | 1620 | 1023158 0 | 118033 | 323537 192.66/192.73 c 24.4s | 5 | 785371 | 1820 | 1023158 0 | 118034 | 323657 194.86/194.95 c 26.6s | 5 | 897994 | 2020 | 1023158 0 | 118034 | 323657 195.66/195.77 c 27.5s | 6 | 948679 | 2081 | 1125474 0 | 118034 | 323657 200.16/200.21 c 31.9s | 6 | 1167203 | 2277 | 1125474 0 | 118035 | 323895 200.16/200.21 c #cpu_time = 31.721s 200.16/200.21 c #wall_clock_time = 31.802s 200.16/200.21 c #decision = 1167203 200.16/200.21 c #random_decision = 409 200.16/200.21 c #conflict = 2277 200.16/200.21 c #restart = 6 200.16/200.21 o 252244 222.16/222.29 c BCD2: updating upper bound: 10690979 -> 252243 240.45/240.54 c BCD2: 5838 <= obj <= 252243 240.45/240.54 c BCD2: #cores=36, #unrelaxed=15460, #relaxed=3520, #hardened=0 240.45/240.54 c BCD2: #sat=2 #unsat=39 bias=39/41 240.56/240.63 c Solving starts ... 240.56/240.63 c ============================[ Search Statistics ]============================ 240.56/240.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 240.56/240.63 c | | | | Limit GC | Var | Constra 240.56/240.63 c ============================================================================= 240.56/240.64 c 0.0s | 0 | 0 | 0 | 1125474 0 | 118035 | 323895 242.05/242.14 c 1.5s | 1 | 24282 | 100 | 1125474 0 | 118035 | 323895 243.96/244.06 c 3.4s | 2 | 86064 | 250 | 1125474 0 | 118035 | 323895 245.85/245.94 c 5.3s | 3 | 157940 | 475 | 1125474 0 | 118035 | 323895 248.75/248.82 c 8.2s | 3 | 221149 | 675 | 1125474 0 | 118036 | 324053 249.65/249.70 c 9.1s | 4 | 230572 | 813 | 1125474 0 | 118036 | 324053 252.35/252.47 c 11.8s | 4 | 314042 | 1013 | 1125474 0 | 118036 | 324053 253.55/253.65 c 13.0s | 5 | 332514 | 1320 | 1125474 0 | 118036 | 324053 254.75/254.85 c 14.2s | 5 | 393563 | 1497 | 1125474 0 | 118036 | 324053 254.75/254.85 c #cpu_time = 14.069s 254.75/254.85 c #wall_clock_time = 14.105s 254.75/254.85 c #decision = 393563 254.75/254.85 c #random_decision = 276 254.75/254.85 c #conflict = 1497 254.75/254.85 c #restart = 5 254.75/254.85 o 230164 274.35/274.46 c BCD2: updating upper bound: 252243 -> 230163 291.15/291.25 c BCD2: 5838 <= obj <= 230163 291.15/291.25 c BCD2: #cores=36, #unrelaxed=15460, #relaxed=3520, #hardened=0 291.15/291.25 c BCD2: #sat=3 #unsat=39 bias=39/42 291.25/291.37 c Solving starts ... 291.25/291.37 c ============================[ Search Statistics ]============================ 291.25/291.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 291.25/291.37 c | | | | Limit GC | Var | Constra 291.25/291.37 c ============================================================================= 291.34/291.40 c 0.0s | 0 | 0 | 0 | 1125474 0 | 118036 | 324054 292.25/292.38 c 1.0s | 1 | 31792 | 100 | 1125474 0 | 118036 | 324054 294.64/294.71 c 3.3s | 2 | 109589 | 250 | 1125474 0 | 118036 | 324054 296.84/296.90 c 5.5s | 3 | 147636 | 475 | 1125474 0 | 118036 | 324054 299.04/299.15 c 7.7s | 3 | 217397 | 675 | 1125474 0 | 118036 | 324054 300.24/300.38 c 9.0s | 4 | 252356 | 813 | 1125474 0 | 118036 | 324054 302.94/303.00 c 11.6s | 4 | 328468 | 1013 | 1238022 0 | 118036 | 324054 305.04/305.13 c 13.7s | 4 | 376731 | 1313 | 1238022 0 | 118036 | 324054 305.04/305.17 c 13.8s | 5 | 376881 | 1320 | 1238022 0 | 118036 | 324054 307.24/307.38 c 16.0s | 5 | 444638 | 1420 | 1238022 0 | 118036 | 324054 308.34/308.40 c 17.0s | 6 | 460592 | 2081 | 1238022 0 | 118036 | 324054 310.75/310.87 c 19.5s | 6 | 582715 | 2281 | 1238022 0 | 118037 | 324097 313.04/313.19 c 21.8s | 6 | 598497 | 2581 | 1238022 0 | 118037 | 324097 316.15/316.20 c 24.8s | 6 | 639791 | 2881 | 1238022 0 | 118037 | 324097 317.74/317.89 c 26.5s | 7 | 665469 | 3223 | 1238022 0 | 118037 | 324097 320.04/320.19 c 28.8s | 7 | 696013 | 3323 | 1238022 0 | 118037 | 324097 322.94/323.00 c 31.6s | 7 | 746066 | 3723 | 1238022 0 | 118037 | 324097 323.64/323.74 c 32.3s | 8 | 764168 | 4936 | 1361825 0 | 118037 | 324097 324.74/324.86 c 33.5s | 8 | 801843 | 4936 | 1361825 0 | 118037 | 324097 324.74/324.86 c #cpu_time = 33.270s 324.74/324.86 c #wall_clock_time = 33.356s 324.74/324.86 c #decision = 801843 324.74/324.86 c #random_decision = 355 324.74/324.86 c #conflict = 4936 324.74/324.86 c #restart = 8 324.74/324.86 o 204599 339.55/339.66 c BCD2: updating upper bound: 230163 -> 204598 354.64/354.71 c BCD2: 5838 <= obj <= 204598 354.64/354.71 c BCD2: #cores=36, #unrelaxed=15460, #relaxed=3520, #hardened=0 354.64/354.71 c BCD2: #sat=4 #unsat=39 bias=39/43 354.74/354.82 c Solving starts ... 354.74/354.82 c ============================[ Search Statistics ]============================ 354.74/354.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 354.74/354.82 c | | | | Limit GC | Var | Constra 354.74/354.82 c ============================================================================= 354.74/354.86 c 0.0s | 0 | 0 | 0 | 1361825 0 | 118037 | 324098 356.44/356.54 c 1.7s | 1 | 71081 | 100 | 1361825 0 | 118037 | 324098 357.53/357.63 c 2.8s | 2 | 100327 | 250 | 1361825 0 | 118037 | 324098 359.44/359.50 c 4.6s | 3 | 142847 | 475 | 1361825 0 | 118037 | 324098 361.83/361.94 c 7.1s | 3 | 240776 | 675 | 1361825 0 | 118037 | 324098 363.13/363.21 c 8.3s | 4 | 365820 | 813 | 1361825 0 | 118037 | 324098 365.43/365.57 c 10.7s | 4 | 385748 | 1013 | 1361825 0 | 118037 | 324098 368.14/368.22 c 13.4s | 4 | 417181 | 1313 | 1361825 0 | 118037 | 324098 368.14/368.26 c 13.4s | 5 | 417187 | 1320 | 1361825 0 | 118037 | 324098 370.23/370.34 c 15.5s | 5 | 444547 | 1520 | 1361825 0 | 118037 | 324098 370.44/370.53 c 15.7s | 6 | 445515 | 2081 | 1361825 0 | 118037 | 324098 372.64/372.78 c 17.9s | 6 | 479383 | 2281 | 1361825 0 | 118037 | 324098 374.74/374.83 c 20.0s | 6 | 514286 | 2481 | 1361825 0 | 118037 | 324098 376.84/376.96 c 22.1s | 6 | 516695 | 2781 | 1361825 0 | 118037 | 324098 379.43/379.54 c 24.7s | 6 | 547288 | 2981 | 1361825 0 | 118037 | 324098 381.63/381.72 c 26.9s | 7 | 547937 | 3223 | 1361825 0 | 118037 | 324098 384.03/384.11 c 29.2s | 7 | 584169 | 3423 | 1361825 0 | 118037 | 324098 386.33/386.40 c 31.5s | 7 | 600171 | 3723 | 1361825 0 | 118037 | 324098 389.13/389.23 c 34.4s | 7 | 646247 | 4123 | 1361825 0 | 118037 | 324098 391.23/391.37 c 36.5s | 7 | 674061 | 4423 | 1361825 0 | 118037 | 324098 392.93/393.08 c 38.2s | 8 | 717621 | 4936 | 1361825 0 | 118037 | 324098 395.03/395.12 c 40.3s | 8 | 759947 | 5436 | 1361825 0 | 118037 | 324098 395.53/395.69 c 40.8s | 8 | 792051 | 5609 | 1498008 0 | 118037 | 324098 395.53/395.69 c #cpu_time = 40.595s 395.53/395.69 c #wall_clock_time = 40.699s 395.53/395.69 c #decision = 792051 395.53/395.69 c #random_decision = 273 395.53/395.69 c #conflict = 5609 395.53/395.69 c #restart = 8 395.53/395.69 o 178452 409.52/409.65 c BCD2: updating upper bound: 204598 -> 178451 423.83/423.94 c BCD2: 5838 <= obj <= 178451 423.83/423.94 c BCD2: #cores=36, #unrelaxed=15460, #relaxed=3520, #hardened=0 423.83/423.94 c BCD2: #sat=5 #unsat=39 bias=39/44 423.93/424.04 c Solving starts ... 423.93/424.04 c ============================[ Search Statistics ]============================ 423.93/424.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 423.93/424.04 c | | | | Limit GC | Var | Constra 423.93/424.04 c ============================================================================= 423.93/424.08 c 0.0s | 0 | 0 | 0 | 1498008 0 | 118037 | 324099 425.63/425.72 c 1.6s | 1 | 19677 | 100 | 1498008 0 | 118037 | 324099 427.33/427.41 c 3.3s | 2 | 36459 | 250 | 1498008 0 | 118037 | 324099 428.93/429.09 c 5.0s | 3 | 54780 | 475 | 1498008 0 | 118037 | 324099 431.12/431.20 c 7.1s | 3 | 93351 | 675 | 1498008 0 | 118037 | 324099 431.83/431.99 c 7.9s | 4 | 94238 | 813 | 1498008 0 | 118037 | 324099 433.92/434.01 c 9.9s | 4 | 117096 | 1113 | 1498008 0 | 118037 | 324099 435.63/435.70 c 11.6s | 5 | 120034 | 1320 | 1498008 0 | 118037 | 324099 437.92/438.07 c 14.0s | 5 | 154043 | 1520 | 1498008 0 | 118037 | 324099 438.53/438.65 c 14.6s | 6 | 155922 | 2081 | 1498008 0 | 118037 | 324099 441.22/441.31 c 17.2s | 6 | 189864 | 2181 | 1498008 0 | 118037 | 324099 442.12/442.25 c 18.2s | 7 | 205356 | 3223 | 1498008 0 | 118037 | 324099 444.22/444.39 c 20.3s | 7 | 222560 | 3423 | 1498008 0 | 118037 | 324099 446.32/446.43 c 22.4s | 7 | 233902 | 3723 | 1498008 0 | 118037 | 324099 448.83/448.94 c 24.9s | 7 | 266804 | 4023 | 1498008 0 | 118037 | 324099 451.13/451.20 c 27.1s | 7 | 333253 | 4177 | 1498008 0 | 118037 | 324099 451.13/451.20 c #cpu_time = 26.925s 451.13/451.20 c #wall_clock_time = 26.994s 451.13/451.20 c #decision = 333253 451.13/451.20 c #random_decision = 264 451.13/451.20 c #conflict = 4177 451.13/451.20 c #restart = 7 451.13/451.20 o 151143 462.32/462.45 c BCD2: updating upper bound: 178451 -> 151142 474.02/474.10 c BCD2: 5838 <= obj <= 151142 474.02/474.10 c BCD2: #cores=36, #unrelaxed=15460, #relaxed=3520, #hardened=0 474.02/474.10 c BCD2: #sat=6 #unsat=39 bias=39/45 474.12/474.20 c Solving starts ... 474.12/474.20 c ============================[ Search Statistics ]============================ 474.12/474.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 474.12/474.20 c | | | | Limit GC | Var | Constra 474.12/474.20 c ============================================================================= 474.12/474.23 c 0.0s | 0 | 0 | 0 | 1498008 0 | 118037 | 324100 475.82/475.90 c 1.7s | 1 | 45496 | 100 | 1498008 0 | 118037 | 324100 477.22/477.33 c 3.1s | 2 | 64550 | 250 | 1498008 0 | 118037 | 324100 479.02/479.20 c 5.0s | 3 | 83390 | 475 | 1498008 0 | 118037 | 324100 481.82/481.95 c 7.7s | 3 | 100557 | 675 | 1498008 0 | 118037 | 324100 482.92/483.06 c 8.8s | 4 | 101902 | 813 | 1498008 0 | 118037 | 324100 485.11/485.23 c 11.0s | 4 | 118351 | 1013 | 1498008 0 | 118037 | 324100 486.12/486.26 c 12.0s | 5 | 118837 | 1320 | 1498008 0 | 118037 | 324100 488.61/488.71 c 14.5s | 5 | 136280 | 1620 | 1498008 0 | 118037 | 324100 489.12/489.22 c 15.0s | 6 | 137355 | 2081 | 1498008 0 | 118037 | 324100 492.01/492.16 c 17.9s | 6 | 153182 | 2181 | 1498008 0 | 118037 | 324100 494.11/494.24 c 20.0s | 6 | 154494 | 2381 | 1498008 0 | 118037 | 324100 496.42/496.51 c 22.3s | 6 | 155102 | 2581 | 1498008 0 | 118037 | 324100 498.62/498.73 c 24.5s | 6 | 156192 | 2781 | 1498008 0 | 118037 | 324100 500.82/500.91 c 26.7s | 6 | 156647 | 2981 | 1498008 0 | 118037 | 324100 503.11/503.26 c 29.0s | 6 | 157275 | 3181 | 1498008 0 | 118037 | 324100 503.52/503.64 c 29.4s | 7 | 158353 | 3223 | 1498008 0 | 118037 | 324100 506.11/506.28 c 32.0s | 7 | 174308 | 3423 | 1498008 0 | 118037 | 324100 508.72/508.89 c 34.7s | 7 | 175018 | 3723 | 1498008 0 | 118037 | 324100 510.82/510.90 c 36.7s | 7 | 175293 | 3923 | 1498008 0 | 118037 | 324100 512.81/512.90 c 38.7s | 7 | 177270 | 4423 | 1647809 0 | 118037 | 324100 513.11/513.20 c 39.0s | 8 | 178261 | 4936 | 1647809 0 | 118037 | 324100 515.21/515.36 c 41.1s | 8 | 193948 | 5036 | 1647809 0 | 118037 | 324100 517.41/517.55 c 43.3s | 8 | 195446 | 5236 | 1647809 0 | 118037 | 324100 520.81/520.97 c 46.7s | 8 | 195851 | 5436 | 1647809 0 | 118037 | 324100 523.61/523.73 c 49.5s | 8 | 196364 | 5736 | 1647809 0 | 118037 | 324100 526.21/526.38 c 52.1s | 8 | 196849 | 6036 | 1647809 0 | 118037 | 324100 529.00/529.17 c 54.9s | 8 | 197326 | 6336 | 1647809 0 | 118037 | 324100 531.20/531.36 c 57.1s | 8 | 197706 | 6536 | 1647809 0 | 118037 | 324100 533.61/533.70 c 59.5s | 8 | 198194 | 6836 | 1647809 0 | 118037 | 324100 536.01/536.14 c 61.9s | 8 | 198754 | 7136 | 1647809 0 | 118037 | 324100 538.91/539.07 c 64.8s | 8 | 199158 | 7436 | 1647809 0 | 118037 | 324100 539.51/539.69 c 65.5s | 9 | 199344 | 7506 | 1647809 0 | 118037 | 324100 541.91/542.08 c 67.8s | 9 | 215036 | 7606 | 1647809 0 | 118037 | 324100 544.71/544.80 c 70.6s | 9 | 215547 | 7806 | 1647809 0 | 118037 | 324100 547.41/547.51 c 73.3s | 9 | 216012 | 8106 | 1647809 0 | 118037 | 324100 549.91/550.02 c 75.8s | 9 | 216301 | 8306 | 1647809 0 | 118037 | 324100 552.21/552.36 c 78.1s | 9 | 216904 | 8606 | 1647809 0 | 118037 | 324100 554.90/555.03 c 80.8s | 9 | 217402 | 8906 | 1647809 0 | 118037 | 324100 557.51/557.65 c 83.4s | 9 | 218256 | 9306 | 1647809 0 | 118037 | 324100 560.00/560.13 c 85.9s | 9 | 219035 | 9706 | 1647809 0 | 118037 | 324100 562.50/562.63 c 88.4s | 9 | 219977 | 10106 | 1647809 0 | 118037 | 324100 565.12/565.24 c 91.0s | 9 | 220748 | 10406 | 1647809 0 | 118037 | 324100 569.10/569.22 c 95.0s | 9 | 221523 | 10706 | 1647809 0 | 118037 | 324100 572.10/572.26 c 98.0s | 9 | 222460 | 11106 | 1647809 0 | 118037 | 324100 574.00/574.10 c 99.9s | 10 | 223033 | 11361 | 1647809 0 | 118037 | 324100 576.60/576.73 c 102s | 10 | 238736 | 11461 | 1647809 0 | 118037 | 324100 578.80/578.95 c 104s | 10 | 239972 | 11961 | 1647809 0 | 118037 | 324100 581.10/581.23 c 106s | 10 | 240788 | 12361 | 1647809 0 | 118037 | 324100 583.40/583.56 c 109s | 10 | 241776 | 12761 | 1647809 0 | 118037 | 324100 585.70/585.89 c 111s | 10 | 242611 | 13161 | 1647809 0 | 118037 | 324100 588.40/588.52 c 114s | 10 | 243488 | 13561 | 1647809 0 | 118037 | 324100 591.70/591.85 c 117s | 10 | 244128 | 13861 | 1647809 0 | 118037 | 324100 594.20/594.35 c 120s | 10 | 245112 | 14261 | 1647809 0 | 118037 | 324100 596.30/596.44 c 122s | 10 | 245782 | 14561 | 1647809 0 | 118037 | 324100 598.29/598.46 c 124s | 10 | 246497 | 14861 | 1647809 0 | 118037 | 324100 600.50/600.61 c 126s | 10 | 247247 | 15161 | 1647809 0 | 118037 | 324100 602.80/602.97 c 128s | 10 | 247836 | 15461 | 1647809 0 | 118037 | 324100 605.40/605.55 c 131s | 10 | 248332 | 15661 | 1647809 0 | 118037 | 324100 608.00/608.20 c 133s | 10 | 249203 | 16061 | 1647809 0 | 118037 | 324100 610.29/610.41 c 136s | 10 | 250123 | 16461 | 1647809 0 | 118037 | 324100 612.60/612.72 c 138s | 10 | 251014 | 16861 | 1647809 0 | 118037 | 324100 614.29/614.45 c 140s | 11 | 251774 | 17144 | 1647809 0 | 118037 | 324100 617.91/618.06 c 143s | 11 | 267483 | 17244 | 1812590 0 | 118037 | 324100 620.19/620.31 c 146s | 11 | 268457 | 17544 | 1812590 0 | 118037 | 324100 622.79/622.90 c 148s | 11 | 268844 | 17744 | 1812590 0 | 118037 | 324100 625.19/625.30 c 151s | 11 | 269841 | 18144 | 1812590 0 | 118037 | 324100 627.70/627.88 c 153s | 11 | 270545 | 18544 | 1812590 0 | 118037 | 324100 630.50/630.65 c 156s | 11 | 271308 | 18844 | 1812590 0 | 118037 | 324100 634.09/634.24 c 160s | 11 | 271946 | 19144 | 1812590 0 | 118037 | 324100 636.60/636.76 c 162s | 11 | 273116 | 19544 | 1812590 0 | 118037 | 324100 638.80/638.92 c 164s | 11 | 273804 | 19844 | 1812590 0 | 118037 | 324100 642.29/642.49 c 168s | 11 | 274514 | 20144 | 1812590 0 | 118037 | 324100 645.19/645.31 c 171s | 11 | 275609 | 20544 | 1812590 0 | 118037 | 324100 647.59/647.74 c 173s | 11 | 276654 | 20844 | 1812590 0 | 118037 | 324100 650.29/650.48 c 176s | 11 | 277123 | 21044 | 1812590 0 | 118037 | 324100 653.00/653.16 c 178s | 11 | 278025 | 21444 | 1812590 0 | 118037 | 324100 655.39/655.52 c 181s | 11 | 278743 | 21744 | 1812590 0 | 118037 | 324100 658.89/659.07 c 184s | 11 | 279458 | 22044 | 1812590 0 | 118037 | 324100 660.98/661.20 c 186s | 11 | 280259 | 22344 | 1812590 0 | 118037 | 324100 663.08/663.24 c 189s | 11 | 280967 | 22644 | 1812590 0 | 118037 | 324100 665.49/665.61 c 191s | 11 | 281387 | 22844 | 1812590 0 | 118037 | 324100 667.49/667.63 c 193s | 11 | 281938 | 23144 | 1812590 0 | 118037 | 324100 670.59/670.74 c 196s | 11 | 282708 | 23444 | 1812590 0 | 118037 | 324100 672.59/672.76 c 198s | 11 | 283501 | 23744 | 1812590 0 | 118037 | 324100 674.69/674.89 c 200s | 11 | 284260 | 24044 | 1812590 0 | 118037 | 324100 677.39/677.57 c 203s | 11 | 284653 | 24244 | 1812590 0 | 118037 | 324100 679.59/679.73 c 205s | 11 | 285301 | 24544 | 1812590 0 | 118037 | 324100 682.09/682.23 c 207s | 11 | 285790 | 24744 | 1812590 0 | 118037 | 324100 684.69/684.88 c 210s | 11 | 286765 | 25144 | 1812590 0 | 118037 | 324100 687.89/688.07 c 213s | 11 | 287557 | 25444 | 1812590 0 | 118037 | 324100 689.99/690.10 c 215s | 11 | 288164 | 25744 | 1812590 0 | 118037 | 324100 690.49/690.64 c 216s | 12 | 288329 | 25819 | 1812590 0 | 118037 | 324100 695.18/695.30 c 221s | 12 | 304047 | 25919 | 1812590 0 | 118037 | 324100 697.79/697.94 c 223s | 12 | 304558 | 26119 | 1812590 0 | 118037 | 324100 699.88/700.02 c 225s | 12 | 305170 | 26419 | 1812590 0 | 118037 | 324100 703.89/704.02 c 229s | 12 | 305624 | 26619 | 1812590 0 | 118037 | 324100 706.38/706.57 c 232s | 12 | 306108 | 26819 | 1812590 0 | 118037 | 324100 708.48/708.67 c 234s | 12 | 306753 | 27119 | 1812590 0 | 118037 | 324100 711.78/711.98 c 237s | 12 | 307585 | 27419 | 1812590 0 | 118037 | 324100 714.38/714.57 c 240s | 12 | 307992 | 27619 | 1812590 0 | 118037 | 324100 717.18/717.31 c 243s | 12 | 308719 | 27919 | 1812590 0 | 118037 | 324100 719.68/719.86 c 245s | 12 | 309127 | 28119 | 1812590 0 | 118037 | 324100 722.08/722.20 c 247s | 12 | 309348 | 28219 | 1812590 0 | 118037 | 324100 724.38/724.60 c 250s | 12 | 310024 | 28519 | 1812590 0 | 118037 | 324100 727.08/727.25 c 253s | 12 | 310463 | 28719 | 1812590 0 | 118037 | 324100 729.28/729.44 c 255s | 12 | 311021 | 29019 | 1812590 0 | 118037 | 324100 732.08/732.20 c 257s | 12 | 339728 | 29319 | 1812590 0 | 118037 | 324100 734.07/734.27 c 260s | 12 | 339890 | 29419 | 1812590 0 | 118037 | 324100 736.78/736.92 c 262s | 12 | 340428 | 29719 | 1812590 0 | 118037 | 324100 740.18/740.36 c 266s | 12 | 341041 | 30019 | 1812590 0 | 118037 | 324100 742.37/742.55 c 268s | 12 | 341678 | 30319 | 1812590 0 | 118037 | 324100 744.38/744.56 c 270s | 12 | 342353 | 30619 | 1812590 0 | 118037 | 324100 746.97/747.18 c 272s | 12 | 342778 | 30819 | 1812590 0 | 118037 | 324100 749.17/749.35 c 275s | 12 | 343396 | 31119 | 1812590 0 | 118037 | 324100 752.48/752.66 c 278s | 12 | 344028 | 31419 | 1812590 0 | 118037 | 324100 754.88/755.02 c 280s | 12 | 344636 | 31719 | 1812590 0 | 118037 | 324100 757.27/757.44 c 283s | 12 | 345379 | 32019 | 1812590 0 | 118037 | 324100 759.87/760.09 c 285s | 12 | 345898 | 32219 | 1812590 0 | 118037 | 324100 762.17/762.31 c 288s | 12 | 346565 | 32519 | 1812590 0 | 118037 | 324100 764.28/764.40 c 290s | 12 | 346976 | 32719 | 1812590 0 | 118037 | 324100 767.38/767.54 c 293s | 12 | 347457 | 32919 | 1812590 0 | 118037 | 324100 769.78/769.95 c 295s | 12 | 347853 | 33119 | 1812590 0 | 118037 | 324100 772.37/772.57 c 298s | 12 | 348264 | 33319 | 1812590 0 | 118037 | 324100 776.08/776.29 c 302s | 12 | 348930 | 33619 | 1812590 0 | 118037 | 324100 779.17/779.36 c 305s | 12 | 349612 | 33919 | 1812590 0 | 118037 | 324100 781.67/781.90 c 307s | 12 | 350075 | 34119 | 1812590 0 | 118037 | 324100 784.97/785.17 c 310s | 12 | 350516 | 34319 | 1812590 0 | 118037 | 324100 786.97/787.17 c 312s | 12 | 351004 | 34519 | 1812590 0 | 118037 | 324100 789.07/789.23 c 314s | 12 | 351447 | 34719 | 1812590 0 | 118037 | 324100 792.56/792.74 c 318s | 12 | 352030 | 35019 | 1812590 0 | 118037 | 324100 794.56/794.77 c 320s | 12 | 352518 | 35219 | 1812590 0 | 118037 | 324100 797.26/797.45 c 323s | 12 | 353268 | 35519 | 1812590 0 | 118037 | 324100 800.76/800.91 c 326s | 12 | 354237 | 35819 | 1812590 0 | 118037 | 324100 803.26/803.43 c 329s | 12 | 354797 | 36119 | 1812590 0 | 118037 | 324100 806.36/806.55 c 332s | 12 | 355451 | 36419 | 1812590 0 | 118037 | 324100 808.96/809.17 c 334s | 12 | 355818 | 36619 | 1993850 0 | 118037 | 324100 811.06/811.26 c 337s | 12 | 356455 | 36919 | 1993850 0 | 118037 | 324100 813.15/813.40 c 339s | 12 | 356986 | 37119 | 1993850 0 | 118037 | 324100 815.95/816.11 c 341s | 12 | 357371 | 37319 | 1993850 0 | 118037 | 324100 818.35/818.57 c 344s | 12 | 358043 | 37619 | 1993850 0 | 118037 | 324100 820.65/820.89 c 346s | 12 | 358738 | 37919 | 1993850 0 | 118037 | 324100 823.35/823.55 c 349s | 12 | 359194 | 38119 | 1993850 0 | 118037 | 324100 825.66/825.82 c 351s | 12 | 359770 | 38419 | 1993850 0 | 118037 | 324100 829.26/829.40 c 355s | 12 | 360548 | 38719 | 1993850 0 | 118037 | 324100 830.06/830.26 c 356s | 13 | 360819 | 38832 | 1993850 0 | 118037 | 324100 837.05/837.23 c 362s | 13 | 376587 | 38932 | 1993850 0 | 118037 | 324100 839.35/839.58 c 365s | 13 | 377209 | 39232 | 1993850 0 | 118037 | 324100 842.35/842.55 c 368s | 13 | 377592 | 39432 | 1993850 0 | 118037 | 324100 844.46/844.68 c 370s | 13 | 378004 | 39632 | 1993850 0 | 118037 | 324100 846.85/847.02 c 372s | 13 | 378741 | 39932 | 1993850 0 | 118037 | 324100 849.65/849.81 c 375s | 13 | 379272 | 40132 | 1993850 0 | 118037 | 324100 851.94/852.14 c 377s | 13 | 379874 | 40432 | 1993850 0 | 118037 | 324100 854.15/854.32 c 380s | 13 | 380581 | 40732 | 1993850 0 | 118037 | 324100 856.74/856.95 c 382s | 13 | 381056 | 40932 | 1993850 0 | 118037 | 324100 859.05/859.25 c 385s | 13 | 381660 | 41232 | 1993850 0 | 118037 | 324100 861.25/861.45 c 387s | 13 | 382273 | 41532 | 1993850 0 | 118037 | 324100 863.84/864.04 c 389s | 13 | 382670 | 41732 | 1993850 0 | 118037 | 324100 866.15/866.32 c 392s | 13 | 383316 | 42032 | 1993850 0 | 118037 | 324100 868.44/868.70 c 394s | 13 | 384014 | 42332 | 1993850 0 | 118037 | 324100 871.44/871.63 c 397s | 13 | 384447 | 42532 | 1993850 0 | 118037 | 324100 873.75/873.92 c 399s | 13 | 385063 | 42832 | 1993850 0 | 118037 | 324100 875.95/876.18 c 401s | 13 | 385670 | 43132 | 1993850 0 | 118037 | 324100 878.75/878.95 c 404s | 13 | 386122 | 43332 | 1993850 0 | 118037 | 324100 880.94/881.17 c 406s | 13 | 386825 | 43632 | 1993850 0 | 118037 | 324100 883.34/883.57 c 409s | 13 | 387433 | 43932 | 1993850 0 | 118037 | 324100 886.04/886.21 c 411s | 13 | 387742 | 44132 | 1993850 0 | 118037 | 324100 888.35/888.51 c 414s | 13 | 388429 | 44432 | 1993850 0 | 118037 | 324100 890.65/890.82 c 416s | 13 | 389167 | 44732 | 1993850 0 | 118037 | 324100 892.65/892.85 c 418s | 13 | 389423 | 44832 | 1993850 0 | 118037 | 324100 894.95/895.16 c 420s | 13 | 390015 | 45132 | 1993850 0 | 118037 | 324100 897.25/897.43 c 423s | 13 | 390633 | 45432 | 1993850 0 | 118037 | 324100 900.04/900.22 c 425s | 13 | 391100 | 45632 | 1993850 0 | 118037 | 324100 902.54/902.75 c 428s | 13 | 391910 | 45932 | 1993850 0 | 118037 | 324100 905.94/906.13 c 431s | 13 | 392275 | 46132 | 1993850 0 | 118037 | 324100 908.64/908.84 c 434s | 13 | 392508 | 46232 | 1993850 0 | 118037 | 324100 911.04/911.27 c 437s | 13 | 393143 | 46532 | 1993850 0 | 118037 | 324100 913.54/913.72 c 439s | 13 | 393708 | 46832 | 1993850 0 | 118037 | 324100 915.53/915.77 c 441s | 13 | 393962 | 46932 | 1993850 0 | 118037 | 324100 918.15/918.37 c 444s | 13 | 394629 | 47232 | 1993850 0 | 118037 | 324100 920.14/920.39 c 446s | 13 | 395051 | 47432 | 1993850 0 | 118037 | 324100 922.84/923.07 c 448s | 13 | 395510 | 47632 | 1993850 0 | 118037 | 324100 925.33/925.56 c 451s | 13 | 396138 | 47932 | 1993850 0 | 118037 | 324100 928.04/928.22 c 453s | 13 | 396746 | 48232 | 1993850 0 | 118037 | 324100 930.74/930.99 c 456s | 13 | 397250 | 48432 | 1993850 0 | 118037 | 324100 933.33/933.55 c 459s | 13 | 397881 | 48732 | 1993850 0 | 118037 | 324100 935.75/935.99 c 461s | 13 | 398685 | 49032 | 1993850 0 | 118037 | 324100 937.95/938.14 c 463s | 13 | 398912 | 49132 | 1993850 0 | 118037 | 324100 940.64/940.83 c 466s | 13 | 399557 | 49432 | 1993850 0 | 118037 | 324100 943.64/943.85 c 469s | 13 | 400302 | 49732 | 1993850 0 | 118037 | 324100 946.33/946.50 c 472s | 13 | 400813 | 49932 | 1993850 0 | 118037 | 324100 948.53/948.75 c 474s | 13 | 401403 | 50232 | 1993850 0 | 118037 | 324100 950.74/950.95 c 476s | 13 | 402012 | 50532 | 1993850 0 | 118037 | 324100 953.93/954.18 c 479s | 13 | 402382 | 50732 | 1993850 0 | 118037 | 324100 956.73/956.95 c 482s | 13 | 403067 | 51032 | 1993850 0 | 118037 | 324100 959.33/959.52 c 485s | 13 | 403661 | 51332 | 1993850 0 | 118037 | 324100 962.23/962.46 c 488s | 13 | 404113 | 51532 | 1993850 0 | 118037 | 324100 964.73/964.97 c 490s | 13 | 404746 | 51832 | 1993850 0 | 118037 | 324100 967.13/967.37 c 493s | 13 | 405499 | 52132 | 1993850 0 | 118037 | 324100 970.03/970.26 c 496s | 13 | 405991 | 52332 | 1993850 0 | 118037 | 324100 972.63/972.85 c 498s | 13 | 406635 | 52632 | 1993850 0 | 118037 | 324100 975.13/975.40 c 501s | 13 | 407231 | 52932 | 1993850 0 | 118037 | 324100 978.83/979.09 c 504s | 13 | 408086 | 53232 | 1993850 0 | 118037 | 324100 981.63/981.83 c 507s | 13 | 408701 | 53532 | 1993850 0 | 118037 | 324100 983.82/984.06 c 509s | 13 | 409362 | 53832 | 1993850 0 | 118037 | 324100 986.52/986.77 c 512s | 13 | 409705 | 54032 | 1993850 0 | 118037 | 324100 988.82/989.01 c 514s | 13 | 410385 | 54332 | 1993850 0 | 118037 | 324100 991.12/991.34 c 517s | 13 | 411026 | 54632 | 1993850 0 | 118037 | 324100 993.32/993.53 c 519s | 13 | 411596 | 54932 | 1993850 0 | 118037 | 324100 995.92/996.10 c 521s | 13 | 412077 | 55132 | 1993850 0 | 118037 | 324100 998.33/998.51 c 524s | 13 | 412644 | 55432 | 1993850 0 | 118037 | 324100 1000.53/1000.75 c 526s | 13 | 413110 | 55732 | 1993850 0 | 118037 | 324100 1003.32/1003.58 c 529s | 13 | 413554 | 55932 | 1993850 0 | 118037 | 324100 1005.72/1005.96 c 531s | 13 | 414108 | 56232 | 1993850 0 | 118037 | 324100 1008.33/1008.53 c 534s | 13 | 414652 | 56532 | 1993850 0 | 118037 | 324100 1011.32/1011.56 c 537s | 13 | 415105 | 56732 | 1993850 0 | 118037 | 324100 1013.82/1014.08 c 539s | 13 | 415755 | 57032 | 1993850 0 | 118037 | 324100 1016.22/1016.45 c 542s | 13 | 416423 | 57332 | 1993850 0 | 118037 | 324100 1019.82/1020.04 c 545s | 13 | 417191 | 57632 | 1993850 0 | 118037 | 324100 1022.32/1022.59 c 548s | 13 | 417780 | 57932 | 1993850 0 | 118037 | 324100 1024.62/1024.90 c 550s | 13 | 418566 | 58232 | 1993850 0 | 118037 | 324100 1025.62/1025.87 c 551s | 14 | 418945 | 58352 | 1993850 0 | 118037 | 324100 1035.62/1035.90 c 561s | 14 | 434614 | 58452 | 1993850 0 | 118037 | 324100 1037.72/1037.90 c 563s | 14 | 434773 | 58552 | 1993850 0 | 118037 | 324100 1039.92/1040.13 c 565s | 14 | 435336 | 58852 | 1993850 0 | 118037 | 324100 1042.32/1042.54 c 568s | 14 | 436137 | 59152 | 1993850 0 | 118037 | 324100 1045.92/1046.18 c 571s | 14 | 436829 | 59452 | 1993850 0 | 118037 | 324100 1048.71/1048.93 c 574s | 14 | 437506 | 59752 | 1993850 0 | 118037 | 324100 1051.23/1051.45 c 577s | 14 | 437994 | 60052 | 1993850 0 | 118037 | 324100 1055.02/1055.27 c 581s | 14 | 438151 | 60152 | 1993850 0 | 118037 | 324100 1057.12/1057.30 c 583s | 14 | 438600 | 60352 | 1993850 0 | 118037 | 324100 1059.71/1059.92 c 585s | 14 | 439221 | 60652 | 1993850 0 | 118037 | 324100 1062.61/1062.85 c 588s | 14 | 439787 | 60852 | 1993850 0 | 118037 | 324100 1065.32/1065.58 c 591s | 14 | 440506 | 61152 | 1993850 0 | 118037 | 324100 1068.02/1068.26 c 594s | 14 | 441268 | 61452 | 1993850 0 | 118037 | 324100 1071.91/1072.16 c 597s | 14 | 441966 | 61752 | 1993850 0 | 118037 | 324100 1074.81/1075.03 c 600s | 14 | 442586 | 62052 | 1993850 0 | 118037 | 324100 1077.01/1077.21 c 602s | 14 | 443258 | 62352 | 1993850 0 | 118037 | 324100 1080.31/1080.53 c 606s | 14 | 443835 | 62652 | 1993850 0 | 118037 | 324100 1082.62/1082.88 c 608s | 14 | 444444 | 62952 | 1993850 0 | 118037 | 324100 1085.01/1085.27 c 611s | 14 | 445082 | 63252 | 1993850 0 | 118037 | 324100 1088.71/1088.98 c 614s | 14 | 445639 | 63552 | 1993850 0 | 118037 | 324100 1091.21/1091.45 c 617s | 14 | 446247 | 63852 | 1993850 0 | 118037 | 324100 1093.61/1093.80 c 619s | 14 | 447013 | 64152 | 1993850 0 | 118037 | 324100 1096.01/1096.21 c 621s | 14 | 447600 | 64452 | 1993850 0 | 118037 | 324100 1098.10/1098.34 c 624s | 14 | 447778 | 64552 | 1993850 0 | 118037 | 324100 1100.41/1100.67 c 626s | 14 | 448540 | 64852 | 1993850 0 | 118037 | 324100 1102.91/1103.12 c 628s | 14 | 449104 | 65152 | 1993850 0 | 118037 | 324100 1105.41/1105.67 c 631s | 14 | 449727 | 65452 | 1993850 0 | 118037 | 324100 1107.61/1107.83 c 633s | 14 | 449985 | 65552 | 1993850 0 | 118037 | 324100 1110.30/1110.51 c 636s | 14 | 450532 | 65852 | 2193235 0 | 118037 | 324100 1112.71/1112.94 c 638s | 14 | 451236 | 66152 | 2193235 0 | 118037 | 324100 1116.50/1116.79 c 642s | 14 | 451915 | 66452 | 2193235 0 | 118037 | 324100 1119.42/1119.60 c 645s | 14 | 452650 | 66752 | 2193235 0 | 118037 | 324100 1122.01/1122.28 c 648s | 14 | 453273 | 67052 | 2193235 0 | 118037 | 324100 1126.11/1126.35 c 652s | 14 | 454133 | 67352 | 2193235 0 | 118037 | 324100 1128.30/1128.56 c 654s | 14 | 454808 | 67652 | 2193235 0 | 118037 | 324100 1130.60/1130.88 c 656s | 14 | 455396 | 67952 | 2193235 0 | 118037 | 324100 1133.01/1133.22 c 658s | 14 | 455987 | 68252 | 2193235 0 | 118037 | 324100 1135.60/1135.89 c 661s | 14 | 456284 | 68352 | 2193235 0 | 118037 | 324100 1138.70/1138.91 c 664s | 14 | 456674 | 68552 | 2193235 0 | 118037 | 324100 1140.79/1141.04 c 666s | 14 | 457020 | 68752 | 2193235 0 | 118037 | 324100 1143.30/1143.53 c 669s | 14 | 457678 | 69052 | 2193235 0 | 118037 | 324100 1147.09/1147.38 c 673s | 14 | 458377 | 69352 | 2193235 0 | 118037 | 324100 1149.59/1149.82 c 675s | 14 | 459003 | 69652 | 2193235 0 | 118037 | 324100 1152.30/1152.53 c 678s | 14 | 459581 | 69952 | 2193235 0 | 118037 | 324100 1154.89/1155.16 c 680s | 14 | 460079 | 70252 | 2193235 0 | 118037 | 324100 1157.09/1157.32 c 683s | 14 | 460244 | 70352 | 2193235 0 | 118037 | 324100 1159.49/1159.75 c 685s | 14 | 460896 | 70652 | 2193235 0 | 118037 | 324100 1161.59/1161.86 c 687s | 14 | 461560 | 70952 | 2193235 0 | 118037 | 324100 1163.89/1164.15 c 689s | 14 | 462360 | 71252 | 2193235 0 | 118037 | 324100 1166.69/1166.91 c 692s | 14 | 462839 | 71452 | 2193235 0 | 118037 | 324100 1169.09/1169.36 c 695s | 14 | 463513 | 71752 | 2193235 0 | 118037 | 324100 1171.39/1171.64 c 697s | 14 | 464063 | 72052 | 2193235 0 | 118037 | 324100 1173.69/1173.95 c 699s | 14 | 464697 | 72352 | 2193235 0 | 118037 | 324100 1176.49/1176.80 c 702s | 14 | 465034 | 72552 | 2193235 0 | 118037 | 324100 1178.89/1179.18 c 704s | 14 | 465583 | 72852 | 2193235 0 | 118037 | 324100 1181.19/1181.45 c 707s | 14 | 466214 | 73152 | 2193235 0 | 118037 | 324100 1183.39/1183.69 c 709s | 14 | 466927 | 73452 | 2193235 0 | 118037 | 324100 1186.18/1186.48 c 712s | 14 | 467375 | 73652 | 2193235 0 | 118037 | 324100 1188.60/1188.84 c 714s | 14 | 468032 | 73952 | 2193235 0 | 118037 | 324100 1190.99/1191.23 c 716s | 14 | 468776 | 74252 | 2193235 0 | 118037 | 324100 1193.29/1193.59 c 719s | 14 | 469380 | 74552 | 2193235 0 | 118037 | 324100 1196.18/1196.44 c 722s | 14 | 469784 | 74752 | 2193235 0 | 118037 | 324100 1198.49/1198.71 c 724s | 14 | 470464 | 75052 | 2193235 0 | 118037 | 324100 1200.80/1201.09 c 726s | 14 | 471057 | 75352 | 2193235 0 | 118037 | 324100 1203.19/1203.42 c 729s | 14 | 471827 | 75652 | 2193235 0 | 118037 | 324100 1205.98/1206.23 c 731s | 14 | 472264 | 75852 | 2193235 0 | 118037 | 324100 1208.49/1208.79 c 734s | 14 | 472863 | 76152 | 2193235 0 | 118037 | 324100 1210.88/1211.10 c 736s | 14 | 473460 | 76452 | 2193235 0 | 118037 | 324100 1213.48/1213.75 c 739s | 14 | 474142 | 76752 | 2193235 0 | 118037 | 324100 1215.58/1215.84 c 741s | 14 | 474362 | 76852 | 2193235 0 | 118037 | 324100 1218.08/1218.33 c 744s | 14 | 475034 | 77152 | 2193235 0 | 118037 | 324100 1220.59/1220.89 c 746s | 14 | 475800 | 77452 | 2193235 0 | 118037 | 324100 1223.28/1223.53 c 749s | 14 | 476394 | 77752 | 2193235 0 | 118037 | 324100 1225.38/1225.68 c 751s | 14 | 476625 | 77852 | 2193235 0 | 118037 | 324100 1228.29/1228.59 c 754s | 14 | 477313 | 78152 | 2193235 0 | 118037 | 324100 1231.37/1231.62 c 757s | 14 | 477696 | 78352 | 2193235 0 | 118037 | 324100 1235.28/1235.56 c 761s | 14 | 478279 | 78652 | 2193235 0 | 118037 | 324100 1237.68/1237.99 c 763s | 14 | 478674 | 78852 | 2193235 0 | 118037 | 324100 1240.17/1240.48 c 766s | 14 | 479320 | 79152 | 2193235 0 | 118037 | 324100 1242.68/1242.90 c 768s | 14 | 479978 | 79452 | 2193235 0 | 118037 | 324100 1244.98/1245.21 c 770s | 14 | 480115 | 79552 | 2193235 0 | 118037 | 324100 1247.68/1247.91 c 773s | 14 | 480855 | 79852 | 2193235 0 | 118037 | 324100 1250.58/1250.80 c 776s | 14 | 481667 | 80152 | 2193235 0 | 118037 | 324100 1254.68/1254.98 c 780s | 14 | 482249 | 80452 | 2193235 0 | 118037 | 324100 1257.37/1257.62 c 783s | 14 | 482993 | 80752 | 2193235 0 | 118037 | 324100 1259.87/1260.11 c 785s | 14 | 483596 | 81052 | 2193235 0 | 118037 | 324100 1262.47/1262.72 c 788s | 14 | 484425 | 81352 | 2193235 0 | 118037 | 324100 1264.78/1265.05 c 790s | 14 | 484701 | 81452 | 2193235 0 | 118037 | 324100 1267.08/1267.39 c 793s | 14 | 485057 | 81652 | 2193235 0 | 118037 | 324100 1269.27/1269.53 c 795s | 14 | 485389 | 81852 | 2193235 0 | 118037 | 324100 1271.47/1271.78 c 797s | 14 | 485929 | 82052 | 2193235 0 | 118037 | 324100 1274.38/1274.69 c 800s | 14 | 486338 | 82252 | 2193235 0 | 118037 | 324100 1277.17/1277.49 c 803s | 14 | 487041 | 82552 | 2193235 0 | 118037 | 324100 1279.27/1279.53 c 805s | 14 | 487463 | 82752 | 2193235 0 | 118037 | 324100 1281.57/1281.88 c 807s | 14 | 487876 | 82952 | 2193235 0 | 118037 | 324100 1283.97/1284.29 c 810s | 14 | 488079 | 83052 | 2193235 0 | 118037 | 324100 1286.37/1286.61 c 812s | 14 | 488477 | 83252 | 2193235 0 | 118037 | 324100 1288.37/1288.66 c 814s | 14 | 488984 | 83452 | 2193235 0 | 118037 | 324100 1291.16/1291.44 c 817s | 14 | 489493 | 83752 | 2193235 0 | 118037 | 324100 1294.17/1294.46 c 820s | 14 | 489978 | 83952 | 2193235 0 | 118037 | 324100 1296.87/1297.14 c 822s | 14 | 490644 | 84252 | 2193235 0 | 118037 | 324100 1299.77/1300.01 c 825s | 14 | 491285 | 84552 | 2193235 0 | 118037 | 324100 1302.36/1302.67 c 828s | 14 | 491871 | 84852 | 2193235 0 | 118037 | 324100 1304.57/1304.88 c 830s | 14 | 492127 | 84952 | 2193235 0 | 118037 | 324100 1307.47/1307.78 c 833s | 14 | 492750 | 85252 | 2193235 0 | 118037 | 324100 1310.37/1310.60 c 836s | 14 | 493523 | 85552 | 2193235 0 | 118037 | 324100 1312.36/1312.64 c 838s | 14 | 494066 | 85752 | 2193235 0 | 118037 | 324100 1315.56/1315.86 c 841s | 14 | 494511 | 85952 | 2193235 0 | 118037 | 324100 1317.56/1317.88 c 843s | 14 | 494911 | 86152 | 2193235 0 | 118037 | 324100 1320.26/1320.58 c 846s | 14 | 495537 | 86452 | 2193235 0 | 118037 | 324100 1323.06/1323.31 c 849s | 14 | 496100 | 86752 | 2193235 0 | 118037 | 324100 1326.35/1326.68 c 852s | 14 | 496502 | 86952 | 2193235 0 | 118037 | 324100 1328.65/1328.97 c 854s | 14 | 496885 | 87152 | 2193235 0 | 118037 | 324100 1332.05/1332.33 c 858s | 14 | 497397 | 87352 | 2193235 0 | 118037 | 324100 1334.15/1334.48 c 860s | 15 | 497951 | 87632 | 2193235 0 | 118037 | 324100 1348.75/1349.04 c 874s | 15 | 513664 | 87732 | 2193235 0 | 118037 | 324100 1350.76/1351.09 c 876s | 15 | 513886 | 87832 | 2193235 0 | 118037 | 324100 1353.15/1353.48 c 879s | 15 | 514628 | 88132 | 2193235 0 | 118037 | 324100 1356.05/1356.30 c 882s | 15 | 515396 | 88432 | 2193235 0 | 118037 | 324100 1358.65/1358.93 c 884s | 15 | 516147 | 88732 | 2193235 0 | 118037 | 324100 1362.36/1362.68 c 888s | 15 | 516759 | 89032 | 2193235 0 | 118037 | 324100 1364.86/1365.13 c 890s | 15 | 517367 | 89332 | 2193235 0 | 118037 | 324100 1367.15/1367.49 c 893s | 15 | 518113 | 89632 | 2193235 0 | 118037 | 324100 1369.55/1369.88 c 895s | 15 | 518756 | 89932 | 2193235 0 | 118037 | 324100 1373.46/1373.72 c 899s | 15 | 519515 | 90232 | 2193235 0 | 118037 | 324100 1375.95/1376.25 c 902s | 15 | 520329 | 90532 | 2193235 0 | 118037 | 324100 1378.45/1378.74 c 904s | 15 | 521008 | 90832 | 2193235 0 | 118037 | 324100 1381.06/1381.37 c 907s | 15 | 521726 | 91132 | 2193235 0 | 118037 | 324100 1384.95/1385.24 c 911s | 15 | 522454 | 91432 | 2193235 0 | 118037 | 324100 1387.44/1387.77 c 913s | 15 | 523111 | 91732 | 2193235 0 | 118037 | 324100 1390.14/1390.49 c 916s | 15 | 523681 | 92032 | 2193235 0 | 118037 | 324100 1392.75/1393.07 c 918s | 15 | 524396 | 92332 | 2193235 0 | 118037 | 324100 1395.84/1396.14 c 921s | 15 | 524870 | 92532 | 2193235 0 | 118037 | 324100 1398.66/1398.95 c 924s | 15 | 525522 | 92832 | 2193235 0 | 118037 | 324100 1401.54/1401.80 c 927s | 15 | 526325 | 93132 | 2193235 0 | 118037 | 324100 1404.15/1404.45 c 930s | 15 | 526931 | 93432 | 2193235 0 | 118037 | 324100 1407.34/1407.67 c 933s | 15 | 527334 | 93632 | 2193235 0 | 118037 | 324100 1409.45/1409.74 c 935s | 15 | 527758 | 93832 | 2193235 0 | 118037 | 324100 1412.34/1412.69 c 938s | 15 | 528598 | 94132 | 2193235 0 | 118037 | 324100 1415.15/1415.48 c 941s | 15 | 529236 | 94432 | 2193235 0 | 118037 | 324100 1419.24/1419.57 c 945s | 15 | 529911 | 94732 | 2193235 0 | 118037 | 324100 1422.04/1422.38 c 948s | 15 | 530527 | 95032 | 2193235 0 | 118037 | 324100 1424.14/1424.40 c 950s | 15 | 530996 | 95232 | 2193235 0 | 118037 | 324100 1426.94/1427.27 c 953s | 15 | 531594 | 95532 | 2193235 0 | 118037 | 324100 1431.04/1431.37 c 957s | 15 | 532272 | 95832 | 2193235 0 | 118037 | 324100 1433.74/1434.07 c 959s | 15 | 533013 | 96132 | 2193235 0 | 118037 | 324100 1435.84/1436.14 c 961s | 15 | 533517 | 96332 | 2193235 0 | 118037 | 324100 1438.35/1438.66 c 964s | 15 | 534258 | 96632 | 2193235 0 | 118037 | 324100 1441.24/1441.54 c 967s | 15 | 534861 | 96932 | 2193235 0 | 118037 | 324100 1443.53/1443.83 c 969s | 15 | 535068 | 97032 | 2193235 0 | 118037 | 324100 1445.64/1445.94 c 971s | 15 | 535427 | 97232 | 2193235 0 | 118037 | 324100 1448.53/1448.83 c 974s | 15 | 535986 | 97532 | 2193235 0 | 118037 | 324100 1450.54/1450.85 c 976s | 15 | 536479 | 97732 | 2193235 0 | 118037 | 324100 1453.13/1453.41 c 979s | 15 | 537118 | 97932 | 2193235 0 | 118037 | 324100 1455.85/1456.12 c 981s | 15 | 537399 | 98032 | 2193235 0 | 118037 | 324100 1458.54/1458.87 c 984s | 15 | 538045 | 98332 | 2193235 0 | 118037 | 324100 1460.73/1461.02 c 986s | 15 | 538470 | 98532 | 2193235 0 | 118037 | 324100 1462.83/1463.15 c 988s | 15 | 538888 | 98732 | 2193235 0 | 118037 | 324100 1465.03/1465.31 c 991s | 15 | 539374 | 98932 | 2193235 0 | 118037 | 324100 1467.43/1467.74 c 993s | 15 | 539594 | 99032 | 2193235 0 | 118037 | 324100 1469.63/1469.96 c 995s | 15 | 540105 | 99232 | 2193235 0 | 118037 | 324100 1472.64/1472.94 c 998s | 15 | 540706 | 99532 | 2193235 0 | 118037 | 324100 1474.94/1475.20 c 1000s | 15 | 541188 | 99732 | 2193235 0 | 118037 | 324100 1478.23/1478.57 c 1004s | 15 | 541592 | 99932 | 2193235 0 | 118037 | 324100 1481.24/1481.51 c 1007s | 15 | 542360 | 100232 | 2193235 0 | 118037 | 324100 1483.34/1483.68 c 1009s | 15 | 542809 | 100432 | 2193235 0 | 118037 | 324100 1485.73/1486.07 c 1011s | 15 | 543198 | 100632 | 2193235 0 | 118037 | 324100 1488.43/1488.79 c 1014s | 15 | 543781 | 100932 | 2193235 0 | 118037 | 324100 1490.73/1491.02 c 1016s | 15 | 543990 | 101032 | 2193235 0 | 118037 | 324100 1493.63/1493.99 c 1019s | 15 | 544753 | 101332 | 2193235 0 | 118037 | 324100 1495.73/1496.09 c 1021s | 15 | 545172 | 101532 | 2193235 0 | 118037 | 324100 1497.93/1498.26 c 1024s | 15 | 545690 | 101732 | 2193235 0 | 118037 | 324100 1500.83/1501.18 c 1026s | 15 | 546423 | 102032 | 2193235 0 | 118037 | 324100 1503.33/1503.60 c 1029s | 15 | 546629 | 102132 | 2193235 0 | 118037 | 324100 1505.33/1505.64 c 1031s | 15 | 547052 | 102332 | 2193235 0 | 118037 | 324100 1507.64/1507.92 c 1033s | 15 | 547491 | 102532 | 2193235 0 | 118037 | 324100 1509.84/1510.14 c 1035s | 15 | 547933 | 102732 | 2193235 0 | 118037 | 324100 1512.04/1512.38 c 1038s | 15 | 548497 | 102932 | 2193235 0 | 118037 | 324100 1516.23/1516.54 c 1042s | 15 | 548988 | 103132 | 2193235 0 | 118037 | 324100 1518.82/1519.20 c 1044s | 15 | 549473 | 103332 | 2193235 0 | 118037 | 324100 1521.13/1521.41 c 1047s | 15 | 549886 | 103532 | 2193235 0 | 118037 | 324100 1523.42/1523.74 c 1049s | 15 | 550370 | 103732 | 2193235 0 | 118037 | 324100 1525.72/1526.05 c 1051s | 15 | 550869 | 103932 | 2193235 0 | 118037 | 324100 1528.12/1528.48 c 1054s | 15 | 551115 | 104032 | 2193235 0 | 118037 | 324100 1530.52/1530.81 c 1056s | 15 | 551543 | 104232 | 2193235 0 | 118037 | 324100 1532.93/1533.21 c 1058s | 15 | 551980 | 104432 | 2193235 0 | 118037 | 324100 1534.92/1535.25 c 1061s | 15 | 552506 | 104632 | 2193235 0 | 118037 | 324100 1537.42/1537.75 c 1063s | 15 | 553144 | 104932 | 2193235 0 | 118037 | 324100 1541.02/1541.31 c 1067s | 15 | 553826 | 105232 | 2193235 0 | 118037 | 324100 1543.42/1543.73 c 1069s | 15 | 554577 | 105532 | 2193235 0 | 118037 | 324100 1545.82/1546.12 c 1071s | 15 | 555305 | 105832 | 2193235 0 | 118037 | 324100 1548.22/1548.55 c 1074s | 15 | 556027 | 106132 | 2193235 0 | 118037 | 324100 1551.12/1551.44 c 1077s | 15 | 556608 | 106432 | 2193235 0 | 118037 | 324100 1553.41/1553.77 c 1079s | 15 | 556852 | 106532 | 2193235 0 | 118037 | 324100 1556.02/1556.35 c 1082s | 15 | 557471 | 106832 | 2193235 0 | 118037 | 324100 1558.52/1558.84 c 1084s | 15 | 558041 | 107132 | 2193235 0 | 118037 | 324100 1560.91/1561.21 c 1086s | 15 | 558661 | 107432 | 2193235 0 | 118037 | 324100 1563.32/1563.66 c 1089s | 15 | 559390 | 107732 | 2193235 0 | 118037 | 324100 1565.42/1565.76 c 1091s | 15 | 559546 | 107832 | 2193235 0 | 118037 | 324100 1567.92/1568.29 c 1094s | 15 | 560285 | 108132 | 2193235 0 | 118037 | 324100 1570.42/1570.75 c 1096s | 15 | 560955 | 108432 | 2193235 0 | 118037 | 324100 1573.12/1573.46 c 1099s | 15 | 561514 | 108732 | 2193235 0 | 118037 | 324100 1575.72/1576.03 c 1101s | 15 | 562293 | 109032 | 2193235 0 | 118037 | 324100 1577.92/1578.22 c 1103s | 15 | 562577 | 109132 | 2193235 0 | 118037 | 324100 1580.81/1581.11 c 1106s | 15 | 563102 | 109432 | 2412559 0 | 118037 | 324100 1583.31/1583.62 c 1109s | 15 | 563751 | 109732 | 2412559 0 | 118037 | 324100 1585.72/1586.08 c 1111s | 15 | 564490 | 110032 | 2412559 0 | 118037 | 324100 1589.91/1590.25 c 1116s | 15 | 565122 | 110332 | 2412559 0 | 118037 | 324100 1592.21/1592.51 c 1118s | 15 | 565824 | 110632 | 2412559 0 | 118037 | 324100 1594.70/1595.04 c 1120s | 15 | 566491 | 110932 | 2412559 0 | 118037 | 324100 1597.61/1597.90 c 1123s | 15 | 567163 | 111232 | 2412559 0 | 118037 | 324100 1600.20/1600.59 c 1126s | 15 | 567879 | 111532 | 2412559 0 | 118037 | 324100 1602.40/1602.76 c 1128s | 15 | 568073 | 111632 | 2412559 0 | 118037 | 324100 1604.60/1604.90 c 1130s | 15 | 568486 | 111832 | 2412559 0 | 118037 | 324100 1606.90/1607.20 c 1132s | 15 | 568936 | 112032 | 2412559 0 | 118037 | 324100 1609.40/1609.77 c 1135s | 15 | 569632 | 112332 | 2412559 0 | 118037 | 324100 1613.60/1613.92 c 1139s | 15 | 570239 | 112632 | 2412559 0 | 118037 | 324100 1616.20/1616.57 c 1142s | 15 | 570878 | 112932 | 2412559 0 | 118037 | 324100 1618.90/1619.28 c 1145s | 15 | 571527 | 113232 | 2412559 0 | 118037 | 324100 1621.30/1621.61 c 1147s | 15 | 571953 | 113432 | 2412559 0 | 118037 | 324100 1623.90/1624.22 c 1149s | 15 | 572614 | 113732 | 2412559 0 | 118037 | 324100 1627.00/1627.39 c 1153s | 15 | 573097 | 113932 | 2412559 0 | 118037 | 324100 1629.50/1629.90 c 1155s | 15 | 573712 | 114232 | 2412559 0 | 118037 | 324100 1632.20/1632.53 c 1158s | 15 | 574341 | 114532 | 2412559 0 | 118037 | 324100 1635.90/1636.20 c 1161s | 15 | 574932 | 114832 | 2412559 0 | 118037 | 324100 1638.51/1638.83 c 1164s | 15 | 575638 | 115132 | 2412559 0 | 118037 | 324100 1640.70/1641.09 c 1166s | 15 | 575807 | 115232 | 2412559 0 | 118037 | 324100 1643.59/1643.96 c 1169s | 15 | 576498 | 115532 | 2412559 0 | 118037 | 324100 1645.90/1646.27 c 1172s | 15 | 576914 | 115732 | 2412559 0 | 118037 | 324100 1648.30/1648.62 c 1174s | 15 | 577621 | 116032 | 2412559 0 | 118037 | 324100 1650.90/1651.23 c 1177s | 15 | 578396 | 116332 | 2412559 0 | 118037 | 324100 1654.00/1654.36 c 1180s | 15 | 578826 | 116532 | 2412559 0 | 118037 | 324100 1656.70/1657.01 c 1182s | 15 | 579677 | 116832 | 2412559 0 | 118037 | 324100 1659.69/1660.03 c 1185s | 15 | 580196 | 117132 | 2412559 0 | 118037 | 324100 1661.79/1662.12 c 1187s | 15 | 580606 | 117332 | 2412559 0 | 118037 | 324100 1663.99/1664.31 c 1190s | 15 | 581076 | 117532 | 2412559 0 | 118037 | 324100 1666.39/1666.73 c 1192s | 15 | 581269 | 117632 | 2412559 0 | 118037 | 324100 1668.39/1668.78 c 1194s | 15 | 581753 | 117832 | 2412559 0 | 118037 | 324100 1670.60/1670.95 c 1196s | 15 | 582137 | 118032 | 2412559 0 | 118037 | 324100 1673.49/1673.90 c 1199s | 15 | 582840 | 118332 | 2412559 0 | 118037 | 324100 1676.29/1676.69 c 1202s | 15 | 583664 | 118632 | 2412559 0 | 118037 | 324100 1679.49/1679.80 c 1205s | 15 | 584123 | 118832 | 2412559 0 | 118037 | 324100 1681.59/1681.92 c 1207s | 15 | 584575 | 119032 | 2412559 0 | 118037 | 324100 1684.39/1684.74 c 1210s | 15 | 585114 | 119332 | 2412559 0 | 118037 | 324100 1687.08/1687.49 c 1213s | 15 | 585654 | 119632 | 2412559 0 | 118037 | 324100 1689.89/1690.29 c 1216s | 15 | 586415 | 119932 | 2412559 0 | 118037 | 324100 1692.39/1692.73 c 1218s | 15 | 586646 | 120032 | 2412559 0 | 118037 | 324100 1694.49/1694.82 c 1220s | 15 | 587047 | 120232 | 2412559 0 | 118037 | 324100 1697.28/1697.68 c 1223s | 15 | 587796 | 120532 | 2412559 0 | 118037 | 324100 1699.99/1700.37 c 1226s | 15 | 588452 | 120832 | 2412559 0 | 118037 | 324100 1702.68/1703.01 c 1228s | 15 | 589086 | 121132 | 2412559 0 | 118037 | 324100 1704.78/1705.12 c 1230s | 15 | 589542 | 121332 | 2412559 0 | 118037 | 324100 1706.88/1707.27 c 1233s | 15 | 589713 | 121432 | 2412559 0 | 118037 | 324100 1709.78/1710.10 c 1235s | 15 | 590418 | 121732 | 2412559 0 | 118037 | 324100 1712.58/1712.97 c 1238s | 15 | 591018 | 122032 | 2412559 0 | 118037 | 324100 1714.58/1714.97 c 1240s | 15 | 591405 | 122232 | 2412559 0 | 118037 | 324100 1717.48/1717.84 c 1243s | 15 | 592091 | 122532 | 2412559 0 | 118037 | 324100 1719.88/1720.28 c 1246s | 15 | 592293 | 122632 | 2412559 0 | 118037 | 324100 1722.48/1722.89 c 1248s | 15 | 592876 | 122932 | 2412559 0 | 118037 | 324100 1725.38/1725.76 c 1251s | 15 | 593550 | 123232 | 2412559 0 | 118037 | 324100 1728.18/1728.54 c 1254s | 15 | 594186 | 123532 | 2412559 0 | 118037 | 324100 1731.18/1731.54 c 1257s | 15 | 594893 | 123832 | 2412559 0 | 118037 | 324100 1733.47/1733.88 c 1259s | 15 | 595139 | 123932 | 2412559 0 | 118037 | 324100 1736.17/1736.51 c 1262s | 15 | 595943 | 124232 | 2412559 0 | 118037 | 324100 1738.77/1739.13 c 1264s | 15 | 596717 | 124532 | 2412559 0 | 118037 | 324100 1741.27/1741.68 c 1267s | 15 | 597393 | 124832 | 2412559 0 | 118037 | 324100 1743.98/1744.40 c 1270s | 15 | 598178 | 125132 | 2412559 0 | 118037 | 324100 1747.48/1747.83 c 1273s | 15 | 598555 | 125332 | 2412559 0 | 118037 | 324100 1750.57/1750.96 c 1276s | 15 | 599154 | 125632 | 2412559 0 | 118037 | 324100 1752.77/1753.13 c 1278s | 15 | 599612 | 125832 | 2412559 0 | 118037 | 324100 1754.77/1755.15 c 1280s | 15 | 600114 | 126032 | 2412559 0 | 118037 | 324100 1756.77/1757.15 c 1282s | 15 | 600551 | 126232 | 2412559 0 | 118037 | 324100 1759.87/1760.20 c 1285s | 15 | 600962 | 126432 | 2412559 0 | 118037 | 324100 1761.87/1762.22 c 1287s | 15 | 601438 | 126632 | 2412559 0 | 118037 | 324100 1763.87/1764.28 c 1290s | 15 | 601858 | 126832 | 2412559 0 | 118037 | 324100 1765.97/1766.38 c 1292s | 15 | 602187 | 127032 | 2412559 0 | 118037 | 324100 1768.77/1769.18 c 1294s | 15 | 602827 | 127332 | 2412559 0 | 118037 | 324100 1772.97/1773.38 c 1299s | 15 | 603645 | 127632 | 2412559 0 | 118037 | 324100 1775.76/1776.11 c 1301s | 15 | 604362 | 127932 | 2412559 0 | 118037 | 324100 1777.76/1778.15 c 1303s | 15 | 604865 | 128132 | 2412559 0 | 118037 | 324100 1780.67/1781.01 c 1306s | 15 | 605750 | 128432 | 2412559 0 | 118037 | 324100 1783.36/1783.77 c 1309s | 15 | 606648 | 128732 | 2412559 0 | 118037 | 324100 1786.07/1786.47 c 1312s | 15 | 607372 | 129032 | 2412559 0 | 118037 | 324100 1788.36/1788.74 c 1314s | 15 | 607645 | 129132 | 2412559 0 | 118037 | 324100 1791.16/1791.57 c 1317s | 15 | 608404 | 129432 | 2412559 0 | 118037 | 324100 1794.06/1794.40 c 1320s | 15 | 609136 | 129732 | 2412559 0 | 118037 | 324100 1796.87/1797.21 c 1322s | 15 | 609781 | 130032 | 2412559 0 | 118037 | 324100 1799.77/1800.14 c 1325s | 15 | 610441 | 130332 | 2412559 0 | 118037 | 324100
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-4079013-1465366589/watcher-4079013-1465366589 -o /tmp/evaluation-result-4079013-1465366589/solver-4079013-1465366589 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465364784-14434 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079013-1465366589.opb pid=14628 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.15 2.18 2.02 4/179 14631 /proc/meminfo: memFree=28907980/32872528 swapFree=17892/1720544 [pid=14631] ppid=14628 vsize=766396 CPUtime=0 cores=1,3,5,7 /proc/14631/stat : 14631 (toysat) R 14628 14631 14417 0 -1 4202496 2865 0 0 0 0 0 0 0 20 0 4 0 118592354 784789504 3737 33554432000 4194304 16246674 140734065885728 140734065885152 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14631/statm: 192367 3748 441 2943 0 189261 0 [pid=14631/tid=14632] ppid=14628 vsize=784828 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14632/stat : 14632 (toysat) S 14628 14631 14417 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118592354 803663872 3809 33554432000 4194304 16246674 140734065885728 139963064626416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14631/tid=14633] ppid=14628 vsize=788924 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14633/stat : 14633 (toysat) S 14628 14631 14417 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 118592354 807858176 3825 33554432000 4194304 16246674 140734065885728 139962984934640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14631/tid=14634] ppid=14628 vsize=794044 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14634/stat : 14634 (toysat) S 14628 14631 14417 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 118592354 813101056 3842 33554432000 4194304 16246674 140734065885728 139962974461104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100131 s] /proc/loadavg: 2.15 2.18 2.02 4/179 14631 /proc/meminfo: memFree=28907980/32872528 swapFree=17892/1720544 [pid=14631] ppid=14628 vsize=1303108 CPUtime=0.09 cores=1,3,5,7 /proc/14631/stat : 14631 (toysat) R 14628 14631 14417 0 -1 4202496 29568 0 0 0 5 4 0 0 20 0 4 0 118592354 1334382592 30379 33554432000 4194304 16246674 140734065885728 140734065885040 8055525 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14631/statm: 325777 30396 799 2943 0 322671 0 [pid=14631/tid=14632] ppid=14628 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14632/stat : 14632 (toysat) S 14628 14631 14417 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118592354 1334382592 30406 33554432000 4194304 16246674 140734065885728 139963064626416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14631/tid=14633] ppid=14628 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14633/stat : 14633 (toysat) S 14628 14631 14417 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 118592354 1334382592 30418 33554432000 4194304 16246674 140734065885728 139962984934640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14631/tid=14634] ppid=14628 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14634/stat : 14634 (toysat) S 14628 14631 14417 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118592354 1334382592 30428 33554432000 4194304 16246674 140734065885728 139962974461104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1303108 [startup+0.200535 s] /proc/loadavg: 2.15 2.18 2.02 4/179 14631 /proc/meminfo: memFree=28907980/32872528 swapFree=17892/1720544 [pid=14631] ppid=14628 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/14631/stat : 14631 (toysat) R 14628 14631 14417 0 -1 4202496 47842 0 0 0 13 6 0 0 20 0 4 0 118592354 1344868352 49163 33554432000 4194304 16246674 140734065885728 140734065867648 8058576 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14631/statm: 328337 49163 799 2943 0 325231 0 [pid=14631/tid=14632] ppid=14628 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14632/stat : 14632 (toysat) S 14628 14631 14417 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118592354 1344868352 49163 33554432000 4194304 16246674 140734065885728 139963064626416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14631/tid=14633] ppid=14628 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14633/stat : 14633 (toysat) S 14628 14631 14417 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 118592354 1344868352 49163 33554432000 4194304 16246674 140734065885728 139962984934640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14631/tid=14634] ppid=14628 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14634/stat : 14634 (toysat) S 14628 14631 14417 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118592354 1344868352 49163 33554432000 4194304 16246674 140734065885728 139962974461104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300525 s] /proc/loadavg: 2.15 2.18 2.02 4/179 14631 /proc/meminfo: memFree=28907980/32872528 swapFree=17892/1720544 [pid=14631] ppid=14628 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/14631/stat : 14631 (toysat) R 14628 14631 14417 0 -1 4202496 54413 0 0 0 22 7 0 0 20 0 4 0 118592354 1344868352 55734 33554432000 4194304 16246674 140734065885728 140734065867648 4221105 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14631/statm: 328337 55734 800 2943 0 325231 0 [pid=14631/tid=14632] ppid=14628 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14632/stat : 14632 (toysat) S 14628 14631 14417 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118592354 1344868352 55734 33554432000 4194304 16246674 140734065885728 139963064626416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14631/tid=14633] ppid=14628 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14633/stat : 14633 (toysat) S 14628 14631 14417 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 118592354 1344868352 55734 33554432000 4194304 16246674 140734065885728 139962984934640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14631/tid=14634] ppid=14628 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14634/stat : 14634 (toysat) S 14628 14631 14417 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118592354 1344868352 55734 33554432000 4194304 16246674 140734065885728 139962974461104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700433 s] /proc/loadavg: 2.15 2.18 2.02 4/179 14631 /proc/meminfo: memFree=28907980/32872528 swapFree=17892/1720544 [pid=14631] ppid=14628 vsize=1320516 CPUtime=0.69 cores=1,3,5,7 /proc/14631/stat : 14631 (toysat) R 14628 14631 14417 0 -1 4202496 65512 0 0 0 60 9 0 0 20 0 4 0 118592354 1352208384 67855 33554432000 4194304 16246674 140734065885728 140734065867648 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14631/statm: 330129 67855 801 2943 0 327023 0 [pid=14631/tid=14632] ppid=14628 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14632/stat : 14632 (toysat) S 14628 14631 14417 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118592354 1352208384 67855 33554432000 4194304 16246674 140734065885728 139963064626416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14631/tid=14633] ppid=14628 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14633/stat : 14633 (toysat) S 14628 14631 14417 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 118592354 1352208384 67855 33554432000 4194304 16246674 140734065885728 139962984934640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14631/tid=14634] ppid=14628 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14634/stat : 14634 (toysat) S 14628 14631 14417 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118592354 1352208384 67855 33554432000 4194304 16246674 140734065885728 139962974461104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1320516 [startup+1.50042 s] /proc/loadavg: 2.15 2.18 2.02 3/183 14635 /proc/meminfo: memFree=28281552/32872528 swapFree=17892/1720544 [pid=14631] ppid=14628 vsize=1320516 CPUtime=1.49 cores=1,3,5,7 /proc/14631/stat : 14631 (toysat) R 14628 14631 14417 0 -1 4202496 105294 0 0 0 134 15 0 0 20 0 4 0 118592354 1352208384 107637 33554432000 4194304 16246674 140734065885728 140734065867648 4220867 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14631/statm: 330129 107637 801 2943 0 327023 0 [pid=14631/tid=14632] ppid=14628 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14632/stat : 14632 (toysat) S 14628 14631 14417 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118592354 1352208384 107637 33554432000 4194304 16246674 140734065885728 139963064626416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14631/tid=14633] ppid=14628 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14633/stat : 14633 (toysat) S 14628 14631 14417 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 118592354 1352208384 107637 33554432000 4194304 16246674 140734065885728 139962984934640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14631/tid=14634] ppid=14628 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14634/stat : 14634 (toysat) S 14628 14631 14417 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118592354 1352208384 107637 33554432000 4194304 16246674 140734065885728 139962974461104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1320516 [startup+3.10044 s] /proc/loadavg: 2.15 2.18 2.02 3/183 14635 /proc/meminfo: memFree=28163120/32872528 swapFree=17892/1720544 [pid=14631] ppid=14628 vsize=1345092 CPUtime=3.09 cores=1,3,5,7 /proc/14631/stat : 14631 (toysat) R 14628 14631 14417 0 -1 4202496 149914 0 0 0 288 21 0 0 20 0 4 0 118592354 1377374208 156345 33554432000 4194304 16246674 140734065885728 140734065883584 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14631/statm: 336273 156345 801 2943 0 333167 0 [pid=14631/tid=14632] ppid=14628 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14632/stat : 14632 (toysat) S 14628 14631 14417 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118592354 1377374208 156345 33554432000 4194304 16246674 140734065885728 139963064626416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14631/tid=14633] ppid=14628 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14633/stat : 14633 (toysat) S 14628 14631 14417 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 118592354 1377374208 156345 33554432000 4194304 16246674 140734065885728 139962984934640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14631/tid=14634] ppid=14628 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14634/stat : 14634 (toysat) S 14628 14631 14417 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118592354 1377374208 156345 33554432000 4194304 16246674 140734065885728 139962974461104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1345092 [startup+6.30051 s] /proc/loadavg: 2.30 2.21 2.03 3/183 14635 /proc/meminfo: memFree=27689948/32872528 swapFree=17892/1720544 [pid=14631] ppid=14628 vsize=1394244 CPUtime=6.3 cores=1,3,5,7 /proc/14631/stat : 14631 (toysat) R 14628 14631 14417 0 -1 4202496 209000 0 0 0 600 30 0 0 20 0 4 0 118592354 1427705856 225651 33554432000 4194304 16246674 140734065885728 140734065867648 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14631/statm: 348561 225651 801 2943 0 345455 0 [pid=14631/tid=14632] ppid=14628 vsize=1394244 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14632/stat : 14632 (toysat) S 14628 14631 14417 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118592354 1427705856 225651 33554432000 4194304 16246674 140734065885728 139963064626416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14631/tid=14633] ppid=14628 vsize=1394244 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14633/stat : 14633 (toysat) S 14628 14631 14417 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 118592354 1427705856 225651 33554432000 4194304 16246674 140734065885728 139962984934640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14631/tid=14634] ppid=14628 vsize=1394244 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14634/stat : 14634 (toysat) S 14628 14631 14417 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118592354 1427705856 225651 33554432000 4194304 16246674 140734065885728 139962974461104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 1394244 [startup+12.7004 s] /proc/loadavg: 2.27 2.20 2.03 3/183 14635 /proc/meminfo: memFree=27301532/32872528 swapFree=17892/1720544 [pid=14631] ppid=14628 vsize=1552964 CPUtime=12.69 cores=1,3,5,7 /proc/14631/stat : 14631 (toysat) R 14628 14631 14417 0 -1 4202496 285885 0 0 0 1226 43 0 0 20 0 4 0 118592354 1590235136 324509 33554432000 4194304 16246674 140734065885728 140734065867648 8055408 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14631/statm: 388241 324509 802 2943 0 385135 0 [pid=14631/tid=14632] ppid=14628 vsize=1552964 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14632/stat : 14632 (toysat) S 14628 14631 14417 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118592354 1590235136 324509 33554432000 4194304 16246674 140734065885728 139963064626416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14631/tid=14633] ppid=14628 vsize=1552964 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14633/stat : 14633 (toysat) S 14628 14631 14417 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 118592354 1590235136 324509 33554432000 4194304 16246674 140734065885728 139962984934640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14631/tid=14634] ppid=14628 vsize=1552964 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14634/stat : 14634 (toysat) S 14628 14631 14417 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118592354 1590235136 324509 33554432000 4194304 16246674 140734065885728 139962974461104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1552964 [startup+25.5005 s] /proc/loadavg: 2.21 2.19 2.03 3/183 14635 /proc/meminfo: memFree=26082976/32872528 swapFree=17892/1720544 [pid=14631] ppid=14628 vsize=2822724 CPUtime=25.49 cores=1,3,5,7 /proc/14631/stat : 14631 (toysat) R 14628 14631 14417 0 -1 4202496 554278 0 0 0 2463 86 0 0 20 0 4 0 118592354 2890469376 627139 33554432000 4194304 16246674 140734065885728 140734065867648 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14631/statm: 705681 627139 842 2943 0 702575 0 [pid=14631/tid=14632] ppid=14628 vsize=2822724 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14632/stat : 14632 (toysat) S 14628 14631 14417 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118592354 2890469376 627139 33554432000 4194304 16246674 140734065885728 139963064626416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14631/tid=14633] ppid=14628 vsize=2822724 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14633/stat : 14633 (toysat) S 14628 14631 14417 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 118592354 2890469376 627139 33554432000 4194304 16246674 140734065885728 139962984934640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14631/tid=14634] ppid=14628 vsize=2822724 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14634/stat : 14634 (toysat) S 14628 14631 14417 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118592354 2890469376 627139 33554432000 4194304 16246674 140734065885728 139962974461104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 2822724 [startup+51.1004 s] /proc/loadavg: 2.21 2.19 2.03 3/183 14635 /proc/meminfo: memFree=24318388/32872528 swapFree=17892/1720544 [pid=14631] ppid=14628 vsize=4584004 CPUtime=51.08 cores=1,3,5,7 /proc/14631/stat : 14631 (toysat) R 14628 14631 14417 0 -1 4202496 994658 0 0 0 4954 154 0 0 20 0 4 0 118592354 4694020096 1067519 33554432000 4194304 16246674 140734065885728 140734065883520 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14631/statm: 1146001 1067519 894 2943 0 1142895 0 [pid=14631/tid=14632] ppid=14628 vsize=4584004 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14632/stat : 14632 (toysat) S 14628 14631 14417 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118592354 4694020096 1067519 33554432000 4194304 16246674 140734065885728 139963064626416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14631/tid=14633] ppid=14628 vsize=4584004 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14633/stat : 14633 (toysat) S 14628 14631 14417 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 118592354 4694020096 1067519 33554432000 4194304 16246674 140734065885728 139962984934640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14631/tid=14634] ppid=14628 vsize=4584004 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14634/stat : 14634 (toysat) S 14628 14631 14417 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118592354 4694020096 1067519 33554432000 4194304 16246674 140734065885728 139962974461104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 4584004 [startup+102.3 s] /proc/loadavg: 2.15 2.18 2.03 4/183 14637 /proc/meminfo: memFree=24533088/32872528 swapFree=17892/1720544 [pid=14631] ppid=14628 vsize=4287044 CPUtime=102.27 cores=1,3,5,7 /proc/14631/stat : 14631 (toysat) R 14628 14631 14417 0 -1 4202496 994704 0 0 0 10062 165 0 0 20 0 4 0 118592354 4389933056 1013765 33554432000 4194304 16246674 140734065885728 140734065883712 13006112 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14631/statm: 1071761 1013765 897 2943 0 1068655 0 [pid=14631/tid=14632] ppid=14628 vsize=4287044 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14632/stat : 14632 (toysat) S 14628 14631 14417 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118592354 4389933056 1013765 33554432000 4194304 16246674 140734065885728 139963064626416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14631/tid=14633] ppid=14628 vsize=4287044 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14633/stat : 14633 (toysat) S 14628 14631 14417 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 118592354 4389933056 1013765 33554432000 4194304 16246674 140734065885728 139962984934640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14631/tid=14634] ppid=14628 vsize=4287044 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14634/stat : 14634 (toysat) S 14628 14631 14417 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118592354 4389933056 1013765 33554432000 4194304 16246674 140734065885728 139962974461104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 4287044 ################ # More data... # ################ /proc/14631/task/14632/stat : 14632 (toysat) S 14628 14631 14417 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118592354 5242425344 1221695 33554432000 4194304 16246674 140734065885728 139963064626416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14631/tid=14633] ppid=14628 vsize=5119556 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14633/stat : 14633 (toysat) S 14628 14631 14417 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 118592354 5242425344 1221695 33554432000 4194304 16246674 140734065885728 139962984934640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14631/tid=14634] ppid=14628 vsize=5119556 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14634/stat : 14634 (toysat) S 14628 14631 14417 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118592354 5242425344 1221695 33554432000 4194304 16246674 140734065885728 139962974461104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 5119556 [startup+1362.3 s] /proc/loadavg: 2.22 2.19 2.11 3/183 14669 /proc/meminfo: memFree=23566740/32872528 swapFree=17892/1720544 [pid=14631] ppid=14628 vsize=5278276 CPUtime=1362.05 cores=1,3,5,7 /proc/14631/stat : 14631 (toysat) R 14628 14631 14417 0 -1 4202496 1444256 0 0 0 135651 554 0 0 20 0 4 0 118592354 5404954624 1261543 33554432000 4194304 16246674 140734065885728 140734065867520 6011580 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14631/statm: 1319569 1261543 925 2943 0 1316463 0 [pid=14631/tid=14632] ppid=14628 vsize=5278276 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14632/stat : 14632 (toysat) S 14628 14631 14417 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118592354 5404954624 1261543 33554432000 4194304 16246674 140734065885728 139963064626416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14631/tid=14633] ppid=14628 vsize=5278276 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14633/stat : 14633 (toysat) S 14628 14631 14417 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 118592354 5404954624 1261543 33554432000 4194304 16246674 140734065885728 139962984934640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14631/tid=14634] ppid=14628 vsize=5278276 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14634/stat : 14634 (toysat) S 14628 14631 14417 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118592354 5404954624 1261543 33554432000 4194304 16246674 140734065885728 139962974461104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 5278276 [startup+1422.3 s] /proc/loadavg: 2.13 2.17 2.10 4/184 14673 /proc/meminfo: memFree=23341932/32872528 swapFree=17892/1720544 [pid=14631] ppid=14628 vsize=5473860 CPUtime=1422.04 cores=1,3,5,7 /proc/14631/stat : 14631 (toysat) R 14628 14631 14417 0 -1 4202496 1493021 0 0 0 141623 581 0 0 20 0 4 0 118592354 5605232640 1310301 33554432000 4194304 16246674 140734065885728 140734065867648 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14631/statm: 1368465 1310301 925 2943 0 1365359 0 [pid=14631/tid=14632] ppid=14628 vsize=5473860 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14632/stat : 14632 (toysat) S 14628 14631 14417 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118592354 5605232640 1310301 33554432000 4194304 16246674 140734065885728 139963064626416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14631/tid=14633] ppid=14628 vsize=5473860 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14633/stat : 14633 (toysat) S 14628 14631 14417 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 118592354 5605232640 1310301 33554432000 4194304 16246674 140734065885728 139962984934640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14631/tid=14634] ppid=14628 vsize=5473860 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14634/stat : 14634 (toysat) S 14628 14631 14417 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118592354 5605232640 1310301 33554432000 4194304 16246674 140734065885728 139962974461104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 5473860 [startup+1482.3 s] /proc/loadavg: 2.16 2.17 2.10 4/183 14674 /proc/meminfo: memFree=23162700/32872528 swapFree=17892/1720544 [pid=14631] ppid=14628 vsize=5652036 CPUtime=1482.03 cores=1,3,5,7 /proc/14631/stat : 14631 (toysat) R 14628 14631 14417 0 -1 4202496 1537636 0 0 0 147596 607 0 0 20 0 4 0 118592354 5787684864 1354914 33554432000 4194304 16246674 140734065885728 140734065867648 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14631/statm: 1413009 1354914 925 2943 0 1409903 0 [pid=14631/tid=14632] ppid=14628 vsize=5652036 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14632/stat : 14632 (toysat) S 14628 14631 14417 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118592354 5787684864 1354914 33554432000 4194304 16246674 140734065885728 139963064626416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14631/tid=14633] ppid=14628 vsize=5652036 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14633/stat : 14633 (toysat) S 14628 14631 14417 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 118592354 5787684864 1354914 33554432000 4194304 16246674 140734065885728 139962984934640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14631/tid=14634] ppid=14628 vsize=5652036 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14634/stat : 14634 (toysat) S 14628 14631 14417 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118592354 5787684864 1354914 33554432000 4194304 16246674 140734065885728 139962974461104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1482.03 Current children cumulated vsize (KiB) 5652036 [startup+1542.3 s] /proc/loadavg: 2.35 2.21 2.11 4/183 14675 /proc/meminfo: memFree=22993992/32872528 swapFree=17892/1720544 [pid=14631] ppid=14628 vsize=5820996 CPUtime=1542.02 cores=1,3,5,7 /proc/14631/stat : 14631 (toysat) R 14628 14631 14417 0 -1 4202496 1579964 0 0 0 153567 635 0 0 20 0 4 0 118592354 5960699904 1397239 33554432000 4194304 16246674 140734065885728 140734065883776 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14631/statm: 1455249 1397239 925 2943 0 1452143 0 [pid=14631/tid=14632] ppid=14628 vsize=5820996 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14632/stat : 14632 (toysat) S 14628 14631 14417 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118592354 5960699904 1397239 33554432000 4194304 16246674 140734065885728 139963064626416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14631/tid=14633] ppid=14628 vsize=5820996 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14633/stat : 14633 (toysat) S 14628 14631 14417 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 118592354 5960699904 1397239 33554432000 4194304 16246674 140734065885728 139962984934640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14631/tid=14634] ppid=14628 vsize=5820996 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14634/stat : 14634 (toysat) S 14628 14631 14417 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118592354 5960699904 1397239 33554432000 4194304 16246674 140734065885728 139962974461104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1542.02 Current children cumulated vsize (KiB) 5820996 [startup+1602.3 s] /proc/loadavg: 2.23 2.20 2.11 3/183 14676 /proc/meminfo: memFree=22823364/32872528 swapFree=17892/1720544 [pid=14631] ppid=14628 vsize=6030916 CPUtime=1602.01 cores=1,3,5,7 /proc/14631/stat : 14631 (toysat) R 14628 14631 14417 0 -1 4202496 1632306 0 0 0 159536 665 0 0 20 0 4 0 118592354 6175657984 1449572 33554432000 4194304 16246674 140734065885728 140734065883584 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14631/statm: 1507729 1449572 925 2943 0 1504623 0 [pid=14631/tid=14632] ppid=14628 vsize=6030916 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14632/stat : 14632 (toysat) S 14628 14631 14417 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118592354 6175657984 1449572 33554432000 4194304 16246674 140734065885728 139963064626416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14631/tid=14633] ppid=14628 vsize=6030916 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14633/stat : 14633 (toysat) S 14628 14631 14417 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 118592354 6175657984 1449572 33554432000 4194304 16246674 140734065885728 139962984934640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14631/tid=14634] ppid=14628 vsize=6030916 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14634/stat : 14634 (toysat) S 14628 14631 14417 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118592354 6175657984 1449572 33554432000 4194304 16246674 140734065885728 139962974461104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 6030916 [startup+1662.3 s] /proc/loadavg: 2.12 2.18 2.11 4/183 14678 /proc/meminfo: memFree=22619448/32872528 swapFree=17892/1720544 [pid=14631] ppid=14628 vsize=6194756 CPUtime=1661.99 cores=1,3,5,7 /proc/14631/stat : 14631 (toysat) R 14628 14631 14417 0 -1 4202496 1673369 0 0 0 165506 693 0 0 20 0 4 0 118592354 6343430144 1490630 33554432000 4194304 16246674 140734065885728 140734065883584 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14631/statm: 1548689 1490630 925 2943 0 1545583 0 [pid=14631/tid=14632] ppid=14628 vsize=6194756 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14632/stat : 14632 (toysat) S 14628 14631 14417 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118592354 6343430144 1490630 33554432000 4194304 16246674 140734065885728 139963064626416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14631/tid=14633] ppid=14628 vsize=6194756 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14633/stat : 14633 (toysat) S 14628 14631 14417 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 118592354 6343430144 1490630 33554432000 4194304 16246674 140734065885728 139962984934640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14631/tid=14634] ppid=14628 vsize=6194756 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14634/stat : 14634 (toysat) S 14628 14631 14417 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118592354 6343430144 1490630 33554432000 4194304 16246674 140734065885728 139962974461104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.99 Current children cumulated vsize (KiB) 6194756 [startup+1722.3 s] /proc/loadavg: 2.35 2.22 2.12 3/183 14679 /proc/meminfo: memFree=22411212/32872528 swapFree=17892/1720544 [pid=14631] ppid=14628 vsize=6402628 CPUtime=1721.99 cores=1,3,5,7 /proc/14631/stat : 14631 (toysat) R 14628 14631 14417 0 -1 4202496 1725313 0 0 0 171475 724 0 0 20 0 4 0 118592354 6556291072 1542563 33554432000 4194304 16246674 140734065885728 140734065883584 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14631/statm: 1600657 1542563 925 2943 0 1597551 0 [pid=14631/tid=14632] ppid=14628 vsize=6402628 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14632/stat : 14632 (toysat) S 14628 14631 14417 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118592354 6556291072 1542563 33554432000 4194304 16246674 140734065885728 139963064626416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14631/tid=14633] ppid=14628 vsize=6402628 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14633/stat : 14633 (toysat) S 14628 14631 14417 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 118592354 6556291072 1542563 33554432000 4194304 16246674 140734065885728 139962984934640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14631/tid=14634] ppid=14628 vsize=6402628 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14634/stat : 14634 (toysat) S 14628 14631 14417 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118592354 6556291072 1542563 33554432000 4194304 16246674 140734065885728 139962974461104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.99 Current children cumulated vsize (KiB) 6402628 [startup+1782.3 s] /proc/loadavg: 2.18 2.19 2.12 3/183 14680 /proc/meminfo: memFree=22242380/32872528 swapFree=17892/1720544 [pid=14631] ppid=14628 vsize=6570564 CPUtime=1781.97 cores=1,3,5,7 /proc/14631/stat : 14631 (toysat) R 14628 14631 14417 0 -1 4202496 1767323 0 0 0 177446 751 0 0 20 0 4 0 118592354 6728257536 1584564 33554432000 4194304 16246674 140734065885728 140734065883584 5674768 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14631/statm: 1642641 1584564 925 2943 0 1639535 0 [pid=14631/tid=14632] ppid=14628 vsize=6570564 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14632/stat : 14632 (toysat) S 14628 14631 14417 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118592354 6728257536 1584564 33554432000 4194304 16246674 140734065885728 139963064626416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14631/tid=14633] ppid=14628 vsize=6570564 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14633/stat : 14633 (toysat) S 14628 14631 14417 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 118592354 6728257536 1584564 33554432000 4194304 16246674 140734065885728 139962984934640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14631/tid=14634] ppid=14628 vsize=6570564 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14634/stat : 14634 (toysat) S 14628 14631 14417 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118592354 6728257536 1584564 33554432000 4194304 16246674 140734065885728 139962974461104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.97 Current children cumulated vsize (KiB) 6570564 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.29 2.21 2.12 4/183 14729 /proc/meminfo: memFree=22787572/32872528 swapFree=17892/1720544 [pid=14631] ppid=14628 vsize=6611524 CPUtime=1800.07 cores=1,3,5,7 /proc/14631/stat : 14631 (toysat) R 14628 14631 14417 0 -1 4202496 1777568 0 0 0 179247 760 0 0 20 0 4 0 118592354 6770200576 1594808 33554432000 4194304 16246674 140734065885728 140734065867648 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14631/statm: 1652881 1594808 925 2943 0 1649775 0 [pid=14631/tid=14632] ppid=14628 vsize=6611524 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14632/stat : 14632 (toysat) S 14628 14631 14417 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118592354 6770200576 1594808 33554432000 4194304 16246674 140734065885728 139963064626416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14631/tid=14633] ppid=14628 vsize=6611524 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14633/stat : 14633 (toysat) S 14628 14631 14417 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 118592354 6770200576 1594808 33554432000 4194304 16246674 140734065885728 139962984934640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14631/tid=14634] ppid=14628 vsize=6611524 CPUtime=0 cores=1,3,5,7 /proc/14631/task/14634/stat : 14634 (toysat) S 14628 14631 14417 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118592354 6770200576 1594808 33554432000 4194304 16246674 140734065885728 139962974461104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 6611524 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 14631 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 2.29 2.21 2.12 4/183 14729 /proc/meminfo: memFree=22787572/32872528 swapFree=17892/1720544 [pid=14631] ppid=14628 vsize=0 CPUtime=1800.26 cores=1,3,5,7 /proc/14631/stat : 14631 (toysat) Z 14628 14631 14417 0 -1 4203532 1777568 0 0 0 179248 778 0 0 20 0 2 0 118592354 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14631/statm: 0 0 0 0 0 0 0 [pid=14631/tid=14633] ppid=14628 vsize=0 CPUtime=0.18 cores=1,3,5,7 /proc/14631/task/14633/stat : 14633 (toysat) R 14628 14631 14417 0 -1 4203588 7 0 0 0 0 18 0 0 20 0 2 0 118592354 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.67 CPU time (s): 1800.34 CPU user time (s): 1792.48 CPU system time (s): 7.85881 CPU usage (%): 99.9818 Max. virtual memory (cumulated for all children) (KiB): 6611524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.48 system time used= 7.85881 maximum resident set size= 6379232 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1777568 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= 537 involuntary context switches= 1809 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.06623 second user time and 6.89195 second system time The end
Begin job on node117 at 2016-06-08 08:16:32 IDJOB=4079013 IDBENCH=92809 IDSOLVER=2542 FILE ID=node117/4079013-1465366589 RUNJOBID= node117-1465364784-14434 PBS_JOBID= 19853424 Free space on /tmp= 71560 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb1-0.20-13.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079013-1465366589/watcher-4079013-1465366589 -o /tmp/evaluation-result-4079013-1465366589/solver-4079013-1465366589 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465364784-14434 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079013-1465366589.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 33fd175b84968779bfb4b5b76f997c8b RANDOM SEED=2106229597 node117.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 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.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 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: 28908244 kB Buffers: 131768 kB Cached: 499160 kB SwapCached: 29232 kB Active: 1127032 kB Inactive: 363876 kB Active(anon): 831584 kB Inactive(anon): 30560 kB Active(file): 295448 kB Inactive(file): 333316 kB Unevictable: 1720544 kB Mlocked: 17892 kB SwapTotal: 67108856 kB SwapFree: 67071220 kB Dirty: 172476 kB Writeback: 0 kB AnonPages: 2529948 kB Mapped: 10376 kB Shmem: 0 kB Slab: 612776 kB SReclaimable: 56116 kB SUnreclaim: 556660 kB KernelStack: 1464 kB PageTables: 9688 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3017940 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1734656 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= 71484 MiB End job on node117 at 2016-06-08 08:46:33