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.09 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.08.opb |
| MD5SUM | 7e2e59a69914c0aa8f6d18f073e252a7 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 34 |
| Best CPU time to get the best result obtained on this benchmark | 2.80957 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 34 |
| Optimality of the best value was proved | YES |
| Number of variables | 9457 |
| Total number of constraints | 449183 |
| Number of constraints which are clauses | 446880 |
| Number of constraints which are cardinality constraints (but not clauses) | 2303 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 98 |
| Number of terms in the objective function | 98 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 98 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 96 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 194 |
| Number of bits of the biggest sum of numbers | 8 |
| 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-06T23:06:32+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079696-1465247192.opb"] 0.00/0.01 c use --random-gen="3618683685 2715154095 2543012449 1662634409 784060215 1981549787 2323979679 838125113 790281811 2451840915 690862104 2730570536 455152190 2250118654 276919240 3014776612 891206503 653280031 4100153173 2363977376 3313734978 2945816996 3930191823 1674206770 3253062099 1149823816 828279533 3811391444 3824318594 3554084987 762029865 728462867 2793367552 1584664796 1232097882 814747520 3178377037 1240620244 355240490 3986348255 396740899 2333154635 3866488126 685445294 2259199312 2607920844 1977000622 4014192731 2418046912 3979087435 772252397 390149467 4040941545 2076973263 79697265 2132230805 3956491512 3910856534 2994966415 1800011321 1648224295 3031360471 3157863011 3745660446 2624050641 1297238746 3277627695 3477892661 3964997026 945099161 889729901 1505085630 3824132603 3998317583 2383659480 2886971864 1347164538 606215561 97395852 3638637465 4085053631 3289177103 2051469798 942628235 318110076 1713487361 942049165 777375142 64915478 1540611842 309703273 1604506766 3536645182 5518751 4265570593 944061643 1710216532 3420525177 2712574943 3436349564 2698938300 1776445214 2574217765 3385994888 4080058555 1350620543 4182263433 646012684 1229008934 2975403631 4198725381 800013068 4253001473 1255445180 1957619635 1971761930 1022654096 854882498 2421006780 4227893215 1938103175 3524507753 2884110763 2940323796 4246640698 258085152 384929596 2437887577 1915736230 1211628357 1322563795 39257150 2451478154 3745851507 2079826224 289168288 2563660044 211506812 2908704711 4108711098 946083666 1283278257 1100082379 3719322350 948043093 3627357062 3749283649 1466050928 3521237059 349539687 4048379514 1352263767 2421347110 3239690000 3093146662 37166021 1285275540 3156359268 2981153277 1509050168 1245957040 52574294 896648017 3596353877 3693763362 2938948269 1059437060 1053217428 3883798380 1102337012 2228879305 1520143784 4255645296 446344115 3638834361 2759651225 1035802450 1250736294 1842049204 754398913 482653293 1497943026 3396015954 2759117375 784424551 1225078562 2516678318 2547686451 1771627660 1772730472 2908870001 190279641 2890607017 3502997812 517702983 3337221671 1666740489 2930480743 207058851 2795416602 3865871009 3622203168 872719 1979712304 838574145 3988312918 2910706320 2479123030 258753688 3793674661 2549166770 1730658236 1548415816 1427856557 3522627463 339200320 2684294290 1341882470 3733901095 1690164060 28935646 966598894 496839171 1840940912 1153432708 2154647128 3643881763 323827894 1657410122 2256106768 1751067649 1393542759 1614593700 2609895214 3464033311 104132939 3916430859 3799740104 2051286477 343004923 232614705 3828103620 341159919 546258306 3383979529 2360902098 742979321 3243977279 3979272159 1822401449 3069941775 1789582932 1065037977 2164369072 1026474426 3650033001 255 362436" option to reproduce the execution 2.79/2.83 c #vars 9457 2.79/2.83 c #constraints 449183 4.29/4.35 c BCD2: Hardening is enabled. 4.29/4.35 c BCD2: BiasedSearch is enabled. 4.29/4.35 c Solving starts ... 4.29/4.35 c ============================[ Search Statistics ]============================ 4.29/4.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.29/4.35 c | | | | Limit GC | Var | Constra 4.29/4.35 c ============================================================================= 4.29/4.35 c 0.0s | 0 | 0 | 0 | 20966 0 | 5054 | 0 4.29/4.40 c 0.1s | 0 | 889 | 0 | 20966 0 | 5054 | 4212 4.29/4.40 c #cpu_time = 0.050s 4.29/4.40 c #wall_clock_time = 0.050s 4.29/4.40 c #decision = 889 4.29/4.40 c #random_decision = 0 4.29/4.40 c #conflict = 0 4.29/4.40 c #restart = 0 4.29/4.40 o 98 4.29/4.40 c BCD2: updating upper bound: 98 -> 97 4.29/4.40 c BCD2: 0 <= obj <= 97 4.29/4.40 c BCD2: #cores=0, #unrelaxed=98, #relaxed=0, #hardened=0 4.29/4.40 c BCD2: #sat=1 #unsat=1 bias=1/2 4.29/4.40 c Solving starts ... 4.29/4.40 c ============================[ Search Statistics ]============================ 4.29/4.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.29/4.40 c | | | | Limit GC | Var | Constra 4.29/4.40 c ============================================================================= 4.39/4.40 c 0.0s | 0 | 0 | 0 | 20966 0 | 5054 | 4212 4.39/4.43 c 0.0s | 0 | 63 | 0 | 20966 0 | 5054 | 4212 4.39/4.43 c #cpu_time = 0.024s 4.39/4.43 c #wall_clock_time = 0.024s 4.39/4.43 c #decision = 63 4.39/4.43 c #random_decision = 0 4.39/4.43 c #conflict = 0 4.39/4.43 c #restart = 0 4.39/4.43 c BCD2: found a new core of size 1: cost of the new core is >=1 4.39/4.43 c lower bound updated to 1 4.39/4.43 c BCD2: 1 <= obj <= 97 4.39/4.43 c BCD2: #cores=1, #unrelaxed=97, #relaxed=1, #hardened=0 4.39/4.43 c BCD2: #sat=1 #unsat=2 bias=2/3 4.39/4.43 c Solving starts ... 4.39/4.43 c ============================[ Search Statistics ]============================ 4.39/4.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.39/4.43 c | | | | Limit GC | Var | Constra 4.39/4.43 c ============================================================================= 4.39/4.43 c 0.0s | 0 | 0 | 0 | 20966 0 | 5054 | 4212 4.49/4.57 c 0.1s | 0 | 83 | 0 | 20966 0 | 5054 | 4212 4.49/4.57 c #cpu_time = 0.146s 4.49/4.57 c #wall_clock_time = 0.146s 4.49/4.57 c #decision = 83 4.49/4.57 c #random_decision = 0 4.49/4.57 c #conflict = 0 4.49/4.57 c #restart = 0 4.49/4.57 c BCD2: found a new core of size 1: cost of the new core is >=1 4.49/4.57 c lower bound updated to 2 4.49/4.57 c BCD2: 2 <= obj <= 97 4.49/4.57 c BCD2: #cores=2, #unrelaxed=96, #relaxed=2, #hardened=0 4.49/4.57 c BCD2: #sat=1 #unsat=3 bias=3/4 4.49/4.57 c Solving starts ... 4.49/4.57 c ============================[ Search Statistics ]============================ 4.49/4.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.49/4.57 c | | | | Limit GC | Var | Constra 4.49/4.57 c ============================================================================= 4.49/4.57 c 0.0s | 0 | 0 | 0 | 20966 0 | 5054 | 4212 4.49/4.59 c 0.0s | 0 | 93 | 0 | 20966 0 | 5054 | 4212 4.49/4.59 c #cpu_time = 0.019s 4.49/4.59 c #wall_clock_time = 0.019s 4.49/4.59 c #decision = 93 4.49/4.59 c #random_decision = 0 4.49/4.59 c #conflict = 0 4.49/4.59 c #restart = 0 4.49/4.59 c BCD2: found a new core of size 1: cost of the new core is >=1 4.49/4.59 c lower bound updated to 3 4.49/4.59 c BCD2: 3 <= obj <= 97 4.49/4.59 c BCD2: #cores=3, #unrelaxed=95, #relaxed=3, #hardened=0 4.49/4.59 c BCD2: #sat=1 #unsat=4 bias=4/5 4.49/4.59 c Solving starts ... 4.49/4.59 c ============================[ Search Statistics ]============================ 4.49/4.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.49/4.59 c | | | | Limit GC | Var | Constra 4.49/4.59 c ============================================================================= 4.49/4.59 c 0.0s | 0 | 0 | 0 | 20966 0 | 5054 | 4212 4.59/4.61 c 0.0s | 0 | 97 | 0 | 20966 0 | 5054 | 4212 4.59/4.61 c #cpu_time = 0.021s 4.59/4.61 c #wall_clock_time = 0.021s 4.59/4.61 c #decision = 97 4.59/4.61 c #random_decision = 0 4.59/4.61 c #conflict = 0 4.59/4.61 c #restart = 0 4.59/4.61 c BCD2: found a new core of size 1: cost of the new core is >=1 4.59/4.61 c lower bound updated to 4 4.59/4.61 c BCD2: 4 <= obj <= 97 4.59/4.61 c BCD2: #cores=4, #unrelaxed=94, #relaxed=4, #hardened=0 4.59/4.61 c BCD2: #sat=1 #unsat=5 bias=5/6 4.59/4.61 c Solving starts ... 4.59/4.61 c ============================[ Search Statistics ]============================ 4.59/4.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.59/4.61 c | | | | Limit GC | Var | Constra 4.59/4.61 c ============================================================================= 4.59/4.61 c 0.0s | 0 | 0 | 0 | 20966 0 | 5054 | 4212 4.59/4.64 c 0.0s | 0 | 101 | 2 | 20966 0 | 5054 | 4212 4.59/4.64 c #cpu_time = 0.021s 4.59/4.64 c #wall_clock_time = 0.021s 4.59/4.64 c #decision = 101 4.59/4.64 c #random_decision = 0 4.59/4.64 c #conflict = 2 4.59/4.64 c #restart = 0 4.59/4.64 c BCD2: found a new core of size 2: cost of the new core is >=1 4.59/4.64 c lower bound updated to 5 4.59/4.64 c BCD2: 5 <= obj <= 97 4.59/4.64 c BCD2: #cores=5, #unrelaxed=92, #relaxed=6, #hardened=0 4.59/4.64 c BCD2: #sat=1 #unsat=6 bias=6/7 4.59/4.64 c Solving starts ... 4.59/4.64 c ============================[ Search Statistics ]============================ 4.59/4.64 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.59/4.64 c | | | | Limit GC | Var | Constra 4.59/4.64 c ============================================================================= 4.59/4.64 c 0.0s | 0 | 0 | 0 | 20966 0 | 5054 | 4212 4.59/4.66 c 0.0s | 0 | 103 | 4 | 20966 0 | 5054 | 4212 4.59/4.66 c #cpu_time = 0.021s 4.59/4.66 c #wall_clock_time = 0.021s 4.59/4.66 c #decision = 103 4.59/4.66 c #random_decision = 0 4.59/4.66 c #conflict = 4 4.59/4.66 c #restart = 0 4.59/4.66 c BCD2: found a new core of size 2: cost of the new core is >=1 4.59/4.66 c lower bound updated to 6 4.59/4.66 c BCD2: 6 <= obj <= 97 4.59/4.66 c BCD2: #cores=6, #unrelaxed=90, #relaxed=8, #hardened=0 4.59/4.66 c BCD2: #sat=1 #unsat=7 bias=7/8 4.59/4.66 c Solving starts ... 4.59/4.66 c ============================[ Search Statistics ]============================ 4.59/4.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.59/4.66 c | | | | Limit GC | Var | Constra 4.59/4.66 c ============================================================================= 4.59/4.66 c 0.0s | 0 | 0 | 0 | 20966 0 | 5054 | 4212 4.59/4.68 c 0.0s | 0 | 94 | 0 | 20966 0 | 5054 | 4212 4.59/4.68 c #cpu_time = 0.020s 4.59/4.68 c #wall_clock_time = 0.021s 4.59/4.68 c #decision = 94 4.59/4.68 c #random_decision = 0 4.59/4.68 c #conflict = 0 4.59/4.68 c #restart = 0 4.59/4.68 c BCD2: found a new core of size 2: cost of the new core is >=1 4.59/4.68 c lower bound updated to 7 4.59/4.68 c BCD2: 7 <= obj <= 97 4.59/4.68 c BCD2: #cores=7, #unrelaxed=88, #relaxed=10, #hardened=0 4.59/4.68 c BCD2: #sat=1 #unsat=8 bias=8/9 4.59/4.68 c Solving starts ... 4.59/4.68 c ============================[ Search Statistics ]============================ 4.59/4.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.59/4.68 c | | | | Limit GC | Var | Constra 4.59/4.68 c ============================================================================= 4.59/4.68 c 0.0s | 0 | 0 | 0 | 20966 0 | 5054 | 4212 4.69/4.72 c 0.0s | 0 | 195 | 3 | 20966 0 | 5056 | 4217 4.69/4.72 c #cpu_time = 0.041s 4.69/4.72 c #wall_clock_time = 0.042s 4.69/4.72 c #decision = 195 4.69/4.72 c #random_decision = 0 4.69/4.72 c #conflict = 3 4.69/4.72 c #restart = 0 4.69/4.72 c BCD2: found a new core of size 1: cost of the new core is >=1 4.69/4.72 c lower bound updated to 8 4.69/4.72 c BCD2: 8 <= obj <= 97 4.69/4.72 c BCD2: #cores=8, #unrelaxed=87, #relaxed=11, #hardened=0 4.69/4.72 c BCD2: #sat=1 #unsat=9 bias=9/10 4.69/4.72 c Solving starts ... 4.69/4.72 c ============================[ Search Statistics ]============================ 4.69/4.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.69/4.72 c | | | | Limit GC | Var | Constra 4.69/4.72 c ============================================================================= 4.69/4.75 c 0.0s | 0 | 0 | 0 | 20966 0 | 5056 | 4217 4.69/4.77 c 0.0s | 0 | 138 | 7 | 20966 0 | 5056 | 4217 4.69/4.77 c #cpu_time = 0.024s 4.69/4.77 c #wall_clock_time = 0.024s 4.69/4.77 c #decision = 138 4.69/4.77 c #random_decision = 0 4.69/4.77 c #conflict = 7 4.69/4.77 c #restart = 0 4.69/4.77 c BCD2: found a new core of size 2: cost of the new core is >=1 4.69/4.77 c lower bound updated to 9 4.69/4.77 c BCD2: 9 <= obj <= 97 4.69/4.77 c BCD2: #cores=9, #unrelaxed=85, #relaxed=13, #hardened=0 4.69/4.77 c BCD2: #sat=1 #unsat=10 bias=10/11 4.69/4.77 c Solving starts ... 4.69/4.77 c ============================[ Search Statistics ]============================ 4.69/4.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.69/4.77 c | | | | Limit GC | Var | Constra 4.69/4.77 c ============================================================================= 4.69/4.77 c 0.0s | 0 | 0 | 0 | 20966 0 | 5056 | 4217 4.69/4.79 c 0.0s | 0 | 182 | 8 | 20966 0 | 5056 | 4217 4.69/4.79 c #cpu_time = 0.025s 4.69/4.79 c #wall_clock_time = 0.025s 4.69/4.79 c #decision = 182 4.69/4.79 c #random_decision = 0 4.69/4.79 c #conflict = 8 4.69/4.79 c #restart = 0 4.69/4.79 c BCD2: found a new core of size 2: cost of the new core is >=1 4.69/4.79 c lower bound updated to 10 4.69/4.79 c BCD2: 10 <= obj <= 97 4.69/4.79 c BCD2: #cores=10, #unrelaxed=83, #relaxed=15, #hardened=0 4.69/4.79 c BCD2: #sat=1 #unsat=11 bias=11/12 4.69/4.79 c Solving starts ... 4.69/4.79 c ============================[ Search Statistics ]============================ 4.69/4.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.69/4.79 c | | | | Limit GC | Var | Constra 4.69/4.79 c ============================================================================= 4.69/4.79 c 0.0s | 0 | 0 | 0 | 20966 0 | 5056 | 4217 4.79/4.82 c 0.0s | 0 | 259 | 12 | 20966 0 | 5056 | 4217 4.79/4.82 c #cpu_time = 0.025s 4.79/4.82 c #wall_clock_time = 0.025s 4.79/4.82 c #decision = 259 4.79/4.82 c #random_decision = 0 4.79/4.82 c #conflict = 12 4.79/4.82 c #restart = 0 4.79/4.82 c BCD2: found a new core of size 2: cost of the new core is >=1 4.79/4.82 c lower bound updated to 11 4.79/4.82 c BCD2: 11 <= obj <= 97 4.79/4.82 c BCD2: #cores=11, #unrelaxed=81, #relaxed=17, #hardened=0 4.79/4.82 c BCD2: #sat=1 #unsat=12 bias=12/13 4.79/4.82 c Solving starts ... 4.79/4.82 c ============================[ Search Statistics ]============================ 4.79/4.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.79/4.82 c | | | | Limit GC | Var | Constra 4.79/4.82 c ============================================================================= 4.79/4.82 c 0.0s | 0 | 0 | 0 | 20966 0 | 5056 | 4217 4.79/4.87 c 0.1s | 0 | 291 | 16 | 20966 0 | 5058 | 4220 4.79/4.87 c #cpu_time = 0.050s 4.79/4.87 c #wall_clock_time = 0.050s 4.79/4.87 c #decision = 291 4.79/4.87 c #random_decision = 0 4.79/4.87 c #conflict = 16 4.79/4.87 c #restart = 0 4.79/4.87 c BCD2: found a new core of size 1: cost of the new core is >=1 4.79/4.87 c lower bound updated to 12 4.79/4.87 c BCD2: 12 <= obj <= 97 4.79/4.87 c BCD2: #cores=12, #unrelaxed=80, #relaxed=18, #hardened=0 4.79/4.87 c BCD2: #sat=1 #unsat=13 bias=13/14 4.79/4.87 c Solving starts ... 4.79/4.87 c ============================[ Search Statistics ]============================ 4.79/4.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.79/4.87 c | | | | Limit GC | Var | Constra 4.79/4.87 c ============================================================================= 4.79/4.87 c 0.0s | 0 | 0 | 0 | 20966 0 | 5058 | 4220 4.89/4.90 c 0.0s | 0 | 177 | 9 | 20966 0 | 5058 | 4220 4.89/4.90 c #cpu_time = 0.026s 4.89/4.90 c #wall_clock_time = 0.026s 4.89/4.90 c #decision = 177 4.89/4.90 c #random_decision = 0 4.89/4.90 c #conflict = 9 4.89/4.90 c #restart = 0 4.89/4.90 c BCD2: found a new core of size 2: cost of the new core is >=1 4.89/4.90 c lower bound updated to 13 4.89/4.90 c BCD2: 13 <= obj <= 97 4.89/4.90 c BCD2: #cores=13, #unrelaxed=78, #relaxed=20, #hardened=0 4.89/4.90 c BCD2: #sat=1 #unsat=14 bias=14/15 4.89/4.90 c Solving starts ... 4.89/4.90 c ============================[ Search Statistics ]============================ 4.89/4.90 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.89/4.90 c | | | | Limit GC | Var | Constra 4.89/4.90 c ============================================================================= 4.89/4.90 c 0.0s | 0 | 0 | 0 | 20966 0 | 5058 | 4220 4.89/4.92 c 0.0s | 0 | 114 | 6 | 20966 0 | 5058 | 4220 4.89/4.92 c #cpu_time = 0.025s 4.89/4.92 c #wall_clock_time = 0.025s 4.89/4.92 c #decision = 114 4.89/4.92 c #random_decision = 0 4.89/4.92 c #conflict = 6 4.89/4.92 c #restart = 0 4.89/4.92 c BCD2: found a new core of size 2: cost of the new core is >=1 4.89/4.92 c lower bound updated to 14 4.89/4.92 c BCD2: 14 <= obj <= 97 4.89/4.92 c BCD2: #cores=14, #unrelaxed=76, #relaxed=22, #hardened=0 4.89/4.92 c BCD2: #sat=1 #unsat=15 bias=15/16 4.89/4.92 c Solving starts ... 4.89/4.92 c ============================[ Search Statistics ]============================ 4.89/4.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.89/4.92 c | | | | Limit GC | Var | Constra 4.89/4.92 c ============================================================================= 4.89/4.92 c 0.0s | 0 | 0 | 0 | 20966 0 | 5058 | 4220 4.89/4.98 c 0.1s | 0 | 222 | 19 | 20966 0 | 5060 | 4231 4.89/4.98 c #cpu_time = 0.051s 4.89/4.98 c #wall_clock_time = 0.051s 4.89/4.98 c #decision = 222 4.89/4.98 c #random_decision = 1 4.89/4.98 c #conflict = 19 4.89/4.98 c #restart = 0 4.89/4.98 c BCD2: found a new core of size 1: cost of the new core is >=1 4.89/4.98 c lower bound updated to 15 4.89/4.98 c BCD2: 15 <= obj <= 97 4.89/4.98 c BCD2: #cores=15, #unrelaxed=75, #relaxed=23, #hardened=0 4.89/4.98 c BCD2: #sat=1 #unsat=16 bias=16/17 4.89/4.98 c Solving starts ... 4.89/4.98 c ============================[ Search Statistics ]============================ 4.89/4.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.89/4.98 c | | | | Limit GC | Var | Constra 4.89/4.98 c ============================================================================= 4.89/4.98 c 0.0s | 0 | 0 | 0 | 20966 0 | 5060 | 4231 4.99/5.02 c 0.0s | 0 | 155 | 44 | 23063 0 | 5060 | 4231 4.99/5.02 c #cpu_time = 0.035s 4.99/5.02 c #wall_clock_time = 0.035s 4.99/5.02 c #decision = 155 4.99/5.02 c #random_decision = 0 4.99/5.02 c #conflict = 44 4.99/5.02 c #restart = 0 4.99/5.02 c BCD2: relaxing 4 and merging with 5 cores into a new core of size 14: cost of the new core is >=6 4.99/5.02 c lower bound updated to 16 4.99/5.02 c BCD2: 16 <= obj <= 97 4.99/5.02 c BCD2: #cores=11, #unrelaxed=71, #relaxed=27, #hardened=0 4.99/5.02 c BCD2: #sat=1 #unsat=17 bias=17/18 4.99/5.02 c Solving starts ... 4.99/5.02 c ============================[ Search Statistics ]============================ 4.99/5.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.99/5.02 c | | | | Limit GC | Var | Constra 4.99/5.02 c ============================================================================= 4.99/5.02 c 0.0s | 0 | 0 | 0 | 23063 0 | 5065 | 4231 4.99/5.04 c 0.0s | 0 | 146 | 20 | 23063 0 | 5065 | 4236 4.99/5.04 c #cpu_time = 0.028s 4.99/5.04 c #wall_clock_time = 0.028s 4.99/5.04 c #decision = 146 4.99/5.04 c #random_decision = 0 4.99/5.04 c #conflict = 20 4.99/5.04 c #restart = 0 4.99/5.04 c BCD2: found a new core of size 2: cost of the new core is >=1 4.99/5.04 c lower bound updated to 17 4.99/5.05 c BCD2: 17 <= obj <= 97 4.99/5.05 c BCD2: #cores=12, #unrelaxed=69, #relaxed=29, #hardened=0 4.99/5.05 c BCD2: #sat=1 #unsat=18 bias=18/19 4.99/5.05 c Solving starts ... 4.99/5.05 c ============================[ Search Statistics ]============================ 4.99/5.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.99/5.05 c | | | | Limit GC | Var | Constra 4.99/5.05 c ============================================================================= 4.99/5.05 c 0.0s | 0 | 0 | 0 | 23063 0 | 5065 | 4236 4.99/5.08 c 0.0s | 0 | 252 | 26 | 23063 0 | 5065 | 4236 4.99/5.08 c #cpu_time = 0.031s 4.99/5.08 c #wall_clock_time = 0.031s 4.99/5.08 c #decision = 252 4.99/5.08 c #random_decision = 1 4.99/5.08 c #conflict = 26 4.99/5.08 c #restart = 0 4.99/5.08 c BCD2: found a new core of size 2: cost of the new core is >=1 4.99/5.08 c lower bound updated to 18 4.99/5.08 c BCD2: 18 <= obj <= 97 4.99/5.08 c BCD2: #cores=13, #unrelaxed=67, #relaxed=31, #hardened=0 4.99/5.08 c BCD2: #sat=1 #unsat=19 bias=19/20 4.99/5.08 c Solving starts ... 4.99/5.08 c ============================[ Search Statistics ]============================ 4.99/5.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.99/5.08 c | | | | Limit GC | Var | Constra 4.99/5.08 c ============================================================================= 4.99/5.08 c 0.0s | 0 | 0 | 0 | 23063 0 | 5065 | 4236 5.09/5.11 c 0.0s | 0 | 193 | 25 | 23063 0 | 5065 | 4236 5.09/5.11 c #cpu_time = 0.030s 5.09/5.11 c #wall_clock_time = 0.030s 5.09/5.11 c #decision = 193 5.09/5.11 c #random_decision = 1 5.09/5.11 c #conflict = 25 5.09/5.11 c #restart = 0 5.09/5.11 c BCD2: found a new core of size 2: cost of the new core is >=1 5.09/5.11 c lower bound updated to 19 5.09/5.11 c BCD2: 19 <= obj <= 97 5.09/5.11 c BCD2: #cores=14, #unrelaxed=65, #relaxed=33, #hardened=0 5.09/5.11 c BCD2: #sat=1 #unsat=20 bias=20/21 5.09/5.11 c Solving starts ... 5.09/5.11 c ============================[ Search Statistics ]============================ 5.09/5.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.09/5.11 c | | | | Limit GC | Var | Constra 5.09/5.11 c ============================================================================= 5.09/5.11 c 0.0s | 0 | 0 | 0 | 23063 0 | 5065 | 4236 5.09/5.15 c 0.0s | 0 | 197 | 51 | 25370 0 | 5065 | 4236 5.09/5.15 c #cpu_time = 0.039s 5.09/5.15 c #wall_clock_time = 0.039s 5.09/5.15 c #decision = 197 5.09/5.15 c #random_decision = 0 5.09/5.15 c #conflict = 51 5.09/5.15 c #restart = 0 5.09/5.15 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 8: cost of the new core is >=2 5.09/5.15 c lower bound updated to 20 5.09/5.15 c BCD2: 20 <= obj <= 97 5.09/5.15 c BCD2: #cores=14, #unrelaxed=59, #relaxed=39, #hardened=0 5.09/5.15 c BCD2: #sat=1 #unsat=21 bias=21/22 5.09/5.15 c Solving starts ... 5.09/5.15 c ============================[ Search Statistics ]============================ 5.09/5.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.09/5.15 c | | | | Limit GC | Var | Constra 5.09/5.15 c ============================================================================= 5.09/5.15 c 0.0s | 0 | 0 | 0 | 25370 0 | 5066 | 4236 5.19/5.20 c 0.1s | 0 | 424 | 77 | 25370 0 | 5066 | 4237 5.19/5.20 c #cpu_time = 0.056s 5.19/5.20 c #wall_clock_time = 0.056s 5.19/5.20 c #decision = 424 5.19/5.20 c #random_decision = 1 5.19/5.20 c #conflict = 77 5.19/5.20 c #restart = 0 5.19/5.20 c BCD2: found a new core of size 2: cost of the new core is >=1 5.19/5.20 c lower bound updated to 21 5.19/5.20 c BCD2: 21 <= obj <= 97 5.19/5.20 c BCD2: #cores=15, #unrelaxed=57, #relaxed=41, #hardened=0 5.19/5.20 c BCD2: #sat=1 #unsat=22 bias=22/23 5.19/5.20 c Solving starts ... 5.19/5.20 c ============================[ Search Statistics ]============================ 5.19/5.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.19/5.20 c | | | | Limit GC | Var | Constra 5.19/5.20 c ============================================================================= 5.19/5.20 c 0.0s | 0 | 0 | 0 | 25370 0 | 5066 | 4237 5.19/5.24 c 0.0s | 0 | 199 | 21 | 25370 0 | 5066 | 4237 5.19/5.24 c #cpu_time = 0.034s 5.19/5.24 c #wall_clock_time = 0.034s 5.19/5.24 c #decision = 199 5.19/5.24 c #random_decision = 0 5.19/5.24 c #conflict = 21 5.19/5.24 c #restart = 0 5.19/5.24 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2 5.19/5.24 c lower bound updated to 22 5.19/5.24 c BCD2: 22 <= obj <= 97 5.19/5.24 c BCD2: #cores=15, #unrelaxed=55, #relaxed=43, #hardened=0 5.19/5.24 c BCD2: #sat=1 #unsat=23 bias=23/24 5.19/5.24 c Solving starts ... 5.19/5.24 c ============================[ Search Statistics ]============================ 5.19/5.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.19/5.24 c | | | | Limit GC | Var | Constra 5.19/5.24 c ============================================================================= 5.19/5.25 c 0.0s | 0 | 0 | 0 | 25370 0 | 5067 | 4237 5.29/5.30 c 0.1s | 0 | 280 | 90 | 25370 0 | 5067 | 4238 5.29/5.30 c #cpu_time = 0.057s 5.29/5.30 c #wall_clock_time = 0.057s 5.29/5.30 c #decision = 280 5.29/5.30 c #random_decision = 0 5.29/5.30 c #conflict = 90 5.29/5.30 c #restart = 0 5.29/5.30 c BCD2: found a new core of size 2: cost of the new core is >=1 5.29/5.30 c lower bound updated to 23 5.29/5.30 c BCD2: 23 <= obj <= 97 5.29/5.30 c BCD2: #cores=16, #unrelaxed=53, #relaxed=45, #hardened=0 5.29/5.30 c BCD2: #sat=1 #unsat=24 bias=24/25 5.29/5.30 c Solving starts ... 5.29/5.30 c ============================[ Search Statistics ]============================ 5.29/5.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.29/5.30 c | | | | Limit GC | Var | Constra 5.29/5.30 c ============================================================================= 5.29/5.30 c 0.0s | 0 | 0 | 0 | 25370 0 | 5067 | 4238 5.29/5.36 c 0.1s | 0 | 261 | 72 | 27908 0 | 5067 | 4238 5.29/5.36 c #cpu_time = 0.054s 5.29/5.36 c #wall_clock_time = 0.054s 5.29/5.36 c #decision = 261 5.29/5.36 c #random_decision = 0 5.29/5.36 c #conflict = 72 5.29/5.36 c #restart = 0 5.29/5.36 c BCD2: found a new core of size 2: cost of the new core is >=1 5.29/5.36 c lower bound updated to 24 5.29/5.36 c BCD2: 24 <= obj <= 97 5.29/5.36 c BCD2: #cores=17, #unrelaxed=51, #relaxed=47, #hardened=0 5.29/5.36 c BCD2: #sat=1 #unsat=25 bias=25/26 5.29/5.36 c Solving starts ... 5.29/5.36 c ============================[ Search Statistics ]============================ 5.29/5.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.29/5.36 c | | | | Limit GC | Var | Constra 5.29/5.36 c ============================================================================= 5.29/5.36 c 0.0s | 0 | 0 | 0 | 27908 0 | 5067 | 4238 5.39/5.41 c 0.1s | 0 | 286 | 67 | 27908 0 | 5067 | 4238 5.39/5.41 c #cpu_time = 0.052s 5.39/5.41 c #wall_clock_time = 0.052s 5.39/5.41 c #decision = 286 5.39/5.41 c #random_decision = 0 5.39/5.41 c #conflict = 67 5.39/5.41 c #restart = 0 5.39/5.41 c BCD2: found a new core of size 3: cost of the new core is >=1 5.39/5.41 c lower bound updated to 25 5.39/5.41 c BCD2: 25 <= obj <= 97 5.39/5.41 c BCD2: #cores=18, #unrelaxed=48, #relaxed=50, #hardened=0 5.39/5.41 c BCD2: #sat=1 #unsat=26 bias=26/27 5.39/5.41 c Solving starts ... 5.39/5.41 c ============================[ Search Statistics ]============================ 5.39/5.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.39/5.41 c | | | | Limit GC | Var | Constra 5.39/5.41 c ============================================================================= 5.39/5.41 c 0.0s | 0 | 0 | 0 | 27908 0 | 5067 | 4238 5.39/5.48 c 0.1s | 1 | 397 | 100 | 27908 0 | 5067 | 4238 5.59/5.61 c 0.2s | 2 | 886 | 250 | 30699 0 | 5067 | 4238 5.59/5.63 c 0.2s | 2 | 953 | 251 | 30699 0 | 5067 | 4238 5.59/5.63 c #cpu_time = 0.221s 5.59/5.63 c #wall_clock_time = 0.222s 5.59/5.63 c #decision = 953 5.59/5.63 c #random_decision = 2 5.59/5.63 c #conflict = 251 5.59/5.63 c #restart = 2 5.59/5.63 c BCD2: found a new core of size 2: cost of the new core is >=1 5.59/5.63 c lower bound updated to 26 5.59/5.63 c BCD2: 26 <= obj <= 97 5.59/5.63 c BCD2: #cores=19, #unrelaxed=46, #relaxed=52, #hardened=0 5.59/5.63 c BCD2: #sat=1 #unsat=27 bias=27/28 5.59/5.63 c Solving starts ... 5.59/5.63 c ============================[ Search Statistics ]============================ 5.59/5.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.59/5.63 c | | | | Limit GC | Var | Constra 5.59/5.63 c ============================================================================= 5.59/5.63 c 0.0s | 0 | 0 | 0 | 30699 0 | 5067 | 4238 5.69/5.70 c 0.1s | 0 | 382 | 78 | 30699 0 | 5067 | 4238 5.69/5.70 c #cpu_time = 0.069s 5.69/5.70 c #wall_clock_time = 0.069s 5.69/5.70 c #decision = 382 5.69/5.70 c #random_decision = 1 5.69/5.70 c #conflict = 78 5.69/5.70 c #restart = 0 5.69/5.70 c BCD2: found a new core of size 2: cost of the new core is >=1 5.69/5.70 c lower bound updated to 27 5.69/5.70 c BCD2: 27 <= obj <= 97 5.69/5.70 c BCD2: #cores=20, #unrelaxed=44, #relaxed=54, #hardened=0 5.69/5.70 c BCD2: #sat=1 #unsat=28 bias=28/29 5.69/5.70 c Solving starts ... 5.69/5.70 c ============================[ Search Statistics ]============================ 5.69/5.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.69/5.70 c | | | | Limit GC | Var | Constra 5.69/5.70 c ============================================================================= 5.69/5.70 c 0.0s | 0 | 0 | 0 | 30699 0 | 5067 | 4238 5.69/5.74 c 0.0s | 0 | 337 | 20 | 30699 0 | 5067 | 4238 5.69/5.74 c #cpu_time = 0.037s 5.69/5.74 c #wall_clock_time = 0.037s 5.69/5.74 c #decision = 337 5.69/5.74 c #random_decision = 0 5.69/5.74 c #conflict = 20 5.69/5.74 c #restart = 0 5.69/5.74 c BCD2: found a new core of size 2: cost of the new core is >=1 5.69/5.74 c lower bound updated to 28 5.69/5.74 c BCD2: 28 <= obj <= 97 5.69/5.74 c BCD2: #cores=21, #unrelaxed=42, #relaxed=56, #hardened=0 5.69/5.74 c BCD2: #sat=1 #unsat=29 bias=29/30 5.69/5.74 c Solving starts ... 5.69/5.74 c ============================[ Search Statistics ]============================ 5.69/5.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.69/5.74 c | | | | Limit GC | Var | Constra 5.69/5.74 c ============================================================================= 5.69/5.74 c 0.0s | 0 | 0 | 0 | 30699 0 | 5067 | 4238 5.79/5.81 c 0.1s | 0 | 598 | 51 | 30699 0 | 5067 | 4238 5.79/5.81 c #cpu_time = 0.071s 5.79/5.81 c #wall_clock_time = 0.071s 5.79/5.81 c #decision = 598 5.79/5.81 c #random_decision = 2 5.79/5.81 c #conflict = 51 5.79/5.81 c #restart = 0 5.79/5.81 c BCD2: found a new core of size 3: cost of the new core is >=1 5.79/5.81 c lower bound updated to 29 5.79/5.81 c BCD2: 29 <= obj <= 97 5.79/5.81 c BCD2: #cores=22, #unrelaxed=39, #relaxed=59, #hardened=0 5.79/5.81 c BCD2: #sat=1 #unsat=30 bias=30/31 5.79/5.81 c Solving starts ... 5.79/5.81 c ============================[ Search Statistics ]============================ 5.79/5.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.79/5.81 c | | | | Limit GC | Var | Constra 5.79/5.81 c ============================================================================= 5.79/5.82 c 0.0s | 0 | 0 | 0 | 30699 0 | 5067 | 4238 5.89/5.90 c 0.1s | 1 | 421 | 100 | 30699 0 | 5067 | 4238 5.99/6.00 c 0.2s | 1 | 1113 | 212 | 30699 0 | 5067 | 4238 5.99/6.00 c #cpu_time = 0.179s 5.99/6.00 c #wall_clock_time = 0.179s 5.99/6.00 c #decision = 1113 5.99/6.00 c #random_decision = 2 5.99/6.00 c #conflict = 212 5.99/6.00 c #restart = 1 5.99/6.00 c BCD2: found a new core of size 7: cost of the new core is >=1 5.99/6.00 c lower bound updated to 30 5.99/6.00 c BCD2: 30 <= obj <= 97 5.99/6.00 c BCD2: #cores=23, #unrelaxed=32, #relaxed=66, #hardened=0 5.99/6.00 c BCD2: #sat=1 #unsat=31 bias=31/32 5.99/6.00 c Solving starts ... 5.99/6.00 c ============================[ Search Statistics ]============================ 5.99/6.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.99/6.00 c | | | | Limit GC | Var | Constra 5.99/6.00 c ============================================================================= 5.99/6.00 c 0.0s | 0 | 0 | 0 | 30699 0 | 5067 | 4238 5.99/6.06 c 0.1s | 0 | 555 | 5 | 30699 0 | 5067 | 4238 5.99/6.06 c #cpu_time = 0.054s 5.99/6.06 c #wall_clock_time = 0.055s 5.99/6.06 c #decision = 555 5.99/6.06 c #random_decision = 1 5.99/6.06 c #conflict = 5 5.99/6.06 c #restart = 0 5.99/6.06 o 46 5.99/6.06 c BCD2: updating upper bound: 97 -> 45 5.99/6.06 c BCD2: 30 <= obj <= 45 5.99/6.06 c BCD2: #cores=23, #unrelaxed=32, #relaxed=66, #hardened=0 5.99/6.06 c BCD2: #sat=2 #unsat=31 bias=31/33 5.99/6.06 c Solving starts ... 5.99/6.06 c ============================[ Search Statistics ]============================ 5.99/6.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.99/6.06 c | | | | Limit GC | Var | Constra 5.99/6.06 c ============================================================================= 5.99/6.06 c 0.0s | 0 | 0 | 0 | 30699 0 | 5067 | 4239 6.09/6.14 c 0.1s | 1 | 524 | 100 | 30699 0 | 5067 | 4239 6.19/6.27 c 0.2s | 2 | 807 | 250 | 33769 0 | 5067 | 4239 6.39/6.47 c 0.4s | 3 | 1225 | 475 | 33769 0 | 5067 | 4239 6.59/6.62 c 0.6s | 3 | 1557 | 585 | 33769 0 | 5067 | 4239 6.59/6.62 c #cpu_time = 0.559s 6.59/6.62 c #wall_clock_time = 0.560s 6.59/6.62 c #decision = 1557 6.59/6.62 c #random_decision = 4 6.59/6.62 c #conflict = 585 6.59/6.62 c #restart = 3 6.59/6.62 c BCD2: relaxing 8 and merging with 5 cores into a new core of size 24: cost of the new core is >=6 6.59/6.62 c lower bound updated to 31 6.59/6.62 c BCD2: 31 <= obj <= 45 6.59/6.62 c BCD2: #cores=19, #unrelaxed=24, #relaxed=74, #hardened=0 6.59/6.62 c BCD2: #sat=2 #unsat=32 bias=32/34 6.59/6.62 c Solving starts ... 6.59/6.62 c ============================[ Search Statistics ]============================ 6.59/6.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 6.59/6.62 c | | | | Limit GC | Var | Constra 6.59/6.62 c ============================================================================= 6.59/6.62 c 0.0s | 0 | 0 | 0 | 33769 0 | 5074 | 4239 6.69/6.74 c 0.1s | 0 | 761 | 97 | 33769 0 | 5074 | 4248 6.69/6.74 c #cpu_time = 0.108s 6.69/6.74 c #wall_clock_time = 0.109s 6.69/6.74 c #decision = 761 6.69/6.74 c #random_decision = 2 6.69/6.74 c #conflict = 97 6.69/6.74 c #restart = 0 6.69/6.74 o 41 6.69/6.74 c BCD2: updating upper bound: 45 -> 40 6.69/6.74 c BCD2: 31 <= obj <= 40 6.69/6.74 c BCD2: #cores=19, #unrelaxed=24, #relaxed=74, #hardened=0 6.69/6.74 c BCD2: #sat=3 #unsat=32 bias=32/35 6.69/6.74 c Solving starts ... 6.69/6.74 c ============================[ Search Statistics ]============================ 6.69/6.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 6.69/6.74 c | | | | Limit GC | Var | Constra 6.69/6.74 c ============================================================================= 6.69/6.74 c 0.0s | 0 | 0 | 0 | 33769 0 | 5074 | 4249 6.79/6.83 c 0.1s | 1 | 592 | 100 | 33769 0 | 5074 | 4249 6.89/6.94 c 0.2s | 1 | 1377 | 216 | 37146 0 | 5074 | 4249 6.89/6.94 c #cpu_time = 0.197s 6.89/6.94 c #wall_clock_time = 0.197s 6.89/6.94 c #decision = 1377 6.89/6.94 c #random_decision = 2 6.89/6.94 c #conflict = 216 6.89/6.94 c #restart = 1 6.89/6.94 o 39 6.89/6.94 c BCD2: updating upper bound: 40 -> 38 6.89/6.95 c BCD2: 31 <= obj <= 38 6.89/6.95 c BCD2: #cores=19, #unrelaxed=24, #relaxed=74, #hardened=0 6.89/6.95 c BCD2: #sat=4 #unsat=32 bias=32/36 6.89/6.95 c Solving starts ... 6.89/6.95 c ============================[ Search Statistics ]============================ 6.89/6.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 6.89/6.95 c | | | | Limit GC | Var | Constra 6.89/6.95 c ============================================================================= 6.89/6.95 c 0.0s | 0 | 0 | 0 | 37146 0 | 5074 | 4250 6.98/7.04 c 0.1s | 1 | 850 | 100 | 37146 0 | 5074 | 4250 7.08/7.18 c 0.2s | 2 | 1577 | 250 | 37146 0 | 5075 | 4262 7.28/7.33 c 0.4s | 2 | 2382 | 373 | 37146 0 | 5075 | 4262 7.28/7.33 c #cpu_time = 0.378s 7.28/7.33 c #wall_clock_time = 0.379s 7.28/7.33 c #decision = 2382 7.28/7.33 c #random_decision = 1 7.28/7.33 c #conflict = 373 7.28/7.33 c #restart = 2 7.28/7.33 o 37 7.28/7.33 c BCD2: updating upper bound: 38 -> 36 7.28/7.33 c BCD2: 31 <= obj <= 36 7.28/7.33 c BCD2: #cores=19, #unrelaxed=24, #relaxed=74, #hardened=0 7.28/7.33 c BCD2: #sat=5 #unsat=32 bias=32/37 7.28/7.33 c Solving starts ... 7.28/7.33 c ============================[ Search Statistics ]============================ 7.28/7.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.28/7.33 c | | | | Limit GC | Var | Constra 7.28/7.33 c ============================================================================= 7.28/7.33 c 0.0s | 0 | 0 | 0 | 37146 0 | 5075 | 4263 7.38/7.41 c 0.1s | 1 | 397 | 100 | 37146 0 | 5075 | 4263 7.48/7.54 c 0.2s | 2 | 717 | 250 | 37146 0 | 5075 | 4263 7.69/7.76 c 0.4s | 3 | 1529 | 475 | 37146 0 | 5075 | 4263 7.98/8.05 c 0.7s | 4 | 2129 | 813 | 40861 0 | 5075 | 4263 8.59/8.60 c 1.3s | 5 | 2834 | 1320 | 40861 0 | 5075 | 4263 9.49/9.52 c 2.2s | 6 | 4094 | 2081 | 40861 0 | 5075 | 4263 10.39/10.46 c 3.1s | 7 | 6344 | 3223 | 44948 0 | 5075 | 4263 12.20/12.28 c 4.9s | 8 | 8960 | 4936 | 44948 0 | 5075 | 4263 14.30/14.31 c 7.0s | 8 | 13868 | 7036 | 49443 0 | 5075 | 4263 14.89/14.92 c 7.6s | 9 | 14361 | 7506 | 49443 0 | 5075 | 4263 16.89/16.97 c 9.6s | 9 | 16963 | 9406 | 54388 0 | 5076 | 4277 18.89/18.99 c 11.7s | 10 | 19602 | 11361 | 54388 0 | 5076 | 4277 20.99/21.00 c 13.7s | 10 | 22338 | 13261 | 54388 0 | 5076 | 4277 22.99/23.08 c 15.7s | 10 | 24450 | 14961 | 59827 0 | 5076 | 4277 23.19/23.28 c 15.9s | 10 | 24962 | 15194 | 59827 0 | 5076 | 4277 23.19/23.28 c #cpu_time = 15.903s 23.19/23.28 c #wall_clock_time = 15.944s 23.19/23.28 c #decision = 24962 23.19/23.28 c #random_decision = 87 23.19/23.28 c #conflict = 15194 23.19/23.28 c #restart = 10 23.19/23.28 c BCD2: relaxing 9 and merging with 4 cores into a new core of size 52: cost of the new core is >=15 23.19/23.28 c lower bound updated to 32 23.19/23.28 c BCD2: 32 <= obj <= 36 23.19/23.28 c BCD2: #cores=16, #unrelaxed=15, #relaxed=83, #hardened=0 23.19/23.28 c BCD2: #sat=5 #unsat=33 bias=33/38 23.19/23.28 c Solving starts ... 23.19/23.28 c ============================[ Search Statistics ]============================ 23.19/23.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 23.19/23.28 c | | | | Limit GC | Var | Constra 23.19/23.28 c ============================================================================= 23.19/23.28 c 0.0s | 0 | 0 | 0 | 59827 0 | 5085 | 4277 23.49/23.58 c 0.3s | 1 | 241 | 100 | 59827 0 | 5085 | 4291 23.59/23.67 c 0.4s | 2 | 512 | 250 | 59827 0 | 5085 | 4291 23.69/23.78 c 0.5s | 3 | 872 | 475 | 59827 0 | 5085 | 4291 23.89/23.92 c 0.6s | 4 | 1330 | 813 | 59827 0 | 5085 | 4291 24.09/24.12 c 0.8s | 5 | 1994 | 1320 | 59827 0 | 5085 | 4291 24.49/24.52 c 1.2s | 6 | 3059 | 2081 | 59827 0 | 5085 | 4291 25.09/25.19 c 1.9s | 7 | 4645 | 3223 | 59827 0 | 5085 | 4291 25.89/25.99 c 2.7s | 8 | 7087 | 4936 | 59827 0 | 5085 | 4291 27.39/27.43 c 4.2s | 9 | 10492 | 7506 | 59827 0 | 5085 | 4291 29.39/29.44 c 6.2s | 9 | 14830 | 10906 | 65810 0 | 5085 | 4291 29.59/29.63 c 6.4s | 10 | 15422 | 11361 | 65810 0 | 5085 | 4291 31.59/31.66 c 8.4s | 10 | 20131 | 14861 | 65810 0 | 5085 | 4291 32.99/33.02 c 9.7s | 11 | 22919 | 17144 | 65810 0 | 5085 | 4291 34.98/35.05 c 11.8s | 11 | 26565 | 20144 | 65810 0 | 5085 | 4291 36.98/37.08 c 13.8s | 11 | 30119 | 23044 | 72391 0 | 5085 | 4291 39.08/39.11 c 15.8s | 11 | 33398 | 25744 | 72391 0 | 5085 | 4291 39.08/39.16 c 15.9s | 12 | 33477 | 25819 | 72391 0 | 5085 | 4291 41.18/41.23 c 18.0s | 12 | 36457 | 28219 | 72391 0 | 5085 | 4291 43.28/43.34 c 20.1s | 12 | 39368 | 30519 | 72391 0 | 5085 | 4291 45.28/45.36 c 22.1s | 12 | 42928 | 33119 | 72391 0 | 5085 | 4291 47.29/47.37 c 24.1s | 12 | 46051 | 35519 | 72391 0 | 5085 | 4291 49.38/49.40 c 26.1s | 12 | 49206 | 38119 | 72391 0 | 5085 | 4291 49.78/49.84 c 26.6s | 13 | 50074 | 38832 | 72391 0 | 5085 | 4291 51.79/51.86 c 28.6s | 13 | 52766 | 40932 | 79631 0 | 5086 | 4305 53.78/53.87 c 30.6s | 13 | 55755 | 43332 | 79631 0 | 5086 | 4305 55.78/55.89 c 32.6s | 13 | 59004 | 45932 | 79631 0 | 5086 | 4305 57.88/57.93 c 34.7s | 13 | 62178 | 48432 | 79631 0 | 5086 | 4305 59.88/59.97 c 36.7s | 13 | 65125 | 50732 | 79631 0 | 5086 | 4305 61.98/62.02 c 38.7s | 13 | 67961 | 53032 | 79631 0 | 5086 | 4305 63.98/64.03 c 40.8s | 13 | 71460 | 55832 | 79631 0 | 5086 | 4305 65.68/65.70 c 42.4s | 14 | 74727 | 58352 | 79631 0 | 5086 | 4305 67.68/67.72 c 44.4s | 14 | 77753 | 60752 | 79631 0 | 5086 | 4305 69.68/69.73 c 46.5s | 14 | 80719 | 63152 | 79631 0 | 5086 | 4305 71.68/71.78 c 48.5s | 14 | 84227 | 65852 | 79631 0 | 5086 | 4305 73.78/73.84 c 50.6s | 14 | 87321 | 67452 | 79631 0 | 5086 | 4305 75.88/75.99 c 52.7s | 14 | 89738 | 69052 | 79631 0 | 5086 | 4305 77.98/78.07 c 54.8s | 14 | 92647 | 70652 | 87595 0 | 5086 | 4305 79.97/80.09 c 56.8s | 14 | 95005 | 72352 | 87595 0 | 5086 | 4305 82.07/82.14 c 58.9s | 14 | 97547 | 74052 | 87595 0 | 5086 | 4305 84.17/84.26 c 61.0s | 14 | 100710 | 75952 | 87595 0 | 5086 | 4305 86.27/86.32 c 63.0s | 14 | 102881 | 77452 | 87595 0 | 5086 | 4305 88.37/88.42 c 65.1s | 14 | 105174 | 79052 | 87595 0 | 5086 | 4305 90.47/90.53 c 67.3s | 14 | 107560 | 80652 | 87595 0 | 5086 | 4305 92.48/92.58 c 69.3s | 14 | 109956 | 82352 | 87595 0 | 5086 | 4305 94.58/94.68 c 71.4s | 14 | 111973 | 83852 | 87595 0 | 5086 | 4305 96.67/96.72 c 73.4s | 14 | 114247 | 85452 | 87595 0 | 5086 | 4305 98.67/98.74 c 75.5s | 14 | 116474 | 86952 | 87595 0 | 5086 | 4305 99.37/99.46 c 76.2s | 15 | 117477 | 87632 | 87595 0 | 5086 | 4305 101.37/101.47 c 78.2s | 15 | 119711 | 89132 | 87595 0 | 5086 | 4305 103.96/104.01 c 80.7s | 15 | 120910 | 90032 | 87595 1 | 5086 | 4305 112.17/112.22 c 88.9s | 15 | 121039 | 90132 | 87595 1 | 5086 | 4305 114.26/114.36 c 91.1s | 15 | 122511 | 91232 | 87595 1 | 5086 | 4305 116.36/116.46 c 93.2s | 15 | 124706 | 92732 | 87595 1 | 5086 | 4305 125.37/125.50 c 102s | 15 | 126593 | 94232 | 87595 1 | 5086 | 4305 189.65/189.73 c 166s | 15 | 127370 | 94832 | 87595 1 | 5086 | 4305 191.75/191.86 c 168s | 15 | 129357 | 96332 | 87595 1 | 5086 | 4305 193.85/193.96 c 170s | 15 | 130879 | 97232 | 87595 1 | 5086 | 4305 195.85/195.99 c 172s | 15 | 133024 | 98732 | 87595 1 | 5086 | 4305 197.84/197.99 c 174s | 15 | 134958 | 100232 | 87595 1 | 5086 | 4305 200.04/200.11 c 176s | 15 | 136922 | 101832 | 87595 1 | 5086 | 4305 202.04/202.11 c 178s | 15 | 138816 | 103332 | 87595 1 | 5086 | 4305 204.04/204.16 c 180s | 15 | 140784 | 104632 | 87595 1 | 5086 | 4305 206.04/206.18 c 182s | 15 | 143191 | 106032 | 87595 1 | 5086 | 4305 208.14/208.24 c 184s | 15 | 145543 | 107432 | 87595 1 | 5086 | 4305 210.24/210.30 c 187s | 15 | 148122 | 108932 | 87595 1 | 5086 | 4305 212.25/212.32 c 189s | 15 | 150712 | 110532 | 87595 1 | 5086 | 4305 214.25/214.37 c 191s | 15 | 153020 | 111832 | 87595 1 | 5086 | 4305 216.25/216.38 c 193s | 15 | 155157 | 113332 | 96355 1 | 5086 | 4305 218.35/218.45 c 195s | 15 | 157462 | 114932 | 96355 1 | 5086 | 4305 220.35/220.49 c 197s | 15 | 159210 | 116232 | 96355 1 | 5086 | 4305 222.55/222.60 c 199s | 15 | 160553 | 117232 | 96355 1 | 5086 | 4305 224.65/224.70 c 201s | 15 | 162093 | 118432 | 96355 1 | 5086 | 4305 226.75/226.83 c 203s | 15 | 163816 | 119732 | 96355 1 | 5086 | 4305 228.76/228.86 c 205s | 15 | 165550 | 121032 | 96355 1 | 5086 | 4305 230.85/230.90 c 207s | 15 | 167332 | 122332 | 96355 1 | 5086 | 4305 232.95/233.04 c 209s | 15 | 169110 | 123632 | 96355 1 | 5086 | 4305 235.05/235.15 c 211s | 15 | 170657 | 124832 | 96355 1 | 5086 | 4305 237.15/237.20 c 213s | 15 | 172395 | 126132 | 96355 1 | 5086 | 4305 239.15/239.25 c 215s | 15 | 174112 | 127432 | 96355 1 | 5086 | 4305 241.25/241.35 c 218s | 15 | 175779 | 128632 | 96355 1 | 5086 | 4305 243.34/243.40 c 220s | 15 | 177398 | 129932 | 96355 1 | 5086 | 4305 245.35/245.45 c 222s | 15 | 178895 | 131032 | 96355 1 | 5086 | 4305 246.24/246.35 c 223s | 16 | 179682 | 131552 | 96355 1 | 5086 | 4305 248.24/248.38 c 225s | 16 | 180204 | 131852 | 96355 1 | 5086 | 4305 250.44/250.50 c 227s | 16 | 181521 | 132752 | 96355 1 | 5086 | 4305 252.54/252.62 c 229s | 16 | 182649 | 133552 | 96355 1 | 5086 | 4305 254.74/254.86 c 231s | 16 | 183990 | 134552 | 96355 1 | 5086 | 4305 256.84/256.92 c 233s | 16 | 185214 | 135452 | 96355 1 | 5086 | 4305 258.83/258.92 c 235s | 16 | 186431 | 136352 | 96355 1 | 5086 | 4305 265.72/265.84 c 242s | 16 | 187692 | 137352 | 96355 1 | 5086 | 4305 267.92/268.04 c 244s | 16 | 189279 | 138552 | 96355 1 | 5086 | 4305 270.02/270.14 c 246s | 16 | 190684 | 139452 | 96355 1 | 5086 | 4305 272.22/272.33 c 249s | 16 | 192046 | 140452 | 96355 1 | 5086 | 4305 274.42/274.58 c 251s | 16 | 193375 | 141452 | 96355 1 | 5086 | 4305 276.52/276.64 c 253s | 16 | 194397 | 142252 | 96355 1 | 5086 | 4305 278.52/278.68 c 255s | 16 | 195619 | 143252 | 96355 1 | 5086 | 4305 280.62/280.75 c 257s | 16 | 196758 | 144152 | 96355 1 | 5086 | 4305 282.82/282.97 c 259s | 16 | 198076 | 145152 | 96355 1 | 5086 | 4305 285.12/285.24 c 261s | 16 | 198514 | 145452 | 96355 2 | 5086 | 4305 287.23/287.36 c 264s | 16 | 199830 | 146452 | 96355 2 | 5086 | 4305 290.02/290.18 c 266s | 16 | 200843 | 146952 | 96355 2 | 5086 | 4305 294.62/294.71 c 271s | 16 | 201841 | 147552 | 96355 2 | 5086 | 4305 296.72/296.86 c 273s | 16 | 204267 | 148952 | 96355 2 | 5086 | 4305 308.03/308.19 c 284s | 16 | 204439 | 149052 | 96355 2 | 5086 | 4305 320.42/320.53 c 297s | 16 | 204628 | 149152 | 96355 2 | 5086 | 4305 322.52/322.65 c 299s | 16 | 206477 | 150552 | 96355 2 | 5086 | 4305 340.12/340.21 c 316s | 16 | 208009 | 151752 | 96355 2 | 5086 | 4305 342.22/342.34 c 319s | 16 | 209867 | 153052 | 96355 2 | 5086 | 4305 344.32/344.45 c 321s | 16 | 211705 | 154452 | 96355 2 | 5086 | 4305 346.42/346.52 c 323s | 16 | 213545 | 155652 | 96355 2 | 5086 | 4305 348.51/348.61 c 325s | 16 | 215487 | 156952 | 96355 2 | 5086 | 4305 350.51/350.64 c 327s | 16 | 217317 | 158152 | 96355 2 | 5086 | 4305 352.71/352.82 c 329s | 16 | 219047 | 159452 | 96355 2 | 5086 | 4305 354.81/354.90 c 331s | 16 | 220680 | 160752 | 96355 2 | 5086 | 4305 356.81/356.91 c 333s | 16 | 222452 | 162052 | 96355 2 | 5086 | 4305 358.91/359.05 c 335s | 16 | 223632 | 162952 | 96355 2 | 5086 | 4305 361.11/361.24 c 337s | 16 | 225293 | 164052 | 96355 2 | 5086 | 4305 363.31/363.40 c 340s | 16 | 226713 | 165052 | 96355 2 | 5086 | 4305 365.31/365.48 c 342s | 16 | 228184 | 166152 | 96355 2 | 5086 | 4305 367.51/367.63 c 344s | 16 | 229960 | 167452 | 96355 2 | 5086 | 4305 369.70/369.88 c 346s | 16 | 231622 | 168452 | 96355 2 | 5086 | 4305 371.71/371.89 c 348s | 16 | 232937 | 169352 | 96355 2 | 5086 | 4305 373.91/374.03 c 350s | 16 | 234367 | 170352 | 96355 2 | 5086 | 4305 376.00/376.14 c 352s | 16 | 235580 | 171252 | 96355 2 | 5086 | 4305 378.10/378.27 c 354s | 16 | 237060 | 172252 | 96355 2 | 5086 | 4305 380.20/380.32 c 357s | 16 | 238364 | 173152 | 96355 2 | 5086 | 4305 382.20/382.33 c 359s | 16 | 239878 | 174152 | 96355 2 | 5086 | 4305 384.40/384.52 c 361s | 16 | 241306 | 175152 | 96355 2 | 5086 | 4305 386.40/386.57 c 363s | 16 | 242925 | 176252 | 96355 2 | 5086 | 4305 388.50/388.62 c 365s | 16 | 244460 | 177252 | 96355 2 | 5086 | 4305 390.51/390.65 c 367s | 16 | 245936 | 178252 | 96355 2 | 5086 | 4305 392.49/392.67 c 369s | 16 | 247559 | 179452 | 105991 2 | 5086 | 4305 394.59/394.75 c 371s | 16 | 249137 | 180552 | 105991 2 | 5086 | 4305 396.59/396.75 c 373s | 16 | 250199 | 181352 | 105991 2 | 5086 | 4305 398.79/398.94 c 375s | 16 | 251455 | 182252 | 105991 2 | 5086 | 4305 400.89/401.09 c 377s | 16 | 252787 | 183152 | 105991 2 | 5086 | 4305 402.99/403.16 c 379s | 16 | 253919 | 183952 | 105991 2 | 5086 | 4305 405.09/405.29 c 382s | 16 | 255023 | 184752 | 105991 2 | 5086 | 4305 407.29/407.41 c 384s | 16 | 256449 | 185752 | 105991 2 | 5086 | 4305 409.39/409.58 c 386s | 16 | 258135 | 186852 | 105991 2 | 5086 | 4305 411.59/411.79 c 388s | 16 | 259130 | 187552 | 105991 2 | 5086 | 4305 413.68/413.88 c 390s | 16 | 260314 | 188352 | 105991 2 | 5086 | 4305 415.79/415.94 c 392s | 16 | 261613 | 189252 | 105991 2 | 5086 | 4305 418.08/418.21 c 394s | 16 | 262864 | 190152 | 105991 2 | 5086 | 4305 420.19/420.31 c 397s | 16 | 264108 | 190952 | 105991 2 | 5086 | 4305 422.18/422.38 c 399s | 16 | 265186 | 191752 | 105991 2 | 5086 | 4305 424.38/424.54 c 401s | 16 | 266453 | 192652 | 105991 2 | 5086 | 4305 426.48/426.65 c 403s | 16 | 267596 | 193452 | 105991 2 | 5086 | 4305 428.67/428.84 c 405s | 16 | 268871 | 194352 | 105991 2 | 5086 | 4305 430.77/431.00 c 407s | 16 | 270012 | 195152 | 105991 2 | 5086 | 4305 432.97/433.18 c 409s | 16 | 270797 | 195752 | 105991 2 | 5086 | 4305 435.17/435.30 c 412s | 16 | 271778 | 196452 | 105991 2 | 5086 | 4305 437.17/437.37 c 414s | 16 | 272644 | 197052 | 105991 2 | 5086 | 4305 438.37/438.56 c 415s | 17 | 273137 | 197432 | 105991 2 | 5086 | 4305 440.47/440.63 c 417s | 17 | 273876 | 197932 | 105991 2 | 5086 | 4305 443.76/443.93 c 420s | 17 | 274819 | 198632 | 105991 2 | 5086 | 4305 446.06/446.22 c 422s | 17 | 275787 | 199332 | 105991 2 | 5086 | 4305 448.06/448.25 c 424s | 17 | 276753 | 200032 | 105991 2 | 5086 | 4305 450.16/450.30 c 427s | 17 | 277770 | 200732 | 105991 2 | 5086 | 4305 452.36/452.59 c 429s | 17 | 278875 | 201532 | 105991 2 | 5086 | 4305 454.76/454.98 c 431s | 17 | 280069 | 202332 | 105991 2 | 5086 | 4305 457.06/457.24 c 433s | 17 | 280983 | 203032 | 105991 2 | 5086 | 4305 459.16/459.39 c 436s | 17 | 281976 | 203732 | 105991 2 | 5086 | 4305 461.36/461.55 c 438s | 17 | 283193 | 204532 | 105991 2 | 5086 | 4305 463.65/463.85 c 440s | 17 | 284198 | 205232 | 105991 2 | 5086 | 4305 470.26/470.42 c 447s | 17 | 285136 | 205932 | 105991 3 | 5086 | 4305 472.35/472.53 c 449s | 17 | 285692 | 206332 | 105991 3 | 5086 | 4305 482.25/482.43 c 459s | 17 | 286652 | 207032 | 105991 3 | 5086 | 4305 484.34/484.58 c 461s | 17 | 288124 | 208132 | 105991 3 | 5086 | 4305 486.54/486.73 c 463s | 17 | 289933 | 209432 | 105991 3 | 5086 | 4305 496.44/496.61 c 473s | 17 | 290314 | 209632 | 105991 3 | 5086 | 4305 498.54/498.70 c 475s | 17 | 291530 | 210532 | 105991 3 | 5086 | 4305 500.64/500.80 c 477s | 17 | 292751 | 211432 | 105991 3 | 5086 | 4305 502.74/502.90 c 479s | 17 | 294057 | 212432 | 105991 3 | 5086 | 4305 504.74/505.00 c 481s | 17 | 295638 | 213532 | 105991 3 | 5086 | 4305 507.04/507.20 c 483s | 17 | 297004 | 214532 | 105991 3 | 5086 | 4305 509.24/509.43 c 486s | 17 | 298454 | 215632 | 105991 3 | 5086 | 4305 511.34/511.52 c 488s | 17 | 299810 | 216632 | 105991 3 | 5086 | 4305 513.33/513.56 c 490s | 17 | 301347 | 217632 | 105991 3 | 5086 | 4305 515.43/515.69 c 492s | 17 | 302594 | 218532 | 105991 3 | 5086 | 4305 517.63/517.82 c 494s | 17 | 303939 | 219532 | 105991 3 | 5086 | 4305 519.83/520.00 c 496s | 17 | 305100 | 220432 | 105991 3 | 5086 | 4305 521.83/522.03 c 498s | 17 | 306226 | 221232 | 105991 3 | 5086 | 4305 523.93/524.12 c 500s | 17 | 307670 | 222232 | 105991 3 | 5086 | 4305 525.93/526.13 c 502s | 17 | 309163 | 222932 | 105991 3 | 5086 | 4305 528.13/528.37 c 505s | 17 | 309962 | 223532 | 105991 3 | 5086 | 4305 530.23/530.45 c 507s | 17 | 310902 | 224132 | 105991 3 | 5086 | 4305 532.43/532.60 c 509s | 17 | 311819 | 224732 | 105991 3 | 5086 | 4305 534.43/534.62 c 511s | 17 | 312665 | 225332 | 105991 3 | 5086 | 4305 536.53/536.78 c 513s | 17 | 313682 | 226032 | 105991 3 | 5086 | 4305 538.83/539.01 c 515s | 17 | 314771 | 226832 | 105991 3 | 5086 | 4305 541.03/541.25 c 517s | 17 | 315926 | 227632 | 105991 3 | 5086 | 4305 543.12/543.31 c 520s | 17 | 316890 | 228332 | 105991 3 | 5086 | 4305 545.12/545.38 c 522s | 17 | 318246 | 229132 | 105991 3 | 5086 | 4305 547.32/547.54 c 524s | 17 | 319252 | 229832 | 105991 3 | 5086 | 4305 549.42/549.66 c 526s | 17 | 320415 | 230632 | 105991 3 | 5086 | 4305 551.62/551.85 c 528s | 17 | 321398 | 231332 | 105991 3 | 5086 | 4305 553.81/554.04 c 530s | 17 | 322404 | 232032 | 105991 3 | 5086 | 4305 556.01/556.20 c 532s | 17 | 323404 | 232732 | 105991 3 | 5086 | 4305 558.31/558.53 c 535s | 17 | 324596 | 233532 | 105991 3 | 5086 | 4305 560.41/560.60 c 537s | 17 | 325880 | 234332 | 105991 3 | 5086 | 4305 562.51/562.74 c 539s | 17 | 327047 | 235132 | 105991 3 | 5086 | 4305 564.61/564.89 c 541s | 17 | 328187 | 235932 | 105991 3 | 5086 | 4305 566.81/567.00 c 543s | 17 | 329322 | 236632 | 105991 3 | 5086 | 4305 568.81/569.03 c 545s | 17 | 330245 | 237232 | 105991 3 | 5086 | 4305 570.91/571.12 c 547s | 17 | 331234 | 237932 | 105991 3 | 5086 | 4305 573.01/573.24 c 549s | 17 | 332054 | 238532 | 105991 3 | 5086 | 4305 575.11/575.37 c 552s | 17 | 333012 | 239232 | 105991 3 | 5086 | 4305 577.31/577.56 c 554s | 17 | 334133 | 240032 | 105991 3 | 5086 | 4305 579.51/579.79 c 556s | 17 | 335330 | 240832 | 105991 3 | 5086 | 4305 581.71/581.91 c 558s | 17 | 336947 | 241632 | 105991 3 | 5086 | 4305 583.80/584.04 c 560s | 17 | 337982 | 242332 | 105991 3 | 5086 | 4305 586.00/586.25 c 562s | 17 | 338991 | 243032 | 105991 3 | 5086 | 4305 588.20/588.40 c 565s | 17 | 340143 | 243832 | 105991 3 | 5086 | 4305 590.20/590.44 c 567s | 17 | 341081 | 244532 | 105991 3 | 5086 | 4305 592.39/592.68 c 569s | 17 | 342255 | 245332 | 105991 3 | 5086 | 4305 594.59/594.81 c 571s | 17 | 343381 | 246132 | 105991 3 | 5086 | 4305 596.79/597.05 c 573s | 17 | 344277 | 246732 | 105991 3 | 5086 | 4305 599.30/599.51 c 576s | 17 | 344812 | 247132 | 105991 3 | 5086 | 4305 601.50/601.79 c 578s | 17 | 345346 | 247532 | 105991 3 | 5086 | 4305 603.98/604.21 c 580s | 17 | 345868 | 247932 | 105991 3 | 5086 | 4305 606.08/606.38 c 583s | 17 | 346381 | 248332 | 105991 3 | 5086 | 4305 608.58/608.80 c 585s | 17 | 347231 | 248932 | 105991 3 | 5086 | 4305 610.58/610.83 c 587s | 17 | 348124 | 249532 | 105991 3 | 5086 | 4305 612.78/613.02 c 589s | 17 | 348957 | 250132 | 105991 3 | 5086 | 4305 614.88/615.18 c 591s | 17 | 349762 | 250732 | 105991 3 | 5086 | 4305 616.98/617.21 c 593s | 17 | 350607 | 251332 | 105991 3 | 5086 | 4305 619.08/619.38 c 596s | 17 | 351565 | 252032 | 105991 3 | 5086 | 4305 621.28/621.58 c 598s | 17 | 352588 | 252732 | 105991 3 | 5086 | 4305 623.48/623.76 c 600s | 17 | 353611 | 253432 | 105991 3 | 5086 | 4305 625.57/625.88 c 602s | 17 | 354601 | 254132 | 105991 3 | 5086 | 4305 628.07/628.30 c 605s | 17 | 355702 | 254932 | 105991 3 | 5086 | 4305 630.18/630.44 c 607s | 17 | 356414 | 255432 | 105991 3 | 5086 | 4305 632.47/632.78 c 609s | 17 | 357289 | 256032 | 105991 3 | 5086 | 4305 634.58/634.88 c 611s | 17 | 358136 | 256632 | 105991 3 | 5086 | 4305 636.97/637.25 c 613s | 17 | 358998 | 257232 | 105991 3 | 5086 | 4305 639.27/639.53 c 616s | 17 | 359879 | 257832 | 105991 3 | 5086 | 4305 641.27/641.55 c 618s | 17 | 360680 | 258332 | 105991 3 | 5086 | 4305 643.57/643.87 c 620s | 17 | 361544 | 258932 | 105991 3 | 5086 | 4305 645.86/646.16 c 622s | 17 | 362417 | 259532 | 105991 3 | 5086 | 4305 648.16/648.46 c 625s | 17 | 363532 | 260232 | 105991 3 | 5086 | 4305 650.26/650.51 c 627s | 17 | 364479 | 260832 | 105991 3 | 5086 | 4305 652.46/652.80 c 629s | 17 | 365351 | 261432 | 105991 3 | 5086 | 4305 694.65/694.99 c 671s | 17 | 365683 | 261532 | 105991 4 | 5086 | 4305 696.75/697.04 c 673s | 17 | 366269 | 261932 | 105991 4 | 5086 | 4305 700.95/701.24 c 677s | 17 | 366468 | 262032 | 105991 4 | 5086 | 4305 703.05/703.37 c 680s | 17 | 367578 | 262832 | 105991 4 | 5086 | 4305 705.15/705.46 c 682s | 17 | 368782 | 263632 | 105991 4 | 5086 | 4305 707.35/707.63 c 684s | 17 | 370289 | 264632 | 105991 4 | 5086 | 4305 709.55/709.80 c 686s | 17 | 371814 | 265632 | 105991 4 | 5086 | 4305 711.65/711.94 c 688s | 17 | 373538 | 266732 | 105991 4 | 5086 | 4305 713.75/714.03 c 690s | 17 | 374800 | 267632 | 105991 4 | 5086 | 4305 715.95/716.24 c 692s | 17 | 376316 | 268632 | 105991 4 | 5086 | 4305 717.94/718.29 c 695s | 17 | 377806 | 269632 | 105991 4 | 5086 | 4305 720.04/720.30 c 697s | 17 | 379450 | 270632 | 105991 4 | 5086 | 4305 722.14/722.48 c 699s | 17 | 380741 | 271532 | 105991 4 | 5086 | 4305 724.34/724.60 c 701s | 17 | 381934 | 272332 | 105991 4 | 5086 | 4305 726.34/726.69 c 703s | 17 | 383163 | 273132 | 105991 4 | 5086 | 4305 728.44/728.70 c 705s | 17 | 384532 | 273932 | 105991 4 | 5086 | 4305 730.44/730.77 c 707s | 17 | 385756 | 274732 | 105991 4 | 5086 | 4305 732.74/733.00 c 709s | 17 | 387090 | 275632 | 105991 4 | 5086 | 4305 734.94/735.24 c 711s | 17 | 388288 | 276432 | 105991 4 | 5087 | 4319 737.24/737.52 c 714s | 17 | 389650 | 277332 | 116591 4 | 5087 | 4319 739.23/739.57 c 716s | 17 | 390848 | 278132 | 116591 4 | 5087 | 4319 741.33/741.66 c 718s | 17 | 392049 | 278932 | 116591 4 | 5087 | 4319 743.53/743.83 c 720s | 17 | 393560 | 279832 | 116591 4 | 5087 | 4319 745.73/746.01 c 722s | 17 | 394890 | 280632 | 116591 4 | 5087 | 4319 747.93/748.23 c 724s | 17 | 396028 | 281432 | 116591 4 | 5087 | 4319 750.13/750.46 c 727s | 17 | 397240 | 282232 | 116591 4 | 5087 | 4319 752.33/752.62 c 729s | 17 | 398589 | 283132 | 116591 4 | 5087 | 4319 754.34/754.67 c 731s | 17 | 399870 | 284032 | 116591 4 | 5087 | 4319 756.43/756.72 c 733s | 17 | 400906 | 284732 | 116591 4 | 5087 | 4319 758.63/758.94 c 735s | 17 | 402068 | 285532 | 116591 4 | 5087 | 4319 760.83/761.18 c 737s | 17 | 403352 | 286332 | 116591 4 | 5087 | 4319 762.93/763.21 c 739s | 17 | 404433 | 287132 | 116591 4 | 5087 | 4319 764.93/765.23 c 741s | 17 | 405261 | 287732 | 116591 4 | 5087 | 4319 767.03/767.34 c 744s | 17 | 406225 | 288432 | 116591 4 | 5087 | 4319 769.13/769.40 c 746s | 17 | 407398 | 289232 | 116591 4 | 5087 | 4319 771.13/771.40 c 748s | 17 | 408530 | 289932 | 116591 4 | 5087 | 4319 773.23/773.57 c 750s | 17 | 409760 | 290732 | 116591 4 | 5087 | 4319 775.43/775.71 c 752s | 17 | 410978 | 291532 | 116591 4 | 5087 | 4319 777.63/777.90 c 754s | 17 | 412055 | 292332 | 116591 4 | 5087 | 4319 779.73/780.03 c 756s | 17 | 412980 | 293032 | 116591 4 | 5087 | 4319 781.93/782.24 c 758s | 17 | 414117 | 293832 | 116591 4 | 5087 | 4319 784.03/784.33 c 761s | 17 | 415569 | 294732 | 116591 4 | 5087 | 4319 786.13/786.45 c 763s | 17 | 416918 | 295632 | 116591 4 | 5087 | 4319 787.63/787.90 c 764s | 18 | 417849 | 296252 | 116591 4 | 5087 | 4319 789.63/789.96 c 766s | 18 | 418851 | 296952 | 116591 4 | 5087 | 4319 791.83/792.18 c 768s | 18 | 420321 | 297952 | 116591 4 | 5087 | 4319 794.43/794.78 c 771s | 18 | 421525 | 298752 | 116591 4 | 5087 | 4319 796.72/797.09 c 773s | 18 | 422416 | 299352 | 116591 4 | 5087 | 4319 798.92/799.21 c 775s | 18 | 423317 | 299952 | 116591 4 | 5087 | 4319 801.12/801.41 c 778s | 18 | 424118 | 300552 | 116591 4 | 5087 | 4319 803.22/803.50 c 780s | 18 | 424857 | 301052 | 116591 4 | 5087 | 4319 805.52/805.83 c 782s | 18 | 425968 | 301752 | 116591 4 | 5087 | 4319 807.62/807.90 c 784s | 18 | 426698 | 302252 | 116591 4 | 5087 | 4319 809.82/810.12 c 786s | 18 | 427552 | 302852 | 116591 4 | 5087 | 4319 811.82/812.17 c 788s | 18 | 428254 | 303352 | 116591 4 | 5087 | 4319 814.02/814.38 c 791s | 18 | 429173 | 303952 | 116591 4 | 5087 | 4319 816.22/816.50 c 793s | 18 | 429979 | 304452 | 116591 4 | 5087 | 4319 818.42/818.75 c 795s | 18 | 430821 | 305052 | 116591 4 | 5087 | 4319 820.62/820.95 c 797s | 18 | 431519 | 305552 | 116591 4 | 5087 | 4319 822.82/823.16 c 799s | 18 | 432498 | 306152 | 116591 4 | 5087 | 4319 825.12/825.41 c 802s | 18 | 433373 | 306752 | 116591 4 | 5087 | 4319 827.52/827.81 c 804s | 18 | 434193 | 307352 | 116591 4 | 5087 | 4319 829.82/830.12 c 806s | 18 | 435043 | 307952 | 116591 4 | 5087 | 4319 831.92/832.22 c 808s | 18 | 435912 | 308552 | 116591 4 | 5087 | 4319 834.12/834.48 c 811s | 18 | 436787 | 309152 | 116591 4 | 5087 | 4319 836.42/836.73 c 813s | 18 | 437670 | 309752 | 116591 4 | 5087 | 4319 838.62/838.92 c 815s | 18 | 438450 | 310252 | 116591 4 | 5087 | 4319 840.62/840.93 c 817s | 18 | 439177 | 310752 | 116591 4 | 5087 | 4319 842.62/842.99 c 819s | 18 | 439872 | 311252 | 116591 4 | 5087 | 4319 844.82/845.16 c 821s | 18 | 440679 | 311852 | 116591 4 | 5087 | 4319 847.02/847.36 c 824s | 18 | 441568 | 312452 | 116591 4 | 5087 | 4319 849.02/849.37 c 826s | 18 | 442413 | 313052 | 116591 4 | 5087 | 4319 851.42/851.74 c 828s | 18 | 443159 | 313552 | 116591 4 | 5087 | 4319 853.72/854.04 c 830s | 18 | 443973 | 314052 | 116591 4 | 5087 | 4319 855.92/856.21 c 832s | 18 | 444778 | 314652 | 116591 4 | 5087 | 4319 857.92/858.28 c 835s | 18 | 445482 | 315152 | 116591 4 | 5087 | 4319 860.22/860.59 c 837s | 18 | 446386 | 315752 | 116591 4 | 5087 | 4319 862.61/862.93 c 839s | 18 | 447309 | 316352 | 116591 4 | 5087 | 4319 864.81/865.19 c 841s | 18 | 448189 | 316952 | 116591 4 | 5087 | 4319 867.31/867.69 c 844s | 18 | 448980 | 317552 | 116591 4 | 5087 | 4319 869.61/869.90 c 846s | 18 | 449693 | 318052 | 116591 4 | 5087 | 4319 871.61/871.94 c 848s | 18 | 450419 | 318552 | 116591 4 | 5087 | 4319 873.81/874.12 c 850s | 18 | 451221 | 319152 | 116591 4 | 5087 | 4319 875.91/876.24 c 852s | 18 | 452116 | 319752 | 116591 4 | 5087 | 4319 878.11/878.45 c 855s | 18 | 452957 | 320352 | 116591 4 | 5087 | 4319 880.11/880.49 c 857s | 18 | 453759 | 320952 | 116591 4 | 5087 | 4319 882.21/882.53 c 859s | 18 | 454676 | 321552 | 116591 4 | 5087 | 4319 884.61/884.90 c 861s | 18 | 455639 | 322152 | 116591 4 | 5087 | 4319 887.11/887.41 c 864s | 18 | 456167 | 322552 | 116591 4 | 5087 | 4319 889.21/889.58 c 866s | 18 | 456686 | 322952 | 116591 4 | 5087 | 4319 891.31/891.60 c 868s | 18 | 457305 | 323352 | 116591 4 | 5087 | 4319 893.31/893.65 c 870s | 18 | 457930 | 323852 | 116591 4 | 5087 | 4319 895.81/896.14 c 872s | 18 | 458733 | 324352 | 116591 4 | 5087 | 4319 897.91/898.28 c 875s | 18 | 459461 | 324852 | 116591 4 | 5087 | 4319 900.41/900.75 c 877s | 18 | 460130 | 325352 | 116591 4 | 5087 | 4319 902.41/902.78 c 879s | 18 | 460694 | 325752 | 116591 4 | 5087 | 4319 904.81/905.11 c 881s | 18 | 461440 | 326252 | 116591 4 | 5087 | 4319 906.81/907.14 c 883s | 18 | 462016 | 326652 | 116591 4 | 5087 | 4319 908.91/909.29 c 886s | 18 | 462944 | 327252 | 116591 4 | 5087 | 4319 911.11/911.41 c 888s | 18 | 463780 | 327852 | 116591 4 | 5087 | 4319 921.01/921.38 c 898s | 18 | 464056 | 328052 | 116591 5 | 5087 | 4319 933.11/933.48 c 910s | 18 | 464194 | 328152 | 116591 5 | 5087 | 4319 1004.40/1004.71 c 981s | 18 | 464593 | 328452 | 116591 5 | 5087 | 4319 1006.50/1006.82 c 983s | 18 | 465859 | 329352 | 116591 5 | 5087 | 4319 1008.90/1009.28 c 986s | 18 | 466529 | 329852 | 116591 5 | 5087 | 4319 1011.10/1011.46 c 988s | 18 | 467690 | 330652 | 116591 5 | 5087 | 4319 1013.60/1013.98 c 990s | 18 | 468719 | 331352 | 116591 5 | 5087 | 4319 1015.59/1015.99 c 992s | 18 | 469843 | 332152 | 116591 5 | 5087 | 4319 1017.79/1018.10 c 994s | 18 | 470971 | 332952 | 116591 5 | 5087 | 4319 1019.89/1020.22 c 996s | 18 | 472266 | 333852 | 116591 5 | 5087 | 4319 1021.89/1022.28 c 998s | 18 | 473757 | 334752 | 116591 5 | 5087 | 4319 1024.09/1024.40 c 1001s | 18 | 474880 | 335552 | 116591 5 | 5087 | 4319 1026.19/1026.53 c 1003s | 18 | 475953 | 336352 | 116591 5 | 5087 | 4319 1028.39/1028.70 c 1005s | 18 | 477178 | 337252 | 116591 5 | 5087 | 4319 1033.49/1033.84 c 1010s | 18 | 478115 | 337652 | 116591 5 | 5087 | 4319 1035.79/1036.12 c 1012s | 18 | 480589 | 338652 | 116591 5 | 5087 | 4319 1037.79/1038.19 c 1014s | 18 | 481636 | 339352 | 116591 5 | 5087 | 4319 1039.89/1040.28 c 1017s | 18 | 486046 | 340452 | 116591 5 | 5087 | 4319 1119.28/1119.64 c 1096s | 18 | 490081 | 341652 | 116591 5 | 5088 | 4335 1122.38/1122.71 c 1099s | 18 | 491275 | 342652 | 116591 5 | 5088 | 4335 1124.38/1124.78 c 1101s | 18 | 492443 | 343452 | 116591 5 | 5088 | 4335 1126.58/1126.93 c 1103s | 18 | 493618 | 344252 | 116591 5 | 5088 | 4335 1128.68/1129.05 c 1105s | 18 | 495115 | 345152 | 116591 5 | 5088 | 4335 1130.98/1131.35 c 1108s | 18 | 495993 | 345852 | 116591 5 | 5088 | 4335 1132.97/1133.36 c 1110s | 18 | 497134 | 346452 | 116591 5 | 5088 | 4335 1135.17/1135.50 c 1112s | 18 | 499024 | 347552 | 116591 5 | 5088 | 4335 1137.37/1137.77 c 1114s | 18 | 499726 | 347952 | 116591 5 | 5088 | 4335 1139.57/1139.90 c 1116s | 18 | 501159 | 348852 | 116591 5 | 5088 | 4335 1141.58/1141.96 c 1118s | 18 | 502299 | 349652 | 116591 5 | 5088 | 4335 1143.57/1143.97 c 1120s | 18 | 503743 | 350452 | 116591 5 | 5088 | 4335 1145.77/1146.16 c 1122s | 18 | 505042 | 351352 | 116591 5 | 5088 | 4335 1147.77/1148.16 c 1124s | 18 | 506141 | 352052 | 116591 5 | 5088 | 4335 1149.87/1150.23 c 1126s | 18 | 507495 | 352852 | 116591 5 | 5088 | 4335 1151.97/1152.32 c 1129s | 18 | 508585 | 353552 | 116591 5 | 5088 | 4335 1154.27/1154.63 c 1131s | 18 | 509658 | 354252 | 116591 5 | 5088 | 4335 1156.27/1156.68 c 1133s | 18 | 510806 | 354952 | 116591 5 | 5088 | 4335 1158.47/1158.86 c 1135s | 18 | 512140 | 355852 | 116591 5 | 5088 | 4335 1160.47/1160.89 c 1137s | 18 | 513323 | 356652 | 116591 5 | 5088 | 4335 1162.67/1163.06 c 1139s | 18 | 514474 | 357452 | 116591 5 | 5088 | 4335 1164.87/1165.22 c 1141s | 18 | 515599 | 358252 | 116591 5 | 5088 | 4335 1166.87/1167.26 c 1143s | 18 | 516613 | 358852 | 116591 5 | 5088 | 4335 1168.97/1169.35 c 1146s | 18 | 517624 | 359452 | 116591 5 | 5088 | 4335 1171.17/1171.50 c 1148s | 18 | 518697 | 360152 | 116591 5 | 5088 | 4335 1173.27/1173.62 c 1150s | 18 | 519499 | 360752 | 116591 5 | 5088 | 4335 1175.27/1175.63 c 1152s | 18 | 520308 | 361352 | 116591 5 | 5088 | 4335 1177.27/1177.64 c 1154s | 18 | 521175 | 361952 | 116591 5 | 5088 | 4335 1179.57/1179.92 c 1156s | 18 | 521974 | 362552 | 116591 5 | 5088 | 4335 1181.87/1182.26 c 1158s | 18 | 522944 | 363252 | 116591 5 | 5088 | 4335 1184.17/1184.59 c 1161s | 18 | 523924 | 363952 | 116591 5 | 5088 | 4335 1186.36/1186.75 c 1163s | 18 | 524965 | 364652 | 116591 5 | 5088 | 4335 1188.46/1188.82 c 1165s | 18 | 525779 | 365252 | 116591 5 | 5088 | 4335 1190.86/1191.21 c 1167s | 18 | 526761 | 365952 | 116591 5 | 5088 | 4335 1192.96/1193.37 c 1170s | 18 | 527596 | 366552 | 116591 5 | 5088 | 4335 1195.16/1195.53 c 1172s | 18 | 528424 | 367152 | 116591 5 | 5088 | 4335 1197.26/1197.66 c 1174s | 18 | 529298 | 367752 | 116591 5 | 5088 | 4335 1199.36/1199.70 c 1176s | 18 | 530324 | 368452 | 116591 5 | 5088 | 4335 1201.66/1202.01 c 1178s | 18 | 531113 | 369052 | 116591 5 | 5088 | 4335 1203.76/1204.11 c 1180s | 18 | 531804 | 369552 | 116591 5 | 5088 | 4335 1206.06/1206.48 c 1183s | 18 | 532634 | 370152 | 116591 5 | 5088 | 4335 1208.16/1208.59 c 1185s | 18 | 533296 | 370652 | 116591 5 | 5088 | 4335 1210.46/1210.87 c 1187s | 18 | 534149 | 371252 | 116591 5 | 5088 | 4335 1212.76/1213.18 c 1189s | 18 | 534957 | 371852 | 116591 5 | 5088 | 4335 1215.17/1215.50 c 1192s | 18 | 535783 | 372452 | 116591 5 | 5088 | 4335 1217.47/1217.82 c 1194s | 18 | 536651 | 373052 | 116591 5 | 5088 | 4335 1219.67/1220.04 c 1196s | 18 | 537503 | 373652 | 116591 5 | 5088 | 4335 1221.87/1222.29 c 1199s | 18 | 538527 | 374352 | 116591 5 | 5088 | 4335 1223.97/1224.35 c 1201s | 18 | 539423 | 374952 | 116591 5 | 5088 | 4335 1226.06/1226.46 c 1203s | 18 | 540229 | 375552 | 116591 5 | 5088 | 4335 1228.16/1228.55 c 1205s | 18 | 541090 | 376152 | 116591 5 | 5088 | 4335 1230.36/1230.71 c 1207s | 18 | 541925 | 376752 | 116591 5 | 5088 | 4335 1232.56/1232.96 c 1209s | 18 | 542812 | 377352 | 116591 5 | 5088 | 4335 1234.76/1235.18 c 1211s | 18 | 543689 | 377952 | 116591 5 | 5088 | 4335 1236.86/1237.21 c 1213s | 18 | 544395 | 378452 | 116591 5 | 5088 | 4335 1239.06/1239.49 c 1216s | 18 | 545209 | 379052 | 116591 5 | 5088 | 4335 1241.56/1241.93 c 1218s | 18 | 546044 | 379652 | 116591 5 | 5088 | 4335 1243.56/1243.96 c 1220s | 18 | 546885 | 380252 | 116591 5 | 5088 | 4335 1245.85/1246.24 c 1222s | 18 | 547710 | 380852 | 116591 5 | 5088 | 4335 1247.95/1248.35 c 1225s | 18 | 548568 | 381452 | 116591 5 | 5088 | 4335 1250.05/1250.44 c 1227s | 18 | 549259 | 381952 | 116591 5 | 5088 | 4335 1252.35/1252.79 c 1229s | 18 | 550092 | 382552 | 116591 5 | 5088 | 4335 1254.65/1255.01 c 1231s | 18 | 550763 | 383052 | 116591 5 | 5088 | 4335 1256.85/1257.23 c 1233s | 18 | 551419 | 383552 | 116591 5 | 5088 | 4335 1259.16/1259.57 c 1236s | 18 | 552258 | 384152 | 116591 5 | 5088 | 4335 1261.25/1261.61 c 1238s | 18 | 553083 | 384652 | 116591 5 | 5088 | 4335 1263.45/1263.85 c 1240s | 18 | 553804 | 385152 | 116591 5 | 5088 | 4335 1265.86/1266.21 c 1242s | 18 | 554812 | 385752 | 116591 5 | 5088 | 4335 1267.85/1268.23 c 1244s | 18 | 555474 | 386252 | 116591 5 | 5088 | 4335 1270.26/1270.65 c 1247s | 18 | 556277 | 386852 | 116591 5 | 5088 | 4335 1272.46/1272.85 c 1249s | 18 | 557212 | 387452 | 116591 5 | 5088 | 4335 1274.75/1275.10 c 1251s | 18 | 558071 | 388052 | 116591 5 | 5088 | 4335 1276.76/1277.13 c 1253s | 18 | 558781 | 388552 | 116591 5 | 5088 | 4335 1279.15/1279.54 c 1256s | 18 | 559705 | 389152 | 116591 5 | 5088 | 4335 1281.26/1281.61 c 1258s | 18 | 560395 | 389652 | 116591 5 | 5088 | 4335 1284.65/1285.00 c 1261s | 18 | 561104 | 390152 | 116591 6 | 5088 | 4335 1295.75/1296.13 c 1272s | 18 | 561557 | 390452 | 116591 6 | 5088 | 4335 1297.75/1298.16 c 1274s | 18 | 562490 | 391152 | 116591 6 | 5088 | 4335 1302.06/1302.42 c 1279s | 18 | 563064 | 391552 | 116591 6 | 5088 | 4335 1304.15/1304.55 c 1281s | 18 | 564397 | 392452 | 116591 6 | 5088 | 4335 1306.15/1306.56 c 1283s | 18 | 565490 | 393252 | 116591 6 | 5088 | 4335 1308.15/1308.60 c 1285s | 18 | 566805 | 394152 | 116591 6 | 5088 | 4335 1310.35/1310.72 c 1287s | 18 | 567990 | 395052 | 116591 6 | 5088 | 4335 1312.35/1312.73 c 1289s | 18 | 569048 | 395852 | 116591 6 | 5088 | 4335 1314.55/1314.93 c 1291s | 18 | 570122 | 396652 | 116591 6 | 5088 | 4335 1316.75/1317.10 c 1293s | 18 | 571081 | 397352 | 116591 6 | 5088 | 4335 1318.95/1319.32 c 1296s | 18 | 572141 | 398152 | 116591 6 | 5088 | 4335 1321.14/1321.53 c 1298s | 18 | 573215 | 398952 | 116591 6 | 5088 | 4335 1323.24/1323.65 c 1300s | 18 | 574350 | 399752 | 116591 6 | 5088 | 4335 1325.34/1325.74 c 1302s | 18 | 575569 | 400552 | 116591 6 | 5088 | 4335 1327.54/1327.98 c 1304s | 18 | 576651 | 401352 | 116591 6 | 5088 | 4335 1329.55/1329.99 c 1306s | 18 | 577576 | 402052 | 116591 6 | 5088 | 4335 1331.54/1331.99 c 1308s | 18 | 578703 | 402852 | 116591 6 | 5088 | 4335 1333.84/1334.25 c 1310s | 18 | 579782 | 403652 | 116591 6 | 5088 | 4335 1336.04/1336.40 c 1313s | 18 | 580945 | 404452 | 116591 6 | 5088 | 4335 1338.24/1338.64 c 1315s | 18 | 582027 | 405252 | 116591 6 | 5088 | 4335 1340.24/1340.68 c 1317s | 18 | 583174 | 406052 | 116591 6 | 5088 | 4335 1342.54/1342.91 c 1319s | 18 | 584303 | 406852 | 116591 6 | 5088 | 4335 1344.74/1345.19 c 1321s | 18 | 585437 | 407652 | 116591 6 | 5088 | 4335 1347.64/1348.07 c 1324s | 18 | 586067 | 408152 | 116591 6 | 5088 | 4335 1351.74/1352.12 c 1328s | 18 | 587131 | 408852 | 116591 6 | 5088 | 4335 1353.85/1354.28 c 1331s | 18 | 588249 | 409652 | 116591 6 | 5088 | 4335 1355.84/1356.30 c 1333s | 18 | 589324 | 410352 | 116591 6 | 5088 | 4335 1358.04/1358.48 c 1335s | 18 | 590356 | 411052 | 116591 6 | 5088 | 4335 1360.24/1360.66 c 1337s | 18 | 591465 | 411852 | 116591 6 | 5088 | 4335 1362.34/1362.78 c 1339s | 18 | 592647 | 412652 | 116591 6 | 5088 | 4335 1364.64/1365.01 c 1341s | 18 | 593814 | 413552 | 116591 6 | 5088 | 4335 1366.64/1367.02 c 1343s | 18 | 594807 | 414252 | 116591 6 | 5088 | 4335 1368.74/1369.18 c 1345s | 18 | 596015 | 415052 | 116591 6 | 5088 | 4335 1370.94/1371.32 c 1348s | 18 | 597227 | 415852 | 116591 6 | 5088 | 4335 1373.04/1373.42 c 1350s | 18 | 598290 | 416652 | 116591 6 | 5088 | 4335 1375.14/1375.51 c 1352s | 18 | 599370 | 417452 | 116591 6 | 5088 | 4335 1377.14/1377.58 c 1354s | 18 | 600380 | 418152 | 116591 6 | 5088 | 4335 1379.34/1379.75 c 1356s | 18 | 601494 | 418952 | 116591 6 | 5088 | 4335 1381.54/1381.98 c 1358s | 18 | 602612 | 419752 | 116591 6 | 5088 | 4335 1383.64/1384.05 c 1360s | 18 | 603456 | 420352 | 116591 6 | 5088 | 4335 1385.75/1386.12 c 1362s | 18 | 604407 | 421052 | 116591 6 | 5088 | 4335 1387.95/1388.34 c 1365s | 18 | 605443 | 421852 | 116591 6 | 5088 | 4335 1390.14/1390.59 c 1367s | 18 | 606639 | 422652 | 116591 6 | 5088 | 4335 1392.24/1392.69 c 1369s | 18 | 607651 | 423352 | 116591 6 | 5088 | 4335 1394.34/1394.71 c 1371s | 18 | 608659 | 424052 | 128251 6 | 5088 | 4335 1396.44/1396.80 c 1373s | 18 | 609692 | 424752 | 128251 6 | 5088 | 4335 1398.64/1399.08 c 1375s | 18 | 610767 | 425552 | 128251 6 | 5088 | 4335 1400.94/1401.34 c 1378s | 18 | 611746 | 426252 | 128251 6 | 5088 | 4335 1403.03/1403.45 c 1380s | 18 | 612730 | 426952 | 128251 6 | 5088 | 4335 1405.13/1405.58 c 1382s | 18 | 613759 | 427652 | 128251 6 | 5088 | 4335 1407.33/1407.71 c 1384s | 18 | 614705 | 428352 | 128251 6 | 5088 | 4335 1409.43/1409.89 c 1386s | 18 | 615654 | 429052 | 128251 6 | 5088 | 4335 1411.43/1411.89 c 1388s | 18 | 616515 | 429652 | 128251 6 | 5088 | 4335 1413.73/1414.18 c 1390s | 18 | 617479 | 430352 | 128251 6 | 5088 | 4335 1415.93/1416.39 c 1393s | 18 | 618323 | 430952 | 128251 6 | 5088 | 4335 1418.03/1418.45 c 1395s | 18 | 619009 | 431452 | 128251 6 | 5088 | 4335 1420.23/1420.62 c 1397s | 18 | 619762 | 432052 | 128251 6 | 5088 | 4335 1422.23/1422.67 c 1399s | 18 | 620641 | 432652 | 128251 6 | 5088 | 4335 1424.24/1424.68 c 1401s | 18 | 621592 | 433352 | 128251 6 | 5088 | 4335 1426.44/1426.88 c 1403s | 18 | 622408 | 433952 | 128251 6 | 5088 | 4335 1428.64/1429.07 c 1405s | 18 | 623395 | 434652 | 128251 6 | 5088 | 4335 1430.74/1431.13 c 1407s | 18 | 624282 | 435252 | 128251 6 | 5088 | 4335 1432.94/1433.34 c 1410s | 18 | 625178 | 435952 | 128251 6 | 5088 | 4335 1435.03/1435.45 c 1412s | 18 | 626076 | 436652 | 128251 6 | 5088 | 4335 1437.23/1437.63 c 1414s | 18 | 626844 | 437252 | 128251 6 | 5088 | 4335 1439.53/1439.91 c 1416s | 18 | 627634 | 437852 | 128251 6 | 5088 | 4335 1441.73/1442.12 c 1418s | 18 | 628422 | 438452 | 128251 6 | 5088 | 4335 1443.93/1444.31 c 1421s | 18 | 629227 | 439052 | 128251 6 | 5088 | 4335 1446.13/1446.58 c 1423s | 18 | 630199 | 439752 | 128251 6 | 5088 | 4335 1448.22/1448.63 c 1425s | 18 | 631026 | 440352 | 128251 6 | 5088 | 4335 1450.63/1451.03 c 1427s | 18 | 631982 | 441052 | 128251 6 | 5088 | 4335 1452.92/1453.33 c 1430s | 18 | 632850 | 441652 | 128251 6 | 5088 | 4335 1455.12/1455.51 c 1432s | 18 | 633672 | 442252 | 128251 6 | 5088 | 4335 1457.42/1457.84 c 1434s | 18 | 634480 | 442852 | 128251 6 | 5088 | 4335 1459.52/1459.92 c 1436s | 18 | 635163 | 443352 | 128251 6 | 5088 | 4335 1461.63/1462.05 c 1438s | 18 | 636022 | 443952 | 128251 6 | 5088 | 4335 1463.62/1464.04 c 1440s | 19 | 636782 | 444482 | 128251 6 | 5088 | 4335 1465.82/1466.24 c 1442s | 19 | 637204 | 444782 | 128251 6 | 5088 | 4335 1468.02/1468.40 c 1445s | 19 | 638105 | 445382 | 128251 6 | 5088 | 4335 1470.12/1470.54 c 1447s | 19 | 639000 | 445982 | 128251 6 | 5088 | 4335 1472.32/1472.75 c 1449s | 19 | 639867 | 446582 | 128251 6 | 5088 | 4335 1474.62/1475.03 c 1451s | 19 | 640565 | 447082 | 128251 6 | 5088 | 4335 1476.72/1477.13 c 1453s | 19 | 641285 | 447582 | 128251 6 | 5088 | 4335 1479.13/1479.51 c 1456s | 19 | 642234 | 448282 | 128251 6 | 5088 | 4335 1481.52/1481.94 c 1458s | 19 | 643269 | 448882 | 128251 6 | 5088 | 4335 1483.92/1484.33 c 1461s | 19 | 644164 | 449482 | 128251 6 | 5088 | 4335 1485.92/1486.36 c 1463s | 19 | 644961 | 450082 | 128251 6 | 5088 | 4335 1488.22/1488.66 c 1465s | 19 | 645929 | 450782 | 128251 6 | 5088 | 4335 1490.52/1490.93 c 1467s | 19 | 646771 | 451382 | 128251 6 | 5088 | 4335 1492.52/1492.96 c 1469s | 19 | 647637 | 451982 | 128251 6 | 5088 | 4335 1494.72/1495.15 c 1471s | 19 | 648684 | 452782 | 128251 6 | 5088 | 4335 1496.92/1497.32 c 1474s | 19 | 649765 | 453582 | 128251 6 | 5088 | 4335 1499.12/1499.59 c 1476s | 19 | 650705 | 454282 | 128251 6 | 5088 | 4335 1501.22/1501.61 c 1478s | 19 | 651499 | 454882 | 128251 6 | 5088 | 4335 1503.22/1503.68 c 1480s | 19 | 652332 | 455482 | 128251 6 | 5088 | 4335 1505.52/1505.94 c 1482s | 19 | 653114 | 456082 | 128251 6 | 5088 | 4335 1507.82/1508.21 c 1484s | 19 | 653948 | 456682 | 128251 6 | 5088 | 4335 1509.92/1510.33 c 1487s | 19 | 654748 | 457282 | 128251 6 | 5088 | 4335 1512.12/1512.54 c 1489s | 19 | 655828 | 458082 | 128251 6 | 5088 | 4335 1514.21/1514.63 c 1491s | 19 | 656880 | 458882 | 128251 6 | 5088 | 4335 1516.62/1517.01 c 1493s | 19 | 657824 | 459582 | 128251 6 | 5088 | 4335 1518.72/1519.12 c 1495s | 19 | 658689 | 460182 | 128251 6 | 5088 | 4335 1520.71/1521.17 c 1497s | 19 | 659392 | 460682 | 128251 6 | 5088 | 4335 1523.12/1523.51 c 1500s | 19 | 660355 | 461382 | 128251 6 | 5088 | 4335 1525.42/1525.83 c 1502s | 19 | 661189 | 461982 | 128251 6 | 5088 | 4335 1547.71/1548.17 c 1524s | 19 | 661590 | 462282 | 128251 7 | 5088 | 4335 1551.22/1551.65 c 1528s | 19 | 661863 | 462482 | 128251 7 | 5088 | 4335 1553.21/1553.67 c 1530s | 19 | 662368 | 462882 | 128251 7 | 5088 | 4335 1560.01/1560.49 c 1537s | 19 | 663078 | 463382 | 128251 7 | 5088 | 4335 1562.21/1562.62 c 1539s | 19 | 664761 | 464582 | 128251 7 | 5088 | 4335 1564.21/1564.63 c 1541s | 19 | 666294 | 465682 | 128251 7 | 5088 | 4335 1605.51/1605.96 c 1582s | 19 | 666428 | 465782 | 128251 7 | 5088 | 4335 1607.71/1608.12 c 1584s | 19 | 667786 | 466782 | 128251 7 | 5088 | 4335 1609.81/1610.27 c 1586s | 19 | 669351 | 467882 | 128251 7 | 5088 | 4335 1611.91/1612.31 c 1589s | 19 | 670883 | 468982 | 128251 7 | 5088 | 4335 1613.91/1614.32 c 1591s | 19 | 672602 | 470182 | 128251 7 | 5088 | 4335 1616.00/1616.40 c 1593s | 19 | 674286 | 471382 | 128251 7 | 5088 | 4335 1619.50/1619.93 c 1596s | 19 | 674902 | 471782 | 128251 7 | 5088 | 4335 1621.60/1622.05 c 1598s | 19 | 676292 | 472782 | 128251 7 | 5088 | 4335 1642.30/1642.75 c 1619s | 19 | 677792 | 473782 | 128251 7 | 5088 | 4335 1644.50/1644.91 c 1621s | 19 | 679520 | 475082 | 128251 7 | 5088 | 4335 1646.70/1647.12 c 1623s | 19 | 681224 | 476382 | 128251 7 | 5088 | 4335 1648.90/1649.30 c 1626s | 19 | 682655 | 477482 | 128251 7 | 5088 | 4335 1651.00/1651.42 c 1628s | 19 | 684256 | 478582 | 128251 7 | 5088 | 4335 1653.00/1653.44 c 1630s | 19 | 685507 | 479482 | 128251 7 | 5088 | 4335 1655.10/1655.59 c 1632s | 19 | 687052 | 480582 | 128251 7 | 5088 | 4335 1657.30/1657.78 c 1634s | 19 | 688470 | 481582 | 128251 7 | 5088 | 4335 1659.39/1659.85 c 1636s | 19 | 689915 | 482582 | 128251 7 | 5088 | 4335 1661.49/1661.98 c 1638s | 19 | 691325 | 483582 | 128251 7 | 5088 | 4335 1663.69/1664.12 c 1640s | 19 | 692710 | 484582 | 128251 7 | 5088 | 4335 1665.79/1666.23 c 1642s | 19 | 694241 | 485682 | 128251 7 | 5088 | 4335 1667.89/1668.39 c 1645s | 19 | 695665 | 486782 | 128251 7 | 5088 | 4335 1670.09/1670.50 c 1647s | 19 | 697399 | 488082 | 128251 7 | 5088 | 4335 1672.09/1672.59 c 1649s | 19 | 699032 | 489182 | 128251 7 | 5088 | 4335 1674.69/1675.12 c 1651s | 19 | 700704 | 490282 | 128251 7 | 5088 | 4335 1676.89/1677.33 c 1654s | 19 | 701813 | 490982 | 128251 7 | 5088 | 4335 1679.09/1679.58 c 1656s | 19 | 702826 | 491682 | 128251 7 | 5088 | 4335 1681.19/1681.66 c 1658s | 19 | 704010 | 492482 | 128251 7 | 5088 | 4335 1683.39/1683.84 c 1660s | 19 | 705436 | 493482 | 128251 7 | 5088 | 4335 1685.49/1685.91 c 1662s | 19 | 706546 | 494282 | 128251 7 | 5088 | 4335 1687.59/1688.05 c 1664s | 19 | 707924 | 495282 | 128251 7 | 5088 | 4335 1689.79/1690.21 c 1666s | 19 | 709287 | 496182 | 128251 7 | 5088 | 4335 1691.89/1692.32 c 1669s | 19 | 710578 | 497082 | 128251 7 | 5088 | 4335 1693.99/1694.45 c 1671s | 19 | 712046 | 498082 | 128251 7 | 5088 | 4335 1696.09/1696.59 c 1673s | 19 | 713669 | 499182 | 128251 7 | 5088 | 4335 1698.19/1698.61 c 1675s | 19 | 714943 | 500182 | 128251 7 | 5088 | 4335 1700.19/1700.64 c 1677s | 19 | 715980 | 500982 | 128251 7 | 5088 | 4335 1702.59/1703.03 c 1679s | 19 | 717022 | 501782 | 128251 7 | 5088 | 4335 1704.59/1705.09 c 1681s | 19 | 717885 | 502382 | 128251 7 | 5088 | 4335 1706.68/1707.18 c 1683s | 19 | 718832 | 503082 | 128251 7 | 5088 | 4335 1708.99/1709.43 c 1686s | 19 | 720106 | 503982 | 128251 7 | 5088 | 4335 1711.08/1711.60 c 1688s | 19 | 721321 | 504882 | 128251 7 | 5088 | 4335 1713.28/1713.73 c 1690s | 19 | 722417 | 505682 | 128251 7 | 5088 | 4335 1715.59/1716.00 c 1692s | 19 | 723638 | 506582 | 128251 7 | 5088 | 4335 1717.68/1718.12 c 1694s | 19 | 724707 | 507382 | 128251 7 | 5088 | 4335 1719.68/1720.14 c 1696s | 19 | 725812 | 508082 | 128251 7 | 5088 | 4335 1721.88/1722.38 c 1699s | 19 | 726922 | 508882 | 128251 7 | 5088 | 4335 1724.08/1724.56 c 1701s | 19 | 728047 | 509682 | 128251 7 | 5088 | 4335 1726.28/1726.76 c 1703s | 19 | 729387 | 510582 | 128251 7 | 5088 | 4335 1728.48/1728.98 c 1705s | 19 | 730485 | 511382 | 128251 7 | 5088 | 4335 1730.78/1731.20 c 1707s | 19 | 731602 | 512182 | 128251 7 | 5088 | 4335 1733.19/1733.64 c 1710s | 19 | 732694 | 512982 | 128251 7 | 5088 | 4335 1735.49/1735.99 c 1712s | 19 | 733640 | 513682 | 128251 7 | 5088 | 4335 1737.59/1738.04 c 1714s | 19 | 734520 | 514282 | 128251 7 | 5088 | 4335 1739.58/1740.07 c 1716s | 19 | 735567 | 514982 | 128251 7 | 5088 | 4335 1741.78/1742.27 c 1718s | 19 | 736716 | 515782 | 128251 7 | 5088 | 4335 1743.88/1744.30 c 1721s | 19 | 737802 | 516582 | 128251 7 | 5088 | 4335 1745.88/1746.37 c 1723s | 19 | 738729 | 517282 | 128251 7 | 5088 | 4335 1747.98/1748.43 c 1725s | 19 | 739701 | 517982 | 128251 7 | 5088 | 4335 1750.38/1750.85 c 1727s | 19 | 740814 | 518782 | 128251 7 | 5088 | 4335 1752.68/1753.17 c 1729s | 19 | 741645 | 519382 | 128251 7 | 5088 | 4335 1754.88/1755.32 c 1732s | 19 | 742675 | 520082 | 128251 7 | 5088 | 4335 1757.08/1757.51 c 1734s | 19 | 743654 | 520782 | 128251 7 | 5088 | 4335 1759.18/1759.62 c 1736s | 19 | 744606 | 521482 | 128251 7 | 5088 | 4335 1761.28/1761.77 c 1738s | 19 | 745437 | 522082 | 128251 7 | 5088 | 4335 1763.48/1763.91 c 1740s | 19 | 746364 | 522782 | 128251 7 | 5088 | 4335 1765.58/1766.03 c 1742s | 19 | 747303 | 523482 | 128251 7 | 5088 | 4335 1767.88/1768.35 c 1745s | 19 | 748214 | 524182 | 128251 7 | 5088 | 4335 1770.08/1770.56 c 1747s | 19 | 749116 | 524782 | 128251 7 | 5088 | 4335 1772.07/1772.58 c 1749s | 19 | 749940 | 525382 | 128251 7 | 5088 | 4335 1774.07/1774.58 c 1751s | 19 | 750833 | 526082 | 128251 7 | 5088 | 4335 1776.27/1776.71 c 1753s | 19 | 751756 | 526782 | 128251 7 | 5088 | 4335 1778.47/1778.96 c 1755s | 19 | 752672 | 527482 | 128251 7 | 5088 | 4335 1780.68/1781.15 c 1757s | 19 | 753571 | 528182 | 128251 7 | 5088 | 4335 1782.88/1783.36 c 1760s | 19 | 754497 | 528882 | 128251 7 | 5088 | 4335 1786.38/1786.85 c 1763s | 19 | 755119 | 529282 | 128251 8 | 5088 | 4335
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-4079696-1465247192/watcher-4079696-1465247192 -o /tmp/evaluation-result-4079696-1465247192/solver-4079696-1465247192 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1239 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079696-1465247192.opb pid=4243 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.00 3/179 4246 /proc/meminfo: memFree=30645580/32872528 swapFree=10676/249824 [pid=4246] ppid=4243 vsize=699836 CPUtime=0 cores=1,3,5,7 /proc/4246/stat : 4246 (toysat) R 4243 4246 1222 0 -1 4202496 2608 0 0 0 0 0 0 0 20 0 4 0 106654679 716632064 2969 33554432000 4194304 16246674 140736467789088 140736467788512 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4246/statm: 175471 2976 441 2943 0 172365 0 [pid=4246/tid=4247] ppid=4243 vsize=718268 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4247/stat : 4247 (toysat) S 4243 4246 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106654679 735506432 3039 33554432000 4194304 16246674 140736467789088 140221140151536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4246/tid=4248] ppid=4243 vsize=722364 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4248/stat : 4248 (toysat) S 4243 4246 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106654679 739700736 3057 33554432000 4194304 16246674 140736467789088 140221129661680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4246/tid=4249] ppid=4243 vsize=726460 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4249/stat : 4249 (toysat) S 4243 4246 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106654679 743895040 3073 33554432000 4194304 16246674 140736467789088 140221119188144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100183 s] /proc/loadavg: 2.00 2.01 2.00 3/179 4246 /proc/meminfo: memFree=30645580/32872528 swapFree=10676/249824 [pid=4246] ppid=4243 vsize=1301060 CPUtime=0.09 cores=1,3,5,7 /proc/4246/stat : 4246 (toysat) R 4243 4246 1222 0 -1 4202496 26443 0 0 0 7 2 0 0 20 0 4 0 106654679 1332285440 26743 33554432000 4194304 16246674 140736467789088 140736467788400 8058796 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4246/statm: 325265 26760 803 2943 0 322159 0 [pid=4246/tid=4247] ppid=4243 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4247/stat : 4247 (toysat) S 4243 4246 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106654679 1332285440 26771 33554432000 4194304 16246674 140736467789088 140221140151536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4246/tid=4248] ppid=4243 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4248/stat : 4248 (toysat) S 4243 4246 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106654679 1332285440 26782 33554432000 4194304 16246674 140736467789088 140221129661680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4246/tid=4249] ppid=4243 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4249/stat : 4249 (toysat) S 4243 4246 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106654679 1332285440 26793 33554432000 4194304 16246674 140736467789088 140221119188144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1301060 [startup+0.200535 s] /proc/loadavg: 2.00 2.01 2.00 3/179 4246 /proc/meminfo: memFree=30645580/32872528 swapFree=10676/249824 [pid=4246] ppid=4243 vsize=1314372 CPUtime=0.19 cores=1,3,5,7 /proc/4246/stat : 4246 (toysat) R 4243 4246 1222 0 -1 4202496 47805 0 0 0 14 5 0 0 20 0 4 0 106654679 1345916928 48615 33554432000 4194304 16246674 140736467789088 140736467788400 8055512 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4246/statm: 328593 48615 803 2943 0 325487 0 [pid=4246/tid=4247] ppid=4243 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4247/stat : 4247 (toysat) S 4243 4246 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106654679 1345916928 48615 33554432000 4194304 16246674 140736467789088 140221140151536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4246/tid=4248] ppid=4243 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4248/stat : 4248 (toysat) S 4243 4246 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106654679 1345916928 48615 33554432000 4194304 16246674 140736467789088 140221129661680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4246/tid=4249] ppid=4243 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4249/stat : 4249 (toysat) S 4243 4246 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106654679 1345916928 48615 33554432000 4194304 16246674 140736467789088 140221119188144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1314372 [startup+0.300507 s] /proc/loadavg: 2.00 2.01 2.00 3/179 4246 /proc/meminfo: memFree=30645580/32872528 swapFree=10676/249824 [pid=4246] ppid=4243 vsize=1314372 CPUtime=0.28 cores=1,3,5,7 /proc/4246/stat : 4246 (toysat) R 4243 4246 1222 0 -1 4202496 57405 0 0 0 22 6 0 0 20 0 4 0 106654679 1345916928 58215 33554432000 4194304 16246674 140736467789088 140736467788400 7364576 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4246/statm: 328593 58215 803 2943 0 325487 0 [pid=4246/tid=4247] ppid=4243 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4247/stat : 4247 (toysat) S 4243 4246 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106654679 1345916928 58215 33554432000 4194304 16246674 140736467789088 140221140151536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4246/tid=4248] ppid=4243 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4248/stat : 4248 (toysat) S 4243 4246 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106654679 1345916928 58215 33554432000 4194304 16246674 140736467789088 140221129661680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4246/tid=4249] ppid=4243 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4249/stat : 4249 (toysat) S 4243 4246 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106654679 1345916928 58215 33554432000 4194304 16246674 140736467789088 140221119188144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1314372 [startup+0.700432 s] /proc/loadavg: 2.00 2.01 2.00 3/179 4246 /proc/meminfo: memFree=30645580/32872528 swapFree=10676/249824 [pid=4246] ppid=4243 vsize=1314372 CPUtime=0.69 cores=1,3,5,7 /proc/4246/stat : 4246 (toysat) R 4243 4246 1222 0 -1 4202496 69638 0 0 0 60 9 0 0 20 0 4 0 106654679 1345916928 70448 33554432000 4194304 16246674 140736467789088 140736467788400 4220543 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4246/statm: 328593 70448 805 2943 0 325487 0 [pid=4246/tid=4247] ppid=4243 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4247/stat : 4247 (toysat) S 4243 4246 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106654679 1345916928 70448 33554432000 4194304 16246674 140736467789088 140221140151536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4246/tid=4248] ppid=4243 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4248/stat : 4248 (toysat) S 4243 4246 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106654679 1345916928 70448 33554432000 4194304 16246674 140736467789088 140221129661680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4246/tid=4249] ppid=4243 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4249/stat : 4249 (toysat) S 4243 4246 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106654679 1345916928 70448 33554432000 4194304 16246674 140736467789088 140221119188144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1314372 [startup+1.50041 s] /proc/loadavg: 2.00 2.01 2.00 3/183 4250 /proc/meminfo: memFree=30319672/32872528 swapFree=10676/249824 [pid=4246] ppid=4243 vsize=1314372 CPUtime=1.49 cores=1,3,5,7 /proc/4246/stat : 4246 (toysat) R 4243 4246 1222 0 -1 4202496 89742 0 0 0 137 12 0 0 20 0 4 0 106654679 1345916928 90552 33554432000 4194304 16246674 140736467789088 140736467772080 8057261 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4246/statm: 328593 90552 805 2943 0 325487 0 [pid=4246/tid=4247] ppid=4243 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4247/stat : 4247 (toysat) S 4243 4246 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106654679 1345916928 90552 33554432000 4194304 16246674 140736467789088 140221140151536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4246/tid=4248] ppid=4243 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4248/stat : 4248 (toysat) S 4243 4246 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106654679 1345916928 90552 33554432000 4194304 16246674 140736467789088 140221129661680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4246/tid=4249] ppid=4243 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4249/stat : 4249 (toysat) S 4243 4246 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106654679 1345916928 90552 33554432000 4194304 16246674 140736467789088 140221119188144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1314372 [startup+3.10042 s] /proc/loadavg: 2.00 2.01 2.00 3/183 4250 /proc/meminfo: memFree=30107740/32872528 swapFree=10676/249824 [pid=4246] ppid=4243 vsize=1343044 CPUtime=3.09 cores=1,3,5,7 /proc/4246/stat : 4246 (toysat) R 4243 4246 1222 0 -1 4202496 153544 0 0 0 288 21 0 0 20 0 4 0 106654679 1375277056 157932 33554432000 4194304 16246674 140736467789088 140736467771008 13954914 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4246/statm: 335761 157941 839 2943 0 332655 0 [pid=4246/tid=4247] ppid=4243 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4247/stat : 4247 (toysat) S 4243 4246 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106654679 1375277056 157947 33554432000 4194304 16246674 140736467789088 140221140151536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4246/tid=4248] ppid=4243 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4248/stat : 4248 (toysat) S 4243 4246 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106654679 1375277056 157952 33554432000 4194304 16246674 140736467789088 140221129661680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4246/tid=4249] ppid=4243 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4249/stat : 4249 (toysat) S 4243 4246 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106654679 1375277056 157958 33554432000 4194304 16246674 140736467789088 140221119188144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1343044 [startup+6.30041 s] /proc/loadavg: 2.00 2.01 2.00 3/183 4250 /proc/meminfo: memFree=29546580/32872528 swapFree=10676/249824 [pid=4246] ppid=4243 vsize=1343044 CPUtime=6.29 cores=1,3,5,7 /proc/4246/stat : 4246 (toysat) R 4243 4246 1222 0 -1 4202496 270578 0 0 0 592 37 0 0 20 0 4 0 106654679 1375277056 274965 33554432000 4194304 16246674 140736467789088 140736467771008 5991539 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4246/statm: 335761 274965 913 2943 0 332655 0 [pid=4246/tid=4247] ppid=4243 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4247/stat : 4247 (toysat) S 4243 4246 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106654679 1375277056 274965 33554432000 4194304 16246674 140736467789088 140221140151536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4246/tid=4248] ppid=4243 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4248/stat : 4248 (toysat) S 4243 4246 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106654679 1375277056 274965 33554432000 4194304 16246674 140736467789088 140221129661680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4246/tid=4249] ppid=4243 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4249/stat : 4249 (toysat) S 4243 4246 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106654679 1375277056 274965 33554432000 4194304 16246674 140736467789088 140221119188144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1343044 [startup+12.7004 s] /proc/loadavg: 2.00 2.01 2.00 3/183 4250 /proc/meminfo: memFree=29537280/32872528 swapFree=10676/249824 [pid=4246] ppid=4243 vsize=1343044 CPUtime=12.69 cores=1,3,5,7 /proc/4246/stat : 4246 (toysat) R 4243 4246 1222 0 -1 4202496 270844 0 0 0 1231 38 0 0 20 0 4 0 106654679 1375277056 277275 33554432000 4194304 16246674 140736467789088 140736467771008 5546177 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4246/statm: 335761 277275 916 2943 0 332655 0 [pid=4246/tid=4247] ppid=4243 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4247/stat : 4247 (toysat) S 4243 4246 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106654679 1375277056 277275 33554432000 4194304 16246674 140736467789088 140221140151536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4246/tid=4248] ppid=4243 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4248/stat : 4248 (toysat) S 4243 4246 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106654679 1375277056 277275 33554432000 4194304 16246674 140736467789088 140221129661680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4246/tid=4249] ppid=4243 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4249/stat : 4249 (toysat) S 4243 4246 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106654679 1375277056 277275 33554432000 4194304 16246674 140736467789088 140221119188144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1343044 [startup+25.5005 s] /proc/loadavg: 2.00 2.01 2.00 3/183 4250 /proc/meminfo: memFree=29537516/32872528 swapFree=10676/249824 [pid=4246] ppid=4243 vsize=1343044 CPUtime=25.49 cores=1,3,5,7 /proc/4246/stat : 4246 (toysat) R 4243 4246 1222 0 -1 4202496 270846 0 0 0 2511 38 0 0 20 0 4 0 106654679 1375277056 277277 33554432000 4194304 16246674 140736467789088 140736467771008 5522925 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4246/statm: 335761 277277 917 2943 0 332655 0 [pid=4246/tid=4247] ppid=4243 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4247/stat : 4247 (toysat) S 4243 4246 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106654679 1375277056 277277 33554432000 4194304 16246674 140736467789088 140221140151536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4246/tid=4248] ppid=4243 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4248/stat : 4248 (toysat) S 4243 4246 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106654679 1375277056 277277 33554432000 4194304 16246674 140736467789088 140221129661680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4246/tid=4249] ppid=4243 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4249/stat : 4249 (toysat) S 4243 4246 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106654679 1375277056 277277 33554432000 4194304 16246674 140736467789088 140221119188144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1343044 [startup+51.1005 s] /proc/loadavg: 2.00 2.01 2.00 3/183 4250 /proc/meminfo: memFree=29537424/32872528 swapFree=10676/249824 [pid=4246] ppid=4243 vsize=1343044 CPUtime=51.08 cores=1,3,5,7 /proc/4246/stat : 4246 (toysat) R 4243 4246 1222 0 -1 4202496 270846 0 0 0 5070 38 0 0 20 0 4 0 106654679 1375277056 277277 33554432000 4194304 16246674 140736467789088 140736467771008 5672257 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4246/statm: 335761 277277 917 2943 0 332655 0 [pid=4246/tid=4247] ppid=4243 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4247/stat : 4247 (toysat) S 4243 4246 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106654679 1375277056 277277 33554432000 4194304 16246674 140736467789088 140221140151536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4246/tid=4248] ppid=4243 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4248/stat : 4248 (toysat) S 4243 4246 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106654679 1375277056 277277 33554432000 4194304 16246674 140736467789088 140221129661680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4246/tid=4249] ppid=4243 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4249/stat : 4249 (toysat) S 4243 4246 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106654679 1375277056 277277 33554432000 4194304 16246674 140736467789088 140221119188144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1343044 [startup+102.3 s] /proc/loadavg: 2.05 2.02 2.00 3/183 4251 /proc/meminfo: memFree=29535824/32872528 swapFree=10676/249824 [pid=4246] ppid=4243 vsize=1343044 CPUtime=102.27 cores=1,3,5,7 /proc/4246/stat : 4246 (toysat) R 4243 4246 1222 0 -1 4202496 270860 0 0 0 10189 38 0 0 20 0 4 0 106654679 1375277056 277280 33554432000 4194304 16246674 140736467789088 140736467771008 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4246/statm: 335761 277280 917 2943 0 332655 0 [pid=4246/tid=4247] ppid=4243 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4247/stat : 4247 (toysat) S 4243 4246 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106654679 1375277056 277280 33554432000 4194304 16246674 140736467789088 140221140151536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4246/tid=4248] ppid=4243 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4248/stat : 4248 (toysat) S 4243 4246 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106654679 1375277056 277280 33554432000 4194304 16246674 140736467789088 140221129661680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4246/tid=4249] ppid=4243 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4249/stat : 4249 (toysat) S 4243 4246 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106654679 1375277056 277280 33554432000 4194304 16246674 140736467789088 140221119188144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1343044 ################ # More data... # ################ /proc/4246/task/4249/stat : 4249 (toysat) S 4243 4246 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140221119188144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1389124 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 4427 /proc/meminfo: memFree=29419112/32872528 swapFree=10676/249824 [pid=4246] ppid=4243 vsize=1389124 CPUtime=1361.94 cores=1,3,5,7 /proc/4246/stat : 4246 (toysat) R 4243 4246 1222 0 -1 4202496 282613 0 0 0 136109 85 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140736467771008 6012212 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4246/statm: 347281 288800 917 2943 0 344175 0 [pid=4246/tid=4247] ppid=4243 vsize=1389124 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4247/stat : 4247 (toysat) S 4243 4246 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140221140151536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4246/tid=4248] ppid=4243 vsize=1389124 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4248/stat : 4248 (toysat) S 4243 4246 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140221129661680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4246/tid=4249] ppid=4243 vsize=1389124 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4249/stat : 4249 (toysat) S 4243 4246 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140221119188144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1389124 [startup+1422.3 s] /proc/loadavg: 2.00 2.00 2.00 3/184 4431 /proc/meminfo: memFree=29419304/32872528 swapFree=10676/249824 [pid=4246] ppid=4243 vsize=1389124 CPUtime=1421.94 cores=1,3,5,7 /proc/4246/stat : 4246 (toysat) R 4243 4246 1222 0 -1 4202496 282613 0 0 0 142109 85 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140736467771008 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4246/statm: 347281 288800 917 2943 0 344175 0 [pid=4246/tid=4247] ppid=4243 vsize=1389124 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4247/stat : 4247 (toysat) S 4243 4246 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140221140151536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4246/tid=4248] ppid=4243 vsize=1389124 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4248/stat : 4248 (toysat) S 4243 4246 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140221129661680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4246/tid=4249] ppid=4243 vsize=1389124 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4249/stat : 4249 (toysat) S 4243 4246 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140221119188144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1389124 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 4432 /proc/meminfo: memFree=29419500/32872528 swapFree=10676/249824 [pid=4246] ppid=4243 vsize=1389124 CPUtime=1481.92 cores=1,3,5,7 /proc/4246/stat : 4246 (toysat) R 4243 4246 1222 0 -1 4202496 282613 0 0 0 148107 85 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140736467771008 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4246/statm: 347281 288800 917 2943 0 344175 0 [pid=4246/tid=4247] ppid=4243 vsize=1389124 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4247/stat : 4247 (toysat) S 4243 4246 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140221140151536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4246/tid=4248] ppid=4243 vsize=1389124 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4248/stat : 4248 (toysat) S 4243 4246 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140221129661680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4246/tid=4249] ppid=4243 vsize=1389124 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4249/stat : 4249 (toysat) S 4243 4246 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140221119188144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 1389124 [startup+1542.31 s] /proc/loadavg: 2.00 2.00 2.00 3/183 4434 /proc/meminfo: memFree=29419644/32872528 swapFree=10676/249824 [pid=4246] ppid=4243 vsize=1389124 CPUtime=1541.92 cores=1,3,5,7 /proc/4246/stat : 4246 (toysat) R 4243 4246 1222 0 -1 4202496 282613 0 0 0 154105 87 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140736467788184 4206952 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4246/statm: 347281 288800 917 2943 0 344175 0 [pid=4246/tid=4247] ppid=4243 vsize=1389124 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4247/stat : 4247 (toysat) S 4243 4246 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140221140151536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4246/tid=4248] ppid=4243 vsize=1389124 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4248/stat : 4248 (toysat) S 4243 4246 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140221129661680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4246/tid=4249] ppid=4243 vsize=1389124 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4249/stat : 4249 (toysat) S 4243 4246 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140221119188144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1389124 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 4435 /proc/meminfo: memFree=29419288/32872528 swapFree=10676/249824 [pid=4246] ppid=4243 vsize=1389124 CPUtime=1601.9 cores=1,3,5,7 /proc/4246/stat : 4246 (toysat) R 4243 4246 1222 0 -1 4202496 282613 0 0 0 160098 92 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140736467788184 4220480 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4246/statm: 347281 288800 917 2943 0 344175 0 [pid=4246/tid=4247] ppid=4243 vsize=1389124 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4247/stat : 4247 (toysat) S 4243 4246 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140221140151536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4246/tid=4248] ppid=4243 vsize=1389124 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4248/stat : 4248 (toysat) S 4243 4246 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140221129661680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4246/tid=4249] ppid=4243 vsize=1389124 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4249/stat : 4249 (toysat) S 4243 4246 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140221119188144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1389124 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 4436 /proc/meminfo: memFree=29418928/32872528 swapFree=10676/249824 [pid=4246] ppid=4243 vsize=1389124 CPUtime=1661.89 cores=1,3,5,7 /proc/4246/stat : 4246 (toysat) R 4243 4246 1222 0 -1 4202496 282613 0 0 0 166094 95 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140736467771008 5546023 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4246/statm: 347281 288800 917 2943 0 344175 0 [pid=4246/tid=4247] ppid=4243 vsize=1389124 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4247/stat : 4247 (toysat) S 4243 4246 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140221140151536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4246/tid=4248] ppid=4243 vsize=1389124 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4248/stat : 4248 (toysat) S 4243 4246 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140221129661680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4246/tid=4249] ppid=4243 vsize=1389124 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4249/stat : 4249 (toysat) S 4243 4246 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140221119188144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1389124 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 4437 /proc/meminfo: memFree=29418760/32872528 swapFree=10676/249824 [pid=4246] ppid=4243 vsize=1389124 CPUtime=1721.88 cores=1,3,5,7 /proc/4246/stat : 4246 (toysat) R 4243 4246 1222 0 -1 4202496 282613 0 0 0 172093 95 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140736467771008 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4246/statm: 347281 288800 917 2943 0 344175 0 [pid=4246/tid=4247] ppid=4243 vsize=1389124 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4247/stat : 4247 (toysat) S 4243 4246 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140221140151536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4246/tid=4248] ppid=4243 vsize=1389124 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4248/stat : 4248 (toysat) S 4243 4246 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140221129661680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4246/tid=4249] ppid=4243 vsize=1389124 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4249/stat : 4249 (toysat) S 4243 4246 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140221119188144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 1389124 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 4438 /proc/meminfo: memFree=29405480/32872528 swapFree=10676/249824 [pid=4246] ppid=4243 vsize=1389124 CPUtime=1781.88 cores=1,3,5,7 /proc/4246/stat : 4246 (toysat) R 4243 4246 1222 0 -1 4202496 282613 0 0 0 178092 96 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140736467771008 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4246/statm: 347281 288800 917 2943 0 344175 0 [pid=4246/tid=4247] ppid=4243 vsize=1389124 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4247/stat : 4247 (toysat) S 4243 4246 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140221140151536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4246/tid=4248] ppid=4243 vsize=1389124 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4248/stat : 4248 (toysat) S 4243 4246 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140221129661680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4246/tid=4249] ppid=4243 vsize=1389124 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4249/stat : 4249 (toysat) S 4243 4246 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140221119188144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1781.88 Current children cumulated vsize (KiB) 1389124 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.00 2.00 2.00 3/183 4439 /proc/meminfo: memFree=29406224/32872528 swapFree=10676/249824 [pid=4246] ppid=4243 vsize=1389124 CPUtime=1800.07 cores=1,3,5,7 /proc/4246/stat : 4246 (toysat) R 4243 4246 1222 0 -1 4202496 282613 0 0 0 179910 97 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140736467788184 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4246/statm: 347281 288800 917 2943 0 344175 0 [pid=4246/tid=4247] ppid=4243 vsize=1389124 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4247/stat : 4247 (toysat) S 4243 4246 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140221140151536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4246/tid=4248] ppid=4243 vsize=1389124 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4248/stat : 4248 (toysat) S 4243 4246 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140221129661680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4246/tid=4249] ppid=4243 vsize=1389124 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4249/stat : 4249 (toysat) S 4243 4246 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140221119188144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1389124 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 4246 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.00 2.00 2.00 3/183 4439 /proc/meminfo: memFree=29406224/32872528 swapFree=10676/249824 [pid=4246] ppid=4243 vsize=1389124 CPUtime=1800.07 cores=1,3,5,7 /proc/4246/stat : 4246 (toysat) R 4243 4246 1222 0 -1 4202496 282613 0 0 0 179910 97 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140736467788184 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4246/statm: 347281 288800 917 2943 0 344175 0 [pid=4246/tid=4247] ppid=4243 vsize=1389124 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4247/stat : 4247 (toysat) S 4243 4246 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140221140151536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4246/tid=4248] ppid=4243 vsize=1389124 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4248/stat : 4248 (toysat) S 4243 4246 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140221129661680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4246/tid=4249] ppid=4243 vsize=1389124 CPUtime=0 cores=1,3,5,7 /proc/4246/task/4249/stat : 4249 (toysat) S 4243 4246 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106654679 1422462976 288800 33554432000 4194304 16246674 140736467789088 140221119188144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1389124 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.09 CPU user time (s): 1799.11 CPU system time (s): 0.975851 CPU usage (%): 99.9767 Max. virtual memory (cumulated for all children) (KiB): 1389124 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.11 system time used= 0.975851 maximum resident set size= 1155200 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 282613 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= 260 involuntary context switches= 1834 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.5883 second user time and 6.92695 second system time The end
Begin job on node103 at 2016-06-06 23:06:32 IDJOB=4079696 IDBENCH=2951 IDSOLVER=2542 FILE ID=node103/4079696-1465247192 RUNJOBID= node103-1465221288-1239 PBS_JOBID= 19843228 Free space on /tmp= 71708 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-unif-100_100.08.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079696-1465247192/watcher-4079696-1465247192 -o /tmp/evaluation-result-4079696-1465247192/solver-4079696-1465247192 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1239 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079696-1465247192.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7e2e59a69914c0aa8f6d18f073e252a7 RANDOM SEED=645843063 node103.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.760 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 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.760 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.760 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.760 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.760 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.760 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.760 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.760 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: 30645496 kB Buffers: 51496 kB Cached: 147840 kB SwapCached: 1716 kB Active: 1182644 kB Inactive: 86060 kB Active(anon): 1070488 kB Inactive(anon): 1160 kB Active(file): 112156 kB Inactive(file): 84900 kB Unevictable: 249824 kB Mlocked: 10676 kB SwapTotal: 67108856 kB SwapFree: 67096644 kB Dirty: 31204 kB Writeback: 0 kB AnonPages: 1322540 kB Mapped: 10460 kB Shmem: 0 kB Slab: 570552 kB SReclaimable: 14404 kB SUnreclaim: 556148 kB KernelStack: 1464 kB PageTables: 6512 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1470396 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1224704 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= 71692 MiB End job on node103 at 2016-06-06 23:36:33