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.03 | 1800.51 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-sporttournament12.opb |
| MD5SUM | daed638eb03cf5c724fb58df446cf947 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -34 |
| Best CPU time to get the best result obtained on this benchmark | 546.057 |
| 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 | 0 |
| Total number of constraints | 0 |
| Number of constraints which are clauses | 0 |
| 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 | 0 |
| Number of terms in the objective function | 166 |
| Biggest coefficient in the objective function | 2 |
| Number of bits for the biggest coefficient in the objective function | 2 |
| Sum of the numbers in the objective function | 178 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 178 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 120 |
| Sum of products size (including duplicates) | 240 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-30T06:26:34+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4119488-1467260794.opb"] 0.00/0.01 c use --random-gen="771011952 4096392206 3394714295 1737926554 92116451 4179815556 2862478009 2065783278 3046963794 4243771429 667135349 1069424444 118302456 3971447080 2710968755 2091360862 1356478243 3113503340 342502761 3993666492 2916139016 2377211927 3628541453 394344364 3523663230 806267011 1960826628 2067166627 3107420008 1499547562 4224926396 2863434448 2524566128 704354363 3566107591 4140238201 4011009057 4251287192 1326457468 2056999924 1590052982 457190179 260950448 2261731980 2388227494 1132585797 306896269 548193094 4153764542 3569968809 465994601 2538059141 2142851115 3329957748 3043459562 2513223237 670750881 245926158 154052586 62523556 1994977583 2090911952 2336256181 3625752817 4129922402 3765600681 2025242499 4137299453 1387100893 1449699723 3967711791 1884917284 2896734869 2967553571 3384832670 3998175673 3318405346 429366822 895930198 388681619 981983441 1071878651 503303410 2321487760 2632938412 1205402583 4251518852 73859643 736238798 1182360263 2871318519 3006053406 1169937923 899067502 1468850893 431290952 1326481465 3177636241 3430401561 1338809494 2840908187 233570801 3254031871 1776737934 512645074 635690153 3675461660 3560658297 612687177 3443437435 1602089472 3766806191 1628428749 737581460 1194134105 2523817001 329020399 2189494994 1849804027 3507447129 2743580365 2469017686 2573302789 1315960883 690593087 4030965135 570351643 2744958205 655988096 1197386348 4047452594 4242640600 3437846516 2589501258 553274967 2326213584 1464990064 206268752 3760668531 1911495494 895400907 3503292199 4042182630 451407590 2692033719 1421401968 2270539366 878349355 2932465848 2547702881 1697554262 4161417345 430412647 637904358 3570866942 3297517076 4040422336 1966708314 3227746761 901598424 4006736162 2034943117 4122866906 266945101 4082017268 307947116 3489383122 1047110224 2901343240 3041062953 2340840114 1312892198 953839534 3277634800 3542061986 3690293433 1791894892 3471463094 4061297237 2606008447 3204686298 2015821036 1756717131 1580431090 947651089 2867550501 1130944628 3557718067 2977631799 3641669027 458976648 680651712 702996276 2243666715 3379829958 23103028 125380451 3036699109 79328610 3800634533 3714837479 3247017096 2929892982 1496910659 2083316429 176225195 3230492798 2365005553 3821610239 4276403698 1337996883 3016522826 2338645480 1515442034 3396321181 433687093 853874328 680339789 1804536854 3889253165 1930078910 899468972 1364968853 361743024 1193333927 1825500189 1973747409 1749205298 2874107871 3426663607 623415535 1340705033 3197462473 2604305001 1709555536 892402592 407774547 3383615618 232961809 1791208592 597675454 1257010118 2377246667 3535220631 3252239891 4254407565 689171925 2940106433 630984608 538739211 3334648446 1925401434 1519588196 488056802 87405960 567375410 255 362436" option to reproduce the execution 0.00/0.01 c #vars 66 0.00/0.01 c #constraints 0 0.00/0.01 c BCD2: Hardening is enabled. 0.00/0.01 c BCD2: BiasedSearch is enabled. 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 114 0 | 0 | 0 0.00/0.01 c 0.0s | 0 | 125 | 0 | 114 0 | 0 | 0 0.00/0.01 c #cpu_time = 0.001s 0.00/0.01 c #wall_clock_time = 0.001s 0.00/0.01 c #decision = 125 0.00/0.01 c #random_decision = 0 0.00/0.01 c #conflict = 0 0.00/0.01 c #restart = 0 0.00/0.01 o 0 0.00/0.01 c BCD2: updating upper bound: 178 -> 88 0.00/0.01 c BCD2: 0 <= obj <= 88 0.00/0.01 c BCD2: #cores=0, #unrelaxed=166, #relaxed=0, #hardened=0 0.00/0.01 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 114 0 | 0 | 0 0.00/0.01 c 0.0s | 0 | 92 | 0 | 114 0 | 0 | 0 0.00/0.01 c #cpu_time = 0.000s 0.00/0.01 c #wall_clock_time = 0.000s 0.00/0.01 c #decision = 92 0.00/0.01 c #random_decision = 0 0.00/0.01 c #conflict = 0 0.00/0.01 c #restart = 0 0.00/0.01 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.01 c lower bound updated to -88 0.00/0.01 c BCD2: 1 <= obj <= 88 0.00/0.01 c BCD2: #cores=1, #unrelaxed=163, #relaxed=3, #hardened=0 0.00/0.01 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 114 0 | 0 | 1 0.00/0.01 c 0.0s | 0 | 93 | 0 | 114 0 | 0 | 1 0.00/0.01 c #cpu_time = 0.000s 0.00/0.01 c #wall_clock_time = 0.000s 0.00/0.01 c #decision = 93 0.00/0.01 c #random_decision = 0 0.00/0.01 c #conflict = 0 0.00/0.01 c #restart = 0 0.00/0.01 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.01 c lower bound updated to -87 0.00/0.01 c BCD2: 2 <= obj <= 88 0.00/0.01 c BCD2: #cores=2, #unrelaxed=160, #relaxed=6, #hardened=0 0.00/0.01 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 114 0 | 0 | 2 0.00/0.01 c 0.0s | 0 | 92 | 0 | 114 0 | 0 | 2 0.00/0.01 c #cpu_time = 0.000s 0.00/0.01 c #wall_clock_time = 0.000s 0.00/0.01 c #decision = 92 0.00/0.01 c #random_decision = 0 0.00/0.01 c #conflict = 0 0.00/0.01 c #restart = 0 0.00/0.01 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.01 c lower bound updated to -86 0.00/0.02 c BCD2: 3 <= obj <= 88 0.00/0.02 c BCD2: #cores=3, #unrelaxed=157, #relaxed=9, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 114 0 | 0 | 3 0.00/0.02 c 0.0s | 0 | 91 | 0 | 114 0 | 0 | 3 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 91 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=2 0.00/0.02 c lower bound updated to -85 0.00/0.02 c BCD2: 4 <= obj <= 88 0.00/0.02 c BCD2: #cores=3, #unrelaxed=155, #relaxed=11, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=5 bias=5/6 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 114 0 | 1 | 3 0.00/0.02 c 0.0s | 0 | 91 | 0 | 114 0 | 1 | 4 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 91 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.02 c lower bound updated to -84 0.00/0.02 c BCD2: 5 <= obj <= 88 0.00/0.02 c BCD2: #cores=4, #unrelaxed=152, #relaxed=14, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=6 bias=6/7 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 114 0 | 1 | 5 0.00/0.02 c 0.0s | 0 | 90 | 0 | 114 0 | 1 | 5 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 90 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=2 0.00/0.02 c lower bound updated to -83 0.00/0.02 c BCD2: 6 <= obj <= 88 0.00/0.02 c BCD2: #cores=4, #unrelaxed=150, #relaxed=16, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=7 bias=7/8 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 114 0 | 2 | 5 0.00/0.02 c 0.0s | 0 | 90 | 0 | 114 0 | 2 | 6 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 90 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.02 c lower bound updated to -82 0.00/0.02 c BCD2: 7 <= obj <= 88 0.00/0.02 c BCD2: #cores=5, #unrelaxed=147, #relaxed=19, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=8 bias=8/9 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 114 0 | 2 | 7 0.00/0.02 c 0.0s | 0 | 88 | 0 | 114 0 | 2 | 7 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 88 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=2 0.00/0.02 c lower bound updated to -81 0.00/0.02 c BCD2: 8 <= obj <= 88 0.00/0.02 c BCD2: #cores=5, #unrelaxed=145, #relaxed=21, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=9 bias=9/10 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 114 0 | 3 | 7 0.00/0.02 c 0.0s | 0 | 89 | 0 | 114 0 | 3 | 8 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 89 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.02 c lower bound updated to -80 0.00/0.02 c BCD2: 9 <= obj <= 88 0.00/0.02 c BCD2: #cores=6, #unrelaxed=142, #relaxed=24, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=10 bias=10/11 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 114 0 | 3 | 9 0.00/0.02 c 0.0s | 0 | 87 | 0 | 114 0 | 3 | 9 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 87 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: relaxing 3 and merging with 2 cores into a new core of size 11: cost of the new core is >=4 0.00/0.02 c lower bound updated to -79 0.00/0.02 c BCD2: 10 <= obj <= 88 0.00/0.02 c BCD2: #cores=5, #unrelaxed=139, #relaxed=27, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=11 bias=11/12 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 114 0 | 5 | 9 0.00/0.02 c 0.0s | 0 | 86 | 0 | 114 0 | 5 | 11 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 86 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 7: cost of the new core is >=2 0.00/0.02 c lower bound updated to -78 0.00/0.02 c BCD2: 11 <= obj <= 88 0.00/0.02 c BCD2: #cores=5, #unrelaxed=135, #relaxed=31, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=12 bias=12/13 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 114 0 | 6 | 11 0.00/0.02 c 0.0s | 0 | 85 | 0 | 114 0 | 6 | 12 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 85 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.02 c lower bound updated to -77 0.00/0.02 c BCD2: 12 <= obj <= 88 0.00/0.02 c BCD2: #cores=6, #unrelaxed=132, #relaxed=34, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=13 bias=13/14 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 114 0 | 6 | 13 0.00/0.02 c 0.0s | 0 | 86 | 0 | 114 0 | 6 | 13 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 86 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.02 c lower bound updated to -76 0.00/0.02 c BCD2: 13 <= obj <= 88 0.00/0.02 c BCD2: #cores=7, #unrelaxed=129, #relaxed=37, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=14 bias=14/15 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 114 0 | 6 | 14 0.00/0.02 c 0.0s | 0 | 85 | 0 | 114 0 | 6 | 14 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 85 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=2 0.00/0.02 c lower bound updated to -75 0.00/0.02 c BCD2: 14 <= obj <= 88 0.00/0.02 c BCD2: #cores=7, #unrelaxed=127, #relaxed=39, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=15 bias=15/16 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 114 0 | 7 | 14 0.00/0.03 c 0.0s | 0 | 85 | 0 | 114 0 | 7 | 15 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 85 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.03 c lower bound updated to -74 0.00/0.03 c BCD2: 15 <= obj <= 88 0.00/0.03 c BCD2: #cores=8, #unrelaxed=124, #relaxed=42, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=16 bias=16/17 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 114 0 | 7 | 16 0.00/0.03 c 0.0s | 0 | 111 | 1 | 114 0 | 7 | 16 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 111 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 1 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: relaxing 3 and merging with 2 cores into a new core of size 17: cost of the new core is >=6 0.00/0.03 c lower bound updated to -73 0.00/0.03 c BCD2: 16 <= obj <= 88 0.00/0.03 c BCD2: #cores=7, #unrelaxed=121, #relaxed=45, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=17 bias=17/18 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 114 0 | 9 | 16 0.00/0.03 c 0.0s | 0 | 160 | 1 | 114 0 | 9 | 18 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 160 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 1 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 7: cost of the new core is >=3 0.00/0.03 c lower bound updated to -72 0.00/0.03 c BCD2: 17 <= obj <= 88 0.00/0.03 c BCD2: #cores=7, #unrelaxed=119, #relaxed=47, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=18 bias=18/19 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 114 0 | 10 | 18 0.00/0.03 c 0.0s | 0 | 81 | 0 | 114 0 | 10 | 19 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 81 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.03 c lower bound updated to -71 0.00/0.03 c BCD2: 18 <= obj <= 88 0.00/0.03 c BCD2: #cores=8, #unrelaxed=116, #relaxed=50, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=19 bias=19/20 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 114 0 | 10 | 20 0.00/0.03 c 0.0s | 0 | 80 | 0 | 114 0 | 10 | 20 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 80 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.03 c lower bound updated to -70 0.00/0.03 c BCD2: 19 <= obj <= 88 0.00/0.03 c BCD2: #cores=9, #unrelaxed=113, #relaxed=53, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=20 bias=20/21 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 114 0 | 10 | 21 0.00/0.03 c 0.0s | 0 | 79 | 0 | 114 0 | 10 | 21 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 79 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=2 0.00/0.03 c lower bound updated to -69 0.00/0.03 c BCD2: 20 <= obj <= 88 0.00/0.03 c BCD2: #cores=9, #unrelaxed=111, #relaxed=55, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=21 bias=21/22 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 114 0 | 11 | 21 0.00/0.03 c 0.0s | 0 | 79 | 1 | 114 0 | 11 | 22 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 79 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 1 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 23: cost of the new core is >=7 0.00/0.03 c lower bound updated to -68 0.00/0.03 c BCD2: 21 <= obj <= 88 0.00/0.03 c BCD2: #cores=9, #unrelaxed=105, #relaxed=61, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=22 bias=22/23 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 114 0 | 12 | 22 0.00/0.03 c 0.0s | 0 | 74 | 0 | 114 0 | 12 | 23 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 74 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.03 c lower bound updated to -67 0.00/0.03 c BCD2: 22 <= obj <= 88 0.00/0.03 c BCD2: #cores=10, #unrelaxed=102, #relaxed=64, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=23 bias=23/24 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 114 0 | 12 | 24 0.00/0.03 c 0.0s | 0 | 75 | 0 | 114 0 | 12 | 24 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 75 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.03 c lower bound updated to -66 0.00/0.03 c BCD2: 23 <= obj <= 88 0.00/0.03 c BCD2: #cores=11, #unrelaxed=99, #relaxed=67, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=24 bias=24/25 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 114 0 | 12 | 25 0.00/0.03 c 0.0s | 0 | 76 | 1 | 114 0 | 12 | 25 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 76 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 1 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: relaxing 9 and merging with 5 cores into a new core of size 36: cost of the new core is >=11 0.00/0.03 c lower bound updated to -65 0.00/0.03 c BCD2: 24 <= obj <= 88 0.00/0.03 c BCD2: #cores=7, #unrelaxed=90, #relaxed=76, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=25 bias=25/26 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 114 0 | 17 | 25 0.00/0.04 c 0.0s | 0 | 64 | 1 | 114 0 | 17 | 30 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 64 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 1 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: relaxing 12 and merging with 4 cores into a new core of size 44: cost of the new core is >=11 0.00/0.04 c lower bound updated to -64 0.00/0.04 c BCD2: 25 <= obj <= 88 0.00/0.04 c BCD2: #cores=4, #unrelaxed=78, #relaxed=88, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=26 bias=26/27 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 114 0 | 21 | 30 0.00/0.04 c 0.0s | 0 | 51 | 0 | 114 0 | 21 | 34 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 51 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.04 c lower bound updated to -63 0.00/0.04 c BCD2: 26 <= obj <= 88 0.00/0.04 c BCD2: #cores=5, #unrelaxed=76, #relaxed=90, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=27 bias=27/28 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 114 0 | 21 | 35 0.00/0.04 c 0.0s | 0 | 51 | 0 | 114 0 | 21 | 35 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 51 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 5: cost of the new core is >=2 0.00/0.04 c lower bound updated to -62 0.00/0.04 c BCD2: 27 <= obj <= 88 0.00/0.04 c BCD2: #cores=5, #unrelaxed=73, #relaxed=93, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=28 bias=28/29 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 114 0 | 22 | 35 0.00/0.04 c 0.0s | 0 | 50 | 0 | 114 0 | 22 | 36 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 50 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.04 c lower bound updated to -61 0.00/0.04 c BCD2: 28 <= obj <= 88 0.00/0.04 c BCD2: #cores=6, #unrelaxed=71, #relaxed=95, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=29 bias=29/30 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 114 0 | 22 | 37 0.00/0.04 c 0.0s | 0 | 50 | 0 | 114 0 | 22 | 37 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 50 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.04 c lower bound updated to -60 0.00/0.04 c BCD2: 29 <= obj <= 88 0.00/0.04 c BCD2: #cores=7, #unrelaxed=68, #relaxed=98, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=30 bias=30/31 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 114 0 | 22 | 37 0.00/0.04 c 0.0s | 0 | 51 | 0 | 114 0 | 22 | 37 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 51 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.04 c lower bound updated to -59 0.00/0.04 c BCD2: 30 <= obj <= 88 0.00/0.04 c BCD2: #cores=8, #unrelaxed=65, #relaxed=101, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=31 bias=31/32 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 114 0 | 22 | 37 0.00/0.04 c 0.0s | 0 | 50 | 0 | 114 0 | 22 | 37 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 50 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.04 c lower bound updated to -58 0.00/0.04 c BCD2: 31 <= obj <= 88 0.00/0.04 c BCD2: #cores=9, #unrelaxed=62, #relaxed=104, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=32 bias=32/33 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 114 0 | 22 | 37 0.00/0.04 c 0.0s | 0 | 49 | 0 | 114 0 | 22 | 37 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 49 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.04 c lower bound updated to -57 0.00/0.04 c BCD2: 32 <= obj <= 88 0.00/0.04 c BCD2: #cores=10, #unrelaxed=60, #relaxed=106, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=33 bias=33/34 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 114 0 | 22 | 38 0.00/0.04 c 0.0s | 0 | 49 | 0 | 114 0 | 22 | 38 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 49 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 5: cost of the new core is >=2 0.00/0.04 c lower bound updated to -56 0.00/0.04 c BCD2: 33 <= obj <= 88 0.00/0.04 c BCD2: #cores=10, #unrelaxed=57, #relaxed=109, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=34 bias=34/35 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 114 0 | 23 | 38 0.00/0.04 c 0.0s | 0 | 48 | 1 | 114 0 | 23 | 39 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 48 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 1 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: relaxing 6 and merging with 5 cores into a new core of size 26: cost of the new core is >=9 0.00/0.04 c lower bound updated to -55 0.00/0.04 c BCD2: 34 <= obj <= 88 0.00/0.04 c BCD2: #cores=6, #unrelaxed=51, #relaxed=115, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=35 bias=35/36 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 114 0 | 28 | 39 0.00/0.04 c 0.0s | 0 | 40 | 0 | 114 0 | 28 | 44 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 40 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.04 c lower bound updated to -54 0.00/0.05 c BCD2: 35 <= obj <= 88 0.00/0.05 c BCD2: #cores=7, #unrelaxed=48, #relaxed=118, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=36 bias=36/37 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 114 0 | 28 | 44 0.00/0.05 c 0.0s | 0 | 39 | 0 | 114 0 | 28 | 44 0.00/0.05 c #cpu_time = 0.000s 0.00/0.05 c #wall_clock_time = 0.000s 0.00/0.05 c #decision = 39 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.05 c lower bound updated to -53 0.00/0.05 c BCD2: 36 <= obj <= 88 0.00/0.05 c BCD2: #cores=8, #unrelaxed=46, #relaxed=120, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=37 bias=37/38 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 114 0 | 28 | 45 0.00/0.05 c 0.0s | 0 | 40 | 0 | 114 0 | 28 | 45 0.00/0.05 c #cpu_time = 0.000s 0.00/0.05 c #wall_clock_time = 0.000s 0.00/0.05 c #decision = 40 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.05 c lower bound updated to -52 0.00/0.05 c BCD2: 37 <= obj <= 88 0.00/0.05 c BCD2: #cores=9, #unrelaxed=44, #relaxed=122, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=38 bias=38/39 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 114 0 | 28 | 46 0.00/0.05 c 0.0s | 0 | 40 | 0 | 114 0 | 28 | 46 0.00/0.05 c #cpu_time = 0.000s 0.00/0.05 c #wall_clock_time = 0.000s 0.00/0.05 c #decision = 40 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: relaxing 3 and merging with 2 cores into a new core of size 7: cost of the new core is >=3 0.00/0.05 c lower bound updated to -51 0.00/0.05 c BCD2: 38 <= obj <= 88 0.00/0.05 c BCD2: #cores=8, #unrelaxed=41, #relaxed=125, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=39 bias=39/40 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 114 0 | 30 | 46 0.00/0.05 c 0.0s | 0 | 37 | 0 | 114 0 | 30 | 48 0.00/0.05 c #cpu_time = 0.000s 0.00/0.05 c #wall_clock_time = 0.000s 0.00/0.05 c #decision = 37 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 6: cost of the new core is >=2 0.00/0.05 c lower bound updated to -50 0.00/0.05 c BCD2: 39 <= obj <= 88 0.00/0.05 c BCD2: #cores=8, #unrelaxed=38, #relaxed=128, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=40 bias=40/41 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 114 0 | 31 | 48 0.00/0.05 c 0.0s | 0 | 37 | 0 | 114 0 | 31 | 49 0.00/0.05 c #cpu_time = 0.000s 0.00/0.05 c #wall_clock_time = 0.000s 0.00/0.05 c #decision = 37 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.05 c lower bound updated to -49 0.00/0.05 c BCD2: 40 <= obj <= 88 0.00/0.05 c BCD2: #cores=9, #unrelaxed=35, #relaxed=131, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=41 bias=41/42 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 114 0 | 31 | 49 0.00/0.05 c 0.0s | 0 | 38 | 0 | 114 0 | 31 | 49 0.00/0.05 c #cpu_time = 0.000s 0.00/0.05 c #wall_clock_time = 0.000s 0.00/0.05 c #decision = 38 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.05 c lower bound updated to -48 0.00/0.05 c BCD2: 41 <= obj <= 88 0.00/0.05 c BCD2: #cores=10, #unrelaxed=32, #relaxed=134, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=42 bias=42/43 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 114 0 | 31 | 49 0.00/0.05 c 0.0s | 0 | 39 | 0 | 114 0 | 31 | 49 0.00/0.05 c #cpu_time = 0.000s 0.00/0.05 c #wall_clock_time = 0.000s 0.00/0.05 c #decision = 39 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.05 c lower bound updated to -47 0.00/0.05 c BCD2: 42 <= obj <= 88 0.00/0.05 c BCD2: #cores=11, #unrelaxed=29, #relaxed=137, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=43 bias=43/44 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 114 0 | 31 | 49 0.00/0.05 c 0.0s | 0 | 92 | 19 | 114 0 | 31 | 49 0.00/0.05 c #cpu_time = 0.002s 0.00/0.05 c #wall_clock_time = 0.002s 0.00/0.05 c #decision = 92 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 19 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: relaxing 11 and merging with 5 cores into a new core of size 52: cost of the new core is >=15 0.00/0.05 c lower bound updated to -46 0.00/0.05 c BCD2: 43 <= obj <= 88 0.00/0.05 c BCD2: #cores=7, #unrelaxed=18, #relaxed=148, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=44 bias=44/45 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 114 0 | 36 | 49 0.00/0.06 c 0.0s | 0 | 152 | 5 | 114 0 | 36 | 54 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 152 0.00/0.06 c #random_decision = 1 0.00/0.06 c #conflict = 5 0.00/0.06 c #restart = 0 0.00/0.06 o -24 0.00/0.06 c BCD2: updating upper bound: 88 -> 64 0.00/0.06 c BCD2: 43 <= obj <= 64 0.00/0.06 c BCD2: #cores=7, #unrelaxed=18, #relaxed=148, #hardened=0 0.00/0.06 c BCD2: #sat=2 #unsat=44 bias=44/46 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 114 0 | 36 | 55 0.00/0.08 c 0.0s | 0 | 190 | 94 | 126 0 | 36 | 55 0.00/0.08 c #cpu_time = 0.020s 0.00/0.08 c #wall_clock_time = 0.020s 0.00/0.08 c #decision = 190 0.00/0.08 c #random_decision = 1 0.00/0.08 c #conflict = 94 0.00/0.08 c #restart = 0 0.00/0.08 o -28 0.00/0.08 c BCD2: updating upper bound: 64 -> 60 0.00/0.08 c BCD2: 43 <= obj <= 60 0.00/0.08 c BCD2: #cores=7, #unrelaxed=18, #relaxed=148, #hardened=0 0.00/0.08 c BCD2: #sat=3 #unsat=44 bias=44/47 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 126 0 | 36 | 56 0.00/0.09 c 0.0s | 1 | 238 | 100 | 126 0 | 36 | 56 0.09/0.11 c 0.0s | 2 | 506 | 250 | 139 2 | 36 | 56 0.09/0.13 c 0.0s | 3 | 880 | 475 | 153 3 | 36 | 56 0.09/0.17 c 0.1s | 4 | 1382 | 813 | 169 6 | 36 | 56 0.18/0.23 c 0.2s | 5 | 2145 | 1320 | 186 10 | 36 | 56 0.29/0.34 c 0.3s | 6 | 3279 | 2081 | 205 14 | 36 | 56 0.49/0.50 c 0.4s | 7 | 4907 | 3223 | 226 22 | 36 | 56 0.68/0.74 c 0.7s | 8 | 7382 | 4936 | 249 32 | 36 | 56 1.10/1.14 c 1.1s | 9 | 11107 | 7506 | 274 45 | 36 | 56 1.48/1.58 c 1.5s | 10 | 17248 | 11361 | 302 64 | 36 | 56 1.68/1.75 c 1.7s | 10 | 19715 | 12963 | 302 71 | 36 | 56 1.68/1.75 c #cpu_time = 1.672s 1.68/1.75 c #wall_clock_time = 1.672s 1.68/1.75 c #decision = 19715 1.68/1.75 c #random_decision = 72 1.68/1.75 c #conflict = 12963 1.68/1.75 c #restart = 10 1.68/1.75 o -30 1.68/1.75 c BCD2: updating upper bound: 60 -> 58 1.68/1.75 c BCD2: 43 <= obj <= 58 1.68/1.75 c BCD2: #cores=7, #unrelaxed=18, #relaxed=148, #hardened=0 1.68/1.75 c BCD2: #sat=4 #unsat=44 bias=44/48 1.68/1.75 c Solving starts ... 1.68/1.75 c ============================[ Search Statistics ]============================ 1.68/1.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.68/1.75 c | | | | Limit GC | Var | Constra 1.68/1.75 c ============================================================================= 1.68/1.75 c 0.0s | 0 | 0 | 0 | 302 0 | 36 | 57 1.68/1.76 c 0.0s | 1 | 201 | 100 | 302 1 | 36 | 57 1.68/1.77 c 0.0s | 2 | 453 | 250 | 302 2 | 36 | 57 1.78/1.80 c 0.0s | 3 | 895 | 475 | 302 3 | 36 | 57 1.78/1.83 c 0.1s | 4 | 1436 | 813 | 302 5 | 36 | 57 1.78/1.88 c 0.1s | 5 | 2139 | 1320 | 302 7 | 36 | 57 1.88/1.95 c 0.2s | 6 | 3181 | 2081 | 302 11 | 36 | 57 1.98/2.08 c 0.3s | 7 | 4676 | 3223 | 302 17 | 36 | 57 2.19/2.26 c 0.5s | 8 | 7042 | 4936 | 333 25 | 36 | 57 2.49/2.51 c 0.8s | 9 | 10601 | 7506 | 333 37 | 36 | 57 2.79/2.87 c 1.1s | 10 | 15945 | 11361 | 333 55 | 36 | 57 3.09/3.46 c 1.7s | 11 | 24433 | 17144 | 367 81 | 36 | 57 4.38/4.49 c 2.7s | 12 | 36597 | 25819 | 404 117 | 36 | 57 5.89/5.95 c 4.2s | 13 | 54477 | 38832 | 404 168 | 36 | 57 7.89/7.97 c 6.2s | 13 | 82064 | 58032 | 445 240 | 36 | 57 7.89/8.00 c 6.2s | 14 | 82569 | 58352 | 445 242 | 36 | 57 9.98/10.00 c 8.2s | 14 | 110296 | 78352 | 490 314 | 36 | 57 10.98/11.01 c 9.3s | 15 | 123380 | 87632 | 490 345 | 36 | 57 12.98/13.01 c 11.3s | 15 | 150237 | 106132 | 490 408 | 36 | 57 14.98/15.03 c 13.3s | 15 | 177694 | 124432 | 539 468 | 36 | 57 15.69/15.80 c 14.0s | 16 | 188469 | 131552 | 539 490 | 36 | 57 17.68/17.80 c 16.0s | 16 | 215154 | 149652 | 539 546 | 36 | 57 19.78/19.80 c 18.1s | 16 | 241200 | 167052 | 539 600 | 36 | 57 21.78/21.82 c 20.1s | 16 | 265577 | 183752 | 593 650 | 36 | 57 23.48/23.50 c 21.8s | 17 | 285274 | 197432 | 593 689 | 36 | 57 25.49/25.51 c 23.8s | 17 | 311542 | 216332 | 593 743 | 36 | 57 27.49/27.52 c 25.8s | 17 | 336072 | 233432 | 593 792 | 36 | 57 29.49/29.52 c 27.8s | 17 | 358928 | 249732 | 593 838 | 36 | 57 31.49/31.52 c 29.8s | 17 | 381126 | 266232 | 593 885 | 36 | 57 33.48/33.53 c 31.8s | 17 | 405997 | 283632 | 653 933 | 36 | 57 34.98/35.05 c 33.3s | 18 | 424619 | 296252 | 653 967 | 36 | 57 36.98/37.05 c 35.3s | 18 | 449049 | 313252 | 653 1011 | 36 | 57 38.98/39.06 c 37.3s | 18 | 471445 | 328552 | 653 1052 | 36 | 57 40.99/41.07 c 39.3s | 18 | 493532 | 344252 | 653 1093 | 36 | 57 42.98/43.08 c 41.3s | 18 | 517525 | 361152 | 653 1138 | 36 | 57 44.98/45.08 c 43.3s | 18 | 540664 | 377352 | 653 1180 | 36 | 57 46.98/47.09 c 45.3s | 18 | 566103 | 394352 | 653 1225 | 36 | 57 49.08/49.10 c 47.3s | 18 | 590115 | 410652 | 653 1268 | 36 | 57 51.08/51.10 c 49.3s | 18 | 614903 | 427652 | 653 1313 | 36 | 57 52.98/53.00 c 51.3s | 19 | 641061 | 444482 | 719 1354 | 36 | 57 54.98/55.00 c 53.3s | 19 | 664312 | 461182 | 719 1393 | 36 | 57 56.98/57.00 c 55.3s | 19 | 688374 | 478082 | 719 1433 | 36 | 57 58.98/59.01 c 57.3s | 19 | 711790 | 494182 | 719 1471 | 36 | 57 60.98/61.01 c 59.3s | 19 | 736614 | 510782 | 719 1511 | 36 | 57 62.98/63.03 c 61.3s | 19 | 762137 | 528282 | 719 1552 | 36 | 57 64.97/65.03 c 63.3s | 19 | 787199 | 545082 | 719 1593 | 36 | 57 66.97/67.03 c 65.3s | 19 | 810414 | 560682 | 719 1630 | 36 | 57 68.97/69.03 c 67.3s | 19 | 834008 | 575982 | 719 1667 | 36 | 57 69.38/69.44 c 67.7s | 19 | 838619 | 579140 | 719 1674 | 36 | 57 69.38/69.44 c #cpu_time = 67.682s 69.38/69.44 c #wall_clock_time = 67.683s 69.38/69.44 c #decision = 838619 69.38/69.44 c #random_decision = 3199 69.38/69.44 c #conflict = 579140 69.38/69.44 c #restart = 19 69.38/69.44 o -32 69.38/69.44 c BCD2: updating upper bound: 58 -> 56 69.38/69.44 c BCD2: 43 <= obj <= 56 69.38/69.44 c BCD2: #cores=7, #unrelaxed=18, #relaxed=148, #hardened=0 69.38/69.44 c BCD2: #sat=5 #unsat=44 bias=44/49 69.38/69.44 c Solving starts ... 69.38/69.44 c ============================[ Search Statistics ]============================ 69.38/69.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 69.38/69.44 c | | | | Limit GC | Var | Constra 69.38/69.44 c ============================================================================= 69.38/69.44 c 0.0s | 0 | 0 | 0 | 719 0 | 36 | 58 69.38/69.45 c 0.0s | 1 | 199 | 100 | 719 1 | 36 | 58 69.38/69.47 c 0.0s | 2 | 444 | 250 | 719 1 | 36 | 58 69.38/69.49 c 0.1s | 3 | 821 | 475 | 719 2 | 36 | 58 69.49/69.53 c 0.1s | 4 | 1300 | 813 | 719 2 | 36 | 58 69.49/69.57 c 0.1s | 5 | 1999 | 1320 | 719 4 | 36 | 58 69.59/69.66 c 0.2s | 6 | 3122 | 2081 | 719 6 | 36 | 58 69.68/69.77 c 0.3s | 7 | 4876 | 3223 | 719 8 | 36 | 58 69.88/69.95 c 0.5s | 8 | 7216 | 4936 | 719 13 | 36 | 58 70.18/70.22 c 0.8s | 9 | 11029 | 7506 | 719 19 | 36 | 58 70.59/70.64 c 1.2s | 10 | 16962 | 11361 | 719 28 | 36 | 58 71.18/71.24 c 1.8s | 11 | 25603 | 17144 | 719 42 | 36 | 58 72.08/72.17 c 2.7s | 12 | 38161 | 25819 | 719 64 | 36 | 58 73.58/73.60 c 4.2s | 13 | 56995 | 38832 | 719 95 | 36 | 58 75.58/75.61 c 6.2s | 13 | 82898 | 57132 | 719 140 | 36 | 58 75.68/75.74 c 6.3s | 14 | 84607 | 58352 | 719 143 | 36 | 58 77.68/77.75 c 8.3s | 14 | 111215 | 76252 | 791 185 | 36 | 58 78.98/79.04 c 9.6s | 15 | 127782 | 87632 | 791 211 | 36 | 58 80.98/81.05 c 11.6s | 15 | 154365 | 105732 | 791 251 | 36 | 58 82.98/83.05 c 13.6s | 15 | 179134 | 123032 | 791 290 | 36 | 58 83.98/84.09 c 14.6s | 16 | 191983 | 131552 | 791 309 | 36 | 58 85.98/86.09 c 16.7s | 16 | 219300 | 149352 | 791 348 | 36 | 58 87.98/88.09 c 18.7s | 16 | 245137 | 167552 | 791 389 | 36 | 58 90.08/90.10 c 20.7s | 16 | 269821 | 184552 | 791 427 | 36 | 58 91.48/91.57 c 22.1s | 17 | 289272 | 197432 | 791 456 | 36 | 58 93.47/93.57 c 24.1s | 17 | 315600 | 214932 | 791 495 | 36 | 58 95.47/95.58 c 26.1s | 17 | 338740 | 231032 | 791 530 | 36 | 58 97.47/97.58 c 28.1s | 17 | 363771 | 247532 | 791 567 | 36 | 58 99.47/99.58 c 30.1s | 17 | 389343 | 264232 | 791 604 | 36 | 58 101.48/101.59 c 32.1s | 17 | 414741 | 280932 | 791 642 | 36 | 58 103.37/103.44 c 34.0s | 18 | 436983 | 296252 | 791 676 | 36 | 58 105.37/105.45 c 36.0s | 18 | 462636 | 313352 | 791 714 | 36 | 58 107.37/107.46 c 38.0s | 18 | 486875 | 329752 | 791 751 | 36 | 58 109.37/109.47 c 40.0s | 18 | 510935 | 346152 | 791 788 | 36 | 58 111.38/111.47 c 42.0s | 18 | 535366 | 363252 | 791 826 | 36 | 58 113.37/113.48 c 44.0s | 18 | 559595 | 379952 | 791 863 | 36 | 58 115.37/115.48 c 46.0s | 18 | 583167 | 396052 | 791 899 | 36 | 58 117.37/117.49 c 48.1s | 18 | 606574 | 412352 | 871 933 | 36 | 58 117.97/118.05 c 48.6s | 18 | 613096 | 416692 | 871 942 | 36 | 58 117.97/118.05 c #cpu_time = 48.610s 117.97/118.05 c #wall_clock_time = 48.611s 117.97/118.05 c #decision = 613096 117.97/118.05 c #random_decision = 2145 117.97/118.05 c #conflict = 416692 117.97/118.05 c #restart = 18 117.97/118.05 c BCD2: relaxing 11 and merging with 5 cores into a new core of size 112: cost of the new core is >=32 117.97/118.05 c lower bound updated to -45 117.97/118.05 c BCD2: 44 <= obj <= 56 117.97/118.05 c BCD2: #cores=3, #unrelaxed=7, #relaxed=159, #hardened=0 117.97/118.05 c BCD2: #sat=5 #unsat=45 bias=45/50 117.97/118.05 c Solving starts ... 117.97/118.05 c ============================[ Search Statistics ]============================ 117.97/118.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 117.97/118.05 c | | | | Limit GC | Var | Constra 117.97/118.05 c ============================================================================= 117.97/118.05 c 0.0s | 0 | 0 | 0 | 871 0 | 49 | 58 117.97/118.07 c 0.0s | 1 | 205 | 100 | 871 0 | 49 | 79 117.97/118.08 c 0.0s | 2 | 457 | 250 | 871 0 | 49 | 79 118.07/118.11 c 0.1s | 3 | 809 | 475 | 871 0 | 49 | 79 118.07/118.16 c 0.1s | 4 | 1314 | 813 | 871 0 | 49 | 79 118.17/118.24 c 0.2s | 5 | 2055 | 1320 | 871 1 | 49 | 79 118.27/118.35 c 0.3s | 6 | 3167 | 2081 | 871 3 | 49 | 79 118.47/118.51 c 0.5s | 7 | 4786 | 3223 | 871 5 | 49 | 79 118.67/118.75 c 0.7s | 8 | 7140 | 4936 | 871 9 | 49 | 79 119.07/119.11 c 1.1s | 9 | 10791 | 7506 | 871 14 | 49 | 79 119.57/119.65 c 1.6s | 10 | 15917 | 11361 | 871 22 | 49 | 79 120.46/120.53 c 2.5s | 11 | 23607 | 17144 | 871 34 | 49 | 79 121.67/121.80 c 3.7s | 12 | 36590 | 25819 | 871 52 | 49 | 79 123.67/123.77 c 5.7s | 13 | 55786 | 38832 | 871 79 | 49 | 79 125.68/125.78 c 7.7s | 13 | 75004 | 52532 | 871 107 | 49 | 79 126.57/126.64 c 8.6s | 14 | 82600 | 58352 | 871 119 | 49 | 79 128.57/128.65 c 10.6s | 14 | 101757 | 71952 | 871 147 | 49 | 79 130.57/130.66 c 12.6s | 14 | 120778 | 85552 | 871 175 | 49 | 79 130.87/130.97 c 12.9s | 15 | 124011 | 87632 | 871 180 | 49 | 79 132.87/132.98 c 14.9s | 15 | 145473 | 100932 | 871 207 | 49 | 79 134.97/135.00 c 16.9s | 15 | 165881 | 114232 | 871 235 | 49 | 79 136.97/137.00 c 18.9s | 15 | 187115 | 127332 | 871 262 | 49 | 79 137.57/137.64 c 19.6s | 16 | 193836 | 131552 | 871 271 | 49 | 79 139.57/139.65 c 21.6s | 16 | 214376 | 145152 | 871 299 | 49 | 79 141.57/141.66 c 23.6s | 16 | 235965 | 158952 | 871 327 | 49 | 79 143.56/143.66 c 25.6s | 16 | 257078 | 172652 | 871 356 | 49 | 79 145.56/145.66 c 27.6s | 16 | 277373 | 186152 | 871 384 | 49 | 79 147.26/147.30 c 29.2s | 17 | 294458 | 197432 | 871 407 | 49 | 79 149.26/149.31 c 31.3s | 17 | 316059 | 211632 | 871 436 | 49 | 79 151.26/151.32 c 33.3s | 17 | 337680 | 225732 | 871 466 | 49 | 79 153.26/153.33 c 35.3s | 17 | 358717 | 239632 | 871 494 | 49 | 79 155.28/155.34 c 37.3s | 17 | 378015 | 253532 | 871 523 | 49 | 79 157.27/157.34 c 39.3s | 17 | 398044 | 267432 | 871 552 | 49 | 79 159.27/159.35 c 41.3s | 17 | 419665 | 281632 | 871 581 | 49 | 79 161.27/161.35 c 43.3s | 17 | 440651 | 295532 | 871 610 | 49 | 79 161.37/161.47 c 43.4s | 18 | 441713 | 296252 | 871 612 | 49 | 79 163.37/163.48 c 45.4s | 18 | 463209 | 310952 | 871 642 | 49 | 79 165.37/165.49 c 47.4s | 18 | 485671 | 325752 | 871 673 | 49 | 79 167.37/167.49 c 49.4s | 18 | 506815 | 339752 | 871 702 | 49 | 79 169.46/169.50 c 51.4s | 18 | 526809 | 353952 | 871 731 | 49 | 79 171.46/171.50 c 53.4s | 18 | 548198 | 368252 | 871 761 | 49 | 79 173.46/173.51 c 55.5s | 18 | 570035 | 382652 | 871 791 | 49 | 79 175.46/175.51 c 57.5s | 18 | 589487 | 396052 | 871 818 | 49 | 79 177.46/177.52 c 59.5s | 18 | 609963 | 409852 | 871 847 | 49 | 79 179.46/179.52 c 61.5s | 18 | 630150 | 423852 | 871 876 | 49 | 79 181.46/181.53 c 63.5s | 18 | 650281 | 437952 | 871 905 | 49 | 79 182.36/182.40 c 64.3s | 19 | 659663 | 444482 | 871 919 | 49 | 79 184.36/184.40 c 66.4s | 19 | 681485 | 459382 | 871 950 | 49 | 79 186.35/186.41 c 68.4s | 19 | 705130 | 474282 | 871 981 | 49 | 79 188.37/188.41 c 70.4s | 19 | 725372 | 488782 | 959 1009 | 49 | 79 190.36/190.42 c 72.4s | 19 | 746917 | 503482 | 959 1037 | 49 | 79 192.36/192.42 c 74.4s | 19 | 769950 | 517582 | 959 1064 | 49 | 79 194.36/194.43 c 76.4s | 19 | 789688 | 531282 | 959 1090 | 49 | 79 196.36/196.44 c 78.4s | 19 | 809736 | 544882 | 959 1116 | 49 | 79 198.36/198.46 c 80.4s | 19 | 829541 | 559382 | 959 1143 | 49 | 79 200.37/200.47 c 82.4s | 19 | 850914 | 573982 | 959 1171 | 49 | 79 202.36/202.47 c 84.4s | 19 | 872768 | 588782 | 959 1199 | 49 | 79 204.36/204.48 c 86.4s | 19 | 893752 | 603482 | 959 1227 | 49 | 79 206.36/206.49 c 88.4s | 19 | 911996 | 617382 | 959 1253 | 49 | 79 208.46/208.50 c 90.4s | 19 | 932488 | 631282 | 959 1280 | 49 | 79 210.46/210.51 c 92.5s | 19 | 953688 | 645482 | 959 1307 | 49 | 79 212.46/212.52 c 94.5s | 19 | 975418 | 659182 | 959 1333 | 49 | 79 213.45/213.60 c 95.5s | 20 | 988025 | 666827 | 959 1347 | 49 | 79 215.55/215.61 c 97.6s | 20 | 1007293 | 680527 | 959 1373 | 49 | 79 217.55/217.62 c 99.6s | 20 | 1027498 | 694227 | 959 1399 | 49 | 79 219.55/219.63 c 101s | 20 | 1046949 | 707927 | 959 1425 | 49 | 79 221.55/221.63 c 103s | 20 | 1066729 | 722427 | 959 1453 | 49 | 79 223.56/223.65 c 105s | 20 | 1086994 | 736627 | 959 1480 | 49 | 79 225.55/225.66 c 107s | 20 | 1106262 | 750927 | 959 1507 | 49 | 79 227.55/227.67 c 109s | 20 | 1125343 | 764727 | 959 1533 | 49 | 79 229.55/229.67 c 111s | 20 | 1143776 | 777927 | 959 1558 | 49 | 79 231.55/231.68 c 113s | 20 | 1161744 | 791627 | 959 1584 | 49 | 79 233.56/233.69 c 115s | 20 | 1180621 | 805727 | 959 1611 | 49 | 79 235.56/235.69 c 117s | 20 | 1200220 | 819227 | 959 1636 | 49 | 79 237.65/237.71 c 119s | 20 | 1219249 | 833027 | 959 1663 | 49 | 79 239.65/239.71 c 121s | 20 | 1238772 | 847127 | 959 1689 | 49 | 79 241.65/241.71 c 123s | 20 | 1257144 | 860927 | 959 1716 | 49 | 79 243.65/243.72 c 125s | 20 | 1277126 | 874927 | 959 1742 | 49 | 79 245.65/245.73 c 127s | 20 | 1296674 | 888727 | 959 1768 | 49 | 79 247.66/247.73 c 129s | 20 | 1315690 | 902827 | 959 1795 | 49 | 79 249.65/249.74 c 131s | 20 | 1335054 | 916927 | 959 1822 | 49 | 79 251.65/251.75 c 133s | 20 | 1354139 | 930827 | 959 1848 | 49 | 79 253.65/253.75 c 135s | 20 | 1374136 | 944527 | 959 1874 | 49 | 79 255.65/255.76 c 137s | 20 | 1394106 | 958427 | 959 1901 | 49 | 79 257.66/257.77 c 139s | 20 | 1413817 | 971827 | 959 1926 | 49 | 79 259.65/259.78 c 141s | 20 | 1433009 | 985527 | 959 1952 | 49 | 79 261.65/261.79 c 143s | 20 | 1453027 | 999427 | 959 1979 | 49 | 79 261.85/261.92 c 143s | 21 | 1454320 | 1000345 | 959 1980 | 49 | 79 263.85/263.94 c 145s | 21 | 1473585 | 1014245 | 959 2007 | 49 | 79 265.85/265.95 c 147s | 21 | 1492266 | 1028045 | 959 2033 | 49 | 79 267.85/267.96 c 149s | 21 | 1514252 | 1042445 | 959 2060 | 49 | 79 269.85/269.97 c 151s | 21 | 1534805 | 1056745 | 959 2087 | 49 | 79 271.85/271.97 c 153s | 21 | 1554109 | 1070445 | 959 2113 | 49 | 79 273.84/273.98 c 155s | 21 | 1573713 | 1084145 | 959 2139 | 49 | 79 275.84/275.98 c 157s | 21 | 1593667 | 1097845 | 959 2165 | 49 | 79 277.84/277.99 c 159s | 21 | 1614263 | 1111945 | 959 2192 | 49 | 79 279.94/280.00 c 161s | 21 | 1634531 | 1125945 | 959 2219 | 49 | 79 281.94/282.01 c 163s | 21 | 1654837 | 1139945 | 959 2245 | 49 | 79 283.95/284.02 c 165s | 21 | 1675948 | 1154045 | 959 2272 | 49 | 79 285.94/286.02 c 167s | 21 | 1696720 | 1168245 | 959 2299 | 49 | 79 287.95/288.03 c 169s | 21 | 1717340 | 1182345 | 959 2326 | 49 | 79 289.95/290.03 c 171s | 21 | 1738094 | 1196445 | 959 2352 | 49 | 79 291.95/292.03 c 173s | 21 | 1759455 | 1210845 | 959 2380 | 49 | 79 293.95/294.04 c 175s | 21 | 1780478 | 1224945 | 959 2406 | 49 | 79 295.95/296.05 c 177s | 21 | 1801108 | 1238445 | 1055 2430 | 49 | 79 297.94/298.05 c 179s | 21 | 1820081 | 1251345 | 1055 2453 | 49 | 79 299.94/300.05 c 182s | 21 | 1838854 | 1264645 | 1055 2476 | 49 | 79 301.94/302.06 c 184s | 21 | 1856607 | 1278145 | 1055 2499 | 49 | 79 303.94/304.06 c 186s | 21 | 1874579 | 1291545 | 1055 2522 | 49 | 79 305.95/306.07 c 188s | 21 | 1893923 | 1305045 | 1055 2546 | 49 | 79 307.94/308.08 c 190s | 21 | 1912215 | 1318045 | 1055 2568 | 49 | 79 309.94/310.09 c 192s | 21 | 1930499 | 1330845 | 1055 2591 | 49 | 79 312.04/312.10 c 194s | 21 | 1948782 | 1344045 | 1055 2613 | 49 | 79 314.04/314.10 c 196s | 21 | 1967376 | 1357745 | 1055 2637 | 49 | 79 316.04/316.10 c 198s | 21 | 1986853 | 1371245 | 1055 2661 | 49 | 79 318.05/318.11 c 200s | 21 | 2005701 | 1384745 | 1055 2684 | 49 | 79 320.04/320.13 c 202s | 21 | 2024536 | 1398145 | 1055 2708 | 49 | 79 322.04/322.13 c 204s | 21 | 2042130 | 1411245 | 1055 2730 | 49 | 79 324.04/324.14 c 206s | 21 | 2060637 | 1424345 | 1055 2753 | 49 | 79 326.03/326.15 c 208s | 21 | 2079039 | 1437345 | 1055 2776 | 49 | 79 328.04/328.15 c 210s | 21 | 2097424 | 1450445 | 1055 2799 | 49 | 79 330.03/330.15 c 212s | 21 | 2116307 | 1463945 | 1055 2822 | 49 | 79 332.03/332.16 c 214s | 21 | 2134888 | 1477445 | 1055 2846 | 49 | 79 334.03/334.17 c 216s | 21 | 2153795 | 1490945 | 1055 2869 | 49 | 79 335.43/335.53 c 217s | 22 | 2167490 | 1500622 | 1055 2886 | 49 | 79 337.44/337.54 c 219s | 22 | 2189888 | 1515022 | 1055 2911 | 49 | 79 339.44/339.54 c 221s | 22 | 2213091 | 1529122 | 1055 2936 | 49 | 79 341.44/341.55 c 223s | 22 | 2235548 | 1543322 | 1055 2961 | 49 | 79 343.45/343.55 c 225s | 22 | 2257683 | 1557322 | 1055 2985 | 49 | 79 345.44/345.56 c 227s | 22 | 2277543 | 1571022 | 1055 3009 | 49 | 79 347.44/347.57 c 229s | 22 | 2298097 | 1585122 | 1055 3033 | 49 | 79 349.44/349.58 c 231s | 22 | 2318721 | 1598822 | 1055 3057 | 49 | 79 351.54/351.60 c 233s | 22 | 2338567 | 1612722 | 1055 3081 | 49 | 79 353.54/353.60 c 235s | 22 | 2361126 | 1627122 | 1055 3106 | 49 | 79 355.44/355.60 c 237s | 22 | 2383283 | 1641122 | 1055 3131 | 49 | 79 357.53/357.61 c 239s | 22 | 2404748 | 1655422 | 1055 3156 | 49 | 79 359.53/359.61 c 241s | 22 | 2426244 | 1669222 | 1055 3180 | 49 | 79 361.53/361.62 c 243s | 22 | 2446688 | 1683022 | 1055 3204 | 49 | 79 363.53/363.62 c 245s | 22 | 2466912 | 1696622 | 1055 3228 | 49 | 79 365.53/365.64 c 247s | 22 | 2486285 | 1710522 | 1055 3252 | 49 | 79 367.54/367.64 c 249s | 22 | 2506591 | 1724422 | 1055 3276 | 49 | 79 369.53/369.65 c 251s | 22 | 2525229 | 1738322 | 1055 3300 | 49 | 79 371.53/371.65 c 253s | 22 | 2545702 | 1752522 | 1055 3325 | 49 | 79 373.53/373.66 c 255s | 22 | 2565552 | 1766322 | 1055 3349 | 49 | 79 375.53/375.67 c 257s | 22 | 2586527 | 1780322 | 1055 3373 | 49 | 79 377.54/377.67 c 259s | 22 | 2604599 | 1793822 | 1055 3397 | 49 | 79 379.53/379.68 c 261s | 22 | 2624083 | 1807322 | 1055 3421 | 49 | 79 381.53/381.69 c 263s | 22 | 2644049 | 1821022 | 1055 3444 | 49 | 79 383.63/383.70 c 265s | 22 | 2664548 | 1834522 | 1055 3468 | 49 | 79 385.63/385.70 c 267s | 22 | 2686227 | 1847822 | 1055 3491 | 49 | 79 387.63/387.71 c 269s | 22 | 2707632 | 1862022 | 1055 3516 | 49 | 79 389.64/389.72 c 271s | 22 | 2728889 | 1876022 | 1055 3540 | 49 | 79 391.63/391.72 c 273s | 22 | 2748622 | 1889422 | 1055 3564 | 49 | 79 393.63/393.73 c 275s | 22 | 2768854 | 1903022 | 1055 3587 | 49 | 79 395.63/395.73 c 277s | 22 | 2789116 | 1916522 | 1055 3611 | 49 | 79 397.63/397.74 c 279s | 22 | 2808187 | 1930022 | 1055 3634 | 49 | 79 399.63/399.74 c 281s | 22 | 2828490 | 1943622 | 1055 3658 | 49 | 79 401.63/401.74 c 283s | 22 | 2847789 | 1957322 | 1055 3682 | 49 | 79 403.63/403.75 c 285s | 22 | 2867167 | 1971222 | 1055 3706 | 49 | 79 405.63/405.75 c 287s | 22 | 2886219 | 1985422 | 1055 3731 | 49 | 79 407.63/407.75 c 289s | 22 | 2906744 | 1999522 | 1055 3755 | 49 | 79 409.62/409.76 c 291s | 22 | 2926604 | 2013322 | 1055 3780 | 49 | 79 411.63/411.77 c 293s | 22 | 2945321 | 2026722 | 1055 3803 | 49 | 79 413.62/413.78 c 295s | 22 | 2964317 | 2040022 | 1055 3826 | 49 | 79 415.62/415.79 c 297s | 22 | 2981794 | 2052922 | 1055 3849 | 49 | 79 417.72/417.80 c 299s | 22 | 3003466 | 2066222 | 1055 3872 | 49 | 79 419.72/419.81 c 301s | 22 | 3023107 | 2079622 | 1055 3895 | 49 | 79 421.72/421.81 c 303s | 22 | 3042613 | 2092922 | 1055 3918 | 49 | 79 423.73/423.82 c 305s | 22 | 3061324 | 2106622 | 1055 3942 | 49 | 79 425.72/425.83 c 307s | 22 | 3079829 | 2120122 | 1055 3966 | 49 | 79 427.72/427.84 c 309s | 22 | 3098068 | 2133522 | 1055 3989 | 49 | 79 429.72/429.85 c 311s | 22 | 3116662 | 2146722 | 1055 4012 | 49 | 79 431.72/431.85 c 313s | 22 | 3136501 | 2160522 | 1055 4036 | 49 | 79 433.72/433.85 c 315s | 22 | 3156146 | 2174322 | 1055 4060 | 49 | 79 435.72/435.86 c 317s | 22 | 3175159 | 2187922 | 1055 4084 | 49 | 79 437.72/437.87 c 319s | 22 | 3194251 | 2201522 | 1055 4108 | 49 | 79 439.73/439.87 c 321s | 22 | 3213612 | 2215222 | 1055 4131 | 49 | 79 441.72/441.89 c 323s | 22 | 3233746 | 2229222 | 1055 4156 | 49 | 79 443.72/443.89 c 325s | 22 | 3254060 | 2243322 | 1055 4180 | 49 | 79 444.83/444.99 c 326s | 23 | 3265272 | 2251038 | 1055 4194 | 49 | 79 446.83/446.99 c 328s | 23 | 3288869 | 2264838 | 1055 4218 | 49 | 79 448.82/449.00 c 330s | 23 | 3312370 | 2279038 | 1055 4242 | 49 | 79 450.92/451.00 c 332s | 23 | 3333196 | 2292938 | 1055 4267 | 49 | 79 452.92/453.00 c 334s | 23 | 3353188 | 2306538 | 1055 4290 | 49 | 79 454.92/455.01 c 336s | 23 | 3375250 | 2320438 | 1055 4314 | 49 | 79 456.92/457.02 c 338s | 23 | 3395662 | 2333938 | 1055 4338 | 49 | 79 458.93/459.02 c 340s | 23 | 3415077 | 2347638 | 1161 4361 | 49 | 79 460.92/461.02 c 342s | 23 | 3432917 | 2360638 | 1161 4382 | 49 | 79 462.92/463.03 c 344s | 23 | 3453854 | 2374038 | 1161 4403 | 49 | 79 464.92/465.03 c 346s | 23 | 3476384 | 2387938 | 1161 4425 | 49 | 79 466.92/467.03 c 348s | 23 | 3498321 | 2401538 | 1161 4447 | 49 | 79 468.91/469.05 c 350s | 23 | 3520093 | 2415238 | 1161 4469 | 49 | 79 470.92/471.05 c 353s | 23 | 3541427 | 2428738 | 1161 4490 | 49 | 79 472.91/473.06 c 355s | 23 | 3562683 | 2442838 | 1161 4513 | 49 | 79 474.91/475.08 c 357s | 23 | 3584569 | 2456538 | 1161 4534 | 49 | 79 476.91/477.08 c 359s | 23 | 3605081 | 2470138 | 1161 4556 | 49 | 79 478.91/479.09 c 361s | 23 | 3624360 | 2483338 | 1161 4577 | 49 | 79 481.01/481.10 c 363s | 23 | 3643616 | 2496238 | 1161 4598 | 49 | 79 483.02/483.11 c 365s | 23 | 3662345 | 2509338 | 1161 4619 | 49 | 79 485.01/485.12 c 367s | 23 | 3681861 | 2522338 | 1161 4639 | 49 | 79 487.02/487.13 c 369s | 23 | 3702217 | 2535538 | 1161 4660 | 49 | 79 489.02/489.13 c 371s | 23 | 3722813 | 2548638 | 1161 4681 | 49 | 79 491.02/491.13 c 373s | 23 | 3742200 | 2561238 | 1161 4701 | 49 | 79 493.03/493.15 c 375s | 23 | 3761227 | 2574638 | 1161 4723 | 49 | 79 495.02/495.16 c 377s | 23 | 3781058 | 2588038 | 1161 4744 | 49 | 79 497.02/497.17 c 379s | 23 | 3800678 | 2601038 | 1161 4765 | 49 | 79 499.01/499.18 c 381s | 23 | 3820499 | 2614438 | 1161 4786 | 49 | 79 501.01/501.19 c 383s | 23 | 3840189 | 2627438 | 1161 4807 | 49 | 79 503.11/503.20 c 385s | 23 | 3859672 | 2640538 | 1161 4828 | 49 | 79 505.12/505.21 c 387s | 23 | 3880476 | 2654038 | 1161 4849 | 49 | 79 507.11/507.22 c 389s | 23 | 3901525 | 2667638 | 1161 4871 | 49 | 79 509.11/509.22 c 391s | 23 | 3922984 | 2681138 | 1161 4892 | 49 | 79 511.11/511.23 c 393s | 23 | 3944839 | 2694638 | 1161 4914 | 49 | 79 513.11/513.24 c 395s | 23 | 3965753 | 2708138 | 1161 4935 | 49 | 79 515.11/515.25 c 397s | 23 | 3986610 | 2721438 | 1161 4957 | 49 | 79 517.12/517.25 c 399s | 23 | 4007474 | 2734538 | 1161 4977 | 49 | 79 519.11/519.26 c 401s | 23 | 4026892 | 2747638 | 1161 4998 | 49 | 79 521.11/521.27 c 403s | 23 | 4045286 | 2760638 | 1161 5019 | 49 | 79 523.11/523.28 c 405s | 23 | 4064537 | 2773238 | 1161 5039 | 49 | 79 525.11/525.29 c 407s | 23 | 4082652 | 2785738 | 1161 5059 | 49 | 79 527.11/527.29 c 409s | 23 | 4103244 | 2798938 | 1161 5080 | 49 | 79 529.11/529.30 c 411s | 23 | 4123722 | 2812038 | 1161 5101 | 49 | 79 531.21/531.31 c 413s | 23 | 4144617 | 2825238 | 1161 5122 | 49 | 79 533.21/533.32 c 415s | 23 | 4162640 | 2838138 | 1161 5143 | 49 | 79 535.21/535.32 c 417s | 23 | 4180561 | 2850538 | 1161 5162 | 49 | 79 537.20/537.32 c 419s | 23 | 4199083 | 2863238 | 1161 5183 | 49 | 79 539.21/539.33 c 421s | 23 | 4216803 | 2875838 | 1161 5203 | 49 | 79 541.20/541.33 c 423s | 23 | 4234399 | 2888338 | 1161 5223 | 49 | 79 543.20/543.34 c 425s | 23 | 4254029 | 2901438 | 1161 5243 | 49 | 79 545.20/545.35 c 427s | 23 | 4275326 | 2915138 | 1161 5265 | 49 | 79 547.20/547.36 c 429s | 23 | 4294986 | 2928538 | 1161 5287 | 49 | 79 549.20/549.36 c 431s | 23 | 4316244 | 2942138 | 1161 5308 | 49 | 79 551.21/551.37 c 433s | 23 | 4334766 | 2955038 | 1161 5329 | 49 | 79 553.20/553.38 c 435s | 23 | 4355721 | 2968738 | 1161 5351 | 49 | 79 555.20/555.39 c 437s | 23 | 4374293 | 2981738 | 1161 5371 | 49 | 79 557.30/557.41 c 439s | 23 | 4394885 | 2995138 | 1161 5393 | 49 | 79 559.30/559.42 c 441s | 23 | 4414175 | 3008338 | 1161 5414 | 49 | 79 561.31/561.42 c 443s | 23 | 4432293 | 3021638 | 1161 5435 | 49 | 79 563.31/563.42 c 445s | 23 | 4450589 | 3034838 | 1161 5456 | 49 | 79 565.31/565.42 c 447s | 23 | 4469015 | 3047938 | 1161 5477 | 49 | 79 567.30/567.44 c 449s | 23 | 4490428 | 3061638 | 1161 5499 | 49 | 79 569.30/569.44 c 451s | 23 | 4508763 | 3074738 | 1161 5519 | 49 | 79 571.30/571.45 c 453s | 23 | 4529165 | 3087938 | 1161 5540 | 49 | 79 573.31/573.46 c 455s | 23 | 4552604 | 3101638 | 1161 5562 | 49 | 79 575.30/575.47 c 457s | 23 | 4573893 | 3115138 | 1161 5584 | 49 | 79 577.30/577.48 c 459s | 23 | 4593820 | 3128638 | 1161 5605 | 49 | 79 579.30/579.48 c 461s | 23 | 4615805 | 3142138 | 1161 5627 | 49 | 79 581.30/581.49 c 463s | 23 | 4635570 | 3154838 | 1161 5647 | 49 | 79 583.40/583.50 c 465s | 23 | 4656153 | 3167538 | 1161 5668 | 49 | 79 585.41/585.52 c 467s | 23 | 4676787 | 3180838 | 1161 5689 | 49 | 79 587.40/587.52 c 469s | 23 | 4698696 | 3194438 | 1161 5710 | 49 | 79 589.40/589.53 c 471s | 23 | 4718882 | 3207338 | 1161 5731 | 49 | 79 591.40/591.54 c 473s | 23 | 4738506 | 3221238 | 1161 5753 | 49 | 79 593.40/593.54 c 475s | 23 | 4758379 | 3234638 | 1161 5775 | 49 | 79 595.40/595.55 c 477s | 23 | 4778718 | 3248138 | 1161 5796 | 49 | 79 597.40/597.56 c 479s | 23 | 4797702 | 3261238 | 1161 5817 | 49 | 79 599.40/599.56 c 481s | 23 | 4815486 | 3273938 | 1161 5837 | 49 | 79 601.40/601.57 c 483s | 23 | 4835753 | 3287338 | 1161 5859 | 49 | 79 603.40/603.58 c 485s | 23 | 4855262 | 3300238 | 1161 5879 | 49 | 79 605.50/605.60 c 487s | 23 | 4875191 | 3313138 | 1161 5900 | 49 | 79 607.49/607.61 c 489s | 23 | 4896117 | 3326538 | 1161 5921 | 49 | 79 609.50/609.62 c 491s | 23 | 4913487 | 3339338 | 1161 5941 | 49 | 79 611.49/611.63 c 493s | 23 | 4930393 | 3351838 | 1161 5961 | 49 | 79 613.49/613.64 c 495s | 23 | 4946905 | 3364338 | 1161 5981 | 49 | 79 615.39/615.55 c 497s | 24 | 4963595 | 3376662 | 1161 6001 | 49 | 79 617.39/617.56 c 499s | 24 | 4982926 | 3389462 | 1161 6021 | 49 | 79 619.40/619.57 c 501s | 24 | 5002267 | 3402462 | 1161 6042 | 49 | 79 621.39/621.58 c 503s | 24 | 5021250 | 3415162 | 1161 6062 | 49 | 79 623.39/623.59 c 505s | 24 | 5039627 | 3427762 | 1161 6082 | 49 | 79 625.40/625.59 c 507s | 24 | 5055851 | 3439862 | 1161 6102 | 49 | 79 627.50/627.61 c 509s | 24 | 5074903 | 3452662 | 1161 6122 | 49 | 79 629.50/629.62 c 511s | 24 | 5094708 | 3465862 | 1161 6143 | 49 | 79 631.50/631.62 c 513s | 24 | 5114716 | 3478962 | 1161 6164 | 49 | 79 633.49/633.63 c 515s | 24 | 5133781 | 3492062 | 1161 6185 | 49 | 79 635.49/635.64 c 517s | 24 | 5154621 | 3505062 | 1161 6206 | 49 | 79 637.49/637.64 c 519s | 24 | 5173287 | 3518062 | 1161 6226 | 49 | 79 639.49/639.64 c 521s | 24 | 5192276 | 3531062 | 1161 6247 | 49 | 79 641.50/641.65 c 523s | 24 | 5210912 | 3544162 | 1161 6268 | 49 | 79 643.49/643.67 c 525s | 24 | 5230280 | 3557162 | 1161 6289 | 49 | 79 645.49/645.67 c 527s | 24 | 5249025 | 3570162 | 1161 6309 | 49 | 79 647.49/647.68 c 529s | 24 | 5268297 | 3583062 | 1161 6330 | 49 | 79 649.49/649.68 c 531s | 24 | 5285735 | 3595762 | 1161 6350 | 49 | 79 651.49/651.68 c 533s | 24 | 5304411 | 3609162 | 1161 6371 | 49 | 79 653.49/653.69 c 535s | 24 | 5321832 | 3622562 | 1161 6393 | 49 | 79 655.59/655.70 c 537s | 24 | 5339440 | 3635862 | 1161 6414 | 49 | 79 657.59/657.70 c 539s | 24 | 5355492 | 3648862 | 1161 6435 | 49 | 79 659.58/659.71 c 541s | 24 | 5372417 | 3661862 | 1161 6455 | 49 | 79 661.58/661.72 c 543s | 24 | 5388492 | 3674362 | 1161 6475 | 49 | 79 663.58/663.72 c 545s | 24 | 5404911 | 3687062 | 1161 6495 | 49 | 79 665.59/665.72 c 547s | 24 | 5420700 | 3699762 | 1161 6516 | 49 | 79 667.58/667.72 c 549s | 24 | 5437402 | 3712862 | 1161 6537 | 49 | 79 669.58/669.73 c 551s | 24 | 5453999 | 3726062 | 1161 6558 | 49 | 79 671.58/671.74 c 553s | 24 | 5470576 | 3738662 | 1161 6578 | 49 | 79 673.59/673.74 c 555s | 24 | 5489836 | 3751962 | 1161 6599 | 49 | 79 675.60/675.75 c 557s | 24 | 5509289 | 3764862 | 1161 6619 | 49 | 79 677.59/677.76 c 559s | 24 | 5530502 | 3778062 | 1161 6640 | 49 | 79 679.59/679.77 c 561s | 24 | 5553664 | 3791962 | 1161 6663 | 49 | 79 681.59/681.79 c 563s | 24 | 5576336 | 3805762 | 1161 6685 | 49 | 79 683.59/683.79 c 565s | 24 | 5598648 | 3819262 | 1161 6706 | 49 | 79 685.59/685.79 c 567s | 24 | 5617565 | 3832462 | 1161 6727 | 49 | 79 687.59/687.79 c 569s | 24 | 5638050 | 3845862 | 1161 6748 | 49 | 79 689.68/689.80 c 571s | 24 | 5659690 | 3859262 | 1161 6770 | 49 | 79 691.68/691.81 c 573s | 24 | 5680166 | 3872462 | 1161 6791 | 49 | 79 693.68/693.83 c 575s | 24 | 5699605 | 3885462 | 1161 6812 | 49 | 79 695.68/695.83 c 577s | 24 | 5718929 | 3898362 | 1161 6832 | 49 | 79 697.68/697.84 c 579s | 24 | 5740814 | 3911662 | 1161 6853 | 49 | 79 699.69/699.85 c 581s | 24 | 5762763 | 3924962 | 1161 6875 | 49 | 79 701.68/701.86 c 583s | 24 | 5784744 | 3938462 | 1161 6896 | 49 | 79 703.68/703.87 c 585s | 24 | 5805499 | 3951762 | 1161 6917 | 49 | 79 705.68/705.88 c 587s | 24 | 5826957 | 3965362 | 1161 6939 | 49 | 79 707.68/707.89 c 589s | 24 | 5846251 | 3978162 | 1161 6960 | 49 | 79 709.68/709.89 c 591s | 24 | 5864668 | 3990762 | 1161 6980 | 49 | 79 711.68/711.90 c 593s | 24 | 5883676 | 4003262 | 1161 7000 | 49 | 79 713.78/713.91 c 595s | 24 | 5903550 | 4016262 | 1161 7020 | 49 | 79 715.78/715.92 c 597s | 24 | 5921474 | 4028662 | 1278 7039 | 49 | 79 717.77/717.92 c 599s | 24 | 5939405 | 4041262 | 1278 7057 | 49 | 79 719.77/719.93 c 601s | 24 | 5956893 | 4053662 | 1278 7075 | 49 | 79 721.78/721.95 c 603s | 24 | 5974415 | 4066062 | 1278 7093 | 49 | 79 723.77/723.96 c 605s | 24 | 5991932 | 4078362 | 1278 7111 | 49 | 79 725.77/725.97 c 607s | 24 | 6008692 | 4090562 | 1278 7129 | 49 | 79 727.77/727.98 c 609s | 24 | 6027866 | 4103462 | 1278 7148 | 49 | 79 729.77/729.98 c 611s | 24 | 6048383 | 4116962 | 1278 7167 | 49 | 79 731.77/731.98 c 613s | 24 | 6067921 | 4130162 | 1278 7187 | 49 | 79 733.88/734.00 c 615s | 24 | 6087072 | 4143262 | 1278 7206 | 49 | 79 735.87/736.01 c 617s | 24 | 6107690 | 4156862 | 1278 7225 | 49 | 79 737.87/738.02 c 619s | 24 | 6126666 | 4169862 | 1278 7244 | 49 | 79 739.87/740.02 c 621s | 24 | 6145953 | 4182562 | 1278 7263 | 49 | 79 741.87/742.03 c 623s | 24 | 6166090 | 4195662 | 1278 7282 | 49 | 79 743.87/744.03 c 625s | 24 | 6188719 | 4208962 | 1278 7301 | 49 | 79 745.88/746.04 c 627s | 24 | 6210727 | 4222162 | 1278 7320 | 49 | 79 747.87/748.05 c 630s | 24 | 6230588 | 4234862 | 1278 7339 | 49 | 79 749.87/750.06 c 632s | 24 | 6250017 | 4247762 | 1278 7358 | 49 | 79 751.87/752.07 c 634s | 24 | 6269380 | 4260562 | 1278 7376 | 49 | 79 753.87/754.08 c 636s | 24 | 6288704 | 4273262 | 1278 7395 | 49 | 79 755.88/756.08 c 638s | 24 | 6308735 | 4286162 | 1278 7413 | 49 | 79 757.87/758.08 c 640s | 24 | 6329374 | 4298962 | 1278 7432 | 49 | 79 759.87/760.09 c 642s | 24 | 6348768 | 4311762 | 1278 7451 | 49 | 79 761.97/762.10 c 644s | 24 | 6367547 | 4324562 | 1278 7469 | 49 | 79 763.97/764.10 c 646s | 24 | 6387521 | 4337162 | 1278 7488 | 49 | 79 765.96/766.11 c 648s | 24 | 6408468 | 4350862 | 1278 7507 | 49 | 79 767.97/768.12 c 650s | 24 | 6428649 | 4364162 | 1278 7527 | 49 | 79 769.96/770.12 c 652s | 24 | 6448071 | 4377162 | 1278 7546 | 49 | 79 771.96/772.13 c 654s | 24 | 6468023 | 4389662 | 1278 7564 | 49 | 79 773.96/774.13 c 656s | 24 | 6488307 | 4402462 | 1278 7583 | 49 | 79 775.96/776.14 c 658s | 24 | 6507617 | 4415362 | 1278 7601 | 49 | 79 777.96/778.14 c 660s | 24 | 6526807 | 4428562 | 1278 7620 | 49 | 79 779.97/780.15 c 662s | 24 | 6545408 | 4441462 | 1278 7639 | 49 | 79 781.95/782.17 c 664s | 24 | 6564557 | 4454262 | 1278 7658 | 49 | 79 783.95/784.18 c 666s | 24 | 6583382 | 4467062 | 1278 7676 | 49 | 79 785.95/786.19 c 668s | 24 | 6602521 | 4479762 | 1278 7695 | 49 | 79 787.95/788.19 c 670s | 24 | 6620208 | 4492362 | 1278 7713 | 49 | 79 789.96/790.19 c 672s | 24 | 6638587 | 4504662 | 1278 7731 | 49 | 79 791.95/792.20 c 674s | 24 | 6656441 | 4516962 | 1278 7749 | 49 | 79 794.05/794.20 c 676s | 24 | 6674832 | 4529662 | 1278 7768 | 49 | 79 796.05/796.21 c 678s | 24 | 6693345 | 4542162 | 1278 7786 | 49 | 79 798.05/798.22 c 680s | 24 | 6711974 | 4555062 | 1278 7805 | 49 | 79 800.05/800.23 c 682s | 24 | 6731273 | 4568062 | 1278 7823 | 49 | 79 802.06/802.24 c 684s | 24 | 6751237 | 4580862 | 1278 7842 | 49 | 79 804.05/804.24 c 686s | 24 | 6771520 | 4593562 | 1278 7861 | 49 | 79 806.05/806.24 c 688s | 24 | 6789297 | 4605762 | 1278 7878 | 49 | 79 808.05/808.26 c 690s | 24 | 6808320 | 4618062 | 1278 7896 | 49 | 79 810.05/810.27 c 692s | 24 | 6829546 | 4631262 | 1278 7916 | 49 | 79 812.04/812.27 c 694s | 24 | 6851858 | 4644862 | 1278 7935 | 49 | 79 814.05/814.28 c 696s | 24 | 6872763 | 4658162 | 1278 7955 | 49 | 79 816.04/816.29 c 698s | 24 | 6894146 | 4671562 | 1278 7974 | 49 | 79 818.14/818.30 c 700s | 24 | 6913284 | 4684662 | 1278 7993 | 49 | 79 820.14/820.31 c 702s | 24 | 6934428 | 4697962 | 1278 8012 | 49 | 79 822.14/822.32 c 704s | 24 | 6954446 | 4710962 | 1278 8031 | 49 | 79 824.14/824.32 c 706s | 24 | 6976302 | 4724162 | 1278 8051 | 49 | 79 826.15/826.32 c 708s | 24 | 6996611 | 4736962 | 1278 8069 | 49 | 79 828.14/828.32 c 710s | 24 | 7014530 | 4749962 | 1278 8088 | 49 | 79 830.14/830.33 c 712s | 24 | 7032104 | 4763062 | 1278 8107 | 49 | 79 832.14/832.35 c 714s | 24 | 7050968 | 4776262 | 1278 8126 | 49 | 79 834.13/834.35 c 716s | 24 | 7068965 | 4788562 | 1278 8144 | 49 | 79 836.14/836.37 c 718s | 24 | 7087698 | 4801162 | 1278 8163 | 49 | 79 838.13/838.39 c 720s | 24 | 7108228 | 4814062 | 1278 8182 | 49 | 79 840.23/840.40 c 722s | 24 | 7126053 | 4826662 | 1278 8200 | 49 | 79 842.23/842.41 c 724s | 24 | 7143111 | 4839162 | 1278 8218 | 49 | 79 844.23/844.41 c 726s | 24 | 7160295 | 4851662 | 1278 8236 | 49 | 79 846.24/846.41 c 728s | 24 | 7177308 | 4864362 | 1278 8255 | 49 | 79 848.24/848.42 c 730s | 24 | 7194395 | 4876862 | 1278 8273 | 49 | 79 850.23/850.43 c 732s | 24 | 7210511 | 4888862 | 1278 8290 | 49 | 79 852.23/852.43 c 734s | 24 | 7226664 | 4900762 | 1278 8308 | 49 | 79 854.23/854.45 c 736s | 24 | 7243903 | 4913062 | 1278 8325 | 49 | 79 856.23/856.45 c 738s | 24 | 7261289 | 4925762 | 1278 8344 | 49 | 79 858.23/858.45 c 740s | 24 | 7276359 | 4937762 | 1278 8361 | 49 | 79 860.24/860.45 c 742s | 24 | 7293350 | 4949962 | 1278 8379 | 49 | 79 862.23/862.45 c 744s | 24 | 7310699 | 4962462 | 1278 8397 | 49 | 79 864.23/864.46 c 746s | 24 | 7327573 | 4974862 | 1278 8415 | 49 | 79 866.23/866.46 c 748s | 24 | 7343467 | 4986762 | 1278 8432 | 49 | 79 868.23/868.46 c 750s | 24 | 7361103 | 4998762 | 1278 8450 | 49 | 79 870.23/870.47 c 752s | 24 | 7378228 | 5011162 | 1278 8468 | 49 | 79 872.22/872.47 c 754s | 24 | 7394075 | 5023262 | 1278 8485 | 49 | 79 874.22/874.47 c 756s | 24 | 7409779 | 5035062 | 1278 8502 | 49 | 79 876.22/876.48 c 758s | 24 | 7424620 | 5046362 | 1278 8519 | 49 | 79 878.32/878.50 c 760s | 24 | 7439683 | 5058062 | 1278 8536 | 49 | 79 879.42/879.63 c 761s | 25 | 7448751 | 5065098 | 1278 8546 | 49 | 79 881.42/881.63 c 763s | 25 | 7464636 | 5077098 | 1278 8564 | 49 | 79 883.42/883.65 c 765s | 25 | 7480341 | 5089098 | 1278 8581 | 49 | 79 885.42/885.65 c 767s | 25 | 7498208 | 5102198 | 1278 8600 | 49 | 79 887.42/887.65 c 769s | 25 | 7516934 | 5115498 | 1278 8619 | 49 | 79 889.41/889.66 c 771s | 25 | 7536071 | 5128598 | 1278 8638 | 49 | 79 891.41/891.66 c 773s | 25 | 7554461 | 5141498 | 1278 8657 | 49 | 79 893.41/893.67 c 775s | 25 | 7574135 | 5154798 | 1278 8676 | 49 | 79 895.42/895.68 c 777s | 25 | 7592782 | 5167798 | 1278 8695 | 49 | 79 897.51/897.70 c 779s | 25 | 7610719 | 5180898 | 1278 8714 | 49 | 79 899.51/899.71 c 781s | 25 | 7628903 | 5194098 | 1278 8734 | 49 | 79 901.51/901.71 c 783s | 25 | 7646928 | 5206898 | 1278 8752 | 49 | 79 903.51/903.71 c 785s | 25 | 7665396 | 5220298 | 1278 8772 | 49 | 79 905.51/905.71 c 787s | 25 | 7683789 | 5233498 | 1278 8791 | 49 | 79 907.51/907.72 c 789s | 25 | 7701343 | 5246598 | 1278 8810 | 49 | 79 909.51/909.73 c 791s | 25 | 7718808 | 5259698 | 1278 8829 | 49 | 79 911.50/911.73 c 793s | 25 | 7735641 | 5272398 | 1278 8847 | 49 | 79 913.50/913.74 c 795s | 25 | 7752910 | 5285298 | 1278 8866 | 49 | 79 915.50/915.75 c 797s | 25 | 7769462 | 5297998 | 1278 8885 | 49 | 79 917.51/917.75 c 799s | 25 | 7784752 | 5309798 | 1278 8902 | 49 | 79 919.50/919.76 c 801s | 25 | 7800379 | 5321898 | 1278 8919 | 49 | 79 921.50/921.76 c 803s | 25 | 7817158 | 5334398 | 1278 8938 | 49 | 79 923.50/923.77 c 805s | 25 | 7835308 | 5347498 | 1278 8957 | 49 | 79 925.50/925.78 c 807s | 25 | 7854426 | 5360698 | 1278 8976 | 49 | 79 927.50/927.78 c 809s | 25 | 7872236 | 5373998 | 1278 8995 | 49 | 79 929.50/929.79 c 811s | 25 | 7890916 | 5387098 | 1278 9014 | 49 | 79 931.59/931.80 c 813s | 25 | 7910345 | 5400698 | 1278 9034 | 49 | 79 933.59/933.81 c 815s | 25 | 7928954 | 5413998 | 1278 9053 | 49 | 79 935.59/935.81 c 817s | 25 | 7948273 | 5427498 | 1278 9073 | 49 | 79 937.59/937.85 c 819s | 25 | 7967098 | 5440998 | 1278 9093 | 49 | 79 939.59/939.86 c 821s | 25 | 7985065 | 5453898 | 1278 9111 | 49 | 79 941.59/941.87 c 823s | 25 | 8004680 | 5467698 | 1278 9131 | 49 | 79 943.58/943.88 c 825s | 25 | 8024594 | 5481198 | 1278 9151 | 49 | 79 945.58/945.88 c 827s | 25 | 8044527 | 5494898 | 1278 9171 | 49 | 79 947.58/947.89 c 829s | 25 | 8065091 | 5508298 | 1278 9191 | 49 | 79 949.68/949.90 c 831s | 25 | 8086255 | 5521898 | 1278 9210 | 49 | 79 951.69/951.91 c 833s | 25 | 8107480 | 5535798 | 1278 9231 | 49 | 79 953.69/953.91 c 835s | 25 | 8126900 | 5549198 | 1278 9250 | 49 | 79 955.69/955.92 c 837s | 25 | 8145647 | 5562298 | 1278 9269 | 49 | 79 957.69/957.93 c 839s | 25 | 8163766 | 5575598 | 1278 9289 | 49 | 79 959.69/959.94 c 841s | 25 | 8184413 | 5589498 | 1278 9309 | 49 | 79 961.68/961.94 c 843s | 25 | 8205737 | 5603398 | 1278 9329 | 49 | 79 963.69/963.96 c 845s | 25 | 8224779 | 5617198 | 1278 9349 | 49 | 79 965.68/965.96 c 847s | 25 | 8242414 | 5630598 | 1278 9369 | 49 | 79 967.68/967.96 c 849s | 25 | 8261088 | 5643898 | 1278 9388 | 49 | 79 969.68/969.96 c 851s | 25 | 8280992 | 5657298 | 1278 9407 | 49 | 79 971.67/971.96 c 853s | 25 | 8300155 | 5670498 | 1278 9427 | 49 | 79 973.67/973.98 c 855s | 25 | 8318259 | 5683798 | 1278 9446 | 49 | 79 975.68/975.98 c 857s | 25 | 8336722 | 5697098 | 1278 9465 | 49 | 79 977.67/977.99 c 859s | 25 | 8355451 | 5710698 | 1278 9485 | 49 | 79 979.67/980.00 c 861s | 25 | 8374603 | 5723698 | 1278 9504 | 49 | 79 981.76/982.00 c 863s | 25 | 8392928 | 5736898 | 1278 9523 | 49 | 79 983.76/984.00 c 865s | 25 | 8411293 | 5749898 | 1278 9542 | 49 | 79 985.77/986.00 c 867s | 25 | 8430638 | 5763698 | 1278 9562 | 49 | 79 987.78/988.00 c 869s | 25 | 8450114 | 5777098 | 1278 9582 | 49 | 79 989.77/990.00 c 871s | 25 | 8468272 | 5790498 | 1278 9601 | 49 | 79 991.77/992.02 c 873s | 25 | 8486183 | 5803598 | 1278 9620 | 49 | 79 993.77/994.03 c 875s | 25 | 8504448 | 5816798 | 1278 9639 | 49 | 79 995.77/996.04 c 877s | 25 | 8524111 | 5829798 | 1278 9658 | 49 | 79 997.77/998.04 c 879s | 25 | 8541838 | 5842898 | 1278 9677 | 49 | 79 999.77/1000.04 c 881s | 25 | 8560198 | 5855998 | 1278 9696 | 49 | 79 1001.76/1002.05 c 884s | 25 | 8578778 | 5868898 | 1278 9715 | 49 | 79 1003.76/1004.06 c 886s | 25 | 8597142 | 5882198 | 1278 9734 | 49 | 79 1005.76/1006.07 c 888s | 25 | 8616196 | 5895498 | 1278 9754 | 49 | 79 1007.76/1008.07 c 890s | 25 | 8635963 | 5908898 | 1278 9773 | 49 | 79 1009.77/1010.09 c 892s | 25 | 8653875 | 5921698 | 1278 9792 | 49 | 79 1011.75/1012.09 c 894s | 25 | 8671924 | 5934898 | 1278 9811 | 49 | 79 1013.85/1014.10 c 896s | 25 | 8691217 | 5947998 | 1278 9830 | 49 | 79 1015.85/1016.11 c 898s | 25 | 8710430 | 5961298 | 1278 9850 | 49 | 79 1017.85/1018.12 c 900s | 25 | 8729377 | 5974198 | 1278 9868 | 49 | 79 1019.85/1020.13 c 902s | 25 | 8748470 | 5987098 | 1278 9887 | 49 | 79 1021.85/1022.14 c 904s | 25 | 8768488 | 6000198 | 1278 9906 | 49 | 79 1023.85/1024.15 c 906s | 25 | 8786677 | 6012798 | 1278 9925 | 49 | 79 1025.85/1026.16 c 908s | 25 | 8803730 | 6025098 | 1278 9943 | 49 | 79 1027.85/1028.17 c 910s | 25 | 8822379 | 6037898 | 1278 9961 | 49 | 79 1029.85/1030.18 c 912s | 25 | 8839938 | 6050698 | 1278 9980 | 49 | 79 1031.85/1032.18 c 914s | 25 | 8858584 | 6063498 | 1278 9999 | 49 | 79 1033.84/1034.19 c 916s | 25 | 8876510 | 6076198 | 1278 10017 | 49 | 79 1035.94/1036.20 c 918s | 25 | 8895169 | 6089198 | 1278 10036 | 49 | 79 1037.94/1038.21 c 920s | 25 | 8912799 | 6101698 | 1278 10054 | 49 | 79 1039.94/1040.22 c 922s | 25 | 8931348 | 6114498 | 1278 10073 | 49 | 79 1041.94/1042.22 c 924s | 25 | 8948184 | 6127098 | 1278 10091 | 49 | 79 1043.94/1044.24 c 926s | 25 | 8965578 | 6139498 | 1278 10109 | 49 | 79 1045.94/1046.25 c 928s | 25 | 8983022 | 6151698 | 1278 10127 | 49 | 79 1047.93/1048.26 c 930s | 25 | 9001041 | 6164398 | 1278 10145 | 49 | 79 1049.93/1050.26 c 932s | 25 | 9018575 | 6177198 | 1278 10164 | 49 | 79 1051.93/1052.27 c 934s | 25 | 9035976 | 6189898 | 1278 10183 | 49 | 79 1053.93/1054.28 c 936s | 25 | 9053059 | 6202098 | 1278 10200 | 49 | 79 1055.95/1056.29 c 938s | 25 | 9070803 | 6214598 | 1278 10219 | 49 | 79 1057.94/1058.29 c 940s | 25 | 9088718 | 6226798 | 1278 10236 | 49 | 79 1060.04/1060.30 c 942s | 25 | 9106400 | 6239098 | 1278 10254 | 49 | 79 1062.03/1062.30 c 944s | 25 | 9123302 | 6251098 | 1278 10272 | 49 | 79 1064.03/1064.31 c 946s | 25 | 9140579 | 6263198 | 1278 10289 | 49 | 79 1066.03/1066.32 c 948s | 25 | 9157033 | 6275498 | 1278 10307 | 49 | 79 1068.04/1068.32 c 950s | 25 | 9172971 | 6287698 | 1278 10325 | 49 | 79 1070.03/1070.33 c 952s | 25 | 9189369 | 6299798 | 1278 10343 | 49 | 79 1072.02/1072.35 c 954s | 25 | 9208061 | 6312798 | 1278 10362 | 49 | 79 1074.02/1074.36 c 956s | 25 | 9228195 | 6326098 | 1278 10381 | 49 | 79 1076.02/1076.37 c 958s | 25 | 9248162 | 6339198 | 1278 10400 | 49 | 79 1078.03/1078.38 c 960s | 25 | 9268035 | 6351998 | 1278 10419 | 49 | 79 1080.02/1080.39 c 962s | 25 | 9287417 | 6365098 | 1278 10438 | 49 | 79 1082.12/1082.40 c 964s | 25 | 9305502 | 6378098 | 1278 10456 | 49 | 79 1084.12/1084.41 c 966s | 25 | 9324242 | 6390998 | 1278 10475 | 49 | 79 1086.12/1086.41 c 968s | 25 | 9343085 | 6403898 | 1278 10494 | 49 | 79 1088.12/1088.42 c 970s | 25 | 9361180 | 6416598 | 1278 10512 | 49 | 79 1090.12/1090.42 c 972s | 25 | 9380738 | 6429798 | 1278 10532 | 49 | 79 1092.11/1092.43 c 974s | 25 | 9399300 | 6443098 | 1278 10551 | 49 | 79 1094.11/1094.44 c 976s | 25 | 9417817 | 6456198 | 1278 10570 | 49 | 79 1096.11/1096.45 c 978s | 25 | 9437025 | 6469198 | 1278 10589 | 49 | 79 1098.11/1098.45 c 980s | 25 | 9455073 | 6481798 | 1278 10607 | 49 | 79 1100.11/1100.46 c 982s | 25 | 9474430 | 6494798 | 1278 10626 | 49 | 79 1102.11/1102.46 c 984s | 25 | 9492870 | 6507698 | 1278 10645 | 49 | 79 1104.10/1104.47 c 986s | 25 | 9512105 | 6520598 | 1278 10664 | 49 | 79 1106.10/1106.48 c 988s | 25 | 9530434 | 6533698 | 1278 10683 | 49 | 79 1108.11/1108.48 c 990s | 25 | 9548689 | 6546598 | 1406 10700 | 49 | 79 1110.11/1110.49 c 992s | 25 | 9566337 | 6559098 | 1406 10716 | 49 | 79 1112.12/1112.49 c 994s | 25 | 9584295 | 6571598 | 1406 10733 | 49 | 79 1114.11/1114.50 c 996s | 25 | 9603748 | 6584798 | 1406 10751 | 49 | 79 1116.21/1116.51 c 998s | 25 | 9622313 | 6597298 | 1406 10767 | 49 | 79 1118.21/1118.52 c 1000s | 25 | 9641365 | 6610198 | 1406 10784 | 49 | 79 1120.20/1120.53 c 1002s | 25 | 9659674 | 6622498 | 1406 10801 | 49 | 79 1122.20/1122.54 c 1004s | 25 | 9678938 | 6635398 | 1406 10818 | 49 | 79 1124.21/1124.55 c 1006s | 25 | 9696217 | 6648098 | 1406 10835 | 49 | 79 1126.20/1126.55 c 1008s | 25 | 9714339 | 6660398 | 1406 10851 | 49 | 79 1128.20/1128.56 c 1010s | 25 | 9734245 | 6673198 | 1406 10868 | 49 | 79 1130.19/1130.57 c 1012s | 25 | 9752055 | 6685598 | 1406 10885 | 49 | 79 1132.19/1132.59 c 1014s | 25 | 9771520 | 6698798 | 1406 10902 | 49 | 79 1134.29/1134.60 c 1016s | 25 | 9789387 | 6711798 | 1406 10919 | 49 | 79 1136.30/1136.60 c 1018s | 25 | 9808358 | 6724298 | 1406 10936 | 49 | 79 1138.29/1138.61 c 1020s | 25 | 9825862 | 6736698 | 1406 10952 | 49 | 79 1140.29/1140.62 c 1022s | 25 | 9843491 | 6749298 | 1406 10969 | 49 | 79 1142.29/1142.63 c 1024s | 25 | 9861272 | 6761598 | 1406 10986 | 49 | 79 1144.29/1144.64 c 1026s | 25 | 9880435 | 6774098 | 1406 11002 | 49 | 79 1146.29/1146.64 c 1028s | 25 | 9896948 | 6786198 | 1406 11018 | 49 | 79 1148.29/1148.65 c 1030s | 25 | 9913594 | 6797898 | 1406 11034 | 49 | 79 1150.28/1150.65 c 1032s | 25 | 9932074 | 6810298 | 1406 11050 | 49 | 79 1152.28/1152.65 c 1034s | 25 | 9951453 | 6823298 | 1406 11068 | 49 | 79 1154.28/1154.66 c 1036s | 25 | 9970767 | 6836098 | 1406 11085 | 49 | 79 1156.28/1156.68 c 1038s | 25 | 9989338 | 6848798 | 1406 11101 | 49 | 79 1158.29/1158.69 c 1040s | 25 | 10007291 | 6861198 | 1406 11118 | 49 | 79 1160.39/1160.70 c 1042s | 25 | 10024606 | 6873198 | 1406 11134 | 49 | 79 1162.38/1162.71 c 1044s | 25 | 10042393 | 6885598 | 1406 11150 | 49 | 79 1164.38/1164.72 c 1046s | 25 | 10060269 | 6897698 | 1406 11166 | 49 | 79 1166.38/1166.73 c 1048s | 25 | 10077527 | 6909898 | 1406 11183 | 49 | 79 1168.38/1168.74 c 1050s | 25 | 10098117 | 6923298 | 1406 11200 | 49 | 79 1170.38/1170.75 c 1052s | 25 | 10117246 | 6936098 | 1406 11217 | 49 | 79 1172.37/1172.76 c 1054s | 25 | 10136672 | 6948898 | 1406 11234 | 49 | 79 1174.37/1174.76 c 1056s | 25 | 10155289 | 6961598 | 1406 11251 | 49 | 79 1176.37/1176.77 c 1058s | 25 | 10173688 | 6974198 | 1406 11268 | 49 | 79 1178.37/1178.78 c 1060s | 25 | 10192539 | 6986998 | 1406 11285 | 49 | 79 1180.37/1180.78 c 1062s | 25 | 10210989 | 6999398 | 1406 11302 | 49 | 79 1182.38/1182.79 c 1064s | 25 | 10229595 | 7012098 | 1406 11318 | 49 | 79 1184.47/1184.80 c 1066s | 25 | 10247138 | 7024198 | 1406 11334 | 49 | 79 1186.47/1186.81 c 1068s | 25 | 10264931 | 7036398 | 1406 11351 | 49 | 79 1188.47/1188.81 c 1070s | 25 | 10282684 | 7048598 | 1406 11367 | 49 | 79 1190.47/1190.82 c 1072s | 25 | 10300929 | 7060598 | 1406 11383 | 49 | 79 1192.47/1192.83 c 1074s | 25 | 10318021 | 7072298 | 1406 11398 | 49 | 79 1194.47/1194.83 c 1076s | 25 | 10335032 | 7083698 | 1406 11413 | 49 | 79 1196.47/1196.84 c 1078s | 25 | 10352699 | 7096098 | 1406 11430 | 49 | 79 1198.47/1198.85 c 1080s | 25 | 10370381 | 7108398 | 1406 11446 | 49 | 79 1200.46/1200.86 c 1082s | 25 | 10387363 | 7120498 | 1406 11462 | 49 | 79 1202.46/1202.87 c 1084s | 25 | 10405537 | 7132298 | 1406 11478 | 49 | 79 1204.47/1204.87 c 1086s | 25 | 10422282 | 7143998 | 1406 11494 | 49 | 79 1206.46/1206.88 c 1088s | 25 | 10439583 | 7155998 | 1406 11510 | 49 | 79 1208.46/1208.89 c 1090s | 25 | 10456069 | 7167798 | 1406 11525 | 49 | 79 1210.56/1210.90 c 1092s | 25 | 10472590 | 7179298 | 1406 11541 | 49 | 79 1212.56/1212.90 c 1094s | 25 | 10488504 | 7190898 | 1406 11556 | 49 | 79 1214.56/1214.90 c 1096s | 25 | 10505084 | 7203298 | 1406 11572 | 49 | 79 1216.56/1216.91 c 1098s | 25 | 10521934 | 7215098 | 1406 11588 | 49 | 79 1218.55/1218.93 c 1100s | 25 | 10537550 | 7226598 | 1406 11603 | 49 | 79 1220.55/1220.93 c 1102s | 25 | 10554016 | 7238498 | 1406 11619 | 49 | 79 1222.55/1222.93 c 1104s | 25 | 10569384 | 7249598 | 1406 11634 | 49 | 79 1224.55/1224.94 c 1106s | 25 | 10585092 | 7261398 | 1406 11650 | 49 | 79 1226.55/1226.95 c 1108s | 25 | 10601416 | 7273298 | 1406 11666 | 49 | 79 1228.57/1228.95 c 1110s | 25 | 10617060 | 7284898 | 1406 11681 | 49 | 79 1230.56/1230.96 c 1112s | 25 | 10632628 | 7296498 | 1406 11696 | 49 | 79 1232.55/1232.97 c 1114s | 25 | 10650163 | 7308798 | 1406 11713 | 49 | 79 1234.56/1234.98 c 1116s | 25 | 10668151 | 7321398 | 1406 11729 | 49 | 79 1236.55/1236.99 c 1118s | 25 | 10685803 | 7333598 | 1406 11746 | 49 | 79 1238.65/1239.00 c 1120s | 25 | 10703859 | 7345298 | 1406 11761 | 49 | 79 1240.66/1241.02 c 1122s | 25 | 10721577 | 7356998 | 1406 11777 | 49 | 79 1242.65/1243.03 c 1124s | 25 | 10739729 | 7368798 | 1406 11792 | 49 | 79 1244.65/1245.03 c 1126s | 25 | 10758716 | 7380798 | 1406 11808 | 49 | 79 1246.65/1247.05 c 1128s | 25 | 10777387 | 7392998 | 1406 11825 | 49 | 79 1248.65/1249.05 c 1131s | 25 | 10796089 | 7405298 | 1406 11841 | 49 | 79 1250.65/1251.07 c 1133s | 25 | 10814797 | 7417798 | 1406 11858 | 49 | 79 1252.64/1253.07 c 1135s | 25 | 10833556 | 7430098 | 1406 11874 | 49 | 79 1254.64/1255.07 c 1137s | 25 | 10853556 | 7442798 | 1406 11891 | 49 | 79 1256.64/1257.08 c 1139s | 25 | 10871681 | 7454798 | 1406 11907 | 49 | 79 1258.64/1259.09 c 1141s | 25 | 10889971 | 7466698 | 1406 11923 | 49 | 79 1260.74/1261.10 c 1143s | 25 | 10906744 | 7478098 | 1406 11938 | 49 | 79 1262.74/1263.11 c 1145s | 25 | 10924750 | 7489598 | 1406 11953 | 49 | 79 1264.74/1265.12 c 1147s | 25 | 10942313 | 7500898 | 1406 11968 | 49 | 79 1266.73/1267.14 c 1149s | 25 | 10959813 | 7512498 | 1406 11983 | 49 | 79 1268.73/1269.15 c 1151s | 25 | 10977298 | 7524598 | 1406 12000 | 49 | 79 1270.73/1271.16 c 1153s | 25 | 10994151 | 7536498 | 1406 12015 | 49 | 79 1272.73/1273.16 c 1155s | 25 | 11014079 | 7549098 | 1406 12032 | 49 | 79 1274.74/1275.16 c 1157s | 25 | 11032167 | 7560598 | 1406 12047 | 49 | 79 1276.73/1277.17 c 1159s | 25 | 11052822 | 7572998 | 1406 12064 | 49 | 79 1278.73/1279.18 c 1161s | 25 | 11072842 | 7585498 | 1406 12081 | 49 | 79 1280.73/1281.20 c 1163s | 25 | 11091409 | 7597598 | 1406 12097 | 49 | 79 1280.83/1281.22 c 1163s | 26 | 11091650 | 7597752 | 1406 12097 | 49 | 79 1282.83/1283.23 c 1165s | 26 | 11111805 | 7610552 | 1406 12114 | 49 | 79 1284.82/1285.24 c 1167s | 26 | 11131928 | 7623352 | 1406 12131 | 49 | 79 1286.83/1287.25 c 1169s | 26 | 11152069 | 7636052 | 1406 12148 | 49 | 79 1288.82/1289.25 c 1171s | 26 | 11171073 | 7648652 | 1406 12164 | 49 | 79 1290.82/1291.25 c 1173s | 26 | 11190310 | 7661252 | 1406 12181 | 49 | 79 1292.82/1293.25 c 1175s | 26 | 11209009 | 7673652 | 1406 12198 | 49 | 79 1294.83/1295.26 c 1177s | 26 | 11229501 | 7686252 | 1406 12214 | 49 | 79 1296.84/1297.27 c 1179s | 26 | 11249694 | 7698652 | 1406 12231 | 49 | 79 1298.83/1299.28 c 1181s | 26 | 11267461 | 7710852 | 1406 12247 | 49 | 79 1300.82/1301.29 c 1183s | 26 | 11283795 | 7723052 | 1406 12263 | 49 | 79 1302.82/1303.29 c 1185s | 26 | 11301993 | 7735352 | 1406 12280 | 49 | 79 1304.82/1305.29 c 1187s | 26 | 11319301 | 7747252 | 1406 12295 | 49 | 79 1306.92/1307.31 c 1189s | 26 | 11337149 | 7759352 | 1406 12311 | 49 | 79 1308.92/1309.31 c 1191s | 26 | 11356225 | 7771552 | 1406 12328 | 49 | 79 1310.92/1311.32 c 1193s | 26 | 11374668 | 7783252 | 1406 12343 | 49 | 79 1312.91/1313.33 c 1195s | 26 | 11393033 | 7795752 | 1406 12360 | 49 | 79 1314.91/1315.33 c 1197s | 26 | 11411832 | 7808352 | 1406 12377 | 49 | 79 1316.91/1317.34 c 1199s | 26 | 11431122 | 7820752 | 1406 12393 | 49 | 79 1318.91/1319.35 c 1201s | 26 | 11450214 | 7833152 | 1406 12410 | 49 | 79 1320.91/1321.36 c 1203s | 26 | 11469472 | 7845952 | 1406 12427 | 49 | 79 1322.91/1323.37 c 1205s | 26 | 11487405 | 7858252 | 1406 12443 | 49 | 79 1324.90/1325.37 c 1207s | 26 | 11504434 | 7870452 | 1406 12459 | 49 | 79 1326.91/1327.39 c 1209s | 26 | 11521990 | 7882352 | 1406 12475 | 49 | 79 1328.90/1329.40 c 1211s | 26 | 11539605 | 7894252 | 1406 12491 | 49 | 79 1331.00/1331.41 c 1213s | 26 | 11556755 | 7905952 | 1406 12506 | 49 | 79 1333.01/1333.42 c 1215s | 26 | 11575412 | 7918252 | 1406 12523 | 49 | 79 1335.00/1335.43 c 1217s | 26 | 11595394 | 7930752 | 1406 12539 | 49 | 79 1337.00/1337.44 c 1219s | 26 | 11614353 | 7942952 | 1406 12556 | 49 | 79 1339.00/1339.45 c 1221s | 26 | 11633571 | 7955352 | 1406 12572 | 49 | 79 1341.00/1341.46 c 1223s | 26 | 11650060 | 7966552 | 1406 12587 | 49 | 79 1343.00/1343.47 c 1225s | 26 | 11667322 | 7978152 | 1406 12602 | 49 | 79 1344.99/1345.47 c 1227s | 26 | 11684572 | 7989952 | 1406 12618 | 49 | 79 1346.99/1347.48 c 1229s | 26 | 11703341 | 8001952 | 1406 12634 | 49 | 79 1348.99/1349.49 c 1231s | 26 | 11721060 | 8013652 | 1406 12650 | 49 | 79 1351.09/1351.51 c 1233s | 26 | 11738727 | 8025152 | 1406 12665 | 49 | 79 1353.09/1353.51 c 1235s | 26 | 11756097 | 8037452 | 1406 12681 | 49 | 79 1355.10/1355.52 c 1237s | 26 | 11773353 | 8049852 | 1406 12698 | 49 | 79 1357.09/1357.53 c 1239s | 26 | 11789986 | 8062052 | 1406 12714 | 49 | 79 1359.10/1359.54 c 1241s | 26 | 11806362 | 8074052 | 1406 12730 | 49 | 79 1361.09/1361.54 c 1243s | 26 | 11823314 | 8086052 | 1406 12746 | 49 | 79 1363.09/1363.56 c 1245s | 26 | 11841093 | 8098252 | 1406 12762 | 49 | 79 1365.09/1365.56 c 1247s | 26 | 11859139 | 8110252 | 1406 12778 | 49 | 79 1367.10/1367.57 c 1249s | 26 | 11877226 | 8122552 | 1406 12794 | 49 | 79 1369.09/1369.58 c 1251s | 26 | 11896092 | 8135152 | 1406 12811 | 49 | 79 1371.09/1371.59 c 1253s | 26 | 11915412 | 8147652 | 1406 12828 | 49 | 79 1373.19/1373.61 c 1255s | 26 | 11934554 | 8160052 | 1406 12844 | 49 | 79 1375.19/1375.62 c 1257s | 26 | 11954016 | 8172452 | 1406 12861 | 49 | 79 1377.19/1377.62 c 1259s | 26 | 11972425 | 8184852 | 1406 12877 | 49 | 79 1379.20/1379.63 c 1261s | 26 | 11990532 | 8197552 | 1406 12894 | 49 | 79 1381.19/1381.65 c 1263s | 26 | 12007544 | 8209952 | 1406 12910 | 49 | 79 1383.18/1383.65 c 1265s | 26 | 12024948 | 8221752 | 1406 12926 | 49 | 79 1385.18/1385.66 c 1267s | 26 | 12041233 | 8233852 | 1406 12942 | 49 | 79 1387.18/1387.67 c 1269s | 26 | 12057220 | 8245752 | 1406 12958 | 49 | 79 1389.19/1389.67 c 1271s | 26 | 12072736 | 8257252 | 1406 12973 | 49 | 79 1391.18/1391.68 c 1273s | 26 | 12089373 | 8269352 | 1406 12989 | 49 | 79 1393.18/1393.68 c 1275s | 26 | 12106196 | 8281652 | 1406 13006 | 49 | 79 1395.18/1395.69 c 1277s | 26 | 12122592 | 8293952 | 1406 13022 | 49 | 79 1397.18/1397.69 c 1279s | 26 | 12138114 | 8305652 | 1406 13038 | 49 | 79 1399.28/1399.70 c 1281s | 26 | 12154310 | 8317152 | 1406 13053 | 49 | 79 1401.29/1401.71 c 1283s | 26 | 12172073 | 8329352 | 1406 13069 | 49 | 79 1403.28/1403.71 c 1285s | 26 | 12189942 | 8341552 | 1406 13085 | 49 | 79 1405.28/1405.73 c 1287s | 26 | 12208058 | 8354052 | 1406 13102 | 49 | 79 1407.28/1407.73 c 1289s | 26 | 12225462 | 8366552 | 1406 13119 | 49 | 79 1409.27/1409.75 c 1291s | 26 | 12242882 | 8378752 | 1406 13135 | 49 | 79 1411.28/1411.75 c 1293s | 26 | 12260882 | 8390852 | 1406 13151 | 49 | 79 1413.28/1413.77 c 1295s | 26 | 12279942 | 8403352 | 1406 13168 | 49 | 79 1415.27/1415.77 c 1297s | 26 | 12297921 | 8415352 | 1406 13184 | 49 | 79 1417.27/1417.78 c 1299s | 26 | 12316836 | 8427952 | 1406 13200 | 49 | 79 1419.27/1419.79 c 1301s | 26 | 12334834 | 8440152 | 1406 13217 | 49 | 79 1421.38/1421.80 c 1303s | 26 | 12351589 | 8452052 | 1406 13232 | 49 | 79 1423.38/1423.81 c 1305s | 26 | 12368990 | 8464252 | 1406 13249 | 49 | 79 1425.39/1425.81 c 1307s | 26 | 12386682 | 8476152 | 1406 13264 | 49 | 79 1427.38/1427.81 c 1309s | 26 | 12403746 | 8487652 | 1406 13280 | 49 | 79 1429.38/1429.82 c 1311s | 26 | 12421471 | 8499652 | 1406 13296 | 49 | 79 1431.38/1431.82 c 1313s | 26 | 12439225 | 8511752 | 1406 13312 | 49 | 79 1433.38/1433.83 c 1315s | 26 | 12457622 | 8524052 | 1406 13328 | 49 | 79 1435.39/1435.85 c 1317s | 26 | 12476463 | 8536252 | 1406 13344 | 49 | 79 1437.38/1437.85 c 1319s | 26 | 12493599 | 8548452 | 1406 13361 | 49 | 79 1439.38/1439.86 c 1321s | 26 | 12511328 | 8560852 | 1406 13377 | 49 | 79 1441.38/1441.87 c 1323s | 26 | 12529275 | 8573052 | 1406 13393 | 49 | 79 1443.38/1443.89 c 1325s | 26 | 12547571 | 8585452 | 1406 13410 | 49 | 79 1445.48/1445.90 c 1327s | 26 | 12565727 | 8597752 | 1406 13426 | 49 | 79 1447.48/1447.91 c 1329s | 26 | 12583809 | 8610052 | 1406 13442 | 49 | 79 1449.48/1449.92 c 1331s | 26 | 12601638 | 8622152 | 1406 13458 | 49 | 79 1451.48/1451.94 c 1333s | 26 | 12619774 | 8634252 | 1406 13475 | 49 | 79 1453.48/1453.95 c 1335s | 26 | 12637663 | 8646252 | 1406 13490 | 49 | 79 1455.47/1455.96 c 1337s | 26 | 12656592 | 8658752 | 1406 13507 | 49 | 79 1457.47/1457.97 c 1339s | 26 | 12673911 | 8670752 | 1406 13523 | 49 | 79 1459.48/1459.97 c 1341s | 26 | 12691839 | 8683052 | 1406 13539 | 49 | 79 1461.47/1461.98 c 1343s | 26 | 12709056 | 8694852 | 1406 13555 | 49 | 79 1463.47/1463.99 c 1345s | 26 | 12727743 | 8707152 | 1406 13571 | 49 | 79 1465.57/1466.00 c 1347s | 26 | 12746418 | 8718952 | 1406 13587 | 49 | 79 1467.57/1468.00 c 1349s | 26 | 12764772 | 8730552 | 1406 13603 | 49 | 79 1469.57/1470.01 c 1351s | 26 | 12782686 | 8742552 | 1406 13619 | 49 | 79 1471.58/1472.02 c 1353s | 26 | 12801280 | 8754952 | 1406 13635 | 49 | 79 1473.57/1474.02 c 1355s | 26 | 12819810 | 8767252 | 1406 13651 | 49 | 79 1475.57/1476.02 c 1357s | 26 | 12836948 | 8778652 | 1406 13667 | 49 | 79 1477.56/1478.04 c 1359s | 26 | 12853518 | 8790152 | 1406 13682 | 49 | 79 1479.56/1480.05 c 1361s | 26 | 12870816 | 8801852 | 1406 13697 | 49 | 79 1481.57/1482.06 c 1364s | 26 | 12886818 | 8813252 | 1406 13713 | 49 | 79 1483.56/1484.07 c 1366s | 26 | 12901922 | 8824452 | 1406 13727 | 49 | 79 1485.57/1486.07 c 1368s | 26 | 12918040 | 8835552 | 1406 13742 | 49 | 79 1487.57/1488.08 c 1370s | 26 | 12934952 | 8847452 | 1406 13758 | 49 | 79 1489.57/1490.09 c 1372s | 26 | 12951486 | 8859452 | 1406 13774 | 49 | 79 1491.57/1492.09 c 1374s | 26 | 12968584 | 8871452 | 1406 13790 | 49 | 79 1493.58/1494.10 c 1376s | 26 | 12986452 | 8883752 | 1406 13806 | 49 | 79 1495.67/1496.11 c 1378s | 26 | 13004002 | 8895752 | 1406 13822 | 49 | 79 1497.67/1498.13 c 1380s | 26 | 13021290 | 8907752 | 1406 13838 | 49 | 79 1499.67/1500.14 c 1382s | 26 | 13038283 | 8919652 | 1406 13854 | 49 | 79 1501.67/1502.15 c 1384s | 26 | 13055230 | 8931352 | 1406 13870 | 49 | 79 1503.67/1504.16 c 1386s | 26 | 13073655 | 8943552 | 1406 13886 | 49 | 79 1505.77/1506.21 c 1388s | 26 | 13091101 | 8955552 | 1406 13902 | 49 | 79 1507.77/1508.22 c 1390s | 26 | 13107912 | 8967052 | 1406 13917 | 49 | 79 1509.77/1510.23 c 1392s | 26 | 13124549 | 8978552 | 1406 13932 | 49 | 79 1511.77/1512.24 c 1394s | 26 | 13141368 | 8990252 | 1406 13948 | 49 | 79 1513.76/1514.24 c 1396s | 26 | 13158356 | 9001752 | 1406 13963 | 49 | 79 1515.76/1516.26 c 1398s | 26 | 13174991 | 9012952 | 1406 13978 | 49 | 79 1517.77/1518.26 c 1400s | 26 | 13193181 | 9024952 | 1406 13994 | 49 | 79 1519.76/1520.27 c 1402s | 26 | 13210454 | 9036652 | 1406 14010 | 49 | 79 1521.76/1522.29 c 1404s | 26 | 13228210 | 9048552 | 1406 14026 | 49 | 79 1523.86/1524.30 c 1406s | 26 | 13245067 | 9059852 | 1406 14041 | 49 | 79 1525.86/1526.30 c 1408s | 26 | 13262394 | 9071652 | 1406 14056 | 49 | 79 1527.86/1528.30 c 1410s | 26 | 13281480 | 9084452 | 1406 14073 | 49 | 79 1529.87/1530.31 c 1412s | 26 | 13298942 | 9096752 | 1406 14090 | 49 | 79 1531.86/1532.33 c 1414s | 26 | 13314983 | 9108852 | 1406 14106 | 49 | 79 1533.86/1534.33 c 1416s | 26 | 13330930 | 9120652 | 1406 14121 | 49 | 79 1535.86/1536.34 c 1418s | 26 | 13347902 | 9132852 | 1406 14138 | 49 | 79 1537.86/1538.36 c 1420s | 26 | 13364145 | 9144952 | 1406 14154 | 49 | 79 1539.87/1540.37 c 1422s | 26 | 13382720 | 9156952 | 1406 14170 | 49 | 79 1541.86/1542.39 c 1424s | 26 | 13399409 | 9168752 | 1406 14185 | 49 | 79 1543.96/1544.41 c 1426s | 26 | 13417276 | 9180852 | 1406 14202 | 49 | 79 1545.96/1546.42 c 1428s | 26 | 13435678 | 9193352 | 1406 14218 | 49 | 79 1547.96/1548.44 c 1430s | 26 | 13453580 | 9205452 | 1406 14234 | 49 | 79 1549.96/1550.45 c 1432s | 26 | 13472531 | 9217952 | 1406 14251 | 49 | 79 1551.96/1552.46 c 1434s | 26 | 13490726 | 9229952 | 1406 14267 | 49 | 79 1553.96/1554.46 c 1436s | 26 | 13506806 | 9241352 | 1406 14282 | 49 | 79 1555.96/1556.48 c 1438s | 26 | 13525224 | 9253752 | 1406 14299 | 49 | 79 1557.96/1558.48 c 1440s | 26 | 13540924 | 9265852 | 1406 14315 | 49 | 79 1559.95/1560.50 c 1442s | 26 | 13557865 | 9277852 | 1406 14331 | 49 | 79 1562.05/1562.50 c 1444s | 26 | 13576756 | 9290552 | 1406 14348 | 49 | 79 1564.06/1564.51 c 1446s | 26 | 13594562 | 9302652 | 1406 14364 | 49 | 79 1566.05/1566.52 c 1448s | 26 | 13612247 | 9315152 | 1406 14380 | 49 | 79 1568.05/1568.53 c 1450s | 26 | 13629766 | 9327152 | 1406 14396 | 49 | 79 1570.05/1570.53 c 1452s | 26 | 13647906 | 9339152 | 1406 14412 | 49 | 79 1572.05/1572.54 c 1454s | 26 | 13665567 | 9351552 | 1406 14429 | 49 | 79 1574.05/1574.59 c 1456s | 26 | 13682503 | 9363752 | 1406 14445 | 49 | 79 1576.06/1576.60 c 1458s | 26 | 13702224 | 9376352 | 1406 14462 | 49 | 79 1578.15/1578.61 c 1460s | 26 | 13720535 | 9388152 | 1406 14477 | 49 | 79 1580.15/1580.62 c 1462s | 26 | 13737085 | 9399852 | 1406 14493 | 49 | 79 1582.15/1582.62 c 1464s | 26 | 13753796 | 9411552 | 1406 14509 | 49 | 79 1584.15/1584.63 c 1466s | 26 | 13769677 | 9423152 | 1406 14524 | 49 | 79 1586.15/1586.63 c 1468s | 26 | 13785580 | 9435152 | 1406 14540 | 49 | 79 1588.16/1588.65 c 1470s | 26 | 13801678 | 9447352 | 1406 14556 | 49 | 79 1590.15/1590.65 c 1472s | 26 | 13818376 | 9459752 | 1406 14573 | 49 | 79 1592.15/1592.66 c 1474s | 26 | 13835617 | 9472152 | 1406 14589 | 49 | 79 1594.15/1594.66 c 1476s | 26 | 13853242 | 9484052 | 1406 14605 | 49 | 79 1596.15/1596.67 c 1478s | 26 | 13868486 | 9495052 | 1406 14620 | 49 | 79 1598.16/1598.68 c 1480s | 26 | 13885542 | 9506852 | 1406 14635 | 49 | 79 1600.25/1600.73 c 1482s | 26 | 13903627 | 9519352 | 1406 14652 | 49 | 79 1602.25/1602.74 c 1484s | 26 | 13920329 | 9531452 | 1406 14668 | 49 | 79 1604.25/1604.75 c 1486s | 26 | 13936727 | 9543552 | 1406 14684 | 49 | 79 1606.25/1606.75 c 1488s | 26 | 13952705 | 9555152 | 1406 14700 | 49 | 79 1608.25/1608.76 c 1490s | 26 | 13969888 | 9567152 | 1406 14716 | 49 | 79 1610.25/1610.77 c 1492s | 26 | 13988378 | 9579252 | 1406 14732 | 49 | 79 1612.24/1612.79 c 1494s | 26 | 14005024 | 9591052 | 1406 14747 | 49 | 79 1614.34/1614.80 c 1496s | 26 | 14021614 | 9602452 | 1406 14762 | 49 | 79 1616.34/1616.81 c 1498s | 26 | 14038731 | 9614552 | 1406 14779 | 49 | 79 1618.34/1618.82 c 1500s | 26 | 14057955 | 9627052 | 1406 14795 | 49 | 79 1620.34/1620.83 c 1502s | 26 | 14076503 | 9638952 | 1406 14811 | 49 | 79 1622.36/1622.88 c 1504s | 26 | 14095209 | 9651052 | 1406 14827 | 49 | 79 1624.35/1624.88 c 1506s | 26 | 14114875 | 9662752 | 1406 14843 | 49 | 79 1626.35/1626.90 c 1508s | 26 | 14132881 | 9674952 | 1406 14859 | 49 | 79 1628.45/1628.90 c 1510s | 26 | 14151798 | 9686952 | 1406 14875 | 49 | 79 1630.45/1630.90 c 1512s | 26 | 14170386 | 9698952 | 1406 14891 | 49 | 79 1632.45/1632.91 c 1514s | 26 | 14187003 | 9710452 | 1406 14906 | 49 | 79 1634.46/1634.92 c 1516s | 26 | 14204447 | 9722252 | 1406 14922 | 49 | 79 1636.45/1636.93 c 1518s | 26 | 14223245 | 9734652 | 1406 14939 | 49 | 79 1638.45/1638.94 c 1520s | 26 | 14242385 | 9747052 | 1406 14955 | 49 | 79 1640.45/1640.95 c 1522s | 26 | 14260438 | 9759052 | 1406 14971 | 49 | 79 1642.45/1642.96 c 1524s | 26 | 14277748 | 9770952 | 1406 14987 | 49 | 79 1644.45/1644.97 c 1526s | 26 | 14294614 | 9782452 | 1406 15002 | 49 | 79 1646.45/1646.98 c 1528s | 26 | 14313078 | 9794752 | 1406 15019 | 49 | 79 1648.44/1648.98 c 1530s | 26 | 14330818 | 9806352 | 1406 15034 | 49 | 79 1650.44/1651.00 c 1532s | 26 | 14348778 | 9818352 | 1406 15050 | 49 | 79 1652.54/1653.01 c 1534s | 26 | 14366852 | 9830452 | 1406 15066 | 49 | 79 1654.54/1655.02 c 1536s | 26 | 14385553 | 9841952 | 1406 15081 | 49 | 79 1656.54/1657.03 c 1538s | 26 | 14403817 | 9854052 | 1406 15098 | 49 | 79 1658.55/1659.05 c 1541s | 26 | 14421533 | 9865752 | 1406 15113 | 49 | 79 1660.64/1661.10 c 1543s | 26 | 14440331 | 9877352 | 1406 15129 | 49 | 79 1662.64/1663.11 c 1545s | 26 | 14457523 | 9889152 | 1406 15144 | 49 | 79 1664.64/1665.13 c 1547s | 26 | 14474459 | 9900652 | 1406 15160 | 49 | 79 1666.64/1667.14 c 1549s | 26 | 14489806 | 9911852 | 1406 15175 | 49 | 79 1668.64/1669.14 c 1551s | 26 | 14507969 | 9923752 | 1406 15190 | 49 | 79 1670.65/1671.14 c 1553s | 26 | 14525340 | 9935552 | 1406 15206 | 49 | 79 1672.64/1673.16 c 1555s | 26 | 14542161 | 9947152 | 1406 15222 | 49 | 79 1674.64/1675.17 c 1557s | 26 | 14559590 | 9959252 | 1406 15238 | 49 | 79 1676.64/1677.17 c 1559s | 26 | 14577212 | 9971252 | 1406 15254 | 49 | 79 1678.64/1679.18 c 1561s | 26 | 14595109 | 9983152 | 1406 15270 | 49 | 79 1680.64/1681.19 c 1563s | 26 | 14612702 | 9995152 | 1406 15286 | 49 | 79 1682.63/1683.19 c 1565s | 26 | 14630899 | 10007252 | 1406 15302 | 49 | 79 1684.73/1685.20 c 1567s | 26 | 14646713 | 10019252 | 1406 15318 | 49 | 79 1686.73/1687.20 c 1569s | 26 | 14663707 | 10031252 | 1406 15334 | 49 | 79 1688.73/1689.21 c 1571s | 26 | 14680882 | 10043152 | 1406 15349 | 49 | 79 1690.73/1691.22 c 1573s | 26 | 14696809 | 10054852 | 1406 15365 | 49 | 79 1692.74/1693.23 c 1575s | 26 | 14714115 | 10066752 | 1406 15381 | 49 | 79 1694.73/1695.23 c 1577s | 26 | 14730417 | 10078552 | 1406 15396 | 49 | 79 1696.73/1697.23 c 1579s | 26 | 14746523 | 10090052 | 1406 15412 | 49 | 79 1698.73/1699.25 c 1581s | 26 | 14763480 | 10101852 | 1406 15427 | 49 | 79 1700.73/1701.25 c 1583s | 26 | 14781267 | 10113552 | 1406 15443 | 49 | 79 1702.73/1703.26 c 1585s | 26 | 14796576 | 10124752 | 1406 15458 | 49 | 79 1704.74/1705.27 c 1587s | 26 | 14812470 | 10136452 | 1406 15473 | 49 | 79 1706.73/1707.27 c 1589s | 26 | 14827590 | 10148152 | 1406 15489 | 49 | 79 1708.73/1709.28 c 1591s | 26 | 14843414 | 10159752 | 1406 15504 | 49 | 79 1710.73/1711.28 c 1593s | 26 | 14860912 | 10171652 | 1406 15520 | 49 | 79 1712.84/1713.30 c 1595s | 26 | 14877448 | 10183752 | 1406 15536 | 49 | 79 1714.84/1715.31 c 1597s | 26 | 14894018 | 10195552 | 1406 15552 | 49 | 79 1716.84/1717.31 c 1599s | 26 | 14910698 | 10207752 | 1406 15568 | 49 | 79 1718.83/1719.31 c 1601s | 26 | 14928467 | 10220252 | 1406 15585 | 49 | 79 1720.83/1721.31 c 1603s | 26 | 14944810 | 10232352 | 1406 15601 | 49 | 79 1722.84/1723.34 c 1605s | 26 | 14959812 | 10243652 | 1406 15616 | 49 | 79 1724.83/1725.35 c 1607s | 26 | 14975424 | 10255052 | 1406 15631 | 49 | 79 1726.84/1727.36 c 1609s | 26 | 14992699 | 10266752 | 1406 15646 | 49 | 79 1728.83/1729.37 c 1611s | 26 | 15009649 | 10278652 | 1406 15662 | 49 | 79 1730.83/1731.38 c 1613s | 26 | 15025943 | 10290452 | 1406 15678 | 49 | 79 1732.83/1733.39 c 1615s | 26 | 15042542 | 10302352 | 1406 15694 | 49 | 79 1734.93/1735.40 c 1617s | 26 | 15058517 | 10313752 | 1547 15708 | 49 | 79 1736.93/1737.41 c 1619s | 26 | 15074198 | 10325052 | 1547 15722 | 49 | 79 1738.94/1739.43 c 1621s | 26 | 15090537 | 10336752 | 1547 15736 | 49 | 79 1740.93/1741.43 c 1623s | 26 | 15106790 | 10348452 | 1547 15750 | 49 | 79 1742.93/1743.43 c 1625s | 26 | 15123487 | 10360452 | 1547 15765 | 49 | 79 1744.93/1745.44 c 1627s | 26 | 15140192 | 10372152 | 1547 15779 | 49 | 79 1746.93/1747.44 c 1629s | 26 | 15156406 | 10383652 | 1547 15793 | 49 | 79 1748.93/1749.46 c 1631s | 26 | 15172665 | 10394952 | 1547 15806 | 49 | 79 1750.93/1751.46 c 1633s | 26 | 15188819 | 10405952 | 1547 15820 | 49 | 79 1752.93/1753.46 c 1635s | 26 | 15204425 | 10416752 | 1547 15833 | 49 | 79 1754.93/1755.47 c 1637s | 26 | 15221701 | 10428252 | 1547 15847 | 49 | 79 1756.93/1757.49 c 1639s | 26 | 15236744 | 10439252 | 1547 15860 | 49 | 79 1759.02/1759.52 c 1641s | 26 | 15252363 | 10450952 | 1547 15875 | 49 | 79 1761.02/1761.53 c 1643s | 26 | 15269976 | 10462752 | 1547 15889 | 49 | 79 1763.03/1763.53 c 1645s | 26 | 15286292 | 10474152 | 1547 15903 | 49 | 79 1765.02/1765.54 c 1647s | 26 | 15301594 | 10484752 | 1547 15915 | 49 | 79 1767.02/1767.57 c 1649s | 26 | 15317884 | 10496352 | 1547 15930 | 49 | 79 1769.02/1769.58 c 1651s | 26 | 15333129 | 10507152 | 1547 15943 | 49 | 79 1771.02/1771.60 c 1653s | 26 | 15349136 | 10518652 | 1547 15957 | 49 | 79 1773.12/1773.61 c 1655s | 26 | 15365442 | 10529852 | 1547 15970 | 49 | 79 1775.13/1775.62 c 1657s | 26 | 15381054 | 10541052 | 1547 15984 | 49 | 79 1777.12/1777.62 c 1659s | 26 | 15395737 | 10551752 | 1547 15997 | 49 | 79 1779.12/1779.63 c 1661s | 26 | 15410555 | 10562252 | 1547 16010 | 49 | 79 1781.12/1781.63 c 1663s | 26 | 15426789 | 10573852 | 1547 16024 | 49 | 79 1783.12/1783.64 c 1665s | 26 | 15444088 | 10586152 | 1547 16039 | 49 | 79 1785.12/1785.65 c 1667s | 26 | 15460599 | 10598052 | 1547 16053 | 49 | 79 1787.13/1787.65 c 1669s | 26 | 15476505 | 10609852 | 1547 16067 | 49 | 79 1789.13/1789.65 c 1671s | 26 | 15492686 | 10621352 | 1547 16081 | 49 | 79 1791.12/1791.67 c 1673s | 26 | 15507501 | 10632552 | 1547 16095 | 49 | 79 1793.12/1793.67 c 1675s | 26 | 15523653 | 10644252 | 1547 16109 | 49 | 79 1795.12/1795.68 c 1677s | 26 | 15538724 | 10655152 | 1547 16122 | 49 | 79 1797.13/1797.68 c 1679s | 26 | 15554505 | 10666652 | 1547 16136 | 49 | 79 1799.12/1799.69 c 1681s | 26 | 15570250 | 10678052 | 1547 16150 | 49 | 79
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-4119488-1467260794/watcher-4119488-1467260794 -o /tmp/evaluation-result-4119488-1467260794/solver-4119488-1467260794 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467260794-16053 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119488-1467260794.opb pid=16076 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.20 3.20 3.59 4/175 16082 /proc/meminfo: memFree=29148936/32872528 swapFree=7620/7620 [pid=16082] ppid=16076 vsize=717380 CPUtime=0 cores=0,2,4,6 /proc/16082/stat : 16082 (toysat) R 16076 16082 8968 0 -1 4202496 2679 0 0 0 0 0 0 0 20 0 4 0 6975570 734597120 3039 33554432000 4194304 16246674 140736969307440 140736969306864 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16082/statm: 180113 3048 442 2943 0 177007 0 [pid=16082/tid=16086] ppid=16076 vsize=734788 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16086/stat : 16086 (toysat) S 16076 16082 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6975570 752422912 3106 33554432000 4194304 16246674 140736969307440 140724167224560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16082/tid=16087] ppid=16076 vsize=738884 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16087/stat : 16087 (toysat) S 16076 16082 8968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6975570 756617216 3122 33554432000 4194304 16246674 140736969307440 140724156734704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16082/tid=16088] ppid=16076 vsize=742980 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16088/stat : 16088 (toysat) S 16076 16082 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6975570 760811520 3138 33554432000 4194304 16246674 140736969307440 140724146261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.10006 s] /proc/loadavg: 2.20 3.20 3.59 4/175 16082 /proc/meminfo: memFree=29148936/32872528 swapFree=7620/7620 [pid=16082] ppid=16076 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/16082/stat : 16082 (toysat) R 16076 16082 8968 0 -1 4202496 21732 0 0 0 6 3 0 0 20 0 4 0 6975570 1247350784 22080 33554432000 4194304 16246674 140736969307440 140736969306864 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16082/statm: 304529 22084 796 2943 0 301423 0 [pid=16082/tid=16086] ppid=16076 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16086/stat : 16086 (toysat) S 16076 16082 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6975570 1247350784 22091 33554432000 4194304 16246674 140736969307440 140724167224560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16082/tid=16087] ppid=16076 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16087/stat : 16087 (toysat) S 16076 16082 8968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6975570 1247350784 22094 33554432000 4194304 16246674 140736969307440 140724156734704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16082/tid=16088] ppid=16076 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16088/stat : 16088 (toysat) S 16076 16082 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6975570 1247350784 22101 33554432000 4194304 16246674 140736969307440 140724146261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.20048 s] /proc/loadavg: 2.20 3.20 3.59 4/175 16082 /proc/meminfo: memFree=29148936/32872528 swapFree=7620/7620 [pid=16082] ppid=16076 vsize=1218116 CPUtime=0.18 cores=0,2,4,6 /proc/16082/stat : 16082 (toysat) R 16076 16082 8968 0 -1 4202496 40795 0 0 0 13 5 0 0 20 0 4 0 6975570 1247350784 41143 33554432000 4194304 16246674 140736969307440 140736969306864 12478189 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16082/statm: 304529 41153 796 2943 0 301423 0 [pid=16082/tid=16086] ppid=16076 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16086/stat : 16086 (toysat) S 16076 16082 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6975570 1247350784 41156 33554432000 4194304 16246674 140736969307440 140724167224560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16082/tid=16087] ppid=16076 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16087/stat : 16087 (toysat) S 16076 16082 8968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6975570 1247350784 41164 33554432000 4194304 16246674 140736969307440 140724156734704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16082/tid=16088] ppid=16076 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16088/stat : 16088 (toysat) S 16076 16082 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6975570 1247350784 41170 33554432000 4194304 16246674 140736969307440 140724146261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1218116 [startup+0.300445 s] /proc/loadavg: 2.20 3.20 3.59 4/175 16082 /proc/meminfo: memFree=29148936/32872528 swapFree=7620/7620 [pid=16082] ppid=16076 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/16082/stat : 16082 (toysat) R 16076 16082 8968 0 -1 4202496 61069 0 0 0 21 8 0 0 20 0 4 0 6975570 1247350784 61417 33554432000 4194304 16246674 140736969307440 140736969306864 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16082/statm: 304529 61423 796 2943 0 301423 0 [pid=16082/tid=16086] ppid=16076 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16086/stat : 16086 (toysat) S 16076 16082 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6975570 1247350784 61427 33554432000 4194304 16246674 140736969307440 140724167224560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16082/tid=16087] ppid=16076 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16087/stat : 16087 (toysat) S 16076 16082 8968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6975570 1247350784 61436 33554432000 4194304 16246674 140736969307440 140724156734704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16082/tid=16088] ppid=16076 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16088/stat : 16088 (toysat) S 16076 16082 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6975570 1247350784 61440 33554432000 4194304 16246674 140736969307440 140724146261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.70034 s] /proc/loadavg: 2.20 3.20 3.59 4/175 16082 /proc/meminfo: memFree=29148936/32872528 swapFree=7620/7620 [pid=16082] ppid=16076 vsize=1218116 CPUtime=0.68 cores=0,2,4,6 /proc/16082/stat : 16082 (toysat) R 16076 16082 8968 0 -1 4202496 143289 0 0 0 49 19 0 0 20 0 4 0 6975570 1247350784 143636 33554432000 4194304 16246674 140736969307440 140736969306864 5828874 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16082/statm: 304529 143640 797 2943 0 301423 0 [pid=16082/tid=16086] ppid=16076 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16086/stat : 16086 (toysat) S 16076 16082 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6975570 1247350784 143650 33554432000 4194304 16246674 140736969307440 140724167224560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16082/tid=16087] ppid=16076 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16087/stat : 16087 (toysat) S 16076 16082 8968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6975570 1247350784 143659 33554432000 4194304 16246674 140736969307440 140724156734704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16082/tid=16088] ppid=16076 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16088/stat : 16088 (toysat) S 16076 16082 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6975570 1247350784 143664 33554432000 4194304 16246674 140736969307440 140724146261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1218116 [startup+1.50034 s] /proc/loadavg: 2.20 3.20 3.59 4/183 16090 /proc/meminfo: memFree=27250412/32872528 swapFree=7620/7620 [pid=16082] ppid=16076 vsize=1219140 CPUtime=1.48 cores=0,2,4,6 /proc/16082/stat : 16082 (toysat) R 16076 16082 8968 0 -1 4202496 245802 0 0 0 116 32 0 0 20 0 4 0 6975570 1248399360 246127 33554432000 4194304 16246674 140736969307440 140736969306752 13950188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16082/statm: 304785 246127 855 2943 0 301679 0 [pid=16082/tid=16086] ppid=16076 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16086/stat : 16086 (toysat) S 16076 16082 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6975570 1248399360 246127 33554432000 4194304 16246674 140736969307440 140724167224560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16082/tid=16087] ppid=16076 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16087/stat : 16087 (toysat) S 16076 16082 8968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6975570 1248399360 246127 33554432000 4194304 16246674 140736969307440 140724156734704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16082/tid=16088] ppid=16076 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16088/stat : 16088 (toysat) S 16076 16082 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6975570 1248399360 246127 33554432000 4194304 16246674 140736969307440 140724146261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1219140 [startup+3.10039 s] /proc/loadavg: 2.20 3.20 3.59 4/183 16090 /proc/meminfo: memFree=27007968/32872528 swapFree=7620/7620 [pid=16082] ppid=16076 vsize=1306180 CPUtime=3.09 cores=0,2,4,6 /proc/16082/stat : 16082 (toysat) R 16076 16082 8968 0 -1 4202496 267420 0 0 0 274 35 0 0 20 0 4 0 6975570 1337528320 267745 33554432000 4194304 16246674 140736969307440 140736969290440 5677888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16082/statm: 326545 267745 855 2943 0 323439 0 [pid=16082/tid=16086] ppid=16076 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16086/stat : 16086 (toysat) S 16076 16082 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6975570 1337528320 267745 33554432000 4194304 16246674 140736969307440 140724167224560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16082/tid=16087] ppid=16076 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16087/stat : 16087 (toysat) S 16076 16082 8968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6975570 1337528320 267745 33554432000 4194304 16246674 140736969307440 140724156734704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16082/tid=16088] ppid=16076 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16088/stat : 16088 (toysat) S 16076 16082 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6975570 1337528320 267745 33554432000 4194304 16246674 140736969307440 140724146261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30033 s] /proc/loadavg: 2.43 3.23 3.60 4/183 16090 /proc/meminfo: memFree=27004868/32872528 swapFree=7620/7620 [pid=16082] ppid=16076 vsize=1306180 CPUtime=6.28 cores=0,2,4,6 /proc/16082/stat : 16082 (toysat) R 16076 16082 8968 0 -1 4202496 267526 0 0 0 593 35 0 0 20 0 4 0 6975570 1337528320 267851 33554432000 4194304 16246674 140736969307440 140736969290440 5661144 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16082/statm: 326545 267851 855 2943 0 323439 0 [pid=16082/tid=16086] ppid=16076 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16086/stat : 16086 (toysat) S 16076 16082 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6975570 1337528320 267851 33554432000 4194304 16246674 140736969307440 140724167224560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16082/tid=16087] ppid=16076 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16087/stat : 16087 (toysat) S 16076 16082 8968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6975570 1337528320 267851 33554432000 4194304 16246674 140736969307440 140724156734704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16082/tid=16088] ppid=16076 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16088/stat : 16088 (toysat) S 16076 16082 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6975570 1337528320 267851 33554432000 4194304 16246674 140736969307440 140724146261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.39 3.21 3.59 4/183 16090 /proc/meminfo: memFree=27004232/32872528 swapFree=7620/7620 [pid=16082] ppid=16076 vsize=1306180 CPUtime=12.68 cores=0,2,4,6 /proc/16082/stat : 16082 (toysat) R 16076 16082 8968 0 -1 4202496 267646 0 0 0 1233 35 0 0 20 0 4 0 6975570 1337528320 267971 33554432000 4194304 16246674 140736969307440 140736969289344 5823849 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16082/statm: 326545 267971 855 2943 0 323439 0 [pid=16082/tid=16086] ppid=16076 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16086/stat : 16086 (toysat) S 16076 16082 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6975570 1337528320 267971 33554432000 4194304 16246674 140736969307440 140724167224560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16082/tid=16087] ppid=16076 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16087/stat : 16087 (toysat) S 16076 16082 8968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6975570 1337528320 267971 33554432000 4194304 16246674 140736969307440 140724156734704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16082/tid=16088] ppid=16076 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16088/stat : 16088 (toysat) S 16076 16082 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6975570 1337528320 267971 33554432000 4194304 16246674 140736969307440 140724146261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1306180 [startup+25.5003 s] /proc/loadavg: 2.30 3.15 3.56 4/183 16090 /proc/meminfo: memFree=27002640/32872528 swapFree=7620/7620 [pid=16082] ppid=16076 vsize=1307204 CPUtime=25.49 cores=0,2,4,6 /proc/16082/stat : 16082 (toysat) R 16076 16082 8968 0 -1 4202496 267903 0 0 0 2514 35 0 0 20 0 4 0 6975570 1338576896 268228 33554432000 4194304 16246674 140736969307440 140736969290440 5602484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16082/statm: 326801 268228 855 2943 0 323695 0 [pid=16082/tid=16086] ppid=16076 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16086/stat : 16086 (toysat) S 16076 16082 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6975570 1338576896 268228 33554432000 4194304 16246674 140736969307440 140724167224560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16082/tid=16087] ppid=16076 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16087/stat : 16087 (toysat) S 16076 16082 8968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6975570 1338576896 268228 33554432000 4194304 16246674 140736969307440 140724156734704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16082/tid=16088] ppid=16076 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16088/stat : 16088 (toysat) S 16076 16082 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6975570 1338576896 268228 33554432000 4194304 16246674 140736969307440 140724146261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1307204 [startup+51.1004 s] /proc/loadavg: 2.20 3.06 3.52 4/183 16090 /proc/meminfo: memFree=27002648/32872528 swapFree=7620/7620 [pid=16082] ppid=16076 vsize=1307204 CPUtime=51.08 cores=0,2,4,6 /proc/16082/stat : 16082 (toysat) R 16076 16082 8968 0 -1 4202496 267903 0 0 0 5072 36 0 0 20 0 4 0 6975570 1338576896 268228 33554432000 4194304 16246674 140736969307440 140736969289344 12483423 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16082/statm: 326801 268228 855 2943 0 323695 0 [pid=16082/tid=16086] ppid=16076 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16086/stat : 16086 (toysat) S 16076 16082 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6975570 1338576896 268228 33554432000 4194304 16246674 140736969307440 140724167224560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16082/tid=16087] ppid=16076 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16087/stat : 16087 (toysat) S 16076 16082 8968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6975570 1338576896 268228 33554432000 4194304 16246674 140736969307440 140724156734704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16082/tid=16088] ppid=16076 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16088/stat : 16088 (toysat) S 16076 16082 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6975570 1338576896 268228 33554432000 4194304 16246674 140736969307440 140724146261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1307204 [startup+102.3 s] /proc/loadavg: 2.08 2.89 3.44 4/183 16091 /proc/meminfo: memFree=26999428/32872528 swapFree=7620/7620 [pid=16082] ppid=16076 vsize=1307204 CPUtime=102.27 cores=0,2,4,6 /proc/16082/stat : 16082 (toysat) R 16076 16082 8968 0 -1 4202496 267903 0 0 0 10190 37 0 0 20 0 4 0 6975570 1338576896 268228 33554432000 4194304 16246674 140736969307440 140736969290440 13950986 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16082/statm: 326801 268228 855 2943 0 323695 0 [pid=16082/tid=16086] ppid=16076 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16086/stat : 16086 (toysat) S 16076 16082 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6975570 1338576896 268228 33554432000 4194304 16246674 140736969307440 140724167224560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16082/tid=16087] ppid=16076 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16087/stat : 16087 (toysat) S 16076 16082 8968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6975570 1338576896 268228 33554432000 4194304 16246674 140736969307440 140724156734704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16082/tid=16088] ppid=16076 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16088/stat : 16088 (toysat) S 16076 16082 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6975570 1338576896 268228 33554432000 4194304 16246674 140736969307440 140724146261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1307204 ################ # More data... # ################ /proc/16082/task/16088/stat : 16088 (toysat) S 16076 16082 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6975570 1352208384 271561 33554432000 4194304 16246674 140736969307440 140724146261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1320516 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 2.36 4/183 16122 /proc/meminfo: memFree=26968484/32872528 swapFree=7620/7620 [pid=16082] ppid=16076 vsize=1321540 CPUtime=1361.89 cores=0,2,4,6 /proc/16082/stat : 16082 (toysat) R 16076 16082 8968 0 -1 4202496 271880 0 0 0 136131 58 0 0 20 0 4 0 6975570 1353256960 271817 33554432000 4194304 16246674 140736969307440 140736969289344 5711439 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16082/statm: 330385 271817 857 2943 0 327279 0 [pid=16082/tid=16086] ppid=16076 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16086/stat : 16086 (toysat) S 16076 16082 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6975570 1353256960 271817 33554432000 4194304 16246674 140736969307440 140724167224560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16082/tid=16087] ppid=16076 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16087/stat : 16087 (toysat) S 16076 16082 8968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6975570 1353256960 271817 33554432000 4194304 16246674 140736969307440 140724156734704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16082/tid=16088] ppid=16076 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16088/stat : 16088 (toysat) S 16076 16082 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6975570 1353256960 271817 33554432000 4194304 16246674 140736969307440 140724146261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1321540 [startup+1422.3 s] /proc/loadavg: 2.00 2.01 2.34 4/184 16126 /proc/meminfo: memFree=26968716/32872528 swapFree=7620/7620 [pid=16082] ppid=16076 vsize=1321540 CPUtime=1421.88 cores=0,2,4,6 /proc/16082/stat : 16082 (toysat) R 16076 16082 8968 0 -1 4202496 271892 0 0 0 142129 59 0 0 20 0 4 0 6975570 1353256960 271817 33554432000 4194304 16246674 140736969307440 140736969289344 6011712 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16082/statm: 330385 271817 857 2943 0 327279 0 [pid=16082/tid=16086] ppid=16076 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16086/stat : 16086 (toysat) S 16076 16082 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6975570 1353256960 271817 33554432000 4194304 16246674 140736969307440 140724167224560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16082/tid=16087] ppid=16076 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16087/stat : 16087 (toysat) S 16076 16082 8968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6975570 1353256960 271817 33554432000 4194304 16246674 140736969307440 140724156734704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16082/tid=16088] ppid=16076 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16088/stat : 16088 (toysat) S 16076 16082 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6975570 1353256960 271817 33554432000 4194304 16246674 140736969307440 140724146261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1321540 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.31 4/183 16127 /proc/meminfo: memFree=26968260/32872528 swapFree=7620/7620 [pid=16082] ppid=16076 vsize=1321540 CPUtime=1481.86 cores=0,2,4,6 /proc/16082/stat : 16082 (toysat) R 16076 16082 8968 0 -1 4202496 271892 0 0 0 148127 59 0 0 20 0 4 0 6975570 1353256960 271817 33554432000 4194304 16246674 140736969307440 140736969289344 5721677 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16082/statm: 330385 271817 857 2943 0 327279 0 [pid=16082/tid=16086] ppid=16076 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16086/stat : 16086 (toysat) S 16076 16082 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6975570 1353256960 271817 33554432000 4194304 16246674 140736969307440 140724167224560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16082/tid=16087] ppid=16076 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16087/stat : 16087 (toysat) S 16076 16082 8968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6975570 1353256960 271817 33554432000 4194304 16246674 140736969307440 140724156734704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16082/tid=16088] ppid=16076 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16088/stat : 16088 (toysat) S 16076 16082 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6975570 1353256960 271817 33554432000 4194304 16246674 140736969307440 140724146261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1321540 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.29 4/183 16129 /proc/meminfo: memFree=26968508/32872528 swapFree=7620/7620 [pid=16082] ppid=16076 vsize=1321540 CPUtime=1541.86 cores=0,2,4,6 /proc/16082/stat : 16082 (toysat) R 16076 16082 8968 0 -1 4202496 271892 0 0 0 154126 60 0 0 20 0 4 0 6975570 1353256960 271817 33554432000 4194304 16246674 140736969307440 140736969290440 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16082/statm: 330385 271817 857 2943 0 327279 0 [pid=16082/tid=16086] ppid=16076 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16086/stat : 16086 (toysat) S 16076 16082 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6975570 1353256960 271817 33554432000 4194304 16246674 140736969307440 140724167224560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16082/tid=16087] ppid=16076 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16087/stat : 16087 (toysat) S 16076 16082 8968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6975570 1353256960 271817 33554432000 4194304 16246674 140736969307440 140724156734704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16082/tid=16088] ppid=16076 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16088/stat : 16088 (toysat) S 16076 16082 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6975570 1353256960 271817 33554432000 4194304 16246674 140736969307440 140724146261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1321540 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.27 4/183 16130 /proc/meminfo: memFree=26965280/32872528 swapFree=7620/7620 [pid=16082] ppid=16076 vsize=1325636 CPUtime=1601.85 cores=0,2,4,6 /proc/16082/stat : 16082 (toysat) R 16076 16082 8968 0 -1 4202496 272916 0 0 0 160125 60 0 0 20 0 4 0 6975570 1357451264 272841 33554432000 4194304 16246674 140736969307440 140736969289344 5677888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16082/statm: 331409 272841 857 2943 0 328303 0 [pid=16082/tid=16086] ppid=16076 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16086/stat : 16086 (toysat) S 16076 16082 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6975570 1357451264 272841 33554432000 4194304 16246674 140736969307440 140724167224560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16082/tid=16087] ppid=16076 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16087/stat : 16087 (toysat) S 16076 16082 8968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6975570 1357451264 272841 33554432000 4194304 16246674 140736969307440 140724156734704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16082/tid=16088] ppid=16076 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16088/stat : 16088 (toysat) S 16076 16082 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6975570 1357451264 272841 33554432000 4194304 16246674 140736969307440 140724146261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1325636 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.25 4/183 16131 /proc/meminfo: memFree=26965156/32872528 swapFree=7620/7620 [pid=16082] ppid=16076 vsize=1325636 CPUtime=1661.85 cores=0,2,4,6 /proc/16082/stat : 16082 (toysat) R 16076 16082 8968 0 -1 4202496 272916 0 0 0 166124 61 0 0 20 0 4 0 6975570 1357451264 272841 33554432000 4194304 16246674 140736969307440 140736969289344 13775098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16082/statm: 331409 272841 857 2943 0 328303 0 [pid=16082/tid=16086] ppid=16076 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16086/stat : 16086 (toysat) S 16076 16082 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6975570 1357451264 272841 33554432000 4194304 16246674 140736969307440 140724167224560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16082/tid=16087] ppid=16076 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16087/stat : 16087 (toysat) S 16076 16082 8968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6975570 1357451264 272841 33554432000 4194304 16246674 140736969307440 140724156734704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16082/tid=16088] ppid=16076 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16088/stat : 16088 (toysat) S 16076 16082 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6975570 1357451264 272841 33554432000 4194304 16246674 140736969307440 140724146261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1325636 [startup+1722.3 s] /proc/loadavg: 2.04 2.01 2.24 4/183 16132 /proc/meminfo: memFree=26965032/32872528 swapFree=7620/7620 [pid=16082] ppid=16076 vsize=1325636 CPUtime=1721.83 cores=0,2,4,6 /proc/16082/stat : 16082 (toysat) R 16076 16082 8968 0 -1 4202496 272916 0 0 0 172121 62 0 0 20 0 4 0 6975570 1357451264 272841 33554432000 4194304 16246674 140736969307440 140736969289344 5674088 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16082/statm: 331409 272841 857 2943 0 328303 0 [pid=16082/tid=16086] ppid=16076 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16086/stat : 16086 (toysat) S 16076 16082 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6975570 1357451264 272841 33554432000 4194304 16246674 140736969307440 140724167224560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16082/tid=16087] ppid=16076 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16087/stat : 16087 (toysat) S 16076 16082 8968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6975570 1357451264 272841 33554432000 4194304 16246674 140736969307440 140724156734704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16082/tid=16088] ppid=16076 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16088/stat : 16088 (toysat) S 16076 16082 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6975570 1357451264 272841 33554432000 4194304 16246674 140736969307440 140724146261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1325636 [startup+1782.31 s] /proc/loadavg: 2.19 2.05 2.24 4/183 16133 /proc/meminfo: memFree=26964168/32872528 swapFree=7620/7620 [pid=16082] ppid=16076 vsize=1325636 CPUtime=1781.83 cores=0,2,4,6 /proc/16082/stat : 16082 (toysat) R 16076 16082 8968 0 -1 4202496 272916 0 0 0 178121 62 0 0 20 0 4 0 6975570 1357451264 272841 33554432000 4194304 16246674 140736969307440 140736969290440 5515736 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16082/statm: 331409 272841 857 2943 0 328303 0 [pid=16082/tid=16086] ppid=16076 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16086/stat : 16086 (toysat) S 16076 16082 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6975570 1357451264 272841 33554432000 4194304 16246674 140736969307440 140724167224560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16082/tid=16087] ppid=16076 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16087/stat : 16087 (toysat) S 16076 16082 8968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6975570 1357451264 272841 33554432000 4194304 16246674 140736969307440 140724156734704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16082/tid=16088] ppid=16076 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16088/stat : 16088 (toysat) S 16076 16082 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6975570 1357451264 272841 33554432000 4194304 16246674 140736969307440 140724146261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1325636 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.14 2.05 2.23 4/183 16133 /proc/meminfo: memFree=26964292/32872528 swapFree=7620/7620 [pid=16082] ppid=16076 vsize=1325636 CPUtime=1800.02 cores=0,2,4,6 /proc/16082/stat : 16082 (toysat) R 16076 16082 8968 0 -1 4202496 272916 0 0 0 179939 63 0 0 20 0 4 0 6975570 1357451264 272841 33554432000 4194304 16246674 140736969307440 140736969289344 13950188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16082/statm: 331409 272841 857 2943 0 328303 0 [pid=16082/tid=16086] ppid=16076 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16086/stat : 16086 (toysat) S 16076 16082 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6975570 1357451264 272841 33554432000 4194304 16246674 140736969307440 140724167224560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16082/tid=16087] ppid=16076 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16087/stat : 16087 (toysat) S 16076 16082 8968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6975570 1357451264 272841 33554432000 4194304 16246674 140736969307440 140724156734704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16082/tid=16088] ppid=16076 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16088/stat : 16088 (toysat) S 16076 16082 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6975570 1357451264 272841 33554432000 4194304 16246674 140736969307440 140724146261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1325636 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 16082 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.14 2.05 2.23 4/183 16133 /proc/meminfo: memFree=26964292/32872528 swapFree=7620/7620 [pid=16082] ppid=16076 vsize=1325636 CPUtime=1800.02 cores=0,2,4,6 /proc/16082/stat : 16082 (toysat) R 16076 16082 8968 0 -1 4202496 272916 0 0 0 179939 63 0 0 20 0 4 0 6975570 1357451264 272841 33554432000 4194304 16246674 140736969307440 140736969289344 13950188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16082/statm: 331409 272841 857 2943 0 328303 0 [pid=16082/tid=16086] ppid=16076 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16086/stat : 16086 (toysat) S 16076 16082 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6975570 1357451264 272841 33554432000 4194304 16246674 140736969307440 140724167224560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16082/tid=16087] ppid=16076 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16087/stat : 16087 (toysat) S 16076 16082 8968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6975570 1357451264 272841 33554432000 4194304 16246674 140736969307440 140724156734704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16082/tid=16088] ppid=16076 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16082/task/16088/stat : 16088 (toysat) S 16076 16082 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6975570 1357451264 272841 33554432000 4194304 16246674 140736969307440 140724146261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1325636 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1799.4 CPU system time (s): 0.630904 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (KiB): 1325636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.4 system time used= 0.630904 maximum resident set size= 1091364 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 272916 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= 416 involuntary context switches= 1886 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.5881 second user time and 16.6105 second system time The end
Begin job on node106 at 2016-06-30 06:26:34 IDJOB=4119488 IDBENCH=111743 IDSOLVER=2542 FILE ID=node106/4119488-1467260794 RUNJOBID= node106-1467260794-16053 PBS_JOBID= 20004477 Free space on /tmp= 71744 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-sporttournament12.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119488-1467260794/watcher-4119488-1467260794 -o /tmp/evaluation-result-4119488-1467260794/solver-4119488-1467260794 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467260794-16053 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119488-1467260794.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= daed638eb03cf5c724fb58df446cf947 RANDOM SEED=250856638 node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.99 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 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: 29150248 kB Buffers: 47608 kB Cached: 2897784 kB SwapCached: 0 kB Active: 2271660 kB Inactive: 689008 kB Active(anon): 2036 kB Inactive(anon): 16060 kB Active(file): 2269624 kB Inactive(file): 672948 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 32640 kB Writeback: 0 kB AnonPages: 33352 kB Mapped: 15044 kB Shmem: 204 kB Slab: 624764 kB SReclaimable: 68060 kB SUnreclaim: 556704 kB KernelStack: 1560 kB PageTables: 3112 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 104916 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 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= 71716 MiB End job on node106 at 2016-06-30 06:56:35