Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.09 | 1800.61 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos12.opb |
| MD5SUM | edd986756231058ab35f21017ebd98b6 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 26624 |
| Best CPU time to get the best result obtained on this benchmark | 1800.71 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 25600 |
| Optimality of the best value was proved | NO |
| Number of variables | 22960 |
| Total number of constraints | 8611 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 8611 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 840 |
| Number of terms in the objective function | 13440 |
| Biggest coefficient in the objective function | 536870912 |
| Number of bits for the biggest coefficient in the objective function | 30 |
| Sum of the numbers in the objective function | 481036336704 |
| Number of bits of the sum of numbers in the objective function | 39 |
| Biggest number in a constraint | 536870912 |
| Number of bits of the biggest number in a constraint | 30 |
| Biggest sum of numbers in a constraint | 481036336704 |
| Number of bits of the biggest sum of numbers | 39 |
| 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-18T09:14:59+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-4103261-1466234099.opb"] 0.00/0.01 c use --random-gen="2437350677 1990606733 3454533196 4011339030 1045681033 2621428867 1240514017 1199291601 343089789 3076400001 1218898652 2672529478 2698789697 2782915618 1723492142 1771474413 2507067820 2819485325 3614612540 3693908104 1918760804 650018753 3243700828 1326588880 3380255540 1332606294 19455041 3372290027 3111405727 1920316416 3997647566 3862783054 171327738 1636026550 2662053397 2716579263 3371476154 273181980 1979259912 2789196795 1082828938 3596028102 4103704936 3435717837 185164176 171783458 3521814605 3344028769 3011556828 999227931 4223806863 2855059640 3622620410 3828373918 2932515110 3635626062 2157501815 478275534 2971862869 1473758095 4192828583 2084368883 579438535 3068709884 1971179343 2844009151 2368854351 1005541033 4137481481 3474939365 2574312536 1501101721 3382144747 1554457064 1656858993 1387910342 3715456507 2136518210 328612915 3088604153 1823421233 1145630248 377297234 66459015 518354674 1399713431 3604494957 1765896370 246755904 3945568560 2499797569 3810400602 4024631556 3501398521 3603458092 1120184064 2276082855 978274493 1147733132 3640445487 1124457562 774551583 1552478239 1681107008 1039117954 3786387092 2018892568 3821244506 2679548202 964542350 281839674 1166850269 1463089396 778802729 3239506250 834119527 1815786767 1694989223 2438587330 455215656 277520909 2199416205 661882377 394345125 213540435 3083633881 3073319812 4146701895 3507049242 2792673283 1490792031 3282069262 523342019 3116159545 3874308278 4229183715 1668196494 237991547 15192192 435094637 747971739 2065591503 1555217461 2135793836 3654323351 2254613143 247785984 1427177087 3578127134 2740875492 2386908193 3236485259 2512212410 2902233441 3179121548 1269849516 4273753806 3975691961 654352105 286168007 4130103647 1705476272 21884779 2011967575 2236867242 2328334055 863020353 1945273684 932532158 2664904277 408766084 1430567182 3235882466 3113757503 3927306630 2586594825 1574970070 204625587 1000832676 1510542233 3390785724 1387795325 2450116514 7106350 1405244243 1813212627 3095192217 939410624 1264290946 1462697209 3419212818 2864700244 34764644 3289017874 2861673442 1909930348 3023506895 231178373 1872053618 1275404523 2385631792 3107227192 1930865373 1857751215 153157819 2626516047 263663522 1990434489 289047566 142205404 3385136657 532409510 3354124101 4065242781 575946277 2151296869 1311751974 1302379424 896085347 813996542 1393323279 706895524 2209503946 3369120179 2050872155 1787562973 3113880045 3257445014 3307753110 1913577518 2777420329 948598117 3769820092 1888686984 807402889 2827305798 2276974589 2400573488 3522685664 2269193150 3988553984 1546047782 1381564677 92442704 3521919956 2974499902 3108076689 4080521368 817247981 2890951168 2446413188 826042859 1801024490 795046995 2419823299 1557322075 255 362436" option to reproduce the execution 0.28/0.52 c #vars 22960 0.28/0.52 c #constraints 8611 5.19/5.27 c BCD2: Hardening is enabled. 5.19/5.27 c BCD2: BiasedSearch is enabled. 5.19/5.27 c Solving starts ... 5.19/5.27 c ============================[ Search Statistics ]============================ 5.19/5.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.19/5.27 c | | | | Limit GC | Var | Constra 5.19/5.27 c ============================================================================= 5.19/5.27 c 0.0s | 0 | 0 | 0 | 10715 0 | 1260 | 0 5.29/5.35 c 0.1s | 1 | 1430 | 100 | 10715 0 | 1260 | 0 6.09/6.15 c 0.9s | 2 | 16835 | 250 | 11787 0 | 1260 | 0 8.09/8.16 c 2.9s | 2 | 51898 | 285 | 12966 0 | 1260 | 0 8.09/8.16 c #cpu_time = 2.848s 8.09/8.16 c #wall_clock_time = 2.856s 8.09/8.16 c #decision = 51898 8.09/8.16 c #random_decision = 166 8.09/8.16 c #conflict = 285 8.09/8.16 c #restart = 2 8.09/8.16 o 481036336704 8.09/8.19 c BCD2: updating upper bound: 481036336704 -> 481036336703 8.19/8.22 c BCD2: 0 <= obj <= 481036336703 8.19/8.22 c BCD2: #cores=0, #unrelaxed=13440, #relaxed=0, #hardened=0 8.19/8.22 c BCD2: #sat=1 #unsat=1 bias=1/2 8.19/8.22 c Solving starts ... 8.19/8.22 c ============================[ Search Statistics ]============================ 8.19/8.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 8.19/8.22 c | | | | Limit GC | Var | Constra 8.19/8.22 c ============================================================================= 8.19/8.22 c 0.0s | 0 | 0 | 0 | 12966 0 | 1260 | 0 8.19/8.26 c 0.0s | 0 | 1879 | 0 | 12966 0 | 1260 | 0 8.19/8.26 c #cpu_time = 0.036s 8.19/8.26 c #wall_clock_time = 0.036s 8.19/8.26 c #decision = 1879 8.19/8.26 c #random_decision = 0 8.19/8.26 c #conflict = 0 8.19/8.26 c #restart = 0 8.19/8.26 c BCD2: found a new core of size 280: cost of the new core is >=1024 8.19/8.26 c lower bound updated to 1024 8.19/8.27 c BCD2: 1024 <= obj <= 481036336703 8.19/8.27 c BCD2: #cores=1, #unrelaxed=13160, #relaxed=280, #hardened=0 8.19/8.27 c BCD2: #sat=1 #unsat=2 bias=2/3 8.19/8.27 c Solving starts ... 8.19/8.27 c ============================[ Search Statistics ]============================ 8.19/8.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 8.19/8.27 c | | | | Limit GC | Var | Constra 8.19/8.27 c ============================================================================= 8.19/8.27 c 0.0s | 0 | 0 | 0 | 12966 0 | 1260 | 0 8.29/8.31 c 0.0s | 0 | 3490 | 0 | 12966 0 | 1260 | 0 8.29/8.31 c #cpu_time = 0.041s 8.29/8.31 c #wall_clock_time = 0.041s 8.29/8.31 c #decision = 3490 8.29/8.31 c #random_decision = 0 8.29/8.31 c #conflict = 0 8.29/8.31 c #restart = 0 8.29/8.31 c BCD2: found a new core of size 400: cost of the new core is >=1024 8.29/8.31 c lower bound updated to 2048 8.29/8.32 c BCD2: 2048 <= obj <= 481036336703 8.29/8.32 c BCD2: #cores=2, #unrelaxed=12760, #relaxed=680, #hardened=0 8.29/8.32 c BCD2: #sat=1 #unsat=3 bias=3/4 8.29/8.32 c Solving starts ... 8.29/8.32 c ============================[ Search Statistics ]============================ 8.29/8.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 8.29/8.32 c | | | | Limit GC | Var | Constra 8.29/8.32 c ============================================================================= 8.29/8.32 c 0.0s | 0 | 0 | 0 | 12966 0 | 1260 | 0 8.29/8.37 c 0.0s | 0 | 4981 | 0 | 12966 0 | 1260 | 0 8.29/8.37 c #cpu_time = 0.045s 8.29/8.37 c #wall_clock_time = 0.045s 8.29/8.37 c #decision = 4981 8.29/8.37 c #random_decision = 0 8.29/8.37 c #conflict = 0 8.29/8.37 c #restart = 0 8.29/8.37 c BCD2: found a new core of size 500: cost of the new core is >=1024 8.29/8.37 c lower bound updated to 3072 8.29/8.38 c BCD2: 3072 <= obj <= 481036336703 8.29/8.38 c BCD2: #cores=3, #unrelaxed=12260, #relaxed=1180, #hardened=0 8.29/8.38 c BCD2: #sat=1 #unsat=4 bias=4/5 8.29/8.39 c Solving starts ... 8.29/8.39 c ============================[ Search Statistics ]============================ 8.29/8.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 8.29/8.39 c | | | | Limit GC | Var | Constra 8.29/8.39 c ============================================================================= 8.29/8.39 c 0.0s | 0 | 0 | 0 | 12966 0 | 1260 | 0 8.39/8.44 c 0.1s | 0 | 6372 | 0 | 12966 0 | 1260 | 0 8.39/8.44 c #cpu_time = 0.052s 8.39/8.44 c #wall_clock_time = 0.052s 8.39/8.44 c #decision = 6372 8.39/8.44 c #random_decision = 0 8.39/8.44 c #conflict = 0 8.39/8.44 c #restart = 0 8.39/8.44 c BCD2: found a new core of size 580: cost of the new core is >=1024 8.39/8.44 c lower bound updated to 4096 8.39/8.45 c BCD2: 4096 <= obj <= 481036336703 8.39/8.45 c BCD2: #cores=4, #unrelaxed=11680, #relaxed=1760, #hardened=0 8.39/8.45 c BCD2: #sat=1 #unsat=5 bias=5/6 8.39/8.46 c Solving starts ... 8.39/8.46 c ============================[ Search Statistics ]============================ 8.39/8.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 8.39/8.46 c | | | | Limit GC | Var | Constra 8.39/8.46 c ============================================================================= 8.39/8.46 c 0.0s | 0 | 0 | 0 | 12966 0 | 1260 | 0 8.49/8.52 c 0.1s | 0 | 7683 | 0 | 12966 0 | 1260 | 0 8.49/8.52 c #cpu_time = 0.051s 8.49/8.52 c #wall_clock_time = 0.051s 8.49/8.52 c #decision = 7683 8.49/8.52 c #random_decision = 0 8.49/8.52 c #conflict = 0 8.49/8.52 c #restart = 0 8.49/8.52 c BCD2: found a new core of size 640: cost of the new core is >=1024 8.49/8.52 c lower bound updated to 5120 8.49/8.53 c BCD2: 5120 <= obj <= 481036336703 8.49/8.53 c BCD2: #cores=5, #unrelaxed=11040, #relaxed=2400, #hardened=0 8.49/8.53 c BCD2: #sat=1 #unsat=6 bias=6/7 8.49/8.54 c Solving starts ... 8.49/8.54 c ============================[ Search Statistics ]============================ 8.49/8.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 8.49/8.54 c | | | | Limit GC | Var | Constra 8.49/8.54 c ============================================================================= 8.49/8.55 c 0.0s | 0 | 0 | 0 | 12966 0 | 1260 | 0 8.58/8.61 c 0.1s | 0 | 8934 | 0 | 12966 0 | 1260 | 0 8.58/8.61 c #cpu_time = 0.053s 8.58/8.61 c #wall_clock_time = 0.053s 8.58/8.61 c #decision = 8934 8.58/8.61 c #random_decision = 0 8.58/8.61 c #conflict = 0 8.58/8.61 c #restart = 0 8.58/8.61 c BCD2: found a new core of size 680: cost of the new core is >=1024 8.58/8.61 c lower bound updated to 6144 8.58/8.62 c BCD2: 6144 <= obj <= 481036336703 8.58/8.62 c BCD2: #cores=6, #unrelaxed=10360, #relaxed=3080, #hardened=0 8.58/8.62 c BCD2: #sat=1 #unsat=7 bias=7/8 8.58/8.63 c Solving starts ... 8.58/8.63 c ============================[ Search Statistics ]============================ 8.58/8.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 8.58/8.63 c | | | | Limit GC | Var | Constra 8.58/8.63 c ============================================================================= 8.58/8.63 c 0.0s | 0 | 0 | 0 | 12966 0 | 1260 | 0 8.58/8.69 c 0.1s | 0 | 8885 | 0 | 12966 0 | 1260 | 0 8.58/8.69 c #cpu_time = 0.051s 8.58/8.69 c #wall_clock_time = 0.051s 8.58/8.69 c #decision = 8885 8.58/8.69 c #random_decision = 0 8.58/8.69 c #conflict = 0 8.58/8.69 c #restart = 0 8.58/8.69 c BCD2: found a new core of size 140: cost of the new core is >=1024 8.58/8.69 c lower bound updated to 7168 8.68/8.70 c BCD2: 7168 <= obj <= 481036336703 8.68/8.70 c BCD2: #cores=7, #unrelaxed=10220, #relaxed=3220, #hardened=0 8.68/8.70 c BCD2: #sat=1 #unsat=8 bias=8/9 8.68/8.71 c Solving starts ... 8.68/8.71 c ============================[ Search Statistics ]============================ 8.68/8.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 8.68/8.71 c | | | | Limit GC | Var | Constra 8.68/8.71 c ============================================================================= 8.68/8.71 c 0.0s | 0 | 0 | 0 | 12966 0 | 1260 | 0 8.68/8.79 c 0.1s | 0 | 9797 | 1 | 12966 0 | 1260 | 0 8.68/8.79 c #cpu_time = 0.066s 8.68/8.79 c #wall_clock_time = 0.066s 8.68/8.79 c #decision = 9797 8.68/8.79 c #random_decision = 0 8.68/8.79 c #conflict = 1 8.68/8.79 c #restart = 0 8.68/8.79 c BCD2: found a new core of size 1960: cost of the new core is >=1024 8.68/8.79 c lower bound updated to 8192 8.78/8.81 c BCD2: 8192 <= obj <= 481036336703 8.78/8.81 c BCD2: #cores=8, #unrelaxed=8260, #relaxed=5180, #hardened=0 8.78/8.81 c BCD2: #sat=1 #unsat=9 bias=9/10 8.78/8.83 c Solving starts ... 8.78/8.83 c ============================[ Search Statistics ]============================ 8.78/8.83 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 8.78/8.83 c | | | | Limit GC | Var | Constra 8.78/8.83 c ============================================================================= 8.78/8.84 c 0.0s | 0 | 0 | 0 | 12966 0 | 1260 | 0 8.78/8.89 c 0.1s | 0 | 8047 | 0 | 12966 0 | 1260 | 0 8.78/8.89 c #cpu_time = 0.048s 8.78/8.89 c #wall_clock_time = 0.048s 8.78/8.89 c #decision = 8047 8.78/8.89 c #random_decision = 0 8.78/8.89 c #conflict = 0 8.78/8.89 c #restart = 0 8.78/8.89 c BCD2: found a new core of size 140: cost of the new core is >=1024 8.78/8.89 c lower bound updated to 9216 8.78/8.90 c BCD2: 9216 <= obj <= 481036336703 8.78/8.90 c BCD2: #cores=9, #unrelaxed=8120, #relaxed=5320, #hardened=0 8.78/8.90 c BCD2: #sat=1 #unsat=10 bias=10/11 8.89/8.93 c Solving starts ... 8.89/8.93 c ============================[ Search Statistics ]============================ 8.89/8.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 8.89/8.93 c | | | | Limit GC | Var | Constra 8.89/8.93 c ============================================================================= 8.89/8.93 c 0.0s | 0 | 0 | 0 | 12966 0 | 1260 | 0 13.18/13.26 c 4.3s | 0 | 8433 | 100 | 12966 0 | 1260 | 0 13.18/13.27 c 4.3s | 1 | 8433 | 100 | 12966 0 | 1260 | 0 15.08/15.12 c 6.2s | 1 | 23710 | 132 | 12966 0 | 1260 | 0 15.08/15.12 c #cpu_time = 6.137s 15.08/15.12 c #wall_clock_time = 6.154s 15.08/15.12 c #decision = 23710 15.08/15.12 c #random_decision = 15 15.08/15.12 c #conflict = 132 15.08/15.12 c #restart = 1 15.08/15.12 o 120832 15.08/15.14 c BCD2: hardening fixes 5824 literals 15.08/15.15 c BCD2: updating upper bound: 481036336703 -> 120831 15.08/15.18 c BCD2: 9216 <= obj <= 120831 15.08/15.18 c BCD2: #cores=9, #unrelaxed=5754, #relaxed=1862, #hardened=5824 15.08/15.18 c BCD2: #sat=2 #unsat=10 bias=10/12 15.08/15.19 c Solving starts ... 15.08/15.19 c ============================[ Search Statistics ]============================ 15.08/15.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 15.08/15.19 c | | | | Limit GC | Var | Constra 15.08/15.19 c ============================================================================= 15.08/15.19 c 0.0s | 0 | 0 | 0 | 12966 0 | 7084 | 0 15.38/15.45 c 0.3s | 1 | 7156 | 100 | 14263 0 | 7084 | 46 19.58/19.66 c 4.5s | 1 | 13077 | 200 | 14263 0 | 7084 | 46 20.99/21.08 c 5.9s | 2 | 13150 | 250 | 14263 0 | 7084 | 46 24.48/24.58 c 9.4s | 2 | 19243 | 350 | 14263 0 | 7084 | 46 27.59/27.63 c 12.4s | 2 | 20813 | 450 | 15690 0 | 7084 | 46 29.28/29.30 c 14.1s | 3 | 20885 | 475 | 15690 0 | 7084 | 46 34.98/35.02 c 19.8s | 3 | 26897 | 575 | 15690 0 | 7084 | 46 41.78/41.87 c 26.7s | 3 | 27130 | 675 | 15690 0 | 7084 | 46 44.78/44.82 c 29.6s | 3 | 27481 | 775 | 15690 0 | 7084 | 46 46.48/46.56 c 31.4s | 4 | 27559 | 813 | 15690 0 | 7084 | 46 49.78/49.85 c 34.7s | 4 | 33847 | 1013 | 17259 0 | 7084 | 46 54.68/54.71 c 39.5s | 4 | 34141 | 1113 | 17259 0 | 7084 | 46 59.78/59.87 c 44.7s | 4 | 34573 | 1213 | 17259 0 | 7084 | 46 64.08/64.18 c 49.0s | 4 | 34801 | 1313 | 17259 0 | 7084 | 46 64.38/64.45 c 49.3s | 5 | 34806 | 1320 | 17259 0 | 7084 | 46 65.68/65.77 c 50.6s | 5 | 42425 | 1511 | 17259 0 | 7084 | 46 65.68/65.77 c #cpu_time = 50.412s 65.68/65.77 c #wall_clock_time = 50.545s 65.68/65.77 c #decision = 42425 65.68/65.77 c #random_decision = 3 65.68/65.77 c #conflict = 1511 65.68/65.77 c #restart = 5 65.68/65.77 o 81920 65.78/65.81 c BCD2: updating upper bound: 120831 -> 81919 65.78/65.86 c BCD2: 9216 <= obj <= 81919 65.78/65.86 c BCD2: #cores=9, #unrelaxed=5754, #relaxed=1862, #hardened=5824 65.78/65.86 c BCD2: #sat=3 #unsat=10 bias=10/13 65.78/65.87 c Solving starts ... 65.78/65.87 c ============================[ Search Statistics ]============================ 65.78/65.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 65.78/65.87 c | | | | Limit GC | Var | Constra 65.78/65.87 c ============================================================================= 65.78/65.88 c 0.0s | 0 | 0 | 0 | 17259 0 | 7084 | 47 70.18/70.26 c 4.4s | 0 | 6231 | 100 | 17259 0 | 7084 | 47 70.18/70.28 c 4.4s | 1 | 6231 | 100 | 17259 0 | 7084 | 47 72.87/72.90 c 7.0s | 1 | 12407 | 200 | 18985 0 | 7084 | 47 72.97/73.04 c 7.2s | 2 | 12791 | 250 | 18985 0 | 7084 | 47 74.98/75.09 c 9.2s | 2 | 19081 | 450 | 18985 0 | 7084 | 47 75.37/75.48 c 9.6s | 3 | 19122 | 475 | 18985 0 | 7084 | 47 81.48/81.54 c 15.7s | 3 | 25123 | 575 | 18985 0 | 7084 | 47 86.98/87.10 c 21.2s | 3 | 27324 | 675 | 18985 0 | 7084 | 47 92.07/92.13 c 26.3s | 3 | 27548 | 775 | 18985 0 | 7084 | 47 94.37/94.44 c 28.6s | 4 | 27671 | 813 | 18985 0 | 7084 | 47 99.47/99.56 c 33.7s | 4 | 33691 | 913 | 18985 0 | 7084 | 47 104.17/104.28 c 38.4s | 4 | 33899 | 1013 | 18985 0 | 7084 | 47 110.18/110.26 c 44.4s | 4 | 34140 | 1113 | 18985 0 | 7084 | 47 115.17/115.26 c 49.4s | 4 | 34310 | 1213 | 18985 0 | 7084 | 47 119.17/119.23 c 53.4s | 4 | 34482 | 1313 | 20884 0 | 7084 | 47 119.37/119.48 c 53.6s | 5 | 34493 | 1320 | 20884 0 | 7084 | 47 124.77/124.82 c 58.9s | 5 | 40462 | 1420 | 20884 0 | 7084 | 47 127.77/127.88 c 62.0s | 5 | 40680 | 1520 | 20884 0 | 7084 | 47 132.27/132.39 c 66.5s | 5 | 40896 | 1620 | 20884 0 | 7084 | 47 137.97/138.03 c 72.1s | 5 | 41094 | 1720 | 20884 0 | 7084 | 47 144.46/144.57 c 78.7s | 5 | 41303 | 1820 | 20884 0 | 7084 | 47 149.36/149.41 c 83.5s | 5 | 41515 | 1920 | 20884 0 | 7084 | 47 153.36/153.47 c 87.6s | 5 | 41720 | 2020 | 20884 0 | 7084 | 47 155.66/155.78 c 89.9s | 6 | 41820 | 2081 | 20884 0 | 7084 | 47 160.36/160.43 c 94.6s | 6 | 47728 | 2181 | 20884 0 | 7084 | 47 166.56/166.63 c 100s | 6 | 47885 | 2281 | 20884 0 | 7084 | 47 170.96/171.09 c 105s | 6 | 48087 | 2381 | 20884 0 | 7084 | 47 173.76/173.84 c 107s | 6 | 48320 | 2481 | 20884 0 | 7084 | 47 178.26/178.35 c 112s | 6 | 48497 | 2581 | 20884 0 | 7084 | 47 181.56/181.66 c 115s | 6 | 48651 | 2681 | 20884 0 | 7084 | 47 184.96/185.09 c 119s | 6 | 48919 | 2781 | 20884 0 | 7084 | 47 187.36/187.43 c 121s | 6 | 49174 | 2881 | 20884 0 | 7084 | 47 189.36/189.49 c 123s | 6 | 49477 | 2981 | 20884 0 | 7084 | 47 193.16/193.26 c 127s | 6 | 49646 | 3081 | 22973 0 | 7084 | 47 196.76/196.82 c 130s | 6 | 49834 | 3181 | 22973 0 | 7084 | 47 198.55/198.65 c 132s | 7 | 49895 | 3223 | 22973 0 | 7084 | 47 201.65/201.72 c 135s | 7 | 55856 | 3323 | 22973 0 | 7084 | 47 203.85/203.92 c 138s | 7 | 56046 | 3423 | 22973 0 | 7084 | 47 205.95/206.00 c 140s | 7 | 56213 | 3523 | 22973 0 | 7084 | 47 208.75/208.81 c 142s | 7 | 56375 | 3623 | 22973 0 | 7084 | 47 213.05/213.10 c 147s | 7 | 56504 | 3723 | 22973 0 | 7084 | 47 219.06/219.18 c 153s | 7 | 56657 | 3823 | 22973 0 | 7084 | 47 224.75/224.83 c 158s | 7 | 56852 | 3923 | 22973 0 | 7084 | 47 228.75/228.86 c 162s | 7 | 57003 | 4023 | 22973 0 | 7084 | 47 233.36/233.44 c 167s | 7 | 57155 | 4123 | 22973 0 | 7084 | 47 238.55/238.63 c 172s | 7 | 57383 | 4223 | 22973 0 | 7084 | 47 244.15/244.29 c 178s | 7 | 57532 | 4323 | 22973 0 | 7084 | 47 248.75/248.85 c 182s | 7 | 57652 | 4423 | 22973 0 | 7084 | 47 253.15/253.21 c 187s | 7 | 57797 | 4523 | 22973 0 | 7084 | 47 256.65/256.77 c 190s | 7 | 57955 | 4623 | 22973 0 | 7084 | 47 260.04/260.15 c 194s | 7 | 58155 | 4723 | 22973 0 | 7084 | 47 263.84/263.92 c 198s | 7 | 58349 | 4823 | 22973 0 | 7084 | 47 267.45/267.56 c 201s | 7 | 58500 | 4923 | 22973 0 | 7084 | 47 267.64/267.73 c 201s | 8 | 58506 | 4936 | 22973 0 | 7084 | 47 270.54/270.60 c 204s | 8 | 64511 | 5036 | 22973 0 | 7084 | 47 276.04/276.10 c 210s | 8 | 64685 | 5136 | 22973 0 | 7084 | 47 280.84/280.92 c 215s | 8 | 64870 | 5236 | 22973 0 | 7084 | 47 285.54/285.67 c 219s | 8 | 65053 | 5336 | 22973 0 | 7084 | 47 289.24/289.31 c 223s | 8 | 65184 | 5436 | 22973 0 | 7084 | 47 292.54/292.64 c 226s | 8 | 65360 | 5536 | 22973 0 | 7084 | 47 297.54/297.61 c 231s | 8 | 65509 | 5636 | 25271 0 | 7084 | 47 299.54/299.64 c 233s | 8 | 65731 | 5736 | 25271 0 | 7084 | 47 303.74/303.82 c 237s | 8 | 65861 | 5836 | 25271 0 | 7084 | 47 307.14/307.28 c 241s | 8 | 66007 | 5936 | 25271 0 | 7084 | 47 310.24/310.37 c 244s | 8 | 66160 | 6036 | 25271 0 | 7084 | 47 312.84/312.93 c 247s | 8 | 66347 | 6136 | 25271 0 | 7084 | 47 315.54/315.60 c 249s | 8 | 66544 | 6236 | 25271 0 | 7084 | 47 319.84/319.96 c 254s | 8 | 66965 | 6436 | 25271 0 | 7084 | 47 323.33/323.43 c 257s | 8 | 67217 | 6536 | 25271 0 | 7084 | 47 327.03/327.12 c 261s | 8 | 67559 | 6636 | 25271 0 | 7084 | 47 327.94/328.07 c 262s | 8 | 71176 | 6689 | 25271 0 | 7084 | 47 327.94/328.07 c #cpu_time = 261.471s 327.94/328.07 c #wall_clock_time = 262.160s 327.94/328.07 c #decision = 71176 327.94/328.07 c #random_decision = 30 327.94/328.07 c #conflict = 6689 327.94/328.07 c #restart = 8 327.94/328.07 o 59392 327.94/328.08 c BCD2: hardening fixes 448 literals 327.94/328.09 c BCD2: updating upper bound: 81919 -> 59391 328.03/328.12 c BCD2: 9216 <= obj <= 59391 328.03/328.12 c BCD2: #cores=9, #unrelaxed=5572, #relaxed=1596, #hardened=6272 328.03/328.12 c BCD2: #sat=4 #unsat=10 bias=10/14 328.03/328.12 c Solving starts ... 328.03/328.12 c ============================[ Search Statistics ]============================ 328.03/328.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 328.03/328.12 c | | | | Limit GC | Var | Constra 328.03/328.12 c ============================================================================= 328.03/328.13 c 0.0s | 0 | 0 | 0 | 25271 0 | 7532 | 48 330.43/330.54 c 2.4s | 0 | 6351 | 100 | 25271 0 | 7532 | 48 330.43/330.56 c 2.4s | 1 | 6351 | 100 | 25271 0 | 7532 | 48 331.33/331.42 c 3.3s | 2 | 12728 | 250 | 25271 0 | 7532 | 48 332.34/332.49 c 4.4s | 3 | 19742 | 475 | 25271 0 | 7532 | 48 337.33/337.43 c 9.3s | 3 | 29360 | 675 | 25271 0 | 7532 | 48 342.03/342.13 c 14.0s | 3 | 29641 | 775 | 25271 0 | 7532 | 48 344.13/344.25 c 16.1s | 4 | 29710 | 813 | 25271 0 | 7532 | 48 349.53/349.66 c 21.5s | 4 | 35688 | 913 | 25271 0 | 7532 | 48 353.73/353.83 c 25.7s | 4 | 36073 | 1013 | 25271 0 | 7532 | 48 357.03/357.13 c 29.0s | 4 | 36272 | 1113 | 25271 0 | 7532 | 48 363.04/363.11 c 35.0s | 4 | 36417 | 1213 | 25271 0 | 7532 | 48 368.03/368.11 c 40.0s | 4 | 36629 | 1313 | 25271 0 | 7532 | 48 368.43/368.50 c 40.4s | 5 | 36637 | 1320 | 25271 0 | 7532 | 48 375.53/375.67 c 47.5s | 5 | 42466 | 1420 | 25271 0 | 7532 | 48 380.23/380.38 c 52.2s | 5 | 42674 | 1520 | 25271 0 | 7532 | 48 384.83/384.92 c 56.8s | 5 | 43123 | 1720 | 25271 0 | 7532 | 48 388.23/388.32 c 60.2s | 5 | 43383 | 1820 | 25271 0 | 7532 | 48 391.82/391.93 c 63.8s | 5 | 43588 | 1920 | 25271 0 | 7532 | 48 396.13/396.27 c 68.1s | 5 | 43756 | 2020 | 25271 0 | 7532 | 48 399.62/399.71 c 71.6s | 6 | 43841 | 2081 | 25271 0 | 7532 | 48 405.33/405.45 c 77.3s | 6 | 49837 | 2181 | 25271 0 | 7532 | 48 410.93/411.04 c 82.9s | 6 | 50005 | 2281 | 25271 0 | 7532 | 48 416.63/416.74 c 88.6s | 6 | 50204 | 2381 | 25271 0 | 7532 | 48 422.33/422.48 c 94.4s | 6 | 50353 | 2481 | 25271 0 | 7532 | 48 427.52/427.69 c 99.6s | 6 | 50754 | 2581 | 25271 0 | 7532 | 48 433.12/433.26 c 105s | 6 | 50951 | 2681 | 25271 0 | 7532 | 48 437.02/437.17 c 109s | 6 | 51213 | 2781 | 27799 0 | 7532 | 48 440.92/441.03 c 112s | 6 | 51407 | 2881 | 27799 0 | 7532 | 48 445.63/445.79 c 117s | 6 | 51584 | 2981 | 27799 0 | 7532 | 48 450.82/450.99 c 122s | 6 | 51754 | 3081 | 27799 0 | 7532 | 48 455.72/455.86 c 127s | 6 | 51978 | 3181 | 27799 0 | 7532 | 48 458.91/459.09 c 130s | 7 | 52032 | 3223 | 27799 0 | 7532 | 48 464.11/464.25 c 136s | 7 | 57978 | 3323 | 27799 0 | 7532 | 48 469.41/469.54 c 141s | 7 | 58197 | 3423 | 27799 0 | 7532 | 48 473.71/473.87 c 145s | 7 | 58389 | 3523 | 27799 0 | 7532 | 48 478.91/479.07 c 150s | 7 | 58513 | 3623 | 27799 0 | 7532 | 48 481.71/481.89 c 153s | 7 | 58695 | 3723 | 27799 0 | 7532 | 48 486.91/487.08 c 158s | 7 | 58841 | 3823 | 27799 0 | 7532 | 48 491.71/491.86 c 163s | 7 | 58964 | 3923 | 27799 0 | 7532 | 48 496.71/496.87 c 168s | 7 | 59286 | 4023 | 27799 0 | 7532 | 48 501.20/501.36 c 173s | 7 | 59498 | 4123 | 27799 0 | 7532 | 48 507.11/507.23 c 179s | 7 | 59746 | 4223 | 27799 0 | 7532 | 48 513.60/513.77 c 185s | 7 | 59908 | 4323 | 27799 0 | 7532 | 48 519.70/519.88 c 191s | 7 | 60022 | 4423 | 27799 0 | 7532 | 48 525.40/525.55 c 197s | 7 | 60151 | 4523 | 27799 0 | 7532 | 48 530.89/531.05 c 202s | 7 | 60375 | 4623 | 27799 0 | 7532 | 48 535.49/535.65 c 207s | 7 | 60698 | 4723 | 27799 0 | 7532 | 48 538.39/538.51 c 210s | 7 | 60882 | 4823 | 27799 0 | 7532 | 48 542.19/542.33 c 214s | 7 | 61110 | 4923 | 27799 0 | 7532 | 48 542.49/542.64 c 214s | 8 | 61131 | 4936 | 27799 0 | 7532 | 48 545.19/545.34 c 217s | 8 | 66971 | 5036 | 27799 0 | 7532 | 48 547.98/548.12 c 219s | 8 | 69368 | 5084 | 27799 0 | 7532 | 48 547.98/548.12 c #cpu_time = 219.354s 547.98/548.12 c #wall_clock_time = 219.958s 547.98/548.12 c #decision = 69368 547.98/548.12 c #random_decision = 30 547.98/548.12 c #conflict = 5084 547.98/548.12 c #restart = 8 547.98/548.12 o 34816 547.98/548.14 c BCD2: hardening fixes 448 literals 547.98/548.14 c BCD2: updating upper bound: 59391 -> 34815 547.98/548.17 c BCD2: 9216 <= obj <= 34815 547.98/548.17 c BCD2: #cores=9, #unrelaxed=5390, #relaxed=1330, #hardened=6720 547.98/548.17 c BCD2: #sat=5 #unsat=10 bias=10/15 547.98/548.18 c Solving starts ... 547.98/548.18 c ============================[ Search Statistics ]============================ 547.98/548.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 547.98/548.18 c | | | | Limit GC | Var | Constra 547.98/548.18 c ============================================================================= 547.98/548.18 c 0.0s | 0 | 0 | 0 | 27799 0 | 7980 | 49 552.58/552.79 c 4.6s | 0 | 5554 | 100 | 27799 0 | 7980 | 49 552.68/552.81 c 4.6s | 1 | 5554 | 100 | 27799 0 | 7980 | 49 558.48/558.63 c 10.4s | 1 | 11099 | 200 | 27799 0 | 7980 | 49 560.18/560.37 c 12.2s | 2 | 11203 | 250 | 27799 0 | 7980 | 49 563.08/563.23 c 15.0s | 2 | 16827 | 350 | 27799 0 | 7980 | 49 567.68/567.85 c 19.7s | 2 | 17079 | 450 | 27799 0 | 7980 | 49 568.57/568.77 c 20.6s | 3 | 17137 | 475 | 27799 0 | 7980 | 49 573.97/574.19 c 26.0s | 3 | 22936 | 575 | 27799 0 | 7980 | 49 578.57/578.73 c 30.5s | 3 | 23279 | 675 | 27799 0 | 7980 | 49 583.36/583.58 c 35.4s | 3 | 23465 | 775 | 27799 0 | 7980 | 49 584.96/585.19 c 37.0s | 4 | 23540 | 813 | 27799 0 | 7980 | 49 588.76/588.99 c 40.8s | 4 | 29293 | 913 | 27799 0 | 7980 | 49 591.56/591.73 c 43.5s | 4 | 29639 | 1013 | 27799 0 | 7980 | 49 596.36/596.57 c 48.4s | 4 | 29841 | 1113 | 27799 0 | 7980 | 49 599.95/600.19 c 52.0s | 4 | 30113 | 1213 | 27799 0 | 7980 | 49 604.85/605.02 c 56.8s | 4 | 30365 | 1313 | 27799 0 | 7980 | 49 604.96/605.19 c 57.0s | 5 | 30371 | 1320 | 27799 0 | 7980 | 49 609.55/609.75 c 61.6s | 5 | 35952 | 1420 | 27799 0 | 7980 | 49 613.35/613.57 c 65.4s | 5 | 36149 | 1520 | 27799 0 | 7980 | 49 618.15/618.33 c 70.1s | 5 | 36341 | 1620 | 27799 0 | 7980 | 49 622.05/622.23 c 74.0s | 5 | 36499 | 1720 | 27799 0 | 7980 | 49 626.14/626.33 c 78.1s | 5 | 36679 | 1820 | 27799 0 | 7980 | 49 632.34/632.53 c 84.3s | 5 | 36902 | 1920 | 27799 0 | 7980 | 49 636.84/637.01 c 88.8s | 5 | 37073 | 2020 | 27799 0 | 7980 | 49 640.03/640.29 c 92.1s | 6 | 37172 | 2081 | 27799 0 | 7980 | 49 644.93/645.10 c 96.9s | 6 | 42885 | 2181 | 27799 0 | 7980 | 49 650.03/650.26 c 102s | 6 | 43082 | 2281 | 27799 0 | 7980 | 49 655.13/655.39 c 107s | 6 | 43302 | 2381 | 27799 0 | 7980 | 49 660.62/660.88 c 112s | 6 | 43469 | 2481 | 27799 0 | 7980 | 49 665.72/665.93 c 117s | 6 | 43663 | 2581 | 27799 0 | 7980 | 49 668.61/668.82 c 120s | 6 | 43858 | 2681 | 27799 0 | 7980 | 49 673.61/673.87 c 125s | 6 | 44077 | 2781 | 27799 0 | 7980 | 49 678.91/679.15 c 130s | 6 | 44269 | 2881 | 27799 0 | 7980 | 49 684.21/684.43 c 136s | 6 | 44522 | 2981 | 27799 0 | 7980 | 49 689.61/689.85 c 141s | 6 | 44687 | 3081 | 27799 0 | 7980 | 49 692.20/692.40 c 144s | 6 | 44886 | 3181 | 27799 0 | 7980 | 49 694.40/694.60 c 146s | 7 | 44945 | 3223 | 27799 0 | 7980 | 49 697.69/697.93 c 149s | 7 | 50574 | 3323 | 27799 0 | 7980 | 49 700.70/700.94 c 152s | 7 | 50931 | 3423 | 30579 0 | 7980 | 49 706.39/706.68 c 158s | 7 | 51077 | 3523 | 30579 0 | 7980 | 49 712.29/712.51 c 164s | 7 | 51215 | 3623 | 30579 0 | 7980 | 49 716.98/717.22 c 169s | 7 | 51395 | 3723 | 30579 0 | 7980 | 49 721.38/721.62 c 173s | 7 | 51561 | 3823 | 30579 0 | 7980 | 49 725.28/725.53 c 177s | 7 | 51755 | 3923 | 30579 0 | 7980 | 49 730.78/731.06 c 182s | 7 | 51890 | 4023 | 30579 0 | 7980 | 49 735.68/735.94 c 187s | 7 | 52053 | 4123 | 30579 0 | 7980 | 49 739.78/740.08 c 191s | 7 | 52312 | 4223 | 30579 0 | 7980 | 49 743.58/743.89 c 195s | 7 | 52474 | 4315 | 30579 0 | 7980 | 49 743.58/743.89 c #cpu_time = 195.109s 743.58/743.89 c #wall_clock_time = 195.704s 743.58/743.89 c #decision = 52474 743.58/743.89 c #random_decision = 14 743.58/743.89 c #conflict = 4315 743.58/743.89 c #restart = 7 743.68/743.90 c BCD2: relaxing 860 and merging with 7 cores into a new core of size 5540: cost of the new core is >=8192 743.68/743.90 c BCD2: refineLB: 7169 -> 8192 743.68/743.90 c lower bound updated to 10240 743.68/743.92 c BCD2: 10240 <= obj <= 34815 743.68/743.92 c BCD2: #cores=3, #unrelaxed=4530, #relaxed=2190, #hardened=6720 743.68/743.92 c BCD2: #sat=5 #unsat=11 bias=11/16 743.68/743.93 c Solving starts ... 743.68/743.93 c ============================[ Search Statistics ]============================ 743.68/743.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 743.68/743.93 c | | | | Limit GC | Var | Constra 743.68/743.93 c ============================================================================= 743.68/743.93 c 0.0s | 0 | 0 | 0 | 30579 0 | 8039 | 49 749.77/750.06 c 6.1s | 0 | 5339 | 100 | 30579 0 | 8039 | 123 749.77/750.09 c 6.2s | 1 | 5339 | 100 | 30579 0 | 8039 | 123 755.87/756.18 c 12.2s | 1 | 10113 | 200 | 30579 0 | 8039 | 123 758.37/758.69 c 14.8s | 2 | 10277 | 250 | 30579 0 | 8039 | 123 765.48/765.71 c 21.8s | 2 | 15022 | 350 | 30579 0 | 8039 | 123 772.26/772.54 c 28.6s | 2 | 15281 | 450 | 30579 0 | 8039 | 123 773.76/774.01 c 30.1s | 3 | 15304 | 475 | 30579 0 | 8039 | 123 781.46/781.77 c 37.8s | 3 | 20020 | 575 | 30579 0 | 8039 | 123 787.86/788.19 c 44.3s | 3 | 20193 | 675 | 30579 0 | 8039 | 123 794.55/794.85 c 50.9s | 3 | 20366 | 775 | 30579 0 | 8039 | 123 796.95/797.24 c 53.3s | 4 | 20442 | 813 | 30579 0 | 8039 | 123 801.86/802.19 c 58.3s | 4 | 25139 | 913 | 30579 0 | 8039 | 123 808.45/808.77 c 64.8s | 4 | 25315 | 1013 | 30579 0 | 8039 | 123 809.64/809.90 c 66.0s | 5 | 26144 | 1320 | 30579 0 | 8039 | 123 811.75/812.03 c 68.1s | 5 | 32845 | 1620 | 30579 0 | 8039 | 123 813.95/814.22 c 70.3s | 5 | 34188 | 1920 | 30579 0 | 8039 | 123 815.14/815.43 c 71.5s | 6 | 34709 | 2081 | 30579 0 | 8039 | 123 817.74/818.08 c 74.2s | 6 | 40452 | 2481 | 30579 0 | 8039 | 123 820.64/820.97 c 77.0s | 6 | 43245 | 2781 | 30579 0 | 8039 | 123 822.74/823.00 c 79.1s | 6 | 44692 | 3081 | 30579 0 | 8039 | 123 823.54/823.87 c 79.9s | 7 | 45084 | 3223 | 30579 0 | 8039 | 123 825.64/825.90 c 82.0s | 7 | 51039 | 3523 | 30579 0 | 8039 | 123 828.24/828.56 c 84.6s | 7 | 52844 | 3823 | 30579 0 | 8039 | 123 830.53/830.80 c 86.9s | 7 | 54992 | 4123 | 30579 0 | 8039 | 123 832.93/833.20 c 89.3s | 7 | 56084 | 4423 | 30579 0 | 8039 | 123 834.93/835.24 c 91.3s | 7 | 57196 | 4723 | 30579 0 | 8039 | 123 836.43/836.73 c 92.8s | 8 | 58076 | 4936 | 30579 0 | 8039 | 123 838.52/838.82 c 94.9s | 8 | 64392 | 5336 | 30579 0 | 8039 | 123 841.02/841.38 c 97.4s | 8 | 66891 | 5736 | 30579 0 | 8039 | 123 843.53/843.81 c 99.9s | 8 | 68647 | 6136 | 30579 0 | 8039 | 123 845.52/845.86 c 101s | 8 | 70608 | 6436 | 30579 0 | 8039 | 123 848.03/848.39 c 104s | 8 | 72448 | 6836 | 30579 0 | 8039 | 123 850.52/850.85 c 106s | 8 | 74524 | 7236 | 30579 0 | 8039 | 123 852.52/852.81 c 108s | 9 | 75759 | 7506 | 30579 0 | 8039 | 123 855.22/855.50 c 111s | 9 | 81830 | 7906 | 33637 0 | 8039 | 123 857.32/857.63 c 113s | 9 | 83357 | 8206 | 33637 0 | 8039 | 123 859.61/859.94 c 116s | 9 | 84505 | 8506 | 33637 0 | 8039 | 123 862.01/862.37 c 118s | 9 | 86164 | 8806 | 33637 0 | 8039 | 123 864.31/864.66 c 120s | 9 | 88045 | 9106 | 33637 0 | 8039 | 123 866.41/866.71 c 122s | 9 | 89568 | 9406 | 33637 0 | 8039 | 123 868.71/869.08 c 125s | 9 | 91943 | 9806 | 33637 0 | 8039 | 123 871.21/871.51 c 127s | 9 | 94133 | 10206 | 33637 0 | 8039 | 123 873.51/873.84 c 129s | 9 | 96197 | 10506 | 33637 0 | 8039 | 123 875.71/876.01 c 132s | 9 | 97716 | 10706 | 33637 0 | 8039 | 123 878.01/878.37 c 134s | 9 | 99461 | 11006 | 33637 0 | 8039 | 123 880.71/881.09 c 137s | 9 | 100891 | 11306 | 33637 0 | 8039 | 123 881.31/881.66 c 137s | 10 | 101100 | 11361 | 33637 0 | 8039 | 123 883.81/884.13 c 140s | 10 | 106492 | 11661 | 33637 0 | 8039 | 123 886.21/886.52 c 142s | 10 | 108252 | 11961 | 33637 0 | 8039 | 123 888.30/888.63 c 144s | 10 | 109699 | 12261 | 33637 0 | 8039 | 123 890.30/890.70 c 146s | 10 | 110949 | 12561 | 33637 0 | 8039 | 123 892.90/893.24 c 149s | 10 | 112597 | 12861 | 33637 0 | 8039 | 123 895.31/895.62 c 151s | 10 | 114731 | 13161 | 33637 0 | 8039 | 123 897.79/898.14 c 154s | 10 | 116706 | 13461 | 33637 0 | 8039 | 123 900.09/900.49 c 156s | 10 | 118688 | 13861 | 33637 0 | 8039 | 123 902.79/903.14 c 159s | 10 | 120588 | 14261 | 33637 0 | 8039 | 123 904.99/905.33 c 161s | 10 | 122572 | 14561 | 33637 0 | 8039 | 123 907.19/907.50 c 163s | 10 | 124356 | 14961 | 33637 0 | 8039 | 123 909.89/910.22 c 166s | 10 | 126119 | 15361 | 33637 0 | 8039 | 123 912.29/912.67 c 168s | 10 | 128780 | 15661 | 33637 0 | 8039 | 123 915.10/915.45 c 171s | 10 | 130825 | 16061 | 33637 0 | 8039 | 123 917.30/917.69 c 173s | 10 | 133438 | 16361 | 33637 0 | 8039 | 123 919.39/919.78 c 175s | 10 | 134897 | 16661 | 33637 0 | 8039 | 123 922.08/922.46 c 178s | 10 | 137103 | 17061 | 33637 0 | 8039 | 123 922.79/923.15 c 179s | 11 | 137651 | 17144 | 33637 0 | 8039 | 123 925.28/925.63 c 181s | 11 | 143375 | 17544 | 33637 0 | 8039 | 123 927.68/928.05 c 184s | 11 | 144803 | 17844 | 33637 0 | 8039 | 123 930.39/930.78 c 186s | 11 | 146610 | 18144 | 33637 0 | 8039 | 123 932.98/933.30 c 189s | 11 | 148207 | 18544 | 33637 0 | 8039 | 123 935.08/935.41 c 191s | 11 | 149188 | 18844 | 33637 0 | 8039 | 123 937.57/937.94 c 194s | 11 | 150547 | 19144 | 33637 0 | 8039 | 123 939.87/940.24 c 196s | 11 | 151303 | 19444 | 33637 0 | 8039 | 123 942.48/942.85 c 198s | 11 | 152260 | 19744 | 33637 0 | 8039 | 123 944.87/945.20 c 201s | 11 | 154084 | 20044 | 33637 0 | 8039 | 123 947.27/947.65 c 203s | 11 | 155261 | 20344 | 33637 0 | 8039 | 123 949.77/950.13 c 206s | 11 | 156651 | 20644 | 37001 0 | 8039 | 123 952.17/952.56 c 208s | 11 | 157849 | 20944 | 37001 0 | 8039 | 123 954.67/955.05 c 211s | 11 | 159288 | 21244 | 37001 0 | 8039 | 123 956.87/957.26 c 213s | 11 | 161464 | 21544 | 37001 0 | 8039 | 123 959.46/959.81 c 215s | 11 | 163391 | 21844 | 37001 0 | 8039 | 123 961.46/961.82 c 217s | 11 | 164901 | 22144 | 37001 0 | 8039 | 123 964.57/964.92 c 220s | 11 | 166918 | 22544 | 37001 0 | 8039 | 123 966.67/967.10 c 223s | 11 | 168180 | 22844 | 37001 0 | 8039 | 123 969.06/969.40 c 225s | 11 | 169595 | 23144 | 37001 0 | 8039 | 123 971.36/971.71 c 227s | 11 | 170732 | 23444 | 37001 0 | 8039 | 123 974.15/974.53 c 230s | 11 | 172848 | 23844 | 37001 0 | 8039 | 123 976.25/976.62 c 232s | 11 | 173665 | 24044 | 37001 0 | 8039 | 123 978.86/979.24 c 235s | 11 | 175555 | 24344 | 37001 0 | 8039 | 123 981.06/981.47 c 237s | 11 | 176822 | 24644 | 37001 0 | 8039 | 123 983.75/984.13 c 240s | 11 | 178643 | 25044 | 37001 0 | 8039 | 123 985.75/986.17 c 242s | 11 | 179609 | 25344 | 37001 0 | 8039 | 123 988.14/988.56 c 244s | 11 | 181047 | 25644 | 37001 0 | 8039 | 123 989.75/990.12 c 246s | 12 | 181421 | 25819 | 37001 0 | 8039 | 123 991.84/992.20 c 248s | 12 | 188228 | 26219 | 37001 0 | 8039 | 123 993.94/994.39 c 250s | 12 | 190268 | 26619 | 37001 0 | 8039 | 123 996.04/996.48 c 252s | 12 | 192027 | 27019 | 37001 0 | 8039 | 123 998.13/998.52 c 254s | 12 | 194112 | 27319 | 37001 0 | 8039 | 123 1000.43/1000.80 c 256s | 12 | 195468 | 27619 | 37001 0 | 8039 | 123 1002.94/1003.33 c 259s | 12 | 197239 | 27919 | 37001 0 | 8039 | 123 1005.14/1005.51 c 261s | 12 | 198864 | 28219 | 37001 0 | 8039 | 123 1007.44/1007.89 c 263s | 12 | 200129 | 28519 | 37001 0 | 8039 | 123 1009.93/1010.33 c 266s | 12 | 201899 | 28819 | 37001 0 | 8039 | 123 1012.53/1012.98 c 269s | 12 | 203623 | 29119 | 37001 0 | 8039 | 123 1014.73/1015.16 c 271s | 12 | 205628 | 29419 | 37001 0 | 8039 | 123 1016.93/1017.37 c 273s | 12 | 207402 | 29719 | 37001 0 | 8039 | 123 1019.43/1019.88 c 275s | 12 | 208748 | 30019 | 37001 0 | 8039 | 123 1021.82/1022.20 c 278s | 12 | 209950 | 30319 | 37001 0 | 8039 | 123 1024.32/1024.70 c 280s | 12 | 211222 | 30619 | 37001 0 | 8039 | 123 1026.62/1027.02 c 283s | 12 | 212877 | 30919 | 37001 0 | 8039 | 123 1028.92/1029.31 c 285s | 12 | 214575 | 31219 | 37001 0 | 8039 | 123 1031.32/1031.79 c 287s | 12 | 216344 | 31519 | 37001 0 | 8039 | 123 1033.42/1033.83 c 289s | 12 | 217972 | 31819 | 37001 0 | 8039 | 123 1035.52/1035.92 c 291s | 12 | 219566 | 32119 | 37001 0 | 8039 | 123 1038.02/1038.45 c 294s | 12 | 221126 | 32519 | 37001 0 | 8039 | 123 1040.02/1040.48 c 296s | 12 | 222837 | 32819 | 37001 0 | 8039 | 123 1042.22/1042.62 c 298s | 12 | 225105 | 33119 | 37001 0 | 8039 | 123 1044.22/1044.63 c 300s | 12 | 226245 | 33419 | 37001 0 | 8039 | 123 1046.62/1047.07 c 303s | 12 | 227937 | 33719 | 37001 0 | 8039 | 123 1048.81/1049.29 c 305s | 12 | 228783 | 34019 | 37001 0 | 8039 | 123 1051.01/1051.47 c 307s | 12 | 230240 | 34319 | 37001 0 | 8039 | 123 1053.81/1054.26 c 310s | 12 | 231394 | 34619 | 37001 0 | 8039 | 123 1056.41/1056.85 c 312s | 12 | 232630 | 34919 | 37001 0 | 8039 | 123 1059.30/1059.77 c 315s | 12 | 235583 | 35319 | 37001 0 | 8039 | 123 1062.00/1062.44 c 318s | 12 | 237223 | 35619 | 37001 0 | 8039 | 123 1064.10/1064.52 c 320s | 12 | 239267 | 35919 | 37001 0 | 8039 | 123 1066.30/1066.72 c 322s | 12 | 241100 | 36319 | 37001 0 | 8039 | 123 1069.00/1069.47 c 325s | 12 | 242747 | 36619 | 37001 0 | 8039 | 123 1071.30/1071.76 c 327s | 12 | 244517 | 37019 | 37001 0 | 8039 | 123 1073.30/1073.79 c 329s | 12 | 246741 | 37319 | 37001 0 | 8039 | 123 1075.70/1076.14 c 332s | 12 | 248219 | 37619 | 37001 0 | 8039 | 123 1078.09/1078.50 c 334s | 12 | 250527 | 38019 | 37001 0 | 8039 | 123 1080.09/1080.52 c 336s | 12 | 251447 | 38319 | 37001 0 | 8039 | 123 1082.29/1082.78 c 338s | 12 | 253346 | 38619 | 37001 0 | 8039 | 123 1083.79/1084.26 c 340s | 13 | 254479 | 38832 | 37001 0 | 8039 | 123 1085.79/1086.27 c 342s | 13 | 259326 | 38932 | 37001 1 | 8039 | 123 1089.48/1089.95 c 346s | 13 | 260762 | 39232 | 37001 1 | 8039 | 123 1091.88/1092.40 c 348s | 13 | 262048 | 39532 | 37001 1 | 8039 | 123 1094.38/1094.89 c 350s | 13 | 263222 | 39832 | 37001 1 | 8039 | 123 1096.68/1097.18 c 353s | 13 | 264821 | 40132 | 40702 1 | 8039 | 123 1099.28/1099.70 c 355s | 13 | 266135 | 40432 | 40702 1 | 8039 | 123 1101.28/1101.72 c 357s | 13 | 267951 | 40732 | 40702 1 | 8039 | 123 1103.68/1104.10 c 360s | 13 | 269971 | 41032 | 40702 1 | 8039 | 123 1106.08/1106.57 c 362s | 13 | 271580 | 41332 | 40702 1 | 8039 | 123 1108.28/1108.77 c 364s | 13 | 272830 | 41632 | 40702 1 | 8039 | 123 1110.78/1111.23 c 367s | 13 | 274582 | 41932 | 40702 1 | 8039 | 123 1112.88/1113.32 c 369s | 13 | 275934 | 42232 | 40702 1 | 8039 | 123 1115.08/1115.59 c 371s | 13 | 277233 | 42532 | 40702 1 | 8039 | 123 1117.77/1118.29 c 374s | 13 | 279126 | 42932 | 40702 1 | 8039 | 123 1120.27/1120.79 c 376s | 13 | 280984 | 43332 | 40702 1 | 8039 | 123 1122.88/1123.33 c 379s | 13 | 282238 | 43732 | 40702 1 | 8039 | 123 1125.77/1126.22 c 382s | 13 | 284016 | 44132 | 40702 1 | 8039 | 123 1128.28/1128.72 c 384s | 13 | 285530 | 44432 | 40702 1 | 8039 | 123 1130.58/1131.06 c 387s | 13 | 286863 | 44632 | 40702 1 | 8039 | 123 1132.57/1133.09 c 389s | 13 | 287952 | 44932 | 40702 1 | 8039 | 123 1134.67/1135.18 c 391s | 13 | 289308 | 45332 | 40702 1 | 8039 | 123 1136.97/1137.48 c 393s | 13 | 290874 | 45632 | 40702 1 | 8039 | 123 1139.28/1139.74 c 395s | 13 | 292015 | 45932 | 40702 1 | 8039 | 123 1142.17/1142.66 c 398s | 13 | 294168 | 46332 | 40702 1 | 8039 | 123 1144.78/1145.22 c 401s | 13 | 295578 | 46632 | 40702 1 | 8039 | 123 1147.17/1147.61 c 403s | 13 | 296894 | 47032 | 40702 1 | 8039 | 123 1149.47/1149.96 c 406s | 13 | 298650 | 47432 | 40702 1 | 8039 | 123 1151.57/1152.08 c 408s | 13 | 299573 | 47732 | 40702 1 | 8039 | 123 1154.17/1154.70 c 410s | 13 | 301139 | 48032 | 40702 1 | 8039 | 123 1156.37/1156.86 c 412s | 13 | 302228 | 48332 | 40702 1 | 8039 | 123 1159.07/1159.56 c 415s | 13 | 304494 | 48732 | 40702 1 | 8039 | 123 1161.27/1161.79 c 417s | 13 | 305249 | 49032 | 40702 1 | 8039 | 123 1163.67/1164.16 c 420s | 13 | 306787 | 49332 | 40702 1 | 8039 | 123 1165.67/1166.16 c 422s | 13 | 308115 | 49632 | 40702 1 | 8039 | 123 1168.07/1168.54 c 424s | 13 | 309672 | 49932 | 40702 1 | 8039 | 123 1170.67/1171.15 c 427s | 13 | 311223 | 50332 | 40702 1 | 8039 | 123 1172.86/1173.31 c 429s | 13 | 312415 | 50632 | 40702 1 | 8039 | 123 1175.06/1175.52 c 431s | 13 | 313422 | 50932 | 40702 1 | 8039 | 123 1177.66/1178.13 c 434s | 13 | 315202 | 51332 | 40702 1 | 8039 | 123 1180.07/1180.51 c 436s | 13 | 316617 | 51632 | 40702 1 | 8039 | 123 1182.17/1182.61 c 438s | 13 | 317838 | 52032 | 40702 1 | 8039 | 123 1184.66/1185.14 c 441s | 13 | 319367 | 52432 | 40702 1 | 8039 | 123 1187.46/1187.94 c 444s | 13 | 320840 | 52832 | 40702 1 | 8039 | 123 1190.06/1190.56 c 446s | 13 | 322127 | 53132 | 40702 1 | 8039 | 123 1192.56/1193.01 c 449s | 13 | 323504 | 53432 | 40702 1 | 8039 | 123 1195.16/1195.62 c 451s | 13 | 324937 | 53732 | 40702 1 | 8039 | 123 1197.67/1198.15 c 454s | 13 | 326293 | 54032 | 40702 1 | 8039 | 123 1199.87/1200.39 c 456s | 13 | 327657 | 54332 | 40702 1 | 8039 | 123 1201.86/1202.40 c 458s | 13 | 328253 | 54532 | 40702 1 | 8039 | 123 1204.46/1204.97 c 461s | 13 | 330058 | 54832 | 40702 1 | 8039 | 123 1206.66/1207.10 c 463s | 13 | 331549 | 55132 | 40702 1 | 8039 | 123 1208.76/1209.26 c 465s | 13 | 333154 | 55432 | 40702 1 | 8039 | 123 1211.56/1212.06 c 468s | 13 | 334557 | 55832 | 40702 1 | 8039 | 123 1213.66/1214.12 c 470s | 13 | 336099 | 56132 | 40702 1 | 8039 | 123 1216.07/1216.59 c 472s | 13 | 337462 | 56432 | 40702 1 | 8039 | 123 1218.97/1219.40 c 475s | 13 | 339415 | 56732 | 40702 1 | 8039 | 123 1221.77/1222.30 c 478s | 13 | 340326 | 57032 | 40702 1 | 8039 | 123 1224.07/1224.55 c 480s | 13 | 342316 | 57232 | 40702 1 | 8039 | 123 1226.17/1226.65 c 482s | 13 | 343070 | 57432 | 40702 1 | 8039 | 123 1228.86/1229.32 c 485s | 13 | 344821 | 57732 | 40702 1 | 8039 | 123 1230.96/1231.45 c 487s | 13 | 345725 | 57932 | 40702 1 | 8039 | 123 1233.56/1234.04 c 490s | 13 | 346836 | 58232 | 40702 1 | 8039 | 123 1234.56/1235.01 c 491s | 14 | 347443 | 58352 | 40702 1 | 8039 | 123 1237.46/1237.98 c 494s | 14 | 353164 | 58652 | 40702 1 | 8039 | 123 1240.16/1240.69 c 496s | 14 | 354995 | 58952 | 40702 1 | 8039 | 123 1243.06/1243.51 c 499s | 14 | 356230 | 59252 | 40702 1 | 8039 | 123 1245.06/1245.51 c 501s | 14 | 357475 | 59452 | 40702 1 | 8039 | 123 1247.07/1247.59 c 503s | 14 | 358708 | 59752 | 40702 1 | 8039 | 123 1249.66/1250.12 c 506s | 14 | 359974 | 60052 | 40702 1 | 8039 | 123 1252.06/1252.50 c 508s | 14 | 361227 | 60352 | 40702 1 | 8039 | 123 1254.16/1254.65 c 510s | 14 | 362438 | 60552 | 40702 1 | 8039 | 123 1256.66/1257.18 c 513s | 14 | 363858 | 60852 | 40702 1 | 8039 | 123 1259.27/1259.75 c 515s | 14 | 365331 | 61252 | 40702 1 | 8039 | 123 1262.06/1262.56 c 518s | 14 | 366510 | 61652 | 40702 1 | 8039 | 123 1264.86/1265.30 c 521s | 14 | 367735 | 62052 | 40702 1 | 8039 | 123 1266.96/1267.43 c 523s | 14 | 368671 | 62352 | 40702 1 | 8039 | 123 1269.16/1269.67 c 525s | 14 | 370050 | 62652 | 40702 1 | 8039 | 123 1271.56/1272.09 c 528s | 14 | 371521 | 62952 | 40702 1 | 8039 | 123 1273.96/1274.40 c 530s | 14 | 372735 | 63252 | 40702 1 | 8039 | 123 1276.46/1276.91 c 532s | 14 | 374824 | 63652 | 40702 1 | 8039 | 123 1278.56/1279.01 c 535s | 14 | 376474 | 63952 | 40702 1 | 8039 | 123 1280.86/1281.32 c 537s | 14 | 378451 | 64352 | 40702 1 | 8039 | 123 1283.25/1283.78 c 539s | 14 | 379956 | 64652 | 40702 1 | 8039 | 123 1285.25/1285.78 c 541s | 14 | 381622 | 65052 | 40702 1 | 8039 | 123 1287.45/1287.91 c 543s | 14 | 383139 | 65352 | 40702 1 | 8039 | 123 1289.65/1290.19 c 546s | 14 | 384123 | 65652 | 40702 1 | 8039 | 123 1292.05/1292.57 c 548s | 14 | 386243 | 66052 | 40702 1 | 8039 | 123 1294.65/1295.12 c 551s | 14 | 387951 | 66452 | 40702 1 | 8039 | 123 1297.45/1297.99 c 554s | 14 | 389839 | 66752 | 40702 1 | 8039 | 123 1299.55/1300.04 c 556s | 14 | 390736 | 66952 | 40702 1 | 8039 | 123 1301.85/1302.39 c 558s | 14 | 391800 | 67252 | 40702 1 | 8039 | 123 1304.55/1305.04 c 561s | 14 | 393056 | 67552 | 40702 1 | 8039 | 123 1306.65/1307.14 c 563s | 14 | 394044 | 67752 | 40702 1 | 8039 | 123 1308.76/1309.26 c 565s | 14 | 395781 | 68052 | 40702 1 | 8039 | 123 1311.25/1311.79 c 567s | 14 | 397671 | 68452 | 40702 1 | 8039 | 123 1313.75/1314.26 c 570s | 14 | 398867 | 68752 | 40702 1 | 8039 | 123 1316.36/1316.82 c 572s | 14 | 400550 | 69052 | 44773 1 | 8039 | 123 1318.66/1319.11 c 575s | 14 | 402198 | 69252 | 44773 1 | 8039 | 123 1320.76/1321.30 c 577s | 14 | 404476 | 69552 | 44773 1 | 8039 | 123 1323.06/1323.58 c 579s | 14 | 405380 | 69852 | 44773 1 | 8039 | 123 1325.55/1326.05 c 582s | 14 | 407159 | 70152 | 44773 1 | 8039 | 123 1328.25/1328.72 c 584s | 14 | 409482 | 70452 | 44773 1 | 8039 | 123 1331.15/1331.66 c 587s | 14 | 411177 | 70752 | 44773 1 | 8039 | 123 1333.35/1333.85 c 589s | 14 | 412733 | 71052 | 44773 1 | 8039 | 123 1336.05/1336.53 c 592s | 14 | 414220 | 71352 | 44773 1 | 8039 | 123 1338.05/1338.56 c 594s | 14 | 415599 | 71552 | 44773 1 | 8039 | 123 1340.25/1340.77 c 596s | 14 | 416826 | 71852 | 44773 1 | 8039 | 123 1342.65/1343.10 c 599s | 14 | 418030 | 72152 | 44773 1 | 8039 | 123 1345.35/1345.81 c 601s | 14 | 419172 | 72452 | 44773 1 | 8039 | 123 1347.65/1348.16 c 604s | 14 | 420582 | 72752 | 44773 1 | 8039 | 123 1350.24/1350.75 c 606s | 14 | 422200 | 73052 | 44773 1 | 8039 | 123 1353.04/1353.54 c 609s | 14 | 424527 | 73452 | 44773 1 | 8039 | 123 1355.24/1355.74 c 611s | 14 | 426308 | 73752 | 44773 2 | 8039 | 123 1357.34/1357.88 c 613s | 14 | 427605 | 73952 | 44773 2 | 8039 | 123 1359.94/1360.41 c 616s | 14 | 428656 | 74252 | 44773 2 | 8039 | 123 1362.24/1362.74 c 618s | 14 | 429640 | 74552 | 44773 2 | 8039 | 123 1364.54/1365.03 c 621s | 14 | 430886 | 74852 | 44773 2 | 8039 | 123 1367.24/1367.78 c 623s | 14 | 432877 | 75152 | 44773 2 | 8039 | 123 1371.45/1371.97 c 628s | 14 | 433301 | 75252 | 44773 2 | 8039 | 123 1373.94/1374.43 c 630s | 14 | 435197 | 75552 | 44773 2 | 8039 | 123 1376.14/1376.69 c 632s | 14 | 436724 | 75852 | 44773 2 | 8039 | 123 1378.84/1379.39 c 635s | 14 | 438917 | 76252 | 44773 2 | 8039 | 123 1381.54/1382.01 c 638s | 14 | 440667 | 76552 | 44773 2 | 8039 | 123 1383.64/1384.17 c 640s | 14 | 441949 | 76852 | 44773 2 | 8039 | 123 1386.24/1386.77 c 642s | 14 | 443535 | 77152 | 44773 2 | 8039 | 123 1388.64/1389.16 c 645s | 14 | 445209 | 77452 | 44773 2 | 8039 | 123 1391.14/1391.61 c 647s | 14 | 447844 | 77852 | 44773 2 | 8039 | 123 1393.54/1394.02 c 650s | 14 | 449983 | 78152 | 44773 2 | 8039 | 123 1396.24/1396.77 c 652s | 14 | 452857 | 78452 | 44773 2 | 8039 | 123 1399.03/1399.58 c 655s | 14 | 454539 | 78752 | 44773 2 | 8039 | 123 1401.73/1402.21 c 658s | 14 | 456443 | 79152 | 44773 2 | 8039 | 123 1404.23/1404.75 c 660s | 14 | 458568 | 79552 | 44773 2 | 8039 | 123 1406.43/1406.92 c 662s | 14 | 459837 | 79952 | 44773 2 | 8039 | 123 1408.43/1408.97 c 665s | 14 | 461161 | 80252 | 44773 2 | 8039 | 123 1410.73/1411.23 c 667s | 14 | 462776 | 80552 | 44773 2 | 8039 | 123 1412.93/1413.45 c 669s | 14 | 465087 | 80852 | 44773 2 | 8039 | 123 1415.53/1416.04 c 672s | 14 | 466511 | 81252 | 44773 2 | 8039 | 123 1417.73/1418.24 c 674s | 14 | 467736 | 81552 | 44773 2 | 8039 | 123 1419.93/1420.41 c 676s | 14 | 468864 | 81852 | 44773 2 | 8039 | 123 1422.43/1422.93 c 678s | 14 | 470111 | 82252 | 44773 2 | 8039 | 123 1424.43/1425.00 c 681s | 14 | 471214 | 82552 | 44773 2 | 8039 | 123 1426.73/1427.24 c 683s | 14 | 472790 | 82852 | 44773 2 | 8039 | 123 1429.03/1429.60 c 685s | 14 | 474053 | 83152 | 44773 2 | 8039 | 123 1431.33/1431.82 c 687s | 14 | 475485 | 83452 | 44773 2 | 8039 | 123 1433.33/1433.89 c 689s | 14 | 477107 | 83752 | 44773 2 | 8039 | 123 1435.73/1436.25 c 692s | 14 | 478353 | 84052 | 44773 2 | 8039 | 123 1438.23/1438.70 c 694s | 14 | 480799 | 84452 | 44773 2 | 8039 | 123 1440.74/1441.23 c 697s | 14 | 482895 | 84852 | 44773 2 | 8039 | 123 1442.73/1443.26 c 699s | 14 | 485071 | 85152 | 44773 2 | 8039 | 123 1444.83/1445.33 c 701s | 14 | 486661 | 85452 | 44773 2 | 8039 | 123 1447.43/1447.91 c 703s | 14 | 488353 | 85852 | 44773 2 | 8039 | 123 1449.83/1450.37 c 706s | 14 | 490231 | 86252 | 44773 2 | 8039 | 123 1452.13/1452.64 c 708s | 14 | 491176 | 86552 | 44773 2 | 8039 | 123 1454.52/1455.01 c 711s | 14 | 493252 | 86852 | 44773 2 | 8039 | 123 1456.92/1457.46 c 713s | 14 | 494875 | 87152 | 44773 2 | 8039 | 123 1458.92/1459.48 c 715s | 14 | 496164 | 87452 | 44773 2 | 8039 | 123 1460.72/1461.20 c 717s | 15 | 496721 | 87632 | 44773 2 | 8039 | 123 1463.52/1464.05 c 720s | 15 | 502700 | 87932 | 44773 2 | 8039 | 123 1465.72/1466.28 c 722s | 15 | 504261 | 88232 | 44773 2 | 8039 | 123 1468.62/1469.10 c 725s | 15 | 505786 | 88532 | 44773 2 | 8039 | 123 1471.12/1471.65 c 727s | 15 | 507894 | 88932 | 44773 2 | 8039 | 123 1473.22/1473.76 c 729s | 15 | 509672 | 89232 | 44773 2 | 8039 | 123 1475.93/1476.44 c 732s | 15 | 512177 | 89532 | 44773 2 | 8039 | 123 1478.03/1478.60 c 734s | 15 | 513475 | 89832 | 44773 2 | 8039 | 123 1480.23/1480.78 c 736s | 15 | 515134 | 90132 | 44773 2 | 8039 | 123 1482.53/1483.04 c 739s | 15 | 517076 | 90432 | 44773 2 | 8039 | 123 1484.82/1485.31 c 741s | 15 | 518874 | 90832 | 44773 2 | 8039 | 123 1487.02/1487.52 c 743s | 15 | 520209 | 91132 | 44773 2 | 8039 | 123 1489.72/1490.22 c 746s | 15 | 521581 | 91432 | 44773 2 | 8039 | 123 1492.43/1492.98 c 749s | 15 | 524023 | 91832 | 44773 2 | 8039 | 123 1495.12/1495.60 c 751s | 15 | 525808 | 92232 | 44773 2 | 8039 | 123 1497.42/1497.96 c 754s | 15 | 526756 | 92532 | 44773 2 | 8039 | 123 1499.82/1500.39 c 756s | 15 | 528022 | 92932 | 44773 2 | 8039 | 123 1502.12/1502.67 c 758s | 15 | 529989 | 93332 | 44773 2 | 8039 | 123 1504.52/1505.09 c 761s | 15 | 532785 | 93732 | 44773 2 | 8039 | 123 1506.62/1507.18 c 763s | 15 | 534607 | 94032 | 44773 2 | 8039 | 123 1509.32/1509.88 c 765s | 15 | 536422 | 94432 | 44773 2 | 8039 | 123 1511.82/1512.32 c 768s | 15 | 537330 | 94732 | 44773 2 | 8039 | 123 1513.92/1514.49 c 770s | 15 | 539263 | 95132 | 44773 2 | 8039 | 123 1516.42/1516.94 c 773s | 15 | 540879 | 95532 | 44773 2 | 8039 | 123 1518.92/1519.45 c 775s | 15 | 542105 | 95832 | 44773 2 | 8039 | 123 1521.11/1521.65 c 777s | 15 | 543282 | 96132 | 44773 2 | 8039 | 123 1523.71/1524.27 c 780s | 15 | 545645 | 96532 | 44773 2 | 8039 | 123 1526.11/1526.68 c 782s | 15 | 547624 | 96832 | 44773 2 | 8039 | 123 1528.91/1529.45 c 785s | 15 | 549568 | 97232 | 44773 2 | 8039 | 123 1531.51/1532.06 c 788s | 15 | 551071 | 97532 | 44773 2 | 8039 | 123 1534.12/1534.63 c 790s | 15 | 552561 | 97832 | 44773 2 | 8039 | 123 1536.51/1537.03 c 793s | 15 | 554582 | 98232 | 44773 2 | 8039 | 123 1538.62/1539.17 c 795s | 15 | 556045 | 98532 | 44773 2 | 8039 | 123 1541.51/1542.08 c 798s | 15 | 557546 | 98832 | 44773 2 | 8039 | 123 1543.81/1544.39 c 800s | 15 | 560022 | 99132 | 44773 2 | 8039 | 123 1546.01/1546.51 c 802s | 15 | 561137 | 99432 | 44773 2 | 8039 | 123 1548.21/1548.76 c 804s | 15 | 563044 | 99732 | 44773 2 | 8039 | 123 1550.41/1550.99 c 807s | 15 | 564453 | 100032 | 44773 2 | 8039 | 123 1552.71/1553.30 c 809s | 15 | 565849 | 100332 | 44773 2 | 8039 | 123 1555.21/1555.71 c 811s | 15 | 567008 | 100632 | 44773 2 | 8039 | 123 1557.41/1557.90 c 813s | 15 | 568686 | 101132 | 44773 2 | 8039 | 123 1560.01/1560.55 c 816s | 15 | 570718 | 101432 | 44773 2 | 8039 | 123 1562.51/1563.06 c 819s | 15 | 572498 | 101832 | 44773 2 | 8039 | 123 1564.71/1565.21 c 821s | 15 | 574217 | 102032 | 44773 2 | 8039 | 123 1566.91/1567.41 c 823s | 15 | 575770 | 102332 | 44773 2 | 8039 | 123 1569.31/1569.86 c 825s | 15 | 577706 | 102732 | 44773 2 | 8039 | 123 1571.41/1571.95 c 828s | 15 | 578624 | 103032 | 44773 2 | 8039 | 123 1573.41/1573.99 c 830s | 15 | 579733 | 103232 | 44773 3 | 8039 | 123 1575.81/1576.36 c 832s | 15 | 581398 | 103632 | 44773 3 | 8039 | 123 1578.21/1578.72 c 834s | 15 | 583182 | 104032 | 44773 3 | 8039 | 123 1580.61/1581.14 c 837s | 15 | 584727 | 104432 | 44773 3 | 8039 | 123 1582.81/1583.37 c 839s | 15 | 585572 | 104732 | 44773 3 | 8039 | 123 1585.11/1585.67 c 841s | 15 | 587472 | 105032 | 44773 3 | 8039 | 123 1587.50/1588.02 c 844s | 15 | 590388 | 105432 | 44773 3 | 8039 | 123 1590.10/1590.62 c 846s | 15 | 593238 | 105732 | 44773 3 | 8039 | 123 1595.31/1595.84 c 851s | 15 | 594509 | 106032 | 44773 3 | 8039 | 123 1597.71/1598.26 c 854s | 15 | 595341 | 106232 | 44773 3 | 8039 | 123 1600.41/1600.90 c 856s | 15 | 596597 | 106532 | 44773 3 | 8039 | 123 1602.81/1603.39 c 859s | 15 | 597123 | 106732 | 44773 3 | 8039 | 123 1605.21/1605.73 c 861s | 15 | 597976 | 106932 | 44773 3 | 8039 | 123 1607.41/1607.98 c 864s | 15 | 598652 | 107132 | 44773 3 | 8039 | 123 1609.71/1610.23 c 866s | 15 | 600132 | 107432 | 44773 3 | 8039 | 123 1611.81/1612.39 c 868s | 15 | 600642 | 107632 | 44773 3 | 8039 | 123 1614.10/1614.68 c 870s | 15 | 601374 | 107832 | 44773 3 | 8039 | 123 1616.30/1616.89 c 872s | 15 | 601979 | 108032 | 44773 3 | 8039 | 123 1619.40/1619.98 c 876s | 15 | 603063 | 108332 | 44773 3 | 8039 | 123 1622.21/1622.73 c 878s | 15 | 604156 | 108632 | 44773 3 | 8039 | 123 1625.10/1625.61 c 881s | 15 | 605023 | 108932 | 44773 3 | 8039 | 123 1627.90/1628.46 c 884s | 15 | 606158 | 109232 | 44773 3 | 8039 | 123 1630.91/1631.43 c 887s | 15 | 607833 | 109532 | 44773 3 | 8039 | 123 1633.60/1634.17 c 890s | 15 | 609285 | 109832 | 44773 3 | 8039 | 123 1636.20/1636.72 c 892s | 15 | 610560 | 110132 | 44773 3 | 8039 | 123 1638.40/1638.92 c 894s | 15 | 611162 | 110332 | 44773 3 | 8039 | 123 1640.50/1641.07 c 897s | 15 | 611746 | 110532 | 44773 3 | 8039 | 123 1643.70/1644.27 c 900s | 15 | 612519 | 110832 | 44773 3 | 8039 | 123 1645.90/1646.46 c 902s | 15 | 613312 | 111032 | 44773 3 | 8039 | 123 1648.00/1648.54 c 904s | 15 | 613913 | 111232 | 44773 3 | 8039 | 123 1650.20/1650.73 c 906s | 15 | 614660 | 111432 | 44773 3 | 8039 | 123 1653.10/1653.63 c 909s | 15 | 615912 | 111732 | 44773 3 | 8039 | 123 1655.10/1655.70 c 911s | 15 | 616682 | 111932 | 44773 3 | 8039 | 123 1658.00/1658.58 c 914s | 15 | 617475 | 112232 | 44773 3 | 8039 | 123 1660.00/1660.59 c 916s | 15 | 618006 | 112432 | 44773 3 | 8039 | 123 1662.90/1663.47 c 919s | 15 | 618935 | 112732 | 49251 3 | 8039 | 123 1671.70/1672.23 c 928s | 15 | 619386 | 112832 | 49251 3 | 8039 | 123 1674.20/1674.73 c 930s | 15 | 620524 | 113032 | 49251 3 | 8039 | 123 1676.80/1677.37 c 933s | 15 | 622137 | 113332 | 49251 3 | 8039 | 123 1679.20/1679.79 c 935s | 15 | 623107 | 113532 | 49251 3 | 8039 | 123 1681.30/1681.80 c 937s | 15 | 623876 | 113732 | 49251 3 | 8039 | 123 1684.30/1684.81 c 940s | 15 | 625154 | 114032 | 49251 3 | 8039 | 123 1687.00/1687.57 c 943s | 15 | 626633 | 114332 | 49251 3 | 8039 | 123 1689.49/1690.01 c 946s | 15 | 628604 | 114632 | 49251 3 | 8039 | 123 1691.59/1692.10 c 948s | 15 | 629535 | 114832 | 49251 3 | 8039 | 123 1693.79/1694.30 c 950s | 15 | 630490 | 115032 | 49251 3 | 8039 | 123 1696.79/1697.38 c 953s | 15 | 632373 | 115332 | 49251 3 | 8039 | 123 1698.79/1699.39 c 955s | 15 | 633305 | 115532 | 49251 3 | 8039 | 123 1701.89/1702.44 c 958s | 15 | 634501 | 115832 | 49251 3 | 8039 | 123 1704.09/1704.66 c 960s | 15 | 635159 | 116032 | 49251 3 | 8039 | 123 1706.39/1706.98 c 963s | 15 | 635771 | 116232 | 49251 3 | 8039 | 123 1708.59/1709.14 c 965s | 15 | 636809 | 116432 | 49251 3 | 8039 | 123 1710.99/1711.55 c 967s | 15 | 637909 | 116632 | 49251 3 | 8039 | 123 1713.09/1713.65 c 969s | 15 | 639088 | 116832 | 49251 3 | 8039 | 123 1715.49/1716.07 c 972s | 15 | 639883 | 117032 | 49251 3 | 8039 | 123 1718.09/1718.63 c 974s | 15 | 640763 | 117232 | 49251 3 | 8039 | 123 1720.49/1721.03 c 977s | 15 | 641585 | 117432 | 49251 3 | 8039 | 123 1722.99/1723.51 c 979s | 15 | 642959 | 117632 | 49251 3 | 8039 | 123 1725.59/1726.13 c 982s | 15 | 644603 | 117832 | 49251 3 | 8039 | 123 1728.39/1728.97 c 985s | 15 | 645476 | 118032 | 49251 3 | 8039 | 123 1730.69/1731.21 c 987s | 15 | 646580 | 118232 | 49251 3 | 8039 | 123 1733.19/1733.76 c 989s | 15 | 647289 | 118432 | 49251 3 | 8039 | 123 1735.69/1736.25 c 992s | 15 | 648379 | 118632 | 49251 3 | 8039 | 123 1738.49/1739.02 c 995s | 15 | 649381 | 118832 | 49251 3 | 8039 | 123 1741.29/1741.81 c 997s | 15 | 650854 | 119032 | 49251 3 | 8039 | 123 1743.88/1744.49 c 1000s | 15 | 651883 | 119232 | 49251 3 | 8039 | 123 1746.49/1747.07 c 1003s | 15 | 652715 | 119432 | 49251 3 | 8039 | 123 1749.28/1749.80 c 1005s | 15 | 653934 | 119632 | 49251 3 | 8039 | 123 1751.68/1752.22 c 1008s | 15 | 654924 | 119832 | 49251 3 | 8039 | 123 1753.88/1754.45 c 1010s | 15 | 655444 | 120032 | 49251 3 | 8039 | 123 1756.39/1756.97 c 1013s | 15 | 656434 | 120232 | 49251 3 | 8039 | 123 1758.98/1759.50 c 1015s | 15 | 657919 | 120432 | 49251 3 | 8039 | 123 1761.38/1761.91 c 1017s | 15 | 659470 | 120732 | 49251 3 | 8039 | 123 1763.38/1763.99 c 1020s | 15 | 660289 | 120932 | 49251 3 | 8039 | 123 1765.78/1766.34 c 1022s | 15 | 661342 | 121132 | 49251 3 | 8039 | 123 1768.28/1768.82 c 1024s | 15 | 662343 | 121332 | 49251 3 | 8039 | 123 1771.48/1772.06 c 1028s | 15 | 663272 | 121632 | 49251 3 | 8039 | 123 1773.89/1774.47 c 1030s | 15 | 664257 | 121832 | 49251 3 | 8039 | 123 1777.19/1777.73 c 1033s | 15 | 665200 | 122132 | 49251 3 | 8039 | 123 1779.68/1780.29 c 1036s | 15 | 666047 | 122332 | 49251 3 | 8039 | 123 1782.69/1783.27 c 1039s | 15 | 667286 | 122632 | 49251 3 | 8039 | 123 1785.08/1785.66 c 1041s | 15 | 668048 | 122832 | 49251 3 | 8039 | 123 1787.78/1788.35 c 1044s | 15 | 669107 | 123032 | 49251 3 | 8039 | 123 1790.08/1790.69 c 1046s | 15 | 669897 | 123232 | 49251 3 | 8039 | 123 1792.48/1793.09 c 1049s | 15 | 670720 | 123432 | 49251 3 | 8039 | 123 1794.78/1795.33 c 1051s | 15 | 671338 | 123632 | 49251 3 | 8039 | 123 1797.38/1797.94 c 1054s | 15 | 672467 | 123832 | 49251 3 | 8039 | 123
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-4103261-1466234099/watcher-4103261-1466234099 -o /tmp/evaluation-result-4103261-1466234099/solver-4103261-1466234099 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11341 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103261-1466234099.opb pid=15135 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 2.04 2.00 3/179 15138 /proc/meminfo: memFree=30510652/32872528 swapFree=249320/249320 [pid=15138] ppid=15135 vsize=698812 CPUtime=0 cores=1,3,5,7 /proc/15138/stat : 15138 (toysat) R 15135 15138 11324 0 -1 4202496 2605 0 0 0 0 0 0 0 20 0 4 0 25460296 715583488 2966 33554432000 4194304 16246674 140734932051888 140734932051312 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15138/statm: 175471 2974 441 2943 0 172365 0 [pid=15138/tid=15139] ppid=15135 vsize=716220 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15139/stat : 15139 (toysat) S 15135 15138 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25460296 733409280 3034 33554432000 4194304 16246674 140734932051888 140245340237040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15138/tid=15140] ppid=15135 vsize=721340 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15140/stat : 15140 (toysat) S 15135 15138 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25460296 738652160 3050 33554432000 4194304 16246674 140734932051888 140245329747184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15138/tid=15141] ppid=15135 vsize=725436 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15141/stat : 15141 (toysat) S 15135 15138 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25460296 742846464 3066 33554432000 4194304 16246674 140734932051888 140245244832944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100176 s] /proc/loadavg: 2.04 2.04 2.00 3/179 15138 /proc/meminfo: memFree=30510652/32872528 swapFree=249320/249320 [pid=15138] ppid=15135 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/15138/stat : 15138 (toysat) R 15135 15138 11324 0 -1 4202496 29103 0 0 0 5 4 0 0 20 0 4 0 25460296 1333334016 29403 33554432000 4194304 16246674 140734932051888 140734932051200 7374276 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15138/statm: 325521 29419 799 2943 0 322415 0 [pid=15138/tid=15139] ppid=15135 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15139/stat : 15139 (toysat) S 15135 15138 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25460296 1333334016 29430 33554432000 4194304 16246674 140734932051888 140245340237040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15138/tid=15140] ppid=15135 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15140/stat : 15140 (toysat) S 15135 15138 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25460296 1333334016 29442 33554432000 4194304 16246674 140734932051888 140245329747184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15138/tid=15141] ppid=15135 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15141/stat : 15141 (toysat) S 15135 15138 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25460296 1333334016 29453 33554432000 4194304 16246674 140734932051888 140245244832944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200541 s] /proc/loadavg: 2.04 2.04 2.00 3/179 15138 /proc/meminfo: memFree=30510652/32872528 swapFree=249320/249320 [pid=15138] ppid=15135 vsize=1311300 CPUtime=0.19 cores=1,3,5,7 /proc/15138/stat : 15138 (toysat) R 15135 15138 11324 0 -1 4202496 45724 0 0 0 13 6 0 0 20 0 4 0 25460296 1342771200 46534 33554432000 4194304 16246674 140734932051888 140734932051200 13923640 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15138/statm: 327825 46534 801 2943 0 324719 0 [pid=15138/tid=15139] ppid=15135 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15139/stat : 15139 (toysat) S 15135 15138 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25460296 1342771200 46534 33554432000 4194304 16246674 140734932051888 140245340237040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15138/tid=15140] ppid=15135 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15140/stat : 15140 (toysat) S 15135 15138 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25460296 1342771200 46534 33554432000 4194304 16246674 140734932051888 140245329747184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15138/tid=15141] ppid=15135 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15141/stat : 15141 (toysat) S 15135 15138 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25460296 1342771200 46534 33554432000 4194304 16246674 140734932051888 140245244832944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1311300 [startup+0.300508 s] /proc/loadavg: 2.04 2.04 2.00 3/179 15138 /proc/meminfo: memFree=30510652/32872528 swapFree=249320/249320 [pid=15138] ppid=15135 vsize=1311300 CPUtime=0.28 cores=1,3,5,7 /proc/15138/stat : 15138 (toysat) R 15135 15138 11324 0 -1 4202496 48039 0 0 0 22 6 0 0 20 0 4 0 25460296 1342771200 48849 33554432000 4194304 16246674 140734932051888 140734932051200 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15138/statm: 327825 48849 801 2943 0 324719 0 [pid=15138/tid=15139] ppid=15135 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15139/stat : 15139 (toysat) S 15135 15138 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25460296 1342771200 48849 33554432000 4194304 16246674 140734932051888 140245340237040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15138/tid=15140] ppid=15135 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15140/stat : 15140 (toysat) S 15135 15138 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25460296 1342771200 48849 33554432000 4194304 16246674 140734932051888 140245329747184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15138/tid=15141] ppid=15135 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15141/stat : 15141 (toysat) S 15135 15138 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25460296 1342771200 48849 33554432000 4194304 16246674 140734932051888 140245244832944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1311300 [startup+0.700415 s] /proc/loadavg: 2.04 2.04 2.00 3/179 15138 /proc/meminfo: memFree=30510652/32872528 swapFree=249320/249320 [pid=15138] ppid=15135 vsize=1312324 CPUtime=0.68 cores=1,3,5,7 /proc/15138/stat : 15138 (toysat) R 15135 15138 11324 0 -1 4202496 78072 0 0 0 59 9 0 0 20 0 4 0 25460296 1343819776 78882 33554432000 4194304 16246674 140734932051888 140734932051200 6775184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15138/statm: 328081 78899 836 2943 0 324975 0 [pid=15138/tid=15139] ppid=15135 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15139/stat : 15139 (toysat) S 15135 15138 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25460296 1343819776 78904 33554432000 4194304 16246674 140734932051888 140245340237040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15138/tid=15140] ppid=15135 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15140/stat : 15140 (toysat) S 15135 15138 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25460296 1343819776 78911 33554432000 4194304 16246674 140734932051888 140245329747184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15138/tid=15141] ppid=15135 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15141/stat : 15141 (toysat) S 15135 15138 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25460296 1343819776 78919 33554432000 4194304 16246674 140734932051888 140245244832944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1312324 [startup+1.50044 s] /proc/loadavg: 2.04 2.04 2.00 3/183 15142 /proc/meminfo: memFree=29566976/32872528 swapFree=249320/249320 [pid=15138] ppid=15135 vsize=1330756 CPUtime=1.49 cores=1,3,5,7 /proc/15138/stat : 15138 (toysat) R 15135 15138 11324 0 -1 4202496 273254 0 0 0 114 35 0 0 20 0 4 0 25460296 1362694144 274064 33554432000 4194304 16246674 140734932051888 140734932033792 12429262 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15138/statm: 332689 274064 841 2943 0 329583 0 [pid=15138/tid=15139] ppid=15135 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15139/stat : 15139 (toysat) S 15135 15138 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25460296 1362694144 274064 33554432000 4194304 16246674 140734932051888 140245340237040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15138/tid=15140] ppid=15135 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15140/stat : 15140 (toysat) S 15135 15138 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25460296 1362694144 274064 33554432000 4194304 16246674 140734932051888 140245329747184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15138/tid=15141] ppid=15135 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15141/stat : 15141 (toysat) S 15135 15138 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25460296 1362694144 274064 33554432000 4194304 16246674 140734932051888 140245244832944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1330756 [startup+3.10042 s] /proc/loadavg: 2.04 2.04 2.00 3/183 15142 /proc/meminfo: memFree=29414564/32872528 swapFree=249320/249320 [pid=15138] ppid=15135 vsize=1330756 CPUtime=3.09 cores=1,3,5,7 /proc/15138/stat : 15138 (toysat) R 15135 15138 11324 0 -1 4202496 273312 0 0 0 274 35 0 0 20 0 4 0 25460296 1362694144 274122 33554432000 4194304 16246674 140734932051888 140734932051200 12657119 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15138/statm: 332689 274122 841 2943 0 329583 0 [pid=15138/tid=15139] ppid=15135 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15139/stat : 15139 (toysat) S 15135 15138 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25460296 1362694144 274122 33554432000 4194304 16246674 140734932051888 140245340237040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15138/tid=15140] ppid=15135 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15140/stat : 15140 (toysat) S 15135 15138 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25460296 1362694144 274122 33554432000 4194304 16246674 140734932051888 140245329747184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15138/tid=15141] ppid=15135 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15141/stat : 15141 (toysat) S 15135 15138 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25460296 1362694144 274122 33554432000 4194304 16246674 140734932051888 140245244832944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1330756 [startup+6.30042 s] /proc/loadavg: 2.03 2.04 2.00 3/183 15142 /proc/meminfo: memFree=29414488/32872528 swapFree=249320/249320 [pid=15138] ppid=15135 vsize=1330756 CPUtime=6.29 cores=1,3,5,7 /proc/15138/stat : 15138 (toysat) R 15135 15138 11324 0 -1 4202496 273367 0 0 0 594 35 0 0 20 0 4 0 25460296 1362694144 274177 33554432000 4194304 16246674 140734932051888 140734932033792 5822298 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15138/statm: 332689 274177 891 2943 0 329583 0 [pid=15138/tid=15139] ppid=15135 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15139/stat : 15139 (toysat) S 15135 15138 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25460296 1362694144 274177 33554432000 4194304 16246674 140734932051888 140245340237040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15138/tid=15140] ppid=15135 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15140/stat : 15140 (toysat) S 15135 15138 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25460296 1362694144 274177 33554432000 4194304 16246674 140734932051888 140245329747184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15138/tid=15141] ppid=15135 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15141/stat : 15141 (toysat) S 15135 15138 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25460296 1362694144 274177 33554432000 4194304 16246674 140734932051888 140245244832944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1330756 [startup+12.7004 s] /proc/loadavg: 2.03 2.04 2.00 3/183 15142 /proc/meminfo: memFree=29414256/32872528 swapFree=249320/249320 [pid=15138] ppid=15135 vsize=1330756 CPUtime=12.68 cores=1,3,5,7 /proc/15138/stat : 15138 (toysat) R 15135 15138 11324 0 -1 4202496 273389 0 0 0 1233 35 0 0 20 0 4 0 25460296 1362694144 274199 33554432000 4194304 16246674 140734932051888 140734932033792 5600072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15138/statm: 332689 274199 913 2943 0 329583 0 [pid=15138/tid=15139] ppid=15135 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15139/stat : 15139 (toysat) S 15135 15138 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25460296 1362694144 274199 33554432000 4194304 16246674 140734932051888 140245340237040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15138/tid=15140] ppid=15135 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15140/stat : 15140 (toysat) S 15135 15138 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25460296 1362694144 274199 33554432000 4194304 16246674 140734932051888 140245329747184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15138/tid=15141] ppid=15135 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15141/stat : 15141 (toysat) S 15135 15138 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25460296 1362694144 274199 33554432000 4194304 16246674 140734932051888 140245244832944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1330756 [startup+25.5074 s] /proc/loadavg: 2.02 2.03 2.00 3/183 15142 /proc/meminfo: memFree=29414748/32872528 swapFree=249320/249320 [pid=15138] ppid=15135 vsize=1330756 CPUtime=25.49 cores=1,3,5,7 /proc/15138/stat : 15138 (toysat) R 15135 15138 11324 0 -1 4202496 273397 0 0 0 2514 35 0 0 20 0 4 0 25460296 1362694144 274207 33554432000 4194304 16246674 140734932051888 140734932033792 5600072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15138/statm: 332689 274207 920 2943 0 329583 0 [pid=15138/tid=15139] ppid=15135 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15139/stat : 15139 (toysat) S 15135 15138 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25460296 1362694144 274207 33554432000 4194304 16246674 140734932051888 140245340237040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15138/tid=15140] ppid=15135 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15140/stat : 15140 (toysat) S 15135 15138 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25460296 1362694144 274207 33554432000 4194304 16246674 140734932051888 140245329747184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15138/tid=15141] ppid=15135 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15141/stat : 15141 (toysat) S 15135 15138 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25460296 1362694144 274207 33554432000 4194304 16246674 140734932051888 140245244832944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1330756 [startup+51.1004 s] /proc/loadavg: 2.01 2.03 2.00 3/183 15142 /proc/meminfo: memFree=29414576/32872528 swapFree=249320/249320 [pid=15138] ppid=15135 vsize=1330756 CPUtime=51.08 cores=1,3,5,7 /proc/15138/stat : 15138 (toysat) R 15135 15138 11324 0 -1 4202496 273397 0 0 0 5073 35 0 0 20 0 4 0 25460296 1362694144 274207 33554432000 4194304 16246674 140734932051888 140734932033792 5600380 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15138/statm: 332689 274207 920 2943 0 329583 0 [pid=15138/tid=15139] ppid=15135 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15139/stat : 15139 (toysat) S 15135 15138 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25460296 1362694144 274207 33554432000 4194304 16246674 140734932051888 140245340237040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15138/tid=15140] ppid=15135 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15140/stat : 15140 (toysat) S 15135 15138 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25460296 1362694144 274207 33554432000 4194304 16246674 140734932051888 140245329747184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15138/tid=15141] ppid=15135 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15141/stat : 15141 (toysat) S 15135 15138 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25460296 1362694144 274207 33554432000 4194304 16246674 140734932051888 140245244832944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1330756 [startup+102.3 s] /proc/loadavg: 2.13 2.05 2.01 3/183 15143 /proc/meminfo: memFree=29414620/32872528 swapFree=249320/249320 [pid=15138] ppid=15135 vsize=1330756 CPUtime=102.27 cores=1,3,5,7 /proc/15138/stat : 15138 (toysat) R 15135 15138 11324 0 -1 4202496 273397 0 0 0 10192 35 0 0 20 0 4 0 25460296 1362694144 274207 33554432000 4194304 16246674 140734932051888 140734932033792 5601643 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15138/statm: 332689 274207 920 2943 0 329583 0 [pid=15138/tid=15139] ppid=15135 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15139/stat : 15139 (toysat) S 15135 15138 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25460296 1362694144 274207 33554432000 4194304 16246674 140734932051888 140245340237040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15138/tid=15140] ppid=15135 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15140/stat : 15140 (toysat) S 15135 15138 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25460296 1362694144 274207 33554432000 4194304 16246674 140734932051888 140245329747184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15138/tid=15141] ppid=15135 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15141/stat : 15141 (toysat) S 15135 15138 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25460296 1362694144 274207 33554432000 4194304 16246674 140734932051888 140245244832944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1330756 ################ # More data... # ################ /proc/15138/task/15141/stat : 15141 (toysat) S 15135 15138 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25460296 1405685760 284963 33554432000 4194304 16246674 140734932051888 140245244832944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 1372740 [startup+1362.3 s] /proc/loadavg: 2.08 2.07 2.01 3/183 15223 /proc/meminfo: memFree=29035168/32872528 swapFree=249320/249320 [pid=15138] ppid=15135 vsize=1372740 CPUtime=1361.84 cores=1,3,5,7 /proc/15138/stat : 15138 (toysat) R 15135 15138 11324 0 -1 4202496 284284 0 0 0 136144 40 0 0 20 0 4 0 25460296 1405685760 284963 33554432000 4194304 16246674 140734932051888 140734932033792 5712004 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15138/statm: 343185 284963 924 2943 0 340079 0 [pid=15138/tid=15139] ppid=15135 vsize=1372740 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15139/stat : 15139 (toysat) S 15135 15138 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25460296 1405685760 284963 33554432000 4194304 16246674 140734932051888 140245340237040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15138/tid=15140] ppid=15135 vsize=1372740 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15140/stat : 15140 (toysat) S 15135 15138 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25460296 1405685760 284963 33554432000 4194304 16246674 140734932051888 140245329747184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15138/tid=15141] ppid=15135 vsize=1372740 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15141/stat : 15141 (toysat) S 15135 15138 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25460296 1405685760 284963 33554432000 4194304 16246674 140734932051888 140245244832944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1372740 [startup+1422.3 s] /proc/loadavg: 2.13 2.08 2.01 3/183 15224 /proc/meminfo: memFree=21427200/32872528 swapFree=249320/249320 [pid=15138] ppid=15135 vsize=1372740 CPUtime=1421.83 cores=1,3,5,7 /proc/15138/stat : 15138 (toysat) R 15135 15138 11324 0 -1 4202496 284284 0 0 0 142143 40 0 0 20 0 4 0 25460296 1405685760 284963 33554432000 4194304 16246674 140734932051888 140734932033792 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15138/statm: 343185 284963 924 2943 0 340079 0 [pid=15138/tid=15139] ppid=15135 vsize=1372740 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15139/stat : 15139 (toysat) S 15135 15138 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25460296 1405685760 284963 33554432000 4194304 16246674 140734932051888 140245340237040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15138/tid=15140] ppid=15135 vsize=1372740 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15140/stat : 15140 (toysat) S 15135 15138 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25460296 1405685760 284963 33554432000 4194304 16246674 140734932051888 140245329747184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15138/tid=15141] ppid=15135 vsize=1372740 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15141/stat : 15141 (toysat) S 15135 15138 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25460296 1405685760 284963 33554432000 4194304 16246674 140734932051888 140245244832944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1372740 [startup+1482.3 s] /proc/loadavg: 2.10 2.08 2.01 3/183 15225 /proc/meminfo: memFree=16872964/32872528 swapFree=249320/249320 [pid=15138] ppid=15135 vsize=1372740 CPUtime=1481.82 cores=1,3,5,7 /proc/15138/stat : 15138 (toysat) R 15135 15138 11324 0 -1 4202496 284284 0 0 0 148142 40 0 0 20 0 4 0 25460296 1405685760 284963 33554432000 4194304 16246674 140734932051888 140734932033792 13780588 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15138/statm: 343185 284963 924 2943 0 340079 0 [pid=15138/tid=15139] ppid=15135 vsize=1372740 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15139/stat : 15139 (toysat) S 15135 15138 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25460296 1405685760 284963 33554432000 4194304 16246674 140734932051888 140245340237040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15138/tid=15140] ppid=15135 vsize=1372740 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15140/stat : 15140 (toysat) S 15135 15138 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25460296 1405685760 284963 33554432000 4194304 16246674 140734932051888 140245329747184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15138/tid=15141] ppid=15135 vsize=1372740 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15141/stat : 15141 (toysat) S 15135 15138 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25460296 1405685760 284963 33554432000 4194304 16246674 140734932051888 140245244832944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1372740 [startup+1542.3 s] /proc/loadavg: 2.09 2.08 2.01 3/184 15230 /proc/meminfo: memFree=16872536/32872528 swapFree=249320/249320 [pid=15138] ppid=15135 vsize=1372740 CPUtime=1541.82 cores=1,3,5,7 /proc/15138/stat : 15138 (toysat) R 15135 15138 11324 0 -1 4202496 284284 0 0 0 154142 40 0 0 20 0 4 0 25460296 1405685760 284963 33554432000 4194304 16246674 140734932051888 140734932033792 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15138/statm: 343185 284963 924 2943 0 340079 0 [pid=15138/tid=15139] ppid=15135 vsize=1372740 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15139/stat : 15139 (toysat) S 15135 15138 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25460296 1405685760 284963 33554432000 4194304 16246674 140734932051888 140245340237040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15138/tid=15140] ppid=15135 vsize=1372740 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15140/stat : 15140 (toysat) S 15135 15138 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25460296 1405685760 284963 33554432000 4194304 16246674 140734932051888 140245329747184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15138/tid=15141] ppid=15135 vsize=1372740 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15141/stat : 15141 (toysat) S 15135 15138 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25460296 1405685760 284963 33554432000 4194304 16246674 140734932051888 140245244832944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 1372740 [startup+1602.3 s] /proc/loadavg: 2.13 2.09 2.02 3/183 15279 /proc/meminfo: memFree=29367548/32872528 swapFree=249320/249320 [pid=15138] ppid=15135 vsize=1384004 CPUtime=1601.81 cores=1,3,5,7 /proc/15138/stat : 15138 (toysat) R 15135 15138 11324 0 -1 4202496 287100 0 0 0 160140 41 0 0 20 0 4 0 25460296 1417220096 287779 33554432000 4194304 16246674 140734932051888 140734932033792 5711576 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15138/statm: 346001 287779 924 2943 0 342895 0 [pid=15138/tid=15139] ppid=15135 vsize=1384004 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15139/stat : 15139 (toysat) S 15135 15138 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25460296 1417220096 287779 33554432000 4194304 16246674 140734932051888 140245340237040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15138/tid=15140] ppid=15135 vsize=1384004 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15140/stat : 15140 (toysat) S 15135 15138 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25460296 1417220096 287779 33554432000 4194304 16246674 140734932051888 140245329747184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15138/tid=15141] ppid=15135 vsize=1384004 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15141/stat : 15141 (toysat) S 15135 15138 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25460296 1417220096 287779 33554432000 4194304 16246674 140734932051888 140245244832944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1384004 [startup+1662.31 s] /proc/loadavg: 2.09 2.09 2.02 3/183 15280 /proc/meminfo: memFree=29368260/32872528 swapFree=249320/249320 [pid=15138] ppid=15135 vsize=1384004 CPUtime=1661.8 cores=1,3,5,7 /proc/15138/stat : 15138 (toysat) R 15135 15138 11324 0 -1 4202496 287100 0 0 0 166139 41 0 0 20 0 4 0 25460296 1417220096 287779 33554432000 4194304 16246674 140734932051888 140734932033792 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15138/statm: 346001 287779 924 2943 0 342895 0 [pid=15138/tid=15139] ppid=15135 vsize=1384004 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15139/stat : 15139 (toysat) S 15135 15138 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25460296 1417220096 287779 33554432000 4194304 16246674 140734932051888 140245340237040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15138/tid=15140] ppid=15135 vsize=1384004 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15140/stat : 15140 (toysat) S 15135 15138 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25460296 1417220096 287779 33554432000 4194304 16246674 140734932051888 140245329747184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15138/tid=15141] ppid=15135 vsize=1384004 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15141/stat : 15141 (toysat) S 15135 15138 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25460296 1417220096 287779 33554432000 4194304 16246674 140734932051888 140245244832944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1384004 [startup+1722.3 s] /proc/loadavg: 2.15 2.10 2.02 3/183 15281 /proc/meminfo: memFree=27846708/32872528 swapFree=249320/249320 [pid=15138] ppid=15135 vsize=1384004 CPUtime=1721.79 cores=1,3,5,7 /proc/15138/stat : 15138 (toysat) R 15135 15138 11324 0 -1 4202496 287100 0 0 0 172137 42 0 0 20 0 4 0 25460296 1417220096 287779 33554432000 4194304 16246674 140734932051888 140734932033792 5600232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15138/statm: 346001 287779 924 2943 0 342895 0 [pid=15138/tid=15139] ppid=15135 vsize=1384004 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15139/stat : 15139 (toysat) S 15135 15138 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25460296 1417220096 287779 33554432000 4194304 16246674 140734932051888 140245340237040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15138/tid=15140] ppid=15135 vsize=1384004 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15140/stat : 15140 (toysat) S 15135 15138 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25460296 1417220096 287779 33554432000 4194304 16246674 140734932051888 140245329747184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15138/tid=15141] ppid=15135 vsize=1384004 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15141/stat : 15141 (toysat) S 15135 15138 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25460296 1417220096 287779 33554432000 4194304 16246674 140734932051888 140245244832944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1384004 [startup+1782.3 s] /proc/loadavg: 2.20 2.12 2.03 3/183 15282 /proc/meminfo: memFree=22741624/32872528 swapFree=249320/249320 [pid=15138] ppid=15135 vsize=1384004 CPUtime=1781.78 cores=1,3,5,7 /proc/15138/stat : 15138 (toysat) R 15135 15138 11324 0 -1 4202496 287100 0 0 0 178136 42 0 0 20 0 4 0 25460296 1417220096 287779 33554432000 4194304 16246674 140734932051888 140734932033792 5723721 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15138/statm: 346001 287779 924 2943 0 342895 0 [pid=15138/tid=15139] ppid=15135 vsize=1384004 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15139/stat : 15139 (toysat) S 15135 15138 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25460296 1417220096 287779 33554432000 4194304 16246674 140734932051888 140245340237040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15138/tid=15140] ppid=15135 vsize=1384004 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15140/stat : 15140 (toysat) S 15135 15138 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25460296 1417220096 287779 33554432000 4194304 16246674 140734932051888 140245329747184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15138/tid=15141] ppid=15135 vsize=1384004 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15141/stat : 15141 (toysat) S 15135 15138 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25460296 1417220096 287779 33554432000 4194304 16246674 140734932051888 140245244832944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1384004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.14 2.11 2.03 3/183 15282 /proc/meminfo: memFree=21218160/32872528 swapFree=249320/249320 [pid=15138] ppid=15135 vsize=1384004 CPUtime=1800.08 cores=1,3,5,7 /proc/15138/stat : 15138 (toysat) R 15135 15138 11324 0 -1 4202496 287100 0 0 0 179966 42 0 0 20 0 4 0 25460296 1417220096 287779 33554432000 4194304 16246674 140734932051888 140734932033792 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15138/statm: 346001 287779 924 2943 0 342895 0 [pid=15138/tid=15139] ppid=15135 vsize=1384004 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15139/stat : 15139 (toysat) S 15135 15138 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25460296 1417220096 287779 33554432000 4194304 16246674 140734932051888 140245340237040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15138/tid=15140] ppid=15135 vsize=1384004 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15140/stat : 15140 (toysat) S 15135 15138 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25460296 1417220096 287779 33554432000 4194304 16246674 140734932051888 140245329747184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15138/tid=15141] ppid=15135 vsize=1384004 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15141/stat : 15141 (toysat) S 15135 15138 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25460296 1417220096 287779 33554432000 4194304 16246674 140734932051888 140245244832944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1384004 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 15138 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 2.14 2.11 2.03 3/183 15282 /proc/meminfo: memFree=21218160/32872528 swapFree=249320/249320 [pid=15138] ppid=15135 vsize=1384004 CPUtime=1800.08 cores=1,3,5,7 /proc/15138/stat : 15138 (toysat) R 15135 15138 11324 0 -1 4202496 287100 0 0 0 179966 42 0 0 20 0 4 0 25460296 1417220096 287779 33554432000 4194304 16246674 140734932051888 140734932033792 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15138/statm: 346001 287779 924 2943 0 342895 0 [pid=15138/tid=15139] ppid=15135 vsize=1384004 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15139/stat : 15139 (toysat) S 15135 15138 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25460296 1417220096 287779 33554432000 4194304 16246674 140734932051888 140245340237040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15138/tid=15140] ppid=15135 vsize=1384004 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15140/stat : 15140 (toysat) S 15135 15138 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25460296 1417220096 287779 33554432000 4194304 16246674 140734932051888 140245329747184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15138/tid=15141] ppid=15135 vsize=1384004 CPUtime=0 cores=1,3,5,7 /proc/15138/task/15141/stat : 15141 (toysat) S 15135 15138 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25460296 1417220096 287779 33554432000 4194304 16246674 140734932051888 140245244832944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1384004 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.09 CPU user time (s): 1799.67 CPU system time (s): 0.421935 CPU usage (%): 99.971 Max. virtual memory (cumulated for all children) (KiB): 1384004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.67 system time used= 0.421935 maximum resident set size= 1151116 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 287100 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= 410 involuntary context switches= 1959 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.80727 second user time and 7.54085 second system time The end
Begin job on node103 at 2016-06-18 09:14:59 IDJOB=4103261 IDBENCH=2312 IDSOLVER=2542 FILE ID=node103/4103261-1466234099 RUNJOBID= node103-1466206104-11341 PBS_JOBID= 19918169 Free space on /tmp= 71712 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos12.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103261-1466234099/watcher-4103261-1466234099 -o /tmp/evaluation-result-4103261-1466234099/solver-4103261-1466234099 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11341 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103261-1466234099.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= edd986756231058ab35f21017ebd98b6 RANDOM SEED=2017634015 node103.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 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 : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 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 : 2667.278 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 : 2667.278 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: 30511180 kB Buffers: 121792 kB Cached: 127744 kB SwapCached: 1916 kB Active: 1211136 kB Inactive: 160640 kB Active(anon): 1120988 kB Inactive(anon): 3400 kB Active(file): 90148 kB Inactive(file): 157240 kB Unevictable: 249320 kB Mlocked: 249320 kB SwapTotal: 67108856 kB SwapFree: 67099436 kB Dirty: 19784 kB Writeback: 0 kB AnonPages: 1374520 kB Mapped: 10800 kB Shmem: 0 kB Slab: 602388 kB SReclaimable: 46336 kB SUnreclaim: 556052 kB KernelStack: 1472 kB PageTables: 6468 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1516028 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 483328 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71692 MiB End job on node103 at 2016-06-18 09:45:00