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) | 1 | 1800.01 | 1794.95 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_1.opb |
| MD5SUM | 5bf563c7058af01702ea80887f1d43ad |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 1789.91 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1 |
| 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 | 55 |
| 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 | 1086 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 3768 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.03/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.03/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.08 c See www.sat4j.org for details. 0.03/0.08 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.03/0.09 c version 2.3.2.v20120418 0.03/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.09 c java.vm.version 19.1-b02 0.03/0.09 c java.vm.vendor Sun Microsystems Inc. 0.03/0.09 c sun.arch.data.model 64 0.03/0.09 c java.version 1.6.0_24 0.03/0.09 c os.name Linux 0.03/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.03/0.09 c os.arch amd64 0.03/0.09 c Free memory 501472288 0.03/0.09 c Max memory 7480803328 0.03/0.09 c Total memory 504102912 0.03/0.09 c Number of processors 8 0.07/0.12 c read org.sat4j.minisat.orders.VarOrderHeap 0.07/0.12 c configuring ORDERS 0.07/0.12 c --- Begin Solver configuration --- 0.07/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1 0.07/0.12 c Learn all clauses as in MiniSAT 0.07/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.07/0.12 c Expensive reason simplification 0.07/0.12 c Armin Biere (Picosat) restarts strategy 0.07/0.12 c Glucose learned constraints deletion strategy 0.07/0.12 c timeout=2147483s 0.07/0.12 c DB Simplification allowed=true 0.07/0.12 c Heuristics kept accross calls (keep the solver "hot") 0.07/0.12 c --- End Solver configuration --- 0.07/0.12 c solving HOME/instance-3710828-1338154919.opb 0.07/0.12 c reading problem ... 0.07/0.16 c ... done. Wall clock time 0.031s. 0.07/0.16 c declared #vars 120 0.07/0.16 c #constraints 10 0.07/0.16 c constraints type 0.07/0.16 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 10 0.07/0.16 c 10 constraints processed. 0.07/0.16 c SATISFIABLE 0.07/0.16 c OPTIMIZING... 0.07/0.16 c Got one! Elapsed wall clock time (in seconds):0.037 0.07/0.16 o 1090 0.07/0.17 c Got one! Elapsed wall clock time (in seconds):0.048 0.07/0.17 o 1086 0.07/0.18 c Got one! Elapsed wall clock time (in seconds):0.051 0.07/0.18 o 1067 0.07/0.18 c Got one! Elapsed wall clock time (in seconds):0.055 0.07/0.18 o 1026 0.07/0.18 c Got one! Elapsed wall clock time (in seconds):0.059 0.07/0.18 o 1025 0.07/0.19 c Got one! Elapsed wall clock time (in seconds):0.061 0.07/0.19 o 608 0.07/0.19 c Got one! Elapsed wall clock time (in seconds):0.063 0.07/0.19 o 606 0.25/0.21 c Got one! Elapsed wall clock time (in seconds):0.088 0.25/0.21 o 605 0.25/0.22 c Got one! Elapsed wall clock time (in seconds):0.095 0.25/0.22 o 598 0.25/0.22 c Got one! Elapsed wall clock time (in seconds):0.098 0.25/0.22 o 595 0.25/0.22 c Got one! Elapsed wall clock time (in seconds):0.101 0.25/0.22 o 519 0.25/0.24 c Got one! Elapsed wall clock time (in seconds):0.12 0.25/0.24 o 518 0.25/0.25 c Got one! Elapsed wall clock time (in seconds):0.124 0.25/0.25 o 517 0.25/0.25 c Got one! Elapsed wall clock time (in seconds):0.126 0.25/0.25 o 516 0.25/0.25 c Got one! Elapsed wall clock time (in seconds):0.127 0.25/0.25 o 515 0.25/0.26 c Got one! Elapsed wall clock time (in seconds):0.132 0.25/0.26 o 513 0.25/0.26 c Got one! Elapsed wall clock time (in seconds):0.135 0.25/0.26 o 512 0.25/0.26 c Got one! Elapsed wall clock time (in seconds):0.137 0.25/0.26 o 511 0.25/0.27 c Got one! Elapsed wall clock time (in seconds):0.144 0.25/0.27 o 509 0.25/0.27 c Got one! Elapsed wall clock time (in seconds):0.146 0.25/0.27 o 508 0.25/0.27 c Got one! Elapsed wall clock time (in seconds):0.147 0.25/0.27 o 507 0.25/0.27 c Got one! Elapsed wall clock time (in seconds):0.15 0.25/0.27 o 506 0.25/0.28 c Got one! Elapsed wall clock time (in seconds):0.151 0.25/0.28 o 505 0.25/0.28 c Got one! Elapsed wall clock time (in seconds):0.153 0.25/0.28 o 502 0.25/0.28 c Got one! Elapsed wall clock time (in seconds):0.155 0.25/0.28 o 500 0.25/0.28 c Got one! Elapsed wall clock time (in seconds):0.158 0.25/0.28 o 499 0.25/0.28 c Got one! Elapsed wall clock time (in seconds):0.159 0.25/0.28 o 498 0.25/0.28 c Got one! Elapsed wall clock time (in seconds):0.16 0.25/0.28 o 497 0.25/0.29 c Got one! Elapsed wall clock time (in seconds):0.163 0.25/0.29 o 496 0.25/0.29 c Got one! Elapsed wall clock time (in seconds):0.166 0.25/0.29 o 494 0.25/0.29 c Got one! Elapsed wall clock time (in seconds):0.169 0.25/0.29 o 493 0.25/0.29 c Got one! Elapsed wall clock time (in seconds):0.17 0.25/0.29 o 492 0.54/0.30 c Got one! Elapsed wall clock time (in seconds):0.171 0.54/0.30 o 489 0.54/0.30 c Got one! Elapsed wall clock time (in seconds):0.172 0.54/0.30 o 467 0.54/0.30 c Got one! Elapsed wall clock time (in seconds):0.174 0.54/0.30 o 464 0.54/0.30 c Got one! Elapsed wall clock time (in seconds):0.176 0.54/0.30 o 463 0.54/0.30 c Got one! Elapsed wall clock time (in seconds):0.178 0.54/0.30 o 462 0.54/0.30 c Got one! Elapsed wall clock time (in seconds):0.18 0.54/0.30 o 461 0.54/0.31 c Got one! Elapsed wall clock time (in seconds):0.182 0.54/0.31 o 460 0.54/0.31 c Got one! Elapsed wall clock time (in seconds):0.183 0.54/0.31 o 459 0.54/0.31 c Got one! Elapsed wall clock time (in seconds):0.184 0.54/0.31 o 458 0.54/0.31 c Got one! Elapsed wall clock time (in seconds):0.186 0.54/0.31 o 456 0.54/0.31 c Got one! Elapsed wall clock time (in seconds):0.188 0.54/0.31 o 455 0.54/0.32 c Got one! Elapsed wall clock time (in seconds):0.192 0.54/0.32 o 450 0.54/0.32 c Got one! Elapsed wall clock time (in seconds):0.193 0.54/0.32 o 448 0.54/0.32 c Got one! Elapsed wall clock time (in seconds):0.194 0.54/0.32 o 380 0.54/0.32 c Got one! Elapsed wall clock time (in seconds):0.197 0.54/0.32 o 379 0.54/0.32 c Got one! Elapsed wall clock time (in seconds):0.199 0.54/0.32 o 378 0.54/0.32 c Got one! Elapsed wall clock time (in seconds):0.2 0.54/0.32 o 377 0.54/0.33 c Got one! Elapsed wall clock time (in seconds):0.203 0.54/0.33 o 369 0.54/0.33 c Got one! Elapsed wall clock time (in seconds):0.205 0.54/0.33 o 360 0.54/0.33 c Got one! Elapsed wall clock time (in seconds):0.205 0.54/0.33 o 355 0.54/0.33 c Got one! Elapsed wall clock time (in seconds):0.207 0.54/0.33 o 354 0.54/0.33 c Got one! Elapsed wall clock time (in seconds):0.208 0.54/0.33 o 353 0.54/0.33 c Got one! Elapsed wall clock time (in seconds):0.21 0.54/0.33 o 352 0.54/0.34 c Got one! Elapsed wall clock time (in seconds):0.213 0.54/0.34 o 349 0.54/0.34 c Got one! Elapsed wall clock time (in seconds):0.217 0.54/0.34 o 348 0.54/0.34 c Got one! Elapsed wall clock time (in seconds):0.22 0.54/0.34 o 346 0.54/0.35 c Got one! Elapsed wall clock time (in seconds):0.222 0.54/0.35 o 345 0.54/0.35 c Got one! Elapsed wall clock time (in seconds):0.224 0.54/0.35 o 344 0.54/0.35 c Got one! Elapsed wall clock time (in seconds):0.226 0.54/0.35 o 343 0.54/0.35 c Got one! Elapsed wall clock time (in seconds):0.228 0.54/0.35 o 342 0.54/0.36 c Got one! Elapsed wall clock time (in seconds):0.231 0.54/0.36 o 341 0.54/0.36 c Got one! Elapsed wall clock time (in seconds):0.233 0.54/0.36 o 340 0.54/0.36 c Got one! Elapsed wall clock time (in seconds):0.235 0.54/0.36 o 339 0.54/0.36 c Got one! Elapsed wall clock time (in seconds):0.238 0.54/0.36 o 338 0.54/0.37 c Got one! Elapsed wall clock time (in seconds):0.241 0.54/0.37 o 329 0.54/0.37 c Got one! Elapsed wall clock time (in seconds):0.245 0.54/0.37 o 327 0.54/0.37 c Got one! Elapsed wall clock time (in seconds):0.247 0.54/0.37 o 324 0.54/0.37 c Got one! Elapsed wall clock time (in seconds):0.249 0.54/0.37 o 323 0.54/0.38 c Got one! Elapsed wall clock time (in seconds):0.251 0.54/0.38 o 321 0.54/0.38 c Got one! Elapsed wall clock time (in seconds):0.255 0.54/0.38 o 320 0.54/0.38 c Got one! Elapsed wall clock time (in seconds):0.256 0.54/0.38 o 319 0.54/0.38 c Got one! Elapsed wall clock time (in seconds):0.26 0.54/0.38 o 317 0.54/0.39 c Got one! Elapsed wall clock time (in seconds):0.262 0.54/0.39 o 306 0.54/0.39 c Got one! Elapsed wall clock time (in seconds):0.264 0.54/0.39 o 305 0.54/0.39 c Got one! Elapsed wall clock time (in seconds):0.267 0.54/0.39 o 304 0.54/0.39 c Got one! Elapsed wall clock time (in seconds):0.269 0.54/0.39 o 303 0.54/0.39 c Got one! Elapsed wall clock time (in seconds):0.27 0.54/0.39 o 302 0.84/0.40 c Got one! Elapsed wall clock time (in seconds):0.273 0.84/0.40 o 301 0.84/0.40 c Got one! Elapsed wall clock time (in seconds):0.275 0.84/0.40 o 300 0.84/0.40 c Got one! Elapsed wall clock time (in seconds):0.277 0.84/0.40 o 299 0.84/0.40 c Got one! Elapsed wall clock time (in seconds):0.278 0.84/0.40 o 298 0.84/0.40 c Got one! Elapsed wall clock time (in seconds):0.279 0.84/0.40 o 297 0.84/0.40 c Got one! Elapsed wall clock time (in seconds):0.28 0.84/0.40 o 260 0.84/0.41 c Got one! Elapsed wall clock time (in seconds):0.283 0.84/0.41 o 259 0.84/0.41 c Got one! Elapsed wall clock time (in seconds):0.284 0.84/0.41 o 178 0.84/0.41 c Got one! Elapsed wall clock time (in seconds):0.285 0.84/0.41 o 177 0.84/0.41 c Got one! Elapsed wall clock time (in seconds):0.286 0.84/0.41 o 176 0.84/0.41 c Got one! Elapsed wall clock time (in seconds):0.288 0.84/0.41 o 175 0.84/0.41 c Got one! Elapsed wall clock time (in seconds):0.289 0.84/0.41 o 174 0.84/0.41 c Got one! Elapsed wall clock time (in seconds):0.29 0.84/0.41 o 173 0.84/0.41 c Got one! Elapsed wall clock time (in seconds):0.291 0.84/0.42 o 172 0.84/0.42 c Got one! Elapsed wall clock time (in seconds):0.291 0.84/0.42 o 171 0.84/0.42 c Got one! Elapsed wall clock time (in seconds):0.292 0.84/0.42 o 170 0.84/0.42 c Got one! Elapsed wall clock time (in seconds):0.293 0.84/0.42 o 169 0.84/0.42 c Got one! Elapsed wall clock time (in seconds):0.294 0.84/0.42 o 168 0.84/0.42 c Got one! Elapsed wall clock time (in seconds):0.295 0.84/0.42 o 167 0.84/0.42 c Got one! Elapsed wall clock time (in seconds):0.296 0.84/0.42 o 162 0.84/0.42 c Got one! Elapsed wall clock time (in seconds):0.297 0.84/0.42 o 161 0.84/0.42 c Got one! Elapsed wall clock time (in seconds):0.298 0.84/0.42 o 160 0.84/0.42 c Got one! Elapsed wall clock time (in seconds):0.299 0.84/0.42 o 159 0.84/0.43 c Got one! Elapsed wall clock time (in seconds):0.304 0.84/0.43 o 157 0.84/0.43 c Got one! Elapsed wall clock time (in seconds):0.307 0.84/0.43 o 156 0.84/0.43 c Got one! Elapsed wall clock time (in seconds):0.309 0.84/0.43 o 154 0.84/0.43 c Got one! Elapsed wall clock time (in seconds):0.31 0.84/0.43 o 145 0.84/0.44 c Got one! Elapsed wall clock time (in seconds):0.313 0.84/0.44 o 143 0.84/0.44 c Got one! Elapsed wall clock time (in seconds):0.315 0.84/0.44 o 142 0.84/0.44 c Got one! Elapsed wall clock time (in seconds):0.32 0.84/0.44 o 137 0.84/0.45 c Got one! Elapsed wall clock time (in seconds):0.323 0.84/0.45 o 135 0.84/0.45 c Got one! Elapsed wall clock time (in seconds):0.324 0.84/0.45 o 104 0.84/0.45 c Got one! Elapsed wall clock time (in seconds):0.325 0.84/0.45 o 103 0.84/0.45 c Got one! Elapsed wall clock time (in seconds):0.327 0.84/0.45 o 101 0.84/0.45 c Got one! Elapsed wall clock time (in seconds):0.328 0.84/0.45 o 100 0.84/0.45 c Got one! Elapsed wall clock time (in seconds):0.33 0.84/0.45 o 99 0.84/0.46 c Got one! Elapsed wall clock time (in seconds):0.334 0.84/0.46 o 97 0.84/0.46 c Got one! Elapsed wall clock time (in seconds):0.335 0.84/0.46 o 96 0.84/0.46 c Got one! Elapsed wall clock time (in seconds):0.336 0.84/0.46 o 95 0.84/0.46 c Got one! Elapsed wall clock time (in seconds):0.337 0.84/0.46 o 94 0.84/0.46 c Got one! Elapsed wall clock time (in seconds):0.339 0.84/0.46 o 93 0.84/0.46 c Got one! Elapsed wall clock time (in seconds):0.339 0.84/0.46 o 92 0.84/0.46 c Got one! Elapsed wall clock time (in seconds):0.34 0.84/0.46 o 91 0.84/0.47 c Got one! Elapsed wall clock time (in seconds):0.341 0.84/0.47 o 90 0.84/0.47 c Got one! Elapsed wall clock time (in seconds):0.342 0.84/0.47 o 89 0.84/0.47 c Got one! Elapsed wall clock time (in seconds):0.342 0.84/0.47 o 88 0.84/0.47 c Got one! Elapsed wall clock time (in seconds):0.343 0.84/0.47 o 87 0.84/0.47 c Got one! Elapsed wall clock time (in seconds):0.344 0.84/0.47 o 84 0.84/0.47 c Got one! Elapsed wall clock time (in seconds):0.344 0.84/0.47 o 83 0.84/0.47 c Got one! Elapsed wall clock time (in seconds):0.345 0.84/0.47 o 82 0.84/0.47 c Got one! Elapsed wall clock time (in seconds):0.347 0.84/0.47 o 80 0.84/0.47 c Got one! Elapsed wall clock time (in seconds):0.348 0.84/0.47 o 77 0.84/0.47 c Got one! Elapsed wall clock time (in seconds):0.35 0.84/0.47 o 76 0.84/0.48 c Got one! Elapsed wall clock time (in seconds):0.352 0.84/0.48 o 75 0.84/0.48 c Got one! Elapsed wall clock time (in seconds):0.354 0.84/0.48 o 72 0.84/0.48 c Got one! Elapsed wall clock time (in seconds):0.355 0.84/0.48 o 71 0.84/0.48 c Got one! Elapsed wall clock time (in seconds):0.356 0.84/0.48 o 68 0.84/0.48 c Got one! Elapsed wall clock time (in seconds):0.357 0.84/0.48 o 67 0.84/0.49 c Got one! Elapsed wall clock time (in seconds):0.365 0.84/0.49 o 65 0.84/0.49 c Got one! Elapsed wall clock time (in seconds):0.366 0.84/0.49 o 64 0.84/0.49 c Got one! Elapsed wall clock time (in seconds):0.367 0.84/0.49 o 63 0.84/0.49 c Got one! Elapsed wall clock time (in seconds):0.367 0.84/0.49 o 62 0.84/0.49 c Got one! Elapsed wall clock time (in seconds):0.368 0.84/0.49 o 59 0.84/0.49 c Got one! Elapsed wall clock time (in seconds):0.368 0.84/0.49 o 57 0.84/0.49 c Got one! Elapsed wall clock time (in seconds):0.369 0.84/0.49 o 56 0.84/0.49 c Got one! Elapsed wall clock time (in seconds):0.37 0.84/0.49 o 55 0.84/0.49 c Got one! Elapsed wall clock time (in seconds):0.37 0.84/0.49 o 54 0.84/0.50 c Got one! Elapsed wall clock time (in seconds):0.371 0.84/0.50 o 51 1.11/0.50 c Got one! Elapsed wall clock time (in seconds):0.371 1.11/0.50 o 50 1.11/0.50 c Got one! Elapsed wall clock time (in seconds):0.372 1.11/0.50 o 49 1.11/0.50 c Got one! Elapsed wall clock time (in seconds):0.372 1.11/0.50 o 42 1.11/0.50 c Got one! Elapsed wall clock time (in seconds):0.373 1.11/0.50 o 41 1.11/0.50 c Got one! Elapsed wall clock time (in seconds):0.373 1.11/0.50 o 40 1.11/0.50 c Got one! Elapsed wall clock time (in seconds):0.374 1.11/0.50 o 39 1.11/0.50 c Got one! Elapsed wall clock time (in seconds):0.374 1.11/0.50 o 38 1.11/0.51 c Got one! Elapsed wall clock time (in seconds):0.39 1.11/0.51 o 36 1.11/0.52 c Got one! Elapsed wall clock time (in seconds):0.391 1.11/0.52 o 35 1.11/0.52 c Got one! Elapsed wall clock time (in seconds):0.391 1.11/0.52 o 34 1.11/0.52 c Got one! Elapsed wall clock time (in seconds):0.392 1.11/0.52 o 33 1.11/0.52 c Got one! Elapsed wall clock time (in seconds):0.393 1.11/0.52 o 32 1.11/0.52 c Got one! Elapsed wall clock time (in seconds):0.394 1.11/0.52 o 31 1.11/0.52 c Got one! Elapsed wall clock time (in seconds):0.394 1.11/0.52 o 30 1.11/0.53 c Got one! Elapsed wall clock time (in seconds):0.408 1.11/0.53 o 28 1.11/0.53 c Got one! Elapsed wall clock time (in seconds):0.41 1.11/0.53 o 26 1.11/0.53 c Got one! Elapsed wall clock time (in seconds):0.41 1.11/0.53 o 25 1.11/0.54 c Got one! Elapsed wall clock time (in seconds):0.411 1.11/0.54 o 24 1.11/0.54 c Got one! Elapsed wall clock time (in seconds):0.413 1.11/0.54 o 23 1.11/0.54 c Got one! Elapsed wall clock time (in seconds):0.413 1.11/0.54 o 22 1.11/0.55 c Got one! Elapsed wall clock time (in seconds):0.426 1.11/0.55 o 20 1.31/0.76 c cleaning 3603 clauses out of 7205 with flag 5005/10585 1.66/1.01 c cleaning 4798 clauses out of 9597 with flag 11000/16580 1.97/1.34 c cleaning 5901 clauses out of 11801 with flag 18002/23582 2.38/1.71 c cleaning 6948 clauses out of 13899 with flag 26001/31581 2.60/1.91 c Got one! Elapsed wall clock time (in seconds):1.784 2.60/1.91 o 18 2.60/1.91 c Got one! Elapsed wall clock time (in seconds):1.787 2.60/1.91 o 17 2.60/1.91 c Got one! Elapsed wall clock time (in seconds):1.789 2.60/1.91 o 16 2.60/1.92 c Got one! Elapsed wall clock time (in seconds):1.791 2.60/1.92 o 15 2.60/1.97 c cleaning 5899 clauses out of 11806 with flag 1001/36894 2.92/2.22 c cleaning 5952 clauses out of 11907 with flag 7001/42894 2.92/2.27 c Got one! Elapsed wall clock time (in seconds):2.142 2.92/2.27 o 14 2.92/2.29 c Got one! Elapsed wall clock time (in seconds):2.17 2.92/2.29 o 13 3.01/2.33 c Got one! Elapsed wall clock time (in seconds):2.206 3.01/2.33 o 12 3.21/2.53 c cleaning 6340 clauses out of 12683 with flag 4000/49622 3.42/2.79 c cleaning 6169 clauses out of 12344 with flag 10001/55623 3.72/3.08 c cleaning 6586 clauses out of 13177 with flag 17003/62625 4.13/3.43 c cleaning 7295 clauses out of 14589 with flag 25001/70623 4.13/3.45 c Got one! Elapsed wall clock time (in seconds):3.326 4.13/3.45 o 11 4.33/3.68 c cleaning 6250 clauses out of 12503 with flag 5001/75832 4.43/3.79 c Got one! Elapsed wall clock time (in seconds):3.663 4.43/3.79 o 10 4.53/3.80 c Got one! Elapsed wall clock time (in seconds):3.675 4.53/3.80 o 9 4.53/3.80 c Got one! Elapsed wall clock time (in seconds):3.677 4.53/3.80 o 8 4.63/3.90 c cleaning 5760 clauses out of 11524 with flag 2001/81205 4.83/4.14 c cleaning 5876 clauses out of 11764 with flag 8001/87205 5.04/4.39 c cleaning 6442 clauses out of 12887 with flag 15000/94204 5.44/4.72 c cleaning 7221 clauses out of 14446 with flag 23001/102205 5.84/5.12 c cleaning 8111 clauses out of 16224 with flag 32000/111204 6.36/5.70 c cleaning 9055 clauses out of 18116 with flag 42003/121207 6.96/6.29 c cleaning 10029 clauses out of 20061 with flag 53003/132207 7.57/6.89 c cleaning 11012 clauses out of 22031 with flag 65002/144206 8.19/7.49 c cleaning 12004 clauses out of 24017 with flag 78000/157204 9.09/8.37 c cleaning 13001 clauses out of 26014 with flag 92001/171205 10.12/9.34 c cleaning 14006 clauses out of 28017 with flag 107005/186209 11.14/10.31 c cleaning 15000 clauses out of 30006 with flag 123000/202204 12.16/11.30 c cleaning 16000 clauses out of 32006 with flag 140000/219204 13.18/12.33 c cleaning 16997 clauses out of 34006 with flag 158000/237204 14.29/13.41 c cleaning 18002 clauses out of 36009 with flag 177000/256204 15.62/14.74 c cleaning 18999 clauses out of 38008 with flag 197001/276205 16.82/15.96 c cleaning 20001 clauses out of 40008 with flag 218000/297204 18.43/17.52 c cleaning 21003 clauses out of 42008 with flag 240001/319205 19.94/19.08 c cleaning 22002 clauses out of 44005 with flag 263001/342205 21.57/20.69 c cleaning 22999 clauses out of 46003 with flag 287001/366205 23.29/22.36 c cleaning 24001 clauses out of 48008 with flag 312005/391209 25.71/24.75 c cleaning 24995 clauses out of 50002 with flag 338000/417204 27.02/26.09 c Got one! Elapsed wall clock time (in seconds):25.966 27.02/26.09 o 6 27.72/26.71 c cleaning 25729 clauses out of 51462 with flag 5000/443659 28.03/27.09 c cleaning 15862 clauses out of 31733 with flag 11000/449659 28.43/27.47 c cleaning 11434 clauses out of 22872 with flag 18001/456660 28.83/27.83 c cleaning 9715 clauses out of 19437 with flag 26000/464659 29.23/28.25 c cleaning 9355 clauses out of 18722 with flag 35000/473659 29.73/28.70 c cleaning 9682 clauses out of 19368 with flag 45001/483660 30.25/29.21 c cleaning 10339 clauses out of 20686 with flag 56001/494660 30.76/29.78 c cleaning 11168 clauses out of 22346 with flag 68000/506659 31.46/30.45 c cleaning 12091 clauses out of 24181 with flag 81003/519662 32.16/31.17 c cleaning 13040 clauses out of 26087 with flag 95000/533659 32.97/31.95 c cleaning 14022 clauses out of 28047 with flag 110000/548659 33.87/32.89 c cleaning 15012 clauses out of 30026 with flag 126001/564660 34.97/33.99 c cleaning 16001 clauses out of 32015 with flag 143002/581661 36.08/35.07 c cleaning 16997 clauses out of 34012 with flag 161000/599659 37.18/36.12 c cleaning 18003 clauses out of 36015 with flag 180000/618659 38.09/37.01 c Got one! Elapsed wall clock time (in seconds):36.885 38.09/37.01 o 5 38.09/37.03 c Got one! Elapsed wall clock time (in seconds):36.906 38.09/37.03 o 4 38.50/37.44 c cleaning 21118 clauses out of 42249 with flag 5002/642916 38.80/37.74 c cleaning 13558 clauses out of 27129 with flag 11000/648914 39.11/38.03 c cleaning 10285 clauses out of 20574 with flag 18003/655917 39.41/38.33 c cleaning 9135 clauses out of 18287 with flag 26001/663915 39.81/38.70 c cleaning 9071 clauses out of 18152 with flag 35001/672915 40.11/39.09 c cleaning 9534 clauses out of 19080 with flag 45000/682914 40.72/39.63 c cleaning 10274 clauses out of 20548 with flag 56002/693916 41.32/40.27 c cleaning 11136 clauses out of 22273 with flag 68001/705915 42.12/41.01 c cleaning 12063 clauses out of 24136 with flag 81000/718914 42.85/41.75 c cleaning 13031 clauses out of 26073 with flag 95000/732914 43.65/42.52 c cleaning 14018 clauses out of 28042 with flag 110000/747914 44.56/43.41 c cleaning 15013 clauses out of 30025 with flag 126001/763915 45.58/44.45 c cleaning 16006 clauses out of 32012 with flag 143001/780915 46.58/45.45 c cleaning 17000 clauses out of 34006 with flag 161001/798915 47.80/46.64 c cleaning 17996 clauses out of 36006 with flag 180001/817915 49.22/48.04 c cleaning 19006 clauses out of 38011 with flag 200002/837916 50.63/49.41 c cleaning 20001 clauses out of 40005 with flag 221002/858916 52.13/50.90 c cleaning 20997 clauses out of 42002 with flag 243000/880914 53.73/52.51 c cleaning 22002 clauses out of 44005 with flag 266000/903914 55.03/53.82 c cleaning 22998 clauses out of 46006 with flag 290003/927917 56.43/55.21 c cleaning 24003 clauses out of 48005 with flag 315000/952914 58.03/56.87 c cleaning 25002 clauses out of 50003 with flag 341001/978915 59.83/58.61 c cleaning 26000 clauses out of 52003 with flag 368003/1005917 61.65/60.42 c cleaning 27000 clauses out of 54001 with flag 396001/1033915 63.75/62.52 c cleaning 27997 clauses out of 56000 with flag 425000/1062914 65.75/64.50 c cleaning 29001 clauses out of 58004 with flag 455001/1092915 68.06/66.83 c cleaning 29998 clauses out of 60002 with flag 486000/1123914 70.48/69.23 c cleaning 31002 clauses out of 62006 with flag 518002/1155916 72.88/71.67 c cleaning 31995 clauses out of 64003 with flag 551001/1188915 75.60/74.36 c cleaning 32996 clauses out of 66008 with flag 585001/1222915 78.80/77.53 c cleaning 34002 clauses out of 68014 with flag 620003/1257917 81.81/80.57 c cleaning 35003 clauses out of 70009 with flag 656000/1293914 85.61/84.33 c cleaning 36002 clauses out of 72009 with flag 693003/1330917 89.03/87.71 c cleaning 37001 clauses out of 74007 with flag 731003/1368917 91.83/90.50 c cleaning 38002 clauses out of 76005 with flag 770002/1407916 95.25/93.91 c cleaning 39000 clauses out of 78002 with flag 810001/1447915 98.19/96.85 c cleaning 39997 clauses out of 80002 with flag 851001/1488915 101.91/100.53 c cleaning 40998 clauses out of 82004 with flag 893000/1530914 105.73/104.30 c cleaning 41996 clauses out of 84006 with flag 936000/1573914 109.43/108.06 c cleaning 43005 clauses out of 86015 with flag 980005/1617919 113.05/111.68 c cleaning 44002 clauses out of 88006 with flag 1025001/1662915 116.87/115.44 c cleaning 45002 clauses out of 90004 with flag 1071001/1708915 121.47/120.07 c cleaning 46000 clauses out of 92002 with flag 1118001/1755915 125.39/123.92 c cleaning 46996 clauses out of 94001 with flag 1166000/1803914 130.32/128.82 c cleaning 48002 clauses out of 96008 with flag 1215003/1852917 135.25/133.76 c cleaning 49002 clauses out of 98004 with flag 1265001/1902915 140.36/138.81 c cleaning 49999 clauses out of 100004 with flag 1316003/1953917 146.29/144.72 c cleaning 50999 clauses out of 102003 with flag 1368001/2005915 151.13/149.59 c cleaning 51995 clauses out of 104003 with flag 1421000/2058914 156.36/154.79 c cleaning 53003 clauses out of 106008 with flag 1475000/2112914 161.66/160.04 c cleaning 54002 clauses out of 108005 with flag 1530000/2167914 167.09/165.48 c cleaning 55000 clauses out of 110004 with flag 1586001/2223915 173.80/172.10 c cleaning 56003 clauses out of 112006 with flag 1643003/2280917 180.53/178.86 c cleaning 56997 clauses out of 114000 with flag 1701000/2338914 187.14/185.40 c cleaning 57999 clauses out of 116005 with flag 1760002/2397916 192.96/191.20 c cleaning 58999 clauses out of 118007 with flag 1820003/2457917 200.27/198.57 c cleaning 60001 clauses out of 120007 with flag 1881002/2518916 206.80/205.06 c cleaning 60999 clauses out of 122007 with flag 1943003/2580917 213.83/212.00 c cleaning 62002 clauses out of 124005 with flag 2006000/2643914 222.34/220.52 c cleaning 63000 clauses out of 126004 with flag 2070001/2707915 230.07/228.29 c cleaning 63996 clauses out of 128003 with flag 2135000/2772914 238.41/236.51 c cleaning 65000 clauses out of 130009 with flag 2201002/2838916 247.22/245.32 c cleaning 66004 clauses out of 132008 with flag 2268001/2905915 255.44/253.52 c cleaning 66996 clauses out of 134003 with flag 2336000/2973914 263.87/261.92 c cleaning 68004 clauses out of 136008 with flag 2405001/3042915 270.98/269.08 c cleaning 69002 clauses out of 138003 with flag 2475000/3112914 279.10/277.12 c cleaning 69994 clauses out of 140001 with flag 2546000/3183914 287.22/285.25 c cleaning 71001 clauses out of 142008 with flag 2618001/3255915 297.75/295.72 c cleaning 72001 clauses out of 144007 with flag 2691001/3328915 308.38/306.36 c cleaning 73003 clauses out of 146007 with flag 2765002/3402916 319.30/317.28 c cleaning 73999 clauses out of 148002 with flag 2840000/3477914 330.11/328.00 c cleaning 74999 clauses out of 150003 with flag 2916000/3553914 341.03/338.95 c cleaning 76001 clauses out of 152005 with flag 2993001/3630915 352.87/350.70 c cleaning 76998 clauses out of 154004 with flag 3071001/3708915 363.09/360.96 c cleaning 78000 clauses out of 156006 with flag 3150001/3787915 375.23/373.06 c cleaning 78999 clauses out of 158005 with flag 3230000/3867914 388.35/386.16 c cleaning 80001 clauses out of 160006 with flag 3311000/3948914 400.68/398.45 c cleaning 80998 clauses out of 162005 with flag 3393000/4030914 412.69/410.46 c cleaning 82002 clauses out of 164007 with flag 3476000/4113914 425.51/423.27 c cleaning 82998 clauses out of 166005 with flag 3560000/4197914 438.94/436.69 c cleaning 84003 clauses out of 168009 with flag 3645002/4282916 454.04/451.72 c cleaning 84997 clauses out of 170004 with flag 3731000/4368914 470.97/468.64 c cleaning 86005 clauses out of 172010 with flag 3818003/4455917 486.41/484.02 c cleaning 86999 clauses out of 174002 with flag 3906000/4543914 498.74/496.38 c cleaning 87994 clauses out of 176003 with flag 3995000/4632914 512.25/509.84 c cleaning 89004 clauses out of 178015 with flag 4085006/4722920 526.66/524.25 c cleaning 90000 clauses out of 180005 with flag 4176000/4813914 540.79/538.36 c cleaning 90994 clauses out of 182005 with flag 4268000/4905914 556.44/553.97 c cleaning 92004 clauses out of 184011 with flag 4361000/4998914 570.35/567.83 c cleaning 93000 clauses out of 186008 with flag 4455001/5092915 584.18/581.60 c cleaning 94000 clauses out of 188008 with flag 4550001/5187915 597.89/595.32 c cleaning 94999 clauses out of 190007 with flag 4646000/5283914 613.34/610.79 c cleaning 96000 clauses out of 192011 with flag 4743003/5380917 627.98/625.30 c cleaning 97001 clauses out of 194009 with flag 4841001/5478915 643.01/640.36 c cleaning 97998 clauses out of 196008 with flag 4940001/5577915 657.96/655.21 c cleaning 99004 clauses out of 198010 with flag 5040001/5677915 673.64/670.87 c cleaning 99999 clauses out of 200005 with flag 5141000/5778914 689.38/686.58 c cleaning 101002 clauses out of 202010 with flag 5243004/5880918 706.70/703.86 c cleaning 101992 clauses out of 204004 with flag 5346000/5983914 724.31/721.41 c cleaning 103006 clauses out of 206012 with flag 5450000/6087914 741.56/738.68 c cleaning 104002 clauses out of 208008 with flag 5555002/6192916 760.08/757.17 c cleaning 104997 clauses out of 210004 with flag 5661000/6298914 778.11/775.10 c cleaning 106001 clauses out of 212010 with flag 5768003/6405917 800.53/797.50 c cleaning 106998 clauses out of 214006 with flag 5876000/6513914 821.45/818.43 c cleaning 108003 clauses out of 216010 with flag 5985002/6622916 843.68/840.63 c cleaning 108999 clauses out of 218005 with flag 6095000/6732914 844.10/841.00 c Got one! Elapsed wall clock time (in seconds):840.875 844.10/841.00 o 3 844.20/841.17 c Got one! Elapsed wall clock time (in seconds):841.044 844.20/841.17 o 1 845.80/842.71 c cleaning 57672 clauses out of 115347 with flag 3002/6739263 846.61/843.58 c cleaning 31831 clauses out of 63673 with flag 9000/6745261 847.21/844.14 c cleaning 19420 clauses out of 38842 with flag 16000/6752261 847.63/844.55 c cleaning 13709 clauses out of 27423 with flag 24001/6760262 848.05/844.94 c cleaning 11354 clauses out of 22714 with flag 33001/6769262 848.57/845.42 c cleaning 10676 clauses out of 21359 with flag 43000/6779261 849.08/845.91 c cleaning 10838 clauses out of 21684 with flag 54001/6790262 849.59/846.46 c cleaning 11424 clauses out of 22848 with flag 66003/6802264 850.31/847.10 c cleaning 12211 clauses out of 24422 with flag 79001/6815262 851.01/847.84 c cleaning 13098 clauses out of 26210 with flag 93000/6829261 851.83/848.67 c cleaning 14054 clauses out of 28113 with flag 108001/6844262 852.75/849.58 c cleaning 15026 clauses out of 30058 with flag 124000/6860261 853.87/850.66 c cleaning 16012 clauses out of 32032 with flag 141000/6877261 855.10/851.81 c cleaning 17009 clauses out of 34021 with flag 159001/6895262 856.40/853.19 c cleaning 17997 clauses out of 36012 with flag 178001/6914262 857.72/854.46 c cleaning 19004 clauses out of 38015 with flag 198001/6934262 859.04/855.79 c cleaning 20003 clauses out of 40011 with flag 219001/6955262 860.55/857.28 c cleaning 21000 clauses out of 42008 with flag 241001/6977262 862.08/858.79 c cleaning 22003 clauses out of 44007 with flag 264000/7000261 864.00/860.63 c cleaning 23000 clauses out of 46005 with flag 288001/7024262 865.91/862.59 c cleaning 24001 clauses out of 48004 with flag 313000/7049261 868.03/864.65 c cleaning 25002 clauses out of 50004 with flag 339001/7075262 870.24/866.84 c cleaning 26001 clauses out of 52001 with flag 366000/7102261 872.64/869.21 c cleaning 26999 clauses out of 54000 with flag 394000/7130261 875.04/871.64 c cleaning 27995 clauses out of 56002 with flag 423001/7159262 877.35/873.92 c cleaning 29001 clauses out of 58009 with flag 453003/7189264 879.76/876.35 c cleaning 30004 clauses out of 60007 with flag 484002/7220263 882.46/879.03 c cleaning 31001 clauses out of 62002 with flag 516001/7252262 885.58/882.12 c cleaning 31999 clauses out of 64004 with flag 549004/7285265 888.98/885.56 c cleaning 33000 clauses out of 66002 with flag 583001/7319262 892.19/888.74 c cleaning 33997 clauses out of 68001 with flag 618000/7354261 895.49/892.07 c cleaning 35000 clauses out of 70006 with flag 654002/7390263 898.61/895.17 c cleaning 36001 clauses out of 72005 with flag 691001/7427262 901.81/898.37 c cleaning 36998 clauses out of 74004 with flag 729001/7465262 905.23/901.77 c cleaning 38001 clauses out of 76005 with flag 768000/7504261 909.03/905.54 c cleaning 38999 clauses out of 78004 with flag 808000/7544261 912.66/909.11 c cleaning 39991 clauses out of 80005 with flag 849000/7585261 916.38/912.86 c cleaning 41002 clauses out of 82014 with flag 891000/7627261 920.38/916.82 c cleaning 42004 clauses out of 84014 with flag 934002/7670263 924.78/921.29 c cleaning 43005 clauses out of 86010 with flag 978002/7714263 928.79/925.21 c cleaning 43994 clauses out of 88003 with flag 1023000/7759261 933.10/929.58 c cleaning 45000 clauses out of 90009 with flag 1069000/7805261 937.51/933.98 c cleaning 45998 clauses out of 92009 with flag 1116000/7852261 942.82/939.23 c cleaning 47005 clauses out of 94013 with flag 1164002/7900263 948.12/944.50 c cleaning 47999 clauses out of 96006 with flag 1213000/7949261 953.73/950.14 c cleaning 49001 clauses out of 98007 with flag 1263000/7999261 960.24/956.61 c cleaning 50000 clauses out of 100007 with flag 1314001/8050262 967.04/963.41 c cleaning 51003 clauses out of 102009 with flag 1366003/8102264 974.06/970.48 c cleaning 51998 clauses out of 104005 with flag 1419002/8155263 981.50/977.80 c cleaning 52999 clauses out of 106005 with flag 1473000/8209261 987.32/983.63 c cleaning 53997 clauses out of 108006 with flag 1528000/8264261 993.04/989.39 c cleaning 55001 clauses out of 110010 with flag 1584001/8320262 1000.16/996.42 c cleaning 56002 clauses out of 112010 with flag 1641002/8377263 1007.68/1003.93 c cleaning 56997 clauses out of 114006 with flag 1699000/8435261 1016.39/1012.64 c cleaning 58004 clauses out of 116010 with flag 1758001/8494262 1023.49/1019.79 c cleaning 58996 clauses out of 118005 with flag 1818000/8554261 1032.80/1029.05 c cleaning 59998 clauses out of 120009 with flag 1879000/8615261 1041.72/1037.92 c cleaning 61004 clauses out of 122011 with flag 1941000/8677261 1050.85/1047.10 c cleaning 62000 clauses out of 124008 with flag 2004001/8740262 1060.75/1056.93 c cleaning 62999 clauses out of 126008 with flag 2068001/8804262 1071.48/1067.66 c cleaning 64001 clauses out of 128010 with flag 2133002/8869263 1082.51/1078.68 c cleaning 65000 clauses out of 130007 with flag 2199000/8935261 1093.33/1089.42 c cleaning 66005 clauses out of 132011 with flag 2266004/9002265 1101.95/1098.01 c cleaning 66995 clauses out of 134002 with flag 2334000/9070261 1112.15/1108.20 c cleaning 67999 clauses out of 136008 with flag 2403001/9139262 1124.46/1120.53 c cleaning 69002 clauses out of 138010 with flag 2473002/9209263 1135.48/1131.51 c cleaning 69998 clauses out of 140006 with flag 2544000/9280261 1145.79/1141.81 c cleaning 70998 clauses out of 142009 with flag 2616001/9352262 1158.41/1154.43 c cleaning 71999 clauses out of 144010 with flag 2689000/9425261 1171.25/1167.28 c cleaning 73005 clauses out of 146013 with flag 2763002/9499263 1184.06/1180.07 c cleaning 74002 clauses out of 148006 with flag 2838000/9574261 1196.50/1192.40 c cleaning 74998 clauses out of 150004 with flag 2914000/9650261 1209.51/1205.47 c cleaning 76004 clauses out of 152007 with flag 2991001/9727262 1223.43/1219.30 c cleaning 76995 clauses out of 154002 with flag 3069000/9805261 1238.05/1233.98 c cleaning 78000 clauses out of 156007 with flag 3148000/9884261 1253.09/1248.92 c cleaning 78999 clauses out of 158007 with flag 3228000/9964261 1267.59/1263.43 c cleaning 80004 clauses out of 160008 with flag 3309000/10045261 1282.84/1278.62 c cleaning 80994 clauses out of 162005 with flag 3391001/10127262 1295.57/1291.38 c cleaning 82002 clauses out of 164010 with flag 3474000/10210261 1306.99/1302.74 c cleaning 82999 clauses out of 166010 with flag 3558002/10294263 1321.01/1316.80 c cleaning 84001 clauses out of 168009 with flag 3643000/10379261 1333.32/1329.06 c cleaning 85001 clauses out of 170011 with flag 3729003/10465264 1346.74/1342.50 c cleaning 85994 clauses out of 172007 with flag 3816000/10552261 1360.45/1356.18 c cleaning 87006 clauses out of 174014 with flag 3904001/10640262 1377.22/1372.86 c cleaning 88005 clauses out of 176009 with flag 3993002/10729263 1391.67/1387.29 c cleaning 89001 clauses out of 178004 with flag 4083002/10819263 1404.79/1400.34 c cleaning 89990 clauses out of 180001 with flag 4174000/10910261 1419.13/1414.68 c cleaning 91000 clauses out of 182012 with flag 4266001/11002262 1433.65/1429.11 c cleaning 92002 clauses out of 184014 with flag 4359003/11095264 1452.28/1447.76 c cleaning 93002 clauses out of 186009 with flag 4453000/11189261 1468.74/1464.14 c cleaning 94003 clauses out of 188009 with flag 4548002/11284263 1483.54/1478.98 c cleaning 95002 clauses out of 190005 with flag 4644001/11380262 1499.07/1494.48 c cleaning 95998 clauses out of 192002 with flag 4741000/11477261 1513.10/1508.47 c cleaning 96995 clauses out of 194006 with flag 4839002/11575263 1527.44/1522.70 c cleaning 98000 clauses out of 196009 with flag 4938000/11674261 1543.28/1538.59 c cleaning 98997 clauses out of 198009 with flag 5038000/11774261 1561.62/1556.84 c cleaning 100000 clauses out of 200012 with flag 5139000/11875261 1578.46/1573.69 c cleaning 101005 clauses out of 202013 with flag 5241001/11977262 1596.97/1592.17 c cleaning 102000 clauses out of 204007 with flag 5344000/12080261 1615.19/1610.37 c cleaning 103000 clauses out of 206007 with flag 5448000/12184261 1634.31/1629.45 c cleaning 104000 clauses out of 208007 with flag 5553000/12289261 1652.65/1647.75 c cleaning 105001 clauses out of 210007 with flag 5659000/12395261 1670.47/1665.55 c cleaning 106003 clauses out of 212008 with flag 5766002/12502263 1692.80/1687.80 c cleaning 106999 clauses out of 214003 with flag 5874000/12610261 1713.14/1708.13 c cleaning 107997 clauses out of 216004 with flag 5983000/12719261 1735.47/1730.46 c cleaning 109003 clauses out of 218007 with flag 6093000/12829261 1757.58/1752.53 c cleaning 109999 clauses out of 220004 with flag 6204000/12940261 1779.50/1774.41 c cleaning 111002 clauses out of 222006 with flag 6316001/13052262 1800.01/1794.91 c starts : 508 1800.01/1794.91 c conflicts : 13165262 1800.01/1794.91 c decisions : 13256892 1800.01/1794.91 c propagations : 89073277 1800.01/1794.91 c inspects : 24174079176 1800.01/1794.91 c shortcuts : 0 1800.01/1794.91 c learnt literals : 0 1800.01/1794.91 c learnt binary clauses : 0 1800.01/1794.91 c learnt ternary clauses : 0 1800.01/1794.91 c learnt constraints : 13165262 1800.01/1794.91 c ignored constraints : 0 1800.01/1794.91 c root simplifications : 508 1800.01/1794.91 c removed literals (reason simplification) : 109786111 1800.01/1794.91 c reason swapping (by a shorter reason) : 0 1800.01/1794.91 c Calls to reduceDB : 263 1800.01/1794.91 c number of reductions to clauses (during analyze) : 0 1800.01/1794.91 c number of learned constraints concerned by reduction : 0 1800.01/1794.91 c number of learning phase by resolution : 0 1800.01/1794.91 c number of learning phase by cutting planes : 0 1800.01/1794.91 c speed (assignments/second) : 49629.85248101131 1800.01/1794.91 c non guided choices 101 1800.01/1794.94 c learnt constraints type 1800.01/1794.94 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 224004 1800.01/1794.94 c constraints type 1800.01/1794.94 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 11 1800.01/1794.94 c 11 constraints processed. 1800.01/1794.94 s SATISFIABLE 1800.01/1794.94 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.01/1794.94 c objective function=1 1800.01/1794.94 c Total wall clock time (in seconds): 1794.817
OK 1
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-3710828-1338154919/watcher-3710828-1338154919 -o /tmp/evaluation-result-3710828-1338154919/solver-3710828-1338154919 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710828-1338154919.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.09 2.06 2.01 2/192 25234 /proc/meminfo: memFree=27855536/32873624 swapFree=7104/7104 [pid=25234] ppid=25232 vsize=2500 CPUtime=0 cores=0,2,4,6 /proc/25234/stat : 25234 (java) D 25232 25234 21372 0 -1 4202496 95 0 0 0 0 0 0 0 20 0 1 0 281617408 2560000 47 33554432000 1073741824 1073778376 140734982091120 140734982088248 227503336743 0 0 4096 0 18446744072100609316 0 0 17 2 0 0 0 0 0 /proc/25234/statm: 625 47 37 9 0 29 0 [startup+0.069314 s] /proc/loadavg: 2.09 2.06 2.01 2/192 25234 /proc/meminfo: memFree=27855536/32873624 swapFree=7104/7104 [pid=25234] ppid=25232 vsize=9558440 CPUtime=0.03 cores=0,2,4,6 /proc/25234/stat : 25234 (java) S 25232 25234 21372 0 -1 4202496 3195 0 1 0 3 0 0 0 20 0 18 0 281617408 9787842560 4402 33554432000 1073741824 1073778376 140733327532672 140733327523808 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25234/statm: 2389610 4402 1764 9 0 2380296 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 9558440 [startup+0.100193 s] /proc/loadavg: 2.09 2.06 2.01 2/192 25234 /proc/meminfo: memFree=27855536/32873624 swapFree=7104/7104 [pid=25234] ppid=25232 vsize=9558440 CPUtime=0.07 cores=0,2,4,6 /proc/25234/stat : 25234 (java) S 25232 25234 21372 0 -1 4202496 4153 0 1 0 7 0 0 0 20 0 18 0 281617408 9787842560 5353 33554432000 1073741824 1073778376 140733327532672 140733327523808 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25234/statm: 2389610 5355 2111 9 0 2380296 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9558440 [startup+0.300154 s] /proc/loadavg: 2.09 2.06 2.01 2/192 25234 /proc/meminfo: memFree=27855536/32873624 swapFree=7104/7104 [pid=25234] ppid=25232 vsize=9625004 CPUtime=0.54 cores=0,2,4,6 /proc/25234/stat : 25234 (java) S 25232 25234 21372 0 -1 4202496 6929 0 1 0 53 1 0 0 20 0 19 0 281617408 9856004096 8734 33554432000 1073741824 1073778376 140733327532672 140733327523808 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25234/statm: 2406251 8734 2230 9 0 2396937 0 Current children cumulated CPU time (s) 0.54 Current children cumulated vsize (KiB) 9625004 [startup+0.700109 s] /proc/loadavg: 2.09 2.06 2.01 2/192 25234 /proc/meminfo: memFree=27855536/32873624 swapFree=7104/7104 [pid=25234] ppid=25232 vsize=9625004 CPUtime=1.31 cores=0,2,4,6 /proc/25234/stat : 25234 (java) S 25232 25234 21372 0 -1 4202496 11554 0 1 0 129 2 0 0 20 0 19 0 281617408 9856004096 11218 33554432000 1073741824 1073778376 140733327532672 140733327523808 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25234/statm: 2406251 11218 2240 9 0 2396937 0 Current children cumulated CPU time (s) 1.31 Current children cumulated vsize (KiB) 9625004 [startup+1.50066 s] /proc/loadavg: 2.09 2.06 2.01 3/211 25253 /proc/meminfo: memFree=27810680/32873624 swapFree=7104/7104 [pid=25234] ppid=25232 vsize=9625004 CPUtime=2.17 cores=0,2,4,6 /proc/25234/stat : 25234 (java) S 25232 25234 21372 0 -1 4202496 11650 0 1 0 215 2 0 0 20 0 19 0 281617408 9856004096 13835 33554432000 1073741824 1073778376 140733327532672 140733327523808 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25234/statm: 2406251 13835 2272 9 0 2396937 0 [pid=25234/tid=25236] ppid=25232 vsize=9625004 CPUtime=1.42 cores=0,2,4,6 /proc/25234/task/25236/stat : 25236 (java) R 25232 25234 21372 0 -1 4202560 2510 0 1 0 141 1 0 0 20 0 19 0 281617410 9856004096 13835 33554432000 1073741824 1073778376 140733327532672 140264404181240 140264253847544 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=25234/tid=25237] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25237/stat : 25237 (java) S 25232 25234 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281617411 9856004096 13835 33554432000 1073741824 1073778376 140733327532672 140264376634152 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25234/tid=25238] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25238/stat : 25238 (java) S 25232 25234 21372 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281617411 9856004096 13835 33554432000 1073741824 1073778376 140733327532672 140264375581352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25234/tid=25239] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25239/stat : 25239 (java) S 25232 25234 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281617411 9856004096 13835 33554432000 1073741824 1073778376 140733327532672 140264374529064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25234/tid=25240] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25240/stat : 25240 (java) S 25232 25234 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281617411 9856004096 13835 33554432000 1073741824 1073778376 140733327532672 140264373476264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25234/tid=25241] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25241/stat : 25241 (java) S 25232 25234 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281617411 9856004096 13835 33554432000 1073741824 1073778376 140733327532672 140264372422952 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25234/tid=25242] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25242/stat : 25242 (java) S 25232 25234 21372 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281617411 9856004096 13835 33554432000 1073741824 1073778376 140733327532672 140264242456744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25234/tid=25243] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25243/stat : 25243 (java) S 25232 25234 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281617411 9856004096 13835 33554432000 1073741824 1073778376 140733327532672 140264241404456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25244] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25244/stat : 25244 (java) S 25232 25234 21372 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281617411 9856004096 13835 33554432000 1073741824 1073778376 140733327532672 140264240351656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25245] ppid=25232 vsize=9625004 CPUtime=0.01 cores=0,2,4,6 /proc/25234/task/25245/stat : 25245 (java) S 25232 25234 21372 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 281617412 9856004096 13835 33554432000 1073741824 1073778376 140733327532672 140263757404904 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25246] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25246/stat : 25246 (java) S 25232 25234 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281617412 9856004096 13835 33554432000 1073741824 1073778376 140733327532672 140263756350968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25247] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25247/stat : 25247 (java) S 25232 25234 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281617412 9856004096 13835 33554432000 1073741824 1073778376 140733327532672 140263755298568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25248] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25248/stat : 25248 (java) S 25232 25234 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281617415 9856004096 13835 33554432000 1073741824 1073778376 140733327532672 140263754247056 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25249] ppid=25232 vsize=9625004 CPUtime=0.35 cores=0,2,4,6 /proc/25234/task/25249/stat : 25249 (java) S 25232 25234 21372 0 -1 4202560 3043 0 0 0 35 0 0 0 20 0 19 0 281617415 9856004096 13835 33554432000 1073741824 1073778376 140733327532672 140263753193656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25250] ppid=25232 vsize=9625004 CPUtime=0.32 cores=0,2,4,6 /proc/25234/task/25250/stat : 25250 (java) S 25232 25234 21372 0 -1 4202560 4843 0 0 0 32 0 0 0 20 0 19 0 281617415 9856004096 13835 33554432000 1073741824 1073778376 140733327532672 140263752140856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25234/tid=25251] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25251/stat : 25251 (java) S 25232 25234 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281617415 9856004096 13835 33554432000 1073741824 1073778376 140733327532672 140263751088760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25234/tid=25252] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25252/stat : 25252 (java) S 25232 25234 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281617415 9856004096 13835 33554432000 1073741824 1073778376 140733327532672 140263750036168 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25253] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25253/stat : 25253 (java) S 25232 25234 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281617425 9856004096 13835 33554432000 1073741824 1073778376 140733327532672 140263748982184 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.17 Current children cumulated vsize (KiB) 9625004 [startup+3.10053 s] /proc/loadavg: 2.09 2.06 2.01 3/211 25253 /proc/meminfo: memFree=27817008/32873624 swapFree=7104/7104 [pid=25234] ppid=25232 vsize=9625004 CPUtime=3.83 cores=0,2,4,6 /proc/25234/stat : 25234 (java) S 25232 25234 21372 0 -1 4202496 11709 0 1 0 380 3 0 0 20 0 19 0 281617408 9856004096 14364 33554432000 1073741824 1073778376 140733327532672 140733327523808 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25234/statm: 2406251 14364 2273 9 0 2396937 0 [pid=25234/tid=25236] ppid=25232 vsize=9625004 CPUtime=2.95 cores=0,2,4,6 /proc/25234/task/25236/stat : 25236 (java) R 25232 25234 21372 0 -1 4202560 2515 0 1 0 294 1 0 0 20 0 19 0 281617410 9856004096 14364 33554432000 1073741824 1073778376 140733327532672 140264404181240 140264253900168 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=25234/tid=25237] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25237/stat : 25237 (java) S 25232 25234 21372 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281617411 9856004096 14364 33554432000 1073741824 1073778376 140733327532672 140264376634152 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25234/tid=25238] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25238/stat : 25238 (java) S 25232 25234 21372 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281617411 9856004096 14364 33554432000 1073741824 1073778376 140733327532672 140264375581352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25234/tid=25239] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25239/stat : 25239 (java) S 25232 25234 21372 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281617411 9856004096 14364 33554432000 1073741824 1073778376 140733327532672 140264374529064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25234/tid=25240] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25240/stat : 25240 (java) S 25232 25234 21372 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281617411 9856004096 14364 33554432000 1073741824 1073778376 140733327532672 140264373476264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25234/tid=25241] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25241/stat : 25241 (java) S 25232 25234 21372 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281617411 9856004096 14364 33554432000 1073741824 1073778376 140733327532672 140264372422952 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25242] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25242/stat : 25242 (java) S 25232 25234 21372 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281617411 9856004096 14364 33554432000 1073741824 1073778376 140733327532672 140264242456744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25234/tid=25243] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25243/stat : 25243 (java) S 25232 25234 21372 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281617411 9856004096 14364 33554432000 1073741824 1073778376 140733327532672 140264241404456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25234/tid=25244] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25244/stat : 25244 (java) S 25232 25234 21372 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281617411 9856004096 14364 33554432000 1073741824 1073778376 140733327532672 140264240351656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25234/tid=25245] ppid=25232 vsize=9625004 CPUtime=0.06 cores=0,2,4,6 /proc/25234/task/25245/stat : 25245 (java) R 25232 25234 21372 0 -1 4202560 34 0 0 0 6 0 0 0 20 0 19 0 281617412 9856004096 14364 33554432000 1073741824 1073778376 140733327532672 140263757405024 227515883957 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=25234/tid=25246] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25246/stat : 25246 (java) S 25232 25234 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281617412 9856004096 14364 33554432000 1073741824 1073778376 140733327532672 140263756350968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25247] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25247/stat : 25247 (java) S 25232 25234 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281617412 9856004096 14364 33554432000 1073741824 1073778376 140733327532672 140263755298568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25248] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25248/stat : 25248 (java) S 25232 25234 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281617415 9856004096 14364 33554432000 1073741824 1073778376 140733327532672 140263754247056 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25249] ppid=25232 vsize=9625004 CPUtime=0.36 cores=0,2,4,6 /proc/25234/task/25249/stat : 25249 (java) S 25232 25234 21372 0 -1 4202560 3078 0 0 0 36 0 0 0 20 0 19 0 281617415 9856004096 14364 33554432000 1073741824 1073778376 140733327532672 140263753193656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25250] ppid=25232 vsize=9625004 CPUtime=0.32 cores=0,2,4,6 /proc/25234/task/25250/stat : 25250 (java) S 25232 25234 21372 0 -1 4202560 4843 0 0 0 32 0 0 0 20 0 19 0 281617415 9856004096 14364 33554432000 1073741824 1073778376 140733327532672 140263752140856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25234/tid=25251] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25251/stat : 25251 (java) S 25232 25234 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281617415 9856004096 14364 33554432000 1073741824 1073778376 140733327532672 140263751088760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25234/tid=25252] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25252/stat : 25252 (java) S 25232 25234 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281617415 9856004096 14364 33554432000 1073741824 1073778376 140733327532672 140263750036168 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25253] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25253/stat : 25253 (java) S 25232 25234 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281617425 9856004096 14364 33554432000 1073741824 1073778376 140733327532672 140263748982184 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.83 Current children cumulated vsize (KiB) 9625004 [startup+6.30055 s] /proc/loadavg: 2.08 2.06 2.01 3/211 25253 /proc/meminfo: memFree=27818000/32873624 swapFree=7104/7104 [pid=25234] ppid=25232 vsize=9625004 CPUtime=7.08 cores=0,2,4,6 /proc/25234/stat : 25234 (java) S 25232 25234 21372 0 -1 4202496 11734 0 1 0 705 3 0 0 20 0 19 0 281617408 9856004096 13938 33554432000 1073741824 1073778376 140733327532672 140733327523808 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25234/statm: 2406251 13938 2273 9 0 2396937 0 [pid=25234/tid=25236] ppid=25232 vsize=9625004 CPUtime=6.05 cores=0,2,4,6 /proc/25234/task/25236/stat : 25236 (java) S 25232 25234 21372 0 -1 4202560 2524 0 1 0 604 1 0 0 20 0 19 0 281617410 9856004096 13938 33554432000 1073741824 1073778376 140733327532672 140264404181400 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25234/tid=25237] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25237/stat : 25237 (java) S 25232 25234 21372 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281617411 9856004096 13938 33554432000 1073741824 1073778376 140733327532672 140264376634152 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25234/tid=25238] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25238/stat : 25238 (java) S 25232 25234 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281617411 9856004096 13938 33554432000 1073741824 1073778376 140733327532672 140264375581352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25239] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25239/stat : 25239 (java) S 25232 25234 21372 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281617411 9856004096 13938 33554432000 1073741824 1073778376 140733327532672 140264374529064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25240] ppid=25232 vsize=9625004 CPUtime=0.01 cores=0,2,4,6 /proc/25234/task/25240/stat : 25240 (java) S 25232 25234 21372 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 281617411 9856004096 13938 33554432000 1073741824 1073778376 140733327532672 140264373476264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25234/tid=25241] ppid=25232 vsize=9625004 CPUtime=0.01 cores=0,2,4,6 /proc/25234/task/25241/stat : 25241 (java) S 25232 25234 21372 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 281617411 9856004096 13938 33554432000 1073741824 1073778376 140733327532672 140264372422952 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25234/tid=25242] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25242/stat : 25242 (java) S 25232 25234 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281617411 9856004096 13938 33554432000 1073741824 1073778376 140733327532672 140264242456744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25234/tid=25243] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25243/stat : 25243 (java) S 25232 25234 21372 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281617411 9856004096 13938 33554432000 1073741824 1073778376 140733327532672 140264241404456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25234/tid=25244] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25244/stat : 25244 (java) S 25232 25234 21372 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281617411 9856004096 13938 33554432000 1073741824 1073778376 140733327532672 140264240351656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25234/tid=25245] ppid=25232 vsize=9625004 CPUtime=0.14 cores=0,2,4,6 /proc/25234/task/25245/stat : 25245 (java) R 25232 25234 21372 0 -1 4202560 34 0 0 0 14 0 0 0 20 0 19 0 281617412 9856004096 13938 33554432000 1073741824 1073778376 140733327532672 140263757403760 140264407452465 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=25234/tid=25246] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25246/stat : 25246 (java) S 25232 25234 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281617412 9856004096 13938 33554432000 1073741824 1073778376 140733327532672 140263756350968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25247] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25247/stat : 25247 (java) S 25232 25234 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281617412 9856004096 13938 33554432000 1073741824 1073778376 140733327532672 140263755298568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25248] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25248/stat : 25248 (java) S 25232 25234 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281617415 9856004096 13938 33554432000 1073741824 1073778376 140733327532672 140263754247056 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25249] ppid=25232 vsize=9625004 CPUtime=0.36 cores=0,2,4,6 /proc/25234/task/25249/stat : 25249 (java) S 25232 25234 21372 0 -1 4202560 3078 0 0 0 36 0 0 0 20 0 19 0 281617415 9856004096 13938 33554432000 1073741824 1073778376 140733327532672 140263753193656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25250] ppid=25232 vsize=9625004 CPUtime=0.32 cores=0,2,4,6 /proc/25234/task/25250/stat : 25250 (java) S 25232 25234 21372 0 -1 4202560 4843 0 0 0 32 0 0 0 20 0 19 0 281617415 9856004096 13938 33554432000 1073741824 1073778376 140733327532672 140263752140856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25234/tid=25251] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25251/stat : 25251 (java) S 25232 25234 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281617415 9856004096 13938 33554432000 1073741824 1073778376 140733327532672 140263751088760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25234/tid=25252] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25252/stat : 25252 (java) S 25232 25234 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281617415 9856004096 13938 33554432000 1073741824 1073778376 140733327532672 140263750036168 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25253] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25253/stat : 25253 (java) S 25232 25234 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281617425 9856004096 13938 33554432000 1073741824 1073778376 140733327532672 140263748982184 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 7.08 Current children cumulated vsize (KiB) 9625004 [startup+12.7006 s] ################ # More data... # ################ [pid=25234/tid=25249] ppid=25232 vsize=9625004 CPUtime=0.37 cores=0,2,4,6 /proc/25234/task/25249/stat : 25249 (java) S 25232 25234 21372 0 -1 4202560 3078 0 0 0 37 0 0 0 20 0 19 0 281617415 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263753193656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25250] ppid=25232 vsize=9625004 CPUtime=0.32 cores=0,2,4,6 /proc/25234/task/25250/stat : 25250 (java) S 25232 25234 21372 0 -1 4202560 4843 0 0 0 32 0 0 0 20 0 19 0 281617415 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263752140856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25234/tid=25251] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25251/stat : 25251 (java) S 25232 25234 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281617415 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263751088760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25234/tid=25252] ppid=25232 vsize=9625004 CPUtime=0.28 cores=0,2,4,6 /proc/25234/task/25252/stat : 25252 (java) S 25232 25234 21372 0 -1 4202560 99 0 0 0 15 13 0 0 20 0 19 0 281617415 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263750036168 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25253] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25253/stat : 25253 (java) S 25232 25234 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281617425 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263748982184 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1727.37 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 1.97 1.98 1.99 3/211 25360 /proc/meminfo: memFree=28456004/32873624 swapFree=7104/7104 [pid=25234] ppid=25232 vsize=9625004 CPUtime=1787.41 cores=0,2,4,6 /proc/25234/stat : 25234 (java) S 25232 25234 21372 0 -1 4202496 13531 0 1 0 178712 29 0 0 20 0 19 0 281617408 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140733327523808 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25234/statm: 2406251 32577 2273 9 0 2396937 0 [pid=25234/tid=25236] ppid=25232 vsize=9625004 CPUtime=1768.7 cores=0,2,4,6 /proc/25234/task/25236/stat : 25236 (java) R 25232 25234 21372 0 -1 4202560 2773 0 1 0 176840 30 0 0 20 0 19 0 281617410 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140264404181280 140264253872521 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=25234/tid=25237] ppid=25232 vsize=9625004 CPUtime=0.81 cores=0,2,4,6 /proc/25234/task/25237/stat : 25237 (java) S 25232 25234 21372 0 -1 4202560 145 0 0 0 79 2 0 0 20 0 19 0 281617411 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140264376634152 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25234/tid=25238] ppid=25232 vsize=9625004 CPUtime=0.76 cores=0,2,4,6 /proc/25234/task/25238/stat : 25238 (java) S 25232 25234 21372 0 -1 4202560 148 0 0 0 75 1 0 0 20 0 19 0 281617411 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140264375581352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25234/tid=25239] ppid=25232 vsize=9625004 CPUtime=0.75 cores=0,2,4,6 /proc/25234/task/25239/stat : 25239 (java) S 25232 25234 21372 0 -1 4202560 68 0 0 0 75 0 0 0 20 0 19 0 281617411 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140264374529064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25234/tid=25240] ppid=25232 vsize=9625004 CPUtime=0.82 cores=0,2,4,6 /proc/25234/task/25240/stat : 25240 (java) S 25232 25234 21372 0 -1 4202560 144 0 0 0 82 0 0 0 20 0 19 0 281617411 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140264373476264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25234/tid=25241] ppid=25232 vsize=9625004 CPUtime=0.81 cores=0,2,4,6 /proc/25234/task/25241/stat : 25241 (java) S 25232 25234 21372 0 -1 4202560 262 0 0 0 81 0 0 0 20 0 19 0 281617411 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140264372422952 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25242] ppid=25232 vsize=9625004 CPUtime=0.77 cores=0,2,4,6 /proc/25234/task/25242/stat : 25242 (java) S 25232 25234 21372 0 -1 4202560 267 0 0 0 76 1 0 0 20 0 19 0 281617411 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140264242456744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25234/tid=25243] ppid=25232 vsize=9625004 CPUtime=0.81 cores=0,2,4,6 /proc/25234/task/25243/stat : 25243 (java) S 25232 25234 21372 0 -1 4202560 212 0 0 0 81 0 0 0 20 0 19 0 281617411 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140264241404456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25234/tid=25244] ppid=25232 vsize=9625004 CPUtime=0.76 cores=0,2,4,6 /proc/25234/task/25244/stat : 25244 (java) S 25232 25234 21372 0 -1 4202560 153 0 0 0 76 0 0 0 20 0 19 0 281617411 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140264240351656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25234/tid=25245] ppid=25232 vsize=9625004 CPUtime=6.93 cores=0,2,4,6 /proc/25234/task/25245/stat : 25245 (java) S 25232 25234 21372 0 -1 4202560 153 0 0 0 691 2 0 0 20 0 19 0 281617412 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263757404904 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25246] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25246/stat : 25246 (java) S 25232 25234 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281617412 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263756350968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25247] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25247/stat : 25247 (java) S 25232 25234 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281617412 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263755298568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25248] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25248/stat : 25248 (java) S 25232 25234 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281617415 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263754247056 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25249] ppid=25232 vsize=9625004 CPUtime=0.37 cores=0,2,4,6 /proc/25234/task/25249/stat : 25249 (java) S 25232 25234 21372 0 -1 4202560 3078 0 0 0 37 0 0 0 20 0 19 0 281617415 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263753193656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25250] ppid=25232 vsize=9625004 CPUtime=0.32 cores=0,2,4,6 /proc/25234/task/25250/stat : 25250 (java) S 25232 25234 21372 0 -1 4202560 4843 0 0 0 32 0 0 0 20 0 19 0 281617415 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263752140856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25234/tid=25251] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25251/stat : 25251 (java) S 25232 25234 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281617415 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263751088760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25234/tid=25252] ppid=25232 vsize=9625004 CPUtime=0.29 cores=0,2,4,6 /proc/25234/task/25252/stat : 25252 (java) S 25232 25234 21372 0 -1 4202560 103 0 0 0 15 14 0 0 20 0 19 0 281617415 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263750036168 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25253] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25253/stat : 25253 (java) S 25232 25234 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281617425 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263748982184 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1787.41 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1794.9 s] /proc/loadavg: 1.98 1.98 1.99 3/211 25360 /proc/meminfo: memFree=28455880/32873624 swapFree=7104/7104 [pid=25234] ppid=25232 vsize=9625004 CPUtime=1800.01 cores=0,2,4,6 /proc/25234/stat : 25234 (java) S 25232 25234 21372 0 -1 4202496 13531 0 1 0 179972 29 0 0 20 0 19 0 281617408 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140733327523808 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25234/statm: 2406251 32577 2273 9 0 2396937 0 [pid=25234/tid=25236] ppid=25232 vsize=9625004 CPUtime=1781.27 cores=0,2,4,6 /proc/25234/task/25236/stat : 25236 (java) R 25232 25234 21372 0 -1 4202560 2773 0 1 0 178096 31 0 0 20 0 19 0 281617410 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140264404181280 140264254159952 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=25234/tid=25237] ppid=25232 vsize=9625004 CPUtime=0.81 cores=0,2,4,6 /proc/25234/task/25237/stat : 25237 (java) S 25232 25234 21372 0 -1 4202560 145 0 0 0 79 2 0 0 20 0 19 0 281617411 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140264376634152 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25234/tid=25238] ppid=25232 vsize=9625004 CPUtime=0.76 cores=0,2,4,6 /proc/25234/task/25238/stat : 25238 (java) S 25232 25234 21372 0 -1 4202560 148 0 0 0 75 1 0 0 20 0 19 0 281617411 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140264375581352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25234/tid=25239] ppid=25232 vsize=9625004 CPUtime=0.75 cores=0,2,4,6 /proc/25234/task/25239/stat : 25239 (java) S 25232 25234 21372 0 -1 4202560 68 0 0 0 75 0 0 0 20 0 19 0 281617411 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140264374529064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25234/tid=25240] ppid=25232 vsize=9625004 CPUtime=0.82 cores=0,2,4,6 /proc/25234/task/25240/stat : 25240 (java) S 25232 25234 21372 0 -1 4202560 144 0 0 0 82 0 0 0 20 0 19 0 281617411 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140264373476264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25234/tid=25241] ppid=25232 vsize=9625004 CPUtime=0.81 cores=0,2,4,6 /proc/25234/task/25241/stat : 25241 (java) S 25232 25234 21372 0 -1 4202560 262 0 0 0 81 0 0 0 20 0 19 0 281617411 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140264372422952 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25242] ppid=25232 vsize=9625004 CPUtime=0.77 cores=0,2,4,6 /proc/25234/task/25242/stat : 25242 (java) S 25232 25234 21372 0 -1 4202560 267 0 0 0 76 1 0 0 20 0 19 0 281617411 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140264242456744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25234/tid=25243] ppid=25232 vsize=9625004 CPUtime=0.81 cores=0,2,4,6 /proc/25234/task/25243/stat : 25243 (java) S 25232 25234 21372 0 -1 4202560 212 0 0 0 81 0 0 0 20 0 19 0 281617411 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140264241404456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25234/tid=25244] ppid=25232 vsize=9625004 CPUtime=0.76 cores=0,2,4,6 /proc/25234/task/25244/stat : 25244 (java) S 25232 25234 21372 0 -1 4202560 153 0 0 0 76 0 0 0 20 0 19 0 281617411 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140264240351656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25234/tid=25245] ppid=25232 vsize=9625004 CPUtime=6.93 cores=0,2,4,6 /proc/25234/task/25245/stat : 25245 (java) S 25232 25234 21372 0 -1 4202560 153 0 0 0 691 2 0 0 20 0 19 0 281617412 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263757404904 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25246] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25246/stat : 25246 (java) S 25232 25234 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281617412 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263756350968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25247] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25247/stat : 25247 (java) S 25232 25234 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281617412 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263755298568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25248] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25248/stat : 25248 (java) S 25232 25234 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281617415 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263754247056 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25249] ppid=25232 vsize=9625004 CPUtime=0.37 cores=0,2,4,6 /proc/25234/task/25249/stat : 25249 (java) S 25232 25234 21372 0 -1 4202560 3078 0 0 0 37 0 0 0 20 0 19 0 281617415 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263753193656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25250] ppid=25232 vsize=9625004 CPUtime=0.32 cores=0,2,4,6 /proc/25234/task/25250/stat : 25250 (java) S 25232 25234 21372 0 -1 4202560 4843 0 0 0 32 0 0 0 20 0 19 0 281617415 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263752140856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25234/tid=25251] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25251/stat : 25251 (java) S 25232 25234 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281617415 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263751088760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25234/tid=25252] ppid=25232 vsize=9625004 CPUtime=0.29 cores=0,2,4,6 /proc/25234/task/25252/stat : 25252 (java) S 25232 25234 21372 0 -1 4202560 103 0 0 0 15 14 0 0 20 0 19 0 281617415 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263750036168 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25253] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25253/stat : 25253 (java) S 25232 25234 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281617425 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263748982184 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 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 [startup+1794.9 s] /proc/loadavg: 1.98 1.98 1.99 3/211 25360 /proc/meminfo: memFree=28455880/32873624 swapFree=7104/7104 [pid=25234] ppid=25232 vsize=9625004 CPUtime=1800.01 cores=0,2,4,6 /proc/25234/stat : 25234 (java) S 25232 25234 21372 0 -1 4202496 13531 0 1 0 179972 29 0 0 20 0 19 0 281617408 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140733327523808 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25234/statm: 2406251 32577 2273 9 0 2396937 0 [pid=25234/tid=25236] ppid=25232 vsize=9625004 CPUtime=1781.27 cores=0,2,4,6 /proc/25234/task/25236/stat : 25236 (java) R 25232 25234 21372 0 -1 4202560 2773 0 1 0 178096 31 0 0 20 0 19 0 281617410 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140264404181280 140264254159952 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=25234/tid=25237] ppid=25232 vsize=9625004 CPUtime=0.81 cores=0,2,4,6 /proc/25234/task/25237/stat : 25237 (java) S 25232 25234 21372 0 -1 4202560 145 0 0 0 79 2 0 0 20 0 19 0 281617411 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140264376634152 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25234/tid=25238] ppid=25232 vsize=9625004 CPUtime=0.76 cores=0,2,4,6 /proc/25234/task/25238/stat : 25238 (java) S 25232 25234 21372 0 -1 4202560 148 0 0 0 75 1 0 0 20 0 19 0 281617411 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140264375581352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25234/tid=25239] ppid=25232 vsize=9625004 CPUtime=0.75 cores=0,2,4,6 /proc/25234/task/25239/stat : 25239 (java) S 25232 25234 21372 0 -1 4202560 68 0 0 0 75 0 0 0 20 0 19 0 281617411 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140264374529064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25234/tid=25240] ppid=25232 vsize=9625004 CPUtime=0.82 cores=0,2,4,6 /proc/25234/task/25240/stat : 25240 (java) S 25232 25234 21372 0 -1 4202560 144 0 0 0 82 0 0 0 20 0 19 0 281617411 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140264373476264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25234/tid=25241] ppid=25232 vsize=9625004 CPUtime=0.81 cores=0,2,4,6 /proc/25234/task/25241/stat : 25241 (java) S 25232 25234 21372 0 -1 4202560 262 0 0 0 81 0 0 0 20 0 19 0 281617411 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140264372422952 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25242] ppid=25232 vsize=9625004 CPUtime=0.77 cores=0,2,4,6 /proc/25234/task/25242/stat : 25242 (java) S 25232 25234 21372 0 -1 4202560 267 0 0 0 76 1 0 0 20 0 19 0 281617411 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140264242456744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25234/tid=25243] ppid=25232 vsize=9625004 CPUtime=0.81 cores=0,2,4,6 /proc/25234/task/25243/stat : 25243 (java) S 25232 25234 21372 0 -1 4202560 212 0 0 0 81 0 0 0 20 0 19 0 281617411 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140264241404456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25234/tid=25244] ppid=25232 vsize=9625004 CPUtime=0.76 cores=0,2,4,6 /proc/25234/task/25244/stat : 25244 (java) S 25232 25234 21372 0 -1 4202560 153 0 0 0 76 0 0 0 20 0 19 0 281617411 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140264240351656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25234/tid=25245] ppid=25232 vsize=9625004 CPUtime=6.93 cores=0,2,4,6 /proc/25234/task/25245/stat : 25245 (java) S 25232 25234 21372 0 -1 4202560 153 0 0 0 691 2 0 0 20 0 19 0 281617412 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263757404904 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25246] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25246/stat : 25246 (java) S 25232 25234 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281617412 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263756350968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25247] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25247/stat : 25247 (java) S 25232 25234 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281617412 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263755298568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25248] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25248/stat : 25248 (java) S 25232 25234 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281617415 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263754247056 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25249] ppid=25232 vsize=9625004 CPUtime=0.37 cores=0,2,4,6 /proc/25234/task/25249/stat : 25249 (java) S 25232 25234 21372 0 -1 4202560 3078 0 0 0 37 0 0 0 20 0 19 0 281617415 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263753193656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25250] ppid=25232 vsize=9625004 CPUtime=0.32 cores=0,2,4,6 /proc/25234/task/25250/stat : 25250 (java) S 25232 25234 21372 0 -1 4202560 4843 0 0 0 32 0 0 0 20 0 19 0 281617415 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263752140856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25234/tid=25251] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25251/stat : 25251 (java) S 25232 25234 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281617415 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263751088760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25234/tid=25252] ppid=25232 vsize=9625004 CPUtime=0.29 cores=0,2,4,6 /proc/25234/task/25252/stat : 25252 (java) S 25232 25234 21372 0 -1 4202560 103 0 0 0 15 14 0 0 20 0 19 0 281617415 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263750036168 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25234/tid=25253] ppid=25232 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25234/task/25253/stat : 25253 (java) S 25232 25234 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281617425 9856004096 32577 33554432000 1073741824 1073778376 140733327532672 140263748982184 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 9625004 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 25234 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=189089 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=650901 # CPU time returned by wait4() is 1795.84 # while last known CPU time is 1800.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1794.95 CPU time (s): 1800.01 CPU user time (s): 1799.72 CPU system time (s): 0.29 CPU usage (%): 100.282 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.19 system time used= 0.650901 maximum resident set size= 134564 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13575 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1704 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 45235 involuntary context switches= 22819 runsolver used 5.83111 second user time and 13.5019 second system time The end
Begin job on node121 at 2012-05-27 23:41:59 IDJOB=3710828 IDBENCH=2923 IDSOLVER=2289 FILE ID=node121/3710828-1338154919 RUNJOBID= node121-1338138816-23672 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_1.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-3710828-1338154919/watcher-3710828-1338154919 -o /tmp/evaluation-result-3710828-1338154919/solver-3710828-1338154919 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710828-1338154919.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5bf563c7058af01702ea80887f1d43ad RANDOM SEED=1327486088 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: 27856072 kB Buffers: 515220 kB Cached: 2788032 kB SwapCached: 0 kB Active: 1625984 kB Inactive: 2533704 kB Active(anon): 857412 kB Inactive(anon): 0 kB Active(file): 768572 kB Inactive(file): 2533704 kB Unevictable: 7104 kB Mlocked: 7104 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 840 kB Writeback: 0 kB AnonPages: 861688 kB Mapped: 22448 kB Shmem: 200 kB Slab: 717832 kB SReclaimable: 162260 kB SUnreclaim: 555572 kB KernelStack: 1584 kB PageTables: 5816 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545668 kB Committed_AS: 1508392 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 813056 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= 71708 MiB End job on node121 at 2012-05-28 00:11:56