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.02 | 1800.51 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/ minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-30.lin.opb |
| MD5SUM | 760efaba2d1061e895252c56b3293c1d |
| 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 | 495 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1395 |
| Total number of constraints | 2640 |
| Number of constraints which are clauses | 1305 |
| Number of constraints which are cardinality constraints (but not clauses) | 30 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1305 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 1305 |
| Biggest coefficient in the objective function | 29 |
| Number of bits for the biggest coefficient in the objective function | 5 |
| Sum of the numbers in the objective function | 13485 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 29 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 13485 |
| Number of bits of the biggest sum of numbers | 14 |
| 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-29T21:06:07+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.11 c arch = x86_64 0.00/0.11 c os = linux 0.00/0.11 c compiler = ghc 7.10 0.00/0.11 c packages: 0.00/0.11 c OptDir-0.0.3 0.00/0.11 c array-0.5.1.0 0.00/0.11 c base-4.8.2.0 0.00/0.11 c bytestring-0.10.6.0 0.00/0.11 c bytestring-builder-0.10.6.0.0 0.00/0.11 c clock-0.7.2 0.00/0.11 c containers-0.5.6.2 0.00/0.11 c data-default-0.5.3 0.00/0.11 c data-default-class-0.0.1 0.00/0.11 c data-interval-1.2.0 0.00/0.11 c deepseq-1.4.1.1 0.00/0.11 c directory-1.2.2.0 0.00/0.11 c exceptions-0.8.2.1 0.00/0.11 c extended-reals-0.2.1.0 0.00/0.11 c filepath-1.4.0.0 0.00/0.11 c finite-field-0.8.0 0.00/0.11 c hashable-1.2.4.0 0.00/0.11 c heaps-0.3.3 0.00/0.11 c intern-0.9.1.4 0.00/0.11 c loop-0.3.0 0.00/0.11 c mtl-2.2.1 0.00/0.11 c multiset-0.3.2 0.00/0.11 c mwc-random-0.13.3.2 0.00/0.11 c parse_dimacs-1.3 0.00/0.11 c parsec-3.1.9 0.00/0.11 c prettyclass-1.0.0.0 0.00/0.11 c primes-0.2.1.0 0.00/0.11 c primitive-0.6.1.0 0.00/0.11 c process-1.2.3.0 0.00/0.11 c pseudo-boolean-0.1.3.0 0.00/0.11 c queue-0.1.2 0.00/0.11 c semigroups-0.18.1 0.00/0.11 c sign-0.4.3 0.00/0.11 c stm-2.4.4.1 0.00/0.11 c template-haskell-2.10.0.0 0.00/0.11 c temporary-1.2.0.4 0.00/0.11 c time-1.5.0.1 0.00/0.11 c transformers-0.4.2.0 0.00/0.11 c transformers-compat-0.5.1.4 0.00/0.11 c type-level-numbers-0.1.1.1 0.00/0.11 c unbounded-delays-0.1.0.9 0.00/0.11 c unordered-containers-0.2.6.0 0.00/0.11 c vector-0.11.0.0 0.00/0.11 c vector-space-0.10.3 0.00/0.11 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4118367-1467227167.opb"] 0.00/0.11 c use --random-gen="1772634988 1417155698 3214029701 510538413 3855384968 230444184 3260714419 2566842461 3775144495 2359311219 3835698901 106867302 2876623607 2381329331 1773954913 4139453422 2359987802 3224028512 1086317062 1912479081 3232728600 4239285279 1688057222 817481120 3161232823 3068727550 24506196 2546780651 1690407942 3855699424 2422767431 1119989131 843505041 258278088 2400282171 2503556322 816885502 732934543 2229516788 3614762131 3144692172 428996540 3695808817 4144365852 2097470569 2558868600 1252821593 335380110 811086626 3077876608 2887157899 2243897308 486372807 3801120351 111519487 1134739620 2397629589 1672431583 2695106413 1287234401 3842309257 1360474409 3220711982 1478160525 1476832215 602939586 2912703995 2030023346 3064957520 4116408994 639888924 3941789478 1521120780 2538703914 1464491102 2993837184 1799596211 2443952368 3950800401 694423411 4210128644 557505992 1697481698 2131798173 2847432062 414362517 1453975849 1393606581 4291585994 3710561324 1820093170 2990522811 4075732596 1978947948 3823004997 2007840921 1053313918 3701532426 4244750194 801461875 1084066055 2800105772 1668080940 4001888319 1417388775 285981790 388471250 273327209 1911659953 1594373786 446700823 1732090705 1754988697 1332690847 2911835441 412023045 689439704 3871909976 3085576627 3718982707 1310665451 1807020491 3909444821 2822823927 3425836522 1586305459 1454591636 1887487933 587172327 262039872 4204987033 1496853169 2782751918 282807084 3230548010 2927317604 1037924143 3775716263 1050512348 2451031871 3684081702 1373556264 3728612812 4090361248 2681666282 1211510320 1133530024 2947798120 3369554392 996761509 548124385 1779366873 3923296003 1174674025 1156366270 2829191371 1213845757 842266666 2027975676 829666890 3545387189 3490715331 1528361580 4103723416 2977470879 3495120485 1839180266 4234598374 556458327 56675188 2017860463 115703241 1965189638 425372959 554326269 3536909112 793051207 4150881184 2481254763 3399920003 2289000063 1859641416 2020730154 4132719572 2035781346 3500459835 2693189633 1190796275 2028953915 2362827172 621153030 2289809929 3828104053 3348608454 693707844 3795643393 392751067 2535817121 3477572138 2089770640 3200378229 2916937125 26254799 653885310 1011170695 1839533380 232777036 1093719537 4218083794 2217905994 665667201 231624063 2979060292 3495138024 3120963811 1871307 69335294 1390274745 89895416 2516463540 2554449501 3207023437 283217825 3075786149 3805804224 89296734 4235134576 2439865502 4251250435 719771055 2290383579 3918258352 2284295593 623893007 41690651 1603183670 4004971448 2556712950 2041157628 488851731 2908741802 778163374 3977831010 2342747319 3457981896 1022467431 3493274143 3482030411 3189349214 371570556 770697026 3727127671 2524165257 2624594538 2556355446 3316680076 255 362436" option to reproduce the execution 0.00/0.11 c #vars 1395 0.00/0.11 c #constraints 2640 0.00/0.11 c BCD2: Hardening is enabled. 0.00/0.11 c BCD2: BiasedSearch is enabled. 0.00/0.11 c Solving starts ... 0.00/0.11 c ============================[ Search Statistics ]============================ 0.00/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.11 c | | | | Limit GC | Var | Constra 0.00/0.11 c ============================================================================= 0.00/0.11 c 0.0s | 0 | 0 | 0 | 1355 0 | 0 | 0 0.00/0.11 c 0.0s | 0 | 29 | 0 | 1355 0 | 0 | 0 0.00/0.11 c #cpu_time = 0.006s 0.00/0.11 c #wall_clock_time = 0.006s 0.00/0.11 c #decision = 29 0.00/0.11 c #random_decision = 0 0.00/0.11 c #conflict = 0 0.00/0.11 c #restart = 0 0.00/0.11 o 4060 0.00/0.11 c BCD2: updating upper bound: 13485 -> 4059 0.00/0.11 c BCD2: 0 <= obj <= 4059 0.00/0.11 c BCD2: #cores=0, #unrelaxed=1305, #relaxed=0, #hardened=0 0.00/0.11 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.11 c Solving starts ... 0.00/0.11 c ============================[ Search Statistics ]============================ 0.00/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.11 c | | | | Limit GC | Var | Constra 0.00/0.11 c ============================================================================= 0.00/0.11 c 0.0s | 0 | 0 | 0 | 1355 0 | 0 | 0 0.00/0.11 c 0.0s | 0 | 1314 | 8 | 1355 0 | 0 | 0 0.00/0.11 c #cpu_time = 0.006s 0.00/0.11 c #wall_clock_time = 0.006s 0.00/0.11 c #decision = 1314 0.00/0.11 c #random_decision = 0 0.00/0.11 c #conflict = 8 0.00/0.11 c #restart = 0 0.00/0.11 c BCD2: found a new core of size 25: cost of the new core is >=1 0.00/0.11 c lower bound updated to 1 0.00/0.11 c BCD2: 1 <= obj <= 4059 0.00/0.11 c BCD2: #cores=1, #unrelaxed=1280, #relaxed=25, #hardened=0 0.00/0.11 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.11 c Solving starts ... 0.00/0.11 c ============================[ Search Statistics ]============================ 0.00/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.11 c | | | | Limit GC | Var | Constra 0.00/0.11 c ============================================================================= 0.00/0.11 c 0.0s | 0 | 0 | 0 | 1355 0 | 0 | 0 0.00/0.12 c 0.0s | 0 | 1451 | 20 | 1355 0 | 0 | 0 0.00/0.12 c #cpu_time = 0.011s 0.00/0.12 c #wall_clock_time = 0.011s 0.00/0.12 c #decision = 1451 0.00/0.12 c #random_decision = 0 0.00/0.12 c #conflict = 20 0.00/0.12 c #restart = 0 0.00/0.12 c BCD2: found a new core of size 28: cost of the new core is >=1 0.00/0.12 c lower bound updated to 2 0.00/0.12 c BCD2: 2 <= obj <= 4059 0.00/0.12 c BCD2: #cores=2, #unrelaxed=1252, #relaxed=53, #hardened=0 0.00/0.12 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.12 c Solving starts ... 0.00/0.12 c ============================[ Search Statistics ]============================ 0.00/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.12 c | | | | Limit GC | Var | Constra 0.00/0.12 c ============================================================================= 0.00/0.12 c 0.0s | 0 | 0 | 0 | 1355 0 | 0 | 0 0.00/0.13 c 0.0s | 0 | 1551 | 19 | 1355 0 | 0 | 0 0.00/0.13 c #cpu_time = 0.010s 0.00/0.13 c #wall_clock_time = 0.010s 0.00/0.13 c #decision = 1551 0.00/0.13 c #random_decision = 0 0.00/0.13 c #conflict = 19 0.00/0.13 c #restart = 0 0.00/0.13 c BCD2: relaxing 44 and merging with 1 cores into a new core of size 72: cost of the new core is >=2 0.00/0.13 c lower bound updated to 3 0.00/0.13 c BCD2: 3 <= obj <= 4059 0.00/0.13 c BCD2: #cores=2, #unrelaxed=1208, #relaxed=97, #hardened=0 0.00/0.13 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.13 c Solving starts ... 0.00/0.13 c ============================[ Search Statistics ]============================ 0.00/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.13 c | | | | Limit GC | Var | Constra 0.00/0.13 c ============================================================================= 0.00/0.13 c 0.0s | 0 | 0 | 0 | 1355 0 | 1 | 0 0.00/0.14 c 0.0s | 0 | 1350 | 14 | 1355 0 | 1 | 1 0.00/0.14 c #cpu_time = 0.009s 0.00/0.14 c #wall_clock_time = 0.009s 0.00/0.14 c #decision = 1350 0.00/0.14 c #random_decision = 0 0.00/0.14 c #conflict = 14 0.00/0.14 c #restart = 0 0.00/0.14 c BCD2: found a new core of size 40: cost of the new core is >=1 0.00/0.14 c lower bound updated to 4 0.00/0.14 c BCD2: 4 <= obj <= 4059 0.00/0.14 c BCD2: #cores=3, #unrelaxed=1168, #relaxed=137, #hardened=0 0.00/0.14 c BCD2: #sat=1 #unsat=5 bias=5/6 0.00/0.14 c Solving starts ... 0.00/0.14 c ============================[ Search Statistics ]============================ 0.00/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.14 c | | | | Limit GC | Var | Constra 0.00/0.14 c ============================================================================= 0.00/0.14 c 0.0s | 0 | 0 | 0 | 1355 0 | 1 | 1 0.00/0.15 c 0.0s | 0 | 1199 | 17 | 1355 0 | 1 | 1 0.00/0.15 c #cpu_time = 0.009s 0.00/0.15 c #wall_clock_time = 0.009s 0.00/0.15 c #decision = 1199 0.00/0.15 c #random_decision = 0 0.00/0.15 c #conflict = 17 0.00/0.15 c #restart = 0 0.00/0.15 c BCD2: found a new core of size 47: cost of the new core is >=1 0.00/0.15 c lower bound updated to 5 0.00/0.15 c BCD2: 5 <= obj <= 4059 0.00/0.15 c BCD2: #cores=4, #unrelaxed=1121, #relaxed=184, #hardened=0 0.00/0.15 c BCD2: #sat=1 #unsat=6 bias=6/7 0.00/0.15 c Solving starts ... 0.00/0.15 c ============================[ Search Statistics ]============================ 0.00/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.15 c | | | | Limit GC | Var | Constra 0.00/0.15 c ============================================================================= 0.00/0.15 c 0.0s | 0 | 0 | 0 | 1355 0 | 1 | 1 0.00/0.16 c 0.0s | 0 | 1594 | 19 | 1355 0 | 1 | 1 0.00/0.16 c #cpu_time = 0.010s 0.00/0.16 c #wall_clock_time = 0.010s 0.00/0.16 c #decision = 1594 0.00/0.16 c #random_decision = 0 0.00/0.16 c #conflict = 19 0.00/0.16 c #restart = 0 0.00/0.16 c BCD2: found a new core of size 35: cost of the new core is >=1 0.00/0.16 c lower bound updated to 6 0.00/0.16 c BCD2: 6 <= obj <= 4059 0.00/0.16 c BCD2: #cores=5, #unrelaxed=1086, #relaxed=219, #hardened=0 0.00/0.16 c BCD2: #sat=1 #unsat=7 bias=7/8 0.00/0.16 c Solving starts ... 0.00/0.16 c ============================[ Search Statistics ]============================ 0.00/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.16 c | | | | Limit GC | Var | Constra 0.00/0.16 c ============================================================================= 0.00/0.16 c 0.0s | 0 | 0 | 0 | 1355 0 | 1 | 1 0.00/0.17 c 0.0s | 0 | 1180 | 17 | 1491 0 | 1 | 1 0.00/0.17 c #cpu_time = 0.009s 0.00/0.17 c #wall_clock_time = 0.009s 0.00/0.17 c #decision = 1180 0.00/0.17 c #random_decision = 0 0.00/0.17 c #conflict = 17 0.00/0.17 c #restart = 0 0.00/0.17 c BCD2: found a new core of size 53: cost of the new core is >=1 0.00/0.17 c lower bound updated to 7 0.00/0.18 c BCD2: 7 <= obj <= 4059 0.00/0.18 c BCD2: #cores=6, #unrelaxed=1033, #relaxed=272, #hardened=0 0.00/0.18 c BCD2: #sat=1 #unsat=8 bias=8/9 0.00/0.18 c Solving starts ... 0.00/0.18 c ============================[ Search Statistics ]============================ 0.00/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.18 c | | | | Limit GC | Var | Constra 0.00/0.18 c ============================================================================= 0.00/0.18 c 0.0s | 0 | 0 | 0 | 1491 0 | 1 | 1 0.00/0.20 c 0.0s | 0 | 1637 | 17 | 1491 0 | 1 | 1 0.00/0.20 c #cpu_time = 0.014s 0.00/0.20 c #wall_clock_time = 0.014s 0.00/0.20 c #decision = 1637 0.00/0.20 c #random_decision = 0 0.00/0.20 c #conflict = 17 0.00/0.20 c #restart = 0 0.00/0.20 c BCD2: found a new core of size 49: cost of the new core is >=1 0.00/0.20 c lower bound updated to 8 0.00/0.20 c BCD2: 8 <= obj <= 4059 0.00/0.20 c BCD2: #cores=7, #unrelaxed=984, #relaxed=321, #hardened=0 0.00/0.20 c BCD2: #sat=1 #unsat=9 bias=9/10 0.00/0.20 c Solving starts ... 0.00/0.20 c ============================[ Search Statistics ]============================ 0.00/0.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.20 c | | | | Limit GC | Var | Constra 0.00/0.20 c ============================================================================= 0.00/0.20 c 0.0s | 0 | 0 | 0 | 1491 0 | 1 | 1 0.00/0.22 c 0.0s | 0 | 1613 | 31 | 1491 0 | 1 | 1 0.00/0.22 c #cpu_time = 0.019s 0.00/0.22 c #wall_clock_time = 0.019s 0.00/0.22 c #decision = 1613 0.00/0.22 c #random_decision = 0 0.00/0.22 c #conflict = 31 0.00/0.22 c #restart = 0 0.00/0.22 c BCD2: found a new core of size 52: cost of the new core is >=1 0.00/0.22 c lower bound updated to 9 0.00/0.22 c BCD2: 9 <= obj <= 4059 0.00/0.22 c BCD2: #cores=8, #unrelaxed=932, #relaxed=373, #hardened=0 0.00/0.22 c BCD2: #sat=1 #unsat=10 bias=10/11 0.00/0.22 c Solving starts ... 0.00/0.22 c ============================[ Search Statistics ]============================ 0.00/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.22 c | | | | Limit GC | Var | Constra 0.00/0.22 c ============================================================================= 0.00/0.22 c 0.0s | 0 | 0 | 0 | 1491 0 | 1 | 1 0.00/0.23 c 0.0s | 0 | 2054 | 17 | 1491 0 | 1 | 1 0.00/0.23 c #cpu_time = 0.013s 0.00/0.24 c #wall_clock_time = 0.013s 0.00/0.24 c #decision = 2054 0.00/0.24 c #random_decision = 0 0.00/0.24 c #conflict = 17 0.00/0.24 c #restart = 0 0.00/0.24 c BCD2: found a new core of size 60: cost of the new core is >=1 0.00/0.24 c lower bound updated to 10 0.00/0.24 c BCD2: 10 <= obj <= 4059 0.00/0.24 c BCD2: #cores=9, #unrelaxed=872, #relaxed=433, #hardened=0 0.00/0.24 c BCD2: #sat=1 #unsat=11 bias=11/12 0.00/0.24 c Solving starts ... 0.00/0.24 c ============================[ Search Statistics ]============================ 0.00/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.24 c | | | | Limit GC | Var | Constra 0.00/0.24 c ============================================================================= 0.00/0.24 c 0.0s | 0 | 0 | 0 | 1491 0 | 1 | 1 0.00/0.25 c 0.0s | 0 | 1152 | 19 | 1491 0 | 1 | 1 0.00/0.25 c #cpu_time = 0.016s 0.00/0.25 c #wall_clock_time = 0.016s 0.00/0.25 c #decision = 1152 0.00/0.25 c #random_decision = 0 0.00/0.25 c #conflict = 19 0.00/0.25 c #restart = 0 0.00/0.25 c BCD2: found a new core of size 54: cost of the new core is >=1 0.00/0.25 c lower bound updated to 11 0.00/0.26 c BCD2: 11 <= obj <= 4059 0.00/0.26 c BCD2: #cores=10, #unrelaxed=818, #relaxed=487, #hardened=0 0.00/0.26 c BCD2: #sat=1 #unsat=12 bias=12/13 0.00/0.26 c Solving starts ... 0.00/0.26 c ============================[ Search Statistics ]============================ 0.00/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.26 c | | | | Limit GC | Var | Constra 0.00/0.26 c ============================================================================= 0.00/0.26 c 0.0s | 0 | 0 | 0 | 1491 0 | 1 | 1 0.00/0.27 c 0.0s | 0 | 916 | 16 | 1491 0 | 1 | 1 0.00/0.27 c #cpu_time = 0.014s 0.00/0.27 c #wall_clock_time = 0.014s 0.00/0.27 c #decision = 916 0.00/0.27 c #random_decision = 0 0.00/0.27 c #conflict = 16 0.00/0.27 c #restart = 0 0.00/0.27 c BCD2: found a new core of size 59: cost of the new core is >=1 0.00/0.27 c lower bound updated to 12 0.00/0.27 c BCD2: 12 <= obj <= 4059 0.00/0.27 c BCD2: #cores=11, #unrelaxed=759, #relaxed=546, #hardened=0 0.00/0.27 c BCD2: #sat=1 #unsat=13 bias=13/14 0.00/0.28 c Solving starts ... 0.00/0.28 c ============================[ Search Statistics ]============================ 0.00/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.28 c | | | | Limit GC | Var | Constra 0.00/0.28 c ============================================================================= 0.00/0.28 c 0.0s | 0 | 0 | 0 | 1491 0 | 1 | 1 0.00/0.29 c 0.0s | 0 | 819 | 12 | 1491 0 | 1 | 1 0.00/0.29 c #cpu_time = 0.010s 0.00/0.29 c #wall_clock_time = 0.010s 0.00/0.29 c #decision = 819 0.00/0.29 c #random_decision = 0 0.00/0.29 c #conflict = 12 0.00/0.29 c #restart = 0 0.00/0.29 c BCD2: found a new core of size 40: cost of the new core is >=2 0.00/0.29 c lower bound updated to 14 0.00/0.29 c BCD2: 14 <= obj <= 4059 0.00/0.29 c BCD2: #cores=12, #unrelaxed=719, #relaxed=586, #hardened=0 0.00/0.29 c BCD2: #sat=1 #unsat=14 bias=14/15 0.00/0.29 c Solving starts ... 0.00/0.29 c ============================[ Search Statistics ]============================ 0.00/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.29 c | | | | Limit GC | Var | Constra 0.00/0.29 c ============================================================================= 0.00/0.29 c 0.0s | 0 | 0 | 0 | 1491 0 | 1 | 1 0.00/0.31 c 0.0s | 0 | 1052 | 23 | 1491 0 | 1 | 1 0.00/0.31 c #cpu_time = 0.017s 0.00/0.31 c #wall_clock_time = 0.017s 0.00/0.31 c #decision = 1052 0.00/0.31 c #random_decision = 0 0.00/0.31 c #conflict = 23 0.00/0.31 c #restart = 0 0.00/0.31 c BCD2: found a new core of size 61: cost of the new core is >=1 0.00/0.31 c lower bound updated to 15 0.00/0.31 c BCD2: 15 <= obj <= 4059 0.00/0.31 c BCD2: #cores=13, #unrelaxed=658, #relaxed=647, #hardened=0 0.00/0.31 c BCD2: #sat=1 #unsat=15 bias=15/16 0.00/0.31 c Solving starts ... 0.00/0.31 c ============================[ Search Statistics ]============================ 0.00/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.31 c | | | | Limit GC | Var | Constra 0.00/0.31 c ============================================================================= 0.00/0.31 c 0.0s | 0 | 0 | 0 | 1491 0 | 1 | 1 0.00/0.32 c 0.0s | 0 | 704 | 16 | 1641 0 | 1 | 1 0.00/0.32 c #cpu_time = 0.012s 0.00/0.32 c #wall_clock_time = 0.012s 0.00/0.32 c #decision = 704 0.00/0.32 c #random_decision = 0 0.00/0.32 c #conflict = 16 0.00/0.32 c #restart = 0 0.00/0.32 c BCD2: found a new core of size 84: cost of the new core is >=1 0.00/0.32 c lower bound updated to 16 0.00/0.33 c BCD2: 16 <= obj <= 4059 0.00/0.33 c BCD2: #cores=14, #unrelaxed=574, #relaxed=731, #hardened=0 0.00/0.33 c BCD2: #sat=1 #unsat=16 bias=16/17 0.00/0.33 c Solving starts ... 0.00/0.33 c ============================[ Search Statistics ]============================ 0.00/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.33 c | | | | Limit GC | Var | Constra 0.00/0.33 c ============================================================================= 0.00/0.34 c 0.0s | 0 | 0 | 0 | 1641 0 | 1 | 1 0.00/0.35 c 0.0s | 0 | 895 | 29 | 1641 0 | 1 | 1 0.00/0.35 c #cpu_time = 0.018s 0.00/0.35 c #wall_clock_time = 0.018s 0.00/0.35 c #decision = 895 0.00/0.35 c #random_decision = 1 0.00/0.35 c #conflict = 29 0.00/0.35 c #restart = 0 0.00/0.35 c BCD2: found a new core of size 45: cost of the new core is >=1 0.00/0.35 c lower bound updated to 17 0.00/0.35 c BCD2: 17 <= obj <= 4059 0.00/0.35 c BCD2: #cores=15, #unrelaxed=529, #relaxed=776, #hardened=0 0.00/0.35 c BCD2: #sat=1 #unsat=17 bias=17/18 0.00/0.36 c Solving starts ... 0.00/0.36 c ============================[ Search Statistics ]============================ 0.00/0.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.36 c | | | | Limit GC | Var | Constra 0.00/0.36 c ============================================================================= 0.00/0.36 c 0.0s | 0 | 0 | 0 | 1641 0 | 1 | 1 0.00/0.37 c 0.0s | 0 | 650 | 16 | 1641 0 | 1 | 1 0.00/0.37 c #cpu_time = 0.012s 0.00/0.37 c #wall_clock_time = 0.012s 0.00/0.37 c #decision = 650 0.00/0.37 c #random_decision = 0 0.00/0.37 c #conflict = 16 0.00/0.37 c #restart = 0 0.00/0.37 c BCD2: found a new core of size 65: cost of the new core is >=1 0.00/0.37 c lower bound updated to 18 0.00/0.37 c BCD2: 18 <= obj <= 4059 0.00/0.37 c BCD2: #cores=16, #unrelaxed=464, #relaxed=841, #hardened=0 0.00/0.37 c BCD2: #sat=1 #unsat=18 bias=18/19 0.00/0.37 c Solving starts ... 0.00/0.37 c ============================[ Search Statistics ]============================ 0.00/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.37 c | | | | Limit GC | Var | Constra 0.00/0.37 c ============================================================================= 0.00/0.37 c 0.0s | 0 | 0 | 0 | 1641 0 | 1 | 1 0.00/0.38 c 0.0s | 0 | 570 | 16 | 1641 0 | 1 | 1 0.00/0.38 c #cpu_time = 0.010s 0.00/0.38 c #wall_clock_time = 0.010s 0.00/0.38 c #decision = 570 0.00/0.38 c #random_decision = 0 0.00/0.38 c #conflict = 16 0.00/0.38 c #restart = 0 0.00/0.38 c BCD2: found a new core of size 52: cost of the new core is >=1 0.00/0.38 c lower bound updated to 19 0.00/0.38 c BCD2: 19 <= obj <= 4059 0.00/0.38 c BCD2: #cores=17, #unrelaxed=412, #relaxed=893, #hardened=0 0.00/0.38 c BCD2: #sat=1 #unsat=19 bias=19/20 0.00/0.38 c Solving starts ... 0.00/0.38 c ============================[ Search Statistics ]============================ 0.00/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.38 c | | | | Limit GC | Var | Constra 0.00/0.38 c ============================================================================= 0.00/0.38 c 0.0s | 0 | 0 | 0 | 1641 0 | 1 | 1 0.00/0.39 c 0.0s | 0 | 587 | 18 | 1641 0 | 1 | 1 0.00/0.39 c #cpu_time = 0.011s 0.00/0.39 c #wall_clock_time = 0.011s 0.00/0.39 c #decision = 587 0.00/0.39 c #random_decision = 0 0.00/0.39 c #conflict = 18 0.00/0.39 c #restart = 0 0.00/0.39 c BCD2: found a new core of size 63: cost of the new core is >=1 0.00/0.39 c lower bound updated to 20 0.00/0.39 c BCD2: 20 <= obj <= 4059 0.00/0.39 c BCD2: #cores=18, #unrelaxed=349, #relaxed=956, #hardened=0 0.00/0.39 c BCD2: #sat=1 #unsat=20 bias=20/21 0.39/0.40 c Solving starts ... 0.39/0.40 c ============================[ Search Statistics ]============================ 0.39/0.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.40 c | | | | Limit GC | Var | Constra 0.39/0.40 c ============================================================================= 0.39/0.40 c 0.0s | 0 | 0 | 0 | 1641 0 | 1 | 1 0.39/0.41 c 0.0s | 0 | 507 | 18 | 1641 0 | 1 | 1 0.39/0.41 c #cpu_time = 0.014s 0.39/0.41 c #wall_clock_time = 0.014s 0.39/0.41 c #decision = 507 0.39/0.41 c #random_decision = 0 0.39/0.41 c #conflict = 18 0.39/0.41 c #restart = 0 0.39/0.41 c BCD2: found a new core of size 70: cost of the new core is >=1 0.39/0.41 c lower bound updated to 21 0.39/0.41 c BCD2: 21 <= obj <= 4059 0.39/0.41 c BCD2: #cores=19, #unrelaxed=279, #relaxed=1026, #hardened=0 0.39/0.41 c BCD2: #sat=1 #unsat=21 bias=21/22 0.39/0.41 c Solving starts ... 0.39/0.41 c ============================[ Search Statistics ]============================ 0.39/0.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.41 c | | | | Limit GC | Var | Constra 0.39/0.41 c ============================================================================= 0.39/0.41 c 0.0s | 0 | 0 | 0 | 1641 0 | 1 | 1 0.39/0.42 c 0.0s | 0 | 469 | 11 | 1641 0 | 1 | 1 0.39/0.42 c #cpu_time = 0.009s 0.39/0.42 c #wall_clock_time = 0.009s 0.39/0.42 c #decision = 469 0.39/0.42 c #random_decision = 0 0.39/0.42 c #conflict = 11 0.39/0.42 c #restart = 0 0.39/0.42 c BCD2: found a new core of size 50: cost of the new core is >=1 0.39/0.42 c lower bound updated to 22 0.39/0.42 c BCD2: 22 <= obj <= 4059 0.39/0.42 c BCD2: #cores=20, #unrelaxed=229, #relaxed=1076, #hardened=0 0.39/0.42 c BCD2: #sat=1 #unsat=22 bias=22/23 0.39/0.42 c Solving starts ... 0.39/0.42 c ============================[ Search Statistics ]============================ 0.39/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.42 c | | | | Limit GC | Var | Constra 0.39/0.42 c ============================================================================= 0.39/0.42 c 0.0s | 0 | 0 | 0 | 1641 0 | 1 | 1 0.39/0.44 c 0.0s | 0 | 398 | 16 | 1641 0 | 1 | 1 0.39/0.44 c #cpu_time = 0.013s 0.39/0.44 c #wall_clock_time = 0.013s 0.39/0.44 c #decision = 398 0.39/0.44 c #random_decision = 0 0.39/0.44 c #conflict = 16 0.39/0.44 c #restart = 0 0.39/0.44 c BCD2: found a new core of size 65: cost of the new core is >=2 0.39/0.44 c lower bound updated to 24 0.39/0.44 c BCD2: 24 <= obj <= 4059 0.39/0.44 c BCD2: #cores=21, #unrelaxed=164, #relaxed=1141, #hardened=0 0.39/0.44 c BCD2: #sat=1 #unsat=23 bias=23/24 0.39/0.44 c Solving starts ... 0.39/0.44 c ============================[ Search Statistics ]============================ 0.39/0.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.44 c | | | | Limit GC | Var | Constra 0.39/0.44 c ============================================================================= 0.39/0.44 c 0.0s | 0 | 0 | 0 | 1641 0 | 1 | 1 0.39/0.45 c 0.0s | 0 | 245 | 0 | 1641 0 | 1 | 1 0.39/0.45 c #cpu_time = 0.008s 0.39/0.45 c #wall_clock_time = 0.008s 0.39/0.45 c #decision = 245 0.39/0.45 c #random_decision = 0 0.39/0.45 c #conflict = 0 0.39/0.45 c #restart = 0 0.39/0.45 o 1393 0.39/0.45 c BCD2: updating upper bound: 4059 -> 1392 0.39/0.46 c BCD2: 24 <= obj <= 1392 0.39/0.46 c BCD2: #cores=21, #unrelaxed=164, #relaxed=1141, #hardened=0 0.39/0.46 c BCD2: #sat=2 #unsat=23 bias=23/25 0.39/0.46 c Solving starts ... 0.39/0.46 c ============================[ Search Statistics ]============================ 0.39/0.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.46 c | | | | Limit GC | Var | Constra 0.39/0.46 c ============================================================================= 0.39/0.46 c 0.0s | 0 | 0 | 0 | 1641 0 | 1 | 2 0.49/0.53 c 0.1s | 1 | 308 | 100 | 1806 0 | 1 | 2 0.59/0.62 c 0.2s | 2 | 683 | 250 | 1806 0 | 1 | 2 0.59/0.66 c 0.2s | 2 | 909 | 286 | 1806 0 | 1 | 2 0.59/0.66 c #cpu_time = 0.191s 0.59/0.66 c #wall_clock_time = 0.191s 0.59/0.66 c #decision = 909 0.59/0.66 c #random_decision = 0 0.59/0.66 c #conflict = 286 0.59/0.66 c #restart = 2 0.59/0.66 c BCD2: relaxing 135 and merging with 18 cores into a new core of size 1109: cost of the new core is >=22 0.59/0.66 c lower bound updated to 25 0.59/0.66 c BCD2: 25 <= obj <= 1392 0.59/0.66 c BCD2: #cores=4, #unrelaxed=29, #relaxed=1276, #hardened=0 0.59/0.66 c BCD2: #sat=2 #unsat=24 bias=24/26 0.59/0.67 c Solving starts ... 0.59/0.67 c ============================[ Search Statistics ]============================ 0.59/0.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.67 c | | | | Limit GC | Var | Constra 0.59/0.67 c ============================================================================= 0.59/0.67 c 0.0s | 0 | 0 | 0 | 1806 0 | 151 | 2 0.69/0.70 c 0.0s | 0 | 127 | 23 | 1806 0 | 151 | 284 0.69/0.70 c #cpu_time = 0.025s 0.69/0.70 c #wall_clock_time = 0.025s 0.69/0.70 c #decision = 127 0.69/0.70 c #random_decision = 1 0.69/0.70 c #conflict = 23 0.69/0.70 c #restart = 0 0.69/0.70 o 1213 0.69/0.70 c BCD2: updating upper bound: 1392 -> 1212 0.69/0.70 c BCD2: 25 <= obj <= 1212 0.69/0.70 c BCD2: #cores=4, #unrelaxed=29, #relaxed=1276, #hardened=0 0.69/0.70 c BCD2: #sat=3 #unsat=24 bias=24/27 0.69/0.70 c Solving starts ... 0.69/0.70 c ============================[ Search Statistics ]============================ 0.69/0.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.70 c | | | | Limit GC | Var | Constra 0.69/0.70 c ============================================================================= 0.69/0.70 c 0.0s | 0 | 0 | 0 | 1806 0 | 151 | 285 0.69/0.76 c 0.1s | 1 | 193 | 100 | 1806 0 | 151 | 285 0.79/0.84 c 0.1s | 2 | 407 | 250 | 1987 0 | 151 | 285 0.89/0.99 c 0.3s | 3 | 697 | 475 | 1987 0 | 151 | 285 1.19/1.22 c 0.5s | 4 | 1123 | 813 | 2186 0 | 151 | 285 1.50/1.55 c 0.8s | 5 | 1735 | 1320 | 2186 0 | 151 | 285 1.69/1.73 c 1.0s | 5 | 2084 | 1571 | 2405 0 | 151 | 285 1.69/1.73 c #cpu_time = 1.021s 1.69/1.73 c #wall_clock_time = 1.021s 1.69/1.73 c #decision = 2084 1.69/1.73 c #random_decision = 0 1.69/1.73 c #conflict = 1571 1.69/1.73 c #restart = 5 1.69/1.73 o 1029 1.69/1.73 c BCD2: updating upper bound: 1212 -> 1028 1.69/1.74 c BCD2: 25 <= obj <= 1028 1.69/1.74 c BCD2: #cores=4, #unrelaxed=29, #relaxed=1276, #hardened=0 1.69/1.74 c BCD2: #sat=4 #unsat=24 bias=24/28 1.69/1.74 c Solving starts ... 1.69/1.74 c ============================[ Search Statistics ]============================ 1.69/1.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.69/1.74 c | | | | Limit GC | Var | Constra 1.69/1.74 c ============================================================================= 1.69/1.74 c 0.0s | 0 | 0 | 0 | 2405 0 | 151 | 286 1.79/1.81 c 0.1s | 1 | 164 | 100 | 2405 0 | 151 | 286 1.89/1.91 c 0.2s | 2 | 370 | 250 | 2405 0 | 151 | 286 1.99/2.04 c 0.3s | 3 | 685 | 475 | 2405 0 | 151 | 286 2.19/2.22 c 0.5s | 4 | 1100 | 813 | 2405 0 | 151 | 286 2.50/2.51 c 0.8s | 5 | 1719 | 1320 | 2646 1 | 151 | 286 2.99/3.00 c 1.3s | 6 | 2600 | 2081 | 2646 1 | 151 | 286 3.70/3.74 c 2.0s | 7 | 3923 | 3223 | 2911 1 | 151 | 286 4.59/4.63 c 2.9s | 8 | 5826 | 4936 | 2911 2 | 151 | 286 5.99/6.02 c 4.3s | 9 | 8679 | 7506 | 3203 3 | 151 | 286 8.00/8.04 c 6.3s | 9 | 12940 | 11306 | 3524 5 | 151 | 286 8.00/8.07 c 6.3s | 10 | 12999 | 11361 | 3524 5 | 151 | 286 9.99/10.07 c 8.3s | 10 | 17192 | 15161 | 3877 7 | 151 | 286 11.09/11.19 c 9.5s | 11 | 19334 | 17144 | 3877 8 | 151 | 286 13.19/13.21 c 11.5s | 11 | 23597 | 20944 | 3877 9 | 151 | 286 15.19/15.26 c 13.5s | 11 | 27625 | 24744 | 4265 10 | 151 | 286 15.80/15.83 c 14.1s | 12 | 28770 | 25819 | 4265 11 | 151 | 286 17.79/17.87 c 16.1s | 12 | 32867 | 29619 | 4265 12 | 151 | 286 19.79/19.88 c 18.1s | 12 | 37149 | 33519 | 4265 14 | 151 | 286 21.79/21.88 c 20.1s | 12 | 41368 | 37319 | 4692 15 | 151 | 286 22.59/22.69 c 20.9s | 13 | 43026 | 38832 | 4692 15 | 151 | 286 24.69/24.74 c 23.0s | 13 | 47684 | 42932 | 4692 17 | 151 | 286 26.69/26.77 c 25.0s | 13 | 51723 | 46632 | 4692 18 | 151 | 286 28.69/28.79 c 27.1s | 13 | 55749 | 50332 | 4692 19 | 151 | 286 30.79/30.84 c 29.1s | 13 | 60002 | 54232 | 4692 21 | 151 | 286 32.79/32.84 c 31.1s | 13 | 63859 | 57732 | 5162 22 | 151 | 286 33.09/33.18 c 31.4s | 14 | 64522 | 58352 | 5162 22 | 151 | 286 35.19/35.22 c 33.5s | 14 | 68890 | 62152 | 5162 23 | 151 | 286 37.18/37.25 c 35.5s | 14 | 73166 | 65852 | 5162 24 | 151 | 286 39.28/39.30 c 37.6s | 14 | 77429 | 69552 | 5162 26 | 151 | 286 40.08/40.15 c 38.4s | 14 | 79323 | 71140 | 5162 26 | 151 | 286 40.08/40.15 c #cpu_time = 38.402s 40.08/40.15 c #wall_clock_time = 38.403s 40.08/40.15 c #decision = 79323 40.08/40.15 c #random_decision = 65 40.08/40.15 c #conflict = 71140 40.08/40.15 c #restart = 14 40.08/40.15 o 837 40.08/40.15 c BCD2: updating upper bound: 1028 -> 836 40.08/40.15 c BCD2: 25 <= obj <= 836 40.08/40.15 c BCD2: #cores=4, #unrelaxed=29, #relaxed=1276, #hardened=0 40.08/40.15 c BCD2: #sat=5 #unsat=24 bias=24/29 40.08/40.16 c Solving starts ... 40.08/40.16 c ============================[ Search Statistics ]============================ 40.08/40.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 40.08/40.16 c | | | | Limit GC | Var | Constra 40.08/40.16 c ============================================================================= 40.08/40.16 c 0.0s | 0 | 0 | 0 | 5162 0 | 151 | 287 40.18/40.25 c 0.1s | 1 | 161 | 100 | 5162 0 | 151 | 287 40.28/40.37 c 0.2s | 2 | 367 | 250 | 5162 0 | 151 | 287 40.48/40.55 c 0.4s | 3 | 668 | 475 | 5162 0 | 151 | 287 40.78/40.80 c 0.6s | 4 | 1101 | 813 | 5162 0 | 151 | 287 41.09/41.16 c 1.0s | 5 | 1739 | 1320 | 5162 1 | 151 | 287 41.58/41.61 c 1.5s | 6 | 2653 | 2081 | 5162 1 | 151 | 287 42.19/42.24 c 2.1s | 7 | 3969 | 3223 | 5162 1 | 151 | 287 43.19/43.23 c 3.1s | 8 | 5904 | 4936 | 5162 2 | 151 | 287 44.78/44.81 c 4.7s | 9 | 8830 | 7506 | 5162 3 | 151 | 287 46.78/46.83 c 6.7s | 9 | 12830 | 11006 | 5162 4 | 151 | 287 46.98/47.07 c 6.9s | 10 | 13235 | 11361 | 5162 4 | 151 | 287 49.08/49.12 c 9.0s | 10 | 17443 | 15161 | 5679 5 | 151 | 287 50.28/50.31 c 10.2s | 11 | 19636 | 17144 | 5679 6 | 151 | 287 52.28/52.36 c 12.2s | 11 | 23489 | 20544 | 5679 7 | 151 | 287 54.29/54.39 c 14.2s | 11 | 27476 | 24044 | 5679 8 | 151 | 287 55.39/55.43 c 15.3s | 12 | 29454 | 25819 | 5679 8 | 151 | 287 57.38/57.45 c 17.3s | 12 | 33417 | 29319 | 5679 9 | 151 | 287 59.38/59.49 c 19.3s | 12 | 37463 | 32919 | 5679 11 | 151 | 287 61.48/61.51 c 21.4s | 12 | 41233 | 36319 | 5679 12 | 151 | 287 62.88/62.90 c 22.7s | 13 | 43980 | 38832 | 5679 12 | 151 | 287 64.88/64.92 c 24.8s | 13 | 47961 | 42432 | 5679 13 | 151 | 287 66.88/66.97 c 26.8s | 13 | 51665 | 45732 | 5679 15 | 151 | 287 68.98/69.02 c 28.9s | 13 | 55435 | 49232 | 5679 16 | 151 | 287 70.98/71.06 c 30.9s | 13 | 59414 | 52832 | 5679 17 | 151 | 287 73.08/73.10 c 32.9s | 13 | 63395 | 56432 | 5679 18 | 151 | 287 74.18/74.21 c 34.1s | 14 | 65563 | 58352 | 6247 18 | 151 | 287 76.19/76.22 c 36.1s | 14 | 69090 | 61552 | 6247 19 | 151 | 287 78.18/78.24 c 38.1s | 14 | 72801 | 64952 | 6247 20 | 151 | 287 80.18/80.29 c 40.1s | 14 | 76708 | 68452 | 6247 21 | 151 | 287 82.18/82.29 c 42.1s | 14 | 80481 | 71852 | 6247 22 | 151 | 287 84.28/84.35 c 44.2s | 14 | 84472 | 75452 | 6247 23 | 151 | 287 86.28/86.39 c 46.2s | 14 | 88393 | 79052 | 6247 24 | 151 | 287 88.28/88.40 c 48.2s | 14 | 92176 | 82552 | 6247 25 | 151 | 287 90.28/90.36 c 50.2s | 14 | 95846 | 85870 | 6247 26 | 151 | 287 90.28/90.36 c #cpu_time = 50.196s 90.28/90.36 c #wall_clock_time = 50.197s 90.28/90.36 c #decision = 95846 90.28/90.36 c #random_decision = 131 90.28/90.36 c #conflict = 85870 90.28/90.36 c #restart = 14 90.28/90.36 o 671 90.28/90.36 c BCD2: updating upper bound: 836 -> 670 90.28/90.36 c BCD2: 25 <= obj <= 670 90.28/90.36 c BCD2: #cores=4, #unrelaxed=29, #relaxed=1276, #hardened=0 90.28/90.36 c BCD2: #sat=6 #unsat=24 bias=24/30 90.28/90.38 c Solving starts ... 90.28/90.38 c ============================[ Search Statistics ]============================ 90.28/90.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 90.28/90.38 c | | | | Limit GC | Var | Constra 90.28/90.38 c ============================================================================= 90.28/90.38 c 0.0s | 0 | 0 | 0 | 6247 0 | 151 | 288 90.38/90.47 c 0.1s | 1 | 187 | 100 | 6247 0 | 151 | 288 90.48/90.58 c 0.2s | 2 | 405 | 250 | 6247 0 | 151 | 288 90.68/90.74 c 0.4s | 3 | 724 | 475 | 6247 0 | 151 | 288 90.88/90.97 c 0.6s | 4 | 1167 | 813 | 6247 0 | 151 | 288 91.28/91.33 c 1.0s | 5 | 1863 | 1320 | 6247 0 | 151 | 288 91.78/91.84 c 1.5s | 6 | 2790 | 2081 | 6247 0 | 151 | 288 92.47/92.55 c 2.2s | 7 | 4188 | 3223 | 6247 1 | 151 | 288 93.27/93.32 c 2.9s | 7 | 5688 | 4475 | 6247 1 | 151 | 288 93.27/93.32 c #cpu_time = 2.943s 93.27/93.32 c #wall_clock_time = 2.943s 93.27/93.32 c #decision = 5688 93.27/93.32 c #random_decision = 7 93.27/93.32 c #conflict = 4475 93.27/93.32 c #restart = 7 93.27/93.32 c BCD2: relaxing 29 and merging with 4 cores into a new core of size 1305: cost of the new core is >=26 93.27/93.32 c lower bound updated to 26 93.27/93.32 c BCD2: 26 <= obj <= 670 93.27/93.32 c BCD2: #cores=1, #unrelaxed=0, #relaxed=1305, #hardened=0 93.27/93.32 c BCD2: #sat=6 #unsat=25 bias=25/31 93.27/93.33 c Solving starts ... 93.27/93.33 c ============================[ Search Statistics ]============================ 93.27/93.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 93.27/93.33 c | | | | Limit GC | Var | Constra 93.27/93.33 c ============================================================================= 93.27/93.33 c 0.0s | 0 | 0 | 0 | 6247 0 | 179 | 288 93.37/93.45 c 0.1s | 1 | 141 | 100 | 6247 0 | 179 | 340 93.47/93.52 c 0.2s | 2 | 331 | 250 | 6247 0 | 179 | 340 93.57/93.62 c 0.3s | 3 | 606 | 475 | 6247 0 | 179 | 340 93.67/93.78 c 0.4s | 4 | 1012 | 813 | 6247 0 | 179 | 340 93.97/94.01 c 0.7s | 5 | 1663 | 1320 | 6247 0 | 179 | 340 94.27/94.34 c 1.0s | 6 | 2587 | 2081 | 6247 0 | 179 | 340 94.77/94.86 c 1.5s | 7 | 3973 | 3223 | 6247 0 | 179 | 340 95.57/95.66 c 2.3s | 8 | 6037 | 4936 | 6247 0 | 179 | 340 96.77/96.88 c 3.5s | 9 | 9095 | 7506 | 6247 1 | 179 | 340 98.77/98.80 c 5.5s | 10 | 13543 | 11361 | 6247 2 | 179 | 340 100.77/100.82 c 7.5s | 10 | 18669 | 15561 | 6247 3 | 179 | 340 101.48/101.54 c 8.2s | 11 | 20691 | 17144 | 6247 3 | 179 | 340 103.47/103.56 c 10.2s | 11 | 25802 | 21244 | 6247 4 | 179 | 340 105.47/105.58 c 12.3s | 11 | 30898 | 25444 | 6247 5 | 179 | 340 105.67/105.77 c 12.4s | 12 | 31347 | 25819 | 6247 6 | 179 | 340 107.77/107.80 c 14.5s | 12 | 36516 | 30019 | 6247 7 | 179 | 340 109.77/109.80 c 16.5s | 12 | 41395 | 34119 | 6872 8 | 179 | 340 111.77/111.80 c 18.5s | 12 | 46424 | 38219 | 6872 9 | 179 | 340 112.07/112.13 c 18.8s | 13 | 47199 | 38832 | 6872 9 | 179 | 340 114.07/114.15 c 20.8s | 13 | 51764 | 42632 | 6872 10 | 179 | 340 116.07/116.20 c 22.9s | 13 | 56446 | 46532 | 6872 11 | 179 | 340 118.08/118.20 c 24.9s | 13 | 60996 | 50332 | 6872 12 | 179 | 340 120.18/120.23 c 26.9s | 13 | 65577 | 54132 | 6872 13 | 179 | 340 122.17/122.25 c 28.9s | 13 | 70432 | 58232 | 6872 14 | 179 | 340 122.27/122.31 c 29.0s | 14 | 70566 | 58352 | 6872 14 | 179 | 340 124.27/124.32 c 31.0s | 14 | 75117 | 62152 | 6872 15 | 179 | 340 126.27/126.36 c 33.0s | 14 | 79780 | 66152 | 6872 16 | 179 | 340 128.37/128.41 c 35.1s | 14 | 84437 | 70052 | 6872 17 | 179 | 340 130.37/130.45 c 37.1s | 14 | 89176 | 73952 | 6872 18 | 179 | 340 132.37/132.48 c 39.2s | 14 | 93662 | 77752 | 6872 19 | 179 | 340 134.47/134.52 c 41.2s | 14 | 98489 | 81752 | 6872 20 | 179 | 340 136.47/136.52 c 43.2s | 14 | 102806 | 85352 | 6872 21 | 179 | 340 137.67/137.76 c 44.4s | 15 | 105485 | 87632 | 6872 21 | 179 | 340 139.66/139.78 c 46.4s | 15 | 110171 | 91632 | 6872 23 | 179 | 340 141.76/141.85 c 48.5s | 15 | 114765 | 95532 | 6872 24 | 179 | 340 143.77/143.85 c 50.5s | 15 | 119340 | 99332 | 6872 24 | 179 | 340 145.77/145.85 c 52.5s | 15 | 123765 | 103032 | 6872 26 | 179 | 340 147.87/147.91 c 54.6s | 15 | 128660 | 107132 | 6872 26 | 179 | 340 149.88/149.94 c 56.6s | 15 | 133206 | 110932 | 6872 28 | 179 | 340 151.87/151.94 c 58.6s | 15 | 137668 | 114632 | 6872 28 | 179 | 340 153.87/153.98 c 60.7s | 15 | 142338 | 118532 | 6872 29 | 179 | 340 155.87/155.99 c 62.7s | 15 | 146801 | 122332 | 6872 30 | 179 | 340 157.97/158.04 c 64.7s | 15 | 151494 | 126232 | 6872 31 | 179 | 340 159.97/160.09 c 66.8s | 15 | 156157 | 130132 | 6872 32 | 179 | 340 160.77/160.85 c 67.5s | 16 | 157839 | 131552 | 7560 33 | 179 | 340 162.87/162.91 c 69.6s | 16 | 162395 | 135352 | 7560 34 | 179 | 340 164.87/164.94 c 71.6s | 16 | 167219 | 139352 | 7560 35 | 179 | 340 166.87/166.96 c 73.6s | 16 | 171794 | 143252 | 7560 35 | 179 | 340 168.87/168.97 c 75.6s | 16 | 176015 | 146952 | 7560 36 | 179 | 340 170.97/171.01 c 77.7s | 16 | 180498 | 150852 | 7560 37 | 179 | 340 172.97/173.04 c 79.7s | 16 | 185001 | 154652 | 7560 38 | 179 | 340 174.97/175.06 c 81.7s | 16 | 189300 | 158352 | 7560 39 | 179 | 340 177.07/177.11 c 83.8s | 16 | 193855 | 162252 | 7560 40 | 179 | 340 179.06/179.14 c 85.8s | 16 | 198403 | 166052 | 7560 41 | 179 | 340 181.06/181.16 c 87.8s | 16 | 202882 | 169852 | 7560 42 | 179 | 340 183.06/183.17 c 89.8s | 16 | 207243 | 173652 | 7560 43 | 179 | 340 185.07/185.17 c 91.8s | 16 | 211413 | 177252 | 7560 43 | 179 | 340 187.06/187.18 c 93.8s | 16 | 215680 | 180952 | 7560 44 | 179 | 340 189.06/189.19 c 95.9s | 16 | 219749 | 184452 | 7560 45 | 179 | 340 191.16/191.23 c 97.9s | 16 | 224102 | 188252 | 7560 46 | 179 | 340 193.16/193.25 c 99.9s | 16 | 228260 | 191852 | 7560 47 | 179 | 340 195.26/195.30 c 101s | 16 | 232545 | 195552 | 7560 48 | 179 | 340 196.17/196.29 c 102s | 17 | 234694 | 197432 | 7560 48 | 179 | 340 198.27/198.35 c 105s | 17 | 239105 | 201132 | 7560 49 | 179 | 340 200.26/200.39 c 107s | 17 | 243811 | 205032 | 7560 50 | 179 | 340 202.26/202.39 c 109s | 17 | 248267 | 208732 | 7560 51 | 179 | 340 204.36/204.41 c 111s | 17 | 252848 | 212532 | 7560 52 | 179 | 340 206.36/206.43 c 113s | 17 | 257405 | 216332 | 7560 53 | 179 | 340 208.36/208.46 c 115s | 17 | 261982 | 220132 | 7560 54 | 179 | 340 210.37/210.48 c 117s | 17 | 266248 | 223732 | 7560 54 | 179 | 340 212.46/212.51 c 119s | 17 | 270727 | 227532 | 7560 55 | 179 | 340 214.46/214.53 c 121s | 17 | 275250 | 231332 | 7560 56 | 179 | 340 216.46/216.53 c 123s | 17 | 279618 | 235132 | 7560 57 | 179 | 340 218.46/218.55 c 125s | 17 | 284107 | 239032 | 7560 58 | 179 | 340 220.46/220.57 c 127s | 17 | 288733 | 242832 | 7560 59 | 179 | 340 222.46/222.60 c 129s | 17 | 293172 | 246532 | 7560 60 | 179 | 340 224.56/224.63 c 131s | 17 | 297630 | 250332 | 7560 61 | 179 | 340 226.56/226.64 c 133s | 17 | 301768 | 253932 | 7560 62 | 179 | 340 228.55/228.67 c 135s | 17 | 306105 | 257732 | 7560 62 | 179 | 340 230.65/230.79 c 137s | 17 | 310657 | 261632 | 7560 63 | 179 | 340 232.75/232.80 c 139s | 17 | 315010 | 265332 | 7560 64 | 179 | 340 234.75/234.87 c 141s | 17 | 319221 | 269032 | 7560 65 | 179 | 340 236.86/236.90 c 143s | 17 | 323419 | 272632 | 7560 66 | 179 | 340 238.85/238.92 c 145s | 17 | 327581 | 276232 | 7560 67 | 179 | 340 240.85/240.98 c 147s | 17 | 331894 | 279932 | 8316 68 | 179 | 340 242.85/242.98 c 149s | 17 | 336046 | 283532 | 8316 68 | 179 | 340 244.95/245.01 c 151s | 17 | 340360 | 287132 | 8316 69 | 179 | 340 246.95/247.06 c 153s | 17 | 344964 | 290932 | 8316 70 | 179 | 340 248.95/249.07 c 155s | 17 | 349545 | 294732 | 8316 71 | 179 | 340 249.74/249.86 c 156s | 18 | 351379 | 296252 | 8316 71 | 179 | 340 251.74/251.89 c 158s | 18 | 356124 | 300152 | 8316 72 | 179 | 340 253.84/253.94 c 160s | 18 | 360656 | 303952 | 8316 73 | 179 | 340 255.84/255.99 c 162s | 18 | 365315 | 307852 | 8316 74 | 179 | 340 257.94/258.01 c 164s | 18 | 369765 | 311552 | 8316 74 | 179 | 340 259.95/260.02 c 166s | 18 | 374042 | 315152 | 8316 75 | 179 | 340 261.94/262.02 c 168s | 18 | 378219 | 318752 | 8316 76 | 179 | 340 263.94/264.05 c 170s | 18 | 382564 | 322352 | 8316 77 | 179 | 340 265.94/266.09 c 172s | 18 | 387047 | 326052 | 8316 78 | 179 | 340 268.04/268.10 c 174s | 18 | 391537 | 329752 | 8316 78 | 179 | 340 270.03/270.15 c 176s | 18 | 396102 | 333552 | 8316 79 | 179 | 340 272.04/272.17 c 178s | 18 | 400627 | 337352 | 8316 80 | 179 | 340 274.14/274.21 c 180s | 18 | 405152 | 341252 | 8316 81 | 179 | 340 276.13/276.21 c 182s | 18 | 409489 | 344952 | 8316 82 | 179 | 340 278.13/278.25 c 184s | 18 | 413835 | 348652 | 8316 82 | 179 | 340 280.13/280.28 c 186s | 18 | 418329 | 352552 | 8316 83 | 179 | 340 282.23/282.31 c 188s | 18 | 422872 | 356452 | 8316 84 | 179 | 340 284.23/284.33 c 190s | 18 | 427241 | 360252 | 8316 85 | 179 | 340 286.23/286.38 c 193s | 18 | 431470 | 363952 | 8316 86 | 179 | 340 288.32/288.40 c 195s | 18 | 435911 | 367752 | 8316 87 | 179 | 340 290.32/290.42 c 197s | 18 | 440447 | 371652 | 8316 87 | 179 | 340 292.32/292.43 c 199s | 18 | 445002 | 375652 | 8316 88 | 179 | 340 294.32/294.48 c 201s | 18 | 449485 | 379452 | 8316 89 | 179 | 340 296.32/296.49 c 203s | 18 | 454141 | 383352 | 8316 90 | 179 | 340 298.43/298.52 c 205s | 18 | 458988 | 387252 | 8316 91 | 179 | 340 300.42/300.57 c 207s | 18 | 463593 | 391152 | 8316 92 | 179 | 340 302.52/302.62 c 209s | 18 | 468168 | 395052 | 8316 93 | 179 | 340 304.52/304.67 c 211s | 18 | 472509 | 398852 | 8316 93 | 179 | 340 306.62/306.70 c 213s | 18 | 476782 | 402452 | 8316 94 | 179 | 340 308.62/308.71 c 215s | 18 | 481713 | 406452 | 8316 95 | 179 | 340 310.62/310.74 c 217s | 18 | 486283 | 410352 | 8316 96 | 179 | 340 312.62/312.75 c 219s | 18 | 490643 | 414152 | 8316 97 | 179 | 340 314.72/314.80 c 221s | 18 | 495002 | 417852 | 8316 97 | 179 | 340 316.71/316.83 c 223s | 18 | 499150 | 421352 | 8316 98 | 179 | 340 318.72/318.84 c 225s | 18 | 503472 | 424952 | 8316 99 | 179 | 340 320.72/320.85 c 227s | 18 | 507756 | 428652 | 8316 100 | 179 | 340 322.82/322.90 c 229s | 18 | 512415 | 432652 | 8316 101 | 179 | 340 324.83/324.91 c 231s | 18 | 516760 | 436252 | 8316 101 | 179 | 340 326.82/326.94 c 233s | 18 | 521191 | 440052 | 8316 102 | 179 | 340 328.82/328.97 c 235s | 18 | 525475 | 443652 | 8316 103 | 179 | 340 329.32/329.46 c 236s | 19 | 526467 | 444482 | 8316 103 | 179 | 340 331.42/331.52 c 238s | 19 | 530903 | 448282 | 8316 104 | 179 | 340 333.42/333.52 c 240s | 19 | 535335 | 451982 | 8316 105 | 179 | 340 335.42/335.55 c 242s | 19 | 539713 | 455682 | 8316 106 | 179 | 340 337.41/337.55 c 244s | 19 | 544089 | 459382 | 8316 106 | 179 | 340 339.51/339.60 c 246s | 19 | 548824 | 463282 | 8316 107 | 179 | 340 341.51/341.62 c 248s | 19 | 552959 | 466782 | 8316 108 | 179 | 340 343.52/343.64 c 250s | 19 | 557566 | 470682 | 8316 109 | 179 | 340 345.51/345.68 c 252s | 19 | 562220 | 474582 | 8316 110 | 179 | 340 347.61/347.71 c 254s | 19 | 566761 | 478482 | 8316 111 | 179 | 340 349.61/349.75 c 256s | 19 | 571112 | 482182 | 8316 111 | 179 | 340 351.61/351.79 c 258s | 19 | 575693 | 486082 | 8316 112 | 179 | 340 353.71/353.83 c 260s | 19 | 580161 | 489882 | 8316 113 | 179 | 340 355.70/355.86 c 262s | 19 | 584551 | 493682 | 8316 114 | 179 | 340 357.71/357.90 c 264s | 19 | 589262 | 497582 | 8316 115 | 179 | 340 359.80/359.92 c 266s | 19 | 593931 | 501582 | 9148 115 | 179 | 340 361.80/361.96 c 268s | 19 | 598520 | 505582 | 9148 116 | 179 | 340 363.80/363.98 c 270s | 19 | 603014 | 509382 | 9148 117 | 179 | 340 365.90/366.02 c 272s | 19 | 607266 | 512982 | 9148 118 | 179 | 340 368.00/368.14 c 274s | 19 | 611585 | 516682 | 9148 118 | 179 | 340 370.00/370.18 c 276s | 19 | 616455 | 520582 | 9148 119 | 179 | 340 372.10/372.21 c 278s | 19 | 621088 | 524382 | 9148 120 | 179 | 340 374.10/374.23 c 280s | 19 | 625331 | 527982 | 9148 121 | 179 | 340 376.09/376.26 c 282s | 19 | 630107 | 531982 | 9148 121 | 179 | 340 378.19/378.32 c 284s | 19 | 634191 | 535482 | 9148 122 | 179 | 340 380.19/380.34 c 287s | 19 | 638550 | 539082 | 9148 123 | 179 | 340 382.29/382.40 c 289s | 19 | 642801 | 542682 | 9148 124 | 179 | 340 384.29/384.43 c 291s | 19 | 647073 | 546282 | 9148 124 | 179 | 340 386.30/386.45 c 293s | 19 | 651264 | 549782 | 9148 125 | 179 | 340 388.29/388.48 c 295s | 19 | 655683 | 553482 | 9148 126 | 179 | 340 390.29/390.49 c 297s | 19 | 660138 | 557282 | 9148 126 | 179 | 340 392.39/392.54 c 299s | 19 | 664680 | 561182 | 9148 127 | 179 | 340 394.49/394.60 c 301s | 19 | 668976 | 564982 | 9148 128 | 179 | 340 396.49/396.62 c 303s | 19 | 673329 | 568682 | 9148 129 | 179 | 340 398.49/398.66 c 305s | 19 | 677719 | 572482 | 9148 129 | 179 | 340 400.48/400.66 c 307s | 19 | 682024 | 576182 | 9148 130 | 179 | 340 402.48/402.69 c 309s | 19 | 686540 | 580082 | 9148 131 | 179 | 340 404.58/404.70 c 311s | 19 | 690718 | 583682 | 9148 132 | 179 | 340 406.58/406.71 c 313s | 19 | 695001 | 587382 | 9148 132 | 179 | 340 408.58/408.73 c 315s | 19 | 699682 | 591182 | 9148 133 | 179 | 340 410.58/410.78 c 317s | 19 | 704513 | 595082 | 9148 134 | 179 | 340 412.68/412.82 c 319s | 19 | 709324 | 598982 | 9148 135 | 179 | 340 414.68/414.84 c 321s | 19 | 714100 | 602982 | 9148 135 | 179 | 340 416.68/416.89 c 323s | 19 | 718720 | 606882 | 9148 136 | 179 | 340 418.77/418.90 c 325s | 19 | 723109 | 610582 | 9148 137 | 179 | 340 420.77/420.94 c 327s | 19 | 727643 | 614282 | 9148 138 | 179 | 340 422.77/422.97 c 329s | 19 | 732107 | 618082 | 9148 139 | 179 | 340 424.88/425.02 c 331s | 19 | 736644 | 621782 | 9148 139 | 179 | 340 426.87/427.03 c 333s | 19 | 741010 | 625482 | 9148 140 | 179 | 340 428.87/429.03 c 335s | 19 | 745110 | 628882 | 9148 141 | 179 | 340 430.87/431.04 c 337s | 19 | 749299 | 632482 | 9148 141 | 179 | 340 432.87/433.06 c 339s | 19 | 753331 | 635982 | 9148 142 | 179 | 340 434.97/435.11 c 341s | 19 | 757419 | 639482 | 9148 143 | 179 | 340 436.98/437.16 c 343s | 19 | 761672 | 643082 | 9148 143 | 179 | 340 438.97/439.19 c 345s | 19 | 765820 | 646582 | 9148 144 | 179 | 340 441.07/441.23 c 347s | 19 | 770092 | 650082 | 9148 145 | 179 | 340 443.07/443.25 c 349s | 19 | 774317 | 653582 | 9148 146 | 179 | 340 445.07/445.27 c 351s | 19 | 778751 | 657282 | 9148 146 | 179 | 340 447.26/447.42 c 354s | 19 | 783298 | 661182 | 9148 147 | 179 | 340 449.26/449.46 c 356s | 19 | 787870 | 665082 | 9148 148 | 179 | 340 450.17/450.35 c 357s | 20 | 789868 | 666827 | 9148 148 | 179 | 340 452.16/452.36 c 359s | 20 | 794149 | 670527 | 9148 149 | 179 | 340 454.16/454.38 c 361s | 20 | 798455 | 674227 | 9148 150 | 179 | 340 456.16/456.39 c 363s | 20 | 803119 | 678027 | 9148 150 | 179 | 340 458.26/458.42 c 365s | 20 | 807749 | 681927 | 9148 151 | 179 | 340 460.26/460.45 c 367s | 20 | 812250 | 685727 | 9148 152 | 179 | 340 462.26/462.45 c 369s | 20 | 816410 | 689227 | 9148 153 | 179 | 340 464.25/464.49 c 371s | 20 | 821169 | 693127 | 9148 153 | 179 | 340 466.25/466.49 c 373s | 20 | 825747 | 696927 | 9148 154 | 179 | 340 468.35/468.51 c 375s | 20 | 830209 | 700627 | 9148 155 | 179 | 340 470.35/470.56 c 377s | 20 | 834590 | 704327 | 9148 156 | 179 | 340 472.35/472.57 c 379s | 20 | 838783 | 707827 | 9148 156 | 179 | 340 474.35/474.58 c 381s | 20 | 843059 | 711527 | 9148 157 | 179 | 340 476.35/476.59 c 383s | 20 | 847461 | 715327 | 9148 158 | 179 | 340 478.44/478.61 c 385s | 20 | 851865 | 719127 | 9148 159 | 179 | 340 480.44/480.61 c 387s | 20 | 856250 | 722827 | 9148 159 | 179 | 340 482.45/482.64 c 389s | 20 | 861020 | 726827 | 9148 160 | 179 | 340 484.45/484.65 c 391s | 20 | 865862 | 730827 | 9148 161 | 179 | 340 486.46/486.69 c 393s | 20 | 870635 | 734827 | 9148 162 | 179 | 340 488.55/488.72 c 395s | 20 | 875222 | 738627 | 9148 163 | 179 | 340 490.55/490.73 c 397s | 20 | 879879 | 742527 | 9148 163 | 179 | 340 492.55/492.75 c 399s | 20 | 883894 | 745927 | 9148 164 | 179 | 340 494.55/494.79 c 401s | 20 | 888229 | 749527 | 9148 165 | 179 | 340 496.65/496.81 c 403s | 20 | 892830 | 753427 | 9148 165 | 179 | 340 498.64/498.86 c 405s | 20 | 897395 | 757227 | 9148 166 | 179 | 340 500.75/500.90 c 407s | 20 | 902010 | 761127 | 9148 167 | 179 | 340 502.74/502.93 c 409s | 20 | 906550 | 764927 | 9148 168 | 179 | 340 504.84/505.01 c 411s | 20 | 910958 | 768727 | 9148 169 | 179 | 340 506.84/507.04 c 413s | 20 | 915479 | 772527 | 9148 169 | 179 | 340 508.84/509.07 c 415s | 20 | 919639 | 776127 | 9148 170 | 179 | 340 510.84/511.08 c 417s | 20 | 923885 | 779827 | 9148 171 | 179 | 340 512.85/513.09 c 419s | 20 | 928179 | 783427 | 9148 171 | 179 | 340 514.84/515.09 c 421s | 20 | 932458 | 787127 | 9148 172 | 179 | 340 516.94/517.10 c 423s | 20 | 936595 | 790727 | 9148 173 | 179 | 340 518.93/519.11 c 425s | 20 | 940959 | 794427 | 9148 174 | 179 | 340 520.93/521.13 c 427s | 20 | 945519 | 798327 | 9148 174 | 179 | 340 522.93/523.14 c 429s | 20 | 949887 | 802027 | 9148 175 | 179 | 340 524.94/525.18 c 431s | 20 | 954258 | 805727 | 9148 176 | 179 | 340 526.93/527.20 c 433s | 20 | 958556 | 809427 | 9148 177 | 179 | 340 529.03/529.25 c 435s | 20 | 962850 | 813127 | 9148 177 | 179 | 340 531.03/531.27 c 437s | 20 | 967045 | 816727 | 9148 178 | 179 | 340 533.13/533.32 c 439s | 20 | 971448 | 820527 | 9148 179 | 179 | 340 535.13/535.35 c 442s | 20 | 975797 | 824227 | 9148 179 | 179 | 340 537.13/537.37 c 444s | 20 | 980194 | 827927 | 9148 180 | 179 | 340 539.23/539.42 c 446s | 20 | 984806 | 831827 | 10063 181 | 179 | 340 541.22/541.46 c 448s | 20 | 988963 | 835327 | 10063 182 | 179 | 340 543.32/543.50 c 450s | 20 | 993254 | 839027 | 10063 182 | 179 | 340 545.32/545.53 c 452s | 20 | 997619 | 842727 | 10063 183 | 179 | 340 547.32/547.53 c 454s | 20 | 1001916 | 846427 | 10063 184 | 179 | 340 549.32/549.53 c 456s | 20 | 1006209 | 850127 | 10063 184 | 179 | 340 551.32/551.55 c 458s | 20 | 1010478 | 853727 | 10063 185 | 179 | 340 553.32/553.58 c 460s | 20 | 1014584 | 857227 | 10063 185 | 179 | 340 555.42/555.64 c 462s | 20 | 1018794 | 860827 | 10063 186 | 179 | 340 557.42/557.67 c 464s | 20 | 1023003 | 864427 | 10063 187 | 179 | 340 559.41/559.67 c 466s | 20 | 1027288 | 867927 | 10063 187 | 179 | 340 561.51/561.72 c 468s | 20 | 1031885 | 871727 | 10063 188 | 179 | 340 563.51/563.72 c 470s | 20 | 1036341 | 875427 | 10063 189 | 179 | 340 565.52/565.74 c 472s | 20 | 1040795 | 879227 | 10063 189 | 179 | 340 567.51/567.75 c 474s | 20 | 1045250 | 883027 | 10063 190 | 179 | 340 569.61/569.80 c 476s | 20 | 1049811 | 886927 | 10063 191 | 179 | 340 571.61/571.83 c 478s | 20 | 1053649 | 890227 | 10063 192 | 179 | 340 573.61/573.84 c 480s | 20 | 1058193 | 894127 | 10063 192 | 179 | 340 575.61/575.88 c 482s | 20 | 1062627 | 897727 | 10063 193 | 179 | 340 577.71/577.92 c 484s | 20 | 1067045 | 901427 | 10063 194 | 179 | 340 579.70/579.94 c 486s | 20 | 1071672 | 905227 | 10063 194 | 179 | 340 581.70/581.99 c 488s | 20 | 1076127 | 908727 | 10063 195 | 179 | 340 583.80/584.00 c 490s | 20 | 1081039 | 912427 | 10063 196 | 179 | 340 585.80/586.03 c 492s | 20 | 1085882 | 916327 | 10063 196 | 179 | 340 587.80/588.05 c 494s | 20 | 1090807 | 920327 | 10063 197 | 179 | 340 589.80/590.07 c 496s | 20 | 1095359 | 924227 | 10063 198 | 179 | 340 591.90/592.11 c 498s | 20 | 1100123 | 928027 | 10063 198 | 179 | 340 593.89/594.11 c 500s | 20 | 1105030 | 931827 | 10063 199 | 179 | 340 595.89/596.16 c 502s | 20 | 1110020 | 935827 | 10063 200 | 179 | 340 597.89/598.17 c 504s | 20 | 1114586 | 939627 | 10063 200 | 179 | 340 599.89/600.19 c 506s | 20 | 1119096 | 943327 | 10063 201 | 179 | 340 601.99/602.22 c 508s | 20 | 1123672 | 947127 | 10063 202 | 179 | 340 604.00/604.25 c 510s | 20 | 1128338 | 951027 | 10063 203 | 179 | 340 606.09/606.30 c 512s | 20 | 1132985 | 954927 | 10063 203 | 179 | 340 608.09/608.34 c 515s | 20 | 1137672 | 958727 | 10063 204 | 179 | 340 610.09/610.37 c 517s | 20 | 1142052 | 962227 | 10063 205 | 179 | 340 612.18/612.41 c 519s | 20 | 1146785 | 966027 | 10063 205 | 179 | 340 614.18/614.45 c 521s | 20 | 1151526 | 969827 | 10063 206 | 179 | 340 616.19/616.46 c 523s | 20 | 1156202 | 973527 | 10063 207 | 179 | 340 618.18/618.46 c 525s | 20 | 1160735 | 977127 | 10063 207 | 179 | 340 620.18/620.49 c 527s | 20 | 1165048 | 980627 | 10063 208 | 179 | 340 622.28/622.52 c 529s | 20 | 1169774 | 984427 | 10063 209 | 179 | 340 624.28/624.55 c 531s | 20 | 1174478 | 988227 | 10063 209 | 179 | 340 626.28/626.57 c 533s | 20 | 1179556 | 992327 | 10063 210 | 179 | 340 628.37/628.61 c 535s | 20 | 1184311 | 996327 | 10063 211 | 179 | 340 630.48/630.70 c 537s | 20 | 1188754 | 1000127 | 10063 212 | 179 | 340 630.57/630.81 c 537s | 21 | 1189014 | 1000345 | 10063 212 | 179 | 340 632.58/632.85 c 539s | 21 | 1193655 | 1004245 | 10063 212 | 179 | 340 634.57/634.88 c 541s | 21 | 1198330 | 1008245 | 10063 213 | 179 | 340 636.67/636.90 c 543s | 21 | 1203040 | 1012145 | 10063 214 | 179 | 340 638.68/638.93 c 545s | 21 | 1207586 | 1016045 | 10063 214 | 179 | 340 640.68/640.98 c 547s | 21 | 1211866 | 1019745 | 10063 215 | 179 | 340 642.78/643.00 c 549s | 21 | 1216412 | 1023445 | 10063 216 | 179 | 340 644.68/645.00 c 551s | 21 | 1220922 | 1027245 | 10063 216 | 179 | 340 646.77/647.03 c 553s | 21 | 1225613 | 1031245 | 10063 217 | 179 | 340 648.77/649.03 c 555s | 21 | 1230295 | 1035245 | 10063 218 | 179 | 340 650.77/651.04 c 557s | 21 | 1234641 | 1038845 | 10063 219 | 179 | 340 652.77/653.08 c 559s | 21 | 1239304 | 1042745 | 10063 219 | 179 | 340 654.87/655.10 c 561s | 21 | 1243795 | 1046445 | 10063 220 | 179 | 340 656.88/657.13 c 563s | 21 | 1248466 | 1050345 | 10063 221 | 179 | 340 658.87/659.14 c 565s | 21 | 1253145 | 1054245 | 10063 221 | 179 | 340 660.86/661.15 c 567s | 21 | 1257693 | 1058045 | 10063 222 | 179 | 340 662.86/663.16 c 569s | 21 | 1262019 | 1061745 | 10063 223 | 179 | 340 664.86/665.17 c 571s | 21 | 1266623 | 1065745 | 10063 223 | 179 | 340 666.86/667.18 c 573s | 21 | 1271152 | 1069645 | 10063 224 | 179 | 340 668.87/669.19 c 575s | 21 | 1275482 | 1073345 | 10063 225 | 179 | 340 670.96/671.22 c 577s | 21 | 1279752 | 1077045 | 10063 226 | 179 | 340 672.96/673.26 c 579s | 21 | 1284328 | 1080945 | 10063 226 | 179 | 340 675.06/675.31 c 581s | 21 | 1288990 | 1084845 | 10063 227 | 179 | 340 677.06/677.35 c 584s | 21 | 1293326 | 1088545 | 10063 228 | 179 | 340 679.05/679.38 c 586s | 21 | 1297797 | 1092345 | 10063 228 | 179 | 340 681.15/681.40 c 588s | 21 | 1302165 | 1096045 | 10063 229 | 179 | 340 683.16/683.44 c 590s | 21 | 1306459 | 1099745 | 10063 230 | 179 | 340 685.15/685.47 c 592s | 21 | 1310571 | 1103245 | 10063 230 | 179 | 340 687.25/687.52 c 594s | 21 | 1314796 | 1106845 | 10063 231 | 179 | 340 689.25/689.55 c 596s | 21 | 1319072 | 1110445 | 10063 232 | 179 | 340 691.25/691.57 c 598s | 21 | 1323516 | 1114245 | 10063 232 | 179 | 340 693.35/693.61 c 600s | 21 | 1327946 | 1118045 | 10063 233 | 179 | 340 695.45/695.77 c 602s | 21 | 1332342 | 1121845 | 10063 234 | 179 | 340 697.45/697.79 c 604s | 21 | 1336895 | 1125745 | 10063 234 | 179 | 340 699.54/699.80 c 606s | 21 | 1341085 | 1129345 | 10063 235 | 179 | 340 701.54/701.81 c 608s | 21 | 1345440 | 1133045 | 10063 236 | 179 | 340 703.54/703.86 c 610s | 21 | 1349706 | 1136745 | 10063 236 | 179 | 340 705.54/705.88 c 612s | 21 | 1354265 | 1140645 | 10063 237 | 179 | 340 707.54/707.89 c 614s | 21 | 1358728 | 1144445 | 10063 238 | 179 | 340 709.64/709.91 c 616s | 21 | 1363138 | 1148245 | 10063 239 | 179 | 340 711.64/711.95 c 618s | 21 | 1367838 | 1152245 | 10063 239 | 179 | 340 713.64/713.97 c 620s | 21 | 1372429 | 1156145 | 10063 240 | 179 | 340 715.64/715.98 c 622s | 21 | 1376581 | 1159645 | 10063 241 | 179 | 340 717.63/717.99 c 624s | 21 | 1381135 | 1163545 | 10063 241 | 179 | 340 719.73/720.03 c 626s | 21 | 1385423 | 1167045 | 10063 242 | 179 | 340 721.74/722.06 c 628s | 21 | 1389669 | 1170645 | 10063 243 | 179 | 340 723.84/724.10 c 630s | 21 | 1394065 | 1174345 | 10063 243 | 179 | 340 725.83/726.11 c 632s | 21 | 1398278 | 1177845 | 10063 244 | 179 | 340 727.83/728.12 c 634s | 21 | 1402512 | 1181445 | 10063 245 | 179 | 340 729.82/730.15 c 636s | 21 | 1407269 | 1185445 | 10063 245 | 179 | 340 731.82/732.16 c 638s | 21 | 1411529 | 1189045 | 10063 246 | 179 | 340 733.92/734.20 c 640s | 21 | 1415737 | 1192645 | 10063 247 | 179 | 340 735.93/736.22 c 642s | 21 | 1420088 | 1196245 | 10063 247 | 179 | 340 737.92/738.23 c 644s | 21 | 1424369 | 1199945 | 10063 248 | 179 | 340 739.92/740.25 c 646s | 21 | 1428787 | 1203745 | 10063 249 | 179 | 340 741.92/742.29 c 648s | 21 | 1433165 | 1207545 | 10063 249 | 179 | 340 744.02/744.32 c 650s | 21 | 1437824 | 1211545 | 10063 250 | 179 | 340 746.02/746.35 c 653s | 21 | 1442405 | 1215445 | 10063 251 | 179 | 340 748.02/748.39 c 655s | 21 | 1447096 | 1219545 | 10063 252 | 179 | 340 750.01/750.39 c 657s | 21 | 1451447 | 1223345 | 10063 252 | 179 | 340 752.11/752.41 c 659s | 21 | 1455763 | 1227145 | 10063 253 | 179 | 340 754.11/754.45 c 661s | 21 | 1459935 | 1230745 | 10063 254 | 179 | 340 756.31/756.61 c 663s | 21 | 1464057 | 1234245 | 10063 254 | 179 | 340 758.31/758.66 c 665s | 21 | 1468573 | 1238045 | 10063 255 | 179 | 340 760.31/760.67 c 667s | 21 | 1473043 | 1241645 | 10063 256 | 179 | 340 762.31/762.70 c 669s | 21 | 1477480 | 1245345 | 10063 256 | 179 | 340 764.41/764.74 c 671s | 21 | 1481813 | 1249045 | 10063 257 | 179 | 340 766.41/766.75 c 673s | 21 | 1486187 | 1252745 | 10063 258 | 179 | 340 768.40/768.79 c 675s | 21 | 1490666 | 1256545 | 10063 258 | 179 | 340 770.40/770.79 c 677s | 21 | 1494701 | 1259945 | 10063 259 | 179 | 340 772.50/772.83 c 679s | 21 | 1499091 | 1263645 | 10063 260 | 179 | 340 774.52/774.84 c 681s | 21 | 1503522 | 1267445 | 10063 260 | 179 | 340 776.51/776.88 c 683s | 21 | 1507821 | 1271145 | 10063 261 | 179 | 340 778.50/778.89 c 685s | 21 | 1512082 | 1274845 | 10063 262 | 179 | 340 780.60/780.93 c 687s | 21 | 1516476 | 1278645 | 10063 262 | 179 | 340 782.60/782.95 c 689s | 21 | 1520309 | 1281945 | 10063 263 | 179 | 340 784.60/784.96 c 691s | 21 | 1524422 | 1285445 | 10063 264 | 179 | 340 786.61/786.99 c 693s | 21 | 1528802 | 1289245 | 10063 264 | 179 | 340 788.71/789.04 c 695s | 21 | 1533322 | 1293045 | 10063 265 | 179 | 340 790.80/791.10 c 697s | 21 | 1537471 | 1296545 | 10063 266 | 179 | 340 792.80/793.13 c 699s | 21 | 1541820 | 1300245 | 10063 266 | 179 | 340 794.80/795.16 c 701s | 21 | 1546117 | 1303945 | 10063 267 | 179 | 340 796.90/797.20 c 703s | 21 | 1550283 | 1307445 | 10063 268 | 179 | 340 798.89/799.23 c 705s | 21 | 1554643 | 1311045 | 10063 268 | 179 | 340 800.90/801.27 c 707s | 21 | 1558869 | 1314545 | 10063 269 | 179 | 340 802.89/803.28 c 709s | 21 | 1562970 | 1317945 | 10063 269 | 179 | 340 804.99/805.32 c 711s | 21 | 1567238 | 1321445 | 10063 270 | 179 | 340 806.99/807.32 c 713s | 21 | 1571833 | 1325245 | 10063 271 | 179 | 340 808.99/809.38 c 716s | 21 | 1576217 | 1328945 | 11070 271 | 179 | 340 811.09/811.43 c 718s | 21 | 1580876 | 1332745 | 11070 272 | 179 | 340 813.19/813.52 c 720s | 21 | 1585125 | 1336345 | 11070 273 | 179 | 340 815.19/815.56 c 722s | 21 | 1589465 | 1340045 | 11070 273 | 179 | 340 817.29/817.60 c 724s | 21 | 1593792 | 1343745 | 11070 274 | 179 | 340 819.28/819.63 c 726s | 21 | 1597904 | 1347245 | 11070 274 | 179 | 340 821.28/821.64 c 728s | 21 | 1602136 | 1350745 | 11070 275 | 179 | 340 823.28/823.66 c 730s | 21 | 1606406 | 1354345 | 11070 276 | 179 | 340 825.38/825.70 c 732s | 21 | 1610889 | 1358145 | 11070 276 | 179 | 340 827.38/827.72 c 734s | 21 | 1615138 | 1361745 | 11070 277 | 179 | 340 829.38/829.73 c 736s | 21 | 1619108 | 1365145 | 11070 277 | 179 | 340 831.37/831.76 c 738s | 21 | 1623401 | 1368745 | 11070 278 | 179 | 340 833.47/833.81 c 740s | 21 | 1627853 | 1372445 | 11070 279 | 179 | 340 835.47/835.85 c 742s | 21 | 1632609 | 1376445 | 11070 279 | 179 | 340 837.47/837.89 c 744s | 21 | 1637157 | 1380245 | 11070 280 | 179 | 340 839.56/839.91 c 746s | 21 | 1641756 | 1384145 | 11070 281 | 179 | 340 841.57/841.97 c 748s | 21 | 1646361 | 1388045 | 11070 281 | 179 | 340 843.67/844.01 c 750s | 21 | 1651027 | 1391845 | 11070 282 | 179 | 340 845.66/846.02 c 752s | 21 | 1655357 | 1395545 | 11070 282 | 179 | 340 847.66/848.06 c 754s | 21 | 1659244 | 1398945 | 11070 283 | 179 | 340 849.66/850.08 c 756s | 21 | 1663158 | 1402345 | 11070 284 | 179 | 340 851.66/852.09 c 758s | 21 | 1667596 | 1406045 | 11070 284 | 179 | 340 853.76/854.14 c 760s | 21 | 1671583 | 1409445 | 11070 285 | 179 | 340 855.76/856.19 c 762s | 21 | 1675740 | 1413045 | 11070 285 | 179 | 340 857.86/858.24 c 764s | 21 | 1679919 | 1416645 | 11070 286 | 179 | 340 859.86/860.25 c 766s | 21 | 1683907 | 1420045 | 11070 287 | 179 | 340 861.86/862.27 c 768s | 21 | 1688300 | 1423745 | 11070 287 | 179 | 340 863.85/864.29 c 770s | 21 | 1692460 | 1427345 | 11070 288 | 179 | 340 865.95/866.33 c 773s | 21 | 1696716 | 1430945 | 11070 288 | 179 | 340 867.96/868.33 c 775s | 21 | 1700944 | 1434545 | 11070 289 | 179 | 340 869.95/870.38 c 777s | 21 | 1705322 | 1438245 | 11070 290 | 179 | 340 872.05/872.43 c 779s | 21 | 1709796 | 1441945 | 11070 290 | 179 | 340 874.05/874.44 c 781s | 21 | 1714134 | 1445545 | 11070 291 | 179 | 340 876.05/876.47 c 783s | 21 | 1718258 | 1449045 | 11070 291 | 179 | 340 878.15/878.51 c 785s | 21 | 1722619 | 1452745 | 11070 292 | 179 | 340 880.15/880.52 c 787s | 21 | 1726994 | 1456545 | 11070 293 | 179 | 340 882.15/882.57 c 789s | 21 | 1731344 | 1460245 | 11070 293 | 179 | 340 884.25/884.61 c 791s | 21 | 1735780 | 1463945 | 11070 294 | 179 | 340 886.25/886.66 c 793s | 21 | 1740130 | 1467645 | 11070 294 | 179 | 340 888.25/888.67 c 795s | 21 | 1744584 | 1471445 | 11070 295 | 179 | 340 890.25/890.68 c 797s | 21 | 1748892 | 1475145 | 11070 296 | 179 | 340 892.34/892.71 c 799s | 21 | 1753259 | 1478845 | 11070 296 | 179 | 340 894.35/894.76 c 801s | 21 | 1757557 | 1482545 | 11070 297 | 179 | 340 896.34/896.77 c 803s | 21 | 1761594 | 1486045 | 11070 298 | 179 | 340 898.44/898.82 c 805s | 21 | 1765810 | 1489645 | 11070 298 | 179 | 340 900.44/900.82 c 807s | 21 | 1769981 | 1493145 | 11070 299 | 179 | 340 902.44/902.87 c 809s | 21 | 1774328 | 1496845 | 11070 299 | 179 | 340 904.54/904.90 c 811s | 21 | 1778617 | 1500545 | 11070 300 | 179 | 340 904.64/905.00 c 811s | 22 | 1778711 | 1500622 | 11070 300 | 179 | 340 906.64/907.04 c 813s | 22 | 1782949 | 1504222 | 11070 301 | 179 | 340 908.65/909.06 c 815s | 22 | 1787305 | 1507922 | 11070 301 | 179 | 340 910.75/911.11 c 817s | 22 | 1790940 | 1511022 | 11070 302 | 179 | 340 912.74/913.17 c 819s | 22 | 1794945 | 1514522 | 11070 302 | 179 | 340 914.84/915.20 c 821s | 22 | 1799217 | 1518122 | 11070 303 | 179 | 340 916.84/917.22 c 823s | 22 | 1803447 | 1521722 | 11070 303 | 179 | 340 918.84/919.26 c 825s | 22 | 1807844 | 1525422 | 11070 304 | 179 | 340 920.84/921.28 c 827s | 22 | 1812164 | 1529122 | 11070 305 | 179 | 340 922.95/923.30 c 829s | 22 | 1816556 | 1532822 | 11070 305 | 179 | 340 924.94/925.31 c 831s | 22 | 1820802 | 1536422 | 11070 306 | 179 | 340 926.94/927.36 c 834s | 22 | 1824710 | 1539822 | 11070 307 | 179 | 340 928.94/929.38 c 836s | 22 | 1828902 | 1543522 | 11070 307 | 179 | 340 931.04/931.43 c 838s | 22 | 1833061 | 1547122 | 11070 308 | 179 | 340 933.04/933.44 c 840s | 22 | 1837372 | 1550722 | 11070 308 | 179 | 340 935.04/935.47 c 842s | 22 | 1841735 | 1554422 | 11070 309 | 179 | 340 937.14/937.53 c 844s | 22 | 1846113 | 1558222 | 11070 310 | 179 | 340 939.14/939.55 c 846s | 22 | 1850195 | 1561822 | 11070 310 | 179 | 340 941.13/941.59 c 848s | 22 | 1854214 | 1565322 | 11070 311 | 179 | 340 943.24/943.61 c 850s | 22 | 1858090 | 1568722 | 11070 311 | 179 | 340 945.24/945.61 c 852s | 22 | 1862011 | 1572122 | 11070 312 | 179 | 340 947.24/947.66 c 854s | 22 | 1865955 | 1575522 | 11070 312 | 179 | 340 949.25/949.69 c 856s | 22 | 1870132 | 1579122 | 11070 313 | 179 | 340 951.34/951.71 c 858s | 22 | 1873826 | 1582322 | 11070 314 | 179 | 340 953.34/953.72 c 860s | 22 | 1877771 | 1585722 | 11070 314 | 179 | 340 955.34/955.74 c 862s | 22 | 1882061 | 1589422 | 11070 315 | 179 | 340 957.34/957.79 c 864s | 22 | 1886354 | 1593122 | 11070 315 | 179 | 340 959.44/959.81 c 866s | 22 | 1890622 | 1596822 | 11070 316 | 179 | 340 961.44/961.83 c 868s | 22 | 1894761 | 1600422 | 11070 317 | 179 | 340 963.44/963.87 c 870s | 22 | 1899338 | 1604322 | 11070 317 | 179 | 340 965.54/965.91 c 872s | 22 | 1903591 | 1607922 | 11070 318 | 179 | 340 967.54/967.91 c 874s | 22 | 1907721 | 1611422 | 11070 318 | 179 | 340 969.54/969.92 c 876s | 22 | 1912043 | 1615222 | 11070 319 | 179 | 340 971.54/971.94 c 878s | 22 | 1916096 | 1618722 | 11070 320 | 179 | 340 973.54/973.96 c 880s | 22 | 1920239 | 1622322 | 11070 320 | 179 | 340 975.64/976.01 c 882s | 22 | 1924421 | 1625922 | 11070 321 | 179 | 340 977.63/978.05 c 884s | 22 | 1928938 | 1629822 | 11070 322 | 179 | 340 979.73/980.10 c 886s | 22 | 1933413 | 1633722 | 11070 322 | 179 | 340 981.73/982.12 c 888s | 22 | 1937650 | 1637322 | 11070 323 | 179 | 340 983.73/984.14 c 890s | 22 | 1942227 | 1641222 | 11070 323 | 179 | 340 985.73/986.19 c 892s | 22 | 1946579 | 1644922 | 11070 324 | 179 | 340 987.74/988.19 c 894s | 22 | 1950806 | 1648522 | 11070 325 | 179 | 340 989.83/990.25 c 896s | 22 | 1954913 | 1652122 | 11070 325 | 179 | 340 991.83/992.28 c 898s | 22 | 1959410 | 1655922 | 11070 326 | 179 | 340 993.93/994.31 c 900s | 22 | 1963555 | 1659522 | 11070 326 | 179 | 340 995.93/996.35 c 903s | 22 | 1967585 | 1663022 | 11070 327 | 179 | 340 997.93/998.37 c 905s | 22 | 1971852 | 1666722 | 11070 328 | 179 | 340 999.94/1000.38 c 907s | 22 | 1976347 | 1670522 | 11070 328 | 179 | 340 1002.04/1002.42 c 909s | 22 | 1980657 | 1674222 | 11070 329 | 179 | 340 1004.13/1004.51 c 911s | 22 | 1984871 | 1677922 | 11070 330 | 179 | 340 1006.13/1006.56 c 913s | 22 | 1989310 | 1681722 | 11070 330 | 179 | 340 1008.13/1008.57 c 915s | 22 | 1993664 | 1685422 | 11070 331 | 179 | 340 1010.23/1010.62 c 917s | 22 | 1998024 | 1689122 | 11070 331 | 179 | 340 1012.23/1012.69 c 919s | 22 | 2002245 | 1692722 | 11070 332 | 179 | 340 1014.33/1014.74 c 921s | 22 | 2006411 | 1696322 | 11070 333 | 179 | 340 1016.33/1016.76 c 923s | 22 | 2010736 | 1700022 | 11070 333 | 179 | 340 1018.33/1018.78 c 925s | 22 | 2014655 | 1703422 | 11070 334 | 179 | 340 1020.43/1020.83 c 927s | 22 | 2018825 | 1707022 | 11070 334 | 179 | 340 1022.43/1022.85 c 929s | 22 | 2022945 | 1710522 | 11070 335 | 179 | 340 1024.43/1024.85 c 931s | 22 | 2026971 | 1713922 | 11070 336 | 179 | 340 1026.53/1026.91 c 933s | 22 | 2031351 | 1717622 | 11070 336 | 179 | 340 1028.53/1028.95 c 935s | 22 | 2035426 | 1721122 | 11070 337 | 179 | 340 1030.52/1030.96 c 937s | 22 | 2039628 | 1724622 | 11070 337 | 179 | 340 1032.52/1032.99 c 939s | 22 | 2043855 | 1728122 | 11070 338 | 179 | 340 1034.62/1035.03 c 941s | 22 | 2047986 | 1731522 | 11070 338 | 179 | 340 1036.62/1037.07 c 943s | 22 | 2052433 | 1735222 | 11070 339 | 179 | 340 1038.72/1039.11 c 945s | 22 | 2056794 | 1738822 | 11070 340 | 179 | 340 1040.72/1041.12 c 947s | 22 | 2061430 | 1742622 | 11070 340 | 179 | 340 1042.73/1043.17 c 949s | 22 | 2066004 | 1746322 | 11070 341 | 179 | 340 1044.72/1045.17 c 951s | 22 | 2070231 | 1749822 | 11070 341 | 179 | 340 1046.72/1047.18 c 953s | 22 | 2074493 | 1753422 | 11070 342 | 179 | 340 1048.82/1049.23 c 955s | 22 | 2078727 | 1756922 | 11070 343 | 179 | 340 1050.82/1051.28 c 957s | 22 | 2082911 | 1760522 | 11070 343 | 179 | 340 1052.92/1053.31 c 959s | 22 | 2087039 | 1764022 | 11070 344 | 179 | 340 1054.93/1055.33 c 961s | 22 | 2091323 | 1767622 | 11070 344 | 179 | 340 1056.92/1057.34 c 964s | 22 | 2095182 | 1770922 | 11070 345 | 179 | 340 1058.92/1059.38 c 966s | 22 | 2099487 | 1774622 | 11070 346 | 179 | 340 1061.02/1061.43 c 968s | 22 | 2103854 | 1778322 | 11070 346 | 179 | 340 1063.02/1063.44 c 970s | 22 | 2108059 | 1781922 | 11070 347 | 179 | 340 1065.02/1065.46 c 972s | 22 | 2112226 | 1785522 | 11070 347 | 179 | 340 1067.12/1067.57 c 974s | 22 | 2115983 | 1788822 | 11070 348 | 179 | 340 1069.12/1069.57 c 976s | 22 | 2120053 | 1792322 | 11070 349 | 179 | 340 1071.22/1071.60 c 978s | 22 | 2124347 | 1796022 | 11070 349 | 179 | 340 1073.22/1073.64 c 980s | 22 | 2128375 | 1799522 | 11070 350 | 179 | 340 1075.22/1075.64 c 982s | 22 | 2132413 | 1803022 | 11070 350 | 179 | 340 1077.22/1077.64 c 984s | 22 | 2136361 | 1806422 | 11070 351 | 179 | 340 1079.32/1079.71 c 986s | 22 | 2140343 | 1809822 | 11070 352 | 179 | 340 1081.32/1081.72 c 988s | 22 | 2144402 | 1813322 | 11070 352 | 179 | 340 1083.32/1083.73 c 990s | 22 | 2148124 | 1816522 | 11070 353 | 179 | 340 1085.32/1085.73 c 992s | 22 | 2152058 | 1819922 | 11070 353 | 179 | 340 1087.32/1087.74 c 994s | 22 | 2156046 | 1823322 | 11070 354 | 179 | 340 1089.32/1089.79 c 996s | 22 | 2160345 | 1826922 | 11070 354 | 179 | 340 1091.42/1091.82 c 998s | 22 | 2164642 | 1830622 | 11070 355 | 179 | 340 1093.42/1093.85 c 1000s | 22 | 2168911 | 1834222 | 11070 356 | 179 | 340 1095.41/1095.86 c 1002s | 22 | 2173215 | 1837922 | 11070 356 | 179 | 340 1097.51/1097.93 c 1004s | 22 | 2177300 | 1841422 | 11070 357 | 179 | 340 1099.51/1099.96 c 1006s | 22 | 2181508 | 1845022 | 11070 357 | 179 | 340 1101.51/1101.99 c 1008s | 22 | 2185679 | 1848622 | 11070 358 | 179 | 340 1103.61/1104.02 c 1010s | 22 | 2189686 | 1852122 | 11070 359 | 179 | 340 1105.61/1106.07 c 1012s | 22 | 2193742 | 1855622 | 11070 359 | 179 | 340 1107.62/1108.09 c 1014s | 22 | 2197956 | 1859222 | 11070 360 | 179 | 340 1109.71/1110.11 c 1016s | 22 | 2202196 | 1862822 | 11070 360 | 179 | 340 1111.71/1112.14 c 1018s | 22 | 2206430 | 1866422 | 11070 361 | 179 | 340 1113.71/1114.15 c 1020s | 22 | 2210788 | 1870122 | 11070 362 | 179 | 340 1115.81/1116.21 c 1022s | 22 | 2215260 | 1873922 | 11070 362 | 179 | 340 1117.81/1118.24 c 1024s | 22 | 2219489 | 1877522 | 11070 363 | 179 | 340 1119.81/1120.27 c 1026s | 22 | 2223792 | 1881122 | 11070 363 | 179 | 340 1121.81/1122.29 c 1028s | 22 | 2228014 | 1884722 | 11070 364 | 179 | 340 1123.91/1124.31 c 1030s | 22 | 2232342 | 1888422 | 11070 365 | 179 | 340 1125.91/1126.35 c 1033s | 22 | 2236705 | 1892222 | 11070 365 | 179 | 340 1127.91/1128.36 c 1035s | 22 | 2240722 | 1895722 | 11070 366 | 179 | 340 1129.91/1130.36 c 1037s | 22 | 2244441 | 1899022 | 11070 366 | 179 | 340 1131.91/1132.39 c 1039s | 22 | 2248629 | 1902622 | 11070 367 | 179 | 340 1134.01/1134.44 c 1041s | 22 | 2252633 | 1906122 | 11070 368 | 179 | 340 1136.01/1136.48 c 1043s | 22 | 2256767 | 1909622 | 11070 368 | 179 | 340 1138.11/1138.52 c 1045s | 22 | 2260890 | 1913222 | 11070 369 | 179 | 340 1140.10/1140.55 c 1047s | 22 | 2265149 | 1916822 | 11070 369 | 179 | 340 1142.20/1142.60 c 1049s | 22 | 2269497 | 1920522 | 11070 370 | 179 | 340 1144.40/1144.84 c 1051s | 22 | 2273364 | 1923822 | 11070 371 | 179 | 340 1146.40/1146.86 c 1053s | 22 | 2277942 | 1927622 | 11070 371 | 179 | 340 1148.50/1148.91 c 1055s | 22 | 2282450 | 1931422 | 11070 372 | 179 | 340 1150.51/1150.96 c 1057s | 22 | 2286798 | 1935122 | 11070 372 | 179 | 340 1152.50/1152.96 c 1059s | 22 | 2291135 | 1938722 | 11070 373 | 179 | 340 1154.50/1154.99 c 1061s | 22 | 2295644 | 1942422 | 11070 374 | 179 | 340 1156.50/1156.99 c 1063s | 22 | 2300280 | 1946222 | 11070 374 | 179 | 340 1158.60/1159.02 c 1065s | 22 | 2304628 | 1949722 | 11070 375 | 179 | 340 1160.60/1161.07 c 1067s | 22 | 2309430 | 1953622 | 11070 375 | 179 | 340 1162.71/1163.12 c 1069s | 22 | 2314059 | 1957422 | 11070 376 | 179 | 340 1164.70/1165.13 c 1071s | 22 | 2318001 | 1960822 | 11070 377 | 179 | 340 1166.71/1167.17 c 1073s | 22 | 2322054 | 1964322 | 11070 377 | 179 | 340 1168.71/1169.18 c 1075s | 22 | 2326336 | 1967922 | 11070 378 | 179 | 340 1170.81/1171.23 c 1077s | 22 | 2330856 | 1971722 | 11070 378 | 179 | 340 1172.81/1173.25 c 1079s | 22 | 2335352 | 1975522 | 11070 379 | 179 | 340 1174.82/1175.26 c 1081s | 22 | 2339654 | 1979222 | 11070 380 | 179 | 340 1176.81/1177.28 c 1083s | 22 | 2344040 | 1982922 | 11070 380 | 179 | 340 1178.81/1179.29 c 1085s | 22 | 2348178 | 1986422 | 11070 381 | 179 | 340 1180.81/1181.29 c 1087s | 22 | 2352236 | 1989822 | 11070 381 | 179 | 340 1182.91/1183.33 c 1090s | 22 | 2356392 | 1993322 | 11070 382 | 179 | 340 1184.91/1185.38 c 1092s | 22 | 2360774 | 1997022 | 11070 383 | 179 | 340 1187.01/1187.41 c 1094s | 22 | 2365292 | 2000822 | 11070 383 | 179 | 340 1189.01/1189.43 c 1096s | 22 | 2369698 | 2004522 | 11070 384 | 179 | 340 1191.01/1191.46 c 1098s | 22 | 2373818 | 2008022 | 11070 385 | 179 | 340 1193.11/1193.51 c 1100s | 22 | 2378132 | 2011622 | 11070 385 | 179 | 340 1195.11/1195.51 c 1102s | 22 | 2382097 | 2014922 | 11070 386 | 179 | 340 1197.11/1197.56 c 1104s | 22 | 2386206 | 2018422 | 11070 386 | 179 | 340 1199.10/1199.60 c 1106s | 22 | 2390648 | 2022122 | 11070 387 | 179 | 340 1201.21/1201.62 c 1108s | 22 | 2395156 | 2025822 | 11070 387 | 179 | 340 1203.20/1203.64 c 1110s | 22 | 2399146 | 2029222 | 11070 388 | 179 | 340 1205.20/1205.65 c 1112s | 22 | 2403492 | 2032922 | 11070 389 | 179 | 340 1207.30/1207.70 c 1114s | 22 | 2407940 | 2036722 | 11070 389 | 179 | 340 1209.30/1209.73 c 1116s | 22 | 2412305 | 2040422 | 11070 390 | 179 | 340 1211.30/1211.74 c 1118s | 22 | 2416650 | 2044122 | 11070 390 | 179 | 340 1213.31/1213.76 c 1120s | 22 | 2420976 | 2047822 | 11070 391 | 179 | 340 1215.41/1215.81 c 1122s | 22 | 2425106 | 2051322 | 11070 392 | 179 | 340 1217.40/1217.85 c 1124s | 22 | 2429326 | 2054922 | 11070 392 | 179 | 340 1219.40/1219.86 c 1126s | 22 | 2433205 | 2058322 | 11070 393 | 179 | 340 1221.50/1221.91 c 1128s | 22 | 2437264 | 2061822 | 11070 393 | 179 | 340 1223.50/1223.96 c 1130s | 22 | 2441245 | 2065222 | 11070 394 | 179 | 340 1225.50/1225.98 c 1132s | 22 | 2445060 | 2068522 | 11070 395 | 179 | 340 1227.51/1227.99 c 1134s | 22 | 2449009 | 2071922 | 12178 395 | 179 | 340 1229.60/1230.03 c 1136s | 22 | 2453009 | 2075322 | 12178 396 | 179 | 340 1231.60/1232.06 c 1138s | 22 | 2457260 | 2078822 | 12178 396 | 179 | 340 1233.60/1234.08 c 1140s | 22 | 2461447 | 2082322 | 12178 397 | 179 | 340 1235.60/1236.09 c 1142s | 22 | 2465635 | 2085722 | 12178 397 | 179 | 340 1237.70/1238.11 c 1144s | 22 | 2469618 | 2089022 | 12178 398 | 179 | 340 1239.70/1240.15 c 1146s | 22 | 2474148 | 2092722 | 12178 398 | 179 | 340 1241.70/1242.19 c 1148s | 22 | 2478446 | 2096322 | 12178 399 | 179 | 340 1243.80/1244.21 c 1150s | 22 | 2482571 | 2099722 | 12178 399 | 179 | 340 1245.80/1246.25 c 1152s | 22 | 2486903 | 2103322 | 12178 400 | 179 | 340 1247.80/1248.28 c 1154s | 22 | 2491146 | 2106822 | 12178 400 | 179 | 340 1249.90/1250.32 c 1156s | 22 | 2495337 | 2110422 | 12178 401 | 179 | 340 1251.90/1252.34 c 1159s | 22 | 2499362 | 2113822 | 12178 401 | 179 | 340 1253.90/1254.39 c 1161s | 22 | 2503743 | 2117422 | 12178 402 | 179 | 340 1256.00/1256.44 c 1163s | 22 | 2507921 | 2120922 | 12178 403 | 179 | 340 1257.99/1258.46 c 1165s | 22 | 2511895 | 2124222 | 12178 403 | 179 | 340 1260.09/1260.54 c 1167s | 22 | 2515738 | 2127422 | 12178 404 | 179 | 340 1262.09/1262.58 c 1169s | 22 | 2520094 | 2131122 | 12178 404 | 179 | 340 1264.19/1264.62 c 1171s | 22 | 2524058 | 2134522 | 12178 405 | 179 | 340 1266.19/1266.66 c 1173s | 22 | 2528347 | 2138122 | 12178 405 | 179 | 340 1268.30/1268.71 c 1175s | 22 | 2532297 | 2141522 | 12178 406 | 179 | 340 1270.29/1270.74 c 1177s | 22 | 2536380 | 2145022 | 12178 406 | 179 | 340 1272.29/1272.79 c 1179s | 22 | 2540469 | 2148522 | 12178 407 | 179 | 340 1274.29/1274.79 c 1181s | 22 | 2544281 | 2151822 | 12178 407 | 179 | 340 1276.39/1276.83 c 1183s | 22 | 2548335 | 2155322 | 12178 408 | 179 | 340 1278.39/1278.83 c 1185s | 22 | 2552357 | 2158822 | 12178 408 | 179 | 340 1280.40/1280.85 c 1187s | 22 | 2556661 | 2162422 | 12178 409 | 179 | 340 1282.39/1282.89 c 1189s | 22 | 2560961 | 2166022 | 12178 409 | 179 | 340 1284.49/1284.90 c 1191s | 22 | 2565237 | 2169622 | 12178 410 | 179 | 340 1286.49/1286.95 c 1193s | 22 | 2569205 | 2173022 | 12178 411 | 179 | 340 1288.59/1289.00 c 1195s | 22 | 2573368 | 2176522 | 12178 411 | 179 | 340 1290.59/1291.04 c 1197s | 22 | 2577227 | 2179822 | 12178 412 | 179 | 340 1292.59/1293.08 c 1199s | 22 | 2581472 | 2183422 | 12178 412 | 179 | 340 1294.70/1295.12 c 1201s | 22 | 2585571 | 2186822 | 12178 413 | 179 | 340 1296.69/1297.17 c 1203s | 22 | 2589845 | 2190422 | 12178 413 | 179 | 340 1298.79/1299.20 c 1205s | 22 | 2594424 | 2194322 | 12178 414 | 179 | 340 1300.79/1301.24 c 1207s | 22 | 2598772 | 2198022 | 12178 414 | 179 | 340 1302.79/1303.26 c 1209s | 22 | 2603216 | 2201722 | 12178 415 | 179 | 340 1304.89/1305.31 c 1211s | 22 | 2608063 | 2205722 | 12178 415 | 179 | 340 1306.89/1307.33 c 1214s | 22 | 2612732 | 2209622 | 12178 416 | 179 | 340 1308.89/1309.37 c 1216s | 22 | 2617113 | 2213322 | 12178 417 | 179 | 340 1310.99/1311.40 c 1218s | 22 | 2621719 | 2217122 | 12178 417 | 179 | 340 1312.98/1313.41 c 1220s | 22 | 2625860 | 2220622 | 12178 418 | 179 | 340 1314.98/1315.46 c 1222s | 22 | 2630211 | 2224222 | 12178 418 | 179 | 340 1317.08/1317.51 c 1224s | 22 | 2634189 | 2227522 | 12178 419 | 179 | 340 1319.08/1319.54 c 1226s | 22 | 2638811 | 2231322 | 12178 419 | 179 | 340 1321.09/1321.56 c 1228s | 22 | 2642990 | 2234822 | 12178 420 | 179 | 340 1323.19/1323.65 c 1230s | 22 | 2647423 | 2238522 | 12178 421 | 179 | 340 1325.28/1325.70 c 1232s | 22 | 2652091 | 2242422 | 12178 421 | 179 | 340 1327.28/1327.72 c 1234s | 22 | 2656054 | 2245722 | 12178 422 | 179 | 340 1329.28/1329.75 c 1236s | 22 | 2660312 | 2249322 | 12178 422 | 179 | 340 1330.18/1330.69 c 1237s | 23 | 2662378 | 2251038 | 12178 422 | 179 | 340 1332.28/1332.70 c 1239s | 23 | 2666574 | 2254538 | 12178 423 | 179 | 340 1334.29/1334.70 c 1241s | 23 | 2670689 | 2257938 | 12178 423 | 179 | 340 1336.28/1336.73 c 1243s | 23 | 2674960 | 2261538 | 12178 424 | 179 | 340 1338.28/1338.78 c 1245s | 23 | 2678967 | 2264938 | 12178 425 | 179 | 340 1340.38/1340.80 c 1247s | 23 | 2683410 | 2268638 | 12178 425 | 179 | 340 1342.38/1342.82 c 1249s | 23 | 2687734 | 2272238 | 12178 426 | 179 | 340 1344.38/1344.85 c 1251s | 23 | 2692010 | 2275838 | 12178 426 | 179 | 340 1346.39/1346.87 c 1253s | 23 | 2696163 | 2279338 | 12178 427 | 179 | 340 1348.38/1348.88 c 1255s | 23 | 2700536 | 2283038 | 12178 427 | 179 | 340 1350.48/1350.93 c 1257s | 23 | 2704491 | 2286338 | 12178 428 | 179 | 340 1352.48/1352.96 c 1259s | 23 | 2708600 | 2289738 | 12178 428 | 179 | 340 1354.58/1355.01 c 1261s | 23 | 2712866 | 2293238 | 12178 429 | 179 | 340 1356.58/1357.01 c 1263s | 23 | 2717076 | 2296738 | 12178 429 | 179 | 340 1358.58/1359.07 c 1265s | 23 | 2721364 | 2300338 | 12178 430 | 179 | 340 1360.68/1361.12 c 1267s | 23 | 2725564 | 2303938 | 12178 431 | 179 | 340 1362.68/1363.13 c 1269s | 23 | 2729783 | 2307538 | 12178 431 | 179 | 340 1364.68/1365.18 c 1271s | 23 | 2733982 | 2311138 | 12178 432 | 179 | 340 1366.78/1367.20 c 1273s | 23 | 2738346 | 2314738 | 12178 432 | 179 | 340 1368.77/1369.22 c 1275s | 23 | 2742698 | 2318338 | 12178 433 | 179 | 340 1370.77/1371.26 c 1277s | 23 | 2747094 | 2321938 | 12178 433 | 179 | 340 1372.78/1373.28 c 1279s | 23 | 2751440 | 2325538 | 12178 434 | 179 | 340 1374.88/1375.33 c 1282s | 23 | 2755841 | 2329238 | 12178 434 | 179 | 340 1376.97/1377.46 c 1284s | 23 | 2759905 | 2332738 | 12178 435 | 179 | 340 1378.97/1379.49 c 1286s | 23 | 2764165 | 2336438 | 12178 435 | 179 | 340 1380.97/1381.49 c 1288s | 23 | 2768460 | 2340138 | 12178 436 | 179 | 340 1383.07/1383.53 c 1290s | 23 | 2772688 | 2343738 | 12178 437 | 179 | 340 1385.07/1385.57 c 1292s | 23 | 2777149 | 2347638 | 12178 437 | 179 | 340 1387.17/1387.61 c 1294s | 23 | 2781325 | 2351238 | 12178 438 | 179 | 340 1389.18/1389.69 c 1296s | 23 | 2785416 | 2354738 | 12178 438 | 179 | 340 1391.27/1391.70 c 1298s | 23 | 2789590 | 2358238 | 12178 439 | 179 | 340 1393.27/1393.75 c 1300s | 23 | 2793969 | 2362038 | 12178 439 | 179 | 340 1395.27/1395.76 c 1302s | 23 | 2797976 | 2365338 | 12178 440 | 179 | 340 1397.27/1397.79 c 1304s | 23 | 2802208 | 2368938 | 12178 440 | 179 | 340 1399.37/1399.80 c 1306s | 23 | 2806430 | 2372538 | 12178 441 | 179 | 340 1401.38/1401.87 c 1308s | 23 | 2810639 | 2376138 | 12178 442 | 179 | 340 1403.47/1403.90 c 1310s | 23 | 2815101 | 2379938 | 12178 442 | 179 | 340 1405.47/1405.92 c 1312s | 23 | 2819344 | 2383538 | 12178 443 | 179 | 340 1407.47/1407.94 c 1314s | 23 | 2823772 | 2387238 | 12178 443 | 179 | 340 1409.47/1409.98 c 1316s | 23 | 2828109 | 2390838 | 12178 444 | 179 | 340 1411.47/1411.99 c 1318s | 23 | 2832612 | 2394638 | 12178 444 | 179 | 340 1413.57/1414.02 c 1320s | 23 | 2837109 | 2398438 | 12178 445 | 179 | 340 1415.57/1416.06 c 1322s | 23 | 2841543 | 2402138 | 12178 445 | 179 | 340 1417.67/1418.10 c 1324s | 23 | 2845797 | 2405738 | 12178 446 | 179 | 340 1419.67/1420.13 c 1326s | 23 | 2850154 | 2409338 | 12178 447 | 179 | 340 1421.67/1422.16 c 1328s | 23 | 2854428 | 2412938 | 12178 447 | 179 | 340 1423.77/1424.21 c 1330s | 23 | 2858867 | 2416538 | 12178 448 | 179 | 340 1425.77/1426.22 c 1332s | 23 | 2863452 | 2420238 | 12178 448 | 179 | 340 1427.77/1428.25 c 1334s | 23 | 2868059 | 2424138 | 12178 449 | 179 | 340 1429.76/1430.30 c 1336s | 23 | 2872446 | 2427938 | 12178 449 | 179 | 340 1431.86/1432.32 c 1338s | 23 | 2876733 | 2431638 | 12178 450 | 179 | 340 1433.86/1434.33 c 1340s | 23 | 2880717 | 2435038 | 12178 451 | 179 | 340 1435.86/1436.37 c 1343s | 23 | 2884945 | 2438738 | 12178 451 | 179 | 340 1437.86/1438.38 c 1345s | 23 | 2888563 | 2441838 | 12178 452 | 179 | 340 1439.96/1440.40 c 1347s | 23 | 2892846 | 2445438 | 12178 452 | 179 | 340 1441.97/1442.43 c 1349s | 23 | 2896842 | 2448838 | 12178 453 | 179 | 340 1443.96/1444.46 c 1351s | 23 | 2900960 | 2452438 | 12178 453 | 179 | 340 1445.96/1446.48 c 1353s | 23 | 2904765 | 2455738 | 12178 454 | 179 | 340 1447.96/1448.48 c 1355s | 23 | 2908810 | 2459138 | 12178 454 | 179 | 340 1450.06/1450.52 c 1357s | 23 | 2912934 | 2462738 | 12178 455 | 179 | 340 1452.06/1452.58 c 1359s | 23 | 2917388 | 2466338 | 12178 455 | 179 | 340 1454.06/1454.59 c 1361s | 23 | 2921537 | 2469938 | 12178 456 | 179 | 340 1456.16/1456.63 c 1363s | 23 | 2926001 | 2473638 | 12178 456 | 179 | 340 1458.16/1458.65 c 1365s | 23 | 2930199 | 2477138 | 12178 457 | 179 | 340 1460.16/1460.66 c 1367s | 23 | 2934441 | 2480738 | 12178 458 | 179 | 340 1462.16/1462.68 c 1369s | 23 | 2939043 | 2484638 | 12178 458 | 179 | 340 1464.26/1464.72 c 1371s | 23 | 2943559 | 2488438 | 12178 459 | 179 | 340 1466.26/1466.73 c 1373s | 23 | 2947929 | 2492138 | 12178 459 | 179 | 340 1468.25/1468.77 c 1375s | 23 | 2952354 | 2495938 | 12178 460 | 179 | 340 1470.25/1470.78 c 1377s | 23 | 2956709 | 2499738 | 12178 460 | 179 | 340 1472.25/1472.78 c 1379s | 23 | 2960746 | 2503238 | 12178 461 | 179 | 340 1474.36/1474.82 c 1381s | 23 | 2964885 | 2506738 | 12178 461 | 179 | 340 1476.36/1476.86 c 1383s | 23 | 2969258 | 2510438 | 12178 462 | 179 | 340 1478.46/1478.91 c 1385s | 23 | 2973300 | 2513838 | 12178 463 | 179 | 340 1480.47/1480.96 c 1387s | 23 | 2977866 | 2517638 | 12178 463 | 179 | 340 1482.46/1482.96 c 1389s | 23 | 2982182 | 2521238 | 12178 464 | 179 | 340 1484.46/1484.99 c 1391s | 23 | 2986632 | 2524938 | 12178 464 | 179 | 340 1486.56/1487.03 c 1393s | 23 | 2990998 | 2528538 | 12178 465 | 179 | 340 1488.66/1489.10 c 1395s | 23 | 2995336 | 2532138 | 12178 465 | 179 | 340 1490.66/1491.13 c 1397s | 23 | 2999644 | 2535738 | 12178 466 | 179 | 340 1492.67/1493.17 c 1399s | 23 | 3003964 | 2539438 | 12178 466 | 179 | 340 1494.66/1495.20 c 1401s | 23 | 3008292 | 2543038 | 12178 467 | 179 | 340 1496.76/1497.23 c 1403s | 23 | 3012278 | 2546438 | 12178 468 | 179 | 340 1498.76/1499.26 c 1405s | 23 | 3016367 | 2549938 | 12178 468 | 179 | 340 1500.76/1501.26 c 1407s | 23 | 3020095 | 2553138 | 12178 469 | 179 | 340 1502.86/1503.31 c 1409s | 23 | 3024292 | 2556638 | 12178 469 | 179 | 340 1504.86/1505.34 c 1412s | 23 | 3028368 | 2560038 | 12178 470 | 179 | 340 1506.86/1507.36 c 1414s | 23 | 3032428 | 2563538 | 12178 470 | 179 | 340 1508.86/1509.39 c 1416s | 23 | 3036757 | 2567238 | 12178 471 | 179 | 340 1510.86/1511.39 c 1418s | 23 | 3040995 | 2570838 | 12178 471 | 179 | 340 1513.06/1513.51 c 1420s | 23 | 3045094 | 2574338 | 12178 472 | 179 | 340 1515.05/1515.56 c 1422s | 23 | 3049378 | 2577938 | 12178 472 | 179 | 340 1517.05/1517.59 c 1424s | 23 | 3053543 | 2581438 | 12178 473 | 179 | 340 1519.15/1519.64 c 1426s | 23 | 3057683 | 2584938 | 12178 473 | 179 | 340 1521.16/1521.66 c 1428s | 23 | 3061769 | 2588438 | 12178 474 | 179 | 340 1523.15/1523.66 c 1430s | 23 | 3065789 | 2591838 | 12178 474 | 179 | 340 1525.25/1525.70 c 1432s | 23 | 3069910 | 2595338 | 12178 475 | 179 | 340 1527.25/1527.71 c 1434s | 23 | 3073677 | 2598538 | 12178 476 | 179 | 340 1529.25/1529.72 c 1436s | 23 | 3077692 | 2601938 | 12178 476 | 179 | 340 1531.25/1531.77 c 1438s | 23 | 3081665 | 2605238 | 12178 477 | 179 | 340 1533.26/1533.77 c 1440s | 23 | 3085884 | 2608838 | 12178 477 | 179 | 340 1535.35/1535.81 c 1442s | 23 | 3089838 | 2612138 | 12178 478 | 179 | 340 1537.35/1537.85 c 1444s | 23 | 3093919 | 2615638 | 12178 478 | 179 | 340 1539.35/1539.86 c 1446s | 23 | 3097653 | 2618838 | 12178 479 | 179 | 340 1541.35/1541.87 c 1448s | 23 | 3101736 | 2622238 | 12178 479 | 179 | 340 1543.45/1543.91 c 1450s | 23 | 3105766 | 2625638 | 12178 480 | 179 | 340 1545.46/1545.94 c 1452s | 23 | 3109961 | 2629238 | 12178 480 | 179 | 340 1547.45/1547.99 c 1454s | 23 | 3113987 | 2632638 | 12178 481 | 179 | 340 1549.55/1550.06 c 1456s | 23 | 3118333 | 2636338 | 12178 481 | 179 | 340 1551.55/1552.09 c 1458s | 23 | 3122630 | 2639938 | 12178 482 | 179 | 340 1553.65/1554.12 c 1460s | 23 | 3126911 | 2643438 | 12178 482 | 179 | 340 1555.65/1556.16 c 1462s | 23 | 3131329 | 2647038 | 12178 483 | 179 | 340 1557.75/1558.20 c 1464s | 23 | 3135361 | 2650438 | 12178 483 | 179 | 340 1559.75/1560.21 c 1466s | 23 | 3139322 | 2653838 | 12178 484 | 179 | 340 1561.74/1562.23 c 1468s | 23 | 3143314 | 2657238 | 12178 484 | 179 | 340 1563.74/1564.28 c 1470s | 23 | 3147703 | 2660938 | 12178 485 | 179 | 340 1565.84/1566.36 c 1473s | 23 | 3151718 | 2664438 | 12178 486 | 179 | 340 1567.94/1568.41 c 1475s | 23 | 3155993 | 2668138 | 12178 486 | 179 | 340 1570.04/1570.53 c 1477s | 23 | 3159804 | 2671438 | 12178 487 | 179 | 340 1572.04/1572.57 c 1479s | 23 | 3163783 | 2674838 | 12178 487 | 179 | 340 1574.05/1574.57 c 1481s | 23 | 3167382 | 2677938 | 12178 488 | 179 | 340 1576.15/1576.62 c 1483s | 23 | 3171512 | 2681438 | 12178 488 | 179 | 340 1578.14/1578.63 c 1485s | 23 | 3175376 | 2684738 | 12178 489 | 179 | 340 1580.14/1580.64 c 1487s | 23 | 3179336 | 2688138 | 12178 489 | 179 | 340 1582.14/1582.68 c 1489s | 23 | 3183022 | 2691238 | 12178 490 | 179 | 340 1584.14/1584.69 c 1491s | 23 | 3187049 | 2694638 | 12178 490 | 179 | 340 1586.24/1586.72 c 1493s | 23 | 3191045 | 2698038 | 12178 491 | 179 | 340 1588.25/1588.73 c 1495s | 23 | 3194670 | 2701138 | 12178 491 | 179 | 340 1590.24/1590.75 c 1497s | 23 | 3198602 | 2704438 | 12178 492 | 179 | 340 1592.34/1592.80 c 1499s | 23 | 3202534 | 2707838 | 12178 492 | 179 | 340 1594.34/1594.81 c 1501s | 23 | 3206253 | 2711038 | 12178 493 | 179 | 340 1596.34/1596.88 c 1503s | 23 | 3210090 | 2714338 | 12178 493 | 179 | 340 1598.44/1598.91 c 1505s | 23 | 3213939 | 2717538 | 12178 494 | 179 | 340 1600.45/1600.92 c 1507s | 23 | 3217935 | 2720838 | 12178 494 | 179 | 340 1602.44/1602.96 c 1509s | 23 | 3221602 | 2723938 | 12178 495 | 179 | 340 1604.44/1604.99 c 1511s | 23 | 3225215 | 2727038 | 12178 495 | 179 | 340 1606.54/1607.02 c 1513s | 23 | 3229230 | 2730438 | 12178 496 | 179 | 340 1608.54/1609.04 c 1515s | 23 | 3233128 | 2733738 | 12178 496 | 179 | 340 1610.54/1611.06 c 1517s | 23 | 3236945 | 2736938 | 12178 497 | 179 | 340 1612.54/1613.06 c 1519s | 23 | 3241027 | 2740338 | 12178 497 | 179 | 340 1614.64/1615.12 c 1521s | 23 | 3244739 | 2743538 | 12178 498 | 179 | 340 1616.63/1617.15 c 1523s | 23 | 3248855 | 2747038 | 12178 498 | 179 | 340 1618.63/1619.17 c 1525s | 23 | 3252544 | 2750238 | 12178 499 | 179 | 340 1620.63/1621.18 c 1527s | 23 | 3256222 | 2753438 | 12178 499 | 179 | 340 1622.73/1623.21 c 1529s | 23 | 3259882 | 2756638 | 12178 500 | 179 | 340 1624.73/1625.26 c 1531s | 23 | 3263635 | 2759938 | 12178 500 | 179 | 340 1626.74/1627.27 c 1533s | 23 | 3267511 | 2763238 | 12178 501 | 179 | 340 1628.83/1629.31 c 1535s | 23 | 3271418 | 2766638 | 12178 501 | 179 | 340 1630.83/1631.35 c 1538s | 23 | 3275487 | 2770138 | 12178 502 | 179 | 340 1632.83/1633.35 c 1540s | 23 | 3279290 | 2773438 | 12178 502 | 179 | 340 1634.83/1635.36 c 1542s | 23 | 3283100 | 2776738 | 12178 503 | 179 | 340 1636.93/1637.45 c 1544s | 23 | 3286803 | 2779938 | 12178 503 | 179 | 340 1639.03/1639.50 c 1546s | 23 | 3290585 | 2783138 | 12178 504 | 179 | 340 1640.93/1641.50 c 1548s | 23 | 3294300 | 2786338 | 12178 504 | 179 | 340 1643.03/1643.54 c 1550s | 23 | 3297921 | 2789438 | 12178 505 | 179 | 340 1645.13/1645.60 c 1552s | 23 | 3302093 | 2792938 | 12178 505 | 179 | 340 1647.13/1647.61 c 1554s | 23 | 3305839 | 2796138 | 12178 506 | 179 | 340 1649.13/1649.68 c 1556s | 23 | 3309988 | 2799638 | 12178 506 | 179 | 340 1651.23/1651.73 c 1558s | 23 | 3313888 | 2802938 | 12178 507 | 179 | 340 1653.23/1653.79 c 1560s | 23 | 3317834 | 2806338 | 12178 507 | 179 | 340 1655.33/1655.84 c 1562s | 23 | 3321590 | 2809538 | 12178 508 | 179 | 340 1657.33/1657.89 c 1564s | 23 | 3325715 | 2813038 | 12178 508 | 179 | 340 1659.43/1659.93 c 1566s | 23 | 3329623 | 2816238 | 12178 509 | 179 | 340 1661.43/1661.93 c 1568s | 23 | 3333657 | 2819638 | 12178 509 | 179 | 340 1663.43/1663.98 c 1570s | 23 | 3337762 | 2823038 | 12178 510 | 179 | 340 1665.52/1666.01 c 1572s | 23 | 3342136 | 2826638 | 12178 510 | 179 | 340 1667.53/1668.07 c 1574s | 23 | 3346680 | 2830438 | 12178 511 | 179 | 340 1669.52/1670.08 c 1576s | 23 | 3350538 | 2833638 | 12178 511 | 179 | 340 1671.52/1672.10 c 1578s | 23 | 3354790 | 2837138 | 12178 512 | 179 | 340 1673.62/1674.14 c 1580s | 23 | 3359089 | 2840738 | 12178 512 | 179 | 340 1675.72/1676.20 c 1582s | 23 | 3363154 | 2844238 | 12178 513 | 179 | 340 1677.72/1678.23 c 1584s | 23 | 3367212 | 2847638 | 12178 513 | 179 | 340 1679.72/1680.27 c 1586s | 23 | 3371300 | 2851138 | 12178 514 | 179 | 340 1681.83/1682.34 c 1589s | 23 | 3375097 | 2854338 | 12178 515 | 179 | 340 1683.82/1684.37 c 1591s | 23 | 3379638 | 2858038 | 12178 515 | 179 | 340 1685.92/1686.41 c 1593s | 23 | 3383783 | 2861538 | 12178 516 | 179 | 340 1687.92/1688.46 c 1595s | 23 | 3388056 | 2865138 | 12178 516 | 179 | 340 1690.02/1690.51 c 1597s | 23 | 3391882 | 2868438 | 12178 517 | 179 | 340 1692.02/1692.56 c 1599s | 23 | 3396117 | 2872038 | 12178 517 | 179 | 340 1694.02/1694.60 c 1601s | 23 | 3400441 | 2875638 | 12178 518 | 179 | 340 1696.13/1696.62 c 1603s | 23 | 3404654 | 2879238 | 12178 518 | 179 | 340 1698.12/1698.64 c 1605s | 23 | 3408643 | 2882738 | 12178 519 | 179 | 340 1700.13/1700.65 c 1607s | 23 | 3412778 | 2886238 | 12178 519 | 179 | 340 1702.13/1702.68 c 1609s | 23 | 3417005 | 2889638 | 12178 520 | 179 | 340 1704.23/1704.75 c 1611s | 23 | 3421343 | 2893338 | 12178 520 | 179 | 340 1706.23/1706.78 c 1613s | 23 | 3425600 | 2897038 | 12178 521 | 179 | 340 1708.33/1708.82 c 1615s | 23 | 3429750 | 2900538 | 12178 522 | 179 | 340 1710.33/1710.88 c 1617s | 23 | 3433923 | 2904138 | 12178 522 | 179 | 340 1712.33/1712.89 c 1619s | 23 | 3437696 | 2907338 | 12178 523 | 179 | 340 1714.42/1714.92 c 1621s | 23 | 3441770 | 2910938 | 12178 523 | 179 | 340 1716.42/1716.94 c 1623s | 23 | 3445592 | 2914238 | 12178 524 | 179 | 340 1718.42/1718.95 c 1625s | 23 | 3449453 | 2917538 | 12178 524 | 179 | 340 1720.42/1720.98 c 1627s | 23 | 3453084 | 2920638 | 12178 525 | 179 | 340 1722.53/1723.01 c 1629s | 23 | 3457266 | 2924138 | 12178 525 | 179 | 340 1724.52/1725.04 c 1631s | 23 | 3461089 | 2927338 | 12178 526 | 179 | 340 1726.52/1727.08 c 1633s | 23 | 3465418 | 2931038 | 12178 526 | 179 | 340 1728.62/1729.10 c 1635s | 23 | 3469430 | 2934538 | 12178 527 | 179 | 340 1730.62/1731.15 c 1637s | 23 | 3473426 | 2938038 | 12178 527 | 179 | 340 1732.62/1733.17 c 1639s | 23 | 3477288 | 2941338 | 12178 528 | 179 | 340 1734.72/1735.21 c 1641s | 23 | 3481236 | 2944738 | 12178 528 | 179 | 340 1736.73/1737.23 c 1643s | 23 | 3485154 | 2947938 | 12178 529 | 179 | 340 1738.72/1739.29 c 1645s | 23 | 3489094 | 2951338 | 12178 529 | 179 | 340 1740.82/1741.33 c 1648s | 23 | 3492970 | 2954638 | 12178 530 | 179 | 340 1742.82/1743.35 c 1650s | 23 | 3496699 | 2957938 | 12178 530 | 179 | 340 1744.92/1745.40 c 1652s | 23 | 3500623 | 2961238 | 12178 531 | 179 | 340 1746.92/1747.44 c 1654s | 23 | 3505159 | 2965038 | 12178 531 | 179 | 340 1748.93/1749.45 c 1656s | 23 | 3509489 | 2968638 | 12178 532 | 179 | 340 1750.92/1751.48 c 1658s | 23 | 3513575 | 2972138 | 12178 532 | 179 | 340 1752.92/1753.48 c 1660s | 23 | 3517853 | 2975738 | 12178 533 | 179 | 340 1755.02/1755.51 c 1662s | 23 | 3522011 | 2979338 | 12178 534 | 179 | 340 1757.02/1757.53 c 1664s | 23 | 3526223 | 2982938 | 12178 534 | 179 | 340 1759.02/1759.57 c 1666s | 23 | 3530477 | 2986538 | 12178 535 | 179 | 340 1761.12/1761.61 c 1668s | 23 | 3534979 | 2990338 | 12178 535 | 179 | 340 1763.12/1763.64 c 1670s | 23 | 3539485 | 2994138 | 12178 536 | 179 | 340 1765.11/1765.66 c 1672s | 23 | 3543573 | 2997638 | 12178 536 | 179 | 340 1767.11/1767.69 c 1674s | 23 | 3547926 | 3001438 | 12178 537 | 179 | 340 1769.21/1769.70 c 1676s | 23 | 3551977 | 3004938 | 12178 538 | 179 | 340 1771.21/1771.72 c 1678s | 23 | 3556212 | 3008638 | 12178 538 | 179 | 340 1773.21/1773.75 c 1680s | 23 | 3560449 | 3012238 | 12178 539 | 179 | 340 1775.22/1775.80 c 1682s | 23 | 3564569 | 3015838 | 12178 539 | 179 | 340 1777.31/1777.84 c 1684s | 23 | 3568481 | 3019238 | 12178 540 | 179 | 340 1779.41/1779.90 c 1686s | 23 | 3572681 | 3022838 | 12178 540 | 179 | 340 1781.41/1781.91 c 1688s | 23 | 3576547 | 3026138 | 12178 541 | 179 | 340 1783.41/1783.94 c 1690s | 23 | 3580654 | 3029638 | 12178 541 | 179 | 340 1785.41/1785.95 c 1692s | 23 | 3584564 | 3033038 | 12178 542 | 179 | 340 1787.42/1787.97 c 1694s | 23 | 3588378 | 3036338 | 12178 542 | 179 | 340 1789.41/1789.97 c 1696s | 23 | 3592523 | 3039838 | 12178 543 | 179 | 340 1791.51/1792.00 c 1698s | 23 | 3596610 | 3043338 | 12178 543 | 179 | 340 1793.51/1794.03 c 1700s | 23 | 3600632 | 3046738 | 12178 544 | 179 | 340 1795.51/1796.05 c 1702s | 23 | 3604827 | 3050338 | 12178 544 | 179 | 340 1797.51/1798.06 c 1704s | 23 | 3608935 | 3053838 | 12178 545 | 179 | 340 1799.52/1800.07 c 1706s | 23 | 3613083 | 3057338 | 12178 545 | 179 | 340
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-4118367-1467227167/watcher-4118367-1467227167 -o /tmp/evaluation-result-4118367-1467227167/solver-4118367-1467227167 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467209087-5469 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4118367-1467227167.opb pid=7134 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.00 2.00 2.00 3/179 7137 /proc/meminfo: memFree=29767816/32872528 swapFree=7620/7620 [pid=7137] ppid=7134 vsize=714172 CPUtime=0 cores=0,2,4,6 /proc/7137/stat : 7137 (toysat) R 7134 7137 5453 0 -1 4202496 2664 0 0 0 0 0 0 0 20 0 4 0 3612860 731312128 3535 33554432000 4194304 16246674 140733887095888 140733887095312 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7137/statm: 179311 3544 441 2943 0 176205 0 [pid=7137/tid=7138] ppid=7134 vsize=732604 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3612860 750186496 3604 33554432000 4194304 16246674 140733887095888 140281678638320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7137/tid=7139] ppid=7134 vsize=735676 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3612860 753332224 3619 33554432000 4194304 16246674 140733887095888 140281668148464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7137/tid=7140] ppid=7134 vsize=740796 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3612860 758575104 3636 33554432000 4194304 16246674 140733887095888 140281550728368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.40012 s] /proc/loadavg: 2.00 2.00 2.00 3/179 7137 /proc/meminfo: memFree=29767816/32872528 swapFree=7620/7620 [pid=7137] ppid=7134 vsize=1307204 CPUtime=0.39 cores=0,2,4,6 /proc/7137/stat : 7137 (toysat) R 7134 7137 5453 0 -1 4202496 45913 0 0 0 32 7 0 0 20 0 4 0 3612860 1338576896 46749 33554432000 4194304 16246674 140733887095888 140733887095200 6940718 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7137/statm: 326801 46749 844 2943 0 323695 0 [pid=7137/tid=7138] ppid=7134 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3612860 1338576896 46749 33554432000 4194304 16246674 140733887095888 140281678638320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7137/tid=7139] ppid=7134 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3612860 1338576896 46749 33554432000 4194304 16246674 140733887095888 140281668148464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7137/tid=7140] ppid=7134 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3612860 1338576896 46749 33554432000 4194304 16246674 140733887095888 140281550728368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.39 Current children cumulated vsize (KiB) 1307204 [startup+0.500516 s] /proc/loadavg: 2.00 2.00 2.00 3/179 7137 /proc/meminfo: memFree=29767816/32872528 swapFree=7620/7620 [pid=7137] ppid=7134 vsize=1308228 CPUtime=0.49 cores=0,2,4,6 /proc/7137/stat : 7137 (toysat) R 7134 7137 5453 0 -1 4202496 45983 0 0 0 42 7 0 0 20 0 4 0 3612860 1339625472 46819 33554432000 4194304 16246674 140733887095888 140733887095200 12415676 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7137/statm: 327057 46819 844 2943 0 323951 0 [pid=7137/tid=7138] ppid=7134 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3612860 1339625472 46819 33554432000 4194304 16246674 140733887095888 140281678638320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7137/tid=7139] ppid=7134 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3612860 1339625472 46819 33554432000 4194304 16246674 140733887095888 140281668148464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7137/tid=7140] ppid=7134 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3612860 1339625472 46819 33554432000 4194304 16246674 140733887095888 140281550728368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 1308228 [startup+0.600441 s] /proc/loadavg: 2.00 2.00 2.00 3/179 7137 /proc/meminfo: memFree=29767816/32872528 swapFree=7620/7620 [pid=7137] ppid=7134 vsize=1308228 CPUtime=0.59 cores=0,2,4,6 /proc/7137/stat : 7137 (toysat) R 7134 7137 5453 0 -1 4202496 45983 0 0 0 52 7 0 0 20 0 4 0 3612860 1339625472 46819 33554432000 4194304 16246674 140733887095888 140733887095200 5659576 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7137/statm: 327057 46819 844 2943 0 323951 0 [pid=7137/tid=7138] ppid=7134 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3612860 1339625472 46819 33554432000 4194304 16246674 140733887095888 140281678638320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7137/tid=7139] ppid=7134 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3612860 1339625472 46819 33554432000 4194304 16246674 140733887095888 140281668148464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7137/tid=7140] ppid=7134 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3612860 1339625472 46819 33554432000 4194304 16246674 140733887095888 140281550728368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.59 Current children cumulated vsize (KiB) 1308228 [startup+0.700485 s] /proc/loadavg: 2.00 2.00 2.00 3/179 7137 /proc/meminfo: memFree=29767816/32872528 swapFree=7620/7620 [pid=7137] ppid=7134 vsize=1308228 CPUtime=0.69 cores=0,2,4,6 /proc/7137/stat : 7137 (toysat) R 7134 7137 5453 0 -1 4202496 45983 0 0 0 62 7 0 0 20 0 4 0 3612860 1339625472 46819 33554432000 4194304 16246674 140733887095888 140733887095200 5662779 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7137/statm: 327057 46819 844 2943 0 323951 0 [pid=7137/tid=7138] ppid=7134 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3612860 1339625472 46819 33554432000 4194304 16246674 140733887095888 140281678638320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7137/tid=7139] ppid=7134 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3612860 1339625472 46819 33554432000 4194304 16246674 140733887095888 140281668148464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7137/tid=7140] ppid=7134 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3612860 1339625472 46819 33554432000 4194304 16246674 140733887095888 140281550728368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1308228 [startup+1.50747 s] /proc/loadavg: 2.00 2.00 2.00 3/183 7141 /proc/meminfo: memFree=29305880/32872528 swapFree=7620/7620 [pid=7137] ppid=7134 vsize=1308228 CPUtime=1.5 cores=0,2,4,6 /proc/7137/stat : 7137 (toysat) R 7134 7137 5453 0 -1 4202496 129220 0 0 0 132 18 0 0 20 0 4 0 3612860 1339625472 130056 33554432000 4194304 16246674 140733887095888 140733887077760 5515837 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7137/statm: 327057 130062 844 2943 0 323951 0 [pid=7137/tid=7138] ppid=7134 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3612860 1339625472 130066 33554432000 4194304 16246674 140733887095888 140281678638320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7137/tid=7139] ppid=7134 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3612860 1339625472 130071 33554432000 4194304 16246674 140733887095888 140281668148464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7137/tid=7140] ppid=7134 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3612860 1339625472 130075 33554432000 4194304 16246674 140733887095888 140281550728368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 1308228 [startup+3.10038 s] /proc/loadavg: 2.00 2.00 2.00 3/183 7141 /proc/meminfo: memFree=29123104/32872528 swapFree=7620/7620 [pid=7137] ppid=7134 vsize=1308228 CPUtime=3.09 cores=0,2,4,6 /proc/7137/stat : 7137 (toysat) R 7134 7137 5453 0 -1 4202496 223303 0 0 0 278 31 0 0 20 0 4 0 3612860 1339625472 224140 33554432000 4194304 16246674 140733887095888 140733887078888 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7137/statm: 327057 224146 846 2943 0 323951 0 [pid=7137/tid=7138] ppid=7134 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3612860 1339625472 224148 33554432000 4194304 16246674 140733887095888 140281678638320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7137/tid=7139] ppid=7134 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3612860 1339625472 224148 33554432000 4194304 16246674 140733887095888 140281668148464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7137/tid=7140] ppid=7134 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3612860 1339625472 224149 33554432000 4194304 16246674 140733887095888 140281550728368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1308228 [startup+6.30035 s] /proc/loadavg: 2.00 2.00 2.00 3/183 7141 /proc/meminfo: memFree=28692120/32872528 swapFree=7620/7620 [pid=7137] ppid=7134 vsize=1308228 CPUtime=6.29 cores=0,2,4,6 /proc/7137/stat : 7137 (toysat) R 7134 7137 5453 0 -1 4202496 268153 0 0 0 592 37 0 0 20 0 4 0 3612860 1339625472 268989 33554432000 4194304 16246674 140733887095888 140733887077760 5677884 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7137/statm: 327057 268989 853 2943 0 323951 0 [pid=7137/tid=7138] ppid=7134 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3612860 1339625472 268989 33554432000 4194304 16246674 140733887095888 140281678638320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7137/tid=7139] ppid=7134 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3612860 1339625472 268989 33554432000 4194304 16246674 140733887095888 140281668148464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7137/tid=7140] ppid=7134 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3612860 1339625472 268989 33554432000 4194304 16246674 140733887095888 140281550728368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 2.00 2.00 2.00 3/183 7141 /proc/meminfo: memFree=28692132/32872528 swapFree=7620/7620 [pid=7137] ppid=7134 vsize=1308228 CPUtime=12.69 cores=0,2,4,6 /proc/7137/stat : 7137 (toysat) R 7134 7137 5453 0 -1 4202496 268153 0 0 0 1232 37 0 0 20 0 4 0 3612860 1339625472 268989 33554432000 4194304 16246674 140733887095888 140733887077760 5523188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7137/statm: 327057 268989 853 2943 0 323951 0 [pid=7137/tid=7138] ppid=7134 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3612860 1339625472 268989 33554432000 4194304 16246674 140733887095888 140281678638320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7137/tid=7139] ppid=7134 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3612860 1339625472 268989 33554432000 4194304 16246674 140733887095888 140281668148464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7137/tid=7140] ppid=7134 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3612860 1339625472 268989 33554432000 4194304 16246674 140733887095888 140281550728368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1308228 [startup+25.5004 s] /proc/loadavg: 2.00 2.00 2.00 3/183 7141 /proc/meminfo: memFree=28692484/32872528 swapFree=7620/7620 [pid=7137] ppid=7134 vsize=1308228 CPUtime=25.49 cores=0,2,4,6 /proc/7137/stat : 7137 (toysat) R 7134 7137 5453 0 -1 4202496 268153 0 0 0 2512 37 0 0 20 0 4 0 3612860 1339625472 268989 33554432000 4194304 16246674 140733887095888 140733887077760 5710312 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7137/statm: 327057 268989 853 2943 0 323951 0 [pid=7137/tid=7138] ppid=7134 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3612860 1339625472 268989 33554432000 4194304 16246674 140733887095888 140281678638320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7137/tid=7139] ppid=7134 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3612860 1339625472 268989 33554432000 4194304 16246674 140733887095888 140281668148464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7137/tid=7140] ppid=7134 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3612860 1339625472 268989 33554432000 4194304 16246674 140733887095888 140281550728368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1308228 [startup+51.1004 s] /proc/loadavg: 2.00 2.00 2.00 3/183 7142 /proc/meminfo: memFree=28690504/32872528 swapFree=7620/7620 [pid=7137] ppid=7134 vsize=1310276 CPUtime=51.08 cores=0,2,4,6 /proc/7137/stat : 7137 (toysat) R 7134 7137 5453 0 -1 4202496 268665 0 0 0 5071 37 0 0 20 0 4 0 3612860 1341722624 269501 33554432000 4194304 16246674 140733887095888 140733887077760 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7137/statm: 327569 269501 853 2943 0 324463 0 [pid=7137/tid=7138] ppid=7134 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3612860 1341722624 269501 33554432000 4194304 16246674 140733887095888 140281678638320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7137/tid=7139] ppid=7134 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3612860 1341722624 269501 33554432000 4194304 16246674 140733887095888 140281668148464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7137/tid=7140] ppid=7134 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3612860 1341722624 269501 33554432000 4194304 16246674 140733887095888 140281550728368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1310276 [startup+102.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 7143 /proc/meminfo: memFree=28688396/32872528 swapFree=7620/7620 [pid=7137] ppid=7134 vsize=1312324 CPUtime=102.27 cores=0,2,4,6 /proc/7137/stat : 7137 (toysat) R 7134 7137 5453 0 -1 4202496 269177 0 0 0 10190 37 0 0 20 0 4 0 3612860 1343819776 270013 33554432000 4194304 16246674 140733887095888 140733887077760 5827950 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7137/statm: 328081 270013 853 2943 0 324975 0 [pid=7137/tid=7138] ppid=7134 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3612860 1343819776 270013 33554432000 4194304 16246674 140733887095888 140281678638320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7137/tid=7139] ppid=7134 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3612860 1343819776 270013 33554432000 4194304 16246674 140733887095888 140281668148464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7137/tid=7140] ppid=7134 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3612860 1343819776 270013 33554432000 4194304 16246674 140733887095888 140281550728368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1312324 ################ # More data... # ################ /proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3612860 1358499840 273603 33554432000 4194304 16246674 140733887095888 140281550728368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 1326660 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 7271 /proc/meminfo: memFree=28642004/32872528 swapFree=7620/7620 [pid=7137] ppid=7134 vsize=1326660 CPUtime=1301.89 cores=0,2,4,6 /proc/7137/stat : 7137 (toysat) R 7134 7137 5453 0 -1 4202496 273171 0 0 0 130145 44 0 0 20 0 4 0 3612860 1358499840 273603 33554432000 4194304 16246674 140733887095888 140733887077760 12415827 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7137/statm: 331665 273603 854 2943 0 328559 0 [pid=7137/tid=7138] ppid=7134 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3612860 1358499840 273603 33554432000 4194304 16246674 140733887095888 140281678638320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7137/tid=7139] ppid=7134 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3612860 1358499840 273603 33554432000 4194304 16246674 140733887095888 140281668148464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7137/tid=7140] ppid=7134 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3612860 1358499840 273603 33554432000 4194304 16246674 140733887095888 140281550728368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1326660 [startup+1362.3 s] /proc/loadavg: 2.07 2.02 2.00 3/183 7272 /proc/meminfo: memFree=28641784/32872528 swapFree=7620/7620 [pid=7137] ppid=7134 vsize=1326660 CPUtime=1361.88 cores=0,2,4,6 /proc/7137/stat : 7137 (toysat) R 7134 7137 5453 0 -1 4202496 273171 0 0 0 136144 44 0 0 20 0 4 0 3612860 1358499840 273603 33554432000 4194304 16246674 140733887095888 140733887077760 12483667 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7137/statm: 331665 273603 854 2943 0 328559 0 [pid=7137/tid=7138] ppid=7134 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3612860 1358499840 273603 33554432000 4194304 16246674 140733887095888 140281678638320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7137/tid=7139] ppid=7134 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3612860 1358499840 273603 33554432000 4194304 16246674 140733887095888 140281668148464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7137/tid=7140] ppid=7134 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3612860 1358499840 273603 33554432000 4194304 16246674 140733887095888 140281550728368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1326660 [startup+1422.3 s] /proc/loadavg: 2.02 2.01 2.00 3/183 7273 /proc/meminfo: memFree=28641560/32872528 swapFree=7620/7620 [pid=7137] ppid=7134 vsize=1326660 CPUtime=1421.87 cores=0,2,4,6 /proc/7137/stat : 7137 (toysat) R 7134 7137 5453 0 -1 4202496 273171 0 0 0 142143 44 0 0 20 0 4 0 3612860 1358499840 273603 33554432000 4194304 16246674 140733887095888 140733887077760 6022775 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7137/statm: 331665 273603 854 2943 0 328559 0 [pid=7137/tid=7138] ppid=7134 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3612860 1358499840 273603 33554432000 4194304 16246674 140733887095888 140281678638320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7137/tid=7139] ppid=7134 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3612860 1358499840 273603 33554432000 4194304 16246674 140733887095888 140281668148464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7137/tid=7140] ppid=7134 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3612860 1358499840 273603 33554432000 4194304 16246674 140733887095888 140281550728368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1326660 [startup+1482.3 s] /proc/loadavg: 2.04 2.02 2.00 3/184 7277 /proc/meminfo: memFree=28639416/32872528 swapFree=7620/7620 [pid=7137] ppid=7134 vsize=1328708 CPUtime=1481.86 cores=0,2,4,6 /proc/7137/stat : 7137 (toysat) R 7134 7137 5453 0 -1 4202496 273683 0 0 0 148141 45 0 0 20 0 4 0 3612860 1360596992 274115 33554432000 4194304 16246674 140733887095888 140733887077760 5673837 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7137/statm: 332177 274115 854 2943 0 329071 0 [pid=7137/tid=7138] ppid=7134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3612860 1360596992 274115 33554432000 4194304 16246674 140733887095888 140281678638320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7137/tid=7139] ppid=7134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3612860 1360596992 274115 33554432000 4194304 16246674 140733887095888 140281668148464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7137/tid=7140] ppid=7134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3612860 1360596992 274115 33554432000 4194304 16246674 140733887095888 140281550728368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1328708 [startup+1542.3 s] /proc/loadavg: 2.08 2.03 2.00 3/183 7278 /proc/meminfo: memFree=28639452/32872528 swapFree=7620/7620 [pid=7137] ppid=7134 vsize=1328708 CPUtime=1541.85 cores=0,2,4,6 /proc/7137/stat : 7137 (toysat) R 7134 7137 5453 0 -1 4202496 273683 0 0 0 154140 45 0 0 20 0 4 0 3612860 1360596992 274115 33554432000 4194304 16246674 140733887095888 140733887095064 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7137/statm: 332177 274115 854 2943 0 329071 0 [pid=7137/tid=7138] ppid=7134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3612860 1360596992 274115 33554432000 4194304 16246674 140733887095888 140281678638320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7137/tid=7139] ppid=7134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3612860 1360596992 274115 33554432000 4194304 16246674 140733887095888 140281668148464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7137/tid=7140] ppid=7134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3612860 1360596992 274115 33554432000 4194304 16246674 140733887095888 140281550728368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1328708 [startup+1602.3 s] /proc/loadavg: 2.03 2.02 2.00 3/183 7280 /proc/meminfo: memFree=28639120/32872528 swapFree=7620/7620 [pid=7137] ppid=7134 vsize=1328708 CPUtime=1601.84 cores=0,2,4,6 /proc/7137/stat : 7137 (toysat) R 7134 7137 5453 0 -1 4202496 273683 0 0 0 160139 45 0 0 20 0 4 0 3612860 1360596992 274115 33554432000 4194304 16246674 140733887095888 140733887077760 5712536 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7137/statm: 332177 274115 854 2943 0 329071 0 [pid=7137/tid=7138] ppid=7134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3612860 1360596992 274115 33554432000 4194304 16246674 140733887095888 140281678638320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7137/tid=7139] ppid=7134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3612860 1360596992 274115 33554432000 4194304 16246674 140733887095888 140281668148464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7137/tid=7140] ppid=7134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3612860 1360596992 274115 33554432000 4194304 16246674 140733887095888 140281550728368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1328708 [startup+1662.3 s] /proc/loadavg: 2.01 2.02 2.00 3/183 7281 /proc/meminfo: memFree=28640048/32872528 swapFree=7620/7620 [pid=7137] ppid=7134 vsize=1328708 CPUtime=1661.83 cores=0,2,4,6 /proc/7137/stat : 7137 (toysat) R 7134 7137 5453 0 -1 4202496 273683 0 0 0 166138 45 0 0 20 0 4 0 3612860 1360596992 274115 33554432000 4194304 16246674 140733887095888 140733887077760 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7137/statm: 332177 274115 854 2943 0 329071 0 [pid=7137/tid=7138] ppid=7134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3612860 1360596992 274115 33554432000 4194304 16246674 140733887095888 140281678638320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7137/tid=7139] ppid=7134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3612860 1360596992 274115 33554432000 4194304 16246674 140733887095888 140281668148464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7137/tid=7140] ppid=7134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3612860 1360596992 274115 33554432000 4194304 16246674 140733887095888 140281550728368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1328708 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 7282 /proc/meminfo: memFree=28639676/32872528 swapFree=7620/7620 [pid=7137] ppid=7134 vsize=1328708 CPUtime=1721.82 cores=0,2,4,6 /proc/7137/stat : 7137 (toysat) R 7134 7137 5453 0 -1 4202496 273683 0 0 0 172136 46 0 0 20 0 4 0 3612860 1360596992 274115 33554432000 4194304 16246674 140733887095888 140733887077760 5710312 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7137/statm: 332177 274115 854 2943 0 329071 0 [pid=7137/tid=7138] ppid=7134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3612860 1360596992 274115 33554432000 4194304 16246674 140733887095888 140281678638320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7137/tid=7139] ppid=7134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3612860 1360596992 274115 33554432000 4194304 16246674 140733887095888 140281668148464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7137/tid=7140] ppid=7134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3612860 1360596992 274115 33554432000 4194304 16246674 140733887095888 140281550728368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1328708 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 7283 /proc/meminfo: memFree=28639668/32872528 swapFree=7620/7620 [pid=7137] ppid=7134 vsize=1328708 CPUtime=1781.82 cores=0,2,4,6 /proc/7137/stat : 7137 (toysat) R 7134 7137 5453 0 -1 4202496 273683 0 0 0 178136 46 0 0 20 0 4 0 3612860 1360596992 274115 33554432000 4194304 16246674 140733887095888 140733887078888 5673558 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7137/statm: 332177 274115 854 2943 0 329071 0 [pid=7137/tid=7138] ppid=7134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3612860 1360596992 274115 33554432000 4194304 16246674 140733887095888 140281678638320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7137/tid=7139] ppid=7134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3612860 1360596992 274115 33554432000 4194304 16246674 140733887095888 140281668148464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7137/tid=7140] ppid=7134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3612860 1360596992 274115 33554432000 4194304 16246674 140733887095888 140281550728368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1328708 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.00 2.00 2.00 3/183 7283 /proc/meminfo: memFree=28639676/32872528 swapFree=7620/7620 [pid=7137] ppid=7134 vsize=1328708 CPUtime=1800.01 cores=0,2,4,6 /proc/7137/stat : 7137 (toysat) R 7134 7137 5453 0 -1 4202496 273683 0 0 0 179955 46 0 0 20 0 4 0 3612860 1360596992 274115 33554432000 4194304 16246674 140733887095888 140733887077760 5599933 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7137/statm: 332177 274115 854 2943 0 329071 0 [pid=7137/tid=7138] ppid=7134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3612860 1360596992 274115 33554432000 4194304 16246674 140733887095888 140281678638320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7137/tid=7139] ppid=7134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3612860 1360596992 274115 33554432000 4194304 16246674 140733887095888 140281668148464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7137/tid=7140] ppid=7134 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3612860 1360596992 274115 33554432000 4194304 16246674 140733887095888 140281550728368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1328708 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 7137 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.51 CPU time (s): 1800.02 CPU user time (s): 1799.56 CPU system time (s): 0.464929 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 1328708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.56 system time used= 0.464929 maximum resident set size= 1096460 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273683 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= 436 involuntary context switches= 1858 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.70528 second user time and 6.81496 second system time The end
Begin job on node106 at 2016-06-29 21:06:07 IDJOB=4118367 IDBENCH=111486 IDSOLVER=2542 FILE ID=node106/4118367-1467227167 RUNJOBID= node106-1467209087-5469 PBS_JOBID= 19997588 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-30.lin.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118367-1467227167/watcher-4118367-1467227167 -o /tmp/evaluation-result-4118367-1467227167/solver-4118367-1467227167 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467209087-5469 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4118367-1467227167.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 760efaba2d1061e895252c56b3293c1d RANDOM SEED=888979868 node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.99 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29768080 kB Buffers: 29284 kB Cached: 1195660 kB SwapCached: 0 kB Active: 1864348 kB Inactive: 482632 kB Active(anon): 1115112 kB Inactive(anon): 9640 kB Active(file): 749236 kB Inactive(file): 472992 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 16356 kB Writeback: 0 kB AnonPages: 1070664 kB Mapped: 19144 kB Shmem: 204 kB Slab: 618212 kB SReclaimable: 61472 kB SUnreclaim: 556740 kB KernelStack: 1520 kB PageTables: 5456 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1261668 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1038336 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71716 MiB End job on node106 at 2016-06-29 21:36:08