Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT4J PB specific settings 2.3.2 snapshot | SAT (TO) | 2 | 1800.05 | 1795.05 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_2.opb |
| MD5SUM | c0264878059fff5e6fa5f51839a60b24 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 1789.77 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 2 |
| Optimality of the best value was proved | NO |
| Number of variables | 120 |
| Total number of constraints | 10 |
| 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 | 10 |
| Minimum length of a constraint | 54 |
| Maximum length of a constraint | 56 |
| Number of terms in the objective function | 80 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 2550 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1196 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4099 |
| Number of bits of the biggest sum of numbers | 13 |
| 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.07 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.00/0.07 c version 2.3.2.v20120418 0.00/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.07 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.07 c java.vm.version 19.1-b02 0.00/0.07 c java.vm.vendor Sun Microsystems Inc. 0.00/0.07 c sun.arch.data.model 64 0.00/0.07 c java.version 1.6.0_24 0.00/0.07 c os.name Linux 0.00/0.07 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.07 c os.arch amd64 0.00/0.07 c Free memory 501472288 0.00/0.07 c Max memory 7480803328 0.00/0.07 c Total memory 504102912 0.00/0.07 c Number of processors 8 0.10/0.10 c read org.sat4j.minisat.orders.VarOrderHeap 0.10/0.10 c configuring ORDERS 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=true 0.10/0.11 c Heuristics kept accross calls (keep the solver "hot") 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3710829-1338154948.opb 0.10/0.11 c reading problem ... 0.10/0.14 c ... done. Wall clock time 0.03s. 0.10/0.14 c declared #vars 120 0.10/0.14 c #constraints 10 0.10/0.14 c constraints type 0.10/0.14 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 10 0.10/0.14 c 10 constraints processed. 0.10/0.14 c SATISFIABLE 0.10/0.14 c OPTIMIZING... 0.10/0.14 c Got one! Elapsed wall clock time (in seconds):0.036 0.10/0.14 o 1105 0.10/0.16 c Got one! Elapsed wall clock time (in seconds):0.052 0.10/0.16 o 1104 0.10/0.16 c Got one! Elapsed wall clock time (in seconds):0.055 0.10/0.16 o 717 0.10/0.19 c Got one! Elapsed wall clock time (in seconds):0.079 0.10/0.19 o 716 0.30/0.20 c Got one! Elapsed wall clock time (in seconds):0.089 0.30/0.20 o 715 0.30/0.20 c Got one! Elapsed wall clock time (in seconds):0.094 0.30/0.20 o 714 0.30/0.20 c Got one! Elapsed wall clock time (in seconds):0.096 0.30/0.20 o 713 0.30/0.21 c Got one! Elapsed wall clock time (in seconds):0.1 0.30/0.21 o 712 0.30/0.22 c Got one! Elapsed wall clock time (in seconds):0.108 0.30/0.22 o 700 0.30/0.22 c Got one! Elapsed wall clock time (in seconds):0.112 0.30/0.22 o 697 0.30/0.22 c Got one! Elapsed wall clock time (in seconds):0.115 0.30/0.22 o 696 0.30/0.23 c Got one! Elapsed wall clock time (in seconds):0.117 0.30/0.23 o 651 0.30/0.23 c Got one! Elapsed wall clock time (in seconds):0.12 0.30/0.23 o 650 0.30/0.23 c Got one! Elapsed wall clock time (in seconds):0.123 0.30/0.23 o 648 0.30/0.23 c Got one! Elapsed wall clock time (in seconds):0.125 0.30/0.23 o 647 0.30/0.24 c Got one! Elapsed wall clock time (in seconds):0.127 0.30/0.24 o 640 0.30/0.24 c Got one! Elapsed wall clock time (in seconds):0.131 0.30/0.24 o 639 0.30/0.24 c Got one! Elapsed wall clock time (in seconds):0.134 0.30/0.24 o 637 0.30/0.24 c Got one! Elapsed wall clock time (in seconds):0.136 0.30/0.24 o 636 0.30/0.25 c Got one! Elapsed wall clock time (in seconds):0.138 0.30/0.25 o 635 0.30/0.25 c Got one! Elapsed wall clock time (in seconds):0.139 0.30/0.25 o 634 0.30/0.25 c Got one! Elapsed wall clock time (in seconds):0.141 0.30/0.25 o 633 0.30/0.25 c Got one! Elapsed wall clock time (in seconds):0.142 0.30/0.25 o 632 0.30/0.25 c Got one! Elapsed wall clock time (in seconds):0.144 0.30/0.25 o 631 0.30/0.26 c Got one! Elapsed wall clock time (in seconds):0.147 0.30/0.26 o 629 0.30/0.26 c Got one! Elapsed wall clock time (in seconds):0.149 0.30/0.26 o 628 0.30/0.26 c Got one! Elapsed wall clock time (in seconds):0.151 0.30/0.26 o 627 0.30/0.26 c Got one! Elapsed wall clock time (in seconds):0.152 0.30/0.26 o 626 0.30/0.26 c Got one! Elapsed wall clock time (in seconds):0.154 0.30/0.26 o 625 0.30/0.26 c Got one! Elapsed wall clock time (in seconds):0.156 0.30/0.26 o 624 0.30/0.27 c Got one! Elapsed wall clock time (in seconds):0.157 0.30/0.27 o 623 0.30/0.27 c Got one! Elapsed wall clock time (in seconds):0.159 0.30/0.27 o 620 0.30/0.27 c Got one! Elapsed wall clock time (in seconds):0.161 0.30/0.27 o 618 0.30/0.27 c Got one! Elapsed wall clock time (in seconds):0.163 0.30/0.27 o 617 0.30/0.27 c Got one! Elapsed wall clock time (in seconds):0.164 0.30/0.27 o 616 0.30/0.27 c Got one! Elapsed wall clock time (in seconds):0.166 0.30/0.27 o 614 0.30/0.28 c Got one! Elapsed wall clock time (in seconds):0.167 0.30/0.28 o 613 0.30/0.28 c Got one! Elapsed wall clock time (in seconds):0.169 0.30/0.28 o 610 0.30/0.28 c Got one! Elapsed wall clock time (in seconds):0.171 0.30/0.28 o 608 0.30/0.28 c Got one! Elapsed wall clock time (in seconds):0.172 0.30/0.28 o 606 0.30/0.28 c Got one! Elapsed wall clock time (in seconds):0.173 0.30/0.28 o 605 0.30/0.28 c Got one! Elapsed wall clock time (in seconds):0.174 0.30/0.28 o 603 0.30/0.28 c Got one! Elapsed wall clock time (in seconds):0.175 0.30/0.28 o 600 0.30/0.29 c Got one! Elapsed wall clock time (in seconds):0.177 0.30/0.29 o 597 0.30/0.29 c Got one! Elapsed wall clock time (in seconds):0.18 0.30/0.29 o 595 0.30/0.29 c Got one! Elapsed wall clock time (in seconds):0.181 0.30/0.29 o 592 0.30/0.29 c Got one! Elapsed wall clock time (in seconds):0.182 0.30/0.29 o 583 0.30/0.29 c Got one! Elapsed wall clock time (in seconds):0.184 0.30/0.29 o 576 0.30/0.29 c Got one! Elapsed wall clock time (in seconds):0.185 0.30/0.29 o 575 0.30/0.29 c Got one! Elapsed wall clock time (in seconds):0.186 0.30/0.29 o 574 0.30/0.29 c Got one! Elapsed wall clock time (in seconds):0.187 0.30/0.30 o 569 0.59/0.30 c Got one! Elapsed wall clock time (in seconds):0.188 0.59/0.30 o 568 0.59/0.30 c Got one! Elapsed wall clock time (in seconds):0.19 0.59/0.30 o 567 0.59/0.30 c Got one! Elapsed wall clock time (in seconds):0.191 0.59/0.30 o 566 0.59/0.30 c Got one! Elapsed wall clock time (in seconds):0.195 0.59/0.30 o 564 0.59/0.31 c Got one! Elapsed wall clock time (in seconds):0.198 0.59/0.31 o 563 0.59/0.31 c Got one! Elapsed wall clock time (in seconds):0.199 0.59/0.31 o 562 0.59/0.31 c Got one! Elapsed wall clock time (in seconds):0.2 0.59/0.31 o 559 0.59/0.31 c Got one! Elapsed wall clock time (in seconds):0.202 0.59/0.31 o 556 0.59/0.31 c Got one! Elapsed wall clock time (in seconds):0.204 0.59/0.31 o 554 0.59/0.31 c Got one! Elapsed wall clock time (in seconds):0.206 0.59/0.31 o 553 0.59/0.32 c Got one! Elapsed wall clock time (in seconds):0.208 0.59/0.32 o 551 0.59/0.32 c Got one! Elapsed wall clock time (in seconds):0.21 0.59/0.32 o 543 0.59/0.32 c Got one! Elapsed wall clock time (in seconds):0.212 0.59/0.32 o 541 0.59/0.32 c Got one! Elapsed wall clock time (in seconds):0.214 0.59/0.32 o 540 0.59/0.32 c Got one! Elapsed wall clock time (in seconds):0.215 0.59/0.32 o 539 0.59/0.32 c Got one! Elapsed wall clock time (in seconds):0.217 0.59/0.32 o 532 0.59/0.33 c Got one! Elapsed wall clock time (in seconds):0.218 0.59/0.33 o 531 0.59/0.33 c Got one! Elapsed wall clock time (in seconds):0.22 0.59/0.33 o 530 0.59/0.33 c Got one! Elapsed wall clock time (in seconds):0.221 0.59/0.33 o 527 0.59/0.33 c Got one! Elapsed wall clock time (in seconds):0.223 0.59/0.33 o 506 0.59/0.33 c Got one! Elapsed wall clock time (in seconds):0.224 0.59/0.33 o 265 0.59/0.33 c Got one! Elapsed wall clock time (in seconds):0.227 0.59/0.33 o 260 0.59/0.34 c Got one! Elapsed wall clock time (in seconds):0.229 0.59/0.34 o 259 0.59/0.34 c Got one! Elapsed wall clock time (in seconds):0.23 0.59/0.34 o 258 0.59/0.35 c Got one! Elapsed wall clock time (in seconds):0.238 0.59/0.35 o 254 0.59/0.35 c Got one! Elapsed wall clock time (in seconds):0.239 0.59/0.35 o 253 0.59/0.35 c Got one! Elapsed wall clock time (in seconds):0.24 0.59/0.35 o 252 0.59/0.35 c Got one! Elapsed wall clock time (in seconds):0.242 0.59/0.35 o 249 0.59/0.35 c Got one! Elapsed wall clock time (in seconds):0.243 0.59/0.35 o 248 0.59/0.35 c Got one! Elapsed wall clock time (in seconds):0.244 0.59/0.35 o 245 0.59/0.35 c Got one! Elapsed wall clock time (in seconds):0.245 0.59/0.35 o 244 0.59/0.35 c Got one! Elapsed wall clock time (in seconds):0.246 0.59/0.35 o 241 0.59/0.36 c Got one! Elapsed wall clock time (in seconds):0.247 0.59/0.36 o 234 0.59/0.36 c Got one! Elapsed wall clock time (in seconds):0.248 0.59/0.36 o 215 0.59/0.36 c Got one! Elapsed wall clock time (in seconds):0.249 0.59/0.36 o 214 0.59/0.36 c Got one! Elapsed wall clock time (in seconds):0.251 0.59/0.36 o 213 0.59/0.36 c Got one! Elapsed wall clock time (in seconds):0.252 0.59/0.36 o 212 0.59/0.36 c Got one! Elapsed wall clock time (in seconds):0.253 0.59/0.36 o 211 0.59/0.36 c Got one! Elapsed wall clock time (in seconds):0.254 0.59/0.36 o 204 0.59/0.36 c Got one! Elapsed wall clock time (in seconds):0.255 0.59/0.36 o 177 0.59/0.37 c Got one! Elapsed wall clock time (in seconds):0.259 0.59/0.37 o 175 0.59/0.37 c Got one! Elapsed wall clock time (in seconds):0.26 0.59/0.37 o 170 0.59/0.37 c Got one! Elapsed wall clock time (in seconds):0.264 0.59/0.37 o 169 0.59/0.37 c Got one! Elapsed wall clock time (in seconds):0.265 0.59/0.37 o 168 0.59/0.37 c Got one! Elapsed wall clock time (in seconds):0.267 0.59/0.37 o 167 0.59/0.38 c Got one! Elapsed wall clock time (in seconds):0.268 0.59/0.38 o 166 0.59/0.38 c Got one! Elapsed wall clock time (in seconds):0.269 0.59/0.38 o 165 0.59/0.38 c Got one! Elapsed wall clock time (in seconds):0.27 0.59/0.38 o 164 0.59/0.38 c Got one! Elapsed wall clock time (in seconds):0.272 0.59/0.38 o 162 0.59/0.38 c Got one! Elapsed wall clock time (in seconds):0.272 0.59/0.38 o 161 0.59/0.38 c Got one! Elapsed wall clock time (in seconds):0.274 0.59/0.38 o 160 0.59/0.38 c Got one! Elapsed wall clock time (in seconds):0.276 0.59/0.38 o 159 0.59/0.38 c Got one! Elapsed wall clock time (in seconds):0.276 0.59/0.38 o 158 0.59/0.39 c Got one! Elapsed wall clock time (in seconds):0.277 0.59/0.39 o 157 0.59/0.39 c Got one! Elapsed wall clock time (in seconds):0.278 0.59/0.39 o 156 0.59/0.39 c Got one! Elapsed wall clock time (in seconds):0.279 0.59/0.39 o 155 0.59/0.39 c Got one! Elapsed wall clock time (in seconds):0.28 0.59/0.39 o 154 0.59/0.39 c Got one! Elapsed wall clock time (in seconds):0.281 0.59/0.39 o 153 0.59/0.39 c Got one! Elapsed wall clock time (in seconds):0.281 0.59/0.39 o 152 0.59/0.39 c Got one! Elapsed wall clock time (in seconds):0.282 0.59/0.39 o 151 0.89/0.40 c Got one! Elapsed wall clock time (in seconds):0.288 0.89/0.40 o 150 0.89/0.40 c Got one! Elapsed wall clock time (in seconds):0.29 0.89/0.40 o 149 0.89/0.40 c Got one! Elapsed wall clock time (in seconds):0.291 0.89/0.40 o 148 0.89/0.40 c Got one! Elapsed wall clock time (in seconds):0.296 0.89/0.40 o 147 0.89/0.41 c Got one! Elapsed wall clock time (in seconds):0.3 0.89/0.41 o 145 0.89/0.41 c Got one! Elapsed wall clock time (in seconds):0.305 0.89/0.41 o 134 0.89/0.41 c Got one! Elapsed wall clock time (in seconds):0.306 0.89/0.41 o 133 0.89/0.42 c Got one! Elapsed wall clock time (in seconds):0.308 0.89/0.42 o 132 0.89/0.42 c Got one! Elapsed wall clock time (in seconds):0.309 0.89/0.42 o 131 0.89/0.42 c Got one! Elapsed wall clock time (in seconds):0.309 0.89/0.42 o 130 0.89/0.42 c Got one! Elapsed wall clock time (in seconds):0.311 0.89/0.42 o 129 0.89/0.42 c Got one! Elapsed wall clock time (in seconds):0.313 0.89/0.42 o 128 0.89/0.42 c Got one! Elapsed wall clock time (in seconds):0.314 0.89/0.42 o 127 0.89/0.42 c Got one! Elapsed wall clock time (in seconds):0.315 0.89/0.42 o 126 0.89/0.42 c Got one! Elapsed wall clock time (in seconds):0.316 0.89/0.42 o 125 0.89/0.42 c Got one! Elapsed wall clock time (in seconds):0.317 0.89/0.42 o 124 0.89/0.43 c Got one! Elapsed wall clock time (in seconds):0.318 0.89/0.43 o 117 0.89/0.43 c Got one! Elapsed wall clock time (in seconds):0.319 0.89/0.43 o 116 0.89/0.43 c Got one! Elapsed wall clock time (in seconds):0.319 0.89/0.43 o 115 0.89/0.43 c Got one! Elapsed wall clock time (in seconds):0.32 0.89/0.43 o 114 0.89/0.43 c Got one! Elapsed wall clock time (in seconds):0.32 0.89/0.43 o 113 0.89/0.44 c Got one! Elapsed wall clock time (in seconds):0.334 0.89/0.44 o 111 0.89/0.44 c Got one! Elapsed wall clock time (in seconds):0.335 0.89/0.44 o 110 0.89/0.44 c Got one! Elapsed wall clock time (in seconds):0.336 0.89/0.44 o 105 0.89/0.45 c Got one! Elapsed wall clock time (in seconds):0.338 0.89/0.45 o 104 0.89/0.45 c Got one! Elapsed wall clock time (in seconds):0.339 0.89/0.45 o 103 0.89/0.45 c Got one! Elapsed wall clock time (in seconds):0.342 0.89/0.45 o 101 0.89/0.45 c Got one! Elapsed wall clock time (in seconds):0.343 0.89/0.45 o 100 0.89/0.45 c Got one! Elapsed wall clock time (in seconds):0.344 0.89/0.45 o 99 0.89/0.45 c Got one! Elapsed wall clock time (in seconds):0.344 0.89/0.45 o 98 0.89/0.45 c Got one! Elapsed wall clock time (in seconds):0.345 0.89/0.45 o 85 0.89/0.45 c Got one! Elapsed wall clock time (in seconds):0.346 0.89/0.45 o 84 0.89/0.45 c Got one! Elapsed wall clock time (in seconds):0.347 0.89/0.45 o 83 0.89/0.47 c Got one! Elapsed wall clock time (in seconds):0.363 0.89/0.47 o 81 0.89/0.47 c Got one! Elapsed wall clock time (in seconds):0.364 0.89/0.47 o 80 0.89/0.47 c Got one! Elapsed wall clock time (in seconds):0.365 0.89/0.47 o 79 0.89/0.47 c Got one! Elapsed wall clock time (in seconds):0.366 0.89/0.47 o 78 0.89/0.48 c Got one! Elapsed wall clock time (in seconds):0.368 0.89/0.48 o 77 0.89/0.49 c Got one! Elapsed wall clock time (in seconds):0.377 0.89/0.49 o 75 0.89/0.49 c Got one! Elapsed wall clock time (in seconds):0.379 0.89/0.49 o 74 0.89/0.49 c Got one! Elapsed wall clock time (in seconds):0.385 0.89/0.49 o 72 0.89/0.49 c Got one! Elapsed wall clock time (in seconds):0.386 0.89/0.49 o 71 0.89/0.50 c Got one! Elapsed wall clock time (in seconds):0.387 0.89/0.50 o 70 1.09/0.50 c Got one! Elapsed wall clock time (in seconds):0.389 1.09/0.50 o 69 1.09/0.50 c Got one! Elapsed wall clock time (in seconds):0.39 1.09/0.50 o 68 1.09/0.50 c Got one! Elapsed wall clock time (in seconds):0.391 1.09/0.50 o 67 1.09/0.50 c Got one! Elapsed wall clock time (in seconds):0.392 1.09/0.50 o 66 1.09/0.50 c Got one! Elapsed wall clock time (in seconds):0.393 1.09/0.50 o 65 1.09/0.54 c Got one! Elapsed wall clock time (in seconds):0.432 1.09/0.54 o 63 1.09/0.54 c Got one! Elapsed wall clock time (in seconds):0.434 1.09/0.54 o 62 1.09/0.54 c Got one! Elapsed wall clock time (in seconds):0.435 1.09/0.54 o 61 1.09/0.57 c Got one! Elapsed wall clock time (in seconds):0.465 1.09/0.57 o 60 1.09/0.57 c Got one! Elapsed wall clock time (in seconds):0.466 1.09/0.57 o 59 1.09/0.58 c Got one! Elapsed wall clock time (in seconds):0.467 1.09/0.58 o 58 1.09/0.58 c Got one! Elapsed wall clock time (in seconds):0.468 1.09/0.58 o 57 1.19/0.61 c Got one! Elapsed wall clock time (in seconds):0.503 1.19/0.61 o 56 1.19/0.62 c Got one! Elapsed wall clock time (in seconds):0.508 1.19/0.62 o 55 1.19/0.62 c Got one! Elapsed wall clock time (in seconds):0.51 1.19/0.62 o 54 1.19/0.68 c Got one! Elapsed wall clock time (in seconds):0.567 1.19/0.68 o 53 1.19/0.68 c Got one! Elapsed wall clock time (in seconds):0.571 1.19/0.68 o 48 1.19/0.68 c Got one! Elapsed wall clock time (in seconds):0.573 1.19/0.68 o 47 1.19/0.68 c Got one! Elapsed wall clock time (in seconds):0.574 1.19/0.68 o 46 1.19/0.68 c Got one! Elapsed wall clock time (in seconds):0.576 1.19/0.68 o 43 1.19/0.69 c Got one! Elapsed wall clock time (in seconds):0.578 1.19/0.69 o 42 1.19/0.69 c Got one! Elapsed wall clock time (in seconds):0.579 1.19/0.69 o 41 1.19/0.69 c Got one! Elapsed wall clock time (in seconds):0.581 1.19/0.69 o 40 1.29/0.70 c Got one! Elapsed wall clock time (in seconds):0.594 1.29/0.70 o 38 1.42/0.84 c cleaning 5161 clauses out of 10322 with flag 3000/12718 1.76/1.12 c cleaning 5581 clauses out of 11161 with flag 9000/18718 2.06/1.43 c cleaning 6284 clauses out of 12580 with flag 16000/25718 2.28/1.61 c Got one! Elapsed wall clock time (in seconds):1.504 2.28/1.61 o 36 2.28/1.62 c Got one! Elapsed wall clock time (in seconds):1.507 2.28/1.62 o 35 2.48/1.89 c cleaning 8201 clauses out of 16408 with flag 5000/35830 2.60/1.93 c Got one! Elapsed wall clock time (in seconds):1.827 2.60/1.93 o 34 2.60/1.94 c Got one! Elapsed wall clock time (in seconds):1.829 2.60/1.94 o 33 2.60/1.94 c Got one! Elapsed wall clock time (in seconds):1.83 2.60/1.94 o 32 2.60/1.94 c Got one! Elapsed wall clock time (in seconds):1.833 2.60/1.94 o 31 2.71/2.00 c Got one! Elapsed wall clock time (in seconds):1.894 2.71/2.00 o 30 2.81/2.18 c cleaning 6697 clauses out of 13397 with flag 4002/42288 2.95/2.22 c Got one! Elapsed wall clock time (in seconds):2.113 2.95/2.22 o 29 2.95/2.25 c Got one! Elapsed wall clock time (in seconds):2.141 2.95/2.25 o 28 2.95/2.26 c Got one! Elapsed wall clock time (in seconds):2.15 2.95/2.26 o 27 2.95/2.26 c Got one! Elapsed wall clock time (in seconds):2.152 2.95/2.26 o 26 2.95/2.26 c Got one! Elapsed wall clock time (in seconds):2.153 2.95/2.26 o 25 2.95/2.26 c Got one! Elapsed wall clock time (in seconds):2.155 2.95/2.26 o 24 3.04/2.32 c Got one! Elapsed wall clock time (in seconds):2.207 3.04/2.32 o 22 3.04/2.32 c Got one! Elapsed wall clock time (in seconds):2.209 3.04/2.32 o 19 3.24/2.53 c cleaning 7073 clauses out of 14153 with flag 4001/49741 3.45/2.77 c cleaning 6538 clauses out of 13083 with flag 10004/55744 3.75/3.01 c Got one! Elapsed wall clock time (in seconds):2.906 3.75/3.01 o 18 3.75/3.02 c Got one! Elapsed wall clock time (in seconds):2.909 3.75/3.02 o 17 3.75/3.02 c Got one! Elapsed wall clock time (in seconds):2.911 3.75/3.02 o 16 3.75/3.02 c Got one! Elapsed wall clock time (in seconds):2.913 3.75/3.02 o 15 3.75/3.02 c Got one! Elapsed wall clock time (in seconds):2.915 3.75/3.02 o 14 4.06/3.35 c cleaning 8860 clauses out of 17720 with flag 5002/67223 4.35/3.64 c cleaning 7427 clauses out of 14859 with flag 11001/73222 4.66/3.99 c cleaning 7213 clauses out of 14431 with flag 18000/80221 5.07/4.34 c cleaning 7608 clauses out of 15220 with flag 26002/88223 5.48/4.74 c cleaning 8305 clauses out of 16611 with flag 35001/97222 5.80/5.03 c Got one! Elapsed wall clock time (in seconds):4.919 5.80/5.03 o 13 6.10/5.32 c cleaning 9791 clauses out of 19589 with flag 5000/108505 6.42/5.63 c cleaning 7898 clauses out of 15799 with flag 11001/114506 6.74/5.95 c cleaning 7447 clauses out of 14900 with flag 18000/121505 7.06/6.28 c cleaning 7724 clauses out of 15454 with flag 26001/129506 7.57/6.71 c cleaning 8359 clauses out of 16730 with flag 35001/138506 7.98/7.18 c cleaning 9179 clauses out of 18372 with flag 45002/148507 8.49/7.69 c cleaning 10092 clauses out of 20191 with flag 56000/159505 9.19/8.35 c cleaning 11051 clauses out of 22102 with flag 68003/171508 9.90/9.08 c cleaning 12024 clauses out of 24048 with flag 81000/184505 10.70/9.83 c cleaning 13012 clauses out of 26024 with flag 95000/198505 10.92/10.04 c Got one! Elapsed wall clock time (in seconds):9.93 10.92/10.04 o 11 11.02/10.13 c cleaning 9074 clauses out of 18160 with flag 1001/203653 11.02/10.15 c Got one! Elapsed wall clock time (in seconds):10.037 11.02/10.15 o 10 11.02/10.15 c Got one! Elapsed wall clock time (in seconds):10.039 11.02/10.15 o 9 11.02/10.15 c Got one! Elapsed wall clock time (in seconds):10.041 11.02/10.15 o 8 11.23/10.37 c cleaning 7051 clauses out of 14104 with flag 5001/208716 11.54/10.61 c cleaning 6525 clauses out of 13055 with flag 11003/214718 11.87/10.93 c cleaning 6758 clauses out of 13528 with flag 18001/221716 12.16/11.29 c cleaning 7382 clauses out of 14769 with flag 26000/229715 12.56/11.68 c cleaning 8191 clauses out of 16387 with flag 35000/238715 13.17/12.20 c cleaning 9098 clauses out of 18198 with flag 45002/248717 13.67/12.78 c cleaning 10041 clauses out of 20098 with flag 56000/259715 14.38/13.43 c cleaning 11029 clauses out of 22060 with flag 68003/271718 15.08/14.14 c cleaning 12011 clauses out of 24029 with flag 81001/284716 15.89/14.91 c cleaning 13007 clauses out of 26018 with flag 95001/298716 16.80/15.83 c cleaning 14003 clauses out of 28011 with flag 110001/313716 17.82/16.83 c cleaning 15004 clauses out of 30010 with flag 126003/329718 18.92/17.97 c cleaning 15998 clauses out of 32004 with flag 143001/346716 19.94/18.97 c Got one! Elapsed wall clock time (in seconds):18.863 19.94/18.97 o 6 20.44/19.49 c cleaning 17750 clauses out of 35501 with flag 5002/366211 20.97/19.90 c cleaning 11875 clauses out of 23749 with flag 11000/372209 21.28/20.25 c cleaning 9436 clauses out of 18875 with flag 18001/379210 21.68/20.68 c cleaning 8718 clauses out of 17438 with flag 26000/387209 22.20/21.17 c cleaning 8857 clauses out of 17722 with flag 35002/396211 22.70/21.63 c cleaning 9430 clauses out of 18867 with flag 45004/406213 23.22/22.14 c Got one! Elapsed wall clock time (in seconds):22.035 23.22/22.14 o 5 23.62/22.53 c cleaning 12529 clauses out of 25064 with flag 5000/421840 23.95/22.86 c cleaning 9262 clauses out of 18535 with flag 11000/427840 24.27/23.17 c cleaning 8130 clauses out of 16274 with flag 18001/434841 24.67/23.55 c cleaning 8065 clauses out of 16146 with flag 26003/442843 25.07/23.95 c cleaning 8540 clauses out of 17081 with flag 35003/451843 25.59/24.42 c cleaning 9267 clauses out of 18540 with flag 45002/461842 26.19/25.04 c cleaning 10134 clauses out of 20271 with flag 56000/472840 26.79/25.62 c cleaning 11067 clauses out of 22139 with flag 68002/484842 27.50/26.31 c cleaning 12034 clauses out of 24072 with flag 81002/497842 28.20/27.08 c cleaning 13017 clauses out of 26037 with flag 95001/511841 29.01/27.84 c cleaning 14007 clauses out of 28022 with flag 110003/526843 29.82/28.64 c cleaning 15005 clauses out of 30012 with flag 126000/542840 30.72/29.57 c cleaning 15995 clauses out of 32007 with flag 143000/559840 31.83/30.66 c cleaning 17004 clauses out of 34013 with flag 161001/577841 33.14/31.97 c cleaning 18004 clauses out of 36008 with flag 180000/596840 34.54/33.32 c cleaning 18999 clauses out of 38006 with flag 200002/616842 35.85/34.67 c cleaning 19998 clauses out of 40005 with flag 221000/637840 37.25/36.02 c cleaning 21003 clauses out of 42007 with flag 243000/659840 38.68/37.45 c cleaning 22001 clauses out of 44006 with flag 266002/682842 40.28/39.09 c cleaning 22998 clauses out of 46003 with flag 290000/706840 41.78/40.60 c cleaning 23996 clauses out of 48006 with flag 315001/731841 43.69/42.45 c cleaning 25000 clauses out of 50009 with flag 341000/757840 45.71/44.41 c cleaning 25998 clauses out of 52010 with flag 368001/784841 47.82/46.51 c cleaning 27001 clauses out of 54011 with flag 396000/812840 50.12/48.89 c cleaning 28001 clauses out of 56011 with flag 425001/841841 52.94/51.65 c cleaning 29007 clauses out of 58014 with flag 455005/871845 55.84/54.51 c cleaning 30000 clauses out of 60004 with flag 486002/902842 56.84/55.50 c Got one! Elapsed wall clock time (in seconds):55.394 56.84/55.50 o 4 57.54/56.26 c cleaning 25316 clauses out of 50640 with flag 5001/923494 57.96/56.66 c cleaning 15658 clauses out of 31323 with flag 11000/929493 58.37/57.06 c cleaning 11331 clauses out of 22665 with flag 18000/936493 58.77/57.43 c cleaning 9663 clauses out of 19336 with flag 26002/944495 59.17/57.81 c cleaning 9331 clauses out of 18671 with flag 35000/953493 59.57/58.29 c cleaning 9669 clauses out of 19344 with flag 45004/963497 60.17/58.86 c cleaning 10336 clauses out of 20674 with flag 56003/974496 60.87/59.51 c cleaning 11164 clauses out of 22335 with flag 68000/986493 61.57/60.22 c cleaning 12085 clauses out of 24171 with flag 81000/999493 62.37/61.03 c cleaning 13045 clauses out of 26089 with flag 95003/1013496 63.28/61.93 c cleaning 14017 clauses out of 28043 with flag 110002/1028495 64.28/62.94 c cleaning 15009 clauses out of 30024 with flag 126000/1044493 65.40/64.01 c cleaning 16002 clauses out of 32015 with flag 143000/1061493 66.40/65.09 c cleaning 17006 clauses out of 34013 with flag 161000/1079493 67.70/66.38 c cleaning 18003 clauses out of 36009 with flag 180002/1098495 69.12/67.74 c cleaning 18998 clauses out of 38004 with flag 200000/1118493 70.64/69.24 c cleaning 20001 clauses out of 40006 with flag 221000/1139493 72.35/70.91 c cleaning 20999 clauses out of 42005 with flag 243000/1161493 73.95/72.57 c cleaning 21997 clauses out of 44007 with flag 266001/1184494 75.86/74.40 c cleaning 23004 clauses out of 46009 with flag 290000/1208493 77.78/76.39 c cleaning 23999 clauses out of 48006 with flag 315001/1233494 80.11/78.66 c cleaning 25003 clauses out of 50007 with flag 341001/1259494 82.31/80.88 c cleaning 26000 clauses out of 52003 with flag 368000/1286493 84.92/83.44 c cleaning 26999 clauses out of 54003 with flag 396000/1314493 87.93/86.49 c cleaning 27997 clauses out of 56006 with flag 425002/1343495 91.05/89.58 c cleaning 29004 clauses out of 58007 with flag 455000/1373493 93.98/92.49 c cleaning 30001 clauses out of 60003 with flag 486000/1404493 96.68/95.12 c cleaning 30998 clauses out of 62002 with flag 518000/1436493 99.91/98.38 c cleaning 31999 clauses out of 64006 with flag 551002/1469495 103.33/101.73 c cleaning 33002 clauses out of 66006 with flag 585001/1503494 106.93/105.31 c cleaning 33998 clauses out of 68004 with flag 620001/1538494 110.15/108.58 c cleaning 35000 clauses out of 70005 with flag 656000/1574493 113.17/111.52 c cleaning 36003 clauses out of 72005 with flag 693000/1611493 116.68/115.03 c cleaning 36997 clauses out of 74003 with flag 731001/1649494 121.89/120.24 c cleaning 38001 clauses out of 76008 with flag 770003/1688496 126.00/124.38 c cleaning 38997 clauses out of 78005 with flag 810001/1728494 129.80/128.11 c cleaning 39997 clauses out of 80008 with flag 851001/1769494 134.72/133.10 c cleaning 41003 clauses out of 82012 with flag 893002/1811495 139.54/137.83 c cleaning 42002 clauses out of 84008 with flag 936001/1854494 143.95/142.28 c cleaning 43001 clauses out of 86008 with flag 980003/1898496 148.56/146.80 c cleaning 43998 clauses out of 88004 with flag 1025000/1943493 152.78/151.05 c cleaning 45001 clauses out of 90008 with flag 1071002/1989495 159.70/157.96 c cleaning 46001 clauses out of 92005 with flag 1118000/2036493 166.62/164.81 c cleaning 47004 clauses out of 94007 with flag 1166003/2084496 171.83/170.07 c cleaning 47992 clauses out of 96001 with flag 1215001/2133494 176.66/174.85 c cleaning 49001 clauses out of 98009 with flag 1265001/2183494 182.38/180.55 c cleaning 50002 clauses out of 100007 with flag 1316000/2234493 188.31/186.41 c cleaning 50996 clauses out of 102006 with flag 1368001/2286494 194.84/192.94 c cleaning 52001 clauses out of 104010 with flag 1421001/2339494 201.36/199.44 c cleaning 53000 clauses out of 106008 with flag 1475000/2393493 208.40/206.49 c cleaning 53998 clauses out of 108009 with flag 1530001/2448494 215.43/213.43 c cleaning 55000 clauses out of 110012 with flag 1586002/2504495 222.36/220.36 c cleaning 56005 clauses out of 112010 with flag 1643000/2561493 229.87/227.81 c cleaning 57003 clauses out of 114006 with flag 1701001/2619494 236.58/234.54 c cleaning 57996 clauses out of 116003 with flag 1760001/2678494 243.70/241.66 c cleaning 59000 clauses out of 118007 with flag 1820001/2738494 251.23/249.13 c cleaning 60004 clauses out of 120008 with flag 1881002/2799495 257.98/255.80 c cleaning 60999 clauses out of 122003 with flag 1943001/2861494 265.40/263.23 c cleaning 62001 clauses out of 124004 with flag 2006001/2924494 274.02/271.84 c cleaning 63000 clauses out of 126002 with flag 2070000/2988493 286.34/284.10 c cleaning 63999 clauses out of 128004 with flag 2135002/3053495 296.05/293.82 c cleaning 65000 clauses out of 130005 with flag 2201002/3119495 306.06/303.87 c cleaning 65995 clauses out of 132003 with flag 2268000/3186493 315.37/313.16 c cleaning 67002 clauses out of 134009 with flag 2336001/3254494 326.13/323.83 c cleaning 68005 clauses out of 136009 with flag 2405003/3323496 338.35/336.06 c cleaning 68996 clauses out of 138002 with flag 2475001/3393494 347.57/345.27 c cleaning 69998 clauses out of 140005 with flag 2546000/3464493 357.49/355.10 c cleaning 71002 clauses out of 142007 with flag 2618000/3536493 366.51/364.12 c cleaning 71996 clauses out of 144005 with flag 2691000/3609493 376.21/373.87 c cleaning 73001 clauses out of 146009 with flag 2765000/3683493 388.24/385.81 c cleaning 74002 clauses out of 148010 with flag 2840002/3758495 399.79/397.33 c cleaning 75003 clauses out of 150010 with flag 2916004/3834497 411.40/409.00 c cleaning 75999 clauses out of 152003 with flag 2993000/3911493 423.72/421.22 c cleaning 76999 clauses out of 154006 with flag 3071002/3989495 435.73/433.26 c cleaning 78003 clauses out of 156005 with flag 3150000/4068493 448.87/446.33 c cleaning 78997 clauses out of 158003 with flag 3230001/4148494 462.19/459.62 c cleaning 80003 clauses out of 160008 with flag 3311003/4229496 475.40/472.89 c cleaning 80999 clauses out of 162002 with flag 3393000/4311493 486.34/483.78 c Got one! Elapsed wall clock time (in seconds):483.673 486.34/483.78 o 2 490.04/487.46 c cleaning 83260 clauses out of 166527 with flag 5000/4397018 491.17/488.55 c cleaning 44630 clauses out of 89268 with flag 11001/4403019 491.79/489.13 c cleaning 25816 clauses out of 51638 with flag 18001/4410019 492.20/489.59 c cleaning 16901 clauses out of 33821 with flag 26000/4418018 492.72/490.04 c cleaning 12953 clauses out of 25921 with flag 35001/4427019 493.24/490.50 c cleaning 11476 clauses out of 22967 with flag 45000/4437018 493.64/490.97 c cleaning 11237 clauses out of 22492 with flag 56001/4448019 494.14/491.46 c cleaning 11626 clauses out of 23255 with flag 68001/4460019 494.86/492.12 c cleaning 12313 clauses out of 24628 with flag 81000/4473018 495.67/492.95 c cleaning 13154 clauses out of 26316 with flag 95001/4487019 496.58/493.88 c cleaning 14073 clauses out of 28161 with flag 110000/4502018 497.39/494.64 c cleaning 15043 clauses out of 30089 with flag 126001/4518019 498.41/495.65 c cleaning 16020 clauses out of 32048 with flag 143003/4535021 499.45/496.62 c cleaning 17013 clauses out of 34025 with flag 161000/4553018 500.65/497.83 c cleaning 18004 clauses out of 36014 with flag 180002/4572020 502.08/499.26 c cleaning 19001 clauses out of 38008 with flag 200000/4592018 503.69/500.85 c cleaning 20004 clauses out of 40010 with flag 221003/4613021 505.11/502.26 c cleaning 21002 clauses out of 42004 with flag 243001/4635019 506.74/503.88 c cleaning 22001 clauses out of 44001 with flag 266000/4658018 508.45/505.58 c cleaning 22995 clauses out of 46000 with flag 290000/4682018 510.28/507.35 c cleaning 24000 clauses out of 48005 with flag 315000/4707018 512.30/509.37 c cleaning 24995 clauses out of 50007 with flag 341002/4733020 514.51/511.57 c cleaning 26006 clauses out of 52012 with flag 368002/4760020 516.81/513.83 c cleaning 27000 clauses out of 54006 with flag 396002/4788020 518.72/515.73 c cleaning 28000 clauses out of 56005 with flag 425001/4817019 521.03/518.06 c cleaning 28995 clauses out of 58004 with flag 455000/4847018 523.53/520.52 c cleaning 30001 clauses out of 60009 with flag 486000/4878018 526.04/523.10 c cleaning 31002 clauses out of 62008 with flag 518000/4910018 528.66/525.61 c cleaning 31998 clauses out of 64008 with flag 551002/4943020 531.76/528.70 c cleaning 33003 clauses out of 66011 with flag 585003/4977021 534.57/531.55 c cleaning 34003 clauses out of 68005 with flag 620000/5012018 538.18/535.12 c cleaning 34997 clauses out of 70003 with flag 656001/5048019 542.30/539.26 c cleaning 36002 clauses out of 72006 with flag 693001/5085019 546.91/543.83 c cleaning 37001 clauses out of 74003 with flag 731000/5123018 550.93/547.81 c cleaning 37998 clauses out of 76002 with flag 770000/5162018 554.53/551.41 c cleaning 39004 clauses out of 78010 with flag 810006/5202024 558.35/555.27 c cleaning 39995 clauses out of 80001 with flag 851001/5243019 562.87/559.72 c cleaning 41002 clauses out of 82005 with flag 893000/5285018 567.00/563.82 c cleaning 41998 clauses out of 84003 with flag 936000/5328018 571.60/568.42 c cleaning 43000 clauses out of 86006 with flag 980001/5372019 576.52/573.31 c cleaning 43998 clauses out of 88005 with flag 1025000/5417018 582.02/578.83 c cleaning 45004 clauses out of 90008 with flag 1071001/5463019 587.03/583.86 c cleaning 45999 clauses out of 92003 with flag 1118000/5510018 593.54/590.36 c cleaning 47000 clauses out of 94004 with flag 1166000/5558018 599.55/596.38 c cleaning 47998 clauses out of 96005 with flag 1215001/5607019 606.06/602.89 c cleaning 49003 clauses out of 98006 with flag 1265000/5657018 612.96/609.79 c cleaning 49997 clauses out of 100004 with flag 1316001/5708019 619.36/616.19 c cleaning 51004 clauses out of 102007 with flag 1368001/5760019 627.07/623.89 c cleaning 52000 clauses out of 104005 with flag 1421003/5813021 633.38/630.17 c cleaning 52998 clauses out of 106003 with flag 1475001/5867019 640.99/637.71 c cleaning 54000 clauses out of 108005 with flag 1530001/5922019 649.20/645.96 c cleaning 54997 clauses out of 110006 with flag 1586002/5978020 656.22/652.95 c cleaning 56000 clauses out of 112008 with flag 1643001/6035019 663.43/660.18 c cleaning 56998 clauses out of 114008 with flag 1701001/6093019 670.64/667.35 c cleaning 58000 clauses out of 116010 with flag 1760001/6152019 678.46/675.16 c cleaning 59000 clauses out of 118009 with flag 1820000/6212018 686.26/682.92 c cleaning 60000 clauses out of 120009 with flag 1881000/6273018 693.79/690.49 c cleaning 61002 clauses out of 122009 with flag 1943000/6335018 701.95/698.57 c cleaning 62004 clauses out of 124009 with flag 2006002/6398020 710.55/707.11 c cleaning 63001 clauses out of 126003 with flag 2070000/6462018 720.05/716.65 c cleaning 63998 clauses out of 128003 with flag 2135001/6527019 730.46/727.06 c cleaning 65003 clauses out of 130005 with flag 2201001/6593019 741.60/738.16 c cleaning 65999 clauses out of 132001 with flag 2268000/6660018 752.42/748.91 c cleaning 66999 clauses out of 134004 with flag 2336002/6728020 762.75/759.20 c cleaning 67999 clauses out of 136005 with flag 2405002/6797020 774.78/771.28 c cleaning 69001 clauses out of 138004 with flag 2475000/6867018 786.09/782.58 c cleaning 70001 clauses out of 140003 with flag 2546000/6938018 797.63/794.03 c cleaning 70999 clauses out of 142004 with flag 2618002/7010020 808.56/804.93 c cleaning 71998 clauses out of 144003 with flag 2691000/7083018 819.27/815.65 c cleaning 72997 clauses out of 146005 with flag 2765000/7157018 832.13/828.41 c cleaning 74004 clauses out of 148009 with flag 2840001/7232019 843.85/840.11 c cleaning 75002 clauses out of 150004 with flag 2916000/7308018 854.86/851.11 c cleaning 75993 clauses out of 152003 with flag 2993001/7385019 866.97/863.28 c cleaning 77005 clauses out of 154012 with flag 3071003/7463021 878.07/874.32 c cleaning 78000 clauses out of 156004 with flag 3150000/7542018 888.69/884.94 c cleaning 79001 clauses out of 158007 with flag 3230003/7622021 900.20/896.49 c cleaning 79995 clauses out of 160004 with flag 3311001/7703019 915.41/911.64 c cleaning 81000 clauses out of 162009 with flag 3393001/7785019 930.46/926.65 c cleaning 82005 clauses out of 164009 with flag 3476001/7868019 947.26/943.42 c cleaning 83000 clauses out of 166003 with flag 3560000/7952018 962.20/958.39 c cleaning 83999 clauses out of 168004 with flag 3645001/8037019 976.83/972.98 c cleaning 84998 clauses out of 170004 with flag 3731000/8123018 995.54/991.60 c cleaning 85998 clauses out of 172006 with flag 3818000/8210018 1010.52/1006.59 c cleaning 86999 clauses out of 174008 with flag 3906000/8298018 1025.07/1021.07 c cleaning 87999 clauses out of 176009 with flag 3995000/8387018 1040.30/1036.22 c cleaning 89005 clauses out of 178012 with flag 4085002/8477020 1059.51/1055.44 c cleaning 89997 clauses out of 180005 with flag 4176000/8568018 1077.54/1073.42 c cleaning 90998 clauses out of 182008 with flag 4268000/8660018 1097.29/1093.11 c cleaning 92002 clauses out of 184011 with flag 4361001/8753019 1115.93/1111.70 c cleaning 93004 clauses out of 186011 with flag 4455003/8847021 1134.03/1129.88 c cleaning 93994 clauses out of 188005 with flag 4550001/8942019 1148.85/1144.62 c cleaning 94998 clauses out of 190011 with flag 4646001/9038019 1165.15/1160.98 c cleaning 96001 clauses out of 192013 with flag 4743001/9135019 1181.56/1177.37 c cleaning 97002 clauses out of 194011 with flag 4841000/9233018 1200.41/1196.18 c cleaning 97999 clauses out of 196009 with flag 4940000/9332018 1223.14/1218.85 c cleaning 99002 clauses out of 198011 with flag 5040001/9432019 1247.11/1242.75 c cleaning 100000 clauses out of 200008 with flag 5141000/9533018 1272.31/1267.98 c cleaning 101001 clauses out of 202008 with flag 5243000/9635018 1302.05/1297.68 c cleaning 101999 clauses out of 204008 with flag 5346001/9738019 1328.40/1323.98 c cleaning 103002 clauses out of 206010 with flag 5450002/9842020 1355.05/1350.53 c cleaning 103995 clauses out of 208007 with flag 5555001/9947019 1382.28/1377.76 c cleaning 105005 clauses out of 210013 with flag 5661002/10053020 1420.72/1416.10 c cleaning 106000 clauses out of 212007 with flag 5768001/10160019 1457.33/1452.74 c cleaning 106997 clauses out of 214008 with flag 5876002/10268020 1486.46/1481.84 c cleaning 107998 clauses out of 216009 with flag 5985000/10377018 1516.58/1511.96 c cleaning 109004 clauses out of 218011 with flag 6095000/10487018 1544.12/1539.43 c cleaning 110000 clauses out of 220010 with flag 6206003/10598021 1578.64/1573.94 c cleaning 110997 clauses out of 222007 with flag 6318000/10710018 1611.17/1606.48 c cleaning 111998 clauses out of 224010 with flag 6431000/10823018 1644.00/1639.29 c cleaning 113003 clauses out of 226012 with flag 6545000/10937018 1680.44/1675.65 c cleaning 114001 clauses out of 228010 with flag 6660001/11052019 1704.08/1699.28 c cleaning 114998 clauses out of 230010 with flag 6776002/11168020 1728.33/1723.48 c cleaning 115999 clauses out of 232011 with flag 6893001/11285019 1753.86/1748.90 c cleaning 117001 clauses out of 234011 with flag 7011000/11403018 1778.22/1773.24 c cleaning 118003 clauses out of 236010 with flag 7130000/11522018 1800.05/1795.01 c starts : 530 1800.05/1795.01 c conflicts : 11639315 1800.05/1795.01 c decisions : 11749663 1800.05/1795.01 c propagations : 79033994 1800.05/1795.01 c inspects : 26504854978 1800.05/1795.01 c shortcuts : 0 1800.05/1795.01 c learnt literals : 0 1800.05/1795.01 c learnt binary clauses : 0 1800.05/1795.01 c learnt ternary clauses : 0 1800.05/1795.01 c learnt constraints : 11639316 1800.05/1795.01 c ignored constraints : 0 1800.05/1795.01 c root simplifications : 530 1800.05/1795.01 c removed literals (reason simplification) : 85719313 1800.05/1795.01 c reason swapping (by a shorter reason) : 0 1800.05/1795.01 c Calls to reduceDB : 262 1800.05/1795.01 c number of reductions to clauses (during analyze) : 0 1800.05/1795.01 c number of learned constraints concerned by reduction : 0 1800.05/1795.01 c number of learning phase by resolution : 0 1800.05/1795.01 c number of learning phase by cutting planes : 0 1800.05/1795.01 c speed (assignments/second) : 44033.321113307495 1800.05/1795.01 c non guided choices 113 1800.05/1795.04 c learnt constraints type 1800.05/1795.04 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 235374 1800.05/1795.04 c constraints type 1800.05/1795.04 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 11 1800.05/1795.04 c 11 constraints processed. 1800.05/1795.04 s SATISFIABLE 1800.05/1795.04 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 x83 x84 -x85 x86 -x87 -x88 -x89 x90 x91 x92 -x93 x94 -x95 -x96 x97 -x98 x99 x100 -x101 -x102 x103 -x104 -x105 x106 -x107 x108 -x109 -x110 -x111 x112 -x113 -x114 x115 x116 x117 -x118 x119 x120 1800.05/1795.04 c objective function=2 1800.05/1795.04 c Total wall clock time (in seconds): 1794.933
OK 2
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3710829-1338154948/watcher-3710829-1338154948 -o /tmp/evaluation-result-3710829-1338154948/solver-3710829-1338154948 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710829-1338154948.opb 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.06 2.06 2.01 9/192 25293 /proc/meminfo: memFree=28642048/32873624 swapFree=7104/7104 [pid=25293] ppid=25291 vsize=23236 CPUtime=0 cores=1,3,5,7 /proc/25293/stat : 25293 (java) R 25291 25293 21372 0 -1 4202496 1050 0 0 0 0 0 0 0 20 0 1 0 281620279 23793664 778 33554432000 1073741824 1073778376 140733944681664 140733944670728 140665260673504 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/25293/statm: 5809 798 593 9 0 128 0 [startup+0.078822 s] /proc/loadavg: 2.06 2.06 2.01 9/192 25293 /proc/meminfo: memFree=28642048/32873624 swapFree=7104/7104 [pid=25293] ppid=25291 vsize=9558440 CPUtime=0.06 cores=1,3,5,7 /proc/25293/stat : 25293 (java) S 25291 25293 21372 0 -1 4202496 3825 0 1 0 6 0 0 0 20 0 18 0 281620279 9787842560 5035 33554432000 1073741824 1073778376 140733944681664 140733944672800 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/25293/statm: 2389610 5037 2024 9 0 2380296 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 9558440 [startup+0.100179 s] /proc/loadavg: 2.06 2.06 2.01 9/192 25293 /proc/meminfo: memFree=28642048/32873624 swapFree=7104/7104 [pid=25293] ppid=25291 vsize=9558440 CPUtime=0.1 cores=1,3,5,7 /proc/25293/stat : 25293 (java) S 25291 25293 21372 0 -1 4202496 4372 0 1 0 9 1 0 0 20 0 18 0 281620279 9787842560 6091 33554432000 1073741824 1073778376 140733944681664 140733944672800 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/25293/statm: 2389610 6091 2131 9 0 2380296 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558440 [startup+0.300155 s] /proc/loadavg: 2.06 2.06 2.01 9/192 25293 /proc/meminfo: memFree=28642048/32873624 swapFree=7104/7104 [pid=25293] ppid=25291 vsize=9625984 CPUtime=0.59 cores=1,3,5,7 /proc/25293/stat : 25293 (java) S 25291 25293 21372 0 -1 4202496 9307 0 1 0 57 2 0 0 20 0 19 0 281620279 9857007616 10182 33554432000 1073741824 1073778376 140733944681664 140733944672800 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/25293/statm: 2406496 10182 2227 9 0 2397182 0 Current children cumulated CPU time (s) 0.59 Current children cumulated vsize (KiB) 9625984 [startup+0.700219 s] /proc/loadavg: 2.06 2.06 2.01 9/192 25293 /proc/meminfo: memFree=28642048/32873624 swapFree=7104/7104 [pid=25293] ppid=25291 vsize=9625004 CPUtime=1.29 cores=1,3,5,7 /proc/25293/stat : 25293 (java) S 25291 25293 21372 0 -1 4202496 11137 0 1 0 127 2 0 0 20 0 19 0 281620279 9856004096 11199 33554432000 1073741824 1073778376 140733944681664 140733944672800 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/25293/statm: 2406251 11199 2240 9 0 2396937 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 9625004 [startup+1.50059 s] /proc/loadavg: 2.21 2.09 2.02 3/211 25312 /proc/meminfo: memFree=28599532/32873624 swapFree=7104/7104 [pid=25293] ppid=25291 vsize=9625004 CPUtime=2.18 cores=1,3,5,7 /proc/25293/stat : 25293 (java) S 25291 25293 21372 0 -1 4202496 11395 0 1 0 215 3 0 0 20 0 19 0 281620279 9856004096 13825 33554432000 1073741824 1073778376 140733944681664 140733944672800 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/25293/statm: 2406251 13825 2277 9 0 2396937 0 [pid=25293/tid=25295] ppid=25291 vsize=9625004 CPUtime=1.44 cores=1,3,5,7 /proc/25293/task/25295/stat : 25295 (java) R 25291 25293 21372 0 -1 4202560 2525 0 1 0 143 1 0 0 20 0 19 0 281620280 9856004096 13825 33554432000 1073741824 1073778376 140733944681664 140665257435560 140665094899204 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=25293/tid=25296] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25296/stat : 25296 (java) S 25291 25293 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281620281 9856004096 13825 33554432000 1073741824 1073778376 140733944681664 140665218927016 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25293/tid=25297] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25297/stat : 25297 (java) S 25291 25293 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281620281 9856004096 13825 33554432000 1073741824 1073778376 140733944681664 140665217874472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25293/tid=25298] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25298/stat : 25298 (java) S 25291 25293 21372 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281620281 9856004096 13825 33554432000 1073741824 1073778376 140733944681664 140665216821416 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25293/tid=25299] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25299/stat : 25299 (java) S 25291 25293 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281620281 9856004096 13825 33554432000 1073741824 1073778376 140733944681664 140665215768872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25293/tid=25300] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25300/stat : 25300 (java) S 25291 25293 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281620281 9856004096 13825 33554432000 1073741824 1073778376 140733944681664 140665214716840 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25293/tid=25301] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25301/stat : 25301 (java) S 25291 25293 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281620281 9856004096 13825 33554432000 1073741824 1073778376 140733944681664 140665213664296 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25293/tid=25302] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25302/stat : 25302 (java) S 25291 25293 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281620281 9856004096 13825 33554432000 1073741824 1073778376 140733944681664 140665094662824 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25303] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25303/stat : 25303 (java) S 25291 25293 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281620281 9856004096 13825 33554432000 1073741824 1073778376 140733944681664 140665093610280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25304] ppid=25291 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/25293/task/25304/stat : 25304 (java) S 25291 25293 21372 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 281620282 9856004096 13825 33554432000 1073741824 1073778376 140733944681664 140665081411944 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25305] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25305/stat : 25305 (java) S 25291 25293 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281620282 9856004096 13825 33554432000 1073741824 1073778376 140733944681664 140665080358264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25306] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25306/stat : 25306 (java) S 25291 25293 21372 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281620282 9856004096 13825 33554432000 1073741824 1073778376 140733944681664 140665079305096 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25307] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25307/stat : 25307 (java) S 25291 25293 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281620284 9856004096 13825 33554432000 1073741824 1073778376 140733944681664 140664339687696 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25308] ppid=25291 vsize=9625004 CPUtime=0.34 cores=1,3,5,7 /proc/25293/task/25308/stat : 25308 (java) S 25291 25293 21372 0 -1 4202560 3461 0 0 0 34 0 0 0 20 0 19 0 281620284 9856004096 13825 33554432000 1073741824 1073778376 140733944681664 140664338635576 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25309] ppid=25291 vsize=9625004 CPUtime=0.31 cores=1,3,5,7 /proc/25293/task/25309/stat : 25309 (java) S 25291 25293 21372 0 -1 4202560 4156 0 0 0 31 0 0 0 20 0 19 0 281620284 9856004096 13825 33554432000 1073741824 1073778376 140733944681664 140664337583032 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25310] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25310/stat : 25310 (java) S 25291 25293 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281620284 9856004096 13825 33554432000 1073741824 1073778376 140733944681664 140664336530168 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25311] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25311/stat : 25311 (java) S 25291 25293 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281620284 9856004096 13825 33554432000 1073741824 1073778376 140733944681664 140664335477832 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25293/tid=25312] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25312/stat : 25312 (java) S 25291 25293 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281620294 9856004096 13825 33554432000 1073741824 1073778376 140733944681664 140664334423080 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.18 Current children cumulated vsize (KiB) 9625004 [startup+3.10065 s] /proc/loadavg: 2.21 2.09 2.02 3/211 25312 /proc/meminfo: memFree=28595188/32873624 swapFree=7104/7104 [pid=25293] ppid=25291 vsize=9625004 CPUtime=3.85 cores=1,3,5,7 /proc/25293/stat : 25293 (java) S 25291 25293 21372 0 -1 4202496 11605 0 1 0 382 3 0 0 20 0 19 0 281620279 9856004096 13844 33554432000 1073741824 1073778376 140733944681664 140733944672800 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/25293/statm: 2406251 13844 2278 9 0 2396937 0 [pid=25293/tid=25295] ppid=25291 vsize=9625004 CPUtime=2.98 cores=1,3,5,7 /proc/25293/task/25295/stat : 25295 (java) R 25291 25293 21372 0 -1 4202560 2528 0 1 0 297 1 0 0 20 0 19 0 281620280 9856004096 13844 33554432000 1073741824 1073778376 140733944681664 140665257427392 140665095115496 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=25293/tid=25296] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25296/stat : 25296 (java) S 25291 25293 21372 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281620281 9856004096 13844 33554432000 1073741824 1073778376 140733944681664 140665218927016 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25293/tid=25297] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25297/stat : 25297 (java) S 25291 25293 21372 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281620281 9856004096 13844 33554432000 1073741824 1073778376 140733944681664 140665217874472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25293/tid=25298] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25298/stat : 25298 (java) S 25291 25293 21372 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281620281 9856004096 13844 33554432000 1073741824 1073778376 140733944681664 140665216821416 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25299] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25299/stat : 25299 (java) S 25291 25293 21372 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 281620281 9856004096 13844 33554432000 1073741824 1073778376 140733944681664 140665215768872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25300] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25300/stat : 25300 (java) S 25291 25293 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281620281 9856004096 13844 33554432000 1073741824 1073778376 140733944681664 140665214716840 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25301] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25301/stat : 25301 (java) S 25291 25293 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281620281 9856004096 13844 33554432000 1073741824 1073778376 140733944681664 140665213664296 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25302] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25302/stat : 25302 (java) S 25291 25293 21372 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281620281 9856004096 13844 33554432000 1073741824 1073778376 140733944681664 140665094662824 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25303] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25303/stat : 25303 (java) S 25291 25293 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281620281 9856004096 13844 33554432000 1073741824 1073778376 140733944681664 140665093610280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25304] ppid=25291 vsize=9625004 CPUtime=0.05 cores=1,3,5,7 /proc/25293/task/25304/stat : 25304 (java) S 25291 25293 21372 0 -1 4202560 34 0 0 0 5 0 0 0 20 0 19 0 281620282 9856004096 13844 33554432000 1073741824 1073778376 140733944681664 140665081411944 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25293/tid=25305] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25305/stat : 25305 (java) S 25291 25293 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281620282 9856004096 13844 33554432000 1073741824 1073778376 140733944681664 140665080358264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25306] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25306/stat : 25306 (java) S 25291 25293 21372 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281620282 9856004096 13844 33554432000 1073741824 1073778376 140733944681664 140665079305096 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25307] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25307/stat : 25307 (java) S 25291 25293 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281620284 9856004096 13844 33554432000 1073741824 1073778376 140733944681664 140664339687696 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25308] ppid=25291 vsize=9625004 CPUtime=0.37 cores=1,3,5,7 /proc/25293/task/25308/stat : 25308 (java) S 25291 25293 21372 0 -1 4202560 3650 0 0 0 37 0 0 0 20 0 19 0 281620284 9856004096 13844 33554432000 1073741824 1073778376 140733944681664 140664338635576 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25309] ppid=25291 vsize=9625004 CPUtime=0.31 cores=1,3,5,7 /proc/25293/task/25309/stat : 25309 (java) S 25291 25293 21372 0 -1 4202560 4156 0 0 0 31 0 0 0 20 0 19 0 281620284 9856004096 13844 33554432000 1073741824 1073778376 140733944681664 140664337583032 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25310] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25310/stat : 25310 (java) S 25291 25293 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281620284 9856004096 13844 33554432000 1073741824 1073778376 140733944681664 140664336530168 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25311] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25311/stat : 25311 (java) S 25291 25293 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281620284 9856004096 13844 33554432000 1073741824 1073778376 140733944681664 140664335477832 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25293/tid=25312] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25312/stat : 25312 (java) S 25291 25293 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281620294 9856004096 13844 33554432000 1073741824 1073778376 140733944681664 140664334423080 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 3.85 Current children cumulated vsize (KiB) 9625004 [startup+6.30056 s] /proc/loadavg: 2.19 2.09 2.02 3/211 25312 /proc/meminfo: memFree=28595300/32873624 swapFree=7104/7104 [pid=25293] ppid=25291 vsize=9625004 CPUtime=7.17 cores=1,3,5,7 /proc/25293/stat : 25293 (java) S 25291 25293 21372 0 -1 4202496 11633 0 1 0 713 4 0 0 20 0 19 0 281620279 9856004096 13661 33554432000 1073741824 1073778376 140733944681664 140733944672800 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/25293/statm: 2406251 13661 2278 9 0 2396937 0 [pid=25293/tid=25295] ppid=25291 vsize=9625004 CPUtime=6.02 cores=1,3,5,7 /proc/25293/task/25295/stat : 25295 (java) S 25291 25293 21372 0 -1 4202560 2537 0 1 0 601 1 0 0 20 0 19 0 281620280 9856004096 13661 33554432000 1073741824 1073778376 140733944681664 140665257435560 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25293/tid=25296] ppid=25291 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/25293/task/25296/stat : 25296 (java) S 25291 25293 21372 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 281620281 9856004096 13661 33554432000 1073741824 1073778376 140733944681664 140665218927016 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25293/tid=25297] ppid=25291 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/25293/task/25297/stat : 25297 (java) S 25291 25293 21372 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 281620281 9856004096 13661 33554432000 1073741824 1073778376 140733944681664 140665217874472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25298] ppid=25291 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/25293/task/25298/stat : 25298 (java) S 25291 25293 21372 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 281620281 9856004096 13661 33554432000 1073741824 1073778376 140733944681664 140665216821416 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25299] ppid=25291 vsize=9625004 CPUtime=0.02 cores=1,3,5,7 /proc/25293/task/25299/stat : 25299 (java) S 25291 25293 21372 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 281620281 9856004096 13661 33554432000 1073741824 1073778376 140733944681664 140665215768872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25293/tid=25300] ppid=25291 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/25293/task/25300/stat : 25300 (java) S 25291 25293 21372 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 281620281 9856004096 13661 33554432000 1073741824 1073778376 140733944681664 140665214716840 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25293/tid=25301] ppid=25291 vsize=9625004 CPUtime=0.02 cores=1,3,5,7 /proc/25293/task/25301/stat : 25301 (java) S 25291 25293 21372 0 -1 4202560 5 0 0 0 2 0 0 0 20 0 19 0 281620281 9856004096 13661 33554432000 1073741824 1073778376 140733944681664 140665213664296 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25293/tid=25302] ppid=25291 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/25293/task/25302/stat : 25302 (java) S 25291 25293 21372 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 281620281 9856004096 13661 33554432000 1073741824 1073778376 140733944681664 140665094662824 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25303] ppid=25291 vsize=9625004 CPUtime=0.02 cores=1,3,5,7 /proc/25293/task/25303/stat : 25303 (java) S 25291 25293 21372 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 281620281 9856004096 13661 33554432000 1073741824 1073778376 140733944681664 140665093610280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25293/tid=25304] ppid=25291 vsize=9625004 CPUtime=0.14 cores=1,3,5,7 /proc/25293/task/25304/stat : 25304 (java) R 25291 25293 21372 0 -1 4202560 34 0 0 0 14 0 0 0 20 0 19 0 281620282 9856004096 13661 33554432000 1073741824 1073778376 140733944681664 140665081410800 140665260707462 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25305] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25305/stat : 25305 (java) S 25291 25293 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281620282 9856004096 13661 33554432000 1073741824 1073778376 140733944681664 140665080358264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25306] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25306/stat : 25306 (java) S 25291 25293 21372 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281620282 9856004096 13661 33554432000 1073741824 1073778376 140733944681664 140665079305096 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25307] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25307/stat : 25307 (java) S 25291 25293 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281620284 9856004096 13661 33554432000 1073741824 1073778376 140733944681664 140664339687696 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25308] ppid=25291 vsize=9625004 CPUtime=0.37 cores=1,3,5,7 /proc/25293/task/25308/stat : 25308 (java) S 25291 25293 21372 0 -1 4202560 3650 0 0 0 37 0 0 0 20 0 19 0 281620284 9856004096 13661 33554432000 1073741824 1073778376 140733944681664 140664338635576 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25309] ppid=25291 vsize=9625004 CPUtime=0.31 cores=1,3,5,7 /proc/25293/task/25309/stat : 25309 (java) S 25291 25293 21372 0 -1 4202560 4156 0 0 0 31 0 0 0 20 0 19 0 281620284 9856004096 13661 33554432000 1073741824 1073778376 140733944681664 140664337583032 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25310] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25310/stat : 25310 (java) S 25291 25293 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281620284 9856004096 13661 33554432000 1073741824 1073778376 140733944681664 140664336530168 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25311] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25311/stat : 25311 (java) S 25291 25293 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281620284 9856004096 13661 33554432000 1073741824 1073778376 140733944681664 140664335477832 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25293/tid=25312] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25312/stat : 25312 (java) S 25291 25293 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281620294 9856004096 13661 33554432000 1073741824 1073778376 140733944681664 140664334423080 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.17 Current children cumulated vsize (KiB) 9625004 [startup+12.7005 s] ################ # More data... # ################ [pid=25293/tid=25308] ppid=25291 vsize=9625004 CPUtime=0.38 cores=1,3,5,7 /proc/25293/task/25308/stat : 25308 (java) S 25291 25293 21372 0 -1 4202560 3650 0 0 0 38 0 0 0 20 0 19 0 281620284 9856004096 31574 33554432000 1073741824 1073778376 140733944681664 140664338635576 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25309] ppid=25291 vsize=9625004 CPUtime=0.31 cores=1,3,5,7 /proc/25293/task/25309/stat : 25309 (java) S 25291 25293 21372 0 -1 4202560 4156 0 0 0 31 0 0 0 20 0 19 0 281620284 9856004096 31574 33554432000 1073741824 1073778376 140733944681664 140664337583032 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25310] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25310/stat : 25310 (java) S 25291 25293 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281620284 9856004096 31574 33554432000 1073741824 1073778376 140733944681664 140664336530168 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25311] ppid=25291 vsize=9625004 CPUtime=0.32 cores=1,3,5,7 /proc/25293/task/25311/stat : 25311 (java) S 25291 25293 21372 0 -1 4202560 95 0 0 0 18 14 0 0 20 0 19 0 281620284 9856004096 31574 33554432000 1073741824 1073778376 140733944681664 140664335477832 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25293/tid=25312] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25312/stat : 25312 (java) S 25291 25293 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281620294 9856004096 31574 33554432000 1073741824 1073778376 140733944681664 140664334423080 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1667.13 Current children cumulated vsize (KiB) 9625004 [startup+1722.3 s] /proc/loadavg: 1.96 1.98 1.99 3/211 25360 /proc/meminfo: memFree=28455876/32873624 swapFree=7104/7104 [pid=25293] ppid=25291 vsize=9625004 CPUtime=1727.23 cores=1,3,5,7 /proc/25293/stat : 25293 (java) S 25291 25293 21372 0 -1 4202496 13743 0 1 0 172694 29 0 0 20 0 19 0 281620279 9856004096 32086 33554432000 1073741824 1073778376 140733944681664 140733944672800 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/25293/statm: 2406251 32086 2278 9 0 2396937 0 [pid=25293/tid=25295] ppid=25291 vsize=9625004 CPUtime=1710.01 cores=1,3,5,7 /proc/25293/task/25295/stat : 25295 (java) R 25291 25293 21372 0 -1 4202560 2784 0 1 0 170974 27 0 0 20 0 19 0 281620280 9856004096 32086 33554432000 1073741824 1073778376 140733944681664 140665257435440 140665095400895 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=25293/tid=25296] ppid=25291 vsize=9625004 CPUtime=0.67 cores=1,3,5,7 /proc/25293/task/25296/stat : 25296 (java) S 25291 25293 21372 0 -1 4202560 99 0 0 0 67 0 0 0 20 0 19 0 281620281 9856004096 32086 33554432000 1073741824 1073778376 140733944681664 140665218927016 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25293/tid=25297] ppid=25291 vsize=9625004 CPUtime=0.78 cores=1,3,5,7 /proc/25293/task/25297/stat : 25297 (java) S 25291 25293 21372 0 -1 4202560 202 0 0 0 76 2 0 0 20 0 19 0 281620281 9856004096 32086 33554432000 1073741824 1073778376 140733944681664 140665217874472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25293/tid=25298] ppid=25291 vsize=9625004 CPUtime=0.7 cores=1,3,5,7 /proc/25293/task/25298/stat : 25298 (java) S 25291 25293 21372 0 -1 4202560 196 0 0 0 70 0 0 0 20 0 19 0 281620281 9856004096 32086 33554432000 1073741824 1073778376 140733944681664 140665216821416 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25293/tid=25299] ppid=25291 vsize=9625004 CPUtime=0.76 cores=1,3,5,7 /proc/25293/task/25299/stat : 25299 (java) S 25291 25293 21372 0 -1 4202560 267 0 0 0 76 0 0 0 20 0 19 0 281620281 9856004096 32086 33554432000 1073741824 1073778376 140733944681664 140665215768872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25293/tid=25300] ppid=25291 vsize=9625004 CPUtime=0.71 cores=1,3,5,7 /proc/25293/task/25300/stat : 25300 (java) S 25291 25293 21372 0 -1 4202560 179 0 0 0 70 1 0 0 20 0 19 0 281620281 9856004096 32086 33554432000 1073741824 1073778376 140733944681664 140665214716840 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25301] ppid=25291 vsize=9625004 CPUtime=0.77 cores=1,3,5,7 /proc/25293/task/25301/stat : 25301 (java) S 25291 25293 21372 0 -1 4202560 265 0 0 0 76 1 0 0 20 0 19 0 281620281 9856004096 32086 33554432000 1073741824 1073778376 140733944681664 140665213664296 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25293/tid=25302] ppid=25291 vsize=9625004 CPUtime=0.74 cores=1,3,5,7 /proc/25293/task/25302/stat : 25302 (java) S 25291 25293 21372 0 -1 4202560 257 0 0 0 72 2 0 0 20 0 19 0 281620281 9856004096 32086 33554432000 1073741824 1073778376 140733944681664 140665094662824 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25303] ppid=25291 vsize=9625004 CPUtime=0.7 cores=1,3,5,7 /proc/25293/task/25303/stat : 25303 (java) S 25291 25293 21372 0 -1 4202560 263 0 0 0 70 0 0 0 20 0 19 0 281620281 9856004096 32086 33554432000 1073741824 1073778376 140733944681664 140665093610280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25293/tid=25304] ppid=25291 vsize=9625004 CPUtime=6.03 cores=1,3,5,7 /proc/25293/task/25304/stat : 25304 (java) S 25291 25293 21372 0 -1 4202560 145 0 0 0 601 2 0 0 20 0 19 0 281620282 9856004096 32086 33554432000 1073741824 1073778376 140733944681664 140665081411944 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25293/tid=25305] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25305/stat : 25305 (java) S 25291 25293 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281620282 9856004096 32086 33554432000 1073741824 1073778376 140733944681664 140665080358264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25306] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25306/stat : 25306 (java) S 25291 25293 21372 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281620282 9856004096 32086 33554432000 1073741824 1073778376 140733944681664 140665079305096 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25307] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25307/stat : 25307 (java) S 25291 25293 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281620284 9856004096 32086 33554432000 1073741824 1073778376 140733944681664 140664339687696 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25308] ppid=25291 vsize=9625004 CPUtime=0.38 cores=1,3,5,7 /proc/25293/task/25308/stat : 25308 (java) S 25291 25293 21372 0 -1 4202560 3650 0 0 0 38 0 0 0 20 0 19 0 281620284 9856004096 32086 33554432000 1073741824 1073778376 140733944681664 140664338635576 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25309] ppid=25291 vsize=9625004 CPUtime=0.31 cores=1,3,5,7 /proc/25293/task/25309/stat : 25309 (java) S 25291 25293 21372 0 -1 4202560 4156 0 0 0 31 0 0 0 20 0 19 0 281620284 9856004096 32086 33554432000 1073741824 1073778376 140733944681664 140664337583032 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25310] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25310/stat : 25310 (java) S 25291 25293 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281620284 9856004096 32086 33554432000 1073741824 1073778376 140733944681664 140664336530168 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25311] ppid=25291 vsize=9625004 CPUtime=0.33 cores=1,3,5,7 /proc/25293/task/25311/stat : 25311 (java) S 25291 25293 21372 0 -1 4202560 99 0 0 0 18 15 0 0 20 0 19 0 281620284 9856004096 32086 33554432000 1073741824 1073778376 140733944681664 140664335477832 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25293/tid=25312] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25312/stat : 25312 (java) S 25291 25293 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281620294 9856004096 32086 33554432000 1073741824 1073778376 140733944681664 140664334423080 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1727.23 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 2.35 2.06 2.02 3/211 25419 /proc/meminfo: memFree=26365220/32873624 swapFree=7104/7104 [pid=25293] ppid=25291 vsize=9625004 CPUtime=1787.35 cores=1,3,5,7 /proc/25293/stat : 25293 (java) S 25291 25293 21372 0 -1 4202496 13762 0 1 0 178705 30 0 0 20 0 19 0 281620279 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140733944672800 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/25293/statm: 2406251 32094 2278 9 0 2396937 0 [pid=25293/tid=25295] ppid=25291 vsize=9625004 CPUtime=1769.66 cores=1,3,5,7 /proc/25293/task/25295/stat : 25295 (java) R 25291 25293 21372 0 -1 4202560 2787 0 1 0 176938 28 0 0 20 0 19 0 281620280 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140665257435440 140665095115599 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=25293/tid=25296] ppid=25291 vsize=9625004 CPUtime=0.68 cores=1,3,5,7 /proc/25293/task/25296/stat : 25296 (java) S 25291 25293 21372 0 -1 4202560 99 0 0 0 68 0 0 0 20 0 19 0 281620281 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140665218927016 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25293/tid=25297] ppid=25291 vsize=9625004 CPUtime=0.82 cores=1,3,5,7 /proc/25293/task/25297/stat : 25297 (java) S 25291 25293 21372 0 -1 4202560 202 0 0 0 80 2 0 0 20 0 19 0 281620281 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140665217874472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25298] ppid=25291 vsize=9625004 CPUtime=0.73 cores=1,3,5,7 /proc/25293/task/25298/stat : 25298 (java) S 25291 25293 21372 0 -1 4202560 196 0 0 0 73 0 0 0 20 0 19 0 281620281 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140665216821416 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25293/tid=25299] ppid=25291 vsize=9625004 CPUtime=0.78 cores=1,3,5,7 /proc/25293/task/25299/stat : 25299 (java) S 25291 25293 21372 0 -1 4202560 267 0 0 0 78 0 0 0 20 0 19 0 281620281 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140665215768872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25300] ppid=25291 vsize=9625004 CPUtime=0.73 cores=1,3,5,7 /proc/25293/task/25300/stat : 25300 (java) S 25291 25293 21372 0 -1 4202560 179 0 0 0 72 1 0 0 20 0 19 0 281620281 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140665214716840 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25293/tid=25301] ppid=25291 vsize=9625004 CPUtime=0.79 cores=1,3,5,7 /proc/25293/task/25301/stat : 25301 (java) S 25291 25293 21372 0 -1 4202560 265 0 0 0 78 1 0 0 20 0 19 0 281620281 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140665213664296 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25302] ppid=25291 vsize=9625004 CPUtime=0.76 cores=1,3,5,7 /proc/25293/task/25302/stat : 25302 (java) S 25291 25293 21372 0 -1 4202560 265 0 0 0 74 2 0 0 20 0 19 0 281620281 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140665094662824 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25303] ppid=25291 vsize=9625004 CPUtime=0.71 cores=1,3,5,7 /proc/25293/task/25303/stat : 25303 (java) S 25291 25293 21372 0 -1 4202560 263 0 0 0 71 0 0 0 20 0 19 0 281620281 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140665093610280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25304] ppid=25291 vsize=9625004 CPUtime=6.19 cores=1,3,5,7 /proc/25293/task/25304/stat : 25304 (java) S 25291 25293 21372 0 -1 4202560 149 0 0 0 617 2 0 0 20 0 19 0 281620282 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140665081411944 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25293/tid=25305] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25305/stat : 25305 (java) S 25291 25293 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281620282 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140665080358264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25306] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25306/stat : 25306 (java) S 25291 25293 21372 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281620282 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140665079305096 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25307] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25307/stat : 25307 (java) S 25291 25293 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281620284 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140664339687696 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25308] ppid=25291 vsize=9625004 CPUtime=0.38 cores=1,3,5,7 /proc/25293/task/25308/stat : 25308 (java) S 25291 25293 21372 0 -1 4202560 3650 0 0 0 38 0 0 0 20 0 19 0 281620284 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140664338635576 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25309] ppid=25291 vsize=9625004 CPUtime=0.31 cores=1,3,5,7 /proc/25293/task/25309/stat : 25309 (java) S 25291 25293 21372 0 -1 4202560 4156 0 0 0 31 0 0 0 20 0 19 0 281620284 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140664337583032 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25310] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25310/stat : 25310 (java) S 25291 25293 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281620284 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140664336530168 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25311] ppid=25291 vsize=9625004 CPUtime=0.34 cores=1,3,5,7 /proc/25293/task/25311/stat : 25311 (java) S 25291 25293 21372 0 -1 4202560 103 0 0 0 19 15 0 0 20 0 19 0 281620284 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140664335477832 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25293/tid=25312] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25312/stat : 25312 (java) S 25291 25293 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281620294 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140664334423080 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1787.35 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795 s] /proc/loadavg: 2.30 2.06 2.02 3/210 25419 /proc/meminfo: memFree=26344512/32873624 swapFree=7104/7104 [pid=25293] ppid=25291 vsize=9625004 CPUtime=1800.05 cores=1,3,5,7 /proc/25293/stat : 25293 (java) S 25291 25293 21372 0 -1 4202496 13762 0 1 0 179975 30 0 0 20 0 19 0 281620279 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140733944672800 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/25293/statm: 2406251 32094 2278 9 0 2396937 0 [pid=25293/tid=25295] ppid=25291 vsize=9625004 CPUtime=1782.34 cores=1,3,5,7 /proc/25293/task/25295/stat : 25295 (java) R 25291 25293 21372 0 -1 4202560 2787 0 1 0 178205 29 0 0 20 0 19 0 281620280 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140665257435440 140665095119903 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=25293/tid=25296] ppid=25291 vsize=9625004 CPUtime=0.68 cores=1,3,5,7 /proc/25293/task/25296/stat : 25296 (java) S 25291 25293 21372 0 -1 4202560 99 0 0 0 68 0 0 0 20 0 19 0 281620281 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140665218927016 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25293/tid=25297] ppid=25291 vsize=9625004 CPUtime=0.82 cores=1,3,5,7 /proc/25293/task/25297/stat : 25297 (java) S 25291 25293 21372 0 -1 4202560 202 0 0 0 80 2 0 0 20 0 19 0 281620281 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140665217874472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25298] ppid=25291 vsize=9625004 CPUtime=0.73 cores=1,3,5,7 /proc/25293/task/25298/stat : 25298 (java) S 25291 25293 21372 0 -1 4202560 196 0 0 0 73 0 0 0 20 0 19 0 281620281 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140665216821416 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25293/tid=25299] ppid=25291 vsize=9625004 CPUtime=0.78 cores=1,3,5,7 /proc/25293/task/25299/stat : 25299 (java) S 25291 25293 21372 0 -1 4202560 267 0 0 0 78 0 0 0 20 0 19 0 281620281 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140665215768872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25300] ppid=25291 vsize=9625004 CPUtime=0.73 cores=1,3,5,7 /proc/25293/task/25300/stat : 25300 (java) S 25291 25293 21372 0 -1 4202560 179 0 0 0 72 1 0 0 20 0 19 0 281620281 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140665214716840 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25293/tid=25301] ppid=25291 vsize=9625004 CPUtime=0.79 cores=1,3,5,7 /proc/25293/task/25301/stat : 25301 (java) S 25291 25293 21372 0 -1 4202560 265 0 0 0 78 1 0 0 20 0 19 0 281620281 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140665213664296 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25302] ppid=25291 vsize=9625004 CPUtime=0.76 cores=1,3,5,7 /proc/25293/task/25302/stat : 25302 (java) S 25291 25293 21372 0 -1 4202560 265 0 0 0 74 2 0 0 20 0 19 0 281620281 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140665094662824 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25303] ppid=25291 vsize=9625004 CPUtime=0.71 cores=1,3,5,7 /proc/25293/task/25303/stat : 25303 (java) S 25291 25293 21372 0 -1 4202560 263 0 0 0 71 0 0 0 20 0 19 0 281620281 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140665093610280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25304] ppid=25291 vsize=9625004 CPUtime=6.19 cores=1,3,5,7 /proc/25293/task/25304/stat : 25304 (java) S 25291 25293 21372 0 -1 4202560 149 0 0 0 617 2 0 0 20 0 19 0 281620282 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140665081411944 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25293/tid=25305] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25305/stat : 25305 (java) S 25291 25293 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281620282 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140665080358264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25306] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25306/stat : 25306 (java) S 25291 25293 21372 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281620282 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140665079305096 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25307] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25307/stat : 25307 (java) S 25291 25293 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281620284 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140664339687696 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25293/tid=25308] ppid=25291 vsize=9625004 CPUtime=0.38 cores=1,3,5,7 /proc/25293/task/25308/stat : 25308 (java) S 25291 25293 21372 0 -1 4202560 3650 0 0 0 38 0 0 0 20 0 19 0 281620284 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140664338635576 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25309] ppid=25291 vsize=9625004 CPUtime=0.31 cores=1,3,5,7 /proc/25293/task/25309/stat : 25309 (java) S 25291 25293 21372 0 -1 4202560 4156 0 0 0 31 0 0 0 20 0 19 0 281620284 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140664337583032 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25310] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25310/stat : 25310 (java) S 25291 25293 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281620284 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140664336530168 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25293/tid=25311] ppid=25291 vsize=9625004 CPUtime=0.35 cores=1,3,5,7 /proc/25293/task/25311/stat : 25311 (java) S 25291 25293 21372 0 -1 4202560 103 0 0 0 19 16 0 0 20 0 19 0 281620284 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140664335477832 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25293/tid=25312] ppid=25291 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/25293/task/25312/stat : 25312 (java) S 25291 25293 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281620294 9856004096 32094 33554432000 1073741824 1073778376 140733944681664 140664334423080 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 9625004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 25293 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=258079 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=672897 # CPU time returned by wait4() is 1795.93 # while last known CPU time is 1800.05 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1795.05 CPU time (s): 1800.05 CPU user time (s): 1799.75 CPU system time (s): 0.3 CPU usage (%): 100.279 Max. virtual memory (cumulated for all children) (KiB): 9625984 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.26 system time used= 0.672897 maximum resident set size= 132632 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13809 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1688 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 45046 involuntary context switches= 17460 runsolver used 5.62014 second user time and 13.9439 second system time The end
Begin job on node121 at 2012-05-27 23:42:28 IDJOB=3710829 IDBENCH=2926 IDSOLVER=2289 FILE ID=node121/3710829-1338154948 RUNJOBID= node121-1338138816-23673 PBS_JOBID= 14624482 Free space on /tmp= 71712 MiB SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_2.opb COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710829-1338154948/watcher-3710829-1338154948 -o /tmp/evaluation-result-3710829-1338154948/solver-3710829-1338154948 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710829-1338154948.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c0264878059fff5e6fa5f51839a60b24 RANDOM SEED=1466156996 node121.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.042 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.08 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.042 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 : 5331.91 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.042 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 : 5331.92 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.042 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 : 5331.91 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.042 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 : 5331.91 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.042 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 : 5331.91 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.042 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 : 5438.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.042 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873624 kB MemFree: 28642584 kB Buffers: 515260 kB Cached: 2787860 kB SwapCached: 0 kB Active: 841108 kB Inactive: 2533564 kB Active(anon): 72556 kB Inactive(anon): 0 kB Active(file): 768552 kB Inactive(file): 2533564 kB Unevictable: 7104 kB Mlocked: 7104 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1748 kB Writeback: 0 kB AnonPages: 76888 kB Mapped: 22408 kB Shmem: 200 kB Slab: 718076 kB SReclaimable: 162280 kB SUnreclaim: 555796 kB KernelStack: 1608 kB PageTables: 4044 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545668 kB Committed_AS: 684812 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 38912 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71684 MiB End job on node121 at 2012-05-28 00:12:25