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.01 | 1800.41 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/reduced/ submittedPB07/aksoy/trarea_ac/normalized-reduced-fir10_trarea_ac.opb |
| MD5SUM | 7ed8ae7116a489c037a0d97015217f38 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1691 |
| Best CPU time to get the best result obtained on this benchmark | 1800.09 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1646 |
| Optimality of the best value was proved | YES |
| Number of variables | 26836 |
| Total number of constraints | 55586 |
| Number of constraints which are clauses | 55586 |
| 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 | 359 |
| Number of terms in the objective function | 13364 |
| Biggest coefficient in the objective function | 54 |
| Number of bits for the biggest coefficient in the objective function | 6 |
| Sum of the numbers in the objective function | 530936 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 54 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 530936 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T15:51:25+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-4105937-1466257885.opb"] 0.00/0.01 c use --random-gen="2357877914 642821389 1356173958 3695839338 3255782250 932771617 3457956921 1557159010 1823709228 2685290379 3394595203 1618009908 835739544 2923121558 2741117187 2801830623 376139469 3377720219 1844879643 758834674 3186918758 628791437 1844464605 2018695879 3450554001 3662488564 1914877872 1837387733 285114921 3044496080 1528729949 352511514 354384879 2804919754 622694130 3551188535 945302949 1150685338 1607416234 443477334 393690628 3478970351 207304211 1284514189 2509736292 3037769368 1283562829 1252113272 44947104 1169769622 3097748898 501626977 1622734750 3324055081 4097101664 651800430 1202526502 874372364 3896507498 2600165503 4074512469 3775428030 1772312631 1618016481 4189490118 4175517515 1989724040 2403362613 3489275396 1306263690 2229203677 3575539447 1308646145 3640848493 1139393404 2722484905 911945276 3828016713 137749238 2175550163 1998186756 86600827 3023124146 1584180406 3314155674 3517762115 2906338229 730849309 747073623 1559386416 728065549 1073043604 2721882648 3044660673 1245676007 2493518419 2991306370 3977468946 2789729583 1181536891 3395173723 1924657185 1255353262 2377659110 708248379 1454056064 556051751 522307980 98498169 3781097314 2491202104 651441243 4275553489 3376926952 2157693030 1808990948 3782404137 2903912153 3286606381 769493016 2019333218 2011474584 2576279997 2810816019 108329063 3194322823 430220533 369172822 1013973541 1205247451 2675595620 1743358837 1459998086 3530339010 3297714259 1474340711 3760896105 1011732673 2996801550 606438822 1213617029 1121359524 1797828153 2078695332 4087971173 1301796387 2961934085 2291007631 651079370 3330115513 3918921420 3194724738 2455644207 856408808 3732565121 1568263412 292692941 3326112664 1221354861 3312812886 4246233424 555284927 2822859719 3216990308 3851231190 507314806 4080875451 2820272526 433976787 3500605259 378230084 3725078046 3602274187 2829132561 2497606525 2081532697 904746294 201246204 2003334748 3975539072 1682254927 1476837866 3274478433 387778163 1033532965 141606516 2587612215 3001158842 232684094 2797377709 419881934 3286009769 106682752 1955001111 2298639753 3916141323 3035442938 1458273168 3105101868 2320957777 1744246985 2449677346 1695522524 3608006167 2670188114 2550741233 3934972151 1712020596 1046086066 249808010 375486613 963348851 4102914510 2346375091 2476737456 242381361 3342886065 2917818018 956504016 914672753 1007879732 3566092327 3496833767 4209638747 3971518658 2774478990 4071568344 603011373 2332479124 1707218631 1595418373 3876474100 3571605319 2966646533 928559677 3570036753 2894738477 655176866 1801786035 2095991329 3863111979 1118628970 3835720475 1087838134 2221625948 949605043 1955319679 2219985597 4179750586 2239649013 2897826326 4265161670 3720391370 3069281057 1301814788 2058403053 255 362436" option to reproduce the execution 0.29/0.37 c #vars 26836 0.29/0.37 c #constraints 55586 0.99/1.09 c BCD2: Hardening is enabled. 0.99/1.09 c BCD2: BiasedSearch is enabled. 0.99/1.09 c Solving starts ... 0.99/1.09 c ============================[ Search Statistics ]============================ 0.99/1.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.09 c | | | | Limit GC | Var | Constra 0.99/1.09 c ============================================================================= 1.19/1.21 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 0 1.28/1.30 c 0.1s | 0 | 13922 | 0 | 27472 0 | 5 | 0 1.28/1.30 c #cpu_time = 0.071s 1.28/1.30 c #wall_clock_time = 0.071s 1.28/1.30 c #decision = 13922 1.28/1.30 c #random_decision = 52 1.28/1.30 c #conflict = 0 1.28/1.30 c #restart = 0 1.28/1.30 o 530936 1.39/1.48 c BCD2: refineUB: 530935 -> 530914 1.39/1.49 c BCD2: updating upper bound: 530936 -> 530914 1.49/1.53 c BCD2: 0 <= obj <= 530914 1.49/1.53 c BCD2: #cores=0, #unrelaxed=13364, #relaxed=0, #hardened=0 1.49/1.53 c BCD2: #sat=1 #unsat=1 bias=1/2 1.49/1.53 c Solving starts ... 1.49/1.53 c ============================[ Search Statistics ]============================ 1.49/1.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.53 c | | | | Limit GC | Var | Constra 1.49/1.53 c ============================================================================= 1.49/1.54 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 0 1.49/1.55 c 0.0s | 0 | 1 | 0 | 27472 0 | 5 | 0 1.49/1.55 c #cpu_time = 0.018s 1.49/1.55 c #wall_clock_time = 0.018s 1.49/1.55 c #decision = 1 1.49/1.55 c #random_decision = 0 1.49/1.55 c #conflict = 0 1.49/1.55 c #restart = 0 1.49/1.55 c BCD2: found a new core of size 2: cost of the new core is >=30 1.49/1.55 c lower bound updated to 30 1.59/1.60 c BCD2: refineUB: 530935 -> 530914 1.59/1.61 c BCD2: 30 <= obj <= 530914 1.59/1.61 c BCD2: #cores=1, #unrelaxed=13362, #relaxed=2, #hardened=0 1.59/1.61 c BCD2: #sat=1 #unsat=2 bias=2/3 1.59/1.61 c Solving starts ... 1.59/1.61 c ============================[ Search Statistics ]============================ 1.59/1.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.61 c | | | | Limit GC | Var | Constra 1.59/1.61 c ============================================================================= 1.59/1.61 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 1 1.59/1.63 c 0.0s | 0 | 1 | 0 | 27472 0 | 5 | 1 1.59/1.63 c #cpu_time = 0.018s 1.59/1.63 c #wall_clock_time = 0.018s 1.59/1.63 c #decision = 1 1.59/1.63 c #random_decision = 0 1.59/1.63 c #conflict = 0 1.59/1.63 c #restart = 0 1.59/1.63 c BCD2: found a new core of size 1: cost of the new core is >=29 1.59/1.63 c lower bound updated to 59 1.59/1.68 c BCD2: refineUB: 530935 -> 530914 1.59/1.68 c BCD2: 59 <= obj <= 530914 1.59/1.68 c BCD2: #cores=2, #unrelaxed=13361, #relaxed=3, #hardened=0 1.59/1.68 c BCD2: #sat=1 #unsat=3 bias=3/4 1.59/1.68 c Solving starts ... 1.59/1.68 c ============================[ Search Statistics ]============================ 1.59/1.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.68 c | | | | Limit GC | Var | Constra 1.59/1.68 c ============================================================================= 1.59/1.68 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 1 1.69/1.70 c 0.0s | 0 | 2 | 0 | 27472 0 | 5 | 1 1.69/1.70 c #cpu_time = 0.021s 1.69/1.70 c #wall_clock_time = 0.021s 1.69/1.70 c #decision = 2 1.69/1.70 c #random_decision = 0 1.69/1.70 c #conflict = 0 1.69/1.70 c #restart = 0 1.69/1.70 c BCD2: found a new core of size 1: cost of the new core is >=34 1.69/1.70 c lower bound updated to 93 1.69/1.75 c BCD2: refineUB: 530935 -> 530914 1.69/1.75 c BCD2: 93 <= obj <= 530914 1.69/1.75 c BCD2: #cores=3, #unrelaxed=13360, #relaxed=4, #hardened=0 1.69/1.75 c BCD2: #sat=1 #unsat=4 bias=4/5 1.69/1.75 c Solving starts ... 1.69/1.75 c ============================[ Search Statistics ]============================ 1.69/1.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.69/1.75 c | | | | Limit GC | Var | Constra 1.69/1.75 c ============================================================================= 1.69/1.75 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 1 1.69/1.77 c 0.0s | 0 | 3 | 0 | 27472 0 | 5 | 1 1.69/1.77 c #cpu_time = 0.018s 1.69/1.77 c #wall_clock_time = 0.018s 1.69/1.77 c #decision = 3 1.69/1.77 c #random_decision = 0 1.69/1.77 c #conflict = 0 1.69/1.77 c #restart = 0 1.69/1.77 c BCD2: found a new core of size 1: cost of the new core is >=29 1.69/1.77 c lower bound updated to 122 1.79/1.81 c BCD2: refineUB: 530935 -> 530914 1.79/1.82 c BCD2: 122 <= obj <= 530914 1.79/1.82 c BCD2: #cores=4, #unrelaxed=13359, #relaxed=5, #hardened=0 1.79/1.82 c BCD2: #sat=1 #unsat=5 bias=5/6 1.79/1.82 c Solving starts ... 1.79/1.82 c ============================[ Search Statistics ]============================ 1.79/1.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.79/1.82 c | | | | Limit GC | Var | Constra 1.79/1.82 c ============================================================================= 1.79/1.82 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 1 1.79/1.84 c 0.0s | 0 | 24 | 0 | 27472 0 | 5 | 1 1.79/1.84 c #cpu_time = 0.019s 1.79/1.84 c #wall_clock_time = 0.019s 1.79/1.84 c #decision = 24 1.79/1.84 c #random_decision = 0 1.79/1.84 c #conflict = 0 1.79/1.84 c #restart = 0 1.79/1.84 c BCD2: found a new core of size 5: cost of the new core is >=28 1.79/1.84 c lower bound updated to 150 1.79/1.89 c BCD2: refineUB: 530935 -> 530914 1.79/1.89 c BCD2: 150 <= obj <= 530914 1.79/1.89 c BCD2: #cores=5, #unrelaxed=13354, #relaxed=10, #hardened=0 1.79/1.89 c BCD2: #sat=1 #unsat=6 bias=6/7 1.79/1.89 c Solving starts ... 1.79/1.89 c ============================[ Search Statistics ]============================ 1.79/1.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.79/1.89 c | | | | Limit GC | Var | Constra 1.79/1.89 c ============================================================================= 1.79/1.89 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 1 1.89/1.91 c 0.0s | 0 | 22 | 0 | 27472 0 | 5 | 1 1.89/1.91 c #cpu_time = 0.020s 1.89/1.91 c #wall_clock_time = 0.020s 1.89/1.91 c #decision = 22 1.89/1.91 c #random_decision = 0 1.89/1.91 c #conflict = 0 1.89/1.91 c #restart = 0 1.89/1.91 c BCD2: found a new core of size 2: cost of the new core is >=30 1.89/1.91 c lower bound updated to 180 1.89/1.96 c BCD2: refineUB: 530935 -> 530914 1.89/1.96 c BCD2: 180 <= obj <= 530914 1.89/1.96 c BCD2: #cores=6, #unrelaxed=13352, #relaxed=12, #hardened=0 1.89/1.96 c BCD2: #sat=1 #unsat=7 bias=7/8 1.89/1.96 c Solving starts ... 1.89/1.96 c ============================[ Search Statistics ]============================ 1.89/1.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.89/1.96 c | | | | Limit GC | Var | Constra 1.89/1.96 c ============================================================================= 1.89/1.96 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 1 1.89/1.99 c 0.0s | 0 | 40 | 0 | 27472 0 | 5 | 1 1.89/1.99 c #cpu_time = 0.022s 1.89/1.99 c #wall_clock_time = 0.022s 1.89/1.99 c #decision = 40 1.89/1.99 c #random_decision = 0 1.89/1.99 c #conflict = 0 1.89/1.99 c #restart = 0 1.89/1.99 c BCD2: found a new core of size 1: cost of the new core is >=35 1.89/1.99 c lower bound updated to 215 1.99/2.03 c BCD2: refineUB: 530935 -> 530914 1.99/2.03 c BCD2: 215 <= obj <= 530914 1.99/2.03 c BCD2: #cores=7, #unrelaxed=13351, #relaxed=13, #hardened=0 1.99/2.03 c BCD2: #sat=1 #unsat=8 bias=8/9 1.99/2.03 c Solving starts ... 1.99/2.03 c ============================[ Search Statistics ]============================ 1.99/2.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.99/2.03 c | | | | Limit GC | Var | Constra 1.99/2.03 c ============================================================================= 1.99/2.03 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 1 1.99/2.06 c 0.0s | 0 | 160 | 0 | 27472 0 | 5 | 1 1.99/2.06 c #cpu_time = 0.021s 1.99/2.06 c #wall_clock_time = 0.021s 1.99/2.06 c #decision = 160 1.99/2.06 c #random_decision = 0 1.99/2.06 c #conflict = 0 1.99/2.06 c #restart = 0 1.99/2.06 c BCD2: found a new core of size 1: cost of the new core is >=35 1.99/2.06 c lower bound updated to 250 2.09/2.11 c BCD2: refineUB: 530935 -> 530914 2.09/2.11 c BCD2: 250 <= obj <= 530914 2.09/2.11 c BCD2: #cores=8, #unrelaxed=13350, #relaxed=14, #hardened=0 2.09/2.11 c BCD2: #sat=1 #unsat=9 bias=9/10 2.09/2.11 c Solving starts ... 2.09/2.11 c ============================[ Search Statistics ]============================ 2.09/2.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.09/2.11 c | | | | Limit GC | Var | Constra 2.09/2.11 c ============================================================================= 2.09/2.11 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 1 2.09/2.13 c 0.0s | 0 | 166 | 0 | 27472 0 | 5 | 1 2.09/2.13 c #cpu_time = 0.020s 2.09/2.13 c #wall_clock_time = 0.020s 2.09/2.13 c #decision = 166 2.09/2.13 c #random_decision = 0 2.09/2.13 c #conflict = 0 2.09/2.13 c #restart = 0 2.09/2.13 c BCD2: found a new core of size 5: cost of the new core is >=27 2.09/2.13 c lower bound updated to 277 2.09/2.18 c BCD2: refineUB: 530935 -> 530914 2.09/2.18 c BCD2: 277 <= obj <= 530914 2.09/2.18 c BCD2: #cores=9, #unrelaxed=13345, #relaxed=19, #hardened=0 2.09/2.18 c BCD2: #sat=1 #unsat=10 bias=10/11 2.09/2.18 c Solving starts ... 2.09/2.18 c ============================[ Search Statistics ]============================ 2.09/2.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.09/2.18 c | | | | Limit GC | Var | Constra 2.09/2.18 c ============================================================================= 2.09/2.18 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 1 2.20/2.20 c 0.0s | 0 | 168 | 0 | 27472 0 | 5 | 1 2.20/2.20 c #cpu_time = 0.021s 2.20/2.20 c #wall_clock_time = 0.021s 2.20/2.20 c #decision = 168 2.20/2.20 c #random_decision = 0 2.20/2.20 c #conflict = 0 2.20/2.20 c #restart = 0 2.20/2.20 c BCD2: found a new core of size 3: cost of the new core is >=29 2.20/2.20 c lower bound updated to 306 2.20/2.25 c BCD2: refineUB: 530935 -> 530914 2.20/2.26 c BCD2: 306 <= obj <= 530914 2.20/2.26 c BCD2: #cores=10, #unrelaxed=13342, #relaxed=22, #hardened=0 2.20/2.26 c BCD2: #sat=1 #unsat=11 bias=11/12 2.20/2.26 c Solving starts ... 2.20/2.26 c ============================[ Search Statistics ]============================ 2.20/2.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.20/2.26 c | | | | Limit GC | Var | Constra 2.20/2.26 c ============================================================================= 2.20/2.26 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 2.20/2.28 c 0.0s | 0 | 168 | 0 | 27472 0 | 5 | 2 2.20/2.28 c #cpu_time = 0.022s 2.20/2.28 c #wall_clock_time = 0.022s 2.20/2.28 c #decision = 168 2.20/2.28 c #random_decision = 0 2.20/2.28 c #conflict = 0 2.20/2.28 c #restart = 0 2.20/2.28 c BCD2: found a new core of size 2: cost of the new core is >=29 2.20/2.28 c lower bound updated to 335 2.30/2.32 c BCD2: refineUB: 530935 -> 530914 2.30/2.33 c BCD2: 335 <= obj <= 530914 2.30/2.33 c BCD2: #cores=11, #unrelaxed=13340, #relaxed=24, #hardened=0 2.30/2.33 c BCD2: #sat=1 #unsat=12 bias=12/13 2.30/2.33 c Solving starts ... 2.30/2.33 c ============================[ Search Statistics ]============================ 2.30/2.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.30/2.33 c | | | | Limit GC | Var | Constra 2.30/2.33 c ============================================================================= 2.30/2.33 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 2.30/2.35 c 0.0s | 0 | 197 | 0 | 27472 0 | 5 | 2 2.30/2.35 c #cpu_time = 0.018s 2.30/2.35 c #wall_clock_time = 0.018s 2.30/2.35 c #decision = 197 2.30/2.35 c #random_decision = 0 2.30/2.35 c #conflict = 0 2.30/2.35 c #restart = 0 2.30/2.35 c BCD2: found a new core of size 29: cost of the new core is >=29 2.30/2.35 c lower bound updated to 364 2.39/2.40 c BCD2: refineUB: 530935 -> 530914 2.39/2.40 c BCD2: 364 <= obj <= 530914 2.39/2.40 c BCD2: #cores=12, #unrelaxed=13311, #relaxed=53, #hardened=0 2.39/2.40 c BCD2: #sat=1 #unsat=13 bias=13/14 2.39/2.40 c Solving starts ... 2.39/2.40 c ============================[ Search Statistics ]============================ 2.39/2.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.39/2.40 c | | | | Limit GC | Var | Constra 2.39/2.40 c ============================================================================= 2.39/2.40 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 2.39/2.42 c 0.0s | 0 | 172 | 0 | 27472 0 | 5 | 2 2.39/2.42 c #cpu_time = 0.019s 2.39/2.42 c #wall_clock_time = 0.019s 2.39/2.42 c #decision = 172 2.39/2.42 c #random_decision = 0 2.39/2.42 c #conflict = 0 2.39/2.42 c #restart = 0 2.39/2.42 c BCD2: found a new core of size 3: cost of the new core is >=29 2.39/2.42 c lower bound updated to 393 2.39/2.47 c BCD2: refineUB: 530935 -> 530914 2.39/2.47 c BCD2: 393 <= obj <= 530914 2.39/2.47 c BCD2: #cores=13, #unrelaxed=13308, #relaxed=56, #hardened=0 2.39/2.47 c BCD2: #sat=1 #unsat=14 bias=14/15 2.39/2.47 c Solving starts ... 2.39/2.47 c ============================[ Search Statistics ]============================ 2.39/2.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.39/2.47 c | | | | Limit GC | Var | Constra 2.39/2.47 c ============================================================================= 2.39/2.47 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 2.49/2.50 c 0.0s | 0 | 436 | 0 | 27472 0 | 5 | 2 2.49/2.50 c #cpu_time = 0.027s 2.49/2.50 c #wall_clock_time = 0.027s 2.49/2.50 c #decision = 436 2.49/2.50 c #random_decision = 0 2.49/2.50 c #conflict = 0 2.49/2.50 c #restart = 0 2.49/2.50 c BCD2: found a new core of size 17: cost of the new core is >=27 2.49/2.50 c lower bound updated to 420 2.49/2.55 c BCD2: refineUB: 530935 -> 530914 2.49/2.55 c BCD2: 420 <= obj <= 530914 2.49/2.55 c BCD2: #cores=14, #unrelaxed=13291, #relaxed=73, #hardened=0 2.49/2.55 c BCD2: #sat=1 #unsat=15 bias=15/16 2.49/2.55 c Solving starts ... 2.49/2.55 c ============================[ Search Statistics ]============================ 2.49/2.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.49/2.55 c | | | | Limit GC | Var | Constra 2.49/2.55 c ============================================================================= 2.49/2.55 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 2.49/2.57 c 0.0s | 0 | 456 | 0 | 27472 0 | 5 | 2 2.49/2.57 c #cpu_time = 0.021s 2.49/2.57 c #wall_clock_time = 0.021s 2.49/2.57 c #decision = 456 2.49/2.57 c #random_decision = 0 2.49/2.57 c #conflict = 0 2.49/2.57 c #restart = 0 2.49/2.57 c BCD2: found a new core of size 11: cost of the new core is >=36 2.49/2.57 c lower bound updated to 456 2.59/2.62 c BCD2: refineUB: 530935 -> 530914 2.59/2.63 c BCD2: 456 <= obj <= 530914 2.59/2.63 c BCD2: #cores=15, #unrelaxed=13280, #relaxed=84, #hardened=0 2.59/2.63 c BCD2: #sat=1 #unsat=16 bias=16/17 2.59/2.63 c Solving starts ... 2.59/2.63 c ============================[ Search Statistics ]============================ 2.59/2.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.59/2.63 c | | | | Limit GC | Var | Constra 2.59/2.63 c ============================================================================= 2.59/2.63 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 2.59/2.65 c 0.0s | 0 | 463 | 0 | 27472 0 | 5 | 2 2.59/2.65 c #cpu_time = 0.020s 2.59/2.65 c #wall_clock_time = 0.020s 2.59/2.65 c #decision = 463 2.59/2.65 c #random_decision = 0 2.59/2.65 c #conflict = 0 2.59/2.65 c #restart = 0 2.59/2.65 c BCD2: found a new core of size 3: cost of the new core is >=30 2.59/2.65 c lower bound updated to 486 2.69/2.70 c BCD2: refineUB: 530935 -> 530914 2.69/2.70 c BCD2: 486 <= obj <= 530914 2.69/2.70 c BCD2: #cores=16, #unrelaxed=13277, #relaxed=87, #hardened=0 2.69/2.70 c BCD2: #sat=1 #unsat=17 bias=17/18 2.69/2.70 c Solving starts ... 2.69/2.70 c ============================[ Search Statistics ]============================ 2.69/2.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.69/2.70 c | | | | Limit GC | Var | Constra 2.69/2.70 c ============================================================================= 2.69/2.70 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 2.69/2.72 c 0.0s | 0 | 537 | 0 | 27472 0 | 5 | 2 2.69/2.72 c #cpu_time = 0.021s 2.69/2.72 c #wall_clock_time = 0.021s 2.69/2.72 c #decision = 537 2.69/2.72 c #random_decision = 0 2.69/2.72 c #conflict = 0 2.69/2.72 c #restart = 0 2.69/2.72 c BCD2: found a new core of size 114: cost of the new core is >=28 2.69/2.72 c lower bound updated to 514 2.69/2.77 c BCD2: refineUB: 530935 -> 530914 2.69/2.77 c BCD2: 514 <= obj <= 530914 2.69/2.77 c BCD2: #cores=17, #unrelaxed=13163, #relaxed=201, #hardened=0 2.69/2.77 c BCD2: #sat=1 #unsat=18 bias=18/19 2.69/2.78 c Solving starts ... 2.69/2.78 c ============================[ Search Statistics ]============================ 2.69/2.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.69/2.78 c | | | | Limit GC | Var | Constra 2.69/2.78 c ============================================================================= 2.69/2.78 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 2.79/2.80 c 0.0s | 0 | 580 | 0 | 27472 0 | 5 | 2 2.79/2.80 c #cpu_time = 0.024s 2.79/2.80 c #wall_clock_time = 0.024s 2.79/2.80 c #decision = 580 2.79/2.80 c #random_decision = 0 2.79/2.80 c #conflict = 0 2.79/2.80 c #restart = 0 2.79/2.80 c BCD2: found a new core of size 19: cost of the new core is >=30 2.79/2.80 c lower bound updated to 544 2.79/2.85 c BCD2: refineUB: 530935 -> 530914 2.79/2.85 c BCD2: 544 <= obj <= 530914 2.79/2.85 c BCD2: #cores=18, #unrelaxed=13144, #relaxed=220, #hardened=0 2.79/2.85 c BCD2: #sat=1 #unsat=19 bias=19/20 2.79/2.85 c Solving starts ... 2.79/2.85 c ============================[ Search Statistics ]============================ 2.79/2.85 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.79/2.85 c | | | | Limit GC | Var | Constra 2.79/2.85 c ============================================================================= 2.79/2.85 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 2.89/2.95 c 0.1s | 0 | 700 | 0 | 27472 0 | 5 | 2 2.89/2.95 c #cpu_time = 0.097s 2.89/2.95 c #wall_clock_time = 0.097s 2.89/2.95 c #decision = 700 2.89/2.95 c #random_decision = 0 2.89/2.95 c #conflict = 0 2.89/2.95 c #restart = 0 2.89/2.95 c BCD2: found a new core of size 153: cost of the new core is >=28 2.89/2.95 c lower bound updated to 572 2.89/2.99 c BCD2: refineUB: 530935 -> 530914 2.99/3.00 c BCD2: 572 <= obj <= 530914 2.99/3.00 c BCD2: #cores=19, #unrelaxed=12991, #relaxed=373, #hardened=0 2.99/3.00 c BCD2: #sat=1 #unsat=20 bias=20/21 2.99/3.00 c Solving starts ... 2.99/3.00 c ============================[ Search Statistics ]============================ 2.99/3.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.99/3.00 c | | | | Limit GC | Var | Constra 2.99/3.00 c ============================================================================= 2.99/3.00 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 2.99/3.03 c 0.0s | 0 | 632 | 0 | 27472 0 | 5 | 2 2.99/3.03 c #cpu_time = 0.026s 2.99/3.03 c #wall_clock_time = 0.026s 2.99/3.03 c #decision = 632 2.99/3.03 c #random_decision = 0 2.99/3.03 c #conflict = 0 2.99/3.03 c #restart = 0 2.99/3.03 c BCD2: found a new core of size 7: cost of the new core is >=36 2.99/3.03 c lower bound updated to 608 2.99/3.08 c BCD2: refineUB: 530935 -> 530914 2.99/3.08 c BCD2: 608 <= obj <= 530914 2.99/3.08 c BCD2: #cores=20, #unrelaxed=12984, #relaxed=380, #hardened=0 2.99/3.08 c BCD2: #sat=1 #unsat=21 bias=21/22 2.99/3.08 c Solving starts ... 2.99/3.08 c ============================[ Search Statistics ]============================ 2.99/3.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.99/3.08 c | | | | Limit GC | Var | Constra 2.99/3.08 c ============================================================================= 2.99/3.08 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 3.09/3.11 c 0.0s | 0 | 640 | 0 | 27472 0 | 5 | 2 3.09/3.11 c #cpu_time = 0.027s 3.09/3.11 c #wall_clock_time = 0.027s 3.09/3.11 c #decision = 640 3.09/3.11 c #random_decision = 0 3.09/3.11 c #conflict = 0 3.09/3.11 c #restart = 0 3.09/3.11 c BCD2: found a new core of size 7: cost of the new core is >=36 3.09/3.11 c lower bound updated to 644 3.09/3.16 c BCD2: refineUB: 530935 -> 530914 3.09/3.16 c BCD2: 644 <= obj <= 530914 3.09/3.16 c BCD2: #cores=21, #unrelaxed=12977, #relaxed=387, #hardened=0 3.09/3.16 c BCD2: #sat=1 #unsat=22 bias=22/23 3.09/3.17 c Solving starts ... 3.09/3.17 c ============================[ Search Statistics ]============================ 3.09/3.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.09/3.17 c | | | | Limit GC | Var | Constra 3.09/3.17 c ============================================================================= 3.09/3.17 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 3.19/3.20 c 0.0s | 0 | 721 | 0 | 27472 0 | 5 | 2 3.19/3.20 c #cpu_time = 0.033s 3.19/3.20 c #wall_clock_time = 0.033s 3.19/3.20 c #decision = 721 3.19/3.20 c #random_decision = 0 3.19/3.20 c #conflict = 0 3.19/3.20 c #restart = 0 3.19/3.20 c BCD2: found a new core of size 3: cost of the new core is >=37 3.19/3.20 c lower bound updated to 681 3.19/3.25 c BCD2: refineUB: 530935 -> 530914 3.19/3.25 c BCD2: 681 <= obj <= 530914 3.19/3.25 c BCD2: #cores=22, #unrelaxed=12974, #relaxed=390, #hardened=0 3.19/3.25 c BCD2: #sat=1 #unsat=23 bias=23/24 3.19/3.25 c Solving starts ... 3.19/3.25 c ============================[ Search Statistics ]============================ 3.19/3.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.19/3.25 c | | | | Limit GC | Var | Constra 3.19/3.25 c ============================================================================= 3.19/3.25 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 3.19/3.28 c 0.0s | 0 | 731 | 0 | 27472 0 | 5 | 2 3.19/3.28 c #cpu_time = 0.029s 3.19/3.28 c #wall_clock_time = 0.029s 3.19/3.28 c #decision = 731 3.19/3.28 c #random_decision = 0 3.19/3.28 c #conflict = 0 3.19/3.28 c #restart = 0 3.19/3.28 c BCD2: found a new core of size 5: cost of the new core is >=26 3.19/3.28 c lower bound updated to 707 3.30/3.33 c BCD2: refineUB: 530935 -> 530914 3.30/3.33 c BCD2: 707 <= obj <= 530914 3.30/3.33 c BCD2: #cores=23, #unrelaxed=12969, #relaxed=395, #hardened=0 3.30/3.33 c BCD2: #sat=1 #unsat=24 bias=24/25 3.30/3.33 c Solving starts ... 3.30/3.33 c ============================[ Search Statistics ]============================ 3.30/3.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.30/3.33 c | | | | Limit GC | Var | Constra 3.30/3.33 c ============================================================================= 3.30/3.33 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 3.30/3.36 c 0.0s | 0 | 828 | 0 | 27472 0 | 5 | 2 3.30/3.36 c #cpu_time = 0.028s 3.30/3.36 c #wall_clock_time = 0.028s 3.30/3.36 c #decision = 828 3.30/3.36 c #random_decision = 0 3.30/3.36 c #conflict = 0 3.30/3.36 c #restart = 0 3.30/3.36 c BCD2: found a new core of size 17: cost of the new core is >=28 3.30/3.36 c lower bound updated to 735 3.40/3.41 c BCD2: refineUB: 530935 -> 530914 3.40/3.41 c BCD2: 735 <= obj <= 530914 3.40/3.41 c BCD2: #cores=24, #unrelaxed=12952, #relaxed=412, #hardened=0 3.40/3.41 c BCD2: #sat=1 #unsat=25 bias=25/26 3.40/3.41 c Solving starts ... 3.40/3.41 c ============================[ Search Statistics ]============================ 3.40/3.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.40/3.41 c | | | | Limit GC | Var | Constra 3.40/3.41 c ============================================================================= 3.40/3.42 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 3.40/3.45 c 0.0s | 0 | 1237 | 0 | 27472 0 | 5 | 2 3.40/3.45 c #cpu_time = 0.029s 3.40/3.45 c #wall_clock_time = 0.029s 3.40/3.45 c #decision = 1237 3.40/3.45 c #random_decision = 0 3.40/3.45 c #conflict = 0 3.40/3.45 c #restart = 0 3.40/3.45 c BCD2: found a new core of size 161: cost of the new core is >=28 3.40/3.45 c lower bound updated to 763 3.49/3.50 c BCD2: refineUB: 530935 -> 530914 3.49/3.50 c BCD2: 763 <= obj <= 530914 3.49/3.50 c BCD2: #cores=25, #unrelaxed=12791, #relaxed=573, #hardened=0 3.49/3.50 c BCD2: #sat=1 #unsat=26 bias=26/27 3.49/3.50 c Solving starts ... 3.49/3.50 c ============================[ Search Statistics ]============================ 3.49/3.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.49/3.50 c | | | | Limit GC | Var | Constra 3.49/3.50 c ============================================================================= 3.49/3.50 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 3.49/3.54 c 0.0s | 0 | 1167 | 0 | 27472 0 | 5 | 2 3.49/3.54 c #cpu_time = 0.034s 3.49/3.54 c #wall_clock_time = 0.034s 3.49/3.54 c #decision = 1167 3.49/3.54 c #random_decision = 0 3.49/3.54 c #conflict = 0 3.49/3.54 c #restart = 0 3.49/3.54 c BCD2: found a new core of size 3: cost of the new core is >=36 3.49/3.54 c lower bound updated to 799 3.49/3.59 c BCD2: refineUB: 530935 -> 530914 3.49/3.59 c BCD2: 799 <= obj <= 530914 3.49/3.59 c BCD2: #cores=26, #unrelaxed=12788, #relaxed=576, #hardened=0 3.49/3.59 c BCD2: #sat=1 #unsat=27 bias=27/28 3.49/3.59 c Solving starts ... 3.49/3.59 c ============================[ Search Statistics ]============================ 3.49/3.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.49/3.59 c | | | | Limit GC | Var | Constra 3.49/3.59 c ============================================================================= 3.49/3.59 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 3.59/3.62 c 0.0s | 0 | 1987 | 0 | 27472 0 | 5 | 2 3.59/3.62 c #cpu_time = 0.034s 3.59/3.62 c #wall_clock_time = 0.034s 3.59/3.62 c #decision = 1987 3.59/3.62 c #random_decision = 0 3.59/3.62 c #conflict = 0 3.59/3.62 c #restart = 0 3.59/3.63 c BCD2: found a new core of size 830: cost of the new core is >=25 3.59/3.63 c lower bound updated to 824 3.59/3.67 c BCD2: refineUB: 530935 -> 530914 3.59/3.68 c BCD2: 824 <= obj <= 530914 3.59/3.68 c BCD2: #cores=27, #unrelaxed=11958, #relaxed=1406, #hardened=0 3.59/3.68 c BCD2: #sat=1 #unsat=28 bias=28/29 3.59/3.68 c Solving starts ... 3.59/3.68 c ============================[ Search Statistics ]============================ 3.59/3.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.59/3.68 c | | | | Limit GC | Var | Constra 3.59/3.68 c ============================================================================= 3.59/3.68 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 3.69/3.72 c 0.0s | 0 | 1319 | 0 | 27472 0 | 5 | 2 3.69/3.72 c #cpu_time = 0.035s 3.69/3.72 c #wall_clock_time = 0.036s 3.69/3.72 c #decision = 1319 3.69/3.72 c #random_decision = 0 3.69/3.72 c #conflict = 0 3.69/3.72 c #restart = 0 3.69/3.72 c BCD2: found a new core of size 11: cost of the new core is >=30 3.69/3.72 c lower bound updated to 854 3.69/3.77 c BCD2: refineUB: 530935 -> 530914 3.69/3.77 c BCD2: 854 <= obj <= 530914 3.69/3.77 c BCD2: #cores=28, #unrelaxed=11947, #relaxed=1417, #hardened=0 3.69/3.77 c BCD2: #sat=1 #unsat=29 bias=29/30 3.69/3.78 c Solving starts ... 3.69/3.78 c ============================[ Search Statistics ]============================ 3.69/3.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.69/3.78 c | | | | Limit GC | Var | Constra 3.69/3.78 c ============================================================================= 3.69/3.78 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 3.79/3.81 c 0.0s | 0 | 1426 | 0 | 27472 0 | 5 | 2 3.79/3.81 c #cpu_time = 0.030s 3.79/3.81 c #wall_clock_time = 0.031s 3.79/3.81 c #decision = 1426 3.79/3.81 c #random_decision = 0 3.79/3.81 c #conflict = 0 3.79/3.81 c #restart = 0 3.79/3.81 c BCD2: found a new core of size 19: cost of the new core is >=27 3.79/3.81 c lower bound updated to 881 3.79/3.86 c BCD2: refineUB: 530935 -> 530914 3.79/3.86 c BCD2: 881 <= obj <= 530914 3.79/3.86 c BCD2: #cores=29, #unrelaxed=11928, #relaxed=1436, #hardened=0 3.79/3.86 c BCD2: #sat=1 #unsat=30 bias=30/31 3.79/3.86 c Solving starts ... 3.79/3.86 c ============================[ Search Statistics ]============================ 3.79/3.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.79/3.86 c | | | | Limit GC | Var | Constra 3.79/3.86 c ============================================================================= 3.79/3.87 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 3.89/3.90 c 0.0s | 0 | 1685 | 0 | 27472 0 | 5 | 2 3.89/3.90 c #cpu_time = 0.029s 3.89/3.90 c #wall_clock_time = 0.030s 3.89/3.90 c #decision = 1685 3.89/3.90 c #random_decision = 0 3.89/3.90 c #conflict = 0 3.89/3.90 c #restart = 0 3.89/3.90 c BCD2: found a new core of size 387: cost of the new core is >=27 3.89/3.90 c lower bound updated to 908 3.89/3.95 c BCD2: refineUB: 530935 -> 530914 3.89/3.95 c BCD2: 908 <= obj <= 530914 3.89/3.95 c BCD2: #cores=30, #unrelaxed=11541, #relaxed=1823, #hardened=0 3.89/3.95 c BCD2: #sat=1 #unsat=31 bias=31/32 3.89/3.96 c Solving starts ... 3.89/3.96 c ============================[ Search Statistics ]============================ 3.89/3.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.89/3.96 c | | | | Limit GC | Var | Constra 3.89/3.96 c ============================================================================= 3.89/3.96 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 3.89/3.99 c 0.0s | 0 | 1661 | 0 | 27472 0 | 5 | 2 3.89/3.99 c #cpu_time = 0.030s 3.89/3.99 c #wall_clock_time = 0.030s 3.89/3.99 c #decision = 1661 3.89/3.99 c #random_decision = 0 3.89/3.99 c #conflict = 0 3.89/3.99 c #restart = 0 3.89/3.99 c BCD2: found a new core of size 15: cost of the new core is >=31 3.89/3.99 c lower bound updated to 939 3.99/4.05 c BCD2: refineUB: 530935 -> 530914 3.99/4.05 c BCD2: 939 <= obj <= 530914 3.99/4.05 c BCD2: #cores=31, #unrelaxed=11526, #relaxed=1838, #hardened=0 3.99/4.05 c BCD2: #sat=1 #unsat=32 bias=32/33 3.99/4.05 c Solving starts ... 3.99/4.05 c ============================[ Search Statistics ]============================ 3.99/4.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.99/4.05 c | | | | Limit GC | Var | Constra 3.99/4.05 c ============================================================================= 3.99/4.06 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 3.99/4.09 c 0.0s | 0 | 1804 | 0 | 27472 0 | 5 | 2 3.99/4.09 c #cpu_time = 0.031s 3.99/4.09 c #wall_clock_time = 0.031s 3.99/4.09 c #decision = 1804 3.99/4.09 c #random_decision = 0 3.99/4.09 c #conflict = 0 3.99/4.09 c #restart = 0 3.99/4.09 c BCD2: found a new core of size 82: cost of the new core is >=25 3.99/4.09 c lower bound updated to 964 4.09/4.14 c BCD2: refineUB: 530935 -> 530914 4.09/4.14 c BCD2: 964 <= obj <= 530914 4.09/4.14 c BCD2: #cores=32, #unrelaxed=11444, #relaxed=1920, #hardened=0 4.09/4.14 c BCD2: #sat=1 #unsat=33 bias=33/34 4.09/4.15 c Solving starts ... 4.09/4.15 c ============================[ Search Statistics ]============================ 4.09/4.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.09/4.15 c | | | | Limit GC | Var | Constra 4.09/4.15 c ============================================================================= 4.09/4.15 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 4.09/4.19 c 0.0s | 0 | 1975 | 0 | 27472 0 | 5 | 2 4.09/4.19 c #cpu_time = 0.032s 4.09/4.19 c #wall_clock_time = 0.032s 4.09/4.19 c #decision = 1975 4.09/4.19 c #random_decision = 0 4.09/4.19 c #conflict = 0 4.09/4.19 c #restart = 0 4.09/4.19 c BCD2: found a new core of size 73: cost of the new core is >=29 4.09/4.19 c lower bound updated to 993 4.19/4.24 c BCD2: refineUB: 530935 -> 530914 4.19/4.24 c BCD2: 993 <= obj <= 530914 4.19/4.24 c BCD2: #cores=33, #unrelaxed=11371, #relaxed=1993, #hardened=0 4.19/4.24 c BCD2: #sat=1 #unsat=34 bias=34/35 4.19/4.25 c Solving starts ... 4.19/4.25 c ============================[ Search Statistics ]============================ 4.19/4.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.19/4.25 c | | | | Limit GC | Var | Constra 4.19/4.25 c ============================================================================= 4.19/4.25 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 4.19/4.28 c 0.0s | 0 | 1935 | 0 | 27472 0 | 5 | 2 4.19/4.28 c #cpu_time = 0.031s 4.19/4.28 c #wall_clock_time = 0.031s 4.19/4.28 c #decision = 1935 4.19/4.28 c #random_decision = 0 4.19/4.28 c #conflict = 0 4.19/4.28 c #restart = 0 4.19/4.28 c BCD2: found a new core of size 13: cost of the new core is >=30 4.19/4.28 c lower bound updated to 1023 4.29/4.34 c BCD2: refineUB: 530935 -> 530914 4.29/4.34 c BCD2: 1023 <= obj <= 530914 4.29/4.34 c BCD2: #cores=34, #unrelaxed=11358, #relaxed=2006, #hardened=0 4.29/4.34 c BCD2: #sat=1 #unsat=35 bias=35/36 4.29/4.35 c Solving starts ... 4.29/4.35 c ============================[ Search Statistics ]============================ 4.29/4.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.29/4.35 c | | | | Limit GC | Var | Constra 4.29/4.35 c ============================================================================= 4.29/4.35 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 4.29/4.38 c 0.0s | 0 | 2297 | 0 | 27472 0 | 5 | 2 4.29/4.38 c #cpu_time = 0.034s 4.29/4.38 c #wall_clock_time = 0.034s 4.29/4.38 c #decision = 2297 4.29/4.38 c #random_decision = 0 4.29/4.38 c #conflict = 0 4.29/4.38 c #restart = 0 4.29/4.38 c BCD2: found a new core of size 702: cost of the new core is >=27 4.29/4.38 c lower bound updated to 1050 4.39/4.44 c BCD2: refineUB: 530935 -> 530914 4.39/4.44 c BCD2: 1050 <= obj <= 530914 4.39/4.44 c BCD2: #cores=35, #unrelaxed=10656, #relaxed=2708, #hardened=0 4.39/4.44 c BCD2: #sat=1 #unsat=36 bias=36/37 4.39/4.45 c Solving starts ... 4.39/4.45 c ============================[ Search Statistics ]============================ 4.39/4.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.39/4.45 c | | | | Limit GC | Var | Constra 4.39/4.45 c ============================================================================= 4.39/4.45 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 4.39/4.49 c 0.0s | 0 | 1887 | 0 | 27472 0 | 5 | 2 4.39/4.49 c #cpu_time = 0.037s 4.39/4.49 c #wall_clock_time = 0.037s 4.39/4.49 c #decision = 1887 4.39/4.49 c #random_decision = 0 4.39/4.49 c #conflict = 0 4.39/4.49 c #restart = 0 4.39/4.49 c BCD2: found a new core of size 39: cost of the new core is >=29 4.39/4.49 c lower bound updated to 1079 4.49/4.53 c BCD2: refineUB: 530935 -> 530914 4.49/4.54 c BCD2: 1079 <= obj <= 530914 4.49/4.54 c BCD2: #cores=36, #unrelaxed=10617, #relaxed=2747, #hardened=0 4.79/4.81 c BCD2: #sat=1 #unsat=37 bias=37/38 4.79/4.81 c Solving starts ... 4.79/4.81 c ============================[ Search Statistics ]============================ 4.79/4.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.79/4.81 c | | | | Limit GC | Var | Constra 4.79/4.81 c ============================================================================= 4.79/4.81 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 4.79/4.81 c 0.0s | 0 | 2191 | 0 | 27472 0 | 5 | 2 4.79/4.81 c #cpu_time = 0.034s 4.79/4.81 c #wall_clock_time = 0.034s 4.79/4.81 c #decision = 2191 4.79/4.81 c #random_decision = 0 4.79/4.81 c #conflict = 0 4.79/4.81 c #restart = 0 4.79/4.81 c BCD2: found a new core of size 9: cost of the new core is >=27 4.79/4.81 c lower bound updated to 1106 4.79/4.81 c BCD2: refineUB: 530935 -> 530914 4.79/4.81 c BCD2: 1106 <= obj <= 530914 4.79/4.81 c BCD2: #cores=37, #unrelaxed=10608, #relaxed=2756, #hardened=0 4.79/4.81 c BCD2: #sat=1 #unsat=38 bias=38/39 4.79/4.81 c Solving starts ... 4.79/4.81 c ============================[ Search Statistics ]============================ 4.79/4.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.79/4.81 c | | | | Limit GC | Var | Constra 4.79/4.81 c ============================================================================= 4.79/4.81 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 4.79/4.81 c 0.0s | 0 | 2449 | 0 | 27472 0 | 5 | 2 4.79/4.81 c #cpu_time = 0.040s 4.79/4.81 c #wall_clock_time = 0.040s 4.79/4.81 c #decision = 2449 4.79/4.81 c #random_decision = 0 4.79/4.81 c #conflict = 0 4.79/4.81 c #restart = 0 4.79/4.81 c BCD2: found a new core of size 19: cost of the new core is >=24 4.79/4.81 c lower bound updated to 1130 4.79/4.81 c BCD2: refineUB: 530935 -> 530914 4.79/4.81 c BCD2: 1130 <= obj <= 530914 4.79/4.81 c BCD2: #cores=38, #unrelaxed=10589, #relaxed=2775, #hardened=0 4.79/4.81 c BCD2: #sat=1 #unsat=39 bias=39/40 4.79/4.81 c Solving starts ... 4.79/4.81 c ============================[ Search Statistics ]============================ 4.79/4.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.79/4.81 c | | | | Limit GC | Var | Constra 4.79/4.81 c ============================================================================= 4.79/4.81 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 4.79/4.81 c 0.0s | 0 | 2452 | 0 | 27472 0 | 5 | 2 4.79/4.81 c #cpu_time = 0.036s 4.79/4.81 c #wall_clock_time = 0.037s 4.79/4.81 c #decision = 2452 4.79/4.81 c #random_decision = 0 4.79/4.81 c #conflict = 0 4.79/4.81 c #restart = 0 4.79/4.81 c BCD2: found a new core of size 29: cost of the new core is >=28 4.79/4.81 c lower bound updated to 1158 4.79/4.84 c BCD2: refineUB: 530935 -> 530914 4.79/4.84 c BCD2: 1158 <= obj <= 530914 4.79/4.84 c BCD2: #cores=39, #unrelaxed=10560, #relaxed=2804, #hardened=0 4.79/4.84 c BCD2: #sat=1 #unsat=40 bias=40/41 4.79/4.86 c Solving starts ... 4.79/4.86 c ============================[ Search Statistics ]============================ 4.79/4.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.79/4.86 c | | | | Limit GC | Var | Constra 4.79/4.86 c ============================================================================= 4.79/4.86 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 4.89/4.91 c 0.0s | 0 | 3115 | 0 | 27472 0 | 5 | 2 4.89/4.91 c #cpu_time = 0.038s 4.89/4.91 c #wall_clock_time = 0.038s 4.89/4.91 c #decision = 3115 4.89/4.91 c #random_decision = 0 4.89/4.91 c #conflict = 0 4.89/4.91 c #restart = 0 4.89/4.91 c BCD2: found a new core of size 220: cost of the new core is >=27 4.89/4.91 c lower bound updated to 1185 4.89/4.96 c BCD2: refineUB: 530935 -> 530914 4.89/4.96 c BCD2: 1185 <= obj <= 530914 4.89/4.96 c BCD2: #cores=40, #unrelaxed=10340, #relaxed=3024, #hardened=0 4.89/4.96 c BCD2: #sat=1 #unsat=41 bias=41/42 4.89/4.97 c Solving starts ... 4.89/4.97 c ============================[ Search Statistics ]============================ 4.89/4.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.89/4.97 c | | | | Limit GC | Var | Constra 4.89/4.97 c ============================================================================= 4.99/5.06 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 5.09/5.10 c 0.0s | 0 | 3081 | 0 | 27472 0 | 5 | 2 5.09/5.10 c #cpu_time = 0.037s 5.09/5.10 c #wall_clock_time = 0.037s 5.09/5.10 c #decision = 3081 5.09/5.10 c #random_decision = 0 5.09/5.10 c #conflict = 0 5.09/5.10 c #restart = 0 5.09/5.10 c BCD2: found a new core of size 38: cost of the new core is >=24 5.09/5.10 c lower bound updated to 1209 5.09/5.15 c BCD2: refineUB: 530935 -> 530914 5.09/5.15 c BCD2: 1209 <= obj <= 530914 5.09/5.15 c BCD2: #cores=41, #unrelaxed=10302, #relaxed=3062, #hardened=0 5.09/5.15 c BCD2: #sat=1 #unsat=42 bias=42/43 5.09/5.17 c Solving starts ... 5.09/5.17 c ============================[ Search Statistics ]============================ 5.09/5.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.09/5.17 c | | | | Limit GC | Var | Constra 5.09/5.17 c ============================================================================= 5.09/5.17 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 5.19/5.22 c 0.1s | 0 | 4957 | 0 | 27472 0 | 5 | 2 5.19/5.22 c #cpu_time = 0.050s 5.19/5.22 c #wall_clock_time = 0.050s 5.19/5.22 c #decision = 4957 5.19/5.22 c #random_decision = 0 5.19/5.22 c #conflict = 0 5.19/5.22 c #restart = 0 5.19/5.22 c BCD2: found a new core of size 523: cost of the new core is >=23 5.19/5.22 c lower bound updated to 1232 5.19/5.28 c BCD2: refineUB: 530935 -> 530914 5.19/5.28 c BCD2: 1232 <= obj <= 530914 5.19/5.28 c BCD2: #cores=42, #unrelaxed=9779, #relaxed=3585, #hardened=0 5.19/5.28 c BCD2: #sat=1 #unsat=43 bias=43/44 5.19/5.29 c Solving starts ... 5.19/5.29 c ============================[ Search Statistics ]============================ 5.19/5.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.19/5.29 c | | | | Limit GC | Var | Constra 5.19/5.29 c ============================================================================= 5.19/5.30 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 5.29/5.34 c 0.0s | 0 | 5122 | 0 | 27472 0 | 5 | 2 5.29/5.34 c #cpu_time = 0.041s 5.29/5.34 c #wall_clock_time = 0.042s 5.29/5.34 c #decision = 5122 5.29/5.34 c #random_decision = 0 5.29/5.34 c #conflict = 0 5.29/5.34 c #restart = 0 5.29/5.34 c BCD2: found a new core of size 35: cost of the new core is >=29 5.29/5.34 c lower bound updated to 1261 5.39/5.40 c BCD2: refineUB: 530935 -> 530914 5.39/5.40 c BCD2: 1261 <= obj <= 530914 5.39/5.40 c BCD2: #cores=43, #unrelaxed=9744, #relaxed=3620, #hardened=0 5.39/5.40 c BCD2: #sat=1 #unsat=44 bias=44/45 5.39/5.41 c Solving starts ... 5.39/5.41 c ============================[ Search Statistics ]============================ 5.39/5.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.39/5.41 c | | | | Limit GC | Var | Constra 5.39/5.41 c ============================================================================= 5.39/5.42 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 5.39/5.48 c 0.1s | 0 | 8069 | 0 | 27472 0 | 5 | 2 5.39/5.48 c #cpu_time = 0.054s 5.39/5.48 c #wall_clock_time = 0.055s 5.39/5.48 c #decision = 8069 5.39/5.48 c #random_decision = 0 5.39/5.48 c #conflict = 0 5.39/5.48 c #restart = 0 5.39/5.48 c BCD2: found a new core of size 3419: cost of the new core is >=23 5.39/5.48 c lower bound updated to 1284 5.49/5.55 c BCD2: refineUB: 530935 -> 530914 5.49/5.55 c BCD2: 1284 <= obj <= 530914 5.49/5.55 c BCD2: #cores=44, #unrelaxed=6325, #relaxed=7039, #hardened=0 5.49/5.55 c BCD2: #sat=1 #unsat=45 bias=45/46 5.49/5.58 c Solving starts ... 5.49/5.58 c ============================[ Search Statistics ]============================ 5.49/5.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.49/5.58 c | | | | Limit GC | Var | Constra 5.49/5.58 c ============================================================================= 5.49/5.59 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 5.59/5.63 c 0.0s | 0 | 5208 | 0 | 27472 0 | 5 | 2 5.59/5.63 c #cpu_time = 0.040s 5.59/5.63 c #wall_clock_time = 0.040s 5.59/5.63 c #decision = 5208 5.59/5.63 c #random_decision = 0 5.59/5.63 c #conflict = 0 5.59/5.63 c #restart = 0 5.59/5.63 c BCD2: found a new core of size 178: cost of the new core is >=25 5.59/5.63 c lower bound updated to 1309 5.59/5.69 c BCD2: refineUB: 530935 -> 530914 5.59/5.69 c BCD2: 1309 <= obj <= 530914 5.59/5.69 c BCD2: #cores=45, #unrelaxed=6147, #relaxed=7217, #hardened=0 5.59/5.69 c BCD2: #sat=1 #unsat=46 bias=46/47 5.69/5.72 c Solving starts ... 5.69/5.72 c ============================[ Search Statistics ]============================ 5.69/5.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.69/5.72 c | | | | Limit GC | Var | Constra 5.69/5.72 c ============================================================================= 5.69/5.72 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 5.79/5.82 c 0.1s | 0 | 12777 | 0 | 27472 0 | 5 | 2 5.79/5.82 c #cpu_time = 0.078s 5.79/5.82 c #wall_clock_time = 0.078s 5.79/5.82 c #decision = 12777 5.79/5.82 c #random_decision = 5 5.79/5.82 c #conflict = 0 5.79/5.82 c #restart = 0 5.79/5.82 o 2879 5.79/5.84 c BCD2: updating upper bound: 530914 -> 2878 5.89/5.91 c BCD2: 1309 <= obj <= 2878 5.89/5.91 c BCD2: #cores=45, #unrelaxed=6147, #relaxed=7217, #hardened=0 5.89/5.91 c BCD2: #sat=2 #unsat=46 bias=46/48 5.89/5.96 c Solving starts ... 5.89/5.96 c ============================[ Search Statistics ]============================ 5.89/5.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.89/5.96 c | | | | Limit GC | Var | Constra 5.89/5.96 c ============================================================================= 5.89/5.96 c 0.0s | 0 | 0 | 0 | 27472 0 | 5 | 2 5.99/6.01 c 0.0s | 0 | 2926 | 0 | 27472 0 | 5 | 2 5.99/6.01 c #cpu_time = 0.043s 5.99/6.01 c #wall_clock_time = 0.043s 5.99/6.01 c #decision = 2926 5.99/6.01 c #random_decision = 0 5.99/6.01 c #conflict = 0 5.99/6.01 c #restart = 0 5.99/6.01 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 41: cost of the new core is >=34 5.99/6.01 c lower bound updated to 1314 5.99/6.02 c BCD2: 1314 <= obj <= 2878 5.99/6.02 c BCD2: #cores=45, #unrelaxed=6141, #relaxed=7223, #hardened=0 5.99/6.02 c BCD2: #sat=2 #unsat=47 bias=47/49 5.99/6.03 c Solving starts ... 5.99/6.03 c ============================[ Search Statistics ]============================ 5.99/6.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.99/6.03 c | | | | Limit GC | Var | Constra 5.99/6.03 c ============================================================================= 5.99/6.03 c 0.0s | 0 | 0 | 0 | 27472 0 | 8 | 2 6.19/6.29 c 0.3s | 1 | 20374 | 100 | 27472 0 | 8 | 7 6.59/6.68 c 0.7s | 2 | 43227 | 250 | 30220 0 | 8 | 7 6.79/6.86 c 0.8s | 2 | 49879 | 285 | 33242 0 | 8 | 7 6.79/6.86 c #cpu_time = 0.805s 6.79/6.86 c #wall_clock_time = 0.807s 6.79/6.86 c #decision = 49879 6.79/6.86 c #random_decision = 27 6.79/6.86 c #conflict = 285 6.79/6.86 c #restart = 2 6.79/6.86 o 2531 6.79/6.87 c BCD2: updating upper bound: 2878 -> 2530 6.89/6.97 c BCD2: 1314 <= obj <= 2530 6.89/6.97 c BCD2: #cores=45, #unrelaxed=6141, #relaxed=7223, #hardened=0 6.89/6.97 c BCD2: #sat=3 #unsat=47 bias=47/50 6.99/7.02 c Solving starts ... 6.99/7.02 c ============================[ Search Statistics ]============================ 6.99/7.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 6.99/7.02 c | | | | Limit GC | Var | Constra 6.99/7.02 c ============================================================================= 6.99/7.03 c 0.0s | 0 | 0 | 0 | 33242 0 | 8 | 8 6.99/7.07 c 0.0s | 0 | 154 | 0 | 33242 0 | 8 | 8 6.99/7.07 c #cpu_time = 0.042s 6.99/7.07 c #wall_clock_time = 0.043s 6.99/7.07 c #decision = 154 6.99/7.07 c #random_decision = 0 6.99/7.07 c #conflict = 0 6.99/7.07 c #restart = 0 6.99/7.07 c BCD2: relaxing 24 and merging with 5 cores into a new core of size 219: cost of the new core is >=141 6.99/7.07 c lower bound updated to 1315 6.99/7.08 c BCD2: 1315 <= obj <= 2530 6.99/7.08 c BCD2: #cores=41, #unrelaxed=6117, #relaxed=7247, #hardened=0 6.99/7.08 c BCD2: #sat=3 #unsat=48 bias=48/51 6.99/7.09 c Solving starts ... 6.99/7.09 c ============================[ Search Statistics ]============================ 6.99/7.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 6.99/7.09 c | | | | Limit GC | Var | Constra 6.99/7.09 c ============================================================================= 6.99/7.09 c 0.0s | 0 | 0 | 0 | 33242 0 | 92 | 8 7.08/7.13 c 0.0s | 0 | 1075 | 0 | 33242 0 | 92 | 171 7.08/7.13 c #cpu_time = 0.043s 7.08/7.13 c #wall_clock_time = 0.043s 7.08/7.13 c #decision = 1075 7.08/7.13 c #random_decision = 0 7.08/7.13 c #conflict = 0 7.08/7.13 c #restart = 0 7.08/7.13 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 16: cost of the new core is >=32 7.08/7.13 c lower bound updated to 1316 7.08/7.14 c BCD2: 1316 <= obj <= 2530 7.08/7.14 c BCD2: #cores=41, #unrelaxed=6116, #relaxed=7248, #hardened=0 7.08/7.14 c BCD2: #sat=3 #unsat=49 bias=49/52 7.08/7.14 c Solving starts ... 7.08/7.14 c ============================[ Search Statistics ]============================ 7.08/7.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.08/7.14 c | | | | Limit GC | Var | Constra 7.08/7.14 c ============================================================================= 7.08/7.15 c 0.0s | 0 | 0 | 0 | 33242 0 | 100 | 171 7.08/7.19 c 0.0s | 0 | 1449 | 0 | 33242 0 | 100 | 186 7.08/7.19 c #cpu_time = 0.042s 7.08/7.19 c #wall_clock_time = 0.042s 7.08/7.19 c #decision = 1449 7.08/7.19 c #random_decision = 0 7.08/7.19 c #conflict = 0 7.08/7.19 c #restart = 0 7.08/7.19 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 40: cost of the new core is >=34 7.08/7.19 c lower bound updated to 1321 7.28/7.31 c BCD2: 1321 <= obj <= 2530 7.28/7.31 c BCD2: #cores=41, #unrelaxed=6115, #relaxed=7249, #hardened=0 7.28/7.31 c BCD2: #sat=3 #unsat=50 bias=50/53 7.28/7.32 c Solving starts ... 7.28/7.32 c ============================[ Search Statistics ]============================ 7.28/7.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.28/7.32 c | | | | Limit GC | Var | Constra 7.28/7.32 c ============================================================================= 7.28/7.32 c 0.0s | 0 | 0 | 0 | 33242 0 | 110 | 186 7.28/7.36 c 0.0s | 0 | 1943 | 0 | 33242 0 | 110 | 205 7.28/7.36 c #cpu_time = 0.046s 7.28/7.36 c #wall_clock_time = 0.047s 7.28/7.36 c #decision = 1943 7.28/7.36 c #random_decision = 0 7.28/7.36 c #conflict = 0 7.28/7.36 c #restart = 0 7.28/7.36 c BCD2: relaxing 10 and merging with 1 cores into a new core of size 48: cost of the new core is >=31 7.28/7.36 c lower bound updated to 1328 7.28/7.37 c BCD2: 1328 <= obj <= 2530 7.28/7.37 c BCD2: #cores=41, #unrelaxed=6105, #relaxed=7259, #hardened=0 7.28/7.37 c BCD2: #sat=3 #unsat=51 bias=51/54 7.28/7.38 c Solving starts ... 7.28/7.38 c ============================[ Search Statistics ]============================ 7.28/7.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.28/7.38 c | | | | Limit GC | Var | Constra 7.28/7.38 c ============================================================================= 7.28/7.38 c 0.0s | 0 | 0 | 0 | 33242 0 | 116 | 205 7.69/7.72 c 0.3s | 1 | 30932 | 100 | 33242 0 | 116 | 216 8.18/8.25 c 0.9s | 2 | 54478 | 250 | 36567 0 | 116 | 216 8.68/8.74 c 1.4s | 3 | 67636 | 475 | 36567 0 | 116 | 216 8.98/9.09 c 1.7s | 4 | 75830 | 813 | 40224 0 | 116 | 216 9.48/9.55 c 2.2s | 5 | 89718 | 1320 | 44247 0 | 116 | 216 10.28/10.31 c 2.9s | 6 | 109446 | 2081 | 48672 0 | 116 | 216 11.68/11.72 c 4.3s | 7 | 123216 | 3223 | 53540 0 | 116 | 216 11.99/12.01 c 4.6s | 7 | 131516 | 3320 | 53540 0 | 116 | 216 11.99/12.01 c #cpu_time = 4.616s 11.99/12.01 c #wall_clock_time = 4.627s 11.99/12.01 c #decision = 131516 11.99/12.01 c #random_decision = 58 11.99/12.01 c #conflict = 3320 11.99/12.01 c #restart = 7 11.99/12.01 c BCD2: relaxing 40 and merging with 3 cores into a new core of size 290: cost of the new core is >=94 11.99/12.01 c lower bound updated to 1329 11.99/12.02 c BCD2: 1329 <= obj <= 2530 11.99/12.02 c BCD2: #cores=39, #unrelaxed=6065, #relaxed=7299, #hardened=0 11.99/12.02 c BCD2: #sat=3 #unsat=52 bias=52/55 11.99/12.02 c Solving starts ... 11.99/12.02 c ============================[ Search Statistics ]============================ 11.99/12.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 11.99/12.02 c | | | | Limit GC | Var | Constra 11.99/12.02 c ============================================================================= 11.99/12.02 c 0.0s | 0 | 0 | 0 | 53540 0 | 161 | 216 12.20/12.23 c 0.2s | 1 | 6948 | 100 | 53540 0 | 161 | 303 12.39/12.45 c 0.4s | 2 | 13939 | 250 | 53540 0 | 161 | 303 12.69/12.75 c 0.7s | 3 | 21754 | 475 | 53540 0 | 161 | 303 13.09/13.14 c 1.1s | 4 | 33587 | 813 | 53540 0 | 161 | 303 13.69/13.75 c 1.7s | 4 | 50777 | 1161 | 53540 0 | 161 | 303 13.69/13.75 c #cpu_time = 1.705s 13.69/13.75 c #wall_clock_time = 1.709s 13.69/13.75 c #decision = 50777 13.69/13.75 c #random_decision = 30 13.69/13.75 c #conflict = 1161 13.69/13.75 c #restart = 4 13.69/13.75 o 2228 13.69/13.77 c BCD2: updating upper bound: 2530 -> 2227 13.79/13.86 c BCD2: 1329 <= obj <= 2227 13.79/13.86 c BCD2: #cores=39, #unrelaxed=6065, #relaxed=7299, #hardened=0 13.79/13.86 c BCD2: #sat=4 #unsat=52 bias=52/56 13.89/13.98 c Solving starts ... 13.89/13.98 c ============================[ Search Statistics ]============================ 13.89/13.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 13.89/13.98 c | | | | Limit GC | Var | Constra 13.89/13.98 c ============================================================================= 13.89/13.99 c 0.0s | 0 | 0 | 0 | 53540 0 | 161 | 304 13.99/14.04 c 0.1s | 0 | 187 | 0 | 53540 0 | 161 | 304 13.99/14.04 c #cpu_time = 0.056s 13.99/14.04 c #wall_clock_time = 0.057s 13.99/14.04 c #decision = 187 13.99/14.04 c #random_decision = 0 13.99/14.04 c #conflict = 0 13.99/14.04 c #restart = 0 13.99/14.04 c BCD2: relaxing 1 and merging with 2 cores into a new core of size 173: cost of the new core is >=59 13.99/14.04 c lower bound updated to 1330 13.99/14.05 c BCD2: 1330 <= obj <= 2227 13.99/14.05 c BCD2: #cores=38, #unrelaxed=6064, #relaxed=7300, #hardened=0 13.99/14.05 c BCD2: #sat=4 #unsat=53 bias=53/57 13.99/14.06 c Solving starts ... 13.99/14.06 c ============================[ Search Statistics ]============================ 13.99/14.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 13.99/14.06 c | | | | Limit GC | Var | Constra 13.99/14.06 c ============================================================================= 13.99/14.06 c 0.0s | 0 | 0 | 0 | 53540 0 | 193 | 304 14.09/14.12 c 0.1s | 0 | 710 | 0 | 53540 0 | 193 | 366 14.09/14.12 c #cpu_time = 0.058s 14.09/14.12 c #wall_clock_time = 0.059s 14.09/14.12 c #decision = 710 14.09/14.12 c #random_decision = 0 14.09/14.12 c #conflict = 0 14.09/14.12 c #restart = 0 14.09/14.12 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 21: cost of the new core is >=29 14.09/14.12 c lower bound updated to 1332 14.09/14.13 c BCD2: 1332 <= obj <= 2227 14.09/14.13 c BCD2: #cores=38, #unrelaxed=6062, #relaxed=7302, #hardened=0 14.09/14.13 c BCD2: #sat=4 #unsat=54 bias=54/58 14.09/14.13 c Solving starts ... 14.09/14.13 c ============================[ Search Statistics ]============================ 14.09/14.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 14.09/14.13 c | | | | Limit GC | Var | Constra 14.09/14.13 c ============================================================================= 14.09/14.14 c 0.0s | 0 | 0 | 0 | 53540 0 | 204 | 366 14.30/14.35 c 0.2s | 1 | 8289 | 100 | 53540 0 | 204 | 387 14.49/14.56 c 0.4s | 2 | 21312 | 250 | 58895 0 | 204 | 387 14.89/14.90 c 0.8s | 3 | 30275 | 475 | 58895 0 | 204 | 387 15.40/15.41 c 1.3s | 4 | 47343 | 813 | 58895 0 | 204 | 387 16.09/16.13 c 2.0s | 5 | 67911 | 1320 | 58895 0 | 204 | 387 18.19/18.27 c 4.1s | 5 | 125532 | 1920 | 58895 0 | 204 | 387 18.59/18.62 c 4.5s | 6 | 126392 | 2081 | 58895 0 | 204 | 387 20.39/20.41 c 6.3s | 7 | 147842 | 3223 | 64785 0 | 204 | 387 22.49/22.52 c 8.4s | 7 | 194431 | 4023 | 64785 0 | 204 | 387 23.79/23.88 c 9.7s | 7 | 203975 | 4556 | 64785 0 | 204 | 387 23.79/23.88 c #cpu_time = 9.696s 23.79/23.88 c #wall_clock_time = 9.721s 23.79/23.88 c #decision = 203975 23.79/23.88 c #random_decision = 59 23.79/23.88 c #conflict = 4556 23.79/23.88 c #restart = 7 23.79/23.88 o 1949 23.79/23.89 c BCD2: updating upper bound: 2227 -> 1948 23.89/23.99 c BCD2: 1332 <= obj <= 1948 23.89/23.99 c BCD2: #cores=38, #unrelaxed=6062, #relaxed=7302, #hardened=0 23.89/23.99 c BCD2: #sat=5 #unsat=54 bias=54/59 24.09/24.16 c Solving starts ... 24.09/24.16 c ============================[ Search Statistics ]============================ 24.09/24.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 24.09/24.16 c | | | | Limit GC | Var | Constra 24.09/24.16 c ============================================================================= 24.09/24.16 c 0.0s | 0 | 0 | 0 | 64785 0 | 204 | 388 24.20/24.26 c 0.1s | 0 | 163 | 1 | 64785 0 | 204 | 388 24.20/24.26 c #cpu_time = 0.090s 24.20/24.26 c #wall_clock_time = 0.090s 24.20/24.26 c #decision = 163 24.20/24.26 c #random_decision = 0 24.20/24.26 c #conflict = 1 24.20/24.26 c #restart = 0 24.20/24.26 c BCD2: relaxing 26 and merging with 3 cores into a new core of size 185: cost of the new core is >=89 24.20/24.26 c lower bound updated to 1333 24.20/24.27 c BCD2: 1333 <= obj <= 1948 24.20/24.27 c BCD2: #cores=36, #unrelaxed=6036, #relaxed=7328, #hardened=0 24.20/24.27 c BCD2: #sat=5 #unsat=55 bias=55/60 24.20/24.27 c Solving starts ... 24.20/24.27 c ============================[ Search Statistics ]============================ 24.20/24.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 24.20/24.27 c | | | | Limit GC | Var | Constra 24.20/24.27 c ============================================================================= 24.20/24.27 c 0.0s | 0 | 0 | 0 | 64785 0 | 247 | 388 24.30/24.39 c 0.1s | 0 | 1548 | 0 | 64785 0 | 247 | 472 24.30/24.39 c #cpu_time = 0.114s 24.30/24.39 c #wall_clock_time = 0.115s 24.30/24.39 c #decision = 1548 24.30/24.39 c #random_decision = 0 24.30/24.39 c #conflict = 0 24.30/24.39 c #restart = 0 24.30/24.39 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 10: cost of the new core is >=28 24.30/24.39 c lower bound updated to 1334 24.30/24.40 c BCD2: 1334 <= obj <= 1948 24.30/24.40 c BCD2: #cores=36, #unrelaxed=6035, #relaxed=7329, #hardened=0 24.30/24.40 c BCD2: #sat=5 #unsat=56 bias=56/61 24.39/24.40 c Solving starts ... 24.39/24.40 c ============================[ Search Statistics ]============================ 24.39/24.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 24.39/24.40 c | | | | Limit GC | Var | Constra 24.39/24.40 c ============================================================================= 24.39/24.40 c 0.0s | 0 | 0 | 0 | 64785 0 | 254 | 472 24.39/24.48 c 0.1s | 0 | 1642 | 0 | 64785 0 | 254 | 486 24.39/24.48 c #cpu_time = 0.083s 24.39/24.48 c #wall_clock_time = 0.083s 24.39/24.48 c #decision = 1642 24.39/24.48 c #random_decision = 0 24.39/24.48 c #conflict = 0 24.39/24.48 c #restart = 0 24.39/24.48 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 23: cost of the new core is >=29 24.39/24.48 c lower bound updated to 1339 24.39/24.49 c BCD2: 1339 <= obj <= 1948 24.39/24.49 c BCD2: #cores=36, #unrelaxed=6031, #relaxed=7333, #hardened=0 24.39/24.49 c BCD2: #sat=5 #unsat=57 bias=57/62 24.49/24.50 c Solving starts ... 24.49/24.50 c ============================[ Search Statistics ]============================ 24.49/24.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 24.49/24.50 c | | | | Limit GC | Var | Constra 24.49/24.50 c ============================================================================= 24.49/24.50 c 0.0s | 0 | 0 | 0 | 64785 0 | 262 | 486 24.49/24.60 c 0.1s | 0 | 1642 | 0 | 64785 0 | 262 | 502 24.49/24.60 c #cpu_time = 0.094s 24.49/24.60 c #wall_clock_time = 0.094s 24.49/24.60 c #decision = 1642 24.49/24.60 c #random_decision = 0 24.49/24.60 c #conflict = 0 24.49/24.60 c #restart = 0 24.49/24.60 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 32: cost of the new core is >=30 24.49/24.60 c lower bound updated to 1341 24.59/24.60 c BCD2: 1341 <= obj <= 1948 24.59/24.60 c BCD2: #cores=36, #unrelaxed=6028, #relaxed=7336, #hardened=0 24.59/24.60 c BCD2: #sat=5 #unsat=58 bias=58/63 24.59/24.61 c Solving starts ... 24.59/24.61 c ============================[ Search Statistics ]============================ 24.59/24.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 24.59/24.61 c | | | | Limit GC | Var | Constra 24.59/24.61 c ============================================================================= 24.59/24.61 c 0.0s | 0 | 0 | 0 | 64785 0 | 270 | 502 24.79/24.80 c 0.2s | 1 | 8765 | 100 | 64785 0 | 270 | 517 24.99/25.07 c 0.5s | 2 | 22833 | 250 | 64785 0 | 270 | 517 25.30/25.36 c 0.8s | 3 | 33395 | 475 | 64785 0 | 270 | 517 25.69/25.75 c 1.1s | 4 | 42234 | 813 | 64785 0 | 270 | 517 26.29/26.31 c 1.7s | 5 | 57840 | 1320 | 64785 0 | 270 | 517 26.89/26.97 c 2.4s | 6 | 75793 | 2081 | 71264 0 | 270 | 517 27.79/27.89 c 3.3s | 7 | 94365 | 3223 | 71264 0 | 270 | 517 29.29/29.38 c 4.8s | 8 | 128575 | 4936 | 71264 0 | 270 | 517 31.39/31.48 c 6.9s | 8 | 164177 | 7336 | 71264 0 | 270 | 517 31.59/31.68 c 7.1s | 9 | 165935 | 7506 | 71264 0 | 270 | 517 33.68/33.73 c 9.1s | 9 | 226920 | 9606 | 78391 0 | 270 | 517 34.09/34.13 c 9.5s | 9 | 242716 | 9861 | 78391 0 | 270 | 517 34.09/34.13 c #cpu_time = 9.489s 34.09/34.13 c #wall_clock_time = 9.513s 34.09/34.13 c #decision = 242716 34.09/34.13 c #random_decision = 150 34.09/34.13 c #conflict = 9861 34.09/34.13 c #restart = 9 34.09/34.13 c BCD2: relaxing 531 and merging with 14 cores into a new core of size 2380: cost of the new core is >=679 34.09/34.13 c lower bound updated to 1342 34.09/34.15 c BCD2: 1342 <= obj <= 1948 34.09/34.15 c BCD2: #cores=23, #unrelaxed=5497, #relaxed=7867, #hardened=0 34.09/34.15 c BCD2: #sat=5 #unsat=59 bias=59/64 34.09/34.16 c Solving starts ... 34.09/34.16 c ============================[ Search Statistics ]============================ 34.09/34.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 34.09/34.16 c | | | | Limit GC | Var | Constra 34.09/34.16 c ============================================================================= 34.09/34.16 c 0.0s | 0 | 0 | 0 | 78391 0 | 361 | 517 34.68/34.73 c 0.6s | 1 | 8218 | 100 | 78391 0 | 361 | 689 35.98/36.00 c 1.8s | 2 | 18225 | 250 | 78391 0 | 361 | 689 37.58/37.60 c 3.4s | 3 | 28369 | 475 | 78391 0 | 361 | 689 39.69/39.73 c 5.6s | 4 | 37881 | 813 | 78391 0 | 361 | 689 41.68/41.75 c 7.6s | 4 | 51322 | 1113 | 78391 0 | 361 | 689 43.28/43.32 c 9.2s | 5 | 54168 | 1320 | 78391 0 | 361 | 689 45.78/45.87 c 11.7s | 5 | 68719 | 1720 | 78391 0 | 361 | 689 48.08/48.13 c 14.0s | 6 | 74058 | 2081 | 78391 0 | 361 | 689 50.69/50.76 c 16.6s | 6 | 83996 | 2481 | 78391 0 | 361 | 689 53.28/53.35 c 19.2s | 6 | 86674 | 2881 | 78391 0 | 361 | 689 55.18/55.23 c 21.1s | 7 | 90075 | 3223 | 78391 0 | 361 | 689 57.48/57.54 c 23.4s | 7 | 97458 | 3723 | 78391 0 | 361 | 689 59.68/59.71 c 25.5s | 7 | 102546 | 4023 | 78391 0 | 361 | 689 62.08/62.14 c 28.0s | 7 | 109005 | 4423 | 78391 0 | 361 | 689 64.58/64.65 c 30.5s | 7 | 113712 | 4923 | 78391 0 | 361 | 689 64.68/64.73 c 30.6s | 8 | 113724 | 4936 | 78391 0 | 361 | 689 67.38/67.44 c 33.3s | 8 | 127745 | 5236 | 78391 0 | 361 | 689 69.78/69.81 c 35.6s | 8 | 135837 | 5536 | 78391 0 | 361 | 689 71.88/71.92 c 37.8s | 8 | 141349 | 5836 | 78391 0 | 361 | 689 73.88/73.93 c 39.8s | 8 | 148518 | 6236 | 78391 0 | 361 | 689 76.28/76.37 c 42.2s | 8 | 154348 | 6536 | 86231 0 | 361 | 689 78.38/78.44 c 44.3s | 8 | 157581 | 6836 | 86231 0 | 361 | 689 80.58/80.65 c 46.5s | 8 | 159377 | 7236 | 86231 0 | 361 | 689 82.48/82.53 c 48.4s | 9 | 163751 | 7506 | 86231 0 | 361 | 689 84.98/85.03 c 50.9s | 9 | 174838 | 7906 | 86231 0 | 361 | 689 87.37/87.49 c 53.3s | 9 | 178858 | 8306 | 86231 0 | 361 | 689 89.87/89.93 c 55.8s | 9 | 182344 | 8806 | 86231 0 | 361 | 689 92.27/92.36 c 58.2s | 9 | 186722 | 9206 | 86231 0 | 361 | 689 94.77/94.80 c 60.6s | 9 | 192620 | 9606 | 86231 0 | 361 | 689 97.17/97.21 c 63.0s | 9 | 201364 | 10006 | 86231 0 | 361 | 689 99.77/99.82 c 65.7s | 9 | 209466 | 10406 | 86231 0 | 361 | 689 102.17/102.21 c 68.0s | 9 | 214747 | 10706 | 86231 0 | 361 | 689 104.17/104.26 c 70.1s | 9 | 219512 | 11006 | 86231 0 | 361 | 689 106.47/106.54 c 72.4s | 10 | 227929 | 11361 | 86231 0 | 361 | 689 108.77/108.85 c 74.7s | 10 | 241594 | 11661 | 86231 0 | 361 | 689 111.27/111.33 c 77.2s | 10 | 243902 | 12061 | 86231 0 | 361 | 689 113.47/113.54 c 79.4s | 10 | 248747 | 12361 | 86231 0 | 361 | 689 115.58/115.61 c 81.4s | 10 | 250221 | 12661 | 86231 0 | 361 | 689 117.78/117.83 c 83.7s | 10 | 255747 | 12961 | 86231 0 | 361 | 689 120.57/120.66 c 86.5s | 10 | 265304 | 13261 | 86231 0 | 361 | 689 123.18/123.21 c 89.0s | 10 | 271139 | 13661 | 86231 0 | 361 | 689 125.67/125.77 c 91.6s | 10 | 278211 | 14061 | 86231 0 | 361 | 689 127.97/128.01 c 93.8s | 10 | 284612 | 14361 | 86231 0 | 361 | 689 130.27/130.31 c 96.1s | 10 | 289981 | 14661 | 86231 0 | 361 | 689 132.67/132.78 c 98.6s | 10 | 294443 | 14961 | 86231 0 | 361 | 689 134.77/134.88 c 100s | 10 | 297703 | 15261 | 86231 0 | 361 | 689 136.87/137.00 c 102s | 10 | 305052 | 15561 | 86231 0 | 361 | 689 139.07/139.16 c 104s | 10 | 308390 | 15861 | 86231 0 | 361 | 689 141.87/141.97 c 107s | 10 | 311621 | 16261 | 86231 0 | 361 | 689 144.27/144.30 c 110s | 10 | 320851 | 16561 | 86231 0 | 361 | 689 146.27/146.34 c 112s | 10 | 323896 | 16861 | 86231 0 | 361 | 689 148.17/148.23 c 114s | 11 | 328114 | 17144 | 86231 0 | 361 | 689 150.57/150.69 c 116s | 11 | 340920 | 17544 | 86231 0 | 361 | 689 153.16/153.22 c 119s | 11 | 347491 | 17944 | 86231 0 | 361 | 689 155.36/155.48 c 121s | 11 | 356472 | 18244 | 86231 0 | 361 | 689 157.96/158.04 c 123s | 11 | 360639 | 18744 | 86231 0 | 361 | 689 160.16/160.26 c 126s | 11 | 362550 | 19044 | 86231 0 | 361 | 689 162.46/162.50 c 128s | 11 | 368818 | 19344 | 86231 0 | 361 | 689 165.46/165.50 c 131s | 11 | 375295 | 19644 | 94855 0 | 361 | 689 167.96/168.03 c 133s | 11 | 378022 | 19944 | 94855 0 | 361 | 689 170.16/170.27 c 136s | 11 | 381176 | 20244 | 94855 0 | 361 | 689 172.86/172.92 c 138s | 11 | 389236 | 20544 | 94855 0 | 361 | 689 174.87/174.94 c 140s | 11 | 398752 | 20844 | 94855 0 | 361 | 689 176.86/176.98 c 142s | 11 | 400772 | 21144 | 94855 0 | 361 | 689 179.06/179.18 c 145s | 11 | 402314 | 21544 | 94855 0 | 361 | 689 181.76/181.88 c 147s | 11 | 403375 | 21944 | 94855 0 | 361 | 689 183.96/184.03 c 149s | 11 | 406952 | 22244 | 94855 0 | 361 | 689 185.97/186.08 c 151s | 11 | 410465 | 22544 | 94855 0 | 361 | 689 188.07/188.14 c 153s | 11 | 414206 | 22844 | 94855 0 | 361 | 689 190.16/190.29 c 156s | 11 | 416461 | 23044 | 94855 0 | 361 | 689 192.96/193.08 c 158s | 11 | 424560 | 23344 | 94855 0 | 361 | 689 195.06/195.17 c 161s | 11 | 430444 | 23644 | 94855 0 | 361 | 689 197.66/197.71 c 163s | 11 | 432052 | 24044 | 94855 0 | 361 | 689 199.76/199.83 c 165s | 11 | 433665 | 24344 | 94855 0 | 361 | 689 202.36/202.46 c 168s | 11 | 435943 | 24744 | 94855 0 | 361 | 689 204.96/205.06 c 170s | 11 | 439102 | 25144 | 94855 0 | 361 | 689 207.06/207.11 c 172s | 11 | 442656 | 25444 | 94855 0 | 361 | 689 209.16/209.26 c 175s | 12 | 444187 | 25819 | 94855 0 | 361 | 689 211.66/211.71 c 177s | 12 | 451871 | 26219 | 94855 0 | 361 | 689 214.26/214.32 c 180s | 12 | 455203 | 26519 | 94855 0 | 361 | 689 216.76/216.88 c 182s | 12 | 461383 | 26819 | 94855 0 | 361 | 689 219.65/219.70 c 185s | 12 | 465962 | 27119 | 94855 0 | 361 | 689 222.05/222.16 c 187s | 12 | 470533 | 27419 | 94855 0 | 361 | 689 224.05/224.17 c 190s | 12 | 473098 | 27619 | 94855 0 | 361 | 689 226.56/226.65 c 192s | 12 | 479451 | 27919 | 94855 0 | 361 | 689 228.76/228.84 c 194s | 12 | 488412 | 28219 | 94855 0 | 361 | 689 231.35/231.43 c 197s | 12 | 493756 | 28619 | 94855 0 | 361 | 689 233.45/233.53 c 199s | 12 | 500120 | 28919 | 94855 0 | 361 | 689 235.65/235.72 c 201s | 12 | 504021 | 29219 | 94855 0 | 361 | 689 238.35/238.49 c 204s | 12 | 509782 | 29519 | 94855 0 | 361 | 689 240.96/241.03 c 206s | 12 | 510921 | 29819 | 94855 0 | 361 | 689 243.25/243.36 c 209s | 12 | 512167 | 30219 | 94855 0 | 361 | 689 245.45/245.59 c 211s | 12 | 516118 | 30519 | 94855 0 | 361 | 689 247.95/248.09 c 213s | 12 | 522464 | 30819 | 94855 0 | 361 | 689 250.35/250.40 c 216s | 12 | 524618 | 31219 | 94855 0 | 361 | 689 252.35/252.40 c 218s | 12 | 525931 | 31619 | 94855 0 | 361 | 689 254.55/254.60 c 220s | 12 | 531414 | 31919 | 94855 0 | 361 | 689 257.36/257.47 c 223s | 12 | 540249 | 32219 | 94855 0 | 361 | 689 259.45/259.50 c 225s | 12 | 544961 | 32419 | 94855 0 | 361 | 689 261.95/262.03 c 227s | 12 | 554451 | 32719 | 94855 0 | 361 | 689 264.35/264.44 c 230s | 12 | 559164 | 32919 | 94855 0 | 361 | 689 266.75/266.81 c 232s | 12 | 560761 | 33219 | 94855 0 | 361 | 689 268.75/268.83 c 234s | 12 | 565557 | 33519 | 94855 0 | 361 | 689 270.75/270.89 c 236s | 12 | 575171 | 33819 | 94855 0 | 361 | 689 272.85/272.91 c 238s | 12 | 581765 | 34119 | 94855 0 | 361 | 689 274.95/275.10 c 240s | 12 | 587428 | 34619 | 94855 0 | 361 | 689 277.35/277.45 c 243s | 12 | 593709 | 35019 | 94855 0 | 361 | 689 279.65/279.78 c 245s | 12 | 598048 | 35419 | 94855 0 | 361 | 689 281.95/282.03 c 247s | 12 | 601646 | 35819 | 94855 0 | 361 | 689 284.34/284.44 c 250s | 12 | 610692 | 36219 | 94855 0 | 361 | 689 286.54/286.64 c 252s | 12 | 615375 | 36619 | 94855 0 | 361 | 689 288.84/288.90 c 254s | 12 | 622202 | 36919 | 94855 0 | 361 | 689 291.04/291.17 c 257s | 12 | 627979 | 37219 | 94855 0 | 361 | 689 293.44/293.51 c 259s | 12 | 634031 | 37519 | 94855 0 | 361 | 689 295.44/295.54 c 261s | 12 | 638837 | 37819 | 94855 0 | 361 | 689 297.94/298.01 c 263s | 12 | 645146 | 38219 | 94855 0 | 361 | 689 300.14/300.28 c 266s | 12 | 649800 | 38519 | 94855 0 | 361 | 689 302.24/302.37 c 268s | 12 | 656842 | 38819 | 104341 0 | 361 | 689 302.34/302.47 c 268s | 13 | 657406 | 38832 | 104341 0 | 361 | 689 304.84/304.96 c 270s | 13 | 668819 | 39132 | 104341 0 | 361 | 689 306.85/306.97 c 272s | 13 | 674095 | 39432 | 104341 0 | 361 | 689 308.94/309.09 c 274s | 13 | 678745 | 39632 | 104341 0 | 361 | 689 311.25/311.35 c 277s | 13 | 686119 | 39932 | 104341 0 | 361 | 689 313.34/313.42 c 279s | 13 | 694920 | 40232 | 104341 0 | 361 | 689 315.44/315.50 c 281s | 13 | 696832 | 40432 | 104341 0 | 361 | 689 317.74/317.80 c 283s | 13 | 702736 | 40732 | 104341 0 | 361 | 689 320.05/320.18 c 286s | 13 | 710275 | 41032 | 104341 0 | 361 | 689 322.35/322.48 c 288s | 13 | 716433 | 41332 | 104341 0 | 361 | 689 324.74/324.83 c 290s | 13 | 721631 | 41632 | 104341 0 | 361 | 689 326.94/327.02 c 292s | 13 | 726097 | 41932 | 104341 0 | 361 | 689 328.94/329.08 c 294s | 13 | 731728 | 42232 | 104341 0 | 361 | 689 331.64/331.70 c 297s | 13 | 739634 | 42532 | 104341 0 | 361 | 689 334.04/334.14 c 299s | 13 | 746424 | 42832 | 104341 0 | 361 | 689 336.94/337.03 c 302s | 13 | 750851 | 43232 | 104341 0 | 361 | 689 339.14/339.27 c 305s | 13 | 755994 | 43532 | 104341 0 | 361 | 689 341.93/342.00 c 307s | 13 | 761525 | 43832 | 104341 0 | 361 | 689 344.34/344.46 c 310s | 13 | 766268 | 44132 | 104341 0 | 361 | 689 346.73/346.88 c 312s | 13 | 770042 | 44432 | 104341 0 | 361 | 689 348.93/349.05 c 314s | 13 | 774164 | 44732 | 104341 0 | 361 | 689 351.53/351.60 c 317s | 13 | 777783 | 45132 | 104341 0 | 361 | 689 354.14/354.21 c 320s | 13 | 781974 | 45532 | 104341 0 | 361 | 689 356.13/356.24 c 322s | 13 | 783079 | 45832 | 104341 0 | 361 | 689 358.93/359.08 c 324s | 13 | 789564 | 46132 | 104341 0 | 361 | 689 361.53/361.63 c 327s | 13 | 793927 | 46432 | 104341 0 | 361 | 689 363.73/363.82 c 329s | 13 | 798379 | 46732 | 104341 0 | 361 | 689 365.83/365.98 c 331s | 13 | 807296 | 47032 | 104341 0 | 361 | 689 368.03/368.20 c 334s | 13 | 812754 | 47332 | 104341 0 | 361 | 689 370.23/370.37 c 336s | 13 | 819369 | 47632 | 104341 0 | 361 | 689 372.33/372.48 c 338s | 13 | 824326 | 47932 | 104341 0 | 361 | 689 374.43/374.52 c 340s | 13 | 826421 | 48332 | 104341 0 | 361 | 689 376.73/376.84 c 342s | 13 | 827977 | 48832 | 104341 0 | 361 | 689 378.83/378.96 c 344s | 13 | 829614 | 49232 | 104341 0 | 361 | 689 381.03/381.14 c 346s | 13 | 831150 | 49632 | 104341 0 | 361 | 689 383.33/383.49 c 349s | 13 | 832821 | 50032 | 104341 0 | 361 | 689 385.63/385.77 c 351s | 13 | 835041 | 50332 | 104341 0 | 361 | 689 388.73/388.85 c 354s | 13 | 841194 | 50632 | 104341 0 | 361 | 689 391.23/391.38 c 357s | 13 | 847321 | 50932 | 104341 0 | 361 | 689 393.93/394.08 c 359s | 13 | 853183 | 51332 | 104341 0 | 361 | 689 396.13/396.28 c 362s | 13 | 858515 | 51632 | 104341 0 | 361 | 689 398.73/398.85 c 364s | 13 | 868267 | 51932 | 104341 0 | 361 | 689 400.93/401.01 c 366s | 13 | 875107 | 52232 | 104341 0 | 361 | 689 403.22/403.36 c 369s | 13 | 880993 | 52532 | 104341 0 | 361 | 689 405.83/405.96 c 371s | 13 | 885549 | 52932 | 104341 0 | 361 | 689 407.92/408.04 c 373s | 13 | 888175 | 53232 | 104341 0 | 361 | 689 410.23/410.35 c 376s | 13 | 894840 | 53532 | 104341 0 | 361 | 689 412.53/412.67 c 378s | 13 | 900215 | 53832 | 104341 0 | 361 | 689 415.22/415.32 c 381s | 13 | 906298 | 54132 | 104341 0 | 361 | 689 417.22/417.39 c 383s | 13 | 913858 | 54432 | 104341 0 | 361 | 689 419.92/420.05 c 385s | 13 | 918402 | 54832 | 104341 0 | 361 | 689 422.33/422.49 c 388s | 13 | 925530 | 55132 | 104341 0 | 361 | 689 425.02/425.19 c 391s | 13 | 932260 | 55432 | 104341 0 | 361 | 689 427.62/427.73 c 393s | 13 | 939428 | 55732 | 104341 0 | 361 | 689 429.82/429.99 c 395s | 13 | 945702 | 56032 | 104341 0 | 361 | 689 432.33/432.43 c 398s | 13 | 952586 | 56332 | 104341 0 | 361 | 689 434.72/434.86 c 400s | 13 | 956637 | 56632 | 104341 0 | 361 | 689 437.02/437.13 c 402s | 13 | 959836 | 57032 | 104341 0 | 361 | 689 439.22/439.34 c 405s | 13 | 964408 | 57332 | 104341 0 | 361 | 689 442.02/442.16 c 407s | 13 | 968067 | 57632 | 104341 0 | 361 | 689 444.52/444.61 c 410s | 13 | 971243 | 57932 | 104341 0 | 361 | 689 447.02/447.18 c 413s | 13 | 979387 | 58232 | 104341 0 | 361 | 689 448.02/448.14 c 413s | 14 | 983326 | 58352 | 104341 0 | 361 | 689 450.42/450.56 c 416s | 14 | 994974 | 58552 | 104341 0 | 361 | 689 452.62/452.72 c 418s | 14 | 998678 | 58852 | 104341 0 | 361 | 689 455.02/455.18 c 421s | 14 | 1005741 | 59152 | 104341 0 | 361 | 689 457.82/457.91 c 423s | 14 | 1010117 | 59552 | 104341 0 | 361 | 689 459.92/460.06 c 425s | 14 | 1017652 | 59852 | 104341 0 | 361 | 689 462.42/462.57 c 428s | 14 | 1024743 | 60152 | 104341 0 | 361 | 689 465.12/465.23 c 431s | 14 | 1029536 | 60452 | 104341 0 | 361 | 689 467.61/467.76 c 433s | 14 | 1035122 | 60752 | 104341 0 | 361 | 689 469.91/470.09 c 435s | 14 | 1042628 | 61052 | 104341 0 | 361 | 689 472.11/472.21 c 438s | 14 | 1048760 | 61352 | 104341 0 | 361 | 689 474.71/474.83 c 440s | 14 | 1055444 | 61652 | 104341 0 | 361 | 689 476.91/477.02 c 442s | 14 | 1059829 | 61952 | 104341 0 | 361 | 689 479.71/479.85 c 445s | 14 | 1065832 | 62252 | 104341 0 | 361 | 689 482.41/482.58 c 448s | 14 | 1071219 | 62552 | 104341 0 | 361 | 689 484.41/484.59 c 450s | 14 | 1072504 | 62952 | 104341 0 | 361 | 689 486.51/486.65 c 452s | 14 | 1073668 | 63352 | 104341 0 | 361 | 689 489.11/489.23 c 455s | 14 | 1079899 | 63652 | 104341 0 | 361 | 689 491.72/491.81 c 457s | 14 | 1084503 | 63952 | 104341 0 | 361 | 689 494.31/494.40 c 460s | 14 | 1088670 | 64352 | 104341 0 | 361 | 689 496.31/496.47 c 462s | 14 | 1093053 | 64652 | 104341 0 | 361 | 689 498.81/498.90 c 464s | 14 | 1096778 | 65052 | 104341 0 | 361 | 689 501.52/501.65 c 467s | 14 | 1101148 | 65352 | 104341 0 | 361 | 689 503.91/504.05 c 469s | 14 | 1106003 | 65652 | 104341 0 | 361 | 689 506.31/506.49 c 472s | 14 | 1106951 | 66052 | 104341 0 | 361 | 689 508.61/508.71 c 474s | 14 | 1113576 | 66352 | 104341 0 | 361 | 689 511.01/511.17 c 477s | 14 | 1117981 | 66652 | 104341 0 | 361 | 689 513.31/513.40 c 479s | 14 | 1127564 | 66952 | 104341 0 | 361 | 689 515.41/515.59 c 481s | 14 | 1130045 | 67252 | 104341 0 | 361 | 689 517.81/517.92 c 483s | 14 | 1137264 | 67552 | 104341 0 | 361 | 689 519.81/519.92 c 485s | 14 | 1143251 | 67852 | 104341 0 | 361 | 689 522.11/522.22 c 488s | 14 | 1148372 | 68352 | 114776 0 | 361 | 689 524.31/524.44 c 490s | 14 | 1154787 | 68652 | 114776 0 | 361 | 689 526.61/526.73 c 492s | 14 | 1161491 | 68952 | 114776 0 | 361 | 689 528.71/528.88 c 494s | 14 | 1166720 | 69252 | 114776 0 | 361 | 689 530.91/531.03 c 496s | 14 | 1169598 | 69552 | 114776 0 | 361 | 689 533.11/533.22 c 499s | 14 | 1174833 | 69852 | 114776 0 | 361 | 689 535.90/536.01 c 501s | 14 | 1183530 | 70152 | 114776 0 | 361 | 689 538.80/538.95 c 504s | 14 | 1188453 | 70452 | 114776 0 | 361 | 689 541.30/541.43 c 507s | 14 | 1197724 | 70752 | 114776 0 | 361 | 689 543.50/543.68 c 509s | 14 | 1202684 | 71052 | 114776 0 | 361 | 689 546.40/546.58 c 512s | 14 | 1205312 | 71352 | 114776 0 | 361 | 689 549.20/549.30 c 515s | 14 | 1207019 | 71652 | 114776 0 | 361 | 689 551.70/551.81 c 517s | 14 | 1215342 | 71952 | 114776 0 | 361 | 689 554.60/554.76 c 520s | 14 | 1220343 | 72252 | 114776 0 | 361 | 689 557.00/557.18 c 523s | 14 | 1229244 | 72552 | 114776 0 | 361 | 689 559.81/559.95 c 525s | 14 | 1235532 | 72852 | 114776 0 | 361 | 689 562.50/562.60 c 528s | 14 | 1242847 | 73152 | 114776 0 | 361 | 689 565.10/565.22 c 531s | 14 | 1251238 | 73452 | 114776 0 | 361 | 689 567.51/567.64 c 533s | 14 | 1256730 | 73752 | 114776 0 | 361 | 689 570.00/570.16 c 535s | 14 | 1261213 | 74052 | 114776 0 | 361 | 689 572.40/572.59 c 538s | 14 | 1266330 | 74352 | 114776 0 | 361 | 689 574.90/575.03 c 540s | 14 | 1271858 | 74552 | 114776 0 | 361 | 689 577.00/577.12 c 542s | 14 | 1277298 | 74852 | 114776 0 | 361 | 689 579.30/579.40 c 545s | 14 | 1282969 | 75252 | 114776 0 | 361 | 689 581.60/581.70 c 547s | 14 | 1288804 | 75552 | 114776 0 | 361 | 689 583.70/583.82 c 549s | 14 | 1290303 | 75852 | 114776 0 | 361 | 689 586.20/586.32 c 552s | 14 | 1294888 | 76152 | 114776 0 | 361 | 689 588.40/588.59 c 554s | 14 | 1297461 | 76452 | 114776 0 | 361 | 689 590.80/590.90 c 556s | 14 | 1303394 | 76752 | 114776 0 | 361 | 689 593.00/593.13 c 558s | 14 | 1307111 | 77052 | 114776 0 | 361 | 689 595.60/595.77 c 561s | 14 | 1310052 | 77352 | 114776 0 | 361 | 689 597.90/598.05 c 563s | 14 | 1316592 | 77652 | 114776 0 | 361 | 689 600.50/600.69 c 566s | 14 | 1322948 | 77952 | 114776 0 | 361 | 689 602.89/603.05 c 568s | 14 | 1325372 | 78252 | 114776 0 | 361 | 689 605.00/605.20 c 571s | 14 | 1332560 | 78552 | 114776 0 | 361 | 689 607.69/607.80 c 573s | 14 | 1340041 | 78952 | 114776 0 | 361 | 689 609.99/610.20 c 576s | 14 | 1342340 | 79252 | 114776 0 | 361 | 689 612.39/612.51 c 578s | 14 | 1350771 | 79452 | 114776 0 | 361 | 689 615.29/615.42 c 581s | 14 | 1356666 | 79852 | 114776 0 | 361 | 689 617.49/617.63 c 583s | 14 | 1364204 | 80152 | 114776 0 | 361 | 689 619.89/620.04 c 585s | 14 | 1372389 | 80452 | 114776 0 | 361 | 689 622.50/622.61 c 588s | 14 | 1375288 | 80752 | 114776 0 | 361 | 689 625.09/625.29 c 591s | 14 | 1380977 | 81052 | 114776 0 | 361 | 689 627.69/627.81 c 593s | 14 | 1386261 | 81352 | 114776 0 | 361 | 689 630.39/630.51 c 596s | 14 | 1392898 | 81652 | 114776 0 | 361 | 689 632.99/633.14 c 598s | 14 | 1399988 | 81952 | 114776 0 | 361 | 689 635.70/635.88 c 601s | 14 | 1403278 | 82252 | 114776 0 | 361 | 689 638.19/638.31 c 604s | 14 | 1406514 | 82552 | 114776 0 | 361 | 689 640.29/640.46 c 606s | 14 | 1411882 | 82752 | 114776 0 | 361 | 689 642.40/642.53 c 608s | 14 | 1417855 | 82952 | 114776 0 | 361 | 689 644.50/644.62 c 610s | 14 | 1420954 | 83252 | 114776 0 | 361 | 689 647.39/647.51 c 613s | 14 | 1422003 | 83652 | 114776 0 | 361 | 689 649.59/649.77 c 615s | 14 | 1422887 | 83952 | 114776 0 | 361 | 689 652.39/652.58 c 618s | 14 | 1427300 | 84252 | 114776 0 | 361 | 689 654.99/655.14 c 620s | 14 | 1432836 | 84552 | 114776 0 | 361 | 689 657.29/657.40 c 623s | 14 | 1434684 | 84952 | 114776 0 | 361 | 689 659.79/659.98 c 625s | 14 | 1440086 | 85252 | 114776 0 | 361 | 689 662.29/662.42 c 628s | 14 | 1444276 | 85552 | 114776 0 | 361 | 689 665.18/665.32 c 631s | 14 | 1449389 | 85852 | 114776 0 | 361 | 689 667.98/668.18 c 634s | 14 | 1456102 | 86152 | 114776 0 | 361 | 689 670.68/670.89 c 636s | 14 | 1459444 | 86452 | 114776 0 | 361 | 689 673.38/673.57 c 639s | 14 | 1464968 | 86752 | 114776 0 | 361 | 689 675.68/675.84 c 641s | 14 | 1466900 | 87052 | 114776 0 | 361 | 689 678.18/678.35 c 644s | 14 | 1474498 | 87252 | 114776 0 | 361 | 689 680.68/680.86 c 646s | 15 | 1482155 | 87632 | 114776 0 | 361 | 689 683.09/683.22 c 649s | 15 | 1491594 | 87932 | 114776 0 | 361 | 689 685.19/685.31 c 651s | 15 | 1497978 | 88232 | 114776 0 | 361 | 689 687.58/687.73 c 653s | 15 | 1505734 | 88632 | 114776 0 | 361 | 689 689.69/689.86 c 655s | 15 | 1510195 | 88932 | 114776 0 | 361 | 689 692.28/692.40 c 658s | 15 | 1514021 | 89332 | 114776 0 | 361 | 689 694.28/694.47 c 660s | 15 | 1520684 | 89632 | 114776 0 | 361 | 689 696.48/696.64 c 662s | 15 | 1525551 | 89932 | 114776 0 | 361 | 689 698.49/698.66 c 664s | 15 | 1527058 | 90232 | 114776 0 | 361 | 689 701.48/701.67 c 667s | 15 | 1530742 | 90532 | 114776 0 | 361 | 689 703.78/703.92 c 669s | 15 | 1540282 | 90832 | 114776 0 | 361 | 689 705.98/706.14 c 671s | 15 | 1545266 | 91132 | 114776 0 | 361 | 689 707.98/708.17 c 674s | 15 | 1549370 | 91432 | 114776 0 | 361 | 689 710.49/710.64 c 676s | 15 | 1557454 | 91832 | 114776 0 | 361 | 689 712.68/712.88 c 678s | 15 | 1564799 | 92132 | 114776 0 | 361 | 689 714.98/715.13 c 680s | 15 | 1568919 | 92432 | 114776 0 | 361 | 689 717.58/717.70 c 683s | 15 | 1578368 | 92732 | 114776 0 | 361 | 689 720.38/720.59 c 686s | 15 | 1587601 | 93032 | 114776 0 | 361 | 689 722.68/722.86 c 688s | 15 | 1590334 | 93332 | 114776 0 | 361 | 689 725.18/725.35 c 691s | 15 | 1595221 | 93632 | 114776 0 | 361 | 689 727.18/727.38 c 693s | 15 | 1600376 | 93832 | 114776 0 | 361 | 689 729.58/729.71 c 695s | 15 | 1605181 | 94132 | 114776 0 | 361 | 689 732.07/732.27 c 698s | 15 | 1611097 | 94432 | 114776 0 | 361 | 689 734.57/734.76 c 700s | 15 | 1615366 | 94732 | 114776 0 | 361 | 689 736.77/737.00 c 702s | 15 | 1622056 | 95032 | 114776 0 | 361 | 689 739.27/739.41 c 705s | 15 | 1628814 | 95332 | 114776 0 | 361 | 689 741.97/742.10 c 707s | 15 | 1631459 | 95632 | 114776 0 | 361 | 689 744.17/744.40 c 710s | 15 | 1637573 | 95932 | 114776 0 | 361 | 689 746.88/747.09 c 712s | 15 | 1647638 | 96332 | 114776 0 | 361 | 689 749.27/749.46 c 715s | 15 | 1654335 | 96632 | 114776 0 | 361 | 689 752.28/752.46 c 718s | 15 | 1660208 | 96932 | 114776 0 | 361 | 689 754.48/754.67 c 720s | 15 | 1662098 | 97132 | 114776 0 | 361 | 689 757.07/757.22 c 723s | 15 | 1667393 | 97432 | 114776 0 | 361 | 689 759.37/759.50 c 725s | 15 | 1673417 | 97732 | 114776 0 | 361 | 689 761.77/761.94 c 727s | 15 | 1676886 | 98032 | 114776 0 | 361 | 689 764.48/764.61 c 730s | 15 | 1682279 | 98332 | 114776 0 | 361 | 689 766.58/766.78 c 732s | 15 | 1685705 | 98532 | 114776 0 | 361 | 689 769.27/769.49 c 735s | 15 | 1691494 | 98732 | 114776 0 | 361 | 689 771.87/772.00 c 737s | 15 | 1699476 | 99032 | 114776 0 | 361 | 689 774.07/774.28 c 740s | 15 | 1703433 | 99232 | 114776 0 | 361 | 689 776.27/776.44 c 742s | 15 | 1711574 | 99432 | 114776 0 | 361 | 689 778.36/778.59 c 744s | 15 | 1714771 | 99732 | 114776 0 | 361 | 689 780.76/780.99 c 746s | 15 | 1718794 | 100032 | 114776 0 | 361 | 689 783.46/783.69 c 749s | 15 | 1723030 | 100332 | 114776 0 | 361 | 689 785.76/785.95 c 751s | 15 | 1725080 | 100632 | 114776 0 | 361 | 689 788.36/788.58 c 754s | 15 | 1727391 | 100932 | 114776 0 | 361 | 689 790.46/790.66 c 756s | 15 | 1732681 | 101232 | 114776 0 | 361 | 689 792.86/793.03 c 758s | 15 | 1737649 | 101532 | 114776 0 | 361 | 689 795.06/795.27 c 761s | 15 | 1741776 | 101832 | 114776 0 | 361 | 689 797.66/797.88 c 763s | 15 | 1748017 | 102132 | 114776 0 | 361 | 689 799.76/799.92 c 765s | 15 | 1751609 | 102432 | 114776 0 | 361 | 689 802.06/802.21 c 768s | 15 | 1753024 | 102732 | 114776 0 | 361 | 689 804.26/804.46 c 770s | 15 | 1758746 | 103032 | 114776 0 | 361 | 689 806.46/806.63 c 772s | 15 | 1763837 | 103332 | 114776 0 | 361 | 689 808.56/808.76 c 774s | 15 | 1768985 | 103632 | 114776 0 | 361 | 689 810.96/811.14 c 776s | 15 | 1773302 | 103932 | 114776 0 | 361 | 689 813.66/813.84 c 779s | 15 | 1780673 | 104332 | 114776 0 | 361 | 689 816.06/816.29 c 782s | 15 | 1788586 | 104632 | 114776 0 | 361 | 689 818.75/818.97 c 784s | 15 | 1794651 | 104932 | 114776 0 | 361 | 689 821.15/821.36 c 787s | 15 | 1803357 | 105232 | 114776 0 | 361 | 689 823.95/824.15 c 789s | 15 | 1809508 | 105532 | 114776 0 | 361 | 689 826.15/826.38 c 792s | 15 | 1812802 | 105832 | 114776 0 | 361 | 689 829.15/829.32 c 795s | 15 | 1819160 | 106132 | 114776 0 | 361 | 689 831.25/831.50 c 797s | 15 | 1823419 | 106532 | 114776 0 | 361 | 689 833.95/834.12 c 799s | 15 | 1827267 | 106932 | 114776 0 | 361 | 689 836.25/836.43 c 802s | 15 | 1830082 | 107132 | 114776 0 | 361 | 689 838.25/838.46 c 804s | 15 | 1833865 | 107332 | 114776 0 | 361 | 689 840.55/840.77 c 806s | 15 | 1838478 | 107632 | 114776 0 | 361 | 689 843.35/843.58 c 809s | 15 | 1845503 | 107932 | 114776 0 | 361 | 689 845.55/845.75 c 811s | 15 | 1854055 | 108232 | 114776 0 | 361 | 689 848.15/848.39 c 814s | 15 | 1862797 | 108532 | 114776 0 | 361 | 689 850.75/850.94 c 816s | 15 | 1866708 | 108732 | 114776 0 | 361 | 689 853.15/853.32 c 819s | 15 | 1873501 | 109032 | 114776 0 | 361 | 689 855.65/855.87 c 821s | 15 | 1879632 | 109332 | 114776 0 | 361 | 689 858.15/858.39 c 824s | 15 | 1885164 | 109632 | 114776 0 | 361 | 689 860.74/860.98 c 826s | 15 | 1886265 | 109832 | 114776 0 | 361 | 689 863.54/863.77 c 829s | 15 | 1889365 | 110132 | 114776 0 | 361 | 689 866.34/866.51 c 832s | 15 | 1891667 | 110332 | 114776 0 | 361 | 689 868.85/869.01 c 834s | 15 | 1897303 | 110632 | 114776 0 | 361 | 689 871.54/871.74 c 837s | 15 | 1904209 | 110932 | 114776 0 | 361 | 689 874.24/874.49 c 840s | 15 | 1910125 | 111232 | 114776 0 | 361 | 689 876.65/876.82 c 842s | 15 | 1914596 | 111532 | 126254 0 | 361 | 689 879.14/879.35 c 845s | 15 | 1922977 | 111832 | 126254 0 | 361 | 689 881.94/882.20 c 848s | 15 | 1927391 | 112132 | 126254 0 | 361 | 689 884.54/884.71 c 850s | 15 | 1932324 | 112432 | 126254 0 | 361 | 689 886.64/886.89 c 852s | 15 | 1936526 | 112832 | 126254 0 | 361 | 689 889.04/889.20 c 855s | 15 | 1941428 | 113132 | 126254 0 | 361 | 689 891.24/891.41 c 857s | 15 | 1943286 | 113432 | 126254 0 | 361 | 689 893.64/893.84 c 859s | 15 | 1945255 | 113732 | 126254 0 | 361 | 689 896.34/896.60 c 862s | 15 | 1949760 | 114032 | 126254 0 | 361 | 689 899.23/899.49 c 865s | 15 | 1956043 | 114432 | 126254 0 | 361 | 689 902.04/902.25 c 868s | 15 | 1963383 | 114732 | 126254 0 | 361 | 689 904.44/904.68 c 870s | 15 | 1966785 | 115032 | 126254 0 | 361 | 689 906.94/907.16 c 872s | 15 | 1969080 | 115432 | 126254 0 | 361 | 689 909.34/909.55 c 875s | 15 | 1971153 | 115732 | 126254 0 | 361 | 689 911.64/911.84 c 877s | 15 | 1977178 | 116032 | 126254 0 | 361 | 689 913.74/913.99 c 879s | 15 | 1979101 | 116232 | 126254 0 | 361 | 689 916.63/916.88 c 882s | 15 | 1985224 | 116532 | 126254 0 | 361 | 689 918.73/918.99 c 884s | 15 | 1990730 | 116732 | 126254 0 | 361 | 689 921.83/922.08 c 887s | 15 | 1997038 | 117032 | 126254 0 | 361 | 689 924.63/924.87 c 890s | 15 | 2002176 | 117332 | 126254 0 | 361 | 689 926.73/926.97 c 892s | 15 | 2005855 | 117532 | 126254 0 | 361 | 689 929.53/929.75 c 895s | 15 | 2010969 | 117832 | 126254 0 | 361 | 689 931.73/931.98 c 897s | 15 | 2018871 | 118032 | 126254 0 | 361 | 689 934.23/934.49 c 900s | 15 | 2026435 | 118332 | 126254 0 | 361 | 689 936.63/936.81 c 902s | 15 | 2029745 | 118632 | 126254 0 | 361 | 689 939.03/939.21 c 905s | 15 | 2035713 | 118932 | 126254 0 | 361 | 689 941.83/942.02 c 907s | 15 | 2038766 | 119232 | 126254 0 | 361 | 689 944.03/944.28 c 910s | 15 | 2042748 | 119532 | 126254 0 | 361 | 689 946.43/946.64 c 912s | 15 | 2045152 | 119832 | 126254 0 | 361 | 689 948.92/949.11 c 914s | 15 | 2050350 | 120132 | 126254 0 | 361 | 689 951.43/951.67 c 917s | 15 | 2053826 | 120532 | 126254 0 | 361 | 689 954.12/954.36 c 920s | 15 | 2056407 | 120832 | 126254 0 | 361 | 689 956.62/956.82 c 922s | 15 | 2059779 | 121132 | 126254 0 | 361 | 689 959.03/959.30 c 925s | 15 | 2063659 | 121432 | 126254 0 | 361 | 689 961.42/961.67 c 927s | 15 | 2067043 | 121732 | 126254 0 | 361 | 689 964.02/964.21 c 930s | 15 | 2072632 | 122032 | 126254 0 | 361 | 689 966.73/966.93 c 932s | 15 | 2078861 | 122332 | 126254 0 | 361 | 689 969.32/969.52 c 935s | 15 | 2082400 | 122632 | 126254 0 | 361 | 689 971.32/971.55 c 937s | 15 | 2083731 | 122932 | 126254 0 | 361 | 689 974.32/974.55 c 940s | 15 | 2084776 | 123232 | 126254 0 | 361 | 689 977.12/977.32 c 943s | 15 | 2086721 | 123632 | 126254 0 | 361 | 689 980.02/980.22 c 946s | 15 | 2094579 | 123932 | 126254 0 | 361 | 689 982.92/983.11 c 948s | 15 | 2099010 | 124232 | 126254 0 | 361 | 689 985.82/986.08 c 951s | 15 | 2102813 | 124532 | 126254 0 | 361 | 689 988.42/988.67 c 954s | 15 | 2108250 | 124732 | 126254 0 | 361 | 689 990.51/990.71 c 956s | 15 | 2110708 | 124932 | 126254 0 | 361 | 689 992.51/992.77 c 958s | 15 | 2114770 | 125132 | 126254 0 | 361 | 689 995.01/995.24 c 961s | 15 | 2116880 | 125432 | 126254 0 | 361 | 689 997.91/998.15 c 963s | 15 | 2120820 | 125732 | 126254 0 | 361 | 689 1000.21/1000.40 c 966s | 15 | 2124601 | 125932 | 126254 0 | 361 | 689 1002.71/1002.99 c 968s | 15 | 2127070 | 126232 | 126254 0 | 361 | 689 1005.51/1005.77 c 971s | 15 | 2136093 | 126532 | 126254 0 | 361 | 689 1008.81/1009.09 c 974s | 15 | 2139494 | 126832 | 126254 0 | 361 | 689 1011.11/1011.33 c 977s | 15 | 2142619 | 127132 | 126254 0 | 361 | 689 1013.41/1013.61 c 979s | 15 | 2147218 | 127332 | 126254 0 | 361 | 689 1016.41/1016.65 c 982s | 15 | 2151127 | 127632 | 126254 0 | 361 | 689 1019.40/1019.60 c 985s | 15 | 2155864 | 127932 | 126254 0 | 361 | 689 1022.20/1022.43 c 988s | 15 | 2159730 | 128232 | 126254 0 | 361 | 689 1024.20/1024.46 c 990s | 15 | 2163027 | 128432 | 126254 0 | 361 | 689 1026.40/1026.66 c 992s | 15 | 2167772 | 128632 | 126254 0 | 361 | 689 1029.60/1029.88 c 995s | 15 | 2172670 | 128932 | 126254 0 | 361 | 689 1032.00/1032.28 c 998s | 15 | 2177538 | 129132 | 126254 0 | 361 | 689 1034.60/1034.87 c 1000s | 15 | 2183013 | 129332 | 126254 0 | 361 | 689 1037.00/1037.20 c 1003s | 15 | 2188965 | 129632 | 126254 0 | 361 | 689 1039.80/1040.04 c 1005s | 15 | 2194809 | 129932 | 126254 0 | 361 | 689 1043.00/1043.28 c 1009s | 15 | 2200964 | 130232 | 126254 0 | 361 | 689 1045.60/1045.81 c 1011s | 15 | 2203682 | 130532 | 126254 0 | 361 | 689 1047.69/1047.95 c 1013s | 15 | 2210634 | 130832 | 126254 0 | 361 | 689 1049.89/1050.18 c 1016s | 15 | 2211920 | 131032 | 126254 0 | 361 | 689 1052.19/1052.43 c 1018s | 15 | 2216490 | 131232 | 126254 0 | 361 | 689 1054.19/1054.49 c 1020s | 15 | 2220878 | 131432 | 126254 0 | 361 | 689 1055.49/1055.73 c 1021s | 16 | 2221661 | 131552 | 126254 0 | 361 | 689 1066.08/1066.33 c 1032s | 16 | 2230250 | 131652 | 126254 1 | 361 | 689 1068.58/1068.88 c 1034s | 16 | 2235589 | 131852 | 126254 1 | 361 | 689 1071.38/1071.64 c 1037s | 16 | 2239486 | 132152 | 126254 1 | 361 | 689 1073.78/1074.06 c 1039s | 16 | 2240127 | 132352 | 126254 1 | 361 | 689 1077.17/1077.41 c 1043s | 16 | 2240493 | 132452 | 126254 1 | 361 | 689 1079.47/1079.76 c 1045s | 16 | 2243278 | 132752 | 126254 1 | 361 | 689 1082.07/1082.39 c 1048s | 16 | 2246693 | 133052 | 126254 1 | 361 | 689 1084.87/1085.16 c 1050s | 16 | 2249272 | 133452 | 126254 1 | 361 | 689 1087.07/1087.32 c 1053s | 16 | 2252683 | 133752 | 126254 1 | 361 | 689 1089.17/1089.40 c 1055s | 16 | 2254761 | 134052 | 126254 1 | 361 | 689 1091.37/1091.60 c 1057s | 16 | 2257846 | 134352 | 126254 1 | 361 | 689 1093.47/1093.74 c 1059s | 16 | 2264456 | 134652 | 126254 1 | 361 | 689 1095.97/1096.23 c 1062s | 16 | 2274064 | 135052 | 126254 1 | 361 | 689 1098.37/1098.64 c 1064s | 16 | 2280336 | 135452 | 126254 1 | 361 | 689 1100.37/1100.66 c 1066s | 16 | 2285673 | 135752 | 126254 1 | 361 | 689 1102.47/1102.71 c 1068s | 16 | 2291942 | 136052 | 126254 1 | 361 | 689 1105.17/1105.43 c 1071s | 16 | 2295145 | 136352 | 126254 1 | 361 | 689 1107.47/1107.72 c 1073s | 16 | 2301978 | 136652 | 126254 1 | 361 | 689 1109.96/1110.29 c 1076s | 16 | 2306134 | 137052 | 126254 1 | 361 | 689 1112.26/1112.59 c 1078s | 16 | 2309511 | 137452 | 126254 1 | 361 | 689 1114.56/1114.89 c 1080s | 16 | 2314608 | 137752 | 126254 1 | 361 | 689 1117.16/1117.49 c 1083s | 16 | 2319544 | 138052 | 126254 1 | 361 | 689 1119.46/1119.74 c 1085s | 16 | 2325589 | 138352 | 126254 1 | 361 | 689 1122.06/1122.33 c 1088s | 16 | 2329789 | 138652 | 126254 1 | 361 | 689 1124.46/1124.78 c 1090s | 16 | 2336776 | 138952 | 126254 1 | 361 | 689 1126.66/1126.91 c 1092s | 16 | 2343298 | 139152 | 126254 1 | 361 | 689 1129.26/1129.57 c 1095s | 16 | 2349789 | 139452 | 126254 1 | 361 | 689 1131.56/1131.87 c 1097s | 16 | 2354860 | 139752 | 126254 1 | 361 | 689 1133.56/1133.88 c 1099s | 16 | 2357983 | 140052 | 126254 1 | 361 | 689 1135.76/1136.08 c 1101s | 16 | 2362236 | 140452 | 126254 1 | 361 | 689 1138.37/1138.67 c 1104s | 16 | 2364604 | 140652 | 126254 1 | 361 | 689 1140.66/1140.90 c 1106s | 16 | 2366378 | 140952 | 126254 1 | 361 | 689 1142.96/1143.22 c 1109s | 16 | 2368546 | 141252 | 126254 1 | 361 | 689 1145.26/1145.59 c 1111s | 16 | 2370250 | 141652 | 126254 1 | 361 | 689 1147.86/1148.10 c 1113s | 16 | 2371936 | 142152 | 126254 1 | 361 | 689 1150.37/1150.61 c 1116s | 16 | 2374434 | 142552 | 126254 1 | 361 | 689 1152.57/1152.88 c 1118s | 16 | 2375573 | 142952 | 126254 1 | 361 | 689 1154.66/1154.91 c 1120s | 16 | 2380997 | 143252 | 126254 1 | 361 | 689 1157.16/1157.44 c 1123s | 16 | 2386149 | 143552 | 126254 1 | 361 | 689 1159.36/1159.61 c 1125s | 16 | 2390718 | 143752 | 126254 1 | 361 | 689 1161.66/1161.91 c 1127s | 16 | 2396449 | 144052 | 126254 1 | 361 | 689 1163.96/1164.25 c 1130s | 16 | 2400312 | 144352 | 126254 1 | 361 | 689 1166.56/1166.84 c 1132s | 16 | 2408147 | 144752 | 126254 1 | 361 | 689 1169.26/1169.58 c 1135s | 16 | 2411902 | 145052 | 126254 1 | 361 | 689 1171.85/1172.13 c 1137s | 16 | 2418191 | 145352 | 126254 1 | 361 | 689 1173.95/1174.21 c 1140s | 16 | 2419988 | 145652 | 126254 1 | 361 | 689 1176.76/1177.10 c 1142s | 16 | 2423328 | 146052 | 126254 1 | 361 | 689 1179.15/1179.44 c 1145s | 16 | 2426798 | 146352 | 126254 1 | 361 | 689 1181.26/1181.56 c 1147s | 16 | 2427777 | 146752 | 126254 1 | 361 | 689 1183.85/1184.17 c 1150s | 16 | 2428924 | 147052 | 126254 1 | 361 | 689 1185.95/1186.27 c 1152s | 16 | 2434651 | 147252 | 126254 1 | 361 | 689 1188.55/1188.86 c 1154s | 16 | 2440012 | 147552 | 126254 1 | 361 | 689 1190.65/1190.98 c 1156s | 16 | 2445249 | 147752 | 126254 1 | 361 | 689 1193.05/1193.30 c 1159s | 16 | 2451425 | 148052 | 126254 1 | 361 | 689 1195.56/1195.84 c 1161s | 16 | 2454304 | 148352 | 126254 1 | 361 | 689 1197.65/1197.95 c 1163s | 16 | 2461391 | 148652 | 126254 1 | 361 | 689 1200.05/1200.31 c 1166s | 16 | 2467660 | 148952 | 126254 1 | 361 | 689 1202.55/1202.87 c 1168s | 16 | 2470629 | 149252 | 126254 1 | 361 | 689 1204.55/1204.89 c 1170s | 16 | 2473327 | 149552 | 126254 1 | 361 | 689 1206.85/1207.17 c 1173s | 16 | 2476542 | 149852 | 126254 1 | 361 | 689 1209.35/1209.69 c 1175s | 16 | 2485890 | 150152 | 126254 1 | 361 | 689 1211.95/1212.25 c 1178s | 16 | 2489253 | 150452 | 126254 1 | 361 | 689 1214.55/1214.86 c 1180s | 16 | 2494155 | 150752 | 126254 1 | 361 | 689 1216.95/1217.23 c 1183s | 16 | 2497149 | 151052 | 126254 1 | 361 | 689 1219.14/1219.49 c 1185s | 16 | 2502870 | 151352 | 126254 1 | 361 | 689 1221.74/1222.08 c 1187s | 16 | 2508343 | 151652 | 126254 1 | 361 | 689 1223.94/1224.26 c 1190s | 16 | 2509342 | 151952 | 126254 1 | 361 | 689 1226.35/1226.65 c 1192s | 16 | 2510718 | 152252 | 126254 1 | 361 | 689 1228.74/1229.05 c 1194s | 16 | 2511981 | 152652 | 126254 1 | 361 | 689 1230.94/1231.25 c 1197s | 16 | 2513260 | 153052 | 126254 1 | 361 | 689 1233.24/1233.50 c 1199s | 16 | 2518515 | 153352 | 126254 1 | 361 | 689 1235.54/1235.87 c 1201s | 16 | 2522547 | 153652 | 126254 1 | 361 | 689 1237.84/1238.16 c 1203s | 16 | 2523732 | 153952 | 126254 1 | 361 | 689 1240.64/1240.94 c 1206s | 16 | 2525958 | 154352 | 126254 1 | 361 | 689 1243.34/1243.66 c 1209s | 16 | 2527936 | 154752 | 126254 1 | 361 | 689 1245.54/1245.86 c 1211s | 16 | 2530689 | 155052 | 126254 1 | 361 | 689 1247.94/1248.29 c 1214s | 16 | 2535158 | 155352 | 126254 1 | 361 | 689 1250.73/1251.00 c 1216s | 16 | 2538292 | 155652 | 126254 1 | 361 | 689 1253.23/1253.55 c 1219s | 16 | 2546503 | 155952 | 126254 1 | 361 | 689 1255.23/1255.58 c 1221s | 16 | 2550779 | 156152 | 126254 1 | 361 | 689 1257.83/1258.13 c 1223s | 16 | 2554001 | 156452 | 126254 1 | 361 | 689 1260.53/1260.81 c 1226s | 16 | 2558872 | 156752 | 126254 1 | 361 | 689 1263.33/1263.63 c 1229s | 16 | 2565376 | 157052 | 126254 1 | 361 | 689 1265.43/1265.77 c 1231s | 16 | 2567268 | 157352 | 126254 1 | 361 | 689 1268.03/1268.35 c 1234s | 16 | 2575119 | 157652 | 126254 1 | 361 | 689 1270.62/1270.97 c 1236s | 16 | 2579736 | 157952 | 126254 1 | 361 | 689 1273.02/1273.36 c 1239s | 16 | 2585141 | 158252 | 126254 1 | 361 | 689 1275.83/1276.15 c 1241s | 16 | 2590143 | 158552 | 126254 1 | 361 | 689 1278.12/1278.45 c 1244s | 16 | 2592933 | 158752 | 126254 1 | 361 | 689 1280.22/1280.53 c 1246s | 16 | 2594736 | 159052 | 126254 1 | 361 | 689 1282.52/1282.84 c 1248s | 16 | 2596488 | 159352 | 126254 1 | 361 | 689 1285.22/1285.58 c 1251s | 16 | 2601804 | 159652 | 126254 1 | 361 | 689 1287.22/1287.58 c 1253s | 16 | 2608448 | 159852 | 126254 1 | 361 | 689 1290.12/1290.42 c 1256s | 16 | 2616179 | 160152 | 126254 1 | 361 | 689 1293.01/1293.39 c 1259s | 16 | 2625959 | 160452 | 126254 1 | 361 | 689 1295.41/1295.73 c 1261s | 16 | 2634029 | 160752 | 126254 1 | 361 | 689 1297.91/1298.22 c 1264s | 16 | 2638612 | 161052 | 126254 1 | 361 | 689 1300.31/1300.69 c 1266s | 16 | 2643620 | 161352 | 126254 1 | 361 | 689 1302.61/1302.92 c 1268s | 16 | 2646286 | 161652 | 126254 1 | 361 | 689 1304.91/1305.21 c 1271s | 16 | 2647566 | 161952 | 126254 1 | 361 | 689 1307.41/1307.71 c 1273s | 16 | 2655131 | 162252 | 126254 1 | 361 | 689 1310.20/1310.57 c 1276s | 16 | 2662253 | 162552 | 126254 1 | 361 | 689 1312.80/1313.13 c 1278s | 16 | 2665362 | 162852 | 126254 1 | 361 | 689 1314.90/1315.27 c 1281s | 16 | 2670451 | 163152 | 126254 1 | 361 | 689 1317.00/1317.36 c 1283s | 16 | 2671948 | 163452 | 126254 1 | 361 | 689 1319.20/1319.53 c 1285s | 16 | 2676183 | 163752 | 126254 1 | 361 | 689 1321.80/1322.12 c 1287s | 16 | 2680217 | 164052 | 126254 1 | 361 | 689 1324.50/1324.80 c 1290s | 16 | 2681796 | 164452 | 126254 1 | 361 | 689 1326.50/1326.90 c 1292s | 16 | 2684676 | 164752 | 126254 1 | 361 | 689 1329.61/1329.96 c 1295s | 16 | 2690255 | 165152 | 126254 1 | 361 | 689 1332.10/1332.47 c 1298s | 16 | 2695812 | 165452 | 126254 1 | 361 | 689 1334.40/1334.75 c 1300s | 16 | 2701093 | 165752 | 126254 1 | 361 | 689 1336.70/1337.00 c 1302s | 16 | 2703864 | 166152 | 126254 1 | 361 | 689 1338.70/1339.01 c 1304s | 16 | 2705085 | 166452 | 126254 1 | 361 | 689 1341.10/1341.44 c 1307s | 16 | 2708663 | 166752 | 126254 1 | 361 | 689 1343.40/1343.77 c 1309s | 16 | 2712518 | 167152 | 126254 1 | 361 | 689 1345.70/1346.09 c 1311s | 16 | 2714892 | 167552 | 126254 1 | 361 | 689 1347.90/1348.25 c 1314s | 16 | 2717991 | 167952 | 126254 1 | 361 | 689 1350.39/1350.70 c 1316s | 16 | 2721468 | 168252 | 126254 1 | 361 | 689 1352.49/1352.87 c 1318s | 16 | 2724977 | 168552 | 126254 1 | 361 | 689 1354.69/1355.03 c 1320s | 16 | 2729646 | 168852 | 126254 1 | 361 | 689 1356.99/1357.40 c 1323s | 16 | 2736899 | 169152 | 126254 1 | 361 | 689 1359.19/1359.60 c 1325s | 16 | 2738561 | 169552 | 126254 1 | 361 | 689 1361.69/1362.00 c 1327s | 16 | 2747496 | 169852 | 126254 1 | 361 | 689 1364.28/1364.65 c 1330s | 16 | 2751578 | 170252 | 126254 1 | 361 | 689 1367.18/1367.51 c 1333s | 16 | 2758429 | 170652 | 126254 1 | 361 | 689 1369.19/1369.51 c 1335s | 16 | 2762481 | 170852 | 126254 1 | 361 | 689 1371.58/1371.96 c 1337s | 16 | 2769114 | 171152 | 126254 1 | 361 | 689 1373.88/1374.25 c 1340s | 16 | 2773645 | 171452 | 126254 1 | 361 | 689 1376.08/1376.45 c 1342s | 16 | 2776790 | 171752 | 126254 1 | 361 | 689 1378.68/1379.06 c 1344s | 16 | 2780614 | 172052 | 126254 1 | 361 | 689 1380.77/1381.17 c 1347s | 16 | 2781995 | 172452 | 126254 1 | 361 | 689 1382.87/1383.24 c 1349s | 16 | 2785148 | 172752 | 126254 1 | 361 | 689 1385.37/1385.79 c 1351s | 16 | 2790426 | 173052 | 126254 1 | 361 | 689 1387.77/1388.15 c 1353s | 16 | 2795034 | 173352 | 126254 1 | 361 | 689 1390.07/1390.43 c 1356s | 16 | 2796384 | 173652 | 126254 1 | 361 | 689 1392.17/1392.58 c 1358s | 16 | 2800242 | 173952 | 126254 1 | 361 | 689 1394.17/1394.59 c 1360s | 16 | 2804681 | 174252 | 126254 1 | 361 | 689 1396.27/1396.60 c 1362s | 16 | 2808899 | 174652 | 126254 1 | 361 | 689 1398.97/1399.35 c 1365s | 16 | 2812217 | 175052 | 126254 1 | 361 | 689 1401.36/1401.70 c 1367s | 16 | 2819327 | 175352 | 126254 1 | 361 | 689 1403.96/1404.31 c 1370s | 16 | 2824799 | 175652 | 126254 1 | 361 | 689 1406.36/1406.71 c 1372s | 16 | 2830740 | 176052 | 126254 1 | 361 | 689 1408.66/1409.04 c 1374s | 16 | 2835977 | 176352 | 126254 1 | 361 | 689 1411.07/1411.42 c 1377s | 16 | 2841805 | 176652 | 126254 1 | 361 | 689 1413.66/1414.09 c 1379s | 16 | 2849430 | 176952 | 138880 1 | 361 | 689 1415.96/1416.33 c 1382s | 16 | 2854532 | 177152 | 138880 1 | 361 | 689 1418.86/1419.23 c 1385s | 16 | 2861131 | 177452 | 138880 1 | 361 | 689 1421.36/1421.70 c 1387s | 16 | 2866518 | 177752 | 138880 1 | 361 | 689 1423.36/1423.79 c 1389s | 16 | 2870957 | 178052 | 138880 1 | 361 | 689 1425.46/1425.82 c 1391s | 16 | 2872732 | 178352 | 138880 1 | 361 | 689 1427.57/1427.96 c 1393s | 16 | 2875776 | 178652 | 138880 1 | 361 | 689 1429.66/1430.04 c 1395s | 16 | 2882135 | 178952 | 138880 1 | 361 | 689 1432.26/1432.63 c 1398s | 16 | 2888727 | 179352 | 138880 1 | 361 | 689 1434.56/1434.92 c 1400s | 16 | 2896884 | 179652 | 138880 1 | 361 | 689 1436.76/1437.17 c 1403s | 16 | 2901897 | 179952 | 138880 1 | 361 | 689 1439.06/1439.47 c 1405s | 16 | 2902849 | 180352 | 138880 1 | 361 | 689 1441.16/1441.59 c 1407s | 16 | 2905766 | 180752 | 138880 1 | 361 | 689 1443.36/1443.79 c 1409s | 16 | 2909935 | 181052 | 138880 1 | 361 | 689 1445.76/1446.13 c 1411s | 16 | 2918582 | 181352 | 138880 1 | 361 | 689 1448.15/1448.50 c 1414s | 16 | 2924534 | 181752 | 138880 1 | 361 | 689 1450.56/1450.95 c 1416s | 16 | 2927404 | 182152 | 138880 1 | 361 | 689 1453.05/1453.41 c 1419s | 16 | 2934792 | 182452 | 138880 1 | 361 | 689 1455.35/1455.78 c 1421s | 16 | 2939030 | 182852 | 138880 1 | 361 | 689 1457.85/1458.29 c 1424s | 16 | 2943882 | 183252 | 138880 1 | 361 | 689 1460.25/1460.66 c 1426s | 16 | 2948246 | 183552 | 138880 1 | 361 | 689 1463.15/1463.59 c 1429s | 16 | 2954147 | 183852 | 138880 1 | 361 | 689 1465.45/1465.83 c 1431s | 16 | 2958205 | 184252 | 138880 1 | 361 | 689 1467.45/1467.88 c 1433s | 16 | 2964709 | 184552 | 138880 1 | 361 | 689 1469.95/1470.40 c 1436s | 16 | 2972926 | 184852 | 138880 1 | 361 | 689 1472.35/1472.74 c 1438s | 16 | 2979654 | 185252 | 138880 1 | 361 | 689 1475.05/1475.41 c 1441s | 16 | 2985407 | 185552 | 138880 1 | 361 | 689 1477.25/1477.61 c 1443s | 16 | 2988954 | 185852 | 138880 1 | 361 | 689 1479.95/1480.36 c 1446s | 16 | 2994696 | 186252 | 138880 1 | 361 | 689 1482.05/1482.49 c 1448s | 16 | 3000302 | 186552 | 138880 1 | 361 | 689 1484.25/1484.60 c 1450s | 16 | 3001532 | 186952 | 138880 1 | 361 | 689 1486.35/1486.76 c 1452s | 16 | 3003536 | 187252 | 138880 1 | 361 | 689 1489.15/1489.53 c 1455s | 16 | 3006470 | 187652 | 138880 1 | 361 | 689 1491.15/1491.55 c 1457s | 16 | 3010475 | 187852 | 138880 1 | 361 | 689 1493.85/1494.25 c 1460s | 16 | 3013970 | 188152 | 138880 1 | 361 | 689 1496.35/1496.77 c 1462s | 16 | 3020326 | 188452 | 138880 1 | 361 | 689 1498.65/1499.04 c 1464s | 16 | 3026412 | 188752 | 138880 1 | 361 | 689 1500.94/1501.35 c 1467s | 16 | 3031063 | 189052 | 138880 1 | 361 | 689 1503.45/1503.85 c 1469s | 16 | 3036671 | 189352 | 138880 1 | 361 | 689 1506.14/1506.52 c 1472s | 16 | 3044155 | 189652 | 138880 1 | 361 | 689 1508.34/1508.73 c 1474s | 16 | 3050344 | 189852 | 138880 1 | 361 | 689 1510.94/1511.34 c 1477s | 16 | 3058381 | 190252 | 138880 1 | 361 | 689 1513.35/1513.75 c 1479s | 16 | 3062990 | 190652 | 138880 1 | 361 | 689 1515.94/1516.36 c 1482s | 16 | 3067739 | 191052 | 138880 1 | 361 | 689 1518.04/1518.40 c 1484s | 16 | 3070632 | 191352 | 138880 1 | 361 | 689 1520.34/1520.76 c 1486s | 16 | 3078885 | 191652 | 138880 1 | 361 | 689 1522.84/1523.23 c 1489s | 16 | 3083066 | 192052 | 138880 1 | 361 | 689 1524.94/1525.31 c 1491s | 16 | 3087050 | 192352 | 138880 1 | 361 | 689 1526.94/1527.34 c 1493s | 16 | 3090412 | 192652 | 138880 1 | 361 | 689 1529.54/1529.91 c 1495s | 16 | 3095545 | 192952 | 138880 1 | 361 | 689 1531.95/1532.33 c 1498s | 16 | 3104082 | 193352 | 138880 1 | 361 | 689 1534.04/1534.44 c 1500s | 16 | 3105536 | 193652 | 138880 1 | 361 | 689 1536.64/1537.01 c 1502s | 16 | 3116654 | 194052 | 138880 1 | 361 | 689 1538.84/1539.27 c 1505s | 16 | 3120895 | 194352 | 138880 1 | 361 | 689 1541.54/1541.96 c 1507s | 16 | 3127524 | 194752 | 138880 1 | 361 | 689 1543.64/1544.04 c 1509s | 16 | 3135290 | 195052 | 138880 1 | 361 | 689 1546.14/1546.51 c 1512s | 16 | 3142324 | 195452 | 138880 1 | 361 | 689 1548.44/1548.89 c 1514s | 16 | 3147153 | 195852 | 138880 1 | 361 | 689 1550.84/1551.21 c 1517s | 16 | 3152344 | 196152 | 138880 1 | 361 | 689 1552.94/1553.38 c 1519s | 16 | 3158537 | 196452 | 138880 1 | 361 | 689 1555.34/1555.70 c 1521s | 16 | 3163497 | 196852 | 138880 1 | 361 | 689 1557.74/1558.19 c 1524s | 16 | 3167487 | 197252 | 138880 1 | 361 | 689 1559.14/1559.59 c 1525s | 17 | 3170147 | 197432 | 138880 1 | 361 | 689 1561.23/1561.60 c 1527s | 17 | 3178418 | 197632 | 138880 1 | 361 | 689 1563.33/1563.79 c 1529s | 17 | 3181617 | 198032 | 138880 1 | 361 | 689 1566.04/1566.49 c 1532s | 17 | 3184856 | 198432 | 138880 1 | 361 | 689 1568.13/1568.57 c 1534s | 17 | 3189172 | 198732 | 138880 1 | 361 | 689 1570.44/1570.87 c 1536s | 17 | 3192926 | 199132 | 138880 1 | 361 | 689 1572.74/1573.17 c 1539s | 17 | 3200835 | 199432 | 138880 1 | 361 | 689 1574.84/1575.23 c 1541s | 17 | 3207595 | 199732 | 138880 1 | 361 | 689 1577.23/1577.61 c 1543s | 17 | 3210305 | 200032 | 138880 1 | 361 | 689 1579.53/1579.94 c 1545s | 17 | 3213661 | 200432 | 138880 1 | 361 | 689 1581.73/1582.15 c 1547s | 17 | 3222181 | 200832 | 138880 1 | 361 | 689 1583.83/1584.27 c 1550s | 17 | 3225335 | 201232 | 138880 1 | 361 | 689 1586.43/1586.87 c 1552s | 17 | 3230431 | 201732 | 138880 1 | 361 | 689 1588.63/1589.04 c 1554s | 17 | 3237364 | 202032 | 138880 1 | 361 | 689 1590.63/1591.07 c 1556s | 17 | 3241199 | 202332 | 138880 1 | 361 | 689 1592.83/1593.24 c 1559s | 17 | 3245980 | 202632 | 138880 1 | 361 | 689 1595.33/1595.79 c 1561s | 17 | 3251368 | 203032 | 138880 1 | 361 | 689 1598.23/1598.68 c 1564s | 17 | 3260121 | 203432 | 138880 1 | 361 | 689 1600.43/1600.85 c 1566s | 17 | 3267570 | 203732 | 138880 1 | 361 | 689 1602.53/1602.93 c 1568s | 17 | 3270582 | 204032 | 138880 1 | 361 | 689 1605.13/1605.59 c 1571s | 17 | 3278514 | 204432 | 138880 1 | 361 | 689 1607.33/1607.78 c 1573s | 17 | 3283695 | 204732 | 138880 1 | 361 | 689 1609.93/1610.34 c 1576s | 17 | 3290504 | 205132 | 138880 1 | 361 | 689 1612.03/1612.41 c 1578s | 17 | 3299944 | 205432 | 138880 1 | 361 | 689 1614.43/1614.86 c 1580s | 17 | 3306568 | 205832 | 138880 1 | 361 | 689 1616.82/1617.20 c 1583s | 17 | 3310492 | 206132 | 138880 1 | 361 | 689 1618.83/1619.28 c 1585s | 17 | 3316618 | 206432 | 138880 1 | 361 | 689 1621.13/1621.51 c 1587s | 17 | 3321861 | 206732 | 138880 1 | 361 | 689 1623.62/1624.02 c 1589s | 17 | 3327939 | 207132 | 138880 1 | 361 | 689 1626.32/1626.71 c 1592s | 17 | 3339325 | 207532 | 138880 1 | 361 | 689 1628.32/1628.72 c 1594s | 17 | 3344909 | 207832 | 138880 1 | 361 | 689 1630.93/1631.30 c 1597s | 17 | 3349494 | 208232 | 138880 1 | 361 | 689 1633.02/1633.49 c 1599s | 17 | 3356543 | 208532 | 138880 1 | 361 | 689 1635.62/1636.01 c 1601s | 17 | 3359383 | 208932 | 138880 1 | 361 | 689 1637.82/1638.20 c 1604s | 17 | 3365705 | 209232 | 138880 1 | 361 | 689 1640.12/1640.52 c 1606s | 17 | 3371825 | 209532 | 138880 1 | 361 | 689 1642.12/1642.54 c 1608s | 17 | 3377121 | 209832 | 138880 1 | 361 | 689 1644.42/1644.83 c 1610s | 17 | 3384396 | 210132 | 138880 1 | 361 | 689 1646.62/1647.01 c 1612s | 17 | 3389704 | 210432 | 138880 1 | 361 | 689 1648.82/1649.27 c 1615s | 17 | 3394319 | 210732 | 138880 1 | 361 | 689 1650.92/1651.35 c 1617s | 17 | 3398466 | 211032 | 138880 1 | 361 | 689 1653.52/1653.94 c 1619s | 17 | 3401897 | 211332 | 138880 1 | 361 | 689 1655.72/1656.17 c 1622s | 17 | 3404800 | 211632 | 138880 1 | 361 | 689 1658.02/1658.42 c 1624s | 17 | 3408864 | 211932 | 138880 1 | 361 | 689 1660.52/1660.97 c 1626s | 17 | 3413218 | 212232 | 138880 1 | 361 | 689 1663.02/1663.42 c 1629s | 17 | 3420563 | 212532 | 138880 1 | 361 | 689 1665.51/1665.96 c 1631s | 17 | 3426860 | 212932 | 138880 1 | 361 | 689 1667.51/1667.99 c 1633s | 17 | 3428286 | 213332 | 138880 1 | 361 | 689 1670.21/1670.68 c 1636s | 17 | 3433811 | 213732 | 138880 1 | 361 | 689 1672.31/1672.74 c 1638s | 17 | 3437522 | 214032 | 138880 1 | 361 | 689 1675.02/1675.45 c 1641s | 17 | 3444771 | 214332 | 138880 1 | 361 | 689 1677.51/1677.91 c 1643s | 17 | 3452206 | 214732 | 138880 1 | 361 | 689 1680.01/1680.50 c 1646s | 17 | 3454626 | 215032 | 138880 1 | 361 | 689 1682.41/1682.80 c 1648s | 17 | 3458593 | 215332 | 138880 1 | 361 | 689 1684.92/1685.37 c 1651s | 17 | 3464314 | 215732 | 138880 1 | 361 | 689 1687.21/1687.70 c 1653s | 17 | 3471203 | 216032 | 138880 1 | 361 | 689 1689.71/1690.18 c 1656s | 17 | 3476469 | 216432 | 138880 1 | 361 | 689 1692.01/1692.48 c 1658s | 17 | 3480776 | 216732 | 138880 1 | 361 | 689 1694.31/1694.75 c 1660s | 17 | 3482932 | 216932 | 138880 2 | 361 | 689 1696.92/1697.39 c 1663s | 17 | 3490517 | 217232 | 138880 2 | 361 | 689 1699.22/1699.68 c 1665s | 17 | 3494624 | 217632 | 138880 2 | 361 | 689 1741.81/1742.27 c 1708s | 17 | 3497980 | 217832 | 138880 2 | 361 | 689 1744.41/1744.85 c 1710s | 17 | 3503201 | 218132 | 138880 2 | 361 | 689 1749.51/1749.98 c 1715s | 17 | 3506753 | 218432 | 138880 2 | 361 | 689 1751.91/1752.31 c 1718s | 17 | 3509679 | 218732 | 138880 2 | 361 | 689 1755.10/1755.57 c 1721s | 17 | 3518199 | 219132 | 138880 2 | 361 | 689 1758.00/1758.41 c 1724s | 17 | 3524231 | 219532 | 138880 2 | 361 | 689 1760.30/1760.78 c 1726s | 17 | 3528131 | 219732 | 138880 2 | 361 | 689 1762.40/1762.80 c 1728s | 17 | 3532039 | 220132 | 138880 2 | 361 | 689 1764.40/1764.86 c 1730s | 17 | 3536952 | 220532 | 138880 2 | 361 | 689 1766.70/1767.10 c 1732s | 17 | 3542050 | 220932 | 138880 2 | 361 | 689 1768.80/1769.22 c 1735s | 17 | 3547806 | 221332 | 138880 2 | 361 | 689 1771.20/1771.61 c 1737s | 17 | 3552740 | 221732 | 138880 2 | 361 | 689 1776.01/1776.40 c 1742s | 17 | 3556444 | 222032 | 138880 2 | 361 | 689 1778.10/1778.50 c 1744s | 17 | 3561619 | 222332 | 138880 2 | 361 | 689 1780.51/1780.99 c 1746s | 17 | 3566588 | 222732 | 138880 2 | 361 | 689 1783.20/1783.68 c 1749s | 17 | 3572951 | 223132 | 138880 2 | 361 | 689 1785.30/1785.71 c 1751s | 17 | 3577406 | 223432 | 138880 2 | 361 | 689 1787.80/1788.24 c 1754s | 17 | 3581090 | 223932 | 138880 2 | 361 | 689 1790.30/1790.70 c 1756s | 17 | 3584333 | 224232 | 138880 2 | 361 | 689 1792.50/1792.96 c 1758s | 17 | 3588391 | 224632 | 138880 2 | 361 | 689 1795.00/1795.41 c 1761s | 17 | 3592342 | 225032 | 138880 2 | 361 | 689 1797.20/1797.67 c 1763s | 17 | 3596531 | 225432 | 138880 2 | 361 | 689 1799.40/1799.88 c 1765s | 17 | 3599402 | 225732 | 138880 2 | 361 | 689
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-4105937-1466257885/watcher-4105937-1466257885 -o /tmp/evaluation-result-4105937-1466257885/solver-4105937-1466257885 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105937-1466257885.opb pid=7643 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.06 2.03 2.01 4/179 7646 /proc/meminfo: memFree=30212140/32872528 swapFree=526336/559040 [pid=7646] ppid=7643 vsize=724412 CPUtime=0 cores=0,2,4,6 /proc/7646/stat : 7646 (toysat) R 7643 7646 28898 0 -1 4202496 2701 0 0 0 0 0 0 0 20 0 4 0 27838626 741797888 3062 33554432000 4194304 16246674 140735423516784 140735423516208 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7646/statm: 181615 3072 441 2943 0 178509 0 [pid=7646/tid=7647] ppid=7643 vsize=769468 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7647/stat : 7647 (toysat) S 7643 7646 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27838626 787935232 3241 33554432000 4194304 16246674 140735423516784 140165642169584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=7646/tid=7648] ppid=7643 vsize=774588 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7648/stat : 7648 (toysat) S 7643 7646 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27838626 793178112 3259 33554432000 4194304 16246674 140735423516784 140165631679728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=7646/tid=7649] ppid=7643 vsize=778684 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7649/stat : 7649 (toysat) S 7643 7646 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27838626 797372416 3277 33554432000 4194304 16246674 140735423516784 140165519502512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 [startup+0.100163 s] /proc/loadavg: 2.06 2.03 2.01 4/179 7646 /proc/meminfo: memFree=30212140/32872528 swapFree=526336/559040 [pid=7646] ppid=7643 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/7646/stat : 7646 (toysat) R 7643 7646 28898 0 -1 4202496 29400 0 0 0 5 4 0 0 20 0 4 0 27838626 1333334016 29700 33554432000 4194304 16246674 140735423516784 140735423516096 8056990 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7646/statm: 325521 29716 800 2943 0 322415 0 [pid=7646/tid=7647] ppid=7643 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7647/stat : 7647 (toysat) S 7643 7646 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27838626 1333334016 29725 33554432000 4194304 16246674 140735423516784 140165642169584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=7646/tid=7648] ppid=7643 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7648/stat : 7648 (toysat) S 7643 7646 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27838626 1333334016 29737 33554432000 4194304 16246674 140735423516784 140165631679728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=7646/tid=7649] ppid=7643 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7649/stat : 7649 (toysat) S 7643 7646 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27838626 1333334016 29749 33554432000 4194304 16246674 140735423516784 140165519502512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200526 s] /proc/loadavg: 2.06 2.03 2.01 4/179 7646 /proc/meminfo: memFree=30212140/32872528 swapFree=526336/559040 [pid=7646] ppid=7643 vsize=1314372 CPUtime=0.19 cores=0,2,4,6 /proc/7646/stat : 7646 (toysat) R 7643 7646 28898 0 -1 4202496 48239 0 0 0 11 8 0 0 20 0 4 0 27838626 1345916928 49049 33554432000 4194304 16246674 140735423516784 140735423516096 8058796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7646/statm: 328593 49049 801 2943 0 325487 0 [pid=7646/tid=7647] ppid=7643 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7647/stat : 7647 (toysat) S 7643 7646 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27838626 1345916928 49049 33554432000 4194304 16246674 140735423516784 140165642169584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=7646/tid=7648] ppid=7643 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7648/stat : 7648 (toysat) S 7643 7646 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27838626 1345916928 49049 33554432000 4194304 16246674 140735423516784 140165631679728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=7646/tid=7649] ppid=7643 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7649/stat : 7649 (toysat) S 7643 7646 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27838626 1345916928 49049 33554432000 4194304 16246674 140735423516784 140165519502512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1314372 [startup+0.300499 s] /proc/loadavg: 2.06 2.03 2.01 4/179 7646 /proc/meminfo: memFree=30212140/32872528 swapFree=526336/559040 [pid=7646] ppid=7643 vsize=1314372 CPUtime=0.29 cores=0,2,4,6 /proc/7646/stat : 7646 (toysat) R 7643 7646 28898 0 -1 4202496 59729 0 0 0 20 9 0 0 20 0 4 0 27838626 1345916928 60539 33554432000 4194304 16246674 140735423516784 140735423516096 14073329 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7646/statm: 328593 60539 801 2943 0 325487 0 [pid=7646/tid=7647] ppid=7643 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7647/stat : 7647 (toysat) S 7643 7646 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27838626 1345916928 60539 33554432000 4194304 16246674 140735423516784 140165642169584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=7646/tid=7648] ppid=7643 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7648/stat : 7648 (toysat) S 7643 7646 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27838626 1345916928 60539 33554432000 4194304 16246674 140735423516784 140165631679728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=7646/tid=7649] ppid=7643 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7649/stat : 7649 (toysat) S 7643 7646 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27838626 1345916928 60539 33554432000 4194304 16246674 140735423516784 140165519502512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1314372 [startup+0.700399 s] /proc/loadavg: 2.06 2.03 2.01 4/179 7646 /proc/meminfo: memFree=30212140/32872528 swapFree=526336/559040 [pid=7646] ppid=7643 vsize=1314372 CPUtime=0.68 cores=0,2,4,6 /proc/7646/stat : 7646 (toysat) R 7643 7646 28898 0 -1 4202496 89884 0 0 0 54 14 0 0 20 0 4 0 27838626 1345916928 90695 33554432000 4194304 16246674 140735423516784 140735423498688 5573293 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7646/statm: 328593 90703 834 2943 0 325487 0 [pid=7646/tid=7647] ppid=7643 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7647/stat : 7647 (toysat) S 7643 7646 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27838626 1345916928 90709 33554432000 4194304 16246674 140735423516784 140165642169584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=7646/tid=7648] ppid=7643 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7648/stat : 7648 (toysat) S 7643 7646 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27838626 1345916928 90714 33554432000 4194304 16246674 140735423516784 140165631679728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=7646/tid=7649] ppid=7643 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7649/stat : 7649 (toysat) S 7643 7646 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27838626 1345916928 90719 33554432000 4194304 16246674 140735423516784 140165519502512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1314372 [startup+1.50041 s] /proc/loadavg: 2.06 2.03 2.01 3/183 7650 /proc/meminfo: memFree=29568404/32872528 swapFree=526336/559040 [pid=7646] ppid=7643 vsize=1346116 CPUtime=1.49 cores=0,2,4,6 /proc/7646/stat : 7646 (toysat) R 7643 7646 28898 0 -1 4202496 168343 0 0 0 121 28 0 0 20 0 4 0 27838626 1378422784 169153 33554432000 4194304 16246674 140735423516784 140735423516096 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7646/statm: 336529 169153 883 2943 0 333423 0 [pid=7646/tid=7647] ppid=7643 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7647/stat : 7647 (toysat) S 7643 7646 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27838626 1378422784 169153 33554432000 4194304 16246674 140735423516784 140165642169584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=7646/tid=7648] ppid=7643 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7648/stat : 7648 (toysat) S 7643 7646 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27838626 1378422784 169153 33554432000 4194304 16246674 140735423516784 140165631679728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=7646/tid=7649] ppid=7643 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7649/stat : 7649 (toysat) S 7643 7646 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27838626 1378422784 169153 33554432000 4194304 16246674 140735423516784 140165519502512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1346116 [startup+3.1004 s] /proc/loadavg: 2.06 2.03 2.01 3/183 7650 /proc/meminfo: memFree=29536156/32872528 swapFree=526336/559040 [pid=7646] ppid=7643 vsize=1346116 CPUtime=3.09 cores=0,2,4,6 /proc/7646/stat : 7646 (toysat) R 7643 7646 28898 0 -1 4202496 168373 0 0 0 281 28 0 0 20 0 4 0 27838626 1378422784 169183 33554432000 4194304 16246674 140735423516784 140735423515880 5531788 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7646/statm: 336529 169183 912 2943 0 333423 0 [pid=7646/tid=7647] ppid=7643 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7647/stat : 7647 (toysat) S 7643 7646 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27838626 1378422784 169183 33554432000 4194304 16246674 140735423516784 140165642169584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=7646/tid=7648] ppid=7643 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7648/stat : 7648 (toysat) S 7643 7646 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27838626 1378422784 169183 33554432000 4194304 16246674 140735423516784 140165631679728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=7646/tid=7649] ppid=7643 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7649/stat : 7649 (toysat) S 7643 7646 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27838626 1378422784 169183 33554432000 4194304 16246674 140735423516784 140165519502512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1346116 [startup+6.30041 s] /proc/loadavg: 2.05 2.03 2.01 3/183 7650 /proc/meminfo: memFree=29535808/32872528 swapFree=526336/559040 [pid=7646] ppid=7643 vsize=1346116 CPUtime=6.29 cores=0,2,4,6 /proc/7646/stat : 7646 (toysat) R 7643 7646 28898 0 -1 4202496 168380 0 0 0 601 28 0 0 20 0 4 0 27838626 1378422784 169190 33554432000 4194304 16246674 140735423516784 140735423498688 12997728 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7646/statm: 336529 169190 919 2943 0 333423 0 [pid=7646/tid=7647] ppid=7643 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7647/stat : 7647 (toysat) S 7643 7646 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27838626 1378422784 169190 33554432000 4194304 16246674 140735423516784 140165642169584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=7646/tid=7648] ppid=7643 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7648/stat : 7648 (toysat) S 7643 7646 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27838626 1378422784 169190 33554432000 4194304 16246674 140735423516784 140165631679728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=7646/tid=7649] ppid=7643 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7649/stat : 7649 (toysat) S 7643 7646 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27838626 1378422784 169190 33554432000 4194304 16246674 140735423516784 140165519502512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1346116 [startup+12.7004 s] /proc/loadavg: 2.05 2.03 2.01 3/183 7650 /proc/meminfo: memFree=29182216/32872528 swapFree=526336/559040 [pid=7646] ppid=7643 vsize=1346116 CPUtime=12.69 cores=0,2,4,6 /proc/7646/stat : 7646 (toysat) R 7643 7646 28898 0 -1 4202496 256795 0 0 0 1230 39 0 0 20 0 4 0 27838626 1378422784 257605 33554432000 4194304 16246674 140735423516784 140735423498688 13820935 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7646/statm: 336529 257605 919 2943 0 333423 0 [pid=7646/tid=7647] ppid=7643 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7647/stat : 7647 (toysat) S 7643 7646 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27838626 1378422784 257605 33554432000 4194304 16246674 140735423516784 140165642169584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=7646/tid=7648] ppid=7643 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7648/stat : 7648 (toysat) S 7643 7646 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27838626 1378422784 257605 33554432000 4194304 16246674 140735423516784 140165631679728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=7646/tid=7649] ppid=7643 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7649/stat : 7649 (toysat) S 7643 7646 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27838626 1378422784 257605 33554432000 4194304 16246674 140735423516784 140165519502512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1346116 [startup+25.5005 s] /proc/loadavg: 2.04 2.03 2.01 3/183 7650 /proc/meminfo: memFree=29183312/32872528 swapFree=526336/559040 [pid=7646] ppid=7643 vsize=1346116 CPUtime=25.49 cores=0,2,4,6 /proc/7646/stat : 7646 (toysat) R 7643 7646 28898 0 -1 4202496 256797 0 0 0 2510 39 0 0 20 0 4 0 27838626 1378422784 257607 33554432000 4194304 16246674 140735423516784 140735423498560 13820890 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7646/statm: 336529 257607 921 2943 0 333423 0 [pid=7646/tid=7647] ppid=7643 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7647/stat : 7647 (toysat) S 7643 7646 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27838626 1378422784 257607 33554432000 4194304 16246674 140735423516784 140165642169584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=7646/tid=7648] ppid=7643 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7648/stat : 7648 (toysat) S 7643 7646 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27838626 1378422784 257607 33554432000 4194304 16246674 140735423516784 140165631679728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=7646/tid=7649] ppid=7643 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7649/stat : 7649 (toysat) S 7643 7646 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27838626 1378422784 257607 33554432000 4194304 16246674 140735423516784 140165519502512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1346116 [startup+51.1005 s] /proc/loadavg: 2.02 2.03 2.01 3/183 7650 /proc/meminfo: memFree=29100628/32872528 swapFree=526336/559040 [pid=7646] ppid=7643 vsize=1346116 CPUtime=51.08 cores=0,2,4,6 /proc/7646/stat : 7646 (toysat) R 7643 7646 28898 0 -1 4202496 277239 0 0 0 5067 41 0 0 20 0 4 0 27838626 1378422784 278049 33554432000 4194304 16246674 140735423516784 140735423498688 5830022 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7646/statm: 336529 278049 921 2943 0 333423 0 [pid=7646/tid=7647] ppid=7643 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7647/stat : 7647 (toysat) S 7643 7646 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27838626 1378422784 278049 33554432000 4194304 16246674 140735423516784 140165642169584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=7646/tid=7648] ppid=7643 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7648/stat : 7648 (toysat) S 7643 7646 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27838626 1378422784 278049 33554432000 4194304 16246674 140735423516784 140165631679728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=7646/tid=7649] ppid=7643 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7649/stat : 7649 (toysat) S 7643 7646 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27838626 1378422784 278049 33554432000 4194304 16246674 140735423516784 140165519502512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1346116 [startup+102.3 s] /proc/loadavg: 2.01 2.02 2.00 3/183 7651 /proc/meminfo: memFree=29097140/32872528 swapFree=526336/559040 [pid=7646] ppid=7643 vsize=1346116 CPUtime=102.28 cores=0,2,4,6 /proc/7646/stat : 7646 (toysat) R 7643 7646 28898 0 -1 4202496 277239 0 0 0 10187 41 0 0 20 0 4 0 27838626 1378422784 278049 33554432000 4194304 16246674 140735423516784 140735423498688 5677716 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7646/statm: 336529 278049 921 2943 0 333423 0 [pid=7646/tid=7647] ppid=7643 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7647/stat : 7647 (toysat) S 7643 7646 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27838626 1378422784 278049 33554432000 4194304 16246674 140735423516784 140165642169584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=7646/tid=7648] ppid=7643 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7648/stat : 7648 (toysat) S 7643 7646 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27838626 1378422784 278049 33554432000 4194304 16246674 140735423516784 140165631679728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=7646/tid=7649] ppid=7643 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7649/stat : 7649 (toysat) S 7643 7646 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27838626 1378422784 278049 33554432000 4194304 16246674 140735423516784 140165519502512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1346116 ################ # More data... # ################ /proc/7646/task/7649/stat : 7649 (toysat) S 7643 7646 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140165519502512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1242.04 Current children cumulated vsize (KiB) 1363524 [startup+1302.3 s] /proc/loadavg: 2.02 2.04 2.00 4/183 7753 /proc/meminfo: memFree=29062740/32872528 swapFree=526336/559040 [pid=7646] ppid=7643 vsize=1363524 CPUtime=1302.01 cores=0,2,4,6 /proc/7646/stat : 7646 (toysat) R 7643 7646 28898 0 -1 4202496 281747 0 0 0 130157 44 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140735423498688 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7646/statm: 340881 282401 921 2943 0 337775 0 [pid=7646/tid=7647] ppid=7643 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7647/stat : 7647 (toysat) S 7643 7646 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140165642169584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=7646/tid=7648] ppid=7643 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7648/stat : 7648 (toysat) S 7643 7646 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140165631679728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=7646/tid=7649] ppid=7643 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7649/stat : 7649 (toysat) S 7643 7646 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140165519502512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 1363524 [startup+1362.3 s] /proc/loadavg: 2.10 2.06 2.01 3/183 7754 /proc/meminfo: memFree=29056448/32872528 swapFree=526336/559040 [pid=7646] ppid=7643 vsize=1363524 CPUtime=1361.99 cores=0,2,4,6 /proc/7646/stat : 7646 (toysat) R 7643 7646 28898 0 -1 4202496 281771 0 0 0 136155 44 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140735423498688 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7646/statm: 340881 282401 921 2943 0 337775 0 [pid=7646/tid=7647] ppid=7643 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7647/stat : 7647 (toysat) S 7643 7646 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140165642169584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=7646/tid=7648] ppid=7643 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7648/stat : 7648 (toysat) S 7643 7646 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140165631679728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=7646/tid=7649] ppid=7643 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7649/stat : 7649 (toysat) S 7643 7646 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140165519502512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1361.99 Current children cumulated vsize (KiB) 1363524 [startup+1422.3 s] /proc/loadavg: 2.03 2.05 2.00 3/183 7755 /proc/meminfo: memFree=29053520/32872528 swapFree=526336/559040 [pid=7646] ppid=7643 vsize=1363524 CPUtime=1421.97 cores=0,2,4,6 /proc/7646/stat : 7646 (toysat) R 7643 7646 28898 0 -1 4202496 281794 0 0 0 142153 44 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140735423498688 5711680 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7646/statm: 340881 282401 921 2943 0 337775 0 [pid=7646/tid=7647] ppid=7643 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7647/stat : 7647 (toysat) S 7643 7646 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140165642169584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=7646/tid=7648] ppid=7643 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7648/stat : 7648 (toysat) S 7643 7646 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140165631679728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=7646/tid=7649] ppid=7643 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7649/stat : 7649 (toysat) S 7643 7646 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140165519502512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 1363524 [startup+1482.3 s] /proc/loadavg: 2.14 2.07 2.01 3/183 7757 /proc/meminfo: memFree=29043020/32872528 swapFree=526336/559040 [pid=7646] ppid=7643 vsize=1363524 CPUtime=1481.95 cores=0,2,4,6 /proc/7646/stat : 7646 (toysat) R 7643 7646 28898 0 -1 4202496 281794 0 0 0 148151 44 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140735423498688 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7646/statm: 340881 282401 921 2943 0 337775 0 [pid=7646/tid=7647] ppid=7643 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7647/stat : 7647 (toysat) S 7643 7646 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140165642169584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=7646/tid=7648] ppid=7643 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7648/stat : 7648 (toysat) S 7643 7646 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140165631679728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=7646/tid=7649] ppid=7643 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7649/stat : 7649 (toysat) S 7643 7646 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140165519502512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 1363524 [startup+1542.31 s] /proc/loadavg: 2.13 2.08 2.01 3/183 7758 /proc/meminfo: memFree=29043268/32872528 swapFree=526336/559040 [pid=7646] ppid=7643 vsize=1363524 CPUtime=1541.95 cores=0,2,4,6 /proc/7646/stat : 7646 (toysat) R 7643 7646 28898 0 -1 4202496 281794 0 0 0 154151 44 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140735423498688 5661532 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7646/statm: 340881 282401 921 2943 0 337775 0 [pid=7646/tid=7647] ppid=7643 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7647/stat : 7647 (toysat) S 7643 7646 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140165642169584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=7646/tid=7648] ppid=7643 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7648/stat : 7648 (toysat) S 7643 7646 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140165631679728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=7646/tid=7649] ppid=7643 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7649/stat : 7649 (toysat) S 7643 7646 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140165519502512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 1363524 [startup+1602.3 s] /proc/loadavg: 2.04 2.06 2.01 3/183 7759 /proc/meminfo: memFree=29042188/32872528 swapFree=526336/559040 [pid=7646] ppid=7643 vsize=1363524 CPUtime=1601.93 cores=0,2,4,6 /proc/7646/stat : 7646 (toysat) R 7643 7646 28898 0 -1 4202496 281794 0 0 0 160149 44 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140735423498688 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7646/statm: 340881 282401 921 2943 0 337775 0 [pid=7646/tid=7647] ppid=7643 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7647/stat : 7647 (toysat) S 7643 7646 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140165642169584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=7646/tid=7648] ppid=7643 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7648/stat : 7648 (toysat) S 7643 7646 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140165631679728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=7646/tid=7649] ppid=7643 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7649/stat : 7649 (toysat) S 7643 7646 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140165519502512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 1363524 [startup+1662.3 s] /proc/loadavg: 2.09 2.07 2.01 3/183 7760 /proc/meminfo: memFree=29042260/32872528 swapFree=526336/559040 [pid=7646] ppid=7643 vsize=1363524 CPUtime=1661.92 cores=0,2,4,6 /proc/7646/stat : 7646 (toysat) R 7643 7646 28898 0 -1 4202496 281794 0 0 0 166148 44 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140735423498688 5711972 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7646/statm: 340881 282401 921 2943 0 337775 0 [pid=7646/tid=7647] ppid=7643 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7647/stat : 7647 (toysat) S 7643 7646 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140165642169584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=7646/tid=7648] ppid=7643 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7648/stat : 7648 (toysat) S 7643 7646 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140165631679728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=7646/tid=7649] ppid=7643 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7649/stat : 7649 (toysat) S 7643 7646 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140165519502512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 1363524 [startup+1722.3 s] /proc/loadavg: 2.03 2.05 2.00 3/184 7764 /proc/meminfo: memFree=29041464/32872528 swapFree=526336/559040 [pid=7646] ppid=7643 vsize=1363524 CPUtime=1721.91 cores=0,2,4,6 /proc/7646/stat : 7646 (toysat) R 7643 7646 28898 0 -1 4202496 281794 0 0 0 172144 47 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140735423515880 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7646/statm: 340881 282401 921 2943 0 337775 0 [pid=7646/tid=7647] ppid=7643 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7647/stat : 7647 (toysat) S 7643 7646 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140165642169584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=7646/tid=7648] ppid=7643 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7648/stat : 7648 (toysat) S 7643 7646 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140165631679728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=7646/tid=7649] ppid=7643 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7649/stat : 7649 (toysat) S 7643 7646 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140165519502512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 1363524 [startup+1782.3 s] /proc/loadavg: 2.06 2.06 2.00 3/183 7766 /proc/meminfo: memFree=29032608/32872528 swapFree=526336/559040 [pid=7646] ppid=7643 vsize=1363524 CPUtime=1781.9 cores=0,2,4,6 /proc/7646/stat : 7646 (toysat) R 7643 7646 28898 0 -1 4202496 281794 0 0 0 178140 50 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140735423498688 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7646/statm: 340881 282401 921 2943 0 337775 0 [pid=7646/tid=7647] ppid=7643 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7647/stat : 7647 (toysat) S 7643 7646 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140165642169584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=7646/tid=7648] ppid=7643 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7648/stat : 7648 (toysat) S 7643 7646 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140165631679728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=7646/tid=7649] ppid=7643 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7649/stat : 7649 (toysat) S 7643 7646 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140165519502512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 1363524 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.04 2.05 2.00 3/183 7766 /proc/meminfo: memFree=29032580/32872528 swapFree=526336/559040 [pid=7646] ppid=7643 vsize=1363524 CPUtime=1800 cores=0,2,4,6 /proc/7646/stat : 7646 (toysat) R 7643 7646 28898 0 -1 4202496 281794 0 0 0 179950 50 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140735423498688 5828829 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7646/statm: 340881 282401 921 2943 0 337775 0 [pid=7646/tid=7647] ppid=7643 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7647/stat : 7647 (toysat) S 7643 7646 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140165642169584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=7646/tid=7648] ppid=7643 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7648/stat : 7648 (toysat) S 7643 7646 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140165631679728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=7646/tid=7649] ppid=7643 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/7646/task/7649/stat : 7649 (toysat) S 7643 7646 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27838626 1396248576 282401 33554432000 4194304 16246674 140735423516784 140165519502512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1363524 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 7646 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.41 CPU time (s): 1800.01 CPU user time (s): 1799.51 CPU system time (s): 0.502923 CPU usage (%): 99.9781 Max. virtual memory (cumulated for all children) (KiB): 1363524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.51 system time used= 0.502923 maximum resident set size= 1129604 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 281794 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= 221 involuntary context switches= 1838 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.34834 second user time and 7.17891 second system time The end
Begin job on node106 at 2016-06-18 15:51:25 IDJOB=4105937 IDBENCH=24961 IDSOLVER=2542 FILE ID=node106/4105937-1466257885 RUNJOBID= node106-1466241787-28914 PBS_JOBID= 19918214 Free space on /tmp= 71684 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir10_trarea_ac.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105937-1466257885/watcher-4105937-1466257885 -o /tmp/evaluation-result-4105937-1466257885/solver-4105937-1466257885 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105937-1466257885.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7ed8ae7116a489c037a0d97015217f38 RANDOM SEED=1211621278 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 : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.14 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 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.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 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: 30212024 kB Buffers: 71908 kB Cached: 192660 kB SwapCached: 1736 kB Active: 1185256 kB Inactive: 169388 kB Active(anon): 1087656 kB Inactive(anon): 4736 kB Active(file): 97600 kB Inactive(file): 164652 kB Unevictable: 559040 kB Mlocked: 526336 kB SwapTotal: 67108856 kB SwapFree: 67099160 kB Dirty: 17916 kB Writeback: 0 kB AnonPages: 1648028 kB Mapped: 10516 kB Shmem: 0 kB Slab: 612572 kB SReclaimable: 56280 kB SUnreclaim: 556292 kB KernelStack: 1520 kB PageTables: 6916 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1790484 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 36864 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= 71668 MiB End job on node106 at 2016-06-18 16:21:26