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.12 | 1800.53 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mzzv11.opb |
| MD5SUM | a74bcf40291587dc368e3a23fd278be9 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -10859 |
| Best CPU time to get the best result obtained on this benchmark | 217.128 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -10639 |
| Optimality of the best value was proved | NO |
| Number of variables | 11247 |
| Total number of constraints | 9744 |
| Number of constraints which are clauses | 77 |
| Number of constraints which are cardinality constraints (but not clauses) | 5755 |
| Number of constraints which are nor clauses,nor cardinality constraints | 3912 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 68 |
| Number of terms in the objective function | 773 |
| Biggest coefficient in the objective function | 1000 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 76861 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 1999 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 76861 |
| Number of bits of the biggest sum of numbers | 17 |
| 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-06T16:49:22+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-4079464-1465224561.opb"] 0.00/0.01 c use --random-gen="1411699293 846791211 394019552 1036367482 4208819984 2748380063 3069638247 2291796520 392297970 1381587887 2447080221 146222357 2230608928 1312766836 2553591973 1249058321 2937067032 3900583747 2642226434 1105248010 582562275 4100150943 859368613 1853350680 2459808213 493370638 3189559956 689197584 2468414517 1781099308 2623716478 1647272675 2862048334 1926032248 1875694938 3470400608 1905579366 2137529334 1965605241 2611704459 448872737 1133200279 2174067666 3835054942 3670264525 3287058979 2487285150 3313474731 4214484811 2325208021 930268543 4137765174 594187480 4016063077 1290865658 2632856256 3714129128 490369107 3354219431 3482360188 1107124430 579970976 1895231990 1667258477 1945983842 611670171 498671733 3630974647 1766314921 3366185754 1400452072 2690677406 2306276815 1797926510 709476095 1236604514 1166550453 267822813 546947138 3041361513 363663824 3569935469 2865019405 3765592159 2494926670 3796910831 2698470138 3734970203 3603194144 1202173741 2379118431 1101250712 2525755867 903903655 3276927803 636513161 1462140046 931295262 586165224 1153493367 3755890145 1378752927 1750386466 3072105044 3066630088 1246571375 4031976704 3729423106 3104747158 4268444060 4209734855 802649557 3440104998 204609453 747161682 1461417410 2210825815 871274734 885604279 2178519584 2996079076 3350726096 393670473 1157346011 3767374251 4088395341 2361119194 749679823 1707572496 4167706317 1368484924 1635543483 4241591088 2633296724 3614434591 2097143806 2620491542 3519252647 145022122 236591570 2259060141 694888093 477928909 1542753706 1041411745 3221586982 3001306720 3831906439 3550103035 2227331692 824497900 4096032761 3356112132 783092059 2043815463 222318963 675893872 2205327883 965254018 2939075037 595967682 3451775501 4270931566 889200550 3693472787 2046452786 3380079855 2115735444 2163004656 3558131944 1624070948 4292861863 1008834646 455169953 3690247345 3871545109 2435834425 1382066403 554330638 923710872 869716322 1303270502 451589930 3480419300 352897505 1345034367 2897788296 2121760224 1379683918 3650156173 2076681927 3839025331 3519218837 257049973 727913532 353665396 3011676568 2369626220 3577874007 497555691 718021365 3935672117 858440505 697547139 1078778030 2042309131 2069793108 4160916637 2634196712 1320202061 686315361 3176306027 3247381934 3084367893 2527363379 2695270813 197448016 2091099663 1471133789 1051914338 282021794 3646345794 2260301377 3341838145 1113073524 2852347484 3956765504 3620917340 72661715 3369239400 3992959941 2806053281 887280527 3890129285 2506267327 3435355171 2910289402 3506709327 3367899425 767202084 1623794052 4207920144 2876886398 1369123539 1539931103 1362251984 1224046392 2298299314 3881424315 3474864982 2860195574 2391287791 1232216327 1759255434 3048485560 2246696986 255 362436" option to reproduce the execution 0.18/0.29 c #vars 11247 0.18/0.29 c #constraints 9744 0.68/0.74 c BCD2: Hardening is enabled. 0.68/0.74 c BCD2: BiasedSearch is enabled. 0.68/0.74 c Solving starts ... 0.68/0.74 c ============================[ Search Statistics ]============================ 0.68/0.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.68/0.74 c | | | | Limit GC | Var | Constra 0.68/0.74 c ============================================================================= 0.68/0.75 c 0.0s | 0 | 0 | 0 | 8121 0 | 0 | 0 0.89/0.92 c 0.2s | 1 | 1119 | 100 | 8121 0 | 22 | 10 1.09/1.16 c 0.4s | 2 | 3696 | 250 | 8934 0 | 24 | 11 1.29/1.39 c 0.6s | 2 | 7733 | 341 | 9828 0 | 25 | 11 1.29/1.39 c #cpu_time = 0.634s 1.29/1.39 c #wall_clock_time = 0.634s 1.48/1.52 c #decision = 7733 1.48/1.52 c #random_decision = 18 1.48/1.52 c #conflict = 341 1.48/1.52 c #restart = 2 1.48/1.52 o -1714 1.48/1.54 c BCD2: updating upper bound: 76861 -> 11774 1.59/1.64 c BCD2: 0 <= obj <= 11774 1.59/1.64 c BCD2: #cores=0, #unrelaxed=773, #relaxed=0, #hardened=0 1.59/1.64 c BCD2: #sat=1 #unsat=1 bias=1/2 1.59/1.64 c Solving starts ... 1.59/1.64 c ============================[ Search Statistics ]============================ 1.59/1.64 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.64 c | | | | Limit GC | Var | Constra 1.59/1.64 c ============================================================================= 1.59/1.64 c 0.0s | 0 | 0 | 0 | 9828 0 | 25 | 11 1.59/1.66 c 0.0s | 0 | 813 | 1 | 9828 0 | 25 | 11 1.59/1.66 c #cpu_time = 0.025s 1.59/1.66 c #wall_clock_time = 0.025s 1.59/1.66 c #decision = 813 1.59/1.66 c #random_decision = 0 1.59/1.66 c #conflict = 1 1.59/1.66 c #restart = 0 1.59/1.66 c BCD2: found a new core of size 16: cost of the new core is >=25 1.59/1.66 c lower bound updated to -13464 1.68/1.76 c BCD2: 25 <= obj <= 11774 1.68/1.76 c BCD2: #cores=1, #unrelaxed=757, #relaxed=16, #hardened=0 1.68/1.76 c BCD2: #sat=1 #unsat=2 bias=2/3 1.68/1.76 c Solving starts ... 1.68/1.76 c ============================[ Search Statistics ]============================ 1.68/1.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.68/1.76 c | | | | Limit GC | Var | Constra 1.68/1.76 c ============================================================================= 1.68/1.76 c 0.0s | 0 | 0 | 0 | 9828 0 | 25 | 11 1.68/1.78 c 0.0s | 0 | 800 | 1 | 9828 0 | 25 | 11 1.68/1.78 c #cpu_time = 0.026s 1.68/1.78 c #wall_clock_time = 0.026s 1.68/1.78 c #decision = 800 1.68/1.78 c #random_decision = 0 1.68/1.78 c #conflict = 1 1.68/1.78 c #restart = 0 1.68/1.78 c BCD2: found a new core of size 15: cost of the new core is >=25 1.68/1.78 c lower bound updated to -13439 1.78/1.89 c BCD2: 50 <= obj <= 11774 1.78/1.89 c BCD2: #cores=2, #unrelaxed=742, #relaxed=31, #hardened=0 1.78/1.89 c BCD2: #sat=1 #unsat=3 bias=3/4 1.78/1.89 c Solving starts ... 1.78/1.89 c ============================[ Search Statistics ]============================ 1.78/1.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.78/1.89 c | | | | Limit GC | Var | Constra 1.78/1.89 c ============================================================================= 1.89/1.93 c 0.0s | 0 | 0 | 0 | 9828 0 | 25 | 11 1.89/1.96 c 0.0s | 0 | 929 | 1 | 9828 0 | 25 | 11 1.89/1.96 c #cpu_time = 0.028s 1.89/1.96 c #wall_clock_time = 0.028s 1.89/1.96 c #decision = 929 1.89/1.96 c #random_decision = 0 1.89/1.96 c #conflict = 1 1.89/1.96 c #restart = 0 1.89/1.96 c BCD2: found a new core of size 13: cost of the new core is >=50 1.89/1.96 c lower bound updated to -13389 1.99/2.05 c BCD2: 100 <= obj <= 11774 1.99/2.05 c BCD2: #cores=3, #unrelaxed=729, #relaxed=44, #hardened=0 1.99/2.05 c BCD2: #sat=1 #unsat=4 bias=4/5 1.99/2.05 c Solving starts ... 1.99/2.05 c ============================[ Search Statistics ]============================ 1.99/2.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.99/2.05 c | | | | Limit GC | Var | Constra 1.99/2.05 c ============================================================================= 1.99/2.05 c 0.0s | 0 | 0 | 0 | 9828 0 | 25 | 11 1.99/2.08 c 0.0s | 0 | 918 | 1 | 9828 0 | 25 | 11 1.99/2.08 c #cpu_time = 0.029s 1.99/2.08 c #wall_clock_time = 0.029s 1.99/2.08 c #decision = 918 1.99/2.08 c #random_decision = 0 1.99/2.08 c #conflict = 1 1.99/2.08 c #restart = 0 1.99/2.08 c BCD2: found a new core of size 13: cost of the new core is >=50 1.99/2.08 c lower bound updated to -13339 2.09/2.17 c BCD2: 150 <= obj <= 11774 2.09/2.17 c BCD2: #cores=4, #unrelaxed=716, #relaxed=57, #hardened=0 2.09/2.17 c BCD2: #sat=1 #unsat=5 bias=5/6 2.09/2.17 c Solving starts ... 2.09/2.17 c ============================[ Search Statistics ]============================ 2.09/2.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.09/2.17 c | | | | Limit GC | Var | Constra 2.09/2.17 c ============================================================================= 2.09/2.17 c 0.0s | 0 | 0 | 0 | 9828 0 | 25 | 11 2.19/2.20 c 0.0s | 0 | 907 | 1 | 9828 0 | 25 | 11 2.19/2.20 c #cpu_time = 0.029s 2.19/2.20 c #wall_clock_time = 0.029s 2.19/2.20 c #decision = 907 2.19/2.20 c #random_decision = 0 2.19/2.20 c #conflict = 1 2.19/2.20 c #restart = 0 2.19/2.20 c BCD2: found a new core of size 13: cost of the new core is >=50 2.19/2.20 c lower bound updated to -13289 2.19/2.30 c BCD2: 200 <= obj <= 11774 2.19/2.30 c BCD2: #cores=5, #unrelaxed=703, #relaxed=70, #hardened=0 2.19/2.30 c BCD2: #sat=1 #unsat=6 bias=6/7 2.19/2.30 c Solving starts ... 2.19/2.30 c ============================[ Search Statistics ]============================ 2.19/2.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.19/2.30 c | | | | Limit GC | Var | Constra 2.19/2.30 c ============================================================================= 2.19/2.30 c 0.0s | 0 | 0 | 0 | 9828 0 | 25 | 11 2.29/2.33 c 0.0s | 0 | 896 | 1 | 9828 0 | 25 | 11 2.29/2.33 c #cpu_time = 0.029s 2.29/2.33 c #wall_clock_time = 0.029s 2.29/2.33 c #decision = 896 2.29/2.33 c #random_decision = 0 2.29/2.33 c #conflict = 1 2.29/2.33 c #restart = 0 2.29/2.33 c BCD2: found a new core of size 13: cost of the new core is >=50 2.29/2.33 c lower bound updated to -13239 2.38/2.48 c BCD2: 250 <= obj <= 11774 2.38/2.48 c BCD2: #cores=6, #unrelaxed=690, #relaxed=83, #hardened=0 2.38/2.48 c BCD2: #sat=1 #unsat=7 bias=7/8 2.38/2.48 c Solving starts ... 2.38/2.48 c ============================[ Search Statistics ]============================ 2.38/2.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.38/2.48 c | | | | Limit GC | Var | Constra 2.38/2.48 c ============================================================================= 2.38/2.48 c 0.0s | 0 | 0 | 0 | 9828 0 | 25 | 11 2.48/2.51 c 0.0s | 0 | 927 | 1 | 9828 0 | 25 | 11 2.48/2.51 c #cpu_time = 0.030s 2.48/2.51 c #wall_clock_time = 0.030s 2.48/2.51 c #decision = 927 2.48/2.51 c #random_decision = 0 2.48/2.51 c #conflict = 1 2.48/2.51 c #restart = 0 2.48/2.51 c BCD2: found a new core of size 17: cost of the new core is >=10 2.48/2.51 c lower bound updated to -13229 2.58/2.60 c BCD2: 260 <= obj <= 11774 2.58/2.60 c BCD2: #cores=7, #unrelaxed=673, #relaxed=100, #hardened=0 2.58/2.60 c BCD2: #sat=1 #unsat=8 bias=8/9 2.58/2.60 c Solving starts ... 2.58/2.60 c ============================[ Search Statistics ]============================ 2.58/2.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.58/2.60 c | | | | Limit GC | Var | Constra 2.58/2.60 c ============================================================================= 2.58/2.60 c 0.0s | 0 | 0 | 0 | 9828 0 | 25 | 11 2.58/2.65 c 0.0s | 0 | 970 | 1 | 9828 0 | 25 | 11 2.58/2.65 c #cpu_time = 0.040s 2.58/2.65 c #wall_clock_time = 0.040s 2.58/2.65 c #decision = 970 2.58/2.65 c #random_decision = 0 2.58/2.65 c #conflict = 1 2.58/2.65 c #restart = 0 2.58/2.65 c BCD2: found a new core of size 25: cost of the new core is >=5 2.58/2.65 c lower bound updated to -13224 2.68/2.74 c BCD2: 265 <= obj <= 11774 2.68/2.74 c BCD2: #cores=8, #unrelaxed=648, #relaxed=125, #hardened=0 2.68/2.74 c BCD2: #sat=1 #unsat=9 bias=9/10 2.68/2.74 c Solving starts ... 2.68/2.74 c ============================[ Search Statistics ]============================ 2.68/2.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.68/2.74 c | | | | Limit GC | Var | Constra 2.68/2.74 c ============================================================================= 2.68/2.74 c 0.0s | 0 | 0 | 0 | 9828 0 | 25 | 11 2.68/2.77 c 0.0s | 0 | 947 | 1 | 9828 0 | 25 | 11 2.68/2.77 c #cpu_time = 0.033s 2.68/2.77 c #wall_clock_time = 0.033s 2.68/2.77 c #decision = 947 2.68/2.77 c #random_decision = 0 2.68/2.77 c #conflict = 1 2.68/2.77 c #restart = 0 2.68/2.77 c BCD2: found a new core of size 13: cost of the new core is >=25 2.68/2.77 c lower bound updated to -13199 2.78/2.87 c BCD2: 290 <= obj <= 11774 2.78/2.87 c BCD2: #cores=9, #unrelaxed=635, #relaxed=138, #hardened=0 2.78/2.87 c BCD2: #sat=1 #unsat=10 bias=10/11 2.78/2.87 c Solving starts ... 2.78/2.87 c ============================[ Search Statistics ]============================ 2.78/2.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.78/2.87 c | | | | Limit GC | Var | Constra 2.78/2.87 c ============================================================================= 2.78/2.87 c 0.0s | 0 | 0 | 0 | 9828 0 | 25 | 11 2.88/2.90 c 0.0s | 0 | 936 | 1 | 9828 0 | 25 | 11 2.88/2.90 c #cpu_time = 0.031s 2.88/2.90 c #wall_clock_time = 0.031s 2.88/2.90 c #decision = 936 2.88/2.90 c #random_decision = 0 2.88/2.90 c #conflict = 1 2.88/2.90 c #restart = 0 2.88/2.90 c BCD2: found a new core of size 17: cost of the new core is >=50 2.88/2.90 c lower bound updated to -13149 2.98/3.00 c BCD2: 340 <= obj <= 11774 2.98/3.00 c BCD2: #cores=10, #unrelaxed=618, #relaxed=155, #hardened=0 2.98/3.00 c BCD2: #sat=1 #unsat=11 bias=11/12 2.98/3.00 c Solving starts ... 2.98/3.00 c ============================[ Search Statistics ]============================ 2.98/3.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.98/3.00 c | | | | Limit GC | Var | Constra 2.98/3.00 c ============================================================================= 2.98/3.00 c 0.0s | 0 | 0 | 0 | 9828 0 | 25 | 11 2.98/3.03 c 0.0s | 0 | 921 | 1 | 9828 0 | 25 | 11 2.98/3.03 c #cpu_time = 0.032s 2.98/3.03 c #wall_clock_time = 0.032s 2.98/3.03 c #decision = 921 2.98/3.03 c #random_decision = 0 2.98/3.03 c #conflict = 1 2.98/3.03 c #restart = 0 2.98/3.03 c BCD2: found a new core of size 17: cost of the new core is >=50 2.98/3.03 c lower bound updated to -13099 3.08/3.12 c BCD2: 390 <= obj <= 11774 3.08/3.12 c BCD2: #cores=11, #unrelaxed=601, #relaxed=172, #hardened=0 3.08/3.12 c BCD2: #sat=1 #unsat=12 bias=12/13 3.08/3.12 c Solving starts ... 3.08/3.12 c ============================[ Search Statistics ]============================ 3.08/3.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.08/3.12 c | | | | Limit GC | Var | Constra 3.08/3.12 c ============================================================================= 3.08/3.12 c 0.0s | 0 | 0 | 0 | 9828 0 | 25 | 11 3.08/3.16 c 0.0s | 0 | 906 | 1 | 9828 0 | 25 | 11 3.08/3.16 c #cpu_time = 0.031s 3.08/3.16 c #wall_clock_time = 0.031s 3.08/3.16 c #decision = 906 3.08/3.16 c #random_decision = 0 3.08/3.16 c #conflict = 1 3.08/3.16 c #restart = 0 3.08/3.16 c BCD2: found a new core of size 17: cost of the new core is >=50 3.08/3.16 c lower bound updated to -13049 3.18/3.25 c BCD2: 440 <= obj <= 11774 3.18/3.25 c BCD2: #cores=12, #unrelaxed=584, #relaxed=189, #hardened=0 3.18/3.25 c BCD2: #sat=1 #unsat=13 bias=13/14 3.18/3.25 c Solving starts ... 3.18/3.25 c ============================[ Search Statistics ]============================ 3.18/3.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.18/3.25 c | | | | Limit GC | Var | Constra 3.18/3.25 c ============================================================================= 3.18/3.25 c 0.0s | 0 | 0 | 0 | 9828 0 | 25 | 11 3.29/3.32 c 0.1s | 0 | 745 | 21 | 9828 0 | 25 | 11 3.29/3.32 c #cpu_time = 0.074s 3.29/3.32 c #wall_clock_time = 0.074s 3.29/3.32 c #decision = 745 3.29/3.32 c #random_decision = 0 3.29/3.32 c #conflict = 21 3.29/3.32 c #restart = 0 3.29/3.32 c BCD2: found a new core of size 35: cost of the new core is >=5 3.29/3.32 c lower bound updated to -13044 3.39/3.42 c BCD2: 445 <= obj <= 11774 3.39/3.42 c BCD2: #cores=13, #unrelaxed=549, #relaxed=224, #hardened=0 3.39/3.42 c BCD2: #sat=1 #unsat=14 bias=14/15 3.39/3.42 c Solving starts ... 3.39/3.42 c ============================[ Search Statistics ]============================ 3.39/3.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.39/3.42 c | | | | Limit GC | Var | Constra 3.39/3.42 c ============================================================================= 3.39/3.42 c 0.0s | 0 | 0 | 0 | 9828 0 | 25 | 11 3.39/3.48 c 0.1s | 0 | 1516 | 8 | 9828 0 | 25 | 11 3.39/3.48 c #cpu_time = 0.053s 3.39/3.48 c #wall_clock_time = 0.053s 3.39/3.48 c #decision = 1516 3.39/3.48 c #random_decision = 0 3.39/3.48 c #conflict = 8 3.39/3.48 c #restart = 0 3.39/3.48 c BCD2: relaxing 17 and merging with 1 cores into a new core of size 30: cost of the new core is >=75 3.39/3.48 c lower bound updated to -13019 3.48/3.57 c BCD2: 470 <= obj <= 11774 3.48/3.57 c BCD2: #cores=13, #unrelaxed=532, #relaxed=241, #hardened=0 3.48/3.57 c BCD2: #sat=1 #unsat=15 bias=15/16 3.48/3.57 c Solving starts ... 3.48/3.57 c ============================[ Search Statistics ]============================ 3.48/3.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.48/3.57 c | | | | Limit GC | Var | Constra 3.48/3.57 c ============================================================================= 3.48/3.57 c 0.0s | 0 | 0 | 0 | 9828 0 | 34 | 11 3.58/3.64 c 0.1s | 0 | 876 | 66 | 9828 0 | 34 | 28 3.58/3.64 c #cpu_time = 0.071s 3.58/3.64 c #wall_clock_time = 0.071s 3.58/3.64 c #decision = 876 3.58/3.64 c #random_decision = 0 3.58/3.64 c #conflict = 66 3.58/3.64 c #restart = 0 3.58/3.64 c BCD2: relaxing 44 and merging with 2 cores into a new core of size 74: cost of the new core is >=95 3.58/3.64 c lower bound updated to -12999 3.68/3.74 c BCD2: 490 <= obj <= 11774 3.68/3.74 c BCD2: #cores=12, #unrelaxed=488, #relaxed=285, #hardened=0 3.68/3.74 c BCD2: #sat=1 #unsat=16 bias=16/17 3.68/3.74 c Solving starts ... 3.68/3.74 c ============================[ Search Statistics ]============================ 3.68/3.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.68/3.74 c | | | | Limit GC | Var | Constra 3.68/3.74 c ============================================================================= 3.68/3.74 c 0.0s | 0 | 0 | 0 | 9828 0 | 41 | 28 3.68/3.79 c 0.1s | 0 | 764 | 49 | 10811 0 | 41 | 40 3.68/3.79 c #cpu_time = 0.050s 3.68/3.79 c #wall_clock_time = 0.050s 3.68/3.79 c #decision = 764 3.68/3.79 c #random_decision = 2 3.68/3.79 c #conflict = 49 3.68/3.79 c #restart = 0 3.68/3.79 c BCD2: found a new core of size 15: cost of the new core is >=35 3.68/3.79 c lower bound updated to -12964 3.78/3.88 c BCD2: 525 <= obj <= 11774 3.78/3.88 c BCD2: #cores=13, #unrelaxed=473, #relaxed=300, #hardened=0 3.78/3.88 c BCD2: #sat=1 #unsat=17 bias=17/18 3.78/3.88 c Solving starts ... 3.78/3.88 c ============================[ Search Statistics ]============================ 3.78/3.88 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.78/3.88 c | | | | Limit GC | Var | Constra 3.78/3.88 c ============================================================================= 3.78/3.88 c 0.0s | 0 | 0 | 0 | 10811 0 | 41 | 40 3.88/3.98 c 0.1s | 0 | 2277 | 39 | 10811 0 | 132 | 139 3.88/3.98 c #cpu_time = 0.094s 3.88/3.98 c #wall_clock_time = 0.094s 3.88/3.98 c #decision = 2277 3.88/3.98 c #random_decision = 2 3.88/3.98 c #conflict = 39 3.88/3.98 c #restart = 0 3.88/3.98 c BCD2: updating lower bound of a core 3.88/3.98 c BCD2: refineLB: 238 -> 250 3.88/3.98 c lower bound updated to -12739 3.98/4.08 c BCD2: 750 <= obj <= 11774 3.98/4.08 c BCD2: #cores=13, #unrelaxed=473, #relaxed=300, #hardened=0 3.98/4.08 c BCD2: #sat=1 #unsat=18 bias=18/19 3.98/4.08 c Solving starts ... 3.98/4.08 c ============================[ Search Statistics ]============================ 3.98/4.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.98/4.08 c | | | | Limit GC | Var | Constra 3.98/4.08 c ============================================================================= 3.98/4.08 c 0.0s | 0 | 0 | 0 | 10811 0 | 132 | 139 4.08/4.16 c 0.1s | 0 | 1736 | 21 | 10811 0 | 225 | 229 4.08/4.16 c #cpu_time = 0.080s 4.08/4.16 c #wall_clock_time = 0.080s 4.08/4.16 c #decision = 1736 4.08/4.16 c #random_decision = 0 4.08/4.16 c #conflict = 21 4.08/4.16 c #restart = 0 4.08/4.16 c BCD2: updating lower bound of a core 4.08/4.16 c BCD2: refineLB: 239 -> 250 4.08/4.16 c lower bound updated to -12514 4.18/4.25 c BCD2: 975 <= obj <= 11774 4.18/4.25 c BCD2: #cores=13, #unrelaxed=473, #relaxed=300, #hardened=0 4.18/4.25 c BCD2: #sat=1 #unsat=19 bias=19/20 4.18/4.25 c Solving starts ... 4.18/4.25 c ============================[ Search Statistics ]============================ 4.18/4.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.18/4.25 c | | | | Limit GC | Var | Constra 4.18/4.25 c ============================================================================= 4.18/4.25 c 0.0s | 0 | 0 | 0 | 10811 0 | 225 | 229 4.28/4.37 c 0.1s | 0 | 1670 | 38 | 10811 0 | 225 | 229 4.28/4.37 c #cpu_time = 0.118s 4.28/4.37 c #wall_clock_time = 0.118s 4.28/4.37 c #decision = 1670 4.28/4.37 c #random_decision = 5 4.28/4.37 c #conflict = 38 4.28/4.37 c #restart = 0 4.28/4.37 c BCD2: found a new core of size 34: cost of the new core is >=5 4.28/4.37 c lower bound updated to -12509 4.39/4.46 c BCD2: 980 <= obj <= 11774 4.39/4.46 c BCD2: #cores=14, #unrelaxed=439, #relaxed=334, #hardened=0 4.39/4.46 c BCD2: #sat=1 #unsat=20 bias=20/21 4.39/4.47 c Solving starts ... 4.39/4.47 c ============================[ Search Statistics ]============================ 4.39/4.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.39/4.47 c | | | | Limit GC | Var | Constra 4.39/4.47 c ============================================================================= 4.39/4.47 c 0.0s | 0 | 0 | 0 | 10811 0 | 225 | 229 4.49/4.52 c 0.1s | 0 | 900 | 15 | 10811 0 | 225 | 229 4.49/4.52 c #cpu_time = 0.058s 4.49/4.52 c #wall_clock_time = 0.058s 4.49/4.52 c #decision = 900 4.49/4.52 c #random_decision = 0 4.49/4.52 c #conflict = 15 4.49/4.52 c #restart = 0 4.49/4.52 c BCD2: relaxing 21 and merging with 1 cores into a new core of size 34: cost of the new core is >=65 4.49/4.52 c lower bound updated to -12494 4.58/4.62 c BCD2: 995 <= obj <= 11774 4.58/4.62 c BCD2: #cores=14, #unrelaxed=418, #relaxed=355, #hardened=0 4.58/4.62 c BCD2: #sat=1 #unsat=21 bias=21/22 4.58/4.62 c Solving starts ... 4.58/4.62 c ============================[ Search Statistics ]============================ 4.58/4.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.58/4.62 c | | | | Limit GC | Var | Constra 4.58/4.62 c ============================================================================= 4.58/4.62 c 0.0s | 0 | 0 | 0 | 10811 0 | 237 | 229 4.68/4.77 c 0.2s | 0 | 2080 | 43 | 10811 0 | 237 | 252 4.68/4.77 c #cpu_time = 0.144s 4.68/4.77 c #wall_clock_time = 0.144s 4.68/4.77 c #decision = 2080 4.68/4.77 c #random_decision = 5 4.68/4.77 c #conflict = 43 4.68/4.77 c #restart = 0 4.68/4.77 o -7404 4.78/4.83 c BCD2: updating upper bound: 11774 -> 6084 4.78/4.89 c BCD2: 995 <= obj <= 6084 4.78/4.89 c BCD2: #cores=14, #unrelaxed=418, #relaxed=355, #hardened=0 4.78/4.89 c BCD2: #sat=2 #unsat=21 bias=21/23 4.88/4.90 c Solving starts ... 4.88/4.90 c ============================[ Search Statistics ]============================ 4.88/4.90 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.88/4.90 c | | | | Limit GC | Var | Constra 4.88/4.90 c ============================================================================= 4.88/4.90 c 0.0s | 0 | 0 | 0 | 10811 0 | 237 | 253 4.88/4.97 c 0.1s | 1 | 937 | 100 | 10811 0 | 237 | 253 5.08/5.12 c 0.2s | 1 | 2719 | 245 | 11893 0 | 237 | 253 5.08/5.12 c #cpu_time = 0.214s 5.08/5.12 c #wall_clock_time = 0.214s 5.08/5.12 c #decision = 2719 5.08/5.12 c #random_decision = 6 5.08/5.12 c #conflict = 245 5.08/5.12 c #restart = 1 5.08/5.12 o -8599 5.08/5.17 c BCD2: updating upper bound: 6084 -> 4889 5.18/5.22 c BCD2: 995 <= obj <= 4889 5.18/5.22 c BCD2: #cores=14, #unrelaxed=418, #relaxed=355, #hardened=0 5.18/5.22 c BCD2: #sat=3 #unsat=21 bias=21/24 5.18/5.22 c Solving starts ... 5.18/5.22 c ============================[ Search Statistics ]============================ 5.18/5.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.18/5.22 c | | | | Limit GC | Var | Constra 5.18/5.22 c ============================================================================= 5.18/5.22 c 0.0s | 0 | 0 | 0 | 11893 0 | 237 | 254 5.28/5.30 c 0.1s | 0 | 1848 | 35 | 11893 0 | 237 | 254 5.28/5.30 c #cpu_time = 0.074s 5.28/5.30 c #wall_clock_time = 0.074s 5.28/5.30 c #decision = 1848 5.28/5.30 c #random_decision = 3 5.28/5.30 c #conflict = 35 5.28/5.30 c #restart = 0 5.28/5.30 c BCD2: relaxing 24 and merging with 2 cores into a new core of size 113: cost of the new core is >=140 5.28/5.30 c lower bound updated to -12484 5.28/5.35 c BCD2: 1005 <= obj <= 4889 5.28/5.35 c BCD2: #cores=13, #unrelaxed=394, #relaxed=379, #hardened=0 5.28/5.35 c BCD2: #sat=3 #unsat=22 bias=22/25 5.28/5.35 c Solving starts ... 5.28/5.35 c ============================[ Search Statistics ]============================ 5.28/5.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.28/5.35 c | | | | Limit GC | Var | Constra 5.28/5.35 c ============================================================================= 5.28/5.35 c 0.0s | 0 | 0 | 0 | 11893 0 | 252 | 254 5.38/5.47 c 0.1s | 1 | 1244 | 100 | 11893 0 | 252 | 282 5.38/5.50 c 0.1s | 1 | 1662 | 104 | 11893 0 | 252 | 282 5.38/5.50 c #cpu_time = 0.148s 5.38/5.50 c #wall_clock_time = 0.148s 5.38/5.50 c #decision = 1662 5.38/5.50 c #random_decision = 4 5.38/5.50 c #conflict = 104 5.38/5.50 c #restart = 1 5.38/5.50 c BCD2: relaxing 111 and merging with 2 cores into a new core of size 180: cost of the new core is >=74 5.38/5.50 c lower bound updated to -12480 5.49/5.55 c BCD2: 1009 <= obj <= 4889 5.49/5.55 c BCD2: #cores=12, #unrelaxed=283, #relaxed=490, #hardened=0 5.49/5.55 c BCD2: #sat=3 #unsat=23 bias=23/26 5.49/5.56 c Solving starts ... 5.49/5.56 c ============================[ Search Statistics ]============================ 5.49/5.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.49/5.56 c | | | | Limit GC | Var | Constra 5.49/5.56 c ============================================================================= 5.49/5.56 c 0.0s | 0 | 0 | 0 | 11893 0 | 265 | 282 5.59/5.68 c 0.1s | 1 | 1424 | 100 | 11893 0 | 265 | 308 5.78/5.82 c 0.3s | 2 | 4266 | 250 | 11893 0 | 265 | 308 5.88/5.90 c 0.3s | 2 | 4985 | 256 | 11893 0 | 265 | 308 5.88/5.90 c #cpu_time = 0.331s 5.88/5.90 c #wall_clock_time = 0.331s 5.88/5.90 c #decision = 4985 5.88/5.90 c #random_decision = 2 5.88/5.90 c #conflict = 256 5.88/5.90 c #restart = 2 5.88/5.90 o -9164 5.88/5.95 c BCD2: updating upper bound: 4889 -> 4324 5.88/5.99 c BCD2: 1009 <= obj <= 4324 5.88/5.99 c BCD2: #cores=12, #unrelaxed=283, #relaxed=490, #hardened=0 5.88/5.99 c BCD2: #sat=4 #unsat=23 bias=23/27 5.98/6.00 c Solving starts ... 5.98/6.00 c ============================[ Search Statistics ]============================ 5.98/6.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.98/6.00 c | | | | Limit GC | Var | Constra 5.98/6.00 c ============================================================================= 5.98/6.00 c 0.0s | 0 | 0 | 0 | 11893 0 | 265 | 309 6.08/6.11 c 0.1s | 1 | 675 | 100 | 13083 0 | 265 | 309 6.18/6.22 c 0.2s | 2 | 1390 | 250 | 13083 0 | 265 | 309 6.28/6.37 c 0.4s | 3 | 2152 | 475 | 13083 0 | 265 | 309 6.59/6.62 c 0.6s | 4 | 3219 | 813 | 14392 0 | 265 | 309 6.88/6.94 c 0.9s | 5 | 4585 | 1320 | 14392 0 | 265 | 309 7.38/7.44 c 1.4s | 6 | 6446 | 2081 | 15832 0 | 265 | 309 7.98/8.09 c 2.1s | 7 | 8836 | 3223 | 15832 0 | 265 | 309 9.18/9.21 c 3.2s | 8 | 12442 | 4936 | 17416 0 | 265 | 309 10.68/10.78 c 4.8s | 8 | 17438 | 7350 | 19158 0 | 265 | 309 10.68/10.78 c #cpu_time = 4.771s 10.68/10.78 c #wall_clock_time = 4.771s 10.68/10.78 c #decision = 17438 10.68/10.78 c #random_decision = 54 10.68/10.78 c #conflict = 7350 10.68/10.78 c #restart = 8 10.68/10.78 o -9849 10.78/10.82 c BCD2: updating upper bound: 4324 -> 3639 10.78/10.86 c BCD2: 1009 <= obj <= 3639 10.78/10.86 c BCD2: #cores=12, #unrelaxed=283, #relaxed=490, #hardened=0 10.78/10.86 c BCD2: #sat=5 #unsat=23 bias=23/28 10.78/10.86 c Solving starts ... 10.78/10.86 c ============================[ Search Statistics ]============================ 10.78/10.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 10.78/10.86 c | | | | Limit GC | Var | Constra 10.78/10.86 c ============================================================================= 10.78/10.86 c 0.0s | 0 | 0 | 0 | 19158 0 | 265 | 310 10.88/10.97 c 0.1s | 1 | 1140 | 100 | 19158 0 | 265 | 310 10.99/11.02 c 0.2s | 1 | 1737 | 104 | 19158 0 | 265 | 310 10.99/11.02 c #cpu_time = 0.155s 10.99/11.02 c #wall_clock_time = 0.155s 10.99/11.02 c #decision = 1737 10.99/11.02 c #random_decision = 1 10.99/11.02 c #conflict = 104 10.99/11.02 c #restart = 1 10.99/11.02 c BCD2: relaxing 0 and merging with 2 cores into a new core of size 43: cost of the new core is >=150 10.99/11.02 c BCD2: refineLB: 126 -> 150 10.99/11.02 c lower bound updated to -12455 10.99/11.06 c BCD2: 1034 <= obj <= 3639 10.99/11.06 c BCD2: #cores=11, #unrelaxed=283, #relaxed=490, #hardened=0 10.99/11.06 c BCD2: #sat=5 #unsat=24 bias=24/29 10.99/11.07 c Solving starts ... 10.99/11.07 c ============================[ Search Statistics ]============================ 10.99/11.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 10.99/11.07 c | | | | Limit GC | Var | Constra 10.99/11.07 c ============================================================================= 10.99/11.07 c 0.0s | 0 | 0 | 0 | 19158 0 | 295 | 310 11.09/11.15 c 0.1s | 0 | 1483 | 10 | 19158 0 | 296 | 372 11.09/11.15 c #cpu_time = 0.083s 11.09/11.15 c #wall_clock_time = 0.083s 11.09/11.15 c #decision = 1483 11.09/11.15 c #random_decision = 0 11.09/11.15 c #conflict = 10 11.09/11.15 c #restart = 0 11.09/11.15 c BCD2: updating lower bound of a core 11.09/11.15 c BCD2: refineLB: 295 -> 300 11.09/11.15 c lower bound updated to -12305 11.09/11.19 c BCD2: 1184 <= obj <= 3639 11.09/11.19 c BCD2: #cores=11, #unrelaxed=283, #relaxed=490, #hardened=0 11.09/11.19 c BCD2: #sat=5 #unsat=25 bias=25/30 11.18/11.20 c Solving starts ... 11.18/11.20 c ============================[ Search Statistics ]============================ 11.18/11.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 11.18/11.20 c | | | | Limit GC | Var | Constra 11.18/11.20 c ============================================================================= 11.18/11.20 c 0.0s | 0 | 0 | 0 | 19158 0 | 296 | 372 11.28/11.35 c 0.1s | 1 | 1498 | 100 | 19158 0 | 296 | 372 11.38/11.49 c 0.3s | 2 | 2598 | 250 | 19158 0 | 296 | 372 11.59/11.69 c 0.5s | 3 | 3569 | 475 | 19158 0 | 296 | 372 11.99/12.03 c 0.8s | 3 | 5996 | 742 | 19158 0 | 296 | 372 11.99/12.03 c #cpu_time = 0.832s 11.99/12.03 c #wall_clock_time = 0.832s 11.99/12.03 c #decision = 5996 11.99/12.03 c #random_decision = 16 11.99/12.03 c #conflict = 742 11.99/12.03 c #restart = 3 11.99/12.03 c BCD2: relaxing 31 and merging with 3 cores into a new core of size 178: cost of the new core is >=245 11.99/12.03 c lower bound updated to -12300 11.99/12.08 c BCD2: 1189 <= obj <= 3639 11.99/12.08 c BCD2: #cores=9, #unrelaxed=252, #relaxed=521, #hardened=0 11.99/12.08 c BCD2: #sat=5 #unsat=26 bias=26/31 11.99/12.09 c Solving starts ... 11.99/12.09 c ============================[ Search Statistics ]============================ 11.99/12.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 11.99/12.09 c | | | | Limit GC | Var | Constra 11.99/12.09 c ============================================================================= 11.99/12.09 c 0.0s | 0 | 0 | 0 | 19158 0 | 336 | 372 12.20/12.30 c 0.2s | 1 | 641 | 100 | 19158 0 | 336 | 456 12.39/12.42 c 0.3s | 2 | 1225 | 250 | 19158 0 | 336 | 456 12.49/12.59 c 0.5s | 3 | 1896 | 475 | 19158 0 | 336 | 456 12.69/12.79 c 0.7s | 4 | 2843 | 813 | 19158 0 | 336 | 456 13.09/13.11 c 1.0s | 5 | 3931 | 1320 | 19158 0 | 336 | 456 13.59/13.67 c 1.6s | 6 | 5371 | 2081 | 21074 0 | 336 | 456 14.40/14.50 c 2.4s | 7 | 9087 | 3223 | 21074 0 | 336 | 456 15.29/15.34 c 3.3s | 7 | 12714 | 4283 | 21074 0 | 336 | 456 15.29/15.34 c #cpu_time = 3.249s 15.29/15.34 c #wall_clock_time = 3.249s 15.29/15.34 c #decision = 12714 15.29/15.34 c #random_decision = 32 15.29/15.34 c #conflict = 4283 15.29/15.34 c #restart = 7 15.29/15.34 o -10389 15.29/15.38 c BCD2: updating upper bound: 3639 -> 3099 15.40/15.41 c BCD2: 1189 <= obj <= 3099 15.40/15.41 c BCD2: #cores=9, #unrelaxed=252, #relaxed=521, #hardened=0 15.40/15.41 c BCD2: #sat=6 #unsat=26 bias=26/32 15.40/15.42 c Solving starts ... 15.40/15.42 c ============================[ Search Statistics ]============================ 15.40/15.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 15.40/15.42 c | | | | Limit GC | Var | Constra 15.40/15.42 c ============================================================================= 15.40/15.42 c 0.0s | 0 | 0 | 0 | 21074 0 | 336 | 457 15.50/15.59 c 0.2s | 1 | 421 | 100 | 21074 0 | 336 | 457 15.79/15.81 c 0.4s | 2 | 1042 | 250 | 21074 0 | 336 | 457 15.99/16.05 c 0.6s | 3 | 1829 | 475 | 21074 0 | 336 | 457 16.50/16.53 c 1.1s | 4 | 2949 | 813 | 21074 0 | 336 | 457 16.99/17.09 c 1.7s | 4 | 4113 | 1269 | 21074 0 | 336 | 457 16.99/17.09 c #cpu_time = 1.676s 16.99/17.09 c #wall_clock_time = 1.676s 16.99/17.09 c #decision = 4113 16.99/17.09 c #random_decision = 8 16.99/17.09 c #conflict = 1269 16.99/17.09 c #restart = 4 16.99/17.09 c BCD2: relaxing 13 and merging with 1 cores into a new core of size 191: cost of the new core is >=250 16.99/17.09 c lower bound updated to -12295 17.09/17.13 c BCD2: 1194 <= obj <= 3099 17.09/17.13 c BCD2: #cores=9, #unrelaxed=239, #relaxed=534, #hardened=0 17.09/17.13 c BCD2: #sat=6 #unsat=27 bias=27/33 17.09/17.13 c Solving starts ... 17.09/17.13 c ============================[ Search Statistics ]============================ 17.09/17.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 17.09/17.13 c | | | | Limit GC | Var | Constra 17.09/17.13 c ============================================================================= 17.09/17.13 c 0.0s | 0 | 0 | 0 | 21074 0 | 338 | 457 17.19/17.26 c 0.1s | 1 | 698 | 100 | 21074 0 | 338 | 460 17.39/17.40 c 0.3s | 2 | 1169 | 250 | 21074 0 | 338 | 460 17.49/17.51 c 0.4s | 2 | 1776 | 324 | 21074 0 | 339 | 461 17.49/17.51 c #cpu_time = 0.376s 17.49/17.51 c #wall_clock_time = 0.376s 17.49/17.51 c #decision = 1776 17.49/17.51 c #random_decision = 1 17.49/17.51 c #conflict = 324 17.49/17.51 c #restart = 2 17.49/17.51 c BCD2: updating lower bound of a core 17.49/17.52 c BCD2: refineLB: 1486 -> 1489 17.49/17.52 c lower bound updated to -11056 17.49/17.56 c BCD2: 2433 <= obj <= 3099 17.49/17.56 c BCD2: #cores=9, #unrelaxed=239, #relaxed=534, #hardened=0 17.49/17.56 c BCD2: #sat=6 #unsat=28 bias=28/34 17.49/17.59 c Solving starts ... 17.49/17.59 c ============================[ Search Statistics ]============================ 17.49/17.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 17.49/17.59 c | | | | Limit GC | Var | Constra 17.49/17.59 c ============================================================================= 17.49/17.59 c 0.0s | 0 | 0 | 0 | 21074 0 | 339 | 461 17.60/17.69 c 0.1s | 1 | 783 | 100 | 21074 0 | 339 | 461 17.79/17.84 c 0.2s | 2 | 1292 | 250 | 21074 0 | 339 | 461 17.99/18.04 c 0.4s | 3 | 2314 | 475 | 21074 0 | 339 | 461 18.19/18.27 c 0.7s | 4 | 3123 | 813 | 21074 0 | 339 | 461 18.49/18.58 c 1.0s | 5 | 4110 | 1320 | 21074 0 | 339 | 461 18.99/19.06 c 1.5s | 6 | 5795 | 2081 | 23182 0 | 339 | 461 19.99/20.08 c 2.5s | 7 | 8307 | 3223 | 23182 0 | 340 | 462 20.69/20.75 c 3.2s | 7 | 12299 | 3782 | 23182 0 | 340 | 462 20.69/20.75 c #cpu_time = 3.152s 20.69/20.75 c #wall_clock_time = 3.151s 20.69/20.75 c #decision = 12299 20.69/20.75 c #random_decision = 15 20.69/20.75 c #conflict = 3782 20.69/20.75 c #restart = 7 20.69/20.75 o -10535 20.79/20.81 c BCD2: updating upper bound: 3099 -> 2953 20.79/20.87 c BCD2: 2433 <= obj <= 2953 20.79/20.87 c BCD2: #cores=9, #unrelaxed=239, #relaxed=534, #hardened=0 20.79/20.87 c BCD2: #sat=7 #unsat=28 bias=28/35 20.79/20.89 c Solving starts ... 20.79/20.89 c ============================[ Search Statistics ]============================ 20.79/20.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 20.79/20.89 c | | | | Limit GC | Var | Constra 20.79/20.89 c ============================================================================= 20.79/20.89 c 0.0s | 0 | 0 | 0 | 23182 0 | 340 | 463 21.09/21.11 c 0.2s | 1 | 1066 | 100 | 23182 0 | 340 | 463 21.29/21.33 c 0.4s | 2 | 2173 | 250 | 23182 0 | 340 | 463 21.59/21.60 c 0.7s | 2 | 2973 | 432 | 23182 0 | 340 | 463 21.59/21.60 c #cpu_time = 0.699s 21.59/21.60 c #wall_clock_time = 0.699s 21.59/21.60 c #decision = 2973 21.59/21.60 c #random_decision = 3 21.59/21.60 c #conflict = 432 21.59/21.60 c #restart = 2 21.59/21.60 o -10674 21.59/21.63 c BCD2: hardening fixes 9 literals 21.59/21.63 c BCD2: updating upper bound: 2953 -> 2814 21.59/21.66 c BCD2: 2433 <= obj <= 2814 21.59/21.66 c BCD2: #cores=9, #unrelaxed=235, #relaxed=529, #hardened=9 21.59/21.66 c BCD2: #sat=8 #unsat=28 bias=28/36 21.59/21.66 c Solving starts ... 21.59/21.66 c ============================[ Search Statistics ]============================ 21.59/21.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 21.59/21.66 c | | | | Limit GC | Var | Constra 21.59/21.66 c ============================================================================= 21.59/21.66 c 0.0s | 0 | 0 | 0 | 23182 0 | 356 | 464 21.79/21.80 c 0.1s | 1 | 414 | 100 | 23182 0 | 356 | 464 21.99/22.01 c 0.3s | 2 | 1116 | 250 | 23182 0 | 356 | 464 22.39/22.47 c 0.8s | 2 | 2371 | 431 | 23182 0 | 356 | 464 22.39/22.47 c #cpu_time = 0.803s 22.39/22.47 c #wall_clock_time = 0.803s 22.39/22.47 c #decision = 2371 22.39/22.47 c #random_decision = 4 22.39/22.47 c #conflict = 431 22.39/22.47 c #restart = 2 22.39/22.47 o -10829 22.49/22.50 c BCD2: hardening fixes 47 literals 22.49/22.50 c BCD2: updating upper bound: 2814 -> 2659 22.49/22.53 c BCD2: 2433 <= obj <= 2659 22.49/22.53 c BCD2: #cores=9, #unrelaxed=213, #relaxed=504, #hardened=56 22.49/22.53 c BCD2: #sat=9 #unsat=28 bias=28/37 22.49/22.54 c Solving starts ... 22.49/22.54 c ============================[ Search Statistics ]============================ 22.49/22.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 22.49/22.54 c | | | | Limit GC | Var | Constra 22.49/22.54 c ============================================================================= 22.49/22.54 c 0.0s | 0 | 0 | 0 | 23182 0 | 407 | 465 22.69/22.74 c 0.2s | 0 | 605 | 67 | 23182 0 | 407 | 507 22.69/22.74 c #cpu_time = 0.201s 22.69/22.74 c #wall_clock_time = 0.200s 22.69/22.74 c #decision = 605 22.69/22.74 c #random_decision = 0 22.69/22.74 c #conflict = 67 22.69/22.74 c #restart = 0 22.69/22.74 c BCD2: relaxing 52 and merging with 4 cores into a new core of size 483: cost of the new core is >=1874 22.69/22.74 c lower bound updated to -11055 22.69/22.79 c BCD2: 2434 <= obj <= 2659 22.69/22.79 c BCD2: #cores=6, #unrelaxed=161, #relaxed=556, #hardened=56 22.69/22.79 c BCD2: #sat=9 #unsat=29 bias=29/38 22.79/22.83 c Solving starts ... 22.79/22.83 c ============================[ Search Statistics ]============================ 22.79/22.83 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 22.79/22.83 c | | | | Limit GC | Var | Constra 22.79/22.83 c ============================================================================= 22.79/22.83 c 0.0s | 0 | 0 | 0 | 23182 0 | 431 | 507 22.99/23.02 c 0.2s | 1 | 955 | 100 | 23182 0 | 431 | 556 23.19/23.21 c 0.4s | 2 | 1354 | 250 | 23182 0 | 431 | 556 23.49/23.52 c 0.7s | 3 | 1906 | 475 | 23182 0 | 431 | 556 23.69/23.78 c 0.9s | 4 | 2847 | 813 | 23182 0 | 431 | 556 24.09/24.17 c 1.3s | 5 | 3781 | 1320 | 23182 0 | 431 | 556 24.69/24.78 c 2.0s | 6 | 5337 | 2081 | 23182 0 | 431 | 556 25.69/25.78 c 3.0s | 7 | 7353 | 3223 | 23182 0 | 431 | 556 27.29/27.32 c 4.5s | 8 | 10284 | 4936 | 23182 0 | 431 | 556 29.39/29.40 c 6.6s | 8 | 14147 | 7236 | 25501 0 | 431 | 556 29.59/29.69 c 6.9s | 9 | 14506 | 7506 | 25501 0 | 431 | 556 31.69/31.74 c 8.9s | 9 | 17893 | 9506 | 25501 0 | 431 | 556 33.19/33.27 c 10.4s | 10 | 21304 | 11361 | 25501 0 | 431 | 556 35.19/35.29 c 12.5s | 10 | 25032 | 13661 | 25501 0 | 431 | 556 37.29/37.35 c 14.5s | 10 | 29021 | 15961 | 25501 0 | 431 | 556 38.49/38.54 c 15.7s | 11 | 30780 | 17144 | 25501 0 | 431 | 556 40.48/40.56 c 17.7s | 11 | 33749 | 18944 | 28052 0 | 431 | 556 42.08/42.12 c 19.3s | 11 | 36808 | 20697 | 28052 0 | 431 | 556 42.08/42.12 c #cpu_time = 19.290s 42.08/42.12 c #wall_clock_time = 19.289s 42.08/42.12 c #decision = 36808 42.08/42.12 c #random_decision = 114 42.08/42.12 c #conflict = 20697 42.08/42.12 c #restart = 11 42.08/42.12 c BCD2: relaxing 9 and merging with 3 cores into a new core of size 539: cost of the new core is >=1930 42.08/42.12 c lower bound updated to -11054 42.08/42.15 c BCD2: 2435 <= obj <= 2659 42.08/42.15 c BCD2: #cores=4, #unrelaxed=152, #relaxed=565, #hardened=56 42.08/42.15 c BCD2: #sat=9 #unsat=30 bias=30/39 42.08/42.15 c Solving starts ... 42.08/42.15 c ============================[ Search Statistics ]============================ 42.08/42.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 42.08/42.15 c | | | | Limit GC | Var | Constra 42.08/42.15 c ============================================================================= 42.08/42.15 c 0.0s | 0 | 0 | 0 | 28052 0 | 457 | 556 42.99/43.07 c 0.9s | 1 | 420 | 100 | 28052 0 | 457 | 611 43.38/43.48 c 1.3s | 2 | 854 | 250 | 28052 0 | 457 | 611 43.58/43.63 c 1.5s | 3 | 1439 | 475 | 28052 0 | 457 | 611 44.28/44.36 c 2.2s | 4 | 2350 | 813 | 28052 0 | 457 | 611 44.68/44.79 c 2.6s | 5 | 3263 | 1320 | 28052 0 | 457 | 611 45.48/45.51 c 3.4s | 6 | 4567 | 2081 | 28052 0 | 457 | 611 46.48/46.57 c 4.4s | 7 | 6339 | 3223 | 28052 0 | 457 | 611 47.98/48.07 c 5.9s | 8 | 9296 | 4936 | 28052 0 | 457 | 611 49.88/49.97 c 7.8s | 9 | 13717 | 7506 | 28052 0 | 457 | 611 51.98/52.02 c 9.9s | 9 | 17111 | 9506 | 28052 0 | 457 | 611 53.58/53.68 c 11.5s | 10 | 20137 | 11361 | 28052 0 | 457 | 611 55.68/55.73 c 13.6s | 10 | 24818 | 13861 | 28052 0 | 457 | 611 57.88/57.91 c 15.8s | 10 | 28368 | 15961 | 28052 0 | 457 | 611 59.08/59.16 c 17.0s | 11 | 30464 | 17144 | 28052 0 | 457 | 611 61.18/61.21 c 19.1s | 11 | 33793 | 19144 | 30858 0 | 457 | 611 63.18/63.28 c 21.1s | 11 | 37353 | 21444 | 30858 0 | 457 | 611 65.28/65.31 c 23.2s | 11 | 40633 | 23544 | 30858 0 | 457 | 611 67.28/67.31 c 25.2s | 11 | 44052 | 25644 | 30858 0 | 457 | 611 67.48/67.51 c 25.4s | 12 | 44348 | 25819 | 30858 0 | 457 | 611 68.18/68.26 c 26.1s | 12 | 46551 | 26464 | 30858 0 | 458 | 612 68.18/68.26 c #cpu_time = 26.107s 68.18/68.26 c #wall_clock_time = 26.106s 68.18/68.26 c #decision = 46551 68.18/68.26 c #random_decision = 139 68.18/68.26 c #conflict = 26464 68.18/68.26 c #restart = 12 68.18/68.26 c BCD2: updating lower bound of a core 68.18/68.29 c lower bound updated to -10903 68.28/68.34 c BCD2: hardening fixes 33 literals 68.28/68.34 c BCD2: 2586 <= obj <= 2659 68.28/68.34 c BCD2: #cores=4, #unrelaxed=127, #relaxed=557, #hardened=89 68.28/68.34 c BCD2: #sat=9 #unsat=31 bias=31/40 68.28/68.34 c Solving starts ... 68.28/68.34 c ============================[ Search Statistics ]============================ 68.28/68.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 68.28/68.34 c | | | | Limit GC | Var | Constra 68.28/68.34 c ============================================================================= 68.28/68.34 c 0.0s | 0 | 0 | 0 | 30858 0 | 497 | 613 71.48/71.60 c 3.3s | 0 | 298 | 100 | 30858 0 | 497 | 624 71.48/71.60 c 3.3s | 1 | 298 | 100 | 30858 0 | 497 | 624 71.87/71.96 c 3.6s | 2 | 662 | 250 | 30858 0 | 497 | 624 72.77/72.81 c 4.5s | 3 | 1234 | 475 | 30858 0 | 497 | 624 72.97/73.08 c 4.7s | 4 | 2085 | 813 | 30858 0 | 497 | 624 73.37/73.43 c 5.1s | 5 | 3041 | 1320 | 30858 0 | 497 | 624 73.87/73.96 c 5.6s | 6 | 4532 | 2081 | 30858 0 | 497 | 624 74.78/74.86 c 6.5s | 7 | 6445 | 3223 | 30858 0 | 497 | 624 76.07/76.14 c 7.8s | 8 | 9383 | 4936 | 30858 0 | 497 | 624 78.08/78.15 c 9.8s | 8 | 13399 | 7336 | 30858 0 | 497 | 624 78.18/78.27 c 9.9s | 9 | 13696 | 7506 | 30858 0 | 497 | 624 80.17/80.30 c 12.0s | 9 | 17894 | 10006 | 30858 0 | 497 | 624 81.48/81.58 c 13.2s | 10 | 19977 | 11361 | 30858 0 | 497 | 624 83.47/83.58 c 15.2s | 10 | 24178 | 13661 | 30858 0 | 497 | 624 85.47/85.59 c 17.2s | 10 | 27492 | 15861 | 30858 0 | 497 | 624 86.77/86.81 c 18.5s | 11 | 30004 | 17144 | 30858 0 | 497 | 624 88.77/88.87 c 20.5s | 11 | 33228 | 19144 | 30858 0 | 497 | 624 90.77/90.87 c 22.5s | 11 | 36287 | 21044 | 33944 0 | 497 | 624 92.87/92.95 c 24.6s | 11 | 39172 | 22944 | 33944 0 | 497 | 624 94.97/95.03 c 26.7s | 11 | 42237 | 24944 | 33944 0 | 497 | 624 95.87/95.90 c 27.6s | 12 | 43658 | 25819 | 33944 0 | 497 | 624 97.88/97.98 c 29.6s | 12 | 47232 | 27819 | 33944 0 | 497 | 624 99.97/100.04 c 31.7s | 12 | 50336 | 29819 | 33944 0 | 497 | 624 101.98/102.05 c 33.7s | 12 | 52988 | 31519 | 33944 0 | 497 | 624 104.08/104.12 c 35.8s | 12 | 56174 | 33419 | 33944 1 | 497 | 624 106.17/106.23 c 37.9s | 12 | 59711 | 35619 | 33944 1 | 497 | 624 107.77/107.84 c 39.5s | 12 | 63375 | 36487 | 33944 1 | 497 | 624 107.77/107.84 c #cpu_time = 39.494s 107.77/107.84 c #wall_clock_time = 39.492s 107.77/107.84 c #decision = 63375 107.77/107.84 c #random_decision = 191 107.77/107.84 c #conflict = 36487 107.77/107.84 c #restart = 12 107.77/107.84 o -10849 107.77/107.87 c BCD2: hardening fixes 8 literals 107.77/107.87 c BCD2: updating upper bound: 2659 -> 2639 107.77/107.89 c BCD2: 2586 <= obj <= 2639 107.77/107.89 c BCD2: #cores=4, #unrelaxed=123, #relaxed=553, #hardened=97 107.77/107.89 c BCD2: #sat=10 #unsat=31 bias=31/41 108.07/108.14 c Solving starts ... 108.07/108.14 c ============================[ Search Statistics ]============================ 108.07/108.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 108.07/108.14 c | | | | Limit GC | Var | Constra 108.07/108.14 c ============================================================================= 108.07/108.14 c 0.0s | 0 | 0 | 0 | 33944 0 | 512 | 625 108.47/108.51 c 0.4s | 1 | 398 | 100 | 33944 0 | 512 | 634 109.07/109.15 c 1.0s | 2 | 905 | 250 | 33944 0 | 512 | 634 109.67/109.75 c 1.6s | 3 | 1569 | 475 | 33944 0 | 512 | 634 110.87/110.93 c 2.8s | 4 | 2597 | 813 | 33944 0 | 512 | 634 111.57/111.69 c 3.5s | 5 | 3928 | 1320 | 33944 0 | 512 | 634 113.17/113.22 c 5.1s | 6 | 6105 | 2081 | 33944 0 | 512 | 634 115.37/115.47 c 7.3s | 6 | 8390 | 2881 | 33944 0 | 512 | 634 116.57/116.62 c 8.5s | 7 | 9324 | 3223 | 33944 0 | 512 | 634 118.57/118.62 c 10.5s | 7 | 10507 | 3823 | 33944 0 | 512 | 634 120.56/120.62 c 12.5s | 7 | 12339 | 4923 | 33944 0 | 512 | 634 120.56/120.64 c 12.5s | 8 | 12359 | 4936 | 33944 0 | 512 | 634 122.07/122.13 c 14.0s | 8 | 15370 | 6556 | 33944 0 | 512 | 634 122.07/122.13 c #cpu_time = 13.984s 122.07/122.13 c #wall_clock_time = 13.983s 122.07/122.13 c #decision = 15370 122.07/122.13 c #random_decision = 41 122.07/122.13 c #conflict = 6556 122.07/122.13 c #restart = 8 122.07/122.16 c BCD2: relaxing 23 and merging with 2 cores into a new core of size 587: cost of the new core is >=2091 122.07/122.16 c lower bound updated to -10898 122.17/122.21 c BCD2: hardening fixes 1 literals 122.17/122.21 c BCD2: 2591 <= obj <= 2639 122.17/122.21 c BCD2: #cores=3, #unrelaxed=99, #relaxed=576, #hardened=98 122.17/122.21 c BCD2: #sat=10 #unsat=32 bias=32/42 122.46/122.51 c Solving starts ... 122.46/122.51 c ============================[ Search Statistics ]============================ 122.46/122.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 122.46/122.51 c | | | | Limit GC | Var | Constra 122.46/122.51 c ============================================================================= 122.46/122.51 c 0.0s | 0 | 0 | 0 | 33944 0 | 543 | 634 123.37/123.41 c 0.9s | 1 | 257 | 100 | 33944 0 | 543 | 699 123.47/123.52 c 1.0s | 2 | 659 | 250 | 33944 0 | 543 | 699 123.67/123.70 c 1.2s | 3 | 1273 | 475 | 33944 0 | 543 | 699 130.98/131.06 c 8.6s | 3 | 1987 | 775 | 33944 0 | 543 | 699 130.98/131.08 c 8.6s | 4 | 2049 | 813 | 33944 0 | 543 | 699 133.57/133.61 c 11.1s | 4 | 2702 | 1113 | 33944 0 | 543 | 699 133.87/133.93 c 11.4s | 5 | 2979 | 1320 | 33944 0 | 543 | 699 134.47/134.52 c 12.0s | 6 | 4273 | 2081 | 33944 0 | 543 | 699 135.27/135.31 c 12.8s | 7 | 6239 | 3223 | 33944 0 | 543 | 699 136.67/136.79 c 14.3s | 8 | 9051 | 4936 | 33944 0 | 543 | 699 138.76/138.80 c 16.3s | 8 | 12966 | 7336 | 33944 0 | 543 | 699 138.86/138.94 c 16.4s | 9 | 13214 | 7506 | 33944 0 | 543 | 699 140.87/140.98 c 18.5s | 9 | 17046 | 9906 | 33944 0 | 543 | 699 142.26/142.39 c 19.9s | 10 | 19293 | 11361 | 33944 0 | 543 | 699 144.36/144.44 c 21.9s | 10 | 22979 | 13561 | 33944 0 | 543 | 699 146.37/146.47 c 24.0s | 10 | 26824 | 15961 | 33944 0 | 543 | 699 147.66/147.70 c 25.2s | 11 | 28772 | 17144 | 33944 0 | 543 | 699 149.67/149.78 c 27.3s | 11 | 32630 | 19244 | 33944 0 | 543 | 699 151.77/151.83 c 29.3s | 11 | 35970 | 21344 | 37339 0 | 543 | 699 153.86/153.93 c 31.4s | 11 | 38964 | 23244 | 37339 0 | 543 | 699 155.96/156.01 c 33.5s | 11 | 41972 | 25144 | 37339 0 | 543 | 699 156.66/156.76 c 34.3s | 12 | 43037 | 25819 | 37339 0 | 543 | 699 158.76/158.86 c 36.4s | 12 | 46566 | 27419 | 37339 0 | 543 | 699 160.86/160.99 c 38.5s | 12 | 47619 | 27919 | 37339 0 | 543 | 699 162.96/163.10 c 40.6s | 12 | 48727 | 28419 | 37339 0 | 543 | 699 165.26/165.38 c 42.9s | 12 | 49747 | 28819 | 37339 0 | 543 | 699 167.36/167.48 c 45.0s | 12 | 50866 | 29319 | 37339 0 | 543 | 699 169.66/169.74 c 47.2s | 12 | 51832 | 29719 | 37339 0 | 543 | 699 172.16/172.22 c 49.7s | 12 | 52894 | 30219 | 37339 0 | 543 | 699 174.26/174.38 c 51.9s | 12 | 54305 | 30819 | 37339 0 | 543 | 699 177.17/177.21 c 54.7s | 12 | 55235 | 31219 | 37339 0 | 543 | 699 179.66/179.73 c 57.2s | 12 | 56031 | 31619 | 37339 0 | 543 | 699 181.66/181.74 c 59.2s | 12 | 57275 | 32219 | 37339 0 | 543 | 699 183.86/183.96 c 61.4s | 12 | 58993 | 33019 | 37339 0 | 543 | 699 185.96/186.04 c 63.5s | 12 | 61916 | 34619 | 37339 0 | 543 | 699 188.06/188.17 c 65.7s | 12 | 64855 | 36319 | 37339 1 | 543 | 699 190.16/190.23 c 67.7s | 12 | 67085 | 37619 | 37339 1 | 543 | 699 191.26/191.32 c 68.8s | 13 | 69402 | 38832 | 37339 1 | 543 | 699 193.25/193.38 c 70.9s | 13 | 72398 | 40132 | 37339 1 | 543 | 699 195.35/195.47 c 73.0s | 13 | 74761 | 41532 | 37339 1 | 543 | 699 197.45/197.59 c 75.1s | 13 | 77684 | 43132 | 37339 1 | 543 | 699 199.55/199.60 c 77.1s | 13 | 81644 | 45032 | 37339 1 | 543 | 699 201.55/201.66 c 79.2s | 13 | 85043 | 46732 | 37339 1 | 543 | 699 203.65/203.72 c 81.2s | 13 | 88343 | 48432 | 37339 1 | 543 | 699 205.66/205.78 c 83.3s | 13 | 90756 | 49832 | 37339 1 | 543 | 699 207.75/207.86 c 85.4s | 13 | 92876 | 51232 | 37339 1 | 543 | 699 209.85/209.94 c 87.4s | 13 | 94963 | 52632 | 37339 1 | 543 | 699 211.85/211.95 c 89.4s | 13 | 96976 | 54032 | 37339 1 | 543 | 699 213.95/214.08 c 91.6s | 13 | 99092 | 55232 | 37339 2 | 543 | 699 216.15/216.22 c 93.7s | 13 | 101741 | 56732 | 37339 2 | 543 | 699 218.25/218.31 c 95.8s | 13 | 104017 | 58032 | 37339 2 | 543 | 699 218.65/218.78 c 96.3s | 14 | 104542 | 58352 | 37339 2 | 543 | 699 220.75/220.89 c 98.4s | 14 | 105856 | 59052 | 37339 2 | 543 | 699 222.85/222.97 c 100s | 14 | 108649 | 60452 | 37339 2 | 543 | 699 225.05/225.12 c 102s | 14 | 110961 | 61752 | 37339 2 | 543 | 699 227.15/227.26 c 104s | 14 | 113676 | 63152 | 37339 2 | 543 | 699 229.15/229.26 c 106s | 14 | 116168 | 64552 | 37339 2 | 543 | 699 231.35/231.41 c 108s | 14 | 118712 | 66052 | 37339 2 | 543 | 699 233.35/233.49 c 110s | 14 | 120665 | 67252 | 37339 2 | 543 | 699 235.45/235.55 c 113s | 14 | 123371 | 68652 | 37339 2 | 543 | 699 237.55/237.66 c 115s | 14 | 125841 | 70052 | 37339 2 | 543 | 699 239.65/239.74 c 117s | 14 | 127728 | 71252 | 37339 2 | 543 | 699 241.95/242.00 c 119s | 14 | 130300 | 72652 | 37339 2 | 543 | 699 243.95/244.09 c 121s | 14 | 132429 | 73752 | 37339 2 | 543 | 699 246.05/246.15 c 123s | 14 | 134109 | 74852 | 37339 3 | 543 | 699 248.05/248.15 c 125s | 14 | 136067 | 75952 | 37339 3 | 543 | 699 250.05/250.16 c 127s | 14 | 138340 | 77252 | 37339 3 | 543 | 699 252.24/252.35 c 129s | 14 | 140267 | 78552 | 37339 3 | 543 | 699 254.24/254.35 c 131s | 14 | 143159 | 80052 | 37339 3 | 543 | 699 256.25/256.36 c 133s | 14 | 145628 | 81452 | 37339 3 | 543 | 699 258.45/258.56 c 136s | 14 | 147828 | 82752 | 37339 3 | 543 | 699 261.15/261.21 c 138s | 14 | 148969 | 83452 | 37339 3 | 543 | 699 263.25/263.34 c 140s | 14 | 151289 | 84652 | 37339 3 | 543 | 699 265.35/265.45 c 142s | 14 | 153322 | 85952 | 41073 3 | 543 | 699 267.45/267.54 c 145s | 14 | 155456 | 87252 | 41073 3 | 543 | 699 267.95/268.05 c 145s | 15 | 156127 | 87632 | 41073 3 | 543 | 699 269.95/270.06 c 147s | 15 | 158528 | 88832 | 41073 3 | 543 | 699 271.95/272.07 c 149s | 15 | 160859 | 90132 | 41073 3 | 543 | 699 274.15/274.25 c 151s | 15 | 163640 | 91532 | 41073 3 | 543 | 699 276.25/276.33 c 153s | 15 | 165950 | 92832 | 41073 3 | 543 | 699 278.26/278.37 c 155s | 15 | 168101 | 94132 | 41073 3 | 543 | 699 280.35/280.41 c 157s | 15 | 170600 | 95432 | 41073 3 | 543 | 699 282.45/282.52 c 160s | 15 | 173503 | 96932 | 41073 3 | 543 | 699 285.95/286.02 c 163s | 15 | 174637 | 97432 | 41073 4 | 543 | 699 287.95/288.04 c 165s | 15 | 177388 | 98932 | 41073 4 | 543 | 699 290.05/290.12 c 167s | 15 | 179593 | 100332 | 41073 4 | 543 | 699 297.34/297.49 c 174s | 15 | 181915 | 101732 | 41073 4 | 543 | 699 299.54/299.68 c 177s | 15 | 184096 | 102932 | 41073 4 | 543 | 699 301.64/301.72 c 179s | 15 | 186726 | 104232 | 41073 4 | 543 | 699 303.65/303.77 c 181s | 15 | 189005 | 105632 | 41073 4 | 543 | 699 305.75/305.85 c 183s | 15 | 191713 | 107132 | 41073 4 | 543 | 699 307.74/307.85 c 185s | 15 | 193596 | 108332 | 41073 4 | 543 | 699 309.74/309.88 c 187s | 15 | 195362 | 109532 | 41073 4 | 543 | 699 311.94/312.01 c 189s | 15 | 197140 | 110832 | 41073 4 | 543 | 699 313.94/314.02 c 191s | 15 | 198983 | 112132 | 41073 4 | 543 | 699 316.04/316.15 c 193s | 15 | 201040 | 113432 | 41073 4 | 543 | 699 318.14/318.26 c 195s | 15 | 202918 | 114632 | 41073 4 | 543 | 699 320.14/320.27 c 197s | 15 | 205214 | 116032 | 41073 4 | 543 | 699 322.24/322.30 c 199s | 15 | 207883 | 117732 | 41073 4 | 543 | 699 324.44/324.51 c 202s | 15 | 209861 | 118932 | 41073 5 | 543 | 699 326.43/326.51 c 204s | 15 | 211248 | 119832 | 41073 5 | 543 | 699 328.53/328.60 c 206s | 15 | 214064 | 121432 | 41073 5 | 543 | 699 330.53/330.65 c 208s | 15 | 217460 | 123432 | 41073 5 | 543 | 699 332.63/332.76 c 210s | 15 | 219977 | 125032 | 41073 5 | 543 | 699 334.73/334.84 c 212s | 15 | 222473 | 126632 | 41073 5 | 543 | 699 336.83/336.94 c 214s | 15 | 224870 | 128132 | 41073 5 | 543 | 699 341.74/341.83 c 219s | 15 | 225168 | 128332 | 41073 5 | 543 | 699 343.83/343.93 c 221s | 15 | 228016 | 129932 | 41073 5 | 543 | 699 345.93/346.00 c 223s | 15 | 230419 | 131332 | 41073 5 | 543 | 699 346.23/346.35 c 223s | 16 | 230962 | 131552 | 41073 5 | 543 | 699 348.33/348.43 c 225s | 16 | 233345 | 132852 | 41073 5 | 543 | 699 350.33/350.47 c 227s | 16 | 235816 | 134352 | 41073 5 | 543 | 699 352.43/352.57 c 230s | 16 | 238146 | 135752 | 41073 5 | 543 | 699 354.63/354.73 c 232s | 16 | 240079 | 137052 | 41073 5 | 543 | 699 356.73/356.86 c 234s | 16 | 241959 | 138352 | 41073 5 | 543 | 699 358.73/358.89 c 236s | 16 | 244326 | 139752 | 41073 5 | 543 | 699 360.84/360.93 c 238s | 16 | 245576 | 140452 | 41073 6 | 543 | 699 362.94/363.01 c 240s | 16 | 248118 | 141952 | 41073 6 | 543 | 699 364.93/365.03 c 242s | 16 | 250032 | 143152 | 41073 6 | 543 | 699 367.03/367.10 c 244s | 16 | 251644 | 144152 | 41073 6 | 543 | 699 369.03/369.14 c 246s | 16 | 253905 | 145552 | 41073 6 | 543 | 699 371.03/371.17 c 248s | 16 | 256337 | 147152 | 41073 6 | 543 | 699 373.13/373.25 c 250s | 16 | 259356 | 148952 | 41073 6 | 543 | 699 375.23/375.30 c 252s | 16 | 262281 | 150652 | 41073 6 | 543 | 699 377.23/377.39 c 254s | 16 | 264823 | 152252 | 41073 6 | 543 | 699 379.43/379.58 c 257s | 16 | 267516 | 153752 | 41073 6 | 543 | 699 381.53/381.69 c 259s | 16 | 270538 | 155452 | 41073 6 | 543 | 699 383.83/383.94 c 261s | 16 | 272864 | 156652 | 41073 6 | 543 | 699 385.83/385.99 c 263s | 16 | 274872 | 157852 | 41073 6 | 543 | 699 387.93/388.05 c 265s | 16 | 276988 | 159252 | 41073 6 | 543 | 699 390.12/390.20 c 267s | 16 | 279353 | 160652 | 41073 6 | 543 | 699 392.12/392.21 c 269s | 16 | 281235 | 161852 | 41073 7 | 543 | 699 396.22/396.35 c 273s | 16 | 283374 | 163152 | 41073 7 | 543 | 699 398.32/398.43 c 275s | 16 | 285826 | 164652 | 41073 7 | 543 | 699 400.33/400.46 c 277s | 16 | 288999 | 166352 | 41073 7 | 543 | 699 402.32/402.49 c 279s | 16 | 291634 | 167952 | 41073 7 | 543 | 699 404.52/404.64 c 282s | 16 | 294079 | 169552 | 41073 7 | 543 | 699 406.52/406.67 c 284s | 16 | 296111 | 170952 | 41073 7 | 543 | 699 408.52/408.68 c 286s | 16 | 298402 | 172252 | 41073 7 | 543 | 699 410.62/410.74 c 288s | 16 | 301357 | 173752 | 41073 7 | 543 | 699 412.73/412.80 c 290s | 16 | 303539 | 175152 | 41073 7 | 543 | 699 414.74/414.89 c 292s | 16 | 305943 | 176652 | 41073 7 | 543 | 699 416.84/416.99 c 294s | 16 | 307860 | 177852 | 41073 7 | 543 | 699 419.04/419.10 c 296s | 16 | 310138 | 179252 | 41073 7 | 543 | 699 421.03/421.19 c 298s | 16 | 312612 | 180752 | 41073 7 | 543 | 699 423.13/423.24 c 300s | 16 | 314866 | 182052 | 41073 7 | 543 | 699 425.53/425.68 c 303s | 16 | 316710 | 183052 | 41073 8 | 543 | 699 427.63/427.78 c 305s | 16 | 319561 | 184752 | 45181 8 | 543 | 699 429.73/429.83 c 307s | 16 | 322413 | 186452 | 45181 8 | 543 | 699 431.73/431.85 c 309s | 16 | 325250 | 187952 | 45181 8 | 543 | 699 433.73/433.85 c 311s | 16 | 327976 | 189452 | 45181 8 | 543 | 699 435.72/435.86 c 313s | 16 | 329993 | 190752 | 45181 8 | 543 | 699 437.73/437.89 c 315s | 16 | 332317 | 192052 | 45181 8 | 543 | 699 439.82/439.96 c 317s | 16 | 334575 | 193452 | 45181 8 | 543 | 699 441.92/442.04 c 319s | 16 | 337107 | 194952 | 45181 8 | 543 | 699 444.02/444.17 c 321s | 16 | 339189 | 196352 | 45181 8 | 543 | 699 445.43/445.57 c 323s | 17 | 340922 | 197432 | 45181 8 | 543 | 699 448.92/449.03 c 326s | 17 | 341803 | 197932 | 45181 8 | 543 | 699 450.93/451.06 c 328s | 17 | 342998 | 198632 | 45181 8 | 543 | 699 453.02/453.15 c 330s | 17 | 346240 | 200332 | 45181 8 | 543 | 699 455.12/455.29 c 332s | 17 | 348818 | 202032 | 45181 8 | 543 | 699 457.32/457.43 c 334s | 17 | 351566 | 203532 | 45181 8 | 543 | 699 459.32/459.44 c 336s | 17 | 353903 | 204932 | 45181 8 | 543 | 699 461.32/461.45 c 338s | 17 | 356515 | 206532 | 45181 8 | 543 | 699 463.32/463.47 c 340s | 17 | 358738 | 207832 | 45181 8 | 543 | 699 466.92/467.09 c 344s | 17 | 359326 | 208132 | 45181 9 | 543 | 699 469.02/469.12 c 346s | 17 | 361492 | 209432 | 45181 9 | 543 | 699 471.12/471.22 c 348s | 17 | 364563 | 210832 | 45181 9 | 543 | 699 473.12/473.25 c 350s | 17 | 367545 | 212532 | 45181 9 | 543 | 699 477.12/477.24 c 354s | 17 | 370211 | 214132 | 45181 9 | 543 | 699 479.22/479.33 c 356s | 17 | 373723 | 215732 | 45181 9 | 543 | 699 481.32/481.41 c 358s | 17 | 376709 | 217432 | 45181 9 | 543 | 699 483.72/483.90 c 361s | 17 | 380172 | 219232 | 45181 9 | 543 | 699 485.82/485.96 c 363s | 17 | 383362 | 220932 | 45181 9 | 543 | 699 487.82/487.98 c 365s | 17 | 385995 | 222532 | 45181 9 | 543 | 699 490.02/490.10 c 367s | 17 | 388857 | 224232 | 45181 9 | 543 | 699 492.02/492.16 c 369s | 17 | 391462 | 225632 | 45181 9 | 543 | 699 494.01/494.19 c 371s | 17 | 393254 | 226832 | 45181 9 | 543 | 699 496.12/496.24 c 373s | 17 | 395816 | 228132 | 45181 9 | 543 | 699 498.22/498.37 c 375s | 17 | 398525 | 229532 | 45181 9 | 543 | 699 500.31/500.45 c 377s | 17 | 401044 | 230832 | 45181 9 | 543 | 699 502.31/502.46 c 379s | 17 | 403204 | 231932 | 45181 10 | 543 | 699 504.41/504.54 c 382s | 17 | 406202 | 233632 | 45181 10 | 543 | 699 507.21/507.35 c 384s | 17 | 409213 | 235432 | 45181 10 | 543 | 699 509.32/509.48 c 386s | 17 | 412228 | 237132 | 45181 10 | 543 | 699 511.31/511.50 c 388s | 17 | 414896 | 238832 | 45181 10 | 543 | 699 513.41/513.55 c 391s | 17 | 417452 | 240432 | 45181 10 | 543 | 699 515.41/515.56 c 393s | 17 | 420293 | 242132 | 45181 10 | 543 | 699 517.51/517.64 c 395s | 17 | 423066 | 243832 | 45181 10 | 543 | 699 519.51/519.67 c 397s | 17 | 425703 | 245332 | 45181 10 | 543 | 699 521.51/521.69 c 399s | 17 | 428743 | 247132 | 45181 10 | 543 | 699 523.71/523.80 c 401s | 17 | 431423 | 248732 | 45181 10 | 543 | 699 525.72/525.88 c 403s | 17 | 434612 | 250432 | 45181 10 | 543 | 699 527.71/527.88 c 405s | 17 | 437111 | 251932 | 45181 10 | 543 | 699 529.81/529.95 c 407s | 17 | 439671 | 253432 | 45181 10 | 543 | 699 531.91/532.02 c 409s | 17 | 441654 | 254632 | 45181 11 | 543 | 699 533.91/534.07 c 411s | 17 | 443912 | 256032 | 45181 11 | 543 | 699 535.91/536.08 c 413s | 17 | 446206 | 257432 | 45181 11 | 543 | 699 538.41/538.59 c 416s | 17 | 447512 | 258032 | 45181 11 | 543 | 699 540.71/540.88 c 418s | 17 | 448007 | 258432 | 45181 11 | 543 | 699 543.11/543.29 c 420s | 17 | 448414 | 258832 | 45181 11 | 543 | 699 545.41/545.60 c 423s | 17 | 448854 | 259232 | 45181 11 | 543 | 699 548.01/548.13 c 425s | 17 | 449237 | 259632 | 45181 11 | 543 | 699 550.51/550.63 c 428s | 17 | 449627 | 260032 | 45181 11 | 543 | 699 552.91/553.03 c 430s | 17 | 450045 | 260432 | 45181 11 | 543 | 699 555.30/555.49 c 432s | 17 | 450458 | 260832 | 45181 11 | 543 | 699 557.90/558.02 c 435s | 17 | 450868 | 261232 | 45181 11 | 543 | 699 560.50/560.66 c 438s | 17 | 451280 | 261632 | 45181 11 | 543 | 699 563.11/563.30 c 440s | 17 | 451688 | 262032 | 45181 11 | 543 | 699 565.70/565.87 c 443s | 17 | 452086 | 262432 | 45181 11 | 543 | 699 568.40/568.50 c 445s | 17 | 452507 | 262832 | 45181 11 | 543 | 699 570.91/571.08 c 448s | 17 | 452951 | 263232 | 45181 11 | 543 | 699 573.50/573.69 c 451s | 17 | 453335 | 263632 | 45181 11 | 543 | 699 576.20/576.33 c 453s | 17 | 453729 | 264032 | 45181 11 | 543 | 699 578.80/578.93 c 456s | 17 | 454156 | 264432 | 45181 11 | 543 | 699 580.81/580.94 c 458s | 17 | 454451 | 264732 | 45181 11 | 543 | 699 582.80/582.95 c 460s | 17 | 454737 | 265032 | 45181 11 | 543 | 699 585.50/585.62 c 463s | 17 | 455144 | 265432 | 45181 11 | 543 | 699 587.50/587.65 c 465s | 17 | 455454 | 265732 | 45181 11 | 543 | 699 589.51/589.65 c 467s | 17 | 455752 | 266032 | 45181 11 | 543 | 699 591.60/591.71 c 469s | 17 | 456062 | 266332 | 45181 11 | 543 | 699 593.60/593.73 c 471s | 17 | 456426 | 266632 | 45181 11 | 543 | 699 595.60/595.79 c 473s | 17 | 456731 | 266932 | 45181 11 | 543 | 699 597.80/597.90 c 475s | 17 | 457044 | 267232 | 45181 11 | 543 | 699 599.90/600.04 c 477s | 17 | 457337 | 267532 | 45181 11 | 543 | 699 602.10/602.21 c 479s | 17 | 457665 | 267832 | 45181 11 | 543 | 699 604.20/604.31 c 481s | 17 | 457971 | 268132 | 45181 11 | 543 | 699 606.20/606.38 c 483s | 17 | 458257 | 268432 | 45181 11 | 543 | 699 608.20/608.40 c 485s | 17 | 458550 | 268732 | 45181 11 | 543 | 699 610.90/611.06 c 488s | 17 | 459799 | 269132 | 45181 11 | 543 | 699 613.00/613.18 c 490s | 17 | 460102 | 269432 | 45181 11 | 543 | 699 615.20/615.30 c 492s | 17 | 460383 | 269732 | 45181 11 | 543 | 699 617.30/617.45 c 494s | 17 | 460699 | 270032 | 45181 11 | 543 | 699 619.49/619.62 c 497s | 17 | 460973 | 270332 | 45181 11 | 543 | 699 621.59/621.74 c 499s | 17 | 461271 | 270632 | 45181 11 | 543 | 699 623.70/623.87 c 501s | 17 | 461629 | 270932 | 45181 11 | 543 | 699 625.90/626.04 c 503s | 17 | 461914 | 271232 | 45181 11 | 543 | 699 628.00/628.14 c 505s | 17 | 462237 | 271532 | 45181 11 | 543 | 699 630.09/630.28 c 507s | 17 | 462525 | 271832 | 45181 11 | 543 | 699 632.29/632.42 c 509s | 17 | 462838 | 272132 | 45181 11 | 543 | 699 634.39/634.58 c 512s | 17 | 463158 | 272432 | 45181 11 | 543 | 699 636.59/636.77 c 514s | 17 | 463497 | 272732 | 45181 11 | 543 | 699 638.89/639.00 c 516s | 17 | 463817 | 273032 | 45181 11 | 543 | 699 640.99/641.18 c 518s | 17 | 464170 | 273332 | 45181 11 | 543 | 699 643.29/643.43 c 520s | 17 | 464471 | 273632 | 45181 11 | 543 | 699 645.29/645.47 c 522s | 17 | 464847 | 273932 | 45181 11 | 543 | 699 647.90/648.08 c 525s | 17 | 465266 | 274332 | 45181 11 | 543 | 699 649.89/650.10 c 527s | 17 | 465582 | 274632 | 45181 11 | 543 | 699 652.09/652.29 c 529s | 17 | 465871 | 274932 | 45181 11 | 543 | 699 654.29/654.45 c 531s | 17 | 466175 | 275232 | 45181 11 | 543 | 699 656.39/656.55 c 534s | 17 | 466472 | 275532 | 45181 11 | 543 | 699 658.39/658.57 c 536s | 17 | 466790 | 275832 | 45181 11 | 543 | 699 660.59/660.72 c 538s | 17 | 467111 | 276132 | 45181 11 | 543 | 699 662.59/662.78 c 540s | 17 | 467392 | 276432 | 45181 11 | 543 | 699 665.29/665.49 c 542s | 17 | 467842 | 276832 | 45181 11 | 543 | 699 667.39/667.55 c 545s | 17 | 468138 | 277132 | 45181 11 | 543 | 699 670.09/670.21 c 547s | 17 | 468542 | 277532 | 45181 11 | 543 | 699 672.09/672.29 c 549s | 17 | 468862 | 277832 | 45181 11 | 543 | 699 674.09/674.30 c 551s | 17 | 469152 | 278132 | 45181 11 | 543 | 699 676.19/676.39 c 553s | 17 | 469479 | 278432 | 45181 11 | 543 | 699 678.28/678.46 c 555s | 17 | 469754 | 278732 | 45181 11 | 543 | 699 680.28/680.48 c 557s | 17 | 470063 | 279032 | 45181 11 | 543 | 699 682.48/682.61 c 560s | 17 | 470383 | 279332 | 45181 11 | 543 | 699 684.48/684.62 c 562s | 17 | 470714 | 279632 | 45181 11 | 543 | 699 686.48/686.66 c 564s | 17 | 471007 | 279932 | 45181 11 | 543 | 699 688.59/688.74 c 566s | 17 | 471295 | 280232 | 45181 11 | 543 | 699 690.88/691.02 c 568s | 17 | 471587 | 280532 | 45181 11 | 543 | 699 693.18/693.33 c 570s | 17 | 472549 | 280832 | 45181 11 | 543 | 699 695.28/695.45 c 572s | 17 | 472854 | 281132 | 45181 11 | 543 | 699 697.48/697.67 c 575s | 17 | 473718 | 281432 | 45181 11 | 543 | 699 699.88/700.09 c 577s | 17 | 474011 | 281732 | 45181 11 | 543 | 699 702.38/702.59 c 580s | 17 | 474336 | 282032 | 45181 11 | 543 | 699 704.68/704.83 c 582s | 17 | 474665 | 282332 | 45181 11 | 543 | 699 707.29/707.42 c 584s | 17 | 474962 | 282632 | 45181 11 | 543 | 699 709.58/709.77 c 587s | 17 | 475284 | 282932 | 45181 11 | 543 | 699 712.08/712.24 c 589s | 17 | 475591 | 283232 | 45181 11 | 543 | 699 714.28/714.47 c 591s | 17 | 475874 | 283532 | 45181 11 | 543 | 699 716.48/716.60 c 594s | 17 | 476177 | 283832 | 45181 11 | 543 | 699 718.88/719.04 c 596s | 17 | 477284 | 284132 | 45181 12 | 543 | 699 720.98/721.15 c 598s | 17 | 477547 | 284432 | 45181 12 | 543 | 699 723.08/723.24 c 600s | 17 | 477989 | 284732 | 45181 12 | 543 | 699 725.08/725.28 c 602s | 17 | 479577 | 285132 | 45181 12 | 547 | 699 727.18/727.37 c 604s | 17 | 482960 | 286832 | 45181 12 | 547 | 699 729.48/729.65 c 607s | 17 | 485510 | 288232 | 45181 12 | 547 | 699 731.57/731.71 c 609s | 17 | 490321 | 290532 | 45181 12 | 547 | 699 733.58/733.76 c 611s | 17 | 494220 | 292732 | 45181 12 | 547 | 699 735.67/735.84 c 613s | 17 | 497286 | 294532 | 45181 12 | 547 | 699 737.77/737.91 c 615s | 17 | 500853 | 296232 | 45181 12 | 547 | 699 737.77/737.93 c 615s | 18 | 500943 | 296252 | 45181 12 | 547 | 699 739.87/740.00 c 617s | 18 | 504149 | 298052 | 45181 12 | 547 | 699 741.87/742.09 c 619s | 18 | 506090 | 299152 | 45181 12 | 547 | 699 743.97/744.14 c 621s | 18 | 508609 | 300752 | 45181 12 | 547 | 699 745.97/746.18 c 623s | 18 | 511066 | 302352 | 45181 12 | 547 | 699 748.17/748.35 c 625s | 18 | 513731 | 303952 | 45181 12 | 547 | 699 750.18/750.36 c 627s | 18 | 515642 | 305052 | 45181 13 | 547 | 699 752.28/752.45 c 629s | 18 | 517511 | 306352 | 45181 13 | 547 | 699 754.37/754.53 c 632s | 18 | 519687 | 307752 | 45181 13 | 547 | 699 756.47/756.61 c 634s | 18 | 522340 | 309352 | 45181 13 | 547 | 699 758.57/758.71 c 636s | 18 | 525728 | 311252 | 45181 13 | 547 | 699 760.57/760.76 c 638s | 18 | 528205 | 312852 | 45181 13 | 547 | 699 773.17/773.36 c 650s | 18 | 529788 | 313852 | 45181 13 | 547 | 699 776.87/777.05 c 654s | 18 | 531152 | 314552 | 45181 13 | 547 | 699 778.87/779.06 c 656s | 18 | 534338 | 316252 | 45181 13 | 547 | 699 781.17/781.34 c 658s | 18 | 536562 | 317552 | 45181 13 | 547 | 699 783.27/783.41 c 660s | 18 | 539386 | 319352 | 45181 13 | 547 | 699 785.27/785.42 c 662s | 18 | 542557 | 321052 | 45181 13 | 547 | 699 787.37/787.51 c 665s | 18 | 545670 | 322752 | 45181 13 | 547 | 699 789.46/789.62 c 667s | 18 | 548023 | 324152 | 45181 13 | 547 | 699 791.56/791.72 c 669s | 18 | 551270 | 326052 | 45181 13 | 547 | 699 793.66/793.85 c 671s | 18 | 553662 | 327552 | 45181 14 | 547 | 699 795.86/796.00 c 673s | 18 | 555302 | 328652 | 45181 14 | 547 | 699 797.86/798.01 c 675s | 18 | 557798 | 330152 | 45181 14 | 547 | 699 799.86/800.07 c 677s | 18 | 560830 | 331952 | 49700 14 | 547 | 699 801.96/802.12 c 679s | 18 | 562921 | 333152 | 49700 14 | 547 | 699 803.97/804.18 c 681s | 18 | 565011 | 334452 | 49700 14 | 547 | 699 806.07/806.26 c 683s | 18 | 567707 | 336052 | 49700 14 | 547 | 699 808.17/808.32 c 685s | 18 | 570257 | 337552 | 49700 14 | 547 | 699 810.27/810.41 c 687s | 18 | 573225 | 339252 | 49700 14 | 547 | 699 812.27/812.42 c 689s | 18 | 575909 | 340852 | 49700 14 | 547 | 699 814.27/814.45 c 691s | 18 | 578531 | 342452 | 49700 14 | 547 | 699 816.37/816.55 c 694s | 18 | 580866 | 343852 | 49700 14 | 547 | 699 818.37/818.58 c 696s | 18 | 583122 | 345252 | 49700 14 | 547 | 699 820.47/820.67 c 698s | 18 | 585449 | 346752 | 49700 14 | 547 | 699 822.57/822.73 c 700s | 18 | 587947 | 348152 | 49700 14 | 547 | 699 824.57/824.79 c 702s | 18 | 589839 | 349452 | 49700 14 | 547 | 699 826.77/826.94 c 704s | 18 | 591806 | 350652 | 49700 14 | 547 | 699 828.87/829.00 c 706s | 18 | 593489 | 351752 | 49700 14 | 547 | 699 830.97/831.12 c 708s | 18 | 596373 | 353352 | 49700 14 | 547 | 699 832.97/833.17 c 710s | 18 | 598256 | 354552 | 49700 14 | 547 | 699 835.07/835.28 c 712s | 18 | 599863 | 355452 | 49700 15 | 547 | 699 837.26/837.40 c 714s | 18 | 601766 | 356752 | 49700 15 | 547 | 699 839.56/839.78 c 717s | 18 | 603387 | 357752 | 49700 15 | 547 | 699 843.86/844.09 c 721s | 18 | 603864 | 358052 | 49700 15 | 547 | 699 845.96/846.17 c 723s | 18 | 606278 | 359652 | 49700 15 | 547 | 699 847.96/848.18 c 725s | 18 | 609182 | 361352 | 49700 15 | 547 | 699 850.16/850.30 c 727s | 18 | 611474 | 362752 | 49700 15 | 547 | 699 852.16/852.36 c 729s | 18 | 614080 | 364352 | 49700 15 | 547 | 699 854.16/854.37 c 731s | 18 | 616525 | 365952 | 49700 15 | 547 | 699 856.35/856.50 c 733s | 18 | 619221 | 367552 | 49700 15 | 547 | 699 858.35/858.55 c 736s | 18 | 622136 | 369152 | 49700 15 | 547 | 699 860.45/860.60 c 738s | 18 | 623921 | 370252 | 49700 15 | 547 | 699 862.55/862.79 c 740s | 18 | 625636 | 371452 | 49700 15 | 547 | 699 864.65/864.88 c 742s | 18 | 627733 | 372652 | 49700 15 | 547 | 699 866.76/866.96 c 744s | 18 | 629567 | 373952 | 49700 15 | 547 | 699 868.86/869.10 c 746s | 18 | 631153 | 374952 | 49700 15 | 547 | 699 870.95/871.13 c 748s | 18 | 633218 | 376252 | 49700 15 | 547 | 699 873.05/873.23 c 750s | 18 | 635385 | 377652 | 49700 15 | 547 | 699 875.15/875.37 c 752s | 18 | 637439 | 378952 | 49700 15 | 547 | 699 877.25/877.41 c 754s | 18 | 640131 | 380152 | 49700 15 | 547 | 699 879.35/879.52 c 757s | 18 | 642967 | 381352 | 49700 16 | 547 | 699 881.35/881.53 c 759s | 18 | 646150 | 382652 | 49700 16 | 547 | 699 883.45/883.67 c 761s | 18 | 648884 | 383952 | 49700 16 | 547 | 699 885.65/885.86 c 763s | 18 | 651530 | 385152 | 49700 16 | 547 | 699 887.75/887.92 c 765s | 18 | 654423 | 386352 | 49700 16 | 547 | 699 890.05/890.20 c 767s | 18 | 655869 | 387352 | 49700 16 | 547 | 699 892.06/892.22 c 769s | 18 | 657504 | 388452 | 49700 16 | 547 | 699 894.05/894.23 c 771s | 18 | 659128 | 389652 | 49700 16 | 547 | 699 896.05/896.25 c 773s | 18 | 660687 | 390752 | 49700 16 | 547 | 699 898.15/898.36 c 775s | 18 | 662229 | 391852 | 49700 16 | 547 | 699 900.65/900.89 c 778s | 18 | 664276 | 393152 | 49700 16 | 547 | 699 902.75/902.95 c 780s | 18 | 666487 | 394452 | 49700 16 | 547 | 699 904.85/905.07 c 782s | 18 | 668322 | 395652 | 49700 16 | 547 | 699 907.05/907.24 c 784s | 18 | 670189 | 396852 | 49700 16 | 547 | 699 909.04/909.30 c 786s | 18 | 671793 | 397952 | 49700 16 | 547 | 699 911.24/911.42 c 788s | 18 | 673581 | 399152 | 49700 16 | 547 | 699 913.44/913.69 c 791s | 18 | 674680 | 399852 | 49700 16 | 547 | 699 915.54/915.71 c 793s | 18 | 676520 | 401052 | 49700 16 | 547 | 699 917.64/917.83 c 795s | 18 | 678494 | 402352 | 49700 16 | 547 | 699 919.64/919.89 c 797s | 18 | 680522 | 403652 | 49700 16 | 547 | 699 921.75/921.96 c 799s | 18 | 682291 | 404852 | 49700 16 | 547 | 699 923.85/924.03 c 801s | 18 | 684435 | 406152 | 49700 16 | 547 | 699 925.84/926.04 c 803s | 18 | 686109 | 407152 | 49700 17 | 547 | 699 927.94/928.15 c 805s | 18 | 687888 | 408252 | 49700 17 | 547 | 699 937.95/938.11 c 815s | 18 | 688436 | 408652 | 49700 17 | 547 | 699 939.95/940.16 c 817s | 18 | 690741 | 409952 | 49700 17 | 547 | 699 942.05/942.24 c 819s | 18 | 692244 | 410852 | 49700 17 | 547 | 699 944.05/944.27 c 821s | 18 | 694689 | 412452 | 49700 17 | 547 | 699 946.15/946.32 c 823s | 18 | 697311 | 414052 | 49700 17 | 547 | 699 948.24/948.45 c 825s | 18 | 699915 | 415752 | 49700 17 | 547 | 699 950.35/950.52 c 828s | 18 | 701696 | 416952 | 49700 17 | 547 | 699 952.34/952.56 c 830s | 18 | 703874 | 418352 | 49700 17 | 547 | 699 954.44/954.61 c 832s | 18 | 705699 | 419652 | 49700 17 | 547 | 699 956.54/956.77 c 834s | 18 | 707714 | 420952 | 49700 17 | 547 | 699 958.74/958.92 c 836s | 18 | 709619 | 422152 | 49700 17 | 547 | 699 960.74/960.97 c 838s | 18 | 711219 | 423252 | 49700 17 | 547 | 699 962.94/963.13 c 840s | 18 | 713130 | 424452 | 49700 17 | 547 | 699 965.04/965.23 c 842s | 18 | 715071 | 425752 | 49700 17 | 547 | 699 967.14/967.34 c 844s | 18 | 716887 | 427052 | 49700 17 | 547 | 699 969.24/969.45 c 846s | 18 | 718968 | 428352 | 49700 17 | 547 | 699 972.35/972.55 c 850s | 18 | 719906 | 428852 | 49700 17 | 547 | 699 977.84/978.02 c 855s | 18 | 720366 | 429152 | 49700 17 | 547 | 699 979.84/980.09 c 857s | 18 | 722625 | 430452 | 49700 17 | 547 | 699 981.93/982.10 c 859s | 18 | 724627 | 431652 | 49700 17 | 547 | 699 984.13/984.30 c 861s | 18 | 726127 | 432452 | 49700 18 | 547 | 699 986.13/986.33 c 863s | 18 | 728048 | 433552 | 49700 18 | 547 | 699 988.13/988.33 c 865s | 18 | 730778 | 435152 | 49700 18 | 547 | 699 990.13/990.37 c 867s | 18 | 732912 | 436552 | 49700 18 | 547 | 699 992.23/992.44 c 869s | 18 | 735898 | 438152 | 49700 18 | 547 | 699 994.44/994.69 c 872s | 18 | 737673 | 439252 | 49700 18 | 547 | 699 996.44/996.70 c 874s | 18 | 740558 | 440952 | 49700 18 | 547 | 699 998.54/998.76 c 876s | 18 | 742800 | 442452 | 49700 18 | 547 | 699 1000.63/1000.83 c 878s | 18 | 744975 | 443552 | 49700 18 | 547 | 699 1002.23/1002.45 c 879s | 19 | 746440 | 444482 | 49700 18 | 547 | 699 1004.33/1004.54 c 882s | 19 | 748754 | 445782 | 49700 18 | 547 | 699 1008.93/1009.13 c 886s | 19 | 749749 | 446382 | 49700 18 | 547 | 699 1010.93/1011.14 c 888s | 19 | 751817 | 447682 | 49700 18 | 547 | 699 1012.94/1013.17 c 890s | 19 | 753976 | 448982 | 49700 18 | 547 | 699 1015.14/1015.34 c 892s | 19 | 755704 | 450182 | 49700 18 | 547 | 699 1017.23/1017.47 c 894s | 19 | 757250 | 451282 | 49700 18 | 547 | 699 1019.33/1019.59 c 897s | 19 | 759068 | 452482 | 49700 18 | 547 | 699 1021.43/1021.65 c 899s | 19 | 761288 | 453782 | 49700 18 | 547 | 699 1023.53/1023.70 c 901s | 19 | 762984 | 454882 | 49700 18 | 547 | 699 1025.53/1025.76 c 903s | 19 | 765199 | 456082 | 49700 18 | 547 | 699 1027.63/1027.88 c 905s | 19 | 766747 | 457182 | 49700 18 | 547 | 699 1029.73/1029.94 c 907s | 19 | 768510 | 458282 | 49700 18 | 547 | 699 1031.83/1032.07 c 909s | 19 | 769679 | 458982 | 49700 19 | 547 | 699 1033.93/1034.18 c 911s | 19 | 771825 | 460382 | 49700 19 | 547 | 699 1036.03/1036.26 c 913s | 19 | 774339 | 461882 | 49700 19 | 547 | 699 1038.13/1038.39 c 915s | 19 | 776893 | 463382 | 49700 19 | 547 | 699 1040.32/1040.52 c 918s | 19 | 779524 | 464882 | 49700 19 | 547 | 699 1042.92/1043.10 c 920s | 19 | 781513 | 466182 | 49700 19 | 547 | 699 1044.93/1045.12 c 922s | 19 | 783739 | 467482 | 49700 19 | 547 | 699 1046.92/1047.17 c 924s | 19 | 786371 | 469082 | 49700 19 | 547 | 699 1049.02/1049.21 c 926s | 19 | 789168 | 470682 | 49700 19 | 547 | 699 1051.03/1051.25 c 928s | 19 | 791361 | 472082 | 49700 19 | 547 | 699 1053.13/1053.32 c 930s | 19 | 793008 | 473382 | 49700 19 | 547 | 699 1055.23/1055.42 c 932s | 19 | 795341 | 474782 | 49700 19 | 547 | 699 1057.23/1057.45 c 934s | 19 | 797824 | 476282 | 49700 19 | 547 | 699 1059.33/1059.56 c 937s | 19 | 800669 | 477982 | 49700 19 | 547 | 699 1061.44/1061.65 c 939s | 19 | 803461 | 479482 | 49700 19 | 547 | 699 1063.64/1063.81 c 941s | 19 | 805864 | 480882 | 49700 19 | 547 | 699 1065.63/1065.89 c 943s | 19 | 808623 | 482382 | 49700 19 | 547 | 699 1067.73/1067.99 c 945s | 19 | 810797 | 483782 | 49700 19 | 547 | 699 1069.93/1070.13 c 947s | 19 | 813009 | 485182 | 49700 20 | 547 | 699 1072.03/1072.26 c 949s | 19 | 814833 | 486582 | 49700 20 | 547 | 699 1076.42/1076.61 c 954s | 19 | 816408 | 487582 | 49700 20 | 547 | 699 1078.42/1078.62 c 956s | 19 | 818932 | 489082 | 49700 20 | 547 | 699 1080.42/1080.69 c 958s | 19 | 821062 | 490482 | 49700 20 | 547 | 699 1082.62/1082.80 c 960s | 19 | 823663 | 491982 | 49700 20 | 547 | 699 1084.72/1084.90 c 962s | 19 | 825616 | 493382 | 49700 20 | 547 | 699 1086.73/1086.98 c 964s | 19 | 828056 | 494882 | 49700 20 | 547 | 699 1088.93/1089.12 c 966s | 19 | 830585 | 496482 | 49700 20 | 547 | 699 1090.92/1091.15 c 968s | 19 | 832800 | 497782 | 49700 20 | 547 | 699 1092.92/1093.16 c 970s | 19 | 834413 | 498982 | 49700 20 | 547 | 699 1094.92/1095.17 c 972s | 19 | 836511 | 500282 | 49700 20 | 547 | 699 1097.02/1097.29 c 974s | 19 | 838393 | 501582 | 49700 20 | 547 | 699 1100.02/1100.24 c 977s | 19 | 839247 | 501982 | 49700 20 | 547 | 699 1102.02/1102.25 c 979s | 19 | 840842 | 503182 | 49700 20 | 547 | 699 1104.02/1104.26 c 981s | 19 | 842455 | 504382 | 49700 20 | 547 | 699 1106.12/1106.32 c 983s | 19 | 844092 | 505482 | 49700 20 | 547 | 699 1108.22/1108.41 c 985s | 19 | 846608 | 506882 | 49700 20 | 547 | 699 1110.32/1110.56 c 988s | 19 | 848352 | 507982 | 49700 20 | 547 | 699 1112.32/1112.57 c 990s | 19 | 850123 | 509082 | 49700 20 | 547 | 699 1114.32/1114.58 c 992s | 19 | 851868 | 510082 | 49700 20 | 547 | 699 1117.32/1117.60 c 995s | 19 | 852747 | 510582 | 49700 21 | 547 | 699 1119.52/1119.73 c 997s | 19 | 854925 | 511982 | 49700 21 | 547 | 699 1121.62/1121.80 c 999s | 19 | 857382 | 513482 | 49700 21 | 547 | 699 1123.62/1123.88 c 1001s | 19 | 859526 | 514882 | 49700 21 | 547 | 699 1125.72/1125.99 c 1003s | 19 | 861807 | 516382 | 49700 21 | 547 | 699 1127.82/1128.02 c 1005s | 19 | 863582 | 517582 | 49700 21 | 547 | 699 1129.82/1130.04 c 1007s | 19 | 865600 | 518882 | 49700 21 | 547 | 699 1141.01/1141.29 c 1018s | 19 | 867266 | 519782 | 49700 21 | 547 | 699 1143.21/1143.45 c 1020s | 19 | 871061 | 521182 | 49700 21 | 547 | 699 1145.21/1145.49 c 1022s | 19 | 873848 | 522382 | 49700 21 | 547 | 699 1147.41/1147.60 c 1025s | 19 | 876242 | 523482 | 49700 21 | 547 | 699 1149.42/1149.67 c 1027s | 19 | 879996 | 524382 | 49700 21 | 547 | 699 1151.52/1151.71 c 1029s | 19 | 883197 | 525282 | 49700 21 | 547 | 699 1153.51/1153.72 c 1031s | 19 | 886595 | 526182 | 49700 21 | 547 | 699 1155.51/1155.72 c 1033s | 19 | 888189 | 526982 | 49700 21 | 547 | 699 1157.71/1157.94 c 1035s | 19 | 890779 | 527882 | 49700 21 | 547 | 699 1159.91/1160.15 c 1037s | 19 | 891684 | 528782 | 49700 21 | 547 | 699 1162.11/1162.38 c 1039s | 19 | 892585 | 529682 | 49700 21 | 547 | 699 1164.31/1164.55 c 1042s | 19 | 893625 | 530382 | 49700 21 | 547 | 699 1166.51/1166.78 c 1044s | 19 | 895074 | 531382 | 49700 21 | 547 | 699 1168.61/1168.88 c 1046s | 19 | 895983 | 532282 | 49700 21 | 547 | 699 1170.71/1170.93 c 1048s | 19 | 896788 | 533082 | 49700 21 | 547 | 699 1172.71/1172.94 c 1050s | 19 | 897800 | 533882 | 49700 21 | 547 | 699 1174.72/1174.99 c 1052s | 19 | 898680 | 534782 | 49700 21 | 547 | 699 1176.82/1177.01 c 1054s | 19 | 899517 | 535582 | 49700 21 | 547 | 699 1178.91/1179.11 c 1056s | 19 | 900351 | 536382 | 49700 21 | 547 | 699 1184.11/1184.38 c 1061s | 19 | 900779 | 536782 | 49700 22 | 547 | 699 1186.20/1186.44 c 1063s | 19 | 901392 | 537382 | 49700 22 | 547 | 699 1188.40/1188.65 c 1066s | 19 | 902196 | 538182 | 49700 22 | 547 | 699 1190.60/1190.84 c 1068s | 19 | 903024 | 538982 | 49700 22 | 547 | 699 1192.60/1192.85 c 1070s | 19 | 903768 | 539682 | 49700 22 | 547 | 699 1194.70/1194.93 c 1072s | 19 | 904470 | 540382 | 49700 22 | 547 | 699 1197.00/1197.22 c 1074s | 19 | 905281 | 541182 | 49700 22 | 547 | 699 1199.20/1199.41 c 1076s | 19 | 905986 | 541882 | 49700 22 | 547 | 699 1201.30/1201.58 c 1079s | 19 | 906673 | 542582 | 49700 22 | 547 | 699 1203.60/1203.81 c 1081s | 19 | 907384 | 543282 | 49700 22 | 547 | 699 1205.70/1205.92 c 1083s | 19 | 908096 | 543982 | 49700 22 | 547 | 699 1207.71/1207.93 c 1085s | 19 | 908782 | 544682 | 49700 22 | 547 | 699 1209.81/1210.08 c 1087s | 19 | 909485 | 545382 | 49700 22 | 547 | 699 1212.01/1212.30 c 1089s | 19 | 910182 | 546082 | 49700 22 | 547 | 699 1214.50/1214.76 c 1092s | 19 | 910956 | 546782 | 49700 22 | 547 | 699 1216.51/1216.79 c 1094s | 19 | 911587 | 547382 | 49700 22 | 547 | 699 1218.71/1218.91 c 1096s | 19 | 912202 | 547982 | 49700 22 | 547 | 699 1220.81/1221.08 c 1098s | 19 | 912799 | 548582 | 49700 22 | 547 | 699 1223.01/1223.25 c 1100s | 19 | 913435 | 549182 | 49700 22 | 547 | 699 1225.10/1225.35 c 1102s | 19 | 914035 | 549782 | 49700 22 | 547 | 699 1227.20/1227.45 c 1104s | 19 | 914638 | 550382 | 49700 22 | 547 | 699 1229.40/1229.63 c 1107s | 19 | 915245 | 550982 | 49700 22 | 547 | 699 1231.50/1231.76 c 1109s | 19 | 915843 | 551582 | 49700 22 | 547 | 699 1233.80/1234.00 c 1111s | 19 | 916436 | 552182 | 54671 22 | 547 | 699 1235.80/1236.07 c 1113s | 19 | 917058 | 552782 | 54671 22 | 547 | 699 1237.90/1238.17 c 1115s | 19 | 917656 | 553382 | 54671 22 | 547 | 699 1240.20/1240.41 c 1117s | 19 | 918360 | 554082 | 54671 22 | 547 | 699 1242.40/1242.68 c 1120s | 19 | 919056 | 554782 | 54671 22 | 547 | 699 1244.59/1244.83 c 1122s | 19 | 919659 | 555382 | 54671 22 | 547 | 699 1246.89/1247.10 c 1124s | 19 | 920255 | 555982 | 54671 22 | 547 | 699 1249.19/1249.42 c 1126s | 19 | 920873 | 556582 | 54671 22 | 547 | 699 1251.49/1251.79 c 1129s | 19 | 921479 | 557182 | 54671 22 | 547 | 699 1253.59/1253.86 c 1131s | 19 | 921984 | 557682 | 54671 22 | 547 | 699 1255.89/1256.20 c 1133s | 19 | 922593 | 558282 | 54671 22 | 547 | 699 1257.99/1258.20 c 1135s | 19 | 923098 | 558782 | 54671 22 | 547 | 699 1260.19/1260.45 c 1137s | 19 | 923690 | 559382 | 54671 22 | 547 | 699 1262.49/1262.80 c 1140s | 19 | 924296 | 559982 | 54671 22 | 547 | 699 1264.80/1265.06 c 1142s | 19 | 924917 | 560582 | 54671 22 | 547 | 699 1267.00/1267.24 c 1144s | 19 | 925517 | 561182 | 54671 22 | 547 | 699 1269.09/1269.36 c 1146s | 19 | 926121 | 561782 | 54671 22 | 547 | 699 1271.40/1271.65 c 1149s | 19 | 926719 | 562382 | 54671 22 | 547 | 699 1273.60/1273.83 c 1151s | 19 | 927320 | 562982 | 54671 22 | 547 | 699 1275.59/1275.86 c 1153s | 19 | 927925 | 563582 | 54671 22 | 547 | 699 1277.69/1277.96 c 1155s | 19 | 928523 | 564182 | 54671 22 | 547 | 699 1279.99/1280.27 c 1157s | 19 | 929122 | 564782 | 54671 22 | 547 | 699 1282.09/1282.31 c 1159s | 19 | 929633 | 565282 | 54671 22 | 547 | 699 1284.28/1284.50 c 1161s | 19 | 930161 | 565782 | 54671 22 | 547 | 699 1286.28/1286.59 c 1164s | 19 | 930665 | 566282 | 54671 22 | 547 | 699 1288.38/1288.64 c 1166s | 19 | 931174 | 566782 | 54671 22 | 547 | 699 1290.38/1290.66 c 1168s | 19 | 931663 | 567282 | 54671 22 | 547 | 699 1292.78/1293.00 c 1170s | 19 | 932267 | 567882 | 54671 22 | 547 | 699 1294.98/1295.20 c 1172s | 19 | 932697 | 568282 | 54671 23 | 547 | 699 1297.18/1297.46 c 1174s | 19 | 933527 | 569082 | 54671 23 | 547 | 699 1299.28/1299.54 c 1177s | 19 | 934215 | 569782 | 54671 23 | 547 | 699 1301.58/1301.80 c 1179s | 19 | 934915 | 570482 | 54671 23 | 547 | 699 1303.78/1304.05 c 1181s | 19 | 935617 | 571182 | 54671 23 | 547 | 699 1305.87/1306.10 c 1183s | 19 | 936217 | 571782 | 54671 23 | 547 | 699 1308.07/1308.36 c 1185s | 19 | 936921 | 572482 | 54671 23 | 547 | 699 1310.27/1310.54 c 1188s | 19 | 937621 | 573182 | 54671 23 | 547 | 699 1312.47/1312.74 c 1190s | 19 | 938329 | 573882 | 54671 23 | 547 | 699 1314.57/1314.89 c 1192s | 19 | 939031 | 574582 | 54671 23 | 547 | 699 1316.67/1317.00 c 1194s | 19 | 939744 | 575282 | 54671 23 | 547 | 699 1318.87/1319.11 c 1196s | 19 | 940437 | 575982 | 54671 23 | 547 | 699 1321.07/1321.36 c 1198s | 19 | 941153 | 576682 | 54671 23 | 547 | 699 1323.17/1323.47 c 1200s | 19 | 941851 | 577382 | 54671 23 | 547 | 699 1325.46/1325.76 c 1203s | 19 | 942550 | 578082 | 54671 23 | 547 | 699 1327.57/1327.81 c 1205s | 19 | 943248 | 578782 | 54671 23 | 547 | 699 1329.86/1330.12 c 1207s | 19 | 943961 | 579482 | 54671 23 | 547 | 699 1332.06/1332.35 c 1209s | 19 | 944650 | 580182 | 54671 23 | 547 | 699 1334.16/1334.44 c 1211s | 19 | 945349 | 580882 | 54671 23 | 547 | 699 1336.26/1336.58 c 1214s | 19 | 946049 | 581582 | 54671 23 | 547 | 699 1338.36/1338.60 c 1216s | 19 | 946657 | 582182 | 54671 23 | 547 | 699 1340.46/1340.79 c 1218s | 19 | 947358 | 582882 | 54671 23 | 547 | 699 1342.56/1342.81 c 1220s | 19 | 948074 | 583582 | 54671 23 | 547 | 699 1344.55/1344.85 c 1222s | 19 | 948777 | 584282 | 54671 23 | 547 | 699 1346.65/1346.96 c 1224s | 19 | 949465 | 584982 | 54671 23 | 547 | 699 1349.05/1349.33 c 1226s | 19 | 950066 | 585582 | 54671 23 | 547 | 699 1351.35/1351.62 c 1229s | 19 | 950770 | 586282 | 54671 23 | 547 | 699 1353.55/1353.84 c 1231s | 19 | 951493 | 586982 | 54671 23 | 547 | 699 1355.95/1356.20 c 1233s | 19 | 952075 | 587582 | 54671 23 | 547 | 699 1358.16/1358.42 c 1235s | 19 | 952623 | 588082 | 54671 23 | 547 | 699 1360.26/1360.54 c 1238s | 19 | 952992 | 588482 | 54671 23 | 547 | 699 1362.75/1363.02 c 1240s | 19 | 953495 | 588982 | 54671 23 | 547 | 699 1364.95/1365.25 c 1242s | 19 | 953999 | 589482 | 54671 23 | 547 | 699 1367.24/1367.52 c 1245s | 19 | 954604 | 590082 | 54671 23 | 547 | 699 1369.44/1369.78 c 1247s | 19 | 955302 | 590782 | 54671 23 | 547 | 699 1371.84/1372.10 c 1249s | 19 | 955909 | 591382 | 54671 23 | 547 | 699 1373.84/1374.18 c 1251s | 19 | 956409 | 591882 | 54671 23 | 547 | 699 1376.04/1376.40 c 1253s | 19 | 956803 | 592282 | 54671 23 | 547 | 699 1378.14/1378.43 c 1255s | 19 | 957310 | 592782 | 54671 23 | 547 | 699 1380.14/1380.45 c 1257s | 19 | 957906 | 593382 | 54671 23 | 547 | 699 1382.24/1382.59 c 1260s | 19 | 958419 | 593882 | 54671 23 | 547 | 699 1384.54/1384.90 c 1262s | 19 | 958922 | 594382 | 54671 23 | 547 | 699 1386.74/1387.09 c 1264s | 19 | 959427 | 594882 | 54671 23 | 547 | 699 1388.93/1389.20 c 1266s | 19 | 959916 | 595382 | 54671 23 | 547 | 699 1391.13/1391.46 c 1268s | 19 | 960529 | 595982 | 54671 23 | 547 | 699 1396.94/1397.27 c 1274s | 19 | 961029 | 596482 | 54671 24 | 547 | 699 1399.05/1399.39 c 1276s | 19 | 961724 | 597182 | 54671 24 | 547 | 699 1401.15/1401.44 c 1278s | 19 | 962336 | 597782 | 54671 24 | 547 | 699 1403.14/1403.46 c 1280s | 19 | 963031 | 598482 | 54671 24 | 547 | 699 1405.34/1405.63 c 1283s | 19 | 963737 | 599182 | 54671 24 | 547 | 699 1407.44/1407.73 c 1285s | 19 | 964444 | 599882 | 54671 24 | 547 | 699 1409.53/1409.83 c 1287s | 19 | 965144 | 600582 | 54671 24 | 547 | 699 1411.73/1412.02 c 1289s | 19 | 965844 | 601282 | 54671 24 | 547 | 699 1413.93/1414.26 c 1291s | 19 | 966560 | 601982 | 54671 24 | 547 | 699 1415.93/1416.28 c 1293s | 19 | 967253 | 602682 | 54671 24 | 547 | 699 1418.53/1418.86 c 1296s | 19 | 967958 | 603382 | 54671 24 | 547 | 699 1420.53/1420.87 c 1298s | 19 | 968559 | 603982 | 54671 24 | 547 | 699 1422.63/1422.94 c 1300s | 19 | 969281 | 604682 | 54671 24 | 547 | 699 1424.83/1425.18 c 1302s | 19 | 970059 | 605482 | 54671 24 | 547 | 699 1427.13/1427.44 c 1304s | 19 | 970768 | 606182 | 54671 24 | 547 | 699 1429.43/1429.75 c 1307s | 19 | 971469 | 606882 | 54671 24 | 547 | 699 1431.53/1431.81 c 1309s | 19 | 972085 | 607482 | 54671 24 | 547 | 699 1433.73/1434.00 c 1311s | 19 | 972773 | 608182 | 54671 24 | 547 | 699 1435.72/1436.06 c 1313s | 19 | 973476 | 608882 | 54671 24 | 547 | 699 1437.82/1438.17 c 1315s | 19 | 974177 | 609582 | 54671 24 | 547 | 699 1440.12/1440.41 c 1317s | 19 | 974898 | 610282 | 54671 24 | 547 | 699 1442.22/1442.57 c 1320s | 19 | 975592 | 610982 | 54671 24 | 547 | 699 1444.42/1444.79 c 1322s | 19 | 976288 | 611682 | 54671 24 | 547 | 699 1446.52/1446.80 c 1324s | 19 | 976989 | 612382 | 54671 24 | 547 | 699 1448.42/1448.80 c 1326s | 19 | 977584 | 612982 | 54671 24 | 547 | 699 1450.52/1450.86 c 1328s | 19 | 978181 | 613582 | 54671 24 | 547 | 699 1452.72/1453.05 c 1330s | 19 | 978789 | 614182 | 54671 24 | 547 | 699 1454.81/1455.14 c 1332s | 19 | 979388 | 614782 | 54671 24 | 547 | 699 1456.91/1457.23 c 1334s | 19 | 980087 | 615482 | 54671 24 | 547 | 699 1459.21/1459.53 c 1337s | 19 | 980795 | 616182 | 54671 24 | 547 | 699 1461.31/1461.67 c 1339s | 19 | 981404 | 616782 | 54671 24 | 547 | 699 1463.41/1463.71 c 1341s | 19 | 982005 | 617382 | 54671 24 | 547 | 699 1465.71/1466.02 c 1343s | 19 | 982716 | 618082 | 54671 24 | 547 | 699 1467.91/1468.28 c 1345s | 19 | 983422 | 618782 | 54671 24 | 547 | 699 1469.91/1470.28 c 1347s | 19 | 984129 | 619482 | 54671 24 | 547 | 699 1472.11/1472.41 c 1349s | 19 | 984711 | 620082 | 54671 24 | 547 | 699 1474.11/1474.42 c 1351s | 19 | 985323 | 620682 | 54671 24 | 547 | 699 1476.40/1476.75 c 1354s | 19 | 986013 | 621382 | 54671 24 | 547 | 699 1478.70/1479.04 c 1356s | 19 | 986624 | 621982 | 54671 24 | 547 | 699 1480.90/1481.29 c 1358s | 19 | 987321 | 622682 | 54671 24 | 547 | 699 1483.10/1483.44 c 1360s | 19 | 987927 | 623282 | 54671 24 | 547 | 699 1485.20/1485.58 c 1363s | 19 | 988539 | 623882 | 54671 24 | 547 | 699 1487.40/1487.70 c 1365s | 19 | 989133 | 624482 | 54671 24 | 547 | 699 1489.90/1490.24 c 1367s | 19 | 989531 | 624882 | 54671 25 | 547 | 699 1492.00/1492.33 c 1369s | 19 | 990349 | 625682 | 54671 25 | 547 | 699 1494.10/1494.43 c 1371s | 19 | 991144 | 626482 | 54671 25 | 547 | 699 1496.30/1496.60 c 1374s | 19 | 991857 | 627182 | 54671 25 | 547 | 699 1498.50/1498.84 c 1376s | 19 | 992659 | 627982 | 54671 25 | 547 | 699 1500.59/1500.98 c 1378s | 19 | 993455 | 628782 | 54671 25 | 547 | 699 1502.69/1503.08 c 1380s | 19 | 994155 | 629482 | 54671 25 | 547 | 699 1504.79/1505.16 c 1382s | 19 | 994874 | 630182 | 54671 25 | 547 | 699 1507.09/1507.41 c 1384s | 19 | 995777 | 631082 | 54671 25 | 547 | 699 1509.39/1509.74 c 1387s | 19 | 996572 | 631882 | 54671 25 | 547 | 699 1511.49/1511.85 c 1389s | 19 | 997263 | 632582 | 54671 25 | 547 | 699 1513.69/1514.09 c 1391s | 19 | 998078 | 633382 | 54671 25 | 547 | 699 1515.88/1516.29 c 1393s | 19 | 998882 | 634182 | 54671 25 | 547 | 699 1518.08/1518.44 c 1395s | 19 | 999681 | 634982 | 54671 25 | 547 | 699 1520.28/1520.62 c 1398s | 19 | 1000382 | 635682 | 54671 25 | 547 | 699 1522.38/1522.74 c 1400s | 19 | 1001189 | 636482 | 54671 25 | 547 | 699 1524.39/1524.78 c 1402s | 19 | 1001901 | 637182 | 54671 25 | 547 | 699 1526.68/1527.02 c 1404s | 19 | 1002692 | 637982 | 54671 25 | 547 | 699 1528.88/1529.28 c 1406s | 19 | 1003504 | 638782 | 54671 25 | 547 | 699 1530.99/1531.32 c 1408s | 19 | 1004303 | 639582 | 54671 25 | 547 | 699 1532.98/1533.40 c 1410s | 19 | 1005108 | 640382 | 54671 25 | 547 | 699 1535.28/1535.67 c 1413s | 19 | 1005913 | 641182 | 54671 25 | 547 | 699 1578.66/1579.01 c 1456s | 19 | 1006240 | 641482 | 54671 25 | 547 | 699 1580.86/1581.20 c 1458s | 19 | 1006828 | 642082 | 54671 25 | 547 | 699 1583.16/1583.53 c 1461s | 19 | 1007423 | 642682 | 54671 25 | 547 | 699 1585.16/1585.59 c 1463s | 19 | 1007927 | 643182 | 54671 25 | 547 | 699 1587.46/1587.81 c 1465s | 19 | 1008519 | 643782 | 54671 25 | 547 | 699 1589.56/1589.90 c 1467s | 19 | 1009122 | 644382 | 54671 25 | 547 | 699 1591.56/1591.99 c 1469s | 19 | 1009721 | 644982 | 54671 25 | 547 | 699 1593.86/1594.27 c 1471s | 19 | 1010429 | 645682 | 54671 25 | 547 | 699 1595.86/1596.29 c 1473s | 19 | 1011027 | 646282 | 54671 25 | 547 | 699 1598.15/1598.50 c 1475s | 19 | 1011631 | 646882 | 54671 25 | 547 | 699 1600.26/1600.64 c 1478s | 19 | 1012338 | 647582 | 54671 25 | 547 | 699 1602.25/1602.67 c 1480s | 19 | 1012952 | 648182 | 54671 25 | 547 | 699 1604.56/1604.97 c 1482s | 19 | 1013642 | 648882 | 54671 25 | 547 | 699 1606.65/1607.03 c 1484s | 19 | 1014248 | 649482 | 54671 25 | 547 | 699 1608.75/1609.13 c 1486s | 19 | 1014849 | 650082 | 54671 25 | 547 | 699 1610.95/1611.36 c 1488s | 19 | 1015544 | 650782 | 54671 25 | 547 | 699 1613.15/1613.58 c 1491s | 19 | 1016263 | 651482 | 54671 25 | 547 | 699 1615.45/1615.86 c 1493s | 19 | 1016950 | 652182 | 54671 25 | 547 | 699 1617.65/1618.05 c 1495s | 19 | 1017556 | 652782 | 54671 25 | 547 | 699 1619.75/1620.11 c 1497s | 19 | 1018047 | 653282 | 54671 25 | 547 | 699 1622.25/1622.68 c 1500s | 19 | 1018459 | 653682 | 54671 26 | 547 | 699 1624.45/1624.81 c 1502s | 19 | 1019264 | 654482 | 54671 26 | 547 | 699 1626.65/1627.04 c 1504s | 19 | 1019860 | 655082 | 54671 26 | 547 | 699 1629.14/1629.53 c 1507s | 19 | 1020365 | 655582 | 54671 26 | 547 | 699 1631.34/1631.76 c 1509s | 19 | 1021064 | 656282 | 54671 26 | 547 | 699 1633.44/1633.82 c 1511s | 19 | 1021774 | 656982 | 54671 26 | 547 | 699 1635.45/1635.87 c 1513s | 19 | 1022470 | 657682 | 54671 26 | 547 | 699 1637.54/1637.92 c 1515s | 19 | 1023169 | 658382 | 54671 26 | 547 | 699 1639.64/1640.08 c 1517s | 19 | 1023984 | 659182 | 54671 26 | 547 | 699 1641.74/1642.14 c 1519s | 19 | 1024784 | 659982 | 54671 26 | 547 | 699 1643.74/1644.19 c 1521s | 19 | 1025483 | 660682 | 54671 26 | 547 | 699 1645.84/1646.20 c 1523s | 19 | 1026190 | 661382 | 54671 26 | 547 | 699 1648.04/1648.44 c 1525s | 19 | 1026894 | 662082 | 54671 26 | 547 | 699 1650.24/1650.66 c 1528s | 19 | 1027698 | 662882 | 54671 26 | 547 | 699 1652.44/1652.81 c 1530s | 19 | 1028394 | 663582 | 54671 26 | 547 | 699 1654.53/1654.90 c 1532s | 19 | 1029095 | 664282 | 54671 26 | 547 | 699 1656.63/1657.02 c 1534s | 19 | 1029906 | 665082 | 54671 26 | 547 | 699 1658.73/1659.11 c 1536s | 19 | 1030614 | 665782 | 54671 26 | 547 | 699 1660.93/1661.36 c 1538s | 19 | 1031310 | 666482 | 54671 26 | 547 | 699 1662.03/1662.48 c 1539s | 20 | 1031655 | 666827 | 54671 26 | 547 | 699 1664.23/1664.68 c 1542s | 20 | 1032481 | 667527 | 54671 26 | 547 | 699 1667.03/1667.44 c 1544s | 20 | 1032688 | 667727 | 54671 26 | 547 | 699 1669.13/1669.51 c 1547s | 20 | 1033284 | 668327 | 54671 26 | 547 | 699 1671.13/1671.55 c 1549s | 20 | 1033901 | 668927 | 54671 26 | 547 | 699 1673.43/1673.82 c 1551s | 20 | 1034593 | 669627 | 54671 26 | 547 | 699 1675.52/1675.99 c 1553s | 20 | 1035303 | 670327 | 54671 26 | 547 | 699 1677.62/1678.03 c 1555s | 20 | 1035996 | 671027 | 54671 26 | 547 | 699 1679.62/1680.05 c 1557s | 20 | 1036703 | 671727 | 54671 26 | 547 | 699 1681.63/1682.07 c 1559s | 20 | 1037410 | 672427 | 54671 26 | 547 | 699 1683.92/1684.33 c 1561s | 20 | 1038102 | 673127 | 54671 26 | 547 | 699 1686.03/1686.45 c 1563s | 20 | 1038708 | 673727 | 54671 26 | 547 | 699 1688.32/1688.78 c 1566s | 20 | 1039405 | 674427 | 54671 26 | 547 | 699 1690.62/1691.00 c 1568s | 20 | 1040026 | 675027 | 54671 26 | 547 | 699 1692.92/1693.32 c 1570s | 20 | 1040718 | 675727 | 54671 26 | 547 | 699 1695.02/1695.41 c 1572s | 20 | 1041312 | 676327 | 54671 26 | 547 | 699 1697.03/1697.46 c 1574s | 20 | 1041928 | 676927 | 54671 26 | 547 | 699 1699.32/1699.78 c 1577s | 20 | 1042631 | 677627 | 54671 26 | 547 | 699 1701.62/1702.01 c 1579s | 20 | 1043222 | 678227 | 54671 26 | 547 | 699 1703.92/1704.37 c 1581s | 20 | 1043920 | 678927 | 54671 26 | 547 | 699 1706.22/1706.67 c 1584s | 20 | 1044644 | 679627 | 54671 26 | 547 | 699 1708.32/1708.71 c 1586s | 20 | 1045221 | 680227 | 54671 26 | 547 | 699 1710.32/1710.78 c 1588s | 20 | 1045830 | 680827 | 54671 26 | 547 | 699 1712.42/1712.87 c 1590s | 20 | 1046436 | 681427 | 54671 26 | 547 | 699 1714.52/1714.91 c 1592s | 20 | 1046930 | 681927 | 54671 27 | 547 | 699 1716.52/1716.98 c 1594s | 20 | 1047339 | 682327 | 54671 27 | 547 | 699 1718.62/1719.07 c 1596s | 20 | 1047931 | 682927 | 54671 27 | 547 | 699 1720.82/1721.29 c 1598s | 20 | 1048645 | 683627 | 54671 27 | 547 | 699 1722.92/1723.37 c 1600s | 20 | 1049451 | 684427 | 54671 27 | 547 | 699 1724.92/1725.39 c 1602s | 20 | 1050145 | 685127 | 54671 27 | 547 | 699 1727.12/1727.57 c 1605s | 20 | 1050945 | 685927 | 54671 27 | 547 | 699 1729.22/1729.64 c 1607s | 20 | 1051748 | 686727 | 54671 27 | 547 | 699 1731.52/1731.95 c 1609s | 20 | 1052660 | 687627 | 54671 27 | 547 | 699 1733.52/1733.95 c 1611s | 20 | 1053363 | 688327 | 54671 27 | 547 | 699 1735.72/1736.12 c 1613s | 20 | 1054160 | 689127 | 54671 27 | 547 | 699 1737.82/1738.22 c 1615s | 20 | 1054870 | 689827 | 54671 27 | 547 | 699 1739.82/1740.30 c 1617s | 20 | 1055569 | 690527 | 54671 27 | 547 | 699 1742.12/1742.53 c 1620s | 20 | 1056367 | 691327 | 54671 27 | 547 | 699 1744.32/1744.78 c 1622s | 20 | 1057175 | 692127 | 54671 27 | 547 | 699 1746.42/1746.86 c 1624s | 20 | 1057983 | 692927 | 54671 27 | 547 | 699 1748.62/1749.04 c 1626s | 20 | 1058699 | 693627 | 54671 27 | 547 | 699 1750.61/1751.07 c 1628s | 20 | 1059382 | 694327 | 54671 27 | 547 | 699 1752.81/1753.24 c 1630s | 20 | 1060089 | 695027 | 54671 27 | 547 | 699 1754.81/1755.27 c 1632s | 20 | 1060782 | 695727 | 54671 27 | 547 | 699 1757.01/1757.42 c 1634s | 20 | 1061489 | 696427 | 54671 27 | 547 | 699 1759.11/1759.54 c 1637s | 20 | 1062295 | 697227 | 54671 27 | 547 | 699 1761.11/1761.54 c 1639s | 20 | 1062993 | 697927 | 54671 27 | 547 | 699 1763.21/1763.68 c 1641s | 20 | 1063697 | 698627 | 54671 27 | 547 | 699 1765.40/1765.80 c 1643s | 20 | 1064494 | 699427 | 54671 27 | 547 | 699 1767.41/1767.84 c 1645s | 20 | 1065195 | 700127 | 54671 27 | 547 | 699 1769.51/1769.99 c 1647s | 20 | 1065900 | 700827 | 54671 27 | 547 | 699 1771.60/1772.05 c 1649s | 20 | 1066605 | 701527 | 54671 27 | 547 | 699 1773.91/1774.36 c 1651s | 20 | 1067409 | 702327 | 54671 27 | 547 | 699 1776.00/1776.43 c 1653s | 20 | 1068103 | 703027 | 54671 27 | 547 | 699 1778.20/1778.70 c 1656s | 20 | 1068905 | 703827 | 54671 27 | 547 | 699 1780.40/1780.87 c 1658s | 20 | 1069709 | 704627 | 54671 27 | 547 | 699 1782.50/1782.98 c 1660s | 20 | 1070513 | 705427 | 54671 27 | 547 | 699
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-4079464-1465224561/watcher-4079464-1465224561 -o /tmp/evaluation-result-4079464-1465224561/solver-4079464-1465224561 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079464-1465224561.opb pid=1646 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.28 2.06 1.92 3/178 1649 /proc/meminfo: memFree=29342452/32872528 swapFree=16384/1696552 [pid=1649] ppid=1646 vsize=584124 CPUtime=0 cores=0,2,4,6 /proc/1649/stat : 1649 (toysat) R 1646 1649 1166 0 -1 4202496 2153 0 0 0 0 0 0 0 20 0 4 0 104389222 598142976 2004 33554432000 4194304 16246674 140737371241328 140737371240752 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1649/statm: 146799 2014 441 2943 0 143693 0 [pid=1649/tid=1651] ppid=1646 vsize=675260 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1651/stat : 1651 (toysat) S 1646 1649 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104389222 691466240 2362 33554432000 4194304 16246674 140737371241328 140223540342000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1649/tid=1652] ppid=1646 vsize=679356 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1652/stat : 1652 (toysat) S 1646 1649 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104389222 695660544 2378 33554432000 4194304 16246674 140737371241328 140223529852144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1649/tid=1653] ppid=1646 vsize=684476 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1653/stat : 1653 (toysat) S 1646 1649 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104389222 700903424 2395 33554432000 4194304 16246674 140737371241328 140223519378608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.10017 s] /proc/loadavg: 2.28 2.06 1.92 3/178 1649 /proc/meminfo: memFree=29342452/32872528 swapFree=16384/1696552 [pid=1649] ppid=1646 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/1649/stat : 1649 (toysat) R 1646 1649 1166 0 -1 4202496 26887 0 0 0 6 3 0 0 20 0 4 0 104389222 1333334016 26676 33554432000 4194304 16246674 140737371241328 140737371240640 7377837 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1649/statm: 325521 26691 800 2943 0 322415 0 [pid=1649/tid=1651] ppid=1646 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1651/stat : 1651 (toysat) S 1646 1649 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104389222 1333334016 26702 33554432000 4194304 16246674 140737371241328 140223540342000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1649/tid=1652] ppid=1646 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1652/stat : 1652 (toysat) S 1646 1649 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104389222 1333334016 26714 33554432000 4194304 16246674 140737371241328 140223529852144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1649/tid=1653] ppid=1646 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1653/stat : 1653 (toysat) S 1646 1649 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104389222 1333334016 26724 33554432000 4194304 16246674 140737371241328 140223519378608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200518 s] /proc/loadavg: 2.28 2.06 1.92 3/178 1649 /proc/meminfo: memFree=29342452/32872528 swapFree=16384/1696552 [pid=1649] ppid=1646 vsize=1314372 CPUtime=0.18 cores=0,2,4,6 /proc/1649/stat : 1649 (toysat) R 1646 1649 1166 0 -1 4202496 49510 0 0 0 12 6 0 0 20 0 4 0 104389222 1345916928 49809 33554432000 4194304 16246674 140737371241328 140737371240640 7369397 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1649/statm: 328593 49809 800 2943 0 325487 0 [pid=1649/tid=1651] ppid=1646 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1651/stat : 1651 (toysat) S 1646 1649 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104389222 1345916928 49809 33554432000 4194304 16246674 140737371241328 140223540342000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1649/tid=1652] ppid=1646 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1652/stat : 1652 (toysat) S 1646 1649 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104389222 1345916928 49809 33554432000 4194304 16246674 140737371241328 140223529852144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1649/tid=1653] ppid=1646 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1653/stat : 1653 (toysat) S 1646 1649 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104389222 1345916928 49809 33554432000 4194304 16246674 140737371241328 140223519378608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1314372 [startup+0.300492 s] /proc/loadavg: 2.28 2.06 1.92 3/178 1649 /proc/meminfo: memFree=29342452/32872528 swapFree=16384/1696552 [pid=1649] ppid=1646 vsize=1314372 CPUtime=0.28 cores=0,2,4,6 /proc/1649/stat : 1649 (toysat) R 1646 1649 1166 0 -1 4202496 60913 0 0 0 20 8 0 0 20 0 4 0 104389222 1345916928 61212 33554432000 4194304 16246674 140737371241328 140737371240640 5704305 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1649/statm: 328593 61212 807 2943 0 325487 0 [pid=1649/tid=1651] ppid=1646 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1651/stat : 1651 (toysat) S 1646 1649 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104389222 1345916928 61212 33554432000 4194304 16246674 140737371241328 140223540342000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1649/tid=1652] ppid=1646 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1652/stat : 1652 (toysat) S 1646 1649 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104389222 1345916928 61212 33554432000 4194304 16246674 140737371241328 140223529852144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1649/tid=1653] ppid=1646 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1653/stat : 1653 (toysat) S 1646 1649 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104389222 1345916928 61212 33554432000 4194304 16246674 140737371241328 140223519378608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1314372 [startup+0.700398 s] /proc/loadavg: 2.28 2.06 1.92 3/178 1649 /proc/meminfo: memFree=29342452/32872528 swapFree=16384/1696552 [pid=1649] ppid=1646 vsize=1314372 CPUtime=0.68 cores=0,2,4,6 /proc/1649/stat : 1649 (toysat) R 1646 1649 1166 0 -1 4202496 135008 0 0 0 51 17 0 0 20 0 4 0 104389222 1345916928 135307 33554432000 4194304 16246674 140737371241328 140737371223232 13956064 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1649/statm: 328593 135319 845 2943 0 325487 0 [pid=1649/tid=1651] ppid=1646 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1651/stat : 1651 (toysat) S 1646 1649 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104389222 1345916928 135324 33554432000 4194304 16246674 140737371241328 140223540342000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1649/tid=1652] ppid=1646 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1652/stat : 1652 (toysat) S 1646 1649 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104389222 1345916928 135330 33554432000 4194304 16246674 140737371241328 140223529852144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1649/tid=1653] ppid=1646 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1653/stat : 1653 (toysat) S 1646 1649 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104389222 1345916928 135335 33554432000 4194304 16246674 140737371241328 140223519378608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1314372 [startup+1.50037 s] /proc/loadavg: 2.28 2.06 1.92 3/182 1654 /proc/meminfo: memFree=28536812/32872528 swapFree=16384/1696552 [pid=1649] ppid=1646 vsize=1314372 CPUtime=1.48 cores=0,2,4,6 /proc/1649/stat : 1649 (toysat) R 1646 1649 1166 0 -1 4202496 243225 0 0 0 116 32 0 0 20 0 4 0 104389222 1345916928 243524 33554432000 4194304 16246674 140737371241328 140737371223232 12414073 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1649/statm: 328593 243524 898 2943 0 325487 0 [pid=1649/tid=1651] ppid=1646 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1651/stat : 1651 (toysat) S 1646 1649 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104389222 1345916928 243524 33554432000 4194304 16246674 140737371241328 140223540342000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1649/tid=1652] ppid=1646 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1652/stat : 1652 (toysat) S 1646 1649 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104389222 1345916928 243524 33554432000 4194304 16246674 140737371241328 140223529852144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1649/tid=1653] ppid=1646 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1653/stat : 1653 (toysat) S 1646 1649 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104389222 1345916928 243524 33554432000 4194304 16246674 140737371241328 140223519378608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1314372 [startup+3.1004 s] /proc/loadavg: 2.42 2.10 1.93 3/182 1654 /proc/meminfo: memFree=28326012/32872528 swapFree=16384/1696552 [pid=1649] ppid=1646 vsize=1314372 CPUtime=3.08 cores=0,2,4,6 /proc/1649/stat : 1649 (toysat) R 1646 1649 1166 0 -1 4202496 269294 0 0 0 272 36 0 0 20 0 4 0 104389222 1345916928 269593 33554432000 4194304 16246674 140737371241328 140737371239232 12429249 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1649/statm: 328593 269593 913 2943 0 325487 0 [pid=1649/tid=1651] ppid=1646 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1651/stat : 1651 (toysat) S 1646 1649 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104389222 1345916928 269593 33554432000 4194304 16246674 140737371241328 140223540342000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1649/tid=1652] ppid=1646 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1652/stat : 1652 (toysat) S 1646 1649 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104389222 1345916928 269593 33554432000 4194304 16246674 140737371241328 140223529852144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1649/tid=1653] ppid=1646 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1653/stat : 1653 (toysat) S 1646 1649 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104389222 1345916928 269593 33554432000 4194304 16246674 140737371241328 140223519378608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1314372 [startup+6.30042 s] /proc/loadavg: 2.42 2.10 1.93 3/183 1655 /proc/meminfo: memFree=28264876/32872528 swapFree=16384/1696552 [pid=1649] ppid=1646 vsize=1314372 CPUtime=6.28 cores=0,2,4,6 /proc/1649/stat : 1649 (toysat) R 1646 1649 1166 0 -1 4202496 269296 0 0 0 592 36 0 0 20 0 4 0 104389222 1345916928 269595 33554432000 4194304 16246674 140737371241328 140737371223232 13820875 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1649/statm: 328593 269595 915 2943 0 325487 0 [pid=1649/tid=1651] ppid=1646 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1651/stat : 1651 (toysat) S 1646 1649 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104389222 1345916928 269595 33554432000 4194304 16246674 140737371241328 140223540342000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1649/tid=1652] ppid=1646 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1652/stat : 1652 (toysat) S 1646 1649 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104389222 1345916928 269595 33554432000 4194304 16246674 140737371241328 140223529852144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1649/tid=1653] ppid=1646 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1653/stat : 1653 (toysat) S 1646 1649 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104389222 1345916928 269595 33554432000 4194304 16246674 140737371241328 140223519378608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1314372 [startup+12.7004 s] /proc/loadavg: 2.43 2.11 1.93 3/183 1655 /proc/meminfo: memFree=28264544/32872528 swapFree=16384/1696552 [pid=1649] ppid=1646 vsize=1314372 CPUtime=12.69 cores=0,2,4,6 /proc/1649/stat : 1649 (toysat) R 1646 1649 1166 0 -1 4202496 269297 0 0 0 1232 37 0 0 20 0 4 0 104389222 1345916928 269596 33554432000 4194304 16246674 140737371241328 140737371223232 5754983 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1649/statm: 328593 269596 916 2943 0 325487 0 [pid=1649/tid=1651] ppid=1646 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1651/stat : 1651 (toysat) S 1646 1649 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104389222 1345916928 269596 33554432000 4194304 16246674 140737371241328 140223540342000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1649/tid=1652] ppid=1646 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1652/stat : 1652 (toysat) S 1646 1649 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104389222 1345916928 269596 33554432000 4194304 16246674 140737371241328 140223529852144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1649/tid=1653] ppid=1646 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1653/stat : 1653 (toysat) S 1646 1649 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104389222 1345916928 269596 33554432000 4194304 16246674 140737371241328 140223519378608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1314372 [startup+25.5005 s] /proc/loadavg: 2.36 2.10 1.93 4/183 1655 /proc/meminfo: memFree=28260916/32872528 swapFree=16384/1696552 [pid=1649] ppid=1646 vsize=1318468 CPUtime=25.49 cores=0,2,4,6 /proc/1649/stat : 1649 (toysat) R 1646 1649 1166 0 -1 4202496 270325 0 0 0 2512 37 0 0 20 0 4 0 104389222 1350111232 270624 33554432000 4194304 16246674 140737371241328 140737371223232 5600384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1649/statm: 329617 270624 920 2943 0 326511 0 [pid=1649/tid=1651] ppid=1646 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1651/stat : 1651 (toysat) S 1646 1649 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104389222 1350111232 270624 33554432000 4194304 16246674 140737371241328 140223540342000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1649/tid=1652] ppid=1646 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1652/stat : 1652 (toysat) S 1646 1649 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104389222 1350111232 270624 33554432000 4194304 16246674 140737371241328 140223529852144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1649/tid=1653] ppid=1646 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1653/stat : 1653 (toysat) S 1646 1649 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104389222 1350111232 270624 33554432000 4194304 16246674 140737371241328 140223519378608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1318468 [startup+51.1005 s] /proc/loadavg: 2.36 2.13 1.94 4/184 1658 /proc/meminfo: memFree=28256416/32872528 swapFree=16384/1696552 [pid=1649] ppid=1646 vsize=1322564 CPUtime=51.08 cores=0,2,4,6 /proc/1649/stat : 1649 (toysat) R 1646 1649 1166 0 -1 4202496 271349 0 0 0 5071 37 0 0 20 0 4 0 104389222 1354305536 271648 33554432000 4194304 16246674 140737371241328 140737371223232 4226064 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1649/statm: 330641 271648 920 2943 0 327535 0 [pid=1649/tid=1651] ppid=1646 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1651/stat : 1651 (toysat) S 1646 1649 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104389222 1354305536 271648 33554432000 4194304 16246674 140737371241328 140223540342000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1649/tid=1652] ppid=1646 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1652/stat : 1652 (toysat) S 1646 1649 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104389222 1354305536 271648 33554432000 4194304 16246674 140737371241328 140223529852144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1649/tid=1653] ppid=1646 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1653/stat : 1653 (toysat) S 1646 1649 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104389222 1354305536 271648 33554432000 4194304 16246674 140737371241328 140223519378608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1322564 [startup+102.3 s] /proc/loadavg: 2.36 2.16 1.97 3/183 1659 /proc/meminfo: memFree=28178300/32872528 swapFree=16384/1696552 [pid=1649] ppid=1646 vsize=1322564 CPUtime=102.28 cores=0,2,4,6 /proc/1649/stat : 1649 (toysat) R 1646 1649 1166 0 -1 4202496 271349 0 0 0 10190 38 0 0 20 0 4 0 104389222 1354305536 271648 33554432000 4194304 16246674 140737371241328 140737371223232 5600808 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1649/statm: 330641 271648 920 2943 0 327535 0 [pid=1649/tid=1651] ppid=1646 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1651/stat : 1651 (toysat) S 1646 1649 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104389222 1354305536 271648 33554432000 4194304 16246674 140737371241328 140223540342000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1649/tid=1652] ppid=1646 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1652/stat : 1652 (toysat) S 1646 1649 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104389222 1354305536 271648 33554432000 4194304 16246674 140737371241328 140223529852144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1649/tid=1653] ppid=1646 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1653/stat : 1653 (toysat) S 1646 1649 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104389222 1354305536 271648 33554432000 4194304 16246674 140737371241328 140223519378608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1322564 ################ # More data... # ################ /proc/1649/task/1653/stat : 1653 (toysat) S 1646 1649 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104389222 1406734336 284706 33554432000 4194304 16246674 140737371241328 140223519378608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 1373764 [startup+1362.3 s] /proc/loadavg: 2.16 2.20 2.13 3/183 1713 /proc/meminfo: memFree=28075876/32872528 swapFree=16384/1696552 [pid=1649] ppid=1646 vsize=1401412 CPUtime=1362.05 cores=0,2,4,6 /proc/1649/stat : 1649 (toysat) R 1646 1649 1166 0 -1 4202496 290988 0 0 0 136152 53 0 0 20 0 4 0 104389222 1435045888 291484 33554432000 4194304 16246674 140737371241328 140737371223232 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1649/statm: 350353 291484 922 2943 0 347247 0 [pid=1649/tid=1651] ppid=1646 vsize=1401412 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1651/stat : 1651 (toysat) S 1646 1649 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104389222 1435045888 291484 33554432000 4194304 16246674 140737371241328 140223540342000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1649/tid=1652] ppid=1646 vsize=1401412 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1652/stat : 1652 (toysat) S 1646 1649 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104389222 1435045888 291484 33554432000 4194304 16246674 140737371241328 140223529852144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1649/tid=1653] ppid=1646 vsize=1401412 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1653/stat : 1653 (toysat) S 1646 1649 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104389222 1435045888 291484 33554432000 4194304 16246674 140737371241328 140223519378608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 1401412 [startup+1422.3 s] /proc/loadavg: 2.23 2.21 2.13 3/183 1714 /proc/meminfo: memFree=28074956/32872528 swapFree=16384/1696552 [pid=1649] ppid=1646 vsize=1401412 CPUtime=1422.03 cores=0,2,4,6 /proc/1649/stat : 1649 (toysat) R 1646 1649 1166 0 -1 4202496 291149 0 0 0 142149 54 0 0 20 0 4 0 104389222 1435045888 291618 33554432000 4194304 16246674 140737371241328 140737371223232 5822744 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1649/statm: 350353 291618 922 2943 0 347247 0 [pid=1649/tid=1651] ppid=1646 vsize=1401412 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1651/stat : 1651 (toysat) S 1646 1649 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104389222 1435045888 291618 33554432000 4194304 16246674 140737371241328 140223540342000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1649/tid=1652] ppid=1646 vsize=1401412 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1652/stat : 1652 (toysat) S 1646 1649 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104389222 1435045888 291618 33554432000 4194304 16246674 140737371241328 140223529852144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1649/tid=1653] ppid=1646 vsize=1401412 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1653/stat : 1653 (toysat) S 1646 1649 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104389222 1435045888 291618 33554432000 4194304 16246674 140737371241328 140223519378608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1422.03 Current children cumulated vsize (KiB) 1401412 [startup+1482.3 s] /proc/loadavg: 2.31 2.23 2.14 4/183 1715 /proc/meminfo: memFree=28074620/32872528 swapFree=16384/1696552 [pid=1649] ppid=1646 vsize=1401412 CPUtime=1482 cores=0,2,4,6 /proc/1649/stat : 1649 (toysat) R 1646 1649 1166 0 -1 4202496 291172 0 0 0 148146 54 0 0 20 0 4 0 104389222 1435045888 291618 33554432000 4194304 16246674 140737371241328 140737371223232 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1649/statm: 350353 291618 922 2943 0 347247 0 [pid=1649/tid=1651] ppid=1646 vsize=1401412 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1651/stat : 1651 (toysat) S 1646 1649 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104389222 1435045888 291618 33554432000 4194304 16246674 140737371241328 140223540342000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1649/tid=1652] ppid=1646 vsize=1401412 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1652/stat : 1652 (toysat) S 1646 1649 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104389222 1435045888 291618 33554432000 4194304 16246674 140737371241328 140223529852144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1649/tid=1653] ppid=1646 vsize=1401412 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1653/stat : 1653 (toysat) S 1646 1649 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104389222 1435045888 291618 33554432000 4194304 16246674 140737371241328 140223519378608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1482 Current children cumulated vsize (KiB) 1401412 [startup+1542.31 s] /proc/loadavg: 2.29 2.23 2.14 3/183 1772 /proc/meminfo: memFree=28100716/32872528 swapFree=16384/1696552 [pid=1649] ppid=1646 vsize=1401412 CPUtime=1541.98 cores=0,2,4,6 /proc/1649/stat : 1649 (toysat) R 1646 1649 1166 0 -1 4202496 291215 0 0 0 154143 55 0 0 20 0 4 0 104389222 1435045888 291618 33554432000 4194304 16246674 140737371241328 140737371239232 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1649/statm: 350353 291618 922 2943 0 347247 0 [pid=1649/tid=1651] ppid=1646 vsize=1401412 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1651/stat : 1651 (toysat) S 1646 1649 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104389222 1435045888 291618 33554432000 4194304 16246674 140737371241328 140223540342000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1649/tid=1652] ppid=1646 vsize=1401412 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1652/stat : 1652 (toysat) S 1646 1649 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104389222 1435045888 291618 33554432000 4194304 16246674 140737371241328 140223529852144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1649/tid=1653] ppid=1646 vsize=1401412 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1653/stat : 1653 (toysat) S 1646 1649 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104389222 1435045888 291618 33554432000 4194304 16246674 140737371241328 140223519378608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.98 Current children cumulated vsize (KiB) 1401412 [startup+1602.3 s] /proc/loadavg: 2.23 2.22 2.14 4/183 1773 /proc/meminfo: memFree=28071200/32872528 swapFree=16384/1696552 [pid=1649] ppid=1646 vsize=1427012 CPUtime=1601.95 cores=0,2,4,6 /proc/1649/stat : 1649 (toysat) R 1646 1649 1166 0 -1 4202496 297486 0 0 0 160136 59 0 0 20 0 4 0 104389222 1461260288 297872 33554432000 4194304 16246674 140737371241328 140737371223232 6021672 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1649/statm: 356753 297872 922 2943 0 353647 0 [pid=1649/tid=1651] ppid=1646 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1651/stat : 1651 (toysat) S 1646 1649 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104389222 1461260288 297872 33554432000 4194304 16246674 140737371241328 140223540342000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1649/tid=1652] ppid=1646 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1652/stat : 1652 (toysat) S 1646 1649 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104389222 1461260288 297872 33554432000 4194304 16246674 140737371241328 140223529852144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1649/tid=1653] ppid=1646 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1653/stat : 1653 (toysat) S 1646 1649 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104389222 1461260288 297872 33554432000 4194304 16246674 140737371241328 140223519378608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.95 Current children cumulated vsize (KiB) 1427012 [startup+1662.3 s] /proc/loadavg: 2.17 2.20 2.14 3/183 1774 /proc/meminfo: memFree=28068260/32872528 swapFree=16384/1696552 [pid=1649] ppid=1646 vsize=1427012 CPUtime=1661.93 cores=0,2,4,6 /proc/1649/stat : 1649 (toysat) R 1646 1649 1166 0 -1 4202496 297649 0 0 0 166134 59 0 0 20 0 4 0 104389222 1461260288 298018 33554432000 4194304 16246674 140737371241328 140737371223232 12415720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1649/statm: 356753 298018 922 2943 0 353647 0 [pid=1649/tid=1651] ppid=1646 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1651/stat : 1651 (toysat) S 1646 1649 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104389222 1461260288 298018 33554432000 4194304 16246674 140737371241328 140223540342000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1649/tid=1652] ppid=1646 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1652/stat : 1652 (toysat) S 1646 1649 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104389222 1461260288 298018 33554432000 4194304 16246674 140737371241328 140223529852144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1649/tid=1653] ppid=1646 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1653/stat : 1653 (toysat) S 1646 1649 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104389222 1461260288 298018 33554432000 4194304 16246674 140737371241328 140223519378608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.93 Current children cumulated vsize (KiB) 1427012 [startup+1722.3 s] /proc/loadavg: 2.19 2.20 2.14 3/183 1775 /proc/meminfo: memFree=28068220/32872528 swapFree=16384/1696552 [pid=1649] ppid=1646 vsize=1427012 CPUtime=1721.92 cores=0,2,4,6 /proc/1649/stat : 1649 (toysat) R 1646 1649 1166 0 -1 4202496 297663 0 0 0 172132 60 0 0 20 0 4 0 104389222 1461260288 298018 33554432000 4194304 16246674 140737371241328 140737371223232 5600380 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1649/statm: 356753 298018 922 2943 0 353647 0 [pid=1649/tid=1651] ppid=1646 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1651/stat : 1651 (toysat) S 1646 1649 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104389222 1461260288 298018 33554432000 4194304 16246674 140737371241328 140223540342000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1649/tid=1652] ppid=1646 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1652/stat : 1652 (toysat) S 1646 1649 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104389222 1461260288 298018 33554432000 4194304 16246674 140737371241328 140223529852144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1649/tid=1653] ppid=1646 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1653/stat : 1653 (toysat) S 1646 1649 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104389222 1461260288 298018 33554432000 4194304 16246674 140737371241328 140223519378608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.92 Current children cumulated vsize (KiB) 1427012 [startup+1782.3 s] /proc/loadavg: 2.14 2.19 2.14 3/183 1776 /proc/meminfo: memFree=28067720/32872528 swapFree=16384/1696552 [pid=1649] ppid=1646 vsize=1427012 CPUtime=1781.9 cores=0,2,4,6 /proc/1649/stat : 1649 (toysat) R 1646 1649 1166 0 -1 4202496 297682 0 0 0 178130 60 0 0 20 0 4 0 104389222 1461260288 298018 33554432000 4194304 16246674 140737371241328 140737371223232 5824371 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1649/statm: 356753 298018 922 2943 0 353647 0 [pid=1649/tid=1651] ppid=1646 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1651/stat : 1651 (toysat) S 1646 1649 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104389222 1461260288 298018 33554432000 4194304 16246674 140737371241328 140223540342000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1649/tid=1652] ppid=1646 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1652/stat : 1652 (toysat) S 1646 1649 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104389222 1461260288 298018 33554432000 4194304 16246674 140737371241328 140223529852144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1649/tid=1653] ppid=1646 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1653/stat : 1653 (toysat) S 1646 1649 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104389222 1461260288 298018 33554432000 4194304 16246674 140737371241328 140223519378608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 1427012 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.18 2.19 2.14 3/183 1776 /proc/meminfo: memFree=28067196/32872528 swapFree=16384/1696552 [pid=1649] ppid=1646 vsize=1427012 CPUtime=1800.09 cores=0,2,4,6 /proc/1649/stat : 1649 (toysat) R 1646 1649 1166 0 -1 4202496 297682 0 0 0 179948 61 0 0 20 0 4 0 104389222 1461260288 298018 33554432000 4194304 16246674 140737371241328 140737371239232 4221783 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1649/statm: 356753 298018 922 2943 0 353647 0 [pid=1649/tid=1651] ppid=1646 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1651/stat : 1651 (toysat) S 1646 1649 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104389222 1461260288 298018 33554432000 4194304 16246674 140737371241328 140223540342000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1649/tid=1652] ppid=1646 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1652/stat : 1652 (toysat) S 1646 1649 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104389222 1461260288 298018 33554432000 4194304 16246674 140737371241328 140223529852144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1649/tid=1653] ppid=1646 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1653/stat : 1653 (toysat) S 1646 1649 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104389222 1461260288 298018 33554432000 4194304 16246674 140737371241328 140223519378608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1427012 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 1649 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.18 2.19 2.14 3/183 1776 /proc/meminfo: memFree=28067196/32872528 swapFree=16384/1696552 [pid=1649] ppid=1646 vsize=1427012 CPUtime=1800.09 cores=0,2,4,6 /proc/1649/stat : 1649 (toysat) R 1646 1649 1166 0 -1 4202496 297682 0 0 0 179948 61 0 0 20 0 4 0 104389222 1461260288 298018 33554432000 4194304 16246674 140737371241328 140737371239232 4221783 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1649/statm: 356753 298018 922 2943 0 353647 0 [pid=1649/tid=1651] ppid=1646 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1651/stat : 1651 (toysat) S 1646 1649 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104389222 1461260288 298018 33554432000 4194304 16246674 140737371241328 140223540342000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1649/tid=1652] ppid=1646 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1652/stat : 1652 (toysat) S 1646 1649 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104389222 1461260288 298018 33554432000 4194304 16246674 140737371241328 140223529852144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1649/tid=1653] ppid=1646 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/1649/task/1653/stat : 1653 (toysat) S 1646 1649 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104389222 1461260288 298018 33554432000 4194304 16246674 140737371241328 140223519378608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1427012 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.53 CPU time (s): 1800.12 CPU user time (s): 1799.49 CPU system time (s): 0.626904 CPU usage (%): 99.9773 Max. virtual memory (cumulated for all children) (KiB): 1427012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.49 system time used= 0.626904 maximum resident set size= 1192072 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 297682 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= 235 involuntary context switches= 1844 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.71498 second user time and 9.12161 second system time The end
Begin job on node125 at 2016-06-06 16:49:22 IDJOB=4079464 IDBENCH=1875 IDSOLVER=2542 FILE ID=node125/4079464-1465224561 RUNJOBID= node125-1465224138-1182 PBS_JOBID= 19843237 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079464-1465224561/watcher-4079464-1465224561 -o /tmp/evaluation-result-4079464-1465224561/solver-4079464-1465224561 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079464-1465224561.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a74bcf40291587dc368e3a23fd278be9 RANDOM SEED=370884677 node125.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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.91 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.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.456 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.456 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.456 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.456 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: 29343452 kB Buffers: 13384 kB Cached: 111468 kB SwapCached: 2016 kB Active: 1100684 kB Inactive: 30248 kB Active(anon): 1006696 kB Inactive(anon): 1380 kB Active(file): 93988 kB Inactive(file): 28868 kB Unevictable: 1696552 kB Mlocked: 16384 kB SwapTotal: 67108856 kB SwapFree: 67098492 kB Dirty: 17484 kB Writeback: 0 kB AnonPages: 2703340 kB Mapped: 10384 kB Shmem: 0 kB Slab: 567020 kB SReclaimable: 10964 kB SUnreclaim: 556056 kB KernelStack: 1512 kB PageTables: 9908 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2931024 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1687552 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= 71712 MiB End job on node125 at 2016-06-06 17:19:22